+ a. Let l be f/10 - (-8)/(-20). Which is smaller: -0.2 or l?
l
Let r = 0.2 - 0.2. Let f(o) = -o + 8. Let u be f(1). Is u at most as big as r?
False
Let c = -324 - -2924/9. Which is smaller: 2 or c?
c
Let w = -1988/11055 + -2/1005. Is w greater than or equal to -1?
True
Let l(c) = -14*c**2 + 1. Let q be l(-1). Which is smaller: 0 or q?
q
Let r = -3/16 - 5/16. Which is smaller: 0.3 or r?
r
Suppose -j = f + 19, -6*f + 16 = -2*f. Which is greater: j or -22?
-22
Let w = 1 + -22. Is -21 at most w?
True
Let l(v) = v**3 - 2*v. Let n be l(2). Let i(h) = -2*h + 14. Let q be i(6). Suppose -n*m - 16 = -5*r, 3*m = 3*r - q*m - 20. Which is smaller: 1 or r?
r
Let t(f) be the second derivative of f**5/20 - f**4/6 + f**3/6 + f**2 - 4*f. Let c be t(2). Is c < 0?
False
Let q = 3/38 - -65/19. Suppose 31 = 15*p - 44. Which is smaller: p or q?
q
Let p be 14/6*-3*1. Let z be p/(-2) + 8/(-2). Let w = -11 + 6. Which is greater: z or w?
z
Suppose -10 - 2 = 4*a. Let u be (-5)/(-7) + 2/7. Let h be (a - (-12)/3)/u. Which is greater: h or 3?
3
Let c be (-6)/14 - 45*12/(-2142). Are c and 1 unequal?
True
Let d(y) = -y**2 - 6*y - 5. Let j be d(-5). Suppose 0 = r - 5 - j. Suppose -2*m + 5 + 24 = r*o, -15 = 5*m - 5*o. Which is smaller: 4/5 or m?
4/5
Let r be (14/(-14))/((-1)/10). Which is smaller: 7 or r?
7
Suppose -5*u - 23 = -2*p + p, -p = 4*u + 22. Let v = -3 - -5. Let d be ((-4)/(0 - v))/p. Which is greater: -3/5 or d?
-3/5
Let a be -10 + (3 - (-2 - -3)). Let t = -8 - a. Is 2 > t?
True
Suppose -7*n - 21 = -56. Which is smaller: n or 2?
2
Let c(r) = r**2 + 7*r + 5. Suppose 14 = -3*x - 4*v - 12, 2*v + 10 = -x. Let u be c(x). Which is bigger: u or -2?
u
Let q be 2/(-8) + 7/(-4). Let b(i) = -2*i - 2. Let d be b(-4). Let n = 4 - d. Is n greater than or equal to q?
True
Let k = 6.5 + -4. Let n = -1.4 + k. Let x = n + -1. Are 0 and x nonequal?
True
Suppose 3*i - s = 33, -5*i = -10*i - 4*s + 55. Is i bigger than 13?
False
Suppose -7*j = -3*j + 40. Let p(s) = -s**3 - 10*s**2 + s + 9. Let h be p(j). Is h at least as big as -1?
True
Let f be ((-1464)/(-45))/(-8) + 4. Which is smaller: 1 or f?
f
Suppose -n + 18 = 8. Is 10 smaller than n?
False
Let k be 6*(-2)/(-4) + -2. Suppose -3*d - 5*y + 22 = 0, 6*y - y = 4*d + 29. Let o be k/5*(2 - d). Is 2 at least o?
True
Let z = 17 + -16.99. Let h(i) = i + 4. Let f be h(-5). Which is smaller: f or z?
f
Let b be -1 - 1 - (-3 - (4 + -6)). Is b > -8/7?
True
Let f = 3 + 1. Let z(b) = -5*b + b**3 + 0 - 1 - 6*b**2 - 9. Let m be z(7). Is m less than or equal to f?
True
Let y = -0.48 + 0.4. Let b = y + 0.18. Let o = -0.1 + 0.3. Is o < b?
False
Let r be 0/3 - (1 + 2). Let k(t) = -t**2 - 6*t - 5. Let l be k(-4). Suppose -l*o = 5 + 1. Is r bigger than o?
False
Suppose -3*w + 4 - 1 = 0. Let c(t) = -t**3 + 2*t**2 - 2*t + 1. Let s be c(w). Which is smaller: -1/7 or s?
-1/7
Suppose -3*a = -12, -l + 5*a = l + 2. Let y be l/(-7) + 12/42. Is -3/4 at least as big as y?
True
Let t be (-4)/10*10/(-32). Let f be (-1 - 3)*(-2)/4. Let x be (0 + 1/f)*0. Which is greater: x or t?
t
Let a(p) be the first derivative of p**4/4 - 3*p**3 + 9*p**2/2 - 9*p - 4. Let z be a(8). Suppose -h - 1 = -2. Which is greater: z or h?
h
Let a = 25 - 25. Let g be (-5)/(-2)*(-58)/(-10). Let w = g - 14. Which is smaller: w or a?
a
Let m = 1.8 + -1.5. Does 0 = m?
False
Let q = -11 - -17. Suppose c = q*c. Suppose -2*s - s + 6 = c. Which is smaller: s or 0?
0
Let c be (6/(-4))/(1/30). Let q be (-81)/c*20/6. Is q bigger than 6?
False
Suppose 2*w - k - 12 = 0, -4*w + 44 - 8 = -5*k. Suppose 5*t + 25 = 4*r + r, -3*r = w*t - 15. Do 1 and t have different values?
True
Let s = -1.82 - -2.8. Let c = s + -1.1. Which is greater: -1 or c?
c
Suppose 5*o - o = 0. Which is greater: o or -5/8?
o
Suppose 2*d = -0 + 2. Let z(y) = -y + 2*y + 4*y - 1. Let a be z(d). Which is smaller: a or 0?
0
Suppose 3*o - 4*x = 5, o + x = -4*x + 8. Let g be (o/(-2))/((-8)/16). Suppose 4*v + 6*z - 7 = z, 2*v + 5*z - 1 = 0. Are g and v equal?
True
Let w be 54/(-280) + (-3)/(-21). Is 0 at least w?
True
Let i = -0.2 + 0.3. Let b = -6.3 + 2.2. Let y = 4 + b. Do y and i have different values?
True
Suppose 0 = -5*q + 5*i - 30, 2*q - 2*i = -2*q - 22. Suppose 4*p + 7 = -13. Is p bigger than q?
False
Let t = 28352/92183 - 11/1013. Let s = -2/13 + t. Is s >= 1?
False
Let g = 7/59 + -298/3009. Which is greater: 0 or g?
g
Let x = 46 - 507/11. Which is smaller: x or 1?
x
Suppose 2*g - 7*g - 4 = -2*u, 2*g = -5*u + 10. Which is greater: 6/5 or g?
6/5
Let q be 0/(4/(-2)) + 3. Let l = 9 - q. Is 5 equal to l?
False
Let z = -2 - -7. Suppose -p - a = -2*a - 7, -4*a - 31 = -z*p. Suppose p*q = 4*q. Which is smaller: 1 or q?
q
Suppose 2*j - 48 - 14 = 0. Which is smaller: 32 or j?
j
Let n be 2/(-7) + (-18)/35. Which is smaller: n or 0?
n
Let z = -6 + 16. Let w = z - 8. Which is smaller: 1/4 or w?
1/4
Let f(t) = t**2 - 4*t + 3. Let k be f(3). Let g = -17 - -41. Let v be 2/g*(2 + 1). Which is smaller: k or v?
k
Suppose 8*k - 6*k - 10 = 0. Are k and 13 equal?
False
Let s = 10 + -9. Is -1/42 equal to s?
False
Let i = 22 - 131/6. Is -1 >= i?
False
Let w = -26938/37 - -728. Which is bigger: w or 1?
1
Let t = 376 - 3379/9. Which is smaller: -4 or t?
-4
Let n(f) = -3*f. Let r be n(5). Let y be ((-10)/r)/((-7)/(-3)). Is y at least 1?
False
Let c = 6 - 6.01. Let b = c - -4.01. Do b and 2/7 have the same value?
False
Let k = -143 - -137. Is 2 > k?
True
Let a be (20/6 - 2)*(-1122)/(-88). Let x = -10 - -26. Which is greater: a or x?
a
Let r be (0/(-2*2))/(-3). Let y(d) = 3*d**3 + 3*d**2 - 1. Let b(z) = 10*z**3 + 10*z**2 - 3. Let j(m) = 2*b(m) - 7*y(m). Let o be j(-1). Is o at most r?
False
Let r be 6/4 - 6/8. Which is smaller: 2 or r?
r
Suppose -2*y + 4*x - 13 + 1 = 0, 2*y - 24 = -5*x. Which is smaller: y or 3?
y
Suppose 3*m = -3*u + 12, 4*u - 14*m - 20 = -17*m. Suppose -17 = -5*n + 23. Are n and u unequal?
False
Let b(s) = -3*s - 10. Let f be b(-5). Suppose m - t = -2, t - 4*t = -f*m - 8. Is m at most -1/8?
True
Let p be ((-6)/4)/(3/(-6)). Suppose 0 = 5*w + 3*a + 3, -2 = 2*w + 5*a + p. Which is greater: -1 or w?
w
Let k = 5 + -3. Let z be (-280)/49 - 1 - -7. Which is smaller: k or z?
z
Suppose -4*s - 7 = -3*c, 0*s + 4*c = -4*s. Which is greater: 5 or s?
5
Let z = -10 - -9. Let t = 2 - 0. Suppose 5*v = -t*o - 1, 15 = 6*o - o - 5*v. Does z = o?
False
Let h = 0 + 0.1. Let m = 2 + -2. Is m bigger than h?
False
Let k be 28/(-7) + (-25)/(-7). Which is greater: k or 0?
0
Let u(p) = -2*p + 3. Let h be u(2). Are h and 1/53 non-equal?
True
Let l = 681/7 + -4770/49. Is l greater than or equal to 1?
False
Let i be (-30)/8 - 2/8. Let l be 6/12 - i/(-9). Are 0 and l nonequal?
True
Let x be 33/9 - (-5 + 2 + 7). Which is greater: x or -0.52?
x
Let x = 28 - 20. Are x and 8 unequal?
False
Let f be 1/(-1) - -1 - (0 - 0). Let d be 62/(-4)*6/9. Let a = d - -10. Is a <= f?
True
Suppose 9 = -3*z + 3*t, 4*z + z + 19 = 3*t. Let i(l) = -l - 4. Let f be i(z). Is f less than or equal to 0?
False
Let u(a) = a**3 + 3*a**2 - 4*a + 1. Let k be u(-4). Let j be -3 - (174/(-57))/k. Which is smaller: j or -1?
-1
Suppose y + 2*w + 5 = 0, 1 = y - 4*w - 12. Which is bigger: y or 9/25?
y
Let k(t) = -3*t**2 - 5*t + 5*t**3 - 3*t**2 + 3 - 6*t**3 + 0*t**2. Let p be k(-5). Let x be 2/((-8)/(-9)) - p. Is 0 at least as big as x?
True
Let b be (50 + 4)*(-6)/9. Let p be 8/b - 7/9. Which is smaller: p or -1/8?
p
Let g(o) = -2*o + 2. Let v(u) = 1. Let j(h) = g(h) + 2*v(h). Let f be j(3). Which is smaller: -6/11 or f?
f
Let l be (3030/(-315) - 2/(-7)) + 0. Do -10 and l have the same value?
False
Suppose -3*u = -f - 3*f + 63, u = -2*f + 19. Suppose -p + f = 2*p. Suppose p*i = -4 + 8. Are i and 1 unequal?
False
Suppose 4*n - 2*u - 20 = 0, 3*n + 5*u = 5*n - 10. Let g = n - 6. Is 0.4 greater than or equal to g?
True
Let m = 107 + -533/5. Which is smaller: 1 or m?
m
Let v = 1 - 1.2. Let a = v + -0.9. Let l = a + 0.8. Which is greater: l or -1/4?
-1/4
Let j(z) = 2*z + 4. Let q be j(6). Let d = 13 - q. Which is greater: d or -2?
-2
Let z(m) = -4*m - 1. Let b(u) = u**3 + 4*u**2 + u + 5. Let d be b(-4). Let i be z(d). Which is greater: -3 or i?
-3
Let l = -20 + 28. Is 7 at most as big as l?
True
Let m be (-2*3/48)/1. Which is smaller: 1 or m?
m
Let j be (-10)/20*4/(-62). Is j <= 1?
True
Let g(z) = 40*z - 1. Let j(b) = 4