 27?
False
Let y = 9 - 8. Suppose -1 = -2*d + y. Which is bigger: d or -7?
d
Let q = 784 - 762. Which is bigger: 87/4 or q?
q
Let l = -0.04 - 0.04. Let k = 34 + -34.1. Let g = k - l. Which is greater: 1 or g?
1
Let t be (-18)/4 - (-115)/46. Suppose -r - 21 = 4. Which is greater: t or r?
t
Let p = 894 + -902. Let h be -1*1 + 24/(-3). Let f = h - p. Which is smaller: f or -6/17?
f
Let v(d) = -d**3 + 13*d**2 - 4*d - 7. Let h be v(13). Let p = 141 + h. Suppose t + 8 = -2*j + 4*j, -p = 4*t + 2*j. Is -17 at least t?
True
Suppose -4*b = r + 36, 5*r + 4*b + 259 = 31. Is -48 > r?
False
Let i = -1375 + 1310. Is -5 != i?
True
Let r(g) = -61*g**2 - 793*g + 7. Let m be r(-13). Let o = 10 - 5. Suppose -27 = -o*s + 3. Is m > s?
True
Let t(u) = -u**2 - 9*u + 35. Let l(v) = 2*v - 5. Let c be l(-4). Let r be t(c). Which is smaller: -16 or r?
r
Let t(r) = r**2 + 12*r - 12. Suppose -27 = 3*l + 12. Let s be t(l). Suppose -s - 3 = -4*f. Is f > -2/5?
True
Let f = -77.135 + -1.765. Let n = f + 79. Is 63 bigger than n?
True
Let h(x) = x**2 + x. Let t be h(2). Suppose l - 204 = -l. Let b be l/15 + 2/10. Is b less than or equal to t?
False
Let o be 5/(-6)*-20*(16 - 19). Is -251/5 > o?
False
Let k = -33422/21 - -1591. Which is greater: 0 or k?
0
Let b = -1 + 2. Suppose -k - 4*o = 3*k, 4*k - 16 = 4*o. Let n be k + (1 - 5/3). Is b at least n?
False
Let h(t) = 2*t + 2. Let y be h(3). Let g = 32 + -35. Let i be g - (-7 + -3 + -3 - -1). Is i at least as big as y?
True
Let l = -1.33 + 1.373. Which is bigger: -1 or l?
l
Suppose 6*m - 36 = 2*m. Let w(s) = -s**3 + 8*s**2 + 8*s - 8. Let p be w(m). Let g = p + 16. Which is greater: g or 1/6?
1/6
Suppose i - 7*h + 5 = -5*h, 0 = i + 2*h - 7. Let r(t) = -t**2 - 11*t. Let z(d) = -d**2 - 3*d - 1. Let l be z(2). Let n be r(l). Does n = i?
False
Let b(u) = u**3 + 22*u**2 + 19*u + 5. Let t be b(-21). Is 46 greater than or equal to t?
False
Suppose -4*d + 9 = -0*p + 3*p, -9 = -2*d - 3*p. Suppose -2*n - 2*y - 20 - 12 = 0, -5*n - 2*y - 68 = d. Is -56/5 < n?
False
Let a = -1.5 + 7.5. Let m = -32/15 - -14/5. Which is greater: m or a?
a
Let q = -112/165 - -2/165. Are q and 360 nonequal?
True
Let y be (-22)/(-253) - 1078/1288. Let z be 3/12 - 19/(-4). Suppose 3*f = 2*a - 2, -z*f + 3*f = -4*a - 4. Are f and y nonequal?
True
Let o be 2 - 3*(-1092)/(-1692). Is o greater than 3/5?
False
Let u = 13/10 - 151/70. Is u != 4?
True
Let w = -839.896 + 840. Do 1 and w have different values?
True
Suppose -1355 - 3188 = -11*f. Which is smaller: 414 or f?
f
Let p = -1039/2 + 537. Let z = -879/50 + p. Which is greater: z or 0.3?
0.3
Let m(t) = -t**3 - 7*t**2 + t + 5. Let u be m(-7). Let b be 296/(-28) - u/21*3. Which is bigger: -9 or b?
-9
Suppose -4 + 44 = -8*x. Suppose i + 4*l = -15, -5*i + 5*l - 21 = 4. Are i and x nonequal?
True
Let s(y) = 31*y**3 + 2*y**2 + 2*y + 1. Let m be s(-1). Let h be (m/(-35))/(1/(-7)). Let g = 529 + -533. Which is greater: g or h?
g
Suppose 0 = 5*z - 13 - 12. Let k be 5/z*(-1 + 0). Let g be (-56)/(-115) - (-24)/(-60). Which is bigger: k or g?
g
Let h = 531 + -34. Are h and 496 nonequal?
True
Suppose -i = 5*b - 169, -2*b - 5*i = b - 119. Suppose c - 5 = -1. Suppose 3*q - b = 2*q - c*w, 5*q + 5*w = 90. Are 12 and q nonequal?
True
Let m be 56*(-4 + 69/12). Let q be ((-7)/m)/(1/(-2)). Which is smaller: q or -1?
-1
Let z(h) = -2*h - 16. Let n(g) = -5*g - 32. Let u(b) = 4*n(b) - 9*z(b). Let s be u(8). Which is greater: 1/15 or s?
1/15
Let l = 318 + -320. Is l >= 0.35?
False
Let j be ((-38)/14 - -1)/(55/(-1925)). Is j at least 64?
False
Let i = 7.91 - 7.5. Let f = 2.41 - i. Is f less than or equal to -9?
False
Let v = 13 + 2. Suppose -v = -2*g - 3. Let p = 16/7 - 2. Is g greater than or equal to p?
True
Let y = -16 - -21. Suppose -y*c + 150 = -10*c. Which is smaller: c or -0.1?
c
Suppose -9*u + 76 + 563 = 0. Let p be -3 + (-1 - 27/(-6)). Which is smaller: u or p?
p
Let y = 4 - 1. Let a = y - 1. Suppose -a*z - 1 = -5. Which is smaller: 5/9 or z?
5/9
Let a = 284 - 272. Which is greater: a or -3?
a
Let p be (2/(-9))/(1 - 0). Let m be (-85)/(-17)*3/5. Suppose 34 - 31 = -m*u. Do p and u have the same value?
False
Let b be -2*(0 - (-6)/(-4)). Suppose -4*d + 13 = -b. Suppose -5*f = -d*f. Which is greater: 3 or f?
3
Let j = -163/210 + 17/21. Let p = -118 - -12. Let g = p + 107. Which is smaller: j or g?
j
Suppose -3*t + 0 = -12. Suppose 2*w + 4 = t*b, 4*b + 4 = -2*w - 8. Which is smaller: w or -1?
w
Let o = -9.5 + 4.5. Let z = 6 + o. Is z smaller than 1?
False
Let q = -3 + 7. Let u be -1*q/(-12)*-3. Which is bigger: u or -2/33?
-2/33
Let u = 0.04 + 2.86. Let i = u - 1.9. Is 1 at most i?
True
Let k be (1 - 0)/(8/16). Let d be ((-3)/k)/(297/(-176)). Which is greater: 0 or d?
d
Let q = -16.3 - -11.4. Let i = q - 1.1. Let y = 6.1 + i. Is -1/4 greater than or equal to y?
False
Let u = -37.3 + -0.7. Let t = u - -38.004. Which is smaller: t or 0?
0
Suppose -h + 0*m - 87 = 2*m, -85 = h + 3*m. Let l be 2 + -1 - 1082/(-12). Let j = h + l. Is j < 1?
True
Let z = 0.3 + 3.7. Let a = -5 + z. Let t = -752 + 763. Does t = a?
False
Let d be (-97)/4*1/(630/8). Let l = 3/35 + d. Is 0 >= l?
True
Let x = -300.3 - -300. Let o = -19/14 - -37/35. Are x and o nonequal?
False
Suppose -w + 221 = 2*w - 5*r, -3*w = -3*r - 219. Suppose -w = -p - 72. Which is smaller: 44 or p?
p
Let i = 0.3 + 8.9. Let u = i - 8.2. Do 20/9 and u have different values?
True
Let o(t) = 4*t + 223. Let m be o(-50). Which is smaller: m or 19?
19
Suppose 0 = w - 4*w + 15. Suppose -w = -3*p + 4*v - 6*v, -15 = -p - 4*v. Let y = 13 + -18. Which is smaller: p or y?
y
Let t be (-1282)/158 + 21 + -13. Which is greater: -1 or t?
t
Let g = 10.12 - -8.88. Suppose -4*w = w - 15. Suppose w*s = 2*d - 1, 0*d + 2 = -d - s. Which is smaller: g or d?
d
Let h(x) = x**3 - 9*x**2 + 2*x - 6. Let y be h(9). Let w be (-6)/y*(-6)/225. Let b = w - -439/825. Which is greater: b or 2?
2
Let z(w) = 8*w - 105. Let u be z(21). Which is greater: 64 or u?
64
Let v(y) = -y**2 - 30*y - 29. Let o be v(-29). Which is smaller: -2/2011 or o?
-2/2011
Let s = -1 - -9. Let z(g) = g**2 - 9*g - 6. Let h be z(11). Suppose 3*c - h = -n, -4*n = 5*c - 4*c + 13. Which is smaller: c or s?
c
Let i = 129/56 - 17/7. Let v(g) = -g - 4. Let d be v(-3). Which is bigger: i or d?
i
Let f = -785/2 - -401. Let b = 2.7 + -1.7. Which is greater: b or f?
f
Let v(y) = y**2 + 4*y - 10. Let m(t) = t**3 + 13*t**2 - 14*t - 3. Let x be m(-14). Let l be v(x). Which is smaller: -11 or l?
l
Let x = -310 + 471. Which is smaller: x or 159?
159
Let t(r) = 2*r**3 - 11*r**2 + 4*r - 3. Let w be 18/(-45) + 81/15. Let o be t(w). Is o equal to -8?
True
Let w be ((-142)/2 - -1) + 2. Which is smaller: w or -347/5?
-347/5
Let m = 41/5 - 44/5. Is 5/3 at least as big as m?
True
Let v(u) = -u + 11. Let o be v(8). Suppose a = 2*a - o. Suppose 0*k + k = -z + a, -5*k - 5 = -5*z. Is k >= -3/22?
True
Suppose 5*n = 3*i + 10, 4*n - 7*i = -3*i + 8. Is n at most 30?
True
Let b be -10*((-3)/(-6))/1. Is -23/2 greater than b?
False
Let t = -0.6 + 0.45. Let s = -30.07 - -30. Let z = t - s. Are 0 and z unequal?
True
Suppose -c + 7*i = 4*i - 44, 3*c + 4*i - 80 = 0. Let r = c + -34. Is r != -2?
False
Let s(b) = 114*b - 361. Let z be s(4). Is 670/7 equal to z?
False
Suppose n + 5 = -2*x + 1, 0 = 2*n + 3*x + 8. Let u(z) = -z - 3. Let m be u(n). Let v(q) = -q - 7. Let c be v(-9). Which is smaller: c or m?
m
Let j be (-80)/(-2)*900/(-375). Are j and 2 equal?
False
Let r be 0 + 0 + 0 + -1. Let a = 20/63 - 5521/126. Let n = 1135/26 + a. Which is bigger: n or r?
n
Let r = 8 + 13. Let q = -20.89 + r. Let i = -0.11 + q. Is 2 < i?
False
Let l = 24 - 18. Let f = -15.8 - -14. Let h = f - -1.9. Which is bigger: h or l?
l
Let w be 0 + 1 + (-1)/(-1). Let v(h) = 3*h**3 - 4*h**2 + 2*h. Let u be v(w). Let o = -5 + u. Which is bigger: 8 or o?
8
Let t = -892 - -824. Is t equal to -1/7?
False
Let r(j) = -72*j**2 - 6*j + 4. Let z(v) = v**2 - 6*v + 6. Let u be z(1). Let t be r(u). Is -74 bigger than t?
False
Let u = -1017 + 1017. Which is smaller: -4/23 or u?
-4/23
Let n = 0 + 6.5. Let q = 3.5 - n. Is 0.3 at most q?
False
Let s(h) = -5*h**2 + 96*h - 11. Let m be s(19). Are -5 and m nonequal?
True
Suppose -8*i = 1 + 519. Which is bigger: -67 or i?
i
Let k(l) = l**2 + 6*l - 5. Let h be k(-6). Let v = h - -9. Suppose v*s