13. Let i = 6 - p. Solve -2*s + 3 = -i for s.
5
Let l = -15 + 16. Solve -u + l + 0 = 0 for u.
1
Suppose -5*j = -15, -2*u + u - j = -7. Solve 21 = u*x + 1 for x.
5
Let b(d) = -d**3 + 7*d**2 - 6*d. Let g be b(6). Let m = 2 - g. Let x(v) = v**3 - 4*v**2 + 3*v + 1. Let t be x(3). Solve -t = -j + m for j.
3
Let s(p) = 16*p**2 - p. Let h be s(1). Suppose 2*k - 2*c - 1 - h = 0, k = 3*c + 12. Let g be 2/3 + 2/k. Solve 2*t - g = -5 for t.
-2
Suppose -2*q + q = 0. Solve 5*u - 4*u + 2 = q for u.
-2
Suppose 18*i + 9 = 21*i. Solve -2*r - i = -13 for r.
5
Let x = 38 - 34. Solve x*r + 1 = -7 for r.
-2
Let j(i) = i + 7. Let a be j(-7). Solve r - 2 + 3 = a for r.
-1
Let i = 16 - 1. Suppose -2*x = -3*b + b - 20, 3*b + i = 0. Solve -x*k = -k for k.
0
Suppose 0 = -14*x + 10*x + 24. Solve y = x*y + 5 for y.
-1
Let t(i) = i - 1. Let u(m) be the second derivative of m**4/12 - m**3/2 + m**2 - 2*m. Let v be u(3). Let p be t(v). Solve y - p = -2 for y.
-1
Let x be -3 + (-4 + 11 - 3). Solve -h + x = -3 for h.
4
Let u = -5 - 3. Let d = u + 14. Solve -6 = d*q - 3*q for q.
-2
Let u = -66 + 38. Let c be (-8)/u + (-183)/(-21). Solve m = 4*m - c for m.
3
Suppose 0 = 2*b - 60 + 6. Let p = -11 + b. Solve 2*a - p = -2*a for a.
4
Let x(m) be the first derivative of m**4/4 + 4*m**3/3 + 3*m**2/2 - 1. Let z be 2/(-10) - (-9)/(-5). Let l be x(z). Solve -i - 6 = l*i for i.
-2
Let a(d) = d. Let s be 1 + 5 + -2 + -2. Let j be a(s). Suppose -4*r + 8 = 2*n - 24, 0 = j*r + 2*n - 20. Solve -r - 3 = -3*b for b.
3
Suppose 0 = -g - g - 2, 5*g = 5*f - 15. Solve -3 = 5*y + f for y.
-1
Let q(r) = -5*r. Let k be q(-1). Suppose -k*x = -0*x. Let m = 53 + -53. Solve 4*p + m*p = x for p.
0
Suppose -3*r + 8*r = 10. Let n(y) be the second derivative of -y**5/20 + y**4/12 + y**3/2 - y**2/2 + 2*y. Let g be n(r). Solve -5*c + g - 16 = 0 for c.
-3
Let s be ((-216)/45)/(-4)*(9 + 1). Solve 7*b - 4*b - s = 0 for b.
4
Suppose 2*s + 0 = 4. Let v be -5 - (-5 + 1 + s). Let y be 3 - (1 - (7 - v)). Solve 4*w - y = -0*w for w.
3
Let u be (-10)/6*12/(-2). Suppose 0 = -4*s + 8 - 0. Solve -3*p = s*p - u for p.
2
Let o(k) = k**2 + 5*k + 4. Let t be o(-4). Let x = 14 + -10. Solve t = -x*q - 12 for q.
-3
Let v = -20 - -6. Suppose 14*o - 319 = 3*o. Let n = o + v. Solve f + 4*f + n = 0 for f.
-3
Let f = -18 - -12. Let h(o) = -o**2 - 6*o + 2. Let m be h(f). Solve -m = -s - 1 for s.
1
Suppose 2*m + 42 = 4*b, -3*b - 3*m = -6 - 21. Suppose d = -0*d + 4*v + b, -3*d - 5*v + 13 = 0. Suppose 7*r - 5 = d*r. Solve r*n - 15 = -0*n for n.
3
Suppose 4*c - 15 = -3*y, 0*y - 20 = -4*y - 4*c. Solve 9 = y*q + 34 for q.
-5
Let a = -6 - 9. Let l = a + 27. Solve 0 = -5*o - l - 8 for o.
-4
Let i(z) = z**2 - 8*z + 12. Suppose 0 = -6*j + 3*j + 24. Let p be i(j). Solve 3*u = 7*u + p for u.
-3
Let i(z) = 3*z**2 - 2*z. Let c be i(2). Solve 0 + c = 2*v for v.
4
Let v be (-16)/(-56) + 24/14. Let l be -2*(v - 9 - -3). Solve -z - z = l for z.
-4
Let h(b) = -b**3 - 7*b**2 - 9*b - 6. Let v be h(-6). Solve c - v = 4*c for c.
-4
Let d = 16 - 13. Suppose 3*u - d = 3. Solve p - 1 = u for p.
3
Let n(k) = k**2 + 2*k - 3. Suppose -5*l = -3*l + 6. Let i be n(l). Solve -r + i*r - 1 = 0 for r.
-1
Let r(y) = 7*y**3 + 2*y**2 - 2*y + 1. Let w be r(1). Solve -5*n + w - 23 = 0 for n.
-3
Suppose -5*b - b = 0. Solve b*d - 15 = 3*d for d.
-5
Let t = 5 - -6. Suppose -12*r = -t*r - 9. Solve 4*i = i + r for i.
3
Let f(k) = -k - 5. Let l be f(-7). Suppose 12 = l*p + 4. Solve 0*s = -p*s + 8 for s.
2
Let k be 2 - 50/(0 + -2). Suppose -k = -2*g + 3. Solve n + g = -4*n for n.
-3
Suppose -2 - 10 = -4*r. Let t = -158 - -164. Solve 0*w + t = -r*w for w.
-2
Let x(f) = 4*f**3 - f**2 + f. Let b be x(1). Solve 0*p + 4*p = b for p.
1
Let o(b) = -b**3 + b**2 - b**3 + 9*b**3 - 1 + b**3. Suppose -1 = 3*t - 4. Let i be o(t). Solve f + f = i for f.
4
Let n = -18 - -20. Suppose 5*y - 14 = 21. Solve n*f = y - 17 for f.
-5
Let k(q) be the third derivative of q**5/30 + q**4/24 + q**3/3 + 3*q**2. Let w be k(-2). Solve -5*c = -3*c - w for c.
4
Let s(x) = -x**3 + 8*x**2 - x + 9. Let v be s(8). Solve v = 4*l - 3*l for l.
1
Let f be 4/4*(-1 - -2). Let o be 7 - f*(-1 - -1). Solve -2 = 5*q - o for q.
1
Suppose 2*v = 3 + 9. Suppose -2*l - 5*t + 12 = -3*t, 0 = -2*l - 5*t + 24. Let p be l/v*3 - -5. Solve p*n + 20 = n for n.
-4
Let t(o) = o**3 + 9*o**2 + 5*o - 3. Let r be t(-8). Solve 6 = 5*y + r for y.
-3
Suppose 5*z = 3 - 8. Let q be (-2)/2*(0 + 1). Let p = z - q. Solve r + 1 = -p*r for r.
-1
Let f be (-58)/5*(-5)/2. Suppose 5*g - k + 15 = -f, 2*g + k + 12 = 0. Let j = g + 18. Solve -l = -6*l + j for l.
2
Let x(z) = -z**3 + 6*z**2 - 9*z + 4. Let y be x(3). Solve -y*o = -0*o - 8 for o.
2
Let m(k) = 2*k**2 - 2*k - 2. Let q be m(2). Suppose 0 = a + q*a. Solve 0 = 2*n - a*n + 2 for n.
-1
Let z be -3 + 2/(2/5). Solve z*h = h for h.
0
Let d(f) = 5*f. Let y be d(-1). Let k = 17 + -8. Let s = k + y. Solve -s*c - 10 = -9*c for c.
2
Suppose 5*l + 5 + 5 = 0. Let y be 29 - (1/(-1) - l). Solve 5*o - y = -8 for o.
4
Let a = -127 - -129. Solve -14 = 4*y - a for y.
-3
Suppose 2*g - 5*d = 26, -3 + 11 = -4*d. Solve -f - g = 3*f for f.
-2
Let u be 1/((-3)/6) - -8. Suppose -5*i = -14 - u. Suppose 2*a - a = i. Solve 19 = -a*g + 7 for g.
-3
Suppose -3 - 13 = -4*n. Solve -n = c - 0 for c.
-4
Let h(o) = o**3 + o**2 - 5. Let v be h(0). Let b(c) = c**3 + 4*c**2 - 5*c + 3. Let d be b(v). Solve 8 = -i + d*i for i.
4
Let l be (-10 + 23 - (-1 + 0))/2. Solve 5 = -3*n - l for n.
-4
Let k = -17 - -25. Let j = -7 + k. Suppose j = -u + 3. Solve -2*s = -s - u for s.
2
Suppose 0*n + 1 = n. Solve n = t + 2 for t.
-1
Let l(c) = 11*c**3 - c**2. Let o be l(1). Suppose 0 = -2*t - 0*t + o. Suppose -2*s - t = -z - 0*s, -s - 10 = -3*z. Solve -5*v - z = 2 for v.
-1
Suppose 9 = -3*t + 4*t - 3*v, -2*t + 4*v + 8 = 0. Let x be (t + 12)/(6/(-4)). Let s be 4/(-10) - x/10. Solve s = -3*l - l - 16 for l.
-4
Let f = 41 + -34. Solve 4*a - 5 = f for a.
3
Let r = 2 - -4. Suppose r + 9 = 5*m. Solve 0*i - m*i = 15 for i.
-5
Suppose 0 = 4*q - 11 - 13. Solve -w + 3*w = q for w.
3
Suppose -4*q + 2*q + 6 = 0. Solve 0 = -q*h - 3 for h.
-1
Let y be 5 + (-5)/(15/9). Solve -y*g - 7 = -1 for g.
-3
Suppose 0 = -3*t - 7 + 49. Suppose 12*a = t*a - 12. Solve a = -2*q - 4 for q.
-5
Suppose -4*q = q + 3*s - 40, 4*q - s - 15 = 0. Solve 3 - q = -x for x.
2
Let i(f) = -2*f - 1. Let l be i(-3). Suppose 0 = 2*s + l - 17. Solve -4*d - s = 2 for d.
-2
Suppose -3 = -5*d + 12. Solve q = d*q - 6 for q.
3
Suppose -5*k = -4 - 6. Suppose -29 = -3*z + 5*b, -35 = -5*z - 5*b - 0*b. Solve -k*v + 0*v = -z for v.
4
Suppose 0 = -m - 0*m + 4. Suppose -m*a = -2*a. Solve a = -0*h + h for h.
0
Let x = 3 - 1. Suppose 0 = 4*q - x*q - 6. Solve -3*b + 0 = -q for b.
1
Let i(p) = p + 9. Let r be i(-5). Solve 0 = 4*t + 20 - r for t.
-4
Suppose 4*y = -3*z - 8, -2*z + 4 + 2 = -3*y. Let h be 2 + -2 + y + 2. Suppose 0 = 4*k + 2*d - 14, -k - 2 = -5*d - h. Solve -k*m = -2*m for m.
0
Let y(p) = -5*p**2 - 3*p + 4. Let k be y(2). Let a be 4/k + 280/88. Solve -a*w + 0 = 15 for w.
-5
Suppose 4*r - 3*r + 4*p - 5 = 0, -15 = -3*r - 2*p. Suppose 1 = -2*c + 9. Let f be (10/(-4))/((-2)/c). Solve 0*q = -f*q + r for q.
1
Let a be 0 + -1 + -2 + 0. Let k be 2/a + 372/18. Solve -4*q = q - k for q.
4
Let b = 56 - 53. Solve -b*f + 9 = -6*f for f.
-3
Suppose 0 = 8*j - 16*j + 40. Solve -l = -j*l for l.
0
Let p = 153 - 150. Solve -p*i = -5*i for i.
0
Suppose 0 = -0*m - m + 2. Solve 0*c = m*c + 4 for c.
-2
Let z = 4 - -1. Let d(l) = -5*l - 6. Let n(y) = -5*y - 5. Let b(r) = -4*d(r) + 5*n(r). Let w be b(-1). Solve -16 = -z*a + w for a.
4
Suppose 4*x + 5*d - 16 = 0, -13 = -x + 3*d + 8. Solve 5*u - x = 6 for u.
3
Let q(p) = 10 - 1 + 4 - 1 - p. Let u be q(8). Solve u*x + 11 + 5 = 0 for x.
-4
Suppose u + 2 = 7. Suppose 5*l + 3*p = 6, 0 = 2*l - l + 4*p - 8. Suppose l*n = n. Solve 25 = -u*a - n*a for a.
-5
Let q = 171 + -171. Solve q = -7*v + 9*v + 4 for v.
-2
Let d be (-1)/((-3)/(-12)*-2). Let w be (d - 0) + -1 - -1. Solve 0 = w*t - 4*t - 8 for t.
-4
Suppose 2*p + 6*d - 15 = d, -5*d - 5 = -2*p. Suppose 15 = 5*g - p*v, -g + v - 2*v + 3 = 0. Let j be (-6)/(-4)*16/12. Solve j*m + 10 = -g*m for m.
-2
Suppose -8 = 4*r + 4*j - 0*j, -6 = -2*r + 3*j. Suppose r = 6*b - 7*b + 4. Suppose -2*g + 0 = -b. Solve 0 = o - 7 + g for o.
5
Let v(s) = s**2 - 5*