+ 2. Let d be v(m). Suppose 6*c = c + 10. Solve d*g + c = -2 for g.
-2
Suppose 15 = 5*f + 5*c, -2*f - 4*c + 5 = 1. Solve -u = -f*u for u.
0
Let o(x) be the second derivative of -x**5/20 - x**4/12 - x**3/6 - x**2 + 2*x. Let t be o(0). Let z be 6*(-1)/6*t. Solve z*g - 3*g + 2 = 0 for g.
2
Suppose 9 - 3 = 2*c. Solve -1 = q + c for q.
-4
Suppose c + 2*c + 23 = 4*d, 0 = -5*c + 15. Let s = -5 + d. Let n be s/(6/22) - -2. Solve 5*w = n - 3 for w.
2
Let z(l) = l - 2. Let y be z(0). Let v be (-10)/55 + y/(-11). Solve 0*w - 4*w = v for w.
0
Suppose 8 = 4*l, -58 = -4*g + l - 20. Solve -7*m = -2*m - g for m.
2
Let s(z) = 5*z - 2 + 0 - 5 + 2. Let q be s(5). Solve 0 = -3*a - a + q for a.
5
Suppose d - 6 = -0. Let p(x) = -x + 4. Let s be p(2). Let n be d - (-1 + 1) - s. Solve -n*l = 10 + 2 for l.
-3
Let g be ((-45)/20)/((-3)/(-8)). Let z be (-4)/g - (-4)/3. Solve 0 = -z*o + 1 + 3 for o.
2
Let c = 12 - 4. Suppose 0 = -2*j + c. Solve -3*w - j = -w for w.
-2
Suppose 2*u = -3*f + 6, -4*u + 5*f - 4*f = -12. Solve -2*p = -1 + u for p.
-1
Suppose 0 = -4*q + 5*q - 20. Solve -2*a = 3*a + q for a.
-4
Suppose -22 = -4*t - 3*y, 4*y + 6 = y. Solve t = 2*w - 1 for w.
4
Suppose 0 = -2*o + 5*m + 50 - 1, o + 4*m = -8. Suppose -6*a + 2*a = -20. Solve c = a*c - o for c.
3
Suppose -l + 0*l - 5 = 0. Let m(j) = j**2 + 6*j - 1. Let p be m(l). Let x be 9/p + 18/4. Solve -x*t + 4*t = 3 for t.
3
Let l be (-42)/(-28) - (-5)/2. Solve 0 = -0*s + l*s for s.
0
Let h = 17 - 7. Let f be 48/h - (-1)/5. Solve o = 2*o + f for o.
-5
Suppose 5*f + 3 = -2*q, -3*f + 3*q - 5 = 5*q. Solve j + f = 2 for j.
1
Suppose -2*m + 18 = -3*h - 0, -62 = -5*m - h. Solve 2*t + m = 2 for t.
-5
Let b(v) = -23*v**3 + v**2 - v - 1. Let j be b(-1). Let q be ((-3)/2)/((-18)/j). Solve -q = t - 0*t for t.
-2
Let a = -353 - -358. Suppose 0 = -5*z + z + 4*o + 8, -5*z - 4*o - 8 = 0. Solve b + a = -z*b for b.
-5
Let n(f) = -2*f**2. Suppose -2*s + s = 5*z - 1, 4 = 4*s - 5*z. Let x be n(s). Let t = 4 + x. Solve -t*y + 6 = -4*y for y.
-3
Suppose -3*m + 6 = -0*m. Let b = m - -1. Let r be b/(2*(-3)/(-8)). Solve 14 = 2*t + r for t.
5
Let z(n) = n**2 - 12*n + 2. Let r be z(12). Solve 2*j = 3*j + r for j.
-2
Let v = 2 - 2. Suppose 3*c + 4*d - d + 12 = v, -5*d = -3*c - 12. Let f = -1 - c. Solve 0 = -8*u + f*u + 15 for u.
3
Let k(d) = -d - 11. Let n be k(-15). Let p be -1 - -2 - (1 + 0). Solve p*j + n*j = 12 for j.
3
Let j(v) = -v + 9. Let c be j(6). Let h = -6 + 3. Let i = h + c. Solve i = -d + 4 - 1 for d.
3
Suppose 5*d + 22 = 32. Let f(t) = 3*t**3 - 2*t**2 + 1. Suppose -l + 3 = 2*l. Let j be f(l). Solve -4*a = -j*a + d for a.
-1
Let i be 7/2 + (-2)/4. Solve i*d = -0 + 3 for d.
1
Suppose -1 = -h + 15. Suppose 3*k = h - 1. Let w = k - 3. Solve 23 = -5*y - w for y.
-5
Let q be (-2)/(0 + (-4)/6). Suppose 0 = -q*s - 2 + 5. Suppose 0 = 4*j - u - 31, 0 = -3*j + 5*u + 18 + s. Solve 0 = 3*a - j + 17 for a.
-3
Suppose 0 = -4*u + 5*l - 17, 6*l - l = 25. Suppose 0 = -j - u*j + 15. Suppose -3*s - j*h = -s + 15, -15 = s + 5*h. Solve s = 3*z + 3 for z.
-1
Suppose -f + 2 = -4. Let d = 7 - f. Solve 0 = -5*a + 4*a + d for a.
1
Let n be -8 - -2 - (-4)/2. Let h be (n/3)/(5/(-30)). Solve -4*r + 4 + h = 0 for r.
3
Suppose 21 + 11 = 4*o. Suppose o = 4*t - 2*t. Solve t*m + 0 = 4 for m.
1
Suppose 4 = -0*z + 4*z + 4*h, 2*h - 20 = -5*z. Solve -4 = -5*m + z for m.
2
Suppose 0 = -3*y - 24 - 0. Let l = -4 - y. Suppose 0 = l*s - n - 5, -s + 0*s = n - 5. Solve 0 = s*f - 1 - 5 for f.
3
Let j(z) = z - 3. Let r(k) = 2*k - 3. Let b be r(3). Let v be j(b). Solve -d + 3*d + 2 = v for d.
-1
Suppose -4*o = -3*j + 24, -2*o = -3*j + o + 27. Suppose -j = -4*z - 4. Solve -3*u - z*u - 20 = 0 for u.
-4
Let a(h) = 2*h**2 + 2*h + 2. Let s = -25 + 24. Let r be a(s). Solve r*u + 20 = -2*u for u.
-5
Let q(x) = -x**2. Let l be q(-1). Let u be (l - -1)*2/2. Suppose n + 0*n = u. Solve -3*f + n*f = -15 for f.
5
Let x be (1 - -1)/(6/36). Solve 5*t + 13 + x = 0 for t.
-5
Let a(p) = -7*p - 5. Let t be a(-2). Solve 3*n = t + 3 for n.
4
Suppose 1 = 2*x - d - 0, 4*x = -2*d + 14. Solve x*z - 6*z = -12 for z.
3
Let q = -2 - -2. Let n = -7 - -6. Let h be 0/(1*(n - q)). Solve -z - z = h for z.
0
Let z be 4/5*(5 + 0). Suppose 0*c - z*c = 0. Solve -3*p + 0 + 6 = c for p.
2
Let s(w) = w**2 + 4*w + 6. Let l be s(-3). Solve -l = -y - 6 for y.
-3
Let l be (-1)/(-2)*6/3. Suppose -a - l = -3. Solve 2*z = -a*z for z.
0
Let q(t) = t**3 - 4*t**2 - t + 5. Let g(n) = n**2 + 4*n + 3*n**2 + 4 + n - n**3. Let v be g(5). Let k be q(v). Solve 5*w = k - 11 for w.
-2
Let p = 57 + -53. Solve 2 = -p*s - 10 for s.
-3
Suppose -2*p - 18 = -3*p + 4*w, 2*w + 14 = 3*p. Solve -r = p*r - 6 for r.
2
Suppose y + 2 = -4*m, -3*y + 3*m + 4 = -5. Solve -3*r - y*r = 0 for r.
0
Let z = 23 - 18. Suppose -4*d - 5*s - 13 = 0, 35 = 4*d - z*s - 2. Solve -2 = f - d for f.
1
Let a be -4*(85/(-10) + 4). Let u(y) = y**2 + y - 2. Let d be u(-3). Suppose -36 = -4*c + d*w, -4*w - 13 = -c - w. Solve 5*l + c = -a for l.
-5
Suppose 5*o - o = 8. Let d = -1 - -2. Suppose 2 + d = 3*k. Solve -o = -q + k for q.
3
Let a be 2/4*(1 - 1). Let g = 0 + a. Solve -2*i + 0*i = g for i.
0
Let m(t) = t**2 + 4*t - 7. Let y be m(-6). Solve 2 = y*q - 8 for q.
2
Let z be 16/(-12) + 1/3. Let p be -2 + (z - 0) + 3. Solve 3*n + p = -3 for n.
-1
Suppose 0 = 5*z - 2*z - 6. Solve -i - 1 = -z for i.
1
Let v(p) = 3*p - 5. Let z be v(7). Let y = 24 - z. Solve 2*f - 2 = y for f.
5
Let l = 12 - 6. Let o = l - 3. Let j = 6 - o. Solve 4*t = j + 9 for t.
3
Let r be 2/(-4) + (-1)/2. Suppose -5*w - 1 = -4*p + p, 2*p = 2*w - 2. Let s be r + p*2/(-6). Solve s = -3*i + i for i.
0
Let q(f) = -f**2 - 2 - f + 1 - 10*f**3 + 0. Let j be q(-1). Solve j = 5*m - 6 for m.
3
Let x(p) be the second derivative of p**4/12 + 2*p**3/3 + p**2 - 2*p. Let g be x(-5). Let w = 37 - 34. Solve -w*h - 2 = g for h.
-3
Let c be 2/(-9) - 94/(-18). Suppose f + 15 = 2*l + 2*l, 0 = -3*l + 3*f + 9. Let h be 6/2 - (-8)/l. Solve -15 = h*i - c for i.
-2
Let x(g) = -2*g. Let b be x(-1). Let i be ((-6)/(-8))/((-1)/(-4)). Suppose 2*c - 2*o + b = 0, -i*c - 5*o = -4*c - 5. Solve c = -4*d + 2 - 14 for d.
-3
Suppose -4*b = u - 37, -3*b + 7 = -4*u + 3. Solve 0 = y - 5*y + b for y.
2
Suppose -3*f + 3 - 22 = -4*l, -4*f - 5*l = -16. Let y be 4/((-1 + -1)*f). Solve -6*p + y*p = 20 for p.
-5
Let o(a) = -a - 10. Let c be o(-9). Let v = c + 3. Solve -v*g = g + 3 for g.
-1
Let k = 15 + -11. Solve -8 = k*d - 0*d for d.
-2
Suppose 4*p + 5*a - 8 = 17, 4*a + 42 = 3*p. Suppose 5*m + p = 10*m. Solve 0 = -m*f + 7*f for f.
0
Let d(q) = q**3 - 10*q**2 + 10*q - 4. Let o be (36/(-10))/(14/(-35)). Let l be d(o). Suppose l*y = 9*y - 28. Solve 1 + y = 2*r for r.
4
Let l(k) = -k**2 + 5*k. Let q be l(4). Let h = q - 2. Solve t - h = -t for t.
1
Let s = -7 - -5. Let x = -95 + 101. Let u = s + x. Solve u = c - 1 for c.
5
Suppose -2*h = -5*h + 15. Suppose 0 = -h*u + 15 - 0. Solve u + 5 = 2*m for m.
4
Let w be (-24)/18 - 50/(-6). Solve w*o = 3*o - 4 for o.
-1
Let v(p) = 2*p**2 + p - 4. Let b be v(-2). Solve 0 = b*z - 5*z - 6 for z.
-2
Let t = 18 - 16. Solve 0 = -d - 5 + t for d.
-3
Suppose 0 = -2*y - y + 3. Suppose -2*p - 40 = -4*p. Suppose -5*n = -4*n - 2*a - 15, -n - p = 5*a. Solve n = -3*v - y for v.
-2
Let k(l) be the second derivative of l**5/10 - l**4/12 + l**2/2 - 10*l. Let m be (1 + -3)*(-2)/4. Let j be k(m). Solve -7*v = -j*v for v.
0
Let q(w) = 3*w - 9. Suppose 5*t = 3*b - 15, -t + 1 = -5*b + 26. Let a be q(b). Solve x - 3 = -a for x.
-3
Let o(u) = u**3 - 2*u**2. Suppose -3 = -5*w + 4*b, 3*w + 4*b - 5*b - 6 = 0. Let c be o(w). Let s be (-2)/c + 2/9. Solve -2*q + 3*q + 4 = s for q.
-4
Let c = -5 + 10. Solve -1 = 4*p - c for p.
1
Suppose -2 = -4*i + 6. Suppose -i*b - 4 = -4*b. Suppose -2*p - 4*y + 10 = 0, 4*p + 8 = 8*p - 4*y. Solve -p*n = b*n for n.
0
Let b be (12/15)/((-2)/(-10)). Solve b + 6 = 5*s for s.
2
Let z be (-1 + -3)*-1 - 2. Let c be z/(-4) - 10/(-4). Suppose 5*y = c*y. Solve 0 = p - y*p - 2 for p.
2
Suppose 0 = 5*g - 5*m + 9*m - 76, -m = -2*g + 20. Solve -j - 2*j = -g for j.
4
Let x(g) = -4*g - 5. Let r be x(-2). Solve -r*z = -5*z for z.
0
Let t(u) = u**2 + 11*u + 6. Let l be t(-5). Let n be (2/4)/((-6)/l). Solve 0 = -g + n + 1 for g.
3
Suppose 6 = -2*m + w, -9 = 2*m + m - 3*w. Let j be -1 + 0*(-1)/m. Let y = 26 + j. Solve -2*q 