ose u + 1 = -0*u. Which is smaller: u or q?
q
Let m(v) = v**3 - 7*v**2 - 5*v - 8. Let w be m(8). Which is greater: w or 15?
w
Let u be (-6)/(-21) - (-1)/4. Let n = u - 2/7. Which is bigger: 2 or n?
2
Let p = 17 - 15. Is p less than or equal to 2/3?
False
Suppose -2*c - 2*p = -p + 2, 0 = 2*c - p + 2. Let a be (c - -7)*(-4)/(-16). Which is smaller: a or 2?
a
Let h be (1 - (-8)/(-6))*-6. Suppose 18*x - 8*x - 10 = 0. Is h less than or equal to x?
False
Let p be -4 + 6 - (1 + 0). Let d = 9 - 7. Is p > d?
False
Let z(u) = 3*u + 2. Let m be z(6). Suppose m = -v - 9*b + 4*b, -5*b = 25. Suppose -2*t - 2*x = -6*t - 4, -2*t = -v*x + 10. Is 2/7 bigger than t?
True
Let h = 4 + 1. Suppose f - 7 = -h*y + 5*f, -2*f = 6. Suppose -3*q + 3 = -0. Which is greater: q or y?
q
Let o = 12 + -7. Suppose 0 = -o*v - 5*r, 2*v + 2*v + 18 = 5*r. Let c be 1/(-1 - (-2)/3). Which is smaller: c or v?
c
Let y = 41 - 43. Is -6 > y?
False
Suppose y - 4 = 3*y. Let w be (-3)/(9/y) + -1. Let z(r) = r**2 - 4*r - 12. Let b be z(6). Which is smaller: b or w?
w
Let p = 5 + -7. Suppose 3*d + 2*d - 30 = 0. Suppose -d = -3*r - 18. Is p at least as big as r?
True
Suppose 4*o + 48 = 2*w, -3*o + 6*o = w - 36. Let n = o + 18. Let x = n + -11. Which is smaller: -4 or x?
x
Suppose -u - 5*u + 36 = 0. Suppose -2*s = 3*s - 25. Is s at least u?
False
Let o be (4/(-10))/(4/(-20)). Let i be (-2)/o - 20/(-28). Which is greater: i or 1?
1
Let u(j) = -4*j + 17. Let z be u(4). Let k(q) = -q + 1. Let n be k(1). Is z > n?
True
Let f = 15 - 12. Suppose 4*c - f*i - 2 = 0, -3*c + c - 12 = 5*i. Let j = 1 + -1. Is c smaller than j?
True
Let w(r) be the third derivative of r**6/120 + r**5/15 + r**4/12 - 2*r**3/3 - 5*r**2. Let p be w(-3). Which is smaller: 1/30 or p?
p
Suppose -2*s = 3*l + 5 - 22, 5*l - 7 = 2*s. Suppose -f + s = -3*w, 0 = -2*w - 2*w - 4. Let m be ((-9)/12)/(3*f). Is 1 greater than m?
True
Let y = -143/4 + 36. Let x = 0 + 0.05. Let g = 2.05 - x. Which is smaller: g or y?
y
Suppose 2*u - 3 = 1. Let l be 0/5 - 2/u. Which is smaller: l or -3/5?
l
Suppose 2 = -11*w + 2. Which is smaller: w or 2/73?
w
Let j(z) = z**2 + 1. Let h be j(-2). Suppose 4*p = -v, -v = 3*v - h*p - 21. Suppose 0*o = -v*o - 8. Is -1 not equal to o?
True
Let s be (0 + -1 + 0)*1. Suppose -g = -4 + 5. Are s and g non-equal?
False
Suppose -4*w - 8 = 8, 5*k - w - 64 = 0. Let t be (6/k)/(16/6). Which is greater: t or -2/3?
t
Let z be (116/28 - 4)*-4. Which is bigger: z or 0?
0
Suppose -k = -3*y, -2*y - 3*y = 3*k. Let a(n) be the first derivative of n**3/3 + 2*n**2 + 4*n + 1. Let s be a(-3). Which is greater: s or y?
s
Let s(d) = 2*d**2 - 5*d + 17. Let f be s(7). Let z be (28/f)/((-1)/(-4)). Which is bigger: z or 2?
2
Let j be 63/13 - 2/(-13). Let k = 11 - 6. Is k less than j?
False
Let w be (-10)/20*58/(-43). Let x = w - 1/129. Is x at most as big as -7?
False
Suppose -16 - 5 = -3*g + 5*p, -5*g + 5*p + 35 = 0. Suppose -3*j + 11 = -7. Is j smaller than g?
True
Let d = 12 - 13. Which is smaller: -3 or d?
-3
Let o = 1 + -5/3. Let z be 1/(-2) + (-5)/(-2). Suppose -3*l - 4*v = 2*l + 13, 0 = -4*l - z*v - 8. Are o and l non-equal?
True
Let k be 6/(-27) + 1498/18. Which is greater: -1/2 or k?
k
Let p = 434201/7 + -61915. Let m = -114 + p. Which is greater: -1 or m?
m
Let c(z) = -z**3 + 4*z**2 - 3*z + 2. Let g be c(3). Which is smaller: g or 1?
1
Let l be 2 - 99/24 - -2. Let w = -10 + 11. Which is bigger: l or w?
w
Let k be (-6)/(-4) + (-1)/1. Let i = 0 + 1. Let b be 1*(0 + i/3). Which is bigger: k or b?
k
Let p be (-3 + 0)/((-3)/5). Suppose 4*r + r = -p. Which is bigger: 1 or r?
1
Let a(t) = 3*t**3 + t - 1. Let f be a(1). Which is smaller: 0 or f?
0
Suppose -a + 20 = -5*a. Let k = 6 + a. Suppose -3*f + 0 = w - k, -28 = 5*w + 4*f. Which is smaller: w or -9?
-9
Let x = -27 - -16. Which is smaller: 2/3 or x?
x
Let t = 43713 - 3409457/78. Let v = 24/13 - t. Let j be -3 + -3 + 3 + 2. Are v and j nonequal?
True
Suppose -30 + 8 = 4*f + v, -v + 8 = -2*f. Let n be (-3)/f*1*-5. Let a be n + (0 - (-3 - 0)). Does -1/4 = a?
False
Let j(c) = -c**3 - 8*c**2 - c - 8. Let x be j(-8). Is x >= -6/11?
True
Suppose -3*a = -7*a + 120. Let w be 24/a + 3/15. Which is smaller: w or 3?
w
Suppose -2*h - 3*h - 3*n - 195 = 0, 0 = h - 2*n + 26. Is -36 at most as big as h?
True
Suppose -4*z + 64 = 4*w + z, -3*z - 21 = -3*w. Suppose 2*j - w = -1. Suppose -2*s = g - j, -3*s + 10 = -g - 0*g. Are 2/5 and g non-equal?
True
Let b be (-1 - -1) + (-4)/(-10). Let l = 0.89 + -20.79. Let o = -20 - l. Which is greater: o or b?
b
Let l = 28 - 28. Let b = 2.9 + -3. Which is greater: b or l?
l
Suppose 0*l - 18 = -3*l. Suppose -2*r = -0*k + k - 14, -3*r = -3*k + l. Suppose -a + 4 = 2*u, 0 = 2*u + u - a - k. Which is smaller: u or 4?
u
Let d = 126 - 35. Let s = d + -640/7. Is s smaller than 0?
True
Let i = 1 - 1. Let r be (-2)/((1 - i)*-2). Does r = -2/7?
False
Suppose 3 = -9*u + 21. Which is smaller: 0.8 or u?
0.8
Let h = -4320 - -17069/4. Let k = -53 - h. Is 4 > k?
True
Let s be (-1)/(-2)*464/(-8). Let b = 28 + s. Which is smaller: 0 or b?
b
Let n = -85 + 505/6. Let f = 33 + -23. Suppose 5*h + c = -f, -3*h - 2*h = -c + 10. Is h <= n?
True
Let a = -14 + 7. Let s(p) = 2*p**2 - 1. Let b be s(1). Is b greater than or equal to a?
True
Let u be 1/12 - (-6 + 9). Let i = -13/4 - u. Is i less than -0.2?
True
Let n = 22 - 23. Which is smaller: -2/43 or n?
n
Suppose 5*i - 86 = 4*l, 2*i - 6*l + 4*l = 36. Is i bigger than 14?
False
Let p = 2/101 - -196/303. Let h = 30 - 31.3. Let o = -0.3 - h. Which is smaller: o or p?
p
Let t = -0.092 - -0.162. Are t and 0 nonequal?
True
Let w(k) be the first derivative of k**4/4 + k**3/3 + k**2/2 - 2*k + 2. Suppose 0 = 3*d - 7*d. Let t be w(d). Is -1 at most t?
False
Suppose -2*a = 8, -2*a + 33 = 2*c + 99. Which is bigger: -30 or c?
c
Let m(k) = -k - 3. Let t be m(-8). Suppose -3*f - 4 - t = 0. Let q be ((-3)/6)/(f/6). Is -1 at most as big as q?
True
Suppose 4*o + 31 = 3*z - o, o = -5*z + 5. Suppose 2 = -h - t, -h - 2*t + 1 = 3. Let l = h + z. Which is smaller: 2/7 or l?
l
Let v = 6 + -4. Suppose 2*m - 3*m + v = 0. Which is greater: m or 4/7?
m
Let z = 3 + -6. Let q = -3 + 16. Let w be 264/(-143) - 2/q. Which is smaller: w or z?
z
Suppose 0*r = -2*r + 4. Suppose -3 = r*v + 4*y + y, -2*v = -y - 3. Do -1/5 and v have the same value?
False
Suppose 6*d - 5 = 11*d. Which is smaller: d or -1/49?
d
Let r = 2.87 - -0.13. Let u = r + -3. Is u equal to 2?
False
Suppose -10*w = -46 - 74. Which is smaller: 13 or w?
w
Let f(q) = q**3 - 3*q**2 - 4*q. Let g be f(4). Suppose 11*d - 8*d + 21 = g. Let m = -6 - d. Which is bigger: 1/4 or m?
m
Let d(z) = z + 1. Let q be d(4). Let g be (-2)/q*10/22. Does g = 0?
False
Suppose -6 + 15 = i. Let z be 3/(-4)*(-8)/i. Which is smaller: z or 2/9?
2/9
Suppose 3*c - 2*x - 5 = 0, 3*c - 3*x - 1 = 2. Suppose 6*s - 4*t = c*s - 25, -3*s - 24 = -3*t. Is -7 <= s?
True
Let r = -0.2 - -1.2. Which is greater: 0.01 or r?
r
Let s be 6/(-28) + (-2)/(-4). Let o = 4.03 - 2.14. Let b = o + 0.11. Which is smaller: b or s?
s
Let m = -82 + 161/2. Let j = 1 + m. Does j = -4?
False
Let c = -1.3 - -2. Which is smaller: c or -2?
-2
Let c(y) = 7*y + 23. Let u be c(-3). Is u < 13?
True
Let v(a) = a**2 + 4*a + 3. Let u = -4 + 4. Suppose u = -4*j - 12 - 0. Let h be v(j). Which is smaller: h or 2/5?
h
Let d = -2 + 1. Let c be 0 + -1 + 140/(-12). Let r = c - -13. Which is greater: d or r?
r
Let f = 0.09 + -0.09. Which is smaller: f or 17?
f
Suppose -5*s + 0*i = -4*i + 159, -32 = s - i. Is s greater than or equal to -31?
True
Suppose 0 = -p - 3*p + 8. Let u be 1 + -1 - (5 - p). Which is greater: -2 or u?
-2
Suppose -5*a + a = -3*w + 18, 20 = 4*w - 4*a. Let s(h) = -h**3 + h**2 + h + 1. Let c be s(w). Let y = 71 + -356/5. Which is greater: y or c?
y
Suppose 5*z - 17 = -2*i, -2*z + i + 8 = z. Suppose 0 = -2*o, -z*c - 2*o = -4*o. Suppose 0*m - 5*m = 0. Are m and c nonequal?
False
Let m = 48 + -38. Let o(v) = -5*v - 1. Let y be o(-2). Which is smaller: m or y?
y
Let q(n) = -n**3 - 2*n**2 + 1. Let s be q(-1). Let y = 4/359 + 1747/4308. Let x = -13/60 + y. Is x at most as big as s?
False
Let w = -0.061 - 16.939. Are -3/7 and w unequal?
True
Let c be (1 + 0)*(-1)/(-3). Let f be ((-6)/36)/((-1)/6). Suppose 0*b = -5*r - 3*b + f, b - 5 = 3*r. Is c bigger than r?
True
Let c(s) = -s**