 -10*a - 50. Suppose r + 5 = m, -20 = -7*m + 2*m + 4*r. Let k be s(m). Is k equal to -50?
True
Let l(t) = t**3 + 3*t**2 + 4*t + 3. Let u be (-5)/((-5)/4) - (6 + 0). Let a be l(u). Which is smaller: -10/27 or a?
a
Let z(k) = k**3 + 20*k**2 - 2*k + 37. Let f be z(-20). Are 76 and f equal?
False
Suppose 2*r - 2*a - 44 = r, 4*a - 112 = -3*r. Let l be 1/(-4) - (-250)/r. Is l less than 4?
False
Let o = -6 + 6. Suppose o*c + 2*c = 2. Let j be (c + -2*2)/(-1). Which is smaller: 2 or j?
2
Let f = -82/32727 + 14784389/18490755. Let v = -1/339 - f. Let w = -0.1 + 0.1. Is v greater than or equal to w?
False
Suppose -188 = 4*x - 72. Which is greater: x or -24?
-24
Let z = -0.094 - -1.864. Is z less than or equal to -3?
False
Suppose -52 - 13 = -13*r. Suppose -r*y = 11 + 29. Which is bigger: -5 or y?
-5
Let g be (-1)/2 + 1/(-2). Let b = 6815/228 - 17/76. Let y = b - 721/24. Which is greater: g or y?
y
Let m be 261/(-12)*(-224)/21. Let d = m - 237. Suppose 2*p + 8 = -0*z + 5*z, 0 = 2*z. Which is greater: p or d?
p
Let a = 1.45 + -1. Let k = 0.15 - a. Let n be 4/6 + (-5)/15. Which is bigger: k or n?
n
Let h = -4/4557 - 606037/50127. Is h > -13?
True
Let y be 66340/168 - -3 - 2/12. Let g = y - 397. Suppose -5*b + 0*b = -5. Is b smaller than g?
False
Suppose 1039 = -17*u - 2055. Which is smaller: -183 or u?
-183
Suppose -94*k + 103*k = 0. Is 2/501 greater than k?
True
Suppose 14*v - 112 = -42. Suppose -2*s + 43 = 3*s - d, -2*d - 6 = 0. Is v at most s?
True
Let t be (27/(-108))/((-6)/(-248)*1). Let h = 4 + -15. Is t not equal to h?
True
Let g(f) = f**3 + 7*f**2 - 2*f - 9. Let b be g(-7). Suppose 2 = -b*o + 17. Suppose 3*n = 2*n + o. Is 12/5 < n?
True
Let g(c) = 5*c + 48. Let u(w) = -w**3 - 9*w**2 - 8*w - 14. Let v be u(-8). Let y be g(v). Is y >= -25?
True
Let c = -2.2 + 1.1. Let m = -0.451 - -0.46. Let l = m - 1.009. Which is smaller: c or l?
c
Suppose -6*m + 2*m + 48 = 2*t, -4*m - t = -52. Suppose u - 2*l = 19, 4*u + 4*l = 2*u + m. Is u at most 13?
True
Let y be ((-3)/10)/((-24)/(-10)). Let j = -19 - -23. Suppose -5*a + a = j. Which is smaller: y or a?
a
Let v = -133/39 + 40/13. Is -5 not equal to v?
True
Let y be ((-2)/(-4))/(2/(-4)). Let j be 516/(-268) - (2 - 4). Let p = -296/1273 + j. Which is smaller: y or p?
y
Let k = 0.46 + 0.04. Let u = -1.5 + k. Let t = -21.007 - -0.007. Which is smaller: u or t?
t
Suppose -f = 4 - 12. Which is bigger: f or 23/3?
f
Let l = 84 - 119. Let x = 37 + l. Which is smaller: x or 8/5?
8/5
Let i be 0*(5 - (-27)/(-6)). Is i greater than or equal to -12/53?
True
Let i be 4*9/6 + 285/3. Is i less than or equal to 101?
True
Let x be 21350/(-140) + (-3)/2 + 1. Which is greater: -151 or x?
-151
Let y = -632 - -633.198. Let d = -1.23 + y. Is d greater than 1?
False
Let f be 1/((-69)/(-33) + -2). Let c = f + -8. Let m = -3 + c. Are m and 0 equal?
True
Let o = -5.6 - -0.6. Let u = o + 4.7. Let f = 0.4 + u. Which is smaller: f or -1/16?
-1/16
Let f be 15/3 + 4 + -2. Let q be 0 - f/(-3)*-1. Let m(t) = -t**3 - 6*t**2 + 9*t + 69. Let i be m(-5). Which is smaller: q or i?
q
Let j = -42 + -40. Let q = j - -78. Is 2/13 less than or equal to q?
False
Suppose 0 = 22*q + 161 + 1599. Is 0 less than q?
False
Let j = -0.1 - 12.9. Suppose -3 + 0 = 3*i. Is i > j?
True
Let i = 798.7 + -799. Is i != 3?
True
Let b = 680 + -681. Suppose 4*c + 0*c - 196 = 0. Which is bigger: b or c?
c
Let o be (-19)/(-20) - (-1)/4. Suppose 3*z + 3*a - 21 = 0, 5*a - 58 = -2*z - 29. Which is smaller: o or z?
o
Suppose 0*x = x + 27. Let n = 16 + x. Let p = 4 + n. Is p < -7?
False
Let c be (-5)/(-2)*1/((-10)/(-12)). Let u be 2 + 4/((-4)/c). Which is greater: u or -1/120?
-1/120
Suppose 2*r = -4*w + 134, 3*w - 6*w + 288 = 4*r. Let a be (-5 - r)*((-1)/(-6))/(-1). Which is bigger: 14 or a?
14
Let o = -97/88784 + -5/496. Let a = o + -2122/2327. Do -1 and a have different values?
True
Let g be (-6)/(-10) - (-113372)/580. Let o = g - 196. Let s = 8 - 8. Is s bigger than o?
False
Let l = -37.7 + 19.7. Is 3 less than l?
False
Let s = 43.962 + 0.038. Let f = -68 + s. Is f bigger than 0?
False
Suppose -4*w - 50 = 2*x, -2*x = -2*w - 7 - 21. Let u(z) = -2 - 9*z + z - 16*z**2 + z + 3*z. Let c be u(-1). Is w at most as big as c?
False
Suppose 14*w = -8 + 176. Let h = 13 + -25. Let x be 4/22 - h/(-66). Which is smaller: w or x?
x
Let g be 4920/(-800)*20/15. Suppose -3*j - 6 - 21 = 0. Which is smaller: j or g?
j
Let f be 62/(5/(-2)*90/(-25)). Is f < -1?
False
Let o = 5.96 - 6.96. Which is bigger: 44 or o?
44
Let x = -42 - -50. Suppose -2 = u - x. Is 6 less than u?
False
Let j = 2711/10 - 269. Suppose 42*u = 57 + 69. Do j and u have the same value?
False
Let l be 6/(-2) - (8 + 7). Let v be 27/2 + l/(-36). Let x be v + -12 + (-40)/18. Which is smaller: x or 1?
x
Suppose 6*r + 3*r = 72. Let a be (-6)/r + (-253)/(-220). Is 52 greater than a?
True
Let s(x) = -2*x**2 - 11*x. Let w be s(-5). Suppose -20 = 4*q, 0 = w*k + q + 6 - 16. Which is greater: 8/5 or k?
k
Let h = -209 + 208. Which is bigger: h or 16/73?
16/73
Let a = -711/37 - -22293/259. Is 66 greater than a?
False
Suppose 4*d + 7 = 3*v + 2, 0 = -4*d - 2*v - 10. Is d less than 14?
True
Suppose 6*b - 4*b = 3464. Let l = 5105/3 - b. Let n = l - -31. Is 5 bigger than n?
True
Let k(q) = -346*q - 1038. Let s be k(-3). Let b = 12 + -7. Let h be (-11)/(-105) - 1/b. Are h and s unequal?
True
Suppose 3*d - 639 = -3*n, 3*d + 32*n - 35*n = 669. Is d <= 211?
False
Let z = 17 - 15.76. Let b = z - 0.14. Let j = b + -1.4. Does 2/3 = j?
False
Let i = 45279/40 + -1132. Is -5 at most as big as i?
True
Let l be 1/((30/(-78))/(-5)) + -4. Suppose 2*b - 30 = -5*x + 18, 5*x - 52 = -3*b. Which is smaller: x or l?
x
Let c = -241 - -255. Is c > -11?
True
Suppose 14*n - 2*n - 48 = 0. Which is smaller: n or 29/6?
n
Let w = -0.93 - 3.07. Which is bigger: w or 3/14?
3/14
Let a(n) = n**2 - 1. Let c be a(4). Let z = c - 29. Let k = z - -10. Which is bigger: -5/2 or k?
-5/2
Let u = -49 - -43. Let c be (-15)/22 - (33/u)/11. Let x = -0.1 - 0.2. Which is greater: x or c?
c
Suppose 41 - 25 = 4*p. Is p <= 4?
True
Let t(q) = 5*q - 8. Let p(u) = -u + 1. Let f(v) = 4*p(v) + t(v). Let r = 7 + -4. Let a be f(r). Is -10 smaller than a?
True
Let h be 3/(-2 - (-17)/10). Let m be (-21)/27 + h/45. Is 5 at most as big as m?
False
Let r(b) = b**3 + 2*b**2 + 4*b**2 + 7*b**2. Let t be r(-13). Suppose t*m = 2*m - 6. Is m less than -1/2?
False
Let r = 484 + -517. Which is bigger: r or -26?
-26
Let i(b) = b**3 + b**2 + 16*b**2 - b**3 + 2 - b**3. Let g be i(17). Is g >= 2?
True
Suppose 0 = 8*q - 7*q + 167. Does q = -168?
False
Let l = -0.3 + 0.3. Let f be 66/15 - (-4)/(-10). Suppose -4*x + f + 12 = 0. Are x and l unequal?
True
Suppose 5 = -5*q, -3 + 4 = n + 2*q. Suppose -4*o + n = -7*o. Which is smaller: o or -2.3?
-2.3
Let n = -111 - -130.9. Let y = -19 + n. Let i = -0.1 - y. Is 2 at most i?
False
Let n be (-1)/(-2) - (1 - 75/148). Which is bigger: n or 1?
1
Suppose -5*g - 20 + 8 = 2*j, 8 = 2*j. Is g < -1/3?
True
Let r = 555 + -550. Which is bigger: 157 or r?
157
Let m = -42/25 - -32/25. Suppose 2 = 2*h - 4. Let t be (-4)/h - (-4)/12. Is m equal to t?
False
Let n = 15 - 11. Suppose 0 = -m + s + 3*s + 7, n*m = 5*s + 28. Let j = m + -8. Is j at least -1?
True
Let r(d) = 17 + 2*d**3 + 3*d**3 - 13*d**2 + 21*d - 18*d - 3*d**3. Let t be r(6). Is -9/14 smaller than t?
False
Let c = -0.5 - -1.04. Let o = c + -0.5. Let i = o + -0.34. Which is smaller: i or 1/3?
i
Let x be 1 + 590 - (28 + -30). Is x > 592?
True
Let z = 229.4 - 252.4. Is z <= 0.002?
True
Suppose b + q + 103 = 0, -2*q - 2 = -q. Is -101 at most as big as b?
True
Let j = 185 + -162. Let t = -4 + 3. Is j > t?
True
Let v(y) = -y - 9. Let u be v(-10). Let b be 2/(-6) + 1 + (-1116)/1701. Is u not equal to b?
True
Let y(u) = u**3 + 5*u**2 - 16*u + 4. Let g be y(-7). Suppose -2*d + 2*h = -g, 2*d + h = -4*h + 39. Do 12 and d have different values?
False
Suppose 8*x = 4*p + 3*x + 6, 4*p + 20 = -2*x. Let k be ((-40)/(-8))/(-10) - 39/10. Which is smaller: k or p?
k
Let q = -921 - -918.7. Are -1.1 and q equal?
False
Let x = -279/29 + 312451/32480. Do 0.1 and x have the same value?
False
Suppose 2*p - 200 = -218. Is p >= -15/2?
False
Let i = -5.49 - -2.49. Is 7/8 less than i?
False
Let f(a) = 27*a + 12. Let k be f(14). Let m be (-1)/(-3) - k/(-18). W