
Let b be 4 + (-24)/(-6)*-1. Suppose 3*k = -2*k - 5. Let a be -3 + k/8*-25. Which is smaller: a or b?
b
Suppose -4*b + 5*h - 1 = 0, -2*b + 18 = 4*h - 14. Suppose -f + u = -5, 2*f - u = 2*u + 8. Is b greater than f?
False
Let h = -26 - -26.7. Let l = 159 + -159. Is h > l?
True
Let o(v) = 5*v**3 + v + 1. Let l be o(-1). Let j(y) = -y**3 - 6*y**2 - 5*y + 6. Let h be j(l). Let t = 59 + -55. Is t equal to h?
False
Suppose 0 = 5*r - 4*r - 583. Let n = -1210 + r. Let m = n - -13171/21. Is m < 1?
True
Suppose c - 6*c + 85 = 0. Which is bigger: c or 65/4?
c
Let g = -553 - -596. Is 42 < g?
True
Let o(t) = t**3 + 3*t**2 + 5. Let s be o(-4). Suppose -4*i - 144 = 44*i. Which is smaller: s or i?
s
Let u = -351 - -353. Is 167 at most as big as u?
False
Let f be (10540/(-13965))/2 + (-2)/(-6). Let m = f - 3/49. Do 1 and m have different values?
True
Let s be 47/(-5) - (78 + -88). Suppose 17 - 2 = 5*c. Suppose 5*y + 0 = -c*x - 7, 5 = 5*y. Does x = s?
False
Let h be ((-4)/3)/(44/132). Which is smaller: h or -30/7?
-30/7
Let g be (2/((-80)/6))/((-22380)/320). Which is smaller: 0 or g?
0
Let t = 3.7 + -0.6. Let k = -3.2 + t. Are k and 3 equal?
False
Let k be (10 - 1485/150)*(-13990)/4. Which is bigger: -350 or k?
k
Suppose 0 = 5*z - 3*g - 294, 0 = -3*g + 16 - 10. Let d = z - 59. Which is smaller: 6/37 or d?
6/37
Let k(p) = p**2 + p. Let u be k(-2). Suppose u*a + 3*a = 85. Is a not equal to 18?
True
Let q = 94/135 - 8/27. Let b be (-12)/9*(-6)/316. Let x = b + -241/158. Is q > x?
True
Let b be ((-4)/(-6))/(4/204). Suppose -23*x + 3605 = 80*x. Is b > x?
False
Let o be 4/(-18) - (-56)/333. Suppose -4*g - 9 = 4*k - 1, 0 = -k + 4*g - 7. Let m be 3 + k + -4 + 3. Is o > m?
True
Suppose -2*f + 4*h = 32, -4*f = 5*h - 8 + 20. Is -35 > f?
False
Let o = -8.12 + 8.32. Let x = 32 - 21. Which is smaller: o or x?
o
Let x = 68 + -60. Suppose 0 = -2*g + x, 5*s + 3*g - g - 28 = 0. Which is smaller: s or -1?
-1
Let w be (-11 - (-1610)/56)/((-2)/(-8)). Which is greater: -0.6 or w?
w
Let q be ((360/(-175))/8)/(-57). Is 1 bigger than q?
True
Let m = 91 - 175. Is -83 at most as big as m?
False
Suppose u = -3*o - 22, 0 = -4*o - 8 + 16. Is -1 >= u?
True
Let a = 12.24 - 125.24. Which is greater: a or -8/3?
-8/3
Let i be (-3)/((-675)/140) + 12/(-54). Which is smaller: 777/2 or i?
i
Suppose 0 = 4*y + 3*i + 40, 29 + 1 = -3*y + 2*i. Let s be 15/y - 278/(-180). Which is bigger: 1 or s?
1
Let g = 15544/35 - 444. Let i = g - 11/35. Is -3 bigger than i?
False
Suppose -2*t - 2*t - 11 = -w, 4*w = 2*t + 2. Let j = -1526/9 - -19514/117. Is j greater than t?
True
Let v = 2.3 - 2.54. Let t = v + 0.25. Which is bigger: t or 3?
3
Let s be 4/(-14) - 75/7. Let g be (-15)/20*3 - (-1034)/(-88). Which is greater: g or s?
s
Let t = 176 - 167. Which is smaller: t or 0.01?
0.01
Let h = -753 + 889. Which is greater: h or 137?
137
Let i = -2951/25 - -118. Are i and 1 equal?
False
Let f = -4.369 - 0.031. Let i = 1.4 - -0.2. Let k = i - f. Which is smaller: k or 2/7?
2/7
Let f = -27.88 + 28.18. Which is greater: 1/9 or f?
f
Let l = 117 + -1756/15. Suppose -5*r + 10 = -2*r - 2*m, 3*m + 15 = -4*r. Which is bigger: r or l?
r
Let w be (-25)/10*18/(-5). Let g be w/11 + (-12)/(-66). Let r(t) = 13*t**2 + 1. Let f be r(g). Is f smaller than 14?
False
Let w be (38339/63)/(1/(-84)). Let m = -1703929/33 - w. Let d = 515 + m. Are d and -1 non-equal?
True
Let o = -26 + 27. Let z be (3 + 89/(-29))*o. Which is bigger: z or 1?
1
Let i = 10 + -9.9. Let f = -28 - -27.98. Let d = f - 1.98. Which is smaller: d or i?
d
Let o be 634/14 - 4/14. Suppose 5*k = 5*t + o, -t + 0*t + 3*k - 1 = 0. Let a(r) = -6*r + 35. Let v be a(8). Are t and v nonequal?
False
Let n be (4/(-6) + (-400)/48)*-21. Let x be (-99)/(-6)*14/n. Which is bigger: x or 2?
2
Let u be ((-1 - -4) + -2)*96. Let v be 1 - (-1 + 9) - 6120/(-60). Which is greater: u or v?
u
Let o = -10124.4117 + 10125. Let p = 25.5417 + o. Let s = p - 26. Which is smaller: s or -1/2?
-1/2
Let j = -1 - -6. Let f = 3/151 + -157/302. Which is smaller: f or j?
f
Let t(s) = s**2 + 2*s - 1. Let n(q) = 2*q - 1. Let x be n(-2). Let z be t(x). Suppose -5*i + 3*i = -2*k - z, -4*i - 5*k = 8. Which is greater: i or 2?
i
Suppose 126*d = 103*d + 2852. Which is smaller: d or 125?
d
Let b = 34 - 58. Let q = b + 43. Let x = 9 - q. Which is smaller: -11 or x?
-11
Suppose 9*v - 4*v - 131 = -3*t, 0 = -3*v - t + 81. Suppose 3*j + v = j. Let d = 11 + j. Is -5 at most d?
True
Suppose 3*i - 9 = -3. Let z = i - 2. Let u = -1002 - -53104/53. Is u not equal to z?
True
Let m = -1/347 + 5246/14227. Let v = m + -367/779. Which is smaller: v or 0?
v
Let c = 39395/34 - 2311/2. Is 2 at least as big as c?
False
Let c be 4/(-5)*10/4. Let g = 0.05 + 0.65. Let y = 0.8 - g. Are y and c non-equal?
True
Let v be (12/5)/((-9)/(-30)). Let j be 0 + (-1 - v/(-2)). Is 12/5 bigger than j?
False
Let i be (-270)/24*(-8)/3. Let f = i - 21. Which is smaller: f or 0?
0
Let i = 9.6 + -0.6. Let b = -0.16 + 13.16. Let c = -13 + b. Does c = i?
False
Let a(t) = t**2 - 8*t + 143. Let z be a(-18). Is z < 611?
False
Let w = 16 + -10. Let g = w - 9. Let a = -38 - -35. Is g equal to a?
True
Let j = -734 - -697. Is j greater than -39?
True
Let f = 0.125 + -8.125. Is f not equal to 2/43?
True
Let d = 198 + -241. Which is greater: -304/7 or d?
d
Let m = -300 - -9898/33. Which is greater: -1 or m?
m
Let z = 0.6 + 2.4. Let g be 62/(-57)*315/6. Let r = g - -57. Which is smaller: r or z?
r
Let g be (-74)/10 + (-8)/(-20). Let t(y) = -y**3 + 2*y**2 - 2*y + 9. Let r be t(3). Is r smaller than g?
False
Let w be 39/(-12)*-1 + 2. Let n = 5 - w. Is -3/5 less than or equal to n?
True
Suppose 19*b + 6*b = 0. Is 4/215 >= b?
True
Suppose 0 = -x - 2*v + 11, 2*v + 3*v = 5*x + 20. Let b be 6/(-36) + (-6)/396. Is b greater than or equal to x?
False
Suppose -3*x + 3*b = -26 + 50, 5*x + 2*b = -54. Let n = -17 - -9. Which is smaller: n or x?
x
Let h = -5/24 - -607/3144. Is -1 at least as big as h?
False
Let y be 5/((-315)/177) + 3. Let k(a) = a**2 - 3*a + 3. Suppose 2*r - 3*n - 17 = 0, 3*n + 14 = -0*r - r. Let v be k(r). Is v not equal to y?
True
Suppose 2*w - 10 = -3*w. Suppose 18*d - 21*d - 1107 = 0. Let l be (-1 - w)*(-6)/d. Is l at least as big as 0?
False
Let d = 1524 + -1522. Suppose -2*y + 4*y + s = -2, -10 = 5*y + 5*s. Are d and y equal?
False
Let l(c) = -2*c**3 + c**2 - c. Let n be l(1). Let o = 6081/8 + -762. Which is smaller: n or o?
n
Suppose 7 + 9 = c. Let t = c + -18. Is t not equal to -10?
True
Let d be (9/12)/((-6)/552). Let u be -1 + (-9)/d + 1. Which is smaller: u or 1?
u
Let h be ((-20)/(-48))/(2/3). Let q be (-12)/54 - (1/9)/((-18)/198). Is h less than q?
True
Let h = -4 - -4. Let g be (-40)/(-15)*(-3)/(-14). Which is greater: g or h?
g
Let z be 2/(((-9)/36)/(1/(-8))). Is z <= -2/87?
False
Let t = -14 + 17. Let n = 4.4 + -3.4. Which is bigger: n or t?
t
Suppose -14 = -2*c - 2. Let u = -5 + c. Let f = 2/69 + 30/23. Which is bigger: u or f?
f
Let o be 11016/(-4428) - 5/(-2). Let b be ((-322)/328 + 1)*-2. Let s = o - b. Is s <= -2/7?
False
Let c = 103 - 157. Let b = -53.9 - c. Which is smaller: b or -2.7?
-2.7
Let s be (20/8)/((-5)/(-12)). Let o be 2/3 + (-4)/s. Which is bigger: -2/125 or o?
o
Let m be 4*1*(-10)/8. Let l(f) = 7*f + 5. Let h(y) = -3*y - 2. Let w(d) = -13*h(d) - 6*l(d). Let p be w(m). Do p and 13 have different values?
True
Let d(l) = 2*l**2. Let r(c) = c**2. Let m(o) = -2*d(o) + 5*r(o). Let u be m(4). Which is smaller: 0.1 or u?
0.1
Let r = 25/12 - 7/4. Suppose 20*i - 15*i + 4 = t, 5*i - 66 = -4*t. Which is smaller: t or r?
r
Let x = 75 + -47. Let t = x - 31. Which is greater: t or 1/3?
1/3
Let n(o) = o**3 - 6*o**2 + 8*o - 15. Let v be n(5). Let h = v - 1. Suppose 5*w + 3*d - 35 = 0, -2*d - 41 = -4*w - 7*d. Which is smaller: w or h?
h
Let d = -28 - -34. Suppose 0 = d*f - 5*f - 1. Is f bigger than 2?
False
Let h be -1 - ((-5)/(-3) + -2). Let a be (3/(-6))/((-1)/22). Let w = a + -11. Which is greater: h or w?
w
Let z = -575607/125 - -4605. Is z < -1?
False
Let g = -11 + 11. Let c = g - -2. Let j be c/((-2)/(-2)*-23). Which is smaller: -1 or j?
-1
Suppose -52 = 48*q + 4*q. Let m(v) = -v**3 + 4*v**2 - 1. Let n be m(4). Let d be (-1 - (-2)/3)/n. Is d bigger than q?
True
Let j be (-5 + 2)*3/6*24. Let d = 31 + j. Which is smaller: -28/5 or d?
-28/5
Le