+ 3. Solve -2*c - 1 - b = 0 for c.
-1
Suppose 5*n = -u - 0 + 12, -2*n = u - 3. Solve 2 = 5*j - n for j.
1
Let c = -409 - -425. Solve 5 + c = -7*i for i.
-3
Let v = 606 + -602. Solve 0*w - 2*w = v for w.
-2
Let q(n) be the third derivative of -n**6/120 - n**5/10 + n**4/12 + 7*n**3/3 + 11*n**2. Let c be q(-6). Solve c - 10 = 2*p for p.
-4
Let o be ((-2)/6)/(-3 + 175/60). Solve 0 = 3*g - 7 + o for g.
1
Let z = 527 + -502. Solve 20 + z = 9*d for d.
5
Suppose 4*x - 8*l = -3*l + 12, 2*x = 4*l. Solve -10*r = -x*r for r.
0
Let d(p) = 4*p - 6. Let q be d(-9). Let k be (-2)/(-7) - (-12)/q. Suppose 0 = -0*s - 4*s + 5*u + 11, 3*s + u - 13 = k. Solve -5*b - 1 = -s*b for b.
-1
Suppose 1 = y - 2*q, -y = y + 3*q - 23. Suppose -2*l - 15 = 4*k - y*l, 2*l - 6 = -5*k. Suppose -3*a - 2*a + 25 = 0. Solve k*z = -z - a for z.
-5
Suppose c + p - 20 = -2*p, -4*p = 3*c - 35. Suppose t - 4*u = 10, 61 = 4*t + u + 4. Solve c*d + 6 = -t for d.
-4
Let o = -11 - -21. Let w(a) = -5 + a + 16 + 3. Let v be w(-11). Solve 0 = -t + v*t - o for t.
5
Suppose -2*q + 20 = -0*q - a, 5*q + 5*a = 20. Suppose -10*m = -q*m - 54. Solve 2 = 5*z + m for z.
-5
Let m = 3975 + -3967. Let i be (-4)/(-2) + 1 + 14. Solve 0 = 5*j - i - m for j.
5
Suppose 2*d = m - 20, -2*d + 29 = 4*m - 21. Solve -9 = m*n + 19 for n.
-2
Let p be 0/1*6/12. Suppose 5*d + 2*v + p*v - 4 = 0, 3*d - 15 = 3*v. Solve -q + 0*q = d for q.
-2
Let u = -3 - -5. Suppose -u*f - 1 = -5. Let o be 1*4 + -1 + f. Solve -o = 3*s + 1 for s.
-2
Suppose 5*b - 8 - 2 = 0. Suppose 0*f = -b*f + 4, 0 = 3*v + 4*f - 62. Suppose -v = -5*n + 27. Solve -j + n = 2*j for j.
3
Let h(s) = 6*s - 26. Let q be h(7). Suppose -a = a - q. Solve -w - a = -3*w for w.
4
Suppose -148*l = -95*l. Suppose 5 = 2*z - 5. Solve -4*h + z + 3 = l for h.
2
Suppose 7 = -7*c + 49. Solve -7*p - 5 = -c*p for p.
-5
Let n(j) = -75*j - 448. Let h be n(-6). Solve h*b = -7*b - 18 for b.
-2
Let i(m) = m**2 - 6*m + 6. Let l be i(5). Suppose 4*r - 5*p - 17 = -4, p = -3*r + 5. Suppose y + 38 - 7 = 4*k, 4*y + 25 = 5*k. Solve k + l = -r*v for v.
-5
Let t(j) be the third derivative of j**4/8 + 9*j**3/2 + j**2. Let h be t(-8). Solve -h = -2*x + 3 for x.
3
Suppose 29 - 153 = -31*m. Solve n - 6 = m*n for n.
-2
Suppose -6*u = 11 + 91. Let y be 33/(-77) + u/(-7). Suppose 2*l + x = 4*l - 13, y*l + 5*x + 5 = 0. Solve -l + 0 = -v for v.
5
Let j be (-40)/(-12)*(-144)/(-40). Let a(p) be the second derivative of p**3/6 - 4*p**2 + 2*p. Let d be a(j). Solve 0 = -0*m - d*m for m.
0
Let x(z) = 5*z**3 + 5*z**2 + 8*z + 6. Let w(p) = 4*p**3 + 6*p**2 + 8*p + 6. Let v(g) = 4*w(g) - 3*x(g). Let u be v(-8). Solve 0 = -3*c - 0*c + u for c.
2
Let g be (1*-4)/4 - -1. Let c = -2 + 6. Let d = c - g. Solve -3*h - 3 = -d*h for h.
3
Suppose -3*p + 4 + 5 = 0. Suppose -5*q + p*q = -10. Suppose k + 2 = 2*m, -5*m + m - k = -10. Solve -q*f = -3 - m for f.
1
Let p be (5 - (-17)/(-4))*(8 - 0). Let q(f) = -f**2 + 2*f + 28. Let y be q(p). Solve -6*n + 10 = -y*n for n.
5
Let z(s) be the second derivative of s**5/20 - s**4 + 13*s**3/6 - 5*s**2 - 13*s. Let x be z(11). Suppose 0 = -0*p - 5*p. Solve p*j - 3*j = -x for j.
4
Let b = -677 + 688. Solve -3*y - b = 4 for y.
-5
Let p(o) = o**3 + 23*o**2 + 21*o - 15. Let c be p(-22). Suppose c = 3*j - 5. Solve 3*h + 7 - j = 0 for h.
-1
Let t be (6/18)/(1/18). Let v be -1 + 3 - (-7 + t). Solve -v = 3*q - 12 for q.
3
Suppose -41*i + 46*i + 115 = 0. Let s = -14 - i. Solve 3*c + 3 = -s for c.
-4
Suppose 3*y + 6 = -3*y. Let p be 12/18*((-3 - y) + 5). Solve 3*f + 7 = -p for f.
-3
Let t = -78 - -80. Solve 28 = 5*x + t*x for x.
4
Let p be 18/(-4)*(-8)/3. Suppose -4*y + p = -0*y. Solve o - 10 = y*o for o.
-5
Suppose -k - 4 = g, 4 = 4*g - 4. Let q be (8/k)/((-8)/12). Solve 0 = -q*w - 2*w - 4 for w.
-1
Suppose 2*j - 2*z = z + 15, 5 = -3*j - z. Suppose j = -5*d + d + 8. Solve d*q + 0 = 2 for q.
1
Let d = -86 - -166. Suppose -15*w + d = w. Solve 0 = -w*x - 22 - 3 for x.
-5
Let w be (8/5)/(8/20). Suppose w = -m + 7. Solve 23 = -4*i + m for i.
-5
Suppose 2*l + 3*v - 253 = -3*l, 0 = -l - 3*v + 53. Suppose -l = -19*m + 14*m. Solve -5 = 3*w + m for w.
-5
Let g(r) = -r**3 + 3*r**2 + 4*r + 2. Let x be g(4). Suppose 4*i - x*i + 6 = 0. Let t be (-1)/(2/(-36)) + i. Solve -4*w + w = t for w.
-5
Suppose -7*y + 2*y - 35 = 0. Let p be 2/y - 602/(-49). Solve -5*l = -p - 13 for l.
5
Suppose q + 63 = -1. Let n = q + 156. Suppose -4*x + n = 4*r, -r - 4*x = -0*r - 32. Solve 0*t - r = -5*t for t.
4
Let m(x) = 3*x**2 - 9*x + 5. Let b be m(3). Suppose -b*g - 4*r = -8*g + 26, 0 = 4*g + r - 3. Solve -g + 0 = y for y.
-2
Let b = 46 + -35. Suppose -n - 4*d + 0*d = -17, 2*d - b = -n. Solve n*s + 0*s = 0 for s.
0
Suppose 0*n - 42 = 7*n. Let j(a) = -a + 14. Let p be j(n). Solve -5 = 3*o - p for o.
5
Let g be (11/(-2))/(15 + 31/(-2)). Solve -g*r - 72 + 28 = 0 for r.
-4
Let f = -174 - -184. Solve 5 = t + f for t.
-5
Suppose 0 = -3*u + i, i = 10*u - 13*u. Solve l - 12*l - l = u for l.
0
Let i = -270 - -276. Solve -q = 5*q + i for q.
-1
Let l be -3*(0 - (2 + 5)). Let y be 4/(-14) - 300/28. Let d(q) = -q - 6. Let x be d(y). Solve 4 = -x*a - l for a.
-5
Let n(v) = 50*v + 14. Let d(c) = 17*c + 5. Let a(z) = -17*d(z) + 6*n(z). Let p be a(1). Let t = -10 + p. Solve -5*g - 20 = -t*g for g.
-4
Let z be ((41 + -1)/(-4))/1. Let c(d) = -2*d - 15. Let g be c(z). Solve -g*t = -3*t for t.
0
Let h be ((-1 - 0)*(-3)/(-3))/1. Let q be 2/(-4)*1*2. Let k = h - q. Solve -s = -k*s for s.
0
Let d = 186 - 174. Let m be (-1 + 2)*(2 + 3). Solve -d + 32 = -m*x for x.
-4
Let m(i) = -i - 4. Suppose 2*v + 1 = -13. Let w be m(v). Suppose -q = -w*q + 6. Solve 4*c = q*c - 2 for c.
-2
Suppose -5*s = 2*o - 134, 2*o - 13 - 95 = -4*s. Solve -6 = -s*v + 24*v for v.
3
Let u(y) = -y**2 + 13*y - 9. Let n be u(12). Suppose n*k - 25 = 5*g, 2*k - 8*g + 5*g - 15 = 0. Solve k*m - 4*m + 16 = 0 for m.
4
Let v = -2031 + 2037. Suppose 4*d - 3 - 2 = 5*f, 2*d - f = 7. Solve -d*w - 11 = -v for w.
-1
Suppose 3*q - 6 = 3. Let s(d) = 3 - 5*d - 15*d - 5*d**2 - d**q + 14*d. Let w be s(-3). Solve -4*a + w = -1 for a.
1
Let h = -15 - -29. Let o = 34 - h. Suppose 2*s - o = -4*v, -v - 2*v = 2*s - 14. Solve 2 - v = 2*w for w.
-2
Suppose -4*x + 4 = 0, -24*k + 29*k = -4*x + 34. Solve k*r - 4*r - 2 = 0 for r.
1
Suppose 2*x - 20 = h, 4*h + 30 = 6*x - 3*x. Let l be ((-10)/(-25))/(2/x). Solve 0*b - 10 = -l*b for b.
5
Let j(q) = 19*q + 133. Let a be j(-7). Let u(o) = o**2 - 3*o + 3. Let g be u(2). Solve -5*k + 4 + g = a for k.
1
Let l be (10/(-6))/(-5 - (-14)/3). Suppose -x - l + 5 = 0. Solve x = -3*i - 14 - 1 for i.
-5
Let q(v) = -v**3 + 5*v**2 - 4*v - 1. Let x be q(4). Let z = x - -2. Solve z = 2*n - 1 for n.
1
Suppose k - 2*v = 1, -7 - 16 = -2*k - 3*v. Solve k*u = 3 + 18 for u.
3
Suppose 3*r = -2*j + 7 + 9, -j + r = -8. Let w(n) be the first derivative of -n**3/3 + 7*n**2/2 + 10*n - 12. Let l be w(j). Solve 2*q = -l + 8 for q.
3
Suppose d = -7*d. Solve -6*z + d*z = -6 for z.
1
Let n(u) = 0*u + 1 + u**3 + 4*u + 0*u + 6*u**2. Let m be n(-6). Let t = -18 - m. Solve 0*h = -t*h for h.
0
Let k be 7/(7/(-3)) - -2. Let t(f) = 4*f**2 - 1. Let z be t(k). Suppose 4*b - 5*j - 24 = -0*b, -4*j - 11 = 5*b. Solve -z = -2*i - b for i.
1
Suppose 13*m - 144 = -11*m. Solve 3*z + 6 = -m for z.
-4
Let i = -154 - -156. Solve 17 = -3*g + i for g.
-5
Let f be 132/16 - 5/20. Solve -2 = 10*p - f*p for p.
-1
Let d be (16/12)/(1 - (-30)/(-54)). Solve -9*w + 6*w + d = 0 for w.
1
Let y = -7412 - -7421. Suppose 1 + 5 = 2*x. Solve y = 3*z + x for z.
2
Suppose 4*l - 5*x + 7 = -5, -20 = -5*x. Solve l*j - 6*j = 0 for j.
0
Let g(a) = 2*a**2 + 61*a + 274. Let z be g(-5). Solve 0 = c - 22 + z for c.
3
Let g(t) = -14*t - 2 - 2*t**2 + 5*t**2 - 2*t**2. Let x be g(13). Let w = x - -17. Solve w*i = -2*i - 16 for i.
-4
Let n be 7*(-7)/(196/(-12)). Let j be (1 - 5)/((-2)/n). Solve 2*m + j = -0 for m.
-3
Let a(b) = -b**3 + 8*b**2 - 8*b + 10. Suppose 8*v - 3*v = 35. Let i be a(v). Solve 0 = -8*j + i*j for j.
0
Let f(z) = z - 2. Let l = 6 + -6. Suppose 3*r + 6 - 18 = l. Let p be f(r). Solve -p*w = 3*w for w.
0
Let l = 239 - 224. Solve w = -4*w - l for w.
-3
Suppose 1156 = -4*o + 1156. Let r(t) = t - 3. Let j be r(4). Solve -j = -o*b + b for b.
-1
Let j be 150/35 - 2/7. Suppose -117 = -4*f - u, j*f = 3*u - 12 + 141. Suppose 9*g - f = 4*g. Solve