+ w. Is -1 at most as big as g?
True
Suppose -4*w + 270 = -a - 2*w, -a + 4*w - 270 = 0. Let q be 138/a - 6/10. Which is smaller: -2 or q?
-2
Let z = 10 + -6. Let l(q) = -q**2 + 5*q + 1. Let i be l(z). Which is bigger: i or 4?
i
Let f be ((-1)/6)/((-2)/(-6)). Is f less than or equal to -2?
False
Suppose -5*t = -5*z, -2*t = -7*t - 2*z + 14. Suppose 0 = 5*l + 4*g + 15, 3*l + 0*g = t*g - 9. Let m = 7.1 + -7. Is l less than or equal to m?
True
Suppose -5*w + 5 = 0, 2*w - 2 - 1 = p. Let h(i) be the third derivative of -i**4/24 - i**3/6 - 5*i**2. Let l be h(p). Is l less than -3/7?
False
Let n be ((-2)/(-5))/((-2)/(-10)). Let w = 40 - 18. Suppose -n - 2 = -g, 5*g - w = -2*l. Which is bigger: 2 or l?
2
Let t(q) = 5*q**2. Let d be t(1). Suppose -b - d = 0, -4*c - 5*b = 19 + 18. Are -2 and c nonequal?
True
Let r = 1.1 + -0.1. Let o = -2.11 + 8.07. Let a = o - -0.04. Which is greater: a or r?
a
Let q be 4/(-5)*(-6 + 1). Let b be 0/(-3 + 0 + q). Let c be -1 + (3 - b) + -2. Which is smaller: c or 2/27?
c
Let y = 0.1 + 2.9. Let g = y + -4. Let i = g + -1. Is i >= 0?
False
Let y be -1*(3 - 10/4)*30. Is -14 equal to y?
False
Suppose -3 = a + s + 5, 4 = a - 3*s. Let j = -1 + 8. Let v = a + j. Which is smaller: v or 1/2?
1/2
Let b(j) = -j**3 - j**2 - 6*j - 6. Let r be b(-1). Which is smaller: -7 or r?
-7
Suppose -u + 4 = u. Suppose -6*y + 3*y = -u*v - 3, 2*y + 5*v = -17. Is y at least -1?
True
Suppose -3*i + 5 = -4. Suppose -6*k + 204 = -i*k. Let c = k + -477/7. Which is bigger: c or -1?
c
Let q(p) = p**2 + 15*p - 7. Let o be q(-15). Which is bigger: -5 or o?
-5
Let b = -5.3 - -32.3. Is 0 at least b?
False
Suppose 25 = 7*d - 2*d, -90 = -t - 2*d. Let w be 52/t + (-2)/5. Let g = -3 + 1. Which is greater: g or w?
w
Suppose -2*k + 5*k = -15. Let t be -2 - (2 - 5/5). Are t and k unequal?
True
Suppose 5*a = 3*a + 12. Let u(y) = -y + 10. Let k be u(a). Suppose 0*o - k*o = 24. Is o greater than -6?
False
Let r be (-4)/(-108)*15/(-25). Which is smaller: r or -1?
-1
Let n(x) = 10*x**2 + 2*x + 1. Let z be n(-1). Let u be z/6*(-4)/(-54). Let s be 1/(-4)*2 - -1. Is s < u?
False
Let k = -48 - -47. Suppose -4*n - 5 = n. Is n greater than or equal to k?
True
Let g = 78 - 79. Which is smaller: -2 or g?
-2
Suppose 0*z - 13*z = 572. Which is bigger: -45 or z?
z
Let i(d) = d + 6*d**2 - 2*d - d - 7*d**2. Let o be i(-2). Is -2 smaller than o?
True
Let n(q) = q + 1. Let u be n(-1). Let l be (-2)/10*(-25)/(-20). Are l and u nonequal?
True
Let b be 0*(0 + 3)/9. Let m be (-1)/((-1)/(1/1)). Which is bigger: b or m?
m
Let k(g) = -g**2 + 6*g - 5. Let v be k(5). Suppose v = q - 0 - 1. Let n be (-508)/(-132) - 3 - (-4)/(-6). Which is bigger: q or n?
q
Suppose -3*h = -3*o, -5*o + 2*h = -h. Suppose a + 0*a + 3*k - 1 = o, -k = -5*a + 21. Let z be (a + -1)*5/(-15). Is z at least 0?
False
Suppose 5*v + 69 = 2*v. Let g be 3 + v/4 + 3. Let h = 0 - 0.2. Which is smaller: h or g?
h
Let q(v) = v - 2. Let m be (-2)/(-4)*(0 - -14). Let b be q(m). Suppose 4*y = -h - h, -3*y = -b*h + 26. Is h at least as big as 2?
True
Let s(a) be the first derivative of a**3/3 - 3*a**2 - 8*a - 4. Let y be s(7). Let d be (2 + y)/(-4 + 7). Which is greater: -2/9 or d?
d
Let q = 16 - 97. Let s be q/15 + 2/5. Is -4 greater than or equal to s?
True
Let i be -2 + (-210)/(-87) + 0. Let m = 55/203 - i. Are m and 1 equal?
False
Suppose 2*v + 3*l = 4*v + 9, -5*v + 6 = 2*l. Which is greater: v or 6/5?
6/5
Let m = 0.18 - 0.28. Which is smaller: 0.14 or m?
m
Let n be (-7)/3 + 1/3. Suppose 0*g - 3*g = -3. Let j(h) = h - 1. Let o be j(g). Do o and n have the same value?
False
Let a = -51.07 - -52. Let f = 10.07 - 10. Let q = f + a. Are q and -3 equal?
False
Suppose 4*b = -3*s - 6, -3*b + b + 10 = -5*s. Let r be 7*1 - (-4 - s). Let k be 7/r*6/21. Does 1 = k?
False
Let k = -70 - -70. Which is smaller: k or 1/46?
k
Let b be (2 - 2) + (-5 - -9). Suppose -3*i = b*i + 28. Are -3 and i nonequal?
True
Let u = 140.5 + -140. Do u and 3 have different values?
True
Let u be (-15 - -14) + 18/14. Which is smaller: u or 66?
u
Let y be (-41 - 6) + (6 - 1). Which is bigger: y or -41?
-41
Let r(p) = p**3 + 12*p**2 - 14*p - 2. Let x be r(-13). Which is greater: 12 or x?
12
Let z = -239 + 245.15. Let h = -0.15 + z. Which is smaller: 1 or h?
1
Suppose 0 = 5*a + 4*a - 18. Are a and 19/6 nonequal?
True
Let r = -2 - -8. Let z = 5 - r. Which is smaller: z or 0.6?
z
Suppose 13*i = 9*i + 20. Is 7 smaller than i?
False
Let n = -24 - -24. Suppose 2*g + 17 = -3*p - 7, -4*g = -12. Let w be 6/p + 2 + -2. Are w and n non-equal?
True
Let d(s) = -s**2 - 13*s + 18. Let k be d(-14). Suppose -5*x + 36 = -k. Which is smaller: x or 7?
7
Let m = 9 + -8.8. Let x = -0.7 + m. Let c = 0.1 - 0. Are x and c non-equal?
True
Suppose -7*u + 3*u - 25 = -5*p, 4*p - u - 9 = 0. Let m be (-3)/(-10)*(-6)/(-9). Is m at most as big as p?
True
Suppose 12 = 4*c - c, -2*c = -3*j + 73. Let n be 3/j*3*3. Suppose -2*o = -1 - n. Which is greater: o or 1/4?
o
Let a(c) = -c + 7. Let w be a(5). Let i be 1 - (0/(-4))/(-4). Which is bigger: i or w?
w
Let m = 0.91 + -1.071. Which is smaller: 0 or m?
m
Let d = 159156 + -3183781/20. Let x = -33 - d. Are -1 and x non-equal?
True
Let z(k) = -k**2 - 10*k + 1. Let g be z(-5). Suppose -o - 32 = o - 4*p, o = 4*p - g. Are -6 and o nonequal?
False
Let m(o) = o + 8. Let g be m(-8). Let t = 445/6798 - 1/206. Let k = t + -37/66. Is k greater than or equal to g?
False
Suppose 0 = 3*u + 3 - 0. Let p be ((-35)/(-18) + -2)*1. Is p equal to u?
False
Let d = 21 + -19. Which is greater: -4/7 or d?
d
Let v be 6/15 - 54/10. Which is bigger: v or -6?
v
Let l(u) = u**3 - 1. Let v be l(0). Let a(q) = -13*q + 2. Let b be a(-1). Let k be 1/3 - (-10)/b. Are v and k unequal?
True
Let c = -3.6 - -3.77. Is c smaller than -1/2?
False
Let v(q) = 2*q + 1. Let j be v(3). Let w(s) = s**3 - 7*s**2 + 2*s - 9. Let d be w(j). Which is greater: 6 or d?
6
Let c be (-8)/(-24) + 7/(-3). Let p be ((-16)/(2 - -2))/c. Is 3 not equal to p?
True
Let j be ((-4)/10)/(6/8). Let b = j - -44/45. Let i = 16 - 17. Is i at most b?
True
Suppose -5*q + 0*q + 15 = 0. Is q >= 8?
False
Suppose c + 0*c = 8. Let s be 14/6 - c/(-12). Suppose k - 1 = -2*i, -s*i + 3*k - 1 = -8*i. Which is greater: 5 or i?
5
Suppose -9 + 17 = 8*y. Which is greater: y or 3.2?
3.2
Suppose -3 + 0 = 2*q + h, 0 = q - 3*h - 2. Let a be (-76)/70 - (0 + -1). Let p = a + -61/105. Is p less than q?
False
Let g(d) be the first derivative of -d**3/3 - 4*d**2 + d + 2. Let l be g(-7). Let u = 6 - l. Is -3/4 bigger than u?
True
Suppose -2*p = 2*l + 12, 4*l - 2*p = -3*p - 9. Which is bigger: l or -2/25?
-2/25
Suppose -5 = -j - 2*b, j - 4*j + 5*b = 7. Is j at most as big as 1/100?
False
Let u = -1/4 + 1/12. Suppose -2*k - 3*h = -23, 3*k + 2 = 2*h + 4. Let x be (-2 + k - 0) + -2. Which is smaller: u or x?
u
Let q be ((-12)/(-69) - 0)/(-2). Is q >= 1?
False
Let j(o) = o**2 + 20*o - 42. Let m be j(-22). Suppose 2*i - 7*i - 3 = -2*p, -p + 6 = -4*i. Let r be (-3)/p + 1 + -1. Which is smaller: m or r?
r
Let v be -4*1*(-1)/4. Are v and -9/7 non-equal?
True
Let y = 13/43 + -1435/5031. Which is greater: 0 or y?
y
Let x = 77 + -89. Is x >= -12?
True
Let i be 4/(-6) + 2/(-6). Let w = 14 - 2. Let m = w - 10. Is i less than m?
True
Let c = 9 - 8. Is c <= 2/47?
False
Let v = 0.163 - 11.163. Which is smaller: -2 or v?
v
Let q be (-1)/(0 - 2/6). Suppose -q*s - 2 = s + 5*a, 5*s - 4 = -3*a. Suppose 3*v = -5*c - 19, -s*v - 2*v - 5*c - 22 = 0. Is -3 bigger than v?
False
Suppose -816*x = -818*x - 2. Let z be -2 + (186/(-28))/(-3). Is z at least x?
True
Let g(v) = 4*v**3 + v**2 - v + 1. Suppose 0 = -6*b + 2*b + 4. Let p be g(b). Suppose -m = -5*q - 2 - 23, 0 = -2*m - p*q - 25. Which is smaller: 2/9 or m?
m
Let r = -13.1 + -1.9. Let z = 18.5 + r. Let s = z - -0.5. Which is smaller: s or -2/5?
-2/5
Let n = 149 + -599/4. Which is bigger: 2/5 or n?
2/5
Let x(g) = g**3 - 5*g**2 + 6*g - 1. Let s be x(4). Suppose -4*u = -2*r, 3*r + r = u + s. Let p = u - 6. Is 1 greater than p?
True
Let q be 6*(2 - 10/4). Let u = -1 + 3. Let m be 0 - u - (-2)/4. Is q at most as big as m?
True
Suppose 0*k - 11 = k. Are k and -12 non-equal?
True
Let a = 311 - 5911/19. Let y be (-2)/(-12)*(7 - 1). Is a less than y?
True
Let q = -4.065 - -4.1. Is -2/7 less than or equal to q?
True
Let d be 1 - 0 - (