 + r - 4. Let i be q(4). Let z be ((-12)/i)/((-22)/16). Which is bigger: k or z?
k
Let j = -293 - -240. Which is greater: -0.1 or j?
-0.1
Let a(n) = n**3 + 5*n**2 - 2*n - 2. Let r be a(0). Which is smaller: r or -18/7?
-18/7
Let x = -476 + 474. Which is greater: x or -12/5?
x
Let m(d) = 667*d - 667*d - 5 - 22 + d**2 - d**3. Let b be m(0). Is -26 > b?
True
Let i(t) be the first derivative of 2*t**3/3 + 11*t**2/2 + 6*t - 15. Let b be i(-5). Is b bigger than 18/25?
True
Let j be (-1 + 1)/((-3)/3). Suppose j*q - 4*q = 0. Let a be (q*1/3)/2. Is a smaller than 1/18?
True
Let s = 46.6 + -43. Let i = -3.7 + s. Let c = 37 + -33. Is c bigger than i?
True
Let m(l) = -3*l**2 + 8*l - 1. Let a be m(2). Suppose -g = 4*k + 6 - 23, -a*g - 2*k + 11 = 0. Which is greater: g or 2/273?
g
Let l be (3 - -1)/(-3 + 4). Suppose l*b + 78 = 5*f, -b + 72 = 5*f - 2*b. Suppose 5*j - f - 16 = 0. Is 6 equal to j?
True
Let m = -1389 + 1390. Which is smaller: m or 2/641?
2/641
Let c(p) = 2*p - 3. Let r(k) = k - 2. Let j(q) = -3*c(q) + 4*r(q). Let f be j(-1). Suppose f*i + 19 = -2. Does i = -7?
True
Let f = -0.05 + -10.95. Let h = f - -12.2. Let q = h - -10.8. Which is greater: q or -0.1?
q
Let d be ((-12)/296)/((-27)/12). Is d != 0?
True
Let t = 1820/11 + -63964/385. Is t > -1?
True
Let a = 0.272 - -137.728. Is 0 smaller than a?
True
Let v = 304 - 16. Let h be -4 - ((-3)/1 - 291/v). Is h at least as big as -1?
True
Let g(y) = 5*y**2 + 2*y - 2. Let j be g(1). Let d be (14/(-4) - -2)/(j/60). Is -18 <= d?
True
Suppose 4*n + 3 = -9, -s + 4*n + 7 = 0. Let u(k) = k**2 + 7*k + 19. Let r be u(s). Are r and 6 equal?
False
Let h = -11 - -9.7. Let m = h - -1.4. Let g = 0.17 - -10.83. Which is bigger: m or g?
g
Let d be (-33)/(-99) + 170/3. Let v = 132 - d. Which is smaller: v or 76?
v
Let k be 2/22 - (-18)/(-440). Are 0 and k unequal?
True
Let j = -12048/35 - -2841403/8260. Let m = -1/59 + j. Let h = 170 - 171. Is h less than or equal to m?
True
Let k(s) = 2*s - 22. Let q be k(-3). Which is bigger: q or -12?
-12
Let m(t) = -t**3 + 3*t**2 + 6*t - 3. Let o be m(4). Suppose -2*b = f - 5, o*b - 2 = 2*f - f. Which is smaller: 5 or f?
f
Let m be 35/42 + (-1940)/2184. Which is greater: 0 or m?
0
Suppose 9*x - 9040 = x. Let t = x - 89269/79. Is -1 < t?
True
Let r = -3210 + 70607/22. Is -2 != r?
True
Let k be (12/(-16) - (-1)/4)*0. Which is smaller: k or -15?
-15
Let b(k) = 9 + 4*k**2 + k**3 + 0*k + 0*k**3 + 2*k + 0*k. Let o be b(-4). Is 1/3 at most as big as o?
True
Suppose -n + 2*n + 3*w = -7, n - 2*w = 8. Suppose -6*y = -n*y - 88. Is y less than or equal to 23?
True
Let t = -5 - -3. Let g = 20.89 + 0.11. Let n = g + -19. Which is greater: t or n?
n
Suppose 2*w = 5*o + 2, 0 = 2*w + 5*o - 0*o + 38. Let m = -19/2 - w. Which is smaller: -1 or m?
-1
Let o = 11 - 6. Let i(j) = -7*j - 7. Let x(q) = -20*q - 20. Let u(k) = 17*i(k) - 6*x(k). Let r be u(3). Which is bigger: r or o?
o
Suppose 3*x - 4 = -4*j - 1, 0 = 3*x + 5*j. Is x bigger than -1?
True
Let x(c) = -c + 15. Let z be x(8). Let y = 7911/1358 - -107/97. Let p = y + -10/7. Is z at most p?
False
Let l(i) = -i**2 - 16*i - 18. Let r be l(-14). Let y(s) = -2*s - s + 3*s + 9 + s. Let d be y(0). Which is greater: r or d?
r
Let d = 0.13 - -0.77. Let i = d - 1. Suppose -2*z + k = 0, 3*z = 3*k - 5*k - 7. Are z and i non-equal?
True
Suppose 7*c + 42 - 336 = 0. Is 44 < c?
False
Let g = 37.1 + 5.9. Let q = 42 - g. Which is bigger: q or 3.6?
3.6
Let x be (-1370)/(-445) - (5 + -2). Let y = x - 179/4539. Which is bigger: y or 1?
1
Let b(m) be the second derivative of -m**3/6 + 2*m**2 + m. Let h be b(9). Let r = 4 + h. Which is greater: -2/7 or r?
-2/7
Let u(o) be the second derivative of o**4/12 - 2*o**3/3 - o**2/2 + 3*o. Let g be u(3). Is g greater than or equal to 0?
False
Suppose 3*h + 139 = 28. Let o = h + 29. Are -9 and o equal?
False
Let d = 1381/26 + -113/2. Which is smaller: d or -3?
d
Let l be 4/((-4)/(-3))*76/12. Let w = l - 12. Does 10 = w?
False
Let x = 1172 - 458. Does x = 713?
False
Suppose 32*r = 17*r - 180. Are r and 14 non-equal?
True
Let v = -26.849 - -27. Which is bigger: v or -0.1?
v
Let u = 3035 - 3034. Let j = 17 - 1. Is u >= j?
False
Let v = -1 - -31. Let u = v + -32. Which is bigger: 1/3 or u?
1/3
Let t be 8/(672/105) + 1/(-4). Which is smaller: 1/1262 or t?
1/1262
Let x(g) = -3*g**2 + 6*g - 17. Let t be x(7). Let p = t + 975/8. Let w(b) = -b - 2. Let u be w(-3). Is p >= u?
False
Let v = 88/13 - 466/65. Are 1 and v non-equal?
True
Suppose 2*o - 88 = -2*o. Suppose -5*f + 23 = -o. Is f > 10?
False
Let i(b) = -b**3 - 3*b**2 + 5*b + 1. Let f be i(-4). Let k be -1 + (2 - -2) + f. Suppose -h + k*h - 3 = 0. Which is greater: h or -0.2?
-0.2
Let o = 25 - -101. Is o at most as big as 125?
False
Suppose 26 = -q + 45. Suppose -2*y + w - q = 0, -9*y - 49 = -4*y - w. Which is smaller: y or -13?
-13
Let z be 34*(-3)/6*1. Let r(a) = -2*a - 40. Let k be r(z). Do k and 1 have the same value?
False
Let a(z) = z**2 - 44*z + 194. Let g be a(39). Which is greater: g or 16/89?
16/89
Let u(p) = p**2 - 3*p + 1. Let z be 10/4 + 2/4. Let m be u(z). Let i be 2 + -4 - 644/(-299). Is m greater than or equal to i?
True
Suppose -4*x = x - 100. Suppose -x = -3*y - y. Suppose 3*t = y*w + t, -5*w = -3*t. Is w > 0?
False
Let a be (-2)/(-7) + (-4)/14. Suppose -14*z = -244 + 888. Let s be (-8)/z*2/2. Is a > s?
False
Suppose 5*s = 43 + 27. Let g = -5 - -9. Let w(l) = l**2 - 2*l + 5. Let i be w(g). Is i at most s?
True
Let d(g) = -g**3 - g**2 - g + 1. Let l be d(0). Suppose 10 = -0*r - 5*r. Let k be l/(1/(r/23)). Which is bigger: 1 or k?
1
Let o(c) = 2*c**2 + 4*c - 13. Let a be o(-7). Let u = -47 + a. Which is greater: 11 or u?
11
Let x = 389 + -388. Which is smaller: -19 or x?
-19
Let y be (-1182257)/(-126) - (-3)/(-2). Let w = 9381 - y. Let h = 5/7 + w. Which is smaller: h or 1?
h
Let i = -4 - -11. Suppose 0*j - 3*o = 4*j - 11, -2*j = 3*o - i. Suppose -m - 3*m = 0. Is m < j?
True
Let j = 601.1 + -601. Is 606 >= j?
True
Let t = 20 - 7. Let j be 10/2 - (6 - 6). Suppose 0 = -j*r - t + 53. Is 7 less than r?
True
Let q = -5 + 2. Let u = 16 - 6. Suppose -u*x = -5*x + 30. Which is greater: x or q?
q
Let b be (-1)/4 + 0 + (-30933)/(-308). Let w = 100 - b. Is 4 less than or equal to w?
False
Let i = 1.1 + -0.8. Let g = -10 + 7. Let f be 5 + g + 1 - 3. Is f less than or equal to i?
True
Let c = 13.1 - 8.54. Let g = 0.74 + c. Are g and 1 nonequal?
True
Let q be ((-4)/(-6))/(2480/112026). Let d = q + -301/10. Let a = d + -2/31. Which is smaller: 0 or a?
a
Let f = 1.345 - 1.085. Let k = 0.2 + -0.3. Do f and k have the same value?
False
Let i = -11 + 23. Suppose 0 = m + 7 - i. Let g be (12/(-7))/(m/(-35)). Is 13 != g?
True
Let u be 3/(-2)*6*(-8)/72. Are 2/77 and u equal?
False
Let o = 8 + 14. Is 19 greater than o?
False
Let f be (-4)/(8/(-14))*3. Let a = f + -14. Let k be 8/(-28) - (-2)/a. Is k equal to 1/5?
False
Let c = 221 + -224. Is 0.44 <= c?
False
Suppose 88*k + 11965 + 3083 = 0. Which is smaller: k or -2?
k
Let b be (17/(-238))/(1*2)*-92. Which is smaller: b or 4?
b
Let c = -226 + 119. Is -107 > c?
False
Let p(g) = -8*g - 46. Let c be p(-6). Suppose -12 = w - 3*w - 5*t, -c*w = -t. Which is bigger: w or -2/205?
w
Suppose 5*b - 1 - 8 = s, -4*s - 4 = -4*b. Which is smaller: s or 2/25?
2/25
Let d(w) be the third derivative of -w**4/12 - w**3/6 + 12*w**2. Suppose -3*i - 2*c - 3 = 0, 5*i + 5 = -0*c + c. Let g be d(i). Which is bigger: g or -1/3?
g
Let i be 48/(-6)*2/8. Let x be i + 0 + (8/2 - 4). Which is bigger: -3/5 or x?
-3/5
Let i = -7837 + 23161/3. Is i less than -118?
False
Let j(c) = -59*c - 259. Let k be j(-8). Is 213 greater than k?
False
Suppose -2*a - 2 + 4 = 0, -2*a = -n + 6. Suppose -2*w = n, -w = 4*c + 4*w + 28. Let t = -0.056 + 0.026. Which is bigger: t or c?
t
Let j(l) be the third derivative of -l**4/12 - 3*l**3/2 + 2*l**2. Suppose 0*c - 7 = 2*c + s, 0 = c - 2*s + 16. Let z be j(c). Are 3 and z equal?
True
Let q be (38 - -1)/3 - 9. Let i = 3 + 1. Is q >= i?
True
Let f = 23414269855/2419 + -9679318. Let g = -8/59 - f. Let q(w) = w**3 + 7*w**2 + 7*w + 6. Let u be q(-6). Does g = u?
False
Let q = -1823 - -1444. Is -383 at least as big as q?
False
Suppose -2*f - 2 = 2*h, h - 21 = -3*h + f. Let w be (-9 - -9)*(-2)/h. Let r = w - 2/7. Which is smaller: -1 or r?
-1
Let q