4*f + 2 = -6. Is f > l?
False
Suppose -l + 2 = 4. Let b(q) = -q + 10. Let h(t) = -t + 11. Let u(z) = 4*b(z) - 3*h(z). Let p be u(9). Are l and p equal?
True
Let s be 0/(-1) - 1*-1. Let q(a) = a**2 + 1. Let t be q(1). Suppose x = 1 - t. Which is greater: x or s?
s
Let m = -54 + 863/16. Do m and -1 have the same value?
False
Suppose -2*l = 3*b - 7, -3*l + 8 = -2*b + 2*l. Let j be b - 3*(-11)/(-30). Is 1 less than or equal to j?
False
Let d(c) be the third derivative of c**6/120 - c**5/60 - c**4/12 + c**3/3 - 3*c**2. Let x be d(2). Suppose 0 = -3*a - x*n - 10, 1 = -3*a + n - 3. Is -2 <= a?
True
Suppose -2*y - 2*y - 20 = 0. Let z = -0.2 + 0.3. Which is smaller: y or z?
y
Let y = 8712/31 - 281. Let p = y - -88/155. Is p >= 1?
False
Let r be (6*(-2)/(-5784))/((-2)/(-8)). Is r smaller than 0?
False
Let n be (-1 - 1) + 2 + -3. Let w = -1 + n. Is w smaller than -5?
False
Let y be -2 - -2 - 32/(-36). Which is smaller: 1 or y?
y
Suppose -3*u = -u + 22. Suppose 0 = 57*c - 52*c + 50. Which is smaller: c or u?
u
Let h be (-1251)/(-3315) + 8/(-20). Let k = h + -4616/1105. Which is smaller: k or -3?
k
Let k = 193/4 - 48. Which is greater: k or 8?
8
Let d be (1 + 3/(-9))*-36. Let z = 166/7 + d. Let i = -3 + 2. Which is greater: z or i?
z
Let h(r) be the second derivative of r**3/6 + r**2 - r. Let c be h(-6). Let n be ((-1)/2)/(c/8). Which is smaller: -2/3 or n?
-2/3
Let v(s) = -3*s. Let q be v(2). Let n = 29 - 34. Which is bigger: q or n?
n
Let s(r) = r**3 + 7*r**2 + 4*r + 1. Let j(x) = -3*x**3 - 21*x**2 - 13*x - 3. Let g(m) = -3*j(m) - 8*s(m). Let a be g(-6). Which is smaller: a or -4?
a
Suppose 2*c - 4*c + 40 = 0. Let m be ((-2)/(-55))/((-2)/c). Which is bigger: 0 or m?
0
Let t(o) = o**3 - 6*o**2 + 8*o - 6. Let d be t(5). Which is bigger: d or 51/5?
51/5
Let p = -19 + 19. Is -1/75 > p?
False
Let g(d) = -d**2 - d + 32. Let z be g(-7). Is z >= -11?
True
Suppose 0 = -7*s + 3*s + 3*d + 7, -s = d. Are -1/8 and s nonequal?
True
Let b(g) = 6*g + 4. Let i(n) = -9*n - 6. Let h(w) = 8*b(w) + 5*i(w). Let a be h(6). Let t be ((-4)/5)/((-8)/a). Which is greater: -0.1 or t?
t
Let x = 203 - 202. Let i = -0.3 + 0.5. Which is smaller: x or i?
i
Let j be -2*(0 - 1/2). Let b(o) = 3*o. Let t be b(-2). Let g be 4/6*3/t. Which is bigger: g or j?
j
Let y = 53 - 369/7. Suppose -15 = 2*q - 23, 4*z - q = -8. Is z equal to y?
False
Let r = 2.024 - 0.024. Let n = -1.1 + 0.3. Which is bigger: r or n?
r
Let l(q) = -q. Let n be l(-5). Which is smaller: n or 7?
n
Let c be -3*(-4)/6 - 0. Let k(y) = -y**3 + 11*y**2 + 2. Let p be k(11). Let v = p - c. Which is smaller: v or 2/9?
v
Let x = 2/137 - 1277/3014. Let p = x - 1/11. Which is bigger: 0.1 or p?
0.1
Let m = -5.24 + 3.43. Let v = 0.19 - m. Let y = 1 + 0. Is v smaller than y?
False
Suppose -5*m = -2*f + 1, -3*m + 0*m = 4*f + 11. Which is bigger: 2/7 or m?
2/7
Let u be 28/(-117) - (-22)/99. Let q = u - 196/2223. Which is greater: -1 or q?
q
Let h = -7/16 + -1/16. Let r = h + 1. Let v be ((-1)/2 + (-7)/(-14))/1. Is r at most v?
False
Let l(u) = -u**2 - 12*u - 11. Let v(i) = -2*i**2 - 11*i - 10. Let w(h) = -3*l(h) + 2*v(h). Let f be w(15). Which is greater: f or -4?
f
Let x(t) = -3*t + 1. Let q be x(3). Let m be (-30)/(-20)*q/(-3). Is 4 at most as big as m?
True
Let t = 3/14 + -29/70. Is t smaller than -62?
False
Suppose 0*s = s, 0 = -5*j + 3*s + 10. Suppose 0*k + 5*l = -5*k + 75, -5*l + 65 = 4*k. Let d be (4/k)/(2/10). Does d = j?
True
Let x(n) = n**2 + 9*n + 6. Let m be x(-8). Let l be (-33)/21 - 1*m. Which is greater: l or 0?
l
Let t be (6/(-10))/((-16)/(-20)). Let s be 2*3/((-6)/(-7)). Suppose s*x = 2*x - 10. Which is bigger: x or t?
t
Let z = 1 + 1. Let a be -2 + (-4)/2 + z. Let k be 1/a - 18/(-28). Are -1 and k non-equal?
True
Let n be 4/(-12)*(-18)/(-4). Let k(t) = t + 1. Let i be k(1). Suppose -9 = 2*h - h - i*g, -g + 8 = -4*h. Is n at least h?
False
Let k = 21 - 19.8. Let n = 1 - k. Which is bigger: -3/7 or n?
n
Let l = 10 + -7. Is 4 at least l?
True
Suppose -5*w + 2*v + 20 = -3*v, -5*w + 12 = -3*v. Let n be (-258)/(-54) - (4 - -1). Is n <= w?
True
Let s = 3/7 - -1/14. Which is smaller: 2 or s?
s
Let c(d) = 2*d**2 + 2*d - 1. Let t be c(1). Suppose 4*o = -t*s - 0*s - 6, -5*s = -5*o + 10. Let u = -38 - -37. Which is bigger: u or o?
o
Let h = -3 - 3. Which is smaller: -4 or h?
h
Suppose 7*x - 14 = -7*x. Which is smaller: x or -4/25?
-4/25
Let v be (-93)/(-105) + 2/(-7). Let n be 2/2*0/(-2). Suppose 0 = -5*f - n*f. Which is smaller: v or f?
f
Let u be 1/((6/3)/(-70)). Which is smaller: -36 or u?
-36
Let x(q) = 5*q**2 + 0*q**2 - 5*q + q**3 + 11 - 4. Let u be x(-6). Let a be 0 + 65/(-30) + 2. Which is smaller: u or a?
a
Let y be (2 + -2 - 1)/1. Let c be 3/(-9) + 192/9. Let b be (-2)/7 - 29/c. Which is greater: b or y?
y
Suppose 0 = 2*w - 3*w + 1. Which is smaller: w or -6/19?
-6/19
Suppose 43 = w + 3*t, -3*t + 91 = 2*w + 2*t. Which is smaller: w or -0.1?
-0.1
Let r = -4 + 4. Let m be (-4*(-3)/20)/3. Are r and m unequal?
True
Let g(k) = -k**3 + 4*k**2 + 5*k. Let o(s) = s**3 + 6*s**2 + 6*s + 2. Let n be o(-5). Let i be 16/3 + 1/n. Let z be g(i). Do z and -1 have the same value?
False
Let a = -2921/1560 - 1/390. Are -1 and a unequal?
True
Let f = -11 + 10.86. Do 3 and f have different values?
True
Let q = 106 + -534/5. Let v(s) = -2*s + 30. Let g be v(15). Do q and g have different values?
True
Let w = 1.872 - -0.118. Let p = -0.01 - w. Let d = p - -2. Which is smaller: d or 2?
d
Suppose 27*o = 30*o. Is 4/61 at least o?
True
Let a be -1 - (-1 - -1) - -1. Let n = 3 - -7. Let r be (2/(-10))/(16/n). Which is bigger: r or a?
a
Let v = -1.5 - -23.5. Is 1 != v?
True
Let m(b) = 9*b**3 + b**2 + 2*b + 1. Suppose -3*h = -z - 7, -h - 5 = -5*z - 6*h. Let a be m(z). Let r be (38/10 - 2)*-5. Is a bigger than r?
False
Let k = -3.7 + 3.51. Let y = 0.01 - k. Does 2 = y?
False
Let m = 0.3 - 0.1. Let q be ((-2)/2)/(-9) - 2/6. Is m <= q?
False
Let o be (-932)/18 - 20/90. Which is smaller: -50 or o?
o
Suppose -g - 4*k = -23, 5*g + 5*k - 30 = 2*k. Which is greater: -0.03 or g?
g
Let z(j) = -j**3 + 8*j**2 - j + 8. Let h be z(8). Suppose -2*m = -h*m. Which is greater: m or 2/5?
2/5
Let p = -54602 - -499424/9. Let m = p - 6524/9. Let j = m + -166. Is -1 <= j?
False
Let b be (2/(-1) - -2)*1. Let r(t) = t**3 + 8*t**2 + 8*t + 8. Let j be r(-7). Is j smaller than b?
False
Suppose -5*q + 17 = -0*a + 4*a, -5*a = -3*q - 12. Let g = -6/5 - -7/5. Do g and q have the same value?
False
Suppose 2 = -2*b + 3*m + 2*m, m - 16 = 3*b. Let w be b/24 - 10/56. Which is smaller: 1 or w?
w
Suppose 3*n = 17 - 20. Let j = -294 - -3237/11. Is j equal to n?
False
Suppose 0 = 2*h + z + 16, -4*z - 26 = 3*h + 3. Let y(o) = -3 - 2*o**2 + 6*o - 2*o - 4*o + 5*o. Let r be y(3). Is h greater than r?
False
Let o be 0*(3 - (1 - -1)). Suppose 0 = w - 4. Suppose 4*v - w + o = 0. Are v and 1/5 equal?
False
Let u(v) = 2*v. Let n be u(1). Suppose -3*l = l + x, -n*x = -4*l + 12. Which is smaller: l or 2?
l
Let l = 49 + -24. Let w be ((-2)/(-195))/(5/l). Which is smaller: -1 or w?
-1
Let d = 3.1 - 3. Let w be (14/49)/((-9)/7). Is d < w?
False
Let w be (-4 + 2)/((-4)/8). Suppose 3*u - 6 = -2*i - 0*i, -4 = w*i - 2*u. Which is smaller: 4/3 or i?
i
Let b(l) = -l**3 - 10*l**2 + 8*l - 14. Let a be b(-11). Is a at most as big as 20?
True
Let t(s) = s**3 - 7*s**2 - 11*s + 23. Let y be t(8). Let o be 2/3 + (-248)/354. Which is greater: o or y?
o
Let n(r) = -r**3 - 2*r**2 - r - 2. Let v be n(-2). Let d = 3 - 2.98. Let c = d + -0.22. Is v greater than c?
True
Let q(d) = d**3 + d - 1. Let w be q(-2). Let m = w - -7. Does m = -5?
False
Let c = -29 - -25. Let s(l) = -l**3 - 5*l**2 - 2*l + 6. Let h be s(c). Which is bigger: 1 or h?
1
Let t be 0 - (-21)/(-30)*28/49. Is t at least 57/7?
False
Let p = -0.2 + 0.3. Let y = -3 - -3.4. Let h = 0.4 - y. Are p and h equal?
False
Let d(s) = -s - 8. Let o be d(-8). Let k = -71 + 567/8. Which is greater: k or o?
o
Let b = 2 + 1. Let m = 0.08 - 2.08. Let g = m + b. Is -1 bigger than g?
False
Let j = 19 + -19.2. Let k be 20/(-12) - (-2)/(-6). Which is smaller: k or j?
k
Suppose 0 = 71*h - 78*h + 28. Suppose 3*p = 5*l + 34, 0 = -3*p - 0*p - l + 4. Which is greater: h or p?
h
Suppose -5*s - 11 = 9, g + 3 = -s. Let m be (2 - -402)*(-2)/(-9). Let l = m + -90. Is l > g?
False
Let g(z) =