n + 0 - s = 0. Let j(i) = i**3 - 2*i**2 + i. Let x be j(n). Is 1 equal to x?
False
Let t = -0.1 + 3.9. Let i = t + -4. Let s = i - 0. Is s at least as big as -0.1?
False
Let d(q) = -q - 3. Let b be d(-4). Let n be -1 + 1 - 1 - 15/(-18). Is n less than b?
True
Let r = -88/15 + 61/5. Which is bigger: r or 6?
r
Let r(s) = -s**3 + 6*s**2 + 9*s - 9. Let y be r(7). Let g(p) = p**3 - 6*p**2 + 6*p - 4. Let c be g(y). Which is smaller: c or -4?
-4
Let k = 81 + -387/5. Which is smaller: k or 3?
3
Let r = 118 - 573. Let y be (39/r)/(1/(-5)). Let t = -0.3 - 0.7. Is y at least t?
True
Let k(c) = c**2 - 11*c - 16. Let l be k(12). Which is smaller: l or 0.4?
l
Let t be 2 + -2 - (0 - 7). Suppose -3*g = -4*s + 30, -7 = -s + 2*g + 3. Let y = s - t. Is y not equal to -1?
False
Suppose -u = 5*g + 4*u + 25, 0 = -u - 5. Let l = 0 - -3. Suppose 3*n - 3 = l*a, -a + 4 - 6 = -2*n. Which is bigger: n or g?
n
Suppose -6 = -4*l + 14, 2*i - 3*l + 13 = 0. Let c = 24 + -23.94. Is i >= c?
True
Let u(c) = c**2 - 3*c - 29. Let h be u(7). Let n = 0 + 0. Is n bigger than h?
True
Let j be (-2)/(-1) - 4 - -2. Suppose 0 = y - j + 2. Let p = 155 + -155. Is y > p?
False
Let z be -1 + (-1 - (-7 - -1)). Suppose -3*i = 3*h - 4*i + 2, z*h - i = -3. Let u = 14 - 14. Which is smaller: h or u?
h
Let u = 10.7 + -11. Are 3/10 and u non-equal?
True
Suppose c = 4*c - 6. Suppose 2*y + 0 = -10, -c*i + 2*y + 8 = 0. Do -2 and i have the same value?
False
Suppose 2*g - 5*g - 12 = 0. Let q be 6/(-10)*g/(-6). Is q > 9?
False
Suppose 8 = -k - 0*q + 4*q, -5*q = 2*k - 23. Is k >= 4?
True
Suppose 0 = 4*j - 9*j. Suppose -2*p = -p + 3*r + 20, j = -r - 5. Is p at least as big as -5?
True
Let u = 116356/63 + -13665/7. Let g = u - -105. Is g at least -1?
True
Let f be (-46)/8 + (-2)/8. Suppose -5*w - 3*a = -2*a - 22, -5*a = -5*w + 40. Let t = w + f. Is -3 <= t?
True
Let c = -4 - -2. Is -4/5 >= c?
True
Suppose 3*g - 13 = 2. Suppose 3 = 2*j - 5*l + 28, -4*j = -3*l + 15. Let t = j + 1. Is t not equal to g?
True
Let d be ((-18)/(-152))/(1/24*9). Is d at least as big as -1?
True
Let p = 5 + 1. Suppose 6 = -3*z - p. Let m = 3 + z. Which is bigger: -2/25 or m?
-2/25
Suppose -128 = -2*u + 4*u. Let q be (-4)/(u/(-22)) + 1. Which is greater: 1 or q?
1
Let o(r) be the first derivative of -5*r**4/4 - 2*r**3/3 + r - 3. Let n be o(-1). Suppose 3*b = -10 + n. Is -2 > b?
False
Let z = -10792/21 - -514. Which is smaller: z or 1?
z
Let d be ((-142)/8)/(((-52)/(-16))/(-13)). Does 71 = d?
True
Suppose -8*b - 4 = -4*b. Let f be ((-1)/8)/((-1)/(-6)). Are f and b non-equal?
True
Let p = -13 - -15. Is 2 at least p?
True
Let v(h) = h**3 + 8*h**2 + 8*h + 8. Let g be v(-7). Suppose 0 = 2*u + 11 - g. Which is bigger: u or -4?
-4
Let n = 4 + -4. Suppose f + 2 - 4 = n. Which is smaller: f or 3?
f
Suppose -4*o = -5*n + n + 8, 4*n = -3*o - 6. Let u(p) = p**3 + 2*p**2 - p - 1. Let i be u(o). Is i less than 1?
False
Suppose -9 = -n + 3*i, 0 = -5*n - i - 2 - 1. Let y be (-4)/(-2) + -2*1. Is y equal to n?
True
Suppose 0 = -4*z - 5*p + 28, -5*p - 35 = -5*z - 3*p. Which is smaller: z or 5?
5
Let k = 8 + -4. Suppose k = d - 4. Suppose 4*u = -d + 4. Is u less than -1/2?
True
Suppose 5*d - 23 = o, 0 = -2*o - d + 10 - 1. Which is greater: -1/12 or o?
o
Let o(x) = -x. Let c be o(-6). Let v be ((-8)/c)/((-4)/(-24)). Do v and -6 have the same value?
False
Let w be (-1)/(-2) - 63/342. Which is greater: w or 0?
w
Let z be 30/7 + 4/(-14). Let h = 2 - z. Let v = 214 + -1928/9. Which is greater: h or v?
v
Let n = 227 + -2953/13. Let a(r) = r**3 - 11*r**2 + 1. Let j be a(11). Is n < j?
True
Let n = 12 - 11. Which is smaller: -1 or n?
-1
Let v(a) = 3 + 1 + 2*a - 6 - a. Let n be v(1). Let b be -1*1*(1 - 0). Is n greater than b?
False
Let a(k) = k + 1. Let h be a(-1). Suppose 4*o = 5*d - 26 - h, 2*o = -8. Which is bigger: d or 1?
d
Let g(w) = 11*w**3 + 2*w + 2. Let s be g(3). Let d = s + -2364/7. Let u = 33 + d. Is -1 bigger than u?
False
Let b = 0.04 + -0.15. Do b and -1 have different values?
True
Let b = 14 + -12. Let q be b/(-7) + (-8)/(-28). Is q equal to 0?
True
Suppose 3*p + 20 = 5*y, -2*p + 5*y = 4*y + 11. Let h(n) = -n**3 - 6*n**2 - 4*n + 6. Let j be h(p). Which is smaller: j or 4?
j
Let u be (258/12)/(1/2). Let w = 28 - u. Let a be 2 - 2*w/(-21). Are 2 and a equal?
False
Suppose 5*g - 3 - 7 = 0. Let b = -27/2 + 14. Do b and g have different values?
True
Let p(g) = 9*g**3 - 5*g**2 + 7*g. Let r(m) = -4*m**3 + 2*m**2 - 3*m. Let l(t) = -3*p(t) - 7*r(t). Let b be l(0). Let d be 1/(2/(b + 2)). Is d smaller than -1/9?
False
Let q = -9 + 9. Are q and 4/21 equal?
False
Let u(r) = r + 11. Let d be u(-6). Let a = d - 13. Which is bigger: a or -5?
-5
Suppose 0 = 3*h + 6*v - v - 9, 5*h - 15 = -2*v. Let q(k) be the third derivative of k**5/60 - k**4/12 + k**3/3 + k**2. Let d be q(2). Which is bigger: h or d?
h
Let i(a) = a**3 + 6*a**2 - a - 5. Let n be i(-6). Suppose w + 3*w = 0. Let y = n - w. Do -1/5 and y have the same value?
False
Let h = 3 + -2.6. Let z = 5 + -5.1. Which is smaller: z or h?
z
Suppose 5*u + 6 = -4, 0 = 4*j + 5*u + 18. Let d = -3 - j. Which is greater: d or 2/7?
2/7
Let s = -63 - -98. Which is bigger: s or -0.1?
s
Let r = -0.2 - -0.4. Let k = -15.4 + 15.1. Which is bigger: r or k?
r
Let h be (-1 + (-1)/(-2))/((-11)/(-22)). Which is smaller: -78 or h?
-78
Let z = 14.8 + -16. Let i = -1.4 - z. Is -0.2 != i?
False
Suppose 0*n = n. Which is greater: 1/12 or n?
1/12
Suppose 20 = 5*w + 2*r, -4*w + 0*r = -3*r + 7. Let x(i) = 2*i + 33. Let a be x(-15). Is a at least as big as w?
True
Suppose 2 = -0*u + u. Suppose -u*o = 3*o - 10. Suppose 4*l = -2*f - 0*f - 8, -f + 2*l + 4 = 0. Which is bigger: f or o?
o
Let r(t) = -t**3 + 10*t**2 - 9*t + 2. Let m be r(9). Suppose m*o = -o. Let a be (0/2)/(2 - o). Which is bigger: 2/9 or a?
2/9
Let k = -10 + 6. Let p be (k/(-24))/(4/(-18)). Which is smaller: p or 1?
p
Let y = 1/5 - 1/30. Let b = -1 + 3. Suppose 4*x - b*x = -2. Is y <= x?
False
Let v = -57767/5924 - -2/1481. Let q = v + 187/20. Are q and -1 non-equal?
True
Let x(p) = p**2 - 8*p - 6. Let d be x(9). Suppose 0 = -h - d - 1. Let g be (3/h)/(2/8). Is -3 < g?
False
Let p = -177 - -360. Let y = 2010/11 - p. Which is bigger: 1 or y?
1
Let l = -106/3 + 36. Let i(t) = -t**2 + 4*t - 2. Let k be i(2). Are l and k nonequal?
True
Let i = 15 + -14. Is -1 bigger than i?
False
Suppose 0*t - 3*t = -6. Suppose 4*v + t*r = -10, 0 = -2*v + 2*r + 6 - 2. Which is smaller: -1/15 or v?
v
Suppose 3*n - 4*l - 5 = -3*l, -3*n + 4*l = -2. Let t(z) = -z**3 + 12*z**2 + 11*z + 29. Let r be t(13). Do r and n have the same value?
False
Let n be 3/(-1) + (5 - 7). Let m(f) = -f**3 - 6*f**2 - 6*f - 2. Let o be m(n). Which is smaller: o or -2?
-2
Suppose 0*l - 3*l - 192 = 0. Let w = l - -450/7. Which is smaller: w or 0?
0
Suppose 142 = 5*b - 268. Let v = b - 576/7. Is -0.6 not equal to v?
True
Let q = 0.5 - 0.5. Let m = q + 1. Let r = -0.1 - -0.1. Is r at least m?
False
Let g(v) = 3*v**3 + v. Let n be g(1). Suppose -n*i + 8 = -4. Let m be 0/1 - (i + 1). Is -5 at most m?
True
Suppose -192 = -41*w + 37*w. Is 48 at most w?
True
Suppose -18 + 23 = -c. Which is greater: 1 or c?
1
Let w = -2 - -1. Let y be 1 + (-1 + 6)*w. Which is greater: -3 or y?
-3
Suppose -f = -2*f. Which is bigger: -2/7 or f?
f
Let d be 51/17 - 1*5. Is -4 not equal to d?
True
Let l be 30/(-9)*2/5. Is 0 != l?
True
Let j be (4 - 104/20) + 3. Which is bigger: 2 or j?
2
Let l(v) = 7*v**2 - 4*v - 6. Let d(t) = 20*t**2 - 11*t - 17. Let i(r) = 6*d(r) - 17*l(r). Let x be i(-2). Suppose x*u = -3*u - 6. Which is smaller: -3 or u?
-3
Suppose -8*h + 20 = -3*h. Let a be h/(-6)*6/(-50). Let f be 2 - (4 - (0 + 1)). Which is greater: f or a?
a
Let d = -9 + 1. Let s = -5 - d. Let x = 4 - s. Which is smaller: x or 0.1?
0.1
Suppose 27 = 3*l + 3*n, 3*l - 2*n + 0*n - 22 = 0. Let c(g) = -g**2 + 9*g - 11. Let t be c(l). Which is smaller: t or -4?
-4
Let g be 0 + (-1)/((-1)/(-2)). Let i be g/(-4) - 1/(-4). Let q = 12 - 12. Is i less than q?
False
Let q = -5.1 + 5. Which is bigger: 0.12 or q?
0.12
Let u = 49 + -48. Is -1/24 >= u?
False
Let t = -1/21 - 2/7. Let i = -117/2 + 56. Does t = i?
False
Let h = 1570 + -17282/11. Let g = h + 82/55. Let s = -122 - -123. Which is smaller: s or g?
g
Let f be (2 + 2 - 4)/1. Are 39 and f non-equal?
True
Let x = -84