 -139 = -10*w + 111. Suppose -5*g + w = -h, 0 = 3*h - 6*h - 2*g + 10. Is -2/27 < h?
True
Suppose -635 = 6*o + 601. Is o at least -207?
True
Let u = 522 + -534. Is -6 greater than or equal to u?
True
Suppose -5 = 4*i - 3*c - 24, 3*i - 4*c - 23 = 0. Let r be 4/6*(-6)/10. Is r not equal to i?
True
Let i = -104 + 148. Let x = -44 + i. Which is bigger: -10/19 or x?
x
Let u(d) = -4*d - 2 - 11 + 21*d + 1 - d**2. Let b be u(17). Do 1 and b have the same value?
False
Let q be (47115/567 - 2/21)/((-4)/4). Suppose 2*h = 58 - 224. Is q greater than h?
False
Suppose -28 + 10 = -w. Let a be (1/(-3))/((-6)/w). Let z be (-1)/5*-5 + 7/(-6). Is a equal to z?
False
Let s = 19 + -29. Let j be (-6)/(-27) + 0 + (-100)/(-36). Suppose j*o + 34 = 7. Which is smaller: o or s?
s
Let i = -1723 - -1724. Which is smaller: 57/40 or i?
i
Suppose 2*z + 23 = 5*b, -9*z + b = -4*z. Is -2/17 at least z?
False
Let a be 5811/(-26)*4/6*-1. Which is smaller: a or 152?
a
Let b(u) = -7*u**2 + 8*u + 2. Let g(r) = -20*r**2 + 24*r + 7. Let c(s) = -17*b(s) + 6*g(s). Let f be c(9). Let j be (-1*2)/(-10)*-2. Which is bigger: f or j?
j
Let p = 329/984 - 12/41. Let d be 4/(-6) + (-371)/(-456). Let b = d - p. Is b > 1?
False
Let z be 1*-2*33*2/(-4). Let r = -31 + z. Let p be 4/46 - (-2 - -2). Are r and p unequal?
True
Let h = 75 + -53. Suppose -11 = z + 3*z + d, 3*z - 2*d = -h. Let g be z/(-15)*15/(-6). Which is greater: g or 0?
0
Let a = -199 + 200. Suppose 2*v - 14 = w - v, 3*v - 2 = -5*w. Which is greater: a or w?
a
Suppose 7*i = 3*i + 8. Let p = 35.8 - 35.8. Is p < i?
True
Let j(h) = h**3 - 6*h**2 - 4*h - 4. Let g be j(6). Let i be (-4)/g + (-129)/21. Let k be (i*1)/(-2) + 1. Is k at least as big as 5/2?
True
Let r(k) = k**2 - 4*k + 50. Let o be r(-10). Which is bigger: o or 192?
192
Let b = -18 - 0. Let q(r) = r**3 + 56*r**2 - 59*r - 134. Let v be q(-57). Which is bigger: v or b?
b
Let w(n) = n**2 - 6*n + 3. Let r be w(4). Let c be 1/(-5) + (-111)/r. Suppose 0 = k - 5*b + c, 2*k - 6*k = -3*b + 20. Is k bigger than -1/2?
False
Let r = -9572 - -9570. Let m = 21 - 1. Which is smaller: m or r?
r
Let t = 6.3 - 1.3. Let v = -12865/57852 + 1/6428. Which is smaller: t or v?
v
Let i = 1/68 - -237/68. Let j be 9/6 + 68/(-56). Is i less than or equal to j?
False
Suppose -19*h + 146 + 8347 = 0. Which is smaller: 1 or h?
1
Let p(n) = -2*n - 9. Let a be p(-6). Suppose a*l + 19 = 2*h - 3, -4*l = 0. Let q = 183/17 - h. Are q and -1 equal?
False
Suppose -u + 3*n = n - 192, 3*u - 3*n = 588. Is u > 200?
False
Suppose 42 = 5*b + u, u + 9 = 2*b - 5. Let w = -6 + b. Suppose -w*r = r - 3. Which is smaller: -2/21 or r?
-2/21
Let a(l) = l**3 - 9*l**2 - 57*l + 58. Let p be a(13). Which is smaller: p or -0.036?
p
Suppose -31*j - 13 + 44 = 0. Which is bigger: -2/755 or j?
j
Suppose 17 + 19 = 3*p. Suppose -p = 58*d - 55*d. Which is bigger: d or -3/2?
-3/2
Let o = -82 - -110. Let u be (-14)/o - (-3)/(-6). Which is bigger: u or 2/7?
2/7
Let q be 24/(-40)*(-10)/(-178). Is 1 less than q?
False
Suppose 0 = 2*p + 5*a - 3252, -3*p = a - 4609 - 295. Which is bigger: p or 1637?
1637
Suppose 5*t - 3 - 2 = 0. Let m(l) = l**2 + 8*l - 7. Let s be m(-9). Suppose 3*i = 5*f + t + 2, -i + s*f + 1 = 0. Are 2 and i non-equal?
True
Let z = 58 + -179/3. Let s = -6.2 - -18.3. Let b = s - 12. Which is bigger: z or b?
b
Let a be (5/(-20))/(3/(-24)). Let u(o) = -o**2 + o + 1. Let f be u(a). Let y = f + 0. Is y smaller than 2/31?
True
Let w be 11*(22/1 + -1 + 6). Is w < -1?
False
Suppose 5*c - 2*b = 815, 0*c - 342 = -2*c + 4*b. Let q = 5797/36 - c. Which is smaller: 1 or q?
q
Suppose -9 = -18*v + 423. Is v greater than or equal to 21?
True
Let l(r) be the second derivative of -r**3 - 23*r**2/2 - 18*r. Let m be l(-12). Is m at most 50?
True
Suppose 0 = -6*j + 3*j. Suppose 490 = -6*q - q. Let z be 8/q*165/66. Are z and j unequal?
True
Let m = 14.89 - 14.5. Is m equal to 5?
False
Suppose 4 = -4*d, -4*a + a - 2*d = 5. Is a smaller than 1/202?
True
Let h(a) = -14*a**3 + a**2 - 2*a + 11. Let c(r) = 5*r**3 + r - 4. Let y(m) = 17*c(m) + 6*h(m). Let j be y(-5). Let l = 21 + -26. Is l smaller than j?
True
Let o be (-4)/(-38) - (-158095)/(-4655). Are -35 and o unequal?
True
Suppose 4*h - 8*h + 15 = -l, -3*l + 2*h - 5 = 0. Let q = -1448/5 + 13277/45. Let m = q + -16/3. Which is smaller: m or l?
m
Let f = 0 - -3. Let s be (f/30)/(1/(-4)). Suppose -12 = 18*i - 48. Which is smaller: s or i?
s
Let u = -20 - -29. Let q(i) = i - 6. Let p(g) = 2*g - 11. Let m(o) = -2*p(o) + 5*q(o). Let k be m(u). Which is smaller: k or 2/13?
2/13
Let w(u) = 2*u**2 - 7*u - 2. Let n be w(4). Suppose -n*j = 3*j - 5*q + 5, -3*q + 2 = -2*j. Is -0.11 <= j?
False
Let y = 8 + -8.8. Let p = y + -2.2. Let w = p - -2. Which is smaller: -2 or w?
-2
Let z(y) = 14*y + 1. Let w(g) = 4*g - 54. Let t be w(13). Let d be z(t). Is -27 less than d?
False
Suppose 0 = -100*z + 96*z + 240. Is 60 at least z?
True
Let v(t) be the first derivative of t**4/4 + 7*t**3/3 - t + 8. Let u be v(-7). Is u < -3?
False
Let t = 158 - 161. Which is greater: t or -2/5?
-2/5
Let o(k) = -k**2 - 6*k + 7. Let t be o(-6). Suppose t*y - 40 = 3*y. Suppose -5*d - 50 = -4*s, 0 = -2*s + y - 0. Which is smaller: d or -7?
-7
Suppose 0*y + b = -3*y + 3, 0 = -5*y + 2*b + 5. Let i be 4/5*y/4. Let l(h) = -h**3 + h**2 + h - 2. Let t be l(1). Which is smaller: i or t?
t
Suppose z = -4*w + 12, -100*w - 9 = -5*z - 103*w. Which is smaller: -9/14 or z?
-9/14
Suppose -3*h = 5*q + 13, 60 = 4*h - 4*q + 24. Suppose 3*r - 1 + h = 0. Let f = -1436 + 1436.3. Which is bigger: r or f?
f
Let z = 294 - 295. Which is greater: -0.19 or z?
-0.19
Let m = -9.09397 - -0.09397. Let g = -3 + 2.9. Is g at most m?
False
Let z = 0.7 + -0.9. Let n = 0.16 + z. Let p = n + 0.14. Is 1 >= p?
True
Suppose 573 = 9*z - 1065. Is z greater than 182?
False
Let z(o) = -o**2 + 10*o - 3. Let t be z(6). Suppose 0 = -5*l - 5*c + 120, -31*l + 50 = -29*l + 3*c. Which is smaller: l or t?
t
Let z be (0 + 3)/1 + 912/(-288). Which is bigger: 2/5 or z?
2/5
Suppose -3*u + 0*u = 3*h - 12, -4*u = -4*h + 16. Suppose -2*o - h = -o. Which is bigger: -2 or o?
-2
Suppose -5*l - 15 = -10*l - 2*d, -3*l = -2*d + 7. Is l <= -37?
False
Suppose -50*p + 47*p = 3. Is 11 at least as big as p?
True
Let c = -2243 - -1225. Do -1019 and c have the same value?
False
Let y be 20/60 - 4/3. Let c = 16/13 - 5/4. Which is greater: c or y?
c
Let o(t) = 4*t**3 + t**2 + 3*t + 6. Let x be o(-2). Is x less than or equal to -32?
False
Let m be 0 + (-38)/(-16) + -2. Let j = 8933/34017 - 8/493. Let n = j + 2/23. Is m bigger than n?
True
Suppose 3*m + 107 = -37. Let i = 48 + m. Let b = 2.4 + -0.4. Does i = b?
False
Suppose 2*m + 3*m = 2*l + 5640, m - 5*l - 1105 = 0. Is m not equal to 1129?
True
Let d be (-638)/(-55) - 4/(-10). Let r be ((-2)/((-8)/d))/(2/4). Is r less than or equal to 0?
False
Suppose -77*m = -74*m + 36. Let t be ((-2)/(-42))/(4/(m/7)). Is t less than 1?
True
Let v be ((-3)/45 - 20/(-30))*5. Let z(x) = -1 + 2*x - 1 + 1. Let i be z(2). Is v not equal to i?
False
Suppose 68*u = 57*u + 209. Which is smaller: 6 or u?
6
Let v = -1056 - -801. Is v not equal to 1?
True
Let r be (60/225)/(-1 + 3/5). Is 0.017 less than or equal to r?
False
Let k = 86 - 31. Let p be k*-1*4*(-3)/30. Which is smaller: p or 21?
21
Suppose 3*d + 3*u = 4*d - 7, -u = 2*d - 7. Suppose 4*z + i + 55 = 0, d*z + 0*z = 5*i - 85. Let x be (18/z)/(11/(-5)). Which is smaller: 2 or x?
x
Let c be (2568/(-30))/(14/35). Is c equal to -215?
False
Suppose 74*k - 1914 = 41*k. Is 52 smaller than k?
True
Let s = -144623/262 - -552. Which is smaller: -1 or s?
-1
Let c = -21 + 28. Let x(j) = -j**2 + 6*j + 13. Let o be x(c). Let u(z) = -z**2 + 6*z + 4. Let y be u(6). Is y at most as big as o?
True
Let j(d) = -3*d - 9. Let g be j(-3). Suppose g = -0*a - 3*a. Are 0 and a nonequal?
False
Suppose -5*s - m + 4 = 0, -4*s - 5*m - 4 = -3. Let r be (-156)/(-24) - s/2. Suppose -r*p = -5*p. Are 0 and p nonequal?
False
Suppose 2*r = 4, b - 14 = -5*r + 31. Let m(v) = v**2 - 5*v - 1. Let l be m(9). Do l and b have different values?
False
Suppose 0 = 4*v + 4*o - 36, -3 = 2*v - 4*o + 9. Suppose -2*j = -v*j - 14. Let d(b) = b**3 - 4*b**2 + 2*b - 2. Let t be d(2). Which is smaller: t or j?
j
Let u be (1/(2/(-4)))/(-1). Suppose -8 = u*h - 4*m, 5*h + m - 4 - 9 = 0. Supp