10. Let v(p) = 2*p + 2. Let y be v(z). Is y at most as big as -11?
False
Suppose -s = -0*s - 14. Let w be (3/(-18))/((-7)/s). Is 0.4 > w?
True
Let f(v) = v**3 - 18*v**2 + 86*v - 21. Let s be f(9). Which is bigger: s or 29?
29
Let y = -4 + 1. Let b(m) = m + 3. Let k be b(2). Suppose -2*u + k = -7*u. Which is bigger: y or u?
u
Let m = 361/3 + -120. Which is bigger: m or 89?
89
Let w = 18 - 18. Suppose 8*r + 16 + 8 = w. Is r at least as big as -11/7?
False
Let x = -72 + 64. Let u = 9 - x. Is 16 greater than or equal to u?
False
Let u(p) = p**3 - 15*p**2 + 33*p. Let f be u(12). Is -1/4 less than f?
False
Suppose -37*p - 88 = -33*p - 4*x, 2*p + 48 = 3*x. Let v = 2 + -4. Let o be v/1 + -14 + -1. Is p at least as big as o?
False
Let h be (13 - 10)/((-5)/(-3) - 2). Let j be ((-1)/(-1))/(18/(-12))*h. Are -4 and j non-equal?
True
Suppose 0 = -5*l - 3*l + 56. Suppose -13*h = -14*h + l. Suppose 4*j - 6 - 22 = 0. Is j < h?
False
Let u(c) = -4*c**3 - 4*c**2 - 5*c + 4. Let t(m) = m**3 + m - 1. Let q(n) = 2*t(n) + u(n). Let h be q(-3). Suppose 0 = 2*p - 23 + h. Which is smaller: -2 or p?
p
Let y = 6 + -4. Suppose -y*x + 3*w = 0, -8*x + 4*x = w. Let k be -5 + 2/1 + x. Do -3 and k have the same value?
True
Let b = -88 - -88. Suppose b = 3*z + 3*z + 42. Which is smaller: -4 or z?
z
Let h be 216/(-21) - 4/(-14). Let u be ((-3)/15)/((-12)/h). Suppose 0*v = -3*v - 5*a, -a = -3*v. Which is bigger: u or v?
v
Suppose -3*d - d = 0. Suppose -5*g + 20 = 0, -g - 132 = 4*o - 2*g. Let y be o/22 - (-2)/1. Is d at least y?
False
Let k be (6/10 + 34/10)*2. Let v be 2/k + (-210)/40. Is v less than -4?
True
Let a = 517 + -272. Which is bigger: 244 or a?
a
Let n = -7 + -3. Let q = -1.4 - -11.4. Let r = q + n. Is r smaller than 11?
True
Suppose -5709 = 64*j - 53*j. Which is smaller: -521 or j?
-521
Let o(d) = -d**3 - 3*d**2 + 3*d + 8. Let b be o(-3). Which is smaller: 1/193 or b?
b
Let p be (-2)/(-11) - (-24320)/(-2717). Which is greater: p or -10?
p
Suppose -3*d + 2*h + 30 = 0, -d + h = 3*h - 2. Let q = -43 + 51. Is q at least as big as d?
True
Let v(y) = y**2 - 2*y - 1. Let b be v(2). Let n be 3 + b + (-1)/1. Let u = -14369/16 - -898. Is n greater than u?
True
Let z = -1.64 + 1.8. Let c = z + 12.84. Is 0.2 at most c?
True
Let r = 3 + -2.9. Let s = -0.1285 + -16.9315. Let n = 0.94 - s. Which is smaller: r or n?
r
Let p = 33 + -16. Which is bigger: 86/5 or p?
86/5
Let b = -217/2 + 1091/10. Let l(j) be the second derivative of j**3/6 + j**2/2 - j. Let q be l(1). Is b at most q?
True
Let t be (-1394)/274 + 0 + 5. Which is bigger: t or -1?
t
Suppose 1 = r + 5*f + 7, 0 = -5*r + 5*f. Let l be (-1 - r)*(-12)/36. Suppose -s - 4*c = -18, 2*s = -8*c + 3*c + 24. Are l and s equal?
False
Let x be 3/12 + -3 + 30/8. Let v be (-1 - x) + 448/222. Does v = -1?
False
Suppose -4*i = -7 - 9. Let d be 10/i - (-11)/(-22). Let c be (-4 + 3 + d)*1. Which is bigger: c or -3/8?
c
Let b = -6/85 + 224/765. Let v be (-9)/30*10/12. Which is bigger: v or b?
b
Suppose 4*b = -7 - 1. Let i be b + ((-25)/(-1) - -2). Which is greater: 26 or i?
26
Let c = -9 - -7. Let z(r) = r**3 - 3*r**2 - 3*r. Let u be z(3). Is c at least as big as u?
True
Let s = -7 - -9. Suppose r = -s*r. Let y be 4/10 + 83/(-70) + 1. Is r < y?
True
Let f be 6608/18 + 14/(-126). Is 368 at most f?
False
Let h = -3409 - -71609/21. Let n be 239/21*(-1)/13. Let w = n + h. Which is smaller: w or 0?
0
Let a be 9*4*(-5)/120*30. Suppose 4*z - 20 = -200. Is z greater than a?
False
Let i(o) = -o**2 - 10*o + 5. Let v be i(-5). Let w = 14 - 26. Let d be (46/w)/((-5)/v). Which is smaller: 24 or d?
d
Suppose 265 - 20 = 7*n. Suppose n*y - 12 = 32*y. Which is bigger: y or 7?
7
Let h = -9 + 8.92. Let s = h - 0.12. Let r = -204 + 197. Which is bigger: s or r?
s
Let w be (-84)/14 + (-6)/(-3). Is w not equal to -0.5?
True
Let w be 9/(-2)*(-4 + 192/40). Which is smaller: w or -4?
-4
Let m be -2 + 14/(-259)*(-151)/4. Which is smaller: m or 1?
m
Suppose 21*y = -1 - 20. Let g = 456 - 8666/19. Which is greater: g or y?
g
Let x = -996 - -931. Is x != 1?
True
Let o = -113 + 65. Let p = -48.3 - o. Which is smaller: -1 or p?
-1
Let d be (-4)/18 + -1707*2/(-1512). Let r = 16/7 - d. Is 0.05 smaller than r?
True
Suppose 3*q = 35*q - 7904. Is 247 greater than q?
False
Let h = -225.01 + 225. Is 1/6 at most h?
False
Let j(i) = -2*i**2 + 4. Let w be j(-4). Let z be (w/(-6))/(4/6). Let m be 3 + 7/(z/(-2)). Is m <= 3?
True
Let r(t) = t**2 + 8*t - 3. Let b be 33/(-5) + 10/(-25). Let f be r(b). Let a(s) = s**2 + 10*s + 5. Let j be a(-8). Is j > f?
False
Suppose 23*s = -8*s + 23157. Which is smaller: s or 1/4?
1/4
Suppose 4*i - j = -1, -2*i - 2*j = -7*j + 5. Let k be 13/((-26)/(-16)) - -1. Which is smaller: k or i?
i
Let z(m) = 0*m**2 + 3*m**2 + m**2 - m + m**3 - 3 - 4*m. Suppose 10 = -2*t - 4*y, 2*y + 3 + 22 = -5*t. Let k be z(t). Is -1 less than or equal to k?
False
Let v = 31 - 26. Suppose m = v*t + 52, 3*t = 2*m + 8 - 42. Suppose 3*h = 5*h + 18. Which is greater: t or h?
h
Let b be (1/(-7))/(3*8/(-84)). Let t = 0.5 + -2.5. Which is smaller: b or t?
t
Suppose 2*t - 2 = -z + 11, 0 = -5*t + z + 36. Let w = 22 + -12. Is w <= t?
False
Suppose -66*v - 547 = -69*v + 2*d, 4*d = v - 169. Is 186 >= v?
True
Let a(o) = -6*o - 32. Let j be a(-8). Let u = j - 16. Which is greater: -0.43 or u?
u
Let r = 48 - 33. Suppose 0 = 5*p - 0 - r. Suppose 5*x - 25 = -5*q, 0*x + q + 1 = x. Is p less than x?
False
Let z = -918 + 539. Which is greater: -377 or z?
-377
Suppose 2*w + i = 7*w + 23, -2*w = -3*i + 4. Let y = 18 + w. Which is bigger: 23/2 or y?
y
Let b = -1973/3417 + 40/67. Is b >= -4/7?
True
Let u be (244/183)/(1/((-102)/(-4))). Which is smaller: 33 or u?
33
Suppose -4*g - 4 = -0*g, -5*y = 3*g + 8. Is y < -1/29?
True
Let w = 145.144 - 0.144. Let o = w - 146. Let f(x) = x**2 + 5*x + 2. Let q be f(-4). Is q at most as big as o?
True
Let m = -72/197 - -13688/2955. Let p = m + 16/15. Let d = -20/3 + p. Do 0 and d have the same value?
False
Let n be 2/(-9) - 40/144. Suppose 3*h = 4*h + 7*h. Is h greater than or equal to n?
True
Suppose -96 = -3*x - 48. Suppose 2*g + x = 3*g. Are g and 2 nonequal?
True
Let g(s) = -2*s - 13. Let v be g(-7). Suppose -2*o - 2 = -5*i, 0*i - 4*i - v = o. Which is smaller: o or 5/19?
o
Suppose 4*u - 2*i = -48, 4*u - 7*i = -3*i - 56. Is -0.2 at least u?
True
Let o be (-1 - (1 - 0)) + 1. Let a be (-16)/(-2) + 4277/(-533). Is o >= a?
False
Suppose 2*s - 3*n - 4 = n, -8 = -s + 4*n. Which is smaller: s or -38/11?
s
Let m = 763 - 820. Which is greater: -66 or m?
m
Let w be (-8)/(-10)*(-5)/(-260). Let p = 137/455 - w. Which is smaller: p or 0.17?
0.17
Let l(z) = 4*z + 14. Let h be l(4). Let n = h + -29. Is n smaller than -2/47?
False
Let x(r) = 15*r - 945. Let a be x(63). Does 17/13 = a?
False
Let y be ((-2)/4 + -1)*(-80)/(-12). Let f be y/(-20) + 115/(-222). Is f at least as big as -1?
True
Let h = 71/65 + -9/10. Which is smaller: 0 or h?
0
Let j = -78.954 - 0.046. Which is greater: -4/5 or j?
-4/5
Let r = 2.62 - 0.12. Let h = 1 - r. Let b = -0.992 - 0.008. Is b less than or equal to h?
False
Suppose -27*z + 64 = -17. Suppose 20 = 5*g - 0. Is z greater than g?
False
Let g be (3 - (-8)/(-5))/((-15)/7158). Suppose -4*v + 2931 = 259. Let y = g + v. Is y not equal to 0?
True
Suppose -n = 2 - 0, -3*r + n - 172 = 0. Let w(c) = 7*c - 31. Let a be w(-4). Which is smaller: r or a?
a
Let o be (-40)/(-3)*(48/(-10) - 0). Is -63 at least as big as o?
True
Let g be 212/18 + -1 + (-44)/(-36). Suppose 0 = -2*h + 10 - g. Which is smaller: -3 or h?
-3
Suppose 0*m + 2*x = -4*m - 4, 14 = -2*m - 4*x. Let s be m/(3/24) - 1. Which is smaller: 8 or s?
s
Let j be (-12 - -10)/((-1038)/9 + 2). Is 0 bigger than j?
False
Let p(z) be the second derivative of -z**4/12 - z**3/6 - 4*z**2 + z. Let x = 232 - 232. Let q be p(x). Is -8 != q?
False
Let k = -2 - -2. Suppose 4*j + 5*r + 0 + 11 = 0, -2*r = 4*j + 14. Let m be (j + 316/78)*-3. Is k bigger than m?
True
Let s(u) = -u**2 - 3*u + 2. Let a be s(1). Let k = 6 + a. Which is smaller: 1/3 or k?
1/3
Let o be ((-240)/140)/(2/49). Is o not equal to -13?
True
Let u(d) be the second derivative of d**5/20 - d**4/2 - 7*d**3/6 - 4*d**2 - 8*d. Let x = -12 + 19. Let p be u(x). Which is smaller: p or -7?
p
Let o = 380 + -380.02. Is 0.4 < o?
False
Let a = -525 - -518. Suppo