+ 2*c. Solve x = -i*b + m for b.
-4
Let i = -21 - -13. Let y be 32/10 + i/(-10). Let z be 22/99 + y/(-18). Solve 1 = -j - z*j for j.
-1
Suppose 0 = -0*y + 4*y + 108. Let x = -27 - y. Solve 3*q - 2*q = x for q.
0
Let w(n) be the first derivative of n**2 + 12*n + 8. Let i be w(-7). Let x be 2 - 5 - (-5 - i). Solve 0 = -m - x*m + 5 for m.
5
Let b be (-1 - (-6)/(-4))*(-7 - 1). Let r be 4*(-2)/5*b/(-32). Solve g + r = -1 for g.
-2
Let n(u) = u - 32. Let s be n(24). Let t be (-18*(-1)/4)/((-4)/s). Solve -2*x - t = -1 for x.
-4
Suppose 34*d + 18*d - 884 = 0. Solve -d*r = -6*r + 44 for r.
-4
Suppose 2*a - 4 = -2*v, -5*a - 4*v = -2*a - 9. Let x be (0 + 4 - -1)/1. Let d be a/x - (-12)/60. Solve d = -5*m + m - 8 for m.
-2
Suppose -i - 2*i - 4*t = -32, 5*i - 4*t = 32. Let z = i + -14. Let f be (-2)/3*z/4. Solve 3*w = 2*w - f for w.
-1
Suppose j + 2 + 40 = u, -j = -4*u + 180. Let k = -36 + u. Solve 6*s - k*s = -8 for s.
2
Let u(f) = -7*f**2 + 8*f + 8. Let d(i) = -i**2. Let n(h) = -3*d(h) - u(h). Let p be n(-1). Solve -j - j = p for j.
-5
Let g = 177 + -170. Solve g*v - 2*v = -10 for v.
-2
Let r(i) = 6*i**3 + i. Let m be r(-1). Let o = m + 12. Suppose 5*d - 19 = -o*a + 1, -4*d = -3*a - 16. Solve a*c + 4*c = 16 for c.
4
Let a(l) = 8*l + 222*l**2 + 14 + 10 - 223*l**2. Let x be a(10). Solve -6 + x = g for g.
-2
Let t(r) = -r**2 + 15*r + 7. Let k be t(14). Suppose k = 3*y + 6. Solve y*a - 20 = -0 for a.
4
Let q(o) = 3*o - 8. Let b be q(4). Solve -3*p + 5*p + b = 0 for p.
-2
Let n be -14 - 36/(-4) - -11. Solve -2*p - 4 = n for p.
-5
Let o = 307 + -307. Solve 4*s - 4 + 16 = o for s.
-3
Suppose -t = -5*t + 16. Solve 2*g = g - t for g.
-4
Suppose -j + 6 = -3*n, -2*j + 4*n + 0*n = -12. Let b be j/4*8*4/24. Solve 4*q - 5*q - b = 0 for q.
-2
Let h(v) = -v**2 + 1. Let c be h(3). Let q be 12 + c/4 + -1. Let t be (3/1 + -1 - 3) + 1. Solve t*a - 3*a = q for a.
-3
Suppose -19*h - 60 = -34*h. Solve 0 = -5*k + 9 - h for k.
1
Suppose -10*z - 170 + 240 = 0. Solve -p - z = -3 for p.
-4
Let n(d) = d**3 + 12*d**2 + 11*d. Let o be n(-11). Suppose -4*c - 4*i + o*i - 12 = 0, 3*i + 9 = 2*c. Solve c = -x - 3 for x.
-3
Let p = -39 + 51. Let k be (-4 - 0)*(6 - 87/p). Solve -j = -k*j - 12 for j.
-3
Suppose 5*q - 39 = 2*g, 3*q - 56 = 2*g - 23. Let t be -1 + -4*(51/g - -4). Solve t*s - s = -4 for s.
4
Let j be ((-22)/99*-3)/((-2)/(-33)). Solve -10*b = -j*b for b.
0
Suppose k - 65 = 5*j - 4*k, 0 = -3*j - k - 31. Let g = 16 + j. Solve -g*m + 1 = -6*m for m.
-1
Let c be (-516)/(-32) + (-10)/80. Solve -2*t = c - 20 for t.
2
Let a(j) = -j**3 - 3*j**2 - 3*j. Let y be a(-2). Let n be (-6)/(-39) - y/13. Solve 10 = -5*z - n for z.
-2
Suppose -2*y = 4*j - 116, -j + 4*y + 158 = 4*j. Let l = -28 + j. Solve -l*x - x = 15 for x.
-5
Let z be ((-4)/6)/(10/(-15)). Suppose 0 = -4*a + 2*a + 5*o - 6, 4*o = 16. Solve -4*j = a + z for j.
-2
Let m be 798/54 - 4/(-18). Let j = m - 1. Suppose 0 = -13*t + j*t. Solve -4*k = -t + 16 for k.
-4
Let z(s) = 2*s**2 + 7*s + 8. Let q = 108 + -112. Let m be z(q). Solve -3*n = 3 + m for n.
-5
Suppose -3 = 20*j - 17*j + 3*n, -j - 5*n = 17. Solve j*i - 15 = -21 for i.
-2
Let f(n) = n**3 - 3*n**2 + 5*n - 4. Let v be ((-1)/(-2))/((-4)/(-24)). Suppose 2*p = -v*l - 2*l + 16, 0 = 3*l - 2*p. Let b be f(l). Solve -5 - 5 = -b*i for i.
5
Let g be ((-49)/98)/(1/(-12)). Solve 0 = 5*j + 4 + g for j.
-2
Suppose 13*f = 8*f. Solve -3*o - 1 - 8 = f for o.
-3
Let b(d) = 101*d**3 - 6*d**2 + 5*d + 2. Let f be b(1). Solve -13*k = -37 + f for k.
-5
Suppose 15 = 3*b + 3*m, 5*b - 5*m + 4 = -1. Let u be ((-5)/((-140)/24))/(2/70). Let k be -2 - (-32)/14 - u/105. Solve b*f + f + 12 = k for f.
-4
Suppose 4*m = 8*m + o - 9, -m + 3*o = 14. Let l be 15 + (3 + m - 7). Solve -g - l = -4*g for g.
4
Let t be -6 + -11*(498/(-66) + 7). Solve 6*u - 18 = -t for u.
3
Suppose 6*b + 4*n = b + 64, n = 5*b - 59. Solve -b*a - 25 = -17*a for a.
5
Suppose 3*u - 3 = 117. Let x be (-6)/(-33) - u/(-22). Let k be 3 - 0/(1/(-1)). Solve k*h - 25 = -x*h for h.
5
Let b(c) = -c**3 + 8*c**2 - 7*c + 4. Let u be ((-6)/4)/(60/(-280)). Let s be b(u). Solve s*d - 4 = -0 for d.
1
Suppose -5*f = 5*f - 30. Solve f*i = i - 10 for i.
-5
Let d(z) = -z. Let i(m) = -3*m. Let f(w) = 5*d(w) - 2*i(w). Let t be f(5). Solve t = 3*p + 17 for p.
-4
Suppose 9*v - 142 + 469 = 118*v. Let u(g) = g**3 - 3*g**2 + 4*g - 3. Let s be u(2). Let f be 5 + 2*s/(-1). Solve f = -v*b - 9 for b.
-4
Let b be (-12)/18*(4 + -3)*-39. Solve -31 = 5*l - b for l.
-1
Suppose 2*p - 3 = 7. Suppose 5*k = 4*t + 20, -t + 0*t - 5 = p*k. Suppose -2*i + 3*m + 2 = 0, 2*i + 3*m - 14 = -0*m. Solve k = i*q + q - 20 for q.
4
Let d = 729 + -729. Solve 4*i = -d*i + i for i.
0
Let z be 3/(1/(-6) + (-35)/(-84)). Solve 0 = z*w - 16*w for w.
0
Suppose 0 = -5*q - t + 18, 3*q + 0*q - 14 = t. Suppose -758*j + 767*j - 9 = 0. Solve -m + q = -j for m.
5
Suppose -4*f + 18 = u + u, 5*f = 4*u - 36. Suppose -l + u*l - 56 = 0. Solve 0 = 8*t - l*t + 3 for t.
-3
Let d(i) = 7*i**3 - 2*i**2 + 1. Let k be d(1). Let f(t) = 7*t + 46. Let r = -21 + 15. Let m be f(r). Solve -u = -m*u + k for u.
2
Suppose -4*c + 90 = 6*c. Solve c*o - 10*o = 5 for o.
-5
Let y = -413 - -425. Solve 2*w = 6*w - y for w.
3
Let i = -7 - -12. Let p be -11 + 3/(-9)*-39. Solve -n - i = -p*n for n.
5
Suppose -12 = 2*n - 4*f, n + 4*f - 15 = 3. Let k be (n/4)/(1/6). Suppose -2*j + 5*i + k = 0, j + i = -4*i + 9. Solve j*q - 5 = 3 for q.
2
Let i be (2/8*-2)/((-16)/1536). Suppose 2*m - i = -4*k, 2*m = k + 5*m - 12. Suppose 0 = 4*r + 2*u - 6, r + r + 4*u = 0. Solve k = -r*g - g for g.
-4
Let y(g) = -g - 1. Let k(v) = -2. Let r(p) = k(p) + 3*y(p). Let o be r(-5). Let s = 9 + 0. Solve -4*d = -s*d + o for d.
2
Let x = 907 - 907. Solve x*q - 21 = 7*q for q.
-3
Let l(b) = b**2 + 5*b. Suppose 2*h + 2*y = 54, -2*h + 64 = -0*h + 4*y. Let v = 17 - h. Let p be l(v). Solve 4*n - n = p for n.
0
Suppose -5*k - 13 = -3. Let a be (-2)/(-2) - (k + 1). Suppose 2 = -4*j - 5*f, a*j - f = 7*j - 8. Solve -4 = 3*c - j*c for c.
-4
Let k be 21/(-12) + 2 - 242/(-88). Solve 0 = k*b - 9 - 6 for b.
5
Let u = -26 + 25. Let w be 4 + 2 + -6 - (-3 - u). Solve -d + 3 = -w for d.
5
Let g = 218 + -212. Suppose 4*y - 9 - 15 = 0. Suppose 4*s + 3*d = -4, -6*d - y = s - 4*d. Solve 0 = -s*j - g for j.
-3
Suppose 0 = -5*s + 155 - 10. Suppose -s = -17*d + 22. Solve 2*p + d*p = 10 for p.
2
Let r(f) = -f**2 - 2*f - 1. Let l be r(-6). Let v = l + 16. Let o be (-4 - v/2)*10. Solve 8 + 2 = -o*d for d.
-2
Suppose 2 = 5*y - 4*y. Suppose p - 5*l - 13 - 5 = 0, y*l + 9 = p. Solve p = -2*o - 3 for o.
-3
Let p(a) = -a**3 - 11*a**2 - 10*a + 5. Let h be p(-10). Solve 33 = h*i + 8 for i.
5
Let l = 1516 - 1424. Solve 91*v - l*v = 0 for v.
0
Suppose -2*p - 5*u + 268 = 243, -3*u = -4*p - 15. Let m = 8 - 5. Solve p = -o - m*o + 12 for o.
3
Let z(q) = q**2 + 4*q + 2. Let a = -29 - -30. Let k(r) = -5*r + 1. Let o be k(a). Let b be z(o). Solve -b = -3*m - 17 for m.
-5
Let l be (15/2)/3*8. Suppose 3*s - 9*s = -72. Suppose i + s = 5*i. Solve -i*h + l = h for h.
5
Let r be 18/(-3)*(-9 - (-45)/6). Solve -r*m - m = 2*m for m.
0
Suppose -3*q = g + 3*g + 31, 12 = -2*g + 2*q. Let m be (g/(-1))/(0 - -1). Suppose 0 = 5*t - 17 + m. Solve -t*k = 3*k - 20 for k.
4
Let a(x) = 4*x**3 + 2*x**2 + x - 2. Let m be a(1). Suppose m*q - 169 = -139. Solve q*r - 12 = 2*r for r.
3
Suppose 0*p - 5*p - 115 = 0. Suppose -2*w + 52 = -0*w. Let g = p + w. Solve 3 = g*f - 2*f for f.
3
Let w(o) = o**3 - 2*o**2 + o + 16. Let j(v) be the first derivative of -v**2/2 - 4*v + 5. Let a be j(-4). Let k be w(a). Solve -5*x + k = -x for x.
4
Let s be ((-4)/14)/(6/(-84)). Let l(k) = -5*k + 8. Let j be l(s). Let y be (-4 + 3)/(3/j). Solve 0 = -3*p + p + y for p.
2
Let d(z) = z - 3. Let v be d(7). Suppose -4*i = 3*g + 2*g + 15, 0 = -3*i + v*g + 12. Suppose 2*w - 5*l = 20, 3*w + w + 4*l - 96 = i. Solve -p + w = 3*p for p.
5
Let l(q) = 7*q**2 - 3*q - 2. Let b be l(1). Solve b*z + 3 - 1 = 0 for z.
-1
Let t be 0/((1 - 3)/((-1)/(-1))). Solve -3*i + 2*i + 4 = t for i.
4
Suppose -5*k + 50 + 34 = 2*j, 3*k + 4*j = 56. Solve 2*p = -2*p - k for p.
-4
Let n(c) be the first derivative of c**3/3 - 3*c**2/2 - 6*c - 3. Let q(w) be the first derivative of n(w). Let k be q(3). Solve 3*u + k = -6 for u.
-3
Suppose -2*m + 18 = -0*m. Let a(c) = 849 - 4*c + c**2 - 840 - 6