 - 3 + 13 = 0. Is y not equal to 1?
True
Let m be 2/((-16)/18)*(-240)/18. Is 30 < m?
False
Let q(a) = 11*a**3 - a. Let f be q(1). Let d be 7*(f/(-6))/5. Is -3 at least as big as d?
False
Let b = -10 - -18. Let s be (-3)/12 + 10/b. Is s < -1?
False
Let s = -1 - -2. Suppose -2*j - s = -5. Suppose -4*b - 5 = -13. Is b greater than j?
False
Suppose 5*m = 17*m. Is m smaller than -3/20?
False
Let h = 0.03 + -0.03. Let i = 5 - h. Is 1 < i?
True
Let t = -131/2 - -69. Which is smaller: 4 or t?
t
Let s = 195 - 197. Let k = -4 + 6. Let i = k - 1.9. Which is greater: s or i?
i
Let y = 51.8 + -59. Let p = -1 + -6. Let i = y - p. Which is bigger: i or 2/3?
2/3
Let i = -10 - -11. Let x be 6*3/(1 + 8). Suppose -x*d + d = -1. Is i not equal to d?
False
Suppose k + 10 = -4*r, -4*k - 8 = -8*k. Suppose -2*z - 12 = 4*d, -5*z + 2 = 2*d - 0. Let u = r - z. Does u = -4?
False
Let k = -1 + 0. Let o(x) = 6*x**2 - x. Let a be o(k). Let f(v) = -v**3 + 8*v**2 - 6*v - 6. Let q be f(a). Which is smaller: -3 or q?
-3
Let o be 1/9*(-14)/2. Which is greater: 0 or o?
0
Let k = 10 - 11. Is 1/10 not equal to k?
True
Suppose -2*z = -8, z = -10*x + 5*x + 9. Let n(u) = -u**3 + 7*u**2 + 4*u - 6. Let r be n(7). Let k be (-144)/(-429) + (-4)/r. Is x at most k?
False
Suppose 0 = -5*y - 0 - 5. Let v be (((-6)/(-1))/(-2))/y. Let q be (-3)/(-6)*-2 + 3. Is v < q?
False
Let d = 3 - 1. Let l(z) be the third derivative of z**4/24 - z**3/3 + z**2. Let y be l(6). Are d and y unequal?
True
Let k be (2/(-12))/(12/(-8)). Is -1 bigger than k?
False
Let w = -321 + 321. Let z be ((-4)/34)/((-6)/(-9)). Do w and z have the same value?
False
Let t = 87 - 128. Which is smaller: -39 or t?
t
Suppose 4*m - 147 + 43 = 0. Let c = m + -20. Are 6 and c equal?
True
Let s(x) = -x**3 + 4*x**2 - 2*x + 8. Let w be s(4). Do w and 4/13 have the same value?
False
Let z = 18 + -18.2. Which is smaller: -0.3 or z?
-0.3
Let r = -183 + 179. Which is greater: r or -15?
r
Let i(h) = 3*h**3 - 3*h**2 + h + 1. Suppose -4*n = -0*n - 3*s - 11, -4*n - 4*s + 4 = 0. Let c be i(n). Suppose -m - 15 = -5*a, -5*m + 4*a + a = c. Is m < 2?
True
Let u = -4 + -12. Let n = u - -15.8. Is 5 bigger than n?
True
Suppose x - 5 = -6. Let n = 151/6 - 25. Are n and x nonequal?
True
Let s be -2 - (6 - 3) - 3. Is -9 greater than s?
False
Suppose 5*j - 78 = 2*g, -3*g - 99 = 2*j - 20. Which is smaller: g or -28?
g
Let z(r) = -5 - r + 8 + 10. Let a be z(8). Which is bigger: a or 6?
6
Let l be ((-18)/(-15))/((-105)/(-50)). Let y = -6 + 8. Do y and l have different values?
True
Let o = 7 - 4. Are o and -1 unequal?
True
Let r(h) = 2*h**2 + 3*h + 2. Let s be r(-1). Is s greater than or equal to 0?
True
Let l be -58 + 0 + 1 - -1. Let d = 29 + l. Let m be 6/d - (-2)/9. Does m = 1?
False
Let u = 12 + -7. Let w = -70 - -76. Is w at most as big as u?
False
Let t(f) = -f**2 + 2*f + 4. Let q be t(-2). Are -8/3 and q equal?
False
Let u(a) = 4*a - 8. Let s(p) = -5*p + 9. Let n(i) = -3*s(i) - 4*u(i). Let f be n(4). Is f != 1?
False
Suppose -4*l - 5 = l. Let k = 1 + l. Suppose 2 = -j + 2*h, 0 = -4*h + 9*h - 5. Does k = j?
True
Let y be 5*(2/(-1))/2. Is -6 smaller than y?
True
Let c = -26 - -36. Let y = -3 - -5. Suppose -2*k - y*g + c = 0, -3*k - g = 2*k - 17. Is 3 less than k?
False
Let r = 35 - 106/3. Is 0 at least r?
True
Suppose -3*d + 5 = -4*d, 0 = -4*s - 2*d - 46. Let o be (s/(-6))/((-18)/(-12)). Are 1/9 and o unequal?
True
Let b = -15202/17 - -894. Let l(n) = n**2 - n - 1. Let g be l(-1). Is b greater than g?
False
Let l = 14 + -11. Suppose -3 = -2*a + l*a + 3*q, 0 = 5*a + 3*q + 3. Is 0 equal to a?
True
Suppose 2*b = 4*b. Let c = -1 + b. Suppose -3*g + 5 = -2*u - 2, 0 = g + 5*u + 26. Is c != g?
False
Suppose -2*l = -6*l + 12. Let n be (l - 2) + 0 + -5. Let q be ((-1)/(-2))/((-13)/104). Do q and n have different values?
False
Let i = 239 - 339. Let c be ((-108)/10)/((-14)/130). Let v = c + i. Are 1 and v nonequal?
True
Let g be ((-32)/(-22))/(2/4). Let o = 40/11 - g. Let b = o + -21/44. Which is bigger: b or 0?
b
Suppose 0 = -0*b + 3*b - f - 10, -3*f = -15. Let q(k) = -k**2 - 9*k - 3. Let o be q(-8). Is o at least as big as b?
True
Let m = -284 + 1705/6. Let a(v) = v - 5. Let z be a(0). Let t = 3 + z. Which is smaller: m or t?
t
Suppose 2*h = -r + 4, 0*h = -h - r + 1. Suppose 2*y = -7 - h. Is y bigger than -4?
False
Let k be (-14)/(-10) + 6/(-15). Let t be (6/(-66))/(k/(-2)). Is -1 smaller than t?
True
Let x = 1.7 - 0.9. Which is greater: -0.1 or x?
x
Let a be (-6)/(-5)*(-90)/(-12). Let k be (1 + (-12)/a)*3. Which is smaller: k or 2?
k
Let k(o) = 3*o + 4. Let y(h) = h. Let i(z) = k(z) - 2*y(z). Let a(p) = -p - 4. Let g(q) = -6*a(q) - 5*i(q). Let j be g(-4). Which is smaller: 2/13 or j?
j
Let w be 8/240*(-12)/(-3). Is w > -0.3?
True
Suppose 4 = -4*b + 5*b. Suppose 3 = -7*p + b*p. Is -4/3 at most p?
True
Let d = 3.4 + -3. Let s = d - 0.3. Is 2/25 < s?
True
Let m = 750/319 - 26/29. Which is bigger: 0 or m?
m
Let c(p) = 2*p + 4. Let a be c(-3). Suppose -3*k = k - 12. Suppose 2*u = k*u. Which is smaller: a or u?
a
Suppose i = -0*i. Let s(m) = m + 3. Let b be s(i). Suppose -1 - 1 = -3*f - w, -4*f + 11 = b*w. Is f at most -2?
False
Suppose -m = 4*c - 13, -4*m = -6*m + c - 10. Suppose 5*h = -0*u + 2*u + 28, -2*u + 26 = 4*h. Suppose v = 3*v + h. Is v less than m?
False
Let z(n) = 6*n**3 - 26*n**2 + n + 11. Let d(u) = -u**3 + 5*u**2 - 2. Let j(o) = -11*d(o) - 2*z(o). Let h be j(-3). Is 8 smaller than h?
False
Suppose 0 = 9*s - 11*s - 14. Which is smaller: s or -5?
s
Suppose -s - 2*f = 0, 3*s + 0*f - 2*f = 8. Let v be (2 + -6)*(-1)/s. Which is bigger: v or 3?
3
Let j(u) = 11*u**2 - u + 1. Let x be j(1). Let q(y) = -y + 5. Let n be q(x). Is n less than or equal to -5?
True
Suppose -2*d - 4*g = -12, -3*d + 8 = g - 5. Which is bigger: 27/5 or d?
27/5
Suppose 0*z - z - 2 = -3*s, 2*s = -z - 7. Let g be 3 + (-2 - 1)/(-3). Suppose -2*d - 2*d + g = 0. Which is smaller: s or d?
s
Suppose -548 - 147 = 5*q. Is q greater than or equal to -139?
True
Let s be ((-18)/(-7) + 0)*7. Suppose z = 166 - 148. Are s and z non-equal?
False
Let g(w) = w**3 - 3*w**2 + w. Let l(c) be the second derivative of c**3/6 + 13*c**2/2 - 3*c. Let d be l(-11). Let s be g(d). Is -2/3 at most s?
False
Suppose -7*m = -2*m. Let n = m + 0. Are -2/7 and n non-equal?
True
Suppose 6 = -f + 7*f. Which is greater: 0.1 or f?
f
Let a be 4/(-6) + 4/6. Suppose -3*d - 2*d + 20 = a. Let u be (-4)/6*(-6)/d. Do 1 and u have different values?
False
Suppose 17 = -2*m - 9. Is m bigger than -14?
True
Suppose -4*a = -2*q, -4*a + 0*a = q + 24. Let s be (4/6)/(q/12). Let j = s + -2. Is j at least -3?
True
Suppose -4*t - 5 = 4*l + 43, -4*t + 5*l = 12. Let s be (2/(-4))/(1/t). Are s and 5 non-equal?
True
Let c(k) = k + 18. Let h be c(-18). Suppose -q - 18 + 0 = h. Is q != -18?
False
Let i(p) = 10*p. Let l be i(1). Suppose 5*v - 25 + l = 0. Let s = v - 6. Do -1 and s have the same value?
False
Let f = -86 + 86. Is f smaller than 1/8?
True
Suppose -2*d = w - 11, 2 - 15 = -3*w - d. Let t = w + -4. Let i be (-6)/(-10) - 2 - t. Do i and 0 have the same value?
False
Let d be (-2 - 1)*(-60)/18. Suppose 5*f - d*f = 5. Which is smaller: 0 or f?
f
Suppose -5 = -8*u + 3. Which is smaller: 13/11 or u?
u
Let w = 44 - 40. Suppose 4*s - 2*o = -5*o + 31, 3*o = -2*s + 11. Suppose -4*g - 3*k = -17, g + k - s = 6*k. Is g at least as big as w?
True
Let v be 23/2*(7 + -3)/(-4). Is -11 less than v?
False
Suppose -5*c + 0*c + 10 = 0. Which is greater: c or -0.1?
c
Suppose 0 = 4*u + 2*x + 28, -u + 2*x = -0*x + 2. Let a be u/(-8) + (-120)/416. Which is greater: 1 or a?
1
Suppose 0 = -5*c - 22 + 57. Let p be 2/c - (-12513)/(-63). Let h = p + 200. Which is bigger: h or 2?
2
Let m(k) = k - 2. Let y be m(-2). Let v(n) = n**2 - 4*n - 4. Let c be v(-1). Is y greater than c?
False
Let j(f) = -f**3 - 8*f**2 + 9*f + 1. Let d be j(-9). Which is greater: d or 2/59?
d
Suppose 3*f - 6 = -0. Suppose n + 2*v = f, 2*v + 5 = -3*v. Which is smaller: 3 or n?
3
Let t(q) = q + 7. Let m be t(-5). Suppose m*j + 4 = -0*j - 2*i, -4*i - 1 = -3*j. Let s = 35 - 34. Is j smaller than s?
True
Let n be (1 + -1)*2/(-4). Suppose -9*f + 4 = -13*f. Let v be (-2 - f) + (4 - 3). Is v at most as big as n?
True
Suppose 0 = -4*s + 2*r + 18, 0 = -2*s + 4*r + 7 + 17. Suppose -s*z + 3 = -5. Is z >= 4?