olve 0 = p + k*p - h for p.
2
Let v = -77 - -80. Let f = 13 + -9. Solve -v*p + p = f for p.
-2
Let s(h) = -100*h + 521. Let y be s(5). Solve 0 = a + 24 - y for a.
-3
Suppose -5*f - 8 = -13. Let c be f/((3/(-5))/(7 - 10)). Solve -4*d + c = d for d.
1
Let l = 13 - 10. Suppose -5*a - 20 = -5*g, 4 + 14 = l*g - a. Suppose -c - 5 = -g. Solve c = s - 2 for s.
4
Let v(k) = -3*k**2 + 4*k - 3. Let l be v(2). Let m = -1 - l. Suppose -62 + 2 = -m*p. Solve 2*s - p = 4*s for s.
-5
Let h be (-2)/(-6) + 34/6 + 4. Solve -2*d - h*d = 0 for d.
0
Let z(i) be the third derivative of i**5/20 + i**4/24 - 6*i**2. Let d be z(-1). Suppose -2*v - 1 = -d*p - v, -4*v = 4. Solve 3*x + p*x + 6 = 0 for x.
-2
Let c be (104/39)/(2/3). Solve b + 15 = c*b for b.
5
Let a(k) = -2*k - 3. Let n = 3 + -6. Let b be a(n). Suppose -b*g - 5 = -c - 3, 0 = 4*c - g - 19. Solve -o = -c*o - 4 for o.
-1
Suppose 2*a - 31*v + 28*v - 22 = 0, 0 = 3*a - v - 19. Solve a = -5*w + 15 for w.
2
Suppose -5*f - r + 13 + 17 = 0, -r = -f + 6. Suppose f*s - 35 = s. Suppose -w - 3 = -2*w. Solve w*l = -2 - s for l.
-3
Suppose -4*p - 231 = -11*p. Let q = -30 + p. Solve 16 = q*o + 1 for o.
5
Suppose 65 = -0*c - 5*c. Let g be (-6)/15 + (c/5 - -3). Solve g = -6*t + 4*t + 8 for t.
4
Suppose -4*v + o + 37 = 6*o, 4*v = -3*o + 27. Suppose 0 = q + 5*s - 25, -v*q + 4*s = 15 + 5. Solve -2*a + 11 - 1 = q for a.
5
Let a = 503 + -498. Solve a*t = t - 20 for t.
-5
Suppose -3*v = -8*x + 7*x - 21, 0 = v + x - 11. Suppose -2*f = -l - 3*l + v, -17 = -4*f - 3*l. Solve -s = f*s + 9 for s.
-3
Let r be ((-1)/2)/((-5)/(-10)). Let v = r - -1. Solve 0 = 4*n - 8 - v for n.
2
Suppose 0*s - 4*s - 4*n = -8, 3*s + n - 10 = 0. Let z(u) = -s*u + 6*u - 7*u + u**2. Let h be z(5). Solve g + h + 2 = 0 for g.
-2
Let f = -232 + 234. Solve -a = -f*a - 1 for a.
-1
Let t(o) = 4*o. Let g be t(1). Let u(z) = -z - 6. Let f be u(8). Let s = -10 - f. Solve -4*y = g + s for y.
-2
Let i(j) = 3*j**2 - 27*j + 5. Let h be i(9). Suppose -q - 4*c + 23 - 4 = 0, 3*q - c - h = 0. Solve 2 - q = -l for l.
1
Suppose 154 + 146 = 4*p. Let z = p - 60. Solve -4*j = -j + z for j.
-5
Let y be ((-2)/3)/((-3)/9). Let i be 0/(-2) - (-8)/((-5)/20*-8). Solve -i - y = -2*w for w.
3
Let a = -36 - -59. Let n = -20 + a. Suppose 5*b + 6 = 7*b. Solve -b = -0*c + n*c for c.
-1
Suppose 5*r - 15 = 5*t, -r - 3*r + 18 = -t. Solve -12 = 2*p - r*p for p.
4
Suppose 15*s - 9*s - 24 = 0. Solve s*l + 11 - 27 = 0 for l.
4
Suppose -73*q = -76*q + 108. Suppose -6*b + q = 6*b. Solve 2 + b = -t for t.
-5
Suppose -260*u + 231 = -249*u. Solve 0 = 10*d - u - 19 for d.
4
Let a be 2/(-8)*((-45)/(-9) + -25). Solve 1 = -a*v - 4 for v.
-1
Suppose 0 + 2 = p, -319 = -3*s - 2*p. Let u be ((-2)/(-3))/(10/s). Solve -3*m = -u*m for m.
0
Let r(c) = 2*c - 8. Suppose 87 = -3*i + 5*x, 106 + 67 = -5*i - x. Let h be (-8)/(-6) - i/6. Let v be r(h). Solve 0 = 3*j + v for j.
-2
Suppose 10*p - 147 - 53 = 0. Solve 0*l = -10*l + p for l.
2
Let t = 338 + -325. Solve t = -v + 17 for v.
4
Suppose -545*q + 541*q = -116. Solve q*x - 15 = 24*x for x.
3
Suppose -3*g + 11 + 10 = 0. Let q(s) = -4*s + 36. Let x be q(g). Solve x*b - 5*b = -15 for b.
-5
Suppose 4*p + 3*d = 54, p + 0*d - 3*d - 6 = 0. Let i be (p/9)/((-1)/(-6)). Let m be (-2)/(-4) + (-4)/i. Solve m = -2*n + 8 + 2 for n.
5
Let c = 2 - -1. Suppose 0 = 11*y - c*y. Solve y = 8*t - 3*t for t.
0
Suppose -3*f - 78 = -0*p + 3*p, 0 = -p + 4*f - 46. Let o be -3*(8/p - 8/20). Solve 2*b - 4 = o for b.
3
Suppose 5*b = -z + 39, -9 + 6 = 3*z. Solve 0 = 31*p - 23*p + b for p.
-1
Let k = -820 - -838. Solve -10*j + k = -12 for j.
3
Let r = -21 + 22. Let a(m) = r - m**2 - m + 2*m**2 - 2*m + m. Let u be a(3). Solve 6*j = 2*j - u for j.
-1
Suppose -358 - 367 = -5*y. Suppose 14*q - 9*q - y = 0. Solve 5*s = -q + 4 for s.
-5
Let n be (-3 + 5)*(-1)/2. Let s be (n - (-48)/10) + 14/70. Solve v - 2 = -s for v.
-2
Let c = 140 + -27. Solve -c*z = -115*z + 6 for z.
3
Let o = -7 + 19. Let z be 184/48 - (-1)/6. Solve 0*y - o = z*y for y.
-3
Let z(p) = 51*p + 4 - 103*p + 51*p. Let h be z(-8). Solve 7*v - 4*v - h = 0 for v.
4
Let j(x) = -x**3 - 14*x**2 - 47*x - 6. Let c be j(-9). Solve -c*d + 11*d = 1 for d.
-1
Let q be 14*2 - (57 + -54). Solve 16 - q = -3*g for g.
3
Let l = -29 + 58. Let a = -27 + 53. Let i = l - a. Solve p = 2 - i for p.
-1
Let g(c) = -4*c - 9. Let h be g(-9). Let u be (-2)/(-6) - 90/h. Let t be ((0/u)/1)/(-3). Solve t = 3*f + 2 + 7 for f.
-3
Let y be (9 - 12)*(4 + (-2 - 0)). Let j(x) = x + 9. Let k be j(y). Solve 0 = -k*r + 2*r - 1 for r.
-1
Suppose 5*q - 21 = 19. Let b be (-9 + 9)*(-2)/6. Suppose 3*g + 4*h - 4 = 0, -g + b*h = -h + 1. Solve q = 4*a - g*a for a.
2
Suppose 2*o - 2*v = 14, -3 = -3*o - 97*v + 94*v. Let g(k) = k**3 - 6*k**2 - 1. Let w be g(6). Let d(u) = 26*u**2 - 1. Let t be d(w). Solve -s + t = o*s for s.
5
Suppose -6*w + 11 = -5*w. Suppose -a + 5*n + 3 - w = 0, -2*a + 10 = 3*n. Solve -a*v = -5*v + 3 for v.
1
Suppose 0 = -4*z + o - 20, -2*z - 2*o = -4*z - 4. Let j(a) = -5*a - 27. Let b be j(z). Solve -b*f + 6*f - 15 = 0 for f.
5
Suppose -b + 3*o + 14 = 4*o, -5*b + 73 = 2*o. Solve b = 2*a + 21 for a.
-3
Suppose 5*o + 4*y - 55 = 0, -y = -4*o - 5*y + 48. Solve 38 = o*m + 17 for m.
3
Let x(s) = s**3 + 5*s**2 + 4*s + 4. Let k be x(-4). Let m be k/(1 + (1 - 0)). Suppose 0 = -38*l + 44*l - 6. Solve -l = m*p + 9 for p.
-5
Let r = 551 - 546. Solve -r*u - 9 = 6 for u.
-3
Let n = -2 - -1. Let d = 1 + n. Let t = 468 + -463. Solve -t*m - 5 - 15 = d for m.
-4
Suppose -3*s = 11 + 1. Let r = 5 + s. Solve i = 4 + r for i.
5
Let z = -66 - -66. Suppose -55 = s - 6*s - 3*l, -2*s + 3*l + 1 = z. Solve 0 = 5*u - s - 2 for u.
2
Let v = -43 + 44. Suppose -j + 0*j = -5. Solve 0 = j*w + v - 26 for w.
5
Let z = 219 + -191. Solve z - 12 = 4*b for b.
4
Let w(a) = 2*a**3 + a**2 - 3*a + 4. Let c(z) = 5*z**3 + 3*z**2 - 7*z + 9. Let l(g) = -3*c(g) + 7*w(g). Let v be l(-1). Solve 4*h + 4 + 16 = v for h.
-5
Suppose n + 61 - 4 = -5*u, -15 = u + 2*n. Let f = -11 - u. Solve f = 2*v - v for v.
0
Let c = 233 - 230. Solve c*u = 2 - 14 for u.
-4
Suppose 2 = 5*b - 2*x - 8, 2*b - 5 = x. Let l be 4/18 + (-302)/(-18). Let n = b + l. Solve n - 7 = -5*f for f.
-2
Suppose -21 = -3*f + 2*f + 5*c, 5*c = -5*f - 15. Let r be -2 + (-33)/(-3 - 0). Suppose r + 19 = 4*m. Solve m = -4*w - f for w.
-2
Suppose 0 = -2*l - 0*l + 6. Suppose 10 = 3*w + b, 3*b + l = 4*w - 6. Let y be -2 - 6/(-9)*w. Solve -12 = -4*j - y for j.
3
Suppose 7*s - 23 = -2. Solve z + s*z = 8 for z.
2
Suppose 17*y - 15*y = -18. Let h be (-3)/y + 2/(-6). Solve k + h = -2 for k.
-2
Suppose -21 = -3*x - 3. Let i = x - 6. Suppose 2*y - 12 = -4*j, 0 = -i*j - 3*j + y + 4. Solve -u - j = 1 for u.
-3
Let p be 2 + (1 - 81) + 3. Let v be (-4)/30 + 5/(p/(-32)). Solve -12 + v = -2*m for m.
5
Let k = -1088 + 1118. Solve k = -2*f + 40 for f.
5
Let d be 2/((-8)/14)*5400/(-525). Solve 12*r - d = -6*r for r.
2
Let z(g) = g**3 - 6*g**2 + 6*g - 1. Let p be z(5). Let d(u) be the third derivative of u**4/24 + u**3/6 - 4*u**2. Let f be d(p). Solve -2*k + f*k - 3 = 0 for k.
1
Suppose 0 = 4*g - 43 - 45. Solve -8 - g = -6*h for h.
5
Suppose -r - 4 - 44 = 0. Let m = r - -60. Solve 4*z = z - m for z.
-4
Suppose 8*w - 9 = 23. Let l = -5 + 7. Suppose k = 2*k - l*c - 8, 2*k = -2*c + w. Solve s = k - 2 for s.
2
Suppose -2*i = 2*i - 3*d + 13, 0 = 3*i + 4*d + 16. Let k(w) = -w - 4 + 4*w**2 + 0 + 3 - 3 + w**3. Let f be k(i). Solve -g = -f*g for g.
0
Let v = 8 + 26. Suppose -y = 4*c - v, 0*y = 4*c - 2*y - 28. Solve 5*w - 6 = c*w for w.
-2
Let x be -7 - (-20 + (-60)/(-6)). Solve 0 = -10*w + x + 7 for w.
1
Let f = -555 + 577. Solve 0 = -24*m + f*m - 2 for m.
-1
Suppose 0 = -4*r + 4*v + 132, -98 = -3*r + 2*v + 2*v. Suppose -r = -3*y + 5*a, 0 = -y + 4*a + 10 + 13. Solve 2*w - 3 = y*w for w.
-3
Suppose -2*f - u - 20 = 0, 3*f - 5*u + 25 = -5. Let y be (18/(-15))/(-1 + (-6)/f). Solve y*b = -0 - 3 for b.
-1
Let c(f) = -f**2 - 11*f - 11. Let n be c(-8). Suppose 4*t = -y + n, 4*t - 8 - 9 = -5*y. Solve 0 = 3*d - t - 6 for d.
3
Let q be (10/(-15))/(1/6). Let y be (q + -1)*36/(-90). Suppose y*h + 8 = 4*w - 0*h, -4*h + 10 = 5*w. Solve w*g + 3 = -1 for g.
-2
Suppose 4*v - 207 = -5*v. Suppose -v*i = -27*i + 8. Solve 0 = -5*g + 7 - i for g.
1
Let s = -6 - -8. Suppose 3*z + 5*c - 1 = -14, s*z = -2*c - 2. Solve 