et h(f) = -f - 41. Let y be h(-15). Are y and -27 nonequal?
True
Let o = 2.92 + 0.08. Let p = o + -3. Let u = 1 - 0. Which is smaller: p or u?
p
Suppose 0 = -3*k - 6, k + 7 = -5*w - 0*k. Let t be w*1/(3/(-15)). Do t and 5 have the same value?
True
Let o = -3 - -1. Let q = 0 + o. Let t be (-3)/(-1)*(-3)/(-9). Which is smaller: t or q?
q
Suppose 0 = j + 4*r - 0*r - 20, -2*r = 3*j - 10. Which is smaller: -1/54 or j?
-1/54
Let t be (3 + 0)/3 - 27. Let d = t - -11. Let u be 2/(-9)*d/(-25). Which is smaller: u or 0?
u
Let i be (0 + 2)*-1 + 0. Let c be (-4)/(-22) + (-120)/55. Let p = i - c. Do -1 and p have different values?
True
Let w(d) = -d**3 - 5*d**2 - 6*d - 3. Let v be w(-4). Which is bigger: v or 6?
6
Suppose 4*s - 42 = -h, s = -3*s - 3*h + 46. Suppose 4*a + 3*u = 5*u - 10, u + 7 = -2*a. Let m be s/4*a/15. Which is greater: m or 0.1?
0.1
Let r = 24 - 50. Let a = r - -26.11. Let n = a + -0.01. Which is greater: -5 or n?
n
Suppose -2*w = 5*m + 14, 2*m + 3*w + 2 = 3. Is m at least as big as 4?
False
Let m = 6 + -4. Suppose -42 = 5*j + 18. Let g be 2/1*(-6)/j. Are g and m equal?
False
Let k(p) = -3*p**3 - 4*p**2 - p - 4. Let h(g) = 2*g**3 + 4*g**2 + 3. Suppose 4*v = -7 - 5. Let j(q) = v*k(q) - 4*h(q). Let w be j(3). Which is bigger: w or 1?
1
Let b be ((-69)/18 - -4)*21. Which is smaller: 1 or b?
1
Let f be 3*(2 - (-4)/(-3)). Let u be 4/(-20)*(-9 - -4). Which is smaller: u or f?
u
Let t(c) be the first derivative of -6*c + 3 - 1/2*c**2. Let x be t(-7). Is x less than or equal to 2/7?
False
Suppose 3*p - 10 = 2*b, 0*p + 5*b = -3*p - 25. Let k = 807/77 + -120/11. Which is smaller: p or k?
k
Suppose 2*m + 3*u - 32 = 6*m, 5 = 3*m + 5*u. Let k = -6 - -2. Which is bigger: k or m?
k
Suppose -2*k = w + 23, -2*w + 7*w + 40 = 5*k. Is -10 greater than or equal to w?
True
Let q = 0.13 + -0.05. Let s = -28 + 28.32. Let c = s + q. Is c at most 0.1?
False
Let h(c) = -3*c + 1. Let v be h(-3). Let l = -8 + v. Suppose -2*x = -4*b + 3*x - 17, 2*b = -l*x + 14. Is 2 less than or equal to b?
True
Let g = 13 + -11. Do -2 and g have different values?
True
Let z(h) = -2*h + 3. Let y be z(2). Is y less than 1/3?
True
Let a be 5*(27/(-15) - -2). Suppose -6*c - 4*d - 33 = -c, -3*d - 6 = 0. Let m be (c - -6)*2/8. Which is smaller: a or m?
m
Let m(d) be the first derivative of d**2/2 - d - 2. Let j = -10 + 8. Let l be m(j). Is 0 < l?
False
Suppose 0 = 2*t + 5*j - 9, -3*t - 17 = -4*t - 5*j. Let g = 7 + t. Let w = 1 - g. Is 4/5 at least as big as w?
False
Let m = -33 - -27. Is 1/4 bigger than m?
True
Let t = 30 - 19. Let u = t - 14. Is u at least as big as 0?
False
Let u = 15/523 - 294524/2615. Let p = 113 + u. Which is bigger: p or 2/11?
p
Let m = -10/19 + 1/38. Does m = 1?
False
Let k be 1/(-2) - (-5)/2. Suppose k*r = 10 - 4. Which is smaller: 5/2 or r?
5/2
Let g(x) = x - 9. Let d be g(7). Let r be (-2)/(-4) + 3/d. Let j = -7 - -5. Is j at most as big as r?
True
Let w = 6 - 4. Let q be (-3 + 0)*w/(-21). Which is smaller: q or 1/2?
q
Let u = 3402/13 + -1568348/5993. Which is greater: 1 or u?
1
Let g(s) = s**2 - 4*s - 4. Suppose 0 = -v + 3*v - 10. Let t be g(v). Suppose 14 = -o - 4*r, -5*r - 26 = -5*o - r. Which is smaller: o or t?
t
Let w = -31/76 - -3/19. Suppose -2 = -o + 3*o. Is w less than o?
False
Suppose -3*p + 6 = -2*o, 0 = 3*p - 2*p - 3*o - 2. Suppose 5*z = p*h - 38, -3*h = -0*z - 5*z - 42. Let q be (-2)/(-17) - 0/z. Which is smaller: -1/2 or q?
-1/2
Let z(c) = c**3 - 8*c**2 + c - 11. Let i be z(8). Let y be (2 - 5)*(i - -2). Let n = -2 + y. Which is smaller: -1 or n?
-1
Let z be -4*2*(-3)/(-4). Let a(w) = w**3 + 5*w**2 - 6*w + 1. Let l be a(z). Is -1 > l?
False
Let n = 1 - 0. Let y = 9 + -8.9. Let v = y + 3.9. Which is smaller: v or n?
n
Let b = 6 - 17. Let c = -2 + -6. Let l = b - c. Which is greater: l or -2?
-2
Suppose 3*f - 5 - 4 = 0. Let c be (f/2)/((-12)/(-8)). Which is greater: c or -4?
c
Suppose 3*s - 8*s = -60. Let d = -25 + 38. Which is bigger: s or d?
d
Let c be (-9)/(-15)*(9 - -21). Which is bigger: 17 or c?
c
Let l = 16 + -11. Let t be l + (1 + -3 - 0). Which is smaller: t or 2?
2
Suppose -35 = -5*s + 4*j, 2*j + j + 30 = 5*s. Suppose s*k = 7*k. Which is bigger: 1 or k?
1
Let x = -5.2 - -6. Let s = 1 - x. Is -1/4 < s?
True
Let q = 0.1 + 2.9. Let g = 4.97 + 0.03. Let x = q - g. Is -1 at most as big as x?
False
Let w(z) = -z**3 - 2*z**2 + 3*z - 4. Let o(h) = h**3 - 8*h**2 + 6*h + 4. Let l be o(7). Let v be w(l). Is -2 at most v?
False
Let h be ((-44)/20 - -3)*37. Let q = h - 29. Which is smaller: q or -1/2?
-1/2
Let w be 155/55 + -3 - (-24)/11. Which is smaller: 17/8 or w?
w
Let x(b) = -b**2 - 10*b - 17. Let h be x(-8). Do 1/307 and h have the same value?
False
Let w = 53 + -52. Which is greater: w or -10?
w
Let u be (-1 - (-28)/20) + (-536)/1840. Is u smaller than 0?
False
Suppose -5*v - 3 = -8. Is -2/31 < v?
True
Let w be 4*((-3)/4 - -2). Suppose 4 = 3*u - 2*u - w*n, 4*u - 4*n = 0. Let i be (12/7 - 1) + u. Is -0.1 > i?
True
Suppose -2*m = -4*l - 18, 5*l = -4*m - 66 + 11. Let g be (-185)/25 - 4/(-10). Is g equal to l?
True
Let c = -4 + 9. Suppose 8 = c*p + 98. Let l be 27/p - 0/1. Is -2 > l?
False
Suppose -2*i - 4 = -4*q + 2*i, i = 2*q. Is q greater than 1/11?
False
Let o(m) be the first derivative of m**2/2 + 5*m - 1. Let p be o(-6). Let v(q) = 5*q**2. Let j be v(p). Which is smaller: 3 or j?
3
Suppose 0*a + 26 = -2*a. Are -13 and a equal?
True
Let s = 145 + -140. Is -1 greater than s?
False
Let y = 0.17 + -0.1. Let r = y - 0.77. Let t be (-25)/(-20) - 2/2. Which is smaller: r or t?
r
Suppose -2*t + 2*y - 8 = 5*y, 14 = -3*t - 5*y. Let i be t/3 + (-276)/36. Which is greater: -6 or i?
-6
Let a = -0.9 + -0.1. Let l = -107 + 115. Which is smaller: l or a?
a
Suppose -4*k - 2 = 4*o + 2, 9 = -2*o + 5*k. Suppose -i - 2*i - 12 = 0. Which is smaller: o or i?
i
Let y = -4 - 5. Which is bigger: y or -7?
-7
Let w = 8 - 3. Let t = w - 7. Suppose 3*y + 0 - 16 = -4*z, -4*z + 16 = 0. Are y and t unequal?
True
Let k = -46.4 + 46. Which is smaller: 1/3 or k?
k
Let i be 4*(-3 + (-44)/(-8)). Let u = i + -14. Does -3 = u?
False
Let k be (-16)/65 + 12/(-78). Suppose 6*s = 2*s - 4. Is s less than or equal to k?
True
Let j = 74 - 44. Let i be (-258)/j*5/(-2). Let x = i + -209/10. Which is smaller: 1 or x?
x
Let a be (6111/20)/7 + (-9)/(-12). Let f(b) = -3*b**3 + 4*b**2 + b - 2. Let t be f(3). Let i = a + t. Is 1 equal to i?
False
Let t = -39652/52105 - -41/613. Let o = -22/17 - t. Let h be ((-2 + 1)/1)/1. Which is smaller: h or o?
h
Let s(a) = a**3 + 9*a**2 - 36*a - 2. Let q be s(-12). Let w = 11/10 + -83/30. Which is smaller: w or q?
q
Let q = 11.72 + 0.28. Which is bigger: -2 or q?
q
Suppose 2*d - 84 = 4*x - 2, -2*d = 3*x + 65. Which is greater: x or -19?
-19
Let g(n) = -3*n**3. Let q be g(1). Let m = -5 - q. Suppose -2*f - 9 + 3 = 0. Which is bigger: m or f?
m
Let f = 39.3 + -39. Let r = 1 + -2. Is r at least as big as f?
False
Let t = 16 - 19. Let k be (-1 - -1) + (t - -3). Which is smaller: k or 0.1?
k
Let h be 1*(-106)/(-102) - (-3)/(-9). Is 0 != h?
True
Let o = -58 - -55. Is o at most -2?
True
Suppose 0*i + i + 127 = 0. Let h be 5360/42 + (-4)/12. Let u = h + i. Which is greater: -2 or u?
u
Let x = -89 - -142. Suppose 0 = -4*b + 3*r + 32 + 15, 0 = -4*b + r + x. Suppose -4*w + 4*f + 2 - b = 0, 0 = -f. Which is greater: w or -2?
-2
Suppose 3*w - 5 = -2, 5*f - 1 = 4*w. Is -6/17 smaller than f?
True
Suppose 5*j - 22 = -2*q, 11 = q + 2*q + 2*j. Which is smaller: q or -2/69?
-2/69
Suppose 3*a = -3 - 6. Suppose -16 = -2*i - 2*i. Let z = i + a. Does 1/4 = z?
False
Let w = 48968/11 - 4448. Which is smaller: 4 or w?
w
Let v(u) = -u**2 + 10*u - 2. Let h be v(10). Let l(y) = 4*y**2 + 4. Let g be l(3). Let q = g + -163/4. Is h smaller than q?
True
Let h = 7.1 + -8. Let n = 0.9 + h. Do -1/3 and n have different values?
True
Let y be 1 - (1/(-1) - -7). Let g be (-88)/18 - (3 - 3). Let a = g - y. Is a greater than or equal to 0?
True
Let k(h) = -h - 4. Let r be 0 + ((-4)/1)/1. Let w be k(r). Let v = -2 + 6. Does w = v?
False
Let i(s) = 2*s - 9. Let p be i(6). Suppose p*o = 5*d - 2, o - 4*d + 2 + 1 = 0. Which is smaller: 2/21 or o?
2/21
Let y(w) = w**2 - 3*w + 1. Let k be 3*(-1)/3*-3. Let u be y(k). Which is smaller: -1/5 or u?
-1/5
Let a be 2/(-1) - (-18)/6. Let z = -1/93 - 167/1767. A