((-3)/r). Are 2 and b non-equal?
True
Let a = 0.9 + -1. Let w = 11 - 10.95. Let g = w - 1.05. Which is smaller: a or g?
g
Let c = -65.9 - -66. Which is greater: c or -72?
c
Suppose 0 = -2*g - g + 12. Let h = g + -4. Suppose -3*x + 0*x + 3 = h. Which is smaller: x or 0?
0
Suppose -7 = -2*a - q, 2*a + 6 = 2*q + 16. Let f be a/63 - 2/7. Is 1 != f?
True
Suppose 2*u = 6 + 12. Let i be ((-6)/u)/(4/66). Is -11 at most i?
True
Let g be 4 + (3 - 6)/(-3). Let o be g/4*(-5)/10. Let b = 9/8 + o. Is b smaller than 0.1?
False
Let w = 0.8 + -0.87. Let f = w - 0.03. Which is smaller: -2 or f?
-2
Let o = -1.8 - -1.4. Is o smaller than 0?
True
Suppose h = 4*u - 17, 5*u - 15 = 2*u. Which is greater: h or 4?
4
Let c be (3 - 28/8)*12. Is -6 greater than c?
False
Let v = 51 + -46. Are v and 5 nonequal?
False
Let w(m) = -m**2 - 7*m - 6. Let o be w(-6). Suppose o = -2*i - 7 - 13. Let r be ((-12)/i)/(4/10). Is r > 0?
True
Let q(f) = f. Let c(r) = 5*r - 1. Let l(h) = c(h) - 3*q(h). Let b be l(2). Is b greater than 3?
False
Suppose 2*y + 2*y = -76. Which is smaller: y or 0.1?
y
Let g(y) = -y**3 + 5. Let q be g(0). Suppose 2*t + 8 = -n, -q*t + t = 8. Is -2 at most n?
False
Let w = -73 - -40. Let y be w/3*1 - 1. Let n be (y/(-10))/(12/15). Is n bigger than 2?
False
Let y(c) = c**2 - 2*c + 3. Let h be y(3). Suppose -4*m + 0*z - 2*z = 6, 5*m + z + h = 0. Do m and -5/3 have the same value?
False
Suppose 2*k = -4*k - 12. Suppose -4*g = 5*t + 2 - 12, -4*t + 2*g = 18. Is t greater than or equal to k?
True
Let w(d) = 9*d - 5. Let y be w(3). Suppose y = -k + 4*f, 2*f = -4*k - 3*f - 25. Which is greater: -11 or k?
k
Suppose 2*v - u + 8 = 0, u + 20 = -5*v + 4*u. Which is smaller: -5 or v?
-5
Suppose -5*k + 2*r = -5, 0*r + 4 = k - r. Let c = 2 + -2. Which is greater: c or k?
c
Suppose 26 - 25 = -f. Let l = -0.01 + 0. Is f <= l?
True
Let j(z) = z**3 - 8*z - 4. Let s be j(-3). Which is greater: s or -11/2?
-11/2
Let x(y) = y**3 - 7*y**2 - 9*y + 10. Let r be x(8). Suppose -15 = r*w - 3. Is w at most as big as 2/3?
True
Let z = 18 + -19. Let v = z - 0. Is v greater than 8?
False
Let m = 10 - 3. Which is smaller: m or 6?
6
Let x = -3341/7 - -477. Suppose -3*d = d + 4. Is d less than or equal to x?
True
Let j = -0.8 - -1. Let y = 0.1 - j. Let o = -0.1 - 0.1. Which is bigger: o or y?
y
Let c = -3636/815 + -2/10595. Let i = -425/104 - c. Let g be 0 + 1 - (3 - 1). Is g bigger than i?
False
Let r be 0 - 0 - (-121)/(-22). Is r at most -6?
False
Suppose 0 = 2*n + 10, 0 = -2*z + n - 2*n - 7. Suppose -3*l = v - 22, 2 = 4*l - 4*v - 6. Let s be (2/(-6))/(14/l). Which is smaller: z or s?
z
Suppose -r + 12 = 1. Suppose r + 1 = -2*t. Suppose -7*q + 4*q - 15 = 0. Which is smaller: t or q?
t
Let u be -1*1 - (-12)/14. Suppose -2*s = 4*s - 16*s. Is u smaller than s?
True
Let v be -3 + 0 - (-3 + 1). Let x be 380/(-35) - (-1 - -4). Let k = 14 + x. Is k < v?
False
Let p be 1 - (21 + -2 - -1). Let z = p + 24. Which is greater: 4 or z?
z
Let s be -1*(-6*4/8)/(-1). Which is greater: s or 9?
9
Let k(c) = c**2 + 4*c. Let u be k(-4). Suppose 4*t - 3 = -0*t + r, u = -5*r - 15. Which is greater: t or 2/9?
2/9
Suppose 0 = -4*n - 5*s - 16, 3*n - 4*s = n + 18. Suppose -9 = -5*j + 1. Which is greater: j or n?
j
Suppose -2*v + 21 = 5*r, 2*r - 21 = -3*v - 2*r. Suppose -8*x = -v*x + 30. Let a = -9 + 4. Is a bigger than x?
True
Let x(z) = 7*z**2 + 2*z - 1. Let y be x(1). Is 8 bigger than y?
False
Let v = -4 + 6. Suppose 0 = v*a + 3*a. Let q be (-2)/(-5) + 16/10. Which is smaller: a or q?
a
Suppose 7*w - 2*w - 80 = 0. Suppose -3*z + 2 = -2*v + w, -2*z - 35 = -5*v. Let t(h) = h**3 - 7*h**2 - h + 3. Let k be t(v). Are k and -4 unequal?
False
Let c = -242 - -734/3. Which is smaller: 2 or c?
2
Suppose l + a - 8 = 4*a, l - 4*a = 13. Suppose -3*k - 30 = 2*k. Are k and l unequal?
True
Let t(y) = -y**3 - 5*y**2 + 4*y - 11. Let l be t(-6). Let k be 2*2*2/44. Are k and l unequal?
True
Suppose 5*h - 20 = -10. Let x(j) = j**2 + 6*j + 6. Let u be x(-5). Which is bigger: h or u?
h
Let s = 91 - 89. Let t = 40 - 83/2. Is s at most as big as t?
False
Let y = 26 - 10. Suppose -h = -4*j - 20, -2*h - 5*j - y = 9. Let c be 60/28 + 1 + -3. Which is bigger: c or h?
c
Let r = 0.02 - -0.28. Let i = r - -0.7. Let j = -2 + i. Do 0.1 and j have the same value?
False
Let k = 6.2 + 0.8. Let y = k - 7. Are y and 2/7 non-equal?
True
Let u(i) = -3*i**2 - 2*i. Let c be u(4). Are c and -56 unequal?
False
Let u = 26 - 4. Let o be 70/u + 4/(-22). Suppose -4*m = -7*m + 2*s, -3*s = -o*m. Is m at most as big as -1?
False
Let j = -2.2 - -0.2. Let m = 2.13 + -1.23. Which is greater: j or m?
m
Suppose 3*i = 0, -2*a - 2*i - 2 = -10. Let f be a*(1 - (-12)/(-8)). Do -4 and f have the same value?
False
Let z = -13 + 14. Let q be (-2)/10 - (-2)/10. Let v = z + q. Which is smaller: 2/3 or v?
2/3
Suppose 3*y + 5*f - 11 = 22, -y + 5*f + 11 = 0. Suppose 2*g = g - y. Which is smaller: -9 or g?
g
Let r(x) = x - 19. Let q be r(-18). Is q smaller than -37?
False
Let f(j) = -j**3 + 2*j**2 + 3*j + 3. Let x = -3 + 6. Let n be f(x). Suppose 0 = -n*i + 5 + 1. Which is bigger: 1 or i?
i
Let m be 24/(-10) - (0 - 2). Is 0 at most as big as m?
False
Let f(a) = -a**3 + 5*a**2 + a - 5. Let g be f(5). Suppose 0*l - 5*l = g. Suppose 2*d - 5 = -3*d. Is l >= d?
False
Let k be (2/17)/(2*4/(-32)). Which is greater: -1 or k?
k
Suppose r - 6*y + 7 = -3*y, r + 1 = -3*y. Let i = 4 + r. Suppose z = -2 - i. Which is bigger: z or 0?
0
Let j = 61/5 - 407/35. Let t = j + -1/14. Suppose 5*n + 4*y = 3*n, 0 = 5*n + 2*y. Do n and t have the same value?
False
Suppose -6*l = -2*l - 3*y + 12, -4*y = -3*l - 2. Are l and -35/6 equal?
False
Let v = -6 - -107. Are 102 and v equal?
False
Let f = -45 + 29. Let r(t) = -t**3 - 16*t**2 + t + 11. Let c be r(f). Is -4 >= c?
True
Let i(h) = h**3 - 10*h**2 + 12*h - 21. Let j be i(9). Suppose -2*v = -5*d + 25, 5*d + 6 = 3*d + 4*v. Which is smaller: d or j?
j
Let u = -45 + 160/3. Which is smaller: 9 or u?
u
Let a = 4199/20 + -210. Let q be (-1 - -1)/(0 - 3). Which is greater: q or a?
q
Let x = 56 + -283/5. Is x greater than 0.2?
False
Suppose p + w - 33 = -2*p, -2*w + 16 = p. Which is greater: p or 11?
11
Let k = 8.93 + 0.07. Let v = 8 - k. Is -0.01 at most v?
False
Suppose 0 = v + 2*v + 9. Let t = -1362/13 - -105. Let f = -71/26 + t. Which is greater: f or v?
f
Let y be 2 - (0 - (1 + -2)). Suppose 0 = -2*o - 1 + 7. Is y greater than or equal to o?
False
Suppose -4 = -4*o + 8. Suppose -4*m = 4*h - 12, 7*m - 15 = 5*h + 2*m. Suppose q + h = 2. Which is smaller: q or o?
q
Let g = 15.15 - 15. Let h = 0.85 + g. Which is smaller: -2/3 or h?
-2/3
Let s = -3.2 + 3.22. Let v(p) = -p**2 + 5*p + 5. Let z be v(6). Is z bigger than s?
False
Let g be 18/(-81) - (-166)/18. Which is greater: g or 8?
g
Let m = -4/45 + 203/765. Is 1 not equal to m?
True
Let d be (626 + 4)*2/4. Let b be 91/d - (-4)/(-10). Which is greater: b or 0?
0
Let n = 5.2 + -5. Let f = 0.3 - n. Are f and -10 nonequal?
True
Let o(w) = -w**3 + 5*w**2 - 6*w. Let a be o(3). Is a smaller than 6/11?
True
Let t = -3 - -1. Let x be 249/(-6) - (-1)/t. Let o be 18/(-12)*8/x. Which is smaller: o or 3?
o
Let i = -6/37 - -79/259. Suppose 2*v + 3*v = 0. Suppose -4*c + v*j - j = 0, c + j + 3 = 0. Does c = i?
False
Let a(l) = -2*l + 6. Let o(q) be the first derivative of q**2 - 9*q - 1. Let r be o(7). Let x be a(r). Which is bigger: -1 or x?
-1
Let i = -20 - -16. Which is smaller: i or 2?
i
Let z = 9 - 24. Let j = -8 - z. Let g = 4 - j. Are -1 and g nonequal?
True
Let u be (-1 + 5)/((-4)/(-8)). Is 10 <= u?
False
Let c(k) = k**3 + 10*k**2 + 10*k + 6. Let g be c(-9). Let t = 0 + g. Which is greater: -4 or t?
t
Let a be 8/(-44) - 126/33. Let w(h) = -h**3 - 12*h**2 - 12*h - 14. Let c be w(-11). Which is bigger: a or c?
c
Suppose w - 4*w = -3. Let b be (w + -4 + 3)/(-2). Suppose 0 = n - b + 1, 3*n + 21 = 3*q. Is 6 less than or equal to q?
True
Let f = -0.1 - -0.1. Let b = 588.97 + -592. Let r = b - -0.03. Which is greater: r or f?
f
Suppose f - 5*l = 2*f - 26, 3*l = 15. Which is bigger: 7/6 or f?
7/6
Suppose 2*r = -3*r. Let f = -12 - -17. Let s be (f + -1)*1/22. Which is smaller: s or r?
r
Let r = -109 - -111. Is r at most 1.9?
False
Let y be (4/51)/(3/(-36)). Let d = 14/51 + y. Is d < 8?
True
Let k be 16/(-6)*9/6. Let a be 1/(-2) + (-46)