 - 9*s**2 - 8*s - 4. Let w be v(-8). Is l at least w?
True
Let k(y) = y**3 - 8*y**2 - 6*y + 42. Let w be k(8). Let t be -2 - w - 3 - -1. Which is bigger: 8/5 or t?
t
Suppose -3*p - 259 = 2*k, -5*k - 5*p - 394 - 266 = 0. Let i be (-4)/18 + (-80320)/(-585). Let t = i + k. Which is greater: t or 0?
t
Let d be 0/1 + 17*2. Let s = -3429 + 24239/7. Let u = s - d. Which is greater: -12 or u?
u
Let c = -3574/19 - -188. Suppose 8 = 3*w - 4*s - 11, 12 = -3*s. Which is smaller: c or w?
c
Let q be (-63)/(-14)*(0 - 2). Let v be ((-6)/q)/((-4)/(-42)). Suppose -2 = 4*i - 3*z, -i + 4*i + 2*z - v = 0. Which is greater: i or 3/11?
i
Suppose 0 = -x + 2*x. Suppose x*o - 4 = -2*o. Suppose o*l + 5*l = 0. Is -7/9 >= l?
False
Suppose 0 = 599*h - 592*h. Suppose 78 = d - 3*i, -2*d - i - 4*i = -200. Let w be -3 - (-267)/d - h. Does 0 = w?
False
Let m = -0.253 + 0.223. Is 4 bigger than m?
True
Suppose 3*a + 109 = 4*t, 2*t = 6*a - 3*a + 47. Suppose 5*g = 6 - t. Is -1 smaller than g?
False
Let s = -218 - -297. Is s less than or equal to 72?
False
Let s(z) = z**3 - 2*z**2 + 22. Suppose 5*y - 6 = y + 2*n, -4*y + n + 3 = 0. Let c be s(y). Is 24 equal to c?
False
Let d(l) = l**2 - 3*l - 24. Let u be d(6). Is -0.25 equal to u?
False
Let d be (4/(1140/185))/((-6)/(-108)). Is 11 less than or equal to d?
True
Let q be 2/(-4)*(15 + -1). Suppose 15*g - 37*g + 2846 = 2956. Which is smaller: q or g?
q
Let i be 1*3*7/(-63)*3. Let d(j) = -j**2 - 5*j - 3. Let b be d(i). Which is smaller: b or 2/181?
2/181
Let g = 431 + -431.1. Which is smaller: g or -164?
-164
Let a = -67 + 72.1. Let z = 10.9 + a. Which is smaller: z or 0?
0
Let t = 3/1709 - -8146/227297. Which is greater: -1 or t?
t
Suppose 3*z + 11 = -31. Let r be z/35*(-4)/(-40). Which is smaller: r or 0?
r
Suppose 3*l + 149 = -4*n + 29, -3*n = -3*l - 120. Which is smaller: l or -119/3?
l
Suppose 4*a = -a. Let t = 1 - a. Suppose -y + 2*y = -t. Do 0 and y have different values?
True
Let h = -40.28 + 38. Let k = -2.2 - h. Let v = 0.17 + k. Which is smaller: 0.1 or v?
0.1
Let w be (-12)/8*-1*6. Let s(r) = r**3 - 8*r**2 - 9*r - 3. Let n be s(w). Let z be (81/6)/(-9)*n. Is 4 at most z?
True
Let w(d) = 9*d - 65. Let v be w(7). Is v at least as big as -51?
True
Let l = -145/17 + 3056/153. Are 11 and l equal?
False
Suppose 35*o - 3 = -38. Is o <= -1/104?
True
Let c = 8 + -28. Let m be ((-1)/4)/(5/c). Which is smaller: m or -3/7?
-3/7
Let s = -2/2959 + 44449/94688. Is -1 at least as big as s?
False
Suppose 4*j - 16 = 8*j. Let z(x) = -x - 6. Let o be z(-5). Let n be (o + (-3)/3)/2. Which is greater: j or n?
n
Let g = 0.052 + -5.552. Let u = g - -5.4. Is u at least as big as 2.1?
False
Suppose 0 = 23*p + 20*p - 344. Are 3 and p non-equal?
True
Let f = -48 - -47.94. Let i = -0.06 - f. Let c be (54/(-5))/(-3) - 2. Is i != c?
True
Let d be 7/(-2) + (-4986)/(-36). Which is greater: 134 or d?
d
Let x(o) = o + 1. Let k be x(-1). Let b(g) = 3*g + 24. Let n be b(-7). Let l be 9/(-39)*2/n. Which is smaller: l or k?
l
Let u = 25 - -4. Suppose u = -3*p - 43. Is p at most -22?
True
Suppose -5*h - 5*o - 10 = 0, 0 = -2*o - 2*o - 16. Suppose -16 = h*r - 0*r. Do -43/5 and r have the same value?
False
Let z be -2 + 6/((-96)/(-808)). Which is smaller: 50 or z?
z
Suppose -3*p + 56 = -2*h + h, 0 = 4*p + h - 70. Let d = -26 - -52. Let t = p - d. Is -7 at most as big as t?
False
Let d(i) = -3*i**2 - i - 85. Let l be d(-6). Is l <= -187?
True
Let m(t) = t - 4. Let u be m(4). Suppose u = -k - 5*h + 7, 2*h - 6 = -2. Suppose 4*a - 28 = -32. Which is smaller: k or a?
k
Suppose -4*d + b = -10357, 5*d = 4*d + 2*b + 2584. Let h be (-8)/d*(-4480)/(-21). Let t = -2/259 + h. Is -1 greater than t?
False
Let c be 0 - 0/(3 + 1). Suppose -3*f - 5*o + 4 - 10 = c, 2*o + 6 = -3*f. Is 2/15 at least as big as f?
True
Let h be 3 - ((-1104)/286 - 196/(-28)). Is 0 at least as big as h?
True
Let n = 7/53 - -19/1060. Let t = n - -1/4. Suppose 3*w = -0*w. Which is smaller: w or t?
w
Let l(y) = y - 18. Let t be l(10). Let m be (-9)/36 - 5/t. Let v = 3 + -2. Is v bigger than m?
True
Let r = 858 + -867. Is r at most -39?
False
Let w = -1.9226 - 0.0774. Is -72 at least w?
False
Suppose 3*s = 5*s - 4*l + 420, -l = -2*s - 420. Is s at least as big as -209?
False
Let x = 3954/13 + -304. Is -0.8 greater than x?
False
Let d = -246 - -255. Is 9 greater than d?
False
Suppose 10 = -0*c + 2*c. Suppose -16 - 19 = -7*p. Suppose p*v - 41 = z, -14 + 0 = -2*v - 2*z. Do c and v have different values?
True
Let p = -16 - -113/7. Let m(i) = -i**2 - 11*i. Let s be m(-11). Which is greater: s or p?
p
Let y = -0.5367 - 2.4633. Let l = 25 - 17. Let t be -2*(-2)/l*2. Is y greater than t?
False
Let j(u) = -u**3 - 5*u**2 + 21*u + 101. Let m be j(-4). Which is bigger: m or 3/193?
m
Suppose 3*c = 2*f - 57 - 32, -227 = -5*f + 3*c. Let p = f - 137/3. Let w(t) = -t + 3. Let u be w(3). Is u smaller than p?
True
Let a be 354*(-2)/(-56)*(-20)/(-189). Let f = a - 2/441. Which is smaller: 2/19 or f?
2/19
Let i be ((-54)/81)/(70/(-6)). Let t = 51 + -51. Which is smaller: t or i?
t
Let y = -13 - -15. Suppose 0*p - 3*x = 3*p + 9, -y*p - x - 2 = 0. Is -9 != p?
True
Let x be -11 + 17 + -3 + 0. Suppose 35 = -4*a - 2*j + 141, -x*a + 67 = -j. Let k = -73/3 + a. Which is smaller: 1 or k?
k
Let u = -6 + 11. Let q = 158 - 68. Let p be q/(-4)*2/(-10). Which is greater: u or p?
u
Let m be ((-3 + 1)/4)/((-1)/2). Let p be ((-160)/(-39))/(-4) - -1. Is p not equal to m?
True
Let j(p) be the third derivative of p**5/60 + 5*p**3/6 - p**2. Let b be j(0). Suppose -2*n + b = s - 1, 3*s = -4*n + 10. Is n not equal to 4?
False
Let i be -1*(1 + (1 - 3)). Let q(o) = -o - 5. Let m be q(-5). Suppose m*d = -4*d. Is i <= d?
False
Suppose 0 = 4*v - 4*f + 168, 4*f + 0*f = 3*v + 128. Let g be 10/(-498)*(0 + 16/v). Is -1 != g?
True
Let b(o) be the second derivative of -o**3/6 + 9*o**2 + 5*o. Let r be b(8). Let f be 34/(-36) - (-5)/r. Is -1 smaller than f?
True
Let o(k) be the first derivative of k**4/4 - 2*k**3 + k**2/2 + 5*k - 4. Let h be o(5). Is h equal to -17?
False
Let h(r) = -2*r + 1. Suppose 7 = 2*u + 3*o, -2*o - 2*o + 14 = -2*u. Let k be h(u). Is -0.2 > k?
False
Let i(k) = -5*k. Let z be (1/(-2))/((-1)/(-8)). Let c be i(z). Let u(m) = -5*m**2 - 43*m - 4. Let b be u(-8). Is b smaller than c?
False
Let b = 45 - 52. Let h = b - -19/3. Which is greater: -2 or h?
h
Suppose 0 = 2*t - 2*p + 40, 90 = -5*t - p + 4*p. Let h be (6/95)/((-3)/t). Let s = h - 80/133. Is s at most as big as 6?
True
Let a(y) = -y**3 + 2*y**2 + 3*y + 4. Let b be a(3). Let q = -1 + 4. Suppose -4*o + b*p = -q*o + 13, -2*o + p = 5. Is o less than 2/5?
True
Let j = 9595 + -9604. Let g be -9 + 0/(0 - 1). Is g less than or equal to j?
True
Let u(d) = d**2 - 2*d - 40. Let k be u(-5). Is -13 < k?
True
Suppose -31 = 3*w - 0*v + 4*v, 2*w + 2*v = -18. Is -6 less than or equal to w?
True
Suppose 28 = 2*q + 2. Let y = 26/141 + 7933/564. Which is smaller: q or y?
q
Let p = 4975495211139/14182919660 + 1095967/759745. Let a = -7/4667 + p. Let z = -354 + a. Is z >= -1?
False
Let s(n) = 7*n + 34. Let f be s(-5). Is -15 at least as big as f?
False
Suppose 0*g + 3 = -f - 2*g, 4*f = g - 12. Let y be (f + 6/(-8) + 1)*4. Which is greater: 0 or y?
0
Suppose 8*q - 5*n = 9*q + 27, 41 = -q + 2*n. Is -32 not equal to q?
True
Suppose -4*x - 5*y - 6144 = 0, x - 4*y - 275 + 1811 = 0. Is x equal to -1537?
False
Let h = -0.425 - 0.575. Is h smaller than -603?
False
Let l(o) = 34*o + 715. Let m be l(-21). Which is bigger: m or 56?
56
Suppose 0 = -2*h + 3 + 1. Suppose -b - 28 = 2*p, -5*p - h*b - 72 = b. Is p smaller than -10?
True
Let l = -2 - -14. Suppose m + 30 = 5*j, -2*j = m + 2*m - l. Let s be 6/34*j/(-3). Which is smaller: s or 0?
s
Let t = -1699 + 1756. Which is smaller: -11 or t?
-11
Let x(m) = -m**3 - 24*m**2 + 65*m - 30. Let k be x(-26). Is -367 < k?
False
Suppose 15 = -5*h - 5, 5*t + 28 = -2*h. Is 89 smaller than t?
False
Let z = 11 - 39. Let r = 36 + z. Suppose 0 = -2*t + 4 + r. Which is smaller: t or 4?
4
Suppose 126 = -6*y + 4*y. Let l = -63 - y. Is l less than or equal to 4/7?
True
Let t(j) = -j**2 + 4*j + 1. Let k be t(-4). Let r = k - -35. Which is smaller: 5 or r?
r
Let j = 282 + -278. Let u(k) = k - 10. Let y be u(5). Let m = j + y. Is m equal to -7/3?
False
Let c(l) = -2*l**2 - 23*l - 90. Let k be c