= 13 - 9. Let n(q) = -q**3 + 3*q**2 + 4*q + 4. Let w be n(y). Suppose 3*b = 5*o + 12, b - 2*b + 3*o + w = 0. Which is smaller: b or 2?
2
Let r = 0 - 0.3. Which is bigger: r or 13?
13
Let s be (-13 + 1)*(-5)/(-10). Let z(m) = 5*m**2 - m - 2. Let a be z(2). Let w be 4/s - a/12. Does w = -1?
False
Let a = -4 - -4. Let m be -2*((-21)/6 - -2). Let n(f) = f**3 - 2*f**2 - 3*f - 1. Let y be n(m). Is a less than y?
False
Suppose -4*r + 20 = r. Let o(b) = b**3 - 4*b**2 - 1. Let x be o(r). Is x >= -2/9?
False
Suppose 3*k = 2 + 10. Are k and 3 nonequal?
True
Let s be (-456)/210 - 6/(-3). Is 1 > s?
True
Let l be (-2)/1 + 1 + 0. Is 1.6 >= l?
True
Suppose -3*t = 4*o + 78 - 3, 3*o = -5*t - 70. Let k = o - -17. Is 2 at least k?
True
Let a = 1371/1750 + 36/125. Which is bigger: a or 2?
2
Suppose d = -0*d. Is d greater than or equal to -2/19?
True
Let f = -11 + 17. Suppose -o + y - 67 = 4*o, f = -2*y. Let l be ((-4)/o)/(7 - 3). Which is greater: l or 1?
1
Let d(f) = f**2 - 5*f + 2. Let j(v) = -v**2 - 6*v. Let o be j(-5). Let l be d(o). Let a be -1 + ((-44)/(-14) - l). Which is greater: a or 0?
a
Let l(j) = -1 - 3*j + 0 + j. Let w be l(2). Let k = w - -9. Is 4 bigger than k?
False
Let q = 16 + -15.9. Is q less than -2?
False
Let u = 0.1 + -0.1. Suppose -1 = 3*b - 25. Let y be (-1)/5*(-10)/b. Which is smaller: u or y?
u
Suppose -6 = 3*k - 4*r, 4*k - r + 4 = 2*k. Let j be (-1)/(0 + k + -1). Is j >= 0?
True
Let w be 172/792*(-5)/2. Let k = w - 1/396. Is k greater than -2?
True
Suppose -5 = r - 4. Let a(v) = v**3 + v**2 + v. Let u be a(0). Let m = -1 - u. Is r smaller than m?
False
Let f = 20967/4 + -5213. Let g = f + -29. Is g less than 0?
True
Let d = 0.3 + -0.5. Let i = 0.025 + 0.275. Let v = d + i. Is v less than 1/2?
True
Let g = 1 + -2. Suppose -3*l + 1 + 2 = 0. Let k be 1*(l + 4/(-6)). Which is smaller: k or g?
g
Suppose 4*k + 18 = 2. Let w(a) = a**2 + 9*a - 13. Let d be w(-10). Let r = k - d. Is r >= -2/9?
False
Suppose -7 = -2*o - 3. Suppose -l + o = 5. Which is bigger: l or -0.2?
-0.2
Let h = 5 + -4. Which is smaller: h or 3/20?
3/20
Let q = -0.03 + -1.97. Let d = 4 + q. Is 3 equal to d?
False
Let j be (4/6)/(16/(-8)). Let f(v) = v**3 + 3*v**2 - v - 2. Let b be f(-2). Suppose -3*x - b*k = -x + 22, 3*k + 13 = 2*x. Which is smaller: j or x?
x
Let g be 0*(-4 + 1 - -2). Let d = -4 - g. Is d at most -4?
True
Let o be -1 + 2 + 3 + -3. Suppose f - 1 = o. Suppose -n - 9 = h, f*n + 18 = 8. Is -4 <= h?
True
Suppose 5*b = 11 + 9. Let w(p) = -p**3 + 3*p**2 + 3*p + 5. Let s be w(b). Suppose -m + 0 = s. Which is bigger: m or -2?
m
Let p(c) = c**3 + 6*c**2 + 6*c + 5. Suppose 0 = 5*d + 1 + 24. Let i be p(d). Suppose -r - r - 6 = i. Is r >= -3?
True
Let m = -3 - -6. Let l be (75/(-20))/(m/8). Let v be (18/l + 2)*2. Is v at most as big as 2?
True
Let i be (-85)/(-2)*30/(-300). Are -3 and i nonequal?
True
Let i = -0.2 - -0.3. Let n = i - 0.1. Let l = n + 0.1. Does 0.1 = l?
True
Let z = -17 + 10. Let t = -6.9 - z. Does 0.03 = t?
False
Let t = 12 - 8. Suppose -t*v + 12 = 8. Let a be (-4)/(-6) - 4/6. Is v at least a?
True
Suppose 0*h + 2*h - 8 = -2*u, 5*h + 3*u - 20 = 0. Let s(x) = 3*x**2 - 4*x - 3. Let r be s(-2). Suppose -15 = -5*z, -t - 8*z + r = -3*z. Is t smaller than h?
True
Let c = 5308/5 - 1057. Is c less than or equal to 4?
False
Let s = 1 - -8. Let v = s + -13. Let r be (-2)/24*(-6)/v. Which is greater: r or 1?
1
Let q be ((-2)/(-402))/((-7)/(-45 + 3)). Are 1 and q equal?
False
Suppose o = -2*s - s - 16, -18 = -s - 5*o. Is -25/3 greater than or equal to s?
False
Let v = 2 - 4. Let j = -1 + 2. Let k = v + j. Is -1 smaller than k?
False
Let m(u) = u - 3. Let v be m(3). Let h = 36/11 + -97/33. Is v < h?
True
Suppose 0 = -3*a + s - 22, 5*s = 5*a - 7*a + 8. Let p be 4/a + 2/3. Let m = -0.1 + 0. Which is greater: m or p?
p
Let u be -1 + 14/(-9) + 2. Let q = u - -8/9. Are 1 and q equal?
False
Suppose 0 = -3*d + 6*d - 24. Do d and 9 have the same value?
False
Let x be 4 + (-3)/(3/2). Let i be (10/(-4))/(1/x). Let n be -4*(15/12)/i. Is n equal to 1?
True
Let p(k) = k**3 - k**2 - 1. Let o be p(0). Which is smaller: o or -1/2?
o
Let o(u) = -u**3 - 6*u**2 - 5*u - 2. Let b be o(-5). Let m be 3*(1 - b/(-3)). Let n be (m - (-3)/(-2))*-16. Which is greater: 9 or n?
9
Let d = 14 - 14. Is d <= 4/9?
True
Suppose -3*w = -3*m - m - 19, 4*m + 11 = -5*w. Let j be 2 + 1 - 1/w. Let a be 2/15 + j/(-6). Is a < 0?
True
Let g be 9/(-6)*(-4)/6. Let j be ((-2)/(-4))/(g/4). Let i be (1/(-2))/((-3)/6). Is i less than or equal to j?
True
Suppose 3*r + 2 + 4 = 0. Which is smaller: r or -18/11?
r
Suppose 5*z - 4*m - 3 = 0, 0*z + 6 = 4*z - 5*m. Let g = -7 - -9. Suppose g*v = -3*v - 5. Is v bigger than z?
False
Let v = -1/4 - -19/44. Which is bigger: v or 1?
1
Let m be ((-49)/14)/(1/(-2)). Which is greater: 5 or m?
m
Let d(k) = 3*k**2 - 26*k - 35. Let p(z) = -z**2 + 9*z + 12. Let v(s) = 4*d(s) + 11*p(s). Let h be v(6). Which is greater: h or -5/6?
-5/6
Suppose -g + 3*u - 1 = 6*u, 4 = g - 2*u. Suppose 3 - 9 = 2*z, 0 = t + 2*z + g. Are 0 and t equal?
False
Let c = 83/3 - 28. Let u = -11.5 - -13. Let m = u + -1.3. Which is smaller: m or c?
c
Suppose 0 = -3*r + 11*r - 344. Is r less than or equal to 43?
True
Let x(d) = -d**2 - 7*d. Let p be x(-5). Suppose -10 = -5*b - 2*z, -z = -b - 3*z + p. Let q be (13/(-65))/(4/10). Which is smaller: q or b?
q
Let j be 1 - (1 + (-1)/(-11)). Let b = 25/33 + j. Let v be 2/(-5) - 56/35. Which is smaller: v or b?
v
Let o be 0 + 2 + 16/(-7). Suppose -2*k + k = -21. Let a = -64/3 + k. Is a greater than or equal to o?
False
Let o be (-3 + 7 - 7)*1. Which is bigger: o or -2?
-2
Let n be -4 + (3 + 167)/(-5). Is n greater than -39?
True
Let l(z) = z**2 + 1. Let i be l(0). Let d = 2 - 1. Let c be d/(3/((-3)/i)). Is 2/9 > c?
True
Let n(d) = -d**2 - 11*d - 17. Let j be n(-7). Is 11 less than j?
False
Let u(v) = v**3 + v**2 + v + 2. Let s(w) = -w**3 - 3*w**2 - 3*w. Let r be s(-2). Suppose a - r*a = 0. Let i be u(a). Which is greater: i or 3?
3
Let o be ((-3)/27)/(1/6). Which is smaller: -2 or o?
-2
Let j be (-2 - -4) + (-31)/14. Let a = -41/126 - j. Which is smaller: a or 0?
a
Suppose -2*x = -x + 2*y - 12, 3*x + 2*y - 28 = 0. Which is greater: x or 4?
x
Let a be (-12)/(-40)*(-15)/18. Which is greater: -2 or a?
a
Let i be -5 - 3/3*-1. Let m(b) = -2*b + 12. Let l(z) = 3*z**2 - 3*z + 2. Let v be l(2). Let q be m(v). Is q bigger than i?
False
Let c be (-28)/6 - (-12)/18. Let k be ((-8)/(-6))/(1/(-3)). Are c and k non-equal?
False
Suppose -3*c = c - 8. Let v be (-14)/8*(2 + c). Do -6 and v have different values?
True
Suppose 3*n - 2*n - 3 = 0. Suppose -r = n*o - 3 - 3, 0 = -2*r - 2*o - 4. Let l be 6/((-1)/(3/r)). Is l greater than 3?
False
Let k be 1/3 - 9522/28890. Is 0 equal to k?
False
Suppose -4 = -3*l - 1. Let n(t) = 4 + 2 - t + 7*t**2 - t**3 + 2. Let i be n(7). Is i at least l?
True
Suppose 0 = l + y - 4*y + 19, 4*l + 4*y = -12. Is 5 < l?
False
Suppose 4 + 14 = 3*z. Which is smaller: z or 2?
2
Let o = 9 - 2. Let j be 4/14 - (-5)/o. Is 1/8 >= j?
False
Let u = -41 - -202/5. Is u < -1?
False
Suppose 3*p - 48 = -4*f, p - 12 = 4*f + 20. Suppose 5*j = 2*x - 8, p = 5*j + 4*x + x. Suppose 2*k - 3*v + 16 = 0, -1 = -2*k - 2*v + 3. Which is smaller: j or k?
k
Let g = 0.6 + -1.6. Is g >= -19?
True
Let y = 18849 - 170045/9. Let v = y - -45. Let o = -6 - -6. Which is greater: o or v?
v
Let l = 0.3 + -1.1. Let u = 1.4 + l. Let o = -0.4 + u. Which is smaller: 2 or o?
o
Let s(t) = -11*t - 10. Let y(q) = -5*q - 5. Let o(u) = 4*s(u) - 9*y(u). Let v be o(0). Let f be 3/5 + 2/v. Is f at least -1/4?
True
Let z = 0.89 - -9.51. Let b = -10 + z. Let v = -1.97 - 0.03. Is b at least as big as v?
True
Suppose 1 - 6 = v. Is v != -5?
False
Let q = 1/462 + -37/154. Is q not equal to -1?
True
Let i(j) = -2*j**2 + j. Let w be i(1). Which is greater: 0 or w?
0
Let l = -135244/69 + 1960. Let u = 613/138 - l. Which is bigger: 5 or u?
5
Let k = -5 - -5. Is k < -0.1?
False
Let v(x) = -4*x - 3. Let y(r) = -r - 1. Let t(l) = v(l) - 5*y(l). Let q be t(-4). Let b be (-3)/q*8/(-3). Which is greater: b or -2?
-2
Let o = -8 - -4. Let s = 5 + o. Is 1/3 at least as big as s?
False
Let a = -25 + 11. Let f = a - -15. Which is bigger: f or 2?
2
Let p = -3 - -2.99. Let x = -401 + 398.99. Let c = x - p. Which is bigger: c or 1/4?
1/