 7*i + 1. Let h be m(-5). Let k be r(h). Are k and 0 non-equal?
False
Suppose -p = -2*i + p + 10, p - 31 = -5*i. Let f be (-6)/8*-1*4. Is i at least as big as f?
True
Let c(k) = k**3 - 5*k**2 + 7*k - 5. Let z be c(4). Let t(l) = -l + 6. Let a be t(z). Let s be (1/3)/(8/(-56)). Which is smaller: a or s?
s
Let t be (-4)/18*5/2. Let y be -2 + -3 + (-23 - -27). Are t and y unequal?
True
Suppose 4*l = 12, -4*l + 13 = -2*c + 3*c. Which is smaller: c or 1/5?
1/5
Let r(k) = k + 4. Let p be (-5 - (2 - 0)) + 0. Let g be r(p). Which is greater: -2 or g?
-2
Let g = 7.92 - -0.08. Let r = g + -8.5. Let w be ((-3)/(-6))/(2/8). Which is smaller: w or r?
r
Suppose -4*p - 7 = -j, 0 = 5*p + j + 13 + 7. Let a = -41 - -39. Is p >= a?
False
Let c = 4 - 11. Let s = c + 7. Let f be (-2)/(-6) - 2/(-4). Which is smaller: s or f?
s
Let i = 14 + -24. Let p = i - -12. Which is smaller: p or 3?
p
Let d = -75 - -522/7. Let z = -2 + 3. Is d < z?
True
Suppose 15 = -6*t + t. Let i = 7 + t. Which is greater: i or 0.2?
i
Let f be -3 + (2 - (2 - 3)). Let v = -4 - -8. Let a = v + -3. Is a at most as big as f?
False
Let b = 42 - 44. Suppose -12 = -4*z, -5*y - z - 5 = 12. Which is greater: y or b?
b
Let u = -257 - -259.2. Let z = -3 - -3.1. Is u less than z?
False
Suppose 0 = -2*x - 2*x. Suppose x*h + h - 69 = 0. Let r be 3/15 - h/120. Which is smaller: 1 or r?
r
Let q = -5/9 + 1/18. Let r(i) = i**2 + 5*i - 2. Let d be r(-5). Is q less than d?
False
Suppose 0*y - 24 = -3*y. Let i = 4 - y. Let o be i/(-2) + (-2)/(-2). Is 2 equal to o?
False
Let s = -9.3 - 0.7. Let v = s + 9.6. Which is smaller: v or 2/11?
v
Let p = -0.73 - -2.73. Are p and 3/19 nonequal?
True
Let y(u) = u**2 - u. Let d be y(6). Is d <= 31?
True
Suppose -5*v - 18 = -3*y, -3*y + 3 + 15 = -v. Let t(j) = -j + 4. Let k be t(y). Is k bigger than -0.1?
False
Suppose -8 = -n + 8. Is n smaller than 16?
False
Let k(j) = j**3 - 4*j**2 + 6. Let f be k(3). Let d = 7 + -3. Suppose 0 = d*h - 5*h - 1. Which is smaller: h or f?
f
Suppose 1 = -4*c + 3*b, -3*b = -b + 2. Let n be 0 + (-39)/72 + (-4)/(-6). Is n greater than c?
True
Let a be ((2 - 2)/(-2))/(-1). Let d be (6/(-35))/((-44)/77). Is a not equal to d?
True
Let p be (-3 - -3)/(-6 + 3). Suppose p = b + b - 2. Which is smaller: b or -1?
-1
Let z = -1609949360380/28721 - -73384569294809196077/1309158123273. Let r = z + 1/893763. Let q = -46/27 - r. Is q less than 1?
True
Let b(r) = -r**2 + 3*r + 4. Let x = 6 - 1. Let j be b(x). Let y(o) = -o - 7. Let i be y(j). Which is smaller: -2 or i?
-2
Let c = -2/17 - 13/34. Which is smaller: -0.36 or c?
c
Let j = 15 + -8. Suppose -m - 1 = -q, -3*m - 3*q = -j*m. Is m greater than or equal to 3?
True
Suppose 4*i = -2*k + 270, 7*k = -3*i + 5*k + 205. Are 65 and i equal?
True
Let x = -32 - -32.2. Is x >= 0.7?
False
Suppose 5*r = -5, 2*r + 2*r + 4 = -w. Suppose w = -2*p - 2*p. Is p >= -6/5?
True
Let l(n) = -n**3 - 6*n**2 - n + 7. Let y be l(-6). Let k = 9 - y. Which is smaller: -6 or k?
-6
Let d = -0.5 - -0.5. Let o = d + -0.5. Is -1 less than o?
True
Suppose 3 + 0 = 3*b. Is b at most -0.02?
False
Let m = -14.1 + 15. Let t = m - 0.4. Which is smaller: t or -0.1?
-0.1
Suppose 4*m + 1 + 15 = 0. Let j be (0 + -1 + -2)/1. Which is smaller: j or m?
m
Suppose 0 = j - 1. Let v be (-4)/(-6)*(5 + j). Which is smaller: v or 6?
v
Let y(c) = c - 10. Let w be y(5). Is -7 at most w?
True
Let h be 4/(-18) - (-116)/(-126). Is 0 at least h?
True
Let x(o) = 6*o + 0*o + 2 - o**2 - 3*o. Let t be x(3). Which is smaller: 0 or t?
0
Let o = -0.03 - -2.53. Let j = o + -1.5. Is j less than -1?
False
Suppose -3*l = -4*h - 27, -3*l + 2*l - 4 = 3*h. Suppose 0*u = -4*u + 4. Let j = u - -4. Is j at most as big as l?
True
Let q = 168 + -168. Suppose 4*c - 39 = 2*c - 5*p, -5*c + 3*p + 144 = 0. Let w be (6/c)/(2/3). Which is smaller: q or w?
q
Let c = -235/3 - -77. Is -2/7 less than c?
False
Suppose -3*w = 5*y - 6 + 15, -4*w - 5*y - 7 = 0. Suppose 2*t = 12 - w. Suppose s + t = 1. Is -3 greater than or equal to s?
True
Let o = 94 + -96. Let s(h) = h - 4. Let b be s(5). Let l be (o/(-2) + -1)/b. Which is smaller: -2 or l?
-2
Let j(x) = 4*x + 4. Let q be j(-3). Is q smaller than -10?
False
Let g = -12 - 3. Is -16 at most g?
True
Suppose -q = -3*z - 6, 0 = 5*z + 3*q - 1 - 3. Is z equal to 1/24?
False
Let f = -0.03 + 4.03. Let g = 4.2 - f. Are g and -3 nonequal?
True
Suppose -25 = -4*y - 5*s, 3*s = 4*y + y - 22. Suppose y*q = 318 - 1448. Let d = q - -2036/9. Is d at most as big as 1?
True
Let c = 14 + -33. Is 1 smaller than c?
False
Let y = -6 + 6. Let v = y - 0.3. Which is bigger: v or 1?
1
Let p be (-18)/(-40) - 4/20. Is p at least 68?
False
Let y = 1.003 - 0.023. Let m = y - -0.02. Is m at least 1/3?
True
Let j = -4 - -7. Let t be 1 - 4/12 - -1. Which is bigger: t or j?
j
Suppose -17*u - 2*u + 380 = 0. Which is bigger: u or 13?
u
Let c = -7 + -1. Let b = -11 - c. Are b and -0.1 unequal?
True
Let b = -4.6 + 14.4. Let w = 0.15 + 9.85. Let a = b - w. Do a and 0 have the same value?
False
Let t = -19 + 21. Which is smaller: 6 or t?
t
Suppose 0 = -5*x - 52 + 17. Let w(l) = -35*l - 6. Let u be w(x). Let d = 3583/15 - u. Which is bigger: d or 1?
1
Suppose 5*c - c = 3*a + 10, -c + 2 = -a. Let s be 10/c - (7 + -4). Which is smaller: s or 0.1?
s
Suppose -y = -3*f - 5, -5*y + 0*y = -2*f - 12. Suppose 0 = -0*h + y*h + 4*v - 4, h - 5*v - 2 = 0. Suppose h*l - 2 + 0 = 0. Which is smaller: 1/2 or l?
1/2
Let u be -5*(-1 - (-4 + 2)). Let t(z) = -z + 7. Let m be t(7). Suppose m = 4*i + 5*l + 1, -2*i - 2*i + 4*l - 28 = 0. Is i >= u?
True
Let g = -6 - -5. Which is smaller: 0.1 or g?
g
Let z be (-2)/(-1) + 66/3. Let h be (0 - 1) + -2 + z. Let r be (-2)/4 + h/66. Do -2/7 and r have different values?
True
Suppose -18*x = -15*x - 18. Is 3 > x?
False
Let y = 17 - 36. Let b = y - -18.97. Is b > 0?
False
Let u = 0 + -12. Let d = u + 18. Suppose -d*n + 2*n = 40. Is -11 >= n?
False
Let b = 22 - 16. Let c = b + -6. Which is smaller: c or 6?
c
Let k be 3/(-4)*8/28. Do k and 0 have different values?
True
Let r = 1677/8 - 239795/1144. Which is greater: 0 or r?
r
Let o be 4/10*-5*1. Let u = 142 - 714/5. Is o greater than or equal to u?
False
Let h(c) = -2*c**2 + 3*c - 1. Let t be h(2). Let d = 8 + t. Suppose 7 + d = -4*g. Is g >= -2?
False
Let p = 9 + -10. Which is smaller: 1/13 or p?
p
Suppose m - 3*o - o - 10 = 0, -3*m + 4 = o. Is 0 less than m?
True
Let n(w) = -w - 4. Let q be n(0). Is q > -4?
False
Let a be 1/(10/4)*-30. Let o be (a/(-18))/((-2)/3). Are o and -3/5 unequal?
True
Suppose 0 = -3*r - 4*q - 20, 4*q - 3 = 3*r - 23. Suppose 0 = -4*m + 4*n + 36, -5*n - 6 = -3*m + 27. Let g be (-1)/(-6)*m/8. Which is smaller: r or g?
r
Let w = -15 + 3. Which is smaller: -2 or w?
w
Let o(s) be the third derivative of -s**5/60 + s**4/24 + 3*s**2. Let p be o(0). Let x = p - -3. Which is greater: 2 or x?
x
Let p = -4.3 + 11.7. Let x = 0.4 - p. Is x at most 1?
True
Suppose -13*u + 8*u + 25 = 0. Does u = 2?
False
Let t = -1.27 + 0.37. Let h = 2 + -1.9. Which is smaller: t or h?
t
Suppose 2*m - 3*m + 6 = 0. Suppose -2*s + 2*y - m = -2, 0 = -4*s - y + 17. Which is smaller: 5 or s?
s
Let v = -23 - -22. Is v greater than -1/21?
False
Let s = 56 + -57. Suppose n + 2 = -3*k, k - 4 - 2 = 3*n. Suppose -4*r - r = k. Which is smaller: r or s?
s
Suppose 0 = -2*m + 2 + 2. Does m = 0?
False
Suppose 3*k - 12 = 6*k. Let u be (80/1700)/(k/(-10)). Which is greater: u or 0?
u
Let n(d) be the third derivative of -d**6/120 - 7*d**5/60 + 3*d**4/8 + 4*d**3/3 + d**2. Let w be n(-8). Is w greater than or equal to -1?
True
Let u = 43 - 45. Which is bigger: 0 or u?
0
Let c = 18 + -13. Let r be (-24 - 0)/4 + 2. Let j = c + r. Which is smaller: 3 or j?
j
Suppose -20 = 5*p, o + 2*p + 8 = -2*p. Suppose 5*c - 25 = 4*j, 2*c - 7 = 4*c - 5*j. Is c <= o?
False
Let y be 102/(-9)*3/(-1). Suppose -a - a = -y. Suppose 3*w - 1 = 3*b + a, 10 = 2*w. Do -6/5 and b have the same value?
False
Let s(v) = -v**3 + 2*v + 1. Let t be s(2). Let a be (-33)/7 - 2/7. Is t at least as big as a?
True
Let k = -0.8 + 0.5. Let y be 2*((-18)/15 + 1). Which is greater: k or y?
k
Let u be (-1807)/(-28) + 2/(-8). Let p = u + -64. Suppose 2*k - 2 = 0, 3*r + 2 = -k + 3*k. Which is smaller: p or r?
r
Suppose -9 = -2*d - d. Let n be d*(30/(-9) - -3). Which is greater: 3/8 or n?
3/8
Suppo