t k(l) = -l**2 - 3*l + 3. Let j be k(-4). Is j >= -4/15?
False
Let w = 0.8 + -1. Suppose -4*q - 31 = -5*u, 4*q + 3*u = q - 3. Which is smaller: w or q?
q
Let r be -6 + 4 - (14 - 1). Are r and 2/7 nonequal?
True
Let i be (11/(-77))/(2/(3*-2)). Does 14 = i?
False
Suppose -3 = 4*n - 39. Suppose 25 = 2*k + 3*c, -4*c = -2*k + 3 + 1. Is n less than k?
False
Suppose -3*v + 4 = 1. Which is bigger: v or 8/5?
8/5
Let c = 3.9 + -4. Let l = -0.1 - c. Is l < 2/5?
True
Let p be (-1682804)/(-84) - 4/6. Let o = -19996 + p. Let d = o - 37. Which is smaller: d or 0.1?
d
Suppose 4*h = -0*u - u + 49, 2*u = 2*h + 78. Is 41 <= u?
True
Let w be 2/((2 - 1)/1). Let s be -3 - (-2 + (w - 0)). Let k = s - -5. Which is greater: k or 0?
k
Let y = 7 - 12. Is y greater than -2?
False
Let d(j) = j**3 - j**2 + j + 1. Let n be d(0). Let w(s) = -s**2 - 2*s + 1. Let c be w(n). Is c > -1/2?
False
Let d(k) = k**3 + 13*k**2 - 15*k - 13. Let i be d(-14). Is 1/8 at most as big as i?
True
Let h = 84 - 71. Which is smaller: 16 or h?
h
Let h = -3 + 2. Let c = h + 0.98. Let t = c + -0.02. Is t >= 0.1?
False
Suppose 15 + 30 = -5*x. Let v = x - -9. Which is smaller: 3 or v?
v
Let t be (-109)/(-1020) - 6/18. Let z = 2/85 - t. Let d be (-1)/(-6) - 1/(-3). Are z and d equal?
False
Let u = -79 + 71. Is u equal to -7?
False
Let a = 45 + -67. Which is greater: -23 or a?
a
Let h = -18 - -28. Suppose 3*v - 38 = -5*w, 0 = 4*v + 2*w - 22 - h. Let u be (v/(-15))/(8/(-10)). Which is smaller: 0 or u?
0
Let t = 7 - 4. Suppose 3*h = 2*h + 5. Suppose 3*b - 3 = -4*s, -h*s - t = -3*b - 3*s. Is b > 0?
True
Let x be 0 + 1*3/(-18). Let q = 0 - 2. Is x at most q?
False
Let i = -92.7907 + -0.1593. Let j = i + 95. Let h = j - 0.05. Is -0.1 at least as big as h?
False
Let q = -0.62 - -0.12. Which is smaller: q or -1/6?
q
Let r = -12 - -8. Let y = r - -8. Which is smaller: y or 2?
2
Let w be (-3)/5 + 2/(-5). Let m be (1 - 2)*0 + (-9)/72. Is w equal to m?
False
Suppose 3*w = -0*w. Let q = -78 + 309/4. Which is smaller: w or q?
q
Let r be (-3)/((-24)/15 + 1). Let c be 3/r - (-6)/(-10). Let a be (1 + 3/(-2))*0. Is a at least as big as c?
True
Suppose 4*r + 3*v - 30 = 0, -3*r + 12 = -v - 2*v. Let q be (-1 + 7)/(-3 - -4). Are q and r non-equal?
False
Let x(k) = k + 1. Let a be x(-3). Which is smaller: a or 0.27?
a
Let i = -13 - -8. Is i <= -7?
False
Let b be 9/(-12)*(-87)/(-9). Let d = 327/44 + b. Is -1 at most as big as d?
True
Let k = 2 + -5. Let f = -13 + 3. Let n be (-16)/f - (3 - 1). Is n less than k?
False
Let a = 1/104 + 155/104. Which is smaller: 3 or a?
a
Let g = 3 - 8. Let w(i) = i + 4. Let r be w(g). Is -1 >= r?
True
Suppose j - 2 = 1. Which is greater: j or 4?
4
Let c = 4343/9 - 482. Which is bigger: c or 0?
c
Let j(h) = h**2 + h - 9. Let t be j(0). Let u be (-2 - 0)/(t + 5). Which is bigger: 1 or u?
1
Let r be (3/2)/(4/(-16)). Are r and -2 equal?
False
Let q = 190 + -954/5. Is q at most as big as -1?
False
Let g be (-20)/30*(-2 - -3). Which is greater: -1 or g?
g
Let j = -21 - -25. Is j greater than 4?
False
Let b = 75 + -81.9. Let p = b - -7. Let d = -2/559 + -1096/6149. Is d equal to p?
False
Let a = 30 - 49. Let x = -16 - a. Is x at most as big as 0.3?
False
Let g(k) = 2*k**2 - k. Let a be g(2). Suppose 0 = 2*n - a*n. Let d be 2/3 + 104/(-138). Does n = d?
False
Let x = 0.94 + -1.1. Let m = x - -0.12. Which is smaller: -1 or m?
-1
Let r = -11 + 17. Let m = -6 + r. Is m greater than 4/9?
False
Let v be 1/(-4) - 159/(-12). Let p = v + -13. Is p at most -5/7?
False
Let l(k) = 2*k**2 - 12*k - 13. Let w be l(7). Is 4 smaller than w?
False
Let i = 3/143 + -444/715. Let k(f) = -f**2 + 9*f - 6. Let j be k(8). Suppose 4*u + 2 = j*u. Which is smaller: u or i?
u
Let q = 2 - 1.9. Suppose 5*g = -11 - 9. Let h be 1*(2 + g + 2). Is q at least as big as h?
True
Let u = -1 + 1. Suppose u = -3*h + n + 16, -2*h + 5*n = -1 - 1. Suppose o - 4*g = h, 0*o + 2*g = -5*o - 14. Is 1 smaller than o?
False
Let m be 9/3*((-16)/6 - -2). Is -10 greater than m?
False
Let h be 1 + -15 + (4 - 2). Is h bigger than -9?
False
Let c(b) = -b**3 + 12*b**2 - 12*b + 5. Let w be c(11). Let m(o) = -o**2 + 7*o - 5. Let g be m(7). Is g < w?
False
Let b = -213/35 + 44/7. Let z = 0.3 + -0.4. Are z and b unequal?
True
Let r(k) = 24*k**3 - k**2. Let d be r(1). Which is greater: d or 22?
d
Let l = -0.04 - 0.01. Let t = 0.95 - l. Is -1/3 at least as big as t?
False
Let i be ((-30)/(-11))/(-2 + 1). Which is greater: -3 or i?
i
Let f = 24 - 13. Let a = f + -6. Which is smaller: a or 4?
4
Let c(r) = r**3 + 3*r**2 + r - 3. Let s be c(-2). Is s >= -3?
True
Let u(y) = -y**3 + 2*y**2 + 4*y - 1. Let m be u(3). Suppose 3*b = -5*v + 16, 0 = 3*v + b - 10 - m. Let p(z) = z - 8. Let i be p(v). Are i and -3 equal?
True
Let c = -7918/5 + 1596. Let p = c + -568/45. Suppose 4*f - 16 = 0, -3*f + 4 = 5*o - 3. Is p at least o?
True
Let b be (-12)/(1 + -3) + 0. Suppose -7 = -i - 2*w, 17 = 2*i - w + b*w. Is i at least as big as 2/35?
True
Let o(l) = l**3 + 6*l**2 - 8*l + 1. Let d be o(-7). Suppose 2*u - d = -x - 1, -35 = 5*x - 4*u. Let n(r) = -r - 8. Let t be n(-6). Which is smaller: x or t?
x
Suppose 0 = r - 0*r - 7. Suppose 0 = 5*y + 2*g + 1, -y - 5*g = 2*y - r. Which is bigger: y or 2?
2
Let q = 4 + 7. Let y(b) = b**3 - 12*b**2 + 12*b - 12. Let n be y(q). Which is smaller: n or -7?
-7
Suppose -d + 254 = -5*j, -3*j = j - 2*d + 202. Which is bigger: j or -52?
j
Let n = -64 - -82. Which is greater: 0.1 or n?
n
Let x = 6 + -4. Let f = x - 2. Let j = -2015/11 + 183. Which is bigger: f or j?
f
Let d be ((-5)/6)/((-22)/33). Which is smaller: d or 2?
d
Let r(d) = -2*d**2 - 9*d + 9. Let t be r(-7). Let l be t/(-10) - 10/(-25). Suppose 10 = 4*x - 2*j + 4, -l = 5*x + j. Which is smaller: x or 1/4?
x
Let s(u) = u**3 - 6*u**2 + 2*u + 2. Let d be s(3). Is -19 at least as big as d?
True
Suppose 5*h - 30 = 15. Which is greater: h or 8?
h
Let h(z) = z**3 - 2*z**2 - 4*z + 1. Let o be h(3). Let i(k) = 20*k. Let u be i(1). Let n = u + -41/2. Are o and n non-equal?
True
Let b = -10 - -9. Let c = 1.3 + b. Is -5 smaller than c?
True
Let w be (-2)/9 + (-44)/(-36). Suppose 2*p + w = 7. Suppose 0*a = -a - p. Is a equal to -3?
True
Let i be (26/6 + (-6 - -2))*-183. Is i < -62?
False
Let i(o) = -o**2 + 7*o - 2. Let b be 4/22 - 602/(-77). Let f be i(b). Do -11 and f have the same value?
False
Let p = 0.49 + -0.5. Let u = 5.99 - p. Is u > -1?
True
Let j(n) = n. Let v be j(1). Let g be ((-3)/v - 0) + -5. Let d be (-24)/(-495) - g/(-44). Is 0 at most d?
False
Let o(b) = 3*b**2 - b + 1. Let z be o(1). Suppose -1 = -2*f + z*v, 0 = -7*f + 3*f + 3*v - 7. Is f equal to -2?
False
Let s = 3 - 1. Suppose -3*o = s*o. Does o = 1/10?
False
Let u be 30/55 - 0/2. Is u at most as big as 1?
True
Suppose i - 5*k = -35, 3*k + 10 = 1. Is -51 != i?
True
Let l be (2 - (-1785)/(-890))*4. Is 1 at least as big as l?
True
Let s be (-8 - 2)*(-6)/(-28). Let g = s + 1. Is -1 < g?
False
Let f = 15187/17 - 893. Is f equal to -1?
False
Let f = 25351/13 + -1951. Let y = f + 15/13. Is y greater than or equal to 0?
True
Let u = 11 + 16. Let i be u/(-42) - (-3)/2. Is i smaller than 2?
True
Let y be (0 - 1)/((-2)/(-2)). Let b = 0.3 - 0.4. Let n = -0.2 - b. Which is smaller: n or y?
y
Suppose -13 - 26 = 3*p. Let a = p - -9. Suppose 0 = d + 1 + 2. Which is greater: a or d?
d
Suppose 2*f = -5 + 19. Let v = f - 9. Is -1 at most as big as v?
False
Let h = -12 + 13. Is -3 != h?
True
Let m = -26 - -35. Do 9 and m have the same value?
True
Let d be 21/(-28)*4/18. Let a = 6 - 3. Suppose 2*z = -n, 0 = a*z - z. Is n > d?
True
Let w = -21/20 + 1. Which is smaller: 0 or w?
w
Let o be 2/3*(-3)/(-11). Let u be 3/(-15) - 1/(-5). Do u and o have the same value?
False
Let m(f) = -f**2 - 5*f + 10. Suppose 0*o - 2*d - 18 = 2*o, -o = -2*d + 3. Let h be m(o). Which is bigger: h or -3?
-3
Suppose -n - 63 = -2*m + 2*n, -5*n = 25. Let j = m - 27. Which is greater: -4 or j?
j
Let w = 6 - 14. Let d = -0.4 + 0.3. Is w < d?
True
Suppose -3*r - 3 = -0*r. Let c = 1 + -2. Is c != r?
False
Suppose 0 = -3*f - f. Let q be 25/(-10)*(-4)/(-42). Let c = q + 46/105. Is f greater than c?
False
Let b = 1909 + -21017/11. Which is greater: b or -3?
b
Let s(l) = 14*l + 16. Let y be s(-3). Which is bigger: -25 or y?
-25
Suppose 0*p + p - 70 = 0. Let c = p + -492/7. Let a = -0.3 + 