z + j. Which is smaller: 1 or o?
1
Suppose 0 = -6*m + 5*m - 10. Let h(k) = k + 2. Let w be h(m). Is -9 greater than or equal to w?
False
Let f = -3 - -5. Let s be (3/3 + -1)/f. Suppose s = -3*u + u. Which is smaller: u or -2?
-2
Let f(j) = -j**3 - 4*j**2 + 4*j + 5. Let k be f(-4). Is k not equal to -10?
True
Suppose 0 = 4*u + u + 2*l - 12, -3*u = 3*l - 9. Suppose u*m + 0*m = -8. Let f be -1 - (1/1)/m. Which is smaller: -1 or f?
-1
Suppose -5*b = 3*h + 7, -1 + 0 = 5*h + 3*b. Let z = -908/7 + 130. Is z greater than or equal to h?
False
Let d be 0 + (3 - 3) - -2. Let g(m) = m**3 - 8*m**2 + 8*m - 4. Let i be g(7). Which is smaller: d or i?
d
Let y = 21 - 30. Let r be (y + 10)*1/2. Which is greater: r or -1/2?
r
Let k = -3.2 + 3.4. Are -3 and k unequal?
True
Suppose -26 = 4*b - 3*s, -2*b - 20 = -3*s - 2*s. Let y = 3 + b. Let r(w) = -w**3 - 4*w**2 - w - 5. Let a be r(-4). Is a at most as big as y?
False
Let w(s) = s + 4. Let i = 5 - 8. Let q be w(i). Which is smaller: 5/4 or q?
q
Suppose -54 = -3*w - 24. Which is smaller: w or 11?
w
Let d = -1 + -1. Let l be ((-4)/2)/(-12 - d). Is l >= -1?
True
Let t(r) = r - 3. Suppose -3*l = -2*l - 4. Let v be t(l). Suppose 5*q = -2*h + 17, -2*q + 5*q + 2*h = 11. Is q at least v?
True
Let f = -1/230 - -467/1610. Are -2/5 and f non-equal?
True
Let s be (-1632)/(-36)*(-9)/(-1940). Let t = s - 1/97. Which is smaller: 0 or t?
0
Let b(i) = -i**2 - 3*i - 2. Let t be b(-3). Let o = t + 4. Which is bigger: o or 4?
4
Let j be (-747)/141 + 2 + 3. Let w = -921/94 - j. Let r = w - -9. Is r <= 1?
True
Let g = -6 - -8. Suppose v - g + 1 = 0. Let i be (-1)/(2/(-4)*2). Is v greater than or equal to i?
True
Let c be 24/60 + (-24)/10. Are -4 and c equal?
False
Let a = 67/3 - 23. Is -10 <= a?
True
Let v be (-33)/2*(-12 - -10). Suppose 9 = 3*d + v. Which is greater: d or -7?
-7
Let o be 2379/63*(-2 - 1). Let v = o - -3611/21. Let x = -58 + v. Are x and -0.2 equal?
False
Let d = 11.2 - 11. Is -3/2 less than or equal to d?
True
Let d = 485 + -485. Let z = -0.3 - 2.7. Which is smaller: z or d?
z
Let x = 17 - 24. Let g = x + 11. Let q be (-2 - -2)/(-1 + 0). Is g greater than or equal to q?
True
Let w = -3.004 + 17.994. Let x = 15 - w. Which is bigger: 1 or x?
1
Suppose 0*k + 5 = -5*k. Suppose 3 = 4*q + 4*j - 5, 0 = -5*q + j - 2. Let u be q + (0 - (-6)/(-27)). Which is greater: u or k?
u
Let o be (-1 - (-7)/1)/(-2). Suppose 0*l = -l. Let d(n) = n**2 + n + 1. Let y be d(l). Which is greater: o or y?
y
Let j = -0.016 - 0.094. Is -0.1 less than j?
False
Let r = 0.7 + -0.8. Let i = 3 - 2.7. Let a = 1.3 - i. Is r != a?
True
Suppose -34*n + 6 = -40*n. Let f = -3 + 0. Which is bigger: f or n?
n
Let u = -0.02 - -0.02. Suppose 2*x = 3 + 3. Suppose 0*s + 3*i = -2*s + 1, 4*i = x*s - 10. Is u at least s?
False
Let x = -11 - -13. Suppose 0 = -x*q - 4*l - 28, -5*q = -0*l + 3*l + 56. Is q at least as big as -9?
False
Suppose w + 1 - 4 = o, -w + 18 = 4*o. Let u be 2 + 4/(-9)*w. Is -0.6 <= u?
False
Let d = 7 - 12. Let q = d + 9. Which is smaller: 1 or q?
1
Let l = -3 - -3.1. Let s = 36/5 + -103/15. Which is bigger: l or s?
s
Let v = 15 + -10. Which is smaller: v or 3?
3
Suppose -2*d = -14 + 2. Let q(l) = l**3 + 9*l**2 - 13*l - 5. Let v be q(-10). Suppose v = 5*u, -u = a - d*a - 5. Which is bigger: 2/9 or a?
2/9
Let h = -38 - -31. Is h greater than -11/2?
False
Let f = -65 - -324/5. Let q = 0.02 - -0.08. Which is bigger: q or f?
q
Let i(o) = -o**3 + 7*o**2 + 7*o + 3. Let r be i(8). Let b be (64/220)/4*r. Is -1 equal to b?
False
Suppose -n = 4*i + 3*n - 20, i - 4*n + 15 = 0. Let a = i - 0. Is 1 equal to a?
True
Let h = 13/34 - -2/17. Is h >= 14?
False
Let i be (-418)/14 + 6/(-42). Which is bigger: i or -32?
i
Let g = -0.08 + -4.92. Let n be 20/3*(-48)/(-20). Let l(k) = k**2 - 16*k - 1. Let i be l(n). Are i and g nonequal?
True
Suppose -9 = -h + 4. Is h bigger than 13?
False
Suppose 0 = -3*w + 18 + 12. Let a be (-2)/3 - w/(-6). Suppose -4*p - 1 = -5. Is a bigger than p?
False
Let u(t) = 2*t**2 - 2*t. Let f be u(2). Suppose 5*d - 4 = 2*j, f*j = -3*d + 23 - 5. Is 3 bigger than d?
True
Let t = -0.068 - -1.068. Are t and 0.045 unequal?
True
Let w(g) = -g + 6. Let v be w(6). Suppose 10*k - 5*k = v. Which is bigger: k or 2?
2
Let c(i) = -2*i**3 + 2*i**2 - 3*i + 1. Let w be c(1). Is w at least as big as -1?
False
Let u = 43 - 29. Let g be u/8 + 4/16. Which is bigger: 4 or g?
4
Let v = 1 + 16. Let x be 3/v*(-2)/(-3). Suppose 7 = 313*w - 320*w. Which is smaller: x or w?
w
Let q(n) = n**3 + n**2 - 2*n - 1. Let z be (5/(-3))/((-1)/3). Suppose -6 = 4*i - 2*v, 7*i - z*v = 4*i - 1. Let r be q(i). Which is greater: 2/5 or r?
2/5
Let r = -3 - -7. Suppose -r*l - 2*n + 6*n = 20, -3*n + 15 = -4*l. Let c be (l/(-1) - -1)/(-1). Which is greater: 2/5 or c?
2/5
Let v(c) = -c**3 + 11*c**2 + 2*c - 3. Let t be v(11). Is 20 less than or equal to t?
False
Let a(g) = g**2 + 8*g + 3. Suppose -20 = 5*p - 4*y, -25 = 3*y - 10. Let d be a(p). Suppose -5*r - d = 2, -2*h + 2*r = -4. Which is greater: -1 or h?
h
Let s = -16 + 10. Let h(a) = a**3 + 5*a**2 - 6*a + 1. Let l be h(s). Is l >= 0?
True
Let q be 9/(-48)*2*(-10)/12. Which is smaller: 0 or q?
0
Let l be 2*(-2)/(12*1). Let v(a) = -a**3 + 6*a**2 - a + 4. Let r be v(3). Let j be 8/7 - 4/r. Which is smaller: j or l?
l
Suppose -u + 0 = -10. Suppose -7*v + 2*v = -u. Suppose -3*p - v*d - 8 = 0, 5*p + 3*d = d - 8. Which is bigger: p or -1/6?
p
Let j = -26 - -27. Which is smaller: -0.09 or j?
-0.09
Suppose 0*p = -5*p + 5. Let x be (1 - 13)/(-16 + 15). Let k be x/(-8)*1/6. Is k equal to p?
False
Suppose -4*j = -0*n - 4*n + 4, -3*n - 25 = 4*j. Let p be j/2 + 0/(-3). Which is smaller: p or 1?
p
Let z = 14 + -13.6. Let a = z + -0.5. Is a at most as big as 4?
True
Suppose 2*s = -3*s + 130. Suppose -3*y + s = -y. Is y bigger than 14?
False
Let z be (-1)/3 + 10/(-6). Let d be (-11)/(-2) + 1/z. Let f be 1 - (d/(-3))/(-1). Which is smaller: f or -1?
-1
Let u be 3/(-3) - (5 - 1). Which is smaller: -7 or u?
-7
Suppose 3 = -4*m - 4*j - 61, -5*m = -2*j + 94. Which is bigger: m or -17?
-17
Let c = 96469/644 - -321/92. Let k = c - 153. Is -1 < k?
True
Let m = -81.33 + 81. Let y = 0.03 + m. Is y <= -1/2?
False
Let u = -0.4 + 0.5. Let g = 0.5 + -0.8. Which is bigger: g or u?
u
Let a be 40/56 - (-4)/14. Which is bigger: a or -1/12?
a
Let l be 11 + (-3)/((-2)/2). Let m = l + -22. Is m greater than or equal to -8?
True
Let j(k) be the second derivative of k**4/6 + k**3/6 - k**2/2 - 3*k. Let m be j(1). Is -3 != m?
True
Let b = 1/260 - -207/260. Let r be (-42)/(-8) - (-4)/(-16). Suppose v = r*j - 1 + 3, -4*j = v - 2. Which is smaller: v or b?
b
Let l = -94.963 + -0.037. Is l != -2/5?
True
Suppose 0 = -3*g + 1 + 11. Let k(q) = -6*q + 9. Let v(s) = -5*s + 8. Let f(a) = -4*k(a) + 5*v(a). Let u be f(g). Which is smaller: 1/3 or u?
u
Let c(k) = k. Let t = 5 - -1. Suppose 4 = t*p - 4*p. Let f be c(p). Which is smaller: 3 or f?
f
Let p = -0.112 + 7.512. Is p bigger than 1?
True
Let z = -0.15 - -2.05. Let b = -0.9 + z. Is b greater than 1?
False
Let w(i) = -2*i**3 - 3*i**2 + i + 2. Let f be w(-2). Suppose 0*v - 2*v = -4*j + 22, 2*v - 23 = -5*j. Suppose 3*m - 14 = -5*a, 4 = 4*m - j*a - 3. Is f >= m?
True
Let z be (-2)/((-48)/(-21) - 2). Let i = z - -7. Which is smaller: i or -2/3?
-2/3
Suppose 0 = -34*b + 31*b + 54. Suppose -3*n + b = -30. Is n less than or equal to 2/7?
False
Suppose -4*c + 2*z - 4 = 0, 3*c = -c + 3*z - 4. Let n(u) = -u**3 + 31*u**2 - 85*u + 27. Let r be n(28). Are r and c nonequal?
False
Suppose j + 5 + 13 = -3*o, 8 = 2*j - 5*o. Let t = j + 8. Suppose g - t*g = 1. Are -2 and g equal?
False
Let v be (-1 - -3) + 400/(-220). Which is bigger: 4 or v?
4
Let b = 11 - 7. Let w = 4.2 - b. Let f = -0.3 + w. Which is smaller: 0.2 or f?
f
Let w(k) = -k**2 - k + 4. Let a be w(0). Suppose 4*z - f + 31 = 0, 0*z + a*f = -z - 12. Let o be z/(-10)*1/2. Which is bigger: 0 or o?
o
Let i be (8/16)/((-1)/4). Which is smaller: i or -6/11?
i
Suppose 0*z + 2*n = 2*z - 18, 3*n = 2*z - 19. Let j = -6 + z. Let x(f) = f**2 + f + 1. Let w be x(-2). Which is smaller: j or w?
j
Suppose 14*i - 216 = 64. Which is bigger: 21 or i?
21
Suppose 20 = -4*s + 6*h - 2*h, 0 = 5*h - 20. Is s < -2/35?
True
Let t = -77 + 63. Is t <= -11?
True
Let s be -2*(1 + 0)*1. Is 2/5 >= s?
True
Let f(q) = -q*