s. Is w at most as big as -2?
False
Let g(m) = m**2 + 3*m + 1. Let s be g(-4). Suppose n + 3 = 0, s*t - 6 + 23 = -4*n. Are -2/9 and t equal?
False
Let p(l) = -l**2 + 23*l + 5. Let z be p(23). Is 31/5 >= z?
True
Let l = -4 + 6. Let x be (1/2)/1*l. Let f be x - 1 - (3 + -4). Is f greater than or equal to -2/7?
True
Let a(o) = -4*o + 30. Let u be a(19). Is -48 not equal to u?
True
Let c(q) = q**3 + 7*q**2 - 6. Let a be c(-7). Which is smaller: a or -7?
-7
Let s(x) = -2*x + 4. Let c be s(3). Let v be -15*(c + 8/3). Let h be ((-2)/v)/(8/(-20)). Which is greater: 0 or h?
0
Suppose 4 = -4*c + 8*c. Let r(z) = z**3 + 6*z**2 - 8*z - 10. Let u be r(-7). Is c > u?
True
Let q(a) = -a**3 + 3*a**2 + 6*a - 5. Let t be q(4). Suppose 0 = -4*i + 2*c - 3*c - 21, 4*i + t*c + 31 = 0. Do i and -3 have different values?
True
Let c be (-7)/(-3) - 2/(-3). Let y be (-38)/(-9) - 4/18. Suppose 3*i = 3, 2*h + 3*h - y*i = 11. Is c at most h?
True
Let l = -3 - -1. Let m = l + 0. Are m and -3 non-equal?
True
Suppose 5*t - 6 - 4 = 0. Suppose -2*j = -4 - 4. Suppose 0 = -0*s - j*s + 8. Is t at least as big as s?
True
Let r(x) = x**3 + 6*x**2 + x + 6. Let u be r(-6). Let a(o) = -o**2 + 5*o - 1. Let g be a(4). Suppose u = g*i - 2 - 10. Which is smaller: 3 or i?
3
Let m be (-6012)/(-5)*918/16. Let o = 69306 - m. Let h = -318 + o. Which is smaller: h or -1?
-1
Suppose -10 = -5*s - 2*d - 4, 4*s - 3 = -d. Is 2/15 < s?
False
Let z be (3/9)/((-2)/(-30)). Suppose -z*y + 0*y = -q - 2, 4 = -2*q - 4*y. Let h(v) = v**2 - 3*v - 3. Let w be h(3). Which is greater: w or q?
q
Let q = 4 - 0. Suppose q*n = -2*o - 4 + 22, -4*n + 19 = o. Which is greater: o or -2/5?
-2/5
Let l = -2332/9 - -258. Let h = 82 + -84. Which is smaller: l or h?
h
Let p = -7 - -12. Let x be (p/5)/(-1 + 2). Suppose -2*b - x = -b. Do -2/15 and b have the same value?
False
Let o(h) = 2*h**2 - h - 12. Let r be o(-4). Is r greater than or equal to 24?
True
Let t be 7/(-2) - 20/8. Let a = -1 - 7. Which is smaller: t or a?
a
Let c = -1 - -5. Let d(o) = -o**3 + 5*o**2 - 2*o - 2. Let j be d(c). Which is bigger: j or 7?
7
Suppose 4*r + 4 = 2*w, 6 = r + w + 1. Suppose 3*a = -a + 4*v + 20, 0 = 3*a + 4*v - r. Is 3 greater than or equal to a?
True
Let c(r) = r**2 - 2. Let y be c(2). Suppose 4*h = -3*k - 31, 0 = y*h - 0*k + 5*k + 33. Let d be (h/(-30))/((-2)/6). Which is smaller: d or 1?
d
Let g(c) = c**3 - c**2 + c - 1. Let n be g(1). Suppose -2*u + n*u = 0. Is -1 less than u?
True
Let k(d) = d**2 - 3*d - 3. Let v be k(4). Let n = v - -2. Suppose 0 = -z - 2*z + n. Which is bigger: z or 2?
2
Suppose -49 = 6*k + 35. Which is greater: k or -7?
-7
Let p(c) = 15*c**2 + 28*c + 2. Let s be p(-3). Are s and 51 non-equal?
True
Let i(c) = -c**3 - 12*c**2 - 10*c + 15. Let q be i(-11). Is 2 >= q?
False
Let a be 5/((2 + -1)*-1). Let n = a + 5. Let i = 497/9 + -55. Which is greater: i or n?
i
Let g = 24 + -39. Let h be ((-24)/(-30))/(1/g). Let o be 1/(-5)*(-15)/h. Which is bigger: o or -2?
o
Let f(j) = -2*j**2 + 9*j + 11. Let r(p) = -p**2 + 5*p + 5. Let n(l) = -2*f(l) + 5*r(l). Let q be n(7). Do q and 3 have the same value?
True
Let y = -0.8 - -1. Let o = -2.5 - -1. Let c = 0.5 + o. Which is greater: c or y?
y
Suppose 272 = 4*z + 7*n - 9*n, -4*z = 3*n - 282. Do z and 70 have the same value?
False
Let i = 4 + -5. Suppose 0*t - 5*t = 0. Which is smaller: i or t?
i
Let y = 6 + -12. Let m be (-5)/y*(-8)/20. Let a be ((-4)/6)/(2/3). Is m <= a?
False
Let z = 6.13 - 0.13. Which is smaller: 0.2 or z?
0.2
Let w = -1332 + 22651/17. Is 0 at most as big as w?
True
Let q be (((-12)/27)/(-2))/((-14)/(-21)). Which is smaller: q or 1?
q
Let v = 24.6 + -20. Let p = -5 + v. Let l = 2 - 2. Which is smaller: p or l?
p
Suppose 6 - 45 = -13*u. Is u at least -5?
True
Let k(z) = -z**3 - 2*z**2 + 2*z - 1. Let w = -10 + 7. Let x be k(w). Let p be (15/(-6) + x)*-4. Is p at most 1/2?
False
Let d = 3 - 0. Suppose -d*q + q = -24. Suppose -2*r + q = -6*r. Is r at least as big as 2/7?
False
Suppose 0 = -14*h - 75 + 47. Let b = -1.95 - 0.05. Is h > b?
False
Let k = 9 + -13. Let s = 5 + k. Let a(p) = -p**2 + 8*p + 10. Let d be a(9). Is s less than d?
False
Let u be (1 - (-134)/3)*-1. Let y = 5 - -41. Let f = u + y. Is f >= -4/7?
True
Let z be 4 + -1 + 11 + -5. Let j = 11 - z. Do j and 3/2 have the same value?
False
Let d = -2039983/16 - -127567. Let q = d - 68. Are q and -1 non-equal?
True
Suppose 563 = 4*h - 177. Suppose 0 = 5*a - 20 + h. Let i be 1/(-4) - a/36. Is i equal to 1?
False
Let h = 4.07 - 0.07. Let l = h + -4.3. Let b = l + 0.1. Which is greater: b or 0?
0
Let b(i) = i**2 - 13. Let r be b(-6). Let n = 24 - r. Is -10 bigger than n?
False
Let j = 0.3 - 0.5. Suppose 45 + 5 = -5*p. Let l be -1 + -1 + (-16)/p. Which is smaller: l or j?
l
Let g(p) = 4*p - 1. Let j be g(4). Let v = j - 13. Is v > 1?
True
Let o = -22/3 - -8. Which is smaller: o or 1?
o
Suppose 5*z + 1 = 21. Suppose 3*p = 2*b + 25, 8*p + b - 15 = z*p. Is 6 less than p?
False
Let a be (1 - 1) + (-14)/(-63). Let j = 3.7 - 0.7. Let q = j + -1. Which is smaller: q or a?
a
Suppose 27 = 3*n - 0*n. Is 31/3 at least as big as n?
True
Let d = -0.5 + 0.55. Let j = 0.05 + d. Which is smaller: -1 or j?
-1
Let p = 47 - 41. Are p and 8 equal?
False
Let t = 857/3 + -129413/453. Which is greater: t or 0?
0
Let c be (-1 - (-7)/(-2))/((-14)/(-84)). Which is smaller: -1/4 or c?
c
Let i = 3.4 - 3.4. Which is bigger: -6 or i?
i
Let o = 2.9 + 0.1. Let f = 85.3 - 82. Let l = o - f. Is 2 greater than l?
True
Let c = -0.2 - -0.3. Let a = 0.3 - c. Let h = 0.58 + -0.68. Is a < h?
False
Let v = -0.99 + 1. Let i = v - -0.99. Let l be 8/3 + 4/(-6). Is i < l?
True
Let o = -27 + 33. Let i(k) = k + 2. Suppose 9 = 3*q, 7*q = -5*m + 2*q + 40. Let g be i(m). Is g at least as big as o?
True
Let v be (4 - (-60)/(-16))*4. Which is greater: v or -0.19?
v
Let h(l) = -12*l + 3. Let r be h(3). Let v be 6/r + (-2)/(-11). Do 1 and v have different values?
True
Let t = 8673/11 - 787. Which is smaller: 0 or t?
0
Let c(q) = q**3 + 4*q**2 - 7*q - 7. Let f be c(-5). Suppose -w + 0*w - 13 = f*o, 0 = 5*w + 2*o. Let y = -16 + 19. Is w smaller than y?
True
Suppose 0 = 4*n - 4 - 4. Let x = 1 + -1. Is n greater than x?
True
Suppose -4 = -m + 3*m. Do -9/8 and m have the same value?
False
Let f be (-6)/(-3)*-1 - -1. Let w(p) = 4*p**2 + 2*p + 1. Let b be w(f). Let h be 3/((162/(-4))/b). Which is smaller: h or 0?
h
Let b be (-1)/6*(2 + 0). Does b = 0?
False
Let v = 11.5 - 11. Let t = v + -0.5. Is -0.2 at most t?
True
Let j be ((1/(-6))/1)/(-1). Let q be ((-12)/36)/((-4)/3 - -1). Which is bigger: j or q?
q
Let j = 10 + -6. Let q be 1/(-1)*(-5 + j). Which is smaller: q or -1/3?
-1/3
Suppose 3*u - 3*b - 21 = 0, -u - 3*b - b - 13 = 0. Suppose 5*x = -3*q - 25, u*x = -q - 0*x - 15. Which is smaller: q or 1/6?
q
Let b = -1 - -2. Suppose 0 = -q - 4*q + 45. Let c be (-3)/15 - q/(-15). Which is bigger: c or b?
b
Suppose -z - 4*r + 9 = 0, 0 = -3*z + 5*z - r. Let v be 1/z + (-3)/5. Which is greater: -1 or v?
v
Let f(t) = 4*t**2 + 35*t + 11. Let m be f(-10). Is m at most as big as 61?
True
Let u = 48/235 - -314/3525. Let h = -1/25 - u. Which is smaller: h or -1?
-1
Let t = 0.0062 - 8.4462. Let g = t + -0.06. Let i = g + 8. Is -0.1 < i?
False
Let h be 9*4*1/6. Suppose 3 = 3*o - h. Are o and 2 non-equal?
True
Suppose 2*y + 18 = -0. Let w(b) = -b**3 - 8*b**2 + 9*b + 5. Let p be w(y). Suppose 3*f = -3*m, -6*m + m = -p*f - 10. Which is greater: 1/3 or f?
1/3
Let s(y) = 4*y - 2*y + 12 - y - 13. Let w be s(5). Which is greater: 5/2 or w?
w
Suppose -4*r + 5*s + 8 + 10 = 0, 5*r - s - 33 = 0. Is r at most as big as 7?
True
Let d = -4 + 9. Suppose 2*z = d*w + 1, 0*z = 3*w - 2*z - 1. Let k = w - -4. Which is bigger: k or 0.1?
k
Suppose -25*y - 22 = 3. Let v = -7241/6525 + -1/725. Is y less than v?
False
Let k be 18/99 - 84/(-22). Suppose 2*p - k = 3*n, 2*n - 5*p = 4*n - 10. Which is smaller: n or 2/3?
n
Let i be 20/25 + 1/5. Let p be 2 - 0 - (i - -2). Let l be 0 + 6/(-8)*p. Which is bigger: 2 or l?
2
Let y be ((-5)/(-15))/((-1)/3). Let u(n) = -2*n - 4. Let b be u(-7). Let v be (1/2)/(15/b). Which is greater: v or y?
v
Let f be (2/(-5))/((-8)/10). Does f = 1?
False
Let c = -4 - 8. Let t = 11.9 + c. Let f be 4/(-10) - (-14)/60. Which is smaller: f or t?
f
Let b = 9 - 32. Let s = 25 + b. Which is