*p + s, -k + 10 = -4*p for p.
-3
Let l = -915 - -920. Solve y + l*a + 3 = 0, 2*y + 5*a - 6 = 7*a for y.
2
Suppose r = 2*w, -2*r + 2*w + 1 = -3. Solve 2*j = r*d + 2, 3*d - j = j for d.
-2
Let l = 180 - 178. Solve i = -4*g - 16, -5*i + 0 = l*g + 8 for g.
-4
Suppose 0*g - 3*g + 2*z + 16 = 0, 0 = 2*g - 2*z - 12. Let w = -2 + 4. Solve -5*r = g*m - 5, 5*m + w*r + 12 = -3 for m.
-5
Suppose -7 = -5*q + 3. Suppose 1 + 4 = -3*r + o, 10 = q*r + 2*o. Solve 2*j + d - 8 = -r*d, 3*j = -4*d + 12 for j.
4
Suppose 0 = -100*z + 92*z + 32. Solve 4*y - 3*f + 23 = 0, z*y = 4*f - 4 - 24 for y.
-2
Let s(q) = q**3 + 6*q**2 + 6*q + 8. Let y be s(-5). Solve -4*h - 5*r = y - 9, -4*h - 4*r + 4 = 0 for h.
-1
Suppose 3*x = u - 24, 2*x - 64 = -4*u - 2*x. Let n = 19 - 17. Solve -3*d - u = 2*g, -n = 2*g - 4*d - 12 for g.
-3
Suppose -3*s - 4*z = -7*z, 0 = 3*s - 5*z + 10. Solve 0 = s*l - 5*x + 15, 2*x + 5 = -l + 4*x for l.
-1
Let y = -4 - -6. Let u be -2*(-1 - 0/1). Let a be (-64)/(-80) + 8/(-10). Solve -5*j = -y*v + 3, v - 3*j = -a*v + u for v.
-1
Let x be (-817)/(-57) + 4/6. Let q = 8 + -6. Solve x = -g - 5*f, -3*g - 3*f - q*f = 25 for g.
-5
Let r(b) = b**3 - 9*b**2 + 8*b + 4. Let p be r(8). Suppose -p*a + 12 = -0. Solve 2 = o + 4*v - 3, -15 = 3*o - a*v for o.
-3
Suppose 3*j = -j. Suppose -4*d + j*d = -5*p - 25, 5*p = 3*d - 25. Suppose -9*n + 5*n = d. Solve -6 = -2*m, -4*g + 8 = 4*m - n for g.
-1
Let v = -258 - -260. Let c be 35/(-14)*6/(-5). Solve -13 = t + c*w, -v*w - 2 = 8 for t.
2
Suppose 3*s + 2*v - 30 = 0, 0 = -5*v - 7 - 8. Suppose -32 + s = -5*f. Solve -x + 3 = 2*n - f, 2*n - 6 = 0 for x.
1
Let f(r) = 5*r**2 - 5*r**2 + 6 - r**2. Let s be f(0). Suppose 12 = s*u - 3*u. Solve 5*j + 5 = -u*n, n + 5*j = 5*n - 5 for n.
0
Let t be 430/50 + -6 - (-3)/(-5). Let a = 0 + 3. Suppose t*i - x - 8 = a, 0 = i - 2*x - 13. Solve -3*k - i*f - 21 = k, -2*k = -2*f for k.
-3
Suppose -2*f + 66 = 20*f. Solve -4*t - 29 = -f*y, 3*t + 9 + 3 = -y for y.
3
Let u(y) = 5*y**3 - 5*y**2 + 4*y + 1. Let w be u(1). Solve 0 = w*z - 15, 0*q + 22 = 4*q + 2*z for q.
4
Let w = -20 + 21. Suppose 5*i - 1 = 64. Let k(m) = m**3 - 14*m**2 + 14*m + 13. Let p be k(i). Solve p = -s + 5*h + 9, h = s + w for s.
3
Suppose -8 + 50 = 6*m. Solve 0 = -c - 5, a = -2*c - m - 0 for a.
3
Suppose -3*m = -4*b, m + 2*b = 3 + 7. Solve 2*t + 3*l + 12 = 0, -t - 16 = 2*t + m*l for t.
0
Let i = -115 - -121. Let j = 2 - 4. Let r be (j/(-1))/((-2)/(-8)). Solve u = -2*p - i, -p - 5*u - 4 = r for p.
-2
Suppose -4*c - 2*c = -12. Let m(o) = 3*o**2 - 4*o + 3 - 6 + 0*o**2 + o**3 + c*o. Let j be m(-3). Solve 1 = -j*k + 5*s, 0 = k - 0*k + 2*s - 7 for k.
3
Suppose -h - 12 = 4. Let w be 13 + -11 + 1 + h. Let l = -9 - w. Solve 0*t - t + l*v + 13 = 0, 0 = 2*v + 4 for t.
5
Let d(k) = -k + 15. Let q(g) = 2*g - 30. Let z(j) = -5*d(j) - 3*q(j). Let i be z(10). Solve 2*u - 4*f - 22 = 0, -i*u + 3*f - 4*f + 11 = 0 for u.
3
Let l be (-3)/63*-3 - 68/(-14). Solve y + l = 5*i + 4*y, -4 = -3*i - 2*y for i.
-2
Suppose 5*s + 0*m - 27 = 2*m, 0 = 3*s - 4*m - 19. Solve 0 = 5*c + s*u - 25, c - 4*c + 4*u + 1 = 0 for c.
3
Suppose 3*n - 9 = 9*l - 11*l, l = 2*n + 1. Solve -l - 5 = 4*y - 4*t, -5 = 3*y - 2*t for y.
-1
Suppose s - 7 = -4*j, 2*s - 11 = -4*j + 5*s. Let p = 3 - 1. Suppose -2*x + 6 = x, -p*f + x = 0. Solve 3*k = -j*k - 2*h + 7, 0 = -h + f for k.
1
Let m(h) = -27*h**2 + 7*h + 1. Let z be m(3). Let d be z/(-6) + 7/42. Let y = 8 + -5. Solve y*v - 5*a - 32 = 2, d = 4*v - 5*a for v.
3
Let x(q) = -8*q - 47. Let z be x(-6). Suppose z = -3*d + 10. Let u = 28 - 16. Solve -l + y = -y + d, -u = -3*y for l.
5
Let b = -1 - -3. Let k = -7 + 4. Let r(n) = 2*n**3 + 8*n**2 + n - 7. Let w be r(k). Solve t - 9 = -b*i, -w - 13 = -5*t - 4*i for t.
1
Let n = 901 - 476. Let p be n/(-17)*(-2)/10. Solve a + x + 2*x + 19 = 0, p*a - 5*x - 5 = 0 for a.
-4
Suppose 27*k - 30*k - r + 87 = 0, -2*k + 44 = -4*r. Solve -3*v = v - 4*t + k, -4*t - 2 = 2*v for v.
-5
Let b = -348 + 350. Solve -2*x = 2*a, -b*a - 15 = -2*x + x for x.
5
Let g be 12*(-12)/54*-3. Solve -3*n = -4*s - 2*n - g, 3*s = -2*n - 6 for s.
-2
Suppose -66*t + 62*t + 620 = 0. Suppose 0 = -3*n + 5*w + 93, -n + t = 4*n - 5*w. Solve 5*b - n + 7 = -3*g, -2*b = -g - 3 for b.
3
Suppose -4*i = -619 + 559. Solve -3*f + i = 3*v - 3, -f - 3*v = -14 for f.
2
Let v(r) = -2*r**3 + 21*r**2 - 8*r. Let l be v(10). Suppose -h + 3*g = -l, 17 = 5*g + 42. Solve -2*k = -5*n - k + 28, -4*k = -h*n + 37 for n.
5
Let v = -46 - 22. Suppose -p + 2*p - 5 = 0. Let h be v/(-20) + (-2)/p. Solve 2*x + a + 9 = -2*a, a = -x - h for x.
0
Suppose -4*a + 5*w - w + 8 = 0, a - 3*w + 4 = 0. Solve a*z = y - 2, -4*y - 3*z = -y - 6 for y.
2
Suppose -6*x + 3 = -3*x - 4*d, -d = -5*x + 22. Suppose 12 = 3*a + 3*a. Let n be a/(-7) + 18/14. Solve -2*s - n = -x*f + 21, -f = 4*s for s.
-1
Let g(h) = 2*h**2 + 22*h + 53. Let f be g(-8). Solve -z = -4*k + 10, f*k + 2*z - 8 = -2 for k.
2
Let w be 0/(-1) - 19/(-1). Let y be (-627)/22*(-4)/6. Let k = y - w. Solve -3*j = j - 4, 2*n + 2*j = k for n.
-1
Let r be 10/(-4)*42/(-5). Suppose r*n = 23*n. Solve 2*y + 2 = -n*v - v, -4*v = 3*y + 8 for v.
-2
Suppose 7*i + 15 = 2*i, -4*z - 3*i = 5. Let b be z/((-4)/(16*-4)). Suppose -4*c = -4 - b. Solve 2*x = c*h - 6 - 4, -2*h - 10 = 2*x for x.
-5
Let c be (91 - 51)/(3 + (-2 - -1)). Solve -5*b - 5 = n, b = -3*b + 4*n + c for b.
0
Let d(n) = -3*n**2 - 60*n + 2. Let f be d(-20). Solve -2*j + m - 7 = 0, 2*m - 2 = f*j - j for j.
-4
Let l = -10 + 18. Suppose 5*s = 3*i - 8 + 40, -5*i = 3*s + l. Suppose 11 = -4*r + 5*o, -4*r + s = -3*r + o. Solve -2*x = -2, -10 = 4*z - x - r for z.
-2
Suppose 0 = -a - 2*v - 2, -2*a + 3*a + 6 = -4*v. Suppose 0 = -4*z + j + 9, 3 = -j + a*j. Solve -4*t - t = -z*m - 20, 8 = 2*t - 2*m for t.
4
Let x = -2217 + 2221. Solve -3*j - 1 = 3*k + 2, x*j = 8 for k.
-3
Suppose 2*t = t + 2. Suppose -3*s = 0, 2 = -w - 5*s + 11. Solve -18 = 5*d + n, -d = -t*d - 2*n - w for d.
-3
Suppose 10 = n + n. Suppose 24 = n*d + 4. Suppose 5*v + 2*u + 6 = 25, 0 = d*v - 2*u - 26. Solve o - 19 = v*g, -5*g + 5*o = -2 + 17 for g.
-4
Let c(x) = 2*x**2 - x. Let p be c(-2). Suppose -2 = p*q - 11*q. Suppose -2*m = q*m. Solve 0 = -3*a - 1 - 5, m = s + a + 1 for s.
1
Let c(y) = -9*y + 34. Let h be c(6). Let n be 15 - -3*h/15. Suppose 0 = u - 6*u + 15. Solve -5*g - u*k = -n, 8 = -g - 2*k - 2*k for g.
4
Suppose 4*q + 35 - 51 = 0. Suppose -x + 3*l = q*x - 20, -4*x + 16 = -l. Let n(v) = -v. Let y be n(-4). Solve m = 2*o - y, 0*m + 2*m - 3*o = -x for m.
4
Suppose 700 = -n + 704. Solve 5*o + n*h - 33 + 0 = 0, 2*h = -5*o + 29 for o.
5
Let h be -2*((-8 - -5) + (-3)/(-6)). Solve 5*i - 26 = -4*o - 1, h*i = 2*o - 5 for o.
5
Let d(t) = t**3 + 8*t**2 + 3*t - 7. Let x be d(-8). Let p = x - -36. Solve 0*s + 2*v + 3 = p*s, -5*v - 15 = -5*s for s.
-1
Let j = -10 + 15. Let z = 62 - -16. Let m be (-1)/6 + 169/z. Solve -2*p = j*n + 11, m*p + 2*n - 1 = 3*p for p.
-3
Let z = -61 + 191. Let p be (-20)/z - (-41)/13. Solve -4*c + 17 = -r, c + 5*r - 11 = -p*c for c.
4
Let s(a) = 13*a**2. Let j be s(-1). Suppose 11 = 6*v - j. Solve 6*h = h + v*o + 23, h = -2*o - 1 for h.
3
Let r(a) = a**2 - 21*a + 6. Let w be r(21). Let c be (-2)/3*1/((-2)/w). Solve -4 = -4*v, -c*h - 3*v = -6 - 7 for h.
5
Suppose 5*z - 16 = 9. Suppose 4*c = 13 - 29, 3*c = -5*q + 113. Solve -5*k - q = 2*n, -z*k - 25 = -n - n for k.
-5
Let k be 4/2*(-2)/(-6)*24. Suppose k*x = 15*x + 5. Solve -4*i - 4 = -2*c - 0*c, 2*c + x = i for i.
-3
Let m be 11 - (1 + -1)/1. Let q = 32 + -26. Let w(z) = -z + 9. Let n be w(q). Solve -j + 6 + m = -5*u, n*u = 5*j + 3 for u.
-4
Let s be (2 + -2)/(-3) + 3. Suppose -b - 15 = -s*x + x, -2*x - 2*b + 18 = 0. Solve t + 3 = 3*g, 0 = 3*t + 2*g + 1 + x for t.
-3
Let r = 41 + -37. Suppose k - 2 - 3 = -2*h, 4*h + r*k - 12 = 0. Let z(x) = x**3 + 3*x**2 + 2*x + 1. Let q be z(-2). Solve w = -t - 3 + 11, -3*t + h*w = q for t.
3
Let w(t) = -18*t + 18. Let g be w(0). Solve -2*a + g = 2*p, 7 = 3*p - 8 for a.
4
Let v(z) = -z**3 + 5*z**2 + 2*z - 5. Let l be v(5). Solve 3*m - l*j = -37, j + 3*j - 8 = -3*m for m.
-4
Suppose 5*t = -4*u + 3, 2*t + 0*u - 21 = 5*u. Suppose i + 4*z = 23, t*i + 2*z = -0*z + 19. Suppose 2*a - i*a = -4. Solve a*n - 12 = 4*g, g + 0*g - 3 = -n for g.
0
Let c = -14 - -24. Let g = -7 + c. Let t = 13 + -5. Solve 2*l + 5*s = -t, -g*l - l = 3*s