Let a be 6 - ((-15)/t + 2). Solve 6 = 5*q - a for q.
3
Let c = 53 - 52. Solve 3*k - 14 = c for k.
5
Suppose -4*o + 10 = -2*o. Suppose 3*s - 34 - 26 = -o*r, 36 = 3*r - 3*s. Solve -r = g + 3*g for g.
-3
Suppose -5*h = -2*o - 45, 2*h = 3*o + 9 + 9. Suppose -q = -3 + h. Let m = -4 - q. Solve m = 2*k - 6 for k.
4
Let l = 14 - 18. Let h be 3/(-12) + (-1)/l. Solve h = 6*s - s + 10 for s.
-2
Let u = 2 - -5. Solve u*f - 6 = 10*f for f.
-2
Let i(z) = -z**2 + 7*z - 4. Let p be -1 - 0/(-2) - -7. Let j be i(p). Suppose 5*c - 4*d = -3*d + j, -d - 2 = -c. Solve -3*w = 12 - c for w.
-4
Let d be (0 + -2 - (-5 - -2))*5. Solve -7 = -3*s + d for s.
4
Suppose 0 = -4*b + 6*o - 2*o - 44, 0 = b + 4*o - 9. Let q(n) = -n - 5. Let i be q(b). Solve -i*a = a for a.
0
Let u(b) = -b**3 - 14*b**2 + 2*b + 32. Let g be u(-14). Solve -k + 0 = g for k.
-4
Let q(d) be the third derivative of d**4/12 - 7*d**3/6 - d**2. Let o be q(5). Solve -25 = 2*c + o*c for c.
-5
Suppose 5*l + 6*b - 2*b - 52 = 0, 4*l - 46 = -b. Solve 0 = 3*p - 0 + l for p.
-4
Let m be (0 + 1)*1*3. Solve 0 = -m*v + 2*v for v.
0
Suppose -2*j = 5*k - 51, 2*k - 2*j + j = 15. Let d be ((0 - -1) + 9)*2. Let c = -8 + d. Solve k*b = 5*b + c for b.
3
Let u be 1/4 + 1/(-4). Suppose -2*z = -u - 4. Solve 2*g = 2 + z for g.
2
Let s(z) = 4*z + 26 - 27 - z + 5*z**2 + z**3. Let i be s(-4). Solve -n = -i*n for n.
0
Suppose 0 = o - 0 - 3. Let q be (4 + -5)/((-1)/o). Solve -q*s + 8*s = -5 for s.
-1
Suppose 11 = h - 15. Suppose 0 = -4*y + 3*b + h, 2*y - 5*y + 3*b + 21 = 0. Solve -p + y = -0*p for p.
5
Suppose 0 = -16*k + 11*k. Solve k = -6*o + 7*o + 2 for o.
-2
Let r(k) = -k**3 + 2*k**2 - 3*k + 1. Let b be r(2). Let x be ((-8)/2)/(2/b). Solve -s = s - x for s.
5
Suppose 10*a - 19 - 21 = 0. Solve a = -4*f + 2*f for f.
-2
Let h(d) = 7*d + 5 - 11*d - d**2 + 2*d. Let i be h(-3). Solve -10 = -3*r + i for r.
4
Suppose 0 = -2*u + p + 18, -4*p - 18 = -2*u + 6. Let g be (-52)/(-16) - 2/u. Suppose -g*b - b = 0. Solve b*j - 15 = -5*j for j.
3
Suppose 0 = -3*r + r. Let w = r + 5. Let z = 10 - 8. Solve 0 = z*l - w*l for l.
0
Suppose -2*x + 5*p = -45, 3*x + 4*p - 20 = 2*p. Let b = x + -17. Let v(s) = -s**3 - 6*s**2 + 7*s + 4. Let a be v(b). Solve a*g = g for g.
0
Let q be 1/(-3)*-3 + 1. Suppose 0*k = 2*k - q. Solve -3*m - k = 2 for m.
-1
Let v = -10 + 81. Let r = v - 46. Solve 2*d + r = 7*d for d.
5
Let l be (1 - 4) + -3 + 2. Let s = l + 6. Suppose 5*a - s*a - 6 = 0. Solve 1 = -a*w + 5 for w.
2
Let k(i) = -i - 6. Let s be k(-7). Solve -7 + s = -3*o for o.
2
Suppose v = l - 2 + 6, -v - 2*l + 4 = 0. Solve 5 = v*y + y for y.
1
Suppose -h - 3*h + 8 = 0. Let s(x) = 11 + x + h*x**3 - 3*x**3 - 9*x**2 + 0*x**3. Let y be s(-9). Solve -3*z - y*z = 0 for z.
0
Let v = 16 - 11. Let i(t) = -8 - t + 10 + 0*t. Let p be i(0). Solve -v*m - 13 - p = 0 for m.
-3
Suppose 3*q + h + 32 = 0, -4*q + 0*q - 4*h = 48. Let z = -9 - q. Let g be (5/2)/(z/2). Solve -g + 2 = -3*m for m.
1
Let o = 18 - 16. Suppose -11 = -o*y + 5*v, -5*v - 2 = -y + 2*y. Solve 0 = y*x - 5*x for x.
0
Let g be (-6)/4 + (-2)/(-4). Let w(a) = 3*a**2 - 1. Let v be w(g). Solve -2 = -v*q + 2 for q.
2
Suppose 15 = 3*t - 9. Suppose -f + 4*d = -28, -4*d = 4*f - 0*f - 12. Let v = t - f. Solve v*k = 4*k for k.
0
Suppose 0 = -x + 5 - 0. Suppose -103 = -4*q + 5*z, q + x*z - 4*z - 28 = 0. Suppose 3*p - 3*c - q = 0, 0 = 2*p + 5*c + 31 - 14. Solve b + p*b = -20 for b.
-4
Let u(y) = 2*y**3 + 21*y**2 - y + 21. Let t(r) = r**3 + 11*r**2 - r + 11. Let q(m) = -5*t(m) + 3*u(m). Let v be q(-8). Let b = -6 - v. Solve 5 = b*j - 3 for j.
4
Let h = 0 + 2. Suppose 4*q + h = 2*n + 6, -4*q + 4 = -3*n. Solve 5*y + 3 - 23 = n for y.
4
Let y be (192/120)/((-2)/(-5)). Suppose 3*s - 3 = -0*s. Let v = y - s. Solve 5*j = v*j - 8 for j.
-4
Let a be 90/(-78) + (-4)/(-26). Let p = a - -9. Solve 0*f + p = 2*f for f.
4
Suppose 0 = -4*y - 0*y + 20. Let f be (-2)/3*(0 - 21). Solve f - 4 = y*r for r.
2
Suppose 0 = 3*c + 2*c - 70. Let q = 1 + c. Solve n = -4*n - q for n.
-3
Let b(f) = -f**3 + 4*f**2 - 3*f. Let s be b(2). Suppose s + 2 = 4*t - 4*y, -1 = t - 3*y. Solve t = -r - 1 for r.
-3
Suppose -8 = 5*r - 48. Solve -r = -5*y + 7 for y.
3
Let n(p) be the second derivative of -p**4/12 - 5*p**3/6 - p**2 - 4*p. Let d be n(-2). Solve -9 = -t - d for t.
5
Suppose h = -3*s - 0 - 1, 3*s + 31 = 5*h. Let o be s/9 + (-24)/(-108). Solve -2*k + o = 4 for k.
-2
Suppose -3*a + 2 = -1. Let x be (-5 - a)/(-2) - 0. Solve -2*c = -5 - x for c.
4
Let u(i) = -i**3 + 7*i**2 + i - 7. Let m be u(7). Let n(k) = k**3 + 8*k**2 + 6*k - 1. Let v be n(-7). Suppose 0 = -2*b + v. Solve -b*a + a - 4 = m for a.
-2
Let x = 4 + 16. Solve -3*n - n = -x for n.
5
Suppose n = -5*o + 84, n = o + 3 - 15. Solve 9*l = 5*l - o for l.
-4
Suppose 0*v = -v + 2. Let q be (v/(-8))/((-2)/16). Solve -q*s = -13 + 5 for s.
4
Suppose 0*v + 2 = -2*v. Let o be (-194)/(-12) - v/(-6). Suppose 0 = -5*z - 5, l - 2*l - 3*z - 1 = 0. Solve l*q = 6*q - o for q.
4
Suppose 3*y = -d + 2, 0*y + y + 2*d - 4 = 0. Solve 5*a = -y*a + 20 for a.
4
Let w(l) = 9 + 2*l + l**3 - 3*l + l + 7*l**2 + l. Let y be w(-7). Solve j - y*j = 2 for j.
-2
Suppose 3*c + 5 = 20, -4*d + 3*c + 13 = 0. Suppose d = -2*g - 4*w + 31, -2*w = -5*g. Solve -t + 3 = -g*t for t.
-3
Let p(s) = s**2 - 5*s - 1. Let t be p(6). Solve 1 = 3*r - t for r.
2
Let m(i) = i - 4. Let z be m(14). Solve -f = f + z for f.
-5
Let f(n) = n**2 + 7*n + 8. Let c be f(-6). Let m = -2 - -4. Suppose -1 = 3*a + 2*z, c*a - a - 13 = m*z. Solve a*k - 6 = 9 for k.
5
Suppose 4*w - 17 = 7. Solve 0 = 5*q + 14 + w for q.
-4
Suppose -2*u - 5*s + 11 = 0, -20 = -3*u - 2*s - 2*s. Let a(w) = -w + 7. Let b be a(7). Let n be 5 - (-3 - b)/(-3). Solve -n*f = -0*f - u for f.
2
Suppose 0 = 48*w - 47*w - 2. Solve o - 1 - w = 0 for o.
3
Let m be 1/(-1)*1*-9. Let c be (-1 + m/6)*0. Solve -4*j = 4 - c for j.
-1
Let p(x) = -8*x - 4. Let w be p(-3). Let a = 28 - w. Solve a - 3 = -l for l.
-5
Let n be (-4)/(-6) + (-65)/(-15). Suppose 10 = -5*z, -5*o - 3*z = -n*z - 44. Solve -2 = -2*l - o for l.
-3
Let r = 17 + -9. Suppose r*b = 4*b. Solve -t + 4 = -b for t.
4
Let j be 3/1 - (-5 + 4). Suppose -j*a = a. Suppose 4*o - 2*o - 12 = a. Solve o = -2*v - 0*v for v.
-3
Let p(b) = b**3 + 3*b**2 - 3*b - 1. Let j(c) = -c**2 - c. Let h(v) = 3*j(v) - p(v). Let z be h(-6). Let k = 1 - z. Solve -3*f - 5 + 2 = k for f.
-1
Let k be 0*1/3 + 2. Let b(o) = o**2 - 6*o + 1. Let f be b(7). Solve 2 + f = k*m for m.
5
Let b(w) = -w**3 + 3*w**2 + 10*w + 2. Let q be b(5). Solve -q*k + 4 = -3*k for k.
-4
Suppose 6*m = 3*m + 18. Suppose -m*o = -o - 10. Suppose -o = k - 2*k. Solve -k = c + 3 for c.
-5
Let l = 48 + -45. Solve -l = m - 6 for m.
3
Let n(i) = i**2 + 5*i - 6. Let d be n(-5). Suppose c = 4*c - 27. Let j = c + d. Solve j*s = s for s.
0
Let u = -18 - -23. Solve -u*s = -25 + 10 for s.
3
Let k(x) be the third derivative of x**4/12 + 4*x**3/3 + 2*x**2. Let u be k(-10). Let i = u + 28. Solve -2*l - 2*l = i for l.
-4
Let a be ((-60)/(-25))/(6/15). Solve -3*w + 0*w = -a for w.
2
Suppose 5*b = -5*p + 40, -4*p - 5*b + 25 = -2*p. Suppose -13 = k - 3*f, -5*k + p*f - 11 = 4. Solve k*c - 4 + 12 = 0 for c.
-4
Suppose -6*j = -4*j. Solve 0 = -j*i + 3*i + 9 for i.
-3
Let y(r) = -8*r + 1. Let s be y(-1). Let o(x) = -x**3 + 8*x**2 + 9*x + 4. Let j be o(s). Let v(k) = k**2 + 2*k - 1. Let c be v(-4). Solve j*w - c = 1 for w.
2
Let k be -1 - (-1 + (3 - 3)). Suppose 3*d - 3*f - 78 = k, d + 2*f = 14 + 9. Solve 3*a + d = -2*a for a.
-5
Let w = 44 + -42. Solve -2*o - w + 0 = 0 for o.
-1
Suppose 0*v = v - 3*j - 6, -3*j = 6. Let f = 8 + v. Solve 3*h - h = -f for h.
-4
Let j = -17 + 19. Solve j*i - 10 = 4*i for i.
-5
Let d = -13 - -28. Solve 2*w + d = -w for w.
-5
Let a(u) = u**2 + 10*u - 1. Let y be a(-10). Let v be y*2/(-5)*20. Solve c = -c + v for c.
4
Suppose 4*z + n = 16, -3*z - 5*n - 3 = -8*n. Solve -z*q + 5*q = -6 for q.
-3
Let z = 6 - 8. Suppose -3*r + r + 10 = 4*q, r = -1. Let p = z + q. Solve b - 1 = p for b.
2
Suppose -4*o + 4 = -3*o. Suppose 2*b - o*b + 4*h = -26, 0 = -5*b + 5*h + 45. Let i(v) = v**2 + v. Let z be i(-1). Solve -a - 4*a - b = z for a.
-1
Suppose 4*v - 27 = -a, 0 = -3*v - 5*a + a + 30. Let u be -4*(-2)/8*29. Suppose 5*q = 2*s - 23, -5*s + 2*q = -q - u. Solve -s*p = -p + v for p.
-2
Suppose -4 + 0 = l, -56 = -4*t + 