 3*d - 2. Let b be w(-8). Which is bigger: b or -41?
-41
Suppose z - 5*z = -2*z. Let s be 3/(-9)*(-6)/(-10). Which is smaller: z or s?
s
Let p(b) = b - 10. Let z(r) = -3*r + 21. Let c(n) = -5*p(n) - 2*z(n). Let i be c(-8). Suppose i = -0*s - s. Are 1/4 and s unequal?
True
Suppose 4*a = 2*a. Let j = 163/65 + -30/13. Is a > j?
False
Let u(n) = n**3 + 3*n**2 - 3*n + 3. Let d be u(-4). Which is smaller: d or -2/17?
d
Let u(l) = l**2 - 3*l + 6. Let v(d) = 2*d**2 - 7 + 2*d + 0*d**2 - 4*d**2. Let k(r) = 3*u(r) + 2*v(r). Let m be k(-6). Which is bigger: m or -1?
-1
Let q be (11 + -10)*46/2. Let t = 22 - q. Which is greater: t or -7/3?
t
Let f = -3477/4 - -865. Which is greater: f or -5?
f
Let k = 0 - -2. Let m = -3 + 4. Let q = m - k. Is -1 >= q?
True
Let j(k) = k + 5. Let p = 3 + -7. Let i be j(p). Let n be -4*(1/10 + 0). Is n equal to i?
False
Let u = 3.2 + -3. Let a = 2 + -1.8. Let w = a + 0.8. Which is smaller: w or u?
u
Let j be (-18)/45 + (-68)/5. Which is smaller: j or -13?
j
Let o = 0.9 + 0.1. Which is bigger: -3 or o?
o
Let f be -6 + 5 + (-2)/(-2). Let d = 4 - 2. Let q = f + d. Is 2 >= q?
True
Suppose 17 = 5*d + 22. Which is greater: d or 1/11?
1/11
Let f(k) = -k**2 + 5*k + 1. Let p be f(4). Suppose -10 = 5*t + p. Let w = t + 4. Is 2 at most w?
False
Suppose 10*h - 320 - 250 = 0. Is h greater than or equal to 59?
False
Suppose i - 75 = 5*c + 2*i, c + 31 = 3*i. Is c <= -15?
True
Let z = -0.4 + 0.34. Let a = -0.66 - z. Let q = -2.6 - a. Is q not equal to 1?
True
Let y be (-10)/(-55) - 2/11. Let z be 5 - (-1*1 + 1). Suppose -4*j - 16 = y, 5*j - 7*j - 18 = z*n. Is n at least as big as -2/3?
False
Let x be (4/6)/((-140)/30). Which is bigger: x or -3/4?
x
Let t(w) = 5*w. Let f be t(1). Suppose -21 = f*m + 5*j - j, -j - 19 = 4*m. Let u(a) = a**3 - 3*a**2 - 21*a + 13. Let l be u(6). Is l less than m?
False
Let x = -5 - -5. Suppose -p = -x - 1. Is 1/11 != p?
True
Suppose 0 = m - 4*n + 3, -m + 3*m + 5*n = 20. Let q(z) = -z**2 + 5*z + 6. Let t be q(m). Let h be -2*((-3)/t + 1). Is h != -1/4?
True
Let t be -4 + ((-3940)/(-495))/2. Is -1 < t?
True
Let k = -0.1 - -0.6. Let u = k + -0.3. Let y = -0.6 - -0.7. Is y >= u?
False
Let n(i) = -i**2 + 7*i - 6. Let y be n(4). Let s be 60/(-18) - 1/(-3). Let k = s + y. Which is greater: 2 or k?
k
Let b(f) be the first derivative of -f**2/2 + 10*f - 1. Let r be b(8). Let n = -5 - -7. Is r at least n?
True
Let x = -0.6 - -0.8. Let m = x + -4.2. Let b = m + 4. Is b less than or equal to 0?
True
Let r(g) = g**2 - 4*g - 3. Let s be r(3). Suppose 5*m - 12 = 7*m. Do s and m have different values?
False
Let l(k) = k**3 - 6*k**2 - 6*k - 8. Let i be l(7). Let d be 5*((-8)/10)/(-2). Let q be (0 + -1 + d)*0. Is i at least q?
False
Let x be ((-2)/(-8))/(0 - 3). Which is smaller: 1 or x?
x
Let k = 7 - 5. Let q be k/18*(3 - 7). Let c be (-2)/(-10) + 4/5. Which is bigger: q or c?
c
Let y = -36/23 - -658/391. Is y smaller than 2/3?
True
Let x be (10/(-156))/(3/(-66)). Let h = x + -573/13. Let t = h + 43. Is t equal to 0?
False
Let x = 0.9 + -8.9. Let d = 6 + x. Which is bigger: -1 or d?
-1
Let y = 159 + -1115/7. Which is smaller: 2 or y?
y
Let k = 2 + 0. Suppose -k - 3 = h. Let b(g) = -g**2 - 7*g - 6. Let n be b(h). Which is smaller: 3 or n?
3
Let w(m) = -m**2 + 7*m - 8. Let j be w(6). Let o = -0.01 + 1.01. Does j = o?
False
Let f be 4/(-5)*(-35)/14. Suppose -5*r = -f*p - p - 7, -r + 4*p = 2. Suppose 0 = 2*m + o + 1, m - r*o = -7*o + 4. Is m >= -1?
True
Let u(v) = v**2 + 11*v + 12. Let m be u(5). Is m less than 93?
True
Let g be (-5)/2 - 2/(-4). Let h = 1 - g. Suppose -4*v + h*v = 0. Is v not equal to 2?
True
Let f(r) = -r**3 - 9*r**2 - 3*r + 10. Let h be f(-6). Let g be (12/(-15))/(4/h). Which is bigger: 15 or g?
g
Let n be ((-6)/4)/(258/(-88) + 3). Is n < -21?
True
Let d = 10/13 - 422/143. Is d at least -2?
False
Suppose 3*u - 3*f + 5*f = 70, u - 5*f = -5. Which is smaller: u or 19?
19
Let m(y) = 2*y - 4. Let t be m(3). Suppose 0*g + 8 = t*g. Suppose -8*c + 3*c = 5*z + 5, 26 = -2*z + g*c. Is z bigger than -3?
False
Let w = 13 + -11. Suppose 2*o - o - 39 = -5*c, 2*c = -o + 15. Suppose -2*y - w*y + c = 0. Which is greater: 1/3 or y?
y
Suppose -6*g - g - 7 = 0. Is 1/6 smaller than g?
False
Let t = -5 + 5. Suppose 0*w - 4*w + 4 = t. Which is bigger: 1/12 or w?
w
Let k be 75/100 - (38/8 - 1). Which is smaller: k or -4?
-4
Let o = 0.98 + 0.14. Let p = -0.12 + o. Is 0.2 smaller than p?
True
Let n be (-2 - 0) + (-50)/(-3). Let p = -15 + n. Which is bigger: -2 or p?
p
Let l = -1.21 + 1.05. Which is smaller: l or 2/3?
l
Let s = -7/20 - -109/540. Are -1 and s equal?
False
Let k = 1.3 + -0.3. Suppose -3*n = -2*n. Is k equal to n?
False
Let q = -17 - 97. Let b = 564/5 + q. Is b not equal to 2/9?
True
Let u = 509/3 - 157. Let o = u - 278/21. Let g = -4 - -3. Which is smaller: o or g?
g
Let m = -40 + 62.2. Let v = 22 - m. Are v and 3/5 unequal?
True
Let b be 2/(-6)*(-10 + 13). Which is smaller: b or -18/11?
-18/11
Let h(o) = o**3 + 2*o**2 - 5*o - 5. Let q be h(-3). Which is smaller: q or 4?
q
Let i be (13/(-26))/((-28)/(-6)). Let t = 37/84 + i. Is 1 bigger than t?
True
Let u = 83.05 - 85. Let i = 0.05 - u. Let t = -3 + i. Which is smaller: 1/2 or t?
t
Let o = -9 + 15. Let r = 5 - o. Let m = r + 0.9. Is m < 2?
True
Suppose 5*j = -u + 11, 5 = -2*u + 7*u. Is 3/2 < j?
True
Let n be 2/(-8) - (-26)/8. Suppose 109 = 4*a + 97. Is a smaller than n?
False
Let j(c) = c + 1. Let i(w) = -14 - 5*w - 4*w + 0*w**2 + w**2. Let h be i(10). Let n be j(h). Is -2 < n?
False
Let y be (-2 - 0)/(1/6). Let t = -15 - y. Which is bigger: -1 or t?
-1
Let d be (-8)/(-6)*(-3)/(-2). Let t = 6 - d. Suppose t*p - 7*p = -3. Is p bigger than 1?
False
Suppose 3*n = -2*k - 2*k + 12, 5*n - 20 = k. Let t be 1 + k/(2 - 1). Let b be (-18)/8 + t + 1. Which is smaller: b or 0.3?
b
Suppose -5*i + 4*q = 31, -32 = 2*i + 2*i - 5*q. Let t(k) = -k**3 - 7*k**2 - 2*k + 22. Let z be t(-6). Is i at least z?
False
Let t = 19.89 - 20. Let v = -5.11 - t. Let d = 4 + v. Do d and -1 have the same value?
True
Let y = 12 - 16. Does -3 = y?
False
Let n be (4/16)/(11/(-12)). Let i = -1/44 - n. Which is bigger: i or -1?
i
Suppose r - 4*s - 12 = 0, 0 = 6*s - 3*s + 9. Suppose -4*g = 5*w, r = 2*w - 3*w + g. Suppose d + 3 = -w. Are -2 and d equal?
False
Let x(b) = -b**2 + 7*b + 2. Let h be x(7). Let l be ((-348)/8)/((-1)/h). Let f = 437/5 - l. Which is smaller: -1 or f?
-1
Let r be (-4)/6 + 12/18. Which is bigger: -15 or r?
r
Let c(w) = w**2 - 8*w - 8. Suppose 4*t + g + 14 = 4, -2*g - 5 = 3*t. Let p(x) = -4*x - 3. Let j be p(t). Let m be c(j). Which is greater: m or 2?
2
Let t(j) = 4*j**2 - 2*j + 1. Let n be t(1). Suppose -n*s - 2*s = 0. Suppose 0 = -a - s*a + 1. Is 1 at least as big as a?
True
Let h = 0.7 + -4.7. Let r = h + 4. Do r and 0.2 have the same value?
False
Let r be 2/(-7) + 23/7. Suppose -y + 2*z = 6, 5 = -r*z + 17. Let f be 0 + 1 - (-3 + y). Which is bigger: 1 or f?
f
Suppose 7*c + 11 = -3*b + 2*c, -5*c = 5*b + 25. Let x = b - -11. Suppose 2*g - 14 - x = -4*r, -g = -3*r + 26. Which is smaller: r or 6?
6
Let o = -105 + 523/5. Which is smaller: o or 0.1?
o
Let f = 59 + -60. Let q = -0.29 + 0.3. Which is greater: q or f?
q
Suppose 1 = i - 2. Let x(o) be the second derivative of -o**5/20 + o**4/3 - o**3/2 + o**2/2 - o. Let a be x(i). Which is smaller: 0.1 or a?
0.1
Suppose -j + 1 = -3*x - 5, 5*j = 15. Let t = x - -4. Are t and 3 nonequal?
False
Let r be (-2 - 1) + 7 + -12. Is -3 greater than r?
True
Let p = 3.3 - 3.2. Which is bigger: p or -37?
p
Let c = -5.4 + 5.7. Is c smaller than 0?
False
Suppose h + h - 4 = 0. Suppose -f - 12 = h*f. Let g be 7*f*(-1)/14. Which is greater: 1 or g?
g
Let b be 1*(-1 - 0 - 0). Which is smaller: -8/55 or b?
b
Suppose 0*i = -4*i + 12. Let g(a) = a**3 - a**2 + 2*a + 8. Let f be g(0). Suppose -3*o = 3*d - 15, 0 = -f*o + i*o + 4*d - 20. Which is bigger: -1/4 or o?
o
Let s be (5 - 6)*3/57. Is s at least as big as 1/2?
False
Let j be (-6 + 2)*(-2)/(-4). Are j and -5 equal?
False
Let b = 1.98 - 0.18. Let o = b - 0.8. Is -5 greater than o?
False
Suppose 5*c = 6 - 11. Suppose 0 = 2*h + 8, 5*n + 4*h = 3*h + 16. Suppose n*w - 2*u + 22 = 0, -u + 4 - 11 = 4*w. Which is smaller: w or c?
w
Let n(h) = 14*h. Let l be n(1). Let j be 38/(-19)*15/(-2). Which is greater: l or j?
j
Let 