) = -6*l(n) - v(n). Let g be r(8). Is g bigger than 14?
False
Let y = 92/4585 + -2/1965. Which is bigger: 0 or y?
y
Let x be -1 + 0 + (4 - 5). Let d be 546/490 - x/(-5). Is d equal to -0.2?
False
Let f = -12 + 10. Are 0 and f equal?
False
Let a(r) = -2*r - 2. Let x be a(-3). Suppose 0 = -4*s - 0*s + x. Is s bigger than 1/2?
True
Let g = -15 - 3. Let w be 8/(-6)*g/(-420). Is w >= 1?
False
Suppose -4*w - 5*b = 19, 2*b - 4 = -2*b. Let t(n) be the second derivative of -n**3/6 - 5*n**2/2 - 2*n. Let f be t(w). Is f != 0?
True
Suppose 8*t = -34 - 38. Is -10 != t?
True
Let t = -1.1 + 1.4. Which is smaller: t or -0.2?
-0.2
Let v = -21.2 - -30. Let u = v + -9. Let t = 1.2 + -0.2. Is t bigger than u?
True
Let x = 27 + -12. Suppose 5 = -5*r + x. Which is smaller: 4 or r?
r
Let v(z) = z**2 - 11*z + 14. Let r(t) = -1. Let c(j) = -5*r(j) - v(j). Let o be c(10). Is o bigger than 3/4?
True
Let h = -9 - -9. Let q(i) = -i**2 - i. Let t be q(h). Is t not equal to 1/17?
True
Let c = -7.81 - 0.19. Let k = -2 - 3. Let z = c - k. Which is smaller: z or -1?
z
Let f(t) = 0*t**2 + 9*t + t**2 + 0*t**2 - t**3 - 7*t**2 + 10. Let y be f(-7). Let z be -6*(-1 - 10/(-6)). Are y and z nonequal?
False
Let b be 1/(-2) + 2/(-4). Let g be 0/b - 2 - -1. Let o be ((-6)/195)/((-4)/(-20)). Which is smaller: g or o?
g
Suppose -4*q - 18 = -6. Suppose v = -4*z + 19, -2*v = -3*z - 2*z + 14. Suppose 3*o = -v - 3. Which is bigger: o or q?
o
Let r be 88/14 + (-4)/14. Let d(t) = -t**3 + 6*t**2 + 8. Let o be d(r). Is o > 7?
True
Let q = -18/122609 - 22429437/54561005. Let n = q + 1/89. Suppose -y = -o + 6*o + 20, 3*y - 2*o - 8 = 0. Is y less than n?
False
Let h = -5231/6 + 874. Let t = 11/3 - h. Let j = 552 - 550. Is j greater than t?
True
Suppose j - 3*j = 0, m - 13 = 3*j. Which is smaller: m or 0?
0
Let s be 2/2*(-4 - -3). Let l = s + -1. Let p = 1.3 - 1. Which is smaller: p or l?
l
Let k = 0.7 + 5.3. Let d = -6.3 + k. Is d not equal to 0?
True
Suppose -8 = 5*z + 12. Let b = z + 7/2. Let r be 50/(-225) - 16/9. Which is smaller: b or r?
r
Let g = 8.78 + 0.22. Let v = g - 4. Let l = -5.1 + v. Which is bigger: l or 1/3?
1/3
Suppose -495 = i + 65. Let g = -9523/17 - i. Which is smaller: 0 or g?
g
Let g be (-4*3/6)/((-1)/4). Which is bigger: g or 7?
g
Suppose 15 = -5*q + 5*y, -4*y + 42 = 5*q + 102. Which is bigger: -10 or q?
q
Suppose 4*l = -4*b - 4, l + 3*b + 0*b = 1. Suppose 3*i + 0*g = -3*g + 6, 3*g = 4*i - 36. Let s be 2 + i/(-2)*1. Which is smaller: s or l?
l
Let j = -869/4 - -216. Does j = -1?
False
Let i = 46 - 52. Is 2 smaller than i?
False
Let l = 2/13 - -5/52. Which is greater: l or 0?
l
Let h(n) = 4*n - 25. Let p be h(6). Is p smaller than -1/6?
True
Let p be 5/1 + (-1 - 1). Let q = -9 + 16. Let x = p - q. Which is bigger: x or -5?
x
Suppose -y - 3*a + 2 = 0, 5 = -3*y - a + 3*a. Let i = -3 + y. Which is smaller: i or -3?
i
Let t = 38.6 + -4.6. Let n = t - 35.3. Which is smaller: -2/5 or n?
n
Let t = -0.11 - -0.21. Is -1/3 smaller than t?
True
Let w = 3 - 2.96. Let c = w - 1.04. Which is bigger: c or -0.5?
-0.5
Let l = -21 - -18. Let b be ((-1)/l)/((-4)/(-18)). Which is smaller: b or 2/7?
2/7
Let u = -21 - -22. Suppose -4*v = -5*x + u, -4*x + 3*v = -7*x + 6. Which is smaller: x or 3/10?
3/10
Let q(z) be the second derivative of -z**3/6 - z**2 - 3*z. Let c be q(-3). Let u = -87/4 + 22. Is c <= u?
False
Suppose -2*z + 3 + 5 = 0. Do z and 4 have the same value?
True
Let u = -6 + 6.1. Is u smaller than 1/2?
True
Let z = 8 - 18. Do z and -1 have the same value?
False
Suppose 2*i - 10 = 5*r + 4, 20 = -2*r - 4*i. Let g be (4/(-22))/((-2)/r). Which is bigger: g or 0?
0
Let k be (-6)/15 + (-6)/10. Suppose l = 4 + 2. Let a(v) = v**3 - 5*v**2 - 6*v - 1. Let o be a(l). Are k and o non-equal?
False
Let n(u) be the third derivative of u**4/24 + u**3/6 - 2*u**2. Let t be n(-2). Let v = -8 + 6. Which is smaller: v or t?
v
Let o = -1.9 + 2. Let z = 0 + o. Let y = -0.25 + 1.25. Which is smaller: y or z?
z
Let n = 0.2 + -5.2. Which is smaller: n or 2?
n
Let y be (-1)/(-2)*(0 - -2). Let v = -23 - -16. Let f = -5 - v. Which is bigger: f or y?
f
Let a be (-98)/(-4) + 3/(-6). Let s be (-4)/a + 239/516. Let x = -2/43 + s. Is -1/4 bigger than x?
False
Let o be (-1)/(-1) - 10/14. Which is smaller: o or 0.07?
0.07
Let j be (1/3)/((-12)/9). Let v be 4/(-22) - (-4)/22. Which is smaller: v or j?
j
Let d be 2 - 1 - (-25)/5. Let k be (d/21)/((-1)/(-7)). Suppose 0*o + 3 = -o - t, 0 = t + k. Which is smaller: 0 or o?
o
Let r = 2.83 + 0.17. Which is bigger: 3/16 or r?
r
Let u be (52/40)/(8/5). Is u <= 2?
True
Let g = -10/9 + 7/9. Which is smaller: g or -14?
-14
Let k = -0.13 + 0.06. Let o = -232 - -231.07. Let x = o + k. Which is greater: x or -0.1?
-0.1
Let i(l) = l**2 + 3*l. Let x be i(-3). Suppose x = -b + 2*a + 2 - 1, -3*a = -5*b + 19. Is 4 less than b?
True
Let r = -0.122 + 0.092. Is r less than 0?
True
Let q(o) = o**3 - 5*o**2 - 6*o - 7. Let a be q(6). Let l be -3*(-2)/(-6) - 5. Which is bigger: a or l?
l
Suppose 3*o + 36 - 597 = 0. Let n = o + -3928/21. Which is bigger: n or 0?
0
Let s = -15575/11 - -1417. Suppose t - 1 = -0. Which is smaller: s or t?
t
Let s be (-4)/14 + 102/(-378). Which is greater: s or -1?
s
Let h(l) be the third derivative of -l**4/24 + 3*l**2. Let v be h(3). Let j be 92/(-22) + 1 - v. Which is smaller: j or -1?
-1
Let s(u) = -3*u - 2. Let y be s(-2). Let x be -1*1 + y + -2. Let l = 10/11 - 46/99. Is x equal to l?
False
Let f(g) = -g**3 + 8*g**2 - 9*g + 29. Let j be f(6). Is j at most 47?
True
Let a = 14 - 10. Suppose -v - 2*v - 3 = -a*q, 4*v + 5*q = -4. Let f be (0 + 0)/((-2)/v). Does 0 = f?
True
Let r be (12 - 15)*2/34. Is -1 bigger than r?
False
Let w = 27.8 + -28. Is 2/11 equal to w?
False
Let w = 17 - 18. Is 2/39 bigger than w?
True
Let w be 2/(3 - -3)*3. Suppose 2 = -3*z - w. Which is greater: z or -3?
z
Suppose -3*b = -0*b + 4*h - 26, b + 23 = 5*h. Suppose b*n + p = 17, -5*p = -6*n + n + 35. Suppose 3*g = -3*o + 6, -4*g + 5*g - n = 5*o. Is 3 < g?
False
Let h(b) = -b**2 + 13*b - 17. Let p be h(12). Which is smaller: -4 or p?
p
Suppose 2*g = -3*g - 10. Let d be (-12)/15*5/g. Are d and 2 equal?
True
Suppose -5*r - 3*k + k = 8, 3*r + 5 = -k. Let n = 13 - 9. Suppose u - 5 = -3, -z + 7 = n*u. Which is greater: r or z?
z
Let w be (-3)/(0 + 1)*-1. Suppose 0*v = -w*v - 21. Are -7 and v non-equal?
False
Let s = 1.2 + -0.2. Let l = 2 - s. Let g = -8 - -6. Which is smaller: l or g?
g
Let z(k) = 2*k. Let s be z(2). Let x(g) = -g - 1. Let n be x(-1). Suppose -2*b + s*u = -5 - 1, -u = n. Is b < 2?
False
Suppose -4*m = -3*m + 3. Suppose -j + 9 = k, -2*k + 7*k - 3*j - 13 = 0. Suppose -6*d - k = -d. Is m > d?
False
Let r = -826/4485 + 2/195. Is -1 != r?
True
Suppose 5*d = -3*l - l + 133, 0 = -3*d + 3. Let y be (2/l)/((-2)/4). Which is smaller: y or 0?
y
Suppose -2*i + 7 = -9. Let g = -9 + i. Let u be 1 - (2 + g - 1). Which is smaller: 2/13 or u?
2/13
Suppose 4*u - 5*c = -2, u + 8 + 1 = -3*c. Let i = -4 - u. Which is smaller: 0 or i?
i
Let v be (-1 - (-1 - -6))*-10. Let d = v + -422/7. Let s = d - 3/14. Which is greater: s or -1?
s
Let v = -1.51 - -1.58. Which is smaller: 1/4 or v?
v
Let c = -13/10 - -9/10. Which is smaller: 2/5 or c?
c
Suppose 2*h - 16 = 3*k, 2*k + 16 = k - 2*h. Is -5 equal to k?
False
Let d = 499/247 - 29/13. Is d != -1?
True
Let q be 1/(-3)*(-198)/11. Which is bigger: 5 or q?
q
Suppose 2*i + 10 = 4*b, -i + 6*i = 4*b - 7. Let l = 5 - b. Suppose l*w - 2*o = -2, -4*o = 4*w - o - 17. Is 3/5 less than or equal to w?
True
Let m be 10/(-6) + 10/15. Let g = -4 - m. Let w be g/(9/(-12)) - 0. Which is smaller: w or 5?
w
Suppose -12 + 2 = 2*y. Let s = y + 7. Let x = s + -4. Is -2 at least as big as x?
True
Let f = 176 - 125. Which is smaller: f or 52?
f
Suppose -1 = -3*d + 17. Is 6 less than d?
False
Let y = -1273/381 + 1/127. Let s = y - -38/15. Which is smaller: s or 0?
s
Suppose 0 = 5*p - 2*p - 12. Suppose -9 = -5*v + 11. Suppose -4*q - 2*h + p*h + 10 = 0, -v*q - 5 = 3*h. Is 1/15 at least as big as q?
False
Let f(y) = y**3 - 10*y**2 - 12*y + 11. Let c be f(11). Which is greater: 1/20 or c?
1/20
Suppose -2*g + g = 0. Let t = 69 + -277/4. Which is bigger: g or t?
g
Suppose -n = x, -2*x - 2*x + n = 5. Is 1/38 != x?
True
Let w = -18 + 19. Which is bigger: w or 1/12?
w
Let v be (18/18212)/((-4