+ 2. Let j be u(2). Solve 0 = -4*z + 6 - j for z.
-3
Let n be (-60)/(-21) + 2/14. Solve 0*p = 3*p + n for p.
-1
Suppose 4*l + 3 = 5*l. Suppose 3*d = -4 - 8, l*i + 20 = -5*d. Suppose -4 + i = -2*k. Solve -2 = k*h + 2 for h.
-2
Suppose -4*f - 4*g + 8 = -0*g, 2*f + 2 = 4*g. Suppose 5*y + 15 = 2*h, -5*h - y = f + 2. Solve h*m - 4*m - 4 = 0 for m.
-1
Let i = 14 + -8. Suppose 0 = -2*y - 2*h + 8, -i*h + 24 = 5*y - 2*h. Solve -5*t + 12 + y = 0 for t.
4
Let s(p) = -4*p - 5. Let r be s(-2). Solve r*l + 10 = -2*l for l.
-2
Let u = 2 + -2. Suppose -b + 13 = -3*d + b, d - 2*b = -3. Let p be 2/d - 36/(-90). Solve p*o - o - 1 = u for o.
-1
Let i be (9/(-6) + 1)*0. Suppose 4*a + 0*a = i. Solve 0*f - 5*f + 10 = a for f.
2
Suppose 4*t + 4*q = -16, -5*q = 5*t - t + 17. Suppose -6*i - 14 = n - i, 0 = -4*n + 3*i - 10. Let c be (2/n)/(t/24). Solve -5 = c*k + 3 for k.
-2
Let b(n) = n**2 + 9*n + 4. Suppose -j - 9 = -0. Let c be b(j). Suppose -2*l + 3 = -9. Solve -l*h = -c*h for h.
0
Let n be 2/(-10) - 96/(-30). Let r be (15/(-6))/(n/(-6)). Solve 0 = -d - r for d.
-5
Let j(b) = -b**3 - 4*b**2 + 4*b - 3. Let m be j(-5). Suppose x + 2 = 3*x. Suppose 4*o - 49 = 5*f, 0 = -4*o + 5*o - 5*f - x. Solve -2*i - o = m*i for i.
-4
Let s = 6 + -5. Suppose -5 - s = -m. Let p = m - 4. Solve 4*j = -2 - p for j.
-1
Suppose -t - 9 = 2*t. Let m = -3 - t. Solve m = -5*l - 0*l + 10 for l.
2
Let y(p) = -p**2 + 2*p + 1. Let f be y(-2). Let b(a) = a + 7. Let s be b(f). Suppose 0 = 5*l - s*l. Solve 4*o - 20 = -l*o for o.
5
Let p be 0/(-1 + 0) + 8. Let y = 0 + 0. Let u be 2/(3*3/36). Solve y = -4*r - u - p for r.
-4
Suppose 0*q - 39 = -3*q. Let u = 19 - q. Suppose x - u = -x. Solve -2*t + x = -t for t.
3
Let m(s) = s**3 + 2*s**2 + 2*s + 1. Let i = -1 + 6. Let y(x) = -x**3 + 5*x**2 + x - 6. Let w be y(i). Let d be m(w). Solve -f + 4 = -d for f.
4
Let z(i) be the second derivative of -i**5/20 - i**4/6 - 2*i**3/3 - 3*i**2/2 - i. Let s be z(-2). Solve -s*w - 7 = 18 for w.
-5
Suppose -4*i = -9*i + 15. Solve 4 = i*x + 19 for x.
-5
Suppose 0 = 4*p - 2*p - 6. Suppose -p*b + 75 = 12. Let z be 4/(-14) + 132/b. Solve 2*t + z = 4*t for t.
3
Let c = -12 - -12. Solve -16 + c = 4*p for p.
-4
Let q(k) = k**2 - k - 3. Let s be q(3). Solve 3 = s*l - 12 for l.
5
Suppose -16 = -u + 4*w, -2*u + 3*w = -w - 12. Let p be (u/(-2) + -2)/2. Let t = 1 + 4. Solve 0 = -t*c - p*c + 15 for c.
3
Let u(n) = -n**3 - 8*n**2 - 7*n + 6. Let v be u(-7). Suppose 4*p + 376 = v*p. Let f be p/36 - 4/18. Solve -f*x + 0 = 15 for x.
-3
Let k be -10*(54/(-30) + 1). Solve 3*g = 5*g - k for g.
4
Suppose 3*o = -o + 2*m + 102, -25 = 5*m. Solve -4*t + o - 7 = 0 for t.
4
Let j(u) be the third derivative of u**5/60 - 5*u**4/12 + 13*u**3/6 - u**2. Let r be j(9). Solve 6 = r*a - 2 for a.
2
Let g be 16/3 + (-1)/3. Let j(t) = t**3 + 8*t**2 + 7*t + 9. Let o be j(-7). Suppose -m - 2*m = -o. Solve m*v - 1 = g for v.
2
Let f(o) = o + 13. Let u be f(-13). Solve l - 6*l + 5 = u for l.
1
Let j be (4 - 2)*2/4. Let z be ((-1)/1)/(j/6). Let y be 1/(-2)*2 - z. Solve 4*b = -11 - y for b.
-4
Let d(i) = i - 16. Let b be d(21). Solve 0*n = b*n + 25 for n.
-5
Let k(j) = j**3 - 5*j**2 + 6. Let i be k(5). Suppose 0 = h - i*h + 10. Solve -w = w - h for w.
1
Let c(t) = 11*t + 79. Let y be c(-7). Let f = 20 - 13. Solve -f*v = -y*v + 20 for v.
-4
Let b(y) be the first derivative of y**5/20 + y**4/12 + y**3/6 + y**2/2 - 2. Let u(q) be the second derivative of b(q). Let t be u(-1). Solve t*a = a - 4 for a.
-4
Let w(x) = x**3 - 7*x**2 + x - 3. Let a be w(7). Solve f + 3*f = -a for f.
-1
Let f(y) be the third derivative of y**5/60 - y**4/24 - y**3/6 + 4*y**2. Let j be f(-1). Solve -j - 4 = v for v.
-5
Suppose 4*p = 3*l - 9, -l - 2*l + 9 = 2*p. Suppose 0 = -2*m + 7 + l. Suppose m*q + 3 = -2*v + 10, 8 = v - 2*q. Solve o = 4*o - v for o.
2
Let y(z) = -z**2 + 3*z + 12. Let q be y(8). Let x = -25 - q. Solve 1 + x = p for p.
4
Let l = -17 + 7. Let v be 15/20 + l/(-8). Solve -v*p + 9 = -5*p for p.
-3
Let z = 46 + -40. Solve -z*v = -8*v for v.
0
Let o(d) = -d**3 + 10*d**2 - d + 13. Let q be o(10). Solve -2*b + q = -1 for b.
2
Let q be (-14)/(-63) + (-34)/(-9). Solve -q*i - i = 10 for i.
-2
Let q be 33/4 - (-2)/(-8). Suppose -2*o + q = -0*o - 2*z, 5*o - 13 = -2*z. Let x(m) = 4*m**2 + m - 2. Let g be x(-2). Solve -o*b - g = 3 for b.
-5
Let a(n) = n**2 - 4*n + 3. Let w be a(4). Suppose 0 = -2*y - w*y. Solve -4 = -p - y for p.
4
Suppose 5*p - 3*o - 56 = -12, 3*p - 4*o = 33. Let l = p + -4. Solve l*x = -x + 16 for x.
4
Suppose -4*m = -3*f - 3, 5*m - f - 5 = 4*f. Suppose 0 = -8*j + 5*j + 12. Suppose 12 = j*r - m. Solve -r = -2*d + d for d.
3
Let w(x) be the second derivative of x**3/6 - x. Suppose -5*q = -5 - 5. Let g be w(q). Solve 6*j - 12 = g*j for j.
3
Let c = -4 + 6. Suppose -c*a + a + 6 = 0. Suppose a*i - 2*i - 8 = b, 4*i + 2*b = 8. Solve 0 + 10 = i*v for v.
5
Let h be 1/(-5) - 42/(-10). Let b be (-3)/(-12)*2*h. Suppose 6 = 3*c + n, 6 = 5*c - b*c - n. Solve v = -c*v + 6 for v.
2
Let a(g) = -g**2 + 13*g - 7. Let i(p) = -p**3 - 4*p**2 + 2*p - 3. Let k be i(-5). Let w be a(k). Solve -w*h - 8 = -h for h.
-2
Let j be (-2)/10 - 273/(-15). Suppose 0 = -2*a - 5*r + 39 + 16, -21 = -a + 4*r. Let o = a - j. Solve -o = b - 3 for b.
-4
Let i be (-7 - -1)/((-36)/24). Solve 1 = 3*t + i for t.
-1
Suppose l - 2*b - 16 = 0, -2*l + 7 = 3*b - 2*b. Solve 0*w + 3*w = -l for w.
-2
Suppose 3*w = 12*w - 9. Solve v + 1 = -w for v.
-2
Let o(s) = s**2 - 12*s + 1. Let w(j) = j**2 - 11*j + 1. Let h(x) = -6*o(x) + 7*w(x). Let f be h(6). Solve 0 = f*q - 2*q + 5 for q.
-1
Let j(u) = 2*u + 6. Let d be j(-5). Let q be (-4)/6*6/d. Solve 4 - q = -3*p for p.
-1
Let t(y) = -4*y**2 + 3 + 6*y**3 - 5*y**3 - 2*y**3 - 5*y - 2*y**2. Let i be t(-5). Solve 4*g + 1 = i*g for g.
-1
Let j be 32/18 + 12/54. Let s be (3/1)/6*j. Solve s = -r - 2 for r.
-3
Let r = 6 - 2. Solve 3 = -r*h - 1 for h.
-1
Let d = 1 + 1. Let c be 2 + 2 - (2 - d). Suppose 3*f - m = 5, m - 11 = -5*f + c*m. Solve f - 3 = z for z.
-2
Suppose -d = -2*d + 4. Solve 0 = -5*l + d*l + 4 for l.
4
Let k(x) = x**3 + 4*x**2 + x + 8. Let t be k(-4). Solve 0 = t*w - 7*w + 3 for w.
1
Let z be (0 - (-10 + 2))/(-1). Let r = z - -8. Let i(x) = x**3 - x**2 + 2. Let h be i(r). Solve -3*k = h*k + 20 for k.
-4
Suppose -8 = 3*g + 4. Let x = g - -4. Solve x = -q - q for q.
0
Let y = -40 - -40. Solve y = -2*b - 2 - 4 for b.
-3
Let v(x) = x - 4. Let a be v(-5). Let u(l) = -6*l + 9 - l - l - l**2. Let m be u(a). Solve 3*t + 4 + 8 = m for t.
-4
Suppose 2*a - 5*z = 20, -4*a = -5*z - 11 - 9. Suppose 3*s - 8*s + 25 = a. Solve 0*x = s*x + 20 for x.
-4
Let b(w) = 2*w - 7. Let y be b(6). Suppose -4*x + y = x - 3*v, 0 = -x + 5*v - 21. Solve -h - x = -0 for h.
-4
Suppose 3*r - 35 = -11. Solve -5*i = -i + r for i.
-2
Suppose 5*h = 2*f + 21, f - 4*f - 12 = -h. Solve -w = -h*w for w.
0
Let a = -1 + 1. Suppose -3*w - 2*w = a. Solve w = 4*j + j + 15 for j.
-3
Suppose -3*j - 9 = -6*j. Solve -j*o - 4 = -13 for o.
3
Suppose v = -5 + 11. Solve 1 - v = -n for n.
5
Suppose -8*t + 4 = 4. Solve -4 = 2*l - t for l.
-2
Suppose 14 = 2*m + 3*s - 8, -3*s + 38 = 4*m. Let z = m - 6. Solve z = -2*j - 6 for j.
-4
Suppose -3*o = -o + 8. Let t = o - -9. Solve -3*j + t*j = -8 for j.
-4
Suppose n = -0*n + 2. Suppose 0 = 2*y - 12. Solve y*p - n*p + 4 = 0 for p.
-1
Let d = 7 + 8. Suppose d = h + 4*h. Solve -11 = h*n + 1 for n.
-4
Let d(g) = -g**2 + 15*g - 16. Let a be d(12). Suppose -2 - 13 = -3*u, 5*h - 4*u = a. Solve -2*y - 2*y = h for y.
-2
Let a = 139 + -138. Suppose j - 4*h + 3 + 6 = 0, -2*j = 5*h - 34. Let z = -1 + 4. Solve z*n + j = a for n.
-2
Suppose 8*p + 24 = 5*p. Let q = 8 + p. Solve q = u - 5 + 1 for u.
4
Let z be (20/6)/((-3)/(-18)). Solve 0 = -2*b + 7*b + z for b.
-4
Suppose -5*u = -2*u - 15. Let m be 2/u - 108/(-30). Let l be m/(-8)*0/1. Solve x = -l*x for x.
0
Suppose 8 = 5*k - 7. Let d(z) = 3*z**2 - 2*z - 1. Let w be d(k). Suppose -2*y + 7*y - w = 0. Solve -y + 6 = -v for v.
-2
Let a(r) = r**2 + 5*r - 4. Let m be a(-6). Solve 3*c = -5 + m for c.
-1
Let m = -3 + 5. Suppose m*i - 6 = -5*q, 2*i - 4 = -3*q + 2. Solve q*s = 3*s for s.
0
Let v be (-14 - -8)*(-1)/2. Let k(r) = -r**3 - 2*r**2 + r - 3. Let f be k(-3). Solve -v*x + 18 = f for x.
5
Suppose 5*i - 29 = 3*i + 5*m, -13 = -4*i + m. Solve d - i + 4 = 0