. Solve -r*k + 0 = -4 for k.
2
Suppose 424*b = 434*b - 50. Solve -6*u = -b*u for u.
0
Let r(v) = 38*v + 4. Let o be r(2). Let z = o - 75. Solve 12 = -z*d + 9*d for d.
3
Let k = 34 - 18. Suppose -2*f = -y - 2 - 4, -15 = -5*f - 4*y. Suppose -43 = -4*j - 5*s, -4*j + s = -f*s - k. Solve 3 + j = 5*u for u.
2
Let v(b) = b**3 + 8*b**2 - 11*b - 7. Let j be v(-9). Suppose -2*i - 1 = -3*g + 6, 2*g - j = -5*i. Solve g*x = 2*x - 3 for x.
-3
Suppose -5 = 5*q - 3*j, -2*q = 6*j - 5*j - 9. Suppose h = 7*s - 12*s + 1, s = -q*h + 11. Suppose -4*r + 14 = 3*x, 3*r = 3 + 3. Solve -h = x*i - 2 for i.
-2
Let h(y) = -64*y + 67. Let m be h(1). Solve 13 = -m*x + 28 for x.
5
Let s(u) = -6*u - 78. Let w be s(0). Let q = -63 - w. Solve 5 = -4*r - q for r.
-5
Let t = -14 - -23. Suppose -2*p - 1 + t = 0. Solve 2 - 6 = p*i for i.
-1
Suppose -2*z - 62 = -3*u, -u = -z - 0*z - 21. Suppose 6*x - 4*x - 5*q = -19, 3*x = 4*q - 11. Suppose -x*b = 9*b - 36. Solve -v - b*v + u = 0 for v.
5
Let v be -18*1/(-10) + 2/10. Suppose -47 = v*t - 51. Solve -t*a = -0*a for a.
0
Let j(y) = -y - 8. Let g(i) = -3*i - 15. Let x(c) = -4*g(c) + 10*j(c). Let t be x(10). Solve 2*b - 4*b = t for b.
0
Let c be (3 + 9/(-6))/(3/4). Solve -13 + 3 = -c*m for m.
5
Let f = 20 - 28. Let t = f + 10. Suppose 0 = -3*l + i + 11, -3*i - 3 - 15 = -4*l. Solve -b = t + l for b.
-5
Let v(t) = -3*t**3 + t + 2. Let m be v(-1). Suppose -m*o = -0*o - 4. Solve 0 = -r - o for r.
-1
Suppose -4*t + 11 = -y, 2*y + 0*y - t + 1 = 0. Suppose 2*n - 9 + y = 0. Suppose -6*s = 4*s - 50. Solve s*g = n*g for g.
0
Suppose -4*c + 200 = -0*c. Suppose -5*t + 0*y = -4*y - c, 3*t - 27 = 3*y. Suppose 5*f = t + 6. Solve -f = 3*s - 4*s for s.
4
Let s(a) = a - 6. Let d be s(16). Let b be (d - 7) + 2 + 25. Suppose b = 6*o + 6. Solve h - 1 = o for h.
5
Let q(v) = v - 9. Let t be q(9). Suppose -109 = -10*u + 91. Solve t = -f + 6*f + u for f.
-4
Suppose -3*b + 1 = 4. Let q(j) = -6*j**3 - j**2 + j + 1. Let l be q(b). Suppose -p = -l*p. Solve p = -3*s - 2*s - 10 for s.
-2
Let u be (25 + -5)*(-8)/10. Let z be ((-15)/(-10))/((-6)/u). Let r be z/(-6) + 12/18. Solve r = -n + 6*n - 10 for n.
2
Let o(l) be the second derivative of -l**4/12 - l**3/6 + l**2 + 6*l. Let g be o(-2). Let b = 0 + g. Solve b = -2*s + 2 - 4 for s.
-1
Suppose 2*u - 5*u = -21. Suppose u*y - 29 = -1. Solve -y*x - 3 = -11 for x.
2
Let b = -2 - 9. Let y = -3 - b. Let l = 0 + 4. Solve l*k = -y - 12 for k.
-5
Suppose 3*l - 25 = -4*d + 18, -4*d - 11 = -3*l. Let q = -2 + l. Solve 4*j = 1 + q for j.
2
Suppose -h - v = -8, -2*h - 3*v + 14 = -4. Suppose -h*a = -a - 10. Solve a*r + 9 = 3 for r.
-3
Suppose 0 = -5*p - 4*z + 95, 5*p + 312*z - 309*z = 90. Solve -r = p*r - 16 for r.
1
Suppose 3*n - 60 = 2*y + 160, y = 5*n - 362. Let j = -72 + n. Solve j*f = -f + 3 for f.
3
Let n be ((-40)/(-6))/(130/1365). Solve 0 = x + 13*x + n for x.
-5
Let x(b) = -b - 12. Let o be x(-10). Let a = o + 2. Suppose a*i = -i. Solve -5*w - 4 - 1 = i for w.
-1
Let a(g) = g**3 - 8*g**2 + 12*g + 2. Let y be a(6). Let m = 55 + -33. Suppose -y*n = 14 - m. Solve -n*z + 0*z = 16 for z.
-4
Suppose n + 4*y = 2*n - 8, -6 = 2*n + 3*y. Suppose -5*r - 18 - 7 = n. Let h be (4/r)/(1/(-5)). Solve f = 5*f - h for f.
1
Let z be (37/(1665/(-30)))/((-1)/6). Solve 6*v = -z*v - 10 for v.
-1
Let i(w) = w**3 - 3*w**2 - 4*w + 2. Let p be i(4). Let l(d) = 5*d**3 - d**3 - p*d**3 + 2 + d**2 - d**3. Let j be l(0). Solve -j*u + 0*u = -6 for u.
3
Suppose 2*t - 6 + 0 = 0. Suppose -4*k = 140 - 160. Solve -k*w = -28 + t for w.
5
Suppose -150*w = -157*w + 126. Solve 0 = 8*x + 2 - w for x.
2
Suppose -7 + 11 = 2*o. Suppose x = 2*q - 31, -5*q + 3*x + o*x + 75 = 0. Suppose q = 3*j + 4. Solve j*s - 1 - 3 = 0 for s.
1
Let b = -160 + 164. Solve -b*r - 32 = 4*r for r.
-4
Let b(x) = 22*x**3 + 2 + 7*x**2 - x**2 - 9*x - 21*x**3. Let c be b(-7). Solve 2*l = -2*l + c for l.
4
Suppose -2*c - 1 - 2 = -k, -4*c - 11 = -3*k. Suppose 0 = -0*j + 5*j - 15. Solve -k = p - j for p.
-2
Suppose 0 = -5*m + 3*v + 52, -2*m - 4*v = -22 - 4. Solve 8*w - m*w - 9 = 0 for w.
-3
Suppose -3*c + 38 = i, -3*c - c + 53 = -i. Suppose -k - 5*n - c = 0, -2*n - n - 5 = 2*k. Solve 0 = -k*p - 0*p + 10 for p.
5
Suppose 0 = 4*g - 29 - 3. Let t(l) = -2*l - 12. Let b be t(-3). Let z = b + g. Solve 0 = -v + z*v + 2 for v.
-2
Suppose 0 = 3*j + s - 2*s + 32, -4*s = j - 11. Let r(c) = 10 - 1 - 3*c + 4*c. Let y be r(j). Solve y*a + 1 = a for a.
1
Suppose 4*i = -i + 165. Let g be 2/12 + 1 + i/18. Solve -2*h - 3 = -g*h for h.
3
Suppose 5*d = 4*x - 15, 0*d = -4*d + 20. Solve 0 = 2*m + 20 - x for m.
-5
Let k = 38 + -28. Let q = 13 - k. Solve -8*y = -q*y + 10 for y.
-2
Let x be 1*(-1)/5 + 286/130. Suppose -3*s = -0 - 6. Solve -x*d = -0*d - s for d.
1
Let t(x) = -8*x + 16. Let z be t(1). Solve -z = 9*g - 17*g for g.
1
Let q(j) = 3*j**3 - 72*j**2 + 4*j - 92. Let n be q(24). Solve 0 = -6*x + n*x + 10 for x.
5
Let h be (-25 - -28)/((-6)/(-82)). Solve 0 = 26*u - h*u - 15 for u.
-1
Suppose 4*j = -q - 1, 4*q - 3*j - 17 = 2*j. Suppose 9 = q*c - 0. Let v(b) = 2*b**3 - 13*b**2 - 9*b + 14. Let d be v(7). Solve d = -c*m - m for m.
0
Suppose 0*r + 5*r = 25. Suppose 2*l = -r*f + 12, -5*l + 1 = -5*f + 6. Suppose 0*b = 2*b - 4. Solve b*j + 5 = l for j.
-2
Let r be 0 + 6*5/(-2). Let c = r + 28. Suppose -i - 2*i + 11 = -s, 3*i = -s + c. Solve -i*h - 10 = -2*h for h.
-5
Suppose 12*k - 55 = k. Solve -181 = -k*m - 176 for m.
1
Suppose -5*z = 5*c + 15, -4*c + 15 = -4*z + 3. Solve 4*s - 16 = -c for s.
4
Let f be (-1)/(-2)*16 - (-15)/(-5). Solve -1 = -f*h - 16 for h.
-3
Let j(z) = -z**2 - 11*z + 7. Let l be j(-13). Let a be 76/l + 1 + 7. Solve 0 = h - a for h.
4
Suppose 27 = -3*k - 0*k. Let l = k - -13. Suppose 0*s = -2*s + 4*x + 16, -3*s = -l*x - 18. Solve -1 = s*m + 3 for m.
-2
Let f(l) = 3*l + 9. Let o be f(-5). Let j be o/(-15) - ((-645)/25)/3. Solve 4*b + j = -3 for b.
-3
Let c(r) be the third derivative of r**6/120 + r**5/10 - r**4/8 - 7*r**3/3 + 10*r**2. Let a be c(-6). Solve 0 = -a*w - 20 - 0 for w.
-5
Let y = -68 + 47. Let z = -18 - y. Solve l = z*l for l.
0
Suppose -6*d + 28 = 4. Suppose 6*x + 2 - 14 = 0. Solve x = -d*v - 10 for v.
-3
Let r(i) = i**3 + 16*i**2 - 154*i - 2329. Let z be r(-17). Let v(w) = w + 9. Let a be v(-6). Solve -a*p - 16 + 1 = z for p.
-5
Let n = 495 + -449. Solve n - 34 = 4*j for j.
3
Let c = -456 - -461. Solve h - 3 + c = 0 for h.
-2
Let c(a) = -2*a - 7. Let x be c(-5). Solve 3*k - x = -9 for k.
-2
Suppose -m + 24 = -2*n, -m - 36 = 4*n - 6*m. Let h = -20 - n. Let b be (12/8)/(h/(-8)). Solve -5*u + 15 = -b*u for u.
5
Let a be (1/3)/(2/444). Let m = a + -67. Solve 2 = n + m for n.
-5
Suppose 4*k = -k + 10, -k = a + 27. Let x = 49 + a. Solve -p = -6*p - x for p.
-4
Let b(i) = -3*i - 2. Let c be b(-2). Suppose 0 = -10*u - 175 + 225. Solve -u*k + 3*k = c for k.
-2
Let t = -42 + 44. Suppose 5*v = v + p, 0 = 3*v - t*p. Solve -5*y + 11 + 14 = v for y.
5
Suppose -50*t - 21 = -57*t. Solve -6 + 21 = t*s for s.
5
Let z be -5 - ((-2 - -1) + -4). Solve c - 4 + 6 = z for c.
-2
Let s(v) = -v - 3. Let c be s(-3). Let a be -1*(c/2 - 0). Let w be 7/((-7)/(-4)) - a. Solve -w*o + o = -12 for o.
4
Suppose 64 = 26*a - 22*a - 5*d, 3*a = d + 37. Solve 1 = 10*s - a*s for s.
-1
Suppose -4*h - 5*f = 21, -4 = -h + f + 2. Let u be 19 + -16 + 4/h. Solve 8*o - 1 = u*o for o.
1
Suppose -k - b = -1, 0 = -2*k + 4*k - 5*b - 23. Solve x + k = 1 for x.
-3
Let f(z) = z**3 - 3*z**2 - 7*z - 12. Let d be f(5). Solve 2 = -c + d*c for c.
1
Let l(n) = -n**3 - 19*n**2 - 15*n - 45. Let v be l(-18). Let s = 103 + v. Solve s*m = -m for m.
0
Let n(x) = x**2 + 25. Let r be n(0). Let j = -694 - -696. Solve 3*s = -j*s - r for s.
-5
Suppose 2*l = -3 - 3. Let z = -1 - l. Suppose a = -0*a + z. Solve -6 - 4 = -a*d for d.
5
Let t = 100 + -175. Let d be (8/20)/((-10)/t). Solve d*f = 10 - 1 for f.
3
Suppose 0 = 5*c, s - 2*c = 2*s. Let o be (0/5)/(s + 2). Suppose 3*n + o*n = 0. Solve j + 4 - 7 = n for j.
3
Let d(l) = l**3 + 11*l**2 + 12*l + 14. Let m be d(-10). Let g be ((-9)/(-3))/(m/(-4)). Suppose 4*r - g*r = 12. Solve y + r = -y for y.
-3
Suppose -35 = 11*v - 18*v. Solve -l - 20 = -v*l for l.
5
Let h(q) = -q**3 - q**2 - 2. Let b be h(0). Let p be (0/(-4 + 3))/b. Suppose -9*o + 4*o + 10 = p. Solve z = -z + o for z.
1
Let j(z) = z - 5. Let p be j(10). Suppos