+ 3. Let s be -14*((-3)/2 - -1). Solve -s = 4*g + c for g.
-2
Suppose 0 = -7*j + j. Solve 2*y + 10 = -j*y for y.
-5
Suppose -j + 9*j = 0. Solve a - 5*a + 20 = j for a.
5
Let m be (2/4)/(3/96). Solve m = -7*f + 3*f for f.
-4
Let y = 129 - 126. Solve 4*k = -11 + y for k.
-2
Let o be (5/(-10))/(2/24). Let j be 15/o*8/(-10). Solve -2*p - 12 = j*p for p.
-3
Let q = 4 - 3. Let t = q + -1. Let a be -3 - -5 - t/2. Solve -a = -0*j + j for j.
-2
Let u = -45 - -49. Solve u = -2*x + x for x.
-4
Let f(q) = -15*q. Let d be f(-1). Let m be 84/d + (-2)/(-5). Solve -2 = -4*x + m for x.
2
Suppose -1 = -z + 6. Let g(h) = -h**3 + 7*h**2. Let o be g(z). Solve 5*q = -o*q + 25 for q.
5
Suppose -11*m = -16*m + 50. Solve -5*g + 10*g + m = 0 for g.
-2
Suppose 0 = l - 2*l - x + 12, -5*l - 2*x + 63 = 0. Suppose -l = -2*t - 3. Solve -2 = t*u + 3 for u.
-1
Let k(o) = o**3 + 11*o**2 - 13*o - 12. Let h be k(-12). Solve h = 2*z - 3*z for z.
0
Suppose 5*f - 10 = 0, -3*g = -2*g + 3*f + 4. Let w be 4/g + 42/5. Let m be (-2)/w - (-1)/4. Solve -x = -m*x + 3 for x.
-3
Suppose -3*d + 5*d = -5*i + 6, -d - 3*i + 2 = 0. Solve 3*u + d = -7 for u.
-5
Let y(s) = 3*s - 3*s - 5 - s. Let m be y(-5). Let k = 473 - 472. Solve m = -z + k + 3 for z.
4
Let f(l) = 5*l**2 + 4*l - 1. Let i(k) = 11*k**2 + 8*k - 1. Let w(v) = -9*f(v) + 4*i(v). Let r be w(-4). Solve r*d - 34 = -14 for d.
4
Let b = -1 - -1. Suppose j + b*j = 20. Let t = 29 - j. Solve z = 4*z + t for z.
-3
Let x = 31 - 25. Solve -5*k + 4 = -x for k.
2
Let l(j) = -2*j + 10. Let y be l(5). Suppose -4*q + 16 = 4*h, -3*q + 5*h + y*h - 4 = 0. Solve -3*t - q = 10 for t.
-4
Let l(k) = k**2 - 6*k - 3. Suppose w - 35 = -4*w. Let x be l(w). Solve 0 = -x*s + 6*s - 4 for s.
2
Suppose 15 = -2*b + 1. Let j(k) be the second derivative of -k**5/20 - 2*k**4/3 - 7*k**3/6 + 2*k**2 + 2*k. Let g be j(b). Solve -3*w = -w + g for w.
-2
Suppose -29*r + 12 = -25*r. Solve 0 = o + r - 2 for o.
-1
Suppose -5*t + q + 15 = 0, -2*t - 5*q + 54 = 21. Suppose t*p = 12, 3*d - 4*d - 10 = -4*p. Suppose 4*g - 68 = 2*v, -g - 3*g = v - 56. Solve -c - d*c = g for c.
-5
Suppose 0 = -x + 4*x - 18. Suppose v = -3*o + 4, -x*o - v + 4 = -o. Solve 0*p - p = o for p.
0
Let s be (1 - -4) + (-1 - -1). Suppose s*d + 2*y - 2 = 0, 4*d - 3*y - 16 = 4. Solve 4*t - 3*t = d for t.
2
Let a(z) = z**3 + 12*z**2 - 14*z - 13. Let j be a(-13). Suppose -4*y + j*y = 0. Solve y = -p - p for p.
0
Let x(l) = -l**3 + 2*l - 1. Let i be x(1). Solve i = 3*f - 5*f - 10 for f.
-5
Let a be -14*-14*(-1)/(-4). Suppose k - 12 = 19. Suppose 2*x - k = -3*o, -2*o - a = -2*x + o. Solve 5*i = -0*i + x for i.
4
Let m = 8 - 6. Suppose -3*h + 27 = 2*c + 8, -m*h = -c - 1. Suppose -q = 4*q - c. Solve 5*f - q = -11 for f.
-2
Let p be 6/4 - (-1)/2. Let b = 4 - p. Solve -14 + 6 = -b*j for j.
4
Suppose -31 = 3*g - 115. Suppose -3*t + 4 = -t. Suppose y = -t*p + 17, -4*p = -7*p - 4*y + g. Solve -4*f = 4 + p for f.
-3
Let q(x) = x**3 - 6*x**2 + 5*x + 5. Let p be q(5). Suppose 17 - p = 4*o. Solve o*j + 4 = j for j.
-2
Suppose 4*p = -19 + 35. Solve -4*i - 12 = -p for i.
-2
Let a = 17 - 17. Suppose 5*o - o = a. Let i be (-2 - -5)/(6/8). Solve -i = -o*t - 2*t for t.
2
Let n = 36 - 33. Solve 3 = n*m + 15 for m.
-4
Let q(v) = v**2 - 13*v. Let f be q(9). Let k be ((-4)/6)/(8/f). Solve -k*g + 6 + 3 = 0 for g.
3
Let d(o) = o**2 + 6*o - 5. Let f be d(-7). Let p be (-11)/3 + f/3. Let t = 8 + p. Solve 3*m + 4 = t*m for m.
2
Suppose 3*w = p + 7, -2*p - 1 = 1. Suppose 20 = w*y + 3*y. Solve -2*z + y = -z for z.
4
Let s = 23 - 21. Solve -3*c + 13 = -s for c.
5
Let n be (-2 - 0) + (-2 - 53). Let m be (-3)/(-15) - n/15. Solve -3 = 5*u - m*u for u.
-3
Suppose 40 = -4*b - s, 0 = 2*b + 2*s + 9 + 11. Let u(q) = 2*q**2 + 7*q + 3*q - q**2. Let z be u(b). Solve 2*t + 2*t = z for t.
0
Let b be (20 - 5)*(-4)/(-10). Solve n = b*n for n.
0
Suppose 0*x - 4*x + 3*u + 9 = 0, -4*u = -4*x + 8. Suppose 0 = 2*i + x*i - 3*c - 36, 4*i - 3*c = 27. Solve 2*g + 1 = -i for g.
-5
Suppose 4*k + 4*b - 3*b - 5 = 0, -b - 9 = -3*k. Let r = -2 + 3. Suppose 0 = o + r - 2. Solve -k*v + o = 9 for v.
-4
Let r = 1 - 1. Suppose -c - 5 = -r*c. Let p be ((-6)/c)/((-8)/(-20)). Solve 2*b - 1 + p = 0 for b.
-1
Suppose -4*f + 4*z = -152, -4*z = f - 25 - 18. Suppose 5 = -r, -4*i + r = -2*r - f. Solve -3*g + 6 = -i for g.
4
Suppose -2*l - 3*v = -0*v + 13, -v = 1. Let f = -5 - l. Solve -4*i + 16 + 0 = f for i.
4
Let z(q) = -q**3 + 5*q**2 + q - 3. Let j be 1 - 1 - -5*2. Let a = j + -5. Let b be z(a). Solve 3*m = b*m - 2 for m.
-2
Let l(w) = 0 + 5*w + 1 - 3*w**2 - 3*w. Let n be l(-1). Let i be ((-5)/(-2))/(n/(-24)). Solve -2*z = -7*z - i for z.
-3
Suppose -5 = -h + 17. Let s = -11 + h. Solve 4 + s = 5*m for m.
3
Let t(f) = -f**2 + 4*f + 4. Let g(a) = -a - 1. Let u be (-28)/5 - 3/(-5). Let y be g(u). Let z be t(y). Solve 0 = -4*w - 8 + z for w.
-1
Suppose -15 = -3*b - s, -2*b + 9 + 1 = 3*s. Suppose 0 = 2*o + 4 - 34. Solve -o = -b*y + 5 for y.
4
Suppose -9 = 3*p + 5*b + 6, -b - 3 = 5*p. Suppose -2*k - 2 = -4*k. Solve -3*d + 11 + k = p for d.
4
Suppose 0 = 4*h - 2*h + 4*t - 20, -5*h = 5*t - 25. Solve h*s + 4*s = -8 for s.
-2
Suppose -14 = -3*x - 2*w, w = 6*x - 2*x - 15. Let z = 4 - -5. Solve o = x*o + z for o.
-3
Suppose x - 4*m - 51 = 0, -x + 23 = 5*m - 46. Let o(p) = -4*p**2 + 2. Let a be o(3). Let c = a + x. Solve q - 6*q = -c for q.
5
Suppose 0 = -5*t - 0*t + 5. Solve 2*c + t + 9 = 0 for c.
-5
Let y(h) = h + 5. Let c be y(-4). Let n be 2 + 0 + -2 - 0. Let g be (n - -1)*3 - c. Solve 0 = 4*v - 6 + g for v.
1
Let l = 46 - 34. Solve -5*k + 13 + l = 0 for k.
5
Suppose 9*m - 12*m + 24 = 0. Solve -4*a - 4 - m = 0 for a.
-3
Suppose 34 - 4 = 3*h. Solve 0 = -5*s + h - 35 for s.
-5
Suppose -3*q - p + 3 = 0, -2*q + 9 + 1 = -2*p. Let f = -3 - -5. Suppose -f*j = -4*d + 3*j, 4*d = q*j. Solve d*s = -s for s.
0
Suppose 5 - 1 = -u. Let p = 6 + u. Suppose 10 = 5*y - 5*v, 4*v + 4 = 3*y - 2. Solve -y*z = -2 - p for z.
2
Let b(i) = -7*i**2 + 23*i + 2. Let z(k) = 3*k**2 - 11*k - 1. Let g(j) = 4*b(j) + 9*z(j). Let s be g(-6). Solve 5 + s = -2*u for u.
-5
Suppose 0 = -3*o + 13 - 10. Solve -o - 2 = c for c.
-3
Let t(d) = -d**2 + 10*d - 4. Let m = 3 + 5. Let h be t(m). Solve -4*v - h = -0*v for v.
-3
Let d(q) = q**2 + 4*q + 4. Let u be d(-4). Let v = -11 + -17. Let n = v + 47. Solve 0 = -u*p - n + 7 for p.
-3
Let h(q) = -q**3 + q. Let l be h(1). Suppose l*d = -d. Solve -1 = -a - d*a for a.
1
Let d(h) = -h - 4. Let y be d(-5). Let j be (-1 + 3)/(y*2). Let n = j - 1. Solve -2*t - 3*t + 10 = n for t.
2
Let j(y) = -y**2 - 5*y + 4. Let v be j(-5). Suppose -5*x + 7 = -2*x + 4*l, 4*l + 28 = 4*x. Solve -x - 11 = -v*z for z.
4
Let v(l) = -l - 4. Suppose m + 0 = q + 1, 4*q = 5*m. Let x be v(m). Solve x = a + 3*a - 4 for a.
1
Let u be (-14)/7 + (3 - -1). Suppose 2*b = -2*q - 24, q = 5*b - u*b + 8. Let a = -4 - q. Solve z + 1 = -a for z.
-4
Let z = 2 + 0. Suppose -z*g = -4*y - 0*g + 6, 0 = -4*y - g + 9. Solve y*s - 2 - 2 = 0 for s.
2
Let d be -2 - (-1 - 0) - -6. Let q = d + -1. Suppose q*h + h - 15 = 0. Solve -h*f - 4 = 8 for f.
-4
Let q(m) = m**2 - 9*m + 7. Let p be q(9). Let l be p - (-1 - -2)*2. Suppose -5 = -l*g + 3*w + 17, 5*w - 15 = -2*g. Solve -4*f = f - g for f.
1
Let j(l) be the third derivative of -l**4/24 - 2*l**3/3 - l**2. Let y = -20 - -12. Let d be j(y). Solve 6 + d = -5*v for v.
-2
Suppose 3*g = -4*m, 5*g - 31 = 5*m + 4. Solve v = 3*v - g for v.
2
Let l = 20 + -14. Solve l*k - 10 = k for k.
2
Suppose -3*j = -6, 2*j - 6 = -a - a. Let k = a - -1. Solve -k = c - 7 for c.
5
Suppose -j + 5*h = 12, 0*h - 4*h + 12 = 0. Let m(k) = k - 1. Let f be m(j). Let w = -10 - -11. Solve -3*g + f*g = w for g.
-1
Let k = 17 - 12. Suppose -k*p + 25 = -0*p. Solve -3*s + 4*s = -p for s.
-5
Let d(y) = y + 8. Let s be d(-6). Suppose i + 5*i - 42 = 0. Solve i*b = s*b for b.
0
Suppose 2*i = -3*m + 6*i + 10, -5*m + 5*i + 15 = 0. Solve m*y = 9 - 3 for y.
3
Let j = -99 - -102. Solve -j*w = -2*w for w.
0
Let u be 15*7/((-105)/12). Let k = u + 15. Solve -k*p + 4 = -p for p.
2
Let c(t) = 4*t**3 - 2*t**2 + t. Let x be c(1). Suppose -2*f - f + 4*a = -10, -3*f = 3*a - x. Suppose 6 + 6 = f*z. Solve 2*q + z + 4 = 0 for q.
-5
Let a(c) = -2. Let z(f) = -f - 4. Let o(h) = -5*a(h) + 2*z(h). Let i be o(-3). Solve 2*g + i = 2 for g.
-3
Suppose 94*h + 5 = 9