17550*x + 17539*x - 616 = 0. Which is bigger: x or -58?
x
Suppose -4*h - 5*n = -8, 4*h + n - 8 = 3*n. Suppose 0*l + 2*l = h. Let d = 410145 - 11484061/28. Which is smaller: l or d?
d
Suppose -f + 136 = 51. Are 86 and f non-equal?
True
Suppose -3*l = 18 - 3. Suppose -3*t + 7 - 4 = 0, 4*t + 6311 = 5*j. Suppose -78 = -j*d + 1276*d. Which is bigger: d or l?
l
Let x(q) = 6*q + 25. Let n be x(-7). Let s = n - -29. Let p be s/(-15) - (-4)/(-20). Do -1 and p have different values?
False
Suppose -122*o + 9 = -131*o. Let n be (-5)/9 - (-8)/12. Which is bigger: o or n?
n
Suppose 0 = d - c + 4, 3*d = 2*d + 3*c - 6. Let z(m) = 2*m**2 + 3*m + 2. Let u be z(d). Let o be (60/(-14))/(u/(-77)). Is o < 31?
True
Suppose -40 = -3*u + 8*u - r, 3*r = 3*u + 36. Let o be 4/140 - (-3)/u. Which is smaller: o or -1.5?
-1.5
Let m(x) = x**2 - 6*x - 186. Let n be m(-11). Let y be (-14)/(-60)*(-56)/(-49). Which is smaller: y or n?
y
Suppose 2*j - 6 = -2. Suppose 0 = 3*p + 16*p - 76. Suppose -3*f = p*a - 9, -4*f - f = -j*a - 15. Is a greater than -2/17?
True
Let i(h) = -4*h + 29. Let t be i(6). Suppose -t*j + 10 = 0, -2*j - 2*j = 5*z - 288. Let q be 5*(-3)/(-5) - (-1 + z). Is -51 less than q?
False
Let d = 1869 + -2810. Is d > -939?
False
Suppose -59795 = -159*m + 15571. Which is greater: 472 or m?
m
Let j(r) = -r**3 + 2*r**2 + 4*r + 1. Let f be j(4). Let c(h) = -h**2 - 11*h + 9. Let m be c(f). Let x = m - -54. Which is greater: 16/9 or x?
x
Let u = -255 - -253. Suppose 17 = -r - 0*r. Let t = r - -14. Which is smaller: u or t?
t
Let n = -79231/62806 + 7/2026. Is -2 greater than n?
False
Let p be (-2*13/104)/((-5)/43540). Is 2179 >= p?
True
Suppose -2*j + 155 = 4*a + a, 5*a = -5*j + 350. Let f(d) = -21*d - 27. Let l be f(2). Let o = l + j. Which is smaller: o or -17/5?
o
Let a = -2578 + 2747. Which is bigger: 7 or a?
a
Let h be 9/((-27)/(-15)) + 2. Let y be (3 - (-33)/(-3))/(-2). Does h = y?
False
Suppose 0 = -2*k - 3*v + 121, -199 = -4*k + 2*v + 35. Let l be (-4202)/(-77) - (-3)/7. Which is bigger: k or l?
k
Suppose 32*w + 53 - 69677 = -4*w. Which is smaller: 1935 or w?
w
Suppose -2*f = -2*i - 3*i + 50, 0 = 3*f. Let w be 133 + -5 - i/(-15)*-6. Is w > 126?
False
Let z be (-6)/9*1 + 20382/3176. Let t = z - 1/1191. Which is smaller: t or 7?
t
Let g = 701 - 585.6. Let q = 14.6 + g. Is 2 smaller than q?
True
Let v = -5744 - -5709.07. Let a = -0.07 + v. Let u = -14 + a. Is 2/5 at least u?
True
Let m(w) = 62*w + 2167. Let x be m(-37). Let q = 71 + -198. Are q and x unequal?
False
Let b = 1.1 - 1.2. Let k be (12/(-567)*-3)/((-9)/(-7)). Is b smaller than k?
True
Let n = -66155 - -66137. Suppose -2*g = -5*s + 17, -5*g - s = -1 + 3. Which is greater: g or n?
g
Let j = 1.97 + 0.03. Let y = j - 2.1. Let z be 1680/(-350)*(-20)/3. Which is smaller: y or z?
y
Suppose 64*m = 84*m - 40220. Which is bigger: 2010 or m?
m
Let c = 2542 + -6850. Is c at most as big as 0.1?
True
Let j(a) = 3*a**3 - 36*a**2 + 4*a - 47. Let o be j(12). Which is greater: o or -6/2969?
o
Let w = 1116 - 1120. Which is smaller: 0.344 or w?
w
Let d = -760 - -2224/3. Which is smaller: d or -19?
-19
Suppose a - 10 = -0*a. Suppose k - n = a, 0 = -k - 2*k + n + 20. Let i(j) = -j**2 + 3*j + 9. Let y be i(k). Is y at least -11/8?
True
Suppose 5*w - 211 = 3*u + 41, -5*w = -5*u - 260. Let i be (-1986)/3 + -18 + 10. Let k = -621 - i. Which is bigger: k or w?
k
Let j(i) = -i**2 - 56*i - 719. Let n be j(-20). Which is smaller: 71/31 or n?
n
Let t = 937 + -551. Let u = t - 385.98. Is u greater than 11/5?
False
Let j = -151 + 429. Let l = 324 - j. Let o = 10 + -9. Is l bigger than o?
True
Let l(s) = -2*s - 38. Let k be l(29). Let x be 133/2 - 48/k. Is x equal to -2?
False
Suppose 0 = 93*m - 95*m + 104. Suppose -3*y + 5*j = -0*y - m, y = 3*j + 24. Is 14 smaller than y?
False
Suppose 11*q - 13*q + 2*r - 26 = 0, -2*q = 5*r + 68. Which is greater: -161/9 or q?
-161/9
Let l = -2321 - -2277. Let t(k) = -2*k**3 + 5*k - 7. Let v be t(3). Which is smaller: v or l?
v
Let a be (1 - 0)/((-1)/(-3)). Let u = a + 2. Let w be -23 - -29 - (-1 + 119/42)*6. Is u smaller than w?
False
Let d(a) = a**2 + 4*a + 3. Let t be d(0). Let v be t*2/12*2 - 2. Is -0.06 <= v?
False
Suppose -17*f + 3*f - 76942 = 20*f. Are f and -2263 nonequal?
False
Suppose -1 + 5 = 2*y. Suppose -3*a = h - 30, -2*a - 16 = -h + 4. Suppose 0 = 5*u + 4*d - h, -2*u + 2*d = 3*u - 18. Is y less than or equal to u?
True
Let f be -9*(-91)/1386*-2 - (-1 + 0). Is f greater than or equal to 50.94?
False
Let l = -127 - -153. Suppose s - l = -42. Is s >= -15?
False
Let l(r) = 4*r**3 + 24*r**2 - r - 8. Suppose -d + 4*t - 6 = 0, 11*t - 6*t = 0. Let s be l(d). Let q be (s/(-10) + 12/(-60))*-1. Which is greater: q or 2/55?
2/55
Let p(u) = 61*u + 27. Let m be p(-9). Let q be m/(-54) - 8/(-6). Suppose q*y - 10*y - 13 = 0. Is 12 >= y?
False
Let q = -0.4 - -7.4. Suppose 13*w - 142 = 2*p, -247*p - 81 = -250*p - 5*w. Are q and p nonequal?
False
Let p(q) = 10*q**2 + 2*q - 3. Let r be p(2). Let i(x) = -6*x**2 + 32*x + 18 - 15 - 9*x**2 - x**3 + 6. Let a be i(-17). Does a = r?
False
Let z = -0.11 + 0.08. Let b be ((-16)/34)/(728/(-33332)). Let i = b - 150/7. Is i != z?
True
Let k be 3/6 + (-3)/2. Let g be 2/62 - (-8382)/(-69564). Which is bigger: g or k?
g
Suppose 5*q = 5*v + 90, -3*v - q = -467 + 497. Which is smaller: v or -55?
-55
Let z(o) = 2*o**2 - 61*o - 87. Suppose 0 = 5*b + 4*a - 180, -5*a - 8 = -b - 1. Let f be z(b). Is 114/11 at least as big as f?
True
Suppose 0 = -13*v + 826 + 617. Let o be 0 - 37*-3 - 2. Which is smaller: v or o?
o
Suppose 11*z - 355 = 74. Suppose -123 = -42*b + z*b. Suppose b - 39 = 2*r. Which is smaller: r or 7/5?
r
Let t = 160.7 - 127. Let q = -42.7 + t. Which is smaller: 18 or q?
q
Let x(u) = -95*u + 73. Let n be x(1). Is n < -53?
False
Let q = 7/177 - 3433/1770. Is 0.07 < q?
False
Let k be 3/(360/16) - (-26)/30. Let a be -216*3/(18/(-76)). Let r be (-1336)/a + 2/4. Is k at least as big as r?
True
Suppose 266 - 231 = 5*s. Suppose -f + 6 = s. Which is smaller: -20/17 or f?
-20/17
Suppose -5*w + 5*k = 485, 0 = 32*w - 37*w - 4*k - 503. Which is smaller: w or -781/8?
w
Let q = 2208402/5 - 443188. Is 2/3 < q?
False
Let x be (278/278)/(2/2). Let u be (-10)/(-30) + 5482/(-16482). Is u greater than x?
False
Suppose -3*q - 28 = q. Let j be q/2*(-34)/(-221). Let y = j - -223/390. Which is smaller: y or 0?
0
Let z be 1/9 - (-153400)/45. Are 3409 and z equal?
True
Let m = -1.7078 + -90.7222. Let u = m - -27.08. Let i = u + 1.35. Which is greater: i or 2/3?
2/3
Let y be ((-12)/(-15))/(-11 - 76531/(-6955)). Does y = 202?
False
Let b = 1349/444 + -795/148. Let i = -1 + -2. Which is smaller: b or i?
i
Let d be (-16)/12 - 616/42. Which is smaller: -384/23 or d?
-384/23
Let y be 22/297 - 1354/54. Which is smaller: y or -141?
-141
Suppose 0 = -48*d - 53*d + 102*d. Is 2/2903 < d?
False
Let o = 225.213 + -0.213. Let d = -226 + o. Is d equal to -4/69?
False
Let t be 3 + (-5)/5*2. Let i be -1 - (5 - 40/5). Is i < t?
False
Suppose 64*t + 35*t + 1350 = 24*t. Which is bigger: -13 or t?
-13
Let r = 0.56 - -0.06. Let f = r - -0.38. Let k = 35 + -51. Is f greater than or equal to k?
True
Suppose -4*s - 2*t = -106, 2*s - s - 5*t = 32. Suppose 4*i - 5*v = -47, -s*i = -24*i - 5*v + 39. Are -53/7 and i equal?
False
Let g be 10 + 4/(20/15). Suppose 18*h + 11 = 16*h + 3*q, 2*h + 5*q - g = 0. Which is smaller: h or -1/72?
h
Let v be (-50)/(-40) - (2 + (-1514)/(-8)). Which is smaller: -194 or v?
-194
Let i = -1544718170/5251 - -294176. Which is greater: -1 or i?
i
Let f = 5740 + -855255/149. Does f = 0?
False
Let k = 1 + -0.4. Let z = 2/182909 - -17741537/58165062. Let q = z - -3/106. Which is greater: k or q?
k
Let d(p) = p**3 - 8*p**2 + 4*p + 24. Let g be d(7). Suppose -8*n = -10*n - 3*s + 177, g*s + 303 = 3*n. Which is greater: 91 or n?
n
Let o = 2537 - 2773. Which is smaller: o or -246?
-246
Suppose 14*l - 255 - 95 = 0. Suppose 4 = x, 4*x - l = -3*j + 36. Which is greater: j or 13?
j
Let d = 12 - 11. Let c be -63*d + 2 - 4. Let o be -3*(4 + c/15). Which is greater: o or 11/5?
11/5
Suppose 19*b = 23*b - 32. Suppose b*h + 67 = 67. Which is greater: h or 6/43?
6/43
Let n = -5/561 - 20131/7293. Suppose -284*u + 2 = -282*u, -5*u = -3*s - 17. Which is bigger: n or s?
n
Let w = 51.1061 + -51.2561. Let c = -0.1 - 0