 is greater: n or q?
n
Let d be 2/7 + 9/(-7). Let r = 1/28 - 2/7. Which is smaller: r or d?
d
Let i be (5/10)/(1/4). Suppose 5*f - 5*b + 2*b - 3 = 0, 2*f - i = b. Suppose -2*a + 2 = -2*r, 0*r + r - f = 5*a. Which is greater: a or 0.2?
0.2
Suppose 4*a + 43 = -41. Let y = 4/579 + -84562/4053. Let l = y - a. Which is smaller: -1/3 or l?
-1/3
Let a = 1/26 - 55/78. Let l be 4/10 - (-24)/(-110). Is a not equal to l?
True
Let b(u) = -u**2 + 5*u + 3. Let o be b(6). Let j = o + 0. Which is bigger: j or -4?
j
Let z = -69415469/477 - -145525. Let a = -1/53 + z. Is 0.1 < a?
False
Let q = 10 + -13. Let u = -5 + 2. Is u > q?
False
Let p(t) = -3*t - 26. Let z be p(4). Which is smaller: z or 3?
z
Let x = -11 - -10.94. Which is smaller: x or 3?
x
Let w = -0.04 + 0.05. Let l = 0.99 + w. Is l > -1/5?
True
Let m(j) = 41*j - 15. Let v be m(2). Which is smaller: v or -1/4?
-1/4
Let q = 4.2 + -6.7. Which is smaller: 2 or q?
q
Let h = 0.3 + -0.06. Let d = h + 0.06. Is d less than -2?
False
Suppose -i - 4*j = 12, 5*i + j = -4*j - 15. Which is bigger: i or 2/15?
2/15
Let a = 2 + -1. Let m be (-11)/2 + 6/(-12). Let t be 2/30 - m/(-15). Which is smaller: a or t?
t
Suppose 5*s - 5 = -5*m, -m + 9 = 3*s + 2*s. Let b be 6 - 7 - s/(-6). Which is bigger: -0.1 or b?
-0.1
Suppose -6 = 15*y - 9*y. Which is bigger: y or -1/27?
-1/27
Let d(y) = -y - 3. Let j be d(-3). Let w = 6 + -4. Suppose -w*s - 4*q - 6 = j, -3*s + 0*q + 3*q = 0. Is s < 1/6?
True
Let b(x) = -x**3 + 10*x**2 - 9*x + 2. Let g be b(9). Let l be g + 2*(-57)/42. Which is smaller: 0 or l?
l
Let z = -7 + 14. Let j = z - 6.7. Which is greater: j or -0.1?
j
Let o = 11 - 19. Let z = o - -10. Suppose -4*h = -3*h + z. Which is smaller: -1 or h?
h
Let f = -1/394 - -809/8274. Let x be ((-2)/4)/(2/12). Let y be 0 + 1 + x/3. Is y less than or equal to f?
True
Let g be 215/2*(-1)/15. Let n = g - -11/3. Which is smaller: -3 or n?
n
Suppose 2*v + 12 = 14. Which is smaller: v or -1/6?
-1/6
Let x be 36/(-270) + 68/(-15). Which is greater: -5 or x?
x
Suppose -5*l = v, -3*v = 2*v + 3*l. Suppose v*u + 2*i + 12 = -u, 0 = 2*i + 6. Is u smaller than -7?
False
Let y = -238/583 - -12/53. Let f = -20 + 21. Which is smaller: f or y?
y
Let y(b) = -4 - 2 - 5*b + 0*b**2 + b**2. Let z be y(6). Which is smaller: 1 or z?
z
Let w(g) = -2*g - 6. Let s be w(-4). Let t(m) = -2 + 2 + s*m**2. Let i be t(1). Are 1 and i non-equal?
True
Suppose -3*t - 3 = 0, 2*t = -0*f - 3*f - 11. Let x be 23 + (f - (-8)/4). Which is smaller: 21 or x?
21
Let k = -3.2 - -0.2. Is -1/4 at most as big as k?
False
Let n(b) = -6*b + 16. Let v be n(13). Let k be 18/(-30) + v/(-70). Is k < -1?
False
Let m(a) = a**3 + 14*a**2 + 12*a - 13. Let n be m(-13). Is -1 greater than n?
False
Let c be 450*(-5)/(350/(-24)). Let i = c + -154. Is i smaller than -1?
False
Suppose -7*r = 4*c - 2*r - 35, -5*c - 5*r = -45. Let v = c + -9. Which is smaller: v or -2/13?
-2/13
Let d(r) = 3*r**3 + 8*r**2 - 7*r - 6. Let s be d(-4). Is s bigger than -42?
False
Let q = 11 - 5. Suppose 4 + q = -5*k. Let i = -121/142 - -4/213. Is k less than i?
True
Let t be 2 + (132/(-129) - 1). Which is smaller: 0 or t?
t
Let p be (-1)/(1/(-3)) - -10. Is 14 at least as big as p?
True
Suppose 13*a - 8 = 14*a. Suppose 6 = -3*n + p - 21, 0 = 5*n + 4*p + 45. Which is greater: a or n?
a
Suppose 2*v = -8, 7*x = 2*x + v + 4. Suppose 0 = -2*z + 7*z. Is x less than or equal to z?
True
Let g be (3 - 2)*(-2)/16. Is -1 >= g?
False
Suppose 2*m + y = 1, 2*m + 6*y - 3*y = 7. Let d be (-2 + m + -2)/1. Which is greater: -1/3 or d?
-1/3
Let n be 164/10 - (-4)/(-10). Suppose -2*k = -0*k - n. Which is bigger: k or 7?
k
Let q be ((-10)/(-5))/(1 - 0). Let i be (-6)/(-21) + 1152/(-3934). Let x = i - -1413/1124. Which is smaller: x or q?
x
Suppose 0 = -4*h + 5*h. Suppose 5*a + 0*l - 4*l + 4 = h, -3*a - 2*l + 2 = 0. Let t = -1 - a. Is t at most -1?
True
Let k = 6320/28567 + -10/583. Which is smaller: -1 or k?
-1
Let n = -0.32 - -16.32. Let z = n - 21. Which is smaller: z or 1/3?
z
Suppose -3*q + 17 = -13. Let n = q - 3. Let u be 1*(-1 + 9/n). Is -0.1 greater than u?
False
Suppose -5*n = -2*p + 6, 3*p - 2*p - 2 = 2*n. Let f = 2/37 - -33/74. Is n greater than f?
False
Suppose -5*w = -f + 8, 0 = -3*w + 4*w + 1. Which is smaller: f or -0.2?
-0.2
Suppose h + y + 13 = -y, 5*h + 5*y = -40. Let b = -2 - h. Which is bigger: 5/3 or b?
5/3
Suppose -3*r - 27 = -4*l, 2 = 2*r - 4*r. Suppose -2*j + 1 = -6*p + 3*p, 6 = j + 4*p. Suppose -t - 2*y - 1 = 0, 2*y = j*t + 4*y - 4. Which is greater: t or l?
l
Let q = 14 + -12. Suppose -q*p + 12 = 5*c - 9, 2*p + c - 9 = 0. Are 2 and p non-equal?
True
Let l(j) = -15*j. Suppose 2*c - 2 = -0. Let g be l(c). Let p = 9 + g. Is p < -6?
False
Let l be 32/(-24) - (-52)/3. Suppose 15 = -5*o + 5*n, n + n = 4*o + l. Is o >= -6?
True
Let g = 71/84 - 5/28. Let f = 21 + -20. Which is greater: g or f?
f
Suppose -2*h = 4*q - 6, 2*q = -3*q. Let f be 3*(4/6)/(-1). Let j be (f + 2 - -1) + 1. Which is greater: j or h?
h
Let z be (((-144)/5)/3)/((-24)/16). Is 6 bigger than z?
False
Let m(x) = -x**3 - 6*x**2 + x + 7. Let p be m(-6). Let n be (-2)/8 + (-21)/(-4). Let i(a) = -a**3 + 5*a**2 + 2. Let c be i(n). Which is smaller: p or c?
p
Let p(k) = -k**3 + 7*k**2 - 7*k - 8. Let h be p(6). Is h != -61/4?
True
Let l = 0.14 - -2.86. Let r = -3 + l. Are r and -1 unequal?
True
Let b = -2.7 - -1.9. Which is bigger: -3/4 or b?
-3/4
Suppose -2 - 3 = -5*r. Let u(v) = v**3 + 5*v**2 + v + 7. Let b = 5 + -10. Let g be u(b). Which is smaller: g or r?
r
Suppose 5*m + 4*g - 18 + 4 = 0, -5*m + 34 = -g. Let s(c) = -c**2 + 7*c - 5. Let f be s(m). Is 12/11 at least as big as f?
True
Let a = -6 + 0. Let q = 3 - 9. Let m = a - q. Does m = -4?
False
Let g = 7 + -3. Let o = g - 3.98. Which is smaller: 2/9 or o?
o
Let i be (-8)/10*15/(-34). Is i equal to -1?
False
Suppose -5*i + 116 = -2*a - 1, 3*i - 15 = 0. Is -46 < a?
False
Let d(u) = -u**3 + 10*u**2 + 12*u + 7. Let p be d(11). Is 16 <= p?
True
Let r = -1.9 - -2. Let g be ((-52)/10 + 11 + -7)/(-3). Which is smaller: r or g?
r
Let i = 8187/19 - 431. Let f = 0 - 2. Do f and i have the same value?
False
Let n = 152 + -151.927. Which is greater: 1 or n?
1
Let a = -3/146 + 337/2190. Is 0 < a?
True
Let r be -2 + (0 - (-9 + -2)). Let a be (-4)/(-8) + r/(-2). Are a and -2 equal?
False
Let r = -34 + 34.2. Is r at least as big as -1.6?
True
Let n be 6/(-12)*12/(-21). Is n less than -1?
False
Let n(p) = p - 1. Suppose -14 = -2*a + 2*b, -2*a - 3*a + b = -27. Let x be n(a). Let j be x/6*(3 - 2). Which is greater: j or 0?
j
Let b(y) = -26*y + 5. Let w be b(-7). Let o = w + -1313/7. Which is bigger: o or -2/7?
-2/7
Let q = -8 - -11. Suppose z - 84 = -q*z. Let i be (-6)/21 + (-1)/z. Is i > 0.1?
False
Let i = 15 - 28. Is -12 > i?
True
Suppose -2*v - 1 = 1. Suppose -8 = 3*k - 5, 4*k - 20 = 4*s. Let d be (2 + 13/s)*1. Is d bigger than v?
True
Let i = -2 - 1. Let y = i + 0. Is -1 > y?
True
Suppose 0 = -3*a - 3*z, -4*a + 1 = 4*z + z. Let i be (-10)/8 - (a + 0). Suppose -4*w + w + 7 = -5*o, 0 = -2*w - 5*o - 12. Is i < w?
False
Suppose -3*p = -0*p - 27. Suppose -2*j + p = 3. Which is greater: 2 or j?
j
Suppose c + 4*h - 3 = -2, 0 = -2*h. Let y = -7 + -7. Let g be (y/12 - 1) + 2. Does g = c?
False
Let l(c) = -c**3 + 3*c**2 + 2*c - 6. Let d be -1*(3 + -2)*-3. Let k be l(d). Is k >= -7/6?
True
Suppose -2*d + 15 = 3*d, 2*n + d = -1. Let z(q) be the second derivative of q**5/20 - q**4/2 - 3*q**3/2 + 5*q**2 - q. Let s be z(7). Which is bigger: s or n?
n
Let c = 16 + -13. Suppose -4 = 4*p, -p + c = -5*j + 14. Is j less than or equal to 4?
True
Let c = -1 - -2. Do c and 2/7 have the same value?
False
Let t = 3 + 1. Suppose 1 = -h - t. Let f be (-1)/3*(h - 2). Which is smaller: f or 1?
1
Let x = -176 - -162.06. Let r = -0.06 + x. Which is greater: 1 or r?
1
Let a be (0/2)/(0 - -1). Let j = -41849 - -627499/15. Let q = 46/3 + j. Is a less than or equal to q?
False
Let w(t) = 5*t**3 + 1. Let j be w(1). Let c be 6*(-2 + 15/j). Which is bigger: c or 2?
c
Let q be ((-2)/(-4))/(2/(-8)). Suppose 7*p = 1 - 8. Is p at most as big as q?
False
Let f = -19 + 8. Is f > -11?
False
Let r = -17 - -16.82. Let x = r - -0.08. Is 1/2 <= x?
False
Let g = -18 + 13. Let n = -1.98 + -0.02. Let d = g - n. Which is smaller: d or -0.1?
d
Let h(n) = n**3 - 5*n**2 + 5*n + 