p >= -10?
False
Let c = 5.5 - 6. Let o = 0.9 + -0.9. Let g = -2 - o. Is c less than g?
False
Let z be 26/(-36) + (-2)/(-4). Let v(w) = -w**3 + 6*w**2 - 2*w + 9. Let p be v(6). Let b be ((-4)/((-12)/p))/(-2). Which is bigger: b or z?
b
Let o = 0.875 + -5.875. Which is greater: 2/115 or o?
2/115
Let j = -0.27 - -31.27. Let t = j + -31.03. Are t and 0.3 non-equal?
True
Let b = 3 - 2. Let u(w) = 7*w**2 - 2*w + 1. Let x be u(b). Let j(s) = s**3 + 11*s**2 + 9*s - 3. Let g be j(-10). Which is bigger: g or x?
g
Let m(c) = c**3 + 5*c**2 - 2*c - 5. Let d be m(-5). Suppose 0 = r + 4*r - o, 5*o - 20 = d*r. Let z be (-12)/(-16) + (-70)/168. Which is smaller: r or z?
z
Let n = -718 + 709. Which is greater: -4.4 or n?
-4.4
Let v(r) = 2*r**2 + 24*r - 27. Let n be v(-13). Let w = -279/10 + 28. Is w greater than n?
True
Let o(a) = -6*a - 101. Let k be o(-11). Which is smaller: k or -37?
-37
Suppose -92*z = -90*z - 102. Is z greater than -27?
True
Let n be (-11)/(-1) - 71232/56. Which is bigger: -1262 or n?
n
Let q = -86.2 - -0.2. Let a = q - -86.003. Which is smaller: 2/7 or a?
a
Let y = 5386 + -21409/4. Which is smaller: 34 or y?
y
Suppose 20 = 4*f + 12. Suppose -f*o + 6 = -2*s, 0*o = 2*o + 4*s. Are 3/5 and o nonequal?
True
Let w = 41 - -35. Let y = w - 87. Let x = -10 + -1. Is y != x?
False
Let d(k) = -k**3 + 23*k**2 + 24*k - 1. Let r be d(24). Which is greater: r or -5?
r
Suppose -47 = -10*i - 7. Is 5 equal to i?
False
Let k = 11.3 - 12. Let y = -53 - -54.7. Let d = k + y. Which is bigger: 2 or d?
2
Let p(r) = r + 6. Let a be p(-6). Suppose -5*o + 0 = -a. Which is bigger: o or 28?
28
Let g = 40.6 - 38.6. Is 114 less than g?
False
Let p = -1.898 - -1.798. Suppose 3*q - 145 = 212. Suppose 0 = 4*c + 23 - q. Which is greater: p or c?
c
Let f = 57 - 59. Let x be ((-2)/26)/(78/2). Let m = x + -1687/1521. Which is greater: f or m?
m
Suppose -26*n + 1481 = 4757. Which is smaller: n or -124?
n
Suppose -2*z - 366 = -m - 3*m, 3*m + 2*z = 278. Is m <= 92?
True
Suppose -9 = 8*q - 65. Let f(p) = p**3 + 5*p**2 - 2*p - 4. Let b be f(-5). Are q and b non-equal?
True
Suppose 0 = 10*b - 208 - 212. Let n = b + -70. Is n smaller than -28?
False
Let s(b) = -b**2 + b + 21. Let g be s(5). Let m be ((-1)/81)/(2/4). Is g at most m?
False
Let y = -537844/13 + 41398. Is y greater than 25?
True
Let i = -43 - -43. Suppose 4*w + 5*r - 5 = i, 2*w - 2*r = 3*w - 2. Is -5/14 != w?
True
Let j = -87/14 + 187/30. Is j != -1?
True
Let a = 647 - 840. Is -193 bigger than a?
False
Let k = -3 + 2. Let s be (4/12)/((-15)/40). Does k = s?
False
Let t = -13 - -13. Suppose t = -0*o + 2*o + 4. Is o less than 0.7?
True
Let p = -1245 + 1247. Is 2/135 at least p?
False
Let s be -1 + 1 + (-75)/(-3). Let w(u) = -u**2 - 34*u + 635. Let j be w(13). Is s not equal to j?
True
Let z be 0 - (80/1)/4. Let k be -20*((-19)/z - 3/15). Is k >= -15?
True
Let t(h) be the second derivative of -h**5/20 - 5*h**4/12 - h**3/3 + 7*h**2/2 + 5*h. Let d be t(-5). Let l = d - 17. Is l smaller than -4?
False
Let d be 9/(1 + 2/4). Let q = d + 6. Suppose 3*v = 5*f + 54, 2*f + 8 - 2 = 0. Which is greater: q or v?
v
Let q be (8 - 6) + 0/((-9)/(-3)). Suppose -q*s + s - 35 = 5*m, 0 = 3*m + s + 23. Is m not equal to -20/3?
True
Suppose -5*s + 3 = -2*s. Let h(g) = -5*g - 27. Let q be h(-9). Suppose 2*p - 4*u = -q, -p + 16 = u + 2*u. Is s at most p?
True
Let j be (-30)/(-35) - -1*4/(-28). Is j != 0?
True
Let o be ((-52)/(-10) - 4)/((-4)/(-10)). Let j be ((8 - 5) + -4)/(o/(-3)). Which is smaller: 11 or j?
j
Let c = -71 + 117. Suppose 0 = 8*u + 50 + c. Suppose -13 = 2*z - z. Which is greater: u or z?
u
Let c(r) = r**3 - 8*r**2 - 18*r - 16. Let a be c(10). Let z(l) = -2*l + 0 - 2*l + 3*l + 4. Let j be z(0). Is j at most a?
True
Let q(g) = g**2 - 5*g - 5. Let a be q(6). Let i = a + -1. Which is smaller: -2/9 or i?
-2/9
Let n be (2/(-2))/(20/160). Let k be -15*(24/9)/n. Which is smaller: 4 or k?
4
Let v = -80 + 82. Let k be v/4*(18 + 22). Let o be 1/(2/(37 + 1)). Is o > k?
False
Let v be ((-2)/(-47))/((-40)/(-124060)). Let i = -132 + v. Is 0 less than i?
False
Let m(y) = y**3 - 18*y**2 - 15*y - 42. Let x be m(19). Which is greater: x or 22?
x
Let w = 196.05 - 196. Which is greater: w or -4?
w
Let u = 54 + -32. Let d = u + -94. Let v = 357/5 + d. Is v smaller than -1?
False
Let t(x) = -3*x - 7. Let a be t(-3). Suppose a*c - 3 = c. Let y be (-1 - 36/28) + c. Do 2 and y have the same value?
False
Suppose 5*g + 135 = 2*g. Let w = 22 + g. Is -23 greater than or equal to w?
True
Let r be 0 - 0 - -1 - 7. Suppose 5*v + 2*s = -9, -4*v - 26*s + 30*s - 24 = 0. Which is smaller: r or v?
r
Let c = 27 + -34. Let a = c + 8. Do a and 19 have the same value?
False
Let t = -254 - -253.6. Let w be (-2 - 241) + 1/1. Let u = 1698/7 + w. Is u at least t?
True
Let n be (-125)/100 - 750/8. Which is smaller: n or -1?
n
Let o = 1353 + -1342. Let g(l) = 2*l - 2. Let d be g(5). Does d = o?
False
Let u = -1004/71643 - 14/501. Let q = 556/6435 + u. Let j be (1 + -2)/((-5)/(-5)). Which is smaller: j or q?
j
Let x = 0.1954 - -56.8046. Is x at least as big as 9?
True
Suppose 215 = 13*p + 59. Suppose -3*l + 24 = l. Let h = l - -5. Which is smaller: h or p?
h
Let f = -14 + 26. Let i be 232/f + (-4)/(-6). Suppose 2*n - 6*n - 2*v = i, 16 = -3*n - 2*v. Which is greater: n or -3?
-3
Suppose -88*g = -89*g + 2. Suppose l + 4 - 30 = -5*h, 0 = -5*l + 3*h - 10. Is l at most as big as g?
True
Let u = -3.22 + -31.78. Which is smaller: u or -0.1?
u
Let y(w) = 2*w - 10. Let b(u) = -u**2 - 12*u + 7. Let a be b(-12). Let m be y(a). Suppose -3*r = -3*z + 9 + 12, -3*r = m*z - 14. Which is smaller: 4 or z?
4
Let j(m) = -m**3 - 14*m**2 - 7*m - 23. Let l be j(-14). Let x = l - 86. Let v be 238/(-18) - 4/(-18). Which is smaller: x or v?
v
Let r be (-14 - -9)*(-22)/10. Suppose 0 = 2*k - 181 - r. Let u be 6 + -4 - k/52. Which is greater: u or 1?
1
Let u = 147.9 - 147. Let i(m) = m**2 + 3*m - 3. Let r be i(-4). Which is smaller: r or u?
u
Let z = -2.65 + 2.7. Suppose 0 = 7*g - 17 - 18. Is g greater than or equal to z?
True
Let i = -5 + 11. Let x = 0.278 + -0.378. Are i and x nonequal?
True
Let w be (-34889)/(-70) + (-12)/60. Let b = 498 - w. Is b at least -1?
True
Let z(o) = 4*o**3 + 6*o**2 - 2*o - 6. Let a be z(3). Do 150 and a have the same value?
True
Suppose -4*g + 7 = 23, -w - 12 = 2*g. Let h = 4 + w. Is 4/9 at most h?
False
Suppose 41*u = 48*u + 7. Is 21/59 greater than or equal to u?
True
Let u = 0.0235 + -25.0235. Which is smaller: 3/2 or u?
u
Let s be (4 - 1 - 1) + 78. Which is greater: s or 81?
81
Let w = 693 - 45043/65. Let a(y) = y**3 + 3*y**2 + 4*y + 5. Let g(o) = o**3 - 16*o**2 + o - 18. Let j be g(16). Let d be a(j). Which is greater: w or d?
d
Let q(t) be the first derivative of t**3/3 + 9*t**2/2 + 17*t - 11. Let f be q(-5). Is -3 at most f?
True
Let o = 1/3 + -2/5. Let j(n) = n**2 - 4*n + 1. Suppose 6*f - f - 9 = -r, -2*r + 9 = f. Let q be j(r). Does q = o?
False
Let n(r) = -r**2 + r + 44. Let i be n(-6). Is 14/9 at most i?
True
Let r = -13.08 + 12.58. Which is smaller: r or 55?
r
Suppose -19 - 47 = -2*h. Suppose 0 = 5*u + h + 32. Which is greater: u or -14?
u
Let y(l) = -l**3 - 6*l**2 - l - 1. Let o be y(-6). Let k be 13 + -13 - (-2 - -1 - -1). Suppose k = 2*c + 3*c - o. Is c at most -6?
False
Let k(t) = -2*t + 18. Let p be k(0). Is p equal to 18?
True
Suppose i - 3*g = -6, -4*i + 6 = -2*g - 0. Let l(u) = -u**2 + 3*u. Let p be l(i). Is p at least as big as 1/4?
False
Let b = -1318/1141 + 2/163. Which is smaller: -7 or b?
-7
Suppose -5*m - 38 = 3*g, 4*g = -3*m - 2*m - 49. Suppose 0 = -2*x + 5*q - 29, 6*x - 4*q = 4*x - 28. Which is bigger: g or x?
g
Let p = 3510 - 24531/7. Let s(n) = n**3 - 4*n**2 - 3*n - 5. Let b be s(5). Is p at least b?
True
Let z be (-9753)/(-57) - (-5 - 970/(-190)). Is 171 greater than or equal to z?
True
Let v(b) = 3*b - 12. Let q be v(5). Suppose q*n = -2*s + 2*n + 2, 5*n - 17 = -3*s. Let k be (-6)/22*(-4)/(-6). Which is bigger: k or s?
k
Let h be (-2)/(-284) + 14 + -14. Let w = -277/994 - h. Are -2/11 and w equal?
False
Let u = 7 - 22. Let f = u + 14. Let c be 1/1 - (1 + 3) - -4. Is f != c?
True
Suppose a = -3*r + 10, -2*r + 48 = -4*a + 18. Suppose -17 = -2*w - 5*m - 4, 2*w - r = 3*m. Is w < 4?
False
Let b = -2/311 - -1258/2177. Let k = -0.3 - -0.3. Is k great