 -85. Let i = 0 - 1. Let s = i - -0.9. Which is greater: s or p?
s
Let l(u) = u**3 - 3*u**2 + 2*u - 4. Let j be l(3). Suppose 5*y = 5*o, 2*o + y + 1 = -j. Is o >= 0.4?
False
Suppose 5*w = -t + 2 - 3, t + 2*w - 2 = 0. Let a be 2*(-1)/t*-8. Suppose -2*p + 6 = a*h, -p + 6 - 1 = 4*h. Is h > 4/5?
True
Let p = -2 - -2. Let t = 464 + -7421/16. Which is smaller: t or p?
p
Let f be 111/(-21) + (-10)/(-35). Is f less than or equal to 0?
True
Let p(g) = g**3 - 7*g**2 + 8*g - 7. Let s be p(6). Let v = 2 - s. Let r = v + 2. Is r >= -2?
True
Let m(v) = -v**2 + 13*v - 17. Let d be m(12). Let n = d - 0. Are -1/4 and n nonequal?
True
Let q = -557/13 + 43. Do q and 0 have the same value?
False
Let q = 0.07 + 3.93. Let t = 0.03 + 2.97. Let z = q - t. Do 0.4 and z have different values?
True
Suppose -3*j - 37 = -4*o + 12, o = 4*j + 74. Which is smaller: j or -18?
j
Let j = 49 + 1. Let y be (-6)/(-20)*j/12. Let d(o) = -2*o + 12. Let k be d(5). Which is smaller: k or y?
y
Let c = 35 - 20. Let o = -16 + c. Is o at most -2/5?
True
Let l(v) = -v**3 - 3*v**2 - 4*v - 3. Let p be (0 - 3/9)*6. Let k be l(p). Which is smaller: k or 0?
0
Suppose 23 = -2*h - 13. Let j be (h/8)/(3/12). Let m be j/(-6)*4/30. Is m less than or equal to -2/7?
False
Let m = 148/145 - -11/29. Is m bigger than 5?
False
Suppose -4 = -4*a + 2*a. Suppose 0 = 4*u - 4*r - r - 26, 0 = -a*u - 5*r - 2. Let s be u/26 + 27/78. Do s and 1 have different values?
True
Suppose -7*l + 12*l + 150 = 0. Is l greater than or equal to -29?
False
Let j = 6/37 - 166/111. Let u(h) = -h**2 - 13*h + 47. Let s be u(-16). Which is bigger: s or j?
s
Let s be (-2)/36*(-8)/(-2). Suppose -3*o = 4*g + 44, -g + o + 3 = 7. Let n = g + 9. Which is smaller: n or s?
s
Let w be (-2)/8 + 0/7. Is 0.3 > w?
True
Let x(d) = -d - 5. Let l(o) be the third derivative of -o**3/6 - o**2. Let h(w) = 3*l(w) - x(w). Let v be h(-6). Which is bigger: v or -5?
v
Suppose -j - c - 2 = -1, 3*c + 3 = -j. Let v be 4/5 - (-11)/(990/(-96)). Which is greater: j or v?
j
Suppose -18 = -2*x - 2. Which is bigger: x or 1?
x
Suppose -4*c - 12 = 0, 2*z - 4*c = 6*z + 12. Suppose s + 2*s + 12 = z. Is -4 != s?
False
Let r = 6.96 - -0.04. Let m = r + -5. Which is bigger: 2/7 or m?
m
Let g(z) = z**2 - 2. Let l be g(0). Let u be 0 - l/(0 - 6). Let s be (72/14 - 5)*-2. Which is greater: u or s?
s
Suppose 4*h - 14 + 2 = 0. Suppose 6*f - h*f = 3. Which is greater: 3 or f?
3
Suppose -21 = -5*h - 1. Let v = 4 + 1. Let j = v + -1. Is j at most h?
True
Let c(d) = -d**3 + 13*d**2 - 12*d - 13. Let w be c(12). Let t(f) = f**2 + 13*f + 1. Let g be t(w). Let q be (-1)/(5/(-8)) - 1. Which is bigger: g or q?
g
Suppose -19 = -o - 5*b - 0*b, -2*o + 12 = -3*b. Suppose x = 3*d - 2*x + 3, -d - 4*x = -o. Which is greater: d or -2/19?
d
Suppose -6 = y + 23. Let p = -20 - y. Are 8 and p equal?
False
Let q = -2 + 14. Suppose 4*r + 0*b - 54 = -2*b, 4*r = 3*b + 29. Which is smaller: r or q?
r
Let s be (-1)/(-2)*4/(-6). Is 0 < s?
False
Let z(a) = -4*a + 42. Let u be z(13). Is -8 <= u?
False
Let o be 4/2 - (-5)/(-15). Let c(w) = w + 2. Let a be c(2). Suppose -2*l = -a*l + 2. Is o less than l?
False
Let t = -12 + 7. Is -5 at least as big as t?
True
Let s(a) = a**3 - 5*a**2 - 7*a + 3. Let d be s(6). Let q be (1/2)/(d/(-6)). Suppose 20*b - 6*b - 70 = 0. Which is greater: b or q?
b
Let g = 2 - -4. Which is smaller: 11 or g?
g
Let k = -8.9 - -9. Which is smaller: -0.2 or k?
-0.2
Let n be (-6)/(-20)*(-8)/6. Let c be (-6)/(-198)*(-62 - -1). Let u = c - -24/11. Is n bigger than u?
False
Let d(x) = -2*x - 19. Let a be d(-13). Let p = -63/220 + 2/55. Which is smaller: a or p?
p
Let s(p) = p**3 - 12*p**2 + 10*p + 16. Let b be s(11). Which is smaller: b or -3/5?
-3/5
Let q = 2 - 2. Suppose 3*f = 2*y + 14, y + q*f = 3*f - 13. Let x(b) = b**3 + 2*b**2 - 4*b - 3. Let n be x(-3). Which is smaller: n or y?
y
Let b be (-10)/20*(-241)/2. Let m be (-8)/(13/(-15) - -1). Let d = b + m. Which is greater: d or 1?
1
Let z(x) = 26*x + 7. Let g be z(-5). Let d be 0 + 849/7 + 2. Let i = g + d. Do i and 1 have the same value?
False
Let c = -21/8 + 121/40. Let y(i) = -8*i + 0*i - i + 5 + i**2. Let b be y(8). Which is smaller: b or c?
b
Suppose 3*m + 66 = 2*m. Let z = 331/5 + m. Let q(i) = i**2 + 5*i - 5. Let n be q(-6). Which is smaller: n or z?
z
Let f = 48339 + -32532159/673. Let q = 1938/117775 - f. Let y = q - 899/700. Is -1 smaller than y?
False
Suppose 0*l + c + 19 = -3*l, -5*l + 4*c - 60 = 0. Let a(j) = -9*j. Let s be a(1). Is s greater than l?
False
Suppose -3*n + 2*n = 0. Let m be -4*(1 - 49/50). Is m smaller than n?
True
Let w(d) = 5*d**2 + d. Let g be w(1). Suppose -g = 5*f + 14. Let x be (2 + f)/((-4)/(-6)). Is 1/3 greater than x?
True
Let d = 0 - 22. Let w = d - -17. Is -1 greater than w?
True
Let k = -4/97 + -251/970. Which is greater: k or 1?
1
Suppose -5*s = 5*m - 25, -m + 20 = 2*m + 4*s. Suppose -r = -m*r - 1. Do r and 1 have different values?
False
Let z(r) = -r + 6. Let p be z(5). Suppose -b + 3*b = 4. Suppose -b*a = a. Which is bigger: a or p?
p
Suppose -6*k - 30 = -k. Let i(r) = -r**2 - 9*r - 13. Let w be i(k). Is w != 5?
False
Let c = 30 - 19. Suppose 3*p - 46 = -5*k - c, -4*k = p - 21. Suppose -3*m - 1 = -m + q, -2 = -p*m - 4*q. Which is smaller: m or -1?
m
Suppose -4 - 4 = 4*x. Let h(z) = z + 0*z - 3 + 4 + 4. Let k be h(-6). Is k not equal to x?
True
Suppose -6*d + d - 15 = 0. Let x(u) = u**2 - 9*u + 6. Let q be x(8). Let m = d - q. Is m equal to 0?
False
Let u = 44 - 43. Which is greater: u or -3/44?
u
Let f = -1876630/1703 + 11492287269/10788505. Let v = -6/905 - f. Let g = v - 37. Which is greater: g or -1?
g
Let t = 0 - -7. Let k = 5 - t. Is -2 less than k?
False
Let w = -205/323 - -2/19. Is -2 bigger than w?
False
Let j be (-1)/(-4) + 153/12. Suppose -2*g + j - 11 = 0. Is 2/35 at most as big as g?
True
Suppose 2*g = -3*f - 8, 5*g = -2*f - f - 11. Is f > -4?
True
Suppose -3*q + 2*k + 16 = 0, -k = q - 2*k - 7. Let b = 17 - q. Is b greater than 0.1?
True
Suppose o + 2*o + 11 = 2*g, 2*o - 2*g + 10 = 0. Let j = -0.4 + -1.6. Which is bigger: j or o?
o
Suppose -46 = -6*d + 8*d. Let g = d - -24. Which is greater: g or -3?
g
Let q(f) = -10*f + 13 - 10*f + 19*f. Let z be q(11). Is z greater than or equal to 7/4?
True
Suppose 4*z - 3*z + 9 = 0. Is z greater than -9?
False
Let p = 3 + -1. Let k(c) = -c**2 - 11*c - 13. Let g be k(-10). Let n be 144/(-135) + (-2)/g. Is n > p?
False
Let t be 6/(-9) + (-406)/3. Let n = t - -950/7. Let l = 115 + -115. Which is smaller: n or l?
n
Let z = 27/62 - -2/31. Suppose 0 = 2*q + l + 1, 4*q - 7 = 2*l + 11. Which is greater: q or z?
q
Let c = -4 + 3.9. Let l = 0.7 + -1. Let p = l - c. Which is bigger: -2/7 or p?
p
Let g = -9 - -4. Let t be (6/g)/(3/(-10)). Suppose r + t*w + 5 = 22, 0 = 2*w - 8. Is 3 equal to r?
False
Let w = -93/749 + -2/107. Which is smaller: w or 0?
w
Let v be 1 - ((-1 - 0) + 0). Let r be v/(-9) + (-29)/(-9). Suppose 2*u = -4*d, r*d - d + 2*u - 2 = 0. Is d greater than -1?
False
Suppose 0 = -0*l - 3*l - 3. Let n be 0/(l/((-2)/(-2))). Which is smaller: n or -2/5?
-2/5
Let m(p) be the third derivative of -p**4/12 - 17*p**3/6 - 9*p**2. Let b be m(-8). Which is smaller: -1/5 or b?
b
Let k be 2/6 - 10/3. Let g be (1 - -1)*k/(-99). Is 1 greater than or equal to g?
True
Let r = -1.3 + 0.6. Suppose -5*f + 4*p - 16 = -0*p, 0 = -4*f - p + 4. Which is smaller: f or r?
r
Let j(x) = -5*x**3 - x**2 - x - 1. Let p be j(-1). Let w = p - 1. Suppose l + l - 33 = 5*f, -2*f - 2 = 2*l. Is l smaller than w?
False
Suppose 0 = -3*p + p + 4. Are 1 and p non-equal?
True
Let p be (3 - 0)*(-8)/(-12). Let r be (p/40)/(3/8). Is -1 < r?
True
Let k = -4.1 + 0.1. Let a = 2 - k. Which is bigger: a or -1?
a
Suppose 4*p - 95 = -p. Suppose 2*b - 20 = -5*m, 0 = -3*m - 4*b + 45 - p. Which is bigger: 3 or m?
3
Let n = 13.4 - 15.4. Which is bigger: n or 1/11?
1/11
Suppose 5*s - s + 52 = 0. Suppose -52*i + 58*i = -72. Is s less than or equal to i?
True
Suppose -12*k - 8 = -16*k. Let v = 2 - k. Which is greater: v or 3/13?
3/13
Let c = 0.16 - -0.84. Suppose -4*y + 30 = -2*y. Suppose 0 = 5*z + n - y, -3*n + 22 = z + n. Is z less than c?
False
Suppose k - 33 = 5*o - 10*o, -5*k + 9 = -o. Suppose o = 4*n - n. Let d(b) = b - 9. Let v be d(10). Which is smaller: v or n?
v
Suppose -4*u - 3*w = 0, 3*u - 