x**3 + 10*x**2 - 3. Let z be n(s). Let v be (-12)/(-20) + 1 + -1. Which is bigger: v or z?
v
Let f = -824333562/47 + 17539699. Suppose 3*s - 4*t + 2045 = 0, 5*s - 4*s + t = -691. Let p = s + f. Is p < 1?
True
Let f(c) = -2*c**2 + 17*c - 7. Let u(j) = -j**2 + 8*j - 3. Let g(o) = -4*f(o) + 9*u(o). Suppose -46 + 66 = 5*w. Let q be g(w). Is q not equal to -2?
True
Suppose 1432*p - 1439*p + 2716 = 0. Which is smaller: 389 or p?
p
Let a be (66/(-4) - -2)/(6/(-195)). Let l = 469 - a. Is -2 equal to l?
False
Let q = 3 + 41. Which is smaller: q or 136/3?
q
Let d = 1/2 - 13/18. Let i = -0.143 - 0.447. Let y = -0.19 - i. Is y less than d?
False
Let i(y) = y**2 + 7*y + 10. Suppose -2*d - 86 + 30 = 2*a, -5*a = -5*d - 100. Let g = -29 - d. Let x be i(g). Is x < -4?
False
Suppose v = a - 201, 2*v + 183 = v - 5*a. Is v greater than or equal to -199?
True
Let p = -9133/1218 - 1/609. Suppose -2*w - 21 = -n, 12 = 4*n - 0. Which is greater: w or p?
p
Suppose 5*z = -3*z + 72. Suppose y = -h + 2, 1 = -3*y - 5*h + z. Which is smaller: y or -1?
-1
Let c = 4466 - 129511/29. Suppose -3 + 4 = b. Is b at most as big as c?
False
Let q = 2/4531 + -9772/1608505. Let x(c) = c**3 + 9*c**2 + 9*c + 8. Let w be x(-8). Which is greater: q or w?
w
Let x = 17 - -18. Let u = x + -33. Which is bigger: 13 or u?
13
Let n = -881.3 - -882. Is 3/11 not equal to n?
True
Let i = -152/21465 + -14/795. Suppose 3*b + l + 4 = 0, -b + 1 - 4 = 2*l. Is i > b?
True
Let u = 17.1 - 17. Let d(m) = m**2 + 15*m + 20. Let l be d(-10). Which is bigger: l or u?
u
Let x = -2 - -6. Suppose -4*d + 0 = x. Let t be (3/(-4))/(33/(-24) - 2). Which is smaller: t or d?
d
Suppose 0 = -4*t + 2*z + 10, 33*t + 4 = 28*t - 3*z. Are t and -21/62 nonequal?
True
Let r be 0 + 220/(-146) + (-33)/(-22). Are 0 and r equal?
False
Let m be -174*(-34)/85*10/(-6). Which is greater: m or -115?
-115
Let j be (-2)/((-3)/(-1) - 1). Let o be (-1264)/(-1280) - 1*-2 - 3. Is o != j?
True
Let i = 539 - 539.01. Which is smaller: -15 or i?
-15
Let l be (-4)/10*(-50)/(-6). Let b(g) = 2*g. Let j(o) = -1. Let a(p) = b(p) - 3*j(p). Let x be a(-3). Which is greater: x or l?
x
Suppose 0 = d + l + 2287, 0 = 2*l + 10 - 8. Is d bigger than -2287?
True
Let y be (0 - -2)*10/(-4). Let g = 0 + y. Let u be 78/(-1170)*1*(-15)/3. Which is smaller: g or u?
g
Suppose -468 = -2*w + 5*c, -5*w - 35*c + 1151 = -38*c. Which is smaller: w or 228?
228
Let j = 1125 - 1125.2. Is 1/145 > j?
True
Let m be (-1)/10*-2 + (-294)/(-30). Let u be (-19 + 23)/(5/(m/12)). Which is greater: 8 or u?
8
Suppose 47*f - 40*f - 231 = 0. Is f less than 5?
False
Let n(d) = -d**3 + d**2 + d - 1. Let w be n(-2). Suppose -2*i = u + 3 - w, -8 = -3*i - u. Suppose -3*b = i*b + 3*s - 30, -12 = -2*b + 5*s. Does 6 = b?
True
Suppose -g - 3 = -p, -p + 9 = 2*p + g. Suppose p*y - 6 = -3*y. Which is bigger: 1/23 or y?
y
Let n(r) = -19*r**3 + 2*r - 3. Let b be n(3). Is -511 greater than b?
False
Let l = -395 - -422. Is 2 at most as big as l?
True
Let p = 0.9 + 97.1. Let f = p + -97. Is f != -17?
True
Suppose 4*w + 20 = 4*s - 16, -2*w - 12 = -s. Suppose -51 = -5*y - s*q + 2*q, -3*y = -4*q - 5. Let v = -6 + y. Is 1 at most v?
True
Let p = -0.089 - 54.911. Let k = p - -62. Is -1/2 <= k?
True
Suppose 0*z + 2*z = 0. Let h(d) = -4*d**2 + 7*d - 9. Let l(r) = r**2 + r - 1. Let p(b) = -h(b) - 5*l(b). Let j be p(-13). Is j at least as big as z?
True
Let x = 666 + -475. Let q = x - 4392/23. Let u be (-6 + 6)/(3 - 1). Which is bigger: q or u?
q
Let k(f) = 14*f - 3. Let d be k(3). Suppose d*n - 44*n - 20 = 0. Is n >= -0.03?
False
Suppose 3*j - 18 - 6 = 0. Suppose -270 = -j*o - 94. Is o smaller than 24?
True
Let w(b) = -b + 2. Let g be w(9). Which is smaller: g or -3?
g
Let r = 66 - 59. Let m be 3 + r/(-3) + 2/6. Which is bigger: 16 or m?
16
Let c(w) = w**3 + 5*w**2 + 7*w + 13. Let u be c(-5). Are 3/5 and u non-equal?
True
Let b(c) = -c**3 + 28*c**2 + c - 26. Let u be b(28). Let q be -3*(0 + (-1)/1). Suppose 5*n = u*r + q*r, -r = 4*n. Which is greater: -0.2 or n?
n
Suppose -v - 40 = -2*d - d, 4*d - 32 = -4*v. Suppose -4*n = -n - d. Suppose 0 = n*u - 0 - 4. Which is smaller: 1/21 or u?
1/21
Let g(r) = -r + 13. Let d = -8 + 18. Let s be g(d). Suppose -5*a - 12 = -3*z, s*a = -z - a - 13. Which is smaller: 2 or z?
z
Let m be ((-3)/(-2))/((-33)/(-44)). Let q = m - 4. Let f(k) = -k + 1. Let u be f(4). Which is smaller: u or q?
u
Suppose -10*j = -6*j - 12. Suppose 4*c - j*q + 2 = 0, 5*c + q = 4*q - 1. Let s be -2 + 72/28*1. Which is bigger: s or c?
c
Suppose 40*l + 6403 = -11677. Is l bigger than -452?
False
Suppose c - 3*z + 36 = -0*c, -4*c + 5*z = 151. Is c smaller than -2?
True
Let r = -71 + 72. Which is smaller: r or -11?
-11
Let f be 4 + 33/(-8) + 19/(-1064). Which is bigger: 14.7 or f?
14.7
Let c = -551 + 2718/5. Is -7 bigger than c?
True
Let o be (-14)/(-49) - (-136)/14. Let p be 7 + -13 + 7 + o + -1. Does p = 12?
False
Let w = -287 + 14079/49. Which is bigger: w or -1?
w
Let w be 4/18 - 890/(-45). Suppose d - w = -d. Is 11 less than or equal to d?
False
Let l be 10/2 - (-27)/(-3). Is -16 greater than l?
False
Let f(k) = 5*k + 30. Let l be f(-7). Is l greater than 4?
False
Let h be 1/3 + 2/3. Suppose -11*x - 62 = 92. Let k be ((-12)/(-20))/(x/5). Which is greater: h or k?
h
Let d(t) = -t. Let w be d(2). Let b = -30 - -52. Suppose b = -4*q - 5*l - 19, 2*q + 3 = l. Which is bigger: q or w?
w
Let v = 57 + -41. Suppose 5*u - 14 = -r, 7*u = r + 2*u + v. Let z be 1/(-1) + 5 + -6. Is r at least as big as z?
True
Let h = -8.996 + -0.004. Which is smaller: h or 5?
h
Let o(t) = t + 5. Let d be o(4). Suppose 27 = 3*y - 3*w, -4*y + 5*w - 2*w = -35. Is d >= y?
True
Let u be 4/(-58)*2/4. Suppose -25 = -4*g + 35. Let o = g + -14. Which is greater: o or u?
o
Let x(o) = -17*o + 16. Let w be x(1). Are w and 8/25 equal?
False
Let x = -26 + 40. Suppose -5*w = o - 24, 4*o - 3*w - 87 = -x. Let d = -14 + o. Which is greater: d or 4?
d
Let t be (-38)/14 - (-4)/(-14). Suppose -2*m = -4*m + 10. Suppose -m*f = -2*f. Which is greater: f or t?
f
Let b = 0.35 - -1.55. Let j = 1.8 - b. Let m = 0.08 + -0.28. Is j not equal to m?
True
Let i(d) = d + 5. Let l be i(0). Suppose l*w + 6 = 1. Let f be (-2)/(-1)*9*3/783. Do w and f have the same value?
False
Let i = -597 + 1793/3. Is i > -2.2?
True
Let c be -6 - (-18 - 0)*107/327. Is 1 greater than or equal to c?
True
Let l = 6 + -153. Is -1 greater than l?
True
Let r(q) = 8*q + 61. Let m be r(-7). Let k = 7 + -5. Does k = m?
False
Let i be (-12)/3 - -25*1/1. Suppose c - 3*c + 42 = 0. Is c <= i?
True
Let w(i) = i**3 - 8*i**2 - 14*i + 21. Let h be w(10). Is h at most 412/5?
True
Suppose 9*b = -26*b - 35. Is b equal to 0?
False
Let n(z) be the first derivative of z**2 + 3. Let m be n(-1). Let u be (5/(30/8))/m. Is u smaller than -0.07?
True
Let n = -25 + 40. Let w be (1 - (-28)/(-20))*n. Suppose 4*p - 1 = -9. Is p bigger than w?
True
Let j(v) = v**2 + 50*v + 419. Let o be j(-39). Which is smaller: -9 or o?
o
Let b = 22.982 - -0.018. Let d = 22 - b. Let m = -11 - -7. Is m bigger than d?
False
Let b be ((-1)/(-4))/(11/(-330)). Suppose -4*n + 0 + 3 = 3*j, 0 = j - 2*n - 11. Suppose j*y = -32 - 3. Are b and y unequal?
True
Suppose -2*c - 4 = -2*z + z, -c - 8 = z. Let n be 4/(12/(-87)) + z. Let y = n + 29. Which is smaller: y or -5?
-5
Let n be 2/(-1) - 709/(-357). Let u = 4/21 + n. Is 0 equal to u?
False
Suppose 4*r - 23 + 1 = -3*q, -2*r + 20 = -3*q. Suppose -2*a = -d - 3 - 6, -3*d = 4*a + r. Let y be (-1)/2 - 75/(-54). Is a <= y?
False
Let i = -81.8 + 81.8. Let a = 20.6 - 22.33. Let j = -2 - a. Are i and j nonequal?
True
Let x be (1/((-9)/(-12)) + -1)*0. Let m be 26 + -29 - (1 + (-436)/110). Is x != m?
True
Let z = -94 + 177. Which is greater: 82 or z?
z
Suppose -5*p = -0*p + 5*t - 145, -t = 2*p - 56. Is 29 at most as big as p?
False
Let p = 4333/60 + -349/5. Do p and 0 have different values?
True
Suppose 4*r + 4*o = 212, 5*o - 4*o + 109 = 2*r. Suppose 5*w = r - 14. Suppose 9 = 3*i - 5*k, 4*k - 17 = -i + k. Is i at most w?
True
Let c = -0.79 - 1.11. Let k = 2.6 + -0.6. Let s = k + c. Is s bigger than -2/9?
True
Let g be (-119)/21 - ((-4)/(-12))/1. Which is smaller: -29/4 or g?
-29/4
Let a be (4/(-196))/(54/63). Is 1 less than or equal to a?
False
Let d = -0.5 + 0.4. Let l = 202.1 - 211.03. Let v = -0.07 + 