 i(p). Is -47 < j?
True
Let i = 0.076 - -0.011. Let k = 4.913 + i. Which is smaller: -1 or k?
-1
Suppose 0 = 3*s + 4*q + 34, -3*s + 0*s - 14 = -q. Let t(h) = -5*h + 12. Let c be t(s). Do 43 and c have different values?
True
Let s be 14 - 2360/170 - (-2928)/(-34). Is -772/9 bigger than s?
True
Let m = -1221 - -1144. Which is bigger: -8 or m?
-8
Let o(x) = -8*x - 2. Let p be o(-2). Let t be ((-3)/1 - -1) + p. Suppose -13*u + 12*u + 11 = 0. Is u equal to t?
False
Suppose 14*n + 181 = -1. Is -1/4 < n?
False
Let f = -5 - -4. Let k(v) be the first derivative of -v**4/4 + v**3 - 3*v**2/2 - 1. Let g be k(2). Which is smaller: g or f?
g
Let y(s) = -24*s - 17. Let u be y(-5). Which is smaller: 104 or u?
u
Suppose 5*z - 84 = -9. Which is smaller: 16 or z?
z
Let z = 0.6 - -0.3. Let f = z + 1.1. Let j = -0.55 + -9.45. Which is smaller: f or j?
j
Let m = 4 - -41. Suppose 0 = f - 0*f + m. Let s be 6*(f/(-21) + -2). Which is smaller: s or 1?
s
Let o(x) = -x**2 - 7*x + 13. Let m be ((-2)/(-6))/((-25)/450). Let t be o(m). Is 56/3 less than or equal to t?
True
Let i be 3 + 2/(4/(-6)). Let f be ((-4)/(-1))/2 + i. Which is bigger: f or 9/4?
9/4
Let k = 0 - 5. Let z be (-1)/(-4)*0/(-21). Which is smaller: k or z?
k
Let a be 2/1*21/14. Suppose 3*m = 8*m + 3*r - 16, 0 = 4*m + 2*r - 12. Suppose v - a = m. Do v and 6 have the same value?
False
Suppose 0 = 2*v + 2*y - 162, 68 = v + 5*y - 29. Suppose -544 = -7*n + 3*x, n - 11 = -5*x + 45. Which is bigger: n or v?
v
Let x = -640 + 640. Are x and 165 unequal?
True
Let s = 62 + -41. Suppose -4*u + s + 19 = 0. Let x be (-5)/2*2/u. Is -2 bigger than x?
False
Suppose 0*p = -2*p + 2. Suppose -s - p = -3. Suppose -2*c + 3 = 1. Do s and c have the same value?
False
Let g(h) = -h - 3. Suppose -3*o + 8*o + 5*n + 15 = 0, -5*n - 9 = -o. Let j be g(o). Suppose 0 = 6*t - t + 35. Is t at least as big as j?
False
Suppose 19*r + 3363 = 285. Which is smaller: -166 or r?
-166
Suppose 79*h - 819 = 88*h. Are -89 and h unequal?
True
Let n = 889/3 + -296. Is 12 not equal to n?
True
Let h = 9931 + -9932. Let q(d) = 6*d**3 + d**2 - 5*d - 4. Let b be q(-3). Let s be b/(-36) + -2 - 2. Which is bigger: h or s?
s
Let q(s) = s**2 + 33*s - 71. Let h be q(-35). Are h and -0.42 equal?
False
Let h(q) = -2*q**3 + 13*q**2 + 4*q + 23. Let y be h(7). Is -263 bigger than y?
False
Let d = 158.1 - 158. Is -1 > d?
False
Let i = -1148 + 1133. Is 11 >= i?
True
Suppose -4*y - 14 = 5*p - 10*p, 4*y = p - 6. Is -1/173 at most y?
False
Let d(h) = -h**3 + 4*h**2 - 8*h + 3. Let y be (-2 + 5)*(-4 - -8 - 3). Let c be d(y). Which is greater: -11 or c?
-11
Let s = -1349/75820 - -3/340. Which is smaller: -1 or s?
-1
Let x(p) = -p**3 + p**2 + p - 15. Let u be x(0). Let b be (-42)/12 - (u/6 + 2). Which is bigger: -9/5 or b?
-9/5
Let b be (-5)/25 + (0 - 1216/20). Is -247/4 > b?
False
Let l = 10672823/586 - 18213. Which is smaller: l or 0?
0
Let i = -157 + 40. Let k = i + 115.96. Which is smaller: 1 or k?
k
Let g be (-4)/(-8) + 1 + 10/4. Suppose -3*i - 5*n - 25 = 0, -2*n = 6 + g. Let m be 105/(-102) + (0 - -1). Which is smaller: i or m?
m
Let o(g) = -3 - 11*g + 5 + 0*g. Let f be o(-2). Is 24 at most as big as f?
True
Let j be (8/(-40))/((-3)/20). Suppose -2*k = 3*k - 5. Which is smaller: k or j?
k
Suppose -4*o - 2*t - 2*t = 32, 5*t = o - 22. Let i = 8225/8 + -1030. Are o and i non-equal?
True
Let g = -377 + 373. Which is bigger: g or -7?
g
Suppose -40 = 2*m - 4*m. Let z be (-1 - 1)*(-4)/m. Let o be (0/(-1))/(-1 - -2). Which is smaller: o or z?
o
Let p = 564 - 564. Which is bigger: p or 183?
183
Let y = 7.59 + -7.49. Do y and -0.117 have the same value?
False
Let h be 0 + 0 + 3 + 15. Suppose 0 = 2*q + 8, q = -k - 3*q - h. Let f(r) = -r**3 - 3*r**2 - 4*r - 3. Let j be f(k). Is j != -2/11?
True
Let v(m) = 79*m**3 - m**2 - m - 1. Let c be v(-1). Let i = c + 87. Does 4 = i?
False
Let h = 15186118/927 - 16382. Which is bigger: h or 1?
1
Suppose -83 = 4*i + 5. Let t = -265 - -246. Which is smaller: i or t?
i
Let m(s) = -s**3 + 2*s**2 + 3*s + 3. Let g be m(3). Suppose j = d + 5*j - 6, 2*d - g*j - 12 = 0. Let i = 5 - d. Which is smaller: i or -2/15?
i
Let v(o) = -o - 7. Let n be v(-7). Let h be 1 - (n - 30/(-3)). Let u be (8/(-10))/(h/5). Do u and 2/5 have the same value?
False
Let o be (-2588)/(-34) - 25/(3825/18). Let g(z) = z**2 + 3*z + 5. Let n be g(7). Which is smaller: n or o?
n
Let r(n) = -n**3 - 28*n**2 - 24*n + 81. Let l be r(-27). Do l and 1/6 have different values?
True
Let l be (-15 - -13)*(-10)/4. Suppose l*r - 39 = -3*f - 175, 3*f - 46 = 2*r. Is r bigger than -27?
True
Let n = -8 - -19. Suppose -2*s = -3*c + 2*c + n, 0 = 2*c + 5*s - 31. Let k be -2 - c*(-16)/102. Which is greater: k or -1?
k
Let i = 357 + -334. Do 21 and i have different values?
True
Let l = -317 + 177. Which is smaller: -146 or l?
-146
Let m = -1 + 13. Let u = 27988/5 + -5562. Let s = u - 36. Which is smaller: m or s?
s
Suppose 2*o - 3*p = -6*p + 62, -3*o + 78 = -3*p. Which is bigger: o or 29?
29
Suppose 7*z - 2*z = 0. Let y(q) = -q**2 + 7*q - 2. Let k be y(3). Let a be k/(-32)*(-6)/30. Is z >= a?
False
Let x be (125*(-16)/(-2240))/((-2)/(-8)). Which is greater: x or 4?
4
Let o be (-28)/3 + (-6)/9. Let m be (12/(-15))/((-6)/o). Which is smaller: m or -2?
-2
Let w = -6176/55 + 561/5. Which is greater: w or 3?
3
Let o = -22309/5 + 4445. Is o <= 2/7?
True
Let x(y) = y. Let m be x(5). Let w be ((-4)/6)/(((-1)/3)/1). Suppose d = 3*r + 5*d - 13, 0 = -m*r + w*d - 13. Are -1 and r nonequal?
False
Suppose 0 = -7*b + 7 + 14. Suppose -3*w = w + z - 2, b*w + z = 1. Which is bigger: 2/37 or w?
w
Let l be 1/(-1) - (816/(-18) - 4). Do l and 48 have the same value?
False
Suppose 5*t = -2*k + 11 + 3, -k + 9 = 3*t. Suppose -3*c - i - 3 = 0, t*c = -0*i - 5*i + 7. Which is smaller: 5 or c?
c
Let m be 985/25 + (0 - (-6)/(-15)). Is 2 at least m?
False
Let d be (-3)/9 - (2 + -1). Let i(l) be the third derivative of l**6/120 - l**5/5 + l**4/24 - 2*l**3 - 4*l**2. Let f be i(12). Is d not equal to f?
True
Let p = -9.76 - -0.96. Let i = -0.2 + p. Let r = i - -9.1. Is -6 not equal to r?
True
Suppose 6 - 2 = -2*k. Let x be ((-12)/4 - 3)/k. Are -3 and x unequal?
True
Let h(d) = 0*d**2 + 13*d**2 - 7*d**2 + 5*d + 13*d**2 - 4. Let x be h(1). Is 21 at least as big as x?
True
Let f = 1098 - 1093. Is f > 3/29?
True
Suppose -24 = 2*f - 5*b, -f + 0 = 4*b - 1. Let a(l) = l**3 + 6*l**2 - 6*l + 9. Let w be a(f). Does 5 = w?
False
Let f = 15.187 - 2.097. Let i = -2.3 + -10.7. Let d = f + i. Which is smaller: d or -1?
-1
Let o = -1 + -4. Let u = 10 + -6. Let y = u + o. Which is smaller: 2/7 or y?
y
Suppose 5*b + 0 = 3*n + 19, 5*n + b - 15 = 0. Suppose 0*p - n*p = -32. Suppose -5*d = p - 1. Do -4 and d have the same value?
False
Suppose 0 = -4*k + 131 + 25. Let d = k - 42. Which is smaller: d or -11/4?
d
Let o(j) = j**3 - 9*j**2 + 2*j - 7. Let q be o(9). Suppose -3*r = -h - q - 3, -4*h = -3*r + 20. Let a = -858/5 + 171. Is h greater than or equal to a?
False
Let w be (3/18)/((-3)/3). Let h = -54 + 52. Is h less than w?
True
Let p(f) = f**2 + 2*f - 7. Let n be p(0). Let t = 10 + n. Which is bigger: 1/3 or t?
t
Let h = -833 - -832.23. Which is smaller: 6 or h?
h
Let s = 79 - 51. Let r = 41 - s. Is -1 less than or equal to r?
True
Let z(j) = -j**3 - 6*j**2 - j. Let s be z(-6). Let o(x) = x**2 - 8*x + 9. Let m be o(s). Let l be 9/(-60) + m/12. Which is bigger: l or 3?
3
Let m = 230 - 532. Is -302 <= m?
True
Let l be (308/(-297))/(-1 + 5/3). Is l at least -3?
True
Let l = 31 + -18. Let k = l - 12. Let w be 0 + ((-19)/(-13) - 1). Which is bigger: k or w?
k
Let k(a) = 2*a**2 - 4*a + 4. Let t be k(2). Let x be t/(-7) - (-12)/(-28). Is -1/36 at most x?
False
Let w be (-10)/25 + 54/10. Let v be (-10)/10*w/13. Let o = 0.57 + -0.67. Which is greater: o or v?
o
Let r = -2.5 + 3. Let a = 17/5 + -63/20. Which is smaller: a or r?
a
Suppose 24*z - 18 = 22*z. Does 9 = z?
True
Let u = 3.5 - 4. Let w = u - -4.5. Let x = w + -9. Which is bigger: x or 2?
2
Let a(t) be the second derivative of -t**4/12 - t**3/3 + t**2/2 + 11*t. Let w be a(-2). Is w at least as big as -2/13?
True
Suppose 2*w = -4, s = 4*s - 2*w + 5. Which is greater: -13 or s?
s
Let j = 7.485 - -0.915. Which is smaller: j or -5?
-5
Let z be (135/4)/((-48)/(-512)). Is 359 at most as big as z?
True
Let p 