+ 9. Let x be k(-4). Suppose -2*z + x*z + 2*o = -8, -5*z + 2*o = -8. Which is smaller: z or 1?
z
Let u = 0.8 - -0.2. Which is bigger: u or 17?
17
Let f(k) = -k**3 - 7*k**2 + 7*k - 3. Let p be f(-8). Which is smaller: p or 4?
4
Let d(j) = -33*j - 6. Let c be d(8). Let w be (c/35)/((-6)/28). Let f be (-6)/(-9) + (-15)/w. Is 0 bigger than f?
False
Let u = -2 + 5. Let z = u - 2.9. Which is smaller: -4 or z?
-4
Let a = 2/7 - 0. Let c be 0 + -2 + -4 + -1. Is c bigger than a?
False
Let i = 9/14 - -127/42. Let s = 3 + 2. Which is bigger: s or i?
s
Let a = 1.4 - 1.5. Is -1/24 != a?
True
Let g = 2 - 5. Let s = -15.8 + 19. Let l = g + s. Is -1 less than l?
True
Let m = -271/198 + 5/18. Is 0 equal to m?
False
Let y = 29 - 19. Let d be ((-2)/(-65))/(2/y). Is d less than -1?
False
Let l = 3 - 3. Let y be (3 - 1)*-8 - l. Let m = y + 31/2. Which is greater: m or -2?
m
Let f = 108 + -758/7. Let o = -0.547 - 0.353. Is f at most o?
False
Suppose 3*f + 13 = 4*a, -21 + 1 = -4*f - 4*a. Let r = 155 - 86. Let s = -346/5 + r. Is f >= s?
True
Let c(q) = -2*q + 1. Let p be c(1). Let z be (-1)/p + 20/(-28). Which is greater: 1 or z?
1
Let w = 13541/23 - 589. Which is smaller: w or -1?
-1
Let h(f) = -2*f**2 + 4*f + 6. Let s be h(4). Which is bigger: -17/2 or s?
-17/2
Let c be (-6)/(-15) - (-67)/(-5). Is c bigger than 0.2?
False
Let j = -18.9 + 19.4. Which is greater: 6/5 or j?
6/5
Let f = 4/135 + 157/2295. Let u = 49/153 - 5/9. Let n = u - f. Are n and -1 non-equal?
True
Let r(l) = -l**3 - l. Let g be r(0). Suppose -12 + 2 = -5*o. Which is smaller: g or o?
g
Suppose -3*z + 10 - 25 = 0, -z = 5*m - 155. Do m and 31 have the same value?
False
Suppose -3*z - 3 = t - 20, 2*t = -2. Suppose -5*c + 2*v + 6 + 1 = 0, 4*v = -2*c + 22. Is z at most c?
False
Let m = 5/18 + -41/180. Is m at most as big as 0?
False
Suppose -2 = w - 1. Suppose -3*x = 3*z - 6, -3*x - z - 2 = -6*x. Let m be (x/(-4))/(1/(-2)). Which is smaller: m or w?
w
Let g be (-135)/(-25) + 4/(-10). Let l = g - 8. Is l not equal to -2?
True
Let s = -23 + 24. Is s bigger than 4?
False
Let m(p) = -p**2 + 5*p - 4. Suppose -5*x = -7*x + 6. Let r be m(x). Which is bigger: 1 or r?
r
Let l = -663/152 + 90/19. Which is bigger: -1 or l?
l
Suppose 16 = x - 3*x - 4*q, 5*x = -5*q - 20. Suppose 2*o + x*r = r + 7, -2*o + 2*r + 12 = 0. Is o smaller than -2/13?
False
Let w be (-8)/(-2) - (-3)/(-1). Suppose -2*c = -3 + w. Suppose 7*r = 2*r. Is c < r?
False
Let n = 6.94 - -0.06. Let x = -9 + n. Are -2/7 and x nonequal?
True
Let u = 7 + -24. Let o = 343 - 1717/5. Do u and o have the same value?
False
Let a = -7 - -3. Let m be 21/(-2 - 14/a). Let l be 6/(-4) + m/12. Which is greater: l or -0.1?
-0.1
Let k = -14.09 + 14. Let a = -0.11 - k. Which is bigger: 0.1 or a?
0.1
Let p = 575/7 + -86. Is -3 at least as big as p?
True
Let h be (-2 - 2/(-2))/(-1). Let c = 22535/12 + -1879. Let p = -4/3 - c. Is h smaller than p?
False
Let k = 32 + -31. Is k equal to 1/2?
False
Let q be 16/5 + 2/(-10). Suppose 2*y - 2*n = -q*n - 5, 3*y - 2*n = -4. Suppose 2*a = -0*a - 3*v + 10, -6 = 2*a - v. Is a greater than y?
True
Let j be (0 + 0)/(-7 + 6). Which is bigger: j or 1?
1
Let t = 9 - 6. Let w be (-1)/(t/54*-2). Let k be 2/(-2) + w + -7. Is 1 != k?
False
Suppose -g = -2*g + 60. Suppose 0*v = 4*v + g. Is -16 <= v?
True
Let f = 0 + -1. Let h be ((-40)/(-50))/((-2)/(-5)). Let z be (h/5)/((-6)/(-30)). Which is smaller: z or f?
f
Suppose 2*m = 7*m + 5. Is m > -1/2?
False
Let c(m) = -m. Let n be c(-3). Suppose -n*s = 2*z - 7, -5*s + 4*z = 5*z - 7. Let x(b) = -b**2 + 1. Let v be x(1). Is s >= v?
True
Let i = 2 + -2.05. Let c = 0.3 + -0.25. Let m = i - c. Which is greater: m or 0.1?
0.1
Suppose 3*b + 6 = -3*b. Suppose -3*z + 4*q = -7, -4*z = -2*z - 3*q - 5. Is z not equal to b?
True
Let j = 1 + -1. Let p = j - 8. Let t be 2/p + (-27)/84. Which is smaller: -2 or t?
-2
Let r = 0 - 0.1. Let b be 1 - 6/(-3) - -2. Is b at least r?
True
Let u = 26 - 14. Which is smaller: u or 38/3?
u
Let n = -2/77 - 519/770. Which is smaller: n or -2?
-2
Suppose 0 = -5*p, 4*c - 12 = -0*c + 3*p. Suppose -3*y = -5*y + 4. Suppose -y*o + 11 = 5. Is c > o?
False
Let x(s) = 2 + 4 + s + 0*s - 4. Let b be x(2). Which is smaller: b or 3?
3
Let p(w) = w**2 - 2*w + 3. Let t be p(2). Suppose 2*g = j, 0 = -g + t*g - 3*j + 8. Are 2 and g unequal?
False
Let b = 196/9 + -22. Is 0 bigger than b?
True
Let g = 64 - 64. Let v be (2/4)/(2/(-4)). Which is smaller: g or v?
v
Let l(n) = 2*n**3 - 2*n**3 + 2*n**3. Let o be l(-1). Suppose 9*h + 4 = 4*h - f, -4*h + 4*f = 8. Which is smaller: h or o?
o
Let b(q) = 5*q**2 - q. Let l be b(1). Let p be 39/4 + 3/12. Let i = -6 + p. Is i != l?
False
Let k be (-20)/8 + (-1)/(-2). Let y(c) = -c**2 - 7*c - 11. Let u be y(-5). Let d be (k - (-3 + 2))*u. Is 1 equal to d?
True
Let y(s) = -s**2 - 10*s + 9. Let l be y(-11). Let q be 12/(-9) - l/1. Is q at least 0?
True
Let t = 532/2769 + -10/71. Which is greater: 1 or t?
1
Let m = 6 - 28. Is m >= -23?
True
Let u = 1/4730 - 104101/193930. Let q = -632/1025 - u. Let y be 1 + 0 + (-11 - -11). Is q bigger than y?
False
Let y be (-2 - 3/(-3))*-1. Let s be 3 + 3 - (y + -1). Are 7 and s equal?
False
Let c = 0.71 - 0.67. Which is bigger: c or 3?
3
Let f = 2.9 + -3. Let z = -4.6 - -5. Let o = z - 0.4. Do o and f have the same value?
False
Let s = -2.69 - -23.66. Let k = s + -21. Which is smaller: k or -2?
-2
Suppose 0 = -3*v + 5*v - 6. Let f be 1/(-3) + 28/12. Suppose 1 = f*r - 3. Which is greater: v or r?
v
Suppose 0 = -4*n - 3*q + 9 + 4, 3*n - 3*q = -6. Suppose -4*a = -n - 7. Which is smaller: a or 0?
0
Let t(w) = -3*w - 12. Let n be t(-4). Which is greater: n or 3?
3
Let x be (-200)/255 + (-2)/(-3). Suppose -3*b - 2*b + 5 = 0. Which is smaller: b or x?
x
Let k = 11/42 + -3/7. Which is bigger: 0 or k?
0
Suppose 0*s = -f - 3*s - 20, 0 = -5*f + 2*s - 15. Let g = 9 - 4. Let j = f + g. Which is greater: 1 or j?
1
Let p be (-8 - -1)*6/(-7). Let t(z) = z**2 - 6*z + 2. Let u be t(5). Let f = p + u. Which is bigger: 4 or f?
4
Let l(c) = -c**3 - 3*c**2 + 4*c - 1. Let q be l(-4). Which is greater: q or 3/11?
3/11
Suppose 5*u = -4*m + 36, 2*m = 2*u - u + 4. Let w be 6/u*8/18. Are w and 1 non-equal?
True
Let b be 2 + -2 + (-2 - -1) + -1. Let m be (-2)/4 - (-2 - -2). Which is bigger: b or m?
m
Let t be 15*(0 + (-4)/(-10)). Let v be (t/(-8))/(3/5). Is v less than or equal to -2?
False
Let a be 1*(0 + 3) - -3. Which is smaller: a or 5?
5
Let q = -0.1 - 0. Let c = 0.4 - 0.4. Let j = c - -0.2. Which is greater: q or j?
j
Let x = -17 + 27. Suppose -8*j = -2*j - 54. Is j >= x?
False
Let f = 0.42 + 0.13. Let a = 0.05 + f. Is a greater than 0?
True
Let o = 0.8 - 1. Let m = 0.5 - 0.4. Let n = m + o. Which is smaller: -1/3 or n?
-1/3
Let p = -2 - -6. Suppose 7*j - p*j = 6. Suppose 0*d - 3*d + 11 = -s, -j*s + 5*d = 18. Which is smaller: s or 2/3?
2/3
Let u = 8.6 - -0.4. Let i = -9 + u. Which is smaller: i or 5?
i
Let s be -1 + (-1014)/(-10) + -1. Let m = 100 - s. Let i = -1 + 2. Which is smaller: m or i?
m
Let v = 44 + -42. Is v >= 1?
True
Let z = 20.2 - 22. Let g = 2 + z. Let f = 0.2 + 0.8. Is g smaller than f?
True
Let s(p) = -p - 1. Let b be s(-2). Let r = 1144/9 + -127. Are r and b nonequal?
True
Suppose -2 = -5*k + 3*s, -4*s = -6 + 2. Let t be (k/2)/((-1)/6). Let a be (t/(-1))/(3/10). Which is bigger: a or 9?
a
Suppose 1 = 2*i - 1. Let b = 2 - -1. Which is smaller: i or b?
i
Suppose 0*g - 222 = -3*g. Let q = 371/5 - g. Let m = 6 + -6.1. Is m not equal to q?
True
Let y = -11.4 + 8.5. Let s = 0.3 - 0.4. Let z = y + s. Is z at most 0.1?
True
Let k(m) = -6*m**2 + 2*m + 1. Let d be k(2). Suppose i + 35 = -3*q, 0 = 4*i - 2*i - q + 35. Which is greater: i or d?
d
Let a be 0/(2*(-2 - -3)). Let v be 17/3 + -3 + a. Let b = -37/15 + v. Which is bigger: b or 1?
1
Let v = -11 + 15. Let s(a) = -a**3 + 5*a**2 - a - 2. Let g be s(v). Is g != 0.1?
True
Let f(u) = u - 4. Let c be f(6). Is 1 greater than or equal to c?
False
Suppose -1 = 3*a - 10. Suppose 0*d = -2*d + 10. Suppose 2*r - d = -a*u, r = -3*u + 4*r. Which is smaller: u or 4/5?
4/5
Suppose -2*f - 10 = 2*t, 0 = 3*f - t + 7 + 8. Which is bigger: f or -4?
-4
Let t be 2/(-5) - (-54)/(-15). Suppose 3*x - 3*c = -0*x + 6, -3*x + 6 = 3*c. Suppose 0 = 5*o + 4*i - 5, 1 = o + 2*o + x*i. Is t less than o?
True
Let r = 1 