b - -4. Let x = n + -15. Is 7 less than x?
False
Let u(w) = -w**3 + 3*w**2 - 4*w + 4. Let i be u(2). Suppose -3*r = -r + s - 16, -3*r - 4*s + 29 = i. Which is greater: r or 4?
r
Let z = 18.6 + -18.5. Is z less than or equal to -19?
False
Suppose 3*d - n + 174 = -351, 337 = -2*d + 5*n. Is -175 at least as big as d?
True
Let p(x) = -x**3 - 26*x**2 + x + 25. Let j be p(-26). Let k = 0.8 - 0.2. Is k at most as big as j?
False
Let m(j) = j**2 - 6. Let r = 21 - 24. Let p be m(r). Let z be -2 - (-2 + (6 - p)). Which is bigger: 1 or z?
1
Suppose -4 - 25 = -v. Let b = v - 235/8. Which is smaller: b or 1?
b
Let g be ((-140)/44 - 1) + 2/11. Let y be 24/32 - (3/g + -1). Which is smaller: y or 0.1?
0.1
Let x be 3*((-6)/14 - (-3188)/(-42)). Let h = x + 230. Let q = 94/115 - 5/23. Is q > h?
False
Let p be (34/119 - (-325)/(-1162))*-40. Is p greater than 0?
False
Let l(o) = -4*o + 45. Let i be l(-14). Let j = -111 + i. Is j greater than -19/2?
False
Let n(g) = g. Let i be n(1). Let o = 16 + -14. Let k be (((-15)/6)/5)/o. Which is greater: i or k?
i
Suppose 5*h = h + 4*a, -5*h - a + 6 = 0. Let k = 5572/13 - 429. Let j = k - 1/65. Which is bigger: j or h?
h
Let p = 648 + -353. Is p bigger than 296?
False
Let z = 341 - 472. Which is greater: -133 or z?
z
Let h = 307357 + -133440. Let k = 4519759/26 - h. Let q = -80 - k. Is q less than -1?
False
Let q(o) = -o**3 + 4*o**2 - o - 6. Let u(k) = -k**3 + 6*k**2 + 6*k + 10. Let x be u(7). Let z be q(x). Is -9 smaller than z?
True
Suppose 2*i = -2*i. Suppose 5*v = -3*o - i*v - 12, 0 = o - 2*v - 7. Let f be 0 + -7 - -12 - 2. Is o not equal to f?
True
Let j(t) = -t - 110. Let z be j(17). Which is smaller: -128 or z?
-128
Suppose 182 - 199 = -x. Do 10 and x have the same value?
False
Let v = -698 + 727.7. Let g = v + -29. Is g greater than or equal to -2/5?
True
Let a(q) = -5*q**2 + 66*q - 51. Let b(i) = -i**2 + 13*i - 10. Let w = -21 + 23. Let z(n) = w*a(n) - 11*b(n). Let h be z(11). Which is smaller: 10 or h?
h
Let q be (-1 - 1)*(0 - (-9)/(-18)). Is 25/14 at least q?
True
Suppose -y = -2*z + 25, -6*z - 2*y + 46 = -2*z. Suppose b = -2*b + z. Is 0.1 not equal to b?
True
Let k(b) = 4*b**2 + b - 3. Let f(j) = 3*j**2 + j - 2. Suppose 0 = d - 1 + 8. Let l(h) = d*f(h) + 6*k(h). Let i be l(2). Which is bigger: 4 or i?
i
Suppose w - 4*d = -7*d + 9, -2*w = 2*d - 14. Let l = -5 + w. Suppose -5*r + 20 = 0, 4*y + 4*r = 3*r + 4. Is l greater than or equal to y?
True
Let t = -29 - -11. Let g = 14 + t. Let l be (-3)/g + (-9)/12. Which is bigger: l or 2/23?
2/23
Let a(f) = -f - 11. Let c be a(-3). Let p = c + 7. Let n = -1216/27669 - -6/401. Is n less than p?
False
Let q(i) = -i**2 - 2*i - 1. Let j be q(-3). Suppose -5*h - 54 = -u + 780, 336 = -2*h + u. Let v = 482/3 + h. Which is greater: v or j?
j
Let n(d) = -d**2 - d. Let u be n(-2). Let o = 12 - 17. Which is smaller: o or u?
o
Suppose 0 = -j - j. Let n be (j + 0)*(-2)/4. Let a = 36 + -39. Are n and a equal?
False
Let d = -13.02 - -13. Let r = d + 7.02. Which is smaller: 2 or r?
2
Let i(f) = f**2 + 9 + 0 - 6 + 13. Let w be i(0). Let q = 10 - w. Which is bigger: -7 or q?
q
Let o(x) = -36*x - 566. Let c be o(-13). Do c and -99 have different values?
True
Let f = 123 - 130. Let z(x) = 0 + x**2 - 7 + 5*x + 0*x. Let g be z(f). Is 5 <= g?
True
Let g be -1 + -24 - (-6 + 23 - 16). Is 0.4 bigger than g?
True
Let v = -174 - -173. Is v less than or equal to -1/112?
True
Let n be 2/(1 - 18/14). Let t be -6*(505/42 + -12). Which is smaller: t or n?
n
Let d(u) = -6*u - 17. Let i be d(-5). Suppose 4*x + 3*n = 5, -3*n = -2*x + 2 - i. Let j = 1 + -1. Which is smaller: x or j?
x
Let z(u) = 3*u + 6. Let r be z(1). Let n(x) = -x**2 + 7*x - 3. Let m be n(6). Suppose -m*o = 6*t - 2*t - r, 2*o = t - 5. Which is bigger: 1 or o?
1
Suppose 5*a - 4*v = 155, -93 = -3*a - 0*v + v. Let f = -10 + a. Which is bigger: f or 23?
23
Let p = -10055/6 + 1683. Is p greater than 7?
True
Let v be 60/14 + 8/(-28). Let g(s) be the first derivative of s**3/3 - 5*s**2 + 3*s + 1. Let b be g(10). Which is greater: v or b?
v
Let y = -25 - -73. Let m be y/(-12) + (1 - -6). Suppose -5*f + n + n = 0, f = n - m. Is 10/9 at least f?
False
Let g(a) = -2*a**2 + 2. Let z(s) = -3*s + 3. Let w be z(2). Let n be g(w). Which is smaller: n or -17?
-17
Let z = 148/395 + 2/79. Let h = 2 + -2. Suppose h = -0*u - 7*u + 2*u. Are z and u unequal?
True
Let q(f) = 21*f**3 - 3*f - 10*f**3 + 2*f. Let u be q(1). Suppose 3*k + 2*p = 10, -2*k + u = -0*k + 2*p. Which is bigger: -1/4 or k?
k
Let u = -24512.91 - -24373. Let i = u - -140. Let g = -0.1 - -0.3. Which is smaller: i or g?
i
Let w = 804 + -803.8. Which is greater: w or 22.4?
22.4
Let x = 51.7 - 7.7. Let r be (-416)/40 + 4 + 14 + -8. Is x smaller than r?
False
Let h(n) = n**3 + 9*n**2 - 12*n - 15. Suppose 56 = -4*c + 16. Let r be h(c). Suppose 2*w = -2*z - z - 34, -38 = 2*w + r*z. Is -14 not equal to w?
False
Let o(g) = g**3 - 11*g**2 + 9*g + 8. Suppose 0 = -5*p + 4*t, -p + 3*t = 2*t + 1. Suppose 0 = p*k - 6 - 34. Let c be o(k). Is -0.1 greater than c?
True
Let d = 82 + -80. Suppose -d = -h - 3. Is 1/6 smaller than h?
False
Suppose -3972 + 966 = -9*z. Which is smaller: z or 2/9?
2/9
Let q(b) = -b - 210. Let z be q(-40). Which is smaller: z or -171?
-171
Suppose 4*h + 2*c = 22, 4*c + 37 - 53 = -h. Suppose i - 32 = -3*i. Let r be (i/246)/(h/6). Which is smaller: r or 0?
0
Let g = 154 + -86. Let a = g + -66. Which is bigger: -0.14 or a?
a
Suppose 7*w + 3*w - 100 = 0. Suppose 2 - w = -4*v. Is -8 at least as big as v?
False
Suppose -4*o + 160 = -5*a, 5*o - 160 = o + a. Which is bigger: 41 or o?
41
Let l = 15797 - 15897.17. Let g = 100 + l. Is 0 > g?
True
Suppose y + 130 = 4*u - 103, u - 37 = -4*y. Which is smaller: 53 or u?
53
Let o(m) = m**3 + 3*m**2 - m - 5. Let c be o(-2). Which is bigger: c or 24/19?
24/19
Let z be (-3628)/(-20) + 24/40. Which is smaller: z or 181?
181
Let h be (-8)/20 + (-2 - 3606/(-15)). Which is greater: h or 237?
h
Suppose 0 = -12*j + 1148 + 1432. Is 216 equal to j?
False
Let x be (-5 - 3) + 10/2. Let b be (-3 + 2)*x - (-412)/(-44). Which is bigger: -7 or b?
b
Let y = -6 + -4. Let a = y + 9. Let q be 3 - a/3*-3. Which is smaller: 0 or q?
0
Suppose -7 - 3 = 4*n + 5*a, 0 = 3*n + 4*a + 8. Let s = 2305.83 + -2296. Let m = s + 0.17. Is m at least as big as n?
True
Let v = 80399647247/51 + -1576559689. Let d = 96013 + v. Let i = d - 1/102. Is 2/7 greater than i?
True
Let s be (6/(-27) - (-897)/27) + -5. Which is smaller: 20 or s?
20
Let q(u) = 2*u - 7. Let z be q(5). Suppose -21 = -0*d + 2*d + 5*h, -11 = 2*d + z*h. Which is bigger: 8/3 or d?
8/3
Let z(g) = g - 3. Let t be z(6). Let i(a) = a**3 - a**2 + 2*a - 2. Let f be i(t). Let j = -15 + f. Is 7 not equal to j?
False
Suppose 22*o + 2700 = 18*o. Let h be o/50*(-1 + (-1)/(-3)). Suppose -j + 10 = -0*j. Which is greater: h or j?
j
Let r(u) = 18*u + 40. Let c be r(-3). Is c not equal to -8?
True
Let v = -494 - -401. Which is greater: v or -97?
v
Let j = -6 - -7. Suppose -2*t + 2 - j = -s, 5*s = 4*t - 5. Suppose t = 6*x - 2*x - 12. Which is bigger: x or 1?
x
Let i = 2535 + -2536. Let z = 0 - 0. Which is smaller: z or i?
i
Let f(w) = -w**3 - 11*w**2 + 19*w + 27. Let s be f(-12). Which is smaller: -58 or s?
-58
Let d = 538269/44 - 12234. Which is greater: d or 0?
0
Suppose 11*x - 12*x = 24. Let m = x + 20. Is m less than or equal to -1?
True
Let m be (5 + -6)/((-147)/36 + 4). Suppose m*x + 460 = -11*x. Are x and -20 nonequal?
False
Let x = 26 + -26. Suppose 3*g + 34 = 118. Suppose -23*o + g*o = x. Is -5/9 greater than or equal to o?
False
Let z(l) = l**2 + 3*l - 72. Let s be z(7). Which is smaller: -6/7 or s?
s
Let s = -175 + 176. Is -2/413 equal to s?
False
Let q be (-1)/2 - (-209)/385. Which is smaller: q or -1?
-1
Suppose -2*p = 4*l - 22, -l - 2*l - p + 14 = 0. Suppose 0 = l*k - 3*i + 6, -2*k = i + 4 + 15. Let v be (-1)/(-2) - (-13)/(-2). Is v at most as big as k?
False
Let k be (-20)/130 + (-56)/(-26). Suppose 0 = -3*b + u + 7, -2*b = u + k. Let x(v) = v**3 + v**2 + v. Let s be x(0). Do b and s have different values?
True
Let i be 872/763 + (-2)/14. Is i less than -6/73?
False
Let w(a) = a**3 + 4*a**2 - 13*a - 6. Let i be w(-6). Is i at least 5/8?
False
Let t be (2 + 0)/((-2)/(-36)). Suppose -5*v + 185 = 5*a, 43*a = 42*a + v + 37. Is 