 = 4*c - s for c.
4
Suppose -3*v + 24 = -2*d + 6*d, 5*d = 4*v - 32. Solve r + v = 3*r for r.
4
Suppose -2*r - 5*t + 9 + 6 = 0, 0 = -4*r - 3*t + 23. Suppose -2*b - 6 = -r*p - b, -2*b = -8. Solve 2*w + 20 = -p*w for w.
-5
Suppose -76*p = 127 - 2255. Solve 0 = 77*u - 70*u + p for u.
-4
Suppose 4*d - 2*d = 6, 2*o - 2*d + 2 = 0. Suppose -o*w - 2*v = -1 - 3, -2*v + 4 = 0. Solve -2 = 2*n - w for n.
-1
Let w(k) be the third derivative of k**4/24 - 7*k**2. Suppose -3*l = 2*l - 15. Let h be w(l). Solve -2*r = -h*r + 2 for r.
2
Suppose -3*g - 5 = -2*h - 0, 5*g - h = -20. Let u = -17 - g. Let x = 20 + u. Solve x = -a + 5*a for a.
2
Suppose -63 = -30*g + 27. Solve -x + 4 = -g*x for x.
-2
Let x = 19 - 17. Suppose 0 = -2*w - 3*c + x, 3*w - c + 3 = 6. Let n be ((-5)/15)/(w/(-3)). Solve n = 3*p - 2*p for p.
1
Suppose -10*i + 4*i + 282 = 0. Solve -i*y - 45 = -38*y for y.
-5
Let r(n) = -n - 1. Let a be r(-2). Let o be a - (-4 + 48)/(-4). Solve 5*u - o = u for u.
3
Let q = 1298 - 1289. Solve 0 = q*r - 2*r for r.
0
Let l(k) be the second derivative of k**3/2 - 3*k**2 - 11*k. Let x be l(13). Let d = x + -31. Solve d*v = -2 + 4 for v.
1
Suppose -3*w = -b - 3 - 14, -4*b = 3*w - 22. Suppose 2*u - 16 = -w. Solve 4*p = u*p for p.
0
Suppose -30 = -7*w + 6*w. Suppose 0 = 2*y - 4*z - 4, 3*z - w = 5*y + z. Let i be (1/(-2))/(y/64). Solve i*d - d = -6 for d.
-2
Let n(i) = 56*i**3 + i**2 - 5*i + 5. Let w be n(1). Let t = w - 57. Solve k + t*k + 4 = 0 for k.
-4
Suppose -5*z + 5*a = -0*a + 20, -3*z - 14 = -5*a. Let k = z - -7. Let y(i) = 3*i**2 + 3*i + 2. Let c be y(-1). Solve 0*v = -c*v - k for v.
-2
Let k be 3 + (26/3 - 3/(-9)). Suppose -5*x + 32 = k. Solve 3*l + x + 2 = 0 for l.
-2
Suppose -3*k - 3*n = -21, -4*n - 2 = 3*k - 4*k. Solve 0*p = k*p + 24 for p.
-4
Let r = -1518 + 1524. Solve -12 = 9*n + r for n.
-2
Let h = 2 - -6. Let z be ((-26)/(-10) - 1)/(h/20). Solve 6*o = z*o for o.
0
Let m(p) = p**2 - 3*p - 6. Let t be m(3). Let c(r) = r + 10. Let i be c(t). Let b = 3 - 1. Solve -3*z = -i*z + b for z.
2
Suppose -6*x = -0*x + 192. Let v = x - -35. Solve 0 = v*u - 2 + 5 for u.
-1
Suppose -14 = -6*p + 4*p. Let f be 1/4 - 3/((-12)/p). Solve 5*u + 17 = f for u.
-3
Suppose -p - 3*v = -28, 12*p - 14*p + 2*v = -48. Solve p = -7*x + 4 for x.
-3
Suppose -o + 8 - 5 = 0. Let j be 2/(1 - o/1). Let u be 39/9 + j/3. Solve -l = u*l for l.
0
Let c(t) = -t**3 + 20*t**2 - 3*t + 24. Let f be c(20). Let s be (-3 + 4)/(-6) + (-294)/f. Solve -3*z + z - s = 0 for z.
-4
Suppose 99 = 46*o - 13*o. Solve 2*q - o = 5*q for q.
-1
Let s(a) be the second derivative of a**3/6 + 6*a**2 - 28*a. Let x be s(-4). Solve 0 = x*d - 3*d for d.
0
Let a(g) = 10*g - 76. Let s be a(14). Solve -70*q + s*q = -30 for q.
5
Suppose -28*r + 189 = -r. Solve 3*o - r*o + 12 = 0 for o.
3
Suppose 267 = -27*j + 564. Solve 0 = j*a - 25 - 19 for a.
4
Suppose -i - 7 + 2 = -4*r, -3*i - 1 = -5*r. Solve m - 12 = -r*m for m.
4
Let k be -20 - (-3)/(-6)*2. Let l be k/(-14)*(-32)/(-3). Let s be 4*4/l - -3. Solve -s = p - 5*p for p.
1
Let l = 0 + 0. Let m be (-1)/((-30)/(-20) + -2). Solve -6 = -l*q - m*q for q.
3
Let d = 2096 + -2094. Solve -8*o = -7*o - d for o.
2
Suppose 120*p + 700 = 134*p. Solve 3*j = -47 + p for j.
1
Let g be 0 - 1 - (-9 + -8). Suppose y - g = -3*y. Let d be (-1)/(-4) + (-3)/12. Solve r - y*r - 9 = d for r.
-3
Suppose 2*u = -2*z, 2*z + 3*u + 2 = -0. Let w = -50 + 84. Let m = w + -18. Solve 6*q - z*q = -m for q.
-4
Suppose -34*c + 108 = -7*c. Solve 2*x = -2 - c for x.
-3
Let l be (-4)/((-3)/3) + 2. Solve 3*n - 9 = -l*n for n.
1
Suppose f - 10 + 4 = -a, -3*f + 22 = 5*a. Suppose -a*n = 4*n - 42. Solve -4*o = -n*o - 12 for o.
-4
Let o be 17/((-6)/(-21) - 39/63). Let l = o - -53. Solve -l*v + 2 + 0 = 0 for v.
1
Suppose 11*g = 2 + 9. Solve -g = -2*w - 7 for w.
-3
Let o(k) = -5*k - 37. Let y be o(-8). Solve p + 1 = -y for p.
-4
Suppose k = 5*w, 0 = -2*k - w + 7 + 15. Suppose -4*b = -k - 2. Solve 2*n + n = b for n.
1
Suppose 240 + 28 = 4*c. Suppose 5*r = -4*o - 3 + c, 3*r = -5*o + 28. Suppose 3*k - 12 - 19 = -5*p, 4*p - 26 = -3*k. Solve -q + r = -p*q for q.
-4
Let g(i) = -18*i - 390. Let l be g(-22). Solve 8*m - l*m + 5*m = 0 for m.
0
Let m be (6/36*-9)/((-9)/60). Solve -m*o - 32 = -2 for o.
-3
Suppose 2*n + 3*j = -7, -4*j + 0*j - 40 = -5*n. Let m be 121/4 - (-2)/(-8). Suppose 3*w + 0 = m. Solve p + w = -n*p for p.
-2
Let c = 11 + -7. Suppose k + 14 = 3*v - 0, k = -3*v + 10. Let n be (v + -4)*c/(-12). Solve 3*y + 9 = -n for y.
-3
Let z(c) = -c**2 + 14*c + 2. Let n be z(14). Suppose -f - 5 = -2*y, 5 = -n*y + 5*f + 6. Let a = -39 + 43. Solve y*t - a = -t for t.
1
Suppose -4*w = 2*i - 12 + 2, 3*w = -i + 6. Let x be (16*1)/((-8)/(-4)). Solve -x*y = -i*y for y.
0
Suppose 0 = -a + 3*a - 10. Suppose -k = -a*k + 8. Suppose 4*h - 8 = 2*h. Solve -h = -k*t - 2*t for t.
1
Let z(q) = -q**3 + 10*q**2 - 8*q + 5. Let d be z(9). Let x be 0 - -1 - d/(-7). Let s = 22 + -19. Solve -2*g = -x*g - s for g.
-3
Let l = 287 + -269. Solve -3*a - l = 3*a for a.
-3
Suppose -3*q + 12 - 3 = 5*h, -4*h + 4 = 2*q. Suppose -5*w + 36 = -q*w. Let k be (-1)/(-4) + (-9)/w. Solve -5 - k = 2*y for y.
-3
Let m(y) = 4*y - 8. Let n be m(6). Let t(z) = -3*z**3 - 3*z**2 - 2*z. Let s be t(-2). Suppose -6*k + l + s = -k, -l + n = 3*k. Solve k = -3*h + 4*h for h.
4
Suppose -348 = -3*f + 3*k, -5*f = -k - 786 + 214. Solve 5*w + 99 = f for w.
3
Suppose 5*k - 45 = 15. Suppose -2*x = -x - 8. Solve x*s = 4*s - k for s.
-3
Let s(v) = 8*v**3 - v**2 + v + 1. Let b be s(-1). Let h = 13 + b. Suppose -2*w = w + h*y, 3*w + y = 0. Solve f + 4 = -w*f for f.
-4
Let v be 1/((-105)/20 + 5) - -8. Solve -3*o = -8 - v for o.
4
Let p(t) = -t + 11. Let r be p(11). Suppose r = 18*j - 14*j. Suppose -4*x = -j*x - 56. Solve -2 - x = 4*a for a.
-4
Let k be -1 - -3*((-3)/(-3))/3. Suppose k = 2*d + 7 - 13. Solve 0*g = -g - d for g.
-3
Let f be (-1147)/(-74) - 2/(-4). Solve 5*u - u + f = 0 for u.
-4
Let a(f) = 3*f**2 + f + 8. Let h be a(0). Let m(x) = -x + 12. Let w be m(h). Solve 0 = -w*i + 1 + 11 for i.
3
Let n be (3 - (-99)/24)*(0 - -8). Solve -n*s = -61*s - 4 for s.
-1
Let x = 381 - 245. Let z = 293 - 208. Let c be x/z - (-6)/(-10). Solve c = r - 0 for r.
1
Let v = 1 + 8. Suppose 0 = -4*u + v*u - 20. Suppose -3 = -5*g + u*g. Solve y = g*y for y.
0
Suppose 3*n = 3*p + 90, -5*n + 87 + 33 = 5*p. Suppose 2*l - n = 33. Suppose 0*r + 6*r - l = 0. Solve -6 = -r*w + 19 for w.
5
Let d be 2/((-39)/12 + 3). Let k = 13 + d. Suppose -3*o - r = -6, -2 = 3*o - 4*o + k*r. Solve -15 + 5 = -o*p for p.
5
Let o be -23 - 2373/(-105) - (-124)/10. Solve 11*u - 1 + o = 0 for u.
-1
Let m = 70 + -66. Solve 0 = -4*l - m for l.
-1
Let r = 3 - -2. Let b be 2/4 - ((-6)/(-4) + -4). Solve -b*m = -r*m for m.
0
Let x(d) = -d**2 + 9*d + 1. Let l be x(8). Let w = l + -9. Solve w*s = -5*s + 5 for s.
1
Let a(p) = p**2 + 10*p + 1. Let o be a(-10). Let h be (4/2)/((-6)/(-21)). Suppose -h*s + 2*s = 0. Solve s = 3*v - 11 - o for v.
4
Let x(z) = z**2 + z - 2. Let s be x(-2). Let p be (-329)/168*-6 - 2/(-8). Solve -2*m - m - p = s for m.
-4
Suppose -66*t + 57*t = -36. Solve t*l - 4 = -16 for l.
-3
Let u = 60 - 39. Suppose -2*q - 3 = -u. Suppose -4*n + q + 1 = 5*b, -8 = -4*b. Solve -3*a = -n*a - 12 for a.
4
Let o be (-6)/42 - (-212)/14. Solve -o = n - 6*n for n.
3
Let s(r) = r**3 - 8*r**2 + 6*r + 8. Let i be s(7). Suppose 3*z + 5*j - i = 31, -24 = -2*z - 4*j. Solve 0 = m - 0 - z for m.
4
Let v = -477 - -491. Solve 4*q + v = 34 for q.
5
Let p(y) = 3*y**2 - y + 1. Let r be p(2). Solve 6*s + r - 5 = 0 for s.
-1
Let q = 272 - 264. Solve 0 = 5*l + q + 2 for l.
-2
Let t be (-16)/(-40)*(-175)/(-10). Solve 1 = t*m - 6*m for m.
1
Suppose -9*w + 11*w - 50 = 0. Suppose j - 5 = -0. Suppose -5*l - j = -w. Solve -5*r - l - 1 = 0 for r.
-1
Let z = -284 - -284. Let d(i) = 2*i**2 - 2*i. Let v be d(2). Suppose k - 3*m = -7*m - 4, 4*m + v = 0. Solve -2*o + z - 8 = k for o.
-4
Suppose u = 2*u - 2. Let a(b) = b - 2. Let m be a(7). Let p be 16/m*50/10. Solve -u*x + p = 2*x for x.
4
Let k = -3 + -17. Let o = k - -25. Solve -2*h + h + o = 0 for h.
5
Let j(m) = 9*m**2 + 99*m + 2. Let c be j(-11). Solve -6 = -n - c for n.
4
Suppose -11*o + 158 = 158. Solve 6*l = 12 - o for l.
2
Let n be -2 + 86/3 + (-1)/(-3). Solve 4*y - 7 = -n for y.
-5
Let r be (-2 + 3 - 2)/(1/5). 