= 3*r + 9*b + 132, -2*r + 4*b = i. Is -2 at least r?
True
Let x(b) = 3*b**2 - 5*b + 6. Let l be x(3). Suppose -2*z + c = 2*c - l, 12 = 2*z - 2*c. Let n(s) = s**2 + 5*s + 7. Let h be n(-5). Which is greater: h or z?
z
Suppose -11*f = -8*f - 24. Let d = 9 - f. Is -2/49 at most d?
True
Let b = 1334 - 1335.5. Which is smaller: -5/6 or b?
b
Let v(q) = 3. Let d(k) = k + 1. Let x(b) = 3*d(b) + 3*v(b). Let n be x(-4). Suppose n = 5*m - 2*m. Is -4/9 != m?
True
Let g = 216 + -242. Is -3 != g?
True
Let z = -11 - -24. Suppose 4*a + z = 5. Let u be 2/(-8) - (-3)/12. Is a != u?
True
Let g = 42978 + -816800/19. Is -12 > g?
False
Suppose 0 = 12*n - 34*n - 110. Which is smaller: 3 or n?
n
Let z(b) = -4*b**2 - 25*b - 9. Let f be z(-6). Is -1 less than or equal to f?
False
Let o = -5.7 + 5.31. Let l(z) = 3*z**2 - 24*z + 37. Let g be l(6). Which is bigger: g or o?
g
Suppose 5*b + 110 = -0*b. Let u be (-4)/(-2 + b)*-88. Which is smaller: -16 or u?
-16
Let g = -615 + 614. Is 13 less than or equal to g?
False
Let j = -48 - -42. Let m be j/(-162)*(-1 + 7/1). Is 0.46 < m?
False
Suppose -s = 4 - 3. Let z be s/2*(0 - (-15 + -5)). Let p = 18/11 + -32/33. Which is greater: p or z?
p
Suppose -2*r = -2*m - 26, 3*m - 11 - 70 = -5*r. Let p(a) = -a**3 - 5*a**2 + 5*a + 8. Let y be p(-6). Is y at most r?
True
Let r = -1.41 - -1.3. Let n = 0.2 + r. Let x = 0.09 - n. Is -5/6 < x?
True
Suppose 3*d = -3*j + 12, 0 = 4*j + 3*d - 1 - 18. Suppose -10 = -5*i, o - 6*o + 147 = -4*i. Suppose 0 = -2*r - o + j. Is r != -13?
True
Let k be (-10)/6 + (-11766)/(-1665). Which is bigger: 1 or k?
k
Let q = 652 - 654. Suppose 0 = w + 2*l - l + 4, -l = -w - 2. Which is bigger: q or w?
q
Let h = -3.2 - 1.8. Let i = 12 + h. Let g = 8.2 - i. Which is bigger: 2 or g?
2
Let z(s) = -6*s - 1. Let c be ((-6)/(-24))/(2/(-8)). Let g be z(c). Suppose i + 29 = -g*f, i + 4*f + 41 - 17 = 0. Is -5 at least as big as i?
False
Let f = -192.3 + 192. Is 28 > f?
True
Let s = 7/39 + -875/1833. Is s <= 1?
True
Let n = 0 + 4. Suppose 0*l - n*l + 16 = 0. Suppose -5*k - l*j + 2 = 0, 5*j + 2 + 0 = -4*k. Which is smaller: -2/7 or k?
-2/7
Suppose -15*q - 496 = -11*q. Do q and -125 have different values?
True
Let i(x) = -x**3 - 4 + 8 + 10*x**2 + 3*x**2. Suppose 0 = -4*u + 3*p + 40, -u - 2*p + 7*p - 7 = 0. Let h be i(u). Which is bigger: h or 5?
5
Suppose 3*q = u - 5*u + 399, 0 = -u - 3*q + 111. Which is smaller: u or -5?
-5
Suppose -2*o - 26 - 2 = 4*q, -44 = o - 4*q. Is -25 <= o?
True
Let s(d) = d**3 - 6*d**2 - 15*d - 6. Let w be s(8). Let t be (w/14)/((-8)/(-14)). Is t != 0.2?
True
Let l be (2 - -3)/5 - 21/(-4). Let d = l + -6. Which is bigger: d or -1/75?
d
Let z(u) = u**3 + 6*u**2 + 5*u. Let r = 1 - 6. Let h be z(r). Let k = -2.81 - -2.91. Are k and h non-equal?
True
Let u be (8/(-18))/((-2)/18). Which is smaller: -7.6 or u?
-7.6
Let a(x) = 6*x + 1. Let p be a(15). Let g be (-4 - (-370)/p)*-7. Which is smaller: 0 or g?
g
Let x(o) = o**3 - 9*o**2 - 8*o + 7. Let v be x(10). Let r = 14 - v. Let j = -15 - r. Is -2 at most as big as j?
True
Let c(b) = 5*b**3 + 7*b + 5. Let n be c(4). Which is smaller: 354 or n?
n
Suppose 3*c = 5*j + 5 + 2, -4*c + 19 = 3*j. Let a = c + 0. Which is smaller: 21/5 or a?
a
Let b(s) = s**2 - 11*s - 2. Let o be b(11). Which is smaller: o or -16/7?
-16/7
Let a be (-3)/2*-1*6/9. Let b = -5 + -68. Let w = b - -364/5. Which is greater: w or a?
a
Let r be (-4)/(-1)*(-131)/4. Which is smaller: r or -2/5?
r
Let z(f) = -f**3 - 10*f**2 - 23*f - 106. Let u be z(-9). Let n(c) = 2*c + 1. Let g be n(1). Let x(h) = 5*h + 4. Let m be x(g). Which is bigger: m or u?
u
Let d be (-16)/6*(-13 + -7 + 5). Is 41 < d?
False
Let b be 1*-209 + -1 + (-20)/(-5). Let h = b + 1856/9. Is h equal to -13?
False
Let j = 1313 - 1312. Let a be 1/(-1) + 2/3. Are a and j unequal?
True
Let b(i) = i**3 + 5*i**2 - 2*i + 14. Let k be b(-6). Suppose 5*n - 57 = 4*j + 4, 5*j = 3*n - 60. Which is smaller: k or j?
k
Let f be 4 - 4 - (-2 + 1). Let h be (3 - (-43)/2)*f. Is h > 24?
True
Let k = 1.32 - 1.38. Which is smaller: k or 23?
k
Let f(u) = -u**2 - u - 1. Let o(r) = -3*r**2 + 10*r - 6. Let b(l) = f(l) - o(l). Let a = 22 - 17. Let n be b(a). Is n smaller than -2/37?
False
Suppose 2 = h + h - y, -5*y + 12 = h. Suppose 0 = h*j + 8. Let m be (-15)/65*j/(-6). Is m greater than or equal to -1?
True
Let c be 2*(380/(-8))/5. Which is smaller: -24 or c?
-24
Let c = 331 + -367. Which is smaller: c or -56?
-56
Suppose -195 = 6*m - m. Do -38 and m have the same value?
False
Let w = 61 - 100. Let g = -36 - w. Is g less than or equal to 0.1?
False
Let b be (-1115)/(-223) + (-2*3)/1. Which is smaller: -40/29 or b?
-40/29
Let c(u) = 4*u + 25. Let z be c(-6). Let v be 3/(-12)*z - 2/(-8). Which is smaller: v or -1/10?
-1/10
Let b(a) = -a**3 + 17*a**2 + 63*a - 45. Let j be b(20). Which is greater: j or 10?
j
Let d(m) = 5*m**3 + m**2 + 2*m + 1. Let w be d(-1). Let z be 3/9*9/w. Which is smaller: z or 0?
z
Suppose 2*s + 3*s + 20 = 0. Let n be ((-9)/(-6))/(s/16). Let u(f) = 2*f + 13. Let b be u(n). Is b > -0.1?
True
Suppose 0 = -2*u + 3*c - 166, -8*u + 3*u - 3*c - 457 = 0. Is -89 at least u?
True
Let r = 421 - 270. Let o = r - 753/5. Let j(i) = -i**2 + 3*i - 1. Let u be j(2). Is o != u?
True
Let i(m) be the third derivative of m**7/5040 + m**6/240 - m**5/6 + 7*m**2. Let p(u) be the third derivative of i(u). Let r be p(6). Which is bigger: r or 8?
r
Let i = -1 - 9. Let y = i + 16. Let u = y + -7. Which is bigger: -6 or u?
u
Let z = 44 - 6. Let i = -40 + z. Is i bigger than -0.16?
False
Let d = 65 - 65. Suppose -7*f + 12*f - 50 = d. Is 8 <= f?
True
Suppose 0 = z + 3*q + 101 - 114, 17 = z + 4*q. Are -3/415 and z unequal?
True
Let o be (-43)/24*2/10. Let m = 58/47 - 1387/705. Let c = m - o. Do c and 0 have the same value?
False
Let q = -781 + 760.4. Are q and 2/5 nonequal?
True
Let r be -3 + 7 - (-1675)/99. Let d = r - 213/11. Is d <= 2?
True
Let f be (-8)/50*11/(-198)*-45. Let s(q) = -q**3 - q + 1. Let j be s(0). Which is smaller: f or j?
f
Suppose 3*c + 5*q + 7 = 0, -2*c + 0*q + 2*q = -22. Let s be (1 + (-9)/c)/((-8)/(-8)). Suppose i + 4*i = -5. Which is bigger: s or i?
s
Let b = 216836/25577343 + 8/86119. Let f be 1/(-2) + (-141)/(-242). Let l = f - b. Are l and -1 nonequal?
True
Let k = 53 - 38. Let g be 10/(-25) + 6/k. Which is bigger: -45 or g?
g
Let i be 3/(-4) - 22359/(-116). Which is smaller: i or 193?
i
Let y be 8/(-12) + (-11)/(-3). Let g be (y + 0)*6/(-18). Let p = -4881/11 + 444. Which is greater: g or p?
p
Suppose 8 = 10*d + 478. Which is greater: -50 or d?
d
Suppose 2*o = -o + 15. Suppose -3*r - 135 = -2*w, -o*w + 3*r + 120 = -213. Suppose -3*p - 18 + w = 3*a, -2*a = -p + 4. Is p greater than or equal to 11?
True
Let v(z) = -5*z + 8. Let j be v(3). Which is bigger: -49/6 or j?
j
Suppose -2*j + 5*j - 2*v = 1715, 0 = 3*j + 5*v - 1750. Let r be 1/(-4) + j/92. Do 2 and r have the same value?
False
Let y = 47/8 + -281/48. Let b(q) = -q**2 - 4*q. Let p be b(-4). Is y > p?
True
Suppose 5*l + 5 = p, 2*l - 2*p = 2*p - 20. Is l at most 2/23?
True
Let x be (795/12)/((-360)/(-288)). Is 58 <= x?
False
Suppose -56*b + 82 = -30. Suppose 2*j = -z + 22, j = -3*j - 4*z + 48. Let t be (-20)/(-3)*4/j. Which is bigger: t or b?
t
Suppose 47*p = -8*p + 11*p + 924. Suppose -2*x - 44 = -4*x. Do x and p have the same value?
False
Suppose -5*t + 2 = 12. Suppose 3*d = -2*f + 141, f - 2*f + 4*d + 98 = 0. Let h be f/(-42) + 4/7. Which is smaller: h or t?
t
Let s(g) = g**2 + 13*g - 1. Let w be s(-13). Let u be w/(-4) - 590/(-40). Which is smaller: 16 or u?
u
Let l(h) = 4*h - 12. Let y be l(4). Suppose 10*u - 98 = -y*u. Which is greater: 39/5 or u?
39/5
Let l = -22.5 - 0.5. Let q = -14 + -9. Let i = q - l. Which is bigger: -0.3 or i?
i
Let h = 376 + -329. Do 44 and h have different values?
True
Let f be ((-3)/(-18))/(-6 + 105/18). Is f < 1/324?
True
Let t be ((-4)/3 - 0)/(82/123). Let j be 8 + -10 - (t + -2 + 1). Do 1 and j have different values?
False
Let y(x) = -x**3 + 4*x**2 + x + 2. Let c be y(4). Let v = c + -8. Let u(z) = z**3 + 15*z**2 + 2*z + 30. Let w be u(-15). Which is bigger: v or w?
w
Let p(h) = -h + 2. Let s = 34 + -20. Let g = s - 11. Let a be p(g). Are a and -2/21 unequal?
True
Let q = 47 + -77. Let i be (-26)/q - (-16)/(-24). Let t = -142 - -144. Which is smaller: i or