 -x*p for p.
2
Let s be 8/5 + (-46)/(-115). Let t be (-2)/(-5) + (-46)/(-10). Solve -s = -t*y + 8 for y.
2
Suppose y - 3*y = 0. Solve y = 4*n - 5*n + 1 for n.
1
Suppose -2*l + 8 = -4*r, 2*r + 3*r = -5*l + 5. Solve l*g = -0*g - 2 for g.
-1
Let v = -2 - -5. Suppose 0 = r - 4. Solve m = -v*m - r for m.
-1
Let u = 4 - 1. Suppose 0 = u*v - 0*v - 9. Solve 5 + 10 = v*b for b.
5
Let h be 0/(3*(-6)/9). Solve h = d - 0 - 4 for d.
4
Let k = 8 - 8. Suppose -2*o + 0*o + 6 = 0. Solve k = z - 1 - o for z.
4
Suppose 5*p - 3*i = -10, -p + 4*i = -0*p + 19. Suppose 2*o + 3*r - 3 + 2 = 0, 3*o = -5*r + 1. Solve -v - p = o for v.
-3
Let i(s) = -s**3 - 11*s**2 - 9*s + 10. Let l be i(-10). Solve 9 = -3*c - l*c for c.
-3
Suppose -8*q - 3 + 43 = 0. Solve -6*p + 5 = -q*p for p.
5
Suppose -4*v + 65 = b + 4*b, -3*b + 76 = -5*v. Suppose -2*j - 2 = -j. Let i be (0 - 2)*5/j. Solve -i*p + 3 = -b for p.
4
Let l(x) = x**3 + 6*x**2 + 2*x - 11. Let o be l(-5). Solve -o*w = 2 - 18 for w.
4
Let h(g) = g + 10. Let w be h(-5). Let l be (-5)/(w/(-2))*1. Solve -6 = -l*n - n for n.
2
Suppose -2*h + 3 = -a, -h + a - 9 = -2*h. Suppose -2*c = -3*c. Suppose c = -h*i + 5*i. Solve -k = -i + 3 for k.
-3
Let j be -3*4/30*-5. Suppose -3*o + 11 = 3*i - 4*i, -14 = -4*o + j*i. Suppose 2*b - 4*l + o = 0, 0 = 6*b - 3*b - 2*l - 6. Solve 0 = -b*r + 20 - 4 for r.
4
Suppose 0 = -2*r + 4*r - 24. Suppose 0 = 5*o + 3*x + r, 3*x + 19 = 7. Let h = -9 - -13. Solve h*p = -o*p for p.
0
Let g be -4*(-2)/28 + 84/49. Solve 0 = -g*h - 3*h - 5 for h.
-1
Let l(t) = t**2 - 3*t - 1. Let r be l(4). Let d(x) = -x**3 + 5*x**2 - 3*x - 2. Let i be d(r). Solve -3*z - i - 8 = 0 for z.
-5
Suppose g = -2*g - 3, 95 = 4*h + 5*g. Suppose -p - 9 = 3*c - h, 5*c + 5*p = 40. Solve 4*o + 24 = c for o.
-5
Suppose 4*a - 5 = 7. Let o(u) = -u**3 - u**2. Let g be o(0). Solve g*b = -a*b for b.
0
Let c = 43 + -31. Solve 0 = 3*u - c + 3 for u.
3
Suppose 2*z + c + 2 = 0, 0 = 2*z - 5*c - 14 + 4. Let k(m) = m**2 - m + 2. Let w be k(z). Suppose 2*x + 5*t + 2 = 4, -5*t - 34 = -4*x. Solve 0*b + w*b = x for b.
3
Let n(a) = -a**3 - 8*a**2 + 8*a - 6. Let k be n(-9). Solve -10 = q - k*q for q.
5
Suppose 4*t = 3*m + 13, -2*t = -0*t + m - 9. Suppose 2 = 2*k - t. Solve k = s - 2 for s.
5
Suppose 0 = 2*m - 0*m. Let j(l) = -l**3 + l**2 - l + 12. Let v be j(m). Let k = 28 - 15. Solve 0 = 5*u + k + v for u.
-5
Suppose -4*m + r - 2 = 3*r, -5*m = 3*r + 5. Let y be 2 - 3 - (6 + 3 + -12). Solve m*t = -y*t + 8 for t.
2
Suppose -52 = -7*b - 17. Solve 8*p - 3 = b*p for p.
1
Let q be 14/(-42) + 1/(3/16). Solve 20 = q*v - 5 for v.
5
Suppose 4*j - 21 = j + 5*c, -4*c = 3*j + 6. Solve 0 = -d - j + 5 for d.
3
Let a be (-102)/(-5) + (-12)/30. Suppose -5*f = -a + 5. Solve 0 = h + 2 + f for h.
-5
Let g = -2 - -3. Suppose 0 = -4*o - 2*k + 12, 5*k = -3*o + 16 - 0. Solve n - o - g = 0 for n.
3
Suppose 0*p + 36 = 4*p. Let x = p + -5. Solve 4*o = 2*o + x for o.
2
Suppose 3*b - 120 = -2*b. Let h = b + -20. Solve -4*n = -3*n - h for n.
4
Let d = 59 - 57. Solve d*b + 0*b - 2 = 0 for b.
1
Let p = 8 + -6. Suppose p = -2*d + 6. Solve d*t = 3*t + 5 for t.
-5
Suppose 0 = z - 0*z - 2. Suppose 0 = -z*y - 0*y + 28. Let v be ((-5)/10)/((-1)/y). Solve -4*l - 5 = v for l.
-3
Let h be (2/(-3)*-3)/(-1). Suppose 2*t - 5 = k, -2*k - 3*t = -6*k - 5. Let c = k - h. Solve -c*j = j for j.
0
Suppose -3*v = -5*j + 41, -5*v - j = -6*j + 65. Let m be v/((-2)/4*2). Solve -5*u - m = -2*u for u.
-4
Let r = -6 + 9. Solve r*f - 2*f = 4 for f.
4
Suppose p + p - 4 = 0. Solve -2 = j + p for j.
-4
Suppose 2*z + 4*z = 4*z. Solve r - 4*r = z for r.
0
Suppose -o + 5*o = 2*v - 46, -o = 2*v - 51. Solve 6*k = k - v for k.
-5
Let k = -7 - -7. Let f be 0/((k + -2)/2). Let l be (-9)/((-9)/3) - 3. Solve l = 4*r - f + 12 for r.
-3
Suppose -5*v - 5*c = 5, -5*v - c = c + 11. Let n be (9/(-1))/(8 - 7). Let y = v - n. Solve 3*b = y*b - 3 for b.
1
Suppose -10 = 3*g - 4. Let k = 0 - g. Solve -o - 1 = -k*o for o.
1
Let i = 0 - -1. Solve w - 2 - i = 0 for w.
3
Let q = 8 + -5. Let y(f) = -f**3 + 6*f**2 - 5*f + 1. Let i be y(5). Let u = i - -3. Solve q*c = 16 - u for c.
4
Suppose 6*h + 4 = -j + 2*h, 2*j - 16 = 4*h. Solve -7 = -j*u + 1 for u.
2
Suppose -19*s + 15*s = -8. Solve -s*l = -l for l.
0
Suppose 0 = 5*d - 4*n - 117, -3*n + 39 = d + 8. Solve -3*t - d = 2*t for t.
-5
Let c(y) = y**3 - 3*y**2. Let o be c(3). Solve 0*b + b = o for b.
0
Let w = 27 + -22. Let s = w + 0. Solve 5*r - s = -30 for r.
-5
Suppose 0*w = -4*w + 12. Suppose -w*b = 2*b. Suppose b = 2*t - 1 - 5. Solve x + t = -2*x for x.
-1
Let v(o) = 11*o**3 - 2*o**2 + 1. Let j be v(-2). Let b be 2/7 - j/35. Solve n + b = 1 for n.
-2
Let a(r) = r**2 - 2*r - 3. Suppose 2*w + 9 = 5*w. Let z be a(w). Solve -5*f - 15 = -z*f for f.
-3
Let w(j) be the second derivative of j**4/12 - 3*j**3/2 - 2*j**2 + 8*j. Let t be w(10). Solve -t = c - 3*c for c.
3
Let o(n) = 7*n**2. Let j be o(1). Suppose -d + 8 + j = 0. Suppose q + d = 4*p, 5*q - 1 = 5*p - 31. Solve -b - 10 = -p*b for b.
5
Let q = 2 - -1. Let y = -2 + q. Suppose 3*a - y - 14 = 3*o, 3*a + 4*o - 1 = 0. Solve -a*i = -0*i + 3 for i.
-1
Suppose -6*v - 5*w = -4*v + 25, -2*v + 20 = -4*w. Solve v = -x - 1 - 3 for x.
-4
Let b be (1/4)/((-9)/(-108)). Suppose -3*d - d + 13 = x, -3*x - 6 = -b*d. Solve -u + d*u - 10 = 0 for u.
5
Suppose r = 2*r + 10. Let q be (-35)/14*16/r. Suppose 3*c + 0*c = t - q, 2*t - 26 = -3*c. Solve 0 = -3*w - t - 5 for w.
-5
Suppose 2*a + 16 = 4*s, 5*a = -3*s + s - 4. Solve -s*n = -6*n for n.
0
Let a(c) = -c + 20. Let t be a(16). Let j be 0/(-1 - 0 - 1). Suppose h - t = -j*h. Solve -h*q - 10 + 2 = 0 for q.
-2
Suppose -n - 4*k - 8 = 0, -n - k - 20 = -3*n. Let c(f) = -f**3 + 5*f**2 - 3*f - 1. Let x be c(3). Solve 0 = 4*a - n*a + x for a.
2
Let z(f) = -f**2 - 11*f - 5. Let i be z(-10). Let j be -20*((-9)/i + 1). Solve 0*g - j = -4*g for g.
4
Let n be ((-6)/4)/((-6)/20). Suppose -l + n*p + 26 = 4, -p - 2 = l. Solve -3*d = -l*d - 1 for d.
1
Let c(a) = -a**3 - 4*a**2 + 4*a - 3. Let z be c(-5). Suppose z - 1 = x. Solve -13 + x = 3*d for d.
-4
Let n(c) = -c**3 + 11*c**2 - c + 13. Suppose -4*w - h + 25 = -3*w, 0 = -2*h - 2. Let m = w - 15. Let d be n(m). Solve 0 = -d*t + 7*t - 25 for t.
5
Let a(k) = 6 - 8*k**2 - 8*k**2 + 15*k**2. Let l be a(0). Solve -l*z + 15 = -z for z.
3
Let b(r) = -r**3 - r**2 - r - 2. Let i be b(-2). Solve 0*n + n + i = 0 for n.
-4
Let f(c) = -c**2 + 11*c + 10. Let a be f(11). Solve -3*m + a = 2*m for m.
2
Suppose -6 = -2*v + 18. Let z = v + -9. Solve 3 = 2*d - z*d for d.
-3
Let z be (-782)/(-207) - (-4)/18 - -5. Solve -4*q + z = -3 for q.
3
Let w be 2/10 - 322/10. Let x be w/24*9/(-4). Solve 0*g + 3 = x*g for g.
1
Suppose d - 11 = -8. Solve 6*w - d*w = 0 for w.
0
Let m = 29 - 29. Solve m = 5*o - o for o.
0
Suppose 20 = 3*k + k. Suppose -o - w - 4*w = k, 4*o + w + 1 = 0. Solve o = -9*l + 4*l + 5 for l.
1
Suppose 0 = -3*t + 15. Solve 3*j - 10 = t for j.
5
Suppose 0 = -b - 4*h - 6 - 12, h + 11 = 3*b. Suppose 3*r - 2 = b*k, 5*r + 3*k - 46 = -11. Solve 0 = 3*q - r*q - 3 for q.
-3
Let h(b) be the third derivative of -b**5/60 - b**4/6 - b**3/6 - b**2. Let d be h(-3). Solve -1 = -3*p + d for p.
1
Suppose -3*s = 5*h - 2*h - 24, -2*s - h + 11 = 0. Solve 5 = s*f + 2*f for f.
1
Let o = -18 + 19. Solve 3*b - o = -4 for b.
-1
Let j(n) = n - 4. Let f be j(-11). Let s = 19 + f. Solve 0*l + s*l = 8 for l.
2
Let n = -27 - -32. Solve -4 = n*b + 21 for b.
-5
Let u(r) = -r**3 - 7*r**2 - 8*r - 7. Let s be u(-6). Suppose -2*l + 0*n - s*n = -26, 5*l + 1 = 4*n. Suppose 4*d - l*d = 5. Solve 12 = d*j - j for j.
3
Suppose -h = -5*h - 4*v + 8, -3*h = -5*v - 38. Solve h*g = 9*g for g.
0
Let s be (-1 - (0 + 2)) + 23. Suppose -5*u = 10, 2 = -y - 3*u - 4. Solve y = 4*c + c + s for c.
-4
Let f be 0 + 2 + (-21)/3. Let k(z) = z**2 + 5*z + 3. Let m be k(f). Let y be (1 - -1) + -2 - -21. Solve 0 = -m*w - 6 + y for w.
5
Let u = 26 + -20. Solve -d = -u + 1 for d.
5
Let j(q) = -2*q - 3. Let s be j(-3). Let r(l) = -l + 2. Let h be r(0). Let z = s + h. Solve -6*u + z = -u for u.
1
Suppose 2*v - 6 = -16, -v - 14 = -i. Solve -3*t = -6 - i for t.
5
Let p be (-4)/18 + (-843)/(-27). Solve 5*a = p - 6 for a.
5
Suppose -7*n = -2*n + 2*v - 101, 0 = 3*v + 6. Solve 3*k = n - 6 for k.
5
Let q = -172 - -174. Solve -3 - q = -5*v for v.
1
Let a be ((-27)/(-