Is d less than or equal to -3/4?
False
Let d(n) = -n**3 - 5*n**2 - n - 3. Let r be d(-4). Which is smaller: -16 or r?
-16
Let d be (4 + -2)/2 - 2. Suppose n - 7*x + 3*x - 8 = 0, -13 = -4*n - 3*x. Let g(v) = -v + 2. Let a be g(n). Is a > d?
False
Let g be 4 + -2 + 17/(-6). Let q(x) = -x - 2. Let a be q(-1). Which is bigger: g or a?
g
Let v(l) = -l**2 + 3*l - 1. Let f be v(2). Suppose -9*a - 4 + 31 = 0. Which is smaller: f or a?
f
Suppose a - 3 + 0 = 0, -4*a = 4*r + 8. Let d be 3/r - 6/15. Is -1 < d?
False
Let i(v) = -3*v + 1. Let m be i(-1). Let j = 10 - 7. Let h be -1*-1*j*1. Is m > h?
True
Let t = -110 - -109. Is -38 at least as big as t?
False
Let m(o) = -o - 1. Let l be m(-1). Suppose -3*i + 2 = -i. Suppose -2*k = -i + 3. Which is smaller: l or k?
k
Let f = -105 - -1157/11. Let v(k) = -4*k + 10. Let m(r) = 5*r - 11. Let h(q) = -5*m(q) - 6*v(q). Let w be h(-4). Is f > w?
True
Suppose 1 = -5*k - 14. Let t be 1/(4 + 9/k). Which is smaller: -2/45 or t?
-2/45
Let h = -5 + 7. Let c(m) = m**2 + 4*m + 2. Let q be c(-5). Suppose 7*l + v = 3*l - 3, h*v = 5*l + q. Does 2/9 = l?
False
Let u = 32 + -35. Which is greater: u or 1?
1
Let y = 107165/4 - 26937. Let b = y - -145. Which is greater: b or 4/3?
4/3
Suppose 0 = 4*n - 22 + 2. Is 4 greater than n?
False
Let s(m) = -m**3 - 6*m**2 + 4*m + 4. Let x be s(-4). Let c be 3*(4 + x/12). Let o(t) = -t - 4. Let v be o(-4). Is v < c?
True
Let w = -39 + 13. Is w greater than or equal to -25?
False
Let c(u) = u**2 - u - 1. Let q = -10 + 9. Let z be c(q). Which is bigger: 0 or z?
z
Let y be 4/2 + (0 - 1). Is 1/18 greater than y?
False
Suppose -9 = -2*h + t, 4*h - 10 = -2*t + 12. Let f(d) = d**2 - 10*d - 5. Let o be f(11). Is o less than h?
False
Let o = -3.3 + 4.3. Which is smaller: o or 1/5?
1/5
Let n = -139/14 - -19/2. Which is greater: 0 or n?
0
Suppose -123 = -5*x + 2*l, 0 = 2*x - 3*x - l + 26. Suppose 10 = 2*c + 4*q, 3*c - 3*q = -2*c + x. Suppose -2*p + 9 = p. Which is bigger: c or p?
c
Suppose 4*d - 11*d = -7. Is -3/7 smaller than d?
True
Let g = 148 + -140.7. Let x = -7 + g. Is -0.1 less than or equal to x?
True
Let c = 0.01 - -3.99. Is -1 at least c?
False
Let x be 4/6*((-20)/(-8) - 4). Is -21 smaller than x?
True
Suppose 3*o + 2*t = 13, o + 3*t = t + 11. Let h(j) = 7*j**2 - 2*j - 2. Let v be h(2). Let u be 1 - 3 - v/(-10). Is u greater than or equal to o?
False
Let q be (4/(7 - 3))/(-3). Which is smaller: -4/15 or q?
q
Let t(j) = -11*j**3 - j**2 + j - 1. Let v be t(1). Let l be (v/(-18))/((-4)/(-18)). Which is greater: 4 or l?
4
Let k = -17 - -12. Let u = -2 - k. Is 2/7 > u?
False
Let v = -10 - -12. Is -3/4 < v?
True
Let c be (2/(-10) + -1)*5. Let n be 4/(c/(-3)) + 78. Let w = n + -558/7. Which is greater: w or 0.1?
w
Let a(f) = f - 2*f + 0*f - 7. Let l be a(-7). Let s = 39/275 + 1/25. Which is greater: l or s?
s
Suppose 2*s = -34 + 14. Let j = 9 + s. Is j not equal to -2?
True
Suppose 22 = 3*v - 4*g, 0*g - 9 = -v + 3*g. Suppose 5*z - y = -62, -4*y + 2 = -v. Let l = 110/9 + z. Which is bigger: l or -1?
l
Let c be 8/70*6/(-4). Let x = 16/35 + c. Which is smaller: -9 or x?
-9
Let k(c) = 5*c**2 - 7*c + 0 - 4*c**2 + 5. Let h be k(7). Is 5 equal to h?
True
Let m be (1/2)/(7/(-126)). Let g = 37/4 + m. Is g <= 2?
True
Let y(c) = c**3 + c**2 - 3*c + 3. Let t be y(2). Let d = t - 5. Which is smaller: d or 5?
d
Let v = -2.6 + 4.41. Let n = -0.19 - v. Let g = -1/18 - 1/9. Which is smaller: g or n?
n
Let r = 0 + -1. Let a(k) = -k**3 + 7*k**2 + 7*k + 8. Let w be a(8). Suppose w = 6*x - 8 + 2. Is x greater than r?
True
Let v(i) = i**2 + 5*i + 2. Let b be v(-5). Suppose 6 + b = -4*k. Which is bigger: -1 or k?
-1
Let t be (1 - -6)/((-3)/9). Let z be 1 + -3 + t/(-9). Let h(l) = -l**3 + 5*l**2 - l + 6. Let k be h(5). Which is smaller: z or k?
z
Suppose 4*a - 6*a + 6 = 0. Are -2/7 and a non-equal?
True
Let y be (-152)/30 + 8/20. Is y equal to -6?
False
Let y(z) = -z - 2. Let s be y(1). Does s = -2?
False
Let b be (-3 + 4/42 - -2) + 1. Which is bigger: b or 0?
b
Let v(k) be the second derivative of -k**4/12 + 2*k**3/3 - k**2/2 + 3*k. Let f be v(3). Is 5/4 smaller than f?
True
Let g = -13 + 12.96. Let n = g - -0.14. Is 0.08 != n?
True
Let s(d) = -2 - 3*d - 2*d - 2*d**2 + d**2. Let o be s(-4). Suppose o*a = a. Which is bigger: 2/5 or a?
2/5
Let s = -3 - -2. Let u be (-4)/16 - (0 + s). Suppose h = 2*h - z - 2, 5*h - 10 = 3*z. Which is smaller: u or h?
u
Let s be ((-1)/3)/(2/(-24)). Suppose 2*p - 1 = x, 5*x - 29 = -s. Suppose 0 = -p*m + 5*m. Which is smaller: 1 or m?
m
Suppose -56 = 3*n - 2. Which is greater: -15 or n?
-15
Let l = -0.1 + 0.1. Let g = -0.004 + -0.056. Is l greater than or equal to g?
True
Let f = 35 - 37. Is -5/3 < f?
False
Suppose -12 = 2*f + 4*q, -2*f + 0*q = -4*q + 12. Let p = 3 - 8. Which is smaller: f or p?
f
Let h = 3.139 - 0.039. Which is smaller: -1/4 or h?
-1/4
Let m(l) = l**2 + 13. Let v be m(0). Is v < 13?
False
Let a be 8/36 - (-4)/(-18). Let s = a + 2. Are s and -1 nonequal?
True
Let d = -7 + 8. Let f be 2 + -9*d + 0. Which is bigger: f or -6?
-6
Let f(l) = 4*l**2 + l**3 + l**2 + 0*l**2 - 1 - 2*l**2. Let w be f(-2). Which is smaller: 1 or w?
1
Let h = 25087/74 - 339. Is 1 <= h?
False
Let m = -0.08 - -7.08. Let b = m - 6. Which is smaller: b or -4/3?
-4/3
Suppose -3*h = 0, -6 = -2*x + 4*h + 2. Suppose 2*r + 2 = 0, z - 6*z - 4*r = x. Are z and -1 nonequal?
True
Let k = -4 + 22/5. Which is bigger: -2/45 or k?
k
Suppose -2*b = 3*y - 2, -2*y - b = -y. Let q be 6/y + (-10)/4. Is 6 greater than or equal to q?
True
Let v(d) = -d**2 - 3*d + 22. Let f be v(-6). Is f < 9?
True
Let y(h) = 3*h - 4. Let w(n) = 4*n - 4. Let p(q) = -4*w(q) + 5*y(q). Let z be p(-7). Suppose -4*i + 4 = -j - 4, 0 = -z*i + 3. Which is greater: j or -3?
-3
Let p be (-4)/(4/33) - 6/(-2). Is p at most as big as -30?
True
Let n = -3 + -3. Let c be 14/12 - (-4)/n. Which is smaller: -4 or c?
-4
Let z be 6/(-18)*6/(-8). Which is bigger: -0.09 or z?
z
Suppose -4*b - 5*c - 21 = 0, 0 = -b - 2*c - 11 + 2. Suppose u - 6*u - 5*x = 25, -u = -x + b. Let a be -4 + (-4)/(-1 + -1). Is u greater than or equal to a?
False
Let k(l) = l. Let d be k(3). Suppose 0 = -h + d*h - 18. Is 8 < h?
True
Let z = 108 + -106. Which is bigger: -5/2 or z?
z
Let a(j) = -j. Let z be a(1). Suppose -3*v + 1 = -8. Let h be 1 + 0 - 0/v. Which is smaller: h or z?
z
Let f = -1.9 - -0.1. Let q = 0.1 - 2.1. Let k = q - f. Is -2/3 greater than k?
False
Let o(n) = n**2 + 7*n + 8. Let i be o(-5). Do i and -2 have the same value?
True
Let i = -51 - -75. Let v be (1/2)/(4/i). Which is greater: v or 2?
v
Suppose -2*f = -4*t - 0*t - 92, 0 = 2*f - 3*t - 87. Suppose -f*w - 4 = -32*w. Which is smaller: -1/5 or w?
w
Suppose 0 = -7*r + r - 6. Let c = -2 - -1. Let m be (-5*3/(-9))/c. Is m != r?
True
Suppose 7*i = 19 + 2. Which is smaller: 1 or i?
1
Let d = -26 + 15. Is d less than -11?
False
Let v(w) = w**3 + 5*w**2 + 4*w - 4. Let y be v(-3). Suppose 2 + y = -4*p. Which is smaller: p or -2/17?
p
Let s(c) = -c**2 - 6*c - 5. Suppose 3*b + 14 = 5*r - 2, 6 = -2*r - 5*b. Let m be (r + -4)/(-6)*-15. Let u be s(m). Which is bigger: 1/11 or u?
1/11
Let l = -13/490 + -36608/735. Suppose -2*y - 55 = 45. Let m = y - l. Which is smaller: m or 0?
m
Let y = -0.23 - -0.52. Let l = 0.01 + y. Which is bigger: -4 or l?
l
Let i(k) = k**2 - 7*k + 1. Let s be i(7). Is s less than 1?
False
Suppose 2*s - 3 = 5. Let v be (-1)/5 + 21/5. Let p = s - v. Is p at most -2/15?
False
Let z = 56 - 335/6. Does z = -3/4?
False
Let j(v) = 2*v**2 + 46*v - 20. Let n be j(-23). Are n and -23 equal?
False
Let k = 2 - 0. Let c be (k + -2)/(-3 - -2). Is c equal to 2/23?
False
Let l = -100 + 1104/11. Let v be 5 + (1 + -2)*3. Suppose 0 = 2*s + o - 7, 4*s + v*o = 6*o - 16. Is s != l?
True
Let w be 2/10 + 48/10. Let b be 2 + (-4)/w + -1. Is 1 smaller than b?
False
Let n = -2511/1006 - 2/503. Which is greater: -4 or n?
n
Let r = 3 - 3.1. Let p = 6.9 - 0.9. Let c = p + -5. Is r < c?
True
Let z be 1/8 + (-50)/16. Let l be (10 - 3)/((-1)/z). Is l at most as big as 20?
False
Let t = 22.043 - 0.043. Let o = -24.4 + t. Let s = o - 0.6. Which is greater: 1 or s?
1
Let g be -5 - -13 - -2*1. Suppose 16 = 2*w - 4*r, -r + 1 - g = -3*w. Suppose 5*t + x - 13 = -x, 13 = 3*t - 4*x. Which is bigger: t or w?
t
Let y be (0 - -2)/(((-320)/44)/5). Is -1 < 