= 6 - 5.7. Let u be (1 - -1)/(-4) + 6/4. Which is smaller: c or u?
c
Let r be -2 + 0 + 10 + 1. Let h = r - -6. Suppose -d + i = 3, -d + h = -6*d + 2*i. Which is bigger: d or -5?
d
Suppose 3*n - 7*n - 2 = 2*q, 2*n + 11 = q. Let p(m) = -m + 6. Let c be p(-5). Let r = 15 - c. Which is greater: r or q?
q
Let b = 0.04 - -14.96. Let a = 0.2 + -0.1. Which is smaller: b or a?
a
Let v = -57 + 43. Which is greater: -10 or v?
-10
Let w be 4/6 - (-23)/(-15). Let t be 16/(-30)*(-27)/12. Let n = w + t. Which is smaller: n or -1?
-1
Let q = 1.1 + -1. Let u = -0.83 - 0.17. Is q at least u?
True
Let o be (-8)/(-2)*68/(-2). Let a = o - -1493/11. Which is smaller: a or 0?
a
Let v be (-20)/6*(6 + -8). Is v less than 6?
False
Let k be 108/21 - (-1)/(-7). Suppose 4*t = -y + 13, -5*t + 25 = -2*y + 5*y. Let a = k - y. Are 2 and a unequal?
True
Suppose -3*x - c = 2*x + 10, 4*x + 2*c + 2 = 0. Which is smaller: -2 or x?
x
Suppose -2*r = -3*r + 23. Let v be -2 + (-2 - r/(-6)). Let c(w) = w. Let b be c(1). Which is smaller: b or v?
v
Suppose n - 6*n = -25. Which is greater: n or 35/8?
n
Suppose 3*b + 264 = 6*b. Let p be 4/10 - b/(-280). Is 0 smaller than p?
True
Let n be 1/2*8/26. Is n > 1?
False
Let h = 16 + -8. Suppose -16 = -4*u + h. Let f be u/(-8)*(-6)/9. Are f and -2/9 equal?
False
Let f = 22 + -17. Suppose 0*i = -f*i - 15. Which is greater: i or -4?
i
Let g(r) = -r**2 + 3*r - r**3 - 5 - 4*r**2 + 2*r**2. Suppose -5*b - 16 = p, 5*b + 5*p - 8 = 2*b. Let d be g(b). Is d smaller than -1/2?
True
Suppose 2*h - 3 - 1 = -2*l, 4*h - l = 8. Suppose h*g = 7*g. Suppose -4*c + 3*m = -1 + 4, -3*c + 4*m - 4 = 0. Is g less than or equal to c?
True
Let n = 0 - -1. Let q = 0.76 - 1.96. Let m = n + q. Are m and 0.2 nonequal?
True
Let q(w) = -w**3 + 5*w**2 - 4*w + 1. Let y be q(4). Let z = -17102/387 - -1260/43. Let d = z + 44/3. Are d and y equal?
False
Let r = 39 - 60. Let z be (2/(-4))/(r/(-12)). Suppose 0 = -k + q - 0 - 4, 0 = k - 3*q + 12. Which is bigger: k or z?
k
Let l(t) = t**2 - 9*t + 16. Let m be l(4). Which is greater: -3 or m?
-3
Let c be ((-4)/(-36))/((-1)/3). Do -15 and c have the same value?
False
Let n be 14/(-4) + (-6)/12. Let c = 9 + n. Let l = 2 - 1. Which is bigger: c or l?
c
Suppose 8*k + 1 = 7*k. Which is smaller: k or 5/11?
k
Let s(t) = -7*t + 4. Let n be s(-3). Is n != 25?
False
Let f = -5 - -5. Is -1 smaller than f?
True
Suppose 0 = -2*v + 2 + 6. Let o = 35 - 23. Suppose i - o = v*i. Which is smaller: i or 2/5?
i
Suppose 2*y - 5 = -1. Is y equal to 9/4?
False
Let t(j) = 3*j + 9. Let o be t(13). Let d be -1 - (-11)/(44/o). Does 10 = d?
False
Let t = -2 - 12. Is t < 0.1?
True
Let c = -5 + 4.8. Is -1/4 != c?
True
Let r(j) = j**3 - 10*j**2 + 8*j + 12. Let q be r(9). Which is smaller: 1 or q?
1
Let g(r) = -r + 7. Let q = 12 + -5. Let f be g(q). Let n be -2 + -2*24/(-27). Is n >= f?
False
Let j be (10/2)/(20/40). Is j at most as big as 7?
False
Let n be 1/(-4) - (-85)/20. Suppose -22 = -n*d + 26. Is 13 >= d?
True
Suppose 0 = 5*q - 0*q. Which is smaller: q or 2/5?
q
Let a = -1/1829 - -3897/437131. Let g = a - -452/3107. Is g greater than or equal to -1?
True
Let f = 2 - 2. Let k = 0 + 0. Let y = f + k. Which is smaller: y or -4/7?
-4/7
Let l = -39 + 38. Is -0.04 > l?
True
Let d(t) = t**2 - 7*t - 7. Let p be d(8). Let g = 499/9 + -55. Which is bigger: p or g?
p
Let a = 188/3 - 62. Which is smaller: a or -2?
-2
Let p = 12 + -11. Let g = 2.8 + -3. Which is greater: p or g?
p
Let q be 2/9 + 43/9. Suppose q*n - x = -67, 4*n - 37 + 105 = -4*x. Let p be (n/(-6))/(1/(-3)). Which is bigger: -8 or p?
p
Let z = -50 + 27. Is -21 <= z?
False
Let u = 51 - 163/3. Suppose 4*j - 5*x + 16 = -16, j - 2*x + 11 = 0. Is u less than or equal to j?
True
Suppose 3*i + 0*i + 423 = 0. Let v = i + 561/4. Which is bigger: v or -1?
v
Suppose o + 8 = 4*g, 0 = -5*o + 6 - 26. Let v be (-6)/(-2) + 0 - 1. Suppose v*r + 2*r - 4 = 0. Is r less than g?
False
Suppose 0 = -0*v + 2*v - 8. Let a be (-1)/v + (-36)/(-16). Is a smaller than 11/4?
True
Let k = 198 - 994/5. Let d = k + 3/5. Let n = -0.3 - -1.3. Is d >= n?
False
Let q = -38 - -24. Let a = q - -10. Which is smaller: -1 or a?
a
Let q be (-6)/(-4)*1/(-2). Is 0.1 <= q?
False
Let y be 2/2 + (-8)/(-2). Suppose 0 = 5*f + 3*p + 3, y*f + 5 = 2*f - 5*p. Let h = -0.053 + 0.253. Which is greater: h or f?
h
Suppose -9*b + 4*b = -5. Is b at least as big as -2/7?
True
Let v = 148 - 210. Let w = v + 432/7. Which is smaller: 2/7 or w?
w
Let f = 24.01 - 24. Let z = -0.3 + 0.29. Let h = z + f. Is h > 0?
False
Let c = 0 - 13. Which is smaller: c or 0.1?
c
Let b be 2 - (0 - 1)*-1. Let q be ((-3)/(-6)*0)/1. Which is smaller: b or q?
q
Let m be (28/(-4))/(0 + 1). Let q = m - -5. Let j = -6 + 5. Does j = q?
False
Let o = 3.34 - 0.34. Do o and -0.7 have different values?
True
Let h = -0.4 - -1.4. Let b = 6 + -1. Suppose 3*j - 6 = 0, s + 12 = -0*s + b*j. Which is greater: h or s?
h
Let x = 13 + -9. Let j be ((-6)/9)/((-4)/78). Suppose 5*r - 24 = -o, -4*o - r + 7 = -j. Is o greater than x?
False
Suppose -3*d - 4 = u, u - 38 = 6*u - 3*d. Is u bigger than -6?
False
Let b(h) = 2*h + 7. Let g be b(-5). Let o = -6 - -3. Do g and o have the same value?
True
Suppose 0 = -3*m + 3 - 0. Is 2/95 > m?
False
Let n be (-10)/(-45) + 50/18. Suppose 0 = -2*s - c - 12, -5 = -n*s - 5*c - 23. Let x = s + 6. Is x greater than 1?
False
Let m be 202/12 - (-8)/12. Let b = 18 - m. Does b = 0.1?
False
Let u be (-30)/20 + -1 + 3/2. Let v be -2 - -2 - (-14)/(-8). Which is bigger: u or v?
u
Suppose 2*x = 3*x. Suppose -9*n + 8*n - 7 = x. Which is greater: -6 or n?
-6
Let c = -18 + 13. Let s = c - -4.9. Is s at least 2/5?
False
Let r be (2/6)/(2/6). Let t = -3/274 - -599/4658. Which is greater: t or r?
r
Let j = -48 + 242/5. Let y be (10 - 10)*(-2)/6. Is y less than or equal to j?
True
Let u(v) = v**3 - 27*v**2 + 49*v + 30. Let k be u(25). Which is smaller: 70/11 or k?
k
Let c = 530 + -50879/96. Is 0 bigger than c?
False
Let h = 0.3 - -0.1. Let z = h - 0.2. Which is smaller: 1/3 or z?
z
Suppose 26 - 8 = 6*q. Is -1 > q?
False
Suppose -3*f + 3 = -6. Suppose -f*s - 7 = -2*p, 2*p - 14 = -2*s - 2*s. Suppose 8 = 2*g + 3*k - k, -5*g + 18 = 4*k. Is g >= s?
True
Suppose -1 = -4*n + 3. Which is bigger: n or -2/9?
n
Suppose -v - 4*v - 15 = 0. Let s be v + 2 + (1 - 1). Is 0 greater than or equal to s?
True
Let h = -64 + 160. Let j be -2 - (h/52 - 4). Is 0 >= j?
False
Let s = -3.6 + 5.6. Which is smaller: s or 5?
s
Let p = -0.82 + 0.02. Let t = p - -0.4. Which is smaller: 0 or t?
t
Let j = -40 - -25. Which is smaller: -16 or j?
-16
Let c = 14 - 13.3. Let i = 2.359 + -0.059. Let p = i + c. Which is smaller: 1/4 or p?
1/4
Let j = -0.95 + 0.95. Which is smaller: -0.28 or j?
-0.28
Let m be 4/14 - 1143/693. Is m > -2?
True
Let j(t) = t**2 + 8*t + 6. Let a be j(-6). Let p be (a/3)/(-1) + 1. Are p and 3 non-equal?
False
Let g = -81 + 159/2. Let j = g + 1. Suppose 3*x + 9 = -3*d - 9, x - 3*d = 14. Is j > x?
True
Let o be ((-3)/(-6))/((-2)/4). Let t(x) = x**3 + x + 1. Let d be t(o). Which is smaller: 0 or d?
d
Let a be 3/18*-3*0. Suppose -6 = 5*x - 2*p, -5*p = 3*x + 16 - a. Is -1 at least as big as x?
True
Suppose 3*j - 30 = -0. Let m be 3/(-1) + 40/(-10). Let z = m + j. Is 2 at most z?
True
Suppose -p + 5*j - 5 = 0, 0*p + 30 = 4*p + 5*j. Suppose -8*y + 3 = -p*y. Is y >= -1?
True
Let y be ((-9)/(-7))/(9/3). Suppose -5*o - 2 = -4*a - 3, -4*o - 1 = -5*a. Which is smaller: a or y?
y
Let n(i) = -i + 4. Let k(b) = -5*b**2 + 5 + 4*b**3 - 5*b**3 - 7*b - 3*b**2. Let h be k(-7). Let g be n(h). Is g less than -1?
False
Let d be 2 + 4 + (0 - 2). Suppose -d*b + 4 = 52. Let q = 10 + b. Which is bigger: -2/3 or q?
-2/3
Suppose 22 = -j + 2*j. Let w be j/12 - (-2)/(-6). Which is bigger: -1 or w?
w
Let f be (416/110)/(14/(-25)). Let g = -1/1979 + -91027/13853. Let x = f - g. Which is greater: x or -1?
x
Suppose -5*p - 15 = -0*p + 5*z, 9 = -5*p - 2*z. Let u be 3*(-1)/(0 - -1). Let y(i) = -i**3 - 4*i**2 - i + 4. Let w be y(u). Is w at least p?
False
Let f be (-8)/(-48)*(-2)/4. Which is smaller: f or -1?
-1
Let g = -25 - -33. Suppose 3*s = 4*s - 8. Is s smaller than g?
False
Suppose -4 = -5*t - 2*y, 2*t - y + 5 = 3. Let i(n) = -n - 2. Let w be i(t). Is w equal to -2?
True
Let s(v) = -2*v - 19. Let u be s(-13). Which is greater: u or 6?
u
Le