 Solve c*a = 2*a - 4 for a.
-1
Suppose -2*f + 7 = 3. Suppose -5*y + 2*p - 40 = 0, -f*y + 2*p - p - 15 = 0. Let a be 2/(-10) - 22/y. Solve 2*l + 20 = -a*l for l.
-5
Let y(g) be the second derivative of -g**3/6 - 5*g**2/2 - 11*g. Let r be y(-8). Suppose -3*s - 16 = -91. Solve r*f - s = -10 for f.
5
Let g(t) be the second derivative of -t**5/10 - 13*t**4/12 - t**3 + 5*t**2/2 - 3*t. Let z be g(-6). Suppose 0 = 3*o - o. Solve 0 = -o*l + z*l + 25 for l.
-5
Let r be (5 + -2)*(-1111)/33. Let h = 107 + r. Solve -g + 8 = h for g.
2
Suppose -8*h - 20*h = -196. Solve 0*y - h*y = 35 for y.
-5
Let t be (-3)/(((-12)/3)/4). Solve 0 = 6*z + t + 9 for z.
-2
Let q(i) = 9*i**2 + 5*i**3 - 10 + 16*i + 2*i**2 - i**3 - 3*i**3. Let v be q(-9). Solve 0 = -5*y - 2 - v for y.
-2
Suppose 9*p - 102 = 3*p. Suppose p = 5*g + 4*o - 1, -o = 4*g - 10. Solve -10 = -g*u - 0 for u.
5
Let s be -10 - ((-68)/4 - -5). Solve 0 = -s*w - 8 - 2 for w.
-5
Suppose 4*y + 34 = 3*a - 0*a, 2*a = -4. Let f = y + 30. Let l = -19 + f. Solve -o - l = -2*o for o.
1
Let h(r) = 10 + r + r**3 - 1 + 1. Let o(y) = y**3 - y**2 + y + 11. Let b(a) = -6*h(a) + 5*o(a). Let p be b(-5). Solve -4*l = -p*l - 8 for l.
2
Let n = -27 - -26. Let v be 0 + (0 + -1)/n. Solve 4*u + 5 = v for u.
-1
Let b(w) = -8*w + 16. Let f be b(2). Solve 4*q + f*q - 20 = 0 for q.
5
Let g(h) = -5*h - 8. Let t(v) = 9*v + 16. Let x(n) = 7*g(n) + 4*t(n). Let l be x(-4). Suppose -b - 1 = s, l*b = -4*s + 5*s + 6. Solve -b = 2*i + 3 for i.
-2
Let c(y) be the first derivative of y**4/4 + 2*y**3/3 - y - 6. Let d be c(-1). Solve -g + 1 + 0 = d for g.
1
Suppose 0*x + 5*z = -4*x + 36, 2*z = 8. Solve 9*u - x*u + 20 = 0 for u.
-4
Let d be 4/54 - 20565/(-1215). Solve 16*z = d*z + 5 for z.
-5
Let t(a) = 4*a + 4. Let k be t(4). Let p be (k/(-16))/((-3)/12). Solve -4*g - p = 15 for g.
-5
Suppose 4*d - 4*n + 2 - 6 = 0, n - 4 = 0. Solve -2*z = -d*z - 9 for z.
-3
Let r = -342 + 348. Solve -2*v + 0*v = r for v.
-3
Let m(f) = f**3 + 8*f**2 + 4*f - 10. Let n be m(-8). Let o = -29 - n. Solve 4*h + 3 = -o for h.
-4
Let f(h) = -h**3 - 6*h**2 + 5. Let w be f(-6). Suppose -25*d = -18*d - 112. Solve d - 6 = w*p for p.
2
Let k = 31 + -40. Let t(w) = -w**2. Let s(o) = 3*o**2 + 8*o - 13. Let g(l) = -s(l) - 2*t(l). Let j be g(k). Solve c = -j*c + 15 for c.
3
Suppose 0 = 4*y + t - 21, 3*y = -0*t + 3*t + 12. Suppose -3*s - y*d + 11 = -4*d, -d + 14 = 4*s. Solve -s = -x + 4*x for x.
-1
Let t be (-5)/(-2*(-7)/(-28)). Solve t*n - 18 = -8 for n.
1
Let a(q) = q**3 - 4*q**2 + 4*q - 3. Let d = 3 - 10. Let o(h) = h + 10. Let m be o(d). Let z be a(m). Solve 3*s + 2*s - 25 = z for s.
5
Suppose 2*y + 6*w - 5*w = 1, -19 = -2*y + 5*w. Suppose 5*v + 4*z - y = 4, -4*z = -5*v + 14. Solve v = -4*d - 10 for d.
-3
Suppose -p + 4 = 2*w, 7*w - 6 = 2*p + 4*w. Solve -19*a - 6 + 82 = p for a.
4
Let j be 21/((-315)/150)*4/(-10). Let q = 9 - 2. Solve -q*t + j*t + 6 = 0 for t.
2
Let x = -83 + 89. Let n be (4 + -8 - -2) + x. Solve -n = a + a for a.
-2
Let b(p) = p**3 + 8*p**2 - 21*p**2 + 6*p**2 + 5*p**2 + 5*p - 3. Let i be b(2). Solve 3*o - 4 + i = 0 for o.
-1
Suppose -o + 4*a + 5 = -0*o, 0 = 4*o + 2*a - 20. Suppose -o*f = -7*f. Suppose 3 = -f*z + 3*z. Solve z = -5*r - 14 for r.
-3
Let s be (312/30 - 8)*5. Solve 15*x = s*x + 9 for x.
3
Let r(g) = -g**2 + 9*g + 9. Let x be r(9). Suppose -2*c - 1 = x, 0 = -5*p + 5*c + 50. Suppose p*s = 7*s. Solve 0*q - 5*q + 25 = s for q.
5
Let g = 2753 + -2751. Solve -g*v = -3*v - 5 for v.
-5
Let f(g) = g**2 - 5*g - 7. Let p be f(-3). Suppose -4*v - 4*o = -3*o + 58, -v - p = -o. Let n be (2 + 1)/((-3)/v). Solve 3*d + n = -0*d for d.
-5
Let v(c) = c**3 - 15*c**2 - 320*c - 54. Let y be v(27). Solve 48*d - y*d - 30 = 0 for d.
-5
Suppose -36 = -q - 33. Solve -4*c = -q*c + 5 for c.
-5
Let k(c) = c**3 - 8*c**2 + 16*c - 43. Let a be k(7). Let h be (-16)/(-6)*30/a. Solve 0 = h*l + 7 - 23 for l.
4
Suppose 2*r + 3 = -a + 2, -3*a = 15. Let x = 5 - 5. Solve x = r*o + 3*o + 25 for o.
-5
Suppose 4*g - 3*j = 13, -j - 9 = 2*j. Solve a - g = -0*a for a.
1
Suppose -3*v + 78 = 2*a, v = -2*a + 10 + 20. Solve 6*i + v = -0*i for i.
-4
Let i = -519 - -524. Solve -i*t + 15 = 10 for t.
1
Let p(d) = 8*d**2 - 464*d + 1. Let j be p(58). Solve 11 = -3*v - j for v.
-4
Suppose -w = -4*q + 10, 7*w - 2*w + 12 = q. Solve -q*u + 15 = u for u.
5
Suppose -2*w = 2*z - 8, 3*w + 9 = z + 1. Solve -1 = -z*r - 11 for r.
-2
Let d(b) = -b + 9 + 2*b - 2*b. Suppose -4*m + 27 = 7. Let c be d(m). Solve -5*j = -3*j + c for j.
-2
Let x(i) be the first derivative of -i**3/3 + i**2 - 4*i + 8. Let k be x(0). Let j = 8 + k. Solve j*p = p for p.
0
Suppose -2*t + 46 = 8. Let p = -6 + t. Let h = p + -11. Solve 0 = r - h*r + 2 for r.
2
Suppose 16*w - 15*w = -6. Let s(v) = 2*v**2 + 14*v + 14. Let i be s(w). Solve 4 = u - i*u for u.
-4
Let b be 3/((-15)/(-13)) - (-6)/15. Solve 2*i = b*i + 1 for i.
-1
Let z = 3578 - 3572. Let h = 33 - 18. Solve -z*i = -i - h for i.
3
Let t be (255/105)/((-3)/(-21)). Let p = 13 + -2. Let i = t - p. Solve 0 = -s + i - 1 for s.
5
Suppose 2*u = 27 - 35. Let x be 0/(((-6)/u)/((-9)/(-18))). Solve x = 3*n - 7*n - 20 for n.
-5
Suppose 0 = -1141*d + 1140*d + 17. Solve -9*p = -d*p - 32 for p.
-4
Suppose -2*v = -3*c - 7, -v + 5 = v - c. Suppose 0*q + v*q = 0. Solve -2*y + 7 + 1 = q for y.
4
Let s(m) = -m. Let o(y) = -3*y - 1. Let v(t) = -2*o(t) + 5*s(t). Let g = 4 + -4. Let j be v(g). Solve -1 + j = -f for f.
-1
Let p(n) = -2*n + 1. Let g be p(-7). Let d be 2/(-1 + 0) + (-4 - -8). Suppose -5*c = 2*s + 6, -5*c - g = s - d. Solve 4*o + 27 - s = 0 for o.
-5
Let u(o) = 21*o + 158. Let l be u(-7). Solve 3 = 2*a + l for a.
-4
Suppose -5*s + 12 = -s. Suppose -s*y = -10*y. Suppose y*u + 7 = u. Solve -1 - u = -2*w for w.
4
Suppose 859 = 116*h + 163. Solve 0 = -3*n + h + 3 for n.
3
Suppose 31*h - 440 = 9*h. Solve -6*s - 10 = h for s.
-5
Let g be (-5)/(-15)*0/1. Solve g = -14*s + 18*s + 4 for s.
-1
Suppose -k - 11 = -4*a, -3*a - a + 65 = 5*k. Let c be (-2)/1 + k + -1. Solve 15 = -c*o + 3*o for o.
-5
Let v(y) = -3*y - 3. Let s be v(-9). Solve 6*n = -42 + s for n.
-3
Suppose -3*m = 2*s - 114, 7*s = 3*s. Solve m*q - 4 = 39*q for q.
-4
Let l(u) = -9*u - 184. Let t be l(-21). Solve -p = -3 + t for p.
-2
Let k be 1/7 - (4/28 + -4). Solve -4*v = -3*v + k for v.
-4
Let b(a) = a**3 - 4*a**2 + a - 4. Let j be b(7). Suppose s = -4*s - j. Let h = s - -42. Solve h + 3 = 3*t for t.
5
Suppose 0 = 5*k + 4*n - 20, -4*k = -6*n + n - 57. Suppose 4*x + 0 = k. Solve x*z + 4 = 12 for z.
4
Suppose -8 = x + 4*p, 2*x = -0*x + 5*p + 23. Solve 0 = -x*y + 8 - 20 for y.
-3
Let y = -27 - -32. Suppose 3 + 17 = y*h. Solve 0 = 5*i - 3*i + h for i.
-2
Let h be 14/63 + (-236)/9. Let k be (13/h)/((-2)/36). Let q(v) = -v + 12. Let b be q(k). Solve -8 = b*i + 4 for i.
-4
Let r be ((-30)/9)/((-4)/6). Suppose r*a + 5*x = 0, 0 = 2*x + 2*x + 20. Solve -a*k + k = -8 for k.
2
Let r be 274/12 - (-1)/6. Let o = r + -19. Suppose o*a - 3 = 5. Solve 0 = a*j - 2 + 12 for j.
-5
Let l(k) = -k**3 - 8*k**2 - 2*k - 8. Let u be l(-8). Suppose u*o = 9 + 7. Solve 6*m = o*m - 12 for m.
-3
Suppose -5 = 3*u - 4*u. Let h = 448 - 232. Let g be (4/6)/(16/h). Solve u*j + g = 2*j for j.
-3
Suppose -31*w - 51*w + 492 = 0. Solve 0 = 3*q - 5*q - w for q.
-3
Suppose 2 = -3*w - 2*n, -2 = w + 4*n - 8. Let v be 4/w + 9 + -2. Solve 2*p - 3*p - v = 0 for p.
-5
Suppose 88 + 0 = -5*j + n, -3*n + 66 = -4*j. Let u be (-4)/j + (-679)/(-63). Suppose 0 = -5*t + 9 + u. Solve 0 = 2*h + 2*h - t for h.
1
Let h be 35/(-21)*3*-1. Let n(k) = k - 2. Let b be n(2). Solve -8*u + 9*u - h = b for u.
5
Let q = -155 - -155. Solve y + y = q for y.
0
Let n = 97 - 16. Let g = n + -71. Solve g*p = 8*p + 10 for p.
5
Let p(w) = -2*w - 6. Let t be p(-6). Let d be (-1 - 3)/(t/(-21)). Suppose 0 = a, 0 = -v - 3*a + d - 6. Solve 2*u = -2*u + v for u.
2
Let i = 430 - 425. Solve 5 = -5*b - i for b.
-2
Suppose -134 = -19*q - 20. Solve 0 = -6*c + q - 30 for c.
-4
Let u = -117 - -121. Solve -9*r - u*r = 52 for r.
-4
Let s(h) = 2*h**3 - 4*h**2 + h + 1. Let c be s(1). Solve 0 = -3*a - c*a - 2*a for a.
0
Suppose -9 - 16 = -5*q. Suppose 0 = v + q*z + 18, -3*v = -0*v + 4*z + 10. Suppose -w = -6*w. Solve -10 = -v*o - w*o for o.
5
Let j(h) = h + 12. Let o(t) = -t - 11. Let g(v) = 2*j(v) + 3*o(v). Let s be g(-9). Suppose -59*a -