 = 10 - 10.2. Let z = 0.04 - -1.96. Which is smaller: l or z?
l
Let f = 20.6 - 19. Let q = -1.65 + f. Which is greater: 1 or q?
1
Suppose 2*b - 1 + 5 = -3*y, 4*y + 7 = -3*b. Let z = 3 - y. Which is bigger: -0.2 or z?
z
Let d = 0.19 + 12.81. Let k = -13.4 + d. Do k and -0.1 have the same value?
False
Let k be (-6)/15 - (-1)/((-5)/3). Which is bigger: k or -3?
k
Let h = -0.23 - -0.43. Let v be (-8)/15 - (-2)/3. Is h bigger than v?
True
Let n(l) = -2*l - 1. Let a be n(-8). Let o = a + -13. Is o less than 4?
True
Let u be 8/(-20)*(0 + 14). Let d be (-2)/5 + 69/12. Let x = u + d. Which is smaller: 0 or x?
x
Let z be -5 + (3 - 4) - -3. Are -18/11 and z unequal?
True
Let c be (-1 - -2) + 880/(-864). Which is smaller: -1 or c?
-1
Let x = -6.5 - -6. Let n = -0.1 - x. Is 0.1 > n?
False
Let n be 3/(-9) + 3 + -3. Is 0.28 < n?
False
Let p be 2 + (-54)/14 - -2. Let f be 4/(-3)*3/(-2). Let w be 0*(-3)/(12/f). Which is smaller: p or w?
w
Let r = -3 + 8. Let l = -0.2 + 6.2. Let q = 7 - l. Which is smaller: q or r?
q
Suppose m = 3*q - 28, 4*m + 1 = q - 1. Are q and 0 unequal?
True
Let j = 0.18 - 0.09. Let n = -33 + 33. Which is bigger: n or j?
j
Let m = 125 + -370/3. Suppose -3*p + 8 = -2*s - 9, -3*s - p = -2. Let n be 3 + (-1 + s)/2. Which is smaller: n or m?
m
Let l = 5 + 1. Let y(z) = z**2 - 4*z - 8. Let w be y(l). Suppose w*b + 4 = 8*b - 4*c, -4 = 4*c. Which is smaller: -0.1 or b?
-0.1
Let m = -25/12 + 7/4. Let c(w) = -w**3 - w - 3. Let s be c(0). Let p be (-1)/(s/(-3)*1). Is m smaller than p?
False
Let i(z) = z + 6. Let x be (2 - 4)/((-2)/(-7)). Let a be i(x). Let m be 4/35 + (-10)/(-35). Which is smaller: a or m?
a
Let v = -12.7 + -1.3. Let w = 8 + v. Let h = -7 - w. Which is smaller: h or 0.2?
h
Let w = 0.13 + -0.43. Let t be 4/2 + (-1 - -3). Which is greater: w or t?
t
Let s(a) = -2*a**2 - 9*a - 2. Let v be s(-6). Let b = -16 - v. Is b >= 4?
True
Let d be ((-4)/(-63))/(84/9 + -6). Is 0 < d?
True
Let d = 15.1 + -15. Let k = -30 + 212/7. Is d < k?
True
Let d = -25 + 24. Is -2/21 equal to d?
False
Suppose -15 - 9 = 4*w. Is w > -6?
False
Let v = 38085 + -1447133/38. Let w = -1/19 + v. Suppose 5*o + 2*r - 16 = 0, -r + 2 = -2*o + r. Is o <= w?
True
Suppose 3*g + 2*d = -0*d + 12, 0 = 3*g - d - 3. Suppose -g*b = -3*b + 11. Which is bigger: b or 12?
12
Let z(k) = -k**2 - 5*k - 2. Let m be z(-4). Let t be (1/m)/((-2)/4). Let d = -1.2 + 1. Is d < t?
False
Let j = -3.2 - -3. Let t = j - -0.1. Suppose 33 = 5*d + 23. Are d and t equal?
False
Let r(a) = -a**3 - 10*a**2 + 10*a - 11. Let s be r(-11). Suppose -6*y + 5*y + 2*m + 9 = 0, 4*m = s. Which is smaller: 10 or y?
y
Suppose 0 = -2*v - 3*t + 15, 0 = -2*v + 5*v - 3*t - 15. Which is smaller: v or 5?
5
Let h be (6 + -5)/(14/6). Does 0 = h?
False
Let b be (2/4)/((-2)/4). Let k = 0.25 - 10.25. Let o = 10 + k. Which is smaller: b or o?
b
Let k = -1/5 - -26/55. Which is smaller: k or 4?
k
Let v be 4/18 - 25/(-9). Let x(h) = h**3 + 2*h**2 - h - 2. Let s be x(-2). Suppose s*o = -o + v. Is o > 4?
False
Let b = 0 - 1. Let g(f) be the third derivative of -f**4/24 + f**3/3 - 2*f**2. Let m be g(4). Which is smaller: b or m?
m
Let m(b) = b**2 - 4*b + 4. Let l be m(4). Let w be (4 + -3 - 1)/1. Suppose 0*o - o + l = w. Is 3 > o?
False
Let p(l) = -l - 8. Let f be p(-11). Suppose -2*c - 1 = d, -f = 5*c + d - 2. Which is greater: 1/6 or c?
1/6
Let m = 1.6 + -0.6. Let z = 1 + -1. Let s = m - z. Is -1/4 at least as big as s?
False
Suppose 4*w = 5*c - 15, -15 = -2*w - 0*c - 5*c. Let m = -3312 - -13311/4. Let d = -701/44 + m. Which is smaller: w or d?
d
Let z(i) = i. Let o(p) = -7*p + 4. Let n(d) = o(d) + 4*z(d). Let y be n(5). Let k = y - -9. Is k greater than or equal to -3?
True
Let u be (-21)/(-46) + 1/(-2). Let f be (-3)/(-24) + 3/(-24). Which is greater: u or f?
f
Let z be 1/2*(1 + 1). Suppose 3*c + n = z, -3*c - 2*n + 2 = -7*c. Which is smaller: -2/27 or c?
-2/27
Suppose 5 + 10 = 3*z. Suppose 10 + z = 3*t. Suppose -u - t = -0. Is u <= -4?
True
Let p = -96 - -95. Which is smaller: p or -2/9?
p
Let f be -9 - (-1*2 - 0). Let g be (-11)/14 + (-2)/f. Suppose h + 7 = -3*h - 3*n, 2 = -2*n. Which is greater: g or h?
g
Suppose 0 = -2*j - 3 + 7. Suppose -20 = 2*l + 7*q - 3*q, -3*l = -j*q - 10. Is -1/9 bigger than l?
False
Let x(f) be the first derivative of f**3/3 - 13*f**2/2 - 15*f - 7. Let s be x(14). Which is smaller: s or 3?
s
Let a = -1 - -2. Let g = -30 - -72. Let w be 4/(-14) + (-9)/g. Which is smaller: w or a?
w
Let b = -11 - -7. Let m = 71.3 - 67. Let i = m + b. Is i less than 0?
False
Let o be 66/(-4)*22/(-33). Suppose 0 = o*h - 15*h. Which is greater: h or -1/6?
h
Let u be (-242)/60 + 5/10. Let o = -10/3 - u. Suppose -2*k - b - 1 + 4 = 0, -k - 5*b + 15 = 0. Are k and o equal?
False
Let r be ((-236)/10 - 0)/(18/(-45)). Which is bigger: r or 60?
60
Let l = 37 - 41. Suppose -2*h + g + 9 = 22, 0 = 3*h - 2*g + 22. Is h less than or equal to l?
True
Let y = 3152/203 + -159/58. Let f = y - 72/7. Suppose 3*m - 3 = 3. Is f <= m?
False
Let m(t) = -t**3 + 8*t**2 + 8*t + 8. Let s = -10 - -19. Let h be m(s). Which is bigger: h or -1/28?
-1/28
Let k = -3 + 1. Let i = k + 3. Let f be 5/((-35)/(-12)) - 2. Which is smaller: f or i?
f
Let x be ((-6)/15)/(7/5). Suppose -4*m - 16 = 0, 3*p = -2*m - 0 - 11. Which is smaller: p or x?
p
Let h be 2/(-9) - 40/(-18). Let o(w) = -8*w + 3*w**h + w**2 - 3*w**2. Let r be o(8). Which is greater: r or -1/3?
r
Let x = -68 + 26. Let g be 7/x - 98/(-12). Which is greater: g or 7?
g
Suppose 0 = -5*x - 3*w + 285, -x - w = -0*x - 55. Is 60 > x?
False
Let u(n) = -1 - n + n**2 + 0*n - 4*n**2 + 4*n**2. Let s be u(2). Is 1 at least as big as s?
True
Suppose v + 4*v + 3*m + 42 = 0, 0 = 3*m + 12. Let w = 30 + -36. Do v and w have the same value?
True
Let o(t) = -t**3 + t**2 - t - 14. Let r be o(0). Let k be r/(1 + -3 + 4). Which is greater: k or -8?
k
Suppose -5*i + 4*y = 4, -3*i = y - 0 - 1. Let o(u) = -u**3 + u**2 - u. Let t be o(i). Which is bigger: 3/11 or t?
3/11
Let y(t) be the first derivative of -2*t**2 + 3*t + 3. Let f be y(3). Let z be (-6)/f + 4/(-6). Do z and 1/7 have different values?
True
Let j = -14 + 12. Which is smaller: -5 or j?
-5
Let o(l) be the second derivative of l**5/20 + l**4/6 + l**3/3 - l. Let z(n) = n**3 + 3*n**2 - 2. Let s be z(-3). Let f be o(s). Are f and -3 nonequal?
True
Suppose g = 2*g - 2. Let a be ((-4)/12)/(g/(-12)). Let l = -4 + 6. Do a and l have different values?
False
Let s(i) = -i**2 - 4*i - 10. Let t be s(0). Is -8 less than or equal to t?
False
Let v = -71 + 70.9. Which is bigger: 13 or v?
13
Suppose 2*y - 139 = j, -y = -j - 0*j - 68. Let w be 2 - 3/99*y. Let h = -13/11 + w. Which is bigger: h or -2?
h
Suppose 0 = 4*p - u + 24, 5*p + 48 = -4*u + 18. Let q be 15/(-20)*4/p. Is q != 1?
True
Let t = -16 - 25. Which is bigger: -42 or t?
t
Suppose 0 = -4*i - 32. Let n = 11 + i. Let o = 0.2 - 0.1. Which is smaller: o or n?
o
Let n = -0.35 - -0.15. Which is greater: -0.4 or n?
n
Let s = 2 + 3. Suppose s*n = n + 12. Which is greater: n or 4?
4
Suppose 20 = 5*z - 3*t - 2, -4*z = -5*t - 28. Suppose 0 = -5*f + z*k + 13, 3*f - 4*k - k - 23 = 0. Is f < 1?
False
Let j be 3/(-9)*3/7. Is -1 < j?
True
Let m = 5 + -3. Suppose 0 = 2*c + 4 - m. Let a be (1 - -1 - 2)*c. Does a = 2/11?
False
Let h = -0.1 + 0.3. Let x = 0.04 - -0.05. Let a = x - 1.09. Which is smaller: a or h?
a
Suppose -5*l + 2*i = 5*i - 101, -6 = 2*i. Suppose 0 = -4*f - 5*a + l, -2*f + 3*f + 4*a = 11. Which is greater: f or 3/2?
f
Suppose -2*w - 2 - 2 = 0. Suppose -3*s + 21 = 4*s. Are s and w equal?
False
Let j = -6 + 4. Let v be 4/(-18) + (-20)/45. Which is smaller: j or v?
j
Let v(l) = 20*l**3 - 21*l**2 + 18*l + 5. Let k(q) = -7*q**3 + 7*q**2 - 6*q - 2. Let a(j) = 17*k(j) + 6*v(j). Let h be a(6). Which is greater: -11/3 or h?
-11/3
Let v = -5 - -2. Let u = -3 - -7. Suppose 2*t + 2*g + 4 = 0, g + 2 = -u*t + 3. Is t >= v?
True
Let m be -1 + 2 - (-21)/(-28). Which is bigger: m or 0?
m
Suppose 0 = -2*c - 3*c + 10. Suppose -c*q = -10 - 8. Let m be 2/q - 10/(-9). Which is bigger: m or 0?
m
Let b(q) = -q**3 - 3*q**2 + 5*q + 4. Let j = -7 + 3. Let c be b(j). Which is bigger: 1 or c?
1
Let t be (-6)/(-2)*27/(-81). Which is bigger: -3/10 or t?
-3/10
Suppose 3*x - 2*l = -5*l + 12, 2*x = 4*l + 2. Let g be (x/(-9))/(3/276). Let q = 32 + g. Whi