*2 + 16. Let p be t(6). Let z = p + -62. Let x be 0/(-16)*2/z. Is 3/19 < x?
False
Let z(i) = -3*i**2 + 3*i + 6. Let x be z(6). Suppose 16*d - 13*d - 346 = 4*h, -3*h - 5*d = 216. Which is greater: x or h?
h
Let j be ((-28)/10115)/(4 + -7 - (-2014)/670). Is j > 1?
False
Suppose r - 6 = -4*z - 0, -5*z = 5*r - 105. Let f = r + -8. Suppose -f*j - 1 = -17*j. Is j < 2/9?
True
Let u = 28/5047635 - 258676163221/2231054670. Let r = u - -1500/13. Which is bigger: r or -1?
r
Let d = -9392/1287 - -95/13. Let f = -125/2574 + d. Which is smaller: -1 or f?
-1
Let u(f) = -323*f**2 + 129*f - 130. Let i be u(1). Is -324 less than i?
False
Let u = -40 + 45. Let i be 61/u - 2/10. Let j be (-2)/i - 4/(-12). Which is smaller: j or -0.2?
-0.2
Let i(n) = n**2 - 14*n + 10. Let s be i(13). Let t = 7 + s. Suppose -5 - t = -5*p - 2*g, -4*p - 3*g = -10. Is -1/3 greater than or equal to p?
False
Let h = 22 - 34. Let g = -81 - -81.147. Let x = -0.047 + g. Which is bigger: h or x?
x
Let a be ((-15)/6)/5*-6. Suppose -87*h = -85*h - 6. Suppose 0 = -h*f + 2*g + 16, 2*g + 9 - 5 = 0. Is a less than f?
True
Let z = -219124/55583835 + -2/110067. Suppose -3 = 3*w - 0. Which is bigger: z or w?
z
Suppose 3*i = -24*i + 12960. Let o = i + -434. Are o and 49 equal?
False
Suppose 0 = -3*q + 3, 3*f + 10*q - 2453 = 5*q. Suppose 150 - f = -6*x. Is x equal to 111?
True
Let m(h) be the first derivative of -h**2/2 + 4*h + 16. Let v be m(4). Suppose 2*j - 2*r - 28 = 0, v = -5*j - r - 34 + 92. Is 10 < j?
True
Let q = 887 - 3812. Is -2926 bigger than q?
False
Suppose -4 = -l + 5*l. Let n be 12675/(-510) - (0 - 25). Is n at most l?
False
Suppose 1209*r = 1213*r - n + 2, 0 = -3*r + 4*n - 8. Which is smaller: -2/1119 or r?
-2/1119
Let a(q) = -4*q - 22. Let y be a(-9). Suppose -5*r + 6 = 4*z + y, -3*z - 6 = -4*r. Is r at least 5/6?
False
Let t = -411.7 - -405. Let h = -6.248 - t. Which is bigger: h or -1?
h
Suppose b + 1054 = 2089*q - 2093*q, -2*b + q = 2180. Are b and -1093 unequal?
True
Let l(r) = 2*r**2 - 3*r + 5. Let f be l(2). Suppose 8*u = f*u. Suppose 4*d - 11*d = u. Which is smaller: 3/7 or d?
d
Let p = 428 - 424. Let d be (-13550)/425 + p/(-34). Which is smaller: d or -0.5?
d
Suppose 26 = -8*k - 54. Let x be 1 - ((11 - 7) + k/2). Which is greater: 1 or x?
x
Suppose 0*q = 2*q + 4*g + 990, 4*g + 1964 = -4*q. Let u = q + 10719/22. Let w(b) = -b**3 + 4*b**2 - 1. Let s be w(4). Is u less than or equal to s?
False
Let z = 25 + -26. Let x(c) = 2*c**3 + 12*c**2 + 9. Let i be x(-6). Suppose 6*n = i*n + 180. Is z smaller than n?
False
Suppose 142*g = 140*g - 12. Suppose -2*h - 4*k - 32 = 0, 4*h + 5*k + 70 = 15. Is g at most as big as h?
False
Let s = -16647 - -16646.86. Does s = -200?
False
Suppose o - 2 = 0, -2*a - 4*o - 834 - 3956 = 0. Is a less than or equal to 1?
True
Let q be ((-42)/12 - -4)*10646. Let n = -633433/119 + q. Is n less than 1?
True
Let v = -10121 + 9740. Which is smaller: -387 or v?
-387
Suppose 0 = 7*d - 933 + 1354 - 4565. Which is greater: 1775/3 or d?
d
Let p = -3510 + 3555. Which is smaller: 44 or p?
44
Let d be ((-14)/3)/(4/(-12)). Let w(k) = 5*k - 26. Let g be w(6). Suppose 10*l - 6*l - 5*j - 64 = 0, l - 27 = g*j. Is d less than l?
False
Let m(f) = 151*f**3 - 2*f**2 + 1. Let h be m(1). Let u = -153 + h. Are 16 and u unequal?
True
Let m be (2/(-10) + 112/10)*1. Suppose 3*u - 6*r = -m*r - 1, 0 = -u - 4*r - 5. Let s be -3 + (-1 - (-1 - u)). Is s > -1/52?
True
Suppose -v = -2*v + 4, 0 = 5*i - 3*v - 133. Let z = i + 46. Suppose -h + 0*h + 4*r = 0, 4*h - r + z = 0. Is -20 not equal to h?
False
Let j = -2827 - -2829. Which is bigger: j or 34?
34
Let r = 0.079 - 0.379. Suppose 6*v - 11*v + 260 = 0. Let s = v + -35. Which is bigger: s or r?
s
Let s(y) = -63*y + 70. Let z be s(1). Let k be 6 + z/(175/(-240)). Are -5 and k nonequal?
True
Let r be ((-162)/(-405))/((-164)/(-30)). Let d = r - -73/123. Is -2/43 >= d?
False
Suppose -k + h - 16 = -4*k, 2*h = -4*k + 22. Suppose 20*s - 25 = -k. Are s and -5/44 nonequal?
True
Suppose 2*n = f - 7272, -2*f = -n + 393 - 4026. Are -3636 and n nonequal?
True
Let t = 183148 + -183140. Let a be (1 - (0 - 1)) + 0. Which is smaller: t or a?
a
Let v(q) = -q**2 + 9*q + 5. Let l be v(9). Suppose 0 = 2*i, l*c + 6*i = 2*i - 130. Suppose d = -5*x - 1, -2*d + 23*x - 26*x - 37 = 0. Is c equal to d?
True
Let v be ((-6808)/(-1104))/((-1)/(-6)). Which is smaller: v or 46?
v
Let q(a) = -4*a - 11. Suppose 0 = -d - 0*i - i, 0 = -3*d + i - 12. Let t be q(d). Let x be 2 + (-2876)/1694 + (-16)/56. Is t smaller than x?
False
Let l = 0.11 - -0.124. Let n = l - 0.054. Let x = 0.82 + n. Is x less than -7?
False
Let l(y) = 6*y - 9. Let s be l(9). Suppose s*p = 35*p - 10. Let d be (4/(-10))/(7/(-5)). Which is bigger: p or d?
d
Suppose -5*g = 15, 24*j - 27*j = 5*g + 6. Which is smaller: j or 41/17?
41/17
Let r = -25478 + 126049/5. Let k = 268 + r. Are k and -0.1 equal?
False
Suppose 108*b - 55408 = 124*b. Is b at most as big as -3462?
True
Suppose -22*z + 40*z + 18819 = -105*z. Which is smaller: -1678/11 or z?
z
Let s = -2/2663 - 2655/10652. Do s and -827 have different values?
True
Let w(r) = -r**2 + 6*r - 5. Let p be w(2). Suppose 5*i = -2*u + 7, -2*i - u + p = -0*u. Which is greater: -1 or i?
i
Let o = 1846/7 - 31732/119. Let d be (3 + -13 - -15) + (-3 - (8 - 4)). Which is smaller: o or d?
o
Let i = -77/24 - -39/8. Let g = 124 - 119. Suppose 3*b = -9*b + g*b. Is b < i?
True
Let w(b) = -b**3 - 57*b**2 - 79*b - 1286. Let n be w(-56). Is -0.6531 greater than n?
False
Let u = 20 - -88. Suppose -2*w + 756 = 5*w. Is w at most as big as u?
True
Let k = -18.008623 + 0.008623. Suppose -3*d = -4*w + 84, 5*d + w - 71 = -211. Let x be (-4)/14 + (-15)/d. Do k and x have different values?
True
Let s = 488 - 483. Let o be 1004/1728 - s/80. Are o and 2 nonequal?
True
Let s be -14*1/((-5)/5). Let v be (7/s)/(2/260). Let g be (-12)/78 + 49/v. Does g = 5?
False
Let n be 4/22 + 1488/528. Suppose 8 - 5 = -n*x. Which is greater: 28 or x?
28
Let n = 249.57 - 251.3. Which is bigger: -0.4 or n?
-0.4
Let x be 20/70*2 - ((-1714)/1974 + 1). Is x greater than or equal to 0?
True
Let z = 195 - 194.859. Let u = -1.141 + z. Is -4/13 smaller than u?
False
Let r(h) be the first derivative of -h**3/3 - 9*h**2 - 83*h - 20. Let k be r(-6). Which is smaller: -16 or k?
-16
Let d = -408635868/662783 + 2/60253. Let f = d - -616. Suppose -3*p + j = -p - 1, -3 = j. Is f >= p?
True
Suppose -n - 5*w = 22, -4*w + 138 = -4*n + w. Suppose 3*k = -3*r + 87, 126 = 4*k - r + 3*r. Let m = k + n. Do 0 and m have the same value?
False
Let v(a) = -35*a + 354. Let g be v(10). Is 211/43 <= g?
False
Let q = 3915 + -4270. Is -707/2 > q?
True
Let u = -24367 + 24367.0634. Let h = 47/3 + -16. Which is greater: h or u?
u
Suppose 0 = -3*p - 6, -3 = 2*s + 2*p + 23. Let h be 2/(-1) + -4 + -20 + 9. Is h smaller than s?
True
Let k = -1 + 0.76. Let a = -256.24 - -259. Let s = k - a. Which is bigger: 0.05 or s?
0.05
Let b = -354.05 + 356. Let u = b - -3.05. Is u greater than -6/13?
True
Let p(y) = y**3 - 7*y**2 + 7*y - 8. Let n = 21 + -15. Let f be p(n). Let d = 72889 - 72889.18. Is d <= f?
False
Suppose n - 4*l - 12216 = 3*n, 5*n + 6*l + 30564 = 0. Which is smaller: n or -6122?
-6122
Let j be (-7)/(-49)*7 + (0 - 0)/1. Is j at most as big as -2/7295?
False
Suppose -2*d + 37 = -d. Let r be 1189/3 + ((-80)/6)/10. Let a = r + -358. Is a <= d?
True
Suppose -3*g + 153 - 25 = 5*c, 0 = -c - 2*g + 20. Suppose -n = n + c. Let a be 2/n*(-49)/10. Is a <= 2?
True
Let a be (-364)/(-183) - (2 - 0/5). Let j = a - 179/366. Which is smaller: j or -23?
-23
Suppose -3*f - 5*p = -29, 0*f - 3*p = 4*f - 24. Suppose -3*g + f*o - 456 = 0, -6*g + 10*g + 593 = o. Are g and -147 equal?
True
Let g be ((-123)/(-180)*-2)/1. Let v = g + 7/6. Let k = -0.658 + 0.058. Which is bigger: v or k?
v
Let s(i) = -2*i + 28. Let v be s(13). Let k be (-21 - -11) + v + 0. Suppose -1 - 12 = 3*o - 5*c, -5*o - 3*c = 67. Is o equal to k?
False
Let d = 21175.21 + -21175. Does 6.8 = d?
False
Suppose 0 = -v - 200*o + 205*o - 206, -4*o = -4*v - 744. Is v > -84?
False
Let a = -0.02 - 0.11. Let m = 255.13 - 255. Let c = a + m. Which is smaller: c or -3/5?
-3/5
Suppose -3*i - 514 = -2*m + 1122, 0 = -2*m + 10. Is -541 < i?
False
Let j be ((-24)/9)/(20/15 + -2). Suppose -2*o + 7*o + 5*y = 10, j*y = 