uppose 0 = -4*r + z + 2. Let c be (-1*(-2)/6)/(165/90). Which is smaller: c or r?
c
Let q = 1263.103 + -1263. Is q at least -0.7?
True
Suppose 3*x = -46*a + 47*a, -2*x - 2*a = 8. Which is greater: -1/17 or x?
-1/17
Let o = 0.2 - 0.4. Let f be 1 + 5/((-20880)/4676). Let l = f - -1/116. Do l and o have different values?
True
Let d be 2268/60 - 2/(-10). Which is smaller: d or 0?
0
Let n = 7934383/9064 - 7003/8. Is n smaller than 1?
True
Let b = -7657 + 53483/7. Is -18 <= b?
True
Suppose -11*k = -2*k + 126. Are -4 and k equal?
False
Let k = -21823/44 - -496. Which is smaller: k or 1?
k
Let z be 94/(-14) + (-12)/42. Let l(t) be the third derivative of t**6/120 + t**5/10 - 5*t**4/24 + t**3/6 - 11*t**2. Let o be l(z). Is o greater than -11?
False
Let n = 69 + -65.9. Let j = -1.7 + n. Let x = 138 - 137. Which is smaller: j or x?
x
Suppose 2*b + 65 = 85. Which is smaller: b or -1/4?
-1/4
Let t = -40 - -39.96. Are t and 2 nonequal?
True
Suppose -15 = -t + 3. Suppose 26*d = 20*d - t. Is -6 less than d?
True
Let k = -875 - -873. Which is bigger: k or 0.123?
0.123
Let w(s) = s**3 - 6*s**2 - s - 4. Suppose 6*j - 3*j = -54. Let h be j/27*(1 + -10). Let l be w(h). Is -10 < l?
False
Let z(x) = x**2 - 10*x - 11. Let i be z(11). Suppose i = -q - 3*q + 40. Let d = q - 9. Which is smaller: 2 or d?
d
Let k = -33 - -39. Let a = -196 - -201. Is a less than k?
True
Let c be 165/(-2) - (-2)/4. Which is smaller: -80 or c?
c
Let i = 7 - 7.29. Let h = i - -0.19. Let u = 2.2 + 0.8. Which is bigger: h or u?
u
Suppose -2*j + 5*b + 15 = 0, -3 = -j + b - 0*b. Suppose j = -12*c + 11 - 143. Which is greater: -2 or c?
-2
Let t be (0 + -11)*(-1512)/486. Are t and 34 equal?
False
Let c = -188 + 238. Is -1/4 != c?
True
Suppose 2*k = k - 2*z + 6, 0 = -3*z. Let b be (-18)/k*8/(-51). Is 1 less than or equal to b?
False
Let i(t) = -t**3 - 4*t**2 - 4*t. Let g be i(-7). Let z be 6/9 + (-40040)/228. Let c = z + g. Which is smaller: c or 0?
0
Let w = -3.6 + 0.6. Let a = 137 + -133. Let n = -2 + a. Is w < n?
True
Let t = 79 - 77. Which is smaller: t or 108/43?
t
Let b be 1*-6*(-6)/36. Suppose -4*z = 16, -n - 4*z + b = 30. Is -110/9 < n?
False
Let r = -3 - -0.2. Let y = 16.5 - 2.5. Let s = y - 13.9. Is r > s?
False
Let g(u) = -21*u + 526. Let j be g(24). Suppose -7*k = -3*k - 92. Which is smaller: k or j?
j
Let o(p) = p**2 - 3*p - 10. Let h be o(3). Which is greater: h or -29?
h
Let x = -179 - -183. Which is greater: x or 28?
28
Let k be 14/2 + -13 - (-174)/26. Do 2 and k have the same value?
False
Let z(o) = -o**2 + 8*o + 12. Let b = 8 - -1. Let n be z(b). Suppose 8 = 5*s + n. Is 4 >= s?
True
Suppose -3*b + 10 = h, -20 = -4*h - b - b. Suppose -m + 5*m = h. Which is smaller: m or -3/8?
-3/8
Suppose 64 = 3*v + 4*x, x + 0*x = 1. Suppose 4*a - v = 8*a. Let l = 2 + -5. Do a and l have the same value?
False
Let y(h) = -h**2 - 30*h - 264. Let m be y(24). Is -1559 > m?
True
Let q(w) = -w**3 - 21*w**2 + 3*w + 20. Let m be q(-21). Is -1 at least m?
True
Let q be 46*(-1)/4 + 3. Let h = -127 + 119. Is h > q?
True
Let s = -560 + 559.301. Which is smaller: -0.1 or s?
s
Let i = 2003549/861 + -2327. Which is smaller: i or -1?
-1
Let m = -18 - -17.2. Let r = m + 2.5. Let o = r + -1.9. Is o greater than 0?
False
Suppose -f - 54 = 2. Let i be f/4*1/(-2). Let k be 1/i + (-2192)/1232. Do -3 and k have the same value?
False
Let f be 8/(3*8/36). Suppose -z = -p - 8 + 1, f = 4*z. Is -3 <= p?
False
Let u = 160 + 7. Let i = 1171/7 - u. Is i > -4.5?
True
Let u = 1743674/253 + -6892. Let f(m) = -m**3 - 4*m**2 - 3*m - 1. Let c be f(-3). Is c less than or equal to u?
True
Let k be (-20)/1 + (4 - 8). Suppose -4*o - 3 = 5. Let g be (4/k)/(o/3). Which is bigger: 0 or g?
g
Let g = -0.2 - 0.8. Let l = 1.3 - -0.7. Let i = l + g. Are 0.1 and i non-equal?
True
Suppose 0 = 6*f - 5*f + 1. Suppose -6 - 2 = 4*u, 4*d = 3*u + 50. Suppose -8*t + d*t = 9. Do t and f have the same value?
False
Let h be ((8 - 7) + -3)/((-5)/(-160)). Is -67 < h?
True
Let f = 110 + 136. Let k = 126 - f. Let p be (-4)/16 + 2/k. Which is smaller: 1 or p?
p
Let j = -73.8595 + -0.1405. Which is smaller: j or 0?
j
Suppose r - 7 = -l, -l - 4*r = -2*l - 13. Let d be 0 - 1/(-3)*11. Which is greater: d or l?
d
Let a = 207 + -423/2. Suppose 0 = -n + 2*n - 2. Suppose -n*i - i = -2*t + 22, 8 = 4*t. Is a >= i?
True
Suppose 4*w - 78 = 3*m, -110*w + 113*w = 2*m + 58. Let u = 19 - 36. Let h = w + u. Which is greater: h or 2/35?
h
Let h be -2 - (3 + -1*6). Let y be (h - 1)*5*(-4)/(-40). Which is smaller: y or -2/43?
-2/43
Let u be (3/2)/((-6)/(-28)). Let c = 11 - u. Suppose -c = 7*h - 3*h. Which is smaller: h or -1/5?
h
Let a(p) = -2*p**3 + 19*p**2 + 13*p - 7. Let m be a(10). Which is bigger: m or 29?
29
Let d = -19.9 + -1.1. Let s = -133 + 132. Do d and s have the same value?
False
Suppose 77*p - 67*p = 640. Which is greater: 70 or p?
70
Suppose -5*g + 2*j - 6 = 0, 2*g + 10 = 4*j - 7*j. Is -10/3 greater than g?
False
Let g = 7404 + -81351/11. Is 9 greater than g?
True
Let p(f) = -f**3 + 19*f**2 - 36*f - 43. Let a be p(17). Is -76 > a?
True
Let r(g) = 3*g**3 + 4*g**2 + 10*g - 4. Let m(l) = l**3 - l**2 + 1. Let q(c) = 4*m(c) - r(c). Let k be q(9). Let z = 432/2977 - -2/229. Which is smaller: z or k?
k
Let z = -10 - -12. Suppose -5*c + 2*n = 16, -3*c = -n - z*n + 6. Which is greater: -2 or c?
-2
Let r = 212 + -211. Which is bigger: r or -85?
r
Let f = 20/31 - 351/496. Suppose -18 = -d - 4*c + 5, 0 = 2*c - 10. Let r be 1*(0 - d) - -3. Is f < r?
True
Let o(r) = r**3 + 2*r**2 - 2*r + 1. Let j be o(1). Suppose 4*k = j*k + 118. Let i = k + -1241/21. Which is smaller: -1 or i?
-1
Suppose 3*g - h = -3, -g + 2 = h - 1. Let m(p) = p**3 + 6*p**2 + 3. Let t be m(-6). Suppose -8*v - 5 = -t*v. Is g less than or equal to v?
False
Let r(v) = -v - 14. Let m(f) = -f - 15. Let z(i) = -3*m(i) + 4*r(i). Let x be z(-11). Which is bigger: -3/16 or x?
x
Let a(n) = 5*n - 13. Let m(y) = -4*y + 12. Let r(c) = 5*a(c) + 6*m(c). Let l be r(-7). Which is greater: l or -2/15?
l
Let l be 119/(-4556)*(-6)/63. Which is smaller: l or -1?
-1
Let d be (1/3)/((-8)/132). Is -7 at least as big as d?
False
Let v = -18.26 - -18. Let s = v - -0.46. Which is greater: s or -1/2?
s
Let y be 3/(-5) + (-429660)/525. Is -819 at least as big as y?
True
Suppose 0 = 35*v + 4311 + 2584. Which is smaller: v or -196?
v
Suppose 3*i + 0*l + 4*l - 10 = 0, i - 5*l = -3. Suppose 0 = i*k + 5*x - 1, 0*k + x = -k + 2. Let h = -7 + 6.94. Which is bigger: k or h?
k
Suppose 2*q - 7 = 1. Let n(r) be the first derivative of -r**4/4 - 8*r**3/3 + 9*r**2/2 - 4. Let w be n(-9). Which is greater: q or w?
q
Let u be ((-1)/(-2))/(1/(-48)). Is u != -26?
True
Let k = -1609 + 1608.52. Which is bigger: 1 or k?
1
Let q = -0.052 - -0.022. Is q bigger than 6?
False
Let i(o) be the second derivative of o**4/12 - o**3/3 + 5*o**2/2 + o. Let g be i(0). Suppose g*l - 45 = -5*n, 2*l + 5*n = l + 9. Is l smaller than 2?
False
Let h be (14 - (7 + -4))*1*-1. Let l(q) = 2*q + 8. Let i be l(-11). Is h less than or equal to i?
False
Let n(s) = -s**3 - 11*s**2 - 21*s - 9. Let q be n(-6). Which is smaller: q or -55?
q
Let m(p) = p**3 - 16*p**2 - 6*p + 56. Let y be m(17). Is y bigger than 244?
False
Let z = -185/144 + 71401/2448. Let p = -28 + z. Let y(c) = c**2 + 5*c + 5. Let m be y(-4). Is p at least as big as m?
False
Let x(k) = k**3 + 24*k**2 - 24*k + 25. Suppose 0 = 4*b - 3*v + 115, -50 = b - 5*v - 0*v. Let z be x(b). Which is smaller: 10/21 or z?
z
Let j = -1.2 + 0.2. Let v(w) = 12*w - 31. Let p be v(3). Let z be (0 - 1)/((p/2)/(-5)). Is z > j?
True
Let h be ((-2)/(-30))/(6/(-105)). Let v = 0.5 - -1.8. Let r = v - 2.2. Which is bigger: h or r?
r
Let f = 621 - 8077/13. Let c = f - 1/39. Let a(q) = q**2 + 4*q + 1. Let t be a(-4). Which is bigger: t or c?
t
Let d be ((-7)/(-2) - 4)*-44. Let h be (-4)/d + 2*167/22. Is h <= 16?
True
Let x = 62 - 62.1. Which is smaller: x or 186?
x
Let f be (8 + 30/(-6))/((-12)/40). Do f and -68/7 have different values?
True
Let m = 92 - 87. Suppose 0 = -5*w + w - 24. Let h be (3/w)/((-2)/4). Which is smaller: h or m?
h
Let a be 6/(-18) + 102/126. Which is bigger: a or -1?
a
Let q = 2 - 2.2. Which is smaller: 15/7 or q?
q
Let k be 13/(-52) - 985/(-4). Let z = 1726/7 - k. Is 2 not equal to z?
True
Let n(y) = -2*y - 2. Let v be n(0). L