= -4*p + p + u for p.
5
Suppose 4*s + p = -2*p + 4, 2*s = -2*p. Suppose 2 = 3*r - s. Solve 5 = -r*o + 11 for o.
3
Let j(i) = -25*i - i**3 - 56*i + 59*i + 23*i**2 + 2. Let t be j(22). Solve t*y + 3 + 7 = 0 for y.
-5
Suppose 9*c - 7*c = 0. Let r(p) = 2*p**2 - p - 6*p**2 + 4*p**2 + p**2. Let s be r(3). Solve c = -2*l - 0 + s for l.
3
Let n = -241 - -246. Solve 0 = 6*z - 1 - n for z.
1
Let m(y) = y + 3. Let p be m(1). Suppose -p*i - 3*i = -56. Solve 3*t - i = 7 for t.
5
Suppose 191*g - 201*g = -110. Solve -g*d - 49 = -5 for d.
-4
Suppose 5*o - 2*c + 0 = 12, -2*o - c + 3 = 0. Solve o*q - 3 = 5 for q.
4
Let w = 34 + -32. Suppose 5*q = -w*q + 14. Let h = 4 + q. Solve -3*l + 0 - h = 0 for l.
-2
Suppose -2*h = -3*i + 39, 42*h - 47*h = 2*i - 45. Solve i = 7*b - 10*b for b.
-5
Let f = -223 - -253. Solve 0 = 10*j + f + 20 for j.
-5
Let m be 1 + (1 - 0) - 2. Let g = 166 + -233. Let v = -65 - g. Solve m = -v*b + 3*b for b.
0
Let w be 12/9*12/8. Let k be (-45)/(-10) + (-1)/(-2). Suppose -5*x + 13 = 5*s - 32, 4*x + k*s = 41. Solve c + x = w for c.
-2
Suppose -5*s - 10 = 0, -2*o - 2*o - 5*s = -38. Solve -o*q - 50 = -2*q for q.
-5
Let x = 3 + 1. Suppose -5*k + 2 = -2*a, -5*a - 8 + 3 = 4*k. Suppose 24 = 5*t + 3*m - 66, 2*t - 2*m - 20 = k. Solve d = x*d + t for d.
-5
Suppose 0 = -0*h - h. Suppose -4*s - 40 - 80 = h. Let z be s/12*(-2 + 0). Solve -20 = -0*o - z*o for o.
4
Let x = 323 + -322. Solve 0 = -0*g + g - x for g.
1
Let h be (-8)/10*10/(-4). Let q = h - 1. Let m be (q/3)/((-4)/(-168)). Solve 4*x = m + 2 for x.
4
Let q(f) be the second derivative of -f**5/20 - 2*f**4/3 + 3*f**2/2 - 7*f. Let v be q(-8). Solve v*h + 5 = 14 for h.
3
Let q(y) = 7*y**3 - 3*y + 4. Let x(j) = 6*j**3 - 2*j + 3. Let g(z) = 3*q(z) - 4*x(z). Let n be g(-1). Solve -s + n = -2*s for s.
-4
Let a be 6/27 - (-103866)/378. Solve a*u + 9 = 272*u for u.
-3
Let r be (-1)/((3 + 1)/(-20)). Suppose r*z = 2*z + 6. Let b = z - -2. Solve -9 + b = 5*c for c.
-1
Suppose 2*x - x + 5*o = -8, 2*x = -4*o - 4. Let r be ((-2)/(-8))/(6/(-24)). Let b = 4 - r. Solve b = 7*k - x*k for k.
1
Suppose -185*k + 183*k + 34 = 0. Solve -4 = -7*w + k for w.
3
Let g be (2 + (-9)/(-6))/((-3)/(-6)). Let f = 5 + 2. Let w be f/g + 0 + 2. Solve u = -2*u - w for u.
-1
Suppose -4*j + 0*j + 12 = 0. Let m = j - 0. Solve 7*q - m*q = 12 for q.
3
Let k be 65/(-15) - 2/3. Let m be (4/k)/(2/(-25)). Suppose 3 = -43*u + 3. Solve u*n + m = 5*n for n.
2
Let i be 30/15 + (-18)/(-3) + 1. Solve i = 14*z + 23 for z.
-1
Let r(u) = -13*u + 11. Let n be r(0). Solve 4*d - n = -15 for d.
-1
Let o = 231 - 222. Solve -18*z + o*z + 9 = 0 for z.
1
Let p = -2 + 7. Suppose 3*n - p - 7 = 0. Let z be 11/(3/12*n). Solve 5*x + 9 = -z for x.
-4
Let a be (-6)/(80/(-72) - 16/(-36)). Let z = 1 + 3. Suppose z*q = -3*n - 12, -5*q = -3*n - 2*q + 9. Solve 3*s + n = -a for s.
-3
Let y be (-1 + 0)/((-13)/260*4). Solve -12 = -2*j + y*j for j.
-4
Let c(b) = 6*b - 28. Let j be c(6). Suppose 2 + j = 2*l - 2*r, 0 = -4*l - 4*r + 36. Solve -5 = 4*i + l for i.
-3
Let l = 428 - 417. Solve -16*k = -l*k - 10 for k.
2
Let a = -1 + 2. Let h(l) = -49*l - 91. Let s be h(-2). Solve -a = -2*k + s for k.
4
Suppose -14*y = -17*y + 45. Let u = -12 - 1. Let s = y + u. Solve -16 = -2*h - s*h for h.
4
Suppose p - 3*p = -4*o + 76, p = 4*o - 80. Suppose 0 = 9*r - 2*r - o. Solve -5*b + 12 = -r for b.
3
Let g be (-25)/(-5) + 0 + 2. Solve 0 = -6*h + g - 1 for h.
1
Let u(q) = 2*q**2 + 652*q - 1300. Let z be u(2). Suppose 0 = -0*d + 5*d - 10. Solve d*j = -2*j + z for j.
3
Let f = 493 - 483. Solve -4*j + 9*j = f for j.
2
Let w be (-80)/64*(-16)/10. Suppose -4*x = -x + 5*a - 19, -3*x - a = -11. Solve 0 = x*i - w*i for i.
0
Let h(g) = -6*g**2 - 129*g - 55. Let r be h(-21). Solve -r + 2 = 2*q for q.
-3
Let d(w) = 15*w + 65. Let b be d(-4). Suppose 3*k = 5*f + k - 114, k + 2 = 0. Let v = -15 + f. Solve 2*p - b = v*p for p.
-1
Let g(v) be the third derivative of v**6/120 - 3*v**5/20 + 7*v**4/12 + 5*v**3/3 - v**2. Suppose 92*w = 101*w - 63. Let q be g(w). Solve 2*y + 0 - q = 0 for y.
5
Let q be 1*0/3 - -4. Suppose n + 8 = 5*l + 2*n, 0 = -q*l - 3*n + 2. Suppose -15 = 4*m - 0*m - 5*u, 3*m + u = 3. Solve m*f + l = -f for f.
-2
Suppose -4*k = 3*k - k. Suppose k = -n - 4*f + 8, -3*n - 2*n + 40 = -f. Suppose 12 = 2*m + 2*a, -m + 13 = 4*a - 2. Solve -t = m*t - n for t.
2
Let h(i) = i**2 - 4*i - 2. Let n be h(5). Suppose 5*a - 2*p - 3*p - 10 = 0, 0 = a + n*p - 2. Solve -a*k + 8 = 2*k for k.
2
Let y(m) = -3*m - 15. Let t be (-2)/(20/6 - 4). Let a(h) = -3*h - 16. Let v(k) = t*a(k) - 4*y(k). Let x be v(-4). Solve 0 = d - x*d for d.
0
Let x be -21*(0 - 18/21). Solve -17*c = -x*c - 4 for c.
-4
Let h(c) = -c - 1. Let v(w) = 2*w + 3. Let i(o) = 8*h(o) + 3*v(o). Let m be i(6). Let b = m + 14. Solve b*k + 12 = -k for k.
-3
Let a = 1356 - 1345. Solve -3*j + 28 = a*j for j.
2
Let a be 2*1*(3 + -2). Suppose 5*p - h - 13 = -2*h, 2*p = 2*h - a. Suppose -p = -7*z + 40. Solve 20 = b - z*b for b.
-4
Let z(y) = -y**3 + 4*y**2 + 5*y. Let m be z(-2). Solve -i + 8*i + m = 0 for i.
-2
Let x(z) = -4*z**3 + z. Let s be x(-1). Let u(q) = -q**2 + 13*q + 4. Let n be u(14). Let m be 25*((-32)/n - s). Solve -w = -6*w + m for w.
1
Suppose 0 = -0*y + 3*y. Let c be (-2 - -3 - -1) + (-2 - y). Solve c*k + k = 4 for k.
4
Suppose 3*y - 2 = 7. Let g(w) = -2*w**3 - y*w**2 - w**2 + 4*w**3 + 6*w - 3*w**3 + 7. Let h be g(-5). Solve 3*v + 5 = h*v for v.
-5
Suppose -5 + 6 = u. Let a be (u + -5)/1 - -4. Solve 3*b = -a + 12 for b.
4
Let u(m) = -m - 2. Let o be 0 + -10 - (-8 + 4). Let t be u(o). Solve t*r + 12 = r for r.
-4
Let o = -2150 + 2153. Solve -12*m + 36 = -o*m for m.
4
Let q = 26 - 15. Let s = q - -2. Let w(u) = u**2 - 24*u + 66. Let x be w(21). Solve 5*n = s - x for n.
2
Suppose 3*s + 0*s = 3*l, -5*l + 20 = 5*s. Suppose -3*p - 3*h + 6 = 0, -p + 0*h - l*h = 0. Solve -7 = 3*f - p for f.
-1
Suppose -2593 - 697 = -47*h. Solve 71 = -p + h for p.
-1
Suppose -2*g + 3*t - 9 = 0, 3*g + 6 = 63*t - 60*t. Suppose 0 = 5*h - 3*h - 8, -2*h = 2*q - 10. Solve z - g = -q for z.
2
Suppose z - 5 = -3*s, s + 0*s - 5*z = -25. Let a(m) be the first derivative of -m**4/4 - m**3/3 + m**2/2 + 2*m - 17. Let v be a(s). Solve -p = -v*p for p.
0
Let l(m) = -6*m + 66. Let x be l(7). Solve 3*n - x = -3*n for n.
4
Suppose 0 = 29*w - 27*w. Solve 3*g - 10 - 2 = w for g.
4
Suppose -5*v + 10*v + 55 = 3*j, 0 = -5*j - v + 45. Solve -3*g + j = 2*g for g.
2
Let p(x) = -2*x + 4. Let h(q) = 2*q - 5. Let r(o) = -2*h(o) - 3*p(o). Let i be r(3). Suppose 0 = v + i - 6. Solve g - v = -0*g for g.
2
Suppose -z = -4*d - 59, d = 2*z + 5*d - 118. Solve -2*l = 51 - z for l.
4
Suppose 4*i - 2*b = -7*b + 157, -2*i + 81 = 5*b. Let l = i - 22. Suppose 3*r + 5*v + l = 0, -2*v = -6*r + 2*r + 22. Solve r*m = 2*m for m.
0
Let y(u) = 2*u**2 + 20*u. Let z(k) = -3*k**2 - 39*k + 1. Let q(f) = 5*y(f) + 3*z(f). Let h be q(17). Solve h*s = -2*s - 20 for s.
-4
Let l = -34 - -37. Suppose -2*u = -5 + l. Solve 5*q = -u - 4 for q.
-1
Suppose -49*j + 25 = -44*j. Suppose -5*g + 4*u = -57, 0 = -3*g + j*u - 0*u + 42. Solve 0 = -3*h - 21 + g for h.
-4
Let k(n) = -n. Let u(s) = s + 3. Let z(f) = 2*k(f) + u(f). Let v be z(3). Suppose v = -9*x + 4*x + 10. Solve -5*h - 3 = -x*h for h.
-1
Let b(v) = -v + 1. Let z be b(-6). Let s be (66/30)/(4/20) - 9. Solve r = z - s for r.
5
Let q = 54 + -53. Suppose -7*i = -22 + q. Solve -i*p = -p + 10 for p.
-5
Suppose 2*i - 2*o + 7*o - 5 = 0, 0 = 3*i - 3*o + 45. Let j be (-5 - 54/(-12))/(1/i). Solve -v = -j + 7 for v.
-2
Suppose -2*g - 146 = -5*c, 2 = -g + 4. Let y be -3*((-4)/c - 78/90). Let z = 1 + 3. Solve 0 = y*h + z + 8 for h.
-4
Let t be 59/3 - 27/(-81). Let v be 150/39 - t/(-130). Solve 8*l = v*l for l.
0
Suppose 4*p + 4 = -4*f, 0 = -4*p - f + 8. Let y(r) = -r + 3. Let n be y(4). Let q be -1 + (-3)/3*n. Solve q = -p*j - j for j.
0
Suppose -3*s - 287 = 49. Let o = s + 115. Solve 0 = -o*m + 7*m + 8 for m.
-2
Suppose 0 = 13*n - 8*n - 20. Let c be 4/(-16) + 13/n. Let k = 11 + -9. Solve 10 = -k*y - c*y for y.
-2
Let j be ((-14)/21)/((-3)/27). Let p be (-10)/(-6) - (-2)/j. Suppose -p*h + 63 = 5*h. Solve h + 3 = -3*d for d.
-4
Suppose -2*o = 6*o - 192. Let l be (-1)/(-6) - (-860)/o. Suppose 6*j = 3*j + l. Solve -3*q - q - j = 0 for q.
-3
Suppose 0 = 9*d + 94 - 130. Solve d*h - 9*h = -10 