 - j*b = a for b.
-2
Let g = -14 - -24. Let t(m) = -2*m - 26. Let v be t(-16). Solve i - g = v*i for i.
-2
Let n = -8 + 16. Suppose 0*f = 2*f - n. Let p = -3 + f. Solve -t = 1 + p for t.
-2
Suppose -18 = -2*f - 3*c, c = -f - 2*c + 15. Solve f = -4*s + s for s.
-1
Let f be (-6)/33 - (-75)/(-11). Let m = f + 13. Solve 3*h = -3 + m for h.
1
Suppose -4*t + 0 + 8 = 0. Solve -4*s = -t*s - 10 for s.
5
Let t be (-25)/(-3) - (-8)/(-24). Solve t = -3*p - 4 for p.
-4
Let t be (-3)/7 - (-10)/7. Suppose -4*g + 30 = 5*p, -3*g + t + 21 = 4*p. Suppose -3*l = 4*h - 17, -l + 0*l + 3 = 0. Solve 0*i + g = -h*i for i.
-5
Let i be ((-3)/(-21) + -1)*-14. Suppose -2*g - g + i = 0. Solve -o = 3*o - g for o.
1
Let p be 5 - (24/2)/4. Solve -t - p*t - 9 = 0 for t.
-3
Let g = -9 + 9. Suppose -d + 4*p = -g*d + 8, -17 = -5*d + p. Let t(y) = -y - 1. Let v be t(-6). Solve -l + d = -v*l for l.
-1
Let j(v) be the third derivative of 7*v**4/24 + 5*v**3/6 - v**2. Let f be j(-5). Let t = 45 + f. Solve -2*b = 3*b - t for b.
3
Let j be 5/(-10) - (-13)/(-2). Let f(t) = -t**3 - 6*t**2 + 8*t + 7. Let a be f(j). Solve 5*x + 8 - 18 = a for x.
2
Let k be ((-7)/(-21))/(2/174). Suppose -25*s = -k*s. Solve -2*h + s*h + 8 = 0 for h.
4
Let x(n) = 26*n - 1. Let w be x(1). Let d(h) = 5*h**2 - 1. Suppose -5*y + 0*y + 5 = 0. Let l be d(y). Solve 0 = l*q + q + w for q.
-5
Let k(g) = -g**2 - 5*g + 3. Let t be k(-5). Suppose -40 = -t*p + i + 17, i - 3 = 0. Solve -u - p = -6*u for u.
4
Let r be (2/4)/((-9)/(-54)). Solve a + r = 4 for a.
1
Let n = 10 - 6. Let r(w) = w + 6. Let i be r(0). Solve -2*g + n*g + i = 0 for g.
-3
Let f = 2 - 2. Suppose 4*o - 8 - 1 = l, 18 = 2*o + 4*l. Let m = o + -3. Solve -v + m - 1 = f for v.
-1
Let r = -6 + 6. Suppose r = 2*v - 3*h + 12, -2*h + 3 = -5*v - 5. Solve -2*p + 0 - 4 = v for p.
-2
Let j(u) = 2*u - 2. Let z be j(2). Let b = -2 - z. Let x = b - -9. Solve -11 + 1 = x*s for s.
-2
Let n be 14 + -3 + -2 + -2. Solve -2*j = -n*j + 10 for j.
2
Let g be (28/(-35))/((-4)/10). Solve -3*u - g*u = 25 for u.
-5
Suppose -4*c + 2 = -30. Solve l + l = -c for l.
-4
Let i be ((-5)/15 + -1)*(-9)/2. Solve i*j = 5*j + 4 for j.
4
Let q = 2 + -7. Let i = -1 - q. Let y = 1 + i. Solve 0 = y*v + 13 + 12 for v.
-5
Suppose -2*y - 3 = -5. Solve -4*z + 3 = -y for z.
1
Let v(b) = 2*b + 2*b**2 - 3*b**2 - 1 + 0*b + 6*b**2. Let t be v(1). Solve 0 = t*m - 2*m - 12 for m.
3
Let k be (8/(-6))/(6/(-27)). Let d(a) = -a**2 + 7*a - 5. Let c be d(k). Let j = c + 1. Solve -2*s + j = 12 for s.
-5
Let c be (-2 - -3) + 3 + -1. Solve c*y + 6 = -0 for y.
-2
Let k(p) = p**3 - 6*p**2 + 8*p - 4. Let b be k(5). Let s = 13 - b. Solve s*v = -0 - 4 for v.
-2
Suppose 2*v = -3*v + 10. Suppose -4*n = -v*n. Solve -z + 3 + n = 0 for z.
3
Suppose -5*c = -28 - 7. Let g be (30/6)/(0 - -1). Solve c + 8 = -g*w for w.
-3
Suppose x = 3*y + 6, -18 = 6*x - 7*x - 3*y. Solve -q = -5*q + x for q.
3
Let u be (-3 + 6 - 0)/1. Let s be (0/(6/3))/1. Solve s*a = -u*a for a.
0
Let l be 1*15*(-1)/(-3). Suppose -2*f = 2*c - 10, -f - l*c = 2 - 7. Solve 0 = -5*z - f - 0 for z.
-1
Let j = -46 - -53. Solve -4*l + j*l = 0 for l.
0
Let i(c) = -c + 11. Let t be i(5). Solve -8*s = -t*s - 4 for s.
2
Let b(m) = m**2 - 6*m - 15. Let q be b(8). Solve -2*c = -c - q for c.
1
Let i(z) = -z**2 + 8*z + 2. Let r be i(8). Solve r*u = -6 + 16 for u.
5
Suppose -4*i = -6*d + 3*d - 91, 3*i - 12 = 0. Let f be -3 + 4 + -1 - d. Solve 3*o + 2*o - f = 0 for o.
5
Suppose 2*q - 6 = -2. Let d be (-2)/(-3)*(-18)/(-4). Solve -f = -q + d for f.
-1
Suppose -2*q + 80 = -5*k, 0 = k + 4*q - 2*q + 16. Let f be k/(-6) - 3/(-9). Solve 0 = -f*b + 4*b - 5 for b.
5
Let c(p) = -110*p - 4. Let f be c(3). Let v be f/(-4) - (-6)/12. Let w be 2/6 + v/18. Solve w*t + 9 = 34 for t.
5
Let h = -63 + 66. Solve -h*k = k - 16 for k.
4
Let z(n) = 2*n + 10. Let v be z(-10). Let f be 6/(-10) + (-16)/v. Solve 0 = -3*l - 2 - f for l.
-1
Let s be (-105)/(-10)*8/6. Let d = s - 14. Solve 3*v - 5 - 4 = d for v.
3
Let s(r) = -r. Let c be (0 + 0)/(3 + -5). Let f be s(c). Solve f*g + 3*g = -9 for g.
-3
Let n(q) = 3*q**2 - 2*q + 1. Let v be n(1). Solve v*i + 2*i = 20 for i.
5
Suppose -3*q + 20 = 4*v, 4*q + v - 23 + 5 = 0. Suppose 5*i - 19 = -q. Solve i*l + 20 = -2*l for l.
-4
Let f be 5/((-3 - -2)/(-1)). Let n = f + -2. Let z be 4 + 1/(2 - n). Solve 0*o = o - z for o.
3
Let v(f) = f**2 - 4*f - 5. Let k be v(4). Let n = 4 + k. Let l be (5 - 3)/(n + 3). Solve -l = -c + 1 for c.
2
Suppose j = -4*j - n + 24, -j = 3*n - 2. Solve -v + j = -0 for v.
5
Suppose -2*f = 3*f - 60. Suppose 0 = 4*d + 2*i - f, -d + 3 = -2*i + 3*i. Solve 0 = d*p + 2*p for p.
0
Let g be (-66)/(-21) - (-3)/(-21). Suppose -g*d = 3*u - 6*d - 12, -4*u - d + 16 = 0. Solve -1 - 19 = -u*q for q.
5
Suppose 5*l + 20 = 2*v - 5, -5*l - 25 = v. Suppose 5*g + 20 = -2*z, -g = 3*z - v*g + 4. Solve -r = -z*r for r.
0
Let b be (2 - -1) + -2 + -3. Let x be (1/b + 0)*0. Solve x*s + 5 = s for s.
5
Let f be (-48)/(-9) + (-4)/(-6). Let j be -16*((-9)/f + 1). Suppose -5*z - j = -3*c, 9*c - 9 = 4*c + 4*z. Solve x + 2 + c = 0 for x.
-3
Suppose k - 4*k + 58 = -5*m, -3*k + m = -38. Let w(s) = -s + 14. Let l be w(k). Solve -d = -l*d for d.
0
Let n(a) = a**2 + 4*a - 9. Let y be n(-7). Solve -3*c - y = c for c.
-3
Suppose -6*h - 52 = -19*h. Solve 2*t - h*t = 10 for t.
-5
Let k(w) = 2*w**2 + 5*w - 10. Let r be k(-4). Solve -r*p - p - 3 = 0 for p.
-1
Suppose 0 = 95*p - 96*p + 3. Solve -p = -z - 0*z for z.
3
Let j be (1 + -4)/1 - -8. Solve j*s = -0*s for s.
0
Let w(k) = -k**3 - 2*k**2 - k + 1. Let b be w(-2). Suppose -3*d = 5*z - 70, -2*d + 7*d = -2*z + 85. Let a = d + -7. Solve -b*q + a = -q for q.
4
Suppose 4*b = 3*i + 57, 2*b + 3*i - 18 = i. Solve 0 = 5*o - 8*o - b for o.
-4
Let r(w) = -2*w + 19. Let k be r(8). Solve 0 = 4*a - k*a - 2 for a.
2
Let c = -102 - -104. Solve c*d + 8 = 6*d for d.
2
Let w be (-4 + -4)*2/(-4). Suppose 0 = 5*j - 4*u - 26, j - 4*u + 2 = w. Solve -o - o - j = 0 for o.
-3
Let w = -1 - -3. Let c = 9 - 6. Solve -w*g + c*g = -4 for g.
-4
Let x(f) = f**3 - 4*f**2 + f - 4. Let s be 7/((-14)/(-4))*2. Let j be x(s). Suppose -a - a = j. Solve a*l = 5*l + 20 for l.
-4
Let p(f) = f**2 + 8*f + 4. Let t be p(-7). Let g be 2/t - (-4)/6. Solve 0 = -2*b - g*b - 8 for b.
-4
Suppose 0 = -2*c - 4*c. Solve c + 1 = g for g.
1
Let g(u) = -u - 4. Let w be g(-6). Suppose h - 15 = -w*a - 3*a, 5*h - 2*a + 6 = 0. Solve 5*t = -h + 15 for t.
3
Let i(f) be the first derivative of -f**2/2 - 2*f - 3. Let o be i(-7). Solve 4*x = 5*x - o for x.
5
Let c be (-3)/(-9) - 3/9. Solve c = 2*d - 0 - 4 for d.
2
Let y = 8 - 6. Let f be (y - (-14)/(-10))*5. Solve 0 = -f*q - 6 - 3 for q.
-3
Suppose -36 = -4*a - 20. Let j = 6 + -1. Let p(y) = -y**3 + 3*y + 1. Let h be p(-3). Solve a = -j*f + h for f.
3
Let w(o) = -5 + 2 + o + 10. Suppose l + 3 = -4. Let t be w(l). Solve -j - 1 - 3 = t for j.
-4
Let w(u) = -u**3 + 4*u**2 - 2*u - 2. Let j be w(2). Solve -o - 1 = -j for o.
1
Suppose -4*p + 0*p = -3*z + 29, 0 = -5*z - 3*p. Solve z*t = t + 6 for t.
3
Let x = 23 + 9. Let a = x + -57. Let t = 35 + a. Solve o + t = -o for o.
-5
Suppose 0 = -127*h + 128*h. Solve a + 4 + 0 = h for a.
-4
Suppose -3*a = 16 - 4, 5*a = 2*h - 24. Suppose -4*g - h*s + 33 = 13, -5*g + 25 = 5*s. Suppose 0 = -c + 2, -2*j - g*c = -15 + 1. Solve 0 = -v - 3 + j for v.
-1
Suppose -5*g = -g - 80. Suppose 0 = -4*v + g, 4*l + 2 - 22 = -4*v. Suppose l = 3*j - 1 - 2. Solve -p = -3 + j for p.
2
Let m = -8 + 12. Solve -k - m*k = 0 for k.
0
Let r = 25 + -17. Solve 5*i = -12 - r for i.
-4
Let r be 4 + -1 + -2*1. Let p = 4 - r. Suppose 0*y + p*y = 21. Solve 0 = 5*b + y + 8 for b.
-3
Let u(p) = 3 - 10*p + 17*p - 4 - 2. Let g be u(4). Solve -4*c + 9 = g for c.
-4
Suppose -q = -o + 3*o - 52, 0 = -o - 2*q + 26. Suppose -4*d + 2*r + o = 0, -5*d + 5 + 17 = r. Solve -a = -0*a - d for a.
5
Suppose -3*n = k - 9, -3*n - 4*k = 3 - 12. Let w = 57 - 31. Suppose -4*o = -2*o - w. Solve -o = 4*a + n for a.
-4
Let t(i) = i**2 - 2. Let v be t(2). Let g(j) = -4*j + 1. Let r be g(-1). Suppose -6*f = -r*f. Solve f*b + v = b for b.
2
Let s(a) = a**3 + 4*a**2 - 6*a - 1. Let j be s(-5). Solve 0 = j*m + 12 for m.
-3
Suppose -5*r + 3*r - 8*r = 0. Solve -a - 1 + 4 = r for a.
3
Let u be (-2)/6 + (-21)/(-9). Suppose 7*p - 15 = 4*p. Solve -3*b - u + p = 0 for b.
1
Let d be