= -u**2 - 7*u - 3. Let b(k) = -3*k**2 - 15*k - 6. Let h(j) = -2*b(j) + 5*t(j). Let y be h(i). Which is bigger: -4 or y?
y
Let t = 21 - 16. Suppose 0 = 3*l - t*k - 20, -2*k = 3*l - l - 8. Is l at least 6?
False
Let q(s) = -s**3 - 3*s**2 - s - 2. Let x be q(-2). Which is greater: x or -1?
-1
Suppose 0 = 3*x + 9, u - 4*x - 16 = -3*u. Let i be ((-2)/3)/((-10)/75). Suppose 5*d - 2*d = 2*p + 1, -3*d = 2*p - i. Is d less than u?
False
Let h(b) = 2*b - 9. Let d be h(7). Suppose -m + 19 = -5*f, -d*m + 0*m - 5*f - 25 = 0. Which is greater: m or 1/5?
1/5
Let z = -7 + 6.6. Let k = -1.4 - z. Which is smaller: k or -7?
-7
Let p = -160 + 160. Which is smaller: 13 or p?
p
Suppose 0 = 2*g - 7*g, 4*v = g. Let u be (3 + -2)*(v + -1). Is u at most -1?
True
Suppose 0*n - n = 2. Suppose -4*u - 7 = -15, -5*o = 5*u - 5. Let v be o - 3*(n + 1). Is 0 > v?
False
Let d(y) = -y**3 - 7*y**2 - 5*y + 4. Let w be d(-6). Let x(i) = i + 3. Let f(c) = -2*c + 2. Let g be f(4). Let k be x(g). Which is greater: w or k?
w
Let w(d) = d**2 + d. Let l be w(1). Let t be -1 + 3 + l + -1. Suppose -t*s + 8 = 2. Is 2 <= s?
True
Let y = 5 + 2. Let a = -7 + y. Let m = -4.3 - -4. Are a and m unequal?
True
Let o = -20 - -20. Suppose -n + 3 = 4*x + 19, -x - 4 = o. Which is smaller: n or -1?
-1
Let x be (-3)/(-9)*(3 + 9). Suppose x + 8 = -4*c. Is -3 at least c?
True
Suppose -l + 36 = 2*l. Let b = l - 18. Let j be (1/(-16))/(3/b). Which is smaller: j or -1/2?
-1/2
Suppose 8*y - 2*y = 0. Is y bigger than 13/10?
False
Let l = -495/8 - -62. Let v be (-36)/30 + 2/10. Is l less than v?
False
Let h(j) = -10*j + 9. Let s be h(-5). Are s and 59 nonequal?
False
Let a = 36 + -56. Are a and -21 equal?
False
Let p(j) = -j**2 - 6*j + 8. Let v be p(-8). Let t = v + 10. Are -2/3 and t unequal?
True
Suppose 5*n - x + 286 = -3*x, 127 = -2*n - 5*x. Let z be (-8)/(-56) - (-22)/n. Is z < 0?
True
Suppose 11 = 2*r + 3*z, 4*z = -2*r + 3*z + 5. Which is bigger: r or -6?
r
Let d = -4 - -7. Let n = -43 - -44. Which is smaller: d or n?
n
Let r be -3*(-3)/9*0. Suppose -3*f - 15 = r, 2*g + g - f = 29. Suppose 4*a = -4*n - 24, 2*n - 2*a + 0*a = g. Is 2/9 > n?
True
Let b(v) = v**3 - v**2 + 4. Let r be b(0). Let m(i) = r*i - 2*i - 3*i. Let p be m(0). Which is greater: p or -1?
p
Suppose 2*v = -0*v - 8. Let u be 2/v*-8*-1. Is -4 at least as big as u?
True
Let w = 0.44 - 0.44. Let j = -2.01 + 0.01. Let t = -2.2 - j. Which is smaller: w or t?
t
Suppose 0 = -2*t - 4*y - 16, 2*y - 12 = 5*y. Suppose 12 = z - 4*z. Let r be 1/(-1) - 2/z. Which is bigger: r or t?
t
Let z(u) = -3*u + 1. Let x be z(5). Let l = -9 - x. Suppose -6 + 21 = 3*v, 5*f - 3*v = -l. Which is greater: f or 2/3?
f
Let i = 10 - 9.7. Let y = 0.1 - 0.3. Let a = 0.1 + y. Which is smaller: a or i?
a
Let b(n) = -2*n - 7. Let l be b(-4). Which is smaller: l or -1?
-1
Suppose -16 = 3*x - 7*x. Is 5 greater than x?
True
Suppose 0*t + 1 = -t. Let m be 1 + 0 - 3/2. Which is greater: m or t?
m
Suppose 4*h = y - 21, h + 1 = -4. Let b be (y/2)/(4/8). Is -1 smaller than b?
True
Let l = -5267/15 + 351. Which is greater: 1 or l?
1
Let y be 2 - -1*21/(-12). Let i = -0.2 + -0.8. Which is smaller: i or y?
i
Suppose 5*b = -2*v, b - 3*b - 11 = 3*v. Suppose -b*n = 2*n. Let l be (2/(-1))/(12 + 1). Does l = n?
False
Let w = -1/179 - 1601/1790. Let v = w - -47/30. Is v at least 4?
False
Let y(g) = g**2 + 2*g - 3. Suppose 4*k + 15 = -k. Let b be y(k). Let v = 2/53 + -120/371. Is b != v?
True
Let p = 15 - 11. Let o(z) = -z**2 + 2*z + 4. Let k be o(4). Let n = k + p. Is n less than or equal to -2/9?
False
Suppose -a = 5*n + 3*a - 87, -4*n + a + 57 = 0. Let h be (n/9)/(2/(-6)). Let w be h/(-7) + 1/(-1). Which is greater: w or 1?
1
Let f = 161/415 + -2697289/3735. Let h = 730 + f. Let s = -25/3 + h. Which is greater: s or 1?
1
Let l = 2/13 - 19/39. Suppose -4*t - 10 = -9*t. Is t smaller than l?
False
Suppose -3*z = -4*z + 4. Suppose 0 = -2*d - z + 6. Let v = d + 0. Which is greater: 2 or v?
2
Let i(m) = 6 + m - 9 - 4. Let o be i(5). Let b be 0/6 - 5/o. Which is greater: 2 or b?
b
Let s = 96 + 31. Is 127 at least s?
True
Let t = 8 - -7. Let l be 5/t*18/21. Which is greater: l or 0?
l
Suppose -4*r + 5*s = -19, -2*r + 2*s + 10 - 2 = 0. Which is bigger: r or 2?
2
Let k = -134027/146 + 918. Which is greater: -1 or k?
k
Let q be (-60)/14 + (-2)/(-7). Suppose o - 4 + 5 = 2*b, 2 = -2*b. Which is greater: q or o?
o
Let u(k) = -3*k + 30. Let m be u(12). Let n be m/(4 + (-33)/6). Suppose 3*d = -9, 0*o + 2*d + 2 = -o. Are n and o equal?
True
Let r be 8/(-18)*(-9)/114. Is r > -1?
True
Suppose 25 = -5*g, 5*i - 5*g - 21 = -1. Let f be (1/i)/((-7)/2). Which is smaller: f or -1/3?
-1/3
Let u = -131/42 + 17/6. Let w(d) = d**3 + 16*d**2 - 17*d + 4. Let q be w(-17). Which is bigger: q or u?
q
Let i = -13.5 - -13.4. Which is greater: 4/15 or i?
4/15
Let g be 0*4/(-12)*1. Let x be ((-2)/7)/(4/(-6)). Which is smaller: x or g?
g
Let y be -3 + 15/(-35) + (-206)/(-56). Which is bigger: 1 or y?
1
Let i = -15 + 33. Do i and 19 have different values?
True
Let p = -37967/5670 + 326/81. Let r = 18/7 + p. Which is bigger: r or -1?
r
Suppose 0 = -2*u + 5 + 1. Suppose 2*w - 6 + 4 = 0. Suppose u*f - d - w - 4 = 0, 5*d = -2*f - 8. Is 2/11 <= f?
True
Let c(n) = -n**2 - 12*n - 7. Let g be c(-11). Let u be (1 - 34/36)*g. Which is smaller: u or 1?
u
Let p be 3 - 10/(1 + 4). Let c be 0 + (-1 - (-10)/14). Which is greater: p or c?
p
Let x = 4 - 5. Let h be 14/(-7) + 7/x. Let l = h + 5. Which is smaller: -3 or l?
l
Let n = -4.9 - 0.1. Let a = n - -3. Let p = -2 - -4. Is p <= a?
False
Let t(n) = -n**3 + 5*n**2 - n + 6. Let y be t(5). Let m(j) = -2*j**3 - 4*j**2 - j + 2. Let p be m(-2). Let u = -2 + p. Does u = y?
False
Let w be (-28)/(-6) + (-1)/(-3). Let i be (2/w)/(19/5). Let h = 17 - 16. Which is smaller: i or h?
i
Suppose -b = -4 - 0. Let s be (4/24)/((-1)/b). Which is bigger: s or -0.05?
-0.05
Let j be (6/(-15))/((-2)/(-1)). Let b(r) be the second derivative of -r**4/12 - r**3/3 - r**2/2 - 5*r. Let u be b(-1). Is u less than j?
False
Let u be (2/(-4))/(11/(-4)). Suppose b = 5*z - 7 - 3, -b + 2 = -z. Suppose 4*y + 2*r - 4 = 0, 23 = -y - 2*y + b*r. Which is smaller: u or y?
y
Let u(k) = k + 10. Let i be (-9)/(-6)*(-16)/3. Let d be u(i). Suppose -3 = -d*m - 1. Is m < 1?
False
Suppose -2*u - u - o = -19, 0 = 3*u - 3*o - 15. Suppose 3*h - 3 = -u. Let v = -5/2 + 8/3. Is h at most as big as v?
True
Suppose m + 12 = -0. Let k be 8/(-3)*m/8. Let b be 2 + 0*2/k. Which is greater: 3 or b?
3
Let n(v) = -v - 2. Let b(k) = k**3 - 5*k**2 + 4*k - 3. Let u be b(4). Let f be n(u). Let i be (-2 + 4)/(3/2). Which is greater: f or i?
i
Let o = -117 + 62. Is -1/4 bigger than o?
True
Let a = 8.3 - 8.2. Which is smaller: -0.37 or a?
-0.37
Suppose 2*r - 3*i = 29, -i = -4*i + 3. Which is greater: 17 or r?
17
Let o(p) = 6*p**2 - p - 2. Let y be o(1). Let s be 4/(-14) + (-53)/(-14). Which is smaller: s or y?
y
Let o be 4/85*5/(-2). Let u be 1*-3 + (6 + -1 - 1). Which is bigger: u or o?
u
Let n = 2 + 1. Let z = 20 - 32. Let k be z/(-8)*(-3)/9. Which is smaller: k or n?
k
Let v be (-6000)/(-275) + (-2)/(-11). Is 24 <= v?
False
Suppose 3*r - 3 = -3*w - 0, 3*w = r - 5. Let u = -293/399 + -7/57. Which is smaller: w or u?
w
Let m(f) = f**3 - 8*f**2 + 11*f - 2. Let j be m(9). Let p = 1956/11 - j. Which is greater: 1 or p?
1
Let w = -26 + 31. Which is greater: w or 4?
w
Let f(o) = -3*o + 1. Let s be f(1). Let u be 0 + (3 - -1) + s. Suppose z = u*z + 3. Which is bigger: z or -2?
-2
Suppose -7*f = -11*f - 12. Which is bigger: f or -1?
-1
Let m = 0 - 6. Let c be m/(-2 + 0)*1. Is 3 smaller than c?
False
Suppose -4*h = -5*y + 30, -8 = 5*y + 4*h + 2. Suppose y*x = 3*x. Is 0 > x?
False
Let b be 1/(1/3 - 0). Let j = 7 - b. Let n be ((-2)/j)/(1/(-2)). Is n equal to 0?
False
Let h = 0 + -0.3. Let c = h - -0.3. Is -1 bigger than c?
False
Suppose 0 = 3*d - 1 - 5. Let k be 4/(-14) - 9/(-7). Let n be k*(0 - (-1)/1). Which is smaller: d or n?
n
Suppose 27 = -4*w + 5*a, -4*w + 12 = 4*a + 84. Let f be (-6)/18 + w/(-3). Let u = -4 + f. Which is smaller: 1 or u?
u
Let l = 0.016 + 2.284. Let a = l - 2. Which is smaller: -0.1 or a?
-0.1
Suppose -s - 5*d = 12, -4*s + 3*d + 50 = 6. Suppose s = -y - y. Are y and -5 nonequal?
True
Let r = -173/6 - -82/3. Suppose 0 = -4*q + 8. Suppose 0*t - q*