uppose c - 3*r = -2, -8*c + 4*c + 2*r + 12 = 0. Suppose 0 = w + c*w. Which is bigger: w or -0.6?
w
Suppose -b - 2*q = -26, 5*b + 3*q = -2*q + 105. Are 16 and b nonequal?
False
Let k be -2*2/4*4. Let u = k - -5. Let t be 0/(0 + (u - 3)). Which is greater: t or 1/5?
1/5
Suppose 10 = -5*c + j, 2 = -c + 7*j - 2*j. Let i(u) = u**2 + u - 3. Let q be i(0). Which is smaller: q or c?
q
Let v(z) = -z**3 + 3*z**2 - 2*z + 2. Let j be v(2). Let g(w) = 2*w**2 + 3*w - 3. Let a be g(j). Is 10 equal to a?
False
Let l = 374/3735 + -12/83. Which is greater: -1 or l?
l
Suppose -3*j - w = -2 - 0, 0 = -4*j - 4*w - 8. Let g = -1 + 2. Which is smaller: j or g?
g
Suppose 5*q = -0*q + d + 22, -4*q = -4*d - 24. Let t be -3 - (-10)/(-2)*-1. Is t != q?
True
Let s = -2.6 - -2.51. Let z = -6.09 - s. Is z at most 1?
True
Let h be (-11 - 1)*(-27)/36. Are 10 and h non-equal?
True
Suppose l - 4 = 0, -5*l + 15 = -5*f - 0*f. Let r(s) = -s**3 - 5*s**2 - 2*s - 6. Let h be r(-5). Suppose h = 4*d - 0. Is d at least as big as f?
True
Suppose 3*g + 12 = 5*g. Let m(p) = -p**2 + 7*p - 3. Let x be m(5). Which is bigger: x or g?
x
Let j = 10 + -15. Let w be 12/j + 4/10. Let u be (0*1/2)/w. Is 0.2 != u?
True
Let x = -14 - -39. Let p be ((-10)/x)/(18/(-20)). Is -1 smaller than p?
True
Let h be 1/25*(-470)/(-4). Let s = h + -631/130. Let v be ((-4)/6)/(4/(-6)). Which is smaller: s or v?
s
Let y be 3/4 + (-84)/48. Is -0.1 != y?
True
Suppose -49*j + 26 = -23*j. Let y be (10/12)/((-2)/6). Which is smaller: y or j?
y
Let p be ((1 - 3)/2)/1. Let v be p + (-2)/(-3 - -1). Which is bigger: -0.2 or v?
v
Suppose 5*s + 15 = -4*g - 7, -5*g = -3*s + 9. Suppose -4*c - 7 + 43 = 0. Suppose -5*n = -c*n - 12. Is s less than n?
False
Let s = -2.396 - 7.394. Let r = s - 0.21. Which is greater: -0.1 or r?
-0.1
Let z(b) = -b**2 + 11*b - 8. Suppose 0 = 5*s - 59 + 9. Let k be z(s). Suppose 3 = -k*r + i, 17 = 2*r - 5*r - i. Is 1/3 not equal to r?
True
Suppose -2*q + 4*z - 2 - 6 = 0, -2*z + 44 = -5*q. Let n be 1/(q/6 + 2). Let d be 2 + 8*n/(-9). Are d and 2 nonequal?
True
Suppose 3 + 1 = 2*o. Suppose 2*h = j + 7, -5*h - j - o = 3*j. Is 0 at least as big as h?
False
Let v = -0.3 - -0.4. Let d = v + 0. Which is greater: d or -2/11?
d
Let b = -7.07 - -7. Let i = b + -0.03. Let g = 0.1 + -0.3. Which is bigger: i or g?
i
Let y = -108 - -3131/29. Which is smaller: y or 1?
y
Let c(z) = -z**3 - 6*z**2 - z + 1. Let g be c(-3). Is -24 at most as big as g?
True
Let b be (0 - 70/(-8)) + 0. Let d = -9 + b. Which is smaller: d or 1?
d
Let x be (-3)/6*(-2)/(-13). Suppose 5*d - 22 = -2. Suppose -d*q + q + 2*o = 5, 0 = q - o + 3. Is x at least q?
False
Let x = 0.11 + -0.21. Which is greater: -13 or x?
x
Let b = -38.9 - -34. Let j = b + 5. Is j < -2/9?
False
Suppose -8 = 2*b - 22. Suppose -q + 10 = -5*z, b - 4 = -3*z. Let k = -5 + q. Which is greater: k or -1/8?
k
Let g = -3 + 1. Let h = -1.4 - -0.4. Let x = 0.9 + h. Is g equal to x?
False
Let a be 120/(-918) + (-4)/18. Which is smaller: 0 or a?
a
Suppose -2*t = -7*t. Let a be ((-1)/(9/(-6)))/(-2). Which is bigger: a or t?
t
Suppose b + 20 - 8 = 3*q, -3*b - 16 = -4*q. Suppose 3*u = q*w - 6, -6 = -5*w - 21. Let f = 10 - 15. Which is bigger: f or u?
f
Let q be (-1*2 - -3)*7. Suppose -2*k - 3*a = -q, -5*k = -a - 3*a + 17. Is k greater than 0?
False
Let d be (-5 - -9)*1/2. Let q be 9/21*2/3. Is d at most q?
False
Suppose 2*f = n, 0 = -n - f + 2*f. Suppose n = 2*b - 1 + 3. Let v be -6 - -7 - 38/34. Which is smaller: b or v?
b
Let a(h) = -h**2 - 3*h - 1. Let p be a(-3). Let t be (-50)/(-15)*6/(-5). Let j be (-3)/4*t/(-6). Which is bigger: j or p?
j
Let u = -18 + 11. Let g = 22 + u. Suppose -g = -7*i + 4*i. Is 5 at most as big as i?
True
Let v = 12 + -11. Does 3/2 = v?
False
Let s = -1531/7 + 218. Are -2/7 and s non-equal?
True
Suppose 2*q = 3*m - 2 - 2, 5*m - 4*q - 4 = 0. Suppose i + m*z = -5 - 15, -z = 5*i + 24. Let a = i + 5. Is a less than 3?
True
Let d(f) = -f**3 + 7*f**2 + 8*f + 5. Suppose 0 = -3*q + 4 + 20. Let i be d(q). Let p = 3 - i. Is p < -2?
False
Suppose -q = -4*b + 3*b + 2, 12 = 3*b - 5*q. Let u be (-3)/1 + b + -2. Which is smaller: u or -4?
u
Let t(p) = -24*p - 3. Let v be t(6). Let w = 731/5 + v. Is -1 bigger than w?
False
Let f = -13 - -14. Is -3.2 greater than or equal to f?
False
Let a(d) = d**3 - 3*d**2 - 4*d - 2. Let w be a(4). Let y be ((-2)/w)/(-2 - -3). Let q be (2 - y) + (0 - 0). Is 1 smaller than q?
False
Let t = -85 - -85. Which is smaller: t or -1/41?
-1/41
Let n be (-3)/(-5) + (-4)/(-10). Let q = 44 + -133/3. Which is smaller: q or n?
q
Let p = -76 + 76. Which is bigger: 1/13 or p?
1/13
Let n(c) = 2*c - 24. Let q be n(9). Is -6 >= q?
True
Let b = -0.3 + 0.4. Let z(j) = 8*j + 4. Let c be z(-3). Let w be (-4)/20*c/(-8). Do w and b have the same value?
False
Let f = 0.1 - -5.9. Let z = -5.4 + f. Let y = 1.5 - 0.5. Which is smaller: y or z?
z
Let x(c) = c**3 + 5*c**2 + 2*c + 10. Let w be x(-5). Which is bigger: w or -1/8?
w
Suppose -23 = -3*b - 4*v, 3*b + 0*v = 2*v - 7. Suppose a + 3*i = -0*a - 8, -4*a + 5*i = -19. Let n be 2/(-4)*a*-2. Is n greater than b?
False
Suppose 0 = -0*w - 5*w - 10. Let g(f) = -f**2 - 8*f + 2. Let n be g(-8). Suppose n = -5*a + 3*a. Is w greater than or equal to a?
False
Let y(t) = -t**2 - 12*t - 11. Let w be y(-11). Suppose -4*q - 6 - 2 = w. Is -1 > q?
True
Let r = -0.7 + 1.4. Let h = 0.7 + -0.1. Let u = h - r. Which is smaller: u or -5?
-5
Let a(x) = x**2 - 2. Let g be a(2). Let z be 1 - (12/(-14) + g). Let i(l) = -2*l - 6. Let s be i(-3). Is s at most as big as z?
False
Suppose -4*r = 2*z - 22, 5*r - 4 - 22 = -2*z. Suppose 0*w = z*w - 21. Suppose 3*g + h - 16 = -w, 4 = -4*g + 4*h. Which is greater: 3 or g?
3
Let f = 5/66 - 59/198. Let x = 8/9 + f. Is x equal to 2?
False
Let y = 0.53 - 0.5. Let f = 0.03 - y. Let x = 0.2 + f. Which is greater: x or 0.1?
x
Suppose 5*y + 3*o + 140 - 340 = 0, 4*o = 3*y - 120. Suppose 3*c - h - 7 - 9 = 0, 5*c + h - y = 0. Suppose -2*n - 8 = 0, -p - 4*p + n + 39 = 0. Is p at least c?
True
Suppose 0 = 5*c - 5*x + 45, -x + 10 - 37 = 3*c. Are -9 and c unequal?
False
Let i = -15.5 - -15.4. Is 2/15 less than i?
False
Let o = 416 + -9570/23. Let g(z) = -z - 6. Let h be g(-8). Suppose -2*b - h = -4. Do o and b have the same value?
False
Suppose 3*z + 5 = -5*b, 3*z - 3 + 4 = -b. Let a be (-6)/(-10) + 108/(-30). Let j be -4 - a - 0/(-2). Is b > j?
False
Suppose m + 3*m + 16 = 0. Suppose -2*o + 5*x + 1 = 4, 0 = -3*o + 4*x - 8. Is o > m?
False
Let a = -13 + 11. Let l = -6 - -14. Which is smaller: a or l?
a
Suppose -3*x + 8 = m, -m + 6*m = -x + 12. Let k(p) = 0*p + 3*p - x*p - 4 - 1. Let h be k(5). Which is smaller: h or -3?
-3
Let c = 673/12 + -56. Suppose -3*m = -7*m + 4. Is m greater than or equal to c?
True
Suppose -2 = -2*i + i. Let b be (-6)/(-4)*i/12. Which is smaller: 1 or b?
b
Let w = 86 + -689/8. Does w = 1?
False
Let x be (5/(-5))/2*(-8)/34. Suppose -3*p - 4*y = -23, 5*p - 3*y + 12 = 2*p. Let d = p - 0. Which is bigger: d or x?
d
Let c = 4 + -1.4. Let w = 0.6 - c. Which is greater: w or 2?
2
Suppose 5*g + 2 = -3. Let y be (6/4)/((-1)/28). Let q = -213/5 - y. Is g equal to q?
False
Let r = -49.1 + 49. Let t = -3 - -4. Which is greater: t or r?
t
Suppose -7 = -s + 4*y + 8, 5*s - 4*y = 11. Let x be (2/18)/(s/(-6)). Is 3/5 at least x?
False
Suppose -w - 11 + 0 = 0. Are w and 0.1 equal?
False
Let j be (-2 - -2) + (-60)/3. Let f be 2/7 + j/(-28). Suppose -2*y - 12 = -4*w, 9 = 4*w - w - 5*y. Which is smaller: w or f?
f
Let p = 0.23 - 2.83. Let g = 5.8 + p. Let y = g + -3. Is y <= -3?
False
Let i(l) = -2*l**2 + 2. Let n be i(-2). Let w be (-3)/(-6) - (-7)/n. Let r = -9 - -9. Which is greater: r or w?
r
Let i(p) = p**3 - 8*p**2 + 7*p + 1. Let u be i(7). Is u at most as big as -3/47?
False
Let i(n) = -n**3 - 9*n**2 - 6*n + 11. Let d be i(-8). Let k = d - -6. Is k at most 2?
True
Let n(k) = k**2 + 5*k - 1. Suppose -1 = w + 3. Let x be n(w). Let c = -6 - -2. Is x >= c?
False
Suppose 2 = 4*s - 6. Let f be (30/50)/(s/30). Let d = f - 9. Which is smaller: d or -2/7?
-2/7
Let l be 48/21 - 4/14. Suppose -4*w + 6 = -w. Suppose -l*b - w + 4 = 0. Are b and 2 equal?
False
Let z = 0.2 - -0.3. Let d = -1 + z. Let i = d + 0.6. Is i equal to -2?
False
Let m be 3*2*(-6)/63. Let u = 18 - 18. Which is smaller: m or u?
m
Let p(w) = w**3