 be j(-6). Suppose 0 = 2*g - b*g - v - 3, 3*v + 9 = 5*g. Suppose 5*o - 2 = 3*m - 3, -5*o - 5*m = -15. Which is greater: g or o?
o
Let y be 0/(-1) + 2*-1. Let s be (y + 1)*(-3 - 0). Which is greater: 2 or s?
s
Let i = -0.15 + 2.45. Let m = i + -0.3. Is 2/15 greater than or equal to m?
False
Let f be 0*(6/(-9) - -1). Suppose -4*p = -f*p - 16. Suppose -3*b = -3*q - 9, 5*q + b + 7 = p*b. Which is smaller: q or -1/5?
-1/5
Suppose -2*k = -t - 11, -3*k - t - 11 = 3*t. Suppose -6*j - k = -5*j. Which is bigger: -1 or j?
-1
Let u(x) = -x - 6. Let p be u(0). Let b(w) = w**3 + 5*w**2 - 6*w - 2. Let c be b(p). Suppose -13 = 5*s + 2*y, -s - s = y + 6. Is s less than or equal to c?
False
Suppose 0 = -h + u + 26 + 11, 4*u + 113 = 3*h. Let i = h + -97. Let y = -312/5 - i. Which is smaller: y or 1?
y
Let y(h) = -h**3 - 5*h**2 - 4*h - 1. Let s be y(-4). Let w = -3 - s. Is w <= 3?
True
Let h(n) = n**3 + 7*n**2 - 5*n + 27. Let f be h(-8). Which is bigger: f or 1?
f
Let g = -3 - -5. Suppose -4*z + 30 = 2*l, -l - 2*l = 4*z - 39. Let b(m) = -m**3 + 9*m**2 + 1. Let s be b(l). Which is greater: s or g?
g
Let v(u) = -u**2 - 8*u. Let t be v(-4). Which is bigger: t or 18?
18
Let l(x) = -x - 8. Let n(t) = t. Let h(p) = -l(p) - 4*n(p). Let u be h(3). Which is smaller: u or -3?
-3
Let p(k) = -5*k + 1. Let z be p(-2). Let v = z - 15. Let g(l) = -l**3 - 4*l**2 - l - 2. Let h be g(v). Is h < 3?
True
Suppose 0 = -4*p - 2 - 2. Let k = p + 0. Let z = -22 + 109/5. Is k <= z?
True
Let r(u) = 4*u**2 + u + 1. Let n be r(-1). Suppose -2*h + n = 6. Which is smaller: h or 0?
h
Let v be (-62)/(-6) - (-2)/(-6). Suppose 0 = -4*z - z + v. Is 3 at most as big as z?
False
Let m = 77 + -467/6. Is m != 4?
True
Let o = -17 + 18. Let i be -5 - (-2)/o - -1. Is -2 > i?
False
Let z be (-2)/(-2) - (5 - -1). Suppose -g - w - 3*w - 16 = 0, 0 = -3*g - 2*w - 18. Which is smaller: g or z?
z
Let s = 32.6 - 31. Which is bigger: 1 or s?
s
Let q = -7 - 0. Let n = -9 - q. Is n less than or equal to -3?
False
Let v = 13.2 - 8. Let b = -5 + v. Which is smaller: 3 or b?
b
Suppose -7 = 2*z + 1. Let f be (z/6)/((-91)/63). Is f at least 0?
True
Suppose -3*j - 12 = 4*n - 7*j, 4*n = -3*j + 23. Let s = 0 + n. Suppose -6 = -k - 2*m, -k - s*m + 10 = m. Is 0 < k?
False
Let h be -5*(-2)/(-2*1). Suppose -18*q - 98 = -4*q. Is q at least as big as h?
False
Let j be (2/(-4))/(3/(-72)). Let d be 2*(-3)/j*-14. Which is bigger: d or 0?
d
Let c be (2*(-2)/18)/3. Let d(u) = -u**2 - 8*u - 7. Let l be d(-7). Which is smaller: l or c?
c
Let y = -3 - -4. Let x be (-144)/64*32/(-6). Let c be 3/x*(1 + 1). Is c less than y?
True
Let r be ((-4)/(-10))/((-2)/10). Let h be 84/90 + r/6. Which is greater: 1 or h?
1
Let r be ((-2)/86)/((-14)/(-28)). Let u = -1 - 0. Is u at most as big as r?
True
Let w = -0.067 - -0.067. Is 6 greater than or equal to w?
True
Let c = -135 + 135.2. Let d = -7 + 4. Which is smaller: d or c?
d
Let c = 14 - 10. Suppose 1 = c*g - 11. Which is bigger: -0.1 or g?
g
Let k be 16/(-10) + (-4)/10. Let u = -5.3 + 11.3. Is k < u?
True
Suppose 5*n + 30 - 25 = 0. Let i = -45 - -134/3. Which is bigger: i or n?
i
Let r be (-8)/20 - 154/(-10). Let n be (10/r)/(51/(-9)). Is -1 at most as big as n?
True
Let n = -15.5 + 2.5. Let x = n + 12. Which is bigger: -0.2 or x?
-0.2
Let u(j) = 2*j - 3. Let c be u(2). Let o be ((-4)/((-16)/(-6)))/c. Are -2/9 and o unequal?
True
Let l = -13.8 + 6.8. Which is smaller: -0.1 or l?
l
Let l = 5 - 3. Suppose -l*s = -2*o + 10, 2*s - 3*o + 8 + 1 = 0. Let m be 0 + ((-1)/s - 0). Is m less than or equal to 1?
True
Let v = 22/75 - 2/75. Let o be (-4)/6 - 11/(-15). Let m = v + o. Which is smaller: 1 or m?
m
Let x = 52 + -50. Is x < -10?
False
Suppose s = -z + 2*z - 2, 25 = 5*z - 2*s. Which is greater: z or 4?
z
Let t(l) = 2 + 6*l - 3*l - 4*l - 1. Let v be t(4). Which is smaller: -0.1 or v?
v
Let y = 18 - 6. Suppose 0 = p + 2*p + y, 2*p = x - 20. Let w = x - 49/4. Is 1 smaller than w?
False
Let v(g) = -g + 9. Let x = 1 - -15. Suppose -4*u + x = -12. Let s be v(u). Is 2 < s?
False
Suppose 30 = -3*q + m, 2*q = -8*m + 3*m - 3. Which is smaller: -4 or q?
q
Let r = -0.06 - 0.06. Is -2/7 at least r?
False
Let x(u) = -u - 3. Suppose 0 = -4*i + i - 9. Let j be x(i). Is -4/3 at most as big as j?
True
Let z = 5 - 5.3. Let d be 2/4*8/(-3). Let w = d - -2/3. Which is smaller: w or z?
w
Let r(n) = -4*n**3 - 1. Let s be -2*(-2)/4 - 2. Let y be r(s). Is y at least 3?
True
Let l(d) = 6*d + 3. Let k(u) = -5*u - 3. Let j(w) = 5*k(w) + 4*l(w). Let r be j(-6). Suppose 5*t = r - 13. Is t < -2?
False
Let f = 7 + 0. Suppose 3*m + 4 = f*m. Let a be m/(0 + 7/2). Which is greater: a or -1/4?
a
Let v = -125/3 + 43. Is v > 2?
False
Suppose 5*v + 10 - 5 = 0. Is 2/11 bigger than v?
True
Suppose -19*n + n = 18. Let k = 99 + -1291/13. Are k and n nonequal?
True
Let f = 34.51 + -34. Which is greater: 1 or f?
1
Suppose 4*j = 3*j + 3. Which is greater: j or -4?
j
Let z = -30.31 + 30. Let t = -0.3 - -0.31. Let d = t + z. Which is greater: d or 1/5?
1/5
Let d = 67/4 - 17. Let n(a) = -a + 2. Let g be n(0). Let m = -3 + g. Which is bigger: m or d?
d
Let n be -3 - ((3 - 6) + 1). Which is smaller: -2 or n?
-2
Let k = -4.7 - -0.7. Let l = k + 8. Let c = l + -3.8. Which is greater: 0 or c?
c
Let q be 2 - -1 - 9/1. Let m = -5 - q. Do -2/43 and m have the same value?
False
Let g(b) = b**3 + 18*b**2 - 27*b - 57. Let x be g(-19). Is 95 at least x?
True
Let j be (-12)/16 + (-57)/(-84). Which is greater: j or -1?
j
Let i = -0.097 + -0.893. Which is smaller: -2/3 or i?
i
Suppose -4*c + 2*q + 12 = 2, -q - 5 = -3*c. Let m be (-3)/3 + c + -3. Is m at least 0?
False
Let h = -12 - -8. Which is bigger: -10/3 or h?
-10/3
Let m(g) = g**3 - 3*g**2 - 6*g + 1. Let o(v) = -v**3 - 8*v**2 - 8*v - 3. Let z be o(-7). Let d be m(z). Which is smaller: -6 or d?
d
Let b be 2 + 1 + -3 + -1. Does 0 = b?
False
Let g = 86 - 86. Which is smaller: g or 4/3?
g
Let a(u) = u**3 - 3*u - 2. Let n be a(-2). Which is smaller: 3 or n?
n
Let i = 26 - 10. Which is bigger: i or 15?
i
Let i be 2 - (3/4 - 11/(-44)). Let y be ((-1)/(-2))/((-3)/(-24)). Let n be (-18)/21*(-2)/y. Which is smaller: n or i?
n
Let r = -21.1 + 21. Let q = 1/126 + -37/126. Which is smaller: r or q?
q
Let u(c) = c + 2. Let y be u(-5). Let s = 4 + y. Are -1/8 and s equal?
False
Let s = 0.2 + -0.5. Let b = s + -0.1. Let u = b - -0.4. Which is bigger: u or -2/21?
u
Let v(m) = 4*m**2 + m. Let i be v(-1). Let b(y) = -y**2 - 3*y + 3. Let g(o) = -1. Let x(c) = i*g(c) - b(c). Let q be x(-5). Is q at most as big as 5?
True
Let a be -1*(-3 - -9)/(-2). Suppose 0 = a*x - 5*v + 17, 2*x + 14 = 3*v + v. Which is greater: x or 5/13?
x
Suppose -6*k = -9*k. Is 4/19 != k?
True
Let q = -28 - -27. Which is greater: -0.1 or q?
-0.1
Let v be 4 + -1 + (-6)/(-2). Let w be (-99)/(-88)*4/v. Suppose -k - 4 = -3*k. Is w > k?
False
Let v = 2 - 5. Which is bigger: v or -1?
-1
Suppose -12 = -4*r - 0*r. Suppose -2*x + 5 = r*x. Suppose 3*c = 2*c + x. Which is smaller: c or 2?
c
Let n be 2 - 0 - (-6)/1. Let j be (-1)/(-4) + (-2)/n. Suppose 0 = -2*f - 3*g + 16, -8 = 4*f - 5*g + g. Which is greater: j or f?
f
Let v(z) = z**2 + 12*z + 18. Let b be v(-7). Which is smaller: -18 or b?
-18
Suppose 12 = -2*g - 0*g. Let q be ((-3)/(-2))/(g/(-20)). Suppose 5*c + 15 - q = 0. Which is greater: -3 or c?
c
Suppose -15 = -2*o + 3*o. Let a = o - -9. Let h be (a/15)/(0 - -1). Which is bigger: -2 or h?
h
Let c = -21.8 - -22. Let f = 7 - 10. Which is bigger: c or f?
c
Suppose 8*o - 21 = 9*o. Which is smaller: o or -20?
o
Let z be 3/(-9) + (-22)/(-3). Suppose -t = -2*t + z. Is 8 greater than t?
True
Let y = -23 - -27. Suppose -7 = -y*v - 19, o + 15 = -5*v. Let q = -150 + 454/3. Which is bigger: q or o?
q
Let f(s) = -2*s**2 - 8*s - 3. Let i be f(-5). Which is bigger: -14 or i?
i
Let n = 2.5 + -14.5. Let w = -13 - n. Let r = 1 - 1.1. Is r smaller than w?
False
Let z = 13 + -8. Let b(k) = 2*k - 7. Let g be b(z). Suppose 0 = -3*t + 9, -g*t + 7 = 3*p - 11. Which is greater: 2 or p?
p
Let r be 0*((-14)/(-6) + -2). Let i be 5 + -3 - (-32)/(-18). Is i equal to r?
False
Let j = 0 + -2/19. Which is bigger: 1 or j?
1
Suppose 7*y - 2*y - 10 = 0. Suppose 5*s + 10 = r, 1 + 5 = y*r - 3*s. Let u = 55/6 - 17/2. Which is greater: u or r?
u
Let m = -13 + 35. Let n be m*(-4)/16*2. Which is sm