 3 = 0, 0 = -4*l + 3*s + 17 - 6. Suppose -5*g = -6*g + l. Which is smaller: 4 or g?
4
Let w = -3 - -2.91. Let h = -0.41 + w. Let l = 0.5 - h. Does 0.07 = l?
False
Let r = -0.3 + -0.2. Let d = r - -0.7. Let g = 2.8 + d. Which is smaller: -1/3 or g?
-1/3
Let l(d) = -d**2 + 6*d. Suppose 16 - 4 = 3*o. Let i be l(o). Is 9 greater than or equal to i?
True
Let w be ((-26621)/8)/(2/4). Let l = w - -6623. Let g = l + 31. Which is smaller: g or -1?
g
Let a be (3 - 74/24)*-4. Is -0.2 != a?
True
Let r = -5.976 - 0.024. Which is smaller: 0.3 or r?
r
Let f = 0.4 - -0.6. Let d = 2.1 - 0.1. Is d less than f?
False
Let b be 0 - 0/(-4) - 1. Is 2/223 < b?
False
Let d(r) = 3*r + 10. Let w be d(-3). Which is smaller: 2 or w?
w
Let w(g) = g**3 - g**2 + 33. Let c be w(0). Is 32 equal to c?
False
Let x be (-6)/(-4)*40/12. Suppose x*n + 32 = n. Let s = n + 5. Which is smaller: s or -1?
s
Let k be (-2)/((-4)/(-6)) - -4. Suppose m + k = y, 4*m - 5*y = -0*m - 8. Is m less than 1?
False
Suppose k - 2*y = -0*y + 13, -22 = -2*k + 3*y. Let g be (-5 + k)*(-2)/6. Is g less than -0.04?
False
Suppose r = -3*i - 7, i + 5*r = 3*r + 6. Let h = 11 - 16. Is i smaller than h?
False
Suppose -100 = -5*g - 30. Let q be (-130)/g + (-4)/(-14). Let x be (-2)/q - (-17)/(-36). Which is greater: -1 or x?
x
Let s = 19 + -12. Suppose -2 + s = -b. Is b > -4?
False
Let w = 4 - 4. Suppose 0 = -w*x - 4*x + 12. Which is greater: x or 4?
4
Suppose 1 = -f - 3*y, 2*y = f + 4*y - 1. Let l(r) = -2*r - 11. Let w be l(-9). Which is greater: w or f?
w
Suppose d - 2 = -0*d. Let s = 15 - 10. Let u be s + d + -3 - 0. Is u bigger than -1?
True
Let w be 399/27 - 4/(-18). Let r be 6/w - 8/(-30). Suppose -5*o = -5*b, 0*b - 4*b = 3*o - 14. Are r and o nonequal?
True
Let g = 76/123 - -2/41. Is 2 at least as big as g?
True
Let q be 1*(-7 + 4 - -1). Let c = 2 + -4. Let u be c/(-6)*(q - -4). Is u smaller than 1?
True
Let z = 88 + -93. Let v be (-18)/5 + 8/(-20). Which is bigger: z or v?
v
Let r(s) = 4*s**3 + s**2 + s + 1. Let f be r(-1). Suppose -2 = m - 1, -2*p = -m + 3. Is p at most f?
False
Suppose 0*t - t = -5*v + 2, 2*t + 5*v = 26. Suppose -t*z - 1 = -9*z. Which is bigger: 2/9 or z?
z
Let u(i) = -2*i**3 - i**2 - i. Let o be u(-1). Suppose -5*r - 6 = -o*r. Which is bigger: 1 or r?
1
Suppose -5*m - 60 = 25. Which is smaller: -18 or m?
-18
Let g be (-1)/(-1)*(-1 + 1). Let n be g/(-2) + 1 + 2. Suppose n*o = o + 5*z - 4, 8 = -4*o + 5*z. Is o greater than 2?
False
Let x be (1/(-3))/(1/(-6)). Is x smaller than 3?
True
Let j = 2271064/18317 - 198/1409. Let r = 124 - j. Let f(y) = -y + 4. Let m be f(4). Which is bigger: r or m?
r
Suppose -5*m - 386 = -4*i, 0*i - 5*m = 5*i - 460. Do 94 and i have the same value?
True
Let s be (-36)/57*(-1)/(-2). Is 0 greater than or equal to s?
True
Let a(p) = -p**2 - p + 6. Let d be a(-6). Let y = 26 + d. Is y less than or equal to 0?
False
Suppose -4*y + 37 = v, 4*v + 50 = 4*y - 2. Let s be (-6)/y*(-2)/(-3). Let j be (0 - -1)*(-2)/(-2). Which is bigger: s or j?
j
Suppose 2*m + 4 = 4*p, 5*p - 5 = 3*m - 4*m. Is -1 bigger than m?
False
Let y(h) = h - 10. Let o be y(8). Let t(f) = -f**2 - 1. Let b be t(0). Which is smaller: b or o?
o
Let s(b) be the second derivative of -b**5/20 + 7*b**4/12 - 5*b**3/3 + 3*b. Let h be s(5). Let g = 0 + 2. Is g < h?
False
Suppose 0 = -r + 3*r - 2. Suppose 0 = -3*f + r + 2. Let c be (3/(3 + -2))/3. Is f at least c?
True
Let v = 117/5 - 23. Is v < -1?
False
Let y(a) = a**2 + 10*a + 7. Let z be y(-9). Let p be (-1)/z*(8 - 10). Which is bigger: p or -2/5?
-2/5
Let i = -313 - -10643/34. Which is greater: i or 1?
1
Let b = 3 - -3. Suppose -3*z - 6 = -b*z. Suppose -3*r = 3*t + 18, -9*r = -2*t - 4*r + z. Which is smaller: t or -3?
t
Let b(i) = 7*i - 8. Let g be b(4). Which is bigger: 21 or g?
21
Let l = -1 + 0. Let w be 4/(-10) - (0 - 78/120). Are l and w unequal?
True
Let j = -22353/31 - -721. Are 0.1 and j nonequal?
True
Let t = -178 + 178. Is t smaller than 6?
True
Let j = -1.73 + 0.17. Let x = 1.6 + j. Are -1 and x unequal?
True
Let u = -2 + -1. Let n = 2.9 + u. Is -0.2 bigger than n?
False
Let u be -2*2/(-4)*-3. Let d(v) = 13*v + 529. Let i be d(-41). Is u at least as big as i?
True
Let x = -305 + 2443/8. Is 0 greater than or equal to x?
False
Let s = -0.5 - -2.1. Let v = 1 - s. Is 1/2 > v?
True
Let h = 19.5 - 20. Is -0.5 greater than h?
False
Suppose -2*j - 2*j = -5*x - 20, 5*j + 5*x = -20. Suppose 20 = 4*y - 4*v, -2*y + 14 = -j*y - 3*v. Which is smaller: -1/5 or y?
-1/5
Let d = 162 + -161.7. Let t = 1116/7 - 159. Which is bigger: t or d?
t
Let h(y) = -3*y**3 + 2*y**2 - 1. Let x be h(-1). Let j be 0*(6/x - 2). Suppose j*n + 2 = n. Do 1 and n have the same value?
False
Let u(x) = -x**3 + 6*x**2 - 4*x + 13. Let b be u(6). Is b > -11?
False
Let s = -36 + 37. Which is smaller: -3/7 or s?
-3/7
Let s be (-1)/(-3)*(2 + (-44)/(-6)). Is 4 at least s?
True
Let c be (-14)/(-8) - 12/16. Is 2 <= c?
False
Let d = 85 - 90.7. Let i = d + 6. Let a = i + -1.3. Is 2 less than a?
False
Suppose -x = x + 34. Is x bigger than -15?
False
Let o = 2 - 0. Suppose -o*d + 4 = -0. Suppose 4*l = 4*p + 24, 2*l - 8*p - 20 = -4*p. Is d != l?
False
Let v = -12 + 23/2. Let t(y) = -y**3 - 2*y**2 - y - 3. Let s be t(-2). Which is smaller: v or s?
s
Let j = -3 - -7. Let o be 1/((-3)/j + 1). Suppose 13 - o = 3*y. Do 3 and y have the same value?
True
Suppose -h + 3*h = p + 3, 2*p = -4*h + 10. Is -1 bigger than p?
False
Let o = 0.8 - 0.7. Let w = 0.2 - o. Which is smaller: w or 5?
w
Let x be (3/(-2))/(3/(-8)). Suppose 0 = 3*v - 3*q - 5 - 1, -x*v = 3*q - 8. Let f be (-6)/16*(v - 0). Do -2 and f have the same value?
False
Let v(w) = w**2 - 2*w + 4 - 6 - 3 + 3. Let x be v(4). Is x at most 6?
True
Suppose 4*l = 3*l + 7. Which is smaller: 2 or l?
2
Suppose -l - 2*b = -11, 2*l = -3*l + 5*b - 20. Let a be (-3 - -9)*(-2)/(-6). Let r = l + a. Which is bigger: -0.1 or r?
r
Let g(s) be the second derivative of -s**5/20 - 5*s**4/12 - 2*s**3/3 - s**2/2 - 2*s. Let u be g(-4). Is u <= -2/9?
True
Let l = -205 - -3074/15. Let s = 56923/30 - 1898. Let n = s - l. Is n greater than or equal to -2?
True
Let j = -49/2 + 25. Let p = 6 + -5.8. Is p greater than j?
False
Let a = -2 - -1. Let n(t) = -t - 5. Let b be n(-6). Let o be (1 + b)/((-56)/16). Are a and o unequal?
True
Let r(k) = -k**3 - 4*k**2 + 4*k - 2. Let c be r(-5). Let s = c + -3. Let f(m) = -m - 1. Let n be f(1). Which is smaller: n or s?
n
Let z(t) = t + 1. Let r be z(-2). Suppose -q - s = 3, -7 + 19 = -3*q - 4*s. Let i be ((q/4)/(-3))/(-2). Which is smaller: r or i?
r
Let h(s) = -s**2 + 8*s + 14. Let u be h(11). Which is greater: u or -18?
-18
Suppose -5*x = -x - 8. Let g(n) be the first derivative of n**3 - n**2/2 + n + 2. Let y be g(1). Which is greater: y or x?
y
Let g = 0 - 3. Let m be (-1)/g + 77/(-357). Is -1 less than m?
True
Let r = -9.8 - -10. Let z = 11.7 - 7.8. Let p = 4 - z. Which is bigger: p or r?
r
Let o be 3/2*(6 - 2). Let h = -7 + o. Is h != -4/7?
True
Suppose 2*x - 33 = 5*p + 28, 5*p = 4*x - 147. Which is smaller: x or 0?
0
Let h = 3.0785 + -0.0785. Let n = -0.5 + 1. Which is greater: h or n?
h
Let x be 8/(-6)*-3 - 3. Is x less than or equal to 2?
True
Let v = 2 + -16. Let m be -2*(v/(-4))/7. Let k = -0.98 - -1. Which is smaller: k or m?
m
Let s be (-230)/(-4)*(-6)/(-30)*-2. Is s at most -23?
True
Let g be (-2 + 0)/(4/(-12)). Is 7 smaller than g?
False
Suppose z - 6 + 1 = 0. Let o = -417/2 + 213. Which is smaller: z or o?
o
Let p be 1/((-7)/(14/(-8))). Let a(r) be the first derivative of -r**3/3 + 1. Let b be a(-1). Which is smaller: p or b?
b
Let a be ((-10)/(-3))/((-14)/(-21)). Which is smaller: 7 or a?
a
Suppose 5*s + 0*s + 3*n + 6 = 0, 3*s - 8 = 4*n. Let p be 1/(-1)*2/(-5). Which is smaller: s or p?
s
Let c = -85 + 58. Let o = -19 - c. Is o less than or equal to 8?
True
Let f = 9.99 - 10. Is f > 2?
False
Let d be ((-6)/4)/((-3)/30). Let i be 32/d*80/84. Let j = -15/7 + i. Which is bigger: j or 0?
0
Let g = 0.06 - -0.04. Let j = 0.5 - g. Which is greater: j or -2/7?
j
Suppose 4*o - 78 - 18 = 0. Let i be o/(-70) - (-3)/15. Is -1 smaller than i?
True
Suppose 5 = k - 2*k. Let v be (34/10)/((-6)/k). Let t = 7/2 - v. Which is smaller: t or -1?
-1
Let i(g) = -g**3 + 6*g**2 - 6*g + 1. Let r be i(5). Let u = r - -2. Is -2 equal to u?
True
Let m(g