 -16*w + 5. Which is bigger: w or -1/86?
w
Suppose 4 = -3*a + 1. Let l = a - 0. Let x(t) = -3*t**2 + 1. Let b be x(l). Which is greater: b or 1?
1
Let j = -18 - -20. Is j at least -1?
True
Suppose -12 = 4*q + 4*m - 48, 0 = 3*q + 2*m - 23. Let n = q - 13. Is n less than -6?
True
Let y = 15 - 6. Which is smaller: y or 1/2?
1/2
Let n = -5 - -7. Let l = n - 4.1. Let x = 0.1 + l. Is x >= -2/5?
False
Suppose -a + 14 = 5. Let d = a + -5. Suppose 2 = -d*y + 6. Which is smaller: 5 or y?
y
Let m(v) = v**3 - 4*v**2 + 4*v - 2. Let j be m(3). Let f be 3 + -26*(-3)/(-30). Is f greater than j?
False
Let o be (-6064)/24*(-2)/(-4). Let v = 128 + o. Is 1 at most v?
True
Suppose -2*y = -5*a - y - 8, -3*y + 7 = 2*a. Is a smaller than 3/13?
True
Let i = -57 + 60.3. Let m = i - 0.3. Let x = -3.2 + m. Which is smaller: -1/3 or x?
-1/3
Let l be ((-2)/(-4))/(2/(-40)). Are -10 and l non-equal?
False
Suppose -4*r + 2*m + 16 = 0, -2*r + 5 = 3*r + 5*m. Let j = r + -1. Which is greater: j or -1?
j
Let x = 749/3 + -17212/69. Do x and -1 have the same value?
False
Let f = 2 - 1. Let c = -13 - -17. Let w be 12/80 - c/10. Is w > f?
False
Let w = 2 + -1. Let k = -107/756 - -5/28. Is k at least as big as w?
False
Let k = -2 + 5. Let h be (4/18)/(k/(-9)). Is 0.1 equal to h?
False
Let f(h) = -h + 4. Let m be f(0). Suppose 0 = -m*z + 2*z + 4. Suppose -k = 3*k - 4. Is k <= z?
True
Suppose 3*s = -b + 6, -2*b + 4 = -s - 1. Let r = 13 - 105/8. Is s less than or equal to r?
False
Let u be (-1 + 3)/10*(-10)/8. Let w = 153/260 + -9/65. Let c = u + w. Which is greater: c or 2/3?
2/3
Suppose 6*x - x - 25 = 0. Suppose -x*o + 1 + 24 = -2*h, -5*h + o = 5. Suppose 0*t = -3*t - 9, 5*t + 16 = -v. Does h = v?
False
Suppose p - 2*p = -5. Suppose -3*i - 36 = -3*t - 0*i, 0 = -5*t - p*i + 30. Which is smaller: 8 or t?
8
Let w = 1.59 - 1.52. Which is greater: w or 6/11?
6/11
Suppose -o + 50 = o. Let y be ((-10)/o)/((-16)/5). Let w = -1.1 + 0.1. Which is smaller: w or y?
w
Let j be 2 - -2*(-2)/(-4). Suppose 0 = 5*g + b - 18, 1 = -j*g - 5*b + 3. Suppose -f = 2*z + 2, -2*f - 10 = f + g*z. Is f less than or equal to -6?
True
Let q be (-4 - -2) + 1 + -1. Let f be 5/(250/96) + q. Let w be (-6)/(-9)*(-6)/4. Which is smaller: f or w?
w
Let u(o) = o**3 + 4*o**2 + o - 3. Let k be u(-3). Let m = 19/24 + 97/120. Is m less than k?
True
Let p(w) = -4*w - 1. Let l be p(2). Let g be l/96 - 2/6. Let f = 3/32 + g. Which is greater: f or 1?
1
Let p be (-64)/168*9*1. Is p bigger than -3?
False
Let n = 23.1 + -2.1. Let l = n - 26.2. Let x = l - -5. Is x at most as big as -0.2?
True
Let v(w) = w**3 - 18*w**2 - 20*w + 18. Let x(o) = -o**3 + 17*o**2 + 19*o - 18. Let n(y) = -6*v(y) - 7*x(y). Let a be n(12). Is 5 != a?
True
Let z be (0 - 0)*(-7)/14. Let g be 3/(-6) - 89/2. Let a be 10/g*(-6)/(-8). Is z smaller than a?
False
Suppose 0 = v + 2*o - 2, 0 = 7*v - 6*v + o - 1. Suppose 2*g - 3 = 3*n, -4*g + 2*g - 5*n = -11. Let k be 1 - 3 - (1 - g). Is v bigger than k?
False
Let w = -1397/372 - -1/186. Let h = w - -7/2. Which is greater: -1 or h?
h
Let b(u) = -u**3 + 3*u**2 + 17*u - 4. Let v be b(6). Are -10 and v non-equal?
False
Let r = -199 + 200. Which is smaller: r or 14/15?
14/15
Let t = -3.11 - -3. Let b = -0.69 + t. Let u = b + -0.2. Which is smaller: -0.3 or u?
u
Let d = 1 - 2. Let c = 0.9 + d. Let j be ((-2)/(-16))/((-22)/(-44)). Which is bigger: c or j?
j
Let c = -761 + 6097/8. Which is smaller: c or -0.1?
-0.1
Suppose o - 216 = -5*x - 55, -4 = -4*o. Suppose -32 = -4*k + 2*q, 2*k - x = 5*q - 0*q. Suppose -k*i = -2*i + m - 6, 4*i - 8 = -2*m. Is 3/4 < i?
True
Let s be 11/(0 - -1) + -2. Suppose s = -0*v + 3*v. Suppose 3*y - v*j + 6 = 0, -5*j + 3 = -4*y - 7. Is y smaller than -1/3?
False
Let a = 3 + -7. Let r be (a/(-27))/((-8)/(-12)). Let l(p) = p - 1. Let k be l(1). Which is greater: r or k?
r
Let k = 30563/14 - 2206. Let f = k - 3211/70. Let q = 69 + f. Which is smaller: -1 or q?
-1
Let d(m) = 2*m + 23. Let b be d(-11). Which is greater: -0.1 or b?
b
Let t(p) = -p**2 - p + 3. Let l be t(0). Is 13/6 at least l?
False
Let b = 9 - 5. Suppose 0 = -3*z + b*z - 2. Let n = -1 + 4. Which is smaller: z or n?
z
Let b(g) = g**3 + 7*g**2 - 7*g - 8. Let j be b(-8). Let p be ((-8)/(-20))/(j/(-10)). Let h be (-4)/14 + (-5)/7. Is p >= h?
True
Let m(y) = -y - 3. Let u be m(-4). Let j be 0 + 6/135*3. Which is smaller: u or j?
j
Let m = 40 + -28. Let s be 18/m + 2/4. Is 2 less than or equal to s?
True
Let n = -0.02 + -1.98. Let g = n - 0. Which is smaller: g or -1?
g
Let t = -1.53 + 106.53. Let z = t + -105.94. Let q = -0.06 + z. Is 4 at most q?
False
Let a = -1887/13 + 145. Let n = -27 + 27. Is n greater than or equal to a?
True
Let f be -1*8/12 - (-14)/(-3). Which is smaller: f or -5?
f
Suppose 0 = -5*v + v + 8. Suppose -v*l + 3 = l + 4*g, 0 = -4*g. Let k = -260/3 + 88. Which is smaller: k or l?
l
Let b(a) = -a - 5. Let f be b(-7). Suppose f*j - 30 = -3*j. Which is bigger: j or 7?
7
Suppose 2*h + 2 = 6. Let l(g) = -g**3 - 2*g**2 + 2*g + 6. Let s be l(-4). Let w be (-4)/s*(1 + -6). Which is bigger: w or h?
h
Suppose 4*v = 3*v + 15. Are 15 and v nonequal?
False
Let u = 195 - 1366/7. Suppose 4*d - d = 0. Is d bigger than u?
True
Let c(z) = 5*z**2 - z + 1. Let t be c(1). Suppose t*g - 15 = 5*j, 0*g = -3*g - 2*j - 6. Suppose g = -q - 1 + 2. Is q != -1/4?
True
Let c be 39/(-6) - (-1)/(-2). Which is smaller: -8 or c?
-8
Let k be ((-6)/172)/((-108)/(-48)). Is 1 less than k?
False
Let t = -23 + 22.9. Let n = 1 - 1.2. Is t at most as big as n?
False
Let a = -199/25 + 44/25. Which is smaller: -7 or a?
-7
Let i = 1041/5 - 209. Let d(x) = x**3 - 5*x**2 + 4*x + 3. Let a be d(4). Let g = -5 + a. Which is smaller: i or g?
g
Let c = -1 + 1. Let g = 5 + c. Let y = g - 3. Which is greater: y or 1?
y
Let d be 0 + ((-28)/10 - -3). Let z be (-3)/9 + (-4)/(-3). Let m(f) = -f**2 - f + 1. Let k be m(z). Are k and d equal?
False
Let c(m) = -8*m**3 + 5*m**2 - 4*m + 5. Let h = 8 + -14. Let k(a) = 17*a**3 - 11*a**2 + 9*a - 11. Let n(z) = h*k(z) - 13*c(z). Let b be n(1). Is 2 bigger than b?
False
Let j be ((-12)/21)/(12/42). Let h be (-2)/4*1*4. Is h != j?
False
Suppose k = 4*u + 3*k - 50, -4*k - 8 = -u. Is u > 11?
True
Suppose -3 = -3*u, 0 = 2*r - 4*r - 5*u + 11. Suppose -3*m - 5*c = -179, -r*c + 0*c + 183 = 3*m. Let q = m - 317/5. Is -0.1 < q?
False
Suppose 2*z - 1 = -3. Which is bigger: -1/8 or z?
-1/8
Suppose -5*c - 4*y + 90 = y, 2*y = 3*c - 49. Let v = c + -33/2. Which is greater: -4 or v?
v
Suppose r = 4*t + 7, -2*r + 1 = -4*t - 21. Is r at most 17?
True
Let f(l) = -l**2 + 5*l - 5. Let r be f(4). Which is smaller: 3/86 or r?
r
Let m = -6 + 6.14. Let a = 0.44 - m. Let y be -2*(-1)/4 + -1. Are y and a nonequal?
True
Suppose 4*h - 5*g - 20 = 0, 13 = -4*h - 5*g - 7. Let a(y) = y**2 - 8*y - 7. Let w be a(9). Suppose w*j = -2*j. Are j and h equal?
True
Let r = 11/3 - 10/3. Is -1 at least as big as r?
False
Let k be (-8)/20 - (-6)/40. Let g = -81/65 - -7/5. Which is greater: k or g?
g
Let d(u) = 5*u**2 - u + 3*u**2 + u**3 - 2 - 3*u**2. Let l be d(-5). Suppose 5*o - 10 = -0. Which is greater: o or l?
l
Let q = -3 - -2. Suppose 4*u - 96 = -0. Let k be 1 - -10*(-2)/u. Which is greater: k or q?
k
Let z be (-4)/38 - 0/2. Let s be -4 + 3 - 1*(-4)/4. Are s and z non-equal?
True
Let o be (4*-1)/(2/(-4)). Suppose 5*b - 2*n - 1 = -7, 0 = -3*b - n - o. Suppose -5*h + 0*h = 5. Is b at least h?
False
Let o = -84 - -81. Let x = 4 - 7. Is x at most o?
True
Let i be (-8)/204*(-3 - 54/(-8)). Is i equal to 1?
False
Let m be -5 - (44/(-8) + 4). Which is smaller: m or -1?
m
Suppose -g + 20 = 4*p + 4*g, -g + 5 = p. Does 4 = p?
False
Let j = -5.444 - -0.144. Let a = -5.06 + 0.06. Let f = j - a. Is -1 greater than or equal to f?
False
Let c = -1.6 - -1.5. Which is bigger: c or 13/5?
13/5
Let r be ((-2)/(-4))/(1/(-2)). Let p = -349/2 - -206. Let g = 1075/34 - p. Are r and g equal?
False
Let y(p) be the third derivative of p**5/60 - p**4/24 - p**3/3 + 4*p**2. Let b be y(2). Let d = 2 + -1.99. Which is bigger: b or d?
d
Let k be 88/99 + 2/(-9). Suppose -4*z - z + 5 = 0. Is k > z?
False
Let q be (2 - 129/21)*-22. Let n = q - 91. Suppose -5*o + o = 0. Which is greater: n or o?
n
Let y be 1/(-5) + (-2)/(-10). Suppose y = 5*i + 1 - 6. Is i not equal to -1?
True
Let k = 13 + -10. Which is bigger: 