?
True
Let t = 24 - 14. Suppose 4*o - 161 = -3*o. Suppose 0 = j - h - 9, 2*j + 3 = h + o. Are j and t equal?
False
Let i = 0 + 3. Suppose 5*z - 25 = i*m - 5*m, -3*m - 2*z = -10. Suppose -2*c + 8 - 22 = m. Is c at least -6?
False
Suppose -4*n - 29 = -3*r, r + 3*r = 3*n + 20. Let h = n + 10. Which is bigger: h or -3/5?
h
Suppose 1 = 4*h - 3. Suppose -5*p + 241 + 1724 = 0. Let q = 6679/17 - p. Which is greater: h or q?
h
Let s = 858.68 - 859. Are 0 and s nonequal?
True
Let v(h) = 3*h**2 - 22*h + 2. Let l be v(6). Let z = l + 44. Which is bigger: z or 21?
z
Let t = 0.0765 + -3.0765. Is t not equal to -47?
True
Let a = 407 - 405. Which is greater: a or -0.129?
a
Let o = 0 + 17. Suppose -2*z - 15 = o. Which is greater: -13 or z?
-13
Let r(a) = a**3 - 10*a**2 + 11*a - 2. Let l be r(9). Suppose 2*q = -72 - l. Which is smaller: q or -2?
q
Let f = 5 + -4. Suppose 2*u + 0*u - 5*m + 24 = 0, 12 = 4*u + 5*m. Let q = 13 - u. Which is bigger: q or f?
q
Let y = 24.6 - 25. Let t = -0.18 - y. Let m = t - 0.12. Do m and 6 have different values?
True
Let h(c) = -c**2 - 20*c + 18. Let v be h(-8). Is v >= 114?
True
Let m be ((-69)/27 - -3)*75/(-280). Suppose -d + 2 = -2*j - 4*d, 4*j + 2*d + 4 = 0. Which is greater: j or m?
m
Suppose -2*t - 24 = t. Let x be (-6)/t - (-2509)/260. Which is smaller: x or 10?
10
Let j = 32.7 - 35. Let y = 0.082 - 2.082. Let i = j - y. Is i at least as big as -1?
True
Let k be (2/(-2))/(2/2). Let u be (11 + (k - 2))*(-10)/(-25). Which is smaller: 4 or u?
u
Let x be -2 + -1*(-36)/16. Let c = 159 - 158. Which is bigger: c or x?
c
Let y = -2.1 + 2.9. Let b = y + -2.6. Let o = b + -0.2. Is o not equal to 12?
True
Suppose 96 = 6*r - 2*r. Suppose 0 = -3*y - y + r. Are y and 10 non-equal?
True
Let b be (-12 + 0/3)*-1. Let a = b - 9. Suppose w = a*w. Which is greater: 4/3 or w?
4/3
Let q = -23770 + 903207/38. Let g = q - 2/19. Let v(x) = x - 1. Let j be v(-2). Which is smaller: g or j?
j
Let l = -191 - -211. Is l < 360/17?
True
Let j(s) = -s**3 - 66*s**2 + 136*s + 1. Let b be j(-68). Let p = 5 + -5.15. Which is greater: p or b?
b
Let n = -1093 + 1092.64. Is 1/4 less than n?
False
Let v(k) = -6*k + 5. Let l be v(1). Is l != -3/158?
True
Suppose 301 + 141 = -17*l. Which is greater: -27 or l?
l
Let g(k) = -k**2 - 4*k + 1. Let n be g(-4). Let p be -10*(657/(-162) + 4). Which is bigger: n or p?
n
Suppose 15*t + 1998 - 438 = 0. Which is bigger: t or -105?
t
Suppose -3*t - 4*d + 16 = 0, -5*t + 4*d - 5 = 11. Let v = t + 1. Suppose 3*k - 3 = 3*f - 4*f, 3*f - 9 = 3*k. Which is bigger: k or v?
v
Let b = -186 - -160. Which is smaller: b or -31?
-31
Let x = 759 - 621. Do 140 and x have different values?
True
Let d = 38.076 + -38. Let c = -0.024 - d. Does 32 = c?
False
Let z = -231.03 + 231. Is z at most as big as 2/15?
True
Suppose 31 - 27 = 4*r. Which is greater: 8.9 or r?
8.9
Let i(m) = -6*m - 200. Let k be i(-24). Is k bigger than -54?
False
Let b = -14.2 - -14.3. Let f be 24/(-5)*3/(-6). Do f and b have the same value?
False
Suppose -5*c + q + 10 = 0, 2*q = -3*q. Let d be c - 2 - (-1 - 2). Suppose -5*k + 0*s + 1 = -s, 0 = -3*k - d*s + 15. Which is greater: 1/2 or k?
k
Let g = 942.7 - 943. Are 0.01 and g non-equal?
True
Suppose 2*n = 143 + 129. Is n bigger than 136?
False
Let a = 414 - 214. Suppose 9*x + a = -x. Which is greater: x or -21?
x
Let y = -65 - -32. Let t = y - -32.9. Is t less than or equal to 9?
True
Let i = -2 + 3. Is i greater than 11/5?
False
Let w = 0.3 - 0.33. Let z = w - -0.03. Let f = z + -3. Are -3 and f equal?
True
Let b = 68 - 68. Suppose 5 = 3*p - b*p + 4*g, 5*p + 4*g = 3. Which is smaller: -8 or p?
-8
Let a = 2210.9 + -2211.9. Let t be ((-3)/26)/(3/(-6)). Let m = 14/117 - t. Is a less than or equal to m?
True
Let b be 39 + -47 - (4/(-2) + 2971). Is b greater than -2977?
False
Let d = -13 - -2. Let r = d + 11. Is r smaller than 9?
True
Let x be 169*((-12)/(-18) + 4/3). Let l = x - 5743/17. Which is bigger: -1 or l?
l
Let m be 2/7 + (-24)/(-14). Let h = 183 + -182.71. Which is bigger: m or h?
m
Let r(p) = -p**2 + 20*p - 5. Let q(g) = 21*g - 4. Let w(s) = -3*q(s) + 2*r(s). Let y be w(-10). Are y and -1/3 nonequal?
True
Let n = -1 + 5. Let l be (16*-2)/n - 0. Is l <= -9?
False
Let j = 0.93 - 0.66. Let x = 0.23 + j. Is 1/4 <= x?
True
Suppose 2*m = -3*b - m + 210, b + 3*m - 70 = 0. Suppose 0 = -3*d - 2*d - b. Let v be (-1)/(-10)*35/d. Do -14 and v have the same value?
False
Let q(z) = -71*z - 143. Let h be q(-2). Are h and 2/6153 unequal?
True
Let d be (-32)/(-6) - 10/30. Let k = -1 + 18. Suppose d*i + k = 72. Is 11 not equal to i?
False
Let j(i) be the third derivative of -i**5/60 + 2*i**4/3 - 7*i**3/2 - 2*i**2. Let f be j(15). Let y be f/(-4) + (-136)/96. Is 0 greater than y?
False
Let g = -307.8 - -18.8. Is 0 bigger than g?
True
Suppose 4*n + 30 - 247 = -l, -n = l - 220. Is l > -1?
True
Let d(m) = 6*m + 19. Let g(v) = -5*v - 18. Suppose 0 = i + 4*c - 1 - 1, -c + 8 = -i. Let j(l) = i*d(l) - 7*g(l). Let u be j(11). Is u <= 1/24?
False
Let v = -163/620 + 2/155. Let s = 38 - 35.01. Let c = s + 0.01. Which is bigger: c or v?
c
Let d = -15 + 78/5. Let f be -8 + 4 - 458/(-114). Let v = f + -61/228. Is v less than d?
True
Let m = 507 + -506. Which is greater: m or -13/47?
m
Let p be (3/9)/((-21)/(-18)). Let q = 0.11 + -0.4. Let c = q - 0.11. Is c bigger than p?
False
Suppose 6*v = 4*v + 204. Which is smaller: 1 or v?
1
Let v be ((-1035)/(-216))/(-23)*52. Which is greater: -11 or v?
v
Let i(q) = -q**2 + 21*q + 496. Let r be i(-20). Is -1 <= r?
False
Let i(r) = -r**3 - r - 5. Let q be i(-3). Let s = q - 25. Are 6/47 and s unequal?
True
Let f = 213 - 194. Do f and 20 have the same value?
False
Let w = 4 - -43. Let q = 50 - w. Do q and 1 have the same value?
False
Let y = -7644 - -53518/7. Let s(j) = j**3 + j**2 + j + 1. Suppose 0 = -5*p - 5 - 0. Let a be s(p). Which is bigger: a or y?
y
Suppose 3*z - 2*z = -4*q + 37, 90 = 3*z + 5*q. Let x be 20/z*6/4. Suppose 2 + 1 = 3*i. Which is greater: x or i?
x
Let l = -3.1 - 0. Let f = 4.1 + l. Is f at least as big as -5?
True
Let t(y) = 4*y - 3. Let j be t(2). Let v = 10 - j. Is v < 0?
False
Let k = 0.4 - -0.2. Let s = 3.2 - 3.2. Are s and k unequal?
True
Suppose 4*w + 6 = -45*g + 47*g, 2*w + 15 = 5*g. Let m be 2 - (2 - (-14)/(-8)). Does m = g?
False
Let p(f) = -f**3 - 17*f**2 - 16*f + 57. Let k be p(-16). Is 59 != k?
True
Let h = 3.9 - 6. Let k = -12.1 - h. Let y = 9 + k. Do 2/7 and y have different values?
True
Let o = 54 + -44. Let z be (-18)/60 + (6/o)/3. Are z and -1 nonequal?
True
Suppose 3*s + 2*q = -s - 8, -s = q. Which is smaller: s or 0.8?
s
Let s = 134 - 131. Is s not equal to -16?
True
Suppose -a = -5*x + 195, -9*a - 117 = -3*x - 10*a. Which is greater: 41 or x?
41
Let y = -1961 - -1962. Is y at least as big as -4/739?
True
Suppose -174 = -5*w - 169. Which is smaller: 2/185 or w?
2/185
Let m be (142/69)/(-1) - -2. Suppose -28*c + 12*c = 0. Which is greater: c or m?
c
Let z be 1262/(-234) + 96/(-432). Is -5 at most as big as z?
False
Let c be 14/(-35) + 272/230. Which is smaller: 2 or c?
c
Let f = 20.48 + -21. Let s = 0.48 - f. Is s at least 6?
False
Let w(q) = 2*q + 15. Let n be w(-20). Let s be (20/n + 0)*5. Let z be 3/(-78)*(0 - s). Is z smaller than -2?
False
Let s(m) = -m**3 - 5*m**2 - 11*m - 17. Let b be s(-4). Is 3 not equal to b?
True
Let i(y) = 30*y + 8. Let u be i(-6). Let s be 66/u + (-3)/(-6). Let j = 203/473 + s. Which is bigger: j or 0?
j
Let p = -20.767 + 0.767. Which is smaller: -15 or p?
p
Let p = -49 + 50. Let q be ((-29)/(-3))/(1/(-3)) - p. Does 1/4 = q?
False
Let i = 12.65 - 12.65. Is i greater than or equal to -317?
True
Let v(b) = -b**3 - b. Let q be 6/(-15) + (-3)/5. Let y be v(q). Let h = y + -4. Which is greater: h or -2/3?
-2/3
Let w = 0.08 + -6.48. Let l = -5.4 - w. Let p = 4.3 + -3. Which is greater: p or l?
p
Let m(d) = -d**3 - 3*d**2 - d - 5. Let x be m(-3). Let j be (2/(-3))/(x/6). Is j < -11?
False
Let x = -1.269 + -1.731. Which is greater: -223 or x?
x
Let y = -383 + 380. Which is smaller: y or -34/21?
y
Suppose 3*j + 4*c = -5, j - 2*j + c - 4 = 0. Let p be (-2)/j + (-34)/54. Are p and -1 nonequal?
True
Let d = -637601/1292 - 1/1292. Which is bigger: d or -494?
d
Let d = -4 - -5. Suppose 3*k - 37 = 4*n, n - k = 2*k - 16. Which is greater: n or d?
d
Suppose 