Let s(x) = 3*x - 9. Let i be s(t). Suppose i = 6*n - 27. Solve n = -b - 4*b for b.
-1
Let y = -1 - 2. Let g be y/(-1)*16/6. Suppose 0 = 7*z - 5*z - g. Solve -z*p + 0*p = 8 for p.
-2
Suppose 3*p + 195 = 27. Let m = p - -86. Let z = -26 + m. Solve -n = -3*n + z for n.
2
Let n = 20 - 18. Suppose -8 = -3*k + 2*l, -2 = n*k + 5*l - 39. Solve -f + k*f = -20 for f.
-4
Suppose 2*h = -2*j + 40 + 36, 0 = 3*h + j - 122. Let f = h + -42. Solve -4*y = -f*y + 4 for y.
-1
Let v(r) = -r**3 + 7*r**2 - 2*r + 17. Let d be v(7). Suppose 68 + 7 = 3*t. Let p be 10/t - 146/(-10). Solve 2*s + d*s = p for s.
3
Suppose -5*y - 25 = 5*i, y + 1 = -2*i + 5*i. Let v(j) be the second derivative of 5*j**4/12 + j**3/2 + j**2/2 + 2*j. Let d be v(i). Solve z + 0 = d for z.
3
Let k be 1/(-8) + 3 + (-35)/40. Solve -4*b - 8 = -k*b for b.
-4
Let x = -2 - -4. Let j = -10 - -41. Suppose j = 4*y - 5. Solve x*d - y = -d for d.
3
Suppose -v - 5 = 0, 3*v = 3*w - v - 35. Suppose 5*m - 31 = -r + 4*r, w*r + 15 = m. Solve -o = 1 - m for o.
4
Let l(w) = -w**3 - 9*w**2 + 8*w + 79. Let o be l(-9). Solve 3*f + 8 = o*f for f.
2
Let g = 5 - 2. Suppose -o - 1 = -g. Suppose 8 - 4 = o*x. Solve x + 3 = -v for v.
-5
Suppose 2*f - 20 = -3*v, v = -52*f + 53*f. Suppose -2*u + u = 0. Solve -4 = f*j - u for j.
-1
Let y = 17 + -17. Suppose h - 2 = 5*w, -2*h - 3*h + 70 = 5*w. Let x = h - y. Solve 0*f + x = 4*f for f.
3
Let f = -1566 - -1566. Solve f = 3*r - 8*r + 5 for r.
1
Let q(l) = -39*l - 15. Let p be q(-1). Solve 9 = -p*t + 129 for t.
5
Suppose 0 = 2*v + 9 - 1, -2*f + 20 = 5*v. Solve 0 = 16*s - f*s + 20 for s.
5
Let i = -48 + 56. Let z be 2 - (14/i + (-2)/(-8)). Solve z = t - 1 - 2 for t.
3
Let x be (8 - (-348)/(-42))*125*-7. Solve 2*z + x = 252 for z.
1
Suppose 140 - 30 = 5*d. Solve -18*o + d*o + 20 = 0 for o.
-5
Suppose v - 21 = -r + 5*v, 5*v = 4*r - 40. Suppose 5*q - 2*q + r*k - 18 = 0, -5*k = 0. Solve -q = 5*l + 19 for l.
-5
Suppose -8 = -f - 3*f. Let o be ((-6)/12)/(f/(-20)). Suppose -z - 4 = 0, q - 6*q + o*z = -70. Solve t - 3*t - q = 0 for t.
-5
Let s be (3 - 2 - -1) + 3. Suppose 0*v = 5*c + v - 2, s*c = v - 2. Solve -4*a + 2 + 18 = c for a.
5
Suppose 2*q = -d, -4*d - 4*q + 6 = -6. Suppose -91 = -d*u + 29. Let j(a) = 4*a - 7. Let c be j(3). Solve -m + u = -c*m for m.
-5
Let t = -2088 - -2088. Solve t = -56*x + 52*x + 8 for x.
2
Let p be 8/(-80) + 722/20. Solve 31 = 5*b + p for b.
-1
Suppose 7*c = 18 + 45. Suppose -8*y = -c*y. Solve -10 = -y*l + 5*l for l.
-2
Suppose 4 = 3*w + 1. Suppose 4*g - w = 3. Let b = 1 - g. Solve q + q + 10 = b for q.
-5
Let y(n) = 11*n**2 - n. Let p be y(1). Suppose -a = -p*a - 0*a. Solve a = 2*m - 7*m for m.
0
Let x(t) = t**2 + 3*t. Let n be x(-4). Suppose 0 = 4*p - 3*a - 82, 17 + 82 = 5*p - 2*a. Solve n*o = p - 7 for o.
3
Let y be (56/10)/((-10)/(-25)). Let t = 21 - y. Suppose 2*l - t*l = -45. Solve -3*o + 0*o = -l for o.
3
Suppose 17 = z + 2*b, 46 = 2*z - 4*b - 12. Suppose 0 = -s - 4*h + z, -5*s - 5*h + 51 = -34. Suppose 3*f = k - 31, -k + f - s = -2*k. Solve 6 = -5*n - k for n.
-5
Let f(q) = 18*q - 164. Let u be f(10). Solve -u*p + 12*p = 8 for p.
-2
Suppose -o - 749 + 755 = 0. Solve -v - 10 = -o*v for v.
2
Suppose 4*p = -p + 15. Suppose 7*f = p*f - 3*o - 27, -3 = 3*o. Let y(g) = g + 6. Let m be y(f). Solve 4*c + m*c + 4 = 0 for c.
-1
Suppose 15 = 16*u - 11*u. Suppose -3*c = 3*l - c - 26, -24 = -2*l - u*c. Solve 0 = -3*j + j - l for j.
-3
Let s be (-2)/(-7) - 332/(-14). Suppose 0 = 10*z - 13*z + s. Solve -c - z = -3*c for c.
4
Let d be ((-15)/4)/3 - 77/(-4). Solve -p + d = 18 for p.
0
Let f = -528 + 536. Solve -f*b + 2 = -9*b for b.
-2
Let q = 35 + -26. Suppose -24 = -q*n + 3*n. Solve 2*c - n = -0 for c.
2
Suppose 42 = 2*w + 12. Suppose -7*z = -12*z + w. Solve -2*c - 5 - z = 0 for c.
-4
Let j = -16 - -12. Let a be (-7)/(49/(-10))*(j + 11). Solve -6*n + n = -a for n.
2
Suppose 0 = -5*j + 27 - 7. Let k(n) = -3*n + 12. Let y be k(j). Solve 2*p - 5*p - 15 = y for p.
-5
Suppose 0 = 5*r - r + 5*t + 13, -3*t - 3 = 4*r. Let w = -13 + 14. Solve -2*i = -r*i - w for i.
-1
Let x(a) = -2*a**2 + 34*a + 3. Let n be x(17). Solve -10*b + 35 = -n*b for b.
5
Suppose -k + 7 = 3. Suppose m = -5*u - 2, -5*m - 14 + k = 0. Solve -12 + u = -3*r for r.
4
Let k be (-4)/(-10) + (-13)/(-5). Suppose -4*d = 3*c + 8, 110*c - 106*c = -3*d - 6. Solve -q = -c - k for q.
3
Suppose 0*a + 270 = 18*a. Solve 6 = a*n - 12*n for n.
2
Let b be 0 - 1*(-20 - 2). Suppose t - b = -20. Solve -5 = 3*a - t for a.
-1
Let a(c) be the second derivative of -c**4/12 - 5*c**3/6 + 7*c**2/2 + 2*c. Let p be a(-6). Let g = 5 - p. Solve -g*b = -3*b for b.
0
Suppose 0 = 7*w - 6 - 15. Let k = -6 + 9. Let t = -3 + k. Solve t = -y + w*y + 4 for y.
-2
Let w(r) = 4*r**2 - 2*r - 4. Let m(c) = 7*c**2 - 4*c - 8. Let v(i) = -3*m(i) + 5*w(i). Let d be v(-4). Let b = d + 28. Solve -3*x + 5*x = -b for x.
-4
Let u be (-7)/(-1) - (-1)/((-3)/(-6)). Solve -u*n + 20 = -4*n for n.
4
Suppose -6 + 19 = 2*p + 5*j, 0 = -2*p - 4*j + 14. Let h = -8 - -13. Suppose h*v + 8 = p*v. Solve o = v*o for o.
0
Let w be (-70 - -70) + (-3 - (-20 - -1)). Solve w*l + 4 = -60 for l.
-4
Let q(x) = x**2 - 12*x + 2. Let g be q(12). Suppose -n + 6*n - 27 = -g*u, 2*n - 7 = 3*u. Solve 0 = -k + 5 - u for k.
4
Let c(a) = 4*a**3 - a**2 + a + 3. Let s be c(0). Solve s*g - 10 = 5 for g.
5
Let k(i) = -2*i - 10. Let j be k(-7). Suppose j = 4*q, -4 - 12 = -3*f + 5*q. Suppose -2*r - 12 = -8*r. Solve f = r*b - 1 for b.
4
Let o(d) = -d**3 - 5*d**2 + 7*d - 1. Let b be o(-6). Suppose c - 5*c = -2*r - 34, 0 = -c + 5. Let k = r - b. Solve 4*q = -k*q + 12 for q.
3
Suppose -5*l = 4*z - 12, 5*l - l + z - 3 = 0. Suppose 5*w - 18 = -k + 20, -w = -4*k + 5. Let u be (w - 17)*2/(-4). Solve l = u*r - 0*r for r.
0
Let i be 5 + (-3 - (0 - 3)). Suppose 0 = i*r + 4*p - 16, 5*p = -r - 1. Solve -10 - 6 = r*d for d.
-4
Let n(m) = -m**3 - 8*m**2 + 2*m + 16. Let f be n(-8). Solve f = -3*q + 5*q - 6 for q.
3
Suppose 3*f = 5*f - 6. Solve -f*y - 5 = 2*y for y.
-1
Suppose 4*n = 5*l - 5, 6*l = 8*l - 3*n - 2. Suppose 0 = 13*s - 14*s + g + 10, 2*s - 4*g = 18. Solve -s = 4*u + l for u.
-3
Let r(s) = -3*s**2 + 2*s**2 + s + 11*s + 14 + 2*s**2. Let j = 15 - 26. Let b be r(j). Solve -b*u = -0*u + 3 for u.
-1
Let l = 310 + -303. Suppose 0*n - 4*n = -12. Solve n*u + 20 = l*u for u.
5
Let u = 26 - 21. Let r be -1 + -1 + 55/u. Let p be r - (1 - (-4)/2). Solve 0 = 5*w - p + 1 for w.
1
Let r(m) = -3*m + 1. Let o be r(1). Let u be 0*(1 + 1/o). Let s(q) = q**3 - 38*q**2 + 216*q + 36. Let t be s(31). Solve 5 = t*j - u for j.
1
Suppose -16*t = 9*t - 200. Solve a + a + t = 0 for a.
-4
Let o be -42*3/(-10 - -4). Let z = 7 - o. Let s be ((-32)/z + -2)*7. Solve 4*w - s*w - 4 = 0 for w.
2
Suppose 3*p - 7 = -1. Solve 0*g + p*g = -6 for g.
-3
Suppose -4*w - 4*c - 349 = -w, -571 = 5*w - 4*c. Let y be 43/5 + 69/w. Suppose -2*p - 3*x + 13 = -6*x, -3*p - 2*x = 0. Solve 0 = p*s - 6*s - y for s.
-2
Suppose 0 = 5*k + 2*c - 116, -4*c = k + c - 14. Suppose 4*u + k = -12. Let d = u + 10. Solve -d = -n + 2 for n.
3
Suppose 11*m + z + 30 = 14*m, 3*z + 18 = m. Solve s = -m + 13 for s.
4
Let k = 326 + -321. Solve -4*m + 3*m = -k for m.
5
Suppose 5*l = -10, 2*b + 3*l - 1 = -5. Let z be 13*(3 - 2) - b. Solve g = -3*g + z for g.
3
Let t = 33 + -33. Suppose -6*k + 7*k = t. Solve k*o = 5*o + 25 for o.
-5
Let r(u) = 4*u - 3. Let p be r(2). Let a(i) = i**3 - 4*i**2 + i - 4. Let c be a(4). Suppose t + 1 - 4 = c. Solve -t*x = 7 + p for x.
-4
Let a(s) = s - 6. Suppose -3*y = -l + 5*l + 19, -15 = 3*y. Let o(g) = 1. Let h(d) = l*a(d) - 5*o(d). Let c be h(-6). Solve -c*i + 16 = -3*i for i.
4
Let a be ((-28)/(-4) + -10)*(-5)/3. Solve a - 10 = -r for r.
5
Let y(g) = g**3 + 21*g**2 + 37*g - 10. Let r be y(-19). Solve 0 = -5*a + 8*a + r for a.
-3
Suppose 3*s = -4*m + 48, s + 32 = 4*m - 0*s. Solve -m*r = -14*r + 25 for r.
5
Let q be (2 + -1)/((-2)/(-6)). Let p(z) = z**2 + 3*z. Let l = -12 - -9. Let w be p(l). Solve -3*a - q + w = 0 for a.
-1
Suppose 1 - 6 = -5*c + 5*n, -4*c - 1 = n. Solve 4 = -4*u - c*u for u.
-1
Let n(u) = -6*u. Let q be n(-2). Let w(b) = b**3 + b - 8. Let p be w(0). Let o = p + q. Solve -4*g + 3*g = -o for g.
4
Let d be (-168)/(-78) + 4/(-26). Let t(p) = p**3 - p - 1 - 3*p**d + 3*p + p - 2*p**3. Let l be t(-4). Solve 8*k = l*k - 5 for k.
-1
Sup