 Suppose -15 = 3*c + 2*c. Let o = c - i. Which is bigger: -0.2 or o?
o
Let k(y) = -y**3 + 7*y**2 - 7*y + 9. Suppose m - 2*j - 22 = 2*j, j + 10 = m. Let c be k(m). Suppose -4*d + 17 = 1. Which is smaller: d or c?
c
Let k be (18/(-4))/(6/(-8)). Suppose -k*n = -3*n - 18. Let i = n + -9. Which is bigger: i or -5?
i
Let b = -79 - -76. Which is smaller: -2 or b?
b
Let f be -11 - -6 - (0 + -3). Let q = 20/9 - 35/9. Is f at least q?
False
Let b(u) be the second derivative of -u**3/3 - u. Let h be b(-2). Suppose -1 = h*s + 3. Are s and -2 unequal?
True
Let q = -183 - -173. Let s = 8 - 18. Is s at most as big as q?
True
Suppose 2*i = -3*i + 25. Are i and 4 unequal?
True
Let k(x) = -x**2 + 2*x. Let t be (-5)/(5/(-4)) + -2. Let h be k(t). Let n = 2 - 3. Which is smaller: h or n?
n
Let c(b) = -b**2 + 6*b + 9. Let i be c(7). Let w(t) = t**3 - t**2 - 2. Let d be w(2). Is i >= d?
True
Suppose 0 = 2*f + 2*r + 2*r - 10, -2*r = -4. Let m = 4 - f. Suppose 4*n = n. Is n not equal to m?
True
Suppose -3*n = n - 72. Let m be 5/18 + 4/n. Is m greater than or equal to -2/3?
True
Suppose -2*c - 2*c - 28 = 0. Let l be 36/(-28) - 2/c. Let r be (-20)/24 - 1/(-2). Is r > l?
True
Suppose -g + 4*y + 5 + 12 = 0, -4*y = 20. Is -5 at least as big as g?
False
Suppose 42 = 5*y - 53. Suppose 3*p - 10 = 5*u, 4*u + 6 = -p - y. Let t be 5*((-6)/u + 0). Is t less than 6?
False
Let r(u) = 2*u + 9. Let m be r(-5). Let b be 3/4*(-8)/2. Which is smaller: m or b?
b
Let a be -5*(4/5)/(-2). Suppose -a*n + 16 = 3*z, 0 = -4*z + 5*n - 5 - 12. Suppose z - 6 = 4*y. Which is bigger: -5/4 or y?
y
Suppose -4*v + 2*v = -4*o - 24, 0 = 2*v - 5*o - 24. Is v < 12?
False
Let r be (13/3)/(4/(-12) + -1). Which is smaller: -4 or r?
-4
Let u be (-34)/6 - (-4)/(-12). Let k be 1 + (u - (0 - 3)). Is -4 at least k?
False
Suppose -5*l = -5*j + 15, -3*l + j - 7 = -2. Let w = 53 + -31. Suppose -16 = 4*f + 2*c, -f - 5*c + 0*c = w. Which is bigger: f or l?
l
Let m(q) = 3*q**2 - 2*q - 1. Let s be m(-1). Let x be (-1)/s - 2/24. Which is smaller: -11 or x?
-11
Let h = 27 - 28. Which is smaller: h or -2/9?
h
Let t be -1 - (-3 + 0 + 5). Which is smaller: t or -2?
t
Let v be (-83)/17 + 6/(-51). Which is bigger: v or 1?
1
Let a = 39 + -40. Which is smaller: -1/33 or a?
a
Let h = -997285 + 18953315/19. Let p = 512 + -254. Let f = p - h. Which is smaller: -1 or f?
-1
Let a be (-2)/(-3) + (-115)/(-3) + -4. Is a <= 35?
True
Let w = 15568/43 + -362. Is 1 at least w?
True
Let y be 1 - 1/(5/4). Let t(i) = -i**3 + 7*i**2 + 8*i - 1. Let b be t(8). Let x be (b - -2 - 1)/(-1). Which is greater: y or x?
y
Suppose -2*r - 2*j - 4 = 8, 3*r + 14 = -4*j. Which is bigger: r or -8?
-8
Let a = 0.42 + -0.1. Let s = 0.1 - 0.4. Let c = s + a. Is 0 at most as big as c?
True
Let b be 12/(-3)*(-5)/(-44). Does b = 1?
False
Let n be (0 - -2) + -5*1. Let w = n + 4. Which is greater: 2 or w?
2
Let a = 219 - 317. Let y = -1074/11 - a. Is -1 less than y?
True
Suppose -58 - 38 = -6*b. Is 17 at least b?
True
Let y(g) = g + 7. Let t(n) = -n - 15. Let x be t(-9). Let j be y(x). Which is smaller: j or 3/7?
3/7
Suppose 0 = -12*o + 17*o - 20. Which is bigger: 15/4 or o?
o
Let r be ((-97)/33)/((-6)/(-4)). Let c = -24/11 - r. Let o = 0.04 + 0.06. Is c < o?
True
Let m(x) = -x**3 + 5*x**2 + 3*x + 14. Let o be m(6). Let g be 6/o*88/(-33). Suppose 0*c - 6 = c - 4*q, -c + 2*q - 2 = 0. Is c at most g?
True
Let n(k) = 7*k - 2. Let o be n(1). Let g(m) = m - 4. Let l be g(o). Is l at most 3/7?
False
Suppose -2*i + 4*t = -2, 3*t + t = 0. Let f be -58*(28/8 + 2). Let d = f + 5425/17. Is i bigger than d?
True
Let d = 3.001 + -0.001. Which is smaller: -2/9 or d?
-2/9
Let d be (-25)/(-25)*(-3)/(-7). Are d and 0.2 unequal?
True
Let v be (-438)/36 - (-3)/18. Let n = 12 + v. Let a be (-2)/4*-2 - 3. Is n != a?
True
Suppose 0 = -j + 4 + 2. Let n(g) = -g**2 + 7*g - 7. Let d be n(j). Let q be d - 0 - (3 - 5). Which is smaller: q or 0?
0
Let l(n) = n - 4 - 1 + 2. Let v(m) = m + 9. Let a be v(-5). Let y be l(a). Which is bigger: y or 0?
y
Let x(b) = b**3 - 3*b**2 - 2*b - 3. Let d be x(3). Let c = -9 - d. Is -3/19 <= c?
True
Suppose -2*o + 7*o = -25. Let b = 7 + o. Let k be (-9)/12 - b/8. Which is smaller: 1 or k?
k
Let g = -10 - -47. Which is smaller: 39 or g?
g
Let a(c) = -c + 5. Let x be -6*6/9*2. Let d be a(x). Let b = d - 38/3. Which is smaller: -1 or b?
-1
Let h = 34 + -21. Let w = 12 - h. Is w bigger than 0.05?
False
Let l = -15.21 + 0.21. Let q = -15.2 - l. Which is smaller: 0.06 or q?
q
Let p(r) = -r + 2*r - 2*r - 4. Let d be p(-3). Let z = 0 + 0. Does d = z?
False
Let o = -541691/1145140 + 120/1847. Let i be (7/(-1302))/(2/3). Let d = i - o. Is d less than -1?
False
Let x = 7 + -1. Let u = -6.1 + x. Suppose -d + 3 = -1. Is d != u?
True
Let m = 217 - 664/3. Let i = -1 + 0.9. Is i bigger than m?
True
Suppose -k = 4*k. Is -5/4 greater than k?
False
Let x be (-5 - -1)*(-3)/(-10). Which is smaller: x or -2/9?
x
Let a(h) = -6*h - 36. Let d be a(0). Is 0.1 greater than d?
True
Let f = 0.21 - 0.31. Let r = 1 - 0. Which is greater: f or r?
r
Let p be 1/((-1)/28)*-1. Which is greater: p or 27?
p
Let f be (-165)/(-12) + (-2)/(-8). Suppose 2*v - 5 = -o, 0 = -4*v + 4*o + 14 + f. Which is smaller: v or 3?
3
Let q be 3/6 + ((-12)/8)/3. Which is smaller: -20/17 or q?
-20/17
Suppose -5*p + 0*c + 2*c = 32, -4*c = 4*p + 20. Which is smaller: p or -9?
-9
Let c = -271 - -1631/6. Suppose 0 = -5*y + 20 - 15. Which is smaller: c or y?
c
Let y be ((-6)/4 + 1)*2. Let b be 3 - (3 - (2 + 0)). Suppose -q = b*q - 3. Which is bigger: q or y?
q
Let n = -1 + 5. Let l = -5 + 8. Let y be 6/9 + 7/l. Is n equal to y?
False
Let a = -0.2 + -0.8. Let i = 0.1 - -0.9. Let p = 1 + i. Do a and p have different values?
True
Suppose -10 = -4*n + 9*n. Is -4/3 >= n?
True
Let x = 12 - 8. Let o(l) = -l**2 + 19*l - 14. Let j be o(17). Suppose -5*h = 2*r - r + 13, -j = x*h + 4*r. Is 2 less than or equal to h?
False
Let c(n) = -7*n**2 + 4 - n + n**3 + 6*n + 2. Suppose 0 = -20*z + 18*z + 12. Let p be c(z). Is 2/21 at most as big as p?
False
Let k(s) be the third derivative of -s**5/60 + 3*s**4/8 + 4*s**3/3 - 4*s**2. Let u be k(10). Which is smaller: -1 or u?
u
Let x = -563 + 16317/29. Which is bigger: x or -1?
x
Let b = 833/124 - 30/31. Are 6 and b nonequal?
True
Suppose 3*m - 5*v + 23 = 54, 2*v + 2 = -4*m. Let k = -0.7 - -0.2. Is m < k?
False
Let z be (-4)/(-6) - 2/3. Suppose z = 3*s - s - 6. Suppose 2*a - s = -0*v + v, 3*a - 4*v - 7 = 0. Is 0 != a?
True
Let j(b) = b**2 + 9*b + 1. Let a = 7 + -16. Let o be j(a). Which is bigger: 3 or o?
3
Let w = 5.76 - 6. Let r = -0.25 - w. Which is smaller: 2/11 or r?
r
Let u be (-8)/(-3)*3*-1 - -3. Is -5 < u?
False
Suppose -3*d + 0 = 6. Let o = -4 - d. Which is bigger: -4/5 or o?
-4/5
Let d be 3*(0 + 1) + -1. Suppose -r - r + 4*c = -14, d*c = 5*r - 19. Let t be (-2)/(-8) - r/4. Which is bigger: t or 0?
0
Let n = -325 + 323.03. Let j = 0.03 - n. Which is greater: j or 0.1?
j
Let h = 4 + -2. Let g be 2*1*1/(-2). Which is smaller: g or h?
g
Let k = 1 + 1. Suppose 0 = -k*q + 5*s - 6 - 3, 0 = 4*s - 4. Let l be q + 22/6 + -1. Is 0 equal to l?
False
Let b(s) = -5*s + 31. Let v be b(6). Which is bigger: v or -1/82?
v
Let k = 12 + 4. Let o be 120/k*(-24)/10. Is -2/5 > o?
True
Let l = -96 + 134. Let z be 0 - (5/l)/5. Let o = 67/342 - z. Is 1 smaller than o?
False
Suppose -2*i - 5 = -i. Is -5 equal to i?
True
Let v = -8 + 3. Suppose -w - 8 + 3 = 0. Are v and w equal?
True
Let i = -24 - -54. Which is smaller: 29 or i?
29
Suppose 4*f - 3*d + 1 = -2, -6 = 3*f - d. Let s = 3 + f. Suppose n - 4 + 3 = 0. Which is smaller: n or s?
s
Suppose -4*j + 40 = 4*x + 8, 0 = -3*x - 4*j + 29. Let t be (2/x)/((-3)/9). Is t >= -0.2?
False
Let p = 38 + -38.5. Is 0.2 greater than or equal to p?
True
Let p = 11 + -33. Let x be (8/p)/((-6)/(-9)). Let o = -13/44 - x. Which is bigger: o or 0.1?
o
Suppose 2 = -6*h - 10. Which is bigger: 12 or h?
12
Let v(o) = -o**2 + 24*o - 1. Let n be v(24). Is n != -2/7?
True
Suppose -1 - 5 = -2*y - 2*v, -y - 3*v = -13. Let f(c) = c**2 - 10*c + 14. Let q be f(11). Let b = -27 + q. Is b > y?
False
Let b(j) be the first derivative of j**4/2 - 2*j**3/3 + j**2/2 + 3. Let k be b(1). Which is bigger: 2/19 or k?
k
Let p = 0.94 + -0.14. Is p at most as big as 0?
False
Let w be 2 + -1 - (-24)/8. Suppo