/24 - 2. Is i at most as big as 0?
False
Let h(g) = g + 4. Let k be h(4). Let s be (2 + k/(-6))*3. Let a be 4/s*(-2)/4. Do a and 1/3 have different values?
True
Suppose 5*z = 3*z + 8. Is z greater than or equal to 5?
False
Let h be 18/(-3 + 0) - -2. Let t = -2 - h. Let j be ((-8)/(-56))/(t/7). Which is bigger: j or 1?
1
Let k be (3/5)/((-9)/(-33)). Let s(t) = -t - 1. Let a be s(-3). Is k >= a?
True
Let h be 3 + 3 + -2 + 1. Suppose v + 6 = 4*t, -4*t + 14 = -10*v + h*v. Is t equal to 3/11?
False
Let q = -81/10 - -17/2. Let p = 1.95 - -0.05. Let w = -2 + p. Is w less than q?
True
Let m(a) = a**2 - a - 4. Let l be m(3). Suppose 2 + 2 = -l*b. Is b at least -4/5?
False
Suppose 0 = -d - 15 + 4. Suppose 0 = -r - 4*u - 1, -5*u = -4*u + 2. Let z = d + r. Is -3 > z?
True
Let o(l) = -l**2 + 13*l. Let a be o(11). Is a at least 22?
True
Suppose -2*p = -4, 4*z + 2*p = -0 - 4. Is -20/27 at least as big as z?
True
Let t = 0.08 + -0.38. Let g = 0.7 + -0.5. Let i = t + g. Which is greater: i or -1?
i
Let h be (-1)/2 + (-46)/4. Let l be ((-130)/(-10))/(-4 - -3). Which is greater: h or l?
h
Let o = 6 + -3. Let s = 3 + o. Suppose -q + s*q = 5. Is q less than 2?
True
Let a = 0.76 + -0.9. Let r = 0.04 + a. Is r less than or equal to -1?
False
Let f = 0 + 1. Let w = 0.6 - 3.6. Let z = w - -2. Is f at least z?
True
Let g = -23 - -22. Suppose 2 = 4*k - 2*i, 5*k - 5*i + 11 - 1 = 0. Suppose 3*f + 2 = r + 1, -k*f + 3*r = 3. Is g at most as big as f?
True
Suppose 0 = 13*y + 3 - 3. Which is bigger: y or -1/9?
y
Let r = -173 - -85. Let c be (r/4)/(1 - -1). Let a = c - -11. Is 2/29 less than a?
False
Let h = -4 + -16. Is h less than -20?
False
Let d be (-4)/4*10 + -3 + -1. Is -11 != d?
True
Suppose x + n - 5 = 0, 3*x - 4*n = -6 + 35. Let q = 3 - x. Does -4 = q?
True
Let g = 14 - 17. Is g at least as big as 0.1?
False
Let g = -19 + 13. Suppose 5*m - 2*r + 35 = -7*r, 5*m + 2*r = -32. Is m bigger than g?
False
Let u = 3 + -2. Let b = 524 + -11002/21. Is b smaller than u?
True
Let n(x) = -2*x - 4. Let f be -2 - 1/(1/(-7)). Let v be n(f). Let j be (-18)/14 - 4/v. Is -0.1 bigger than j?
True
Suppose -6*f + 5*f = 9. Suppose -4*k = 31 + 1. Are k and f equal?
False
Suppose 2*r + 0 - 2 = 0. Suppose 0 = 2*k + 3*d - 15, 3*k - 25 = -6*d + d. Which is smaller: k or r?
k
Suppose 9*y = 6*y + 12. Which is bigger: y or 6?
6
Let r = 13 + -24.8. Let y = -1.2 + r. Do y and -2/3 have the same value?
False
Let r = 41565/3614 + -2/1807. Which is smaller: r or -0.1?
-0.1
Let y be (-16)/(-10)*(-1 + -4). Let t be (y/(-6))/((-2)/(-12)). Let z be 3/t*4/(-6). Which is smaller: 0 or z?
z
Let j be 80/(-6)*(-18)/(-15). Does j = -18?
False
Let z = -3.4 - -1.8. Let l = -0.6 - z. Which is smaller: l or 6?
l
Let s = -5 - -4. Let v = -25 - -25.3. Which is smaller: v or s?
s
Let y be 1/(3/(-9)*(-3)/(-1)). Is -1 equal to y?
True
Let l = 1 + -1. Let j = 1 - l. Let t = 0.387 + 0.613. Is j at most t?
True
Let t = -544/3705 + -2/285. Let u(d) = 6*d - 1. Let o be u(-1). Let r(y) = -y**2 - 6*y + 6. Let a be r(o). Which is smaller: a or t?
a
Let i = -815 - -807. Let k(o) = -o**2 - 2*o. Let s be k(-4). Is i >= s?
True
Let g(q) = -q**2 - 5*q - 5. Let h be g(-4). Let u = 139/645 + -2/129. Is u smaller than h?
False
Suppose -2*b + 40 = -7*b. Let n be 12/16 + 10/b. Are -2 and n non-equal?
True
Suppose 0 = -b + 8 + 1. Is b < 11?
True
Let m = -46 + 39. Let i be -3 + 4 + -1 + -8. Which is greater: m or i?
m
Let v = 24 - -24. Are 48 and v equal?
True
Let z be (-4)/12 - 100/(-12). Which is greater: z or 7?
z
Let a = -1256 - -7555/6. Does 3 = a?
False
Suppose -2*z + 2 = -0*z. Let p(w) = -6*w + 1. Let r be p(z). Which is smaller: -4 or r?
r
Let x(t) = t**3 + 2*t**2 - 3*t + 2. Let h be x(1). Does -1 = h?
False
Let q be 6/(-3) + 7 + 1. Let t be 1/((-2)/(q/9)). Suppose 2*x + 3*n = 15, -15 = 3*x - 7*n + 4*n. Are t and x nonequal?
True
Let d = -3 + 1. Let r be (-5)/(-7) + (-3 - d). Which is greater: r or -1?
r
Let m = -14206/13 - -1092. Is m greater than 0?
False
Suppose -4 - 10 = -5*w - 3*c, -5*c = -4*w - 11. Let p be (-2)/10 + (-28)/(-90). Which is greater: w or p?
w
Suppose -7 = -2*q - 9. Do q and -1/71 have the same value?
False
Suppose 2*i - 8 = 6*i. Let q = 2 + i. Is q less than or equal to 1?
True
Let l = 0.1 - -0.4. Let g = 0.4 - l. Let w = 44 - 44.3. Are w and g nonequal?
True
Suppose -3*u + 6 = 0, 2*l - 4*u - 1 = 5. Which is greater: 3 or l?
l
Suppose -3*h - 10 = -n, -22 = -4*n + 3*h - 0. Which is smaller: n or -2?
-2
Let y(l) = 2*l + 2. Let a(m) = m + 1. Let i(j) = -7*a(j) + 4*y(j). Let g be i(5). Let p = -7 + g. Is -2 smaller than p?
True
Let n(q) = q**2 - 10*q - 6. Let c be n(11). Suppose k + t = -2, -c*t = k + 14 - 4. Which is smaller: 1 or k?
k
Suppose -4*h - 13 = 4*y - 93, -5*h - 5 = 0. Suppose -2*f - f = y. Let a = 5 + f. Is -2 less than or equal to a?
True
Let f = 123 - 121. Let z be (-2 - (-3)/2)*-2. Let l be 0 - (-2 + z)*2. Is l equal to f?
True
Suppose 0 = -2*x - 2*w + 10, 0*w + 2*w = -x + 7. Suppose -3*z = -6*z + x. Let l be -1 + z - 2/8. Is l less than 0?
True
Suppose 9 = 3*k + 5*c, -2*c - 1 = 4*k + 1. Is k less than or equal to -14/15?
True
Let z be (-4)/(-4)*(-2 + 159). Let y = z + -2199/14. Which is smaller: y or -1?
-1
Let r(w) = w**2 - 6*w + 6. Let c be r(5). Let m(s) = -s**3 - s**2 + 3*s + 1. Let u be m(-2). Let b(x) = -3*x. Let l be b(u). Are l and c unequal?
True
Let r = -8 - 10. Let n be (2/(-4))/(3/r). Is 3 greater than or equal to n?
True
Let u = -127/40 + 19/5. Which is bigger: 2 or u?
2
Suppose 2*b = 2*n - 10, 3*n + 5*b = 2*n - 1. Suppose -n = -4*p + 5*w + 15, p - 7 = 2*w. Let m = 0 + 0. Is p smaller than m?
False
Suppose -5*d - 2*s = -6, 4*d + 10*s - 5*s = -2. Let u be (-2)/3 - (-27)/9. Which is smaller: u or d?
d
Let c = 21 - 18. Is 1 at least c?
False
Let s be -5*(-2 + 12216/6110). Let g = -4097/3 - -2502991/1833. Let f = g - s. Which is smaller: f or 0?
f
Suppose 2 + 5 = f. Let i be (4/12)/((-4)/(-8)). Which is bigger: f or i?
f
Let v = 23.8 + -24. Which is smaller: 0 or v?
v
Suppose 4*d - 32 = 28. Suppose 0 = 5*h - 5*u + d, 5*u - 21 = -0*h + 2*h. Suppose -v = -3*v + 2. Is h at least as big as v?
True
Let z = -165 - -165. Suppose -4*b - 26 = -3*t, 2*t = -2*b - t - 4. Is b smaller than z?
True
Suppose -4*w - 1 = -5*c + 65, 5*w + 60 = 4*c. Let p be c*(3 + (-11)/4). Is 2 equal to p?
False
Let u be 1/(-3)*-3 - 30. Let z = -101/3 - u. Which is smaller: -4 or z?
z
Let o = 1 + -1. Let x be (-1 + -29)/2*-1. Let r be ((-2)/(-6))/((-5)/x). Is o less than r?
False
Suppose -1 = 15*z + 14. Is 4/59 smaller than z?
False
Let t = -0.24 - -0.04. Let x = 959.89 + -956. Let a = x - -0.11. Which is greater: t or a?
a
Let u = -1.4 + 7.4. Which is bigger: u or 2?
u
Let x(t) = -3 - 5 + 1 + t**2 + 7*t. Let y be x(-7). Let c = 10 + y. Is 4 smaller than c?
False
Let j(p) be the third derivative of -p**5/60 - p**4/24 + 5*p**3/6 + p**2. Let f be j(-4). Let n be 4/(-14) + (-23)/f. Is n less than 3?
False
Let o be ((-10)/4)/(-5) + 0. Which is smaller: 0.3 or o?
0.3
Let u be (0 - -3) + (-2)/(102/147). Which is smaller: -0.03 or u?
-0.03
Let y be 1/(-2) + (-11410)/(-44). Let z = -259 + y. Let w = -79 + 80. Which is bigger: z or w?
w
Let x = 8.72 + 0.28. Let f = -10 - 1. Let b = f + x. Is -0.3 != b?
True
Suppose -6 = 2*y, -v + 0*v + 6 = -4*y. Which is smaller: -7 or v?
-7
Suppose 2*p - 10 = 5*p + 2*q, 2*p + 8 = -2*q. Suppose -4*w - 20 = 12. Let d(o) = -o**2 - 8*o. Let b be d(w). Does b = p?
False
Let o be -2*-5*1/2. Suppose 0*i - 8 = -l + 2*i, -4 = -o*l - 2*i. Suppose -2*j - 12 = -5*a, -4*j - 5 = -3*j - l*a. Are -1 and j equal?
True
Let w be 9 + -12 - (-110)/34. Is w > -1?
True
Let y = -48 - -48.1. Which is bigger: y or -56?
y
Suppose 0*w - 8 = -w. Suppose 8 = 4*i - 24. Do i and w have different values?
False
Let i be ((-2)/1)/(20/8). Is -2 bigger than i?
False
Suppose -5*w - 35 = -5*a, -5*a - 2*w + 20 = -4*w. Let g = 14 + -9. Suppose 0 = -3*p + a - g. Which is smaller: p or -5?
-5
Let v = 126.025 + -0.025. Let n = v - 124.97. Let y = n - 0.03. Does -2 = y?
False
Let h be 654/(-165) + 3 + 1. Let f = h + -71/440. Which is greater: -2 or f?
f
Let o(d) = -2*d**2 - d + 2. Let k be o(-2). Which is smaller: -3 or k?
k
Let p = 63 + -54.2. Let r = p - 10. Let c = -0.2 - r. Which is greater: c or -0.1?
c
Let g = 12 + -17. Let p = 3 + g.