 most o?
False
Let d be (2 - -1) + (3 - 2). Suppose -o = -d*o. Do o and 5/6 have the same value?
False
Let n(p) be the third derivative of p**4/24 + 4*p**3/3 - 5*p**2. Let o be n(-7). Which is smaller: o or 1/4?
1/4
Let y(s) = 2*s - 14. Let r be 1/(-2 + 0)*-22. Let i be y(r). Suppose 0 = 3*f - i*f - 20. Is -4 equal to f?
True
Let m = -431/60 - -14/15. Let p = m - -183/28. Is 0 smaller than p?
True
Let p = 209/1105 + -3/85. Which is smaller: p or 1?
p
Suppose -5 = m, 3*c + 0*c = 2*m + 1. Let u(b) = 6 + 8*b - 7*b - 3 + 0*b. Let v be u(c). Which is smaller: v or -1/3?
-1/3
Let g be (-2)/(-4) - 217/350. Is 1 >= g?
True
Let y = 79 + -78.18. Let a = -0.12 + y. Is 0 at most as big as a?
True
Suppose -5*j = -b - 18, -6*j = 4*b - 2*j. Suppose 8*n = -13 - 11. Is b less than n?
False
Let c(l) = -l**3 - 5*l**2 - 6*l - 6. Let b be c(-4). Let u be 1/3*6/b. Is 2/5 > u?
False
Let k = -187/1368 + 2/171. Is k greater than 1?
False
Suppose -6*p + 7*p = -11. Are -0.1 and p equal?
False
Let h be -2*(-4)/(-20)*2. Which is greater: h or -2?
h
Let h = -77/8 - -21/2. Are h and 0 nonequal?
True
Let a = -18 + 19. Is -1/20 < a?
True
Suppose 2*l - 4*n - 8 = 0, 3*l - 7*l + 7 = n. Suppose -4*b - 6 = -l. Suppose 17*u = 15*u - 2. Is b >= u?
True
Let p = 4.8 + 0.2. Let w = p + -9. Let u be 2/1 + -3 + 2. Is w != u?
True
Let q = -0.5 - -0.3. Is -0.2 greater than q?
False
Let r be ((-3)/6)/(5/(-340)). Do r and 35 have different values?
True
Let j be ((-12)/(-117))/((-8)/(-4)). Which is smaller: j or 0?
0
Let g = 80321/21 - 3823. Let k = -8/7 + g. Let u = -1.97 + -0.03. Is k less than u?
False
Suppose 19 = -3*n - m, 4*n - 5*m + 19 = -0*m. Let q = -6 - n. Is q < 0?
False
Suppose 0 = 3*i + 2*i + 55. Suppose 13 - 43 = 3*g. Which is greater: i or g?
g
Let x = 18 - 8. Let w = x - 6. Which is smaller: w or -1?
-1
Let b(a) = a**3 - 2*a**2 - a. Let f be b(2). Let r(j) = j + 4. Let c be r(-7). Which is greater: c or f?
f
Suppose -n = 5*t - 28, 2*n + 3*n + 5*t = 40. Let f be (0/(-4))/((-2)/2). Is f bigger than n?
False
Let h = -16.1 - -13.1. Which is smaller: 2/7 or h?
h
Let m = -1.8 + -0.2. Let a be -1*((-5)/12 + 6/9). Is m < a?
True
Suppose -2*v + 8 = -v - 2*r, -r + 14 = v. Let o = v + -12. Let c = 33 - 67/2. Which is bigger: c or o?
o
Let r = -109 - -94. Which is bigger: r or -2?
-2
Let f be -3*1 - (-5 - -3). Let j be 14/(-63) + 16/(-9). Is f at most j?
False
Let o = -5/9 + 2/9. Suppose 3*b + 4*g = 6 + 5, -b - 9 = -5*g. Which is smaller: o or b?
o
Let d = 71/6 + -641/54. Let l be (-72)/(-48) + (-6)/4 + 1. Are d and l non-equal?
True
Let y be -2 - (0 + 2)/(-1). Let g be (-2)/(-10) + 26/(-30). Which is smaller: y or g?
g
Let t = -0.17 + 0.07. Which is smaller: 13/3 or t?
t
Let r = -27692 - -2132201/77. Let z = r - -15/11. Is z < 0.5?
True
Suppose 26*v + 8 = 30*v. Let q(c) = c**3 + 5*c**2 - c - 6. Let s be q(-5). Is v greater than or equal to s?
True
Let q(f) = -f**2 - 5*f - 1. Let x = 12 + -17. Let y be q(x). Are -1 and y unequal?
False
Let d(n) = 2*n**2 - 2*n - 2. Let f be d(2). Let x be 0*(f + -1)/(-2). Which is bigger: x or 1/4?
1/4
Suppose -13*n = -8*n - 25. Suppose -n*l = -25, -2*l + l = 2*i - 21. Which is bigger: i or 10?
10
Let q be (6/5)/((-8)/(-40)). Is q bigger than 5?
True
Let s = -4.1 + 4.1. Do s and 58 have different values?
True
Suppose 0 = 5*i - 34 - 56. Let w be 27/i*(-8)/(-6). Suppose 5*y - 4*j = 6 + 10, -8 = -5*y + w*j. Which is smaller: 1/4 or y?
y
Let m = -5 + 5.35. Let g = m - -2.45. Let u = g + -3. Is u bigger than -0.1?
False
Let u(p) = p + 6. Let b be u(-3). Suppose 0 = b*k - 7 + 1. Let z = k + 1. Which is bigger: z or 4?
4
Suppose 5*s - 5*m - 19 = 16, -12 = -s + 2*m. Let n = 44 + -46. Let b be n*(s/16)/(-1). Which is greater: b or 2?
2
Let s be 50/(-45) + -4 - -6. Which is bigger: 1 or s?
1
Let u be (20/(-165))/((-2)/(-9)). Suppose -2*c - 7 + 2 = o, -2*o = -c. Is u not equal to o?
True
Suppose 2*z - 4*p = -2*z + 32, -z - 2*p = -2. Let n = 6 - z. Is 0 bigger than n?
False
Let n = 0.4 - 0.3. Let m = -0.04 + n. Let t = 0.16 - m. Are t and -1 equal?
False
Suppose -11*x + 0 = 44. Is x at most as big as -3?
True
Let l = 13 - 1. Is l less than 12?
False
Let k be 19/44 - 10/55. Let w = 2 - 1.8. Are w and k unequal?
True
Suppose 0 = -5*b + 35 - 0. Suppose -4*m + 5*w = -21, 2*m + 5 = -2*w - b. Let x be -2*(-2)/(1*10). Which is smaller: x or m?
m
Suppose 0 = -5*q - 1 - 4. Suppose -3 + 7 = -4*i. Are q and i nonequal?
False
Suppose -3*k - k = 0. Which is bigger: -5 or k?
k
Suppose 288 = 15*a - 72. Are a and 25 equal?
False
Let a = 230 - 164. Let j be (-8)/a*6/(-4). Suppose 0 = -w - w. Is j > w?
True
Suppose -2*k = -7*b + 2*b + 2, -4*k = -4*b - 8. Suppose -3*l = b*r, l + l + 8 = -4*r. Do l and -0.4 have the same value?
False
Suppose 3*i - 16 = 47. Let h be 6/(-5)*10/i. Are h and 0 non-equal?
True
Suppose 2*d = -1 - 5. Let l(s) = 3*s - 10. Let v(r) = -r. Let j(x) = l(x) + 4*v(x). Let g be j(-7). Is g smaller than d?
False
Let h be (-2)/(-4)*(3 - -5). Let m = 8 - 3. Which is greater: h or m?
m
Let w be 0/(5/(15/6)). Let f = 5 - 6. Do f and w have the same value?
False
Suppose 70 = -p + 6*p. Let q be (-38)/92 - (-7)/p. Which is greater: 1 or q?
1
Suppose -5*t - 3*a = 2*a - 35, -5 = -a. Let s be 5 + 1/(t/(-4)). Let m be s/(-6) - (-1)/(-2). Is -1/6 <= m?
False
Let d be (-96)/10 - 2/5. Let i be 2/d + (-24)/(-20). Let h be 1/2*(i + -1). Is h at least as big as 1/3?
False
Let t be (-416)/352 + 4/22. Is -1 < t?
False
Let p = -5 + 3. Let c(l) = -5*l - 4*l**2 + 12*l**2 + 0*l - 15 + 0*l**3 - l**3. Let x be c(7). Is x <= p?
False
Suppose 0*q + 5*q = 0. Let v be (-9 + 4)*3/(-5). Let n be v/20 + (-3)/12. Do n and q have the same value?
False
Suppose -8*a - 59 + 43 = 0. Which is greater: 1 or a?
1
Let o = 891 - 15151/17. Let u = -25/34 - o. Suppose -4*y - 12 = 2*n, -2*n + 14 + 1 = -5*y. Which is bigger: u or n?
n
Let s be 4/(-6) - 4/3. Let u be -1*4*(-3)/s. Let d = u + 8. Which is bigger: d or 3?
3
Suppose -28 = -2*c + 4*z, 0 = -5*c + z + 3*z + 46. Let k be (2 - c)*1/(-28). Are 0 and k unequal?
True
Suppose 11 + 29 = 5*c. Suppose 2*x - c = -0*l + l, 0 = 3*l + 6. Let q be 4*-2*(-3)/12. Which is bigger: q or x?
x
Let u = -37 + 36.96. Which is bigger: u or 1?
1
Let l(r) = -247*r + 1. Let h be l(-1). Let j = -987/4 + h. Which is greater: j or 2?
2
Let p = 0.34 - 0.04. Let m = p + -0.3. Let g be 2/(-60) + (49/(-21))/(-7). Does g = m?
False
Let u = 826339/6988 - 2/1747. Let r be (-1668)/14 + (-2)/(-14). Let z = r + u. Which is greater: z or 0?
0
Let l be 1*(4 - (4 - -1)). Is 2/183 less than l?
False
Suppose -i + 2*i = -151. Let a = i + 449/3. Which is smaller: a or 0?
a
Let b = 2 + -3. Let w be 1/(((-10)/14)/((-18)/63)). Which is greater: w or b?
w
Let q be 1/(-4) + (-5)/(-20). Which is smaller: -1 or q?
-1
Suppose 2*w = 5*w - 12. Suppose -8 = -a - 3*a, 5*o - 2*a = 31. Which is greater: w or o?
o
Let z be (100/(-35) + 5)/1. Are z and 2 equal?
False
Suppose 6*c = 2*c + m + 38, 0 = -4*c - 2*m + 44. Let g = 13 - c. Which is smaller: g or 4?
g
Let h = 247620 + -2969425/12. Let v = h + -168. Is -1 less than or equal to v?
True
Let c be (-18)/(-14) - (-6)/(-21). Suppose 0 = v - c - 2. Suppose -2*i = -v*d - 4, 4*d - 5*i = -10*i + 10. Which is smaller: -2 or d?
-2
Let n be -12 + (-3 + 1 - -5). Let d = 16 + n. Is d at least 6?
True
Let y = -34 + 35. Is y > 2/293?
True
Suppose d - 12 = -4*w, 28 = -2*w + 7*w - 2*d. Suppose -p + 9 = 2*p + 4*n, 0 = w*p + n + 1. Is -0.1 != p?
True
Let b = 8 - 1. Suppose -4*y + 18 - 2 = 0. Is b less than y?
False
Let d(k) = k**3 + 9*k**2 - 7*k - 13. Let p(x) = -3*x**3 - 17*x**2 + 13*x + 27. Let i(b) = 5*d(b) + 2*p(b). Let c be i(10). Does c = 0?
False
Suppose r + 2 = 0, m - 4*m + 2*r + 25 = 0. Let g(f) = -f**3 + 6*f**2 + 6*f + 4. Let q be g(m). Which is greater: -2 or q?
-2
Let s = 1308/11 - 119. Which is bigger: -1 or s?
s
Suppose 5*x - 13 = -3. Let o = x + -1. Suppose -3*j = v - o, -5*v + 5*j + 13 = -12. Which is greater: v or 6?
6
Let t = -80 - -10. Let m be 1/(-5) - (-6)/t. Which is smaller: m or 1?
m
Suppose 0 = -3*b + 10 - 7. Which is smaller: b or 0.21?
0.21
Let a = -2 + 6. Suppose 2*n - 3*n = -a. Which is smaller: n or 3?
3
Let f be (56/10)/(124/10). Which is bigger: 1 or f?
1
Let y(a) = 6*a**2 - 2*a. Let q be y(-2). Let u = q - 15. Suppose -p + h + 3 = 0, 0 = 5*p - p 