 or -7?
-7
Let v(b) = -12*b**2 + 5*b + 5. Let i be v(-1). Which is smaller: -9 or i?
i
Let d(z) = z**3 - z. Let y(s) = 2*s**3 + 17*s**2 - 18*s - 13. Let q(h) = -3*d(h) + y(h). Let m be q(16). Is m > 4?
False
Let x = 10 - 9.41. Let o = x - 0.19. Which is smaller: 1/2 or o?
o
Suppose 0 = -2*s + 17*j - 12*j - 4, -16 = -2*s - 5*j. Let l be 76/18 + (-4)/18. Which is bigger: s or l?
l
Let g be (0 - (-8 + 7))*0/(-8). Is g <= 2/2463?
True
Let t(w) = 6 + 0 - 24 - 14*w + 18*w. Let m be t(5). Is m > 22?
False
Let a = 4 - 11. Suppose -4*n + 2*z = -0*n - 22, -4*z = 5*n - 47. Suppose 0 = k, 5*k = -n*h + 2*h - 30. Is h smaller than a?
False
Let s = -59.9 + 44.9. Is s bigger than 0.2?
False
Suppose -4*b + n = -0*b - 59, 5*b = 4*n + 71. Suppose 4 = -q, d + 2*q + 3*q = -b. Let z(m) = -3*m**3 - 13*m**2 - 5*m. Let c be z(-4). Is d smaller than c?
False
Suppose 2*m - 1 = 15. Suppose 0*o - 4*c - 2 = 3*o, -2*o + 4*c - m = 0. Let i = 16 + -17. Which is greater: o or i?
i
Suppose 4 = v + 3*j, -2*v - 3*v - j + 20 = 0. Let g(l) = 37*l**2 + 3. Let h be g(v). Let p = h + -10119/17. Is p < -1?
False
Let p = 390 - 341. Do 51 and p have different values?
True
Suppose -33*k - 940 = -13*k. Which is bigger: -49 or k?
k
Suppose 0 = -4*b - 0*m - 2*m + 12, m = 4*b - 12. Suppose 4*i + 2*d = 78, -2*i + 1 = b*d - 32. Are 21 and i unequal?
False
Suppose 4*f = 62 - 6. Suppose 15*k - 13*k - f = 0. Let n = 7 - k. Which is smaller: -7 or n?
-7
Let s(v) = v - 1. Let j be s(0). Let g(i) = 2*i + 18. Let m(u) = -u**2 + 12*u - 38. Let n be m(9). Let o be g(n). Which is smaller: j or o?
o
Let z(t) = t**3 + 7*t**2 + 6*t + 1. Let c be z(-6). Let i = c - 1. Let f = 219809/51 + -4310. Which is smaller: f or i?
f
Let s = -20.032 - -20. Let l = s - 33.968. Let f = -35 - l. Which is smaller: 1 or f?
f
Let i = 377 + -4895/13. Let q be (3/(-15))/((-6)/15). Is i bigger than q?
False
Let z = -209 - -210. Is -2/5 at most z?
True
Suppose 30*o - j = 31*o, 7 = -2*o + 5*j. Let z be 2*(2 + (-26)/14). Is z smaller than o?
False
Suppose 0 = -5*u - 2*q + 8, 2*u - 2*q = 5*u - 8. Let z be (0 - u/1)/1. Let i be -9 - ((-4)/4 + z). Which is bigger: i or -7?
-7
Let b be 66/3*(-26)/(-4) - 0. Let g = -999/7 + b. Is g <= 3/2?
True
Let z = 458/1081 + -24/47. Which is bigger: -1 or z?
z
Let z = -803 - -803. Which is bigger: z or -6/503?
z
Let x = -9 + 9. Let n = x + -0.2. Let v be 2/(1 + (-21)/(-9)). Which is smaller: n or v?
n
Suppose 0 = -83*o + 26*o - 10*o + 201. Let g = 0.7 - -0.1. Is g greater than or equal to o?
False
Let l = -861 - -925. Which is smaller: l or 66?
l
Let f(q) = -q**3 - q**2 + q + 5. Let z be f(0). Let m(n) = -n**2 + 12*n - 20. Let r be m(9). Let a = r + -2. Is z less than or equal to a?
True
Let y = 55.57 - -5.43. Which is smaller: y or -3?
-3
Suppose 0*j + 6*j - 30 = 0. Let t(i) = i**2 - 9*i + 6. Let r be t(j). Is r >= -15?
True
Let q be (-4)/(-7) + 2216/(-7). Is 0.3 bigger than q?
True
Let r be (-50)/(-6*(130/15 + -9)). Let s = 9/49 + -2517/98. Are r and s non-equal?
True
Suppose 3 = -5*k - 4*x, 3*x = -2*k + x. Let c be (-1 - 1)*2/(-6)*k. Are 1 and c unequal?
True
Let t be ((-18)/2 + 1)*(1 + -5). Suppose -o - t = -5. Which is greater: -0.2 or o?
-0.2
Let s be 18 + (-12)/4 - 6. Which is bigger: 11 or s?
11
Let g = -23 - -27. Let i be (-2 + 124/(-16))*g. Which is smaller: -38 or i?
i
Let u be (-604846)/12540 - (1 + (-5)/6). Is u greater than or equal to -47?
False
Let v = -169 - -171. Is v < -4/9?
False
Suppose 0 = 2*s - v - 12, 4*v - 1 = s - 0*v. Suppose -s*m + 5*m + 6 = 2*z, 65 = 5*m - 5*z. Is m at most 2?
False
Let v = 26.1 + -27. Let h = -2.9 - v. Are h and 2.3 equal?
False
Let t be ((-348)/203)/(1 - 47/49). Let u be (-26)/(-117) - 362/9. Is u at most t?
False
Suppose -6*a + 319 = -299. Let x = a + -149. Is x > -46?
False
Suppose -20*q = -33*q + 156. Is 150/13 less than or equal to q?
True
Let d(v) = -2*v - 2*v**2 + v**3 - 5*v**2 - 6 + 11 - 7*v. Let w be d(8). Which is greater: w or -9/4?
-9/4
Suppose -2*k = -0*k + 4. Let m be k/13*2/(-2). Let s be 1*((-3)/(-1) + 0 + -3). Is m greater than s?
True
Let j(d) = 7 - 2 + 8*d + d**3 + 0 + 3*d**2 - 11*d**2. Let m be j(7). Suppose 2*z - m = f, f - 6*f = 0. Is z smaller than 8?
True
Suppose 0 = 6*x - 7*x + 9. Suppose 0 = 7*y - 5 - x. Let h = 0.04 + 0.26. Are y and h equal?
False
Let k = 691.489 - 692. Let y = 0.51 + k. Which is greater: 1 or y?
1
Let y = 0.19 + -0.12. Which is smaller: y or -0.1?
-0.1
Suppose -z - 4*z + 25 = 0, 56 = 3*g + 4*z. Suppose s = 3*s - g. Suppose 0*u - 4*i = u + s, -5*u = -4*i + 54. Is -10 != u?
False
Let z = -24 + -12. Let w = 35.9 + z. Is w at least as big as 21?
False
Let t = 12 - 15. Let a be (-6)/(-2) - (t - -6). Which is greater: -4/11 or a?
a
Suppose 0 = 4*y - 2*y - 6. Suppose -9 - 9 = -y*h. Let x be (4 + 1)*36/60 - 0. Which is smaller: h or x?
x
Suppose 9*m + 12 = 8*m. Suppose -2*n = -b + 25, 76 = n + b + 84. Which is bigger: n or m?
n
Let u(r) = -169*r + 5148. Let q be u(31). Let y(z) = 47*z + 2. Let j be y(-2). Is q bigger than j?
True
Let d(j) = 2*j - 6 - 2*j - 2*j + 3*j. Let f(u) = -u**3 - 9*u**2 - 8*u + 10. Let r be f(-8). Let l be d(r). Is l > 4?
False
Let b = -18/13 - -59/52. Let h = -19 + 14. Let v be h/(-20) + 6/8. Which is bigger: v or b?
v
Let v = -0.92 - -1.13. Which is smaller: -3 or v?
-3
Suppose 0 = 2*p - 12 + 2. Suppose p = 5*j - 0. Let n = 2 - j. Which is smaller: -1/3 or n?
-1/3
Let k(j) = j**3 + 8*j**2 - 24*j + 1. Let x be k(-10). Let a = x - 40. Is 9/10 < a?
True
Suppose -13*p + 12*p = -3*o - 91, -o - 95 = -p. Is 97 smaller than p?
False
Let o(u) = -3*u + 1. Let y(m) = -m - 1. Let s(g) = o(g) - 4*y(g). Let i be s(-3). Suppose j - 4*t = -t - 7, -i*t = -4. Which is bigger: j or -1/16?
-1/16
Suppose -1711 = 5*j - 66. Are j and -330 equal?
False
Let y(b) = -b**3 + 10*b**2 + 2*b - 5. Let o(p) = -p**3 + 9*p**2 + p - 4. Let i(x) = -5*o(x) + 4*y(x). Let g be i(3). Which is greater: -6 or g?
-6
Let n = 0 - -9. Let v = -90.8 + -13.2. Let h = v - -103.8. Which is smaller: h or n?
h
Let m be (1/2)/(((-6)/200)/3). Let k = 58 + m. Is k not equal to 2?
True
Let u = 125329/19 + -6601. Is u > -5?
True
Let h = 100.1 + -99.1. Let m = 0.1 + 0. Let r = -1.1 + m. Is r < h?
True
Let b be (3/(-35))/((-6)/(-8)). Let z = 34/315 - b. Suppose -2 = -k - 3*r, 0 = 6*k - k - 2*r + 7. Are z and k equal?
False
Let p(y) = 20*y**2 - 13*y - 84. Let g be p(-5). Is 481 smaller than g?
False
Let i = -1112 - -1107. Let w = -59 - -24. Let o = w + 177/5. Which is smaller: o or i?
i
Let q = -256 - -237. Which is smaller: -1 or q?
q
Suppose -2*u - 4*m = -9*m - 5, u - 2*m - 3 = 0. Which is bigger: u or 1?
u
Let r(h) = h**2 - 13*h + 12. Let f be r(12). Suppose 3*m = -f + 9. Is 1 bigger than m?
False
Let v = 6395 + -473231/74. Let b = -3 + 3. Is b less than v?
False
Let l(v) = -21*v - 253. Let r be l(-12). Is 2/35 equal to r?
False
Let a(u) = -u + 7. Let h be a(-13). Suppose 3*g - 40 = -5*i, -i - 3*i = -h. Is g smaller than 5?
False
Let i = -41.6 + 45.6. Let g = -3.9 - 1.1. Is i at most as big as g?
False
Let w be (-168)/40 + 4 + 21/5. Let r = w + -39. Which is greater: r or -34?
-34
Let y = 2062 - 2078. Is -4 equal to y?
False
Let t be ((-1885)/8)/5 + 32/8. Let v = t + 41. Which is greater: v or -1?
-1
Let o be 276/(-34) + 8/68. Let h be (9/2)/(66/o). Let q be (-1)/(-2) - 18/12. Is h at least q?
True
Let i = 53.25 + -0.25. Let k = -52.7 + i. Do 6 and k have different values?
True
Let j = -2304 + 168190/73. Which is greater: -27 or j?
j
Suppose -4 = 3*m + 2. Let j be ((-4)/m*2)/((-18)/(-9)). Which is greater: 7/4 or j?
j
Suppose 3*l - 2*j - 297 = 0, -4*l + 398 = -j - j. Let f = -55 + l. Let n be 96/f - (-24)/(-12). Which is bigger: n or 1?
1
Let l(u) = -u**3 - 16*u**2 - 16*u - 14. Let i be l(-15). Let z be (-15)/27 - 3/(-3). Which is smaller: z or i?
z
Let s = -51238/35 + 1464. Suppose 2*k - k = 0. Suppose 2*a = -k*a. Is s equal to a?
False
Let a = -18 - -16.3. Let p = -5.6 - a. Let t = -4 - p. Is t less than 1/5?
True
Suppose -167 = 3*k - 4*w, 0*k + 3*k - w + 152 = 0. Is -393/8 at most as big as k?
True
Let r = -13 + 13.08. Let w = -0.4 - -0.5. Which is smaller: r or w?
r
Let q = 583/26985 + -8/257. Is q >= 1?
False
Let m be (-1)/1*(-5 - (4 - 548)). Is -0.1 at least as big as m?
True
Let c(l) be the second derivative of l**3/3 - 9*l**2 + 7*l. Le