. Suppose 0 = z*n - m - 16 - 2, -3*m - 24 = -3*n. Let w be 40/12*(-12)/n. Is -1 less than or equal to w?
False
Let h = -8.4 - -8. Let x = -4/15 + -1/15. Are h and x unequal?
True
Let l(c) be the first derivative of 1/2*c**2 + 2/3*c**3 - c - 1/4*c**4 - 2. Let j be l(2). Which is smaller: j or 1/4?
1/4
Suppose 3*p + 2 = i, 5*p + 9 = -2*i - 2*i. Is 0 > p?
True
Let b(k) be the second derivative of -k**4/12 - 4*k. Let a be b(0). Suppose 2*p - 3*p = a. Is 1/8 less than p?
False
Let v be (624/(-90))/8*(-5)/4. Which is smaller: 2 or v?
v
Let f be 3/(-2)*(-2)/12. Let i = -1 - 0. Let q = i + 1. Is q > f?
False
Suppose -2*j + 8 = -2. Is j at most as big as 5?
True
Let h = -232/265 + 4/53. Suppose 2*l - a + 3 = 4*l, 3*a = 9. Which is smaller: l or h?
h
Let u = 12 - 5. Let p = 2.8 - 7.8. Let h = p + u. Is h at least as big as 2?
True
Let q = 39 + -3. Suppose 4*k + 8 = q. Is 9 less than k?
False
Suppose -2*g = -5*w - 0*w + 53, 4*g = -16. Which is greater: w or 10?
10
Suppose 3*r - 6 = -0, -3*r = 5*t - 81. Is t less than or equal to 14?
False
Suppose -h + 12 = 2*q, -q + 4 + 0 = 0. Let m(b) = -b**3 + b + 5. Let s be m(0). Suppose -s*w = -3*w + h. Is w > -1?
False
Suppose 8 = -4*h, 3*m - 35 = h + 21. Which is greater: m or 19?
19
Suppose -3*x - x = -5*h + 35, 3*x = -2*h - 9. Let u = -1 + -3. Which is bigger: x or u?
u
Let y = -7 + 4. Suppose -5*m + 9*m + 12 = 0. Let p(q) = -q - 7. Let t be p(m). Which is greater: t or y?
y
Let b(c) = -11*c**2 - c + 1. Let w be b(1). Is -11 less than or equal to w?
True
Let i = 2.7 + -3. Let z = -103 - -103.1. Is z >= i?
True
Let i = -0.06 - -0.11. Let o = -0.55 + i. Let u = 2.5 - o. Which is smaller: u or -0.1?
-0.1
Suppose 20 = -3*y + 7*y. Suppose 12 = y*c - 8. Let l(n) = n**3 - 7*n**2 + 6*n + 3. Let j be l(6). Is c < j?
False
Let l(t) = -4*t**2 - 2*t + 1. Let v be l(1). Let i be (-2)/(2 - 4) - 6. Is i greater than v?
False
Let q(o) = o**2 - 4*o - 9. Let y be q(7). Suppose -4*x + 0*x = y. Which is smaller: -6 or x?
-6
Suppose 0*r = -r + 2*r. Let y = 517/5 + -103. Is r >= y?
False
Let b be (-4)/(-26) + 33/(-1144). Is b less than or equal to 1?
True
Suppose -4*a - 25 = a. Is a at most -5?
True
Suppose -f + 0*g = -g - 179, -898 = -5*f + 4*g. Suppose 65 - f = -3*i. Let z = 118/3 - i. Which is smaller: z or 2/7?
2/7
Let y be 340/(-18) - -2*3/(-54). Does y = -21?
False
Suppose 0 = 5*t - 3*f - 44 + 14, 2*t + 4*f = -14. Is t at most 3?
True
Let h(l) = 2*l**3 + l. Let o be h(2). Does o = 17?
False
Let m = 59 + -69. Is m less than 0?
True
Let q(p) = -14*p - 5. Let v be q(-2). Do v and 21 have different values?
True
Let h(a) = -a. Let y be h(-2). Suppose i - 2*m - 2 = 0, 7*m = -i + 2*m + y. Let w be i/((-3)/3 - -3). Which is smaller: w or -1?
-1
Let y = -3.1 - -3.2. Which is smaller: 5 or y?
y
Suppose -4*h - 3 = 1. Let f be h/(-4) - (-14)/8. Is -0.1 > f?
False
Let z(m) = m**2 - 6*m + 4. Suppose 5*a + 1 = 21. Let x be z(a). Do x and -4 have the same value?
True
Let h = -0.3 + -0.7. Let d be (-2 - 14/(-4))*18. Let f be (-15)/(-27) + (-6)/d. Which is greater: h or f?
f
Suppose -i + 6 = -24. Does i = 29?
False
Let t(z) = z**3 - 9*z**2 + 7*z + 9. Let w be t(8). Which is smaller: -2 or w?
-2
Let l = 157/435 - 24/29. Which is smaller: l or -1?
-1
Let t be (4/(-2))/(5 - 4). Let u = t - 3. Are u and -5 equal?
True
Let m = -24 + 26.2. Let a = m + -2. Let f be -2 + (-2)/(-3) - -2. Which is bigger: f or a?
f
Suppose -2*i - 2 + 0 = 0. Is i >= -2/31?
False
Let a(c) = -c**3 + 11*c**2 + 17*c - 28. Let v be a(12). Do 32 and v have the same value?
True
Let l = -11 + 9.7. Let g = l + 0.1. Which is smaller: -1 or g?
g
Let z = 16 - 24. Which is smaller: 2 or z?
z
Let u be (-5)/((3/1)/(-6)). Let d be (24/(-30))/(4/u). Let s = d - 1. Is -4 equal to s?
False
Let n(j) = j + 5. Let c be n(-5). Which is greater: -2/63 or c?
c
Let q = -50 + 50. Which is smaller: 0.43 or q?
q
Suppose 5*t = 11 - 1. Suppose 3*s + 0*f = -t*f + 6, 3 = -f. Is s bigger than 5?
False
Let l = -12715/264 + -15/88. Let z = l - -48. Suppose p + 4*n + 14 = -p, 4*n + 11 = p. Is p greater than z?
False
Let i(x) = -2*x - 6. Let l be i(-5). Let s = l - 2. Let o = -21 - -23. Is s at most o?
True
Let u = -16 + 19. Is 7 greater than u?
True
Let v be (-1)/((-3)/6)*1. Let q = v + -2. Suppose q*r = 2*r. Is r != 1?
True
Let m(j) = j**2 - 5*j - 1. Let x be m(3). Which is smaller: x or 2?
x
Let r = -1106 + 43120/39. Let q = r - 4/13. Let x = -1.97 - 0.03. Which is bigger: q or x?
q
Suppose o = 4*x + 1, 2*o + 25 = 7*o. Suppose -h + 5*h = 4. Let y be (h*-2)/(-1 - 0). Which is smaller: y or x?
x
Let z = 85 - 25. Let j = z - 182/3. Let o(x) = x + 3. Let k be o(-3). Is j >= k?
False
Let k = -30 + 20. Let v = k + 7. Let f(q) = 2*q**2 - 6*q - 5. Let y be f(4). Is y smaller than v?
False
Let p be 6/40*10/(-12). Suppose -4*j = 4*l, 12 = -4*l + 2*j - 0*j. Let b(n) = -n**3 - 2*n**2 + 1. Let o be b(l). Which is bigger: p or o?
o
Let c be (-4)/3*((-255)/(-57) + -4). Is -2 < c?
True
Suppose 2*n - 4 = -2. Suppose -y + 3 = -i, -4*y + i + 8 + n = 0. Suppose 0 = -8*g + 3*g + 15. Is y smaller than g?
True
Let n be -1 - (-4 - (-12)/4). Which is smaller: 1 or n?
n
Let b = -0.55 - -0.35. Which is smaller: b or 23?
b
Let b = -57.93 - -58. Which is bigger: -2/7 or b?
b
Let a(g) = g + 1. Let u be a(8). Suppose 0*k = 3*q - 3*k - u, 2*q - 6 = 5*k. Suppose -q*r = -8*r. Which is greater: r or 1?
1
Let r be ((-10)/(-15))/(1/(-39)). Which is bigger: -24 or r?
-24
Suppose 4*b + h = -0 + 4, 16 = -b + 4*h. Let g(f) = f**3 - f**2 - 3. Let x be g(3). Let j be (1 + 0)/(x/(-6)). Is b greater than j?
True
Let u = -1.3 + 1.4. Is u less than -1/3?
False
Let v = 1 + 1. Suppose 0 = -4*u + m - 13, u + 3*u + 7 = -5*m. Let p = 5 + u. Is v greater than or equal to p?
True
Suppose -2*b = b - 15. Suppose -10 = -2*d + b*v, -4*d + 1 = -v - 1. Let x be 0/(-1) - 9/(-15). Is x at most as big as d?
False
Let w = -8 - -6. Let b = -4 - -6. Let j = b + w. Is j smaller than -1/4?
False
Let l = -56284 + 13958459/248. Let m = l - -1/62. Is m at most as big as 0?
False
Suppose 1 = -3*m - 5. Suppose -5*h - 23 = j, j + 0*j - 5*h = 27. Suppose 0 = j*g - 4*g - 6. Is m bigger than g?
True
Let h be ((-1)/(-2))/((-2)/4). Are 1/6 and h non-equal?
True
Let x = 7 - 5. Let t(p) = p**3 - p**2 - p + 4. Let v be t(0). Suppose 2*n - v*j = 18, -n - 4 - 5 = 4*j. Which is smaller: n or x?
x
Let j = -2 - -2.01. Let s = -1.969 + -0.031. Are s and j equal?
False
Let l = -3127/8 - -389. Which is smaller: l or 0.2?
l
Let d = -1.278 + 0.078. Is -1/2 less than d?
False
Suppose -6*r = 33 - 3. Let k(j) = j**2 - 5*j - 3. Let m = 2 + 2. Let a be k(m). Which is greater: r or a?
r
Let t = 7.16 - 0.16. Let y = -5 + t. Let q = -1/25 + 27/50. Which is greater: q or y?
y
Let s be 2/(-5) + (-3)/(-20). Let b = 3 - 2.7. Let p = b + -0.5. Is p >= s?
True
Suppose 3*p - 4*p = 4*f - 3, -3*p = 4*f + 7. Suppose -3*i + 14 = -x - x, f*i + 5*x = -16. Let c be 0 + -2 - 16/(-6). Which is smaller: c or i?
c
Let i be (-2*1)/(3*(-3)/18). Is 3 > i?
False
Let a be (-3)/10152*1038/(-8). Let o = a + -1/141. Is o bigger than 1?
False
Suppose -2 = -3*q - 5. Is q > -1/6?
False
Let l be 4/(-10) - 13/(-20). Let z = -2 + -7. Let f be (-4)/6 + 3/z. Is l <= f?
False
Suppose 2*t = 4*t - 4. Let i be 4/(-18) + (-12)/(-54). Let s = i + t. Is 1 smaller than s?
True
Suppose 1 = 4*w - 3. Let d be w - -1 - 12/10. Let f = d - 6/5. Is 0 not equal to f?
True
Suppose 3 - 2 = 4*l + c, -5*l = -2*c - 11. Suppose 0 = 8*p - 4*p + 12. Is l not equal to p?
True
Let g = -100.1 + 92.08. Let s = g + 8. Are s and -1 equal?
False
Let j = -16 + 15.9. Which is smaller: j or 0.1?
j
Let h = -41 + 41.06. Which is smaller: h or 2?
h
Suppose 2 - 1 = p. Let h be (-61)/(-12) + -1 + -4. Which is bigger: h or p?
p
Let q(x) = x**2 - 8*x - 18. Let m be q(8). Let p = 17 + m. Is p bigger than 2/13?
False
Let p be 1 + 1 - (-5 - 76). Is 84 less than p?
False
Let p be (4/4)/((-1)/6). Which is bigger: p or 2?
2
Let s = 5 - 2. Suppose -3*c + 3 = -2*c + s*t, 0 = 4*c + t - 1. Let g = 7.1 + -8.1. Is g > c?
False
Let c be ((-3)/36)/(1/8*-2). Is -7 less than or equal to c?
True
Suppose -5*g + 19 = -4*k + 4, 0 = -2*g + k + 3. Do 1 and g have the same value?
False
Let b be (-12)/(-1)*1/3. Suppose 27 = 4*q - 3*d, 0*d + b*d = -20. Which is smaller: 1 or q?
1
Let o be (-9 - -9)