. Suppose 0 = -s*y + y + 28. Let j = y - 5. Which is bigger: 1 or j?
j
Suppose a - 5*a = -4. Let i = -1/23 + 25/46. Is a less than or equal to i?
False
Let z(f) = -2*f. Let m be z(-2). Let x = 4 - m. Is -1 at most as big as x?
True
Let n be -12*(-3 + 15/6). Let i = 7 - n. Do 2 and i have different values?
True
Let g = 266/3 - 4540/51. Is g > 1?
False
Let l(q) = -q + 21. Let s be l(10). Are s and 11 equal?
True
Suppose 0 = -2*a - 2*a - 20. Suppose 4*r - 3*i = -28, -2*r + 4*r + 4*i = 8. Is a at least as big as r?
False
Let r = 28 + -34. Let o = -2 - -1. Let y = o - 0. Which is greater: y or r?
y
Let l = -0.35 + 0.27. Do l and 0.1 have different values?
True
Let d = 4 - 6. Let a be 3/(-1 - -4)*d. Let i = 2 + -3. Is a smaller than i?
True
Let m be 14/(-8) - (-5)/(-20). Let d be (m/4)/(-5 + 2). Is -1 greater than or equal to d?
False
Suppose 4*y = -y - 10. Let n = 0.3 - -0.7. Which is smaller: y or n?
y
Let c be 1 + (1 - 25/10). Is c less than 2.2?
True
Let u(f) = 21*f - 35. Let w be u(11). Do 2/7 and w have different values?
True
Let s(n) be the third derivative of -n**6/120 - 7*n**5/60 + 7*n**4/24 - 7*n**3/6 + 4*n**2. Let q be s(-8). Which is greater: 2 or q?
2
Let p = 3961/1695 - 2/565. Let v(r) = 2*r - 5. Let z be v(4). Is p > z?
False
Let c = -73.29 - -0.29. Is -1/2 bigger than c?
True
Suppose 7*c = -c - 88. Which is smaller: c or -10?
c
Let s = -25241/27 + 935. Which is bigger: s or -1?
s
Suppose -5*l = -0*l + 15. Let i = -5 + 0. Let y = i + 2. Is l greater than y?
False
Let n be (-1323)/(-24) - (-1)/(-8). Which is smaller: n or 53?
53
Suppose 2*o - 5*c = -c - 28, 0 = 3*o - 4*c + 34. Suppose -5*m - 12 = 3. Let y = m - o. Which is greater: y or 2?
y
Let q be 0/((-1 + 0)/1). Is q != 2/65?
True
Let j be 10 + (-8 - (-8 + 4)). Does j = 5?
False
Let u be (1 - -33)*1/(-2). Let v = u + 26. Let q be 3/v*(0 - 0). Which is smaller: 1 or q?
q
Suppose -q + 4*g = 11, 4*q + 4*g - 38 = 2*q. Which is bigger: 8 or q?
q
Let d(n) = -n + 15. Let j be d(11). Suppose j*w + 1 = -3. Is 1/6 less than or equal to w?
False
Let r(z) = -z - 7. Let n be r(-5). Which is bigger: n or -3?
n
Let x = -0.21 + 0.34. Let k = x + -0.03. Let z = -0.1 - -5.1. Is z >= k?
True
Let m(f) = -2*f - 24. Let a be m(-13). Are 3/4 and a unequal?
True
Let o be (0 - (-33)/15)*(6 - 1). Is 10 less than o?
True
Let j be (-439)/(-9) - (80/45)/(-8). Do j and 49 have the same value?
True
Let y = -40 - -32. Suppose -3*p + 33 = -3*q, -5*q - 3*p + 6*p = 51. Is y at least as big as q?
True
Suppose z = -2*a + 2*z + 3, 0 = 5*z - 25. Suppose -8 + a = k. Let r be 2 - (-5)/9*k. Which is smaller: r or -1/3?
-1/3
Let y(f) = f**3 - 3*f**2 + 1. Let b be y(4). Is b at most as big as 16?
False
Let h = 2 + 1. Let c be ((-1)/h)/((-9)/6). Suppose -10 = 5*r, 3*z = -2*r + r - 5. Which is bigger: z or c?
c
Let d = 0.5 - -0.3. Let i = d - -0.2. Let q be 2/12 - (-76)/(-24). Is i not equal to q?
True
Let t = -126/61 + 48128/23241. Which is bigger: t or 0?
t
Let o = -6.1 + 6. Let d = -3 + 2.8. Let s = d - o. Which is smaller: s or 2/5?
s
Suppose -1 + 9 = -4*m. Let f be 0/(-1)*1/m. Are 0.2 and f non-equal?
True
Suppose -3*b - 18 = -0*b. Suppose 0*l - 10 = l. Let c = -15 - l. Does b = c?
False
Let w = -549/10 + 55. Which is smaller: w or 1?
w
Let d = -99 + -52. Let n = -1061/7 - d. Do 0.2 and n have the same value?
False
Let o(b) = b + 5. Let q be o(-3). Let h = 4 + -6. Let t be (-2)/(h - 0) + q. Are t and 3 nonequal?
False
Let u = -7714841/155 + 49773. Let f = 9574/155 + u. Let m = -62 + f. Is 2 equal to m?
False
Let b(t) = -4*t - 31. Let r be b(-6). Which is smaller: r or -5?
r
Suppose -5*l - 5*a + 20 = 0, -27*l - 3*a = -25*l - 10. Let t = -72 + 218/3. Which is smaller: l or t?
t
Let m = -31 - -32. Which is smaller: m or -2/9?
-2/9
Let i(s) = -s**3 - s**2 - s - 2. Let v be i(0). Let r be 2/3 + v/(-6). Let z = 18 + -16. Is r less than z?
True
Let v = -122/9 - -40/3. Which is smaller: 1 or v?
v
Suppose s = a - 4, -2*s - 11 - 11 = -4*a. Let y = a + -3. Suppose -3*w - y*d = -d + 15, d = -5*w - 9. Is w > 2/29?
False
Suppose 2*j - 20 = 6*j. Let o(m) = -m - 7. Let l be o(j). Is l > 0?
False
Let l be 1/4 + 2/56. Let n be (-18)/(-15)*(-30)/(-9). Suppose 0 = s - n*s. Are l and s unequal?
True
Suppose u + 10 = 6*u. Let t be 3/1*2/3. Let h be t/(4/(-1) + u). Which is smaller: h or 0?
h
Let h = -2 - 1. Let k = h - -2.75. Let i = k + 0.3. Is -1 equal to i?
False
Let m = -9/2 - -31/6. Suppose t - 2*k = -12, 3*t + t + 3*k - 7 = 0. Which is greater: t or m?
m
Let d = 6 + -5. Let y = -3.96 - -4. Let m = 0.26 + y. Which is smaller: m or d?
m
Let q(g) be the second derivative of -g**4/12 + g**3/2 + 3*g**2/2 - 2*g. Let p be q(3). Suppose 4*u - 2*t = -3*t + 6, 0 = -u + 2*t - p. Is 0 less than u?
True
Let v = 6.3 + -7. Let f = 0.3 + v. Let g = f - -0.4. Is g greater than -1?
True
Let s = 0 - -2. Let l be 2 - (s + 2/5). Suppose 5*x - 2*h = -0*x + 3, 3*h + 14 = -2*x. Which is smaller: l or x?
x
Suppose -203 = 5*r - 78. Let n be ((-8)/r)/((-10)/(-25)). Is n less than 2?
True
Suppose 4*k + 5 = 5*k. Is 5 at least as big as k?
True
Let m be (0/4 - 0) + 35. Let u be 3 + 0 + m/(-11). Let y be 2/4 - (-6)/(-4). Is u at most y?
False
Let d be (8 + -4)/(-2 + 1). Let u(q) = q**3 + 3*q**2 - 3*q + 3. Let h be u(d). Are -1/2 and h equal?
False
Let h = -3.973 + 0.073. Let y = -0.11 - -0.01. Let l = h + y. Which is bigger: 1 or l?
1
Let u = -171 + 87. Let y be (393/u - -2) + 0. Let z = y + 9/4. Is -1 equal to z?
False
Let o be (3/(-10))/(136/40 + 5). Is o at most 1?
True
Let a = -11 - -8. Let t be (-1)/(-2) + (-1)/a. Let p = t - -2/3. Is p != 2?
True
Let m = -33 + 31.3. Which is smaller: m or -2/3?
m
Let s = 0.12 + -0.03. Which is smaller: -1 or s?
-1
Let t = -2 + 3. Let q = 0.9 - t. Let u be 2*((-19)/5 - -4). Which is greater: u or q?
u
Let j = 60.9 + -61. Are j and 17 unequal?
True
Let c = 4.3 - 2.6. Let l = 0.35 + -0.05. Let b = c + l. Which is smaller: -1 or b?
-1
Let o = -11279/389 - -29. Let t = -3098/2723 - o. Which is greater: t or 2/7?
2/7
Suppose -2*z = -w + z - 17, -w + 2*z = 12. Let l = 2 - w. Let q(i) = -i**3 + 5*i**2 - 1. Let o be q(5). Do l and o have different values?
True
Let t = -63 - -52.2. Let b = t + 11. Which is greater: 6 or b?
6
Let l be (-56)/10 - ((-40)/25)/(-4). Is l at most -1?
True
Let i(v) = v**3 - v**2 - 2*v - 1. Let u be i(-1). Let x(k) = -2*k - 3. Let a be x(-2). Let n = a + -3. Which is smaller: n or u?
n
Let k be 54/18 - (-1)/1. Let y be (-351)/(-364) + k/14. Which is smaller: 2/3 or y?
2/3
Let b(d) = d**2 + 10*d + 16. Let t be b(-8). Which is smaller: -4/7 or t?
-4/7
Let o(q) = 2*q**2 - 17*q + 20. Let y be o(9). Is 28 <= y?
True
Let f = 3.06 - 0.06. Let r = -15 - -16. Let x = r - f. Is -1 smaller than x?
False
Let p = 2 - 2. Suppose 5*y - 30 = -2*h, 2*y - 3*h + 10 = 3. Let g be y/8*(0 + 1). Are g and p nonequal?
True
Let d be 255/(-798) + (-2)/(-19). Is 1 less than d?
False
Let b = -3.34 + 3. Let f = 0.14 + b. Which is bigger: f or 8?
8
Let d be 3 - ((-10)/45 + 3). Which is greater: d or 2?
2
Let c = -0.2 + -0.8. Is c >= 2?
False
Let o = 6 + 0. Suppose -9*q = -o*q + 9. Is -3 at most as big as q?
True
Let k be 6 + -3 + 1*-7. Let t(q) = -q**3 + 8*q**2 - 5. Suppose 5*o + 3*r = 28, 0*o = 2*o + 4*r. Let l be t(o). Is l < k?
True
Suppose -2*i = -3*n - 9, -i - 4*n - 12 = -0*i. Let x be 2/2 + 19/(-9). Which is smaller: x or i?
x
Let f = -0.09 - 0.11. Is -11 < f?
True
Let p = 2192/15 + -146. Let u(j) = j - 5. Let h be 7 - ((-1)/(-1) + 0). Let l be u(h). Is l > p?
True
Let w = 3 - 2.7. Let y = -0.2 + w. Which is smaller: y or 8?
y
Let g = 15 - 19. Which is smaller: -5 or g?
-5
Let f(n) = -n**2 + 6*n - 3. Let y be f(5). Let a be y + (-2)/(-3) + -2. Is 0 != a?
True
Let f = 128/23 - 3679/690. Which is greater: 0 or f?
f
Let t be (-1 - 2)*4/(-6). Suppose 4*w = 5*n - 17, -4*n = -5*w + t*w - 13. Let c(y) = -2*y - 4. Let q be c(w). Is q at least 3?
False
Let r be ((-2)/72)/(6/(-16)). Let l be (-8)/12 + (-58)/(-54). Let j = r - l. Which is smaller: j or -0.3?
j
Let u(q) = q**3 + 5*q**2 + 3*q. Let z be u(-3). Is 7 at least z?
False
Let q(o) be the second derivative of -o**6/720 + o**5/24 - o**4/3 + 2*o. Let n(f) be the third derivative of q(f). Let b be n(6). Which is greater: b or -1/10?
-1/10
Let a be 1/(-3)*-3*5. Suppose 0*v + p = 2*v + a, -