 = 5 for k.
-5
Let y(n) = -4*n**2 + 3*n + 3. Let u(x) = 4*x**2 - 4*x - 4. Let f(g) = -2*u(g) - 3*y(g). Let z be f(-1). Solve -b = 3*b + z for b.
-1
Let y = 80 - 76. Solve -y*c = 4 + 12 for c.
-4
Suppose 2*v - 20 = -3*f, -15 + 3 = -f - 2*v. Solve -f*b = -3*b for b.
0
Suppose m + 4*m = 10. Suppose -z - 20 = -4*t, m*z + 2*z + 4 = -3*t. Suppose -3*j + h = -t, -3*h = -5*j - 2*h + 10. Solve j*x = 4*x - 3 for x.
3
Let z(j) = j**2 + 10*j + 12. Let d be z(-10). Suppose -4*k + d = -2*k. Solve -r = -3*r + k for r.
3
Suppose 2*s + 0*s + 94 = 0. Suppose 3*m + 32 = 2*m. Let p = m - s. Solve 6*v - v = -p for v.
-3
Suppose 4*q - 110 + 18 = 0. Let o be 1/2 - q/2. Let i = o - -16. Solve 5 + i = -5*t for t.
-2
Suppose 4*x + 2*h = 6*h - 12, -x = 5*h - 15. Let b(g) = g + 10. Let q be b(-7). Suppose -5*u - 15 = 0, -u - 6 = -4*v - q*u. Solve -v = -x*s - s for s.
3
Let r(g) = -g**2 + 7*g - 7. Let s be r(5). Suppose 2*u + s*v - 12 = 0, -5*u + u + v = -10. Solve 6*y - u*y = 0 for y.
0
Let j(d) = d**2 + 11*d + 13. Let q be j(-10). Let w be (-2 - -1)*2*-1. Suppose 2 = t + t. Solve q*k - w = t for k.
1
Suppose 3 = -d + 1. Let i be (d + 8/3)*9. Solve 0 = 5*c - i + 26 for c.
-4
Suppose 3*t = -15, -4*t = c - 0*c - 5. Solve 0 = -0*h + 5*h + c for h.
-5
Suppose 5*h = 2*h - 2*r + 17, r - 4 = -h. Suppose -2*d = 0, -5*d - h = -2*i + 1. Solve -i*u = -3 - 2 for u.
1
Suppose 0 = -3*a + 6*a - 12. Suppose -a*z + 3*z = -1. Solve 2*v + 3 = -z for v.
-2
Let o = 96 - 92. Solve 4*u = -o - 4 for u.
-2
Suppose -4*j - 6 = -54. Suppose -3*a + 3*u - 24 = -u, -5*a + 5*u = 45. Let r = 16 + a. Solve -p + r*p + j = 0 for p.
-4
Suppose 8*h - 4*h = 64. Let g be 5/2*h/20. Solve -g = d - 2*d for d.
2
Let b be (-1)/4 + (-711)/36. Let j be (-8)/b + (-43)/(-5). Solve -5*l + 2*l = j for l.
-3
Suppose 146 - 44 = 6*h. Suppose -z - 2*d = -4*z + h, -d = 2*z - 2. Solve -w + 1 + z = 0 for w.
4
Let m(w) be the first derivative of 3*w**2/2 + w + 1. Let o be m(3). Solve -2 = 4*n - o for n.
2
Let k be (-3 - (2 - 5))/(-3). Suppose 2*f - m = -k*m, m - 2 = f. Suppose 3*w = -j - f*j + 24, -34 = -4*w - 5*j. Solve 2 = 2*s + w for s.
-2
Suppose 0 = 4*c - h - 25 + 3, 2*h = -5*c + 34. Let t be (4/6)/(2/c). Let i be (-1 + 1/2)*0. Solve m + t*m = i for m.
0
Suppose 11 = 3*l - 4. Solve -10 = l*z - 25 for z.
3
Let y be 0 + (4 - (5 - 3)). Suppose -y*i = 3*s + 10, 5*s + i + 1 + 4 = 0. Solve s = 4*g + 1 - 21 for g.
5
Let f be 7/(28/(-8)) - -5. Solve f*z = z - 8 for z.
-4
Let d be (-1)/(-2)*0*1. Let x = d - 0. Suppose -2*t + 19 = 15. Solve -t*s - 3*s = x for s.
0
Suppose 2*r + 2*g = 8 - 0, 5*r - 4*g - 38 = 0. Suppose -2*v = -v - r. Solve -v*z + 2 = -4*z for z.
1
Suppose 3*z + 5*n - 2 = 0, -5*z + 44 = -5*n - 26. Solve -z*y + 2*y = 21 for y.
-3
Let s(p) = 3*p - 3. Let f be s(5). Let a = f + -10. Solve r = -r - a for r.
-1
Let z be (1/(-2))/(2/20). Suppose -7 = 3*f + 4*g - 3*g, -5*f - 2*g = 10. Let a = f - z. Solve -5*q + a = -14 for q.
3
Let f be 4 + (-3)/(6/(-10)). Solve -f = -4*i - 29 for i.
-5
Suppose -6 = -3*y + 3. Suppose l - 2*l = r - 3, -3*l + r + 9 = 0. Suppose -l*i = t - 2, -4*t = 3*i - t. Solve -n + i = -y for n.
4
Let c(f) = -f - 1. Let v be c(-4). Let r be 0*1/(-1 + 3). Suppose -3*q + 3 + 21 = r. Solve -v*l = -q*l + 25 for l.
5
Suppose 2*y + 2*h - 3 = -5, 3*y + 7 = h. Let p be (3/(-2))/(1/y). Let r = p + 3. Solve -4*v + r = -v for v.
2
Suppose -5*q - 15 = -5*v - 8*q, -9 = -3*v + 4*q. Let n be ((-2)/v)/(4/(-30)). Suppose -4 = -3*g + 62. Solve -3 = -n*x + g for x.
5
Let p be 0*(-1)/2 + 17. Solve 3*j + 2 - p = 0 for j.
5
Suppose 2*x = -0*w + 5*w - 11, -w - 4*x + 11 = 0. Let q be (-81)/(-18) + 1/2. Solve q*s = w*s + 8 for s.
4
Suppose 3*c = -0*c + 6. Solve -c = -2*d + 2 for d.
2
Let g(j) = j**3 + 4*j**2 - 11*j + 11. Let v be g(-6). Solve m = v*m for m.
0
Let n(j) = j + 10. Let p be n(-6). Suppose 2*o - 12 + 0 = -4*h, 5*h = 3*o + 15. Solve 0 = p*s - o*s - 20 for s.
5
Let h(c) = c - 2. Let z(q) = q - 1. Let l(x) = -3*h(x) + 2*z(x). Let i be l(4). Let g(p) = -p**2 - p + 23. Let s be g(i). Solve 2 + s = -5*a for a.
-5
Let i(m) = m**2 + 3*m - 3. Let g(l) = l**2 + 3*l - 4. Let x(f) = 4*g(f) - 3*i(f). Let p be x(-5). Solve -p*s = -18 + 6 for s.
4
Suppose 4*q = -0*z - z + 29, -5*z - q = -50. Suppose 2*r + 1 = -4*t + z, 2*t + 4*r - 10 = 0. Solve 2*n + t = 3 for n.
1
Let g = 2 - 2. Suppose -2*m + 4*m - 4 = g. Solve 3*l = m*l + 2 for l.
2
Let x(v) = v**2 + 10*v + 19. Let s be x(-8). Solve -2*z = -s*z + 5 for z.
5
Let m(z) = -z + 15. Let a be m(15). Let c be (-5 - -2)/(-1*1). Solve a*f + c = -f for f.
-3
Let b(m) be the second derivative of m**4/12 - m**3/2 + 2*m**2 - m. Let n be b(4). Let r = -8 + n. Solve r = -i + 3*i for i.
0
Let v be (6/(-3) + 2)/2. Let u = v - -3. Suppose z - 54 = -u*z - 2*y, -3*y - 69 = -4*z. Solve -z = -3*q + 8*q for q.
-3
Suppose -8 = b + 3*r, 3*r = b + 2*b - 24. Solve -b*y + 19 - 3 = 0 for y.
4
Suppose -8 = -2*u - 3*d + 4*d, 0 = -5*u + 3*d + 21. Solve k + u*k + 20 = 0 for k.
-5
Suppose 6*r = -r. Solve 5*z - 3*z - 6 = r for z.
3
Let a(s) = -s**2 + 5*s + 6. Let l be a(5). Let q = l - 3. Solve 2 - 14 = -q*i for i.
4
Suppose -4*t = -q - 3, -5*t = -7*q + 2*q - 15. Solve -1 = c - t for c.
-1
Let n(c) = c**2 - 2*c + 3. Let i be n(2). Let a be 2/(i/((-9)/(-2))). Suppose a*r = -2*r + 20. Solve m - r*m = 0 for m.
0
Suppose 0 = 2*x + 3*x - 20. Suppose x*w = 5 + 55. Suppose -2*n - w = 3*b + n, b - 4*n - 20 = 0. Solve -2*i = -b*i for i.
0
Let n be 6/(-5)*25/(-10). Let f(t) = 12*t**2 - 1. Let p be f(-1). Suppose 3 = 3*x + j - 2, -x + p = 5*j. Solve -n - x = v for v.
-4
Suppose -6*m + 4*m = g + 4, m = 4*g - 2. Solve g = -k - k - 8 for k.
-4
Let p be (6/(-7))/(6/(-21)). Solve p*u - 5*u + 2 = 0 for u.
1
Suppose -3*z - 34 = -5*m, 17 = -4*z + 5. Solve 3*u + 2 = m for u.
1
Let k(r) = -2*r - 10. Let w = 12 - 19. Let h be k(w). Solve 4*v - 2*v = -h for v.
-2
Let i = -4 + 5. Let z be 3 + (-3)/i - -5. Solve 5*o = z + 5 for o.
2
Let i(f) be the first derivative of -1/3*f**3 - 5/2*f**2 - 1 - f. Let p be i(-4). Solve p*m + m = 0 for m.
0
Let o(g) = g**3 - 7*g**2 + 6*g + 3. Let w be o(6). Suppose w*z = z. Solve -r - 3*r - 20 = z for r.
-5
Suppose 131 + 81 = 4*k. Let n = k - 37. Let i(t) = 4*t**2 - t + 1. Let a be i(1). Solve a*u + 0 = n for u.
4
Let z = -6 - -9. Suppose z*q - q = -4*p + 64, -4*p = 4*q - 56. Suppose -p = -2*j + 42. Solve -10 = -5*b - j for b.
-4
Suppose -2*h = h - 15, 2*h = 5*v. Let g = 0 + 0. Suppose -v*f + 6*f = g. Solve f*i = -4*i + 16 for i.
4
Suppose 0 = -8*r - 7*r + 225. Solve -5*l + 10 + r = 0 for l.
5
Let x be 1 + 6 + (17 - 18). Solve -g + 3*g = -x for g.
-3
Suppose 7*s - s = 6. Solve p + s = -0*p for p.
-1
Let l(m) = m + 14. Suppose -q = -2*q - 3*u - 19, 0 = 2*q + 2*u + 22. Let k be l(q). Solve -4*d - k = -15 for d.
2
Suppose 0*j = j + 11. Let h(k) = -k**2 - 12*k - 10. Let y be h(j). Let x be (y - -20)/((-9)/(-6)). Solve x = -5*z - 6 for z.
-4
Suppose t = -2*t + 24. Suppose -3*b = -y + 19, -3*y = -0*y + 4*b + t. Solve -y*c + 1 = 21 for c.
-5
Let k(p) = -p**3 + p**2 - 4. Let j be k(0). Let l = j - -6. Solve 0 = l*u - 0*u + 2 for u.
-1
Let p(g) = -g**3 + 4*g**2 + 3*g - 1. Let h be p(4). Let r = -8 + 13. Let t = 9 + 5. Solve h = r*k - t for k.
5
Let h(l) = -2*l + 2. Let f be h(-7). Suppose -4*i = -3*i - f. Let w be (6/(-4))/((-8)/i). Solve 0 = 2*o + w*o - 5 for o.
1
Let c be 1/(2/(-2)*-1). Let u = -1 + c. Solve u*m - 20 = 4*m for m.
-5
Let y be 20/(-6)*90/25. Let q = -9 - y. Solve 0 = 2*f - q*f - 5 for f.
-5
Suppose -s - 2*s + 9 = 0. Let m(n) = -3*n**3 + n**2 + 4*n - 3*n**s + 4 - 3*n + 5*n**3. Let l be m(0). Solve 0 = l*t + 13 - 1 for t.
-3
Let n = -5 + 8. Let c(u) = -u**3 + 7*u**2 - 2*u + 14. Let j be c(7). Solve -n*b + 0 - 6 = j for b.
-2
Suppose -y - 6 = -2*f - 5*y, -4*y = -5*f + 15. Solve 2*d + 1 + f = 0 for d.
-2
Suppose -y - 3*y = -t - 5, -4*t + 3*y + 6 = 0. Solve -t = 2*n + 3 for n.
-3
Let g = -2 + 6. Solve -g*z - z = -25 for z.
5
Let a be 3/2*2/1. Suppose 0 = -4*i - v + 1, 3 = -0*i - a*i + 3*v. Solve -4*u + i*u = 0 for u.
0
Suppose 0 = -5*c - 4*o + 46, 5*c = o + 38 - 12. Solve m + 15 = c*m for m.
3
Let u(b) = -b**2 + 7*b + 22. Let g(r) = 3*r**2 - 2*r + 1. Let q be g(2). Let v be u(q). Let n = -3 + 15. Solve -v + n = 2*w for w.
4
Let j = -44 + 48. Solve -5*y - j = 1 for y.
-1
Suppose -5*r - 4*w = -12, -4*r 