*w - 4*s, -4*w - 4*s = -9*s - 41 for w.
4
Let p = 15 - 17. Let n be ((-22)/12*p)/(8/48). Solve 2*s - c = -9, 0*s - 2*c = 4*s + n for s.
-5
Suppose -1921*c + 56 = -1914*c. Solve 2*t + 0*t - 2*n = -c, 4*t + n + 21 = 0 for t.
-5
Suppose -2*y - 10 = -40. Let l = y + -8. Suppose l*x - 8 = 3*x. Solve -3*c - 11 = 5*b, -x*c - 3*b = 9 - 2 for c.
-2
Suppose -5*z + 201 = -4*q, 4*z - q + 144 = 8*z. Suppose -2*v = -4*d - 28, 0*d + z = 3*v - 5*d. Solve 0 = -2*u + v, -4*j = -2*j - 3*u + 14 for j.
-4
Suppose 4*g - 5*a = -0*g + 31, 0 = 2*g + a - 5. Solve 5*n - 4*n = -g*s + 6, -3*n = 6 for s.
2
Let h = -720 + 720. Solve 5*b + 3*p - 7 = h, -2*b - p + 7 = -4*p for b.
2
Let y(h) = -h**3 + 14*h**2 - h + 18. Let c be y(14). Suppose -6*q + c*q + 46 = 0. Let p = 30 - q. Solve -3*m - 2*w + p = 0, 3*w + 1 - 5 = 2*m for m.
1
Let z = 192 - 189. Solve 2*j - 13 = 5*n, -z*n = 5*j - 3*j + 11 for n.
-3
Suppose 18*t - 20*t + 12 = 0. Solve t = 3*a, 4*d - d + 16 = 5*a for d.
-2
Let q(i) be the second derivative of i**3/6 - 7*i**2/2 + 15*i. Let x be q(9). Solve 4 = -x*g, -5*b - 4 = -b + 4*g for b.
1
Suppose -4*f = -4*t - 28, 0*t = 2*t + 6. Let k be f*-3*(-4)/12*1. Solve 0*q - q = 2*l + 5, -4*q + 28 = -k*l for q.
3
Let w = 113 - 106. Solve 5*j + 21 = 3*g, 5*g = -3*j + 2*j + w for g.
2
Suppose -o + 5*v = 2, -4*v + 9*v - 5 = 0. Solve 3*x = -b + 11, 4*b - o*x = -2*x + 5 for b.
2
Let v be ((-4)/1 - -1) + 0 + -91. Let m = -91 - v. Solve m*u - 4 = 2*s, u - 5*u = -4*s - 4 for u.
2
Suppose -19*x + 12 + 64 = 0. Solve -2*b + 2 = -b - d, d - 1 = x*b for b.
-1
Let t be 3/7 + 273/49 - -5. Solve -2*i = -2*m - 16, -m + 5*m = -3*i - t for i.
3
Suppose 8 - 6 = r. Suppose 0 = r*k - 18 + 4. Solve 0 = -4*n + 4*v - 28, -n + 5 = k*v - 2*v for n.
-5
Let x(u) = 6*u - 1. Let c be x(1). Let a(l) = -43*l - 6. Let g be a(1). Let i = g - -59. Solve p + 0*k = -2*k - c, i = -2*p + 3*k for p.
-5
Let k(v) = 4 + 45*v**3 - 5 + v**2 - 28*v**3. Let d be k(1). Solve -3*o + 4*m = 13, 3*o + d = -0*m + 5*m for o.
1
Let v be (3/9)/(3*(-4)/(-324)). Suppose 0*c + 45 = v*c. Solve -4*z - t - 5 = 0, -z = -0*t - c*t - 4 for z.
-1
Suppose 1140 = -53*q + 91*q. Suppose s + 6 = -3*c, 0 = s - c - c - 4. Solve 3*t - 23 = -4*w, 4*t + 5*w - q = -s*t for t.
5
Let n be (-1)/(((-1)/(-21))/(-1)). Let i be 30/9*n/14. Solve -2*t - 4*y = t - 1, -3*t = i*y + 1 for t.
3
Suppose 3*u + 2*k = -9 + 24, 20 = 2*u - 2*k. Let t be ((-12)/(-14))/((-1)/u). Let m = t - -10. Solve -3*i = -z + 22 - 4, 0 = -m*z - 5*i - 13 for z.
3
Let y be 0/(-3) - 2/(-2). Let c be 4*(3 - 0 - y). Solve 0 = -4*w + c, -7 = 2*t + 3*w - 19 for t.
3
Suppose 2*s - s - i = 10, 36 = 4*s - 3*i. Suppose 0 = -4*q + 3*c + s + 5, 13 = 5*q - 3*c. Solve j - 2 = 5*j - q*f, 0 = -j - 5*f - 17 for j.
-2
Let y = 2501 + -2489. Solve w + 9 = 2*z, y*z = 17*z - 10 for w.
-5
Suppose 0 = -4*c + 2*g + 4 + 14, 0 = -2*c - 4*g + 14. Solve -3*t + 11 = -c*o, -t - 8 = 2*o + 3 for o.
-4
Let h = -1097 + 1100. Solve 6 = -h*i - 4*n, i + 0*n = 3*n + 11 for i.
2
Suppose 2*b + b = m + 3, b = -m + 5. Let a = 26 - 24. Suppose -2*v = a*v - 8. Solve -b*p + v*g + 12 = 0, -5*p + 10 = g + 4*g for p.
4
Let c(m) be the first derivative of -2*m**3/3 + 2*m + 6. Let r be c(0). Suppose 6 = 3*n + a, -2*a - 4 - r = 0. Solve t + 2*t + 3 = 0, 5*t = -n*j - 8 for j.
-1
Let b = -28 + 29. Suppose 4*d = -c + b, -2*c + 5*d + 15 = -0*d. Solve -3*q + 5*r = -8*q + 15, 4*q + c*r - 10 = 0 for q.
5
Let j(u) = 3*u**2 + u - 2. Let i be j(2). Let x = -3 - 6. Let q = i + x. Solve 0 = -h + q*z - 15, 2*z + 17 = -3*h + 4*z for h.
-3
Suppose 0 = 29*r - 60 + 2. Solve 4*m - d = 5, -1 = -4*m + r*m - d for m.
1
Let b be 2 - (0 + 1 - 2). Solve o = 3*l + 7, 4*l = b*o - 0 - 1 for l.
-4
Let s = -141 + 87. Let m = 56 + s. Solve -i = 0, -i = m*l - 3*i for l.
0
Suppose 0 = -10*i + 217 + 283. Let s = -48 + i. Solve l = 4*z - 9, -z = -s*z + l for z.
3
Let a = 147 + 18. Let z = a - 159. Solve 2 = -4*k + 2*q, 4*q + 2 - z = 2*k for k.
0
Let x be ((-44)/(-6))/(8/(-24)). Let m = 21 + x. Let k(u) = -9*u**3 + u. Let z be k(m). Solve 4*n - z*n - 4*r = 36, 3*r = -12 for n.
-5
Suppose -11*a + 22 = -0. Solve 5*v = 5*f - 0*f - 15, -2*f = a for v.
-4
Let t(p) = -3*p - 13. Let k be t(-6). Let j be (k*-4)/(6/(-6)). Suppose -6*a + j = -a. Solve -5*s = 0, 2*m + 4*s + 4 = -a for m.
-4
Suppose -4*c - 4*c = -32. Suppose c*p + 25 = q, -q = 3*p - p + 5. Solve 0 = 2*m + v - 1, 4*v - q - 17 = m for m.
-2
Suppose 5*x = -2*p + 29, -2*p + 11 + 3 = 2*x. Suppose 5 = p*m - 5*v + 4*v, 0 = -m - 2*v - 10. Solve 0 = d - 3*z - 10, m*z - 3*z = 5*d + 4 for d.
1
Let r(u) = 33*u + 267. Let c be r(-8). Solve -c*b - 4*z + 8 = -6*b, -3*z = -2*b - 5 for b.
-4
Suppose -177 = -6*x - 165. Solve 10 = -3*u - 2*u + 5*k, 10 = x*k for u.
3
Let p(a) = 2*a**2 - 6*a - 31. Let s be p(-3). Solve s*m - 20 = -w, w + 4*m - 16 + 1 = 0 for w.
-5
Suppose c = -i + 4 + 1, c - 3*i = 5. Let p be ((-2)/c)/((-4)/40). Solve p*j + 10 = 5*q, -4*j - q - 26 = -4 for j.
-5
Suppose 8*m = 46 - 14. Solve 4 = m*y, -2*y - 7 = 2*c - y for c.
-4
Let x(m) = m**3 + 6*m**2 - 8*m - 3. Let j be x(-7). Let v be (-2)/j*(27 - -5). Let k be (-24)/v - 29/(-2). Solve 4*t - 5*d = -15, -k + 4 = -4*d for t.
0
Suppose -q + 4*x = -0*q + 36, 0 = -q + 5*x - 38. Let c = q + 38. Suppose -4*z - c = -18. Solve -m + 3*y = -7, 2*y - 2 = m - z*m for m.
4
Suppose 0 = -2*w + 17 + 17. Let i(p) = 2*p**2 - 4*p + 4. Let j be i(2). Solve 1 = m - 0, 0 = -j*h + m - w for h.
-4
Let n(z) = -z**3 + 5*z**2 - 3*z - 2. Suppose -5*r - 3*a = -14, -3*a + 2 = 2*r - 0*a. Let k be n(r). Solve -y = k*u - 4*u + 15, -3*u = -15 for y.
-5
Let k(h) be the third derivative of -h**6/120 - h**5/30 + 19*h**4/24 - 5*h**3/3 + 2*h**2. Let v be k(-6). Solve 0 = 5*f - 4*j - v, 2*f + 0*j + 15 = -3*j for f.
0
Suppose 0 = -3*y - 5*u + 20, 4*u - 16 = -0*u. Suppose y = 8*t - 12 - 12. Solve -2*x - 18 = -5*v, 0 = -x + t*x - 2 for v.
4
Suppose 0*c = 2*c - 32. Suppose -2*u = -6*u - c. Let i be (2 - 2)/(-3) - u. Solve -2*b + 1 = -4*k + 5*k, 5 = -i*k - 5*b for k.
-5
Let c(a) = -14*a + 128. Let s be c(8). Solve -2*v = -4*v - 2*r - s, 2*v - r + 1 = 0 for v.
-3
Let b(r) = 12*r - 24. Let h be b(3). Let l = 11 - 19. Let g = l + h. Solve 18 = -4*i - o, 0*i + 26 = -g*i - 5*o for i.
-4
Let i(d) = 4*d**2 - 6*d - 6. Let r be i(4). Let f = 37 - r. Solve -5*l + 4*x + 12 = -0*l, f*l = -x + 14 for l.
4
Let u be ((-126)/(-630))/(2/20). Solve u*l = -3*j + 17, 4*j - 13 = l + 6 for l.
1
Suppose -8 = -a - 2*l - 2, 4*l = 2*a - 12. Suppose -k - 3 + a = 0. Suppose -3*y - 2 = 5*r, 5*y = k*r - 5*r - 16. Solve 2 + 3 = -3*n - r*i, 1 = n + 2*i for n.
-3
Let j(n) = 2*n**2 - 6*n - 17. Let l be j(5). Solve 2*o + l = -p, -3*o = o + 4*p + 12 for o.
0
Let u be (-2 - -23) + 16 + -28. Solve -9 = -5*g + p + u, -2*p = -g for g.
4
Let w(j) = j**3 - 4*j + 3. Let u be w(2). Suppose 0 = 5*g + 3*k - 39 + 13, u*k + 44 = 5*g. Solve 13 = 5*n + i, -i + 6*i = -n - g for n.
3
Suppose -h = 2*q - 3, h - 2*q - 7 + 0 = 0. Suppose h*r + 1 = 6*r. Solve -x - 2 = v, 0 = -0*v + v + 2*x + r for v.
-3
Let v = 41 - 37. Let d be 0/4*v/(-8). Solve 0 = -5*i + 3*j + 8 - 2, 5*i - 2*j - 4 = d for i.
0
Let f = -24 - 27. Let p = f + 60. Solve 0*j + 5*s - p = 2*j, 3 = -j + s for j.
-2
Let d(m) = 3*m**2 + 4*m - 2. Let n(a) = 3*a**2 + 3*a - 2. Let i(f) = -2*d(f) + 3*n(f). Let h be i(-1). Solve h = -3*g - 3*u, u + 2*u = 4*g for g.
0
Let i = 6 - 8. Let k = i - -4. Suppose -3 = -14*x + 53. Solve 0 = -5*d + 10, -4*p + k*p + 16 = x*d for p.
4
Let z(t) = t**3 + 3*t**2 - 6*t - 5. Let d be z(-4). Solve -s + 4*s - 5*o + d = 0, -1 = s + 5*o for s.
-1
Let t = -5 + 10. Let v be (-8)/(-10)*t/2. Suppose 3*z - 39 = -4*a - 0*a, 3*a - 23 = -z. Solve -o + 3 = -2*h, -h + v*o - a = -0 for h.
0
Let q be (0/(-1))/((29 - 15) + -11). Solve -2*l + 3*a - 18 = 5*a, l + 5*a + 29 = q for l.
-4
Suppose 4*r - d - 2 = 0, 4*r + d - 9 + 11 = 0. Solve -u + r*o = -2*o + 3, -o = -2*u - 3 for u.
-1
Let p be 13 + 1 + 8 + 3 + -12. Solve -4*v - 3*k + p = 0, 4*k - 11 - 2 = -v for v.
1
Suppose -13 = 4*t - 21. Suppose 3*q - 50 = 4*i, -i + 38 = 3*q + i. Solve 5 = l - c, l - q = t*c - 6 for l.
2
Let w(q) = -q + 12. Let l be w(7). Let k be (0 + (-20)/(-8))*(-8)/(-10). Solve -5*s = -5, k*o = 7*o - l*s + 10 for o.
-1
Let d = 177 + -163. Solve z - 2*i = 3*i - 14, 0 = -4*z - i - d for z.
-4
Let j(t) = t**3 - 10*t**2 + 15*t - 52.