3. Let r be k(1). Solve -5*w = -r*w - 15 for w.
-5
Suppose 25 = n - 5*w, 2*n - 5*w = -537 + 562. Let y be ((-1)/2)/(3/(-12)). Solve n = 3*k - y - 1 for k.
1
Let r(b) = -b**2 + 2. Let m be r(0). Let a = -55 - -58. Suppose m*q - a = t + 2, 5 = 5*t. Solve d + q = 2 for d.
-1
Let i = -42 - -59. Suppose -5*f + i = r, -r + 6 = -5*f + 29. Solve 3 = -f*j + 7 for j.
1
Let q be 0/((3/(-18))/((-2)/(-12))). Solve q = 2*p + p + 12 for p.
-4
Let z(b) = b**3 + 11*b**2 - 12*b + 5. Let d be z(-12). Suppose 6*r - 270 = -12*r. Solve d*w = r - 0 for w.
3
Let h(l) = l**3 - 6*l**2 - l + 6. Let s(p) = -p**3 + 3*p**2 + 3*p - 1. Let o be s(-2). Let n be o/2 - 4/8. Let j be h(n). Solve -y + 3 = -j for y.
3
Suppose 0 = -5*i - 14*i + 38. Let t = -4 - -9. Suppose -t*v + 8 = -v. Solve v*r + i*r = 8 for r.
2
Let h be (2 - -13)/(5*(-3)/(-10)). Let p be 150/(-60)*(-12)/h. Solve p*g + 0*g = -3 for g.
-1
Let a(z) = z**3 - 7*z**2 - 6*z + 50. Let h be a(7). Solve 4*j = h*j for j.
0
Let f be 2 + 0/3 + 3. Suppose z - f*c = -25, 5*z = -4*c + 7*c - 15. Suppose -15 = -4*h + r + 1, -3*h = 2*r - 23. Solve z = h*i - 0*i + 25 for i.
-5
Let t be -1*25/50*(1 + -5). Solve 0 + 8 = -t*a for a.
-4
Suppose t + 5*m = -3*t + 52, 4*m = -2*t + 26. Solve -4*a + 5 = t for a.
-2
Let o be -4*(-1)/4*10. Suppose -2*w + 2*v + 2 = -o, -5*w + 10 = 5*v. Suppose 4*p = -w*i + 20, -5*i - 2*p + 5 = -7*p. Solve -3 - 3 = i*r for r.
-2
Let l = 2507 + -2432. Solve -l = 9*q - 111 for q.
4
Let c = -2 + -2. Let s be (1 - (c + 5)) + 0. Solve -5*b - 25 = -s for b.
-5
Let b = 413 + -413. Let q be 146/6 - (-3)/(-9). Suppose -5*v + q = -21. Solve b = 5*m + 1 + v for m.
-2
Suppose 38 = -4*m - 26. Let x = -15 - m. Solve 3*d + 2 = -x for d.
-1
Let v be (72/27)/((-10)/(-45)). Solve -v*n = 12*n for n.
0
Suppose 4*d - 2*f = 10, 18 = d + 3*f + 5. Solve w - 8 = -d for w.
4
Suppose 7*x = x + 54. Solve 0 = -13*i + 10*i - x for i.
-3
Suppose 4*j = -31*j. Solve j = -9*k - 0*k - 45 for k.
-5
Suppose 4*j = 8*j - 8. Suppose -4*a + 16 = r, -j*a + a = -4. Solve -2*v + r = -4 for v.
2
Let k = -1043 + 1046. Solve -4*l = -k + 19 for l.
-4
Suppose 19*g - 18*g - d = 17, -4*g - 2*d + 38 = 0. Solve 7*a = 10*a + g for a.
-4
Suppose -3*c = -8*c. Suppose 4*j - j - 51 = 0. Suppose 4*o - 31 = j. Solve -3*x = -c*x - o for x.
4
Let g be (8/10)/((-10)/275). Let v = g + 24. Let c be 2 - (2 - 0)*-3. Solve c = -5*r - v for r.
-2
Suppose 0 = 4*m - 3*a - 6, -m + 10 - 9 = -a. Solve 4*h = -m*h - 21 for h.
-3
Suppose -s + 3 = 5*a + 21, -s - 10 = 3*a. Solve 0 = -3*t + s*t + 2 for t.
2
Let x(i) = 2*i**2 + 16*i + 18. Let k be x(-1). Solve 3*t + k = -t for t.
-1
Let q = 11 + -4. Let d(f) = 8*f**2 - 10*f - f**3 + 3*f + 0*f**3. Let a be d(q). Solve a = 5*t + 35 - 10 for t.
-5
Suppose -y - 5*n = y + 1, -4*y + 10 = -2*n. Solve 4*b - y*b = -3*b for b.
0
Let w be 324/8 - (-1)/(-2). Suppose 3*m = 8*m - w. Let x = m + -8. Solve -u = -x*u - 4 for u.
4
Let x(t) be the first derivative of t**3/6 + 5*t**2 - 10*t - 13. Let a(f) be the first derivative of x(f). Let l be a(-5). Solve -l = -u - 0*u for u.
5
Let f(k) be the third derivative of -1/60*k**5 + 0*k + 0 + 2/3*k**3 + 5/24*k**4 - 2*k**2. Let w be f(5). Solve -3*i = -w*i - 3 for i.
-3
Let i(d) = 23 - 35*d - 23. Let c be i(-2). Suppose 0 = 12*w - 7*w - c. Solve w = 4*j - 2 for j.
4
Suppose 0 = 225*w - 220*w - 50. Solve w = -5*h + 7*h for h.
5
Let b(z) = z**3 - 6*z**2 - z + 10. Let f be b(6). Suppose 5*v + 4 = 2*p + 3*v, 2*p + v - 7 = 0. Solve m + f = -p*m for m.
-1
Let c = -24 + 26. Let l(t) = t**2 - 2*t + 2. Let b be l(c). Let g(d) = d - 6. Let h be g(6). Solve 0 = b*f - h*f for f.
0
Let j be (-1792)/140*(-5)/2. Solve 18*t + 40 = -j for t.
-4
Let t = 1533 - 1533. Solve t*v - v = -7*v for v.
0
Let h(i) = -i**3 - 3*i**2 - 2*i - 4. Suppose -u + 0 - 3 = 0. Let l be h(u). Let b be (-2 + l)*(0 + -1). Solve a + 0*a = b for a.
0
Let f be (1 + -1)*(-1)/(-1). Solve f = 5*r - r - 20 for r.
5
Let c be 2/(-6) - 1/(-3). Let b = -37 + 20. Let k be 5 + 0 - (19 + b). Solve -k*z - 6 = -c*z for z.
-2
Suppose -2*o - 9 = -29. Solve 33*j - o = 38*j for j.
-2
Suppose 3*t + 2*t - 40 = 0. Suppose -3*r + t*r - 25 = 0. Solve o + 2 = r for o.
3
Let y = -2 - -30. Suppose 5*n - y = -o + 2*o, 3*n - o - 16 = 0. Let x(v) = -v**3 + 5*v**2 + 4*v + 14. Let q be x(n). Solve 0 = q*l - 5*l - 6 for l.
-2
Suppose -3*f = -2*f - 5*v + 20, -2*v + 8 = 3*f. Solve f = 7*x - 4*x for x.
0
Let i(f) = -20*f**2 + 4*f + 1 - f**3 + 2*f + 24*f**2. Let x be i(5). Suppose -4*h + 4 + 12 = 0. Solve -x = -7*k + h*k for k.
2
Suppose -3*w - 2*j + 6 = 0, 3*j = -0*j + 9. Suppose w = -0*d + 4*d. Let l = -5439 + 5441. Solve -8 + d = -l*s for s.
4
Suppose -20*b + 0 = -0. Solve b = 11*f - 7*f - 16 for f.
4
Let v = 17 + -13. Let g(a) = -2*a + 3. Suppose 5*r + 4*c + 30 = 0, 2*c + 18 = -0*r - 3*r. Let k be g(r). Solve -v*p = -p - k for p.
5
Let c = -156 - -162. Solve -2 - 28 = c*j for j.
-5
Let m(b) = 5*b**2 + 15*b - 2. Let p be m(-4). Solve -2*d = 28 - p for d.
-5
Let h(u) = -2*u**2 - 51*u - 268. Let d be h(-10). Solve 5*v = -16*v - d for v.
-2
Suppose -77 = 3*q - 4*q - 5*l, -2*l + 236 = 4*q. Let i = 62 - q. Solve 15 = i*a + 40 for a.
-5
Suppose -u - 4 = -4*f, -u - 2 - 2 = 2*f. Let t(i) = -i**2 + 5*i + 19. Let z be t(7). Solve f*q + 25 = z*q for q.
5
Let c be ((-6864)/(-8))/13 + -9. Solve -53*t = -c*t - 16 for t.
-4
Let a = -8 + 15. Suppose 0 = 5*i - a - 23. Let k = -1 + i. Solve k*r = 2 - 12 for r.
-2
Let r be 238/(-22) - 2/11. Let u = -9 - r. Solve 0 = -u*j - 0 - 2 for j.
-1
Let a = -1044 + 1046. Solve 0 = -10*h + a*h for h.
0
Suppose 9 = -y - 5*a, 0 = -a + 6 - 8. Solve 8*s = -31 - y for s.
-4
Let z(q) = -4*q - 4. Let f = 5 + -8. Let b be z(f). Suppose 2*i - b = -0. Solve 0*o + i*o + 12 = 0 for o.
-3
Let r be ((-6)/8)/((-2)/264). Let w = r + -95. Solve -w = 2*b + 2 for b.
-3
Let b = 17 - 15. Let p be ((-72)/(-40))/(b/(-10)). Let m be (-20)/p - (-8)/(-36). Solve -m*d = d for d.
0
Let m = 0 + 4. Let x(d) = 14*d + 10. Let b(g) = 5*g + 3. Let a(k) = -17*b(k) + 6*x(k). Let c be a(3). Solve -10 = m*f - c*f for f.
5
Suppose 44*k - 933 + 361 = 0. Solve -18 = -k*u - 83 for u.
-5
Let h = -144 - -149. Suppose -5*d + 3*d = 0. Suppose 0 = -d*g - g + 6. Solve h = -g*b + b for b.
-1
Let j = 3 + -3. Let n be (j/(0 - 3))/1. Let z be (9/6 + -1)*n. Solve z = -4*u - 2 - 14 for u.
-4
Let l = -278 + 283. Solve 3 = 6*i - l*i for i.
3
Let l be ((-1484)/(-477))/(1/9). Solve -l + 18 = -2*v for v.
5
Suppose -3*i + 7*i + 2*y + 60 = 0, 0 = -3*i - 4*y - 55. Let o = 15 + i. Solve -z + 3 = -o for z.
5
Let h = -252 - -261. Solve 0 = h*d - 8 - 28 for d.
4
Suppose 18 - 3 = 3*c. Suppose -5*s - 4 = -s, 2*s = -c*j + 23. Suppose -10 = -j*b - 0*b. Solve -l = b*l + 12 for l.
-4
Suppose 3*x + 9 = 0, -3*o - 26*x + 22*x + 12 = 0. Solve -65 = 5*k + o*k for k.
-5
Let p = 8 + -68. Let l be ((-1)/(-3))/((-4)/p). Let n(j) = j**2 - 11*j + 13. Let z be n(10). Solve l*f = z*f + 6 for f.
3
Suppose 0 = -5*x - 6 - 19, 31 = b - 4*x. Suppose -b - 34 = -4*d + 5*s, d + 3*s + 10 = 0. Let q be (4/(-5))/(2/(-5)). Solve -q*u = -d*u for u.
0
Let x = 0 + 0. Suppose h - 6 = -x. Let u(k) = -9*k + 4. Let m be u(0). Solve h = 2*b - m*b for b.
-3
Suppose 3*t + 17 = -2*s + 3*s, 4*s - 2*t = 18. Let m be s/(-5)*(9 + -19). Suppose -m*j = -3*j - 5. Solve 10*g = j*g - 25 for g.
-5
Suppose 0 = -4*f + 3*f - a + 11, a = f - 1. Solve -f*t + 4*t - t = 0 for t.
0
Suppose 4*s - 5 - 3 = 0. Let n(c) = -2*c**3 + c**3 - 2 + c - 5*c**s - 4*c + 2*c. Let o be n(-5). Solve 15 = o*j - 0*j for j.
5
Suppose -a + 3*a - 3*r = -13, 2*a + 4*r = -20. Let p(i) = 1 + 8*i + 1 + i**2 + 3. Let q be p(a). Solve 8 = -q*j + j for j.
-2
Suppose 0 = -a + 3*i - 7, 3*a + 2*i = -2*i + 31. Solve 6*q - a*q = 2 for q.
2
Suppose 0 = 2*a + 3*t - 23 - 2, -4*a = t - 25. Suppose 0 = 3*q + 3*f - 12, 3*q + 4*f = 16 - 5. Suppose -q*w + a = -0*w. Solve -z + w = 3 for z.
-2
Let z(s) = 3*s**2 - 3*s. Let v be z(2). Suppose v + 1 = o. Let f(l) = 28*l + 280. Let y be f(-10). Solve y = -4*r - 5 - o for r.
-3
Let m(u) = -5*u. Let z(q) = -q**2 - 6*q. Let t(p) = 5*m(p) - 4*z(p). Let s be t(1). Let x be 1/(2/10 - 0). Solve -2*o + x = -s*o for o.
-5
Let p be (-1)/6 - (-1542)/(-36). Let n = -32 - p. Solve -4*l - 5 - n = 0 for l.
-4
Let n(w) = w**2 - w + 12. Suppose 5*c - 8 = 2*d + 2, 3*d - 2*c + 4 = 0. Let s be n(d). Solv