 of 3 - 1/2*w**2 + 4*w. Let y be z(3). Which is smaller: y or 1/3?
1/3
Let f be (16 - 19)/(-2 + (-13)/(-2)). Which is bigger: f or -0.1?
-0.1
Suppose -h = 4*h - 15. Suppose -2*x = 4*r - 15 - 1, -2*x = h*r - 12. Suppose -3*i = -2*k - 15, 2*k - 3*i = 2*i - 25. Is k less than x?
False
Let j be -4 + 1*(-4 - -8). Which is greater: -4/11 or j?
j
Let i = -6.5 - -3. Let a = 0.5 - i. Let o = a - 6. Which is greater: -0.2 or o?
-0.2
Let m be (-4 - -7) + 3586/(-952). Let a = -2/119 - m. Suppose 0 = -0*h + h. Is h less than or equal to a?
True
Suppose 5*i + 3*v + 3 = 0, -i + v - 4 = 5*v. Which is bigger: 8/11 or i?
8/11
Let d be 29/16 + 3 - 5. Which is greater: 1 or d?
1
Let s be 1220/(-176) - (-8)/44. Which is greater: -8 or s?
s
Let i = -11 - -36. Suppose -5*c + 4*h + 17 = h, 5*c = -5*h + i. Is 4 less than c?
False
Let j = -30 + 49. Which is smaller: 0.1 or j?
0.1
Let y(h) = h**2 + 3*h - 2. Let x be y(-4). Let n be 1/((-2)/4)*x. Let c(u) = -u**3 - 4*u**2 + u + 2. Let o be c(n). Is o > -1/2?
False
Let m = 7.8 + -0.8. Does 0.2 = m?
False
Let d = 32 + -32.4. Is 2 less than or equal to d?
False
Suppose 0 = -4*n + 4. Suppose -3*u + n = -2, -3*k + 5*u = 8. Is k >= -1?
True
Let m = -0.15 - 0.85. Is m at least as big as -0.5?
False
Let m = -97/266 - -3/38. Let b = -16/51 + -6/17. Does b = m?
False
Let x = 6 + -4. Let h be 0/(1 - (x + 1)). Suppose -4*m = 4*j + 4, 4*m - 2*j + 3*j + 1 = h. Is m at most 0?
True
Let k = 2 - 15. Let a = -16 - k. Is a < -2?
True
Suppose y = 5*a + 6, -4 = 4*a - 0. Suppose -y = -l + 1. Suppose 0 = 2*h - l. Is 1 at most as big as h?
True
Let i be 3/6*2/(-3). Let j = -164 + 162. Which is smaller: j or i?
j
Suppose 0*f - 4 = f. Is 0.1 at least f?
True
Let i be 2/(-10) + (-1 - (-365)/200). Is 2 >= i?
True
Let n be 2 - (7 - 3) - -4. Suppose -n*l - 1 = -3. Is 1/24 less than l?
True
Let c = 8.95 + -9. Which is greater: 1 or c?
1
Let y = 6 - 4. Which is smaller: y or -1/2?
-1/2
Let l = -189/5 + 38. Let w(y) = -y**3 + 7*y**2 - y + 9. Let f be w(7). Is f != l?
True
Let g = 7.2 - -2.8. Let v = g - 10.1. Which is bigger: v or -23?
v
Let o = -9 - -8. Which is smaller: -2 or o?
-2
Let r(w) = -w**2 + 3*w + 1. Let o be r(2). Let u be 5/o - (-1)/3. Is 1 at most as big as u?
True
Let a(k) = k**3 + 8*k**2 - k - 8. Let d be a(-8). Is 0 != d?
False
Suppose -7*y - 3*y = 90. Is y > -12?
True
Let z = -12.3 + 0.3. Let m = 14 + z. Is m < 0.1?
False
Suppose -8*i = -11*i. Which is bigger: i or -3?
i
Let f be (-200)/14 - (-2)/7. Let y = f + 41/3. Is y smaller than -0.1?
True
Let u be 4/(-6)*228/(-266). Let v = 3 + -1. Is u smaller than v?
True
Let y be (6 + ((-16)/4 - 0))*-1. Suppose 2*u = -4*b - 2, -5*u - 16 = -5*b + 4. Is u at least y?
False
Let g(b) = b**3 - b**2 + b. Let o(s) = -3*s**3 - 5*s - 4 - 4*s**2 + s**3 + 2. Let l(t) = -g(t) - o(t). Let d be l(-4). Is d at least 3/2?
True
Let c be (0 + 9)*2/39. Let z = -9 - -8. Is z at most as big as c?
True
Let p(a) = a + 2. Suppose 0 = 2*o - 4 + 10. Let r be p(o). Which is smaller: r or -4/3?
-4/3
Let l(x) = 4*x**2 + 7*x + 3. Let w(m) = -11*m**2 - 20*m - 9. Let y(g) = -8*l(g) - 3*w(g). Let b be y(-3). Which is bigger: b or 2/3?
2/3
Let c be (-1 - 1)/1 + 1. Let g = -50 + 26. Let l be 0 - (2 - g/(-14)). Is c > l?
False
Let b = 0.08 - 5.08. Let h = b + 3. Let n be 2 + 2 + (-3 - 0). Which is smaller: n or h?
h
Let m(q) = q**3 + 12*q**2 + 11*q - 1. Let y be m(-11). Which is bigger: y or 3/11?
3/11
Let t = 8 - -6. Suppose 5*w = -64 + t. Do -8 and w have the same value?
False
Let d(z) = -z**3 - 8*z**2 - z - 8. Let i be d(-8). Is i at most 1?
True
Let f = -0.36 + -15.64. Let b = -16.2 - f. Is -5 <= b?
True
Let b = 503/8 + -63. Suppose 0 = -v - 4*g - 7, -4*v - g = 4*g + 6. Which is bigger: b or v?
v
Suppose 5*l - 186 = 214. Let u be ((-473)/(-6) + 1)*1. Let v = l - u. Is -1 greater than or equal to v?
False
Let t(p) = p**3 + 4*p**2 + p + 3. Let k be t(-4). Let c be (0*k/3)/1. Is 2 at least c?
True
Let h(m) = -1 - 3*m**2 + 1 + 1 + 4*m**2. Let s be h(1). Is 2 != s?
False
Let j = 22 + -20. Let g be (2/(j + 0))/(-7). Which is smaller: g or 0?
g
Let g be 1*6/(-3)*-7. Let d = 14 - g. Is 7 less than or equal to d?
False
Let g be (5 - 0)*4/15. Suppose -3 = -k - 0. Suppose k*j - 11 = -2*i, -3*i - 25 = -5*j - 8*i. Is j at least as big as g?
False
Let a be (5 + -3 + -2)/(-1). Which is bigger: 10/11 or a?
10/11
Suppose 11*b - 10*b = 1. Which is greater: 2/131 or b?
b
Let r = 21/11 + -2. Which is smaller: r or 1?
r
Suppose -5*u + u = -3*f - 28, 20 = 4*u - f. Let k be 10/6 + 2/6. Suppose 0 = k*d + 2 - u. Is -1/6 > d?
False
Let y(f) = 2*f + 14. Let x be y(-10). Let l(u) = u**2 + 5*u - 2. Let d be l(x). Suppose d = 3*k - 2*k. Are 4 and k equal?
True
Suppose 0*p + p = -1. Let g = 6 + -10. Let n be 75/(-216) + g/(-18). Is n < p?
False
Let w(z) = 6*z**2 - 1. Let n be w(-1). Suppose -2*r + 2*y - 8 = -4*r, -3*r + 2*y = -12. Is n at most r?
False
Let t(d) be the second derivative of -d**4/12 - d**3 - 5*d**2/2 + d. Let a be t(-5). Let s = a + 1. Do s and -0.2 have the same value?
False
Let t = 60 - 55. Is 6 less than or equal to t?
False
Suppose 4*o + 6*g - g - 317 = 0, -4*o - 3*g = -307. Is 73 equal to o?
True
Suppose l + h = 3*l, -l - 7 = -4*h. Let z = -3967/11 + 361. Let a = -23/33 + z. Is a greater than or equal to l?
False
Let i = -1 + 1. Let y(b) = -b + 2. Let t be y(i). Suppose -4*s = -q - q - 12, -t*q = s - 8. Which is greater: s or 5?
5
Let q be (-4)/6 + 7/6. Let r = 1 + -1. Suppose 2*n = -r*n. Is q at least n?
True
Suppose 7 - 1 = 3*q. Let t be 15/(-6)*(-1)/5. Is q less than t?
False
Let u(w) = -2*w**3 + w**2 - 3*w + 3. Let r be u(2). Let c be (r/(-12))/((-7)/(-4)). Which is smaller: 2 or c?
c
Let x(z) = z. Let p be x(0). Suppose p = k + k. Which is smaller: k or -1/6?
-1/6
Let r = -1 - -2. Let j be 3 + 3 + -2 + 2. Suppose -j = -2*q - 0. Is q less than or equal to r?
False
Let v be ((-412)/6)/(-2) + -1. Let q = v - 1906/57. Is 0 less than q?
False
Let b(y) = -2*y - 12. Let n be b(-7). Is n less than 8/5?
False
Let v = 5.1 + -5. Which is bigger: 2 or v?
2
Let g = -19.9 - -21. Let s = g - 1. Which is bigger: s or 0.8?
0.8
Let b(r) = r**2 - 7*r. Let o be b(7). Suppose 2*d = -o*d. Is d != 1/2?
True
Let n be (2572/(-10))/((-7)/5). Suppose 735 = 4*h + c, -h + 4*c + 372 = h. Let f = h - n. Which is bigger: f or -1?
f
Let w = -3 - -9. Suppose -w = -0*a + 3*a. Which is smaller: a or 0?
a
Let r = 3 + -2. Let d(l) = -l**2 + l + 2. Let g be d(0). Is g <= r?
False
Let o(f) = 4*f + 5. Let r be o(1). Is 9 greater than or equal to r?
True
Let v = -22584616/9 + 2517922. Let x = -8419 + v. Let z = x + -101. Are -1 and z equal?
False
Let u = -240 + 236.86. Let s = u + 3. Which is smaller: s or -2/3?
-2/3
Suppose x - 2 = 1. Suppose -4*w + 4 + 12 = 4*d, 23 = -x*w + 4*d. Let z = -1 - -3. Do z and w have the same value?
False
Let r(q) = 4*q - 5. Let d be r(4). Let l(v) = -v**3 + 10*v**2 + 10*v + 11. Let y be l(d). Are y and 4/3 non-equal?
True
Suppose 48 = 4*d - 0*l + 4*l, 0 = -4*d + l + 23. Let k = 12 - d. Is 4 bigger than k?
False
Let d be 5/1*(-35)/(-25). Is 8 at least as big as d?
True
Let h be ((-7)/21)/(4/(-3)). Is h smaller than 0?
False
Let c = -4029878293/7406856 + -1/274328. Suppose -3*i - 1632 = -0*i. Let b = c - i. Which is greater: 0 or b?
0
Let q = -3 - -1. Let m = 3 + q. Let p = -2 + m. Which is greater: p or 1?
1
Let w(v) = -2*v - 7. Let h be w(-7). Let p = h - 4. Suppose b = p*b. Do -2/7 and b have the same value?
False
Let h = -43 + 41. Is h > -14/9?
False
Let d be (-1*1)/((-15)/(-789)). Let i = 53 + d. Let p(o) = o**2 - 4*o - 4. Let v be p(5). Is v < i?
False
Let w = 2.7 + -3.8. Let n = w + 1. Let u = n - -1.1. Which is smaller: -1/4 or u?
-1/4
Let z = -4 - -7. Suppose 4*i - i = -z. Which is bigger: i or 4?
4
Let k be -2 - (-2 + 2 + -4). Suppose k*c + 7 = 19. Which is greater: 2 or c?
c
Suppose 0 = -3*z - 5 + 2. Let x be (-4 + 3)/(z/2). Let k be x/3 + 3/(-9). Which is greater: k or 0?
k
Let c = 155.65 - 125.7. Let l = c - 30. Is -3 less than l?
True
Let r be (-2 - -2)*(-1 + 2). Suppose 2*x = 3*b + 4, 2*b - 4*x - x - 1 = 0. Let a(s) = s**3 + 3*s**2 + s - 2. Let u be a(b). Is u at least r?
True
Let w(l) = l**2 - 3*l - 4. Let g be w(-3). Is 15 greater than or equal to g?
True
Let l = -18 + 11. Let n = 6 + l. Let t = 0.6 + -0.1. Is t > n?
Tru