pose 11 = -5*w - 3*j, 0 = 6*w - 5*w + j + 1. Let m = -3 - w. Let i(d) = -d**3 - 6*d**2 - 3*d + 14. Let b be i(-5). Which is smaller: m or b?
m
Let x = 1 - 1. Let q = 1.09 - 1. Let y = 0.01 + q. Is y < x?
False
Let m = 11 + -7. Let o = m - 6. Which is bigger: 0 or o?
0
Suppose h - 54 = 10*h. Does 0 = h?
False
Let a = 0.1 - -0.1. Let k = 7 + -1. Suppose -k*q = -2*q + 4. Is a smaller than q?
False
Let q = -5 - 16. Which is smaller: -0.2 or q?
q
Let z be (16/40)/(1/(-5)) - -1. Is z greater than 3/37?
False
Let k(b) = -b**3 + 4*b**2 - 5*b + 2. Let f be k(3). Let g be 3*(4/(-6) + 2). Suppose -2*z = 4 + g. Are f and z nonequal?
False
Let a = -45 + 133/3. Let i = -0.02 + 0.02. Which is smaller: a or i?
a
Let x = 7 - 12. Suppose 14 + 14 = -4*y. Which is bigger: x or y?
x
Let h = 1 + 3. Suppose -h = 3*w + 5. Is -1 at least as big as w?
True
Let r = -688/835 - -4/167. Let n(i) = 2*i - 1. Let b be n(3). Suppose 4*l = b*z + 20, -4*z - 4 = l - 9. Which is bigger: r or z?
z
Suppose -3*d = 2 + 1. Let a = 9 + -6. Suppose -f - a = -0*f. Which is bigger: d or f?
d
Let b = -2 + 2. Let m be 0 - ((-148)/(-3) + -3). Let r = m + 46. Which is smaller: r or b?
r
Let m = 8 + -8. Which is smaller: m or 4/9?
m
Let j be (-2)/9 - 14/18. Suppose g = -4*g + 5*s + 5, 5*s - 35 = -5*g. Suppose -2*k + 2 = g*o, -7 = -3*o - 4. Is j not equal to k?
False
Let u = 0.016 - 2.116. Let v = 1 + 1. Let b = v + u. Is 0.5 greater than b?
True
Let d = 99 - 43. Let o = d - 278/5. Which is smaller: 1 or o?
o
Let z = 16 - 81/5. Is 0 smaller than z?
False
Let p be (40/(-6))/(8/660). Let k be (-8)/(-44) - (-34)/p. Is k != 0?
True
Suppose 0*m = -3*m + 6. Let x be 63/(-4)*(-8)/(-3). Let r be 38/x + m/2. Which is greater: 1 or r?
1
Suppose 45 = -6*l + l. Let d be (-6)/l - (-32)/(-30). Let z be -2 + (-2)/(-1*2). Is d less than z?
False
Suppose 3 = 2*j - 1, 6 = -2*u + 4*j. Let d be 1 + 1 + 16/(-10). Which is greater: d or u?
u
Let d = -30 + 26. Let f be ((-2)/4)/((-2)/4). Let z be f + d/3 + 1. Which is smaller: 0 or z?
0
Let u = 1 - -5. Suppose w = 3*w + u. Which is greater: w or -3/2?
-3/2
Let a = -3 - -2. Let f = a + 1. Which is smaller: -1 or f?
-1
Let l = -7 + -5. Let d = l - -18. Let v = d - 2. Is v greater than or equal to 1?
True
Let a = 6 + -6. Let c = a - 6. Let v be (c/(-20))/(8/(-10)). Is v not equal to 1?
True
Let y be ((-1)/8)/((-9)/(-34)). Let u = 43 - 385/9. Let l = u + y. Which is smaller: 1 or l?
l
Let j(w) be the third derivative of w**4/12 - 11*w**3/6 + 2*w**2. Let x be j(6). Are 3/10 and x equal?
False
Suppose 4*c - 2*c = 0. Suppose 5*r - r = 3*o - 164, r + 2*o + 30 = c. Let n = 153/4 + r. Is n smaller than 1?
True
Let t be 238/6 - (-1 + -1). Let u = t - 41. Let x = -2.6 + 2.5. Which is bigger: x or u?
u
Suppose j + 28 = 3*j - 5*n, 5*j = n + 24. Suppose -2*y + j*y + 14 = 0. Let f be y/(-15) - 1/(-5). Which is bigger: f or -4?
f
Let q = -95 - -72. Is q at most as big as -24?
False
Suppose b - 2*b = -4*y - 14, 3*y + 3 = -3*b. Suppose 0 = x - 4 - b. Let d be 1/3 - 14/(-3). Is x at least as big as d?
True
Let y be 6/(-45) + (-31)/105. Is -1 < y?
True
Let w = -9 - -4. Let u = 1.61 + -0.67. Let o = u - -0.06. Which is smaller: w or o?
w
Let j = 5 + -1. Suppose -j*o - 9 = -5. Which is bigger: -2 or o?
o
Suppose s + 25 = 6*s. Let m(b) = -b**2 + 6*b - 4. Let q be m(s). Let h be (2/(-20) + 0)*-2. Which is smaller: h or q?
h
Let u = -1 - -1.1. Let x = 0 - u. Let r = 4.9 - 5. Is r smaller than x?
False
Let z be 10/85*4/(-8). Is 0 > z?
True
Let g(n) = -n**2 - 9*n - 9. Let x be g(-7). Suppose 0 = -3*t + 12, x*b = 2*t - 14 + 1. Is 2 > b?
True
Let w be (1/6)/((-100)/(-225)). Which is greater: -1 or w?
w
Let y(a) = 4*a**2 - 4*a + 4. Let j(q) = q**2 - q. Let n(c) = -5*j(c) + y(c). Let z be n(0). Suppose z*h + 9 = -3. Is h greater than or equal to -5?
True
Suppose -3*h = -h + 18. Let b = h + 11. Which is greater: b or 3?
3
Let o = 530 - 4756/9. Is o greater than or equal to 3?
False
Let h(f) be the third derivative of -f**4/8 + 3*f**3/2 - 3*f**2. Let q be h(4). Are -2 and q nonequal?
True
Let m be ((-24)/(-9))/(-2)*3/2. Is -9 >= m?
False
Let m = 1.8 + -1.73. Let v = 0.07 - m. Which is greater: v or -3?
v
Let t(v) = v**2 - 9*v - 3. Let w be t(8). Let a be (8 + w)*2/(-3). Which is smaller: a or 5/6?
5/6
Let l = 127 + -259/2. Let t = 5 - 3. Suppose -t*d + 5 = 13. Is d < l?
True
Let j = 10 - 28/3. Which is smaller: -0.04 or j?
-0.04
Let g(y) = -y**3 - 4*y**2 + y. Let p be g(-5). Suppose -3*j + 12 = -2*b - 2*b, -5*j + p = -3*b. Suppose b*d = -2*d. Which is greater: -1/6 or d?
d
Let s = -11.08 + 11. Let g = -0.92 + s. Which is smaller: -0.1 or g?
g
Let i = 63/2 + -30. Let n = 23 - 21. Which is smaller: n or i?
i
Let s = -2.52 + 2.4. Let d = 0.42 + s. Is d smaller than -4/5?
False
Let x(d) = -3 + 2 + 0*d - 2*d**2 - d - 2*d. Let l be x(-2). Let j = 0 - 2. Do l and j have the same value?
False
Let v = -0.18 - -0.08. Let p be 219/(-135) - (-2)/9. Is p less than v?
True
Let a = -3 - -4. Let z(p) = -p**2 + 2*p - 1. Let c be z(a). Suppose -n + 1 = -c. Is 2 less than n?
False
Let k = -0.16 + 2.16. Let b = 2 - 2. Which is smaller: b or k?
b
Suppose -z - 4 = -4*n + 5, -n = -3*z + 6. Suppose n*f - 2*f = -2. Which is smaller: 1 or f?
f
Let c(h) = 3*h**2 - h + 1. Let g = -5 + 6. Let z be c(g). Which is bigger: 3/2 or z?
z
Suppose -2*w - 10 = 3*p, 5*w + 5*p = 4*p + 1. Is -2/73 <= w?
True
Let n(m) = m + 9. Let c be n(-7). Suppose 0 = c*y + 3*i + 21, -4*y - 4*i = -0*y + 52. Let p be (-1)/3*y/(-21). Is 1 equal to p?
False
Let n = 0.95 + -1.1. Let s = -0.25 - n. Is -10 != s?
True
Let z(a) = a - 2. Let b be z(6). Suppose -2*r - 2*r - b = 0. Let y be (-3 + 3)*r/(-2). Is y at least 0?
True
Let z = 12 - 12. Suppose z = 8*x - 12*x - 12. Let r be (-4)/2 - (1 - -1). Which is greater: r or x?
x
Let w = -366/13 + 28. Suppose 5*u - j = 135, 2*j + 3 - 123 = -5*u. Suppose -13 = -2*y - 3*a, -5*a = -y - 0*y - u. Which is bigger: w or y?
w
Let z(m) = -4*m**3 + 0*m**2 - 2 - 6*m**2 + 3*m**3. Let f be z(-6). Let v be (-2)/(2*f)*-2. Which is greater: -3 or v?
v
Let c = 128 + -126.22. Let w = c - -0.22. Which is smaller: w or -2/9?
-2/9
Let o(n) = n**3 + 3*n**2 + 10*n + 5. Let s be o(-2). Let x(z) = z**3 + z**2 - 2*z + 1. Let d be x(-3). Is d at most s?
True
Let x = 0 - -1/4. Let r = 135/7 + -19. Is x equal to r?
False
Let g be 10/4 - 1/2. Let s be 4/(-6)*15/g. Which is smaller: s or -4?
s
Let w(t) = t**2 - 9. Let x be w(0). Let l = 8 + x. Is l at most 0.1?
True
Let y(t) = t**3 - 8. Let g be y(0). Let j be ((-7)/g + -1)*2. Is 2/5 >= j?
True
Let n be (-2)/6 + 30/9. Let k = -5 + n. Suppose -f + o = 3, 2*o = 4*o - 2. Is k not equal to f?
False
Suppose 0 = l - 6*l + 30. Let p be (20/l)/((-11)/33). Is -10 != p?
False
Let u = 1.94 + 0.06. Let c(z) = 8*z + 11. Let n(f) = 3*f + 4. Let d(h) = 4*c(h) - 11*n(h). Let t be d(2). Which is greater: u or t?
u
Let x(a) = 5*a**3 + 5*a**2 - a + 2. Let v(j) = -j**3 + j - 1. Let m(i) = -4*v(i) - x(i). Let z be m(-4). Is -3 at least z?
False
Let f be 1/4 - 1/4. Are f and 4 equal?
False
Let g = -1 + 3. Let l = 3954 - 11720/3. Let b = l + -47. Is g < b?
False
Let y = 5 + -2. Let n = y + 6. Which is smaller: n or 1?
1
Let x = 143/7 - 4154/203. Which is smaller: 0 or x?
x
Suppose -3*g = -0 + 6. Suppose 4*m + 3*d - 11 = 0, -3*m + 0*m - 3*d + 9 = 0. Let n = g + m. Which is smaller: -1 or n?
-1
Suppose 3*w - 16 = 5*l, 3*w + 2*l = 5*w - 4. Let m be 1 - (-1 - -6)*1. Is m less than or equal to w?
True
Let a(x) = -x**2 + 2*x + 2. Suppose -5*y + 9 = -3*y + c, 2*y = 4*c - 6. Let m be a(y). Is m < -1?
False
Let q(w) = 2*w**2 + 7*w - 3. Let y be q(-5). Is y bigger than -1?
True
Let h = 1827/11 - 166. Which is bigger: 0 or h?
h
Suppose 19 = -5*h + 3*f + 85, 4 = -2*f. Is h <= -1?
False
Let w be (-48)/(-9) + (-1)/3. Suppose -4 = -w*b + 1. Is b bigger than -1/3?
True
Let u = 1.4 - 0.8. Let w = -0.4 - u. Let x = -0.7 - w. Which is smaller: 2/7 or x?
2/7
Let f = -0.5 - -0.3. Let r = 0.1 + f. Suppose 0*p + 3 = -3*p. Which is greater: p or r?
r
Let z be (4/(-18))/(14/11550). Let a = z + 179. Is -3 < a?
False
Let m = 11 - 11.2. Which is smaller: m or -0.1?
m
Let v = -21 - -13. Let j be (-42)/v + (-6)/(-8). Suppose -m - j = -3*b, 0 = 3*m - 2*m + b - 2. Which is bigger: m or 2?
2
Let h(b) = b**2 - 11*b. Let t be h(11). Which is bigger: 