 Solve j*p + 5 = -u for p.
-2
Let v = -3 + 8. Suppose s = -v*s + 18. Let w be (-80)/(-56) + s/(-7). Solve 3*i = -w + 4 for i.
1
Suppose -5*z - 2 = -f - 0*z, 0 = 4*f + 5*z - 58. Solve -3*q + 0*q - f = 0 for q.
-4
Let k be (-2)/4*0*3/(-12). Solve k*r + 20 = 5*r for r.
4
Let a(x) = 2*x + 8. Let u be a(6). Let z(r) = -r**3 + 4*r**2 - r + 2. Let q be z(3). Let g be 2/(2/4 - 0). Solve g*c - u = q*c for c.
-5
Let z(v) = -9*v - v**3 - 10*v + 23*v - 3*v**2. Let o be z(-4). Let u(l) = l**2 - 7*l + 8. Let f be u(6). Solve f*b = -o*b for b.
0
Let w = -246 - -248. Solve -w = 5*r + 23 for r.
-5
Suppose 2*d + r = -0*d + 10, 2*d - 3*r = 2. Suppose 20 = 4*q + 4. Let f be 0 + q*(-1)/(-4). Solve f = d*s - 3 for s.
1
Let v(a) = a**3 - 6 + 11*a - 8 + 13*a**2 + 6. Let s be v(-12). Solve -s + 2 = -2*g for g.
1
Suppose 0 = -3*x, 0*r - 5*x - 18 = 3*r. Let i be (-3)/9 + (-14)/r. Suppose 3*q + 2*b = -8, -4*q + 8 = -2*b - 0. Solve -k + i = -q*k for k.
2
Let i(t) = t**3 + 11*t**2 + 18*t + 88. Let z be i(-10). Suppose -d - 40 = -5*a, 4*d = 2*a - 7*a + 15. Solve a*v - 1 = z*v for v.
-1
Let j(s) be the third derivative of -s**6/120 + s**5/12 + s**4/4 + s**3/2 + 14*s**2. Let a be j(6). Solve a*r = 4*r for r.
0
Let l = -2789 - -2795. Let h be (1 - (0 - -1))/(-1). Solve h = l*b - b - 20 for b.
4
Let c(p) = -p**3 + 5*p**2 - 2*p + 3. Let l be c(3). Suppose -4*u = -m - 5 - 7, l = -m + 5*u. Solve v - 4*v + 6 = m for v.
2
Let n(p) = -p**2 + 12*p + 13. Let r(x) = 13*x**2 - 3*x + 3. Let k be r(1). Let q be n(k). Solve q = 3*u - u + 4 for u.
-2
Let q(v) = v**2 - 2*v + 3. Let n be q(3). Solve -n*w = -8*w - 8 for w.
-4
Let d = -3649 + 3669. Let j = 15 - 11. Suppose -a - 2*a - 8 = 2*b, -j*b + 4 = a. Solve 7*i - b*i + d = 0 for i.
-4
Suppose 74 = 5*u + 44. Suppose -4*b + 2*b + 2*g = -32, -2*b + 28 = 2*g. Solve -3*n + b = -u*n for n.
-5
Suppose 5*a + 4*b - 31 = 0, -7 - 9 = -4*a - b. Suppose -8 = -o - a. Solve 0 = -8*z + o*z - 15 for z.
-5
Suppose 5*t = 3*t + 4*h + 2, 4*h - 19 = -5*t. Suppose -30 = -0*d - t*d. Solve 4*n + d = -n for n.
-2
Let y(d) = -d**2 + 10*d - 10. Let i be y(9). Let f be -1*(1 - i)*-1. Solve -4*k + 4 = -f*k for k.
2
Suppose 0 = -8*f + 11*f - 12. Let m(c) = -3*c - c - f + c + 4*c. Let b be m(5). Solve 0 = 3*j - b - 2 for j.
1
Suppose -4*v - 4*p + 187 = -49, 3*p = 0. Suppose 0 = 8*c - v - 21. Solve -3*z = -5*z + c for z.
5
Let i = -1015 + 1221. Solve -i = -2*o - 198 for o.
4
Let p(a) = -27*a - 483. Let q be p(-18). Solve q*n = -2*n for n.
0
Suppose 2*z = -5*w + 28, -3*z - 36 = -7*z - 5*w. Solve 0*n + 20 = z*n for n.
5
Let m(c) = 4*c + 144. Let u be m(-36). Solve 7*n + 0 = -u for n.
0
Suppose -6 = 5*q - 16. Let m be q/(-6)*(1 + -1). Let c(y) = y**3 - 9*y**2 + 7*y + 11. Let r be c(8). Solve m*n + r*n + 12 = 0 for n.
-4
Suppose 0 = -5*w + 4*w + 8. Solve 0 = 7*h - 3*h - w for h.
2
Suppose 3*h - 165 = -4*b, 0*b = 3*h + 5*b - 162. Solve -61*a + h*a + 6 = 0 for a.
3
Let p be (-6)/21 - 435/21. Let o(s) = s**2 + 19*s - 36. Let h be o(p). Solve -t + h = t for t.
3
Let h = 12 - 11. Let r be 12/(-4)*h + 0 + 8. Solve 0*u - r*u = -25 for u.
5
Let q be 0 + 2 - (-4 + 1 + -1). Suppose -35 = -q*j - 5. Solve -y = -j + 1 for y.
4
Suppose 0 = 3*s + 2*s + 4*h + 27, 0 = 5*h + 15. Let q be (-1 - -7)*((-7)/s)/7. Solve 8 = q*w + 2*w for w.
2
Let h = -13 - -1. Let w be 4/18 + h/54. Solve 3*x = -w*x for x.
0
Suppose 13 - 2 = 3*z + 5*a, -4*z - 4*a + 20 = 0. Solve 12*c - z = 29 for c.
3
Let p be (33 - 38)*(-2 - -1). Solve p*g - 29 = -4 for g.
5
Suppose -17 = g + 3*o, 14*o = 2*g + 13*o + 41. Suppose -5*b = -4*s + 91, 5*s - 108 = 4*b + 8. Let y = g + s. Solve 0 = -y*n - n for n.
0
Suppose -4*j = 3*q - 23, -2*j + 2*q + 8 = -0*j. Suppose -4*r + 2*b + 4 = 8, -r + 2*b - 4 = 0. Solve -j*p - 3 - 2 = r for p.
-1
Let r be -5 - 2*(-3)/(-12)*-14. Solve 0 = r*u - 185 + 177 for u.
4
Let y be 1/8*-10*-8. Suppose -22*p + y = -17*p. Solve 0 = p*g - 3*g - 5 for g.
-5
Suppose -2*j + 5*z - 2 = 0, -3*j = -0*z - 3*z - 6. Solve -2*q = -j*q for q.
0
Let l = -13 + 10. Let a be 2/1*(l - -4). Solve -a*u + u = 0 for u.
0
Let p(r) = 3*r**2 + 483 - 479 + 5*r + r**2. Let v = 2 + -5. Let t be p(v). Solve t = 4*i + i for i.
5
Suppose -10*r + 10 = -20. Solve -r*g = -g for g.
0
Let p(d) = 8 + 7 + 11*d**2 - 12*d**2 - 4 + 8*d. Let t be p(9). Solve -q + t*q = -1 for q.
-1
Let z be (84/16)/((-1)/(-4)). Suppose 20 = -o + z. Solve -s = -3 + o for s.
2
Let j be ((-42)/(-12))/(-2 - 9/(-4)). Solve 0 = 4*v - j - 2 for v.
4
Suppose 8 = 2*m + 4. Let i be (-21)/m*(-24)/18. Let u be (-1)/(2 - 30/i). Solve 2*n = u*n + 15 for n.
-3
Suppose 0 = 187*h - 69*h + 3 - 3. Suppose -4*o = -5*x - 15, -3*x + x - 13 = -3*o. Let p be -2 - 2*(-4)/x. Solve h = 2*s - 2 - p for s.
4
Suppose -m = -13 + 36. Let l = m - -31. Solve 1 = -3*b - l for b.
-3
Suppose -6*b + 86 = -3*b + 5*p, 3*b - 58 = 2*p. Let z = b - 4. Let o = z - 18. Solve -2*h = -o*h for h.
0
Let z(b) = 10 - 2*b - b - 13. Let c be z(-2). Solve 0*r = -c*r + 9 for r.
3
Suppose -3*h + 11 = 2*h + 4*k, 14 = 3*h - 5*k. Suppose w + 8 = -h. Let o(m) = m**3 + 12*m**2 + 9*m - 14. Let l be o(w). Solve -3*x + l*x = 0 for x.
0
Suppose -l = 5*d - 21, 5*d = -3*l + 15 - 2. Let f(a) = 53*a**2 + 2*a. Let j be f(1). Let b be (33/j)/(1/d). Solve 0 = -b*c + c - 2 for c.
-1
Suppose -3 = -i - 3*u, -4*i - u + 1 = -2*i. Suppose 9 = -4*h + 3*h - 3*d, 0 = -3*d - 9. Solve h = -b - i*b for b.
0
Let b(p) = -p**3 - 6*p**2 - 4*p + 10. Let y be b(-5). Suppose g = -2*t + y*t - 10, 4*t = 3*g + 10. Suppose -6*r - t = -34. Solve -5*j = -10*j - r for j.
-1
Let i be -4*((-18)/48)/((-1)/(-2)). Solve -i = -3*t - 12 for t.
-3
Suppose 102 = 18*o + 30. Solve 5*v = 11 + o for v.
3
Let h be ((-24)/4)/54 - 246/(-27). Solve 0 = -6*p - 15 - h for p.
-4
Let g(i) = i**2 + 13*i + 22. Let s be g(-11). Solve 7*p - 3*p = s for p.
0
Let x = 6 + 39. Suppose -4*c + 60 = -5*f, -3*f - x = 2*f - c. Let n = f + 12. Solve -u - n*u = 0 for u.
0
Suppose -9*m + 10*m - 2*h = -2, 2*m = -5*h + 14. Solve 4*k - m = 2 for k.
1
Suppose 0 = -23*h - 11 + 11. Solve -4*c + h*c = 8 for c.
-2
Suppose -9*u + 96 = 7*u. Solve 0*j + 3*j = u for j.
2
Let z be (-3 - -8)/(-5)*-7. Let p(k) = -6*k + 47. Let f be p(z). Solve 15 = -4*s - f for s.
-5
Let z(x) = 3*x**3 + x**2 - 2*x + 1. Let y be z(1). Let w be (2 + -13)*(y + -2). Let v be (-10)/(-2) - (w + 10). Solve 0 = -l - 2*l + v for l.
2
Suppose 8*r = -r + 36. Let g be (-28)/(-4) + (r - 5) + -2. Solve g*w - 2 + 14 = 0 for w.
-3
Suppose -m + 3 = -0*m. Let h = 4150 + -4148. Solve m*w = h + 1 for w.
1
Let w = -35 - -52. Suppose w*n - 21*n + 12 = 0. Solve z = n*z for z.
0
Suppose -2*y = -3*y - 2*v, y + 8 = -4*v. Suppose -3 - 2 = 5*i. Let c be ((-3)/(-9))/(i/(-9)). Solve -5 = y*r - c*r for r.
-1
Suppose -4*t = 3*v + 26, 2*t - 4*v + 8 = -3*v. Let p be (t + 2)*4/(-6). Suppose -22 = -3*s - 4*a, 2*a = 2*s + 156 - 152. Solve s*o = -p*o for o.
0
Suppose -7*v - 220 = -3*v. Let n = 59 + v. Solve -f + n*f - 15 = 0 for f.
5
Let x = 14 + -16. Let b(y) = y**2 + y. Let l be b(x). Solve l*q - q = 4 for q.
4
Let j(o) = 2*o**2 - 7*o + 21. Let b be j(7). Let a be ((b/(-7))/(-2))/((-2)/(-10)). Solve 4*k + a = -k for k.
-5
Suppose 0 = 2*f + 3*u - 15, -4*f + 13*u = 10*u - 21. Solve 3 + f = 9*k for k.
1
Let q(l) be the second derivative of l**4/12 - 5*l**3/6 + 5*l**2/2 - 14*l. Let d be q(5). Solve -d = 5*w - 0 for w.
-1
Let g be (-1*4/2)/(7/(-161)). Solve r - g = -48 for r.
-2
Let a = 3 + 1. Suppose a*p + 28 - 68 = 0. Suppose w + 6 - p = 0. Solve w = z - 0 for z.
4
Suppose -17*s = -21*s - v + 7, 3*s = 2*v + 8. Solve 6*g = -s + 8 for g.
1
Let s(p) = 2*p**2 + 3*p + 4. Let i(z) = -3*z**2 - 6*z - 8. Let l = -6 + 3. Let x(d) = l*i(d) - 5*s(d). Let h be x(4). Solve h*t + 6 = -3*t for t.
-2
Let s be (-1)/3*(-5 + 2). Let d(q) = q + 2. Let n be d(s). Solve 8 = -n*r + 17 for r.
3
Let i(u) = u**2 - 4*u + 2. Let y be i(5). Solve -11*z = -40 + y for z.
3
Let b(r) = -r**2 + 9*r + 4. Suppose 5*g - 50 + 5 = 0. Let k be b(g). Let s(t) = 3*t**2 - 6*t + 6. Let x be s(k). Solve -10 = 5*z - x for z.
4
Let p(a) = -a**3 - 5*a**2 + a + 11. Let q be 4 + -4 + (-9 - -4). Let b be p(q). Solve 3*v = 3 - b for v.
-1
Let c(n) = -6 + n**3 - 9*n**2 + 2*n**2 + 21*n - 14*n. Let h be c(6). Solve h*u + u = -3 for u.
-3
Suppose 0 = -9*n + 14*n - 60. Solve 56*k = 60*k + n for k.
-3
Suppose s = -3*b + 