= -51 + 48. Let o be t(h). Is o bigger than -14/3?
True
Let q(k) = -k**2 + 13*k - 29. Let f be q(8). Let b be (-6)/42 - (0 - (-184)/(-14)). Which is smaller: b or f?
f
Let h = -28 - -72. Let l = h + -65. Let f = l + 21.03. Which is smaller: f or 0.1?
f
Let i be (257 + -267)/((-15)/54). Suppose 3*d - 5*y - 48 - 59 = 0, 38 = d - 4*y. Is i != d?
True
Let c = -236/5 + 467/10. Let a be (1/((-4)/(-106)))/10. Let g = -12/5 + a. Which is bigger: c or g?
g
Let y(j) be the second derivative of j**4/6 - j**3/6 - j**2/2 - j. Suppose 6 = 5*t - 4. Let q be y(t). Is q greater than 5?
False
Let v = -0.308 - -0.108. Which is smaller: -3 or v?
-3
Let z be 10/14 - (3 - 2). Suppose 0 = -39*j + 936 - 897. Is z at most j?
True
Let s be 12/(3/6 + -2). Let t be 10/15 + s/21. Is -2 greater than t?
False
Suppose -5*t = 100 + 65. Let r be -2*33/18*9. Is t smaller than r?
False
Let z = -1.65 - -0.05. Let n = 1.5 + z. Let q = 0.018 + -0.018. Is q equal to n?
False
Let p be 4/(-12)*-1*6. Suppose p*t = 2*d + 10, 2*t + 0*d = -4*d + 40. Let g be t/2*1/5. Is g less than -1?
False
Let v(w) = 4*w**3 - 9*w**2 + 6*w - 5. Let t be v(6). Let r be t/(-4)*24/(-10). Let g = -341 + r. Is 1 greater than or equal to g?
False
Let y be 2*-5*1/(-10). Suppose 2*i = 5*b - 67, -2*i + b + 37 = -3*i. Does i = y?
False
Let o = -21256 - -35773849/1683. Are o and -1 unequal?
True
Let i be 20/24*1*-3. Does i = -8?
False
Let h = 65/153 - 11/17. Let z(r) be the first derivative of -r**3/3 + 4*r - 4. Let q be z(2). Which is smaller: h or q?
h
Let l = -71/26 + 83025/30394. Is 1 != l?
True
Let x be ((-29)/58)/(3/6). Is 2/415 greater than or equal to x?
True
Let y(m) = m**3 - 3*m**2 - 3*m + 5. Let i be y(5). Suppose -q = -5*q + i. Let b be (-5)/(-20) - q/(-24). Is -2/7 at least as big as b?
False
Suppose 0 = -4*q - v + 2*v + 136, 5*q + 4*v - 149 = 0. Let t = q - 36. Let b be (-1)/(0 - (-2 - t)). Is b > -1/25?
True
Let g = 0.1 + 1.1. Let n = 0.29 + -1.59. Let r = g + n. Is -2/3 greater than r?
False
Let z(t) = t - 12. Let f be z(14). Suppose -2*b - f - 8 = 0. Which is smaller: -7 or b?
-7
Let b(s) be the first derivative of -s**4/4 + 4*s**3/3 + s**2/2 + 14*s + 1. Let c be b(6). Is c at least as big as -51?
False
Let x = 4280 + -26179/6. Let q = x - -83. Let j(m) = -m + 4. Let o be j(3). Which is bigger: q or o?
o
Let o(x) = x**3 + 25*x**2 + 2*x + 34. Let v be o(-25). Let s(i) = 9*i + 1. Let g be s(-2). Which is greater: g or v?
v
Let w be -3 + 1*725/245. Suppose 0 = -0*k - k. Is k less than or equal to w?
False
Let q be (-558)/(2 - 20/5). Are 277 and q unequal?
True
Let s = 54 - 17. Let y = s + -30. Let a(w) = w**3 - 7*w**2. Let b be a(y). Are b and 3 nonequal?
True
Let h be (-4*2/16)/(1/704). Let f be h/(-36) - (-4)/18. Is 10 less than or equal to f?
True
Let h = 80.94 + -81. Is -64 at least h?
False
Suppose m + 0 = -3*n + 1, -4*m = 3*n + 5. Let z = 7 + -4. Let b = 6 - z. Is b at least n?
True
Let c = -90 + 633/7. Suppose 0 = -3*j - 2 - 16. Let b = 6 + j. Which is greater: c or b?
c
Suppose 5*z - 4*z - 72 = 0. Let v be z/(-48) + 15/2. Let t = 0.7 + 0.3. Is v at least as big as t?
True
Let u = 884 - 742. Which is smaller: u or 141?
141
Let j(m) = m**3 + 2*m**2 - 1. Let w = -6 - -4. Let g be j(w). Let c = -2/117 - 4/9. Which is smaller: c or g?
g
Suppose 109*q - 598 = 3*j + 111*q, -790 = 4*j - q. Are -198 and j unequal?
False
Let k be (-200)/(-125) - (-4764)/(-165). Which is smaller: -28 or k?
-28
Suppose 53*g = 92*g + 429. Is g less than or equal to -3?
True
Let i(y) = -2*y**2 + 120*y - 181. Let m be i(62). Is m equal to -2138/5?
False
Let i = -7/17 - 2981/68. Let z = -5141/116 - i. Let d(w) = -w - 8. Let k be d(-7). Which is bigger: k or z?
z
Let d(o) = 2*o**3 - o**2 - 3*o - 1. Let j be d(3). Let p = 36 - j. Is -1/49 greater than or equal to p?
False
Let q = -793 + 94365/119. Which is bigger: q or -1?
q
Let v = 0.6 + -5. Let w = v - -4.77. Is w greater than -0.1?
True
Let m = 1114721/194 + -5746. Which is smaller: 1 or m?
m
Let b = -0.446 + 0.133. Is b less than -1?
False
Let j(o) = 2*o**2 + 10*o - 14. Let z be j(5). Let h = z - 87. Suppose 0 = -0*s + 4*s. Is h less than s?
True
Suppose -2*g + k = -7*g - 394, -g - 74 = 5*k. Do g and -236/3 have the same value?
False
Let p = -30 + 154. Are p and 124 nonequal?
False
Let w = 122.2 - 122. Is -2/45 less than w?
True
Suppose 0 = 5*s - 15 - 40. Let k = s + -95/9. Which is smaller: k or 0?
0
Let a = -866 + 1076. Is a equal to 1/2?
False
Let f be 529/(-9) + (-8)/36. Let q = f + 54. Is q at least -7?
True
Let l be (0*(-4 - -3))/(-2). Suppose l = j - 2*i + 9, 3*i = 3*j - 2*i + 23. Let m be ((-6)/(-12))/((-111)/(-12)). Which is bigger: m or j?
m
Let l = 1492/5 + -298. Which is smaller: l or 2.43?
l
Let r be (52/(-130))/(10/6 + -1). Which is bigger: -1 or r?
r
Let h(s) = s**2 - 25*s - 15. Let u be h(25). Let v be 2*9*u/(-9). Is 30 <= v?
True
Let h = 28.988 + 0.012. Let y = 7 - 6.9. Is y not equal to h?
True
Let z(q) = -q**3 - 4*q**2 - 2*q + 1. Let a(y) = -5*y + 17. Let u be a(4). Let c be z(u). Is -3 at most c?
True
Suppose 0 = -5*u - 6 - 4, 4*u = 5*v - 18. Suppose 4*q - 5*o + 4 = 0, q - 3*o + 26 = -8*o. Let n be (-21)/q - (v - -1). Which is smaller: n or 4?
n
Let j be -4 + 0 - -20 - 2. Let l = 15 - j. Which is smaller: -2/63 or l?
-2/63
Let r(n) = -n**3 - 6*n**2 - 7*n + 2. Let z be r(-4). Is z smaller than 26?
True
Suppose 0 = -z - z - 12. Suppose 4*j = -4*a + 20, -3*j + 18 = 3*a + j. Suppose 5*o + 34 = -a*v, 25 = -4*o - 5*v - 9. Is z <= o?
True
Let u = 2.9 - 2.38. Let v = u - 0.12. Let l = 0 - v. Is -0.1 bigger than l?
True
Suppose 11*z - 13*z = 4. Let d be (1 - (-3 - z)) + -1. Let y = -3 - -6. Which is greater: y or d?
y
Let l(z) = -z**2 - 31*z + 1. Let r be l(-31). Is r greater than or equal to 1?
True
Suppose -4*t + 0 = 4. Let x be 2 - (4*t)/(-2). Suppose -700 = -6*u - 718. Which is smaller: x or u?
u
Suppose -4*r = u - 69, 2*u + 3*r = -0*u + 123. Suppose -83 - 81 = -3*o - k, 3*o + 2*k = 160. Is o at least u?
False
Let c be (26/(-6))/(1/(-6)). Let m = -79/3 + c. Suppose -14 = 3*i + 2*r - 3, 0 = -2*i + 4*r + 14. Which is bigger: i or m?
m
Let x(j) = -2*j**2 - 43*j - 212. Let z be x(-13). Let c be (14/4)/(2/4). Suppose -2*o - 50 = -c*o. Are o and z non-equal?
True
Let v = 538 + -537. Which is smaller: v or -3.7?
-3.7
Let n be 5/((-50)/(-4)) - 9/210. Is 0 at most n?
True
Let r(w) = -5*w**2 + 3*w - 4. Let g be r(3). Let c = 43 + g. Suppose 79 = -c*b - 5*u, -4*u = -u + 15. Which is smaller: -17 or b?
b
Let y = -104 - -317/3. Let b(s) = s**3 - 7*s**2 + 10*s + 1. Let k be b(2). Which is greater: k or y?
y
Suppose 3*x - 5*d = 27, 15 = -d - 4*d. Suppose 2*t = -4*k + x, -10 = -4*t + 6. Which is greater: -8/5 or k?
k
Suppose 5 = 2*n - 3*n, 4*p = -3*n + 61. Let x = 15 - p. Is -4 bigger than x?
False
Suppose u + d - 22 = 0, -18 - 20 = -2*u - 5*d. Let w be u/10*(6 - 1). Let a be (-3)/5*15/w. Are a and -1 equal?
False
Let i = 0.061 + 23.939. Let o = i - 24.06. Let h = o - -0.26. Which is smaller: -0.6 or h?
-0.6
Let n = -6.18 - -0.68. Which is smaller: -1 or n?
n
Suppose -3*w - w - 16 = -4*n, 0 = n + 3*w + 4. Let z(q) = -4 + n + 3 - 3*q. Let d be z(1). Is -2 at least d?
True
Suppose r - 4 = -3*n, 52*r - 56*r = -4*n - 16. Let h = 2/31 - -40/341. Do h and n have the same value?
False
Let x = 188 - 213. Which is smaller: -2 or x?
x
Let i = -11 - -17. Suppose 2 = 4*j + i. Which is greater: 31 or j?
31
Suppose 8*t + 5 = 9*t. Suppose 2*a - m + 31 = -2*m, -2*a = -3*m + 51. Let b be a/(-2)*(-2)/(-6). Which is bigger: t or b?
t
Let i(j) = -j**3 - 3*j**2 + 4*j - 3. Let o be i(-4). Let s be ((-24)/(-32))/((-4)/(32/(-3))). Suppose -y + s*k = -2, -y = -3*y - k - 11. Are o and y non-equal?
True
Let u be (-3)/(2 - -1) - -15. Suppose u + 1 = -k. Are 0 and k non-equal?
True
Suppose 0 = 2*h - 5*u + 17, 5*u - 28 = 4*h - 9. Let r be (-36)/(-8)*(-2)/11. Do h and r have different values?
True
Let f be 22/18 - 0 - 54/243. Is -0.1 >= f?
False
Let h be (24/(-3))/(-4)*-8. Let x(g) = -3*g - 3. Let c be x(4). Let b = c - h. Do b and -0.1 have the same value?
False
Suppose -2*k + 324 = 4*j, -4*j = j - k - 419. Let x = j + -78. Suppose -5*o + o = -16. Which is bigger: x or o?
x
Suppose -2*q - b - 10 - 7 = 0, -q - 3*b = 6. Suppose 0 = 5*v - v - 20. Let m = -15 + v. Is q bigger than m?
True
Let d(y) = y -