 2/6. Let l be (-1)/c - (-10)/14. Let b(v) = -v - 7. Let s be b(-6). Which is greater: s or l?
l
Suppose 30 = 3*k + 9. Suppose -k = -0*x - x. Are 7 and x equal?
True
Let d = -21 - -22. Is 1/12 greater than or equal to d?
False
Suppose -10*h = -7*h. Let z be (7 - 8)/(-1 - h). Is z at most 3/5?
False
Let m(a) = a**3 + 7*a**2 + 1. Let y be m(-7). Let l be y*3/9*-15. Is -5 < l?
False
Let d(c) = -13*c**2 - 2. Let l be d(1). Which is bigger: l or -16?
l
Suppose 4*t + 244 = -4*h, -175 = -0*h + 3*h + 5*t. Let f be 6/(-39) + (-23)/h. Are 0.2 and f equal?
True
Let x be (1/2)/((-42)/24 + 2). Is 0 at least as big as x?
False
Let y = -20 + 4. Suppose -24*c + 12*c = 180. Which is smaller: c or y?
y
Let y(b) be the first derivative of -b**2 + 3*b - 7. Let h be y(2). Is h smaller than 1/32?
True
Let z = -9 + 0. Let j(v) = -v**3 - 9*v**2 + v + 12. Let w be j(z). Let i be (1/w)/((-1)/(-18)). Which is smaller: i or 7?
i
Let w(g) = g**3 + g**2 + g - 1. Let q(x) = 7*x**3 + 5*x + 1. Let a(p) = q(p) - 6*w(p). Let l be a(6). Is l greater than -1/3?
True
Let s(v) = v**2 - 16*v + 3. Let w be s(16). Is 18/7 < w?
True
Let o = 0 + 0. Let x = -1 - o. Let d = 57/100 - 8/25. Which is bigger: d or x?
d
Let t(o) = o**2 - 8*o + 3. Let k be t(8). Suppose 2*g + 9 = -k*i - 0*i, i + 3 = 0. Is g at most -1?
False
Let w be 2/(0 - 25/10). Do 0 and w have the same value?
False
Suppose -q - 1 = -4. Suppose -c = -q*s - 22, 0 = -3*c - 7*s + 2*s + 66. Let x be 1 - 2 - (-26)/c. Are -1 and x non-equal?
True
Let j = 45 + -45.96. Let i = -0.14 + j. Let f = 1 + i. Which is smaller: 3/4 or f?
f
Suppose 0 = -3*d + 104 + 178. Is d not equal to 94?
False
Let x = -8 + 9. Let d be -2*((-6)/(-4) - 2). Let p be (0/1)/(2*d). Is p bigger than x?
False
Suppose -35 - 355 = -5*i. Suppose -5*f = -8 + i. Is f not equal to -13?
True
Let i(r) = 4*r - 1. Suppose 4*s - 3*s = -3*h - 8, -4*s - 17 = -3*h. Let n be i(h). Suppose 0 = -2*o + 5*l - 20, -o - 4*o - 23 = l. Is n less than o?
False
Let y = 6 - 4. Suppose -5*j + y*j = -6. Suppose j*u + 2*o = -2 + 6, 3*o - 15 = 0. Are -1 and u nonequal?
True
Let j = 7 + -1. Let x = 3 - j. Let b = 3 + x. Which is bigger: 2 or b?
2
Suppose -325*v = -322*v + 6. Let r be (-1)/((-5)/3 + 2). Is r not equal to v?
True
Suppose p + 3*k = -2*k - 25, 10 = 5*p - 2*k. Suppose o + v + p*v = 8, -o - 4*v + 23 = 0. Let b = 97/2 + -47. Which is smaller: b or o?
b
Suppose -24 + 2 = -u - k, 3*u - 64 = -4*k. Let z be 2/7 + u/14. Is z less than or equal to 1?
False
Suppose -3*d = -20 + 17. Are d and 2/7 equal?
False
Suppose 3*g - 4*b - 24 = 0, -3*g - g + 22 = -2*b. Let q(z) = -z**2 + 7*z + 3. Let n(a) = a + 1. Let p(t) = -3*n(t) + q(t). Let y be p(g). Is -1 >= y?
False
Let u = 3 + 3. Is u >= 4?
True
Let a be (-10)/(-55) + 13/(-11). Let n = 1 + -1.1. Let l = n + -0.1. Which is smaller: a or l?
a
Let f = 23 + -23. Which is smaller: -14 or f?
-14
Let m = 1 + 1. Suppose -7*b - 2*d + 33 = -m*b, -2*b - 2*d = -18. Suppose -3*i - 3*x + b*x = -5, -x - 6 = 2*i. Is i smaller than 0?
True
Suppose -2*c + 4*c = -5*m - 21, 6 = -2*m - 2*c. Is m at most as big as -5?
True
Let r = 9/70 + -121/70. Which is greater: -3 or r?
r
Let q be 6 - 5 - 17493/15093. Let d be 1568/3870 - 8/20. Let x = q + d. Which is greater: 1 or x?
1
Let n be 2*(-3 - 120/(-42)). Suppose 3*b + v + 11 = 5*v, -2*b + 2*v = 6. Which is smaller: b or n?
b
Let c(r) = -r**2 + 0*r**2 + 2 + 2*r - 3. Let z be c(1). Let q = -46 + 47. Which is smaller: z or q?
z
Suppose -3 = -3*p - 9. Let c(d) = d**2 + 3*d + 4. Let o be c(p). Is o bigger than 2?
False
Let l(n) = -n**3 - 6*n**2 + 6*n + 6. Let v be l(-7). Let c = v - 5. Let k = c + -9. Is 1 at most as big as k?
False
Let n = 0.2 + 2.8. Let w = -3 + n. Which is smaller: w or 2/11?
w
Let i = 22 + -24. Let b be ((-2)/(-8))/(2/(-182)). Let f = 22 + b. Which is smaller: i or f?
i
Suppose f = -2*f - 12. Let b = 81 + -86. Which is bigger: f or b?
f
Let k = 0.2 - -0.3. Suppose 0 = 7*x - 3*x - 168. Let z be 2/3 - x/36. Is z equal to k?
False
Suppose 3*w - 3 - 3 = 0. Let h be ((-1)/(-8))/((-1)/w). Which is smaller: h or -1?
-1
Let u be 18/8*16/6. Is 6 at least u?
True
Let g = 2 + 0. Let x = g + -1.9. Let q(a) = -2*a - 4. Let d be q(-3). Which is smaller: x or d?
x
Let j = 14291/13 + -1097. Is 1 at least j?
False
Let v be (-4)/(-6) + (-11)/3. Suppose 6 = -8*u + 5*u. Is u greater than v?
True
Let o(d) = -d**3 - 7*d**2 - 4*d - 8. Let j be o(-8). Let a be 3*j/84 - 3. Which is bigger: a or 1?
1
Let t be (-207)/67 - (2 + -1 + -4). Are -1 and t unequal?
True
Let g = -0.1 - -3.1. Let j = -0.2 - -0.2. Let u = g - j. Which is smaller: 0.1 or u?
0.1
Let v = 2 + 2. Suppose -5*w - v = -3*w. Which is smaller: -1 or w?
w
Let u = 1/103 - -405/721. Let n = -4 + 9. Suppose -8*y = -3*y - n. Is u < y?
True
Suppose 21 = -v + 4*g, 24 = v - 3*g + 8*g. Which is smaller: 3/8 or v?
v
Suppose -3*p + 3 = -9. Suppose -p = -3*d - 7. Suppose -4*n + 3 + 1 = 0. Which is smaller: d or n?
d
Let l = 1 + -8. Suppose 14 = -25*p - 186. Which is smaller: p or l?
p
Let h(i) = -5*i + 7. Let z be h(2). Which is smaller: z or -11?
-11
Suppose 4*f + 30 = -f. Let k be f/4 - (-2)/4. Let d = 4 - 23/6. Which is smaller: k or d?
k
Suppose 0 = 2*u - 3*h + 10, -8 = -h - 6. Which is greater: -5 or u?
u
Let i = -6 + 10. Let l(b) = b**3 - 4*b**2 + 2*b - 5. Let p be l(i). Let c = p + -4. Which is smaller: -2/7 or c?
c
Let r = 21 - 22. Let u be 2/(-4) - 65/10. Let g be (3/(-12))/(u/(-4)). Which is greater: r or g?
g
Let c be (-2)/5 - 1967/(-3080). Let l = -4/11 + c. Which is greater: 0 or l?
0
Suppose 5*g + 2*u + 13 + 37 = 0, 4*u = 0. Is -5 at most g?
False
Let h(x) = 3*x**2 + 2*x. Let y be h(-2). Let u = 97 - 90. Are u and y nonequal?
True
Let s = 9765/23 - 133333/207. Let k = s + 220. Let x = -8 - -9. Which is greater: x or k?
x
Let p = -7 + 14. Is 6 >= p?
False
Let f(w) = w + 7. Let p be f(-9). Which is greater: -12/11 or p?
-12/11
Suppose 5*q + 7 = -13. Which is bigger: 2/5 or q?
2/5
Suppose i - b + 3 = -1, 0 = -3*i + 5*b - 20. Let q be (i - -1)*3/7. Is q at most as big as -1?
False
Let q be (1/(-3))/(-1 + 21/14). Let a be ((-2)/6)/((-2)/(-12)). Is q at most as big as a?
False
Let p = 4.94 - 5. Let n = p - 1.94. Are -0.1 and n equal?
False
Let k be (-9)/2*(-14)/(-147). Let s = -4 - -2. Let p = s + 1. Which is bigger: k or p?
k
Let a = -14 - -14.1. Which is smaller: a or -0.7?
-0.7
Let p = -1/1115 - -7813/8920. Is 0 > p?
False
Let j(r) = r**2 - 14*r - 18. Let y be j(15). Do y and -1 have different values?
True
Let z = -10 + 8. Is z < -3/4?
True
Let o = -4/3 + 25/21. Suppose 3*t - 4*y = -3*y + 3, 2*y = -t + 1. Is o less than t?
True
Let a be (-9)/(-20) - 1/5. Which is greater: a or -2/3?
a
Let i = 97 + -869/9. Let p(l) = 2*l**3 - l**2 + 1. Let q be p(-1). Let r be ((-4)/8 - 0)*q. Is i less than r?
True
Let k(q) = -6*q + 4. Let g(n) = -5*n + 3. Let s(i) = -5*g(i) + 4*k(i). Let y be s(-1). Let u be -1 - 2/(-3) - -1. Is y greater than u?
False
Let n be 26/10 - (-10)/25. Let d be -1*(1 + -7)/n. Let u = -10 - -14. Which is greater: d or u?
u
Let i = 13/3 - 14/3. Suppose 4 = 4*m - o, 22 = -m - 5*o + 2. Suppose m = z - 0*z. Which is smaller: z or i?
i
Suppose q = -5*d + 5*q - 4, -5*q = -4*d - 5. Suppose -3*u - 2*u + 10 = d. Suppose u*c - 5 = 3. Is 3 bigger than c?
False
Let i(y) = -y**2 + 9*y + 6. Let s be (0 - -15)*(-8)/(-12). Let g be i(s). Which is smaller: g or 0.2?
g
Let g = 3056/11 + -276. Let k = 49/33 - g. Suppose 0 = 4*y + 2*c + 4, -2*c = 1 + 3. Are k and y unequal?
True
Suppose 3*c = -5*k - 11 + 36, 2*c = k - 5. Let b = 1 + -1.1. Is b smaller than c?
True
Let v be (-12)/(-66) - 119/(-11). Suppose 5*i - 2*d = 1, -i - 4*d = -2*i + v. Which is smaller: i or -4/7?
i
Let r = 0.081 + -3.981. Let w = r - -4. Which is smaller: 0 or w?
0
Suppose 9 = -4*g - 3. Let m be (-4)/g*6/(-4). Let n be ((-2)/m + 0)/(-1). Is -1 at least as big as n?
True
Let k be (-600)/(-18) + 2/3. Suppose -3*y - k = 11. Which is bigger: -16 or y?
y
Suppose m = 3*d - m + 18, 0 = -4*d + m - 19. Let w be d/(-6)*(-771)/(-6). Let q = 85 - w. Which is smaller: q or 1?
q
Let l = -2 - -2. Suppose l = -3*k + k + 8. Suppose -3*w = 2*s - 7, -k*w + 14 = -3*w + 3*s. Is -2/5 < w?
False
Suppose -4*j = -3*n + 11, -4*j + 17 = 3*n - 2*j. Are n and 25/4 equal?
False
Let o = 9 - 8. Is o greater than -4/9?
True
Let t =