z - -133/204. Is d less than or equal to -16/3?
False
Let p = 2 - 1. Let u = -299519/45 + 6656. Is u <= p?
True
Let r = 2 + 4. Suppose r*k = -25 - 17. Let c be (18/(-4))/(3/4). Which is greater: c or k?
c
Let q(i) = -i - 12. Let y be q(-15). Suppose y*s = -s - 172. Which is greater: s or -42?
-42
Let j = -115 + 109. Let p = 0.01 - 6.01. Let y = p - -4. Do j and y have different values?
True
Suppose -r - 13 = -6. Let d be 2/r - 372/(-28). Let u = -5 + d. Is u less than -0.1?
False
Let q = 0.071 + -0.541. Let a = -0.37 - q. Let m = -0.98 - -1. Is a equal to m?
False
Suppose n + 2 = -3*w - 7, 5 = 5*w. Let m = n - -12. Which is smaller: 4.8 or m?
m
Suppose 9*r = 4*r. Suppose r = -2*w + w + 2. Let z = 13.8 + -14. Do w and z have the same value?
False
Let u = 0.46 + 88.54. Which is smaller: 2 or u?
2
Let r = -656.9 + 658. Which is smaller: -2 or r?
-2
Let w be 4/18 + 68794/1062. Which is smaller: w or 332/5?
w
Let u = -0.7 + -22.3. Let x = u - -32. Let b = -9 + x. Is b greater than or equal to -3?
True
Suppose -7*j + 27 = -4*j. Let w = 208 - 204. Let i = j + w. Is 13 at most i?
True
Let f(x) = 10*x - 17. Let i be f(-10). Suppose -18*c - 4*d = -13*c + 585, 0 = -5*c + 3*d - 585. Is c <= i?
True
Suppose -139*g - 102 = -122*g. Is -20/3 < g?
True
Let u = -782 - -5490/7. Which is bigger: 3 or u?
3
Let g be ((-3)/2)/(33/(-176)). Let c = 216 - 303. Let f = c - -263/3. Which is bigger: f or g?
g
Suppose -6*k + 4*g - 11 = -3*k, 2*k - 2 = -2*g. Let p be ((21/9)/7)/(15/(-1926)). Let j = p - -43. Do j and k have different values?
True
Suppose 0*n + 4*n - 110 = 5*o, -o - n = 13. Let g = o - -92/5. Let x = 2/1025 + 2044/3075. Which is smaller: x or g?
g
Let m = 1135 + -974. Which is greater: m or 160?
m
Let h be 4/((-13 - -1)/6). Let d = 0.1 - 0.2. Which is bigger: d or h?
d
Let d be ((-4)/(-8))/((-2)/(-28)). Let s(o) = -o**2 + 10*o - 20. Let h be s(d). Is 2/53 at most as big as h?
True
Let h = 3 - 3. Let x be (1/5)/((-9)/(-15)). Are x and h equal?
False
Let j = 6 - 3. Suppose 4 = 2*l, 23*l - 20*l = -q + 11. Suppose 0 = -j*f + 1 + q. Is f smaller than 2?
False
Let t = 14804/71 - 13756573/66030. Let r be (2/18)/(3952/273 - 14). Let z = r - t. Which is smaller: 0 or z?
0
Let t(j) = -26*j**2 - 16*j + 112. Let q be t(6). Is -921 bigger than q?
False
Let i(f) = 5*f**2 + 2*f - 3. Let v be i(2). Let j be (-6)/4*14/v. Let w = 0 - j. Is 2/21 at least w?
False
Suppose 165 = 5*v + 5*j, 68 = 3*v - v + 3*j. Suppose l + 8*o = 3*o - v, 5*l - o = -181. Let s be ((-3)/9)/(1/l). Is s smaller than 11?
False
Let p = 77 + -83. Let k = 2 - 8. Is k > p?
False
Let r(j) = -4*j + 46. Let y be r(29). Is -69 < y?
False
Suppose -2*r = r - 54. Let x be 2/(-6) + (1 - (-42)/r). Is x < 2/21?
False
Let a = -899 + 825. Which is smaller: 2/3 or a?
a
Let m be ((-9 - -2) + 10)*40/(-6). Do -26 and m have the same value?
False
Let l be ((-8)/(-1 + -7))/227. Which is smaller: 1/2 or l?
l
Let m = -1.15 + 1.09. Which is smaller: m or 0.8?
m
Let o = -893.108 - -893. Which is smaller: 1/4 or o?
o
Suppose 5*y - 3*j + 169 = 0, -y + 5*j + 7 - 54 = 0. Suppose -59 - 31 = 3*t. Which is smaller: y or t?
y
Let b = 2645 + -1493. Do b and 1153 have the same value?
False
Let l = 613/4305 + 2/4305. Let v = 0.05 - 1.75. Is v < l?
True
Let q = -94 - -93.57. Let i = 0.43 + q. Which is bigger: 28 or i?
28
Let f(w) = w**3 + 6*w**2 - 7*w - 10. Let j(c) = c**3 + 6*c**2 - 6*c - 10. Let b(d) = -2*f(d) + 3*j(d). Let r be b(-5). Which is bigger: r or 36?
36
Suppose 0 = 2*c + u - 2, 0 = 4*c - c - 5*u + 10. Suppose -3523*d = -3524*d - 2. Which is greater: d or c?
c
Suppose -4 = 2*p, 137*p = -4*r + 142*p + 6. Let t be 1/(-3)*(-3)/(-23). Which is bigger: t or r?
t
Suppose 2*r - 2*m = -m + 777, 5*r + 3*m - 1937 = 0. Which is smaller: r or 387?
387
Suppose 67*v + 8092 = 81*v. Which is bigger: v or 577?
v
Suppose -2*c = -2*f - 56, 5*f + 3*c + 69 + 71 = 0. Let p = -5.1 + 5.2. Is p greater than f?
True
Suppose 26*u + 22 = 25*u. Which is bigger: u or -19?
-19
Suppose 0 = -0*l - 4*l. Suppose l = -9*g + 11*g + 14. Let t(u) = -u**3 - 6*u**2 + 7*u + 4. Let y be t(g). Are 4 and y unequal?
False
Let c = -33 + 7. Let a be ((-6)/1)/(c - -4). Is 0 at least as big as a?
False
Let i(c) = c**3 + 9*c**2 - 11*c - 7. Let x be i(-10). Suppose 4*a - x*p - 32 = -5*p, -24 = -2*a - 5*p. Is 10 > a?
True
Let t be (-6)/(-1)*2/(-3). Let k(r) = -3*r + 1. Let b be k(-2). Suppose -2 = -2*l + 2*u, -2*l - 5 = 5*u + b. Is t greater than or equal to l?
False
Let f = 164 - 66. Let c = -101.9 + f. Let h = -4 - c. Which is smaller: h or 4?
h
Let m be (-12)/(-7)*14/4. Let j be ((-23)/(-3))/((-2)/m). Does j = -22?
False
Suppose -2*r = -4*r + 6. Let s(f) = 2*f + 2. Let q be s(r). Suppose 2*x + 2*z = 10, -x = 5*z + 3 + 8. Is x less than q?
False
Let s = 164 + -185. Is s < -21?
False
Let n(x) = x**3 + 13*x**2 + x + 44. Let j be n(0). Is 305/7 < j?
True
Let n = 26 + -30. Is n smaller than -4?
False
Let g = -287 - -286.645. Which is greater: g or 0.1?
0.1
Suppose 2*l - 25 = 5*x, 3*l - 2*x - x - 15 = 0. Let m be (-16)/(-10)*20/8. Suppose -m*h - 2*h - 120 = l. Which is smaller: h or -19?
h
Let m be (3 - 4) + (-1224)/245 - -6. Is 0 <= m?
True
Let q = 8 + -1. Let g be (-28)/q*1/(-2). Is g < 0?
False
Let f = -0.44 - -0.33. Let k = 6.2 + -5. Let m = -1.4 + k. Which is bigger: m or f?
f
Let j be 6/(-12)*4/(-7). Let m = 7 + 2. Let t = -9.1 + m. Is t less than or equal to j?
True
Suppose 1866 = 5*t - 3*d, 0 = -5*t + 4*t - 3*d + 366. Which is smaller: t or 370?
370
Suppose 5*v + 4 = -3*m + 28, -5*v - 16 = -2*m. Let f = m + -13. Suppose -17*r - 113 + 11 = 0. Which is smaller: r or f?
r
Let m = 480 + -479. Is m >= 8/59?
True
Let v = -48 + 48. Which is smaller: v or 0.293?
v
Let z = 18 - 23. Let l be 114/(-22) + 12/66. Is z not equal to l?
False
Let p(y) = -22*y - 22. Let s be p(-2). Which is smaller: 20 or s?
20
Let h(l) = 2*l**3 - 2*l**2 + 24*l + 3. Let u be h(-5). Is u <= -416?
True
Suppose -2*r - r - 7*r = 0. Is r less than or equal to -22/17?
False
Let v = 50 + -25. Let i(k) = 17 - k - v + 4*k - 5*k. Let a be i(-6). Which is smaller: -1 or a?
-1
Let c = 0.3 - 0.2. Let o = -222 + 1102/5. Which is bigger: o or c?
c
Let o(v) = -2*v**3 + 13*v**2 - 6*v + 22. Let d be o(4). Is 74 less than or equal to d?
True
Let s = 490530 - 5390996/11. Let u = 981 + -542. Let a = s - u. Is 1 smaller than a?
False
Let b = 150 + -215. Let v = b + 68. Is v at least as big as -8?
True
Let b be (-167)/(-30)*2 - 6/45. Let j = 10 + 2. Is j < b?
False
Let c = 23 + -15. Let f be (-21)/(-7)*(1 - c). Is -22 smaller than f?
True
Let f be (-33)/(-1)*1/3. Suppose -4*m + 2*m + 4*x = 4, -3*m + x - 6 = 0. Let g = f + m. Is g < 9?
False
Suppose 3 = 3*x + z, 0*x - 2*x = z - 1. Let m(b) = b**3 + 3*b**2 + 3. Let u be m(-3). Suppose 0 = -u*c + 2*v + 1, c + 2*v - 3 = -0*c. Which is smaller: c or x?
c
Suppose -3*m - 5*b - 27 = 0, -3*b = -220*m + 225*m + 13. Let x be ((-8)/(-678))/((-4)/6). Which is bigger: m or x?
m
Let i be (4/(-3))/((-24)/468). Let b = -31 + 56. Which is smaller: i or b?
b
Let u = -0.29 - -0.3. Let w = 3.97 + -3.78. Let h = u + w. Which is smaller: -1/3 or h?
-1/3
Let x(j) = 19*j - 52. Let c be x(3). Which is smaller: c or 0?
0
Suppose m + 5 = 4*s, 4*s + 2*m - 3 = -s. Which is bigger: 15 or s?
15
Let n = 14 + -12. Let x be 2 + -2 + n - 111. Let c = x + 977/9. Is -1 < c?
True
Suppose -5*m - 25 = -2*z, -m - 32 = -0*m + 5*z. Let h(d) = -d**2 - 5*d + 43. Let t be h(m). Is 27 < t?
True
Suppose -3*m = -5*j + m + 26, 0 = m + 4. Let s be (-3)/(6 - (-120)/(-16)). Is s >= j?
True
Let m = -388 - -372. Suppose 340 = 8*t - 3*t. Suppose 2*d = 6*d + t. Which is smaller: m or d?
d
Suppose -7*w - 10*w - 2720 = 0. Let a be w/585 + 2/9. Are 1 and a equal?
False
Suppose -2*b + 4*b - 10 = -4*u, -4*b + 72 = -5*u. Which is smaller: b or 1/6?
1/6
Let y = 0 - -0.9. Let z = y - 1.6. Let w = -23/20 + 3/4. Is w bigger than z?
True
Let a = 25 - 26. Let v = -7 - -7.5. Let g = -0.8 + v. Which is bigger: g or a?
g
Let j be ((-4)/3*1)/((-132)/(-126)). Is -1 < j?
False
Let n(m) = m - 11. Let j be n(11). Let a be -65*(-3 - j/(-1)). Let i be (10/a)/(4/6). Which is bigger: i or 0?
i
Let j(c) = -c**2 - 2*c. Let a be j(-4). Let m = -143 - -135. Are a and m equal?
True
Let r(l) = -3*l - 18. Let w be r(-5). Let y be 2/((-24)/w)*-2. Which is smaller: