 23, p - 2*m = 6*p. Let g be ((-3)/p)/((-6)/8). Let v = 22 - g. Solve -5*l + 5 = -v for l.
5
Let i = 1 + 0. Let j(z) = -11*z + 58. Let x be j(5). Solve -x*r + 2*r = -i for r.
1
Suppose o - 3*a = 0, -a + 14 = -3*o + a. Let v be (-3)/o - 21/(-6). Solve -3*m = -v*m for m.
0
Let w be 3 - 3 - (-1 - 0). Solve p = -w - 4 for p.
-5
Suppose u - 28 = -3*u. Suppose b + 2 = 2*c - u, 11 = -2*c + 5*b. Let o = c + -5. Solve -d = o*d - 6 for d.
2
Suppose -71 = -8*z - 15. Solve 8 = -z*j + 3*j for j.
-2
Let b = -52 - -54. Solve -c = -b*c for c.
0
Let p be 4/10*(0 + 5). Suppose 0 = -q - p + 6. Suppose h - 9 = -q. Solve 2*t = h*t - 3 for t.
1
Suppose -5*p = -p + n - 78, -5*n = 3*p - 50. Solve -4*r + 8 = p for r.
-3
Suppose 3*t + 3*d - d - 10 = 0, 2*d + 18 = 4*t. Solve 0 = 2*k - t*k + 8 for k.
4
Let r be ((-9)/(-6))/(15/20). Suppose 3 - 1 = r*j. Solve -j = -2*p - 5 for p.
-2
Let y be 4/8*(14 + -2). Let n = y - 5. Let v = 11 - n. Solve -r = 4*r + v for r.
-2
Let p = -22 + 27. Solve -c - 1 = -p for c.
4
Let h(a) = a**3 - 6*a**2 - 7*a + 3. Let u be h(7). Solve -u*y + 2*y = 1 for y.
-1
Let f = 218 + -215. Let t be 1/(-3) + (-8)/(-6). Solve 2 = f*c - t for c.
1
Let p(h) be the first derivative of h**2/2 + 15*h - 2. Let u be p(0). Let i = -11 + u. Solve g - i = -g for g.
2
Let b(p) = p**3 + 3*p**2 - 4*p. Suppose 13 - 5 = -2*a. Let g be b(a). Suppose 2*x + 3*s + 0*s = g, x - s = 0. Solve 5 = h - x*h for h.
5
Suppose c - 4 = 1. Suppose 3*q = 6*q. Let k = q + 4. Solve k*n - 1 = -c for n.
-1
Let q(v) = -2*v**2 + 9*v - 1. Suppose 5*i - 33 = -2*k, -k - 3*k + 3*i + 1 = 0. Let h be q(k). Solve 0 = -h*j - 3 + 9 for j.
2
Suppose -3*u + 9 = -0*u. Suppose u*g - 2*x - 5 = -2, 4*x + 3 = 5*g. Solve 2*j = -5 - g for j.
-4
Suppose 0 = -6*o + 3*o + 9, -11 = 4*c - 5*o. Suppose n = -2 - c, -b + 3*n + 10 = 0. Solve 1 = z - b for z.
2
Let o = -2 - -12. Let t be (3/4)/(o/40). Solve w + 0 = -t for w.
-3
Let k(m) = -m**3 + 5*m**2 - 5*m + 6. Let o be k(4). Suppose -2*c + 24 = o*c. Solve -3*s = -s - c for s.
3
Suppose -5*x - o = -19, -3*o - 3 = -0*o. Let b be 4/(-3 + x + 1). Solve -1 = b*s - 3 for s.
1
Suppose 5*k = -0*k - 5*y - 70, y = 3*k + 30. Let n = k - -11. Solve n = 2*g + 9 + 1 for g.
-5
Let y(q) = q**2 + 5. Suppose -n - 3 = -w, 4 = -2*w + 5*n + 19. Let t be y(w). Suppose t*z + 0*i - 26 = -i, 4*i + 34 = 3*z. Solve 2*b - z = -b for b.
2
Suppose -2*t - 2*q = -4*q, -3*t = 3*q - 12. Solve t*r - 12 = -r for r.
4
Let g be ((-2)/(-1))/((-10)/(-15)). Suppose 3 = g*w - 6. Solve 0 = w*c - 0*c for c.
0
Let g = 50 + -47. Solve 25 = g*n + 2*n for n.
5
Suppose l + 6 = 3*u, 5*l = 5*u - 3*u + 9. Suppose 18 = 3*n + 3*g - 0, n - 3*g = 6. Suppose 2*h - n = p - 2*h, -p + h = -u. Solve -4*i + 2 = -p for i.
2
Suppose j + 18 = -5*x, j + 2*x = -0*j - 6. Solve 0 = -j*u - u - 6 for u.
-2
Suppose 0 = 3*k + 2*k - 10. Suppose 4*f - 5*f = k. Let q = f - -4. Solve -q*g = -g - 4 for g.
4
Let w(d) = -10*d**2 - 31*d + 10. Let r(k) = 3*k**2 + 10*k - 3. Let g(i) = -7*r(i) - 2*w(i). Let z be g(-7). Suppose z*l = 5*l. Solve 0 = -2*a - 8 - l for a.
-4
Let y = 3 - 3. Suppose y*i = -4*i. Suppose x - 6 = -i*x. Solve q - x*q = -15 for q.
3
Let c(p) = -p**3 - 10*p**2 - 10*p - 6. Let g be c(-9). Solve g*w + 4 = 1 for w.
-1
Let g = -4 - -8. Suppose 7*c - 10 = 11. Solve -c*y - y = -g for y.
1
Let f(a) = -a + 6. Let k be f(6). Suppose -x + 4 = -k*x. Solve -i - x + 1 = 0 for i.
-3
Let i(y) = -y**3 - y**2 + 2*y + 1. Let d be i(2). Let m(a) = 2*a - 2. Let s be m(-4). Let z = d - s. Solve -z*l - l = 0 for l.
0
Let w be (-206)/(-13) + (-22)/(-143). Solve 3*b - w = -b for b.
4
Let j(m) = -4*m + 64. Let n be j(15). Solve 2*c - 2 + n = 0 for c.
-1
Suppose 4*u + 30 = -k + 6*k, -4*k - u + 3 = 0. Solve k*z = z - 3 for z.
-3
Let i = 15 - 11. Let f = i - -5. Solve 3 = 4*u - f for u.
3
Let n = 4 + 6. Let y(o) = o - 8. Let z be y(n). Solve 2*r = -2 - z for r.
-2
Suppose u = -0*u + 14. Suppose 3*y + 2*k + u = 5*y, 0 = 5*y + 2*k - 42. Solve 3*z = -z + y for z.
2
Suppose 21*m - 8*m = 52. Solve 7 + 5 = -m*l for l.
-3
Let m be (3 + 5/25)/(2/5). Solve m = c + c for c.
4
Let s = 2 + 0. Solve -2*f = s*f - 8 for f.
2
Suppose -3*b = -5*b + 6. Suppose -y + b*y = 0. Solve y = 4*i - 3 + 7 for i.
-1
Let r = -15 - -31. Let t be (9/4)/(1/(-24)). Let p be t/4*2/(-3). Solve p + r = 5*f for f.
5
Suppose -a = 1 - 3. Solve 0*g + 8 = a*g for g.
4
Suppose 0*z + v - 11 = -5*z, 0 = 2*z + 4*v - 8. Let p be z + 8 + -2 + 2. Solve 0 = -0*y + 2*y + p for y.
-5
Let m be 1*-1 + (-14 + 8)/(-6). Solve 3*q = -m*q for q.
0
Suppose 2*p - 4*p = -5*i + 10, 4*p = 2*i - 20. Solve i = 5*s + 25 - 0 for s.
-5
Suppose 6*x + 17 = 47. Solve -x*d - 6 = 4 for d.
-2
Suppose -7*w + 34 + 8 = 0. Let g be (-3 - -1)*14/(-4). Suppose g*i = 3*i + 4. Solve l - w = -i for l.
5
Suppose 3*y - 3 = 3*t, -4*y + 36 = 6*t - 2*t. Let i(o) = o**2 - 2*o + 6. Let a be i(t). Solve -5*p = -4 + a for p.
-2
Let f be ((-10)/6)/(5/(-15)). Suppose 2 = j - 0*j - z, f*j - 3*z = 8. Solve -g = 5 - j for g.
-4
Let u(w) be the second derivative of w**5/20 - 7*w**4/12 + w**2 - w. Suppose -5*j + 7 = -4*j. Let h be u(j). Solve -3*r = -h*r - 2 for r.
2
Suppose -4*f + 12*f = 0. Solve -3 = -3*q - f for q.
1
Let n = 19 - 11. Let h be (2/(-4))/(1/(-6)). Solve -b - n = -h*b for b.
4
Let q(n) = 8*n + 3. Let o be q(-4). Let g = -18 - o. Let w = -3 - -4. Solve -4*f = -g - w for f.
3
Suppose -x = 2*x - 6. Suppose x*r = -4*d + 2, 4*d - 18 - 2 = 4*r. Solve -3*f + 5 = d*f for f.
1
Let x(j) = j + 9. Let w be x(-7). Let p = 5 - w. Suppose -24 = -2*z + 5*h - h, p*h + 17 = z. Solve z*s = -s for s.
0
Let w(i) = 15*i. Let h be w(1). Solve 2*b = -3*b + h for b.
3
Let m be (-4)/18 - 58/(-18). Solve m*q = -2*q for q.
0
Let u(l) = l**2 - 9*l + 8. Let r be u(8). Suppose s - 4 = -r*s. Let a = -2 + s. Solve a*y + 0 = 2 for y.
1
Let r be ((-36)/3)/((-9)/(-6)). Let v(h) = -h**3 - 8*h**2 - h + 3. Let y be v(r). Solve 3 = -4*q + y for q.
2
Suppose -4*h = -3 - 9. Let p be (-1)/h + 31/3. Suppose p = 5*q - 15. Solve q*r = 3*r + 8 for r.
4
Let a be 2/4*0/4. Solve -3*j + a*j + 6 = 0 for j.
2
Let w(u) = 4*u**2 - 1. Let n be w(1). Let b be n + (-2)/(-1 - 0). Suppose 0 = 4*o - b*o. Solve o*z = 4*z + 8 for z.
-2
Suppose 3*j = 4*v + 40, v = -j + 2*j - 13. Solve 4*a + 0 = -j for a.
-3
Let g = -49 - -26. Let f = -17 - g. Solve -p = -f + 3 for p.
3
Let a be -4*(-1 + 0) + 0. Suppose 3*w + 0*w + 2*q = 5, -5*w = 2*q - 11. Suppose -w*b = -7 + 1. Solve -2*v - b*v = a for v.
-1
Let r(d) = -3*d. Let n be r(-4). Suppose 5*c = -2*b - 0*b + n, -5*b = -2*c + 28. Suppose -11 = -4*t + j, 3*t + j - 6 + 3 = 0. Solve -c + 12 = t*g for g.
4
Let v be 8*(0 + 2/4). Suppose v*a + 10 + 14 = 0. Let u be (-4)/(-6)*(-9)/a. Solve -4 + u = 3*k for k.
-1
Suppose 6 = 2*t + 2*c - 3*c, -1 = -t + c. Solve q - t*q + 20 = 0 for q.
5
Let c = -28 - -29. Solve p - c = -3 for p.
-2
Let z = 9 + -7. Let c = z - 1. Solve 0 = -y - 0*y - c for y.
-1
Let d(f) = -f - 6. Let z be d(-8). Solve -z*b + 0*b = -4 for b.
2
Let d = -21 - -24. Solve -5*q + d*q = 0 for q.
0
Let z = -14 + 24. Solve -4*p - 6 = z for p.
-4
Let p(c) = 2*c**3 - 3*c**2 - 3*c - 3. Let j be p(3). Suppose 4*t + 7 = j. Solve t*h + h + 6 = 0 for h.
-2
Suppose 8 = 4*h, -3*i + 4*h = -6*i + 14. Solve -5*g - i = -3*g for g.
-1
Let z be 1 - 2/((-2)/31). Suppose w - 4*j - 23 = 0, 3*j = 4*w - j - z. Suppose w*v = 4*k + k - 9, 2*v + 2 = 2*k. Solve -x = -k*x for x.
0
Suppose 0 = -3*o, 0*o - 3*o - 2 = -q. Let a = 44 - 30. Suppose -a - q = -b. Solve b = -5*k + k for k.
-4
Suppose -4*f + 0*f = 3*q + 11, q = 5*f + 28. Let v(u) = u**3 + 6*u**2 + 5*u. Let b be v(f). Solve 0 = -5*w - b*w for w.
0
Let g(m) = 2*m**2 - m + 10. Let o be g(0). Solve -o = -2*a - 2 for a.
4
Let p(q) = -q**3 - 4*q**2 + 4*q + 3. Let o be p(-5). Suppose o = 2*d + 2*d. Let z = -7 + 22. Solve -d*l - z = l for l.
-5
Suppose 0 = -2*l - 3*q + 18, 3*q = 5*l - 10*l + 27. Solve l*j + 9 = 6*j for j.
3
Suppose 0*l - 5*l = 0. Let i be (4 - l)/((-4)/(-3)). Solve -i*v - 12 = -3 for v.
-3
Let s(o) = 8*o + 44. Let b be s(-5). Solve -b*h - 6 = -h for h.
-2
Suppose 0 = -3*h - 5*n - 1 - 7, -3*n = h + 8. Solve -r = -h*r for r.
0
Let l(j) be the first derivative of j**4/4 - 7*j**3/3 - j**2/2 + 7*j + 1. Let u be l(7). Solve u = -5*x + 4*x for x.
0
Let m(x) = x**3 + 10*x**2 + 7*x - 11. Let z be m(-9). Let n be (-9)/(-