 = -1.28 - o. Which is bigger: h or 21?
21
Let s = 4/1545 - 4859/86520. Is -1 != s?
True
Let a = -74 - -129. Let z = a - 48. Let o be (-2 + 2)/1 + 0. Is z greater than or equal to o?
True
Let j be -31 + (-8)/(-3) + (-7)/(-21). Which is smaller: 5 or j?
j
Let f(d) be the second derivative of -d**3/6 - 3*d**2/2 + d. Let w be f(-7). Suppose 5*t + 10 = -c - c, 0 = w*c. Is t bigger than -4?
True
Let w = 254 - 1268/5. Is w less than 0.28?
False
Let q = -48 - -57. Let n be (-3)/((-9)/(-2)) - 174/q. Are n and -20 equal?
True
Let q(f) = 2*f**3 + 27*f**2 + 17*f + 40. Let d be q(-13). Let k be 115/(-9) + (-2)/9. Which is greater: d or k?
d
Suppose 2*s = 3*s + j + 1, -3*j = -4*s - 32. Suppose -13*d + 3 = 29. Does s = d?
False
Let k(d) = -d**3 + 20*d**2 - 22*d - 12. Let w be k(18). Let q be (w/45)/((-5)/(-126)). Let z = 134 - q. Which is smaller: 0 or z?
z
Suppose 5*g = -a - 21, -5*a - 4*g = 8 + 13. Let o(j) = -6*j**3 - 2*j**2 - 2*j - 1. Let t be o(a). Suppose -2*b + t*b = 0. Is -3 bigger than b?
False
Let k = 211 + -211. Let r = -4/7 + 40/21. Is r not equal to k?
True
Let h = -69 - -70. Let z(n) = 27*n + 3. Let p be z(h). Which is bigger: p or 28?
p
Let c be 0 + 4314/(-42) + 4/(-14). Let f = 319/3 + c. Is 3 at most as big as f?
True
Let l be -3 + 3 - 1*(3 + -2). Let p(m) = -8*m**3 + 2*m**2 - m - 2. Let x be p(l). Which is smaller: 10 or x?
x
Let q(w) = w**2 - 3*w + 1. Let l(k) = -6*k**2 + 16*k - 5. Suppose 0 = v + 12 - 1. Let g(p) = v*q(p) - 2*l(p). Let r be g(1). Which is smaller: r or 0.5?
0.5
Let h(j) = -170*j - 66. Let r be h(2). Which is smaller: r or -408?
-408
Let p = 17 - 14. Let r = 0.416 + -0.22. Let y = -0.004 - r. Is p smaller than y?
False
Let l be ((-536)/360 - 328/(-369)) + 136/10. Suppose -3*u = 4*s - 240, -4*u + 4*s + 345 = s. Suppose -u = -5*p - 19. Is l at most as big as p?
True
Let v be 1/(-4) + 325/20. Let k = -23 + v. Which is smaller: -11/2 or k?
k
Suppose 0 = a - 6*a + a. Suppose a = 6*k + 3*k. Which is smaller: k or -1/23?
-1/23
Let b be (6/(-14))/(4/60). Suppose 7*r + 5 = -44. Is b less than or equal to r?
False
Let d = 32.74 - 0.74. Let g = -9 + d. Is -0.2 smaller than g?
True
Let w(z) = 12*z + 82. Let a be w(-20). Which is smaller: -159 or a?
-159
Let a(d) = 2*d - 37. Let j be a(20). Suppose 4*u + 11 = j. Let z be 9/(-7) + -3 + 2. Which is smaller: u or z?
z
Let q = -10 - -25/2. Suppose 49 + 17 = -3*a. Let z = a + 24. Is q equal to z?
False
Let o(f) = -129*f + 130*f - 7 - 17. Let u be o(10). Which is greater: u or -16?
u
Let g(x) = x**2 - 18*x + 82. Let p be g(14). Are 31 and p nonequal?
True
Let r(y) = 2*y - 8. Let o be r(4). Suppose o = 3*s + s - 56. Let u = -14 - -29. Is s at most as big as u?
True
Let n = -10 - -21. Suppose 3*h + 5 = i, i + 4*h + n = 2. Suppose -5*o = 5 - 0. Is o at most i?
True
Suppose -3*h + 23 = -0*h - 2*m, 3*h - 3*m = 24. Let o be (4 - 0) + h + -2. Which is smaller: o or 10?
o
Let h = -30 - -47. Let w = h - 16.7. Let y = -1 + 2. Which is smaller: y or w?
w
Let n = 1356 + -1446. Which is greater: n or -179/2?
-179/2
Let w be (2/6)/((-101865)/495). Let o = 3986460/88283 + w. Let d = o - 45. Which is bigger: -0.4 or d?
d
Let m(z) = -z**3 - z**2 + 4*z + 3. Let h be m(-2). Let g be (-49 - h)*-9*2/(-24). Is -35 <= g?
False
Let w = 105 - 104.949. Let v = -0.051 + w. Is -1.2 < v?
True
Let s = 14 - 10. Let j = s + -3.98. Does 1 = j?
False
Suppose 0 = 4*w - 2*a - 138, -3*w + 3*a = -88 - 23. Are w and 232/7 unequal?
True
Let t(x) = x**3 + 4*x**2 + 3*x + 1. Let c be t(-3). Let n = 0.62 - 0.12. Let g = n + 0. Does c = g?
False
Let q = -6.06 - -5.22. Which is smaller: 4 or q?
q
Let r = -14248/37 - -385. Which is smaller: r or -1?
-1
Suppose 4*f = -4*v - 8, -5*v + 3*f + 2 = 4*f. Let i = 0 + v. Is i at most as big as -2/31?
False
Let y be (9/(-4))/(6/(-16)). Let z(a) = 3*a - 15. Let f be z(y). Suppose -m + f*l + 9 = l, 4*m = -2*l + 6. Are m and -1 equal?
False
Let w = 2.24 + -2.34. Let g = 1 + -1.1. Let i = w - g. Do 2 and i have different values?
True
Let h be 1/(-2) + ((-5)/(-2) - 2). Which is smaller: 7/43 or h?
h
Suppose 2*s - 8*s + 6 = 0. Suppose -3*z + 40 + 32 = 0. Let a be 0 + (z/10)/3. Are s and a non-equal?
True
Let z = -10.586 + -0.114. Let r = 8.7 + z. Is r < 22?
True
Suppose 3 = -b + 4*r, -2*r = 5*b - 3*r - 61. Let t be 172/14 + (-2)/7. Let x = t - b. Is -3 less than or equal to x?
True
Let r = 10 + -6. Suppose -2*k + r*m - 6 = -0*m, 4*k - 4*m = 8. Let s be 18/(-63) - (-2)/k. Which is greater: -2/11 or s?
s
Let n = -17/9 - -247/126. Let r(u) = -u**2 - 3*u - 2. Let w(o) = -o**2 + 4*o - 2. Let i be w(4). Let g be r(i). Is n != g?
True
Let v be ((-3)/(-2))/((-2)/24). Suppose 12 - 42 = -2*f. Let o = v + f. Which is smaller: o or -5?
-5
Let a = -303 + 324. Is a < 21?
False
Let f = -0.06 - -7.06. Let t = 11 - f. Let c = -12 - -9. Which is smaller: c or t?
c
Let g = -21338 - -17817232/835. Is 0 equal to g?
False
Let c(p) = p**2 + 20*p + 7. Let o be c(-13). Let j be ((-2)/(-6))/((-248)/o - 3). Which is greater: -3 or j?
-3
Let n be 4/32*2 + (-3)/4. Let v = 10 + -10.05. Let x = v - -1.05. Which is smaller: n or x?
n
Let k be (23748/(-16))/(12/(-4)). Let s = k + -498. Which is greater: -2 or s?
-2
Let u = -1745 - -1745. Let i = -3.7 - -3.43. Which is smaller: i or u?
i
Let l be (110/14 - 8)*14/4. Which is bigger: 138 or l?
138
Let x = -549.97 - -625.1. Let m = x + -0.13. Which is bigger: m or 1?
m
Let v be 3/(3/18*-3). Let n(y) = 8*y - 12. Let c be n(v). Which is smaller: c or -59?
c
Let f = -1816/3 + 607. Let o be 1/(-3) - 2/3. Let h be 1/o - 20/(-16). Which is smaller: f or h?
h
Let o = 1 + -6. Let v = -40 + 15. Let l = 19 + v. Which is smaller: l or o?
l
Let v(z) = z**3 + 60*z**2 + 62*z + 177. Let o be v(-59). Let j = 155/12 - 13. Which is smaller: j or o?
j
Let s be ((-9)/810)/((27/96)/(-3)). Which is smaller: s or 1?
s
Let s = -1 + 10. Let t = -10 + s. Let p = t - -2. Is 4/3 at most as big as p?
False
Let y be (-34)/(-6) + (-20)/30. Let v(c) = c + 1. Let l be v(y). Suppose -9 = -3*r - l. Is 2 greater than r?
True
Let g(z) = 2*z**2 + 4*z + 2. Let r be g(-2). Suppose -30 = r*p + p. Let j be ((-8)/6)/(p/(-6)). Is 1 at least as big as j?
True
Suppose -7*f + 2*f = -20. Suppose 0 = -x + 3*h - 10, -2*x - 56 = 2*x + f*h. Which is greater: -14 or x?
x
Let b = -0.194 + 0.294. Which is bigger: 69 or b?
69
Let i = 0.1 - 2.1. Let u = i + 1.9. Let d = 8.42 + -21.42. Which is greater: d or u?
u
Let y = -1011/11 + 91. Which is bigger: -2 or y?
y
Let f = -9959/4 - -2724. Let r = f - 14147/60. Let j = r + 4/3. Are 2 and j nonequal?
True
Let w = -26 - -30. Let b(d) = 3*d - 8. Let y be b(w). Let c be (2 + (-5)/y)/(-3). Is -2 not equal to c?
True
Suppose -5*l + 314 - 399 = 0. Is l > -16?
False
Suppose -2*s + 22 = 5*l, -19 = 30*s - 29*s - 5*l. Which is greater: s or 27/13?
27/13
Let b = 15.436 - -0.064. Let u = 15 - b. Is -0.2 less than or equal to u?
False
Suppose -32 = -7*v + 5*v. Suppose 8 = -2*b + v. Is 3 less than or equal to b?
True
Suppose z + 10 = 3*k, 4*k = -z - z. Suppose y = -4*v - 0*v - 205, k*v + 4*y = -106. Is -50 < v?
False
Let i = 23975/52 - 461. Are 1/2 and i nonequal?
True
Let h be (-24)/(-180) + (-79)/30. Which is smaller: h or -3?
-3
Let w be (-1)/3 + (-1150)/72. Let h = 140/9 + w. Which is smaller: -1 or h?
-1
Let h be (-28080)/(-63) - 2/28*-4. Which is smaller: 445 or h?
445
Let i(n) = n**3 + 3*n**2 - 3. Let x be i(-1). Is 1/2064 greater than x?
True
Let u be (-24)/762*10/5. Is u at least 1?
False
Let p = -0.1515 + 0.0115. Which is greater: p or 3?
3
Let v(z) = 4*z + 0*z**3 + 7*z**2 + z**3 + z. Let x be v(-6). Let y be 9/(-3)*2/x. Is -1 at most y?
True
Let n = 28 - 28. Suppose 109*v - 112*v + 6 = n. Which is bigger: 3 or v?
3
Let h = -2.2 - -1.9. Which is greater: -0.11 or h?
-0.11
Let m = 14.3 + -16. Let h = m + 1.5. Let q = -0.1 - h. Is 3 >= q?
True
Let l = 1117 - 1117. Let c = -0.03 + -1.97. Are l and c nonequal?
True
Let u be (-64)/176 - 8/(-22). Are -2/41 and u non-equal?
True
Suppose -3 = i - 2*i. Suppose -i*f + 6 = -0*f. Suppose 4*b - 12 = f*b. Is 6 > b?
False
Suppose 3816*g - 3817*g - 1 = 0. Is g < 2/673?
True
Let u = 11 + -8. Let i(k) = k**2 + 23*k. Let j be i(-24). Let g = -22 + j. Which is smaller: u or g?
g
Let c be 24/112*4*(-21)/(-72). Let y = -0.5 + 1. Let a = y + 1.5. Which is bigger: a or c