.
2
Let c = 0 - -1. Suppose -2*i + 2*m = -m - 5, 5*i + 5*m = 25. Solve 0 = v + c - i for v.
3
Let s(g) = -11*g. Let u be s(-2). Suppose 0 = -6*m + m - 75. Let h be ((-24)/m)/(4/10). Solve h*y = -6 + u for y.
4
Let c(h) = -2*h - 11. Let v be c(-8). Solve 0 = -v*y + 14 + 6 for y.
4
Suppose -3*m + 4*m = 3, -r = m - 9. Let g be 74/14 - r/21. Suppose -2*a + 3 = a, -g*n + 3*a + 7 = 0. Solve 2*x = -n*x for x.
0
Let f = 8 + -3. Suppose -f + 1 = -c. Solve -4*k + 0*k - c = 0 for k.
-1
Let m be 3*(-2)/(1 + -7). Let d be (8/12)/(m/6). Let x be 22/(-11)*(-14)/d. Solve -18 = 5*v + x for v.
-5
Suppose -n + 2*w = 7*w + 7, -15 = -3*n + 3*w. Suppose n*o - 24 = -o. Suppose 6 = 3*p - o. Solve i + i = -p for i.
-2
Suppose -4*a = -5*k + 25, -4*a - 6 = -3*k + 9. Solve -m + k = 1 for m.
4
Suppose -5*o + 3*x = -10, 0 = 2*o + x - 7 - 8. Let w be 6/12 + (-14)/(-4). Suppose 2*c + 2*c - o*d = 5, 4 = c - w*d. Solve c = -q + 7 - 4 for q.
3
Suppose 2*p - 2 = 3*p + 2*t, -5*p + 29 = -3*t. Solve 4 = p*r - 16 for r.
5
Suppose 7*v + 10 = 2*v, -4*b + 20 = 2*v. Let w = b - 1. Solve -w*z = -5 - 10 for z.
3
Let r = -8 + 9. Solve 0 = -4*z - r + 9 for z.
2
Let v(x) = 2*x**3 + x**2 - 6*x + 3. Let p be v(2). Solve 2*q - 5 + p = 0 for q.
-3
Suppose -2 = d - 7. Let u be (1/(-2))/(d/(-60)). Solve 0 = -3*h - u - 0 for h.
-2
Let q(v) = -18*v**3 - v**2 + 2*v - 1. Let c be q(1). Let f be (-58)/(-8) - c/24. Let m be 2 - (-1 + 2)*-1. Solve f*u = m*u for u.
0
Let j = 39 - 35. Solve 3 = -j*f - 13 for f.
-4
Let y = 17 + -15. Solve -y*r = -0*r - 2 for r.
1
Let h be 10/30*(1 - -8). Suppose -h*v + 9 + 0 = 0. Solve -t + 4 = -v*t for t.
-2
Let j(t) be the second derivative of -t**3/6 - 2*t**2 - t. Let l be j(-8). Let v be 3*(1 - -1*l). Solve -2*y - v = 3*y for y.
-3
Suppose 5*w + 2 = 12. Solve 3*h - 2 = w*h for h.
2
Let q(p) = -16*p + 1. Let o be q(-2). Suppose 0 = -5*z + o - 8. Let j = z + -3. Solve -2*n + n = -j for n.
2
Let s be (-9)/(27/(-12)) + -2. Solve -2 = s*m - 0 for m.
-1
Suppose 0*x = -x + 5. Suppose 0 = -4*i - t + 44, -2*t = -i + 10 + 1. Solve -9 - i = -x*v for v.
4
Let n be (1 + -3)/((2 + 0)*-1). Solve -n + 2 = -l for l.
-1
Let z = -39 - -43. Solve -z*o = -o for o.
0
Let a be ((-8)/(-10))/((-6)/(-30)). Solve 3*w + a = 10 for w.
2
Let q be -2*6/(-8)*-2. Let o be ((-2)/4)/((-3)/18). Let g = q + o. Solve -3*r + g*r + 6 = 0 for r.
2
Suppose -3*l - 2*p = -8, -2*p + 6*p = 2*l. Solve 2*x = -l*x for x.
0
Let y = 61 + -58. Solve -y = s - 1 for s.
-2
Suppose -2*f = 2*f. Let y be (2 + (f - 2))/1. Let b(k) = 2*k**3 + 2*k - 1. Let x be b(1). Solve 9 = x*c - y*c for c.
3
Suppose m = 3*m - 8. Solve m = o - 1 for o.
5
Suppose 0*q - 10 = -2*q. Suppose -v - 2*o - q = 0, -4*o - 18 = v - 3. Let l be (1/2)/((-2)/(-12)). Solve -l*d - 2*d = v for d.
-1
Suppose -18*o + 15*o = -6. Solve -y = o*y + 6 for y.
-2
Suppose -7*q = -2*q - 50. Let y(b) = 2*b**2 + 4*b. Let n be y(-3). Let c = n + -1. Solve -q = c*i - 0 for i.
-2
Let h(c) = 3*c - 16. Let s be h(7). Suppose -2*y - 12 = -4*l, 4*l - 5*y - 12 = -0*l. Solve -l*w - s - 1 = 0 for w.
-2
Let c = -4 + 7. Solve c*u + 5 = -2*u for u.
-1
Let a(d) = -d - 5. Let s be a(-8). Suppose -f + 30 = s*h + 4*f, 5*f = 2*h + 5. Solve h*v - 4*v = 0 for v.
0
Suppose u = -4*u + 15. Solve -3*j - u - 12 = 0 for j.
-5
Suppose 0 = 2*f - 8 - 8. Let w = 17 - 3. Let z be (-4)/w - (-4)/14. Solve 0*v - 4*v + f = z for v.
2
Let a = -21 - -23. Let d be (a + -2)/(0 - -2). Solve 5*g - 5 = -d*g for g.
1
Let d = -16 - -8. Let f(s) = -s + 2. Let j be f(d). Suppose 2*t = -3*t + j. Solve t = -5*v - 13 for v.
-3
Let w be 6/(18/15) + -2. Solve -k = w*k + 12 for k.
-3
Let f = -178 + 338. Suppose -2*i - 3*i = f. Let p be ((-15)/4)/(6/i). Solve -s - p = 3*s for s.
-5
Let f(r) = -r**3 - 11*r**2 - 11*r - 5. Let w be f(-10). Solve 18 - 3 = -w*b for b.
-3
Let v be 4 - (2 - (-2 - -2)). Suppose v*f + 128 = -2*f. Let m be f/(-18) - 2/(-9). Solve 3*y + m*y - 15 = 0 for y.
3
Let f(c) = -14*c - 2. Let z be f(-1). Solve 0 = 2*v + 2*v - z for v.
3
Let a be 11/(-11)*(-4)/2. Solve p - a*p - 1 = 0 for p.
-1
Suppose q - 5*c + 5 = -1, -5*q - 5*c = -30. Solve -q*g + g = 3 for g.
-1
Let i(c) = c**2 + 4*c + 6. Let a be i(-3). Solve 2 = -a*o + 14 for o.
4
Suppose -5*n = -2*a + 33, 3*n = -4*a + 2*n + 11. Solve -y = a*y for y.
0
Let b = 83 - 81. Solve b = 4*h - 6 for h.
2
Suppose -4*c - x - 13 = -9*c, 5*c = 2*x + 11. Solve c*b = 5*b - 6 for b.
3
Suppose 4*a - 15 = 1. Solve -a*x + 0*x - 4 = 0 for x.
-1
Let f(h) = h + 3. Let g be (-1)/2 - 15/6. Let s be f(g). Let u = s - 0. Solve u*c - 25 = 5*c for c.
-5
Suppose 2*k - 6 = -0*k. Suppose 2*z = z + 4. Suppose -z*r = -r. Solve r = -0*d + k*d for d.
0
Let i(y) = -3*y - 8 - y**2 - y + 2*y**2. Suppose 0 = -5*x + 11 + 19. Let g be i(x). Solve -11 = -g*b - 3 for b.
2
Suppose 0 = 4*u + 11 - 15. Solve -u + 6 = 5*l for l.
1
Let o = -4 + 10. Let g(c) = -c. Let z be g(o). Let w be (2/2)/(z/(-18)). Solve 0 = w*s + 2*s + 25 for s.
-5
Suppose 0 = -4*r - 3*u + 5, 3*u = -2*u - 5. Suppose 0 = -6*x + r*x. Solve -8 = -x*q + 2*q for q.
-4
Let f be (-5)/((-45)/(-12))*-6. Solve -f*w + 20 = -4*w for w.
5
Suppose -i + 4*i - 12 = 0. Solve 3 = i*m - 1 for m.
1
Let w = -20 - -24. Suppose 3 = 4*g - 5*z, 4*z - 8 - 6 = -5*g. Solve w*h = g*h for h.
0
Let c(g) = 3*g + 2. Let y be c(1). Solve 0 = y*f + 16 + 4 for f.
-4
Let d be (-122)/(-8) + (-24)/(-32). Let a be d/56 + (-4)/14. Suppose 2*c + 8 = 6*c. Solve a = -c*v - v - 9 for v.
-3
Let u be (-8)/32 - 82/(-8). Solve 0 = -4*z + u - 2 for z.
2
Suppose 3*q + 4*t = -8, q + 4*t - 2*t + 6 = 0. Solve i = q*i for i.
0
Let l(k) be the third derivative of k**4/24 + k**3/3 - k**2. Let q be l(-2). Solve -7*j + 2*j = q for j.
0
Suppose 0 = -3*a - a - 32. Let k = 8 + a. Let d be (-6 + k)/(-2 - 0). Solve -d*r + 2*r + 4 = 0 for r.
4
Let p(f) = -5*f - 2. Let y be p(-3). Let g = -19 + 27. Suppose -2*j = -g + 2. Solve 5*i - j + y = 0 for i.
-2
Let s(q) = -q + 4. Let o be s(2). Let y = -2 + o. Solve 4*n + 16 = -y*n for n.
-4
Suppose -30 = -0*d + 5*d. Let r be (-16 - d)/(0 + -2). Let x be 4/(-10) + 2/r. Solve x = -2*z - 1 - 1 for z.
-1
Suppose 0*p - 3*p = -9. Let d be (-62)/217 + (-1)/((-14)/172). Solve 0*a - p*a = d for a.
-4
Let o(s) = -s**2 + 10*s + 12. Let a be o(11). Let g be a*((1 - 3) + 52). Suppose n + 4*n = -4*t + g, -2*n + 4*t - 8 = 0. Solve -4*f = -n - 10 for f.
4
Let s be (3 + -4)*14/2. Let v = -14 - s. Let y = -2 - v. Solve -y*z - 8 = -3*z for z.
-4
Suppose -54 + 57 = q. Solve -q = -2*g - g for g.
1
Let i = 66 - 66. Solve 2*d + d - 12 = i for d.
4
Let l(j) = 9*j**3 + 2*j**2 - j. Let p be l(1). Solve p = m + 4*m for m.
2
Suppose -2*n + 4*g + 14 = 0, -4*g - 4 - 16 = 0. Let j = n + 6. Solve 6*m = j*m - 12 for m.
-4
Let y(z) = -z**3 - 2*z**2 - z + 1. Let d be y(-2). Let a = d + 1. Let r = 5 - 1. Solve r = a*u - 0 for u.
1
Suppose 2*d - 8 = -2*d. Suppose -2*k = 3*k - 25. Suppose -s - d*s + 4 = -q, s = -k*q + 28. Solve -s*j = -2*j + 4 for j.
-4
Suppose -b - 2 = -d - 5*b, -d + 2 = 2*b. Suppose 0 = -c + d*c - 2. Solve -c*z + z = 5 for z.
-5
Let z = -3 - -4. Solve 2*y = -z - 1 for y.
-1
Suppose -7*y + 52 = -3*y. Solve 4*g + 5 = y for g.
2
Let g = -13 + 22. Let l(j) = 3*j**2 - j + 1. Suppose -2 - 2 = -4*o. Let z be l(o). Solve 0*x = z*x + g for x.
-3
Let r = 3 - 0. Let x = r - -4. Solve 2*i - x*i - 5 = 0 for i.
-1
Let t = 30 + -15. Suppose -3*q + t = -0*q. Solve -q*g + 2*g = 12 for g.
-4
Suppose 5*v - 2 + 7 = 0. Let p be 1 + (-2 - v) + 0. Suppose -j + 4*y + 20 = p, -y = -4*j - 0*j + 5. Solve 4*x + 4 + 0 = j for x.
-1
Let t(y) be the first derivative of -y**2/2 + y - 1. Let f be t(1). Suppose f = -4*r + r + 6. Solve -r*u = -0*u - 8 for u.
4
Let n = 7 + -5. Let v be (-2 + 8)*4/8. Suppose -5*x = -25, -4*y - x + 15 = 2*x. Solve y = v*a - n*a - 4 for a.
4
Let j = 28 - 20. Let d(u) = -u + 11. Let b be d(j). Let r = -2 - -4. Solve -b*a = r*a for a.
0
Suppose -3*t - 3*f + 7 = -2, f = -3*t + 17. Solve 20 = -t*s + 2*s for s.
-4
Let c = 55 - 36. Let g = 27 - c. Let v = -5 + g. Solve -v*b - 8 = b for b.
-2
Suppose m - 3 = -0. Suppose -m*u - 4 = -16. Solve -3*y + u = -2*y for y.
4
Let n = 15 - 10. Suppose 7 = -3*u + 1, 2*c - 14 = n*u. Solve 5*p - c = 4*p for p.
2
Let s(y) = y + 4. Let w be s(-2). Solve -w = 2*g - 4*g for g.
1
Let q(d) = d**2 + 9*d - 8. Let h be q(-10). Let u = 4 + -2. Solve u*z 