5 - 8. Which is smaller: b or z?
z
Let n = 1.9 - 5.9. Which is bigger: -2.1 or n?
-2.1
Let g = -30 - -55. Let j = g - 17. Which is greater: 9 or j?
9
Let n be -3 + -1 - -3 - -9. Let l(q) = q**3 - 8*q**2 + q - 4. Let y be l(n). Suppose 3*c = -y*d - 18, -2*d - 2*d = -c + 10. Is c at least as big as -3?
True
Let y = -4 - -8. Let t = y - 4. Let z be 1 + -2 + t/5. Is z > -1/2?
False
Suppose 8*d - 9*d + 1 = 0. Are d and 2/9 equal?
False
Let g = 16 - 6. Suppose o = -4*d - o + g, 2*o + 2 = 2*d. Is 1 greater than d?
False
Let b = -0.17 + 3.17. Is b less than or equal to -0.2?
False
Let a(l) = l**3 + 2*l**2 - 4*l + 3. Let z be a(-3). Are z and 7 nonequal?
True
Suppose 3*t - 2 = 4*f - 0, 4*f - 2*t = 0. Let w be (-2)/(-5) - 6/15. Does f = w?
False
Let a be (-3 - -2)*-2*-1. Which is smaller: a or -7?
-7
Suppose -3 = -3*d - 5*y - 29, -3*d - 3*y - 18 = 0. Is d > 0?
False
Let p = 0.05 + -2.05. Let d = 1 + p. Let c be ((-6)/16)/(6/(-4)). Which is smaller: d or c?
d
Let h be (11/5)/((-2)/(-10)). Let j be 2/(-1 + -1 + h). Which is bigger: j or 0?
j
Suppose -2*p + 3 = p. Let h(k) = -k**3 - 10*k**2 - 9*k + 2. Let r be h(-9). Suppose 0 = -4*l + 4*x + 16, l + x = -r*x - 4. Which is greater: p or l?
l
Suppose 0 = -4*k + 2*v + 96, -5*k + 3*k - 3*v = -48. Let i be (-2)/k*(-9)/(-2). Suppose 0 = 4*w - 0*t - 2*t - 10, w + 4*t = -11. Is w smaller than i?
False
Let y(k) = -4*k**2 - 9*k - 3. Let i(o) = 3*o**2 + 8*o + 3. Let j = 11 + -7. Let x(w) = j*y(w) + 5*i(w). Let p be x(5). Is p bigger than -2?
False
Let d be (0 - -2) + -4 + 7. Suppose 0 = -3*u + 15. Is d bigger than u?
False
Let a(g) = -g**2 - 3*g - 1. Let p be a(-3). Which is bigger: p or -2/21?
-2/21
Let d = -0.1 - 0. Let o = 0.22 - 0.2. Let p = o - 0.42. Which is bigger: p or d?
d
Let i(d) = 2*d**2 + 2*d + 1. Let t be i(-1). Let q(k) = -k**3 - 8*k**2 - 8*k + 7. Let l be q(-7). Let s be (-4)/14*l/(-8). Which is smaller: s or t?
s
Let c = -2.2 - -2.41. Let j = c + 4.79. Is j equal to 1?
False
Let u = 82 - 102. Which is smaller: u or -19?
u
Let z = 3 + -5. Suppose -5*d = 30 - 45. Are z and d nonequal?
True
Suppose -2*l + 11 = 2*b - b, -l - 3*b = -13. Suppose i - z + 8 = -0*i, -l*i + 3*z - 31 = 0. Are -6 and i non-equal?
True
Suppose -4*o - 8 = 2*n, -2*n + 6*n + 7 = o. Let b be 1/((1 - (-45)/(-10)) + 1). Is b != o?
True
Suppose 0 = 4*l + 5*t - 53, 4*l - 2*t = l + 11. Suppose l*r = 8*r - 1. Is 3/5 bigger than r?
False
Let j = 864/6095 - 3/265. Is 1 < j?
False
Suppose r + 2*c + 4 = -r, 2*r + 1 = -c. Let d be (r*-18)/((-4)/(-26)). Let q = d - -821/7. Which is greater: q or 0?
q
Suppose -4*n + 9 = -7. Suppose -n*o = -o + 12. Let a be (-1 - (-3 - -5 - 2))*3. Which is smaller: a or o?
o
Let c be 1/1*-1*3/(-3). Do -2/237 and c have the same value?
False
Let g be (-20)/(-28) + (-2)/(-7). Is -1/11 bigger than g?
False
Let v(o) = o**2 + 3*o - 3. Let x be v(-5). Let l(t) = -t**2 + 8*t - 2. Let p be l(x). Let u be (2/10)/((-2)/p). Which is smaller: u or 0?
u
Let l = -34 - -34. Are 6/11 and l equal?
False
Let h(t) = -2*t + 9. Let g be h(4). Let d be (g/12)/((-8)/16). Which is greater: 0 or d?
0
Let u be (-4)/2 - (-1 + -1). Let a be (-70)/25 - 2/(-2). Are a and u nonequal?
True
Let w = 29 - 29. Is -3/4 smaller than w?
True
Suppose -21 = -3*b - 6. Let g = b - 6. Let c = 19/44 + -2/11. Which is greater: c or g?
c
Let z(c) = -4 + 0*c - c + 0*c. Let k be z(-5). Let q = 6/17 + -7/68. Is q equal to k?
False
Suppose 8*v = 3*v - 5. Let t(y) = y**3 + 3*y**2 + y. Let q be t(v). Is -2/19 at least q?
False
Let p = -485 + 3871/8. Are 0 and p equal?
False
Let p be 1 - (2 - -10)/(-3). Suppose p = 4*v + v. Which is bigger: 6/11 or v?
v
Let v be 3 + (1*-2 - -3). Suppose -2 = c - v. Suppose 77 - 89 = -4*r. Which is smaller: c or r?
c
Suppose 14*y = -3*y + 374. Do y and 22 have the same value?
True
Let y = -185/2 + 95. Which is smaller: y or 3?
y
Let h(b) = -19*b**2 - b. Let g be h(-1). Let o be (-22)/g - 14/63. Which is smaller: o or 1/10?
1/10
Let v = 44 - 107/3. Which is smaller: 8 or v?
8
Let z = 0 - -1. Let s be 1/(-3) + 3*(-6)/(-216). Is s at most as big as z?
True
Suppose 33*h = 36*h + 3. Is -9/7 equal to h?
False
Let q be (18/(-14) - 2/(-7))/1. Suppose -6*s = -3*s - 99. Let z = -232/7 + s. Is z < q?
False
Let s be (-8)/(-3)*45/(-30). Is -4 < s?
False
Suppose -6 = -5*n + 2*d, -n = 3*d - 4 + 13. Let z = -8 - -15. Which is smaller: z or n?
n
Suppose -4*h = -2*q, 0*h + 9 = -h + 5*q. Let j be -3*1/(h + 2). Let z = 0 + 0.2. Which is smaller: z or j?
j
Let m = 12 + -13. Let q = 25 + -227/9. Which is smaller: q or m?
m
Let m = -0.14 + 5.14. Is 0 greater than m?
False
Let a(d) = -d**3 - 5*d**2 - 4*d - 6. Let q be a(-5). Let t be (4/q)/(4/(-6)). Let p = 0.2 - -0.8. Is p >= t?
True
Let g be 19 + 1*(1 + -2)*0. Which is bigger: g or 16?
g
Let y(v) = -v + 7. Suppose 3*m + 30 = 3*n, -n + 2*m + 11 = -0*m. Let f be y(n). Which is greater: f or -3/2?
-3/2
Suppose 2 = 5*n - 4*o, -4*o = -3*n - 5 + 3. Is n equal to 9/4?
False
Let c be (-7)/6 + 2/3. Let k = 45.8 + -43.8. Which is smaller: k or c?
c
Let z be (-2 + 1)*(-152)/(-133). Which is smaller: -1 or z?
z
Let r be (-1)/(-3) - (-177)/9. Suppose -v - 4*v - r = 0, j = -4*v - 17. Which is smaller: 0 or j?
j
Suppose -53 + 8 = -45*v. Let n = -7/89 + -944/445. Is v greater than or equal to n?
True
Let y = -0.6 - -0.65. Let x = y - -3.95. Is -1 greater than x?
False
Suppose 2*t - 14 = 6. Let j be (-2)/t + 3/15. Let w be (1 + (-6)/8)/(-1). Which is greater: j or w?
j
Let b(y) = 7 - 2 - y**3 - 3*y + 8*y + 5*y**2. Let i be b(6). Suppose -h - 16 = -4*j, 0 = -3*h - 6*j + 3*j + 12. Which is greater: i or h?
h
Let f = 13305 - 6748. Let k = -1619581/247 + f. Let o = -504/1235 - k. Which is smaller: o or -1/4?
o
Let r(f) = f + 1. Suppose 0*j - j = 0. Let h be r(j). Let g be 8/(-20) - (-23)/45. Is g less than or equal to h?
True
Let u be 4/(-10) - (-102)/(-20). Suppose 2*k - 14 = -2*i, -4*k + 2*i + 0*i = -16. Let y = u + k. Is y greater than or equal to -1/2?
True
Suppose 3*o + 0*o = 0. Let q be -2 + 3 + o/1. Which is smaller: q or 2?
q
Suppose 4*g - 7 = 17. Let m = -8 + g. Let s be 38/(-30) + 2/(-5). Which is bigger: s or m?
s
Suppose 12*n + 8 = 4*n. Is 6/25 equal to n?
False
Let i(x) = x**2 - 3*x - 7. Let n be i(5). Suppose 5*q + 2*t = 30, q + 3*t = -n*q + 31. Does q = 3?
False
Let z = 8 - 11. Let l = 2 + z. Let j = l - -1.2. Which is smaller: j or 2/3?
j
Let i(v) = -v - 22. Let z be i(-21). Let w be ((4/2)/(-2))/2. Is w < z?
False
Let p(q) = q**2 + 3*q - 4. Let z = -1 - 3. Let b be p(z). Suppose -m + 5*n - 21 = -2*m, -5*m = n - 9. Is m less than or equal to b?
False
Let j be (35/(-14))/((-2)/4). Let c = 32 + -29. Which is greater: c or j?
j
Let v(b) be the first derivative of b**4/4 + 2*b**3 - 5*b**2/2 + 9*b + 1. Let f be v(-7). Which is greater: -4 or f?
-4
Let g = -0.009 - -4.009. Is g greater than -2/5?
True
Suppose 6 = 2*j + 26. Is -12 at most j?
True
Let y be 174/970 + 9/(-37 + -8). Is 0 less than y?
False
Let l be 4/(-4) - 54/(-8). Is 5 less than or equal to l?
True
Let a be (-7)/(-4) + 5/20. Let y = 0 + a. Let l = 3 + -2. Which is greater: y or l?
y
Let s be (-4)/15*3/(-38). Which is bigger: s or 1?
1
Let v = 9 - 12. Does v = -3/2?
False
Let p = -46 + 42. Which is smaller: p or -2?
p
Let a(k) = k**2 + 3*k + 4. Let n be a(-3). Let t be -3 + ((-84)/(-11))/n. Do 1 and t have different values?
True
Let o be (-26)/36 + (-18)/(-36). Which is greater: 0 or o?
0
Let q be 36*(-2 - 9/(-6)). Let a be 256/828 + 4/q. Let t be 3*(2 + 5/(-3)). Is a at most as big as t?
True
Let t be (-128)/(-210) - 4/6. Let r be 2 + 6/(-6) - 2. Which is smaller: r or t?
r
Suppose 4*v = -0 - 4. Let h be ((-23)/10)/(2/3). Let n = h + 27/10. Do n and v have the same value?
False
Let o(t) = 2*t + 22. Let n be o(-6). Which is greater: 13 or n?
13
Let w be 1/(-5)*(2 + -1 - -1). Which is bigger: 6 or w?
6
Let d be 1 + -3 + 6 + -2. Is 3 >= d?
True
Let v be 1 + 1 + (3 - 4). Let u(x) = 5*x. Let p be u(v). Let z = -6 + 12. Are p and z unequal?
True
Let i = -0.1 - 12.9. Let b = i - -12.9. Which is bigger: 2/7 or b?
2/7
Suppose -c + 0*c = -44. Let h = 66 - c. Let z be 10/h*(-2)/5. Is z bigger than 1?
False
Let r(z) = -2*z**2 + 2*z - 1. Suppose -h = 2*h - 6. Let m be r(h). Let i = m - -2. Which is smaller: -2 or i?
i
Suppose q + 1 = -2. Suppose 3*w = -4*v + 20