Suppose -a + 14 = a. Let c(w) = 3*w - 3. Let y be c(2). Let q = 3 + y. Which is smaller: q or a?
q
Suppose -2*l + 3 = 5*g, -3*l + 10*g - 5*g = -17. Is l less than or equal to 30/11?
False
Let r(b) = -7*b**3 + 2*b**2 - 2*b + 1. Let p be r(1). Let f be ((-4)/(-6))/(10/p). Suppose -5*o + 13 = -3*j, -o + 0*o + 3 = -j. Is f >= j?
True
Let p be 3/(5/(-4) - -2). Suppose -p*m = 2*x - 28, -4*x - 14 = -4*m + x. Let b be ((-4)/12)/(8/m). Is 1 at least as big as b?
True
Let n(t) = t**3 - t**2 - 2*t - 4. Let d be n(0). Let j = -6 + 1. Is j != d?
True
Suppose -2*o - 4*p - 16 - 10 = 0, 3*p = -5*o - 44. Let z be 34/32 + 6 + o. Is z greater than 2/7?
False
Suppose 0 = -2*o - 4 + 6. Suppose u + 5 = 6*u. Do u and o have different values?
False
Let d = 0.67 + -5.77. Let b = 6.7 - 1.7. Let y = b + d. Which is greater: 0 or y?
0
Suppose -5*r = -0*r. Let i be r + (-4)/(516/(-21)). Let w = i - -94/215. Which is bigger: 0 or w?
w
Let y = -11 + 16. Let b = 7 - y. Let z(s) = -s**2 - 2*s - 1. Let g be z(-1). Which is bigger: g or b?
b
Let p = -6 + 7. Let l be (p - -1)*(-4)/(-4). Is l at most as big as 2?
True
Let n be (-9)/(0 + 0 - -1). Let o = n - -10. Is -2/9 less than or equal to o?
True
Let r = -8.2 - 1. Let a = r + 9. Which is greater: a or -1?
a
Suppose 4*y = y - 3*s + 9, 4*y = -2*s + 14. Suppose 0 = -d + y*g - 14, -g + 2 = -4*d + 3*d. Suppose 0 = -3*w - l, d*l - 3 = 3*w + 6. Are w and -2/7 non-equal?
True
Let z = 25 + -31. Are 1/2 and z non-equal?
True
Let r be 1 + -1 - 15/(-5). Let o be r/(-3) - 0/2. Let s = o + 2. Which is bigger: 0 or s?
s
Let x(c) = -4*c - 3. Let b be x(-2). Which is bigger: b or 4?
b
Let i(q) = q**3 - 5*q**2 + 2*q - 6. Let p be i(5). Suppose -l = p*l. Suppose l = u - 0 + 1. Which is smaller: -2/11 or u?
u
Suppose -6 = -c - 8. Let g be c/(-5) + 24/(-60). Which is smaller: g or -6?
-6
Let x = 14.002 - 0.002. Which is smaller: 4 or x?
4
Let x = 0.01 - 0.04. Let b = -0.13 - x. Do b and 1/7 have different values?
True
Let s = -8 - -11. Suppose 0*w - s*w + 28 = -2*x, x = -4*w + 30. Suppose 0 = 3*z - w*z - 15. Is z at least as big as 0?
False
Suppose 8 = 2*y - 0*y. Suppose -3*w + 10 = y. Which is greater: w or -3?
w
Let i(w) = w**2 + 5*w. Let a be i(-5). Suppose 2*h - 3 - 5 = a. Suppose 2*d + h = 4*d - x, -3*d + 6 = 2*x. Is -2 bigger than d?
False
Let z = 3 - 2.96. Let j = z - -0.06. Let m = j - 0.1. Are m and 0 non-equal?
False
Let l be -3 - (-1 - (5 - 3)). Is l > -6/5?
True
Suppose 1583 = -4*a - i, 0 = 4*a - 3*i - 195 + 1782. Let c = a - -1392/17. Let k = -314 - c. Which is smaller: k or -1?
-1
Let v be (-3)/6*3*-3. Suppose 5 = 2*m - j, 5*m + 0*m = 3*j + 10. Let g = v - m. Is 1 at least as big as g?
True
Let w be (-8)/(3/12*2). Let d(s) = 5*s + 38. Let a be d(-11). Which is greater: w or a?
w
Let k = -26 - -25.9. Let h be (-1)/4 - (-6)/15. Let m = h - -11/10. Which is smaller: m or k?
k
Let s be (1/1)/(0 + -5). Let r = 8 + -8. Let w be (-4)/(-8)*(2 + r). Which is greater: w or s?
w
Let j = 0.5 + 0.5. Let v = 0.4 + 1.6. Let s = j - v. Which is smaller: s or 1?
s
Let h = -5 - -8. Suppose 2*j + 0*j + 14 = -4*x, 0 = 4*j + 3*x + h. Suppose 3*s - 2*s = 2*n + 1, j*s = n - 12. Is -2 at least as big as n?
True
Let f be ((-8)/(-32))/(((-6)/8)/1). Which is greater: f or -1?
f
Suppose -z - 24 = -3*z. Suppose -9*r = -5*r - z. Is 2 greater than or equal to r?
False
Let t(g) = -3*g**3 - g**2 + 5. Let u = 6 - 3. Let r(w) = 2*w**3 - 4. Let s(y) = u*t(y) + 4*r(y). Let h be s(-3). Is h < -3?
False
Let t = 17 - 12. Suppose -2*y + 4*y - 2*x = 4, t*x + 7 = 2*y. Is -5 at most y?
True
Let v(k) = k**3 + 7*k**2 + 7*k - 3. Let q be v(-6). Let w be (-10)/4*(q - -7). Suppose 8 = -w*o + 38. Is 7 greater than or equal to o?
True
Let h = 5 - 19. Let j be h/(-3) + 4/(-6). Suppose 0 = j*b - 0*b + 4. Which is greater: -2/7 or b?
-2/7
Suppose -3*i - 73 = 122. Which is smaller: -64 or i?
i
Let t = 13 - 9. Suppose -t*q + 7 = -29. Which is smaller: q or 8?
8
Let q = 3.5 - 1. Let b = q + 1.5. Is -4 equal to b?
False
Suppose h = 4*p - 31, 7 = p + 3*h - 4*h. Which is greater: 10 or p?
10
Suppose 5*j - 12 + 49 = r, r = -4*j - 35. Do -10 and j have the same value?
False
Let n be (4/90)/(3/15). Let k(i) = -i**3 + 5*i**2 + 2. Let r be k(5). Suppose r*w + w = 0. Which is bigger: n or w?
n
Let q(l) = l**3 + 4*l**2 - 7*l - 7. Let x be q(-5). Let k = x - 5. Let h be (2 + k)/(2 + -1). Are h and -1 non-equal?
True
Suppose -5*q = -7*q, 2*q = -2*m. Is m equal to 14?
False
Let t = -1.5 + -1.5. Let w = -1.61 + -0.39. Is t at least as big as w?
False
Suppose n - 49 = -3*i + 5*n, -2*i = -5*n - 28. Is 0 smaller than i?
True
Let m be 22/(-4) + (-5)/(-10). Let y be (-1 - 3/m)*-10. Suppose 0 = -i + 2*i - 3. Is i at most as big as y?
True
Let k = -0.07 + -0.33. Let q = -0.8 + -0.2. Let x = k - q. Which is greater: x or 1/4?
x
Let s(c) = -c**3 - 18*c**2 - 17*c + 4. Let n be s(-17). Let v = 4 - 1. Suppose 0 = g + 3*g + 20, 0 = -4*x + v*g + 35. Which is greater: n or x?
x
Let j be ((-3)/(-2))/(42/(-56)). Let h be j + 2 - 3/(-6). Are h and 0.1 equal?
False
Let k be (-1)/(-3)*((-252)/27)/14. Let r = 0.6 - -2.4. Is k >= r?
False
Let j = 8374/9 + -932. Which is greater: j or -1?
-1
Let g be ((-1)/(-2))/(99/88). Is 0 > g?
False
Let w be (20/16)/((-1)/(-28)). Suppose -w = t - 12. Let s be (-4)/(-14) + t/(-42). Do s and 2 have the same value?
False
Suppose -4*q - 20 = -4*p, 3*p + 2*q = -2*p - 10. Let i(n) = -n**3 + n**2. Let r be i(0). Do r and p have the same value?
True
Let v = -0.3 - -0.31. Let c = 0.08 - -0.11. Let k = c + v. Is k bigger than 0.2?
False
Suppose 2*n = 5*y + 3, -n - 22 = -2*y - 6*n. Let o be (-1)/(-4) + 18/(-40). Is o bigger than y?
False
Suppose -m = 4*x - 4*m - 161, 3*x + 2*m = 108. Is 40 less than or equal to x?
False
Let i be 2/5 - (81/(-60) + 2). Is 0.11 at least as big as i?
True
Let m = -21 - -607/29. Suppose -5*v + 0 = -5. Is v smaller than m?
False
Let t(o) = o**3 + 8*o**2 + 5*o + 2. Let r be ((-4)/(-8))/(2/(-28)). Let d be t(r). Suppose s - 5*s - d = 0. Which is smaller: -2 or s?
s
Let x(w) = -8*w + 80. Let g be x(10). Let y be (-12)/(-23)*2/4. Let v = y + -35/46. Which is bigger: g or v?
g
Let c(p) = 2*p**2 + 5*p + 3. Let v be c(-1). Is v less than 19?
True
Suppose x = 4*d + 4, -d - d = -5*x + 20. Suppose 6 = 3*f - d*f + r, -2*r = -2*f + 12. Let k = -3 + f. Is 1 != k?
True
Let c be (-5 - (-6)/3) + 2/1. Is c greater than or equal to 77?
False
Let c be 1/((-2)/5) + (-22)/(-44). Which is greater: c or -13/5?
c
Let r = -6/11 - -160/253. Is 1 less than r?
False
Let k = 2.2 - 1.2. Let w = -0.5 - -0.1. Which is smaller: k or w?
w
Suppose -4*s - 52 = 4*z, 3*z - 4*s - s - 1 = 0. Let m = 11 + z. Suppose -m*f + 4 = f. Is f != 0?
True
Let c = -3 - -6. Suppose -84 = -c*j - j. Suppose w = 5*o - j, 3*w + 8 = 3*o - 7. Are w and -2 non-equal?
True
Let w = 20 + -19.8. Are w and 6/7 non-equal?
True
Let m = 89.7 + -90. Let l = 1.12 + -0.02. Let i = l - 1. Is m not equal to i?
True
Suppose -g = -i - 4, -i + 3*g - 2 = 8. Is -12/11 bigger than i?
False
Let r be (-166)/(-10) - 4/(-10). Let d = r - 9. Let c be d/(-96)*(-3)/1. Is 0 at most c?
True
Let h be 2/12 + (-66)/(-36). Suppose -h*x - p + 3 = 2, -5*x - 5*p = -5. Are x and -0.3 unequal?
True
Let b = 0.17 - 0.37. Which is bigger: -0.02 or b?
-0.02
Let z be (-2)/9 - (-16)/(-9). Let v = z + -3. Is v not equal to -5?
False
Let b(o) = -o**3 - 4*o**2 + 13*o + 8. Let n be b(-6). Is 2 < n?
False
Let t = -7 - -8. Suppose 0 = i - 0 + t. Let u be i*((-39)/(-12) + -2). Is u greater than or equal to -1?
False
Let q = 2 - 1. Let x(f) = 2*f**2 - 3*f**2 + 2*f**2 - 2 + 6. Let w be x(0). Which is smaller: w or q?
q
Let m be (16/24)/(10/(-6)). Does m = 2?
False
Let z be 2/(-1)*((-21)/(-20))/(-7). Is 0.07 <= z?
True
Let d = -3 - -4. Let a = 2086/9 - 232. Which is greater: d or a?
d
Let u = -40 + 30. Is -11 not equal to u?
True
Let o(u) = 3*u**2 + 0 - 2*u**2 + 5 - 7*u + 0*u**2. Let w be o(6). Are w and -2 equal?
False
Let u be (6/4)/((-9)/(-24)). Let m = u + -6. Which is greater: m or -2/3?
-2/3
Let y be (-1 + (-14)/(-6))*3. Let f = y + -2. Is f less than or equal to 1?
False
Let w(a) = -a**3 + 3*a**2 + a - 3. Let t be w(3). Which is bigger: t or 1/36?
1/36
Suppose 2*u = -3*b - 0 - 9, -3*u = 5*b + 15. Let g = -185/2 - -100. Let l = 7 - g. Which is smaller: l or u?
l
Let z(k) 