t w = -87 - g. Let s = -1 + -1. Does w = s?
False
Let x(k) = -k + 9. Let q be x(19). Which is greater: -12 or q?
q
Suppose z - 3*z - 5*s - 1 = 0, -4*z = -s + 35. Which is bigger: 2/3 or z?
2/3
Let x(b) = -15*b + 1. Let f be x(-1). Suppose -4*a - f = 3*i, 0*a - 2*a + 2*i + 6 = 0. Suppose -17*o + 8 = -13*o. Is o at least as big as a?
True
Let r = -551 + 55650/101. Is 0 greater than r?
True
Suppose 0 = -2*u + 6*u. Let v be (((-6)/(-45))/1)/(25/(-125)). Which is smaller: v or u?
v
Let x = 1 - 2. Is x > 3?
False
Let l be 161/506 - (-1)/(-2). Is 0 less than or equal to l?
False
Let g be (-1)/((-3)/(-15)*-1). Suppose 6*h - h + 2*c - g = 0, -h + c = -8. Is h > 6?
False
Let k = -7 + 9. Let p = -2 + k. Which is smaller: p or 5?
p
Let n be 0 - ((-15)/1 - 3). Let a be 46/n + 0 + -2. Which is bigger: 0 or a?
a
Suppose -2*y + 14 = 2*r, 0 = 4*r - 2*y + 7*y - 32. Suppose 4*d + 3 - 2 = -5*w, -4*d = r*w - 1. Is 2/7 greater than or equal to d?
False
Let p = 6 + -2.9. Let a = p + -0.1. Is 2 less than or equal to a?
True
Suppose 3*w + 3*k = 21, 0 = k - 4 + 2. Suppose 8 = -w*q - 12. Which is greater: q or -3?
-3
Suppose 2*d - 4*d + 3*p = -10, 0 = 3*d + 5*p + 23. Let z(c) = -c**2 + 4*c - 4. Let y be z(3). Is d >= y?
True
Suppose 0 = q - 5*a + 21, a + 16 = -q + 5*a. Suppose q*c = c + 36. Let i be 1 + 3/c + -1. Are -1 and i equal?
False
Let c = -4 + 3.9. Let t = 1.1 + c. Is -2 bigger than t?
False
Let z = 58 - 56. Is -18 > z?
False
Let y = -83 - -82.03. Let d = -38.03 - -38. Let t = y + d. Do t and 7 have the same value?
False
Let l be (-13)/(-5) + (-15)/25. Let h be l/2 - 0/2. Is -3/8 < h?
True
Let o(l) = 3*l. Let r be o(2). Let f be ((-4)/(-12))/((-4)/r). Is f at most -0.1?
True
Let o = 6.4 - 6. Let b = o + -0.3. Let d be (3/(-5))/((-9)/(-6)). Which is greater: b or d?
b
Suppose 4*j = 3*s - 1, -j = 3*j + 5*s - 23. Suppose -j*m = -m + 3. Which is smaller: -1 or m?
m
Let u = 0.3 + -3.3. Let m = u + 3.1. Let n = m - 0. Do n and 0.1 have the same value?
True
Let h = 4.87 - 5. Which is smaller: -1 or h?
-1
Suppose -12 = -d - 5*d. Which is smaller: d or 3?
d
Let t be (-16)/(-12) - (-1 + 3). Let h = -2.2 - -2. Is h less than t?
False
Let s = 26 - 26. Are s and -4/5 equal?
False
Let v = -3/70 + -271/210. Which is bigger: 0 or v?
0
Suppose 2*v = -4*n + 14, -n + 1 = -3*v - 13. Is v not equal to -4?
True
Let j be 2/(9/(297/6)). Suppose -4*g + 8 = 48. Let w = j + g. Is 2 less than w?
False
Let i be (-35)/(-9) - 2/((-6)/(-9)). Let a = 1.1 - 0.1. Is i != a?
True
Let v(p) = p**2 + 7*p. Let w be v(-5). Is w < -10?
False
Suppose -38 = -2*o + 12. Suppose d = -4*d + o. Are d and 6 equal?
False
Suppose -3 = 2*m + m. Suppose -2 - 1 = -3*j, -3*j - 1 = -2*p. Let c be p/(-3)*(6 - 3). Which is greater: c or m?
m
Suppose 3 = -7*h - 11. Is -5/6 at least h?
True
Let o be (-3)/((-1)/1) + 2. Let y = o + -7. Let h(m) = -m**3 + 7*m**2 - 6*m - 1. Let s be h(6). Which is greater: y or s?
s
Suppose 9*t = t. Which is smaller: -5/6 or t?
-5/6
Suppose -16 + 1 = q. Let f = q - -17. Is -1/4 < f?
True
Let y be 14/56 - (-13)/(-60). Which is smaller: 1 or y?
y
Let m be (4 - 6) + (-34)/(-16). Is 0 > m?
False
Let i = -7 + -2. Suppose 0 = -5*l - 34 - 6. Which is smaller: l or i?
i
Let h = -21.9 + 22. Is 1 <= h?
False
Suppose -3*j - 15 = 0, -7*i + 3*i - j = 9. Let f(v) = v**3 - 7*v**2 - v + 4. Let a be f(7). Which is smaller: a or i?
a
Let g = -0.9 - 0.1. Let k(w) = w + 8. Let s be k(-11). Which is bigger: s or g?
g
Let t(i) = i**2 + 4*i + 1. Let c(h) = -h**3 - 3*h**2 - 3. Let u be c(-3). Let w be t(u). Which is smaller: -1 or w?
w
Let q = -1 - -3. Let c = 41.6 + -41. Which is bigger: q or c?
q
Let s = -0.077 - 0.033. Does 0 = s?
False
Let s(h) = -h**2 - 4*h + 6. Let l be s(-6). Let j = l + 6. Are j and 0 equal?
True
Let n be (2 - 5*-1)/(-1). Suppose -4*r - 40 = 4*t, 4*t - 2*t + 34 = -4*r. Is r at most as big as n?
True
Let s = 0.1 - -0.1. Let p be ((-2)/54)/((-145)/(-30) + -5). Which is smaller: s or p?
s
Let j = 4.3 + -0.3. Let r = -1 - j. Let q = -5 - r. Is -2/9 <= q?
True
Let p be 4*(-2 - (-10)/4). Let s be ((-4)/3 + 1)*-9. Suppose 1 + 2 = s*q. Is p < q?
False
Let h = -7 + 5. Let i(g) = -2*g**2 - 3*g. Let w be i(h). Do w and 0.1 have different values?
True
Let j = 0.362 + -0.162. Which is smaller: j or 30?
j
Let m be (-28)/42 + 8/6. Is m less than or equal to 0?
False
Suppose 3*n - g - 33 = 0, 5*n + 5*g - 39 = 3*n. Let h be (-9)/(-32)*n/9. Which is greater: h or -2/3?
h
Let a(t) = -t**3 - t**2 + 2*t - 1. Let h(m) = 2*m - 1. Let u be h(1). Let s be a(u). Is s bigger than -1/4?
False
Let l(h) = -4*h + 8. Let s(a) = -5*a + 9. Let f(m) = -6*l(m) + 5*s(m). Let j = -3 + 1. Let q be f(j). Is q < -2?
False
Suppose -3*c + f = 8, -4*c - f + 2 - 1 = 0. Is 2/53 smaller than c?
False
Let o = -1.9 - -1.4. Let g = o - -2.5. Which is smaller: g or -1?
-1
Let u = 5 + -5. Let b = 1/2 - u. Is -6 less than b?
True
Let k be (2/(-4))/(3/(-24)). Suppose 3*w = -6, o = -8*w + k*w - 6. Is 1 < o?
True
Let v = 0.108 - -5.792. Let d = v + -6. Is d greater than or equal to -1/10?
True
Let n(o) be the first derivative of -7*o**2/2 - 2*o + 2. Let r be n(1). Which is smaller: r or -8?
r
Let h be (-548)/10*15/(-12). Let v = -18 - 52. Let b = v + h. Which is greater: -3 or b?
b
Let g = -150 + 4051/27. Do g and 1 have the same value?
False
Let f be -3 - (0 - 5/1). Suppose 3*w = 4*u - 9, -9 = 3*w - f*u + 7*u. Suppose -3*p + 1 = 10, 4*p = 3*l. Which is smaller: w or l?
l
Suppose -4*n + 4*h - 4 = 0, -5*n = -4*n + 4*h - 9. Is -3/20 less than n?
True
Let c be (74/17)/(10/(-25)). Let u = c + 11. Do u and 0 have different values?
True
Let j(k) be the third derivative of -k**4/24 - 5*k**3/3 + 2*k**2. Let f be j(-7). Let l(c) = -2*c + 5. Let w be l(4). Is w smaller than f?
False
Suppose 0 = 5*j - 9 - 1. Suppose j*o - o = 3. Let l be (-2)/o - 5/6. Is -1 less than l?
False
Let r(s) = -2*s - 9. Let b be r(-5). Let u be (-4)/(-14) + (-52)/84. Are u and b unequal?
True
Let y = -4 - -14. Suppose g + y = 3*g. Is -2/5 at most as big as g?
True
Let y(b) = -b**3 + b**2 - b - 24. Let v be y(0). Let l be (18/v)/((-27)/(-2)). Are -1 and l unequal?
True
Let v = 21303/164 + -519/4. Which is smaller: v or 0?
0
Let c = -1.5 - -2. Let y = c - 0.5. Let t = -1 + 0.8. Which is smaller: y or t?
t
Let s(w) = w**2 - 4*w + 2. Let q be s(4). Let f = -2 + q. Let d = -2/329 - -664/987. Is f at most d?
True
Suppose 3*s = 7*s - 16. Let j = -7 + 4. Let b be -2 - 0 - s/j. Which is smaller: b or 0?
b
Let v(t) = t**3 + 4*t**2 - 4*t + 7. Suppose -4*a + 5*m = 40, 4*m + 6 = -5*a - 3. Let q be v(a). Is q greater than 0?
True
Let l be (8/10)/((-6)/45). Let m = -8 - l. Is m greater than or equal to -1?
False
Let p(o) = -6*o. Let m be p(1). Let c(s) = -s**3 + 15*s**2 - 52*s - 20. Let g be c(9). Which is bigger: m or g?
g
Let z(f) = f. Let b be z(-1). Let w = 508/15 + -1321/60. Let r = 49/4 - w. Is b > r?
False
Let l be -1*1 - 105/3. Let i = l - -182/5. Suppose -4*x + 17 = x - 3*g, -5*g - 21 = -x. Is i less than x?
True
Let w be (-1)/4 - 2/8. Let g(p) = -9*p - 46. Let k be g(-5). Is k less than w?
True
Let k(c) = -6*c + 2. Let u be k(-3). Let y be 8/u + 2/(-5). Is 0 < y?
False
Let n = 119 - 353/3. Let x(q) = q**3 + 5*q**2 + 5*q + 4. Suppose 2*f = -r - 14, 40 = -5*r - 4*f - 0*f. Let t be x(r). Is t at most n?
True
Let z = -1 + 0.7. Let c = z + 0.3. Which is smaller: c or 2/37?
c
Let m be (1/1)/(3 + -26). Is m greater than 1?
False
Let m = 58 - 14. Let i = m - 76. Let n = i + 162/5. Which is smaller: n or 0?
0
Let w be (-54)/30 + 3/(-15). Which is bigger: 1/5 or w?
1/5
Let v be ((-882)/1240)/3 + 46/184. Which is greater: v or 0?
v
Let s = -14.01 - -14. Which is bigger: s or 2/9?
2/9
Suppose 0 = 3*p - 4*j + 13, j + 12 = 4*j. Let c(b) = -b**3 + 9*b**2 + 4. Let t be c(9). Suppose 3*l - 1 = -t*u + p, u = -l + 1. Is l at most as big as 0?
False
Let j(f) = -f**3 - 4*f**2 + 4*f + 6. Let i be j(-5). Let z = 7 - i. Let b = -0.3 + 0.3. Is b smaller than z?
False
Let p be 0/((-7)/(7/3)). Which is greater: p or 2.6?
2.6
Suppose -u - 3*f = 7, 0 = 3*u - f - 0*f - 9. Let i = u + 0. Is i >= 1?
True
Let r = 6.83 - 7.3. Let p = r + 0.07. Which is smaller: -1 or p?
-1
Let a be (70/(-21))/((-4)/(-6)). Which is bigger: -21/4 or a?
a
Let j = 70 - 64. Which is greater: j or 24/5?
j
Suppose -y - y = 0. Which is sm