k = -55*k + 72. Let b be ((-8)/k)/((-94)/6). Which is smaller: b or 0?
0
Let h be 970*(38/(-95) + 2 + -2). Let b be h/76 - (-20)/190. Which is greater: b or -6?
b
Suppose -2548 = -27*l - 2548. Which is smaller: l or 1/726?
l
Let y = 1993 - 2006.41. Let r = -14.1 - y. Let z = -0.41 - r. Is z < 0?
False
Let p(t) = -3 - 3*t + 0 - 2 + t. Suppose -5*m = 13 - 3. Let l be p(m). Which is bigger: 2/121 or l?
2/121
Let c be 2838/(-12519) - 752/(-2444). Is 0 < c?
True
Suppose -4*n = -n - 39. Suppose 490 = 6*z - n*z. Let a = -79 - z. Is -8 equal to a?
False
Let s = -469 + 772. Which is greater: -2/7 or s?
s
Let m = 972 + -2392. Is 1 smaller than m?
False
Suppose -3*g - 3 - 1 = -5*l, -8 = -4*g. Let c be (42/8)/(l/(-16)). Suppose 0 = 550*j - 1962 + 21445 + 3617. Do j and c have different values?
False
Let q be (-15)/18 + 3567/3654 + 30376/(-672)*-3. Let n(t) = -135*t**3 + t**2 - t - 1. Let a be n(-1). Which is smaller: q or a?
q
Let l = 0.0282 + 53.6718. Let f = 286 - 288.3. Let k = f - l. Is 0 bigger than k?
True
Let b(g) = 13*g + 165. Let a be b(-12). Let t(n) = -n**2 + 9*n - 18. Let r be t(a). Suppose v = -5*i + 3*v - 82, 88 = -4*i - 4*v. Is r equal to i?
True
Let c = -112.03 + 1.03. Is c <= -4/9?
True
Suppose 0 = -67663*d + 67665*d - 126. Is 55 bigger than d?
False
Let q(d) = 5*d + 15. Let r be q(-16). Let j = r + 90. Which is greater: 5 or j?
j
Suppose 0 = -37*l + 30*l. Let w be 62 + -72 + (-2925)/(-294). Is w less than l?
True
Suppose 2*p + 0*p + 2 = -4*k, -18 = k + 4*p. Suppose 5*a = -34 + 9, -17 = k*y + a. Let z be 57/304*4/y. Which is smaller: 1 or z?
z
Suppose 544*x = 549*x - 2*b + 2097, -4*x - 1698 = -5*b. Which is bigger: -419 or x?
x
Let v = 12068300/567 + -148958/7. Does v = 5?
False
Let k(m) = -m - 114. Let r be k(0). Let q be r/3*(90/25 - 4). Which is greater: q or 15?
q
Let d be (20/6)/(17/102). Suppose 19*g - 1 = d*g. Which is bigger: -1/88 or g?
-1/88
Let r be (-150)/4*(-84)/(-15). Let d = r + 2939/14. Let t(v) = -v**2 - 7*v - 10. Let x be t(-5). Is x > d?
True
Suppose -25193 = -31*d + 12464 - 9695. Is 912 at least as big as d?
True
Suppose 3*b = 4*j, -5*j - 2*b + 0*b = 0. Suppose j = -z + 16*z. Which is smaller: -2/89 or z?
-2/89
Suppose 4*s - 1130 = 2382. Suppose 37*t + s = 5096. Does t = 115?
False
Suppose 4 = 7*s - 10. Let o(u) = -u**2 - 6*u - 6. Let l be o(-4). Suppose l*i - k - 19 = 4*k, -54 = -2*i - s*k. Which is greater: 20 or i?
i
Let j be (-23 + 20)*10/(2 + 0). Let c be ((-22)/j)/(-11) - (-4)/6. Which is smaller: 0 or c?
0
Suppose 2*h + 3*h + 205 = 0. Suppose 55*x = 13*x + 18*x - 984. Is h at most x?
True
Suppose -6*q + 301 = 289. Suppose 2*n + 89 = 5*z, q*n = z - 0*n - 13. Is z less than 138/7?
True
Suppose -n - 3*z = 202, -3*n - 584 = 112*z - 114*z. Do -182 and n have different values?
True
Let g(h) be the third derivative of -h**5/60 - h**4/3 + 4*h**3/3 - 7*h**2. Let k be g(-10). Let z = 37/3 + k. Which is smaller: -2 or z?
-2
Let m = -0.34 + 49.34. Let q = 49 - m. Is q < -104?
False
Suppose -201*x - 8 = -205*x. Let w be (-7*1/(-13))/(6/12). Which is bigger: x or w?
x
Let g = -1/46 - 11/46. Suppose 0 = -18*o + 50 - 32. Let a be o/(-2)*(7 + -15 - -8). Which is greater: g or a?
a
Let a be -3*(-11)/(-55) + 18/(-20). Suppose -2*w + 10*w = -16. Which is greater: w or a?
a
Suppose 0*f - 5 = f, 4*y + 4*f = -12. Let s(i) = -y*i + 4*i + 2 + 27. Let l be s(-16). Which is smaller: -2 or l?
l
Let p(b) = 7*b**2 - 10*b**2 - 16*b + 7 + 5*b**2. Let k be p(-4). Is 105 bigger than k?
True
Let w = 556/75 + -46/75. Is 40 bigger than w?
True
Suppose -2*c - 154704 = 2*j, -2*c - 164294 + 9595 = 3*j. Let z = c + 851739/11. Let i = -74 + z. Do i and -1 have different values?
True
Let f = -1 + 0.9. Let d = -32/131 + 1685/3144. Is f at least d?
False
Let d be (-28)/35 - 76/(-120). Let m be (1 + -2 - 1)*-27. Let y be 2/(-3) + 63/m. Is d < y?
True
Let b(o) = -o + 40 - 21 - 18 - 10. Let y be b(-11). Let h be (-22)/(y*(-3 + (-2)/(-1))). Is 11 less than or equal to h?
True
Let f = 663 - 659. Let g(t) = -34*t**2 + 4*t + 3. Let s be g(f). Is s != -525?
False
Let n = 12857 + -48020893/3735. Does 0.1 = n?
False
Let x = -488 + 491. Which is greater: -229 or x?
x
Suppose -16 - 17 = 15*g + 18*g. Does 1/1340 = g?
False
Let d be ((-34)/(-506175))/(24/40). Which is bigger: -1 or d?
d
Let b be 10606/(-1383) - (-148 - -140). Let i = b + 1/461. Suppose -3*l + 5 = -4*r - 4, 5*l - 4*r - 7 = 0. Which is smaller: i or l?
l
Let f be -6 - -10 - (1 - 3). Suppose 7*q = q + f. Let j = -110 + 112. Which is bigger: q or j?
j
Suppose 0 = 389*w - 405*w - 2416. Are w and -303/2 nonequal?
True
Suppose -5*i + 4*v = 385, -3*i = -v - 0*v + 224. Suppose 4*j - 39*c = -38*c + 571, -c = j - 144. Let y = j + i. Is 70 less than y?
False
Let k be (-7939)/75*((-18)/146060)/3. Let d = 2/8375 + k. Is -1 at least as big as d?
False
Let l = -853.69 - -944. Let u = l + 0.69. Let k = -90.9 + u. Which is greater: k or 43?
43
Let k(q) be the third derivative of q**6/120 - q**5/5 + q**4/8 + 7*q**3/3 + 38*q**2. Let c be k(12). Which is smaller: c or -0.3?
-0.3
Let o(l) = 2*l**2 - 8*l + 12. Let u be o(4). Suppose 13*x - 1 = u. Do 5/7 and x have the same value?
False
Let f = -48 - -54. Let t be ((-180)/(-42))/(f/28). Suppose -14*l = -t*l + 558. Is 93 <= l?
True
Let s = 0.49 + 3.71. Let r = -7.4 - -11.5. Let i = r - s. Does -30 = i?
False
Suppose 0 = 4*m - 12, 0*v + 2*m + 14 = 5*v. Let b = 45416/9 + -226876/45. Are v and b non-equal?
True
Suppose -g = -3*l + 114, -2*g = -0*g + 3*l + 237. Suppose 9*x + 1363 - 310 = 0. Is g > x?
False
Suppose 3*l = 5*l + 80. Let w be l/(-9) - (3 + 1). Let f be 3 + 5/(5/(-3)). Is w <= f?
False
Let q(r) = 15*r - 36. Let w be q(16). Let s = w - 211. Which is smaller: s or -4?
s
Let k be 4/(-36) - 974/(-10710). Let g = k + 3583/148155. Which is greater: -1 or g?
g
Let j(g) = -28*g**2 - 635*g + 206. Let l be j(-23). Let c be (4/(-93))/(40/(-12)). Which is smaller: l or c?
l
Suppose 141312 = 59*m - 198060 + 13869. Which is smaller: 5516 or m?
5516
Let i be 0/((-150)/30 + (-1 - -3)). Which is smaller: 17/278 or i?
i
Let s = -32 - -12. Let f = 316 + -304. Let l(q) = -q**2 + 13*q - 30. Let o be l(f). Which is smaller: o or s?
s
Let y = -11094 - -11097. Is -1103 >= y?
False
Let h(i) = -2*i**2 - 81*i + 56. Let x be h(29). Let w = x + 28043/7. Is 32 != w?
True
Let p = 300 - -185. Let o = 484.026 - p. Let w = 0.026 - o. Which is bigger: 5 or w?
5
Let o be (-3)/1 - ((0 - 5) + -2673). Let y be 10675/o - (-1 - -1 - -4). Is -1 less than or equal to y?
True
Let h(b) = -b**3 - 2*b**2 - 3*b - 2. Let f be h(-2). Suppose 0 = f*q + n + 4, 4*q + 3*n + 2 = -2. Let j = 5/49 + 97/490. Which is smaller: q or j?
q
Suppose -22*w - 10 = -23*w. Let z be (-3808)/(-48) + (-2)/(-3). Suppose -w*h + z = -5*h. Do h and 16 have the same value?
True
Let u = -5124.93 - -5125. Which is greater: u or 71?
71
Let v(n) = 2*n**3 - 89*n**2 + 29*n - 3331. Let o be v(45). Is o greater than 2/34711?
False
Suppose 6*d - 11*d = 5*h, h + 3*d = -6. Suppose -3*y + h = -3*i, 1 = -5*i - 2*y - 4. Are i and -2/39 equal?
False
Let a be (-1855)/(-3339)*6/(-10). Which is smaller: -0.16568 or a?
a
Suppose 3*l + 8*s - 123 = 5*s, 5*s - 111 = -3*l. Are 0 and l equal?
False
Let x = 2741 + -2726.5. Which is smaller: x or 9?
9
Suppose 0 = -6*a + 32 + 64. Suppose -5*g - 2*d - 11 = -4*d, 0 = -4*g + 4*d - a. Which is bigger: g or -1/100?
-1/100
Let y = 0.524 - 3.524. Is y equal to -28/3?
False
Let h be ((-3)/(-21) - 189/(-49)) + (13 - 20). Which is greater: 0.395 or h?
0.395
Let r(k) = -80*k**2 - k + 1. Let f be r(1). Let l = 3794 + -2040. Let z be (-24)/88 - l/22. Is z equal to f?
True
Let a = 5660 + -5660. Let c = 8.956 - 8.8. Is a < c?
True
Let f be ((98/(-525))/(-7))/((-5)/51). Let t = f + 11753/42750. Is 1 at most t?
False
Suppose -146 = 7*j - 188. Let l be ((-2)/4)/(j/(216/(-549))). Let x = -1 + 0. Is x greater than l?
False
Suppose 4*j - 5 = d + 11, 2*j - d - 8 = 0. Suppose -x + j*l = 3*l + 91, 2*x - 5*l = -191. Which is smaller: 2/7 or x?
x
Let j be 876/2436 + 6/87. Which is smaller: -142 or j?
-142
Suppose p = -y - 299, -p + 3*y - 299 = -0*p. Suppose -21*i = 2549 + 3751. Which is smaller: i or p?
i
Let c = -487789499/4251 + 114747. Which is smaller: -1 or c?
-1
Let a(n) = -n**3 + 21*n**2 - n + 24. Let g be a(21). Suppose -2*d + 3*b = 