Let r(u) = -u**2 - 5*u - 4. Let n be r(-3). Let v be 2 - (-6)/(-2) - -3. Let w = -1 + v. Is w >= n?
False
Let h be -1 + 2 + 679/(-803). Let u = h - -2/73. Let c be (-48)/(-60) - 4/5. Is u != c?
True
Suppose -10*c + 2*c = -224. Which is smaller: 27 or c?
27
Let i = -6 - -6.05. Let j = i + 0.04. Which is smaller: 2/7 or j?
j
Let d(j) = 2*j + 7. Let r be d(-5). Which is smaller: -1 or r?
r
Let j = 5.5 + -5.6. Is j greater than or equal to 23?
False
Let l = -86 - -85. Is l equal to 2/81?
False
Let t(o) = 0*o - o**2 + 2 - o - o - o. Let x be t(-3). Suppose x*d + 5 = -1. Is -2 < d?
False
Suppose -x = -3*x. Let c be 169/65 + (-3)/5. Which is smaller: c or x?
x
Suppose -2 = o, -1 = k - 2*o - 6. Is 1/52 <= k?
True
Let w = -5253/70 + 75. Is -1 >= w?
False
Suppose 0*w + 4 = 4*w + t, 4*w = 5*t + 28. Suppose -2 + 0 = s, 4*x + s = 10. Suppose 0 = -2*g - 3*k - x, -3*g + 5 = 2*k + 2. Does g = w?
False
Let b(i) be the first derivative of i**3/3 + i**2/2 - 5. Let k be b(0). Is -10/11 less than k?
True
Let i(q) = 7*q + 35. Let y be i(-6). Suppose -4*p = 27 + 1. Is y > p?
False
Let v(y) = 5*y. Let t be v(-1). Suppose -4*z - 15 = -z. Are z and t non-equal?
False
Let a(r) = -r**3 - r**2 + r - 2. Let o be a(-2). Suppose 0 = -o*m + m. Is -1 at least m?
False
Let k = -793 + 133225/168. Is 1 greater than or equal to k?
True
Let c = 49 - 244/5. Let l = 1/4 - -3/20. Which is smaller: c or l?
c
Let z = 4 + -2. Let q be (1/2)/((-2)/(-8)). Suppose z*a - 3*g = -14, 3*a - 4*g = -q*a - 21. Is a less than 1/7?
True
Let f(o) = -o**3 + 8*o**2 - 7*o - 2. Let u be f(7). Let j = -0.08 + -2.92. Is j less than or equal to u?
True
Let k(p) = 3 - 4 + 0*p - p. Let u be k(-1). Which is greater: -1/5 or u?
u
Let m(p) = -p**2 + 1. Let v be m(2). Let o be (-59)/(-58) - (-2 - v). Let l = o - 121/290. Is l greater than or equal to 0.1?
False
Let f(l) = l + 12. Let a be f(-6). Let o(b) = -b**3 - 5*b**2 - 6*b - 3. Let q be o(-4). Suppose -q*g = -3*g + a. Which is smaller: g or -2?
g
Let b = -5/132 + -111/22. Let c = b - -16/3. Which is bigger: c or -2?
c
Let r = -3.42 + -0.08. Let g = 1.5 + r. Which is smaller: g or 4?
g
Let p be (-3*1)/(3/2). Let s be 1/(9/5 + p). Let i = s + 3. Is i >= -1?
False
Let c(h) = -h**2 + 6*h - 5. Let j(l) = -2*l - 3. Let k be j(-3). Suppose 0 = -2*n - y + 15, 5*y = k*n + 2*y. Let f be c(n). Is f equal to 0?
True
Let z = 19 + -7. Let q = 13 - z. Let m = -1/27 + -23/108. Is m < q?
True
Suppose 10*q = 14*q + 12. Let m be (q/6)/(5/(-50)). Is 5 <= m?
True
Let j(o) = -o**3 - 12*o**2 + 15*o + 18. Let g be j(-13). Let m = g - -16/3. Which is bigger: -4 or m?
m
Let t = -2.2 + 3.2. Is t >= -13/3?
True
Let q = 404.03 + -406. Let t = 2 + q. Let i = -3.97 - t. Is 0 smaller than i?
False
Let z(f) = -f**2 + 3 - 2 + f + 3*f. Let t be z(3). Suppose -t*p - 4 = 3*a, 2*p + 2 = -0*a - 3*a. Is a >= -1?
True
Let d = -8 - -10. Suppose d*m = -3*m + 15. Let s be ((-3)/10)/(m/(-6)). Is -1/4 smaller than s?
True
Let p = -58 - -58.96. Let k = p + 0.04. Which is smaller: k or 0.02?
0.02
Suppose i - 3*p = 3*i + 1, 0 = -4*p + 20. Is -60/7 <= i?
True
Suppose 2*f = 4*f - 14. Is f less than or equal to 25/3?
True
Let u be 108/(-4) - (1 + 0). Let f be 2*(u/10 - -3). Is -2/9 less than or equal to f?
True
Let s(k) = k**3 + 6*k**2 + 4*k - 1. Suppose -4*g - g - 25 = 0. Let l be s(g). Suppose -15 = -q - 2*q. Which is bigger: q or l?
q
Suppose 0*y = -3*y - 3. Let j = 2 - 8. Let i = -4 - j. Is i greater than or equal to y?
True
Let q be 1*3/(-12) - -2. Let r(m) = m**2 - 8*m + 13. Let b be r(6). Is b less than q?
True
Let r be (-3 + -2 + 10)*4/10. Let x = 457 + -3193/7. Which is greater: r or x?
r
Let j = -104 + 732/7. Suppose -k + r = 0, 0*k + 2*k - 5*r = 0. Which is smaller: j or k?
k
Suppose 0 = -5*i + 9*i. Is i <= -2/19?
False
Let k(h) = -5*h**3 - 6*h - 6. Let y be k(-2). Is 46 bigger than y?
False
Suppose 2*b - 20 = -3*b. Let u(g) = -g - 2*g + b*g. Let c be u(0). Is -1/2 less than c?
True
Let p(v) = -3*v + 9. Let f be p(9). Which is greater: -17 or f?
-17
Suppose -5*d = d. Which is smaller: -5 or d?
-5
Let x(j) = -j**3 - 5*j**2 + 7*j + 9. Let a be x(-6). Suppose -2*u + 5*u + 3 = -3*b, -5*b + 19 = -a*u. Which is greater: -4 or u?
u
Let w = -0.21 + 1.21. Is 11 bigger than w?
True
Let p = -0.5 - -0.3. Let w be ((-54)/(-4))/((-9)/(-108)). Let f = -1132/7 + w. Which is smaller: f or p?
p
Suppose -24*r + 25*r = -1. Is r at most as big as -1/3?
True
Let o = 362/3 + -45. Let b = o - 75. Is b not equal to -2/3?
True
Let h = 20476/1911 - 1/1911. Suppose 9*j = 3*j - 66. Let y = h + j. Is -1 < y?
True
Let o = -90 - -448/5. Does 1 = o?
False
Let n be ((-46)/(-44) + -1)*-4. Let c = -62 - -62. Is c <= n?
False
Suppose -4*d + 121 = 5*o + 361, 4*d + 240 = -o. Is d < -60?
False
Let s = -0.4 - -0.2. Let d = s + 0.3. Let r = 0.48 - 0.38. Is r bigger than d?
False
Suppose -3*g = 0, -4*a = -2*a + 3*g + 2. Does a = -25?
False
Suppose -a = 2*a. Let q(c) = c + 2. Let n be q(a). Let f be (-1 - (-5)/n)*2. Is 2 not equal to f?
True
Let q = -214 - -851/4. Let r be -2*(1 + 2/(-4)). Are q and r equal?
False
Let a(x) = -x**2 - 5*x + 5. Let b be a(-5). Suppose 2*g = -2*g + 72. Let c = 22 - g. Are c and b unequal?
True
Let w = 326/3 + -109. Which is smaller: w or -28?
-28
Let j = 0.4 + -0.1. Let t = -12.9 + 6. Let s = t - -7. Which is smaller: s or j?
s
Suppose 2*h + 39 = 5*q, 2*q + 5 = -5. Let v be 10/(-25) + h/(-5). Let l be (10/75)/((-2)/v). Which is smaller: -0.3 or l?
l
Let q be 1/(0 - (-3)/36). Suppose -4*v - q = 2*v. Which is greater: v or -1/2?
-1/2
Let p(r) = -r**2 - 13*r - 13. Let v be p(-12). Which is greater: v or -2/101?
-2/101
Let c = -3.9 - -4. Is c >= 5?
False
Let b = -10292/35 - -294. Is b < 1?
True
Let x = 12439/4812 + -2/1203. Let b = 389/132 - x. Is b at least 1?
False
Suppose 2*h - 5*b - 57 = 0, 2*h - 1 = h - 3*b. Suppose 12 = 2*q - c, 4*q - h = 4*c + 16. Let n be q*(-1)/(-2)*-2. Do -5 and n have the same value?
False
Suppose n - 3 = 0, 2*j + j - n = 12. Suppose -z + 4*z = 12. Is z bigger than j?
False
Suppose 2*h - 1 = 2*d + 17, -2*d = -5*h + 30. Suppose 0 = -6*r + 3*r - w + 13, -r + 13 = -h*w. Suppose 2*o + 9 = 5*o. Are o and r nonequal?
True
Let n = -0.5 - -0.5. Let k = -14.19 - -14. Let f = k + 1.09. Is f >= n?
True
Let n be (-4)/7 + 10/91. Is 0 bigger than n?
True
Let c(j) = -j**3 + 4*j**2 + 3*j + 1. Let z be c(5). Which is smaller: 1 or z?
z
Suppose 5 - 3 = 2*m. Let n = 84 + -1598/19. Is m <= n?
False
Let k = 9 + -11. Which is greater: -1 or k?
-1
Suppose -d + 7 = 4*q, -3*d - q + 7 = -3*q. Do 6 and d have the same value?
False
Let u = 73/48 - 3/16. Suppose 0*i = -2*i + 16. Suppose i + 4 = -3*t - 4*p, -15 = -t + 5*p. Is u bigger than t?
True
Suppose 3 = -5*j - 2. Let b(w) = -w**3 + 3*w**2 + 3*w + 2. Let f be b(4). Let k = f + 3. Is k <= j?
False
Suppose 24 = -4*r - 48. Is -19 at most r?
True
Let z(m) = m**3 - 4*m**2 + 3*m - 1. Let s be z(2). Let j = 4 + s. Let w be (-1 + -2)*(-2)/(-27). Which is smaller: j or w?
w
Let k(p) = -p**2 - 3*p. Suppose -t - w = 2, w = -4*t + t - 8. Let o be k(t). Which is bigger: o or -4/7?
o
Let a be (1 + 0)*(-20)/4. Let s be 5/(10/4) - a. Which is greater: s or 5?
s
Suppose t + t + 14 = 0. Let v = 5 + t. Which is greater: -8/3 or v?
v
Let x = -361/6 + 60. Let n be (-3 + 1)*1 + 2. Which is smaller: n or x?
x
Let w = -2 - -5. Let r = 5 + w. Suppose -4*v = -3*k + 16, k + r = -0*k - 2*v. Do k and 1/6 have different values?
True
Suppose -5*f - 109 = 5*l + 71, 92 = -2*l + 3*f. Let d = -198/5 - l. Let v(x) = -x**3 + 8*x**2 + 9*x. Let y be v(9). Is d smaller than y?
False
Suppose -3*t - 11 = p, p - 4*p = 2*t + 5. Let s = -23 - -23.1. Which is smaller: t or s?
t
Let d(s) = 21*s - 1. Let w be d(-1). Which is smaller: w or -21?
w
Let z be ((-10)/(-8) + 2)/((-1)/12). Is z at most 0.1?
True
Let w be 3/3*(5 - 1). Suppose w*z + 6 = -2. Which is smaller: z or 0?
z
Let x = 1.03 + -0.03. Suppose 2*v + 14 = -2*f + f, 4*f + 4*v + 68 = 0. Let k be 3/35 - 4/f. Is k equal to x?
False
Let b = 1 - 0. Let y(u) = -152*u - 1. Let q be y(1). Let i be -2 - (q/(-24))/(-3). Which is smaller: b or i?
i
Suppose 6 = 2*p, -5*u + 0*p - p = 2. Which is smaller: -1/7 or u?
u
Let d = 16.01 + -16. Which is bigger: -4 or d?
d
Let u be 11*3/(-18) - -2. Let m be 1/(-2)*(1 - 1). Is u less than m?
False
Suppose -49*h = -45*h