5 = 4*q. Solve 0*v - 2*v + 8 = q for v.
4
Suppose 7*y - 9 = 5. Suppose -4*s + 2*s - 6 = -f, -s - 9 = -y*f. Solve -f*v + 1 = -3 for v.
1
Suppose -4*u - 10 + 42 = 5*c, 2*c - 16 = -2*u. Solve 11*z = 41 - u for z.
3
Let v = -18 + 34. Suppose 9 = -3*r - 6, -v = l + 4*r. Solve -l*g - 16 = -0*g for g.
-4
Let r be (-2)/((-8)/20) + 1. Suppose 0 = -5*u + 9 + r. Suppose u + 0 = q. Solve q*v + 0*v + 9 = 0 for v.
-3
Let f(m) = m**3 + 10*m**2 - 14*m - 24. Let o be f(-11). Solve 2*i - o + 5 = 0 for i.
2
Suppose 0 = y - 2*y. Let j(u) = u + 9. Let s be (4 - (12 - 4)) + -5. Let l be j(s). Solve y*r - r - 5 = l for r.
-5
Let n be 201/3 + (4 + -3 - 6). Solve 6*z + 68 = n for z.
-1
Let u be 1*((1 - 2) + 2). Let o(b) = -b**3 + 5. Let k be o(0). Suppose -5 = -k*y + y - x, y + x - 5 = 0. Solve -n - 3 + u = y for n.
-2
Let o = -26 + 30. Suppose -5*z + 2*f = -18, 0*f + 12 = 2*z + o*f. Suppose -3*w + 44 = -4*t, 5*w + z*t - t - 83 = 0. Solve 4 = -3*i + w for i.
4
Let h be (-1 + 3)*(-104)/(-112)*7. Solve 0 = 8*x - h*x - 10 for x.
-2
Suppose -5*a + 2*x - 39 = 0, a - 2*x + 9 = -x. Let i = a - -17. Suppose -i*d + 5*d + 10 = 0. Solve 0 = -0*v - d*v - 4 for v.
-2
Let h(d) = -2*d**3 - 7*d**2 - 5*d - 4. Let w be h(-5). Suppose -7*t = -t - w. Let c = t + -13. Solve r = -c*r for r.
0
Let x = -6 + 3. Let u = 3 + x. Let s be (3 - 3)*(1 + u). Solve s = -w + 3 - 0 for w.
3
Let l(a) = a + 2. Let u be l(-2). Let o be 1 - (-1 + 2) - u. Let t(i) = -i**2 + 2*i + 7. Let f be t(3). Solve -4*k + o + f = 0 for k.
1
Suppose 3*d - 15 = 3*y, 6 = 4*y + 14. Let i = -26 - -37. Solve 0 = -d*t - 2 + i for t.
3
Let o be (2/(-4))/(1/(-2)). Let s(f) = -f**2 + 1. Let q(r) = 10*r**2 + r - 7. Let y(z) = q(z) + 6*s(z). Let g be y(o). Solve -3*x - g = -x for x.
-2
Let j(p) = 3*p**2 - 2*p + 1. Let l(k) = -k - 5. Let y be l(-6). Let w be j(y). Solve -s + w = s for s.
1
Let h = -813 - -820. Solve 3*q - 16 = h*q for q.
-4
Let n = 73 + 104. Suppose 48 = 9*p - n. Let m be (0/(-2*1))/2. Solve m*k = -5*k - p for k.
-5
Let f be (-90)/9 - (1 - 5). Let g be ((-33)/(-9) + -3)*(-27)/f. Suppose -1 = -o + 2*k - 0, 2*k = -4*o + 24. Solve o*d = g*d for d.
0
Let q(j) be the first derivative of -j**4/12 - j**3/3 - 3*j**2/2 - 3. Let b(p) be the second derivative of q(p). Let f be b(-4). Solve f = 5*m - 9 for m.
3
Let v = -96 - -108. Let q = v + -7. Solve q = -4*n + 13 for n.
2
Let n(k) = -k**3 - 2*k**2 + 2*k - 4. Let t be (3/4)/(6/24). Suppose t*f = 2*f - 4. Let m be n(f). Solve 0 = 4*o + o - m for o.
4
Let w = -636 + 649. Solve -w - 7 = 5*v for v.
-4
Let p(k) = k**2 - 20*k - 212. Let d be p(32). Solve 2*h - d = -170 for h.
1
Let f = -51 + 67. Suppose 0 = -11*g + f*g - 20. Solve -g*c = 16 - 0 for c.
-4
Let c(i) = -2*i**2 - 11*i - 10. Let p be c(-4). Solve 6 = -x - p*x for x.
-2
Suppose 16*c - 31 = -15*c. Solve c = -z - 2 for z.
-3
Let t = 71 - 47. Suppose -t = o + 5*o. Let a be -2 - (3 + o + -3). Solve -a = -2*m + 2 for m.
2
Let b be (-7 - 0)*(-1)/1. Let y(w) = -w**2 + 6*w + 9. Let a be y(b). Let j(v) = v**2 + 3*v + 7. Let r be j(-1). Solve -a*k + 3 = r for k.
-1
Let a = -2 + -13. Let h(x) = x**3 - 19*x**2 + 18*x - 10. Let v be h(18). Let b = v - a. Solve b*t + 3 = -2 for t.
-1
Suppose 0 = -9*y - 4*y + 26. Solve -1 = -k - y for k.
-1
Let s = -22 + 22. Suppose 2*j + 15 + 11 = s. Let a be j/(-6) - (-2)/(-12). Solve 0*l + 10 = -a*l for l.
-5
Let p(b) = -12*b + 172. Let i be p(14). Solve 7 = i*k - 9 for k.
4
Suppose 5*c = -4*i, -2*c - 24 = -4*i - c. Solve 0 = 3*g - i*g + 8*g for g.
0
Let g = 1452 - 1448. Solve 18 - 26 = -g*h for h.
2
Let q(z) = 2*z**2 - 5*z + 1. Let k be q(3). Solve c - k*c = 15 for c.
-5
Let s be 5 + -8 + (3 - 0). Suppose -3*r + 0*r - 18 = s. Let q = r + 8. Solve q*c - 2 = 6 for c.
4
Let h be 3*-2*(3 + -4). Suppose -2*g - h = 0, 3*u = -0*g - 3*g + 18. Solve -5*o = -4 + u for o.
-1
Suppose -5*y - 2*q + 75 + 93 = 0, 140 = 5*y - 5*q. Solve 21*u = 5*u + y for u.
2
Let d(z) be the first derivative of 0*z + 4 - 1/3*z**3 + 3*z**2. Let i be d(6). Solve 4*g - 9 - 3 = i for g.
3
Suppose 3*h - 8 = 4*h. Let o = 5 + h. Let p be (2/o)/(14/(-21)). Solve -2*v = p + 7 for v.
-4
Let u(b) = -b**3 + 3*b**2 + 5*b - 6. Let q be u(4). Let i be -2 + (q - (3 + -2)*-6). Solve -z = i*z + 3 for z.
-1
Let t = 1811 + -1805. Solve -5 = t*k + 13 for k.
-3
Suppose 5*w - 85 = -70. Solve -w*n - 20 + 5 = 0 for n.
-5
Let n be 6 - 6 - (4 + -6). Solve -5*m = -8 - n for m.
2
Let s = 356 - 359. Let p = 3 - 11. Let z = s - p. Solve 0*i - z = i for i.
-5
Let i(d) = -d**3 - 15*d**2 - 11*d + 54. Let q be i(-14). Solve 0 = 11*j + 1 - q for j.
1
Let h be (72/60)/((-4)/(-30)). Solve w + 16 = h*w for w.
2
Let w(p) = 9 - 2 + 13 + 3*p - 3. Let c be w(-5). Solve -j + 0 = -c for j.
2
Let r = -51 - -51. Suppose -2*y - 18 = m + 4*m, -5*m - 20 = r. Solve -6 = -j - y for j.
5
Let l be 3/(-6)*-10 - 5. Solve l = -g - 9 + 7 for g.
-2
Let k(m) = 2*m**2 - 5*m - 46. Let w be k(-5). Solve w = -9*t + 11 for t.
-2
Let z(s) = s**2 - 7*s - 5. Let m be z(8). Suppose 5*n - m*n + 5*c - 2 = 0, -5*n = -c - 32. Solve -5*y + n*y = 1 for y.
1
Suppose 22 = 5*k + 4*u, 4*k + 0 = 4*u - 4. Suppose -j + 6 = -3*i + 9, i - 8 = -2*j. Let a = k + j. Solve -6 - 9 = -a*r for r.
3
Let r(x) be the first derivative of -23*x**4/4 + x**2 + x - 5. Let q be r(-1). Suppose -6 = 4*t - q. Solve 3*w = t*w for w.
0
Let t = -85 + 87. Let y = -15 + 19. Solve y = -t*z + z for z.
-4
Suppose 56 = 10*o - 6*o. Let s = o - 13. Solve s = 2*q + 7 for q.
-3
Let i = -22 + 24. Suppose m = i*k + 21, 5*m - 105 = -k + 2*k. Let s = 28 - m. Solve -3*o + 2 + s = 0 for o.
3
Suppose 2*c - 3*c = -2*g - 22, 3*c - 51 = 3*g. Let x(k) = -k**2 + 13*k + 3. Let j be x(c). Suppose 5*p = -5*s, j = 2*p - 4*p - 5*s. Solve -3*q - p = -2 for q.
-1
Let r(o) = o**2 - 3*o - 10. Let y(m) = -2*m**2 + 6*m + 20. Let l(v) = 5*r(v) + 3*y(v). Let z be l(5). Solve -2*w + 3*w + 1 = z for w.
-1
Suppose 40 = 23*h - 3*h. Solve 0 = m - 3*m + h for m.
1
Let j be 11/792*8 - (-250)/18. Solve -2 = 3*o - j for o.
4
Suppose 2*h - 5 = 5*o, 41*h - 5*o = 36*h + 5. Solve h = -7*u + 18*u - 44 for u.
4
Suppose -13*g + 22*g - 45 = 0. Solve g*o + 32 - 22 = 0 for o.
-2
Suppose 0*w = -5*r - 5*w + 20, 0 = 2*r - w - 8. Suppose o + d = 2*d + 8, r*d = -4*o + 24. Solve 3*b = -2 - o for b.
-3
Let m(a) = a**2 + 6*a + 2. Let r be m(-6). Let b = r + 0. Let z be (-10)/(-3) - b/6. Solve -z*q + 9 = -0*q for q.
3
Suppose j + 12 = 2*n + 5*j, -3*n + 36 = -3*j. Suppose 5*u + 5 = 3*l, -5*u + 11 = l - 4. Solve -4*y = -u*y + n for y.
-5
Let a(u) = -u + 14. Let v(g) = -2*g + 2. Let y be v(-5). Let d be a(y). Suppose 0 = -d*h - 5*l - 20, -h = 3*l - 6 + 18. Solve -2*k - k + 6 = h for k.
2
Let c(d) be the third derivative of -23*d**4/24 + d**3/6 + 4*d**2. Let o be c(-1). Suppose -4*w - 3*b = -o, 0*w + 2*w = -3*b + 12. Solve -3*l - w - 3 = 0 for l.
-3
Let w = 40 - 68. Let p = w - -32. Solve -3 = p*o + 5 for o.
-2
Suppose 5*w - 2*z = -6*z + 33, -5*w - z + 42 = 0. Solve 5*s - w*s + 8 = 0 for s.
2
Suppose 4*r = 2 + 10. Let h be (-6)/(-12) + 9/2. Solve -r*y = -1 - h for y.
2
Let y(a) = a**2 - 6*a + 1. Let b be y(7). Let o = b - 4. Suppose -3*f - 12 = -u - 0*f, -2 = f. Solve o*j = 2*j + u for j.
3
Suppose 4*d - 2*p = 3*p + 33, 5*d + p = 5. Suppose -3*a + d*m + 11 = 0, 0*m = 2*a + 4*m - 2. Let v be 8*(0 + 9/12). Solve v = a*i - i for i.
3
Suppose -u = -0*u - f + 16, 8 = 2*f. Let a = u + 17. Suppose -3*m = x, a*x + 4*m - 52 = 2*m. Solve -3*l = l - x for l.
3
Suppose 2*s - 5*d = 28, 4*s + 101 = -d + 201. Solve -x + s = -7*x for x.
-4
Let o(s) = -2 + 1 - 2 - s + 0. Let b be o(-6). Let n = 11 - b. Solve 0 = -5*j + n + 2 for j.
2
Let i(w) = 3*w - 48. Let d(m) = -m**3 - 4*m**2 + 4*m + 11. Let c be d(-5). Let k be i(c). Solve k = n + 1 + 1 for n.
-2
Suppose 32 = -q + 41. Suppose -5*o + q = 2*h - 3, o = h + 1. Suppose 3*y + 5*k - o*k = 12, k - 6 = -2*y. Solve -y*i - i = 12 for i.
-4
Let a(w) = -3*w + 17. Let x be a(5). Suppose -x*n + 8*n = 12. Solve -u - n = u for u.
-1
Let t = 4698 - 4693. Let d be (12/(-8))/(6/(-16)). Solve d*q + t = -q for q.
-1
Let c be (3 - -1 - -1)/((-2)/6). Let l be (c/4)/(21/(-56)). Solve -2*g + 0 = l for g.
-5
Suppose 0 = 7*c - 6*c - 1. Let l = -13 + 13. Suppose 3*v - 5*h - 19 - 3 = l, 3*v - h - 14 = 0. Solve v*w + c = -3 for w.
-1
Suppose 4 + 0 = 4*s + 5*a, -3*s = -4*a - 34. Solve 2*c