 h equal?
False
Let b be 2/(-4)*(-1 - -19). Which is greater: 2 or b?
2
Suppose 0 = -t + 2 + 2. Suppose -t*s - s = -30. Let y(h) = h - 3. Let p be y(s). Which is smaller: p or -2/5?
-2/5
Let x(d) = -d**3 + 9*d**2 - 8*d. Let q be x(8). Suppose -2*u + q + 10 = -5*b, 2*u + 5*b = -10. Let g = 0.1 - 0.2. Which is smaller: g or u?
g
Suppose 4*m + 15 = 5*k, -4*m - 17 = -2*k - k. Let y(c) = -c**3 - c**2 - 2*c - 1. Let o be y(k). Which is smaller: 2/3 or o?
2/3
Let b(k) be the first derivative of -k**2 + k - 1. Let d be b(3). Let j = d - -8. Do 2 and j have the same value?
False
Let n = -3330 - -409588/123. Which is smaller: n or 1?
n
Suppose -9 = x + 9. Is x less than or equal to -18?
True
Suppose -25 = -7*o + 2*o + 5*x, 4*x + 20 = 0. Suppose o*s = s. Suppose 0 = 2*h - s*h + 6. Is -3 bigger than h?
False
Suppose 0 = 2*f - 4*c - 352, 3*f = -2*f + 5*c + 860. Let d = -48/377 - -255421/1508. Let g = f - d. Which is smaller: g or -1?
g
Let x(k) be the third derivative of k**5/60 - 5*k**4/24 + 2*k**3/3 - k**2. Let c be x(3). Let h be 2/4 - c/(-8). Which is smaller: h or -0.1?
-0.1
Let t be (-200)/24*2/35. Which is smaller: t or 1?
t
Let f be (22/(-18) - -1) + (-18)/81. Which is smaller: f or 2?
f
Let u = -5 - -9. Suppose u*s = -6 - 10. Is -1 >= s?
True
Let w be 1*(0 - (1 - 1)/(-1)). Which is greater: 3/10 or w?
3/10
Let t be ((-20)/(-3))/((-33)/(-9)). Is 3 greater than t?
True
Let b be (130/80)/((-2)/(-8)). Which is bigger: 8 or b?
8
Let u be (-4)/6 + (-10)/3 - -40. Which is smaller: u or 37?
u
Let j be 1/2 + 6/16. Is j at least 2?
False
Suppose 4*y - 5*o - 142 = y, -5*y = -4*o - 228. Is y at least -2/7?
True
Suppose -3*w - 2 = -f - 0, 2*f = 3*w - 2. Suppose 4*q - 8 = -4*s, -5*s + 37 = -4*q - 0*s. Which is bigger: q or w?
w
Suppose 5*p = 5*m - 35 - 5, 5*p + 4*m = 5. Let f be ((-12)/(-8))/(p/(-4)). Let u be ((-1)/f)/((-5)/2). Which is greater: 1 or u?
1
Suppose q - 8 = 4*g - 28, 3*q - g + 5 = 0. Which is smaller: -1/70 or q?
-1/70
Let n = -11 - -11. Is n at least as big as 0?
True
Let u = 5.5 - 3.8. Let h = u + -1.8. Is -2/17 < h?
True
Let f(t) = -4 - t**2 + 4 - 3 + 2 + 6*t. Let x be f(6). Which is bigger: x or 2/17?
2/17
Suppose -3 = -3*d - 9. Is -4 <= d?
True
Suppose 0 = -0*k + 2*k - j + 25, 0 = 4*k + 5*j + 29. Let b = k - -10. Is b <= -4/3?
False
Suppose 0 = 5*o + 270 + 315. Let w = 471/4 + o. Which is greater: 0 or w?
w
Let r = 50 - 79. Is r at most as big as 1/4?
True
Let y = -158/35 - -24/5. Let u(r) = -r**3 - 5*r**2 - r - 4. Suppose -3*b + 1 - 16 = 0. Let w be u(b). Which is greater: w or y?
w
Suppose 2*c - 3 = 1. Let b be -2 - (1 + c/(-1)). Which is smaller: b or 1?
b
Let h = -0.1 + 0.1. Let s = h - 0.1. Suppose 11*j + 11 = -0*j. Are s and j non-equal?
True
Let j = 10 + -6. Is j bigger than 11?
False
Let v = -21669/331331 - -2/4303. Let r be (4/(-55))/(2/(-10)). Let k = r - v. Is -1 less than k?
True
Let d be 35/30 - (-1)/(-6). Let u(q) = -q - 2. Let o be u(-5). Which is smaller: d or o?
d
Suppose -4*b - 74 = -2*v, 5*b + v = -3*v - 99. Which is smaller: b or -18?
b
Let r = 3.1 + -3.36. Let g = r - -0.21. Is -1/5 > g?
False
Let m be (-1)/(3 + -4)*7. Let a be (-4)/(-14) - 2/m. Which is greater: 1/29 or a?
1/29
Suppose 3*i - 7 = 8. Is 5 != i?
False
Let h be 6/9 + 22/(-6). Which is bigger: -2/7 or h?
-2/7
Suppose -p - 4*i + 6 = 0, 2*p = 4*p - i - 3. Do p and 8 have the same value?
False
Let w = 25 - 26. Is w greater than or equal to -0.6?
False
Let o = 36 + -19. Is o > 1/4?
True
Let m(u) = -u + 1. Let h be m(0). Let w = 2/1819 + -452941/9095. Let t = w + 50. Which is bigger: h or t?
h
Let k = -3 + 2.8. Are k and -2/7 nonequal?
True
Suppose 5*m + z = -2*z + 69, -m - 4*z + 24 = 0. Let v be ((-6)/8)/(3/m). Suppose -3 = 2*y + y. Are v and y nonequal?
True
Let d = 103.915 - 104. Do d and 1/3 have the same value?
False
Let r(y) = -y**2 - 2*y - 3. Let c be r(-2). Let q(s) = -s - 11. Let v be q(-7). Which is smaller: v or c?
v
Let l(f) = f**2 + f + 1. Let h be l(-2). Suppose -z + 7 = h*s, -2*s = -3*z - 2*z + 1. Let w be s/3 + 12/(-9). Which is smaller: -1 or w?
-1
Let y = -246 - -106. Let i = -706/5 - y. Which is smaller: i or 0?
i
Let f = -2 - -3. Let c = f - 1. Is c at least -2?
True
Let q be (4/(-18))/(3/(-9)). Let n be (-5)/(-1)*12/(-30). Do q and n have the same value?
False
Let y(m) be the second derivative of -m**4/12 + 2*m**3/3 + 2*m**2 - 2*m. Let x be y(4). Suppose 3 = x*f - f. Is 1 < f?
False
Suppose 2 = 4*h - 3*d - 4, 0 = 3*d - 6. Suppose h*q + 4 = 1. Suppose -z = -0*z + 1. Is z less than or equal to q?
True
Suppose 210 = -p - p. Let n be (-129)/p + 3/(-7). Is n < 1?
True
Let b be 45/15*((-12)/14 + 1). Which is smaller: b or 2/7?
2/7
Suppose -4*w - 21 = 3*p, -2*w - 5 = -2*p + 9. Let y be 1/(3 + 16/w). Suppose -4*l + 16 = -0*l. Is l less than or equal to y?
False
Let i be 0*(1*2)/4. Let n = 0 - -1/9. Is n at most as big as i?
False
Let p(m) = -2*m - 2. Let w(s) = 3*s + 3. Let l(u) = -4*p(u) - 3*w(u). Suppose 8 - 1 = -5*q + 2*i, 4*i = 2*q - 10. Let x be l(q). Which is bigger: 1 or x?
x
Let c = 49/4 + -449/36. Let w(n) = n + 1. Let g be w(0). Which is greater: g or c?
g
Let i(z) = -z - 7. Let w be i(-6). Let t(r) = -5*r**2 - 1. Let s be t(w). Let u = -11 - s. Is u at least -5?
True
Let y = -57 + 1426/25. Which is greater: y or 0?
y
Let b = 1 - -1. Do -1.4 and b have the same value?
False
Suppose 2*z - 5*z - 30 = 0. Let y = z - -10. Is 2/5 < y?
False
Suppose 7*s = -3 + 45. Which is smaller: 9 or s?
s
Let x(q) = -3*q**2 + 3*q + 2. Let k be x(3). Let z be 2/(k/6 + 2). Which is bigger: z or 2/3?
2/3
Let l = 107/303 + -2/101. Let q = 2 - 1.8. Which is greater: l or q?
l
Let n be -1 - 1*15/(-3). Suppose -o - 10 = 4*y, -n*y - 6 = -o + 8. Which is smaller: -4 or y?
-4
Let r = 289/7 - 433/21. Which is smaller: r or 22?
r
Let o = 1.12 - 15.12. Is -0.4 smaller than o?
False
Suppose -2*t - 2 = -4*t. Let f = 0.82 - 0.8. Which is smaller: t or f?
f
Let s = 21 + -16. Suppose -4 = s*h - f, 4*h - f + 3 = -0. Is -6/5 less than or equal to h?
True
Let y = 1/1293 - -34903/10344. Let t = 21/8 - y. Which is smaller: -2 or t?
-2
Let b(v) = -v**3 + v**2 + v + 3. Let w be b(0). Suppose -3*a - 26 = -8*x + w*x, -3*x + 5*a = -6. Is 8 at most as big as x?
False
Let b = -0.06 - -0.04. Let d = -0.02 - b. Let g = d + -2. Which is smaller: 0.1 or g?
g
Let x = -19 + 31. Let w = 7 - x. Is -7/2 at most as big as w?
False
Let a = -2.17 - -0.17. Let r be (3/((-6)/(-4)))/(-13). Which is greater: a or r?
r
Let l be 159/(-9) + 1/(-3). Let y = 3 + l. Let g = y - -106/7. Which is smaller: -1 or g?
-1
Let y = 2 - 2. Let f = -2 + 0. Let p be 6*f/(-4) + -2. Which is smaller: y or p?
y
Let s = 116 - 126. Is -9 less than s?
False
Suppose 5*m = -0*l + 2*l + 10, m + 15 = -3*l. Suppose -4*b = 3*q + 13, m*b - q = 2*b + 5. Let y be (-1)/b - (-6)/(-10). Which is bigger: y or 1?
1
Let w be ((-2)/(-84) - 0)*1411. Let q = w + -101/3. Is q greater than or equal to -1?
True
Let m = 24 + -23.9. Is 0.3 < m?
False
Let w = 3/145 - 486/2465. Which is smaller: -1 or w?
-1
Let x = -8 + 14. Suppose 2*q + 14 = 3*z - x, z = -q. Let c(i) = i**2 - 2*i - 13. Let n be c(4). Is n not equal to q?
True
Let c(v) = v**3 - 6*v**2 - 6. Let s be c(6). Let n be (-2)/(s/(-3))*1. Is n < 0?
True
Let j = -32 - -24. Which is smaller: -7 or j?
j
Let i = 8216/15 - 548. Let g = i + 23/30. Let p(c) = -c**2 + 7*c + 8. Let j be p(8). Which is bigger: j or g?
g
Let x(b) = b**3 + 2*b**2 + b + 4. Let k be x(0). Suppose 13 = -k*a - 11. Let j(l) = -2*l + 6. Let w be j(6). Is a less than or equal to w?
True
Let n = -97 - -57. Does n = -41?
False
Let y = -17/99 - -4/9. Which is greater: 1 or y?
1
Let d(m) = m**3 + 7*m**2 + 3*m + 17. Let u be d(-7). Which is smaller: -6 or u?
-6
Suppose 4*z = -3*i + 9, 5*i + 0*z = 3*z - 14. Which is greater: 1/12 or i?
1/12
Let f = 27/14 - 108/7. Which is smaller: -13 or f?
f
Let t(q) = -3*q - 2. Let v be t(-2). Suppose -5*c - 3*o + 3 = -3*c, -v*c = o - 1. Which is smaller: c or -3/7?
-3/7
Let v = 21 + -65. Is v at most as big as -43?
True
Let q(s) be the first derivative of s**2/2 - 3. Let x be q(0). Is 1 <= x?
False
Suppose -41 = 4*v + 3. Suppose 4*j - 5*z + 39 = 0, -2*j + z - 3 = 18. Is j > v?
False
Let d be 5/10 - 4/208*-14. Is -1/4 < d?
True
Let n = -107 + 55. Is n at least -52?
True
Let z be 33/(-11)*(-2)/(-6