 q?
False
Let s(q) = -8*q**3 - 2*q**2 + 2*q - 1. Let f be s(1). Let a(u) = -u**3 + 7*u**2 - 6*u - 8. Let m be a(6). Which is bigger: f or m?
m
Let n(u) = -u**3 - 6*u**2 + 2*u + 9. Let c be n(-6). Is -3 smaller than c?
False
Let x = 2/891 + 2968/891. Which is bigger: x or 3?
x
Let o = 6 + -1. Suppose 2*z - 3*v = 19, -3*z + o*v = -15 - 16. Suppose -2*n - 17 = 5*l, 0 = z*l - 3*n - 0*n + 22. Which is smaller: l or -4?
l
Let w = 6.1 - 6. Which is smaller: 0 or w?
0
Let t = -1010/7 + 144. Is -2/31 less than or equal to t?
False
Suppose -4*u + 1 = -3*u, 5*g - 3 = 2*u. Is 3 smaller than g?
False
Suppose 0 = -0*j + 12*j. Do j and -2/51 have the same value?
False
Suppose m - 3*p + 47068 = -8*p, 4*p + 235403 = -5*m. Let n = 893287/19 + m. Let t = 68 + n. Which is bigger: -1 or t?
t
Let r = 1.8 + -1.1. Let t = 1.6 - r. Let a = -0.1 - t. Which is bigger: a or 0?
0
Suppose 3*a - 33 = j, -4*a + 0*j + j = -45. Let g be (-3)/12 - (-63)/a. Suppose b + 7 = -2*n, g*n + 4 = -2*b - 12. Is -3/7 less than n?
False
Let w be 2*(-1 + (-64)/(-68)). Is -1 equal to w?
False
Let c(q) = -q**3 - 6*q**2 - 5*q - 12. Let a be c(-5). Which is smaller: a or -9?
a
Suppose 4*w - 24 = -4. Let q = w - 3. Let n = 0 + q. Are n and 1 unequal?
True
Let r be (36/(-183))/4*(-4)/18. Are -1 and r nonequal?
True
Let w be (-3 - 7/(-2))*8. Suppose 20 = 5*s - 2*c - 0*c, -w*s = 4*c + 12. Suppose 5*g - 6*g = -1. Which is greater: s or g?
s
Let o(i) = 39*i. Let r be o(2). Suppose 6*n + 8 = 4*n. Let c be 51/r + n/26. Does 0 = c?
False
Suppose 3*t = 1 + 2. Suppose 0 = -5*f - m + 2*m - 39, -2*f + 4*m - 12 = 0. Let z be 1 - 3/((-21)/f). Is z at most as big as t?
True
Let x = -0.1 - 0.5. Let z = -2.6 - x. Let c be (-1)/3*96/16. Is c at most as big as z?
True
Suppose -k + 13 = -5*y - 3, k = -5*y - 34. Do k and 0 have different values?
True
Suppose 96 = 5*d - g, 4*g = 2*d + 27 - 69. Is d bigger than 18?
True
Let k = -0.1 - -0.3. Let i = 0 - k. Let q = -0.11 - 0.09. Is i less than q?
False
Let d = -8.13 - -9. Let h = d + 0.13. Let t = 0.2 + 0. Which is smaller: t or h?
t
Let i = 20 - 22. Is i less than -4/3?
True
Suppose -14 = -2*u - 2*r - 2*r, -3*u + r - 14 = 0. Let h(p) = -p**2 - 2*p + 4. Let o be h(u). Let d = o - -1. Which is smaller: 3 or d?
d
Let b = 16.622 + -16.6. Which is bigger: -2 or b?
b
Let l = -4 + -3. Let o be 0 - 84 - 2 - -2. Let s be (-32)/o - 2/l. Is -0.4 at least as big as s?
False
Suppose 110 = -4*t - 2*y, -40 = 3*t - 5*y + 36. Which is smaller: -26 or t?
t
Suppose -61 + 191 = 2*k. Which is smaller: 66 or k?
k
Let d be (-11)/(-33) + 11/3. Let w = -13/3 + d. Which is bigger: 7 or w?
7
Let d be (1 - -2) + (16 - 3). Suppose l = w + 2, -5*w + 5*l - d = 2*l. Are 2/5 and w unequal?
True
Let q = 20.207 + -0.307. Let w = 20 - q. Which is bigger: 7 or w?
7
Let s = 0.3701 + 17.9999. Let j = s + -0.37. Which is smaller: j or 1?
1
Let s = -58 + 83. Suppose 0 = 3*w + 2*w - 2*a - s, -5 = a. Suppose -4*g + 27 = -9*g + 4*p, -3*g - w*p = 0. Which is smaller: -4 or g?
-4
Suppose 0 = d + d - 2. Let c be 3/(-4)*2/15. Does d = c?
False
Suppose 4*f - 13 = -5*v, 0 = 4*v - 8*v - 4*f + 12. Is -9 less than v?
True
Let s(t) = t**2 - 3*t. Let w be s(3). Suppose w*u = -3*u - 3. Is 0.4 equal to u?
False
Let l be (-21)/7 + 0 + 0. Let v be 0/((-4)/2 - l). Is v not equal to 0?
False
Suppose -11 = -2*q - 5*i, -2*q - 2*i + 11 = q. Let u be -3 + 0 + (-52)/(-20). Which is smaller: q or u?
u
Let r = 4 - -1. Suppose -5 = -u - 2, -r*d + 37 = -u. Let f = d + -7. Which is smaller: 0.3 or f?
0.3
Let v be ((-16)/20)/(2/5). Suppose 2*p - 8 = -2*p. Suppose -p = b + b. Is b < v?
False
Let m be (-6)/(2/2) + 3. Do -4 and m have the same value?
False
Suppose -5*w + 5*m + 84 = -126, 0 = 4*w - 3*m - 165. Let l be (-3 + 111/w)/(-1). Is 1 equal to l?
False
Suppose -4 + 0 = -4*b. Which is bigger: -15 or b?
b
Suppose -4*q + 3*q = -1. Let u(c) = -2*c**3 + 2*c**2 - c. Let b be u(q). Is -1 less than b?
False
Let s be (-1)/2 - (-1)/(-2). Is 2/65 at least s?
True
Let j = -33 - -32.3. Is -3 bigger than j?
False
Suppose -2*t + 182 = 5*t. Is 26 at least t?
True
Let j(u) = u + 16. Let v be j(0). Let f = 8 - v. Let t = 7 + f. Which is smaller: t or 0?
t
Let l = 46 + -23. Which is bigger: l or -1?
l
Let i(m) = m**2 - 15*m + 17. Let y be i(14). Let o = 3.2 - 3. Which is smaller: y or o?
o
Suppose 5*u - u = 12. Which is smaller: 26/7 or u?
u
Let w = 8 - 9. Let a = -1.03 - w. Which is smaller: 0 or a?
a
Let v = -7 - -10. Which is greater: -2 or v?
v
Let q = 1.58 + 0.22. Let s = 3.8 - q. Which is smaller: s or -1?
-1
Suppose 3*i - 7 = -2*c, 5*c - 4*c = -i + 2. Which is greater: c or 0?
0
Suppose 5 + 8 = 2*d + 5*k, k = 3*d + 6. Is d greater than or equal to -1/6?
False
Let c = -7 - -11. Let r be (c/(-10))/((-2)/10). Let l be (-6)/(-4) + (-1)/r. Which is smaller: -2/5 or l?
-2/5
Let v = 0.1 + 0. Which is smaller: 18 or v?
v
Let x be 123/(-21) + 4 + 2. Is x < 1?
True
Let v be 44/(-39) - 2/(-6). Let t = 6/13 + v. Let j be 10/8*(-98)/735. Which is greater: t or j?
j
Let g(k) = -k**3 - 5*k**2 + 6*k - 2. Let n be g(-6). Let j be 1/n + 13/2. Let i be j/27*(2 + 1). Which is smaller: i or 1?
i
Suppose 6 = -4*q - 26. Let r = -8 - q. Is 2/11 <= r?
False
Let x = 1.99 - 0.19. Let r = -1.1 + x. Let w = -0.3 - r. Is w greater than or equal to -1?
True
Suppose 0 = 2*w - 5*t - 6, -3*w + 2*t + 0 = 2. Let x = 4 - 3. Let i = x + -2. Is w not equal to i?
True
Suppose -4*r - 6 + 62 = 0. Which is greater: 12 or r?
r
Suppose 3*f - h = 8*f - 82, -3*h - 26 = -2*f. Suppose 2 = 3*d - y, y + f = 5*y. Suppose 0 = -3*c - 2*s - 22, -3*c = -3*s + s + d. Which is bigger: c or -5?
c
Let m = 1022/5 + -205. Suppose 0 = x + 4*k + 8, 7*k - 2*k = 2*x - 10. Does m = x?
False
Let z = -3 - -5. Let h = 0.1 - z. Let k = h - -2. Which is greater: 0 or k?
k
Let o = -3 + 6. Let d be ((-198)/(-22))/(3 - -1). Let f = d - o. Is f greater than or equal to -2?
True
Let y(p) = 5*p - 2 + 1 + 0 + p**2. Let z be y(-6). Suppose 3*r = -u - 15, -5*u - 12 - 13 = z*r. Is 0 at least u?
True
Let j be (-1 + 1)/(2 - 3). Is 2 greater than j?
True
Let p(f) = f**2 + 11*f + 11. Let y be p(-10). Let m be (1/(-1) - -3)/2. Let l be (-5)/6 - m/(-2). Is l at least y?
False
Let m = 29 - 21. Let n be m/(-10)*1/(-6). Let j be 1*(1 + -4) - -2. Which is smaller: n or j?
j
Let p = -0.24 - 4.76. Are 1/2 and p nonequal?
True
Suppose s = -4*s + 15. Is s smaller than 4?
True
Suppose -2*d - 2*r = 0, 4*d - 8 = d - r. Let c be d/7*(-6)/12. Which is bigger: 0 or c?
0
Suppose l = i + 2*i - 4, 0 = -4*l - i + 10. Which is smaller: l or 0.5?
0.5
Suppose 3*d = -d + c - 5, -d - 25 = -5*c. Let a be 3/(-21) - (-11)/(-21). Does a = d?
False
Suppose 3*s = -0*s + 465. Suppose 2*q - 2*l - 2*l + 68 = 0, -5*q - s = 5*l. Let p be 2*q/(-34) + -2. Which is bigger: -1 or p?
p
Let v = 96 + -68. Let z = v - 24. Which is bigger: 5 or z?
5
Let x be (5/(-3))/((-4)/(-12)). Let m = 6 + x. Is m greater than -1/2?
True
Suppose 2*x + 4*m - 12 = 8, x - 3*m + 10 = 0. Suppose -6*t + 4*t - 3*s + 3 = 0, 2*t - 2 = -4*s. Is x <= t?
True
Let t(q) = q - 4. Let u be t(5). Let j = -0.06 - -4.06. Let z = -7 + j. Which is greater: z or u?
u
Let c be (-2)/6 + (-2212)/(-21). Let s = 736/7 - c. Which is greater: 0 or s?
s
Let j be 0/(-5 - (-3 - 3)). Which is smaller: j or -2/205?
-2/205
Let b(h) = h**3 + 7*h**2 - 8*h - 2. Let t be b(-9). Does -93 = t?
False
Let c = 7/4 + -41/28. Which is smaller: -21 or c?
-21
Let p = 0.062 + 21.538. Let o = -20 + p. Let l = o + -2. Which is bigger: l or -1?
l
Suppose 4*l = -2*h - 6, l - 2*h = 4*l + 7. Let s be -1 + 3/1 - 4. Let k be 36/16 + s*l. Which is smaller: -0.4 or k?
-0.4
Let r be 8/10 - 1/(-5). Which is smaller: 4/13 or r?
4/13
Let c(b) = 3*b + 1. Let k be c(-1). Let u be 3*((0 - k) + -1). Suppose 2 + 14 = 5*a - j, 4*a + 4*j - 8 = 0. Is u less than or equal to a?
True
Let s = 3 - 8. Let w = -5 - s. Let a = 4 + -2. Which is smaller: a or w?
w
Suppose v = 2 - 15. Is v < -13?
False
Let k(s) = s**2 + 2*s + 3. Let t be k(-3). Let q = t - 3. Are q and 4 equal?
False
Let q(t) = -t + 3. Let u be q(0). Is u >= 5?
False
Suppose 0 = -h + 2*h - 4. Is h bigger than 14/5?
True
Let j = 8 + 12. Suppose -5 = -2*v - 4*z - 25, 5*v - j = 4*z. Which is bigger: v or 1/2?
1/2
Let z = -16 + 40. Let q = z + -21. Is q at most as big as 1?
False
Let v = 12.4 - 3.4. Wh