
Let i = -18.96 - -19. Which is smaller: i or -1/5?
-1/5
Let j(p) = p**3 - 2*p**2 + p - 1. Let z be j(2). Is 3 not equal to z?
True
Suppose 16*x + 324 = 4*x. Is x greater than or equal to -27?
True
Suppose -55 = 4*p + h + 25, 0 = -2*p + 5*h - 18. Which is smaller: -20 or p?
-20
Let v(d) = -d**3 - 8*d**2 + d + 10. Let a be v(-8). Is 20 greater than a?
True
Let y be (-30)/4*(-4)/(-6). Let z be -1 + -5 - (11 - 13). Which is smaller: y or z?
y
Let o = 72 + -71. Do -13 and o have the same value?
False
Let d = 0 - 1. Let y = 0.9 + d. Let v = -0.09 - -1.09. Which is bigger: v or y?
v
Let v = 358/9 + -2018/45. Let a be (22/(-8))/((-10)/16). Let i = a + v. Which is smaller: i or -0.1?
i
Suppose 4*a = -17 + 45. Let d be (1 + 0 + -3)*-3. Is a smaller than d?
False
Let y(z) = z**3 + 8*z**2 + 6*z + 5. Suppose g - 5 = -3*x, -g + 2*x = 4*g + 43. Let s be y(g). Are 13 and s equal?
False
Let k be ((-4)/(-6))/((-100)/6). Which is smaller: -1 or k?
-1
Suppose -5*i = -0 - 5. Is -1/19 less than i?
True
Let r(b) = -2*b**2 - b + 2. Let v be r(1). Do v and -0.9 have the same value?
False
Suppose 18*o - 304 = 26*o. Which is smaller: -39 or o?
-39
Let i(s) = -5*s**3 + 5*s**2 + 5. Let a(n) = 14*n**3 - 15*n**2 - 15. Let k(q) = -4*a(q) - 11*i(q). Let u be k(5). Is 6 > u?
True
Let k = 25/273 + 2/39. Let o = k - -3/28. Is 0 greater than o?
False
Let o be 14/(-10) - (0 + -1). Let z = -11 + 9.8. Let i = z - -1. Which is greater: i or o?
i
Let d(b) be the second derivative of -1/3*b**3 + 0 + 1/20*b**5 + b - 2*b**2 - 1/4*b**4. Let q be d(4). Does 5 = q?
False
Let q(r) = -r + 3 - 1 - 3 - 4. Let n be q(-6). Which is smaller: n or 0?
0
Suppose -2*f = -0*f - 3*h + 19, 0 = 5*h - 25. Let r be -1 + f + -1 - -3. Is -2/3 less than r?
False
Suppose -2*p + 3*q + 2 = 8, 2*p - 2*q + 2 = 0. Suppose -2*i = 5*v + 18, 5*i - p*v + 2 = -12. Which is greater: i or 0?
0
Let x(j) = j**2 - j + 1. Let m be x(2). Let n be 2/(-7) + (-99)/21. Let z = n - -8. Do m and z have different values?
False
Let n = 3 + 1. Suppose -5*s = -25, -3*d + 3 = s + n. Let w be d*((-9)/6 - -2). Are -2/13 and w equal?
False
Let x(b) = b**2 + 7*b. Let f be x(-7). Suppose f*p - 34 = -2*p. Let h be 2*-1 + 32/p. Which is smaller: 0 or h?
h
Let j(z) = 5*z**2 + 4*z + 4. Let s(g) = -9*g**2 - 7*g - 7. Let h(x) = -5*j(x) - 3*s(x). Let m be h(-1). Which is smaller: m or 1?
1
Suppose o + 73 = -1. Is o at most as big as -74?
True
Let o be 1*-5*88/(-385). Which is greater: 2 or o?
2
Let s = 30 + -20. Is 10 < s?
False
Let s = 0.21 - 0.41. Are -0.1 and s nonequal?
True
Let l be (2*(-4)/(-20))/(7/55). Which is smaller: 4 or l?
l
Let c = 6 + 0. Is c <= 0?
False
Let i = -9.76 - 0.24. Let q = -11 - i. Are q and 0.1 non-equal?
True
Let j = 0.31 - 0.11. Are j and -11 non-equal?
True
Let f be (-6)/4*12/(-3). Suppose 3*h = h + 12. Is h > f?
False
Let v(t) = t**2 + 12*t + 16. Let i be v(-11). Suppose -5*b + 5 = -0*x - x, 0 = i*b - 5. Which is smaller: x or 2/7?
x
Let v be (2/(-4))/((-1)/(-2)). Let h(a) = -a**2 - 4*a - 3. Let z be h(-3). Suppose -o - 4*k = o - 4, z = 4*o - 4*k + 4. Which is bigger: v or o?
o
Suppose 0 = 5*b + 25, -3*b = u - 5*b - 12. Which is smaller: 5 or u?
u
Let s = 4 - -47. Which is smaller: s or 1?
1
Let w(s) = -s**3 + s**2 - s. Suppose -n - 2*g = 10, 25 = 3*n - 3*g - 2*g. Suppose 5*j + 0*j = n. Let u be w(j). Which is bigger: 2/3 or u?
2/3
Let s = 9 - 8. Let t = 1623 - 99005/61. Is s at most t?
False
Let i = -6 - -20. Let o be 10/(-4) + 36/18. Which is bigger: o or i?
i
Suppose -31 = 22*x - 23*x. Which is bigger: x or 33?
33
Suppose 2 = -4*l - 5*m + 3, 0 = 3*l + 4*m - 1. Let j = -43 + 40. Let d = l + j. Is -4 > d?
False
Let j = -83 + 52. Are -1/3 and j equal?
False
Let y = 103 + -102. Is 14 > y?
True
Let x = 8 - 8. Is x greater than -2/3?
True
Let t be 8/12 + (-120)/18. Which is smaller: t or -1?
t
Let u = -1.8 - -1. Is u != 0.2?
True
Let q(g) = g + 15. Let x be q(-13). Let c be -1 - -1 - (x - 3). Which is smaller: c or 1/5?
1/5
Let f(x) = -x - 1. Let c be f(-2). Is -1/4 != c?
True
Let m be (-2)/7 - 13/(-70). Suppose -6 = -2*f, 14*v - 12*v = -5*f + 15. Do m and v have the same value?
False
Suppose 2*g + 9*g - 693 = 0. Which is smaller: g or 0?
0
Let q = 10 - 1. Let f = -11 + q. Let t = 0 + -1. Which is bigger: t or f?
t
Let r = -19 + 20. Which is smaller: r or 3/16?
3/16
Suppose -5*t + 2 + 3 = 0. Let n = 1 - t. Let w = 313/10 - 63/2. Which is greater: w or n?
n
Let y = -9 + 9.32. Let o = y + -0.12. Which is smaller: 0.4 or o?
o
Suppose -m - 3*f - 8 = 0, 5*m = -2*f - 23 - 4. Suppose -u + 6 = 2. Suppose 6*x + 5*d = u*x + 3, -5*x - 21 = 3*d. Which is smaller: m or x?
x
Suppose -2*y = -7*y + 35. Is 8 <= y?
False
Let f be (2 - -2) + -166*4/160. Suppose -2*q + 20 = -5*u, -5 + 21 = -q - 4*u. Is q equal to f?
False
Let d = -6 + 0. Let m(a) = -a**3 - 4*a**2 - 3*a + 2. Let n be m(-3). Let t be (1 - n)/(21/d). Is t at most 0.2?
False
Let c(j) = -j**2 + 6*j + 11. Let r(p) = -4*p - 4. Let i be r(-3). Let d be c(i). Which is bigger: d or 0?
0
Let g be (-9)/7 - (-4)/14. Let f(s) = -2*s - 2. Let p be f(-14). Let j = p + -80/3. Are j and g equal?
False
Suppose 2*v = 4*p - 24, p + 16 = -3*v + 2*p. Which is bigger: -8 or v?
v
Suppose -2*n - 40 = 2*n. Let t = n - -11. Is t equal to -2/7?
False
Let q be 2 - 3*4/(-6). Suppose -3*l = -2*p + 24, 0 = -2*p - 0*p - 2*l + 14. Suppose p*h - q*h = -20. Is h >= -5?
True
Suppose -2*y + 2*g + 2 = 8, 4*y - 5*g + 11 = 0. Is -2 bigger than y?
True
Suppose 3 = 5*x - 7. Suppose -10*j = -5*q - 5*j - 15, -q = 4*j - x. Is q equal to -7/4?
False
Let w be 10/2 - (20 + 15). Which is smaller: w or -31?
-31
Let l = 11 + -6. Which is bigger: l or -1?
l
Let x = 10 - 12. Let g(k) = -k - 3. Let z be g(-4). Do z and x have different values?
True
Let v = 27 + -23. Which is greater: 2/3 or v?
v
Suppose 20 = 5*b + 5. Let p(z) = z**3 - 3*z**2 + 2*z - 3. Let f be p(b). Let c be f + 0 + 4/(-2). Which is smaller: -2/39 or c?
-2/39
Let h(s) be the third derivative of -s**8/20160 + s**6/720 + s**5/30 - 2*s**2. Let n(f) be the third derivative of h(f). Let d be n(-1). Is d >= 0?
True
Let b = 181/2 - 94. Which is smaller: -5 or b?
-5
Let i = -24 - -20. Which is greater: -8/3 or i?
-8/3
Let j = -62 - -62. Which is smaller: -1/31 or j?
-1/31
Suppose 0 = 5*z - z + 8. Let g be z*-2*(-1)/(-6). Which is smaller: 10 or g?
g
Let k be 398/(-24) + (-2)/(-4). Let r = -211511/12628 - 2/3157. Let m = k - r. Which is smaller: 0 or m?
0
Let r be 32/(-8) + 194/49. Is r smaller than -1?
False
Suppose -3*l = 5*r - 39, -r - 3*r = -4*l - 12. Let j = r - 10. Let i = j - -6. Which is smaller: i or 1?
1
Let s be (24/(-32))/(14/(-8)). Let m = s - -1/14. Is 1 at least m?
True
Let i = 1.87 - 1.8. Let b = -0.37 + i. Let t = -0.4 - b. Is 4 <= t?
False
Suppose 4*c + 6 = 5*f - 3*f, 3*f - 4*c = 9. Let r be 2/f + 10/(-60). Which is greater: r or -5/2?
r
Suppose 3*z = -o + 3, -4*o - 4*z = -2*o - 4. Let v be 4/10 - o/(-1). Let a = 24 + -23. Which is smaller: a or v?
v
Let v(a) be the first derivative of -a**4/4 + 4*a**3/3 + 2*a + 11. Let z be v(4). Does 2/15 = z?
False
Suppose w + 0*w + 20 = 5*j, -2*w + 4*j = 16. Suppose w = x - 2*v - 11, -2*v + 4*v = -2*x + 4. Suppose x*q = 6*q - 1. Is -3/8 bigger than q?
False
Suppose 3*x + 1 = -8. Which is smaller: -1 or x?
x
Let y(p) = p**3 + 7*p**2 + 5*p + 6. Let m be y(-3). Let c = m + -48. Which is greater: -20 or c?
-20
Suppose 42 = -4*t + 10. Is 1 bigger than t?
True
Let d(j) = -j**3 + 5*j**2 - j - 8. Let t be d(5). Let g = t + 17. Let f = -6 - -10. Is g at least as big as f?
True
Let h(t) be the first derivative of -2 - 5/2*t**2 + 6*t + 1/3*t**3. Let p be h(4). Is 1 smaller than p?
True
Let m = -2/63391 - 86275093/1838339. Let w = m - -47. Is w less than 0?
False
Let d = -10 + 4. Let n be ((-6)/(-27))/((-2)/d). Does 0 = n?
False
Let w = -13 - -11. Which is greater: w or 0?
0
Let f = -3 + 3. Let m = -0.04 - 2.96. Let a = 1 + m. Is f > a?
True
Let i(x) = x**3 + 9*x**2 + 2*x + 19. Let y be i(-9). Is y <= 1/44?
False
Suppose 5*n - 37 = -12. Let k be ((-4)/n)/(4/(-10)). Let g = 0 - k. Is g >= 1?
False
Let g(d) = 2*d + 16. Let x be g(-7). Let h = -1.5 + -1.9. Let b = 0.4 + h. Which is smaller: b or x?
b
Let y = 45 - 14. Suppose -5*t + 2*f = f - 47, 3*t = 2*f + y. Is t greater than 8?
True
Suppose 6*p = 2*p. Let s be (-9)/24*2*8/