 = 2*r**3 - 19*r**2 + 16*r - 8. Let m be h(9). Which is smaller: 56 or m?
m
Let w be (3/(-3))/(2 - 75/37). Is w bigger than 36?
True
Let h(u) = -u**3 - 20*u**2 - 20*u - 19. Let y be h(-19). Let d be 2/4 - 1/2. Is y less than d?
False
Suppose 0 = 4*i - 5*i. Is -1/69 bigger than i?
False
Let o be (4 + 2)*(-2)/2. Let t = 1.6 + -1.5. Which is bigger: o or t?
t
Let v = -2 - -4. Let n be 0/4*v/2. Are n and 1 non-equal?
True
Suppose -k - k - 50 = -5*i, 2*i - 1 = -3*k. Let n be i/(-15) - 5/(-15). Which is smaller: n or 0?
n
Let l = 8471 + -76351/9. Let u = -1577/126 - l. Does 0 = u?
False
Let f(w) = 2*w - 10. Let p be 2/(-10) + (-104)/(-20). Let b be f(p). Which is smaller: 1 or b?
b
Let m(i) = -i**3 + i**2. Let l be m(-1). Let f be (-1)/(-22) + (-2)/(-4). Is l <= f?
False
Suppose 5*h - 105 = -0*h. Suppose -5*c - 5*k = 30, -c - h = 4*k - 3. Suppose -3*j = -11*j - 16. Is c at most j?
True
Suppose -s - 2*d + 2 = 0, 3*s + d - 11 = -0*d. Let v be 12/(-18)*3/s. Which is greater: -0.3 or v?
-0.3
Let z(x) = x - 2. Let i be z(3). Let t = i - 3. Let m be (-12)/(-28)*t/(-3). Which is smaller: m or 3?
m
Let i be ((-10)/(-72))/(1/(-2)). Which is smaller: -1 or i?
-1
Let d = 13 - 11. Let b be (d - 12/8)*2. Let q = 3 - 3/2. Is b bigger than q?
False
Let i = -1.3 + 6.3. Let w = -11 + i. Let d = -6.4 - w. Is d bigger than -0.1?
False
Suppose 0 = -2*q + 2*t + 48, -5*t - 20 = 5. Which is bigger: 5 or q?
q
Let o = 5096 - 9929/2. Let g = 129 - o. Is g > -2?
False
Let l = -0.1 - 0. Let m = -0.11 + -0.19. Which is smaller: m or l?
m
Suppose 4*a = 8*a. Let l = -1619274/4459 + -29/4459. Let c = 363 + l. Which is smaller: a or c?
c
Suppose 3*g = -3*j - 6, -3*j = 4*g + 2 + 6. Are j and 2/7 equal?
False
Let j(i) = -i**3 + 5*i**2 - i + 5. Let g be j(5). Let k be -1 - (-3 - -1)*2. Let z be 2/k - 8/12. Is g smaller than z?
False
Suppose 35 = 9*b + 17. Let s = 188 - 747/4. Is b >= s?
True
Let t = -97 + 87. Which is smaller: -4/9 or t?
t
Let h(c) = c**3 - c**2 - c - 1. Let l be h(0). Which is smaller: 1/17 or l?
l
Let i = -4.04 + 0.04. Let r = -3 - i. Let y = 5 + -2. Which is bigger: y or r?
y
Let r be 56/(-84) + (-86)/(-102). Do -0.2 and r have the same value?
False
Let z = -443252/13629 - 5/4543. Let h = -95/3 - z. Do 0 and h have the same value?
False
Let o = -0.32 - -0.02. Let k = -5 - -4.8. Is o greater than k?
False
Let m = -0.2 + 0.4. Let h be -2 + 8 + -2 - 5. Which is smaller: h or m?
h
Suppose 9 = -v + 14. Is v equal to 4?
False
Suppose -a = p - 22, p - 3*p = -3*a + 91. Which is smaller: a or 128/5?
128/5
Let j = 83 + -83.041. Which is greater: 0.1 or j?
0.1
Let s(g) = g**2 - 6*g + 1. Let a be s(6). Which is smaller: 1/138 or a?
1/138
Let b(d) = -d**3 + 9*d**2 - d + 4. Suppose 0 = w + 2*k - 9, -3*k = k. Let l be b(w). Which is bigger: l or -4?
-4
Let p = -373 + 93. Let u = -1955/7 - p. Which is smaller: -1/2 or u?
-1/2
Let m(u) be the first derivative of u**2/2 + 5*u + 7. Let q be m(-5). Which is smaller: q or 2/13?
q
Let t = -12.24 - -0.24. Is 1 bigger than t?
True
Let b be (4 + 2)*(-4)/(-30). Let h(f) = f**3 - 8*f**2 - 9*f - 13. Let w be h(9). Let n = -12 - w. Which is greater: n or b?
n
Let b = 22/79 - 599/3002. Are -1 and b nonequal?
True
Let x(w) = 5 + 4*w**2 - 3 + 0 - w**3 - 3*w. Let j be x(3). Are j and 2 non-equal?
False
Let n = -1001/14094 - -1/486. Let a = 2 + 0. Suppose 0 = 3*w - w - a. Which is greater: w or n?
w
Let h = -343/12 + 103/4. Which is smaller: h or -4?
-4
Suppose 0 = -q + 4*x + 15, -x + 0*x = -4*q. Let b be -2 + 2 + 3 + -39. Let z be 2 + 34/b*2. Are z and q equal?
False
Let a = -16 - -13. Let y = 2.8 + a. Are 4/3 and y unequal?
True
Let a = 0.6 + -0.3. Is a at most as big as 2?
True
Let o = -14 - -25. Let y = 7 - o. Does -2 = y?
False
Suppose -3*c = 5*r - 4*c - 27, 5*r - 3*c - 31 = 0. Suppose -2*y - 1 + r = 0. Which is greater: y or 2/3?
y
Suppose 0 = 4*g + 12, 3*r - 6 = 4*g + 3. Let q = -1 - r. Let l = 7 + -6. Is q at most as big as l?
True
Suppose -4*k = -5*a + 2, -k - 1 = -3. Let p be (a - 0)*-1 + 14. Suppose -p - 4 = -4*s. Which is bigger: s or 3?
s
Let p = 0.534 - 0.434. Let h = 5.3 + -0.3. Let m = -1 + h. Is p < m?
True
Let g = -56 + 55. Which is greater: -10/23 or g?
-10/23
Let n be (1324/15618)/((-6)/9). Let s = 3/137 + n. Is -1 bigger than s?
False
Let t = -113 - -75. Which is smaller: -37 or t?
t
Let r be (-5)/765*-453 - 3/1. Which is smaller: 0 or r?
r
Let j be (-1 + 2)*2/1. Suppose 0 = 2*i + j. Let p = 0.2 - -0.8. Is p bigger than i?
True
Suppose 5*b - 2 = 8. Let a be (-2)/(-10) + -2 + b. Is 0 <= a?
True
Let p = 14 + -15. Which is greater: -2 or p?
p
Let l = -2.1 - -2. Let m = l + 0. Suppose -9 + 9 = -3*u. Is u greater than m?
True
Let y = 8/15 + 2/15. Which is greater: y or 2?
2
Suppose 4*b - 6 = 18. Let j = -8 + b. Let g be j/((-2)/(-14)*-2). Is g < 6?
False
Let t = 0.079 - -0.021. Is t at most -3/2?
False
Let o be 6/(-27) - 86/18. Let d be 2/(2*4/(-28)). Which is greater: d or o?
o
Let w(o) = 33*o - 4. Let n be w(1). Is 28 less than n?
True
Let x = -89 - -89. Are x and -20 unequal?
True
Suppose -4*c = 4*z + 20, -4*z + 8 = 5*c + 38. Is -10 greater than or equal to c?
True
Let p be ((-4)/(-5))/(-4) - (-170)/(-25). Suppose -2 = -h - 9. Is h >= p?
True
Suppose -56 = -11*v + 3*v. Is 13/2 < v?
True
Let n = 0 + -1. Let x be (n/(-4))/((-9)/(-4)). Suppose 14*z + 16 = -2*z. Which is greater: x or z?
x
Let q = 5 - 0. Suppose -4*a - 8 = -0*a + 3*p, -p - 10 = q*a. Suppose 4*x + 1 + 7 = 0. Is x >= a?
True
Suppose 2*z = -0*z + 10. Suppose -1 = z*r + 4. Let i be ((-1)/r)/(2 - 1). Is 2/7 smaller than i?
True
Let i = -3.5 - -3.67. Let x = i + 0.03. Which is bigger: x or -2/5?
x
Let c = -1 + 1.3. Let u = -0.2 + c. Let y = -2 + 1.9. Is y <= u?
True
Let u(s) = -s**3 + s**2 + s. Suppose -4*n + 5 + 15 = -4*l, -2*l = -3*n + 10. Let j be u(n). Which is bigger: j or -3/4?
j
Suppose 0 = 4*y - 4 - 0. Which is smaller: -2/17 or y?
-2/17
Let t = -27 - -17. Let l = -19 - t. Is l smaller than -10?
False
Let m(d) = -d**3 - 7*d**2 + 15*d - 1. Let g be m(-9). Are g and 27 unequal?
True
Let v = -0.1 + 0.5. Which is smaller: -0.1 or v?
-0.1
Let k(c) be the first derivative of -c**2/2 - 3. Let t be k(0). Which is greater: 1 or t?
1
Let w(y) = y**2 - 5*y. Let i be w(5). Suppose -5*v = -i*v - 5. Suppose t - v = -0*t. Which is smaller: t or -1/4?
-1/4
Let x = -0.6 - 3.5. Let c = 18 - 14. Let g = c + x. Which is bigger: g or -0.2?
g
Let d(x) = -x**3 + 1. Let t be d(1). Which is greater: t or 4/7?
4/7
Let o = 23 - -9. Which is smaller: o or 28?
28
Let i = -24 + 23. Which is greater: i or -5?
i
Let u be (1 - 2) + (3 - 4)/(-1). Do -40 and u have different values?
True
Let h(d) = -d**3 + 8*d**2 - 6*d - 10. Let j be h(7). Which is smaller: j or -14?
-14
Suppose 8*l - 5*l = 3. Which is smaller: 1/54 or l?
1/54
Let u be 0/3 + -2 - -5. Suppose -u*y - 4 = -4*y. Are y and 4 equal?
True
Let o = -94 - -1412/15. Which is smaller: o or -3?
-3
Let n = -0.6 - 1.4. Let m = -0.12 - 1.78. Let s = m - n. Which is smaller: s or 0.3?
s
Suppose 2*j = j - 4*a - 16, 3*j + a + 4 = 0. Which is smaller: j or 2/3?
j
Let o(u) = -2*u**3 - u**2 + 2*u + 1. Let j be o(-2). Suppose -2*g - j + 1 = 0. Let x = -4 - g. Which is greater: x or 0.2?
0.2
Let f = 44 + -43.14. Let i = 0.16 - f. Let d = i - -0.6. Which is smaller: d or 5?
d
Let f = 149/3 + -49. Let a(q) = -4*q**2 + 1. Let u be a(1). Let c = -2 - u. Which is bigger: f or c?
c
Suppose -116 = 2*t - s + 30, -5*s = 3*t + 232. Let g be t/(-4) + 5/(-10). Let v be g/12*(-1)/(-2). Which is greater: v or -2?
v
Let s = 51 - 9. Let h(c) = 7*c - 10. Let l be h(7). Let x be (l/s + -1)*-2. Which is smaller: x or 1?
x
Let w(r) = -14*r**2 - 20*r + 38. Let a(f) = 5*f**2 + 7*f - 13. Let c(y) = -11*a(y) - 4*w(y). Let b be c(-4). Is -4 not equal to b?
True
Let q be (-24414)/99 + (-10)/15. Let x = -247 - q. Is 1 <= x?
False
Suppose 0 = 2*m - 3 + 5. Let q be ((-1)/(0 - m))/1. Is -2 smaller than q?
True
Let v(f) = f + 7. Let c be v(-4). Which is greater: 4 or c?
4
Suppose 0 = -4*w + 3*m - 2*m - 15, 6 = -w - 2*m. Suppose h - 20 = 5*h. Let f = -9 - h. Is w < f?
False
Let b(t) = -t**2 - 4*t + 2. Let i be b(-3). Let q be i/10*(-2)/3. Let o be 2 - 1 - 0/2. Which is bigger: q or o?
o
Let c be (1/(-3))/((-3)/9). Suppose c = 4*l + 5. Suppose -5*p - 2*m = -0*p + 4, -4*p - 2*m - 4 = 