y + p for s.
-2
Let p(n) = -n**2 + 11*n - 15. Let f be p(9). Solve 2*k + 4*z = 6, 0 = -8*k + f*k + z + 26 for k.
5
Let n(y) = y + 2. Let m be n(-8). Let w = -2 - m. Solve w*x + x - 7 = -k, 3*k = -2*x - 5 for x.
2
Suppose -7*j + 4 = -24. Suppose j*d + 2*d - 12 = 0. Solve 4*w + 0*w - d*u = 4, -5*u = -2*w - 6 for w.
2
Let u(r) = -r + 11. Let p be u(9). Solve -f + 4*k = -3, p*f + 4*k + 3 = -3 for f.
-1
Let f be (5/(-1) - (-20 - -19)) + 19. Solve 2*a + 0 = 4*t + 12, 0 = 3*t + f for a.
-4
Let l be (0 + 6/(-4))*(-40)/(-6). Let y be (2*(-10)/4)/(l/4). Solve 5*c = 2*t + 18, -y*t + 2*c - 14 = -2*c for t.
1
Let m(d) be the first derivative of 5*d**2 - 17*d + 17. Let q be m(2). Solve -q*a + 8*a + 6 = 2*y, 5*a = 5*y for a.
-2
Let q be (-6)/(-15)*-1 - 374/(-85). Solve i = -m - 10, m + m + q*i + 30 = 0 for m.
-5
Suppose 2*w + 5 = -l, -w - 10 = 3*l + 5. Let f be l/(-2)*(-120)/(-75). Let t = -38 - -53. Solve -5*p = -f*r + 36, p + 4*r = t - 3 for p.
-4
Let k be (-21 - (-5)/5)*(-4)/4. Solve -4*j - j - k = 5*g, 0 = -5*g for j.
-4
Let w = 26 - 13. Let m = 18 - w. Suppose 2*f + 9 = m*f. Solve b + 30 = 3*l + 6*b, -4*l + 11 = -f*b for l.
5
Suppose -j + 2*b + 85 = -0*b, b = -5*j + 414. Let h = j - 81. Solve 2*n = 2*y, -h*y + 0*y - 8 = -4*n for n.
4
Let n = -123 - -123. Suppose 13*b - 14*b + 22 = n. Solve 5*j + 5*z - 18 = b, -4*j = -4*z + 8 for j.
3
Let l(f) = -2 + 14*f**2 - 2 - 13*f**2. Let n be l(-3). Solve -n*r + 5*k + 20 = 0, -3*r - 2*k + 11 = -1 for r.
4
Let y(f) = -f**2 - 5*f. Let o be y(-4). Suppose 3*d - x - 54 = 3*x, -4*x - 68 = -o*d. Let l be (-4)/d + 80/35. Solve -3*z = 2*z - 20, -z = -i - l for i.
2
Suppose 0 = -3*j - 19 + 34. Let y(x) = -x**2 + 7*x - 8. Let h be y(j). Solve h*n + 2*n + 10 = -2*o, n + 5 = 0 for o.
5
Let v = 128 + -100. Suppose -v*k + 3 = -27*k. Solve 2*w + k + 18 = 5*d, -5*d - 4*w + 33 = 0 for d.
5
Suppose 0 - 57 = -19*u. Solve -3 = -3*j, 0 = 5*x - u*x + 3*j - 5 for x.
1
Suppose v + 11 = 2*z + 9, -v - 5*z = -12. Solve -2*u - 16 = -2*c, -u - u + 4 = v*c for c.
5
Let j be 5 + 6 + 7 + -14. Solve 6*m = 2*m + 2*h + 22, j*m = -h + 7 for m.
3
Suppose 0 = 2*z + 10*z - 24. Solve -3 = i + z*k + 2, -3*k = i + 6 for i.
-3
Let c = -481 + 485. Solve -c*i + 4*r + 20 = 0, 5*i - 25 + 9 = -4*r for i.
4
Let b(g) = 2*g + 7 - 5*g + g**3 + 5*g**2 + 3*g + g. Let c be b(-5). Solve 5*z + c*j - 21 = 0, -2*z - 5*j + 18 = -3 for z.
3
Suppose 2*p - 7 = 1. Suppose 5*u - 16 = p. Solve -l + 1 = -5*l - 3*c, -1 = 5*l + u*c for l.
-1
Let m(c) = 16*c - 1. Let k be m(1). Let v = -16 + k. Let r be (2 + -3)*-1 + v. Solve -3*j - 5*o + 2 = r, 2*j + o - 12 = 3*o for j.
4
Suppose -79*w - 14*w = 6*w. Solve -2*x + 10 = 4*z, 0 = -z + 2*x - w + 5 for z.
3
Let k be 2/1*(-3)/(-6). Let o(x) = 3*x**3. Let z be o(k). Let b be (z/(-9))/(2/(-24)). Solve -2*g + h + b = 0, -h = 5*g - 9 - 8 for g.
3
Let h = 92 + -57. Solve 6*n = 5*v + 3*n - h, -30 = -5*v + 2*n for v.
4
Let v = -6 - -8. Let o(p) = p**2 - 12*p + 13. Let k = 33 + -22. Let x be o(k). Solve -4*l + 20 = -n, 2*n - 10 = -v*n - x*l for n.
0
Let f = -26 - -5. Let m be (-23 - f)/((-1)/2). Let c be 1*-2*(-26)/m. Solve h + 9 = -4*k, -3*k - 3*h - 5 - c = 0 for k.
-1
Suppose 20 = 4*j - 2*f, -12*j - 4 = -8*j + 4*f. Solve 0*l + j*s = -l + 7, 4*l - s + 11 = 0 for l.
-2
Let m = 481 - 454. Solve n - 2 = -5*b - m, 4*b + 4*n = -36 for b.
-4
Let i = 420 + -418. Solve -3*q + 3*a = 0, 4*a = -5*q + 38 - i for q.
4
Suppose 32*c - 26*c = -4*n + 28, -2*c + 4 = 0. Solve -3*j + 1 = 4*s, -n*j - 3*s = 2 - 8 for j.
3
Suppose -17*a + 18*a + 4 = 0. Let g be 4 + a/(-4) - 3. Solve -4*d + 9 + 1 = -g*s, 10 = 2*d for s.
5
Let c(v) = -v**3 + 59*v**2 - 59*v + 60. Let x be c(58). Solve -a + 5 = 0, s = -x*a - a + 20 for s.
5
Suppose 63*g = 53*g + 310. Solve 3*l - 4 = n, -4*n + g = 2*l + n for l.
3
Suppose 2 = -t - 2*w + w, -4*t - 5*w - 13 = 0. Let p be -2 - (t - (-2)/(-1)). Let r be ((-108)/60)/(p/25). Solve x + 2*x = 2*q + r, 4*x - 20 = 3*q for q.
0
Suppose -z = -4*h + 69, z - 3 + 54 = 3*h. Suppose -2*k = q - h, 3*k = -4*q + 5*k + 82. Suppose -4 = v - q. Solve -2*f = 10, -y - v = 3*f - 1 for y.
0
Suppose 3*t - 3*u - 12 = 0, 2*t - 11 = -8*u + 13*u. Let y = -1 - -6. Solve -3*l = 3*z, y*l + z - 4 = t*l for l.
4
Let s(t) = t**2 - 4*t - 3. Let k be s(4). Let g(z) = z**2 - z - 6. Let b be g(k). Let w = 8 - b. Solve 3*c - 25 = 5*o, -w*o - c + 6 = c for o.
-2
Suppose 10*l - 7*l + 22 = k, -25 = 5*l. Solve -d + 2*n + k + 0 = 0, -8 = -2*d + n for d.
3
Suppose 51 = 4*q - h, 27*q - 22*q + 2*h = 67. Suppose -21 = -2*j + 1. Solve 3*u = -2*y + j, y - 5*u = -y - q for y.
1
Suppose w = a - 1, 1 = -5*w + 3*a + 4. Suppose w*n - 9 = -5*p, 2*n + 2*p - 15 = -3*n. Solve n*g + 24 = -5*h, 3*h + h = -3*g - 21 for h.
-3
Suppose 7*w - 2*w = -475. Let x = w - -105. Solve -20 = -u + 6*u, 3*q - 4*u - x = 0 for q.
-2
Suppose -5*w = 5*i - 80, 5*i + 5*w = i + 65. Let l be (5/2)/(i/30). Suppose -l*n = -2*n - 24. Solve -3*f - 2*s = -7*f - n, -13 = 5*f - s for f.
-3
Let i(b) = -b**2 + 8*b + 23. Let m be i(10). Suppose m*r = 5*r. Suppose 4 = 3*k + 3*s - 8*s, r = -s + 1. Solve 4*z - 21 = -h, -k*z + 4 = -3*h - 8 for z.
5
Let l be 2200/495 + 4/(-9). Solve -a + 6*b - 9 = 2*b, 19 = -3*a + l*b for a.
-5
Suppose 0 = 35*w - 34*w - 4. Solve 5 = -w*o + 3*k - 5, o - k = -2 for o.
-4
Let b be (-6)/(5 + -2) + 12. Let r(k) = -6*k - 44. Let v be r(-8). Solve 0 = v*o + 3*s - b, 2*o = 2*s - 2 - 0 for o.
1
Let p be (-2)/(-4)*-1*0. Suppose 4*u - 3*u = p. Suppose 8*i - 6*i - 8 = u. Solve s + i*a - 8 = 16, -2*s = 4*a - 28 for s.
4
Let l = -1341 + 1343. Solve -2*c + 3*s - 5 = 4*s, -l*s - 11 = 5*c for c.
-1
Suppose 0 = 5*j - 6 - 14. Solve 4 = -w + x, w + 16 = 4*w + j*x for w.
0
Let v = -18 - -14. Let i = -7 - v. Let m = 2 - i. Solve -f + 15 = 3*w - m*w, 0 = 3*f + w - 10 for f.
5
Suppose -u + 3*u = 3*w - 11, 3*w - 25 = -5*u. Solve 2*y + 13 = 3*a - 3*y, 0 = a - w*y - 11 for a.
1
Let s be (-4)/(-38) - (-10 + (-136)/152). Solve -4*x + s = -5*c - 7, -12 = 4*c - 2*x for c.
-2
Let z be (1 - 2)/((-1)/(-1)). Let r = 3 + z. Let x(c) = c + 10. Let k be x(-6). Solve -3 = -r*w + 4*g + 11, -4*w + 2*g + k = 0 for w.
-1
Suppose 9 = 2*k + k. Let o be (6 + 0)/((-3)/2). Let g = 7 + o. Solve 4*c = -g*h + 4, -c - 12 = k*h + h for c.
4
Let a = -1188 + 1188. Solve 5*f + v + 6 = 0, 4*f - 8 = -4*v - a*v for f.
-2
Let f(l) = -5*l + 13. Let s be f(3). Let q be (-11 + 13)/((-1)/s). Solve -t - 5*r = -7, -4*r + 20 = -0*t - q*t for t.
-3
Suppose 0 = 4*h - 8 - 8. Suppose 3*p = -5*o - 2*p + 40, 29 = h*o + 3*p. Solve 0*t - 13 = -4*t - 5*i, 2*t - o*i = -31 for t.
-3
Let n(j) = 5*j**2 - j - 1. Suppose 6 + 1 = -4*f - 3*i, 0 = f + 4*i + 5. Let y be n(f). Solve -2*c - v = 3 - y, v = -4*c + 6 for c.
2
Let t be (-25)/(-3*3/27). Let z = -54 + t. Solve 0 = 2*w - 6 - 0, -3*y - z = -3*w for y.
-4
Let q(m) = 7*m**2. Let g be q(-1). Let s = g + -2. Let x be 3 - -2 - 5/s. Solve 2*w + 2*w = 2*k + 2, -5*w + x*k + 7 = 0 for w.
-1
Let r(t) = -t + 5. Let i be r(-3). Suppose -3*o + 6 = 3*b - 0, i = -4*o. Suppose -b*z = -6*z + 6. Solve -2*u = 3*x - 6, -3*x - 4 + 13 = z*u for x.
0
Let t = -34 + 39. Suppose -t*r + 3*r = -22. Solve 0 = -3*b - 5*c + r, -5*b = -4*b - 5*c + 3 for b.
2
Let k = 347 - 328. Solve t = 5*u + k - 3, u - t = -4 for u.
-3
Suppose -5*l = 4*m - 8 - 20, -4*l + 5*m + 6 = 0. Suppose -17 = -6*c + 1. Let z be 8*c/15 + 4/10. Solve -j = -z*x - l + 2, 2*x + 26 = -5*j for x.
-3
Let i(r) = -7*r - 5. Let u be i(-2). Suppose -36 = -u*a - 9. Solve t + 6*y - 2*y = -10, a = -y for t.
2
Let n be 2*(-1)/(-7) + 4587/973. Solve -4*d + 5 = -9*d + 5*i, 3 = n*d + 3*i for d.
0
Suppose -3*b + 5*v = -30, b - 4*v + 84 - 101 = 0. Let x be 1/(1 + 48/(-50)). Solve 0 = -4*p - b*u - 41, -2*u - 3*u = x for p.
-4
Suppose 13*g + 2 = 14*g. Suppose 0 = 11*j + g*j - 39. Solve -12 + 0 = -j*l, -3*k + 5*l = 14 for k.
2
Let p = 23 - 3. Let l = -19 + p. Solve -2*d - 3*a - l = -2, -4*d + 2*a = 22 for d.
-4
Let b(g) = 22*g - 284. Let x be b(13). Solve -l - x*v + 3 = -3*v, -4*v - 7 = -3*l for l.
5
Suppose -3*a - 5*l + 37 = 0, 2*a = -5*l + 5 + 28. Solve g = a*g + 4*i - 4, 5*i = -2*g + 12 for g.
-4
Let p = 57 + 0. Suppose 0 = -56*v + p*v - 4. Suppose 2*r - 12 = -2*r. Solve -7*u - 4*b = -r*u + 20, b + 8 = -v*u for u.
-1
Let n = -1 + 15. Let p be 54/(-4)*(26 - 24). Let f be (-147)/p - (-4)/(-9). Solve 4 = 2*z, z +