 -9?
False
Let d be 2/5 + 186/10. Suppose 5*i - h - d = 2, 0 = 3*i - 3*h - 15. Let u = -10/147 + 2843/735. Is u greater than or equal to i?
False
Let t be (30/5)/(-6) - 521. Is t equal to -522?
True
Let y = 309 - 926/3. Which is bigger: 233 or y?
233
Suppose 2*v - 5*w - 7 = 0, -3*w - 5 = -2*w. Let b = 6863/10290 - 1/3430. Which is bigger: b or v?
b
Suppose u = -17 + 33. Suppose -2*l + 4 - u = 0. Which is bigger: l or -9?
l
Let f = -24 + 26. Suppose -f*u = -5*z - 16, u + 4*z = -0*z - 18. Which is bigger: 1 or u?
1
Suppose 0 = j + 10*f - 6*f - 29, 3*f - 78 = -2*j. Which is bigger: j or 43?
j
Let j be 36/(-98)*(-1806)/688. Which is smaller: j or 1?
j
Suppose 0 = 5*s - 25, 6*s - 3*s = 5*v - 20. Suppose q + 3 = -2*q. Is q less than v?
True
Let n(c) = c**3 + 6*c**2 + 10*c - 5. Let o be n(-4). Let j = 16 + o. Let d be (1/3)/(3/39). Is d >= j?
True
Let h = -1106 - -1112. Which is smaller: h or -0.03?
-0.03
Suppose j - 3*o + 6 = 0, -5*j + 3*j + 2*o - 16 = 0. Let k be (-9 + (-12)/(-6))/(3 - 2). Let b = j - k. Which is bigger: 0 or b?
0
Let r(i) = -6*i**2 - 4*i + 4. Let c be r(1). Which is smaller: c or -60/11?
c
Let v = 28 - 29. Let n = v - -1. Is n at least as big as 0?
True
Let g = -14 - -27. Let r = g - 13.1. Is r at least as big as 13/6?
False
Let q be ((-7)/15 - 9/45)*-36. Which is smaller: q or 21?
21
Let o = -479 + 290. Which is greater: o or -2/7?
-2/7
Let r be (1881/(-12) + -3)*-4. Let n = -5737/9 + r. Suppose 2 = 2*y - 2. Which is smaller: y or n?
n
Suppose 0 = -4*n + 7 + 1. Let v(z) = -z**2 - 6*z + 138. Let r be v(9). Suppose r*u - 3 = n*u. Is u >= 3?
True
Let t be (-3 - 4455/(-12))/(18/24). Which is smaller: t or 492?
t
Let k = 2.326 + -0.026. Let o = -289.3 + 285. Let a = k + o. Which is greater: a or -6?
a
Let s = -24.2 + 8.2. Are s and 0 non-equal?
True
Let o = 0.33 + -11.33. Let z = -11.1 - o. Suppose -2*s + 0*s = -6. Are z and s equal?
False
Let f(m) = -m - 7. Let j be f(-10). Suppose -j*l + 6*l = -3. Let w = 28 - 29. Are l and w non-equal?
False
Let i = -1.035 + 0.945. Let p = 8 + -11. Which is greater: i or p?
i
Let g = 445/4 + -12793/116. Which is smaller: 1 or g?
g
Suppose 3*z = t - 21, 0*t + 2*z - 8 = -3*t. Let g(m) = 4*m + 9. Let f(k) = -7*k - 18. Let q(i) = -6*f(i) - 11*g(i). Let p be q(t). Which is smaller: -4 or p?
-4
Let z be 3 - 1410/237 - -3. Suppose 2*a - 3 = -3*h, 5*h + a = 5 - 7. Which is smaller: h or z?
h
Let u be (3/18)/(2/(-8)). Let x(p) = -p**3 + 5*p**2 - 7*p + 6. Let f be x(5). Let y = 29 + f. Which is smaller: u or y?
u
Let h = -201.8 + 202. Which is greater: h or -38?
h
Let k(w) = -3*w + 28. Let i be k(9). Is i not equal to -23/52?
True
Suppose t + 3*t = -4*j + 76, 80 = 5*t + 2*j. Let v be (-2)/4 + 217/t. Which is greater: 14 or v?
v
Suppose t - 2*t = -4. Let g(a) = 3*a - 1. Let i be g(3). Suppose t*c = i*c. Are c and 4/5 equal?
False
Let q = -323 - -323. Is 3.9 at most q?
False
Let q = -181/4 + 45. Let o(t) = -t - 1. Let x be o(-5). Let y be x/8 + (-12)/16. Does q = y?
True
Suppose -5*p = 2*n - 15, 0 = 4*p - n - 21 - 4. Suppose 0 = p*k + 3*o + o + 16, 4*k = -3*o - 12. Suppose -l + 2*l + 1 = k. Is l at most 0?
True
Suppose -1 = 3*m - 10. Let w be (-3 - -4)/((-1)/(-2)). Let k be w/m + 7/(-24). Which is bigger: k or -0.1?
k
Let w be (-3829)/(-1904) + 3 + -1 + -4. Are w and -1 nonequal?
True
Let n(g) = -g**3 + 2*g. Let s be n(0). Suppose s = -2*o + 2 - 0. Is -1/15 smaller than o?
True
Suppose -9*d + 84 = 588. Is -56 greater than d?
False
Let n = -3 - -10. Suppose 6*a - 49 = 5. Is n <= a?
True
Suppose -m = -5*m - 104. Let y = m + 28. Suppose 0 = 4*i - 2*t - y, i - 6*t + 5*t = 0. Which is greater: 2 or i?
2
Suppose 8*j + 62 - 278 = 0. Let p = 28 - j. Do p and -3/7 have different values?
True
Let k(x) = -4*x + 21. Let z be k(-4). Which is bigger: z or 38?
38
Suppose 0 = 11*r - 14*r + 36. Let f be 1 + ((-15)/r)/1*1. Suppose -k + 3*s = 8, -4*k = -5*s + 1 + 10. Is f > k?
False
Suppose -12*v + 12 = 24. Which is bigger: 4/123 or v?
4/123
Let g be (35/4 - 8)/(9/60). Is g != 3/16?
True
Let b be (6/(-8))/(43/1204). Are b and -23 non-equal?
True
Let w be (-5 + 7 + -3)*0. Suppose w = -0*v + 2*v - 6. Suppose -2*f + v = f. Which is smaller: 1/5 or f?
1/5
Let s be 52/(-14) + (-8)/28. Let r be s + 3 - (-23 + 4). Let m be 4/r - (-46)/(-18). Is -3 >= m?
False
Let g = 317 - 316. Let o = -11 + 11.24. Let z = -0.04 + o. Which is greater: z or g?
g
Let b = 9 - 7. Suppose 0 = -k - s, -s + 1 = -b*k - 8. Which is smaller: k or -0.3?
k
Let c = 33 + -6. Let z = c - 26.6. Which is smaller: z or 4/3?
z
Let n = -26 - 3. Let k = -24 - n. Let y = -0.1 + -0.1. Which is greater: k or y?
k
Suppose -5*c + 15*c - 450 = 0. Let r = -44 + c. Are 2/25 and r equal?
False
Suppose 3 = -b, 829 = 4*s + 7*b - 6*b. Which is smaller: 210 or s?
s
Let o(q) = -q**3 + 2*q**2 + q - 2. Let t be o(3). Suppose 6*h - 186 = -54. Let p be (-55)/h*t/70. Is p at least 0?
True
Suppose -3*d - 23 = -4*d. Let o = d + -31. Does o = 2?
False
Let l = -656 + 657.39. Is l >= 0.1?
True
Let t = -9 - -7.1. Let h = t - -10.9. Which is smaller: h or -0.1?
-0.1
Let i = 538 + -538. Is i bigger than 18/35?
False
Suppose 3*n - 4*z = -50, n + 2*z + 30 = 6*z. Let f be (-5)/20 + n/(-8). Which is smaller: f or 3?
f
Suppose 4*n = -2*x, 3*x + 4 - 3 = -5*n. Let k = -132599/222 + 1792/3. Which is smaller: k or n?
k
Suppose 2*i + 1651 - 1657 = 0. Which is smaller: 27/8 or i?
i
Let w(g) = -g**2 - 5*g - 1. Let n be w(-4). Let f = -3 + n. Which is greater: f or 4/19?
4/19
Let c(k) = -k**2 - 13*k + 48. Let m be c(-16). Which is smaller: m or 548?
m
Let j = -15 - -27. Let f(q) = -q**3 + 14*q**2 + 16*q - 1. Let o be f(15). Is j <= o?
True
Let b be 65/(-25) - 6 - 0. Which is smaller: b or -8?
b
Suppose 5*r + 5*s = -0*s, -s = -2*r + 9. Suppose 3*q - u + 40 = -r*u, 2*q - 5*u - 5 = 0. Let f be 84/(-8) + 1/2. Is f bigger than q?
False
Suppose 3 - 1 = -2*x, -4*x = -5*n + 119. Suppose -3*i = 2 - n. Which is smaller: i or 4?
4
Let v = -2032.29 + 2032. Which is greater: v or -1.2?
v
Let r = 127 + -190. Let a be (r/18)/(-1*(-1)/(-6)). Do 21 and a have the same value?
True
Let m = 5517 - 5864572/1063. Is 1 at least as big as m?
True
Let l = -0.0496 - -0.1496. Let r(f) = f**2 + 2*f - 3. Let g be r(-3). Let t = 4 + g. Is l at most t?
True
Let o = 480.1 + -480. Which is smaller: o or 5/19?
o
Let i(c) = -8*c + 23*c - 7*c. Let n be i(1). Suppose n = j - 5*j. Is j <= -4/3?
True
Let n = -10 - -44. Let k = -31 + n. Is -0.04 <= k?
True
Let y = 45 + -172. Let u = -126 - y. Do u and 1 have different values?
False
Let b = -100.6 + 93. Let k = -8 - -1. Let w = b - k. Is w >= 1?
False
Let c(b) = -b**3 - 10*b**2 + b + 10. Let g be c(-10). Which is smaller: g or -8/33?
-8/33
Let w = 21 - 25. Let u be (-2 - w) + 9 + -3. Which is smaller: u or 0?
0
Let s be (-16)/12*(2/4)/1. Is s != -35.1?
True
Let p be (-3)/(13/((-13)/(-3))). Let c = 964/19 + -51. Which is smaller: c or p?
p
Let y(k) = -k**2 - 20*k + 4. Let j(s) = s**2 + 19*s - 4. Let i(v) = 7*j(v) + 6*y(v). Let b be i(-13). Is b not equal to -3?
True
Suppose -8*f - 7370 = -530. Which is greater: f or -854?
-854
Let y be 2*((-3)/2 + 1). Let t = -1186439/22 + 53929. Are y and t nonequal?
True
Let v(f) = 45*f**2 + 9*f - 14. Let k be v(2). Is -2/5 at most as big as k?
True
Suppose 9*g - 72 = 5*g. Suppose -4 - 10 = -3*v - 5*n, -3*n + g = 5*v. Suppose -2*o - v*i + 5 = 0, 3*o + i + 3 = 7*o. Is o >= 1/5?
True
Let a(r) = -11*r**2 + r - 6. Let o be a(4). Let s be (-16)/12 + o/(-138). Let x = -19/621 + s. Is 1 at least as big as x?
True
Suppose 22*y - 153 = 1. Are -5 and y equal?
False
Suppose -2*q + 2 = 0, -5*q = 5*n - 4 - 6. Let t = 22.6 - 21. Let p = -0.9 + t. Which is smaller: p or n?
p
Suppose s = 4*j - 10 + 1, -5*j - 5*s = -5. Suppose j*p - 5 = p. Suppose -p*t + b = 0, 5*b + 25 = -0*b. Is -6 > t?
False
Suppose 14*b = 6*b + 8. Are 17.2 and b equal?
False
Let w be (26 + -3)/(3 - 2/1). Which is greater: w or 25?
25
Let d be (-180)/(-9) + (2 - 4). Is 17 at most d?
True
Let h = -0.2329 - -0.2329. Does h = 241?
False
Suppose -6*h + 2*h + 3*m = -63, -4*m = -h + 19. Let i be h/(-6)*(-4)/5. Suppose -i*k - k = -9. Which is smaller: 1 or k?
1
Let m = -15.08 - -14.01. Is -7/3 >= m?
False
Let h = 197 + -998/5. Which is bigger: h or 1?
1
Let c be (-36)/28 + (1 - 0). Let q = -2 + 2. Let s(d) = -d**2 - 