7*a - n*a + 4 = 0 for a.
-1
Suppose -102 + 28 = b. Let s be (-3)/(-15) - b/5. Let w = s - -1. Solve r = -3*r - w for r.
-4
Let t = 23 + -18. Suppose -2*r = 4*o - 10, 2*o = t*r - 7 - 6. Solve -r*i = -8*i - 15 for i.
-3
Let y = 1 + 2. Suppose 0 = -y*t - 2*t + 10. Suppose -5*g = -f - 56, -g + 6*g - 72 = -3*f. Solve t*m + m = -g for m.
-4
Let c = 482 + -477. Solve c = 4*d + 9 for d.
-1
Let p(r) = 7*r**2 - 39*r - 13. Let f be p(6). Solve -5*w = -6*w - f for w.
-5
Let h = 39 + -32. Suppose -2*w - 3*x + 11 = -0*x, -5*w + 16 = -4*x. Suppose 3*a - 3 = 3*u, a - u = 3*u + w. Solve -4*z - h + 3 = a for z.
-1
Let j be 1/(-2)*(2 - 2). Let c be (-18)/(-4)*(j - -2). Let z be 3*6/54 + 15/9. Solve -z*f - 1 = c for f.
-5
Suppose 7*c + 7*c = 56. Let a be (-4)/(c/5) - -15. Solve -2*r = -a + 4 for r.
3
Let v = 56 + -45. Solve v*p - 18*p = 14 for p.
-2
Suppose 3*u + 2*r + 1 + 5 = 0, -8 = 4*u + 4*r. Let d(q) = -q**2 - 3*q - 2. Let s be d(u). Suppose p + s*p - 4 = 0. Solve -p*y = -0*y - 16 for y.
4
Let x(z) = z**2 + 13*z + 12. Let q be x(-11). Let r be (4/q)/(2/(-120)). Let p = -17 + r. Solve 5*i - p = -2 for i.
1
Let t be (-98)/((-2 + 1)*2) + 3. Suppose -7*h = 6*h - t. Solve 9*v - 20 = h*v for v.
4
Suppose 0 = 2*j + r + r - 18, 0 = 3*j + 5*r - 27. Let g be j/6 + (-2)/(-4). Suppose 2*l - 2*x + g = 0, 5*x = -l + 24 - 1. Solve p - l = -0*p for p.
3
Suppose 33 = 4*k + 4*c - 39, 58 = 3*k + 5*c. Suppose -z = -28 - k. Suppose -5*x + 20 = 5*h, -x - z = 2*h - 7*h. Solve 0*p - 2*p = h for p.
-4
Let q be 2/(-1)*6/12. Let a(r) = -147*r**3 + 2*r**2 - 1. Let f be a(q). Suppose -2*c + f = 4*s - 0*s, 2*s = -4*c + 62. Solve -s = 5*w - 14 for w.
-5
Let i(w) = w + 6. Let v be i(-9). Suppose 7 = -3*o - 2. Let a = v - o. Solve 0 = -a*z - z for z.
0
Let s = -11 + 11. Let g(c) = 2*c - 20. Let o be g(s). Let m = 20 + o. Solve m*b + 2 = b for b.
2
Let b(q) = q**3 - 55*q**2 + 2*q - 108. Let v be b(55). Suppose 9*i - 25 = 4*i. Suppose -h + 2*h - 18 = -4*d, i*d - 3*h - 14 = 0. Solve 0 = -d*n + v*n for n.
0
Let x(a) = -2*a - 26. Let o be x(-12). Let c(z) = -z**2 - z + 2. Let j be c(o). Solve j*s + 3 = s for s.
3
Let u(y) = -4*y**3 - 55*y**2 + 14*y + 11. Let s be u(-14). Solve 6 = 5*h + s for h.
-1
Let x(b) = b**3 - 4*b**2 + 6*b - 7. Let v be x(3). Suppose -3*k = -v - 13. Solve -k*u = -2 + 12 for u.
-2
Let k = -2 - -4. Let q = 14 - 22. Let a = q - -13. Solve k*s + a = -5 for s.
-5
Suppose 1 = b - 1. Suppose -20 = -x + b*q - 0*q, -4*q - 20 = 0. Suppose 2*y - 6*y = 2*i - x, -2*y = 2*i - 8. Solve -y = -4*o + 19 for o.
5
Suppose 10 - 10 = -36*c. Solve c = -85*q + 84*q + 2 for q.
2
Let c be (-2892)/(-90) - 30/225. Solve -11*o - 87 + c = 0 for o.
-5
Let i = -264 + 282. Solve -16*u = -i - 30 for u.
3
Let w be -1 + 1 - 0/(-1). Let m = -12 + 14. Let r(z) = z**2 + 2*z - 6. Let o be r(m). Solve -o*i = -w*i for i.
0
Suppose 0 = -0*f + f + 5*l - 11, f + 4*l = 9. Let o be (1/f)/(5/20). Solve 0 = -o*j + 8 - 0 for j.
2
Let a(z) = z**2 - 1 + 4*z**2 + 3*z**3 - 2*z**3 + z**2 - z. Let o be a(-6). Let l = 155 + -150. Solve -o = -l*h + 10 for h.
3
Let s be (-2)/24 + -18 + (-2650)/(-120). Solve -s*f + 2*f - 2 = 0 for f.
-1
Let i = 17 + -13. Let w be ((-3)/9)/(1/(-12)). Suppose w*z = 4*k + 4, 26 = 3*k + k + 2*z. Solve i*q = -0*q + k for q.
1
Suppose -4*d = d + 5*s - 15, -7 = -2*d - s. Let m = -341 - -347. Let t = m - d. Solve -t*g = g for g.
0
Let g(c) = c + 3. Let y be g(2). Suppose -y*r - 4*b = -27, 6 = -5*r + b + 18. Suppose r*l = 5*l. Solve l*n + 3 = -n for n.
-3
Let q = -630 + 635. Solve -4*x = -5*x + q for x.
5
Suppose -7 = -4*d + 29. Solve 25 = d*z - 4*z for z.
5
Suppose -5*c + 18 = c. Suppose 5*z - 7 = -2*o + 1, 0 = c*o - 2*z - 12. Solve 0*s - o = s for s.
-4
Suppose 0 = -2*j - j + 12. Suppose -45*y + 89 = -361. Let a(u) = 3*u**2 + u. Let g be a(-1). Solve -y = -j*c + g*c for c.
5
Let l(d) = -2*d**2 + 27*d + 17. Let v be 72/5 - 8/20. Let q be l(v). Solve q*x + 13 = 4 for x.
-3
Let p be (2 - 2)/(3 + -4). Suppose 14*d - 13*d = p. Solve -3*f - f - 8 = d for f.
-2
Suppose -2*j = j - 24. Suppose -3*h = -t - 4, -h - 6 = 3*t - 4*h. Let i be 4/t*3/18*-3. Solve -j = 2*b + i for b.
-5
Let z(h) = h + 12. Let c be z(-12). Suppose -6 = -5*f - n, -5*f - 2*n = -7*n. Let i be 1*(-2 - f) + 9. Solve i*r - r + 5 = c for r.
-1
Let d(i) = -76*i - 595. Let j be d(-8). Solve 4*z = -j + 9 for z.
-1
Let k be -3 + 1 + 11 + 5. Let s = k - 14. Solve 2*j + j + 15 = s for j.
-5
Suppose -75 = -x - 53. Solve 0 = 3*u - 19 + x for u.
-1
Suppose 12 = -5*i + 2*i - 2*a, 4*i = 3*a + 1. Let n = i - -18. Solve -n = -3*b - b for b.
4
Let r be (-25 - (7 + -4))/1. Let s = r + 28. Solve 0 = -f - s*f - 2 for f.
-2
Let g(h) = h**3 - 5*h**2 - 3*h + 5. Let u be g(4). Let k = 55 + u. Suppose 0 = -l + 6*l - 4*c - k, 5*l = 5*c + 30. Solve -5*x + l = -2 for x.
2
Let m be -2 + (-5 + 3 - -6). Let q(s) = 14*s**2 - s - 1. Let b be q(-1). Suppose -m*i - 5*h - b = 0, -9*i + 5*i - 3*h = 0. Solve 1 + i = -4*u for u.
-1
Let f(r) = 2 + 2*r - 4*r + 9 + r. Let x be f(6). Suppose -x*d - q - q = -26, 5*q = -5*d + 20. Solve d = 3*j - j for j.
3
Suppose -o + 4*k = -33, 8*o - 10*o + 5*k + 54 = 0. Let i(n) = n**2 - 18*n + 8 + 7 + 4. Let x be i(o). Solve 2*v = -x*v + 20 for v.
5
Let b(q) be the first derivative of -6 + 1/2*q**2 + 3*q. Let j be b(-1). Solve -4*l - 10 = -j for l.
-2
Let n = 2898 + -2713. Solve -169 + n = 4*i for i.
4
Let w be 3 + -10 + 42 - (-9 - -3). Solve w*n = 43*n + 2 for n.
-1
Let d(x) = x**2 - 10*x - 10. Let w be d(11). Let i = w - -3. Solve 9 = -i*l + 1 for l.
-2
Suppose 3*j - 3*q = 30, -3*j - 2*q - q = 0. Suppose 6*v - 2*v = -4*k - 48, 5*k - j*v = -70. Let w = -13 - k. Solve -2*m + 1 - 3 = w for m.
-1
Let y be ((-56)/10)/(364/(-910)). Let z(k) = -k. Let v be z(-5). Suppose 5*l + 3*o + 0*o - 9 = 0, 3*o = -6. Solve l*j - y = -v for j.
3
Let c(s) = 7*s**2 - 4*s - 5. Let u(r) = 6*r**2 - 3*r - 5. Let o(a) = -5*c(a) + 6*u(a). Let l be o(-4). Suppose 15 - l = 4*z. Solve z = -4*n - 5 for n.
-2
Let t be (-4)/(-30) - (-5046)/1305. Solve -2 = -2*a + t for a.
3
Suppose -5*x = 5*n - n - 50, -2*x = 2*n - 20. Solve -x*b - 21 = 9 for b.
-3
Let l be (-54)/63 + (-434)/(-49). Solve 3*a - l + 23 = 0 for a.
-5
Let k = 2 + 3. Suppose -67*t = -74*t + 126. Let w be ((-19)/(-38))/(1/t). Solve 11 = k*x - w for x.
4
Suppose 5*l + 539 - 194 = 0. Let c = l + 72. Solve a = -c + 8 for a.
5
Let d = -2 + 0. Let s(x) = x**3 + 2*x**2 - x + 1. Let h be s(d). Suppose -4*g = -5*y + 53, g + 5 = 3*y - 31. Solve h*o = y - 4 for o.
3
Suppose -8*b = -10*b + 8. Suppose 16 = p - b*k, -p + 21 = k - 0. Solve o + p = 6*o for o.
4
Suppose 0 = -0*m + m. Let q = 662 + -652. Solve -i - i - q = m for i.
-5
Suppose y + 4*y - 39 = -4*w, -5*y = -4*w + 9. Suppose -38 = -w*c - 2. Solve b = c*b + 15 for b.
-3
Suppose -65 = -6*y - 23. Solve -y = 9*b + 2 for b.
-1
Suppose -y - 3*l + 10 = 0, 44 = 2*y + y + 2*l. Suppose -y*o - 8 = -17*o. Suppose -h - 4*x + 8 = -0*x, 2*h - 4*x = -o. Solve h*c = -c + 2 for c.
2
Let t = -3217 - -3219. Suppose 0*x + 4 = 2*x. Solve t = -c - x for c.
-4
Suppose -3*c - 3 = -8*c + 3*p, 2*p = -2*c - 2. Suppose c = -3*s + 6*s - 9. Solve s*l - 6*l = 3 for l.
-1
Let a be 5/((-5 - -2) + 4). Suppose -a = -5*w, 4*j + 10 = 3*j - 2*w. Let t be (2 - 6/2)*j. Solve -t = -6*l + 3*l for l.
4
Let l(i) be the third derivative of -i**5/60 - 11*i**4/24 - 5*i**3/3 - 15*i**2. Let t be l(-10). Solve 5*o - 3*o - 4 = t for o.
2
Let g(p) = -p**2 + 9*p - 3. Let t be g(8). Suppose -4*b = 4*o - 5 + 1, 0 = -4*b - 2*o + 6. Solve -t = h - b*h for h.
5
Let r = 17 + -17. Suppose -b + 11 = 2*h, r = -4*b + b - h + 18. Suppose b*a - 35 = 15. Solve g + g = -a for g.
-5
Let x(p) = -22*p + 0 + 6*p - 8. Let c be x(-4). Suppose 3*r - c = 5*w, -4*r - w - w + 40 = 0. Solve -8 - r = -5*a for a.
4
Let k = 22 - 18. Let j be k + -7 + 1*5. Solve -j*p - 2*p + 20 = 0 for p.
5
Suppose -205*b = -214*b + 18. Solve -b*s = -6*s + 5*s for s.
0
Suppose 2*b - 3 - 5 = r, -b + 14 = -3*r. Suppose -g = 4 - 14. Suppose b*l + 3*l = g. Solve -l*o = -6*o + 4 for o.
1
Suppose 2*j = 10*j + 24*j. Solve 3*w - 4 - 5 = j for w.
3
Let g = -371 + 375. Solve -g*z = -13 - 7 for z.
5
Suppose -c - 2 = -1. Let o be ((-4)/(8/6))/c. Solve -20 = 2*g + o*g for g.
-4
Let g = 25 - 15. Let k = 20 - g. Solve 4*c = 2*c + k for c.
5
Suppose -23*p = -77*p + 324. Solve 0 = 11*g 