 - 2*s - 6. Let h be o(-5). Suppose 0 = -5*p + 20, -5*f - 4*p + 12 = -h. Which is smaller: f or -3/10?
-3/10
Let i(k) = -k - 7. Let c be i(-6). Let u(x) = x**3 - 7*x**2 + 6*x - 1. Let j be 4/6 - 48/(-9). Let w be u(j). Is c at least w?
True
Let o be 144/30 + 3/15. Suppose -2*r + 42 = o*r. Is r != 1?
True
Suppose 0 = -0*d - 7*d. Is 2/161 at most d?
False
Let c = 1/1986 + 127171/1181670. Let h = -1782 - -212055/119. Let i = c - h. Is 1 greater than i?
True
Let a = 2 - 1.7. Let l = a - 0.27. Let t = l + 1.97. Are t and -1/2 unequal?
True
Let t = -7 + -2. Let j = -130.95 + 140. Let p = j + t. Is p at most 1/2?
True
Suppose r = -0*r. Let d(h) = -h + 1. Let u be d(r). Let l = 0.2 + -0.4. Which is greater: u or l?
u
Let s = -1.1 - -0.6. Let w = 0.4 + s. Let l = 31/65 - 1/13. Is l bigger than w?
True
Let p = -104 - -73. Which is bigger: -29 or p?
-29
Let m = -72.4 - -71. Is -1 smaller than m?
False
Let o be ((-24)/28)/((-3)/(-2)). Let l(i) = -i**2 - 6*i - 2. Let p be (-1 - 1) + 1 + -5. Let c be l(p). Which is bigger: o or c?
o
Let v(s) = 3*s - 13. Let f be v(4). Is 2/7 >= f?
True
Let l be 164/(-14) + -3*1. Let b = l - -15. Which is greater: b or 5/4?
5/4
Suppose 13 = 3*z + x, 4*x + 1 + 7 = 0. Are z and 16/3 equal?
False
Suppose 6 = 4*f - f - t, f - 2*t = 7. Which is smaller: 1/66 or f?
1/66
Let a = -23 - -13. Let n be (-2 + -1)/(3/a). Suppose -4*j = j + n. Is -1 <= j?
False
Let c be (-4)/(-18) + 14/18. Which is smaller: c or 0?
0
Suppose 11*v = 15*v + 4. Is v != 1/216?
True
Let i = -3 + 10. Let r = 71 + -73. Let j = i + r. Is 1/3 at least j?
False
Let h = 9.1 + 2.9. Let z = 13 - h. Let l = 0.2 - 3.2. Is l less than z?
True
Let k be -3 - -1 - (1 - -4). Do k and -8 have the same value?
False
Suppose -4*y + 90 = -0*l + 2*l, -y + 215 = 4*l. Let z = -1961 - -5716/3. Let u = z + l. Is u < -2/3?
False
Let j = -27 + 29. Let t be j*(22/6 - 4). Suppose -2*u - 3*v = -8, 5*v - 21 = 3*u + 5. Which is smaller: t or u?
u
Suppose -3*j - 4 = j. Let k = 2 + j. Let b(i) = i**3 - 7*i**2 - 8*i + 2. Let p be b(8). Which is bigger: p or k?
p
Let l = 0.16 + -0.06. Let o = -475 + 1561/3. Let d = 45 - o. Which is bigger: d or l?
l
Let t = -1093 - -57927/53. Which is smaller: t or 1?
t
Let v(m) = -m**3 + 6*m**2 + m - 8. Let w be v(6). Let t = w - -2. Let k = 6 + -5. Which is smaller: k or t?
t
Let q(u) = 5*u + 35. Let f be q(-6). Do f and 9 have the same value?
False
Let h = -4 - -3. Which is greater: 4 or h?
4
Let h be (-2)/(-4)*(-3 - (-5 - -2)). Is h > -2/83?
True
Let g = 1 - 1. Which is bigger: -1/6 or g?
g
Suppose 3*r + 15 = -3*i, 0*r - 20 = 4*r. Suppose i = -4*v + 2*v - 2. Is 2/13 bigger than v?
True
Let x(t) = -t**3 - 6*t**2 - 2*t - 9. Let v be x(-6). Let r be (-32)/(-5) + 10/(-25). Suppose -r = -5*z + 2*l, -4*z = v*l + 13 - 4. Which is smaller: -3 or z?
-3
Let r be 4/(-2)*21/(-14). Suppose 0 = r*d + 2*d + 15. Is d smaller than -4?
False
Let r be ((-2)/(-5))/(1 + (-12)/5). Which is smaller: r or -1?
-1
Suppose -2 = -2*v + 8. Let d(m) = m**3 - 5*m**2 + m + 1. Let n be d(v). Let j be n/(-18)*(-6)/(-1). Which is smaller: 0.1 or j?
j
Let v = 12 + -12.7. Let b = v + 0.2. Let u = -0.3 - b. Which is bigger: 0 or u?
u
Let x(a) = 2*a**2 - 4*a + 2. Let o be x(2). Is 0 smaller than o?
True
Let p = 84/2075 - 10/83. Suppose 2*d + 8 = x - 3*x, -4*d = 20. Is x bigger than p?
True
Let k(u) = -21 + 8*u + 4 - 4*u. Let p(l) = -l + 6. Let a(f) = -2*k(f) - 7*p(f). Let o be a(-8). Is o greater than 1?
False
Let p be ((-16)/(-10))/(18/135). Let z(c) = c + 8. Let s be z(3). Which is greater: s or p?
p
Suppose -4 = -3*l + 2*l. Suppose 0 = -l*d + d. Let t be (-4 - -3) + -1 - -2. Is t equal to d?
True
Let z(c) = 0*c - 5*c + 0*c. Let j be z(-1). Which is greater: j or 4?
j
Let k = -2.5 + -10.5. Let l = -4 - k. Which is greater: l or 2?
l
Suppose -4*j = -j + 4*a + 5, j = -5*a - 9. Let m = 1 + j. Suppose 0 = 2*v - 2 - m. Are v and 3 equal?
False
Let x be 3*145/(-3)*4. Let t be (1/9)/(175/x). Let s = t - 2/63. Is s at most as big as -4?
False
Let n = -10 + 0. Let r be 16/35 - (-6)/n. Which is smaller: r or -1?
-1
Let i = 1/9705 - -830747/9705. Let u be (-43)/(-1 + (-2)/(-4)). Let j = u - i. Is -1 at least j?
False
Suppose 3*p + 2 = 5*p. Let x(q) = -9*q - 3*q**2 + 3*q - 2*q**2 + 4*q**2 + p. Let m be x(-6). Which is smaller: m or 0?
0
Let l be 2*1*20/24. Suppose 13 = -4*g + 41. Suppose u - x = -1, -2*u - x + g = -u. Which is smaller: l or u?
l
Let a(b) = b + 5. Let k be a(-7). Let p = 29 - 91/3. Which is smaller: p or k?
k
Let o = -63/265 - -2/53. Suppose -4*p - 3*d + 19 = 0, -3*p - 5*d + 21 = -7*p. Which is bigger: o or p?
p
Let x = -4.99 - -0.09. Let h = x + 5. Which is smaller: 3 or h?
h
Let a = 6 + -4. Let q be -1 - (3 - 2)*-9. Let p be ((q/(-6))/a)/2. Which is smaller: 1 or p?
p
Let f = 1.1 - 3.1. Let u = -1.9 - f. Let v = 1.2 - 1. Which is greater: u or v?
v
Let s = -2 + 0. Let v(u) = -u**2 + 4*u - 3. Let y be v(3). Let k = -1 - y. Are k and s equal?
False
Suppose 0 = b - 1 - 4. Let y(x) = -x**3 + 10*x**2 + 2*x + 2. Let d(w) = w**2 - w. Let s(o) = 4*d(o) - y(o). Let t be s(7). Is b at least t?
True
Let n be (-4)/10 - (-147)/405. Let l(c) = -2*c - 3. Let r be l(-2). Which is bigger: r or n?
r
Let l = -0.39 + -0.11. Let q = 0.8 + l. Which is bigger: q or 2?
2
Let u(p) = -p - 12. Let n be u(-11). Which is smaller: n or -0.19?
n
Let n = -21 - -21.1. Is 5 less than or equal to n?
False
Let b(m) = m - 14. Let q be b(5). Let k = -21 + 13. Which is bigger: q or k?
k
Let s = -19 + 25. Let l be (1 + 116/(-108))*s. Which is greater: l or 1?
1
Suppose 5*m = 3*m + 10. Let d be (-5 - (-1 + -1))*2. Let l = m + d. Which is smaller: l or 1/11?
l
Let y(j) be the second derivative of j**4/12 - 29*j**2 + j. Let s be y(0). Let i be 5/20 - s/(-168). Is i >= -1?
True
Let o be ((-9)/6)/(12/16). Suppose -x + 1 + 1 = 0. Is o at least as big as x?
False
Suppose 0 = 5*r + 3*w + 2, 0 = -3*r - w - 3 + 1. Which is greater: r or -2/29?
-2/29
Let p = 2 + 4. Suppose 3*x - 8*x = 0. Suppose -3*w + 0 + 21 = x. Which is greater: w or p?
w
Let a(x) = 4*x + 1. Let y be a(-1). Let q be 3/(-5) + (-8)/20. Which is bigger: q or y?
q
Let o(u) = -3*u**2 + 4*u - 2. Let n be o(2). Is -2 equal to n?
False
Let h be (-8)/(-20)*(0 + 50/(-80)). Let f(u) = u**2 + u + 1. Suppose -k - 10 = -4*k + 5*a, 3*a + 6 = -3*k. Let l be f(k). Is h >= l?
False
Suppose 0 = i + 3*d - 10, 12 = i + i - 2*d. Suppose -3 = -t - i. Is t less than or equal to -7/2?
True
Let m = 86 - 2320/27. Let z = m - 13/54. Does z = -1?
False
Let s(a) = a - 8. Let x be s(11). Which is bigger: x or 1/3?
x
Let z(j) = 2 - 10*j + 0*j**2 + j**2 + 9*j - 3*j**2. Let a be z(2). Let x be ((-6)/a)/(12/(-8)). Are 0.2 and x nonequal?
True
Let t = -4 + 4. Let q = 1078/39 - 30/13. Let i = -26 + q. Is i at most t?
True
Let r(k) = -k**2 + 2*k - 3. Let s be r(3). Suppose 4*w = 2*w - 12. Is s at most as big as w?
True
Suppose 16*o + 1 = 15*o. Is 1/46 != o?
True
Let v(t) = -t**2 + 2*t. Let y be v(3). Is 1 greater than y?
True
Let k = 7 - 2. Let r = k - 5. Suppose -3*o + o - 6 = r. Is o equal to -2?
False
Suppose -6*r = -2*r - 16. Suppose -h = 3*c + h - 3, 2*h = -4*c + r. Let n = -49 - -52. Is c at most as big as n?
True
Suppose u + 3 = 0, 4*u + 8 = -x + u. Let t be 0/x + (-4 - 0). Let h = -6 - t. Which is smaller: h or -3?
-3
Let z = -35/2 + 69/4. Which is smaller: 3.7 or z?
z
Suppose o - 2*b - 8 = 0, -5*b + 2 = 3*o - 11. Suppose 0 = -x - o + 4. Is -3/2 at least as big as x?
True
Let p be (-6)/27 - (-65)/900. Is 0 != p?
True
Let z = -1 + -11. Which is smaller: z or -11?
z
Let d be 1*-1*(-5 + 3). Let j be ((2/5)/d)/(-1). Let g be 3/5 + (-4)/(-10). Is j greater than or equal to g?
False
Let d = -0.3 - -0.4. Is -0.09 less than or equal to d?
True
Let k = -14208445/20539 - 314/893. Let y = k - -692. Do 1 and y have the same value?
False
Let r(m) be the first derivative of m**2/2 - 8*m + 1. Let y be r(6). Suppose -3*h = -b + 5, 10 = b + b. Which is smaller: h or y?
y
Let i = 3.3 - -0.6. Let t = 2.9 - i. Which is greater: -3/11 or t?
-3/11
Let m(w) = 3*w**3 + 2*w + 1. Let b be m(-1). Suppose -89 + 21 = 17*r. Is b at most as big as r?
True
Suppose -2*l - 3 + 27 = 0. Which is smaller: 1 or l?
1
Suppose -2*r = 3*w - 52, -3*w - 4*r + 50 = -0*w. Is w less than 18?
False
Let v = 20 + -6. Suppose -3*r + 1 = -v. Su