-27 + 22. Suppose 5*n + 24 = n. Let k = n - -2. Are k and b equal?
False
Let o be 18/42*14/40. Let z = o + -61/140. Do 1 and z have the same value?
False
Let m(d) = d - 4. Let z be m(4). Suppose -4 + 2 = 2*n. Let s be 1 - n - 5/2. Is s != z?
True
Let a(p) = p**3 + 5*p**2 + 3. Let s be a(-5). Let l be 297/45 + 6/(-10). Which is greater: l or s?
l
Let t = 37 + 28. Let q = t - 197/3. Is q smaller than 2?
True
Let r(w) = -w**2 + 7*w - 5. Let o be r(6). Let v be ((-3)/(-3) - 1)/2. Which is greater: o or v?
o
Let k be (-1)/(-4) - (-374)/264. Is 1 equal to k?
False
Let a(k) = -3*k - 50. Let f be a(-17). Which is smaller: 1/19 or f?
1/19
Let i = 25 + -31. Does i = -6?
True
Let v be ((-6)/(-68))/(30/(-320)). Which is smaller: -2 or v?
-2
Let r(u) = u**3 - 6*u**2 + u - 5. Let j be 2/3 - 184/24. Let q = 13 + j. Let i be r(q). Do i and 2 have the same value?
False
Let l = -2.73 + 8.8. Let y = l + -0.07. Let h = -5 + y. Do 2/5 and h have the same value?
False
Let c = -28 + 20. Let j(l) = -l - 10. Let w be j(c). Let n(x) = x**2 + 6*x - 1. Let f be n(-6). Is w != f?
True
Let v = 90 + -9. Suppose -3*y + 3 = v. Let w = y - -51/2. Which is bigger: -1 or w?
w
Let c = 11/35 + -19/7. Let q = -51 - -49. Which is smaller: q or c?
c
Let j = -583/5 + 118. Let c = 1 + 1. Is j >= c?
False
Let t = 1.1 + 0.9. Is -4 != t?
True
Let d = 523/392 - 11/8. Which is smaller: 0 or d?
d
Let a = -149 - -149. Which is smaller: -6/13 or a?
-6/13
Suppose 1 = -5*v - 4*z - 6, 0 = z + 3. Let j = 1 - v. Let t(f) = -f**3 - 2*f**2 - 2*f - 1. Let i be t(-1). Are j and i non-equal?
False
Let c = -3/10 - -19/30. Let j(k) = -k - 4. Suppose 2*w + 8 = -0*w. Let o be j(w). Which is greater: c or o?
c
Let o = 227440 + -11154554/49. Let i = 204 + o. Which is greater: 1 or i?
1
Suppose -y = y - 8. Which is smaller: -1/3 or y?
-1/3
Let y be (2/(-4))/((-2)/8). Let h = -5.6 + 5. Is h not equal to y?
True
Let m = -2 - -2. Let u(p) = p**3 - 6*p**2 + 2*p - 9. Let a be u(6). Suppose z = a*z. Do z and m have the same value?
True
Let s(r) = r - 2. Let p be s(2). Let n be (-1 - -2)*8/28. Is p at least n?
False
Suppose 3*b = -12, 3*b + 13 = -3*h + 4*h. Let r be 2 + h/2 + -2. Let v(l) = -5*l - 9. Let s be v(-2). Is r smaller than s?
True
Suppose 0 = 4*v + 2*v - 6. Is v less than 3/32?
False
Let q = 50 + -49.7. Is q at most -1?
False
Suppose 0 = u + 2*v - 1, 0 = 3*u - 3*v + 9 - 3. Let s = -5 - -4. Let o = 1 + s. Are u and o equal?
False
Let d be -2 + (4 - 0) - 1. Let f(m) = -2*m**2 + 13*m + 7. Let q be f(7). Which is smaller: q or d?
q
Suppose 16 = -4*y - 8*l + 4*l, -y = -3*l + 4. Let z be (-306)/120 + (-1)/4. Is y greater than or equal to z?
False
Suppose -4*y - 5*z = 44, -96 = 5*y + z - 5*z. Which is smaller: y or -44/3?
y
Let w = 32 + -31.93. Which is bigger: w or -0.1?
w
Let c(i) = -i**3 - 8*i**2 - 6*i + 6. Let y be c(-7). Is y <= -2/33?
True
Let q(l) be the third derivative of l**4/24 - 7*l**3/6 + l**2. Let k be q(3). Let t be ((-2)/12)/(k/8). Is t less than 1?
True
Let z = -1.039 - -0.039. Which is greater: 8/3 or z?
8/3
Suppose -4*n + 3*k + 5 = 0, -3*n + 5*k = 2*n - 10. Let u = n - -1. Which is smaller: u or -2/3?
-2/3
Let m = -2/329 + 369/6580. Let n = -7/60 - m. Which is smaller: n or -1?
-1
Let l be (6/21 - 27/21)/1. Is l <= 2/61?
True
Let g(v) = v**3 - 11*v**2 + v + 16. Let k be g(11). Is k less than 26?
False
Suppose 11*k - 14*k = 45. Let f = -2384/35 + 369/7. Let m = k - f. Which is smaller: -1 or m?
-1
Let n = 1964 - 10111/5. Let g = 58 + n. Which is smaller: 0 or g?
g
Let t be ((-4)/10)/((-64)/(-40)). Let b = 1 - 2. Is t less than or equal to b?
False
Let j be -34*-3*6/63. Is j <= 10?
True
Let s = 24 - 15. Let t = 8.97 - s. Is -1 at most t?
True
Suppose -s = -v - 3 - 2, 0 = -2*s + 8. Which is smaller: 1/5 or v?
v
Let d = -4.2 + 4.25. Suppose -5*n + 3 = 13. Let g = -1 - n. Which is bigger: d or g?
g
Let y be 2/(-5) - 231/35. Let k = 3 + y. Let f = -1 + k. Which is bigger: f or -4?
-4
Suppose 5*y + 8 = -12. Let h be (-14)/y*(-24)/(-14). Let q be (3/2)/(h/4). Is 4/7 bigger than q?
False
Let p(s) = s**2 + 9*s + 11. Let z be p(-9). Are z and 0 unequal?
True
Let m = -26/85 + 12/17. Let u = 3.1 - 3. Is u at most as big as m?
True
Let i = 6 + -2. Is 4 < i?
False
Let k(j) = j**3 + 4*j**2 + 2*j. Let x be k(-3). Which is bigger: 19/10 or x?
x
Let a = -14201/105 + 406/3. Is -1 at most a?
True
Let i be 18*(-6 - (-381)/63). Suppose -3*p + 5 = 2. Is p != i?
True
Let h = 4 + 7. Is 10 smaller than h?
True
Suppose 0 = x + l - 2*l - 4, 0 = -4*x + 5*l + 17. Which is greater: -1 or x?
x
Let x(b) = -b**3 + 7*b**2 - 6*b + 1. Let m = -6 + 12. Let r be x(m). Let u = 0 + 1. Is r at least u?
True
Let d(f) = -f**2 + 18*f + 60. Let o be d(21). Which is bigger: -4 or o?
o
Let q(y) = -10*y + 1. Let z be q(-2). Let n = -31 + 28. Let u be (4/z)/((-2)/n). Is -1/2 greater than or equal to u?
False
Let v = -2.6 - 0.4. Let n = -15 - -13. Is v smaller than n?
True
Let k(q) = -q**2 + 4*q - 3. Suppose 0*u - 4 = -u. Let c be k(u). Is c greater than or equal to -0.1?
False
Suppose 5*i = -5*z + 425, 4*i - 312 = 2*z + z. Is i at most 80?
False
Let a(x) = x**2 - 5*x. Let n(p) = p**3 - 7*p**2 + 6*p + 5. Let z be n(6). Let g be a(z). Is g less than 1/3?
True
Suppose 5*p + 15 = -0*p. Suppose -2*y - y - 15 = 2*l, 5*l = -15. Is y bigger than p?
False
Let p = 2 - 0. Suppose p*w = 3*w. Which is greater: w or -1?
w
Let t(i) be the third derivative of 0*i - 1/12*i**4 + 0 + 1/6*i**3 + 1/15*i**5 + i**2. Let j be t(1). Is j smaller than 4?
True
Suppose 2*a + 11 = 3*a. Suppose -6 - 5 = -c. Is a not equal to c?
False
Let v = 24 - 42. Let q be (8/(-6))/(6/v). Is 3 at least as big as q?
False
Let t(h) = 2*h - 18. Let f be t(12). Is 6 at most as big as f?
True
Suppose -2*h = -10, -5*i + 4*h = 19 - 4. Is 18/13 less than or equal to i?
False
Let i be (26583/12)/((-1)/1). Let l = i + 2240. Let x = l - 25. Is 1 <= x?
False
Let u = -18 + 30. Which is smaller: 13 or u?
u
Let y be 7/(-30) - (-8)/20. Do 0 and y have different values?
True
Suppose -4*g + 7 + 53 = -5*i, 15 = -5*i - 5*g. Which is smaller: -2 or i?
i
Suppose 0 = 3*q - 2*q. Let l = -40231 - -200522/5. Let g = 126 + l. Which is bigger: g or q?
q
Suppose -3*j - 2*j = -20. Let g be ((-2)/j)/(5/10). Which is smaller: -2/5 or g?
g
Suppose 3*s + 5*a + 1 = 0, 2*s - 2*a + 6 = -0*s. Let k = 1 - s. Which is greater: k or 1?
k
Suppose 0 = 3*o + 3*y + 2*y + 2, 2*o + 2*y = 0. Let g = -3/16 + 7/80. Which is smaller: o or g?
g
Let a = 17 - 20. Let n be a/((-78)/22) - 1. Which is smaller: n or -0.1?
n
Let s(w) be the first derivative of -5*w**3/3 - w - 1. Let x be s(1). Which is smaller: x or -4?
x
Let a(w) = -w**2 - 5*w - 1. Let j be a(-3). Suppose 3*u + 2 = j. Let m be -6 + 3 + 1/u. Is 2/5 not equal to m?
True
Suppose -5*s + 1 = -4. Let a = 220/731 + -18/43. Is s at least as big as a?
True
Let u = 24.4 + -28. Let r = -4 - u. Let y = r + 0.6. Which is bigger: y or 1/3?
1/3
Suppose -7 + 44 = -4*x - 5*r, -3*x + 2*r = -1. Let z be -3*14/6*1. Let f = 3 + z. Which is bigger: f or x?
x
Let v = -24 - -13. Let j = 11 + v. Is j bigger than 0?
False
Let j = 4 + 2. Suppose 4*d = -2*z + 12, z = 2*z + 5*d - j. Let y = z + -9. Is y at most as big as -3?
True
Let q(p) = -3*p**2 - 5*p - 2. Let a be q(-3). Is a smaller than -14?
False
Suppose 0*i = i - 2. Suppose -15 = 3*d, 3*x + 3*d + 20 = -2*x. Is x equal to i?
False
Suppose -3*o + 3 = -3. Let i be o + -1 + 3 + -2. Which is smaller: 3 or i?
i
Let h be (4 + 20)*2/4. Suppose -5*x - 20 = -5*y, -3*y + h = -8*y - 3*x. Is y less than -1?
False
Let w = 0 - -2. Let i(f) = f**3 + 2*f**2 - 4*f. Let t be i(-3). Which is smaller: w or t?
w
Let o = 4720/8613 - 2/783. Let y(u) = -u**3 + u**2 - u + 2. Let q be y(0). Which is smaller: q or o?
o
Let z = -4 - -2. Let r be (-2)/z*(1 - -3). Let l(d) = d**2 - 3*d - 5. Let t be l(r). Which is bigger: t or 0?
0
Let j = 0.06 + 17.94. Is 0 <= j?
True
Let q = 2 + 0. Suppose q*l = 31 + 3. Is l at least as big as 1?
True
Let j = 5/23 + 21/115. Which is bigger: j or -1?
j
Let y = -8.271 + -0.029. Let h = -1.3 - y. Let u = 6.93 - h. Is 1/3 at most as big as u?
False
Let a = -36 - -20. Let j = 9 + a. Let n = j + 7. Which is smaller: n or -3?
-3
Let z = 4754 - 33377/7. Is -13 at least z?
True
Suppose -2*q + 328 = -6*q. Let j = 569/7 + q. Is -1 >= j?
False
Let g 