*x - 8*x = 0, -x = 5. Let s be 2/m + 18/5. Suppose 33 = s*r + 5*i, -5*i = 4*r - i - 28. Is 5/3 at most as big as r?
True
Let j = -173957/29 - -6001. Let a = 880/261 - j. Is a less than 0?
False
Let l = 12.2 + 1.8. Let j = -16 + l. Suppose 32 = -5*g - 3. Is j smaller than g?
False
Let n = 0.113 - 0.013. Which is smaller: n or -25/3?
-25/3
Suppose -2*l - 2*l = -20. Suppose -2*c = l*g + 3*c + 20, 2*g = 2*c + 8. Let z be -12*(2/(-4) + g). Is z at most as big as 7?
True
Let m be -1 + 2 + -1 + 2. Suppose -3*w = 0, -3*i + w + 12 = -m*w. Let o(n) = n**3 - 10*n**2 - n + 15. Let f be o(10). Is f greater than i?
True
Let i be ((-175)/(-30) + -6)*-18. Which is smaller: -0.36 or i?
-0.36
Let t(q) = -13*q - 105. Let n be t(-8). Which is smaller: -9/16 or n?
n
Let j be (-3*(-1)/(-9))/(-1)*1. Suppose -4*o + 13 = 1. Suppose -o = f - 2. Is f not equal to j?
True
Let f = 31.8 - 32. Let y = 0.1 + f. Which is smaller: y or -1/4?
-1/4
Let p = -6 - -3. Let b be (-5)/(-2)*18/(-15). Is p greater than b?
False
Suppose -c - 30 = -5*a, -a = -5*c + 4*c - 10. Let m be (-285)/190*((-16)/102 - 0). Is c at most as big as m?
True
Let v = -54 + 50.7. Let l = -3.32 - v. Is 0.3 bigger than l?
True
Let z = 11 - 20. Let u = z - -8.9. Let i = 0.06 - 0. Which is greater: u or i?
i
Let h be 315/(-14)*4/(-6). Suppose -x - 4*l = -0*x - h, 5*x - 3*l - 6 = 0. Suppose c + 7 = x*r - 0*c, 5*r + 7 = -3*c. Is 4 >= r?
True
Let p(k) = 2*k - 15. Let w be p(8). Suppose 43 = t - 6*t - 3*s, -4*s = -16. Let a be t/(-5) + 2/(-10). Is w greater than a?
False
Let v = -607 + 710. Which is bigger: v or 101?
v
Let d(h) = 4*h + 31. Let l be d(-7). Suppose 2*f - l + 7 = 0. Let t = -49/2 - -24. Which is greater: t or f?
t
Let q = -11 - -4. Let v(t) = 6*t**2 + 40*t - 6. Let l be v(-7). Let c = l + q. Is c less than 1?
False
Let y = -125 + 72. Let b be y/6 + 5/(-30) + 2. Which is smaller: b or -9?
-9
Let d be (-1)/2 + (-99438)/(-214812). Let p = 527133349/895050 - d. Let r = -589 + p. Which is smaller: 0 or r?
r
Let d = 44 - 47. Which is smaller: d or -29?
-29
Let z(q) be the second derivative of q**4/12 + 23*q**3/6 + 36*q**2 + 24*q + 2. Let g be z(-19). Let b be -1 - -1 - 26/10. Is b smaller than g?
False
Suppose -6*r = -74 + 20. Is r > 15/2?
True
Let z = 66 - 110. Let n = z + 43. Let a = -8 - -8.03. Which is smaller: n or a?
n
Let i be 2/(-4)*(5 + -7). Which is bigger: i or -4/47?
i
Suppose -3 - 3 = 3*w. Suppose -3*p + 8 = -2*h - 22, -33 = -3*p + h. Suppose 0 = -4*z + p. Which is smaller: z or w?
w
Let i(k) = 12*k**2 + k - 1. Let j be i(1). Let x be -3*((-8)/(-8))/((-3)/(-12)). Let p = j + x. Is -1/6 at most p?
True
Suppose 0*s = 3*s + 3. Let i be (1/(1 - -1))/s. Is i equal to 0?
False
Let b be (15/6 - 4)/((-9)/(-12)). Let a(v) = -11*v**2 - 2*v - 1. Let t be a(b). Which is smaller: t or -42?
-42
Let k = -1817 - -1766. Let m(p) = -8*p + 4. Let j be m(7). Which is bigger: k or j?
k
Let o = -29.4 + 23.4. Is o equal to -4?
False
Suppose 4*c - 4 = 0, 2*x + 3*c - 170 = c. Is x greater than or equal to 5?
True
Let w = 111 - 112. Let l be (-12)/(-76)*4/(-6)*w. Are l and -0.04 nonequal?
True
Let c be -1*(1492/(-372) - -4)/(-1). Which is greater: c or -1?
c
Suppose -3*c + 38 = -67. Let v = 5 - c. Which is greater: v or -31?
v
Suppose 13*f - 11*f - 61 = -3*s, 2*s - 29 = -f. Which is greater: f or 38?
38
Let f = 26392350/74683 + -16610/47. Let j = 2702629/20657 - f. Let y = j - 131. Which is bigger: -1 or y?
y
Suppose o = 5*o - 20. Suppose k = o*k. Are -5/7 and k equal?
False
Let t = -4129/1592895 + -10/3093. Is t less than 0?
True
Let r = 14 - 32. Let h = -49 - -30. Let a = h - r. Which is bigger: 2/3 or a?
2/3
Let o be 88803/(-91) - 2/14. Which is greater: o or 0?
0
Suppose -4*q + 11 = 19. Let a be -4*(2 - 27/12). Let b = a - 3. Does b = q?
True
Let x(c) = -4*c**3 + c**2 + 2*c + 1. Let l be x(-1). Suppose l*h + 1 = 5. Suppose 3 - h = -2*d. Is -1/17 at most as big as d?
False
Let u = -1.3 + 0.3. Let j = -12.1 + 2.1. Let y = j + 9.7. Which is bigger: y or u?
y
Let k be (3/9)/(2/(-12)). Let p be ((-28)/63)/(10/15). Which is smaller: p or k?
k
Let w be (3*(-12)/330)/((-42)/(-15)). Which is smaller: 0 or w?
w
Let w be 2 + (-24)/15 - (-219)/15. Let i(y) = 8*y - 31. Let v(u) = -7*u + 32. Let x(m) = -5*i(m) - 6*v(m). Let s be x(w). Is s at least -8?
True
Let f = -263.53 + 177.74. Let m = -94 - f. Let v = 0.21 + m. Which is greater: -1 or v?
-1
Let j = 1081204/227 + -4763. Which is greater: -2 or j?
j
Let r be (-6 - -2)/(3/289). Let l = r + 382. Which is bigger: l or -3?
-3
Let n be (0 + 3/2)/(14/56). Let u(m) = m**2 + m - 1. Let b be u(-3). Is n at most as big as b?
False
Let b be 80/45 - (-22)/99. Is b less than or equal to 29?
True
Suppose -8*s + 10*s = 10. Suppose s*h = -c + 73, -4*c + 6*c = h - 8. Is h at most as big as 1?
False
Let k be (3/9)/(1/(-21)). Let n be (-10)/(-35) - 5/k. Let m be (-1)/n + 2/3. Is -8 smaller than m?
True
Let k be (6/12 - -2) + -4. Which is smaller: -1/4 or k?
k
Let w(n) = -n**2 - n + 1. Let d(h) = -h**2 - 4*h + 3. Let j(z) = d(z) - 4*w(z). Let f be j(-1). Which is smaller: 5/9 or f?
5/9
Let z be (-5 - -3) + 10 - 3. Is -0.2 greater than z?
False
Let o = 44/7979 + -2/79. Which is greater: -10 or o?
o
Suppose 2*f - w = -26, -5*f + 3*w - 1 - 62 = 0. Let j be (f/(-10)*-1)/(3/(-44)). Are 20 and j equal?
False
Let y(d) = -5*d - 2. Let k be y(-1). Suppose -a = -4, 3*a = 2*g + k*g - 13. Suppose 5*q + 5 = -g. Is -0.6 <= q?
False
Let o be -12 - (1 - 0/(-1)). Let m = -10 - o. Suppose m*d = d + 4. Which is smaller: 12/11 or d?
12/11
Let j = 19.354 - -3.636. Let c = j - 23. Let n = -3 + 4. Is c >= n?
False
Suppose 72 = -2*g - g. Suppose 19*d = 388 - 141. Let b = d + g. Is b bigger than -8?
False
Let v be 61 + (4/10 - (-144)/(-135)). Let y = -1993/33 + v. Are 1 and y equal?
False
Let v(a) = -15*a**3 - a**2. Let s be v(-1). Let m be ((-2)/s)/(3/18). Let u be -9 + 6 + (0 - -3). Which is bigger: m or u?
u
Suppose 0 = -2*w - i - 5, 2*w + 0*w + 2*i + 10 = 0. Let r be -1 + w - (2 + -2). Which is smaller: r or 1/40?
r
Let t = 101 - 179. Let d be t + -5 + (1 - -1). Let n be 0 - (1 + 75/d). Is n less than -1?
False
Let t be (-7)/(2*(-1)/4). Suppose j - 5 = 2*f - t, 22 = -4*j + f. Suppose -l - l - 15 = l. Is j at least l?
True
Let h be (1 + (-3)/6)/(3/36). Is h at least as big as 88/17?
True
Let f be -4 + 1 + (-13)/(-13). Let g be (f + (-2199)/(-15))/(-3619). Let y = -1/385 + g. Do y and 0 have the same value?
False
Suppose 25 = -8*o + 3*o + 3*p, 3*o = -2*p - 34. Let c = o - -6. Which is smaller: -1/2 or c?
c
Let t = -15 + 23. Let u = -95 - -83. Let p be ((-8)/(-30))/(t/u). Which is bigger: p or 1/4?
1/4
Let y = 23.3 - -4.9. Let z = y + -28. Let k = 91/3 + -31. Do k and z have the same value?
False
Let v = -44 - -67. Suppose -6*p - 2*x = -3*p - v, 0 = -p + 2*x - 3. Let g be -2 + p/(15/(-6)). Is -1 at least as big as g?
True
Let m = -1055/11 - -17331/176. Let v = m - 311/112. Suppose -d = 0, -4*q + 2 + 2 = -5*d. Is v bigger than q?
False
Suppose 10 = 5*g + 4*p, -2*g + 4*p = p - 27. Which is bigger: 9/2 or g?
g
Let w be ((-620)/(-165))/((-3)/(-81)). Let m = w - 102. Which is smaller: 0 or m?
m
Let x(h) = -h**3 + 15*h**2 - 15*h + 8. Let k be x(14). Let f be 9/27 - (-32)/k. Let s be (-2*1)/((-2)/(-3)). Which is smaller: s or f?
f
Let w(q) be the second derivative of -1/12*q**4 + 7*q**2 - 5/3*q**3 + 0 - 2*q. Let b be w(-12). Is -9 at most b?
False
Let z(t) = 2*t**2 + t + 27. Let d(o) = 3*o**2 + 3*o + 54. Let r(f) = -3*d(f) + 5*z(f). Let h be r(8). Suppose a = 2*w - 12, w = 3*w - 4*a - 12. Is w != h?
True
Let p be ((-1518)/44)/((-12)/5). Are 15 and p equal?
False
Let j be (1638/(-104) - (-3)/4) + 2 + -1. Suppose -o + 20 = -6. Let n = 14 - o. Which is bigger: n or j?
n
Let r = -36.95 + 37. Let h = r + 1.95. Which is bigger: 11 or h?
11
Let r(t) = t**3 + 17*t**2 - 2*t - 23. Let s be r(-17). Suppose -i + 2 - s = 0. Let x be i/(-54) - 2/12. Which is greater: -2/37 or x?
x
Suppose 0 = 4*n + 4*n - 792. Let x be 4/(-16) - (n/(-12) - 4). Is x at most 13?
True
Let l(x) = -x - 9. Let i(n) = 3*n + 7. Let k be i(-7). Let s be l(k). Suppose 2*b = s*b + 18. Is b != -7?
True
Let n be (-32)/(-40) + 5896/(-20) + 0. Is n equal to -1468/5?
False
Let a(d) = -9*d - 3. Let k be a(-2). Suppose -8*n = -3*n + k, -m = -2*n - 8. Suppose 4*l + v = 2