+ r + 5. Let z be s(-6). Let w = -2.3 + 2. Let a = w - -0.4. Which is smaller: z or a?
z
Let b = 2.934 - -0.066. Which is bigger: 4 or b?
4
Suppose -1 + 7 = -3*h. Let d(s) = 5*s + 3. Let z be d(h). Let p(b) = -b - 6. Let r be p(z). Which is smaller: -1 or r?
-1
Let u(k) be the first derivative of k**3/3 + 7*k**2/2 - 7*k + 4. Let i be u(-8). Which is bigger: i or -2/23?
i
Let j = 724/3 + -135382/561. Is j at most as big as 0?
False
Let d = -26 - -49/2. Is 2/3 greater than or equal to d?
True
Let o = 463/532 - 1/76. Suppose q = -q. Is o less than q?
False
Let d(t) = -t**3 + 5*t**2 - 3*t. Let i be d(2). Let v be (9/i)/(2/4). Let n = v - 1. Are n and -2/7 nonequal?
True
Suppose -2*j + 4 = -p, -p - 5*j = 2*p - 32. Let w be (-243)/(-15) - 1/5. Suppose 0 = -p*g - w. Are -2 and g unequal?
True
Let v = -2 - -4. Let f = 2 + v. Which is greater: -0.2 or f?
f
Let d = -0.095 - -0.395. Is 1.7 != d?
True
Suppose -3*z - 3*z = -4*z. Is z equal to -1/8?
False
Suppose -3*r - 182 = 10*r. Let k be 2/((-2)/14 - 0). Is k <= r?
True
Let w = 24 - 11. Is 13 <= w?
True
Let u(x) = -x**3 + 6*x**2 - x + 8. Let n be u(6). Suppose -11 = -5*c - 5*j - 1, -4*j = -n*c - 2. Let a = 0 - -1. Is c at most a?
True
Let i = 2.02 - 0.02. Is -2 > i?
False
Let u(s) = -s**3 + 4*s**2 - 2*s - 2. Let x be u(3). Let m = -0.36 - -0.06. Let b = -0.2 - m. Which is bigger: b or x?
x
Let c(g) = -g**3 + 4*g**2 - 5*g + 5. Let h(f) = f**2 + 3*f + 2. Let n be h(-3). Let m be c(n). Is m greater than 0.1?
True
Suppose 0*q - b + 13 = 2*q, 3*q - 12 = -3*b. Which is greater: 10 or q?
10
Let l = 2 + 14. Suppose 2*x + 2*a + 2*a = l, -x - 4 = -2*a. Which is greater: x or 1?
x
Suppose 0 = 5*z - 2*z - 5*y - 34, 2*z + 2*y + 4 = 0. Let h = z - 2. Which is smaller: h or 3/7?
3/7
Suppose 0*x + 15 = 5*x. Suppose -3*v + 3*w + 3 + 6 = 0, x*v + 4*w = 2. Is v at most as big as 1?
False
Let v be (1/(-2))/((-10)/40). Is v >= -1?
True
Let q be 0 - 3 - (0 + 0). Let c be (-2)/q - (-16)/3. Suppose -5*h + a = -9, -a = 2*h - c*a - 22. Is h bigger than 0?
True
Let m = 7.55 - -0.45. Is -3 > m?
False
Let v(d) = d**2 + 2*d - 2. Let i be v(-3). Suppose 2*f + b = 2, 0 = f - 2*b + 8 + 1. Let l be f/6 - (-7)/42. Which is smaller: i or l?
l
Let q(c) = c**3 + 5*c**2 - 2*c - 1. Let b be q(-5). Let n be ((-30)/(-4))/5 - 2. Are b and n nonequal?
True
Let y(d) = -d**3 + 10*d**2 - 9*d + 6. Let u be y(9). Let c(w) = w**2 - 7*w + 6. Let v be c(u). Which is smaller: 1 or v?
v
Let h be (14/7)/(1 - 10). Do 1/2 and h have different values?
True
Let i be (3/45*-4)/2. Suppose -3*j + 2 = 5*x - 21, 0 = -2*j - 4*x + 18. Is i bigger than j?
False
Suppose 0*n = 5*p + 2*n - 25, 2*p - 3*n + 9 = 0. Let j be 2 + p + (3 - 2). Let s be ((-3)/j)/(2/(-4)). Which is bigger: 1/5 or s?
s
Let b be 0/(3 - (4 + 0)). Let c = -2 - -2. Suppose c = -5*l - i + 4, -5*l + 3 + 17 = 5*i. Is b less than or equal to l?
True
Let v = -11 + 8. Let z(p) = p + 2. Let l be z(-6). Is v at most l?
False
Suppose 0 - 10 = 2*f. Let d be (-3)/(2 - 6/4). Which is bigger: d or f?
f
Suppose -6*r - 10 = -11*r. Suppose 0 = 3*c + 3, 3*v + r*c = v + 10. Is 9 smaller than v?
False
Let q be 291/12 - (-1)/(-4). Let z = 47/2 - q. Which is greater: 2/3 or z?
2/3
Suppose -3*n + 22 = -5*d + 5, -19 = 4*d + 3*n. Which is smaller: d or -1?
d
Let j = -27 - -29. Is j <= 5/7?
False
Suppose -2 = 2*p - 2*j, 5*p + 6*j - 19 = 3*j. Suppose -3*x = p*x. Is x not equal to -1/4?
True
Suppose 4*n + 4 = 4*g - 2*g, -g = 5*n + 12. Which is greater: g or -5/9?
-5/9
Let v = -61 + 69. Do v and 0.6 have the same value?
False
Suppose 3*r + 2*l - 9 = -1, -2*r - 20 = -5*l. Is -8/7 <= r?
True
Let j be 3*(-44)/60 - (-6)/(-2). Which is smaller: j or -5?
j
Let l = 0.441 - -0.059. Which is bigger: l or 0?
l
Let a = 0.3 - 1.3. Let l = a + 1.1. Let j = 0 - l. Are j and 2/5 equal?
False
Let y(a) = -a**2 - 9*a + 4. Let z be y(-9). Suppose -l + 4*w + 4 = 0, w - 26 = z*l + 6*w. Let s = 5 + l. Is s != 2/5?
True
Let o(z) = -z**3 + 9*z**2 - 9*z - 4. Let b be o(7). Suppose 0*f = 3*c - 5*f + b, c + 3*f = 13. Is 0.2 > c?
True
Let h = 3 + 0. Which is greater: h or -1?
h
Let k(h) = -h**2 + 7*h + 2. Let v(t) = t**3 - 9*t**2 + 10*t - 9. Let p be v(8). Let i be k(p). Which is smaller: -1 or i?
-1
Suppose -2*z - 10 = -3*h + 4*h, 5*h + 85 = -3*z. Suppose 0 = -5*x + 2*v - 100, 3*x + 4*v - 24 = -84. Is h greater than x?
False
Let k = 7 - 7.3. Which is bigger: k or -5?
k
Let v(o) = 9*o + 18. Let n be v(-3). Which is bigger: n or -10?
n
Let z = -3 - -3.1. Let y = z + 0.9. Is y greater than 0.1?
True
Let r = 9.4 + -8.3. Is r greater than 0.1?
True
Let a be 8/36 + ((-21)/(-27) - 2). Are a and 3/61 nonequal?
True
Let r = -1 - -4. Let b be 2 - (2 - r - -4). Let i = 52/63 - 10/9. Is i less than or equal to b?
False
Let f = 0.039 + -0.036. Which is smaller: f or 0.1?
f
Let p = 22 + -21. Let a be ((-9)/(-6) - 2)*19. Let x = a - -11. Which is smaller: x or p?
p
Let g = -0.25 - -0.05. Is g at most -2/5?
False
Let m be 7406/198 + (-10)/45. Let t = 37 - m. Is -0.1 bigger than t?
True
Suppose 3*n + 14 = 3*q + 4*n, 5*q + 4*n - 21 = 0. Let k be -3 + ((-4210)/(-366))/q. Let j = -2/61 - k. Which is smaller: -0.2 or j?
-0.2
Suppose 45 = -5*g + 5*u, 3*u + 0 = -2*g + 7. Is g > -4?
False
Let v = 25.5 - 26. Are 0 and v nonequal?
True
Let x(o) = o**3 - 9*o**2 - 11*o + 7. Let s be x(10). Let a be (-2)/s - (-19)/(-3). Is a less than -6?
False
Let d = 5 + -12. Let j be ((-3)/6)/(1/10). Let n be (-2)/(-6)*(j - d). Does 2 = n?
False
Let f(p) = -3*p - 1. Let g be f(-1). Let k = 10 - 7. Suppose b + 8 = k*h, 2*b - 17 = -0*h - 5*h. Which is bigger: h or g?
h
Let l be (4/(-6)*3)/2. Let i be 6/(-4)*l/6. Let k be 1/4*(-8)/5. Is i <= k?
False
Let r(z) = -4 + 5 + 3*z - z - z. Let g be r(-2). Is 2 < g?
False
Suppose 7*a - 8*a - 1 = 0. Let r(i) = -i**3 - 7*i**2 - 5*i + 5. Let h be r(-6). Let q = -3 - h. Are q and a equal?
False
Let c = -0.08 + 0.55. Let o = c + 0.03. Does 0.1 = o?
False
Let s = -1 + 3. Let p = 2 - 3. Let m = s - p. Is m greater than 4?
False
Let d be (2/(-8))/(1/(-6)). Are 2 and d unequal?
True
Let g = -4.3 - 12.7. Let n = -16 - g. Are 0.9 and n nonequal?
True
Let d be 45/55 + 4/22. Suppose 2*h - i - 3*i - 2 = 0, i = 2*h + d. Are -1 and h equal?
True
Let o = -5 - 0. Let w = o - -3. Which is bigger: w or 4?
4
Let i(x) = -x - 1. Let k be i(-3). Suppose 5*z = k*z + 6. Let g be z/10 - (-2)/10. Do g and -1 have different values?
True
Let j be 2/(-3)*6/(-10). Suppose -5 = -5*s - 4*g + 2, -3*g + 6 = 3*s. Which is smaller: j or s?
s
Let o = -3021/7 - -435. Let d = -65/21 + o. Which is smaller: 11 or d?
d
Let w = 0.2 - 0.1. Is w > -3?
True
Suppose -22*i - 2 = -24*i. Suppose -5*l + 2*r - 6*r + 44 = 0, -2*l + 2*r + 14 = 0. Which is smaller: i or l?
i
Let d = -421 + 2119/5. Which is greater: 3 or d?
3
Let d be (-10)/24 + (-7)/28. Which is greater: d or -1?
d
Suppose 3*u = 27 + 3. Let f(s) = -s**3 + 9*s**2 + 9*s + 9. Let w be f(u). Is w smaller than -2/23?
True
Let v be (-11)/4 + 5/(-20). Which is smaller: -4 or v?
-4
Let y = -9 - -3. Let o be (y/(-16))/1*-2. Let v be (-12)/4 + 2*1. Which is bigger: o or v?
o
Suppose -z - 25 + 4 = -3*x, -x + 5*z = -21. Let c(f) = -f**3 + 5*f**2 + 5*f + 6. Let p be c(x). Let v = p - 3. Are -3 and v unequal?
False
Let r = 17 + -16. Which is smaller: r or 2/17?
2/17
Let a = -7 - 1. Let j be 70/(-22) - 24/a. Which is smaller: 0 or j?
j
Let a = 47 - 49. Is -2/9 greater than a?
True
Let k be ((-28)/30)/(14/280). Is k > -18?
False
Let a = -1 + 1. Let p = -2 + a. Is p at most as big as 2/5?
True
Suppose -5*d + 17 = -43. Suppose -2*m + 4*m - d = 0. Let u be (4/m)/(25/15). Which is smaller: u or -1?
-1
Let a = 81 - 54. Let t = 48 - a. Is 20 less than or equal to t?
True
Let i(j) = j**3 + 6*j**2 - 6*j + 8. Let s be i(-7). Let n = 0.3 + -0.1. Is s equal to n?
False
Let z(o) = o**3 - 3. Let l be z(2). Which is smaller: 0 or l?
0
Suppose -4*f = f - 20, 0 = 4*v - 5*f + 12. Suppose k + v = 3*k. Is k at most as big as 2/29?
False
Let r = -1.33 + 8.15. Let s = -0.18 - r. Do s and 0.1 have the same value?
False
Let y(t) = -t**2 - t. Suppose -a + 5*a = 0. Let w be y(a). Do -1.4 and w have different values?
True
Let d = 17.5 - -2.5. Let r = -19.1 + d. Let c = r - 0.9. Is 0.1 != c?
True
Suppose g + 5*f = 24, -g + 7*f = 2*f + 26. Which is bigger: -1/8 or g?
-1/8
Let x = 2.96 -