+ -1. Solve -3*a + 55 = c*a for a.
5
Let p(u) = 2*u**3 + 7*u**2 - 2*u + 8. Let j be p(-4). Solve 2*d + 2 = -j*d for d.
-1
Suppose -18 = -3*g - 0. Suppose g*y + 2 = 14. Solve 0 = -c - y*c for c.
0
Let f be 4 - (-1 + 1)/(-3 - -4). Suppose i + 3*t = 4*t + f, t = -3. Solve -i = 2*d + 1 for d.
-1
Let y(a) = a**3 + 2*a**2 - a + 4. Suppose -3*r + 6 = -5*r. Let g be y(r). Let c be ((-1)/g)/((-1)/(-40)). Solve z - c = 6*z for z.
-4
Let r = 34 + -20. Let u = r - 16. Let p(q) = -q**3 + q. Let l be p(u). Solve -3*h + 5*h = l for h.
3
Let t = 760 - 758. Solve t*q + 8*q = -30 for q.
-3
Let q = 554 - 178. Let g be q/48 + 1/6. Let b = 10 - g. Solve l + 0*l + b = 0 for l.
-2
Suppose j = -3*j. Solve j = 5*o - 2 - 23 for o.
5
Let u(a) = -a**3 - 6*a**2 - a - 4. Let k be u(-6). Suppose -c = -d, -2*c = -c + k*d - 3. Solve -c + 21 = -4*h for h.
-5
Let v = 6 - -5. Solve 5*g + v = 6 for g.
-1
Let h be (-88)/(-28) + (-1)/7. Solve -c + 1 + h = 0 for c.
4
Let c be (1 - 3) + 16 + -13. Solve -9*u = -8 - c for u.
1
Let n = -2631 + 2641. Let z(j) = -j**2 - j + 2. Let h be z(-2). Solve 4*k + k + n = h for k.
-2
Suppose 2*i - 10 = -4*k + k, 25 = 5*i + 3*k. Solve i*o = -4*o - 45 for o.
-5
Suppose -22*c + 11*c = 0. Solve c*p = 7*p for p.
0
Let s(v) be the second derivative of v + 1/2*v**3 - 9/2*v**2 + 0. Let a be s(7). Solve -2*y - y = a for y.
-4
Suppose -5*d = -27 + 37, 2*d + 25 = 3*c. Solve 16 - c = -9*l for l.
-1
Suppose 2*w = 11*w - 162. Suppose 5*x = -r + w + 21, 0 = -3*x + 3*r + 9. Let j = -1 - -1. Solve 2*b - 3 + x = j for b.
-2
Suppose -2*v - 71 = 9. Let l be 10/v - (-37)/4. Solve -l = -2*c - c for c.
3
Let o = -18 + 23. Let j = o - 5. Solve j = -4*y - 3 - 1 for y.
-1
Let q = 32 + -14. Let l = q + -3. Solve o - l = -4*o for o.
3
Let a be 14*(-2)/12*-3. Suppose -31 - a = -2*n. Suppose t - n = -5*k, 5*k - 6*t = -t - 5. Solve k = -v + 2 for v.
-1
Let g = -38 - -23. Let r = g + 19. Suppose r*s = -s. Solve 4*j + s + 4 = 0 for j.
-1
Let i = -235 - -237. Solve 0 = -i*t - 7 - 3 for t.
-5
Let n(v) = -v**3 + 7*v**2 - 8*v + 8. Let j be n(6). Let i = -4 - j. Let k be (-4)/(-30)*-6*-10. Solve i = -6*z + 4*z + k for z.
4
Let s(i) = -5*i + 33 - i + 9*i - 9. Let y be s(-8). Solve -2 = -y*d + d for d.
-2
Let t be -72*(4 - 55/10). Let k = t + -67. Let r = -37 + k. Solve r*w = w for w.
0
Suppose -5*j - s + 37 = 0, -4*s = -5*s - 3. Suppose 0 = n - 9 - j. Let c be 2/6 + n/3. Solve c = h + h for h.
3
Suppose 43*u = 44*u. Solve 5*q - 8*q = u for q.
0
Let o be 6/(5 - -1)*(1 + 0). Suppose -3*c - 16 - 20 = 0. Let x = 14 + c. Solve 9 = -x*z + o for z.
-4
Let s be 55/6 - (-3)/(-18). Let x(k) = -k**3 + 10*k**2 - 9*k + 1. Let t be x(s). Solve w + 1 = -t for w.
-2
Let x(n) = 6*n - 36. Let v be x(6). Suppose v = -3*y + j + 5, 17 = 3*y + 2*j. Solve y*k - 5 = 4*k for k.
-5
Let s(b) = -b**3 - 5*b**2 + 153*b - 5. Let p be s(10). Solve -15*o - 40 = -p*o for o.
4
Let v be (-3 - -1 - -4) + 4. Suppose -v*t = -t. Suppose 2*s = -7*n + 4*n - 2, -3*n - 12 = t. Solve -s*l = -0*l - 10 for l.
2
Let y(b) = b + 7. Suppose 0 + 9 = -3*w. Let c be y(w). Suppose 4*d = -12, -2*d + 0 = 4*i - 18. Solve -2*f = -c*f - i for f.
-3
Let s = 445 - 439. Solve s*t + 20 = 10*t for t.
5
Let q be -2*12/2 - 0. Let o be ((-15)/10)/((-9)/q). Let w be o + 6 - (0 - 2). Solve -w*r = -2*r - 20 for r.
5
Let f = 25 - 20. Suppose 2*c - 2 = 6, -5*k + f*c = -40. Solve 0 = 4*g - k for g.
3
Let u(d) = -d**3 + 4*d**2 + 11*d + 9. Let w be u(6). Suppose -w*a = -7*c + 4*c + 15, a + 8 = 2*c. Solve -g = -c + 1 for g.
2
Suppose -108 = -15*m + 207. Solve 5*y + m = 1 for y.
-4
Let b = 65 - 61. Suppose -10 + 18 = b*z. Solve 0 = -z*p - p - 3 for p.
-1
Let v = -58 + 60. Solve -3*a = v*a for a.
0
Let x(w) = -w + 16. Let v be x(11). Suppose 0 = 2*f + 6, -3*j - j - v*f = 11. Let g be (-1 - 2) + 5/j. Solve -h = g*h for h.
0
Let v = -141 + 148. Solve -v = -3*p + 5 for p.
4
Let y = 100 - 98. Solve y*o = -1 + 11 for o.
5
Let f = 9 - 5. Let r be 1/(4/32) + -2. Solve r*x = f*x for x.
0
Let s = 268 + -268. Solve c + 0*c + 3 = s for c.
-3
Let j be (-93)/(-15) - 8/(-10). Suppose -3*x + 4*m + 13 = 2*m, 5*x + 4*m = j. Solve o + 2*o = -x for o.
-1
Let v = -140 + 143. Solve 13 + v = 4*j for j.
4
Suppose -4*t = -4*a - 12, 2*t - 5 = -4*a + 1. Suppose -4*i = -5*d - 1 + 3, 3*d = t*i. Solve 0*z + d = z for z.
2
Suppose -5*r = -14*r - 2*r. Solve -4*w = -r*w - 16 for w.
4
Let v = 5 - 3. Let s = 8 + -6. Solve -s*q - v = 4 for q.
-3
Let t = 10 - 10. Suppose -12 - 20 = -8*y. Suppose 5*x = s - 20, 2*s + 0*s - y = x. Solve t*a - 3*a + 9 = s for a.
3
Suppose -2*q + 56 = u, -6*u + 156 = -3*u + 3*q. Solve -12*m = 4*m - u for m.
3
Let p be 8/(-20) + 282/30. Suppose -4*m - p = 7, -5*l + 5*m = -30. Solve -5*n = l - 7 for n.
1
Let j = 1933 - 1914. Solve -51 = -14*l + j for l.
5
Let o(x) = -2*x**2 + 79*x - 33. Let w be o(39). Solve -5 + 23 = w*l for l.
3
Suppose -29*r + 33*r - 33 = -3*w, 4*r = -w + 11. Solve w*a + 36 = -a for a.
-3
Let w be ((-1)/3)/(4/(-36)). Let q = -5 + w. Let o(z) = -z**2 - 2*z. Let b be o(q). Solve b = -t - t for t.
0
Suppose 21*b = -171 + 759. Solve b*i + 45 = -11 for i.
-2
Suppose -5*g + 18 = -6*g + 6*p, -4*g + p = 3. Let a = -6 + 9. Solve -a*q + 6*q = g for q.
0
Suppose 5*u + 3 = 6*u. Let p be (u - 72/3) + -2. Let g = p + 27. Solve 3*d - 1 = -g for d.
-1
Suppose 4*t = 5*w + 39, -50*t + 15 = -49*t - 3*w. Solve 0*h = 6*h - t for h.
1
Let u be 0 + 11 + 1 + 1. Let z be (8/(-10))/((-8)/(-600)). Let a be ((-2)/(-5))/((-2)/z). Solve 0 = -5*j + u + a for j.
5
Let c = -1 - -1. Suppose 0 = -5*l + 5*u - 30, l + 4*u = -l - 6. Let v(r) = -3*r - 12. Let m be v(l). Solve 2*y + m*y - 15 = c for y.
3
Let w be 0/((-3 - -1) + 3). Suppose w*z - 10 = -5*z. Solve -2 = z*a - 12 for a.
5
Let g(a) = a**3 + 10*a**2 - 28*a + 7. Let m be g(-12). Solve 27*q = 16*q + m for q.
5
Suppose 0 = -h - 4*h + 15, w + 5*h = 12. Let f be (-3 + w)/(-2) - -16. Suppose -3*d = a - f, 0 = -3*d - 2*a - 0*a + 23. Solve -d*z = -10 - 10 for z.
4
Let v be -10*2 - 3/1. Let p = 35 + v. Let x be p - (1 + (2 - 1)). Solve h - 3*h - x = 0 for h.
-5
Suppose 10*m - 65 = 345. Solve -m*j = -45*j - 4 for j.
-1
Suppose -11 = 2*n - 11. Suppose 5*x + w - 20 = n, 7*w = -5*x + 2*w + 40. Solve x*z = -0*z for z.
0
Let z be (27/(-6) + 2)*-4. Let f be ((-6)/4)/((-6)/16). Let t = -224 + 224. Solve -f*u + z - 2 = t for u.
2
Let m(p) = -2*p**3 - 11*p**2 + 12*p + 7. Let i(y) = 5*y**3 + 33*y**2 - 35*y - 21. Let b(f) = 3*i(f) + 8*m(f). Let z be b(10). Solve -4 = -z*s + 5 for s.
3
Suppose -2*q - 5*l + 3*l = -4, 0 = -4*q - l + 11. Suppose -o + q*b + 7 - 1 = 0, o = -4*b - 1. Solve s - 8 = o*s for s.
-4
Let c(h) be the third derivative of -h**5/60 + h**4/2 + h**3 + 4*h**2. Let u be c(12). Let q = u - 3. Solve -o - q = -0*o for o.
-3
Suppose 0 = -10*c + 29*c - 38. Solve 3*g = c*g + 10*g for g.
0
Suppose -7*j + 11*j - 38 = -u, 0 = -3*j + 2*u + 23. Let k = -4 - -10. Solve 3*f - j = k*f for f.
-3
Let k(y) = -7*y - 95. Let b be k(-16). Solve 0 = 7*i - b*i for i.
0
Let f(o) = o**3 + 4*o**2 - 4. Let u be f(-2). Let m be 4/u + -4 + 14. Solve m + 4 = 3*l for l.
5
Suppose 0 = -5*l + l - 4*c + 36, -29 = -4*l + 3*c. Solve -4 = h - l for h.
4
Let j(z) = 5*z + 4. Let i be j(1). Let o be 6/5*10/4. Solve i = o*g - 0 for g.
3
Let h(j) = 8*j**3 + 2*j**2 + j + 2. Let b(f) = 7*f**3 + 3*f**2 + 1. Let g(y) = 2*b(y) - 3*h(y). Let a be g(-1). Solve a = -4*t + t for t.
-3
Suppose 0 = -3*i - 2*i + 20. Suppose -h = i*d - 19, 3*d + 3 + 0 = 5*h. Let p be (-11 - 395/(-15)) + 2/(-6). Solve 0 = h*j - 0 - p for j.
5
Suppose -15*u + 13*u = 5*v - 21, 0 = -u + 3. Suppose -7*z = 5*z - v*z. Solve z = -4*c + 10 + 2 for c.
3
Let t(o) = -2*o**2 - 59*o + 243. Let j be t(-33). Solve j = 3*d - 7*d for d.
-3
Let g(m) = -5*m**3 - 3*m**2 - 3*m - 5. Let r be g(-2). Solve 0 = -4*i - 9 + r for i.
5
Suppose 0 = -3*w - 2*v - 274, 4*w + 332 = 5*v - v. Let t = w - -91. Solve t*a = -2*a + 15 for a.
3
Suppose -17*d + 19*d = 0. Suppose d = -4*h + h. Let c = 0 - -2. Solve -c*j - 12 + 4 = h for j.
-4
Let k(z) = 2*z - 3 + z**2 + z - z. Let s be k(-5). Solve s = -2*q - q for q.
-4
Let d = -100 + 8. Let c be (-8)/28 + d/56*-2. Solve 5*m - 12 = c for m.
3
Let l be 5/(2 + -12)*12. Let k be 3/l*126/(-3). Solve -k = -5*s - 1 for s.
4
Let y(t) = 3*t**2 + 7*t + 14. Let d be y(-2). Solve -9*u + d = -15 for u.
3
Le