*3 - 3*i**2/2 - 2*i. Let m be r(7). Let q be h(m). Which is greater: -1/6 or q?
-1/6
Let r(t) = t**3 + 8*t**2 + 8*t + 9. Let c be r(-7). Suppose 0 = -2*q - c*q + 20. Suppose 3*z - 2 = q*z. Is -2/11 at most z?
False
Let v(c) = -c**2 + 8*c - 2. Let g be v(9). Let m = g + 12. Which is greater: m or 2/15?
m
Let u be -44*1 + 1 + 3. Let i be (-15)/u*(-4)/(-6). Is 1 greater than i?
True
Suppose 0 = -v - x - 5, 0*v - 4*v = -x + 10. Let f be (-3)/(v/((-3)/(-1))). Let u be (-5)/6 + (4 - f). Which is smaller: u or 0?
0
Let x = -8 - -7. Let u = 3 - x. Let k = u + -4. Is k at most as big as 0?
True
Let h = -4 - -6. Let k = -0.05 + 1.05. Let u = h - k. Which is greater: u or -5?
u
Let f be (-55)/104*124/6. Let u = -89/13 - f. Let g = u - 13/3. Is g < -3?
False
Suppose 8*r = 2*r - 18. Let i = -1 - 1. Do r and i have different values?
True
Let x(v) = 3*v**3 - v**2 + 2*v - 1. Let y be x(1). Suppose 4*o - y = 45. Let f be (-3)/(-20) - (-3)/o. Which is greater: f or 1?
1
Let g be (45/6)/5*(-10)/(-15). Is -5/13 smaller than g?
True
Let g be (-2)/(-2)*2/(-10). Let r = 36.2 - 36. Is g not equal to r?
True
Let j = 1 + -0.9. Let y = 0.3 - j. Let q = -74 + 76. Which is bigger: q or y?
q
Let r = -0.34 + 0.37. Are r and 1/4 unequal?
True
Let t = -1 + 5. Let s be 3*1 + t/(-2). Let j = 1 - s. Which is greater: j or -1?
j
Suppose 4*y + 48 = p, -p - 79 = -4*p - y. Which is bigger: 27 or p?
p
Let q(n) = 2*n - n - 1 + 5 - 2*n. Let y be q(5). Which is greater: 2/15 or y?
2/15
Suppose 4*m = -m - 5*w + 25, -5*m + 23 = 3*w. Suppose 4 = -m*i + 24, -26 = -r - 5*i. Is r at least as big as -2/11?
True
Suppose 0 = 3*l - 0 + 24. Is l greater than -7?
False
Let j be (-2)/(-1*16)*-6*4. Is j > 6?
False
Let u be (-64)/240 + 4/6. Suppose -3*k + 18 = -4*k + 5*a, 3 = 2*k + 3*a. Let p = 3 + k. Which is smaller: u or p?
p
Let s(w) = w + 1. Let o be s(6). Suppose 3 = c + o. Is -2 <= c?
False
Suppose -5 = -5*g, 0*z = 2*z + 5*g - 15. Suppose -3*i = -8*i - z. Which is bigger: i or -4/7?
-4/7
Let v be 69/17 - 4/(4/4). Which is greater: -1 or v?
v
Suppose -a - 4*v = v + 63, 2*a = -3*v - 98. Which is greater: 0 or a?
0
Let p = -37 + 183/5. Let u = -5 + 4.96. Let f = -0.07 - u. Which is smaller: f or p?
p
Let t = 155 - 1547/10. Is t at most 1?
True
Let q(j) = -5*j - 1. Let m(a) = -2*a. Let f(i) = 6*m(i) - 2*q(i). Let h be f(6). Is h > -10?
False
Let h(u) = 3*u - 3. Let s be h(1). Let o(x) = -x**2 + 5*x. Let w be o(5). Is w < s?
False
Let w(y) = -y**3 - 4*y**2 - 2*y + 4. Let i be w(-3). Let f be 2/72 + i/(-4). Suppose -3*t - 2*t = 0. Are t and f unequal?
True
Suppose -4 = 3*n - 4*m + 18, -4*m + 16 = 0. Let x be ((-1)/(-3))/((-7)/(-42)). Suppose 0 = x*t - t. Which is smaller: t or n?
n
Let d be 6/21 - (-120)/21. Let z = -7 + d. Is z equal to 0?
False
Suppose 3*a - 4*b - 12 = -a, 35 = -5*a - 5*b. Let g be (4 - 1)*(-1)/(-3). Let r = a + g. Is -1/7 greater than or equal to r?
True
Let i = -4 - -7. Suppose -8 = a + a. Let s = a + i. Is -3 bigger than s?
False
Let j be (4/3)/((-4)/(-42)). Let l be (3/j)/(15/40). Let q = -15/14 + l. Is 0 less than q?
False
Let f be (-4 + 1)/((-3)/(-3)). Let u be (4/(-3))/((-1)/6). Suppose -4*l = 8 + u. Is f at least l?
True
Suppose 0 = -v - 17 + 1. Let w(b) = -b - 24. Let f be w(v). Let j = 11 + -20. Is f bigger than j?
True
Let q = 18 + -14. Let f be q/(-13)*(-1)/(-2). Let t = -4 + 3. Which is greater: t or f?
f
Suppose -4*c + 12 = -4*p, 7*c - 4*c + 3*p - 9 = 0. Which is smaller: 2 or c?
2
Suppose -v + 6 = 2*v. Suppose v*x - 5*x + 240 = 0. Let l = 402/5 - x. Are 2/9 and l non-equal?
True
Let u(l) = l + 4 - 2 - 2*l. Let f be (1 + 0)/(5*1/20). Let v be u(f). Do -2 and v have the same value?
True
Let f(l) = l - 1. Let k be f(5). Let n = 2 + k. Suppose -2*c + 2 = 2*t, -c + n*c - 5*t = -5. Which is smaller: c or -1?
-1
Let n = -12 - 6. Let r be 51/n + (-1)/6. Is 0 bigger than r?
True
Let h = 9 - 9. Let o be (-1 - 0) + 6/5. Which is greater: o or h?
o
Let s = 14.18 + -0.18. Let v = -14.07 + s. Let i = -1.07 - v. Is i equal to -8?
False
Suppose -4*i + 9 = 4*b - 3*b, i = 4*b - 70. Are b and 16 equal?
False
Let z be 6 + -4 - (-17 + 1). Is z < 18?
False
Let m be (1/(-2))/((-12)/126). Which is smaller: 6 or m?
m
Let g = 17 - 16.7. Is -1/6 greater than or equal to g?
False
Suppose 5*b - 2*q = -4*q + 14, -2*q = 3*b - 10. Are 4 and b non-equal?
True
Let i(n) = n**3 - 9*n**2 + 21*n - 6. Let v be i(5). Let j be (1 - 0)*2/19. Which is smaller: j or v?
v
Let c(l) = -3*l - 10. Let w be c(-6). Let f = w - 9. Which is greater: 2/5 or f?
2/5
Suppose -2*w = -2*i + 10 - 2, -3*w - 19 = 4*i. Which is smaller: -2 or i?
-2
Suppose s + 3*d = 18, -s - 17 + 5 = -3*d. Suppose 2*p - 7 = s*p. Is -8 > p?
False
Suppose 0 = -a + 3*a - 8. Suppose 0*b - 20 = -3*b - a*w, 0 = b - 3*w + 2. Suppose -4*m + 2*y = 16, -m + b*y - 9 = 9. Which is greater: m or -2/3?
-2/3
Let x(w) = w**2 + 6*w + 5. Let u be x(-5). Suppose -m = -u*m. Is 1/4 at most as big as m?
False
Let h = -327 - -2957/9. Which is greater: 1 or h?
h
Let z = -60 - -298/5. Which is bigger: z or 0?
0
Let s be 0/(0 + (-10)/(-5)). Which is smaller: 2/65 or s?
s
Let m be (-2)/(-15) - 8/60. Which is bigger: 3/11 or m?
3/11
Let q = -0.4 - -0.5. Let t = q - 0.2. Which is smaller: t or -0.2?
-0.2
Suppose -5*u - 35 = -0. Which is smaller: -5 or u?
u
Let f(d) = -d**3 + 6*d**2 + d - 3. Let x be f(6). Suppose 0 = -x*c - 3 - 0. Which is smaller: c or 2/3?
c
Let n = -18 - -13. Suppose -q + 3*z - 11 = 0, q + z = -q - 8. Are q and n equal?
True
Let c be 2/(-10) + (-33)/(-15). Let b be c - 0/(1 - 0). Suppose -2*s - 5*z = b*s - 12, 0 = -z. Is 3 less than s?
False
Let f(t) = -t**3 - 5*t**2 - 6*t - 10. Let o be f(-4). Does o = 2?
False
Let w = -354367/14 - -25279. Let k = 33 + w. Which is bigger: k or 0?
k
Let l = 25 - 25.3. Is -6 not equal to l?
True
Let v(h) = -h**3 - 12*h**2 - 10*h + 9. Let j be v(-11). Let x = j - -4. Which is bigger: x or 1?
x
Let n(q) = 8*q + 3. Let w be n(-1). Which is bigger: -7 or w?
w
Let o = -7 - -12. Suppose 2*v = -3*v + 5*n + 20, -3*v + o*n = -2. Let c be (84/v - 2)/2. Is 3 at least as big as c?
False
Let l be -9 + 3 - (-12)/3. Let f be (l/5)/((-18)/(-20)). Suppose -2*a = -0*a. Which is greater: f or a?
a
Let k be 4 - (-8*55/(-130) - 0). Is k < 2?
True
Let x = 60/17 + -146/51. Let k be (-4)/6 - (-8)/(-6). Let o be k/4*-1*2. Do x and o have different values?
True
Let z be ((-9)/(-238))/(12/14). Let g = z - -239/748. Do 1 and g have the same value?
False
Let o = -7 - -13. Let n = -25 + 29. Which is smaller: o or n?
n
Let v be 20/2*4/10. Suppose 3*g + 21 = v*w, -2*g + 4 - 2 = 0. Let j be 3/w - (-14)/4. Does j = 3?
False
Suppose 10*c = 15*c. Are c and 0 nonequal?
False
Suppose -c = -6 + 2. Suppose 0 = -4*x + 8, -1 + c = -5*t - x. Let j be (-3*(-4)/30)/2. Is j at least t?
True
Suppose 0 = -n + 2 - 17. Let u = n + 11. Let t be u/(-22) - 13/11. Which is greater: 1 or t?
1
Let h = -26 - -29.2. Let c = h - 3. Which is bigger: c or -2?
c
Let k(n) = n**3 - 5*n**2 - 5*n - 7. Let a be k(6). Let f = -1 + 2. Which is bigger: f or a?
f
Let g be 0 + -2 - (4 - 1). Let j be (-4)/(-8) + g/(-2). Suppose 2*z - 2 = 2. Which is smaller: j or z?
z
Let q be -2 - (-4)/(-2) - 2. Let j be (-8)/(-10)*105/q. Let o = j - -85/6. Is 1 <= o?
False
Let g = 0 - 3. Let y = g + 3. Let k = y + 1. Which is greater: 0.2 or k?
k
Let l(x) = x**2 - 8*x + 5. Let g be l(6). Let h = g + 9. Is 0 not equal to h?
True
Let w(o) = o**3 + 20*o**2 - 21*o + 10. Let k be w(-21). Is -1 equal to k?
False
Suppose 0 = -g + 2*g. Which is bigger: g or 2?
2
Suppose -2*q - 79 = -3*u, -11 + 2 = 3*u. Are q and -44 unequal?
False
Let d = 1 + -2. Which is greater: -1/2 or d?
-1/2
Let y(w) = -w - 9. Let t(b) = 2*b + 18. Let q(f) = 3*t(f) + 5*y(f). Let h be q(-11). Which is smaller: h or -3?
-3
Let w be 3/6*(1 - 3). Let g = 42/71 - 2711/142. Let r = 18 + g. Which is smaller: r or w?
w
Suppose -2*b - 52 = 3*f, 3*b + 2*b = -5*f - 85. Which is greater: f or -19?
f
Suppose -2*v = 2*v + 12. Let l(f) = -f**2 - 4*f + 2. Let s be l(v). Suppose 3*w = 15, -3*w + 7 = b - s*b. Is b at least 3?
False
Let r(q) = -q + 7. Let l be r(7). Which is smaller: 8/11 or l?
l
Let v = 43 + -48. Which is bigger: v or -6?
v
Let v = -149 - -153. Is v less than 9/2?
True
Let o be 4*(-2)/4 - -3. Which is smaller: o or 9/4?
o
Let s = 0.06 - 0.0