-m - 2*m - 24 = 0. Let a be m/(-12) - 1/3. Suppose 4*p + 9 = -3*d, d - 5*d + 4 = 0. Which is greater: a or p?
a
Let f = 6.52 + 0.58. Let r = 0.9 + f. Is r > 2?
True
Let b be 0 + -3 + -5 + (3 - 5). Which is greater: -7 or b?
-7
Let c = 5/4 - 1. Is c less than 5?
True
Let f(p) = -p**3 - 3*p**2 + 2*p - 9. Let o be f(-4). Is o equal to 9/7?
False
Let f be (-15)/(-4) + 20/80. Which is smaller: f or 6?
f
Let r = -9 + 16. Let x be (-18)/(-6) + 8/3. Is x <= r?
True
Let f = 15 - 16. Let t = f - -1.04. Is t less than -0.1?
False
Let g be (-25)/500*(-2 - (-58)/(-16)). Are 0 and g unequal?
True
Let j = -5 - -3. Suppose 3*c + 5*h + 22 = -0*h, -4*c - 3*h = 11. Which is smaller: j or c?
j
Let h = 0.04 + 0.36. Let o = h + -0.4. Let d = o - -0.2. Which is greater: 1 or d?
1
Let x be (610/25)/(1*1/(-5)). Is x greater than -121?
False
Let w = 144/187 - 10/17. Suppose 0 = x - 2 + 7. Let t be -2 - x/1 - 4. Which is smaller: t or w?
t
Let u = 6 - 11. Let i = u + 6. Which is greater: i or 0?
i
Let i = -207/4 - -52. Let s be 0/(2/((-4)/(-6))). Suppose s*f = -3*f. Which is smaller: i or f?
f
Suppose -u = -2*u. Let p be 1/(6/(-4) + 1). Is p smaller than u?
True
Let k = -3.6 + -0.4. Which is smaller: k or -1/3?
k
Let h = 5.9 - 6. Is 6 less than or equal to h?
False
Let d(o) = -o + 13. Let b be d(7). Is b > 58/9?
False
Suppose -4*o + 62 = 18. Suppose 5*g - f + o = 0, -5 = -f - 4. Let v = -5 - g. Is -1 > v?
True
Let b = -2.9 - 0.1. Let y = b - -1. Which is smaller: y or -4?
-4
Let k = -10.8 - 0.6. Which is greater: -1 or k?
-1
Suppose -2*z = 0, 5*i + 4*z - z - 180 = 0. Let k be 1 + 2/(i/(-21)). Are -1 and k equal?
False
Let y(v) = -2*v**2 - 3*v - 15. Let f be y(-4). Is f at most 2?
True
Let h be (-2)/(-4) + (-18)/(-4). Suppose 4*q = 5*y + 6, 2*y + 16 + 0 = h*q. Let d be 3/(-2)*(-2 - 0). Is q at least as big as d?
True
Let i be (-1)/(-8)*-2 - 7/(-14). Let j = 2.6 + -0.6. Which is bigger: j or i?
j
Suppose -r + 441 = 185. Let f = r - 2814/11. Which is greater: f or 1?
1
Let a = 8 + -6. Is a not equal to 6/11?
True
Suppose -w + 12 = m + 4*m, -5*m = -10. Let u be -4 + w + 2*1. Let x = 11/18 + 1/18. Is x >= u?
True
Suppose 5*j = -4*u + 11, 0 = -5*u - j + 4*j + 23. Which is smaller: u or 5?
u
Let a = 0.9 + -0.7. Which is smaller: 3/4 or a?
a
Suppose 2*g + 330 = 64. Let b = 523/4 + g. Let q = b + 25/12. Which is smaller: 1 or q?
q
Let y = -19/2 + 137/14. Do y and 1 have the same value?
False
Let c be 6/(-1) - (-3 - -2). Let t(m) = -m**2 - 4*m + 3. Let d be t(c). Let x be 0 + d + 7/4. Is -2 greater than x?
False
Suppose c = -1, -b + 2*c = -6 - 1. Suppose -2*j - 2*j - 11 = -b*o, 7 = 4*j + o. Let l be (-1*2 - 1)/j. Is l < -3?
False
Let f = 85.2 + -98. Let t = 12 + f. Are 1 and t unequal?
True
Let l = 72 - 359/5. Is l <= 0.2?
True
Let p(d) = -d + 4. Let l be p(4). Let h be (1 - -1)*(-2)/10. Are l and h non-equal?
True
Let i(c) be the second derivative of c**5/20 - c**4/3 - c**3/2 - 7*c**2/2 + c. Let g be i(5). Suppose 0*o - 16 = -4*o, 1 = 3*h - 2*o. Is g at least h?
True
Let k be 2/(-2)*(3 + -3). Suppose -4*j + k = 2*b + 6, 0 = -2*b - 3*j - 4. Suppose 4*q = -v - 24 - b, -2*v + 4*q = -10. Which is smaller: -6 or v?
-6
Let h = 0.2 - -1.76. Let m = 2 - h. Let n = m + -5.04. Which is smaller: n or -0.1?
n
Suppose -4*c = 3*j - 12, 2*j - 4*j = 0. Which is greater: 5 or c?
5
Let a = -18 - -21. Let u = -2 + a. Which is greater: 11 or u?
11
Let j be 2/8 - (-22)/8. Suppose 0 = -2*f - j*f. Let v = -110/39 + 28/13. Is v >= f?
False
Suppose -3*y - 2 = 4. Suppose 33 = 5*s + 23. Is y at most s?
True
Let c(p) = -p**3 + 8*p**2 - p - 4. Let k be c(8). Which is greater: -11 or k?
-11
Let o = -6 + 6. Which is greater: o or -2/9?
o
Let g(d) = -d**3 - 24*d**2 + 1. Let f be g(-24). Is -2/367 less than or equal to f?
True
Suppose 0 = -2*b - 2*b. Let g = 1 + b. Is 1 at most g?
True
Let u be ((-6)/10)/((-3)/(-2)). Let f be (-2)/(-6) + 2/3. Suppose 2*w - q = 3*q - 2, w + 5*q + f = 0. Which is greater: w or u?
u
Let x = 329 - 5591/17. Which is greater: -1/2 or x?
x
Let v(z) = -5*z**3 + 6*z**3 + 4*z + 0*z**3 - 5*z**2 - 1 + 0*z**3. Let o be v(4). Which is greater: o or 2/19?
2/19
Let w = 4 + 1. Let b = 5.1 - w. Is 2 != b?
True
Let g = -0.5 + -0.5. Let u = 0.5 + g. Let d = u + 0.6. Which is smaller: 1 or d?
d
Let k be -10*(-1 + 2 + -2). Suppose -3*s + 4 = u - 2*s, -5*s + k = 0. Suppose 6 = -0*l + 2*l. Is u >= l?
False
Let v = 13 - 18. Let w = v - -1. Let o = -1 + 0.8. Which is greater: w or o?
o
Let g(s) = -s**3 + 6*s**2 - 3*s - 7. Let x be g(5). Let y = 7 + x. Which is greater: 11 or y?
11
Let k = 11.2 - 13. Let v = k + 2.1. Which is greater: v or -0.2?
v
Let d(u) = u**2 - 3*u - 1. Let z be d(3). Let c be (z - 1) + (2 - 0). Let j(x) = -x**3 - x**2 + 2*x - 1. Let w be j(-2). Which is smaller: w or c?
w
Let b be (11 - 9)/((-1)/6*1). Is b greater than 2?
False
Let o = 0.58 + -0.48. Let w be (1/(-1) - -4) + 0. Which is smaller: w or o?
o
Let m(c) = c**2 + 3*c + 3. Let o be m(-4). Let f(a) = 3*a**2 + a - 1. Let y be f(1). Suppose 0 = -y*u + o*u + 12. Is u < -3?
False
Suppose 1 = -t - 2*n, 0 = -t + 4*n + 14 - 3. Let f = 1307/393 + 1/131. Is f greater than t?
True
Let u = -0.2 + 1.2. Let i = 3.83 - 3.9. Which is bigger: i or u?
u
Let t be (4 - 1) + (15 - 21). Suppose -2*h - h = 0. Which is greater: h or t?
h
Let y be (6/(-5))/(10/(-25)). Let h be (-6*y/6)/3. Let w = -4 + 2. Are w and h equal?
False
Let q = -24.7 - -9. Let i = 16 + q. Do 2/9 and i have the same value?
False
Let z = 3136/9 - 349. Which is smaller: z or -1?
-1
Let c = 12 - 12. Is c smaller than 1/9?
True
Let p be ((-5)/15)/((-2)/(-6)). Is p > -2/7?
False
Suppose -7 = -2*s + 5*t, -3*s + 13 = -t - 4. Let l = 0 - s. Is -7 equal to l?
False
Let x be 3/18 + 2362/(-7740). Let l = x - -2/387. Is l >= -1/3?
True
Suppose 13 + 7 = 2*q - 4*s, 5*q = -3*s - 15. Let c be 2/7 - (186/63 + -2). Which is greater: q or c?
q
Let z = -0.07 - -2.07. Let b be 1/(-2) + (-14)/(-4). Suppose b*l - 2*r - 5 = -4*r, 0 = -3*l - 3*r + 6. Which is smaller: z or l?
l
Let y = 0.014 + -0.114. Let f = -1.9 - -2. Is f smaller than y?
False
Suppose 5*v - 2*s = -7*s + 35, 3*v + s - 31 = 0. Suppose -3*h - v = 4*l, -3*h - 2*l - l = 9. Let m be (-3)/6*(0/(-3))/2. Is h < m?
False
Suppose 0*h - 1 = 3*p - 4*h, 4*h = -5*p + 9. Is 5/6 < p?
True
Let v = -182112796/501475 + 17/38575. Let w = v + 363. Which is smaller: -1 or w?
-1
Suppose 5*u + h + 36 = 0, 5*u - 5*h + 32 = -2*h. Which is smaller: u or 0.1?
u
Let y(o) = o**3 + 3*o**2 + 2*o + 1. Let s be y(-1). Suppose 3*b - 3*d - 24 = 0, 0 = -3*b - d + 13 - 5. Let i be (-4)/10 + b/8. Is i less than s?
True
Let d(i) be the second derivative of -i**5/20 - i**4/2 - 2*i**3/3 + 2*i**2 + 2*i. Let t be d(-5). Is 1/11 greater than t?
True
Let q = -3 + -2. Let x = -5.2 - q. Which is bigger: x or 2?
2
Let p = 1234/7 - 176. Suppose -l = -3*i + 11, 0 = 3*l - 2*l + i - 5. Suppose 5*s + w - l = 2, 2*w = 6. Is p less than or equal to s?
False
Let j = -3.2 + -5.8. Do 0.1 and j have different values?
True
Let t = 2430 - 12279/5. Let r = -26 - t. Do 0 and r have the same value?
False
Suppose 3*o - m - 124 = 0, -4*o + 4*m - 6*m = -152. Let d be 6/4*o/30. Is 3 != d?
True
Suppose 8 = 2*j - 4*j. Let a(x) = x**2 + 5*x + 6. Let d be a(j). Suppose -5*o + v + 19 = -d*v, 4*v = -5*o - 2. Does 3 = o?
False
Suppose 2*d = d. Let l(i) = -11*i + 15. Let q(g) = 5*g - 7. Let m(n) = -4*l(n) - 9*q(n). Let s be m(d). Is s smaller than 3?
False
Let l = -3 + 2.96. Let y = l - -0.34. Let b be (-5 - -4)*((-39)/15 - -3). Is b at least y?
False
Suppose 6 - 3 = 3*c. Is c <= 2?
True
Let w = 19 + -14. Which is smaller: w or 7?
w
Let d = -3 + 1. Is d bigger than -6/11?
False
Suppose 3*c + 0 = 9. Suppose -2*u + c*z + 24 = 0, 5*z = -2*u + u + 25. Is u greater than or equal to 16?
False
Suppose -4*x = -2*k - 3 - 3, -5*x + 4*k + 6 = 0. Is x at least as big as 22/13?
True
Let f = -1864/9 + 208. Is 0 > f?
False
Suppose 7*d + 28 = 3*d. Let u be (-2)/(-28)*(d - -1). Is 0 >= u?
True
Let v(a) = -5*a - 1. Let x be v(-1). Let k = -2 + 1. Let y be k + -1 + x/2. Which is smaller: 1 or y?
y
Let a be (-1 - -4) + (-19)/1. Let b = 10 + a. Let y = b - -9. Is y at least as big as 2?
True
Let b = -14 - -6. Let u be 15/(-156) - 2/b. Which is bigger: 1 or u?
1
Suppose 3*z = 3*a + 2*z + 4, -3*z + 12 = 5*a. Is -2/45 not eq