+ 2. Let q be 50/18 + (-2)/(-9). Let s be f(q). Is 8/7 greater than s?
False
Let h = 176 + -1757/10. Is h smaller than 1?
True
Let t = 23 + -505/22. Which is bigger: t or 1?
1
Let v = -11 + 4. Is v less than -2?
True
Let u be (-4947)/(-27) + 2/(-9). Let b be (u/(-63) - -3)*-3. Is b less than 0?
True
Let t = 131/3 - 44. Which is greater: 0 or t?
0
Let w = -188 + 49. Is -139 equal to w?
True
Let b = 0.31 + -0.27. Which is greater: b or -2?
b
Let q = -25 + 14. Let a = q - -11. Let t be 2/8 - (-3)/(-12). Is t greater than a?
False
Suppose 2*v = -0*v. Which is smaller: 1.7 or v?
v
Let d = -8 - -8. Suppose 0*f = -2*f - 3*h, d = -3*f + h. Which is bigger: f or 1/15?
1/15
Suppose -44 = 4*k - 5*b - 12, 7 = -5*k - 2*b. Let s(i) = -i**3 - 5*i**2 + 5*i - 8. Let q be s(-6). Are k and q unequal?
True
Let s(a) = -a**3 + 2 - 1 - 6*a + a + 5*a**2. Let b be s(4). Let l = -4 - -1. Is b at most l?
True
Let s = 155 - 155. Let u be (-1)/9 - (-1)/(-3). Which is smaller: s or u?
u
Let c be (-74)/(-8) - 12/18. Let v = c - 25/3. Is v at least as big as -0.9?
True
Suppose -3*t = -4*v - 15, -7*t + 25 = -4*v - 2*t. Let h be (v - 0)/(-2 + -1). Let z be ((-6)/9)/(5 + 0). Which is smaller: z or h?
z
Let w = -2 - -6. Let x = 15 - 15. Suppose -5*a + 15 - 5 = x. Is a less than w?
True
Suppose 4 + 5 = q. Which is smaller: q or 8?
8
Let q be (-6)/(-27) - (-8)/(-36). Let j = -3 - q. Which is greater: -4 or j?
j
Suppose 5*z + 16 = 2*s + 2*z, 0 = -2*z - 8. Which is smaller: -3 or s?
-3
Let p = 26 - -5. Is p less than 31?
False
Suppose 7 = -2*u - 5*o - 10, 5*o + 15 = 0. Suppose 0 = d + 2*d - 12. Suppose -6*g - d = -4*g. Which is greater: u or g?
u
Let u(v) = -v + 3. Let b be u(2). Let r = 27 + -107/4. Which is greater: b or r?
b
Let j = 2408/423 - -4/47. Which is bigger: j or 6?
6
Let r = -7 - -2. Let s = 29.03 - 29. Let z = s - 0.13. Which is bigger: r or z?
z
Let x be (0 - (0 - -4)) + -1. Is x greater than or equal to -33/7?
False
Let v = 0.3 + 0. Let c = v - -0.7. Is 1 at least as big as c?
True
Suppose h = -5*h. Suppose -4*k + 2 = -3*o - 14, 2*k - 5*o = 22. Is h <= k?
True
Let a(z) = -z**2 + 6*z - 13. Let n be a(7). Is n bigger than -19?
False
Let b(g) = -g - 4. Let s be b(-6). Suppose -s*t = -0*t + 2. Let c be 7/(-9)*1 + 1. Which is smaller: c or t?
t
Let q = 532 - 5840/11. Which is bigger: 0 or q?
q
Let u(n) = -n**2 + 5*n - 4. Let m be u(3). Suppose 5*g + 3*k + m = 7, -2*g + 2 = 4*k. Which is smaller: 4/11 or g?
4/11
Let n be (40/6 - 6)*19/2. Is 6 at most as big as n?
True
Let y = -41 + 60. Which is bigger: y or -1/2?
y
Let a = 62 - 65. Which is greater: a or -2?
-2
Let j = -55/2 + 30. Which is smaller: j or -9?
-9
Let f = -0.8 + 1.8. Which is greater: f or -2?
f
Suppose -7*v = -3*v. Let w = -8 + 10. Suppose -2*i - w = -v*i. Which is bigger: i or 0?
0
Let j = -3859/4 + 29433/28. Let n = j - 86. Suppose -2*d - 1 = -3. Is n smaller than d?
True
Let u = -1.9 - -0.9. Is u at most as big as -0.03?
True
Suppose -w = -6*w - 25. Which is smaller: -28/5 or w?
-28/5
Suppose -q - 3 = -0*q. Let i be (3/(0 + q))/5. Is 1 at most as big as i?
False
Let p be 38/(-1) + (2 - 0). Let r be 21/p - (-1)/3. Is r != 0?
True
Let u be 3/6*1*-2. Which is smaller: 10/21 or u?
u
Let h(n) = -n + 3. Let y be h(3). Let r be (-18)/(-63) - 2/7. Is r less than or equal to y?
True
Let l = -5.9 - -6. Let g = l - -0.1. Suppose 3*m + 2 = -1. Is m >= g?
False
Let z(c) = -c**3 - 4*c**2 - 5*c - 2. Let n be z(-3). Suppose -n*f = -s + 3*s + 8, 4*f + 4 = 0. Is 0 at least as big as s?
True
Let t be 4/(-6) + (-344)/30. Let s = 9464/5 - 1880. Let f = s + t. Is -0.1 smaller than f?
True
Let g = -32 - -34. Let l(f) = f**3 + 7*f**2 + 3*f. Let k(n) = -4*n**3 - 29*n**2 - 11*n + 1. Let j(h) = -2*k(h) - 9*l(h). Let o be j(-4). Is o != g?
False
Let o be (1/(-10))/(294/315). Is -0.2 less than or equal to o?
True
Let r be 5*(3 + (-16)/10). Is 6 > r?
False
Let j = -0.9 - -1. Let g = -8.9 + 9. Is j at most g?
True
Suppose 1 = -0*a + a, -4*g + 32 = -4*a. Suppose 4*k - 7*k + g = 0. Which is smaller: 4 or k?
k
Suppose -2*g = -7*g - 4*s + 29, 0 = 3*g + 4*s - 19. Suppose g*r + 5 = -0. Let v be 6/(-3)*-3 + r. Which is smaller: 6 or v?
v
Suppose 4 = 2*z + j, -6*j + 5*j = -2*z - 4. Let t(f) = -f**2 + 7*f - 6. Let x be t(6). Let k = 0 + x. Is z <= k?
True
Let k(h) = -2*h + 1. Let a be k(-2). Suppose 0 = -3*o + a*c + 8, 2*c - 2 = o - 2*c. Is o greater than or equal to 6?
True
Let r(d) = 4*d - 1. Let j be r(3). Suppose 5*z - 41 = -j. Let c be 18/30*(-2)/z. Which is greater: 0 or c?
0
Let b = 5.2 - 5. Let l be (2/(-6) - -1)*-3. Are b and l equal?
False
Let u(k) = 4*k - 3. Let q be u(3). Which is bigger: q or 12?
12
Suppose -2*q - 20 = -7*q. Let i = -49 - -52. Is i >= q?
False
Suppose -t = 2, 0 = 4*b + 2*t + 2 + 2. Let m(k) = -k + 1. Let r be m(b). Is 1 smaller than r?
False
Let k = 2/38629 + -18194275/309032. Let t = k - -59. Let s be 3/15 + (-2)/10. Which is greater: t or s?
t
Let l(g) = g**2 - 2*g. Let m be l(1). Is m at least as big as -21?
True
Let w(i) = i**3 + 11*i**2 - 11*i + 11. Let q be w(-12). Let o = q + 7. Is o < 6?
False
Let v = 5/29 + 100/261. Let c = -116 - -1046/9. Let x = v - c. Which is bigger: -1 or x?
x
Let b = -14 + 11. Suppose 0 = -2*s + 3*a + 8, 4*s - 3*s - a = 2. Let f = b - s. Which is smaller: -1/4 or f?
f
Let y = -101 - -101. Let a be ((-17)/(-3))/((-2)/12). Let r be a/(-60) - 6/9. Which is smaller: r or y?
r
Let z be (-5)/20 - (-7)/20. Is z < -1?
False
Suppose -3*i + w + 146 = 0, -3*i = 3*w - 134 + 8. Suppose -i = -5*s - 17. Is s less than 6?
False
Suppose -3*v - v - i - 54 = 0, -4*v + 2*i - 48 = 0. Which is smaller: v or -12?
v
Let b = 20 - 8. Which is bigger: 1/4 or b?
b
Let r(j) = -j**3 - 5*j**2 + 7*j + 2. Let o be r(-6). Is o <= -20/7?
True
Let g be 26/126 + 4/18. Let s be 0/2*(14 - 13). Which is smaller: g or s?
s
Let n = 4 - 0. Suppose -1 = n*i + 7. Let z be -1 - (2 + i)/(-2). Is 1/4 smaller than z?
False
Let l = -0.082 + -0.018. Which is smaller: l or -4/3?
-4/3
Let d = 1.93 + 1.07. Which is bigger: d or -3?
d
Suppose 0*g = -2*g - 5*b + 14, -3*b + 12 = 3*g. Let a be (2/4)/((-1)/(-2)). Is a less than or equal to g?
True
Suppose 0 = 3*c - 223 + 10. Let u be (-216)/(-16)*(-26)/(-5). Let d = c - u. Which is bigger: 1 or d?
1
Let v(g) = g**3 + 5*g**2 - 4*g + 7. Let r be v(-6). Let c be (-2)/1*(r - -4). Let s be ((-1)/(-3))/((-2)/(-12)). Is c bigger than s?
False
Suppose 0 = -2*b + 5*x + 45, -2*b = -2*x - 36. Suppose -b = 4*d + h, -3*h - 3 = -d - d. Which is smaller: -5 or d?
-5
Suppose 15*h = -117 - 48. Is -35/3 at least h?
False
Suppose -3*d = 5*x - 0*d - 25, 2*x + 6 = 2*d. Is x < 2?
False
Let o be (3 + -4 + 2)/1. Let i = -3/55 + -7/55. Are o and i unequal?
True
Let d = 5 - 9. Let q be d/(-14)*(3 - 2). Let s = -10 - -11. Is s > q?
True
Let c(s) = s + 5. Let t be c(-6). Let m = 3.7 - 3. Let a = -0.4 + m. Which is greater: t or a?
a
Let c be (0/3 + 1)*1. Let f(j) = j**2 - 6*j - 5. Let v be f(7). Is v smaller than c?
False
Suppose 0 = -3*a - 1 + 19. Let d = 40.9 + -41. Which is smaller: a or d?
d
Let n = 77/249 + 2/83. Let m be (1 - 2)/(0 - -1). Which is bigger: n or m?
n
Let m = -6 - -21/4. Is -1 equal to m?
False
Suppose -x - 2*q + 0*q = 8, 21 = -4*x + 3*q. Let z = 8 + x. Let c be ((-9)/z)/(-3) - 1. Which is smaller: c or 0?
0
Let v be 6/(-3)*2/(-4). Suppose -5*b = -4*m - 50, 3*b + 3*m = -v + 4. Suppose 26 - b = 5*f. Which is bigger: f or 0.1?
f
Let k(z) = 3*z**3 + z**2 + 2*z + 1. Let o be k(-1). Let l be o/(6/2) + 1. Suppose l = j + j. Which is bigger: j or 1/4?
1/4
Let l = -24 + 25. Let w be (-2)/(-8) + 9/28. Is w at most l?
True
Suppose 0 = h + 3*h - 20, 3*m - 7 = h. Which is smaller: 2 or m?
2
Let k(a) = 2*a + 21. Let l be k(-10). Let j = 378 - 7180/19. Which is smaller: j or l?
j
Suppose 3*c + 11 + 0 = -n, 3*n + 4*c = -13. Is -5 < n?
True
Let i = -43 + 42.5. Is i bigger than -1/7?
False
Let m = 20 + -29. Which is greater: m or -11?
m
Let g be 0 + 5 + 2 + -5. Is -4 at least g?
False
Let r be 4/(-6) + (-469)/(-672). Which is smaller: r or 0.1?
r
Suppose 2*m = 4, 29 = 5*k + 4*m - 2*m. Suppose -k = -4*q + v, -v = -q - 0 - 1. Let f = q - 4. Are -2 and f equal?
True
Suppose 2*b + 2*b = 20. Suppose 0 = -4*f + b + 3. Is f equal to 3?
False
Let o be ((-16)/(-3))/(1/(-72)). Let q be o/(-1386) + (-4)/22. Which is smalle