0 - 4). Suppose 3*a + m = -l - l, -a = 5*l + 9. Let d be ((-3)/(1 + 2))/l. Are d and 2 non-equal?
True
Let w(m) = -2*m**2 + 2*m - 2*m + m**2 + 6*m. Let j be w(6). Let z = 40/7 - 38/7. Which is bigger: j or z?
z
Let f(c) be the third derivative of 1/6*c**3 + 0 + 0*c + 1/4*c**4 + 1/60*c**5 - 2*c**2. Let b be f(-6). Is 2/13 less than b?
True
Let o = 51 + -50. Is 6 greater than o?
True
Let d(o) be the first derivative of o**4/4 - o**3/3 + o**2/2 + 2*o + 1. Let s be d(0). Let t be 1/s*(-2)/(-5). Is -1/2 equal to t?
False
Let s be (-1)/(1/2) + 4. Suppose -s*b + b = 8. Let h be b/12*(-18)/16. Do h and 2 have different values?
True
Let j = 164.1 + -164. Which is greater: -106 or j?
j
Let d = 19 - -9. Let z be ((-1)/4)/((-7)/d). Let f be (z/(-3))/(3/(-9)). Is f greater than or equal to -2/5?
True
Suppose 4*z + z = -4*q + 239, 4*z + 3*q - 192 = 0. Which is greater: 49 or z?
z
Let a be 1/15*-17 - -1. Suppose 4*t - u - 26 = 0, t - u + 5*u = -2. Let s be (-25)/(-15)*t/25. Are a and s unequal?
True
Suppose 8*v - 3*v + 50 = 0. Let i be 24/10 + v/25. Is 3 != i?
True
Let f(r) = -3*r + 1. Let g be f(-1). Suppose -2 = 2*o - 6. Let c = 7 - o. Is c at most as big as g?
False
Suppose -4*q + 1 + 11 = 0, -4*m = -4*q. Suppose -s - 32 = m*s + 5*c, -s - 15 = 3*c. Let v = -5 + 3. Which is bigger: s or v?
v
Let k(c) = 6*c**2 + 5*c**3 - 4 + 3 - 3*c**3 - c**3. Let o be k(-6). Which is greater: -1/2 or o?
-1/2
Suppose 4*y + 2*d = -0*y - 192, 0 = 5*d - 20. Is -50 smaller than y?
False
Let r = 110 - 101. Which is smaller: 1 or r?
1
Suppose -5*m + 16 = 2*l + 6, -4*m + 8 = -l. Let w = -3 + 6. Suppose 0 = -4*a - 5*o + 11, -m*o + 21 = 5*a + w. Which is bigger: a or 3?
a
Let l = -8/9 - -5/9. Suppose 3*w + 1 = 5*r + 2, 7 = -3*r + 5*w. Is r at most as big as l?
False
Let g = -13/8 + 43/56. Let c = 11 - 10. Suppose 2*b = -2*j - 13 + c, 4*j - 2*b = 0. Is j at least as big as g?
False
Suppose 8 = -2*g - 0*g. Let s(v) = -2*v**2 - 2*v - 2. Let k be s(-2). Let w be (1 + 0)/(2/k). Which is greater: g or w?
w
Let z(j) = j**3 - 4*j**2 - 8*j + 7. Let y be z(5). Let x = 4 + -12. Is y less than x?
False
Suppose 28 = -s - p, 2*p = 2*s - 0*p + 36. Which is greater: -21 or s?
-21
Suppose 2*c + 0*c = -6. Let l = 5 + c. Let r = -0.4 + 0.3. Is r not equal to l?
True
Let p = 29/2 - 15. Is 4 greater than p?
True
Let t be (14 - 16)/(0 - 2). Let f be 26/18 - (0 - -1). Is t greater than f?
True
Let p = -3333/2 - -1840. Let h = p + -46. Let c = 130 - h. Is 3 bigger than c?
True
Let k(y) = y**2 + 13*y - 13. Let r be k(-13). Which is greater: r or -12?
-12
Suppose -4*j + 3 = -17. Suppose 6*d = j*d - 6. Is -5 at least d?
True
Suppose 3*c = -3*c - 6. Which is smaller: 5 or c?
c
Let l = -89/2 + 967/22. Which is smaller: l or -1?
-1
Let m = 0.4 - 0.3. Suppose 2*w - 14 = 10. Let j be (w/(-8))/((-1)/2). Is m at most as big as j?
True
Let s = -43 + 47.3. Which is bigger: s or 1?
s
Let f = 7 - 5. Suppose 0 = -s - 0*s + f. Let o be (s/12 + 0)*3. Is o < -2/5?
False
Let p = -3 + 3.14. Is p greater than 0.1?
True
Let t = -6 + 11. Suppose -11 + 1 = 4*g + 2*c, -17 = t*g + 4*c. Which is smaller: g or 3/10?
g
Let g = -3683/602 - -85/14. Which is smaller: -1 or g?
-1
Suppose -n = 2*n - 12. Let l = -2 + n. Is 0.3 smaller than l?
True
Let q be (-5)/10*-7 + -4. Which is bigger: q or 2?
2
Suppose -3*w = -1 - 8. Suppose w*f = -s - 7, f - 4*s - 3 = -1. Let c be f + 5/(10/8). Which is bigger: c or 2/3?
c
Let j be (-3)/(-3 + 2 + 0). Let m be (-468)/(-60) - (-2)/10. Suppose j - m = -5*r. Is r at least as big as -5?
True
Let p be 1 + 0 + -3 + 2. Suppose -2*a - 7 + 15 = p. Suppose 9*b - a*b + 10 = 0. Which is smaller: b or 2?
b
Let l = -1.8 - -0.6. Let s = 1 + l. Let i = 0.51 + 1.49. Which is bigger: s or i?
i
Suppose 8 = g + 15. Is g >= -9?
True
Let j be 2/11 - 18/(-22). Let u be 1/j*7/28. Is 2 greater than u?
True
Let i(s) = s + 11. Let d be i(-7). Suppose 11*k - 9*k = d. Is k != -2/5?
True
Let r = 20 - 14. Let o be (6/14)/(9/r). Suppose 0 = 4*f + 4. Is o smaller than f?
False
Let m = 1/20 + -11/20. Do m and 1 have the same value?
False
Let x(j) = -j**3 - 4*j**2 - 2*j - 4. Let i be x(-4). Let b = 4 + -1. Let l be (-1 + 2/(-2))/b. Which is smaller: l or i?
l
Let h be (2/(-40))/(27/(-24)). Let s = h + 28/45. Which is smaller: s or -3/7?
-3/7
Suppose 2*m - 5*v = 22, 4*m - v - 4 = 4. Let p = 8.9 - 8.8. Do m and p have the same value?
False
Suppose -4*a + 5*x = -11, x + 6 - 3 = 0. Is -8/7 at least a?
False
Let y = 0.6 + -0.2. Let l = y - -0.6. Let v = -1.8 - -2.8. Are l and v equal?
True
Let q = -12 + 14. Are q and 1 non-equal?
True
Let v = -22/5 - -149/10. Suppose -4*q - 20 = -2*q. Let z = v + q. Which is greater: z or -2/7?
z
Let y = 25 - 18. Let z = 2 + 3. Suppose -z*h = 5*r - 15, -5*r + 28 = -5*h - y. Is h >= -2?
True
Suppose 13*d = 20*d + 98. Let v be -4*(-2 + 5) - 1. Is v less than or equal to d?
False
Let q = 0.02 + -8.02. Let d = q + 8. Which is smaller: d or -3/7?
-3/7
Let z(x) be the first derivative of -2*x**2 + x + 1. Let j be z(-1). Which is smaller: 6 or j?
j
Let p = -0.3 - -0.9. Do p and -2 have the same value?
False
Let c(g) = g**2 - 3*g - 6. Let h be c(-3). Let d = 13 - h. Do d and 1/8 have different values?
True
Let s be 163/(-11)*(-8)/24. Let i = s + -14/3. Is 1 > i?
True
Suppose -5*o + 10*o = -4*p - 72, 5*o - 4*p = -88. Let k = o + 16. Is k at least as big as 2/25?
False
Suppose 0 = 2*w - 2*i - 5 + 1, w + 3*i = -2. Suppose -13 = -4*o - 0*o - 3*b, 0 = 3*o - b. Is w at least as big as o?
True
Let d = -7/12 + 9/4. Let a(f) = -2*f - 5. Let j be a(-2). Which is smaller: d or j?
j
Let i = -3.6 + 3.77. Let v = -0.03 - i. Which is greater: 0.1 or v?
0.1
Let x(l) = -l**2 - l + 5. Let k(y) = 5*y**2 + 4*y - 25. Let f(b) = 2*k(b) + 11*x(b). Let n be f(-4). Is -3 not equal to n?
True
Let y be (-16)/6*(-6)/4. Let x(w) = 12*w**2 - 5*w - 6. Let k(d) = -d**2 + d + 1. Let s(q) = 6*k(q) + x(q). Let f be s(-1). Is y less than or equal to f?
True
Let g = 80 - 80. Is g not equal to 6?
True
Suppose 0 = -6*c + c - 15. Is -3 smaller than c?
False
Let h be (0 - 2)/(5 - 7). Let g(u) = u - 2. Let x = -3 - -7. Let v be g(x). Is h smaller than v?
True
Let i be 716/(-708) - 3/(-3). Which is smaller: 1 or i?
i
Let s(l) = 3 - 2*l - 2 + 1. Let j be s(1). Is j < 1/19?
True
Let k = 4 + -6. Let m(w) = w**3 + 3*w**2 - 3*w + 3. Let z be 1 + 3 + 0 + -8. Let p be m(z). Which is smaller: p or k?
k
Let w = -4367 - -371199/85. Is w smaller than 1?
True
Let j be (2/(-12))/((-1)/(-20)). Let f = -17/6 - j. Let b = -2 - -3. Does b = f?
False
Let n = -13 + 13. Do n and -1/2 have the same value?
False
Let w be (-155)/(-175) - 6/21. Let p = -0.7 + 0.6. Is w at most as big as p?
False
Let c = -5 + 4.85. Let u = c + 0.05. Let v = -8 + 11. Is v at least u?
True
Suppose -3 = 3*q - 3*c, -2 = -4*q - 4*c + 2. Is q equal to 1/6?
False
Let c = -13 + 21. Let s be (-2)/5 - c/(-20). Let v be 84/(-352) - (-2)/(-16). Which is greater: s or v?
s
Let g(s) = 2*s**3 + s**2 - 4*s + 3. Let i be g(2). Let h be 0*(-2 + i/6). Suppose h = -0*y + 2*y - 6. Is y <= 2?
False
Let v be (-4)/50*(-9402290)/(-16). Let z = -47021 - v. Let y = z - -49/5. Are y and 1 equal?
False
Let m(i) = i - 6. Let n be m(6). Let o be (-2 + 1)*(0 - -3). Let v be ((-14)/4 - o)*4. Is n less than or equal to v?
False
Let z(k) = -k + 5. Let u be z(5). Suppose u = s + 4 - 6. Suppose 0 = 2*r, -4*r = 7*t - 2*t + 5. Which is smaller: s or t?
t
Let z(k) = 3*k - 11. Let a be z(9). Do a and 17 have the same value?
False
Suppose 4*t = 2*b - 10, -3*t - 10 = -6*b + 2*b. Let p = t - 1. Is p less than -2?
True
Let m = 13 + 1. Is 14 greater than or equal to m?
True
Let d = -3 + 2.9. Let o = -2.1 - d. Which is smaller: 0.3 or o?
o
Let p = 43.3 - 43. Which is greater: p or -5/4?
p
Let b = -0.3 - 0.7. Let y = 0.14 - 1.24. Let h = b - y. Which is smaller: h or -1/4?
-1/4
Let q(h) = -h**2 - 3*h. Suppose -4*k + 5*x = -3*k + 12, 2 = 3*k + 4*x. Let f be q(k). Suppose r - 5 = -5*i, -2*i + 3*r + 13 = -6. Is f at most as big as i?
True
Let s = -1.8 - 7.2. Let u = -9.3 - s. Is 1 greater than or equal to u?
True
Let a be (3 - (4 - 0))*-3. Is a less than 4?
True
Let b = -3802 + 15459/4. Let o = b + -63. Suppose 3*u - 2*u + 4*n + 1 = 0, 4*n = 5*u + 5. Is u greater than o?
False
Let q(a) be the third derivative of -a**6/720 + a**5/12 - a**4/24 + 