 17*a - 21*a = -8 for c.
4
Let d(s) = -s**2 + 16. Let t be d(-4). Solve z + 5*u = -t*z + 11, -8 = 2*z - 5*u for z.
1
Let k(w) = -4*w + 68. Let m be k(16). Let u be m/1 - ((-6)/(-1) + -5). Solve -4*d - 11 = f, 3*d = 8*f - u*f - 37 for d.
-4
Suppose 0 = -264*r + 266*r - 4. Solve 5*k = -q + 19, -4*q + k = -r*k + 16 for q.
-1
Let h = 76 - 73. Suppose b + 4*c = 15, 0 = 3*b + h*c - 0 - 18. Solve -s = -3*g + 4*g + 7, b*g + 4*s = -24 for g.
-4
Suppose v - 2 = -t, 0*v + 5 = 3*t + 2*v. Solve -3*h - 2*u = -0*u + 18, -2*h = -3*u - t for h.
-4
Let o(x) = -6*x**3 + 2*x + 2. Let l be o(-1). Solve -2*g - l = -0*f + 2*f, 4 = -3*g - 2*f for g.
2
Suppose -9 - 7 = -8*r. Solve r*b - g = 1, -g + 6 = 4*b + 1 for b.
1
Let t = 1306 + -1302. Solve 4*i - t = -3*d, -3*i - 5*d + 1 + 2 = 0 for i.
1
Suppose -3*i + 3 = -6. Suppose -i*b - 7*b + 210 = 0. Solve 3*t - 3*h = -b, 5 = -t + 6*t + 5*h for t.
-3
Suppose 0 = -4*z - 3*s - 68, -2*z + 0*z = 4*s + 44. Let p = z - -14. Solve 4*t - 2*i = -41 + 15, 2*t + i + 3 = p for t.
-4
Let o be ((-8)/10)/(2/5). Let d = 1 - o. Suppose 5 = 2*n + 11, -s = -d*n - 12. Solve 0 = 5*z - 3*a + 28, 0 = -s*z - 3*a + 2 - 14 for z.
-5
Suppose -4*y - 7 + 7 = 0. Let n(a) be the first derivative of a**4/4 - a**3/3 - 2. Let k be n(y). Solve 4*f - 3*i = -k - 20, -f - 2*i = -6 for f.
-2
Let j be (23/(-4))/(4/(-32)). Let b = 8 + -5. Suppose d + 0*a - b*a - 2 = 0, 3*a = -5*d + j. Solve h = m - 4, -5*m - 5*h + 22 = -d for m.
5
Let m be 40/340 - 98/(-34). Solve 0 = r + m, -3*r - 29 = 4*q - 0*r for q.
-5
Suppose 0 = 3*n - 10 + 4. Solve -5*m + 2 = 2*h, -m - 20 = 5*h - n for m.
2
Let v be (-2883)/(-589) + (-6)/(-57). Solve -2*n - 5*x + 4 - 5 = 0, -4*n - v*x = 7 for n.
-3
Let t be (48/(-10))/((-36)/90). Solve 4*k = -t, x - k - 1 = -0*x for x.
-2
Let z = -583 - -586. Solve z*l - 2*t = 3*t - 19, -5*l - 13 = t for l.
-3
Suppose 45 = 13*y + 2*y. Solve -29 = -4*q + y*s, 2*q + 0 = -2*s + 4 for q.
5
Let y(f) be the first derivative of 5*f**2/2 - 6*f + 32. Let x be y(2). Solve 2*d - 4 = -3*s - 14, -4*d = 2*s + x for s.
-4
Suppose w = -0*w. Suppose -3*o + 2*v + 5 = w, -3*o - 5*v = 1 + 1. Let m be (o - 0)*(2 + 1). Solve 15 - 5 = -3*x - f, 3*x = -m*f for x.
-5
Let v be 6/(-15) + (-62)/(-5). Let t be (v/(-15))/(4/(-20)). Suppose -4*a + 39 = -9. Solve 0 = 5*s - 3*j - 15, t*s - 2*j + 4*j - a = 0 for s.
3
Suppose -80*d + 1326 + 114 = 0. Solve j - d = 4*a, 0 = -3*a + 4*j - 6 - 1 for a.
-5
Let g(p) = -p + 12. Let s be g(13). Let z = 6 + s. Suppose -q - 15 = z*d, q + 5*d = 3*q - 15. Solve q*v = -4*v + 2*b - 18, -3*v + 3*b = 12 for v.
-5
Suppose -7*d + 2*d = -g + 31, 3*g - 79 = d. Let n = g - 15. Solve -2*y = -3*p + 22, p + 5 = -4*y - n for p.
4
Suppose -4*u + 100 = -4*r, -9*r + 129 = 5*u - 13*r. Let k = 34 - 24. Suppose -4*m = m - k. Solve -m*w = 5*c - u, 6*c - 3*w = 2*c + 14 for c.
5
Let y be (-6)/1*(-10 - 224/(-24)). Solve -4*a - 4*o - 8 = 0, 3*a - 19 + y = 4*o for a.
1
Let t be ((-32)/10)/(212/(-265)). Solve 3*u = -2*w - 19, -5*u + t = w - 8*u for w.
-5
Suppose 0 = 8*z - 25*z + 51. Solve -4*j - z*p = -25, 0*p - 4*p + 32 = 5*j for j.
4
Let l = 104 - 104. Suppose 6*c + l - 30 = 0. Let d be 16/6*6/2. Solve -3*k + d = g, 5 = k - c*g + 3*g for k.
3
Suppose 0 = -30*u + 3*u + 54. Solve -u = -3*p - 2*d, 5*p + 5 = d + 4 for p.
0
Let i(g) be the first derivative of 3*g**2/2 - 31*g + 18. Let s be i(11). Solve 0 = -2*j + 5*c - 3, 0*j + 3*c + s = 5*j for j.
1
Let q = 20 + 2. Let h(k) = -q - k - k + 40. Let m be h(7). Solve 0 = -5*v + m*t - 12, v = -t + 3*t - 6 for v.
0
Let c be (-2)/17 - (-1305)/255. Let m(n) = -n + 13. Let z be m(c). Suppose 2*j = z - 0. Solve 4*s + j = 2*d, 4*d + 4*s = -0*d + 20 for d.
4
Let v be (-1)/(-1*(-3)/(-9)). Suppose 3*n - 36 = -27. Solve -o + 0*o = n*f - 3, 4*o - 3 = -v*f for f.
1
Let p(c) = -4*c + 2*c**2 + c**2 - c**2 + c**3. Suppose -q = 4*l + 12, 6*l = l - 4*q - 15. Let w be p(l). Solve -y = 2*y - 3, 4*m + 3*y - w = 0 for m.
0
Let p(u) = -u**2 - 2*u + 5. Let t be p(-8). Let v = -43 - t. Solve -5*g + 9 = -q, -4*q + g + 0 + 2 = v for q.
1
Suppose -r - 20 + 93 = 0. Suppose t - r = -67. Solve 0 = -4*y - z + t*z - 5, 5*y = 5*z - 10 for y.
-5
Let z be (50 - 49) + 5/1. Solve 0 = 4*s + 5*r - 28, s - z = -4*s + r for s.
2
Suppose 17*u - 231 = -44. Suppose 10*m - 24 = -4*l + 9*m, 0 = -l + 4*m - u. Solve -3*q - 8 = 5*r - 28, l*r - 5 = 0 for q.
5
Suppose 0 = 6*b - b, 15 = -5*l - 3*b. Let q(p) = p**3 + 4*p**2 + 4*p + 6. Let m be q(l). Solve -m = -4*w + 2*u - 27, 4*w = 5*u - 36 for w.
-4
Let w(z) be the third derivative of z**6/120 + z**5/10 + z**4/3 + z**3/2 - 24*z**2. Let x be w(-4). Solve o + 2*v + 12 = 0, -o + 2 = x*v + 18 for o.
-4
Let u = 7 - 2. Suppose -2*h = -3*w + 5, -2 = w - 5*h + 5. Solve -9 = -u*o - 2*r, 0 = w*o - 5*o - r + 3 for o.
3
Let i be 1 + 4 + (-2 - 0). Suppose 2*p + 5*q - 19 = 0, -i*p = -0*p + 2*q - 12. Solve 0 = -2*r - p*r + 2*m + 14, -22 = -5*r - 2*m for r.
4
Let z be ((-16 - -12) + 16)/(5 + -1). Solve -s - 3*v = -4*v - 8, 2*s + z*v + 4 = 0 for s.
4
Suppose 267*q + 190 = 277*q. Let a = 6 - 7. Let j = a + 3. Solve j*n = -3*b - 21, -5*b = -0*n - 2*n + q for b.
-5
Let g(a) = 32*a + 73. Let i be g(-2). Solve -14 - i = -3*n - 4*s, -4*n = -5*s - 10 for n.
5
Let y be (-57)/(-95) + 4/(-30)*-3. Solve 0 = -2*b + 2*a + 12, -2*b - 5*a = y + 1 for b.
4
Let p be 6/(-12)*(-2 - 4). Suppose -2*i + 15 = p*i - 5*n, 4*i + 4*n - 12 = 0. Solve 0 = -5*j, i*j - 7 - 8 = 5*k for k.
-3
Suppose 5*j - 5*d + 223 = -327, d = 5*j + 566. Let i = -109 - j. Solve -1 = b + i*o, 5*b + 4*o = 4*b for b.
4
Let n = -1359 - -1381. Solve -2*s + 5*d - n = 0, -3*s - 7 = -5*d + 4*d for s.
-1
Let h(n) = n + 10. Suppose -3*y - 5*r + 26 = -37, -3*r = 0. Let s = -31 + y. Let f be h(s). Solve f = -5*t + 2*t + 12, 0 = 5*j + 5*t - 35 for j.
3
Let a = 689 - 687. Solve -4*k = -0*w - a*w - 10, 14 = 5*k - 2*w for k.
4
Let p be -4*(3 - 0)/6 + -1. Let t be 1*(3/p + 1). Solve t = -3*d + 2*v + 9 + 1, -d + 2*v = -10 for d.
0
Let p(o) = 15*o + 79. Let i be p(-5). Solve -d - 5 = -2*l, -l + 4 = 3*l + i*d for l.
2
Suppose -4*b = -75 + 27. Suppose b = 3*w - 24. Let d = w - 2. Solve 5*t + 2*g + 1 + 5 = 0, -t + 4*g - d = 0 for t.
-2
Let b be (-3)/18*4 - 14/(-3). Solve -b*g = -4*k - 8, -3*k + g + 2 + 2 = 0 for k.
3
Suppose 2*u + 9 = -u. Let b be (-1)/(u/(-12)) + 6. Solve -b*s = 4*r + 2*s - 32, 0 = -2*s + 8 for r.
4
Let z be ((-44)/10)/(15/(-75)). Let r = 22 - z. Solve 4*b + q - 17 = r, 5*q - 1 = -2*b + 2*q for b.
5
Let r = 0 + 3. Let y be r - 2/(3 + -1). Suppose 5*b + f - 18 = 0, 2*f + 2*f = 12. Solve -g + 3 = -y*u, b*u - g + 0*g + 2 = 0 for u.
1
Let a(q) = -q**2 + 21*q - 54. Let d be a(16). Suppose -4*s = 2*f - d, 2*f - 3*s = -4*s + 11. Solve 26 = 4*l + f*p + 2*p, l - 6 = -p for l.
4
Let l be (3 + 2)*(-8)/(-10). Suppose -2*d = l*y + 48, 0*d + 2*d + 8 = 4*y. Let h = 29 + d. Solve -3*m - 2*m + 4*q = -3, 0 = -5*q + h for m.
3
Let g(k) = k**2 - 2*k + 4. Let c be g(3). Suppose 0*i = -c*i + 35. Solve 4*d = h + i, 4*h + d + 1 = 2*h for h.
-1
Let i(y) = -y - 14. Let v be i(-14). Let z(t) = -t + 2. Let p be z(v). Solve b + 11 = p*b - 2*f, f = -5*b for b.
1
Let g(v) = 7*v**3 - v**2 + 9*v + 9. Let s(a) = a**3 + a + 1. Let b(j) = g(j) - 6*s(j). Let t be b(0). Solve -t*c - 5*n + 13 = 0, -3*c + c + 17 = 5*n for c.
-4
Let p = -489 + 494. Solve -12 = -2*t + 2*x, p*t - 13 = -2*x + 3 for t.
4
Let n(m) = m**3 - 4*m**2 - 7*m - 11. Let i be n(6). Solve 4*p + 31 = -5*v, 0 = 2*v + 4*p + i + 3 for v.
-3
Let o(y) = -y**3 - 3*y**2 + 6*y + 2. Let c be o(-4). Let h be (-3)/c*(-56)/(-2). Let x be (-1 + h/10)*55. Solve 3*v + 2*v - 4*t = x, -2*v + 7 = -t for v.
2
Let g(q) = -q**3 + 7*q**2 - 6*q + 1. Let d be g(4). Suppose 19*v + 105 = 40*v. Solve p + u = 1, -8*p + d = -3*p - v*u for p.
3
Let o = -125 - -134. Solve -4*z = 2*l, z + 0 = 4*l - o for z.
-1
Let h = -79 + 83. Solve -5*o = 5*g + 35, 3*g + g - h*o = 4 for g.
-3
Let d(h) = -h + 3. Let c be d(3). Suppose 0 = -5*z - 5*w + 500, 89 + 99 = 2*z - w. Let y = z - 94. Solve -y*n - 2 = -c, 4*k = -2*n - 6 for k.
-1
Suppose -2*g + 22 = -5*y - 4, -g - y = 1. Suppose 2*f = 3*s - 15, -g*s + 15 = 3*f - 0*s. Solve -4*o = 2*l + 2, f = -3*o + 2*l + 4 + 5 for o.
1
Let j be -2 - (-30)/(1 + 5). Solve 2*a - 3*a = -j*b - 8, 19 = -4*a - 5*b for a.
-1
Let x be 1/((9/60)/(9/12)). Solve 10 = 3*g + x*f - 4*f, -24 = -