for k.
-3
Suppose w - 3*w = -4. Suppose 0 = 4*v - 2*v + d - 5, -d - 3 = 0. Solve -2 = v*a - w*a for a.
-1
Let c be 12/(-3) + 6 + 0. Let g(v) = -v**3 - 2*v**2 - 3*v - 3. Let j be g(-2). Solve j*u = u - c for u.
-1
Let v = -10 - -12. Let s be (-21)/(-9) - v/(-3). Solve -n = -s*n for n.
0
Let y(p) = p**2 - 10*p + 12. Let w be y(9). Suppose 0 = 5*x - 3*r - 15, 3*r + 8 = w*x - 1. Solve -l + x*l = 4 for l.
2
Suppose 2*v + v - 15 = 0. Solve -3*z = -v - 7 for z.
4
Suppose -3*z + 300 = v, -2*v - 158 - 50 = -2*z. Suppose -4*c = -z + 13. Suppose 0 = 3*b - 5*i - 26, -5*b - c = -10*b + 3*i. Solve -5 = b*a - 7*a for a.
1
Let b(w) = -6*w + 3. Let m be b(2). Let o be 3/3*1 - m. Suppose 0 = a - 3*a + o. Solve d + 0*d + a = 0 for d.
-5
Suppose 15 = -3*k + 45. Solve -k*p + 11*p - 2 = 0 for p.
2
Suppose 0*q + 5*q = 0. Solve -5*o + q*o + 25 = 0 for o.
5
Let t(a) = a**2 - 8*a - 7. Suppose 2*c + 0*c - 3*q = 6, -2*q + 44 = 4*c. Let z be t(c). Suppose 0*r = r - z. Solve r*i + 3*i = -5 for i.
-1
Suppose -3*x + 3*m - 35 = -7*x, -x - 5 = -2*m. Let o = 11 - x. Solve -z = -1 + o for z.
-5
Suppose -4*r + 12 = -r. Suppose 5*v - 15 = -4*k - k, -2*v - 4*k = -10. Solve -v + r = -f for f.
-3
Suppose 4*b - 3*f + f + 104 = 0, 5*b + f = -137. Let a = b - -48. Solve -a = 4*k - 1 for k.
-5
Let c(z) = -9*z - 39. Let s be c(-5). Solve 2*m - s*m = -20 for m.
5
Suppose 4*x = 4*m + 2*x - 26, 0 = 4*m + 5*x - 33. Suppose m - 1 = 3*j. Solve -5*i = -j - 3 for i.
1
Suppose 4*j = -5*z + 3, -4*z = -z + 3*j. Solve 2*k = 3*k - z for k.
3
Let y(v) = v**3 + 9*v**2 + v + 16. Let o be y(-9). Solve 0 = -4*l - o - 1 for l.
-2
Suppose 5*r - 8 = 2. Suppose -4*y = -3*y - r. Solve 0 = -6*k + 5*k - y for k.
-2
Let r(h) = h + 8. Let l be r(-6). Let x = 11 + -7. Solve -l*a = -0 + x for a.
-2
Let a = 24 - 14. Suppose 3*h - 8 = a. Let u be 140/12 + (-4)/h. Solve 5*x - 4 = u for x.
3
Suppose -8*f + 34 = -14. Solve -4*i = -i + f for i.
-2
Suppose 5 = 2*o - 5*l, -2*o - 3*l - 5 = 2*l. Suppose u - 35 = -3*j, -2*j + o = -8. Let n = u + -9. Solve -5*i - 11 - n = 0 for i.
-5
Let l be (-1 - -3) + (-2)/2. Let g be (-1)/(l/2) + 8. Solve f - g = 4*f for f.
-2
Let x be -3 - (-6 - -3 - 4). Suppose -5*v + 80 = -5*p, v + 2*p - 80 = -x*v. Solve 0 = -3*y + 4 - v for y.
-4
Let w = 2 + -1. Let n be -2*50/4 + -2. Let y = -25 - n. Solve -w = y*d + 7 for d.
-4
Let b(s) = -s**2 + 7*s - 4. Let t be b(5). Let u = t - 5. Let l be (0/3 - 1) + u. Solve -3*d - 3 - 12 = l for d.
-5
Let l = -69 + 114. Suppose -4*f - 2*w - 3*w - l = 0, 2*w - 10 = 4*f. Let k(s) = s**3 + 5*s**2 + 3. Let n be k(f). Solve -2 = -n*g - 17 for g.
-5
Suppose -1 - 2 = -f - c, -4*f + c = -12. Solve f*h - 16 = -h for h.
4
Suppose -10 + 0 = -2*u. Suppose -26 = -3*x - 0*x + u*f, 8 = -2*f. Let g = 3 - x. Solve y + 0 = g for y.
1
Let o = -42 - -16. Let v = 46 + o. Solve 0 = 3*c - 7*c + v for c.
5
Suppose -f = -2*f. Suppose f*a - a = -2. Suppose 0 = 3*u + a*u. Solve -3*g - 5 + 17 = u for g.
4
Suppose -4*u + 34 = -2*z, 2*u - 5*z - 8 = -z. Solve 4*p + u = 2 for p.
-2
Suppose -11*s + 20 + 13 = 0. Solve -c = -2*c - s for c.
-3
Let o be 12/5 + 2/(-5). Let z(y) be the second derivative of -y**5/20 - y**4/12 + y**2 + y. Let s be z(-2). Solve 4*u + s = o*u for u.
-3
Suppose 4*s - 27 = 45. Let p(g) = -g**3 + 4*g**2 + 7*g - 7. Suppose -2*j - 2*k = -12, -5*j + 3*k = -22 - 0. Let o be p(j). Solve -3*c = o - s for c.
5
Suppose -5*y - 3*d + 19 = 0, 0 = 4*y - 4*d - 1 + 5. Solve z - y = -z for z.
1
Suppose -5*k + 0*k - 279 = u, -k - 2*u = 54. Let b be 16/k + 2/7. Let c be -3*(2 - 7/3). Solve b*q = -q + c for q.
1
Let j(f) = f**2 - 4*f - 3. Let u be j(5). Solve 2*r - u = 4*r for r.
-1
Let h(j) = j**2 - j - 4. Let w be h(3). Suppose 2*p - c + 2 = 0, -w*p - 3*p = -c - 1. Solve 2*i - 3 = p for i.
2
Let y(g) = 2*g - 6. Let s be (10/15)/(4/30). Let q be y(s). Solve -j - 3 = -q*j for j.
1
Suppose 2*h - 2*p - 4 = 0, -2 - 7 = -4*h + 3*p. Solve -h*b + 3 = -3 for b.
2
Suppose -10 + 110 = 5*t. Let n = 1 + 0. Let i be n/4 - 1/4. Solve t = -4*l - i for l.
-5
Suppose 5*o - 51 = 2*o. Suppose -3*k = -0*t - t - 8, 5*k = -2*t + o. Solve -k*x - 1 - 14 = 0 for x.
-5
Let c be (4 + -3)*0/(-1). Let u(y) = y**3 - y + 1. Let j be u(1). Solve c*v + j = -v for v.
-1
Let a = 3 - 3. Suppose a = -4*g - 6 + 54. Solve -g = 2*z - 5*z for z.
4
Suppose 4*f - 5*f = 2*n - 10, 0 = 2*f + n - 5. Solve f = v + 3*v for v.
0
Let v = -11 + 14. Solve v*p = 6*p - 9 for p.
3
Let p be 7 - ((-56)/(-26) - (-2)/(-13)). Solve -p = -4*x + 15 for x.
5
Let d = 26 + -18. Let u = d + -12. Let o = 6 + u. Solve -o*z = -z + 5 for z.
-5
Let k be (2 - 0)/(1 - -1). Let o be (-3)/(-6) + k/(-2). Let p(g) = -3*g - 10. Let b be p(-4). Solve b*w = 2 - o for w.
1
Let z be 1290/(-27) + 2/(-9). Let v = z - -68. Solve 4*p + v = -0 for p.
-5
Suppose 3*v + 18 = 9*v. Solve -5*j - 23 = -v for j.
-4
Let m be 6/4*40/20. Suppose f = 0, -5*l = 2*f + f - 10. Let j be 0 + 3 + l + -2. Solve -j*z - m = 6 for z.
-3
Suppose 0 = 15*n - 31 - 59. Solve -v + 11 = n for v.
5
Let c be (-18)/(-15)*5 - 1. Solve 24 = -c*q + 4 for q.
-4
Let k = 60 - 58. Solve 1 = k*c - 1 for c.
1
Let r(p) = 2*p + 7. Let c be r(-5). Let f = 1 - c. Solve -3*u = -f*u + 2 for u.
2
Let r(f) = f**2 - f + 1. Let g be r(1). Suppose -4*u + 4*b = -40, 3*u + 5*b = 6 - 0. Suppose u = 2*n - g. Solve -w + n = -0*w for w.
4
Let f(i) be the third derivative of 17*i**4/24 - i**2. Let z be f(1). Solve 0 = 4*m - 3 - z for m.
5
Suppose 3*x = 4*x - 5*f - 31, 5*x + f = 25. Solve 16 = -5*n + x for n.
-2
Let s(t) = -t**2 - t + 3. Let g be s(0). Let n(x) = -g - 6 + x + 5. Let a be n(6). Solve 0 = -4*m + a*m + 8 for m.
4
Let a be (0/((-6)/(-2)))/(-1). Solve 0 = -j - a*j + 2 for j.
2
Let n be (-2)/((-2)/(-3 + 4)). Let p(h) = 5*h**3 - h + 1. Let q be p(n). Solve 0*d + q*d = 0 for d.
0
Suppose 3*x - x - 2*u = -14, -5*x - 8 = 4*u. Let z be 3*(-16)/(-12) + x. Solve z = -5*t - 0*t - 20 for t.
-4
Let w(i) = -i + 13. Let v be w(7). Suppose -3*u = -0*u - v. Suppose -u*z = -z. Solve -l + 3*l - 2 = z for l.
1
Suppose -2*v = -10 - 4. Suppose 0 = v*k - 24 + 3. Solve -6 = -0*u + k*u for u.
-2
Suppose a = 4*a + 48. Let r = a + 16. Solve r = 3*n - 11 - 4 for n.
5
Let w(n) = n**3 - 5*n**2 - 2*n - 2. Let y be w(6). Suppose 2*j + 0*j + y = 0. Let l = -5 - j. Solve z = 4 - l for z.
-2
Suppose 2*g = -5*d + 62, -2*d = -0*d - 3*g - 21. Let p = 3 + d. Suppose -9 = -2*l - 3*t, -3*t + 0 = 4*l - p. Solve 7*x = l*x + 8 for x.
2
Suppose n - 31 = -2*n + 5*h, -5*h = -2*n + 29. Solve -n*d - 3 = -9 for d.
3
Let o(x) = -4*x**3 + 7*x + 13*x**2 + 5*x**3 - 2*x - 6*x**2 - 4. Let l be o(-6). Solve 2*s + 20 = -l*s for s.
-5
Suppose -z - 29 = -3*o + 73, 3*z + 322 = 5*o. Let x be (-10)/45 + z/(-27). Solve 2*b = x*b + 6 for b.
-3
Suppose 0 = -30*t + 29*t + 2. Solve -t*a = 2*a for a.
0
Let o(b) = 2 + 2*b - b + 6. Let k be o(-6). Suppose -1 - 5 = -k*n. Solve -3*a - 3 = n for a.
-2
Suppose -3*f + 40 = 4*z, 106 - 36 = 3*f - 2*z. Solve -2*b - 2*b = f for b.
-5
Suppose -2*s + 8 = -6*s, -5*o = -3*s - 16. Suppose o = -3*m + 14. Suppose 6*z - 24 = -12. Solve z*v = m*v - 6 for v.
3
Suppose -1 = -n + 2*z, -11 + 1 = -5*n + 5*z. Solve 4*j - 2 = n*j for j.
2
Let m(d) = -d - 4. Let l be m(-9). Let g = -4 - -7. Suppose l*b = -3*n, n - g*b = -0*n. Solve n = -3*c - 0*c - 12 for c.
-4
Let z be (1 - (-2)/(-2))/(-1). Let f(n) be the first derivative of n**2 - 14*n - 1. Let w be f(11). Solve z*m + 4*m = -w for m.
-2
Let f(x) = -x**3 - 6*x**2 + 6*x + 6. Let d be f(-7). Let j(q) = -2*q. Let u be j(-1). Solve -3*y + d = -u for y.
5
Let o(q) = -q**3 + 7*q**2 + 8*q. Let v be o(8). Suppose -5*x + 26 = 2*f, 0 = -f - 0*f - 3*x + 15. Suppose -2*d + f + 3 = v. Solve p + d + 0 = 0 for p.
-3
Let u be 4/10 - (-522)/45. Solve -6*q = -3*q + u for q.
-4
Let t be (1 + -1)*4*(-2)/(-16). Solve -2*l = -t*l for l.
0
Let h(a) = -a**2 + 5*a + 6. Let y be h(6). Let n be (9 - 13) + (9 - 1). Solve -4*f = -y*f + n for f.
-1
Suppose 4*m - 40 = -0*m. Solve -k + 3*k = m for k.
5
Let c = -35 - -32. Let g(b) = -b. Let k be g(-3). Let m = k + c. Solve -w + m*w = 5 for w.
-5
Let i(y) = y**2 - 5*y + 1. Let k be i(7). Solve -5 = 2*p - k for p.
5
Let t(h) = h**2 + 9*h + 6. Suppose -2*g - 5 - 8 = -3*p, -4*g = 8. Suppose p*n + 9 = 2*n. Let w be t(n). Solve 5*y - 19 = w for y.
5
Suppose f = 1, 0 = -4*q - 4*f + f + 27. Let z = -