r: f or b?
b
Suppose r = 3*r + 2. Let k be (188/3290)/(2/(-10)). Which is smaller: k or r?
r
Let w(z) = z**3 - 31*z**2 + 67*z - 62. Let i be w(29). Is 199 greater than or equal to i?
True
Suppose 5*w - 2 = 3*w. Suppose 0 = 4*v - w + 9, -5*u - 5*v = -5. Suppose -2*q + 28 = -0*t - 4*t, -t + 7 = u*q. Which is greater: t or -6?
t
Let z = 3.35 + -0.65. Is z less than or equal to 3?
True
Let v = 525.98 - 526. Is v != 65?
True
Suppose -71 = 4*m + 28*j - 33*j, 2*m - 3*j + 33 = 0. Is -24 less than or equal to m?
True
Let n be (-2*2/6)/(100/(-75)). Which is greater: -250 or n?
n
Let r be 5*((-12)/(-15))/2. Let w(q) = 6*q - 6 - 134*q**r + 128*q**2 - 2*q**3 + q**3. Let p be w(-7). Which is smaller: p or 5?
p
Let q = -1.13 + 0.48. Let z = 0.55 + q. Which is greater: -18 or z?
z
Let b be (-226)/1243*(-2)/2. Which is greater: b or -6/7?
b
Let m be 3/(-2) + (-168)/(-14). Let i = 191/18 - m. Which is smaller: 1 or i?
i
Let i = -1659/5 - -336. Is i at most as big as 4?
False
Let j be 2/2*1/12*0. Is 4/51 bigger than j?
True
Suppose 3 = p, -5*x + 27 = -2*p + 103. Suppose 14*z - 26*z - 156 = 0. Which is bigger: x or z?
z
Suppose -96 + 6 = -9*b. Are 0.24 and b non-equal?
True
Suppose 28*n - 6 + 62 = 0. Which is smaller: -13/8 or n?
n
Suppose -v + 2*t + 7 = 0, -2*v + 5*t - 8 = -24. Let l be v - (0 - -1 - 3). Suppose 2*x = u + 23, -2*u = -l*x + 36 + 21. Which is bigger: 13 or x?
13
Let b be (-5 - -7) + 260/(-125). Is b >= 6?
False
Suppose 50 = -3*m - 4*q + 4, 0 = -5*m - q - 88. Is m less than -21?
False
Let q = -5 + 1. Suppose -2*n = 5*m + 25, 0 = m - n - 2 + 14. Let a be m/4 + 2/(-2). Which is smaller: a or q?
q
Let t = -11 + 16. Suppose -3*s - 13 + 54 = -t*m, 4 = 2*s. Let f(k) = -k**2 - 5*k + 8. Let g be f(m). Is g less than -5?
True
Let w = 1.756 + 0.574. Let n = 0.13 - w. Let z = n + 2. Which is bigger: -0.6 or z?
z
Suppose 52*q - 57*q + 125 = 0. Suppose q - 27 = -2*c. Which is bigger: c or 24/17?
24/17
Let k = 1 - 0. Let y be 35/26 - 2 - (-44)/88. Which is smaller: y or k?
y
Let d = 6.831 - 7.2. Let i = -0.31 - d. Is i smaller than 1?
True
Let j(n) = 5*n**2 + 16*n + 5. Let y be j(-7). Let t = y + -39. Let r be t/97 + 2 - 3. Which is smaller: r or 0?
0
Let s(u) = 9*u**2 - 10*u + 18. Let t be s(4). Let g = t + -109. Is g > 16?
False
Let w be -2 - (-264)/126*(-42)/(-36). Suppose 5 = 3*f + 2*x + 16, 2*x = -8. Is f not equal to w?
True
Let u = -37 - -18. Suppose -25*h - 32 = 7*h. Which is bigger: u or h?
h
Suppose 0 = -4*k + 15 + 13. Let j = k + -8. Let n be (-56)/52 - j - 0. Which is smaller: n or 1?
n
Let v = -0.247 - 20.353. Let k = -1.6 - v. Let i = -18.7 + k. Is -2 greater than i?
False
Let d(n) = 115*n - 114. Let i be d(1). Which is bigger: i or -5/123?
i
Suppose -12 - 2 = -7*r. Suppose 5 = -r*t - n, 2*n + 15 = 5*t + 5. Which is bigger: t or 1/118?
1/118
Let i = 195 - 316. Which is bigger: -120 or i?
-120
Let j(u) = u + 11. Let r be j(-6). Let g be r/(-15) - (-2)/(-4). Is g > 0?
False
Let g be (-396 - 18)*1/(-3). Is g greater than 138?
False
Let j be (-4)/(-5)*(-17 - -22). Is j at least as big as -4?
True
Let o be 4 + (-133)/(-28) + 3/12. Is 36 equal to o?
False
Let n = 219 - 213. Is 7 greater than or equal to n?
True
Let z = 39.702 + -39.5. Is z not equal to -0.1?
True
Let x(c) = 16*c - 2. Let g be x(6). Suppose -3*o - 2*h + g = -6*o, 110 = -4*o - 5*h. Let f be (o/(-8))/(9/(-24)). Is -9 at least as big as f?
True
Let m = 0.163 + -0.013. Let j = m - 1.05. Are 4 and j non-equal?
True
Let m = 12 + -15. Let b(j) = j**2 - 1. Let u be b(m). Let t = u + -8. Which is smaller: t or -1/10?
-1/10
Suppose z - 12 = -11*z. Let q = -46 + 95/2. Is q equal to z?
False
Suppose r = -r - 6, -5*r + 39 = 3*s. Is s smaller than 21?
True
Let c = 11 + -31. Let y = 38 - c. Let z be 4/14 + y/(-56). Is 4 at most as big as z?
False
Let g(v) = v**3 - 25*v**2 - 24*v - 53. Let m be g(26). Let h be ((-1)/(-2))/((-7)/(-42)). Is m > h?
False
Let w = 108 + -112. Is -25 at most w?
True
Let z be 1/4 + (-169)/4. Let c = 42 + z. Which is smaller: 1 or c?
c
Let w = -347 - -348.007. Let h = -0.007 + w. Which is smaller: h or 0.25?
0.25
Let f be 5/(-15) + 131/(-3). Let w = f - -44. Is w bigger than 27/7?
False
Let q = 69/49 - -927/490. Which is smaller: q or 2?
2
Let f(t) = 5*t**2 + t. Let a be f(-1). Suppose 0 = 3*v - 5*v - a. Let m be v/4 - (-25)/90. Which is bigger: 1 or m?
1
Suppose -4*d - 2 + 10 = 0. Suppose 0 = -3*b + 12, 4*k - 16 = 2*b - 4*b. Suppose -5*a - c + 15 = 0, 3*a - a = k*c + 6. Is d >= a?
False
Let q = -35 + 36. Let i be ((-21)/210)/(q/3). Is 0 greater than i?
True
Let f be (((-9)/(-33))/1)/(6/(-90)). Which is bigger: f or -4?
-4
Suppose 86*l + 27 = 87*l. Let r(g) = -g**3 + 28*g**2 - 27*g - 21. Let y be r(l). Does -20 = y?
False
Suppose 8 = 9*u - 1. Which is bigger: 20/33 or u?
u
Let k(p) = -7*p**3 - p - 1. Suppose g = -3*j + 2, -4 + 5 = -2*g - j. Let i be k(g). Suppose -5 + i = z. Is 9/5 greater than z?
False
Suppose -6*v + 20 = -2*v. Suppose v*r + 70 = s, -3*r - s = -2*s + 44. Let a = r + 10. Is -14/9 < a?
False
Let r = -708 + 709. Is -1/1141 < r?
True
Let l = 13328 - 31707314/2379. Is l bigger than -1?
True
Let i(y) = -7*y**2 + 8*y - 5. Let n(x) = -1 + x**2 - 53*x + 53*x. Let s(d) = i(d) + 6*n(d). Let w be s(6). Which is greater: 2/27 or w?
w
Let h = -43 + 25. Let t = 18 + h. Suppose t = u + 10 - 11. Is -6/5 bigger than u?
False
Let x(t) = 2*t - 12. Let u be x(-6). Let s be (-9)/1*u/36. Suppose -s*g = -g. Is g equal to -2?
False
Let q = -20 - 4. Let p = 88.05 + 1.95. Let f = -89.9 + p. Is f != q?
True
Let m = -27.664 - -27.8. Which is greater: m or 1/2?
1/2
Let g = 2.025 - -0.005. Let c = g + -0.03. Let s = c + -5. Is s at most as big as 1?
True
Suppose -3*z - 20 = 2*z, -4*l = -4*z - 28. Let s(r) = -r**3 + 4*r**2 - 2*r - 4. Let k be s(l). Let x = -649/292 + -2/73. Which is smaller: k or x?
x
Let f = 0.608 - -0.652. Which is greater: f or -1?
f
Suppose -2 = 3*q - 5*q. Suppose q + 5 = -3*a. Is -7/4 bigger than a?
True
Let x = -181 + 178. Which is smaller: x or 14?
x
Let y be 25/15*6/5. Suppose -2 = y*o - 6. Suppose -c - g - 4 = 0, -4*g - 8 = o*c + 6. Which is smaller: -1/14 or c?
c
Suppose -5*x - 10 = -4*x. Let u(h) = h**2 + 10*h + 23. Let r be u(x). Do r and 24 have the same value?
False
Let p = -2905 - -2906. Let g be 2/(-32)*4/(-3). Is p greater than g?
True
Let g be 5 - (-3 + 5) - -3. Let d = g + -2. Let s = 205/2 - 100. Which is bigger: d or s?
d
Let s(m) = m**3 - 14*m**2 + 2. Let o be s(14). Suppose -12 = -4*a + h, -o*h - 4 = -12. Which is bigger: 3 or a?
a
Let t be -5*(-66)/20*2. Suppose 5*y + 27 + t = 0. Let x = 10 + y. Which is bigger: -8/7 or x?
-8/7
Let t = -4/15 - 2/15. Let x = -118 - -208. Let o be x/(-35) + 4 + -2. Which is smaller: o or t?
o
Let d(r) = r**2 - 16*r + 3. Let s be d(16). Is s < 11/5?
False
Let h = 11.87 + -12. Let x = 46 - 46. Which is smaller: h or x?
h
Suppose -3*d - 41 = 40. Let s be (12/d)/(-4)*6. Let q(o) = -o**3 + 3*o**2 - o. Let f be q(1). Which is smaller: f or s?
s
Let n = 3.18 + -1.151. Let a = -0.029 + n. Which is bigger: 1.5 or a?
a
Suppose -3*q = 2*d + 23, 0 = -4*q - 3*d - 0*d - 29. Suppose -406 - 24 = 5*z. Let w = z + 260/3. Which is greater: w or q?
w
Let p = 520.04 + -520. Let i = 0 + 0.04. Let w = i - p. Is w less than 0?
False
Let g = -9933082/947 - -10489. Which is smaller: -1 or g?
-1
Suppose 3*z - 12 = -z. Let r be 1/2*(11 - z). Let v be (10/(-6))/((-1)/3). Is r equal to v?
False
Suppose -3*l - 30 = 42. Let u be 4*(-2)/l*1. Let w = 3.8 + -4. Which is smaller: u or w?
w
Suppose 0 = t - 8*t - 469. Let j = -29 - t. Is 39 >= j?
True
Let l be 9/3 + (4 - 2). Suppose l*s + 84 = -w - 2*w, -s - w = 18. Is s greater than or equal to -15?
True
Suppose 0 = -10*a + 9*a + 4. Suppose 2*i + 8 = -4*k, -a*k = -i - i + 8. Is i at most as big as 1/14?
True
Let d = -5833099 + 874972037/150. Let q = d - 287/6. Suppose 4*n = 2*n. Is q greater than or equal to n?
True
Let j(f) = 4*f + 18. Let r be j(0). Let u = 22 + r. Are u and 40 equal?
True
Let s = 395 + -394.9. Is s at least 4/45?
True
Let c = -142411/30503 + 275/59. Which is smaller: c or 0?
c
Let a be (12/(-20))/(1/(-5)). Let m = a - 8. Let k(u) = u**2 + 4*u - 10. Let y be k(m). Is -4 less than or equal to y?
False
Suppose -7*y + 72 = -5*y. Suppose -y = 2*n - 5*s, -3*n - n = 4*s + 44. Are n and -13