6 - -33/227. Let d = 2/17 - p. Which is smaller: 1 or d?
d
Suppose -6*i = -3*i. Let m = 10 - 2. Let h be (-2)/(-3)*(-2)/m. Which is smaller: h or i?
h
Let q be 2/2 + (1 - (-48)/(-21)). Which is smaller: -3 or q?
-3
Let u(y) = y**3 + 10*y**2 + 10*y + 7. Let r be u(-9). Let b be r/12*(-4)/1. Which is smaller: -0.01 or b?
-0.01
Let z be (-4)/(-5) + (-2)/(-10). Is z less than 1/11?
False
Let a = 334294/7 - 47885. Let j = a - -129. Which is smaller: 0 or j?
0
Suppose -2*c - 24 = -2*q, q - 39 = -q + 5*c. Which is greater: q or -1?
q
Let q be (-1)/(-5) + 132/(-10). Let b = q + 3. Let j be (-2)/b - 12/10. Which is greater: j or -2/13?
-2/13
Let s(a) = -a**3 - 8*a**2 + a + 8. Let r be s(-8). Suppose -x + 7 = -r. Suppose 4*y = -x - 9. Which is smaller: -1 or y?
y
Let n be (6/(-4))/(24/892). Let a = 56 + n. Which is bigger: a or 3?
3
Suppose 0*p - p = -3*v + 5, 0 = -3*v + 4*p + 11. Let m be (-16)/10 - (-4)/(-10). Let g be m/(-6) - (-2)/3. Is v smaller than g?
False
Let h = -41 + 35. Let j = -0.2 - -0.1. Is h at least j?
False
Suppose 0 = -5*b + 2*b + 9. Which is smaller: 1 or b?
1
Let o be 306/(-26) - (1 + -4). Let w = o + 531/65. Is 0 < w?
False
Let s(d) = -d**2 - d + 7. Let b = -8 - -8. Let h be s(b). Which is bigger: h or 6?
h
Let v = -11.2 - -10. Let m = -4.2 + 4. Let x = m - v. Which is bigger: x or -2/11?
x
Let v be 3/15 + (-31)/105. Suppose 4*w + 2 = -2. Is v greater than w?
True
Let l = 1 + -1. Let h = -22 + 177/8. Let j = h + -31/56. Is l greater than j?
True
Let t = 8.06 + -0.06. Which is greater: t or 0.1?
t
Suppose -120 = x - 6*x. Let i be (2/(-3))/(1/(-3)). Let z be i/(-3)*x/(-56). Which is bigger: 2/3 or z?
2/3
Let t = -2 + 3. Suppose -4*h = 5 - t. Which is greater: h or -3/8?
-3/8
Let n(c) = -2*c - 10. Let o be n(-7). Suppose o*x - x = -18. Which is greater: -5 or x?
-5
Let q = -402461292/473 - -850870. Let i = q + -12/43. Let m be (1/3)/(4/(-6)). Which is smaller: m or i?
m
Let z = 0.33 + -0.23. Is z bigger than -4?
True
Suppose 0*m - 4*m = -4, -2*c + 5 = -3*m. Let r be 10/15*18/c. Do r and 11/3 have the same value?
False
Let u be (0 - 1)*(-4 + 1). Let z = -41 + 71. Suppose -5*s + 0*l = -4*l - z, 0 = -2*s - 2*l - 6. Which is smaller: u or s?
s
Suppose -5*q - 18 = 12. Suppose 9 + 19 = -4*z. Are z and q nonequal?
True
Suppose -2*z - 5*t + 38 = -0*z, 2*t = -4*z + 44. Is 9 at least as big as z?
True
Let a be -1 + 5 - 18/(-9). Is 6 less than a?
False
Suppose 4*v - 3*u - 13 = 0, -6 - 5 = -4*v + 5*u. Let s be ((-1)/(-4))/(2/(-4)). Is v greater than s?
True
Suppose 2*q = 4*p - 6, 5*q + 5*p = q - 38. Which is smaller: 1 or q?
q
Let n = -12.4 - -11.4. Is n at least -2/9?
False
Suppose y + 1 = 2. Let t = 4550/11 + -414. Is y bigger than t?
True
Let x = 0.0892 + 3.7408. Let g = 0.13 + x. Let i = 0.04 + g. Is 1 greater than i?
False
Let f(x) be the first derivative of x**3/3 - 2*x**2 - 5*x - 2. Let l be f(5). Let a be -1 - -4 - (3 + -2). Which is smaller: l or a?
l
Let k = -1 + 1/2. Which is smaller: k or 0.03?
k
Let q = 50 - 48. Which is smaller: 6/5 or q?
6/5
Let l be (2/(-6))/((-422)/(-48)). Let x = -418/22155 - l. Are -1 and x equal?
False
Let j(v) = -v**2 + 12*v + 15. Let h be j(14). Let x = 13 + h. Which is bigger: 1/3 or x?
1/3
Let b be 1 + -4 - (22 + -4). Let u be ((-33)/b)/(8/28). Is u equal to 6?
False
Let d(b) = b**2 + 8*b - 12. Let n(m) = m - 5. Let i be n(-4). Let q be d(i). Let g be (-2)/1*q/4. Is 2 at most as big as g?
False
Let p be 1*(9 - 2) + 0. Let q be p + -8 + (-2)/(-2). Which is smaller: 1/3 or q?
q
Suppose -5*i = -10, 3*z + 8 = -0*z - 2*i. Let j be (-1)/(-4) + 9/z. Let h(r) = -r**3 + 5*r**2 - 3*r - 2. Let t be h(4). Which is greater: t or j?
t
Let c(y) = y**2 + 6*y + 10. Let r be c(-3). Let x = 3 - 2. Is x less than or equal to r?
True
Let p = 0.3 - -0.2. Which is smaller: 0 or p?
0
Let j(d) = -d + 1. Let u be j(2). Let t be 2*u/(6/(-9)). Let i = t - 3. Is i at most -0.2?
False
Suppose -5*u - 4*l - 20 = 0, 10 = -2*u + 2*l - 4*l. Are u and -2/33 non-equal?
True
Let q = -0.13 + -11.87. Let g = q - -10. Which is smaller: g or 0.05?
g
Let g = -59 + 46. Which is smaller: g or 7?
g
Suppose 3*m + 3*p = 9, 2*p = 5*m + 8 - 37. Are 5 and m non-equal?
False
Let t = 36 - 35.02. Let o = 0.02 + t. Let a = 12 - 11. Are a and o non-equal?
False
Suppose -4*v = -v - 9. Suppose v*a = 5*a. Is a at least as big as 0?
True
Let j = -76 + 42. Let f be -4*1*1/j. Let y be (0 - (-1 + 2))*0. Which is smaller: y or f?
y
Let n = 1 - -12. Let i be (6 - n) + 3 + 0. Which is greater: i or -3?
-3
Let p = -24 + 23. Which is bigger: 0 or p?
0
Let w(c) = -22*c**3 - 3*c**2 - c + 1. Let k be w(-1). Suppose 0 = -4*q + 23 + k. Is 9 <= q?
True
Let u be (4 + -2)/((-10)/3). Which is greater: u or -1?
u
Let w = -4 + 5. Suppose -a - 2*z + 14 - w = 0, -a = -z - 1. Let o = 5 - a. Is 2/7 less than o?
False
Suppose -6*w = -3*w + 15. Let c = w - -7. Is c at most 6/5?
False
Let v be 2/(4 - 6) - 6. Which is smaller: -10 or v?
-10
Suppose -34*i + 33*i = 2. Which is smaller: i or -3?
-3
Let q = 0.7 - 1.1. Let d = q - -1.4. Which is smaller: 0 or d?
0
Let c be (-5*2)/(-5) + -3. Is 0 != c?
True
Let j be (-15)/(-10)*(-20)/(-6). Let u = j - 5. Is 3/14 < u?
False
Let j be 0 - (-4 + 2) - 11. Let o(m) = -m - 11. Let s be o(j). Are s and -2 non-equal?
False
Let s(y) = -y + 1. Let q(d) = -4*d + 13. Let o(w) = -q(w) + 3*s(w). Let p be o(7). Let g be (-4)/p - (10 - 9). Is g less than 0.1?
False
Let i(j) = 3*j**3 - 6*j**2 + 7*j - 6. Let d(m) = m**3 - m**2 + m - 1. Let x(f) = 5*d(f) - i(f). Let q = 4 + -3. Let g be x(q). Which is smaller: g or 3?
g
Suppose -2*q = 3*q - 40. Let u = -4 + q. Let x be ((-2)/u)/(2/(-4)). Which is bigger: x or 0?
x
Let u = 823/180 - 7/20. Let o = -40/9 + u. Is 1 >= o?
True
Let d be 24/14 - 4/(-14). Let x = 724/3 + -238. Which is bigger: x or d?
x
Let m be (-6)/10*6/(-9). Suppose -o + 28 = -0. Let a be (-15)/o + (-2)/(-8). Is a equal to m?
False
Let j(k) = -k**3 - 5*k**2 + 6*k + 2. Let i be j(-6). Suppose i*s - 4*x + 24 = 4*s, x + 3 = s. Let g(b) = 2*b - 9. Let r be g(s). Is 0.1 less than r?
True
Let x be (0/(-3))/((-2)/(-2)). Let n = -8.2 - -8. Which is greater: x or n?
x
Let q(f) = f**2 - 2*f - 8. Let g be 15/2*(-8)/(-10). Let h be q(g). Is 15 < h?
True
Suppose -3*x - 21 = -6. Let m be 4/x*(-5)/2. Is m greater than 2?
False
Let k = -1683/14 - -120. Let j be 1*(-1 + (-3)/(-6)). Let w = j - k. Which is greater: w or 1?
1
Let q(p) = 29*p**2 + p + 1. Let k be q(-1). Let a be 2/5 - k/10. Is -3 equal to a?
False
Let t = 4.7 - 8.9. Let l = -4 - t. Is l < 0.2?
False
Suppose 0 = -5*q + 7*q + 98. Which is greater: q or -0.1?
-0.1
Suppose -96 = -14*r + 10*r. Are r and -2 equal?
False
Let f = 13 - 5. Let c = -8.2 + f. Is 1 greater than c?
True
Let i = -3 - -5. Let x = i + 2. Let v = x - 4.03. Which is smaller: -2/3 or v?
-2/3
Let v(j) = 4*j + 17. Let n be v(7). Which is smaller: n or 46?
n
Suppose 0 = -5*s - 0*s - 0*s. Which is smaller: 2 or s?
s
Let s be (452/(-28) - 1)*-7. Let p be 6/(-15) + 44/s. Is 1 at least p?
True
Let y be 3 + 0 + -2 + -4. Let p(n) = 3*n + 3. Let u be p(y). Let o(t) = t**2 - 4*t - 5. Let l be o(4). Which is smaller: u or l?
u
Let b = -14 + 11. Let r be ((-4)/b)/((-4)/(-12)). Which is smaller: r or -2?
-2
Let y(k) = k**3 + 7*k**2 + 4*k - 6. Let c be y(-6). Let n be (0 + 3)/6*c. Suppose 5*m - f - 1 = 10, 2*m = 4*f - 10. Is m > n?
False
Let l = -4 + 7. Suppose 2*a = -4*w - 3*a - 11, 0 = -3*w - 2*a - 17. Let g be (-6)/w*1/2. Which is greater: g or l?
l
Suppose 5*k = -2*q - 5, -6*k + 4*k = -3*q + 2. Let r be (2 - 1)/(-1 - -4). Which is smaller: r or q?
q
Suppose 4 = 2*k + 4*g, 1 = 5*g - 4. Let z(q) = 5*q + 1. Let x be z(-1). Let u be 2/x*k - 3. Which is bigger: -2 or u?
-2
Let k = 17 - 19. Which is smaller: k or -3?
-3
Let q(n) = n**2 - 3*n + 2. Suppose -z + 8 = -0*z - p, -28 = -z + 5*p. Let j be q(z). Is 6 smaller than j?
False
Let w be (-12 - -7)*(-18)/10. Which is smaller: 8 or w?
8
Let q(u) = 6*u + 32. Let m be q(6). Which is smaller: 67 or m?
67
Let x = -13 - -15. Suppose 4 = y - 3*i, -x*y - 5*i - 24 = 1. Is -5 greater than or equal to y?
True
Let a(u) = u**2 - 2*u - 7. Let v be a(4). Let c be v*2/((-18)/3). Which is bigger: c or -8?
c
Let a = -3 - -2. Let r = -26 - -28. Are a and r nonequal?
True
Let c be (-11)/33*(1 - -14). Which is greater: c or -