 i(10). Is n not equal to 0?
True
Let a = -4.8 + -0.3. Let x = -5 - a. Which is smaller: x or -3?
-3
Let h(c) = -c**2 - 3*c - 3. Let t be h(-2). Suppose -7*d = -2*d. Suppose -14 = 2*r - 5*g, d*r + 4 = r + 3*g. Which is greater: t or r?
t
Let l be -3 + -55*(-2)/38. Which is smaller: l or 1?
l
Let p(r) = r**2 + 7*r - 7. Let s be p(-8). Suppose m = s - 0. Which is smaller: 2/17 or m?
2/17
Let f be (-1 + 2)*1 - -19. Suppose -x = x - f. Let i be (-3)/(-15)*x/8. Which is bigger: i or 0?
i
Let k = -7 + 12. Suppose 0 = 6*t - t - k. Suppose p + t = -0. Is p <= 3/8?
True
Suppose -3*l = 5*f - 7, 5 = 4*f - 3*l - 6. Let p = -0.2 - -0.1. Which is smaller: p or f?
p
Let u = -26 + 25. Which is bigger: -2/31 or u?
-2/31
Suppose -2*l = -4*a - 10, -7 = 5*l - a - a. Let q be 3/(6/11)*-4. Let o = q + 64/3. Is o < l?
False
Let x(w) = 3*w - 1. Let m be x(9). Let r = m + -27. Is r less than or equal to -2?
False
Suppose 0 = 5*j - 14 - 1. Let l be -1 - ((-138)/33 + j). Which is smaller: -1 or l?
-1
Let b = 72 - 147/2. Suppose 3*l - 5*m - 30 = 0, 5*l - 4*m = l + 48. Suppose 3*y - 3*k = -l, 3 = 2*y - 5*k + 25. Which is smaller: y or b?
b
Suppose 5*d + 19 - 69 = 0. Is 10 > d?
False
Suppose m + 2 + 0 = 0. Let b be m/2 + 1 + -2. Is b less than or equal to -2?
True
Suppose p = -3*p. Let v = -0.1 + 4.1. Let y = -1 + v. Do y and p have different values?
True
Suppose -93 - 767 = -5*y. Let p = y + -677/4. Are 3 and p unequal?
True
Let h be 1*9/1 + 0/(-4). Which is smaller: h or 12?
h
Let g be -2 + 1 - 12/(-18). Which is smaller: g or 27?
g
Let q be 1 + (-39)/15 + 2. Let r = 0.2 - 0.2. Let x = r - 1. Which is greater: x or q?
q
Let v(n) = -20*n. Let o(s) = -s. Let i(h) = 78*o(h) - 6*v(h). Let y be i(-1). Let r = y + 167/4. Which is smaller: r or 0?
r
Suppose f = 6 - 10. Is f < -5?
False
Let q = 17166537200 + -1974137116661/115. Let p = q - 127489. Let k = 30/23 - p. Which is bigger: k or 1?
1
Suppose -3*q + 42 = -6*q. Let l be 7/q + (-9)/(-4). Which is greater: 2 or l?
2
Suppose -2 = -3*n - j, n + 3*j - 6*j = 14. Suppose -4 + 2 = -n*o. Which is smaller: o or -13?
-13
Let v be (-6)/15 + (-212)/20. Let u = 5 + v. Is u smaller than -7?
False
Suppose -13 = -v + 3. Suppose 0 = 2*s - 2*z - 0 + v, -s - 8 = 4*z. Which is smaller: -7 or s?
s
Suppose 3*j - 2 = 4*s + 34, -s - 28 = 4*j. Let b be ((-25)/4)/(3/s). Let i be 2/7 + b/35. Which is smaller: i or -2/19?
-2/19
Let d = -770 - -43117/56. Which is smaller: d or 1?
d
Let l = -0.4 + 2.4. Is 0.07 equal to l?
False
Let g = 128654 + -640949/5. Let j = -466 + g. Which is greater: -3 or j?
j
Let a(y) = -y**2 + y. Let m be a(2). Let q be 5*1/5*2/(-11). Are q and m nonequal?
True
Suppose -11 = -3*f + 7. Which is smaller: f or 21/4?
21/4
Let b = 92 - 88. Which is greater: b or 17/6?
b
Let s be 1 - (1 - -2)/(-6). Which is smaller: 1 or s?
1
Suppose 0 = s + 1 - 4. Which is bigger: s or 8/5?
s
Suppose -2*q - 71 = 3. Is q > -1?
False
Suppose 0 = -2*w + g - 2, -5*w + 4*g - 6 = 2. Let q be 1*(w - 3*-1). Suppose -3*r + q = -0*r. Which is smaller: r or 0?
0
Suppose a = -2*a - 6. Let w be 1/(a*(-3)/6). Which is smaller: -2/15 or w?
-2/15
Suppose -2*c + 16 = -6*c. Let i = 1 - c. Suppose -5*b - 3*l = 2*l - 15, 2*l = i*b + 13. Is b not equal to 1?
True
Let t(z) = z + 3. Let u be t(-3). Let a = -407 - -6917/17. Is a bigger than u?
False
Let a be -3 - -2 - -3 - 4. Let b be 70/36 + (-4 - a). Is 1 bigger than b?
True
Let a(o) = -2*o**3 - o**2 + o. Let n be a(-2). Let d = 44 + -42. Let p be n*(0 - 1/d). Is p at most -5?
True
Let k be (-13 - -12) + 2/2. Suppose 5*x + 2*z = 19, 5*x + 0*z - 3*z - 9 = k. Is 4 less than or equal to x?
False
Suppose 1 = -6*j - 5. Let l(z) be the first derivative of -z**3/3 - 3*z**2 - 5*z + 2. Let u be l(-5). Which is greater: u or j?
u
Suppose 5*v = 4*v + 5*w - 1, -4*v - w = -17. Suppose 2*m - 3*d + d = 4, 5*m - v = 3*d. Is m greater than or equal to 1/5?
False
Suppose -1 = -k + 4. Let n(t) = t + 2. Let l be n(k). Suppose 0 = -2*c - 6, -4*s - 2*c + 39 = -l*c. Is s equal to 6?
True
Let g be (-10)/24 - (-3)/(-12). Is -9 less than g?
True
Let i = 821/660 + 1/165. Is i at least 1?
True
Let v(a) = -a - 2. Let x be v(-4). Let d be 5 + -7 + -1 + x. Which is bigger: d or 0?
0
Let k = 2642/19 + -139. Which is smaller: 1 or k?
k
Let b = -0.2 + 0.1. Let l = -13 - -4. Let r = l - -6. Are r and b unequal?
True
Suppose -5 - 3 = -d. Suppose 10 = 5*a - d*q + 3*q, 2*a - 10 = 5*q. Is a > 0?
False
Let o(z) = z**2 + 6*z + 9. Let s be o(-6). Is 9 smaller than s?
False
Let r(c) = -c + 2. Let f be r(3). Which is smaller: f or -3?
-3
Let d(g) = g**3 + 5*g**2 + g + 3. Suppose -6*f = -2*f. Suppose -3*y - b = 14, -2*y + 7*y + 2*b + 23 = f. Let j be d(y). Are -1 and j equal?
False
Let j be (2/1)/((-66)/(-54)). Which is bigger: 1 or j?
j
Let o(b) = b**2 + 8*b + 4. Let q be o(-8). Let s = 5 - 2. Is q <= s?
False
Let w = 11/5 - 87/35. Which is bigger: 0.2 or w?
0.2
Let w = 25 + -101/4. Let c(h) = -11*h. Let l(r) = -7*r. Let z(p) = 5*c(p) - 8*l(p). Let v be z(1). Does w = v?
False
Let v be (-332)/(-60) - 4/30. Let j = -61/15 + v. Which is smaller: j or 2?
j
Suppose -2 = -f - 0*f. Let v = -0.2 - 0.3. Let q = v - -0.4. Which is smaller: q or f?
q
Let y(t) = t**3 - 5*t**2 + 4*t - 18. Let o be y(5). Which is smaller: o or -2?
-2
Suppose 1 = l + 2. Let r = 1/3 - 7/12. Which is greater: l or r?
r
Let h = 0.43 - 0.03. Let p = 6.4 - h. Which is smaller: -2 or p?
-2
Let f(x) = -3*x + 15. Let k be f(4). Suppose 0*o - 3*o = 0. Let j = o - k. Which is greater: j or -2?
-2
Suppose 5*i = -66 - 44. Which is smaller: -20 or i?
i
Suppose -2*f + 5*f = 9. Let z be (1 + 1 - 3)*-1. Suppose 0 = f*g - 2*g - z. Which is bigger: g or 2?
2
Suppose r = 4*l - 5, 2*l = -4*r - 14 - 6. Which is greater: -7 or r?
r
Let a be (-86)/42 + 0 + 2. Suppose -3*x - 16 = -j, 5*j - 3 = -5*x - 23. Are j and a nonequal?
True
Let g be (14/6)/((-145)/(-60) - 2). Which is smaller: g or 5?
5
Let v(g) = -g**2 - 9*g + 1. Let m be v(-9). Let a be m/((-3)/((-9)/3)). Is -2/5 < a?
True
Suppose h = 2*h - 1. Suppose -4*t = -3*g + t - 3, 0 = g - 2*t + h. Is g greater than or equal to 1/10?
False
Let d = 58.9 + -59. Is d equal to -0.2?
False
Let x(v) = v**3 + 3*v**2 + v. Let y be x(-2). Suppose -27 = l - 4*l + y*o, 2*o + 20 = 2*l. Is 6 <= l?
True
Suppose 3*i - 4*b = 9 + 52, 5*i - 3*b = 87. Suppose l = -4*l + i. Which is smaller: l or 4?
l
Let f = -1360808/5665 - -15/1133. Let y = f + 241. Which is greater: y or 0?
y
Let u be -3*1*(-4)/28. Is u greater than 0?
True
Let l = 2 + 1. Suppose 4*p + 20 = 8*c - l*c, 5*c = -p - 5. Let j = 25 - 27. Is c at least as big as j?
True
Let h be (-12)/(-10)*(-3)/(-12). Is 1 bigger than h?
True
Let n(u) = -4*u - 1. Let y be n(-7). Suppose -3*s = -6 - y. Let j be 13/(-11) - (-2)/s. Is -7/5 >= j?
False
Suppose -5*k - 4*d + 25 = 0, -d = -4*k + 3*d + 20. Let j = 6 - k. Is 2/9 at most as big as j?
True
Suppose n = 5*j - 6, 5*j + 3*n = -0*j + 2. Suppose 0 = 3*x + f + 6, 2*x - j - 9 = 4*f. Which is bigger: 3/8 or x?
3/8
Suppose -k + 2*k - 10 = 0. Are k and 10 equal?
True
Let h = -120.8 + 121. Which is bigger: h or -11?
h
Let b = 1.1 - 1.2. Let l = b - 0. Which is greater: 3 or l?
3
Let j = -0.1 - -0.2. Let i = j + -0.1. Let n = -1 - i. Is n less than 1?
True
Let g(k) = k**2 - 5*k - 5. Let m be g(6). Suppose 3*h + m = 10. Suppose a + h*a = 0. Is 0 not equal to a?
False
Let p be (-23)/(-18) - (-6)/27. Suppose -4*x = n + 4*n + 13, -4*x + 4*n = -32. Which is bigger: x or p?
x
Let f be (39/(-9))/1 + 4. Which is bigger: -19 or f?
f
Let u = -158 + 162.08. Let p = -4 + u. Which is greater: -1/3 or p?
p
Let q be 0 - -14 - (-1 + 2). Let b(o) = -10*o**2 + 5*o + 13. Let v be b(0). Is v equal to q?
True
Let o(a) = -a**3 - 3*a**2 + 5*a + 1. Let p be o(-4). Suppose 7*r - 6*r + 1 = 0. Which is bigger: r or p?
r
Let p(w) = w - 1. Let r be (-4)/4 - (1 + -1). Let s(v) = v**2 - 10*v - 3. Let l(b) = r*s(b) - 2*p(b). Let n be l(9). Which is smaller: n or -3?
n
Let i(h) = -2*h**2 + 5*h - 5. Let q be i(4). Is q > -0.1?
False
Let b be ((-16)/12)/(4/(-42)). Let w be (7/b)/(2*-1). Which is smaller: 5 or w?
w
Suppose a = 4*z + 12, -a - 15 = 5*z + 3*a. Let j be 4/z*(-5)/(-40). Let f = 1 - 0. Which is smaller: f or j?
j
Let g(k) = -k**3 - 6*k**2 - 6*k + 2. Let m(s) = -9 + s**2 - 6*s + 9. Let v be m(5). Let w be g(v). Does 