-a + 6. Suppose -4 - 11 = -3*c. Let f be q(c). Which is smaller: 0 or f?
0
Suppose 0 = -5*y + 2*y - 3. Which is bigger: y or 1?
1
Suppose 280 = -34*w + 32*w. Let k = -702/5 - w. Is k less than or equal to 2?
True
Let d be (-6)/8 - (-20)/48. Is d greater than or equal to 0.8?
False
Let g = -1 + 0. Let w = 13 - 7. Let y = w + -4. Which is bigger: g or y?
y
Let n(f) = f + 5. Let b be -2*3/6 + -3. Let j be n(b). Suppose -t = 4 - j. Are -3 and t nonequal?
False
Let y = -0.9 + -0.3. Let f = y + 1.1. Is -0.1 equal to f?
True
Let r(y) = y**2 + 9*y + 7. Let w be r(-8). Let g be 2/16*14 + w. Is g less than 0?
False
Let c = 11.9 + -11.9. Is c at most -97?
False
Let j(v) = 3*v + 1. Let w be j(1). Suppose -2*u + 20 = 2*u. Which is greater: u or w?
u
Let v = -13162/23 - -572. Which is smaller: v or 0?
v
Suppose 3*k - 14 - 1 = 0. Suppose -2*p + 25 = 5*a, 5*p - 2*a + 5 = -k. Is 0 at least as big as p?
True
Let p = 50 - 20. Which is greater: p or -3?
p
Let v = -56.1 + 65. Let n = 9.42 - 0.42. Let d = v - n. Which is greater: -1/6 or d?
d
Let n(v) = v. Let t(d) = -4*d - 2. Let k(z) = 3*n(z) + t(z). Let m be k(-7). Suppose 2*p + m = -3*p. Is p greater than 2/15?
False
Let u be (8/(-15))/4*-3. Let o = 1.1 + -1. Is o >= u?
False
Let p be (9/4)/(((-45)/50)/3). Is -9 at least as big as p?
False
Let c = 7 + -5. Suppose 0 = -c*p + 4*p. Which is bigger: p or 3/7?
3/7
Let z be (4/(-6))/((-2)/9). Let o = 19 - 16. Suppose 3*g + o = 12. Are z and g nonequal?
False
Let h = -15 + 8. Let i = -4 - h. Suppose 5*m = -3*c + 9, -i*m + 5 = -c - 2*m. Which is bigger: c or 2?
2
Let m be -3*(-62)/8*-4. Let n = m + 557/6. Suppose r = 6*r + 5. Is n at most as big as r?
False
Suppose 0 = 3*v - 30 - 6. Suppose -k = 5*x - 15, 4*x - 4*k - v = -0*k. Suppose 5 = -b + x. Is -3 less than or equal to b?
True
Let h(i) = -i**3 - 6*i**2 - 3*i + 7. Let u be h(-5). Suppose -4*w - w = 20. Is u < w?
False
Suppose 0*a = -2*a + 4*k + 22, -3*k = a + 9. Let d be a + -1 + -3 + 1. Which is smaller: d or -2?
-2
Suppose 4*w + w = 15, 2*f - 5 = 3*w. Which is smaller: 6 or f?
6
Let g(p) = -2*p**2 - 13*p - 8. Suppose 6*k + 40 = k. Let f be g(k). Let a be 8/f + 3/20. Which is smaller: -1 or a?
-1
Let p(l) = l**2 + 12*l. Let a be p(-12). Let z = 0.1 + -0.3. Is a at least z?
True
Let s(l) = l + 14. Let m be s(-12). Suppose -m*d - 2*d + 24 = 0. Is d < 5?
False
Let t = 0.3 - -0.6. Let g = 1.9 - t. Which is smaller: g or 2?
g
Suppose -11 = -3*p + 31. Let a = 18 - p. Which is smaller: 1/4 or a?
1/4
Let s be 1 - (-1)/((-15)/21). Let d = -135 + 138. Which is greater: d or s?
d
Let q be (2 - (-58)/(-28))*-1. Is q >= -1?
True
Let r = 1 + -2. Suppose -t + 3*t - 760 = 5*d, 3*t - 165 = d. Let a be -1 + 4 - d/(-42). Which is greater: r or a?
a
Let o be (-6)/16 + 198/16. Is 1 >= o?
False
Suppose 5*x - 6*x = 9. Is -10 smaller than x?
True
Let s(w) = w**2 + 4*w + 3. Let c be s(-3). Suppose c = -2*y - 2 + 6. Is 2 less than y?
False
Let d = -8/95 - 6/19. Let s be (2/(-6))/((52/12)/(-13)). Are d and s non-equal?
True
Suppose -4*b + 7 = -5*p, 0 = -b + 6*b + p - 16. Suppose 4*y + 4*q + 0*q = 4, -b*q = -6. Is y smaller than -2/55?
True
Let z = 3 + 2. Which is smaller: -1/3 or z?
-1/3
Let a be (2 - 2)/1 - 1. Let h be (a/(-3))/((-71)/3). Let w = -137/355 + h. Does -1 = w?
False
Let c be 16/88 + (-884)/22. Let i be (-12)/c + 1/5. Let d be -1*(0 - -1) + 1. Which is greater: i or d?
i
Let z = -6 + 2. Let n = z - -3.95. Let c = -0.05 + n. Is c less than 0.2?
True
Let g be -5 + 3 - (0 - 0). Let n = -200/291 + 2/97. Which is bigger: g or n?
n
Let s be (2/8)/((-2)/(-12)). Suppose 5*x = 3*i + 7, -3*x - 2*i + 7 = -i. Is s at most as big as x?
True
Let r = -268/35 + 14/5. Does -5 = r?
False
Let n be ((-4)/(-6))/((-3)/9). Let k = 1 + n. Let o = 1/25 - 16/25. Is o >= k?
True
Let u(k) = 8*k**3 + k**2 + k. Let y be u(-1). Suppose 5*f + 0 = -3*r - 1, -3*r + 9 = 0. Let o be y/(2/f)*-1. Is -8 >= o?
True
Let q be (5/(-15))/(1/13). Which is smaller: -5 or q?
-5
Let m = -10 - -4. Which is greater: 3 or m?
3
Suppose 6*t + 3 = 3*t. Which is smaller: t or -2/59?
t
Let r = 2624739/13271 - 1002/577. Let c = 47868/115 - r. Let s = c + -219. Is 1 > s?
False
Let y(h) = h**3 - 9*h**2 + 10*h - 11. Let q be y(8). Let w = q + -4. Let x be 3/((-18)/(-16)) + -2. Which is smaller: w or x?
x
Suppose -3*v = -2*c + v - 2, 5*v + 5 = 5*c. Let j be 18/4 - 7/((-21)/(-6)). Which is greater: j or c?
c
Let k be -2 - -2*(-6)/(-4). Suppose -5*s + 4 + 7 = 3*p, p = -s + 1. Let i be 1/s + (-3)/(-3). Are k and i equal?
False
Let s = -74 + 40. Let q = -48 - s. Let o be q/(-6)*(-28)/49. Is o > 0?
False
Let f = 6.9 - -2.1. Let u = f + -9.3. Is -2 > u?
False
Let d be 14/6 + 2/(-6). Let n(b) = b**2 + 3*b. Let q be n(-3). Let r be 2 - q - 2 - 0. Is r at least as big as d?
False
Suppose r = 1, 0 = 3*z - 4*z - 5*r - 1. Let s be (-464)/z + (-4)/4. Let f = s + -77. Is f >= -2?
True
Let p = -1.2 + -0.8. Is p > -3/11?
False
Let d be (-6)/1 + (1 - -1). Let x = 12 - d. Suppose -b - 3*b = x. Which is smaller: -3 or b?
b
Suppose -2 - 3 = -5*p. Let r = 0 - -2. Suppose -3*v + d = 4, -4*v - d = -r*v + p. Is -0.2 > v?
True
Let k be (-2)/4*3*(5 - 1). Which is bigger: k or 3/2?
3/2
Let j(s) = s**3 - s**2 - s. Let i be j(1). Suppose -z = 3*x - 14, 2*z - 4*x + 24 = 6*z. Suppose 3*q - 4 = z*t, 0 = -2*q - 5*t - 4 - 6. Which is smaller: i or q?
i
Let d(o) = -o - 8. Let m be d(-6). Let s = 0 - m. Suppose -f - 3*n = -s, -2*n + 6 = -6*f + 2*f. Which is smaller: f or 4/3?
f
Let o = 19 + -58/3. Is 19/5 not equal to o?
True
Let i = -8/13 + 50/39. Are i and -13 non-equal?
True
Let f = 0.12 - 0.02. Which is smaller: f or -0.01?
-0.01
Suppose -4*z + 11 + 5 = 0. Suppose z*d - 60 = -2*q, -2*d - 4*q + 2 = -34. Let k be (d/4)/(6/(-12)). Is k greater than or equal to -7?
True
Let o(n) = -n**2 - 5*n**2 - n**3 + n + 2 + 7*n**2. Let x be o(2). Is 1/12 less than or equal to x?
False
Let h = 7/8 - 147/40. Do -3 and h have the same value?
False
Let i = 18 - 9. Do 8 and i have the same value?
False
Let t = -0.7 - -3.1. Let n = 1.4 - t. Is 0.11 less than n?
False
Let j = 7 + -20/3. Let p be -6 + 1 + 1 + 0. Let v = -4 - p. Which is greater: v or j?
j
Let h = -1.6 - 0.4. Let k = h + 1.9. Which is smaller: k or -2?
-2
Let h(y) = y**2 - 3*y - 28. Let j be h(-4). Is 1 <= j?
False
Let c be (-1)/4 - 525/12. Let p = 133/3 + c. Let t = 1.9 + 0.1. Which is smaller: t or p?
p
Suppose 0 = 4*w + 3*m - 4, -3*w + 20 + 12 = -5*m. Suppose -5*d = z - 31, -d + 27 = w*d - 3*z. Suppose 0 = 3*u - d - 0. Is 2 at most u?
True
Suppose 1 = 3*m + 4. Let j be (-14)/30*-7 - 3. Which is smaller: m or j?
m
Let f(k) = 3*k - 5. Let i = -6 + 10. Let g(o) = -8*o + 15. Let v(p) = i*g(p) + 11*f(p). Let q be v(-4). Is 1 smaller than q?
False
Let a = -1 - -3. Let c be (-7 + 5)*(-1)/a. Which is bigger: 0.2 or c?
c
Let r be 1*(-2 - 75/5). Which is greater: r or 2?
2
Let j be 63/(-81) + (-4)/18. Which is smaller: j or -1/7?
j
Let j = -17 - -11. Let r = j + 6. Which is smaller: r or -1?
-1
Let o = 19326 - 57070/3. Let h = -300 + o. Is 2 > h?
False
Let k be (2/(-3))/(-2 - -3). Is 3/5 bigger than k?
True
Suppose 0*s - 3*s = 12. Let g(f) = -f**2 + 10*f + 15. Let x be g(11). Suppose -x - 4 = 4*u. Which is greater: u or s?
u
Let q = -8 - -9. Let p(k) = k**2 - k - 9. Let u be p(0). Let b be -1*(-3)/u*-1. Which is greater: q or b?
q
Let c(q) = -q**2 + 1. Let p be c(-1). Suppose p*w = 2*w - 14. Which is smaller: w or 6?
6
Suppose -5*u - 4*o = -78, -5*o = 3*u - u - 38. Let q = 20 - u. Suppose 0 = -3*y - 5*w - 10 - 5, -2*w - q = -y. Do 0 and y have the same value?
True
Let a = 0.1 + 0.1. Let j = 0.1 - a. Which is smaller: -1 or j?
-1
Let v be (-4)/14 - (-1027)/42. Let i = v + -51/2. Is 1 < i?
False
Let r be 1/2 - (-26)/(-4). Let b be 2/r - (-67)/(-3). Let x = b + 22. Is -2 bigger than x?
False
Let w be (-1)/(-1) + (17 - 16). Is w greater than -4?
True
Let o = 35 - 36. Which is smaller: -2/137 or o?
o
Suppose 55 = -8*l + 9*l. Which is greater: 54 or l?
l
Suppose -81 = 5*z - 2*v, -4*z - z = -v + 78. Is -15 at least as big as z?
True
Suppose -3*s - 2*q + 8 = 2*s, -3*s - 5*q + 20 = 0. Let b = -5 + 8. Let y be b - s - (-26)/(-10). Which is bigger: y or 2?
2
Let q be (-12)/(-30) - 32482/(-14). Let i = q - 16194/7. Let a = -40/7 + i. Is 1 at least as big as a?
False
Let b = 13 - 10. Suppose