 greater than -3?
False
Let z = 0.2 + -0.2. Let d = z + -0.2. Let a be (-4)/(-18) - (-2360)/(-5841). Which is smaller: a or d?
d
Let g(c) = 109*c + 2260. Let v be g(-21). Let q(m) = -m**2 - m - 1. Let u be q(5). Which is smaller: u or v?
u
Let l = 13 - 7. Suppose 0 = 42*a - 5*a - 185. Which is smaller: a or l?
a
Let m be -1 + 65/90 + 4/(-18). Is m >= -93?
True
Let z = -10 - -9.78. Let r = z + -11.78. Let b = 13 + r. Which is smaller: -0.1 or b?
-0.1
Let l(g) = g**3 + 9*g**2 + 9*g + 7. Let c be l(-8). Let j = 17 + -15. Which is greater: j or c?
j
Let r = -41 + 41. Suppose -6 = 2*k, r*y + 2*k = -2*y - 8. Are -2 and y nonequal?
True
Let n be -23*(-9)/558 + 2/(-4). Which is bigger: -1 or n?
n
Let l = 3.1 + -3. Let n = -30 + 28. Let b = n + -7. Is l less than or equal to b?
False
Let p = -30.048 + 30. Let q = p - -0.099. Is 1 smaller than q?
False
Suppose 18*s = 17*s + 4. Suppose 5*y - 1 - 8 = -s*d, 4*y - 8 = -4*d. Let g = 98/3 - 33. Is d at most g?
False
Let t = -87 - 68. Is -2 greater than or equal to t?
True
Suppose -5*y = -17 + 2. Suppose -4*b + 10 = -r - 10, -y*b = 2*r - 15. Let m = 24 + -28. Which is greater: m or r?
r
Let w(i) = 25*i - 98. Let j be w(4). Which is greater: j or 7?
7
Suppose 5*b - 24 = b. Let c = 7465 + -7457. Is c smaller than b?
False
Suppose -b = 5*k - 1, 6*k - b + 1 = 3*k. Suppose k*h - 4 = 4*h. Which is greater: h or 1?
1
Let w = -1371616/421 + 3258. Which is smaller: 1 or w?
w
Suppose 4*l - 16 = 4. Suppose s - l*w + 26 = 0, s + w + 5 = 3. Let x = -5 - s. Which is bigger: -14 or x?
x
Let l(w) = 17*w - 229. Let a be l(18). Is 66 at most a?
True
Let s = -13 + 5. Let r = -44 + 89. Suppose 0 = -5*n - 4*z - r, 2*n + 2*z = -6 - 12. Which is greater: n or s?
s
Let o = -1177.028 + 1177. Which is smaller: 2/39 or o?
o
Let i(y) = 35*y - 1045. Let r be i(0). Which is greater: r or -2/7?
-2/7
Let h = -191 - -287. Is 98 less than or equal to h?
False
Let v(f) = -4*f - 96. Let j be v(-52). Is j > 104?
True
Let o(r) = r**3 - 37*r**2 + r - 36. Let m be o(37). Are m and -1/208 unequal?
True
Let v(x) = 3*x + 4. Let r be v(-2). Let w be r/(-5) + 316/(-140). Which is greater: w or -1?
-1
Let x be ((-2)/(-6))/((-8)/6). Is x less than or equal to -2/5?
False
Suppose 0 = -2*r - 14 - 4. Let i(t) = -t**3 + 22*t**2 + 3. Let v be i(22). Suppose -f = -n + 4*n + 23, 5*n - v*f + 43 = 0. Is n equal to r?
False
Let y = 55/36 - 16/9. Are -101 and y equal?
False
Let k = 62 - 36. Suppose -4*n - 4*d = -d + 43, 0 = -3*n - d - k. Do n and -4 have the same value?
False
Let t = 0.7 - 0.8. Let c = 0.219 + 1.411. Let x = 1.7 - c. Do t and x have the same value?
False
Suppose -b = -n - 2*n + 46, 5*b = 2*n - 48. Let i = n + -18. Let o be (i/(-2))/(8/(-60)). Is -15 > o?
False
Let b be 1/((-41)/(-2) - 0). Let z be 15 - 45/(675/210). Is z equal to b?
False
Let q(h) = h**2 + 5*h + 5. Let z be q(-4). Suppose 0*d + 3*d + 9 = 0. Let p be d/5*4/(-18). Is p < z?
True
Suppose k - 36 = 4*i, 105*k - 101*k - i - 84 = 0. Let m = 92 + -30. Let n be 1/3 - m/(-3). Which is greater: k or n?
n
Let z(v) = -2*v**3 - v**2 + 1. Let m be z(-1). Suppose -3*y = 12, -9 = -5*t - m*y + 13. Let l be 0/((-1 + t)/(-5)). Which is smaller: -5/7 or l?
-5/7
Let u = -23 - -44. Suppose -3*t = -u + 15. Suppose -1 = t*x - 11. Which is greater: x or 1/4?
x
Let m = 10 + -12. Suppose 0 = 3*y + 3*v - 6*v - 6, 22 = -4*y - 2*v. Is m > y?
True
Suppose -80 = -14*c + 4*c. Suppose -2*r + 20 = 5*d - d, -3*r = 5*d - 28. Suppose 62 - c = r*m. Is m < 8?
False
Let o = -354 - -356. Which is smaller: o or -0.076?
-0.076
Suppose -5*n = -4*n. Let a be 17 + 5 + (-3 - n). Is a at most as big as 18?
False
Let d be (-75)/(-6) + (-3)/(-6). Let f = -21 + d. Let v be 22/(-2) + (-10 - -13). Is v not equal to f?
False
Let d = 1 - 2. Suppose -4*q = -2*x - 80, 3*x + 141*q = 140*q - 64. Is x <= d?
True
Let j = -37 + 23. Let x = j - -9. Let i be 5*(-1 + -1 + 1). Is i at least x?
True
Suppose -3*o + 1728 = 3*t, -o + 2844 = 5*t - 5*o. Let l be (t/(-24))/13 - -1. Suppose -5 = 2*j - 1. Does j = l?
False
Let r = 27 - 192/7. Let b = -20 + 5. Let o = b - -15. Which is smaller: r or o?
r
Let o = -748 - -615. Which is smaller: -130 or o?
o
Let w be 0 - ((-2)/16 - 1). Let f = -314 - -316. Which is smaller: w or f?
w
Let k = 0.789 + -0.009. Let b = 0.22 + k. Is b greater than 0.2?
True
Suppose -5*v + 3*q + 95 = 0, -4*v + 0*q + 4*q = -76. Is v < 13?
False
Let l = 42 + -24. Let k be 1/(l/8 - 2). Suppose -1 = k*r - 21. Is r > 4?
True
Let b(x) = x**2 + 5*x - 2. Let q be b(-6). Suppose 5*i = -4*j + 7 + 13, -5*j + 25 = -q*i. Is 5/14 at most i?
False
Suppose 9*z + 4*h + 561 = 0, 15*z + 259 = 11*z - 5*h. Are z and -64 unequal?
True
Let a = -30 + 31. Let h be (2/(-4)*(1 - 1))/a. Is 6/23 < h?
False
Let w be -6 + (-6 - (-7 - 6)). Let o = 405 - 8507/21. Which is smaller: w or o?
o
Let c = -1266 - -1366.9. Let z = -120 + c. Let b = 19 + z. Which is smaller: -1/2 or b?
-1/2
Let k be (-5 + 253/55)/(-2). Which is smaller: 2/23 or k?
2/23
Let p(j) = -j**2 + j + 1. Let u be p(-1). Let n = -91.7 + 87.7. Is n at most u?
True
Let c(v) = v - 2. Let b be c(0). Let n be -3 + -1 + 0 - (-234)/(-4). Let t = -255/4 - n. Is b >= t?
False
Suppose -76 = -6*i - 82. Which is smaller: i or -21/25?
i
Let o be 41/(-246) + 10/4. Let j be (4/(-18))/(12/(-36)). Do o and j have the same value?
False
Let h(y) be the second derivative of -2*y**3 + 14*y**2 - 23*y. Let n be h(5). Is -32 < n?
False
Let y = 38 - 60. Suppose 144 = -5*l + 2*k + 24, 0 = -3*k + 15. Is y bigger than l?
False
Let l = -20 + 10. Let c = -10.981 + -0.019. Let p = c - l. Which is greater: 0.07 or p?
0.07
Suppose -o - 2*o = 15, -4*g + 1383 = o. Let v = 228 - g. Let a be 2/(-9) + v/(-252). Which is smaller: a or 1?
a
Let d(c) = -2*c**2 + 4*c**3 + 6 + 0 + 3*c - 5*c**3. Let l be d(-3). Is 5 smaller than l?
True
Let f = -67 + 83. Let m = -7 + 1. Let c = m + 5. Which is smaller: c or f?
c
Let f = 89 + -84. Suppose -j + 4 = 0, f*n - j + 15 = 4*j. Let k be (2/4)/((-14)/(-8)). Which is greater: k or n?
n
Let y = -15 - -30. Let v = 12 - y. Let o(m) = m**3 + 3*m**2 + 2*m + 9. Let r be o(v). Do r and 4 have the same value?
False
Suppose -4 - 8 = 4*j. Suppose 0*x = -7*x - 28. Let a be (128/(-36))/x - 4/18. Which is smaller: j or a?
j
Let d be 2/4 - 6/(-4). Suppose 3*z = 3*x - d*x + 50, x = 4. Let b be (-68)/(-18) - (-4)/z. Which is greater: 5 or b?
5
Let h = -61.71 - -62. Let s = -105 + 106. Which is smaller: h or s?
h
Let a be -2*(-2)/(-12) - 980/30. Suppose 21 = -v - 11. Is a smaller than v?
True
Let d be (-10)/5 - (-72)/22. Let g = 738 + -738. Which is smaller: d or g?
g
Let b = 27/944 - -2/59. Let s = 52 + -52.2. Does b = s?
False
Let w = -227.6 - -277. Let s = w - 33.1. Let n = -16 + s. Is 5 <= n?
False
Let k = -1469/3 + 16015/33. Which is smaller: k or 0.1?
k
Let k = -1 + 0. Let x = 44.5 + -8.5. Are x and k equal?
False
Let u = -19 + 21. Let x be ((-2)/u)/(5 + -6). Let g be 12/54 + 3/(270/(-29)). Which is smaller: x or g?
g
Suppose 3*n - 1 - 2 = -3*i, 5*i - n = 11. Suppose j - i = 5*h + 7, -2 = 2*j. Which is bigger: h or -9?
h
Let n(p) = -p**3 - p**2 + 4*p + 10. Let u be n(3). Let f = -25 + 12. Which is bigger: f or u?
f
Let z(t) = -t + 1 + 4 + 2*t**2 + 1 - 8. Let w be z(-1). Let j be (-12)/(-34) - (2 + -2). Is j not equal to w?
True
Let b = 12 - 15. Let q be b + (-1 - (-8)/2). Let v = 31/7 - 33/7. Is v > q?
False
Let y = -42.5 - 9.7. Let x = y + 52. Is 24 at least as big as x?
True
Let b be 4/6*(-15)/10. Let l = -4136/9 - -460. Is b greater than l?
False
Suppose -4*j = l - 11, 0*l = -l - 3*j + 6. Let a = l + 9. Is a at most as big as -2/33?
False
Let b(p) = -p + 4. Suppose 2 = 2*c - 8. Let j be b(c). Let s(r) = 4*r**3 + r**2 + r. Let q be s(-1). Which is smaller: q or j?
q
Let g(a) = 22*a - 10. Let f be g(-6). Let q = 143 + f. Is q smaller than 1/7?
False
Suppose 26*j = 21*j - 1425. Let h be j/(-60) - (-10)/(-2). Are 0 and h nonequal?
True
Let z(w) = w**3 - 2*w**2 + w. Let k be z(2). Suppose u - 691 = -k*m + 598, -3245 = -5*m + 2*u. Let y = -4545/7 + m. Which is smaller: -2 or y?
y
Let n(i) = 33*i - 77. Let j be n(3). Is 4 less than j?
True
Let d = 2 + -1. Let g be (d/3)/((-5)/15). Suppose 3*z = 3*w - 4*w - 11, 0 = -4*z - 4*w - 28. Is z bigger than g?
False
Let g = 791 - 692. Which is bigger: g or 91?
g
Let k(n) = 66*n