. Is h less than or equal to 13?
True
Let k = -33 - -16. Let y(s) = s**3 + 4*s**2 + 9. Let o be y(-5). Which is smaller: k or o?
k
Let h = 20 + 0. Suppose 6*y = y + h. Let z = y + -7. Which is smaller: -4 or z?
-4
Let j = -10 + 10.21. Let c = 0.79 + j. Let k be 0 - 0/2 - 4. Which is smaller: k or c?
k
Suppose 7*v - 29 + 8 = 0. Which is greater: v or 2?
v
Let a = -40.38 - -40. Let p = -0.02 + a. Let t = p - -0.5. Which is smaller: 1 or t?
t
Let x(p) = -p**3 - 4*p**2 + 1. Let h be x(-4). Let k = h - 0. Is 2 at least k?
True
Let g(x) = -6*x - 9. Let q be g(-3). Are 4 and q non-equal?
True
Let u(y) = -5*y**2 - 3*y - 3. Let b be u(-2). Is b less than or equal to -17?
True
Let t = 3 + -6. Let d be 1/(-2)*(-3 - t). Let o = -1 - 0. Are o and d nonequal?
True
Let d(p) = -2*p**2 - 3*p + 2. Let b be d(2). Which is smaller: -34/3 or b?
b
Suppose -5*r = -r - 16. Suppose 2*q + 4 = -r. Let j = -5 + 0. Is j not equal to q?
True
Let z(x) = -x**2 + 4*x + 1. Let t be z(0). Is 1.3 != t?
True
Let a = 10 + -10.08. Let v = -0.04 - a. Is v at most as big as -1?
False
Let q be ((-6)/4)/(6/8). Let z be 5/(-20) - (-1)/4. Let n = q - z. Is n > -2?
False
Suppose x + 1 = -w - 3, 0 = 4*w + 16. Is 2/429 less than x?
False
Suppose -3*a = 5*i - 20, 3*i - 22 = -5*a + 6. Let c = -99/7 + 771/56. Do c and i have the same value?
False
Suppose 0 = 6*f - 758 + 110. Does 108 = f?
True
Let a = -50943/140 + 1821/5. Let z = 4/7 - a. Does z = 1?
False
Let m(j) = -j**3 + 3. Let c be m(0). Suppose -6 = c*z - 0. Let n be 12/(-126)*18/z. Are 1 and n unequal?
True
Let n(x) = x + 32. Let w be n(-15). Is 19 bigger than w?
True
Suppose -3*g = 2*o + 22, -3*g + 4*o + 0*o = -8. Which is smaller: g or -5?
-5
Suppose -8 = -a + 3*w - 1, 4*a - w = -16. Let k = -7 - a. Which is smaller: -1 or k?
k
Let f be (1 - 51/(-26)) + -3. Which is bigger: 0 or f?
0
Let v = -0.1 - 0.1. Let j = 0.3 + v. Let g = -1 + 0. Which is smaller: j or g?
g
Suppose 25 + 21 = 4*x + 2*i, 0 = 3*x + 3*i - 42. Which is greater: x or 5?
x
Let j = -0.3 + 0.3. Let n = -0.1 - j. Let h = n + -0.9. Are 1/5 and h equal?
False
Let z be (-592)/(-42) + 34/(-357). Is z at least 44/3?
False
Let k(s) = 4*s - 55. Let b be k(21). Is b at most 28?
False
Let r(j) = j**2 - j - 1. Let o be r(2). Let m be 1*(-1)/(-2 - -1). Are o and m unequal?
False
Suppose 4*w - 5*b + 264 = -0*w, -264 = 4*w + b. Let o be 20/3*w/4. Let n be (-341)/o - 6/2. Which is smaller: -1 or n?
-1
Let h = 13 + -10. Suppose -b - 2*s = -9, 0*b - 5*s = 4*b - 30. Are h and b non-equal?
True
Let a(k) = -2*k**2 - 2*k - 1. Let b be a(-1). Suppose -4*c - 4 = -8. Does b = c?
False
Let y = -7 - -10. Let g = -2 + y. Is 1 smaller than g?
False
Let q = 55.2 - 55. Which is smaller: q or -3/2?
-3/2
Suppose 4*h = 2*h + 24. Let u be 7/(-21) - 2/h. Which is smaller: u or -9?
-9
Let x = -11.93 - 0.07. Let j = -18 - x. Let i = 9 + j. Which is smaller: i or 0?
0
Let d = 49 + -48. Which is bigger: d or 2/27?
d
Suppose g + g = 4. Let d = 7 - g. Suppose d*c = 2*c. Is 2/15 less than or equal to c?
False
Let d = 1324013 - 3417277644/2581. Let a = d + -3/89. Which is smaller: a or 1?
a
Suppose 4*t - 4*i + 208 = 0, -t + 3*i - 21 = 21. Is t less than or equal to -57?
True
Let b be (-1 - 2)/(7 - 8). Suppose -m - 12 = 7*n - 2*n, -4*n - 5*m = -b. Is n smaller than -3?
False
Let t(m) = -m - 7. Let i be t(-7). Let c be i - (0 - 1) - -12. Let b = c - 7. Do 6 and b have the same value?
True
Let w(u) = -10*u**2 - 1. Let t be w(-1). Let l = -8 - t. Suppose 16 = q - 2*q - 5*d, 4*q - 5*d = 36. Are q and l nonequal?
True
Let n be -1 + (-32)/(-12)*-3. Which is greater: n or -8?
-8
Let w be (-272)/(-730) - (-16)/(-40). Is 0 equal to w?
False
Let g(r) = -r**2 + r - 2. Let q be g(0). Let d be (q - -4) + -1 + -2. Let k be ((-2)/(-6) - d)/(-3). Which is bigger: k or 0?
0
Suppose 20*i - 16*i = -4. Is i <= 3/8?
True
Let m = -6 + -6. Let z = 11 + m. Let n be 6/2 - 1 - 0. Which is smaller: n or z?
z
Let l = -0.19 - -0.39. Which is bigger: l or -1/8?
l
Suppose 0*y = 2*y - 6. Suppose -4*t = -4*n + 32, 5*n - 5 = -t - t. Is n smaller than y?
False
Let u be 12/16 + 0 + -1. Suppose 0*c = -c. Which is smaller: u or c?
u
Let w(f) = f**3 + 9*f**2. Let o be -7 + -1 - (-3 + 4). Let m be w(o). Which is smaller: m or -1/11?
-1/11
Let c(b) be the first derivative of b**4/2 + 2*b**3/3 - b + 2. Let x be c(-1). Which is smaller: 5 or x?
x
Suppose 5*p = 2*p. Is 1/6 greater than or equal to p?
True
Let c(h) be the third derivative of -h**6/120 - h**5/12 + h**4/24 + 5*h**3/6 - h**2. Let y be c(-5). Which is smaller: y or -1/7?
-1/7
Let v = 7 + 0. Let g = v - 3. Suppose 6*p = 15 + 15. Is g not equal to p?
True
Suppose 0 = x - 9 + 8. Suppose y + 1 = 7. Suppose 0 = -4*a + y*a. Which is smaller: x or a?
a
Let u = 7361 - 795023/108. Let r = -2/27 - u. Suppose -4*k + 3 + 3 = 2*h, 2*h = -5*k + 7. Which is bigger: k or r?
k
Suppose 46 = -n + 43. Suppose -16 + 4 = 4*f. Let u be 8/f + 2/(-6). Is u >= n?
True
Let u = 2 + -3. Let m = u - 5. Let j = -5 - m. Which is bigger: 2/5 or j?
j
Let c = 0 + 0. Let s be 5/(-25)*-5 + (-12)/13. Which is smaller: c or s?
c
Suppose -4*t = -3 - 1. Let u be 15/10*4/(-15). Which is bigger: u or t?
t
Let j = -78 + 52. Let k be 35/j - 6/(-4). Suppose z + 3*z - 8 = 4*g, -5*z + 10 = 2*g. Which is bigger: k or g?
k
Let q = 21 - 15. Let j = q - 5.9. Suppose -2*o + 2 = -3*d - 2, -3*o - 4*d = 11. Which is smaller: j or o?
o
Let b be 19/6 + (-1)/6. Suppose h = 2, b*y - 3*h = 2*y - 14. Is -8 greater than y?
False
Suppose -2*i = -0 - 4. Suppose s + s = -i. Are s and 2 equal?
False
Let p(n) = -99*n**3 - 2*n - 1. Let a be p(-1). Suppose d = -4*d - a. Let r be 14/(-12) - 10/d. Which is greater: r or 0?
0
Suppose 3*c = 2*q + 13, 0*c + 15 = -5*c - 4*q. Is 4 greater than or equal to c?
True
Let j be (5/(-10))/((-1)/2). Let q = -7 + j. Let r be 0/(3/(q/4)). Which is smaller: 1 or r?
r
Let x = -94/27 - -32/9. Are x and 1 nonequal?
True
Let s(y) = -3*y + 15. Let x be s(8). Which is smaller: x or -2?
x
Let x(d) = -3*d**2 - 3*d. Let v(w) = 5*w**2 + 5*w. Let o(n) = 5*v(n) + 8*x(n). Let q be o(0). Suppose 5*b + 15 = q, -2*b - 3 = g - 2*g. Is g greater than -3?
False
Let j = 0 - 0. Suppose 5*t = -6 + 1, 2*c = 2*t. Let g be (-2)/24*-14 + c. Is g at most as big as j?
False
Let v = 5.1 - 5. Let i = 0.2 - 0. Is v greater than i?
False
Suppose 29 = 5*n + 2*l, 0 = -4*n + n - 2*l + 19. Is n at least 32/5?
False
Let k(u) = -2*u + 3. Let j be k(2). Let o = 18 + -21.5. Let y = o - -0.5. Which is bigger: y or j?
j
Suppose 3*f - 218 = f. Let g = f + -69. Suppose 0 = 5*y + 5*x - g, 0 = -2*y + 2*x + 3*x - 12. Which is greater: y or 5?
5
Suppose 4*s + 52 = 8*s. Which is smaller: 10 or s?
10
Suppose -35 = -3*k - v, -3*k + 2*k - 3*v + 25 = 0. Let a = -2 + k. Let b be 1 - 0 - -2 - -5. Is b not equal to a?
False
Suppose -2*s = 2*s - 4. Is 4/19 greater than s?
False
Let p be (2/18*-2)/((-1)/(-2)). Is 3 < p?
False
Let x = -5.4 + 5. Let d = 57 - 169/3. Which is smaller: x or d?
x
Let f = 4 - 0. Suppose -2*l = m + 19, -5*l = -2*l - f*m + 12. Let g be ((-2)/l)/(20/(-16)). Do g and 1 have the same value?
False
Suppose -2*n + 6*n + 12 = 0. Let l be 12/(-10) - 8/10. Which is greater: n or l?
l
Let j be -5*1*36/(-20). Suppose -x - 3*v + 2 = -3, 2*v = 5*x + j. Let w be 1/5 - (-1 - -1). Which is greater: w or x?
w
Suppose 3*d = 8 - 32. Let k be 59/35 + d/20. Which is smaller: 1 or k?
1
Suppose -5*q + 2 + 30 = 3*x, 4*x - 4*q = 0. Let u be (2/(-6))/(x/8). Are u and 0.3 nonequal?
True
Suppose -4*p - p = 0. Which is bigger: p or 4/3?
4/3
Let h = 17 + -10. Let s = 8 - h. Does s = 12/5?
False
Let b = -13.1 - -13. Let q = 0 + 0.2. Which is greater: b or q?
q
Let g(w) = w**3 + 8*w**2 + 7*w - 4. Let r be g(-7). Let z = -11 - r. Which is greater: z or 0?
0
Let x be (3 + -7)*(-2)/(-4). Let r be (-1)/((-3)/(-12)*x). Which is bigger: r or 4?
4
Let r = -22 + 22. Let m = 14/9 + -151/126. Let o = 11/70 - m. Is o <= r?
True
Let t = 45/98 - -2/49. Are -2/5 and t non-equal?
True
Let t = -0.33 - -3.33. Is t at least -2?
True
Let r be 1/(-3) - (-1)/6. Suppose -i + 1 + 4 = 0. Suppose -g = 4, -i*p - 2*g - 20 = 3*g. Which is greater: r or p?
p
Let d = -1.75 + 0.05. Let l = -2 - d. Which is bigger: l or 2?
2
Let w = -3 - -1. Let u(c) = 34*c**3 - 2*c**2 + 1. Let d be u(-1). Let y = d + 103/3. Which is bigg