 Let x be (w + -1 - 2)*-1. Is n greater than x?
True
Let p be (112/(-77))/(-8) + (-130)/(-11). Which is smaller: 1 or p?
1
Let s be (341/9)/((-32)/(-2620)). Let t = s + -3102. Let q = -2/9 - t. Which is bigger: q or 0?
0
Let v(b) = 2*b**3 - 12*b**2 - 5*b + 1. Let a(y) = -y**3 + y**2 - y. Let t(s) = 3*a(s) + v(s). Let j be t(-8). Let o be (12/20)/((-36)/(-8)). Is j equal to o?
False
Suppose -4*x = -0*w - 2*w + 6, -2*w = -3*x - 6. Let h(f) = f**3 + 7*f**2 - 17*f + 12. Let v be h(-9). Is v bigger than w?
False
Let h be 40/6 + (-1)/(-3). Let r = h + -5. Let c = 1.8 - 2.8. Which is bigger: c or r?
r
Let x be 5/((-5)/2) + -1. Which is smaller: x or -7/2?
-7/2
Let v = -20.14 + 20. Is 2/7 at most as big as v?
False
Let i(b) = 3*b - 5. Let m be i(6). Which is smaller: m or 14?
m
Let a = -211/22 + 78/11. Which is bigger: -3 or a?
a
Let j = 2 - -1. Suppose -m = j*m. Suppose 2*p + 2 = -m. Which is smaller: p or 1/7?
p
Let b = -118/3 - -39. Suppose -s = s + 2. Is b smaller than s?
False
Suppose -r - 5*u = r - 4, 0 = -r - 3*u + 1. Is r at most as big as 8?
True
Let c = -19182/35 - -548. Which is greater: 1 or c?
1
Suppose 0 = -3*m - m. Suppose -f - 4*u + 7 = 0, 2*f - u + 4 = -m*f. Is f smaller than -7/4?
False
Let x be (-8)/6*21/(-14). Suppose 0 = y + m - 3*m - 6, -x*y = -2*m - 14. Suppose y*g = 3*g - 5. Which is bigger: -3/5 or g?
-3/5
Let l = -46 - -47. Let d = -6298/21 + 300. Which is smaller: l or d?
d
Let j = -209 - -323. Suppose 6*h + 2*m = 2*h + j, 0 = -3*h - 3*m + 81. Let z be 32/h + (-2)/5. Is 1/2 less than z?
True
Let t(n) = 4*n**2 + 8*n. Let k be t(-2). Let r = -2 + -7. Which is greater: r or k?
k
Suppose 0*m - 4 = -t + 2*m, 4*t = -5*m + 55. Which is smaller: t or 21/2?
t
Let b(o) = o**2 - 7*o + 1. Let r be b(7). Do r and 8/7 have different values?
True
Let t be 6 - 3 - (-46)/(-16). Let p(m) = m + 4. Let z be p(4). Suppose -11 - 3 = 4*w + 5*v, 3*v + z = -2*w. Which is bigger: t or w?
t
Let u(a) = a**2 - 1. Let z(m) = -5*m**2 - 5*m + 8. Let o(r) = -4*u(r) - z(r). Let g be o(-6). Is 3 less than g?
False
Let w = -4 + 3.88. Let u = 0.38 - w. Is u >= 1/4?
True
Let a be (1/(-3))/(-1)*-6. Is a bigger than -0.7?
False
Let c be 8/10 + (-1432)/(-10). Let v be 3/(-2)*c/(-27). Is 1 less than or equal to v?
True
Let c = -38 + 38.1. Let t = -1.9 - -2. Let a = 0.1 + t. Is c greater than or equal to a?
False
Let h = -147/8 - -135/8. Let q be 4*3/4*-1. Which is bigger: h or q?
h
Let m = -17 - -25. Which is greater: 6 or m?
m
Let c be (-2)/9 + (-66)/(-54). Is 1 >= c?
True
Let g be 1/(-2)*(-20)/(-50). Which is bigger: g or -0.09?
-0.09
Suppose 0*s = 4*s + 16. Let o = -6 - s. Does 1/2 = o?
False
Suppose 182 = 5*x + 272. Is x greater than -33/2?
False
Let z be 6/4 + 5/(-10). Is z bigger than -2/17?
True
Suppose 0*t = 3*t - 15. Suppose 3 + t = -2*g. Which is greater: g or -5?
g
Let n = -6.06 - -0.06. Let f = -5 - n. Is 1 at least f?
True
Suppose -6*x + 3*x - 20 = 5*u, 5*u - 10 = 3*x. Is -2/3 >= u?
True
Let m = 5.87 + 0.13. Let f = m + -5.99. Let i = f + -1.01. Is -0.4 at most as big as i?
False
Let n = 4 + -10. Let o be (-1)/6 + (-4)/n. Is 1 > o?
True
Suppose -24 = -4*t - 5*j, 0 = t - 2*j - 7 + 1. Let g be t/(-21) + 3/(-14). Which is smaller: -2 or g?
-2
Let i be 22164/(-26) + (1 - 3). Let f = 854 + i. Which is smaller: f or 1?
f
Let v be (-26)/(-22) + 1 + -2. Suppose -6*w = -w - 20. Suppose 5*a = -2*b + 13, -2*a - w*b + 19 = a. Is a < v?
False
Suppose 0 = -6*n - 31 + 25. Which is greater: 1/4 or n?
1/4
Let i = -16 + 4. Is -12 at least as big as i?
True
Let p be ((-45)/60)/(21/(-8)). Is -10 < p?
True
Let g(m) = 2*m**2 + 9*m + 1. Let p be g(-6). Suppose 4*o - 3*s = p, 4*s + 25 = 5*o - 0*s. Does o = -2/5?
False
Suppose 2*f + 4*d - 6 = 0, 3*f + 4*d - 4 = 1. Which is smaller: f or 6?
f
Suppose 3*x = -0*x + 30. Let w = -9 - -12. Suppose -w*o - 45 = o - 5*y, -4*o - x = 2*y. Is o bigger than -3?
False
Let i = 2.81 + -3. Which is bigger: i or 0?
0
Let f(o) = o - 8. Let m be f(3). Let q be (-2 - -7)/(-1 + 0). Is m at most q?
True
Suppose 5*q + 2*g = -10, -q + 15 = -g - 2*g. Which is smaller: q or 3/31?
q
Suppose 6 = -5*i + 3*i. Let q(a) = a - 2. Let w be q(0). Which is greater: w or i?
w
Let d be (-12)/21 - (0 + 0). Which is bigger: d or -2?
d
Suppose -4*y = -5*w - 1, 3*y + 5*w = -y - 9. Are y and -1/19 equal?
False
Let f = -2.8 - -3.1. Which is greater: -4 or f?
f
Let p = 178/77 - -20/77. Which is smaller: p or 3?
p
Let p = -9/20 - -23/140. Let f = 6.9 - -2.1. Which is bigger: p or f?
f
Suppose 0*n = n. Let f = -4 - -7. Let j = 2.9 - f. Is j at most n?
True
Let j be ((-32)/24)/(10/3). Let g = 6 - 19/3. Which is bigger: g or j?
g
Let a be ((-7)/((-84)/(-32)))/(-2). Is -3 < a?
True
Let r(i) = 3*i**3 - 14*i**2 + 2*i + 7. Let w(s) = s**3 - 7*s**2 + s + 4. Let m(o) = 2*r(o) - 5*w(o). Let p be m(-7). Let c = 4.3 - 0.3. Does c = p?
False
Let b = 46 + -43. Is 1 equal to b?
False
Let u(t) = t**3 + 9*t**2 - t - 4. Let f be u(-9). Let p be (-4)/(-18) - (-86)/18. Is f equal to p?
True
Let z = -12 + 8. Which is smaller: z or -20/7?
z
Let t = -14 + 14. Suppose t*v - v = 0. Which is greater: 8/9 or v?
8/9
Let b = -4 - -3.9. Let t = 0.07 - 6.07. Let j = t + 6. Which is greater: j or b?
j
Let g = -140 + 139.6. Which is bigger: g or -4/3?
g
Let v(a) = -a**2 - 7*a - 2. Let x = 3 + -10. Let d be v(x). Let k = -3 + 2. Is d smaller than k?
True
Let o = 22 - 15. Suppose 0 = -o*n + 2*n. Is n less than -2/3?
False
Let z be (-1 + (-2)/(-6))/2. Suppose 0*t = -4*t - 3*q + 5, -5*t + 14 = -4*q. Suppose -5 = -t*l - p - 0, -l - 5*p + 25 = 0. Is l smaller than z?
False
Suppose -4*y + 16 = -2*f, -4*f + 0*f + 4 = y. Suppose 4*l - 16 = 0, f*n - 3*n + 4*l = 7. Let z(x) = -x**2 + 2*x + 3. Let t be z(n). Which is smaller: 2/5 or t?
t
Let f = 3 - -2. Suppose -2*r + 10 = -4*j - 4*r, 5*j - 25 = f*r. Let g be 32/(-14) - (-2 + j). Which is greater: 0 or g?
0
Suppose 4*p + 20 = 0, -2*k + 470 + 83 = 3*p. Let l = k + -4256/15. Which is smaller: 1 or l?
l
Let c = 33/4 - 9. Is -14 at most c?
True
Let y(p) = p**2 + 3*p. Let k be y(-3). Let v be (12/(-18))/((-2)/(-6)). Let g be (1 - v)/(4 + -1). Is k <= g?
True
Let k = -87/2 - -779/18. Which is bigger: k or -0.2?
-0.2
Suppose 2*w = 5 - 1. Suppose w*u = -7 + 3. Let l be 8/(-3)*(-2)/(-8). Which is bigger: u or l?
l
Let p(q) = -q**2 - 1. Let t be p(3). Let z = t + 14. Suppose 0 = -0*h - z*h. Which is smaller: h or -2?
-2
Let i be (0 - 0) + (-1)/4. Let t(b) = -b**2 + b. Let l be t(0). Suppose l = n + 5, 5*n = 3*c - 22. Is i at least as big as c?
True
Let n be 3/(-4) + 9/(-12). Which is bigger: n or -3?
n
Let r = 5 - -2. Let k(m) be the second derivative of m**5/20 - m**4/2 - 7*m**3/6 - m**2/2 + 4*m. Let q be k(r). Is 0 less than q?
False
Let m be (-6)/9 + 24782/48. Let i = -515 + m. Let q = 47/88 - i. Which is bigger: q or -1?
q
Let j = 5 + -5. Let a be 2/(-3) - 14/(-30). Is j less than a?
False
Let q = 11.1 - 11. Which is smaller: -9 or q?
-9
Suppose -3*u - 26 - 29 = -4*m, 4*u = -20. Is 11 <= m?
False
Let t = 0.79 + -1.31. Which is greater: t or -2/3?
t
Let i(f) = -3*f**3 - 3*f**2 - 2*f - 1. Suppose 0 = 5*h - h - 8. Let c(k) = k**3 - k - 1. Let m(y) = h*c(y) + i(y). Let u be m(-2). Is u equal to 2?
False
Let r be 63/(-12) - 2/(-8). Let t be 1/((-1)/(-2)) - -2. Let k = r + t. Are -2 and k unequal?
True
Suppose -3*u - 4*g = -6*u + 1, -4 = g. Which is bigger: -4 or u?
-4
Let i = -5 - -6. Let w be (-24)/(-4)*-1*2/(-114). Does i = w?
False
Let i = 6 - 3. Let w = 2 - i. Are -2/3 and w non-equal?
True
Suppose 0 = -4*g - 8 + 24. Let s(y) = -y + 1. Let p be s(-1). Suppose 11 = 3*t + p. Is t <= g?
True
Let f = 48 + -49. Which is bigger: f or -1/10?
-1/10
Let t = -2 - -2.2. Let l = 4.88 - -0.12. Let i = -5.2 + l. Which is smaller: t or i?
i
Suppose 0 = -4*y - 8. Let b be (y + (-14)/(-4))/3. Which is smaller: 2 or b?
b
Let h(b) = -2*b - 1. Let l be h(-1). Let m be (2*-1)/(-7*3). Which is greater: l or m?
l
Let w = 105 + -97. Are 7 and w equal?
False
Suppose i - 7 = 5. Let c = i - 5. Let w = 10 - c. Is w > 2?
True
Let d(l) = -l**2 + 193. Let j be d(0). Let t = 18 - j. Let c be (-10)/t*(-6 - -1). Are -1 and c equal?
False
Let j = 0.07 + -0.17. Is j at least 0.4?
False
Suppose -3 = -2*t + t. Suppose 8 + 7 = t*m. Is 6 at least m?
True
Let w = -0.6 - -0.7. Let l be (-2)/(3/(27/24)). Which i