Solve t*w = -4*a - q, 0 = -4*a - 3*w + 2*w + 7 for a.
3
Let g(f) = -4*f + 2. Let n be g(-2). Let y(x) = x**3 - 10*x**2 + x - 6. Let o be y(n). Solve -4*l - 23 = -3*p, -15 = 4*l + o*p + p for l.
-5
Let j(h) = 3*h - 17. Let t = 9 + 1. Let z be j(t). Solve 3*s - 12 = 0, 3*b = -2*b - 2*s + z for b.
1
Suppose b - 5*b + 8 = 0. Solve -b*l - 33 = 5*t, 3*t - 17 = 8*t - 2*l for t.
-5
Let s = 225 + -208. Let l(f) = -4*f**3 - 2*f**2 - 2*f - 1. Suppose 9*b - 4*b + 5 = 0. Let v be l(b). Solve -1 = 5*d + v*n - 6, 0 = -3*d + n + s for d.
4
Let v be 3/6 + (-23)/(-2). Suppose -l - v = -17. Solve -14 = 3*z - l*d, 0*d = 4*z + 5*d + 7 for z.
-3
Suppose 3*t + 0*t = -3*b + 3, -4*t + 2 = 5*b. Solve 5*k - k + t*j = -32, -2*k = 3*j + 22 for k.
-5
Let k be (-1 - 14)/(33/10 - 3). Let p = -47 - k. Let g be (1/2)/(1/6). Solve m - 3*t + p = 0, -6*m + g*t + 6 = -2*m for m.
3
Suppose -3*k + 4*k - 18 = 0. Let d = 18 - k. Suppose -w = -5*l + w + 50, 2*w = d. Solve 4*t - 2*m = -l, -2*t - 9 = -m - 4*m for t.
-2
Suppose -g + 6 = 2. Suppose g*u - 1 - 12 = -5*y, 0 = -y - 3*u + 7. Solve -13 = 3*k - l - y, 2*k - l + 9 = 0 for k.
-3
Suppose 0*j + 4*t - 484 = -5*j, -475 = -5*j + 5*t. Let v be (-3)/(1/(-2) - 1). Let y be ((-1)/(-2))/(v/j). Solve 2 = -2*x - 8, -3*g = -3*x - y for g.
3
Let y(a) be the first derivative of -8 + 2*a + 11/3*a**3 - 6*a**2 + 1/4*a**4. Let t be y(-12). Solve -t*r - 3*i - 10 = 0, -r - 3*i = 5 - 0 for r.
-5
Let n(b) = b**3 + 8*b**2 - 10*b - 13. Let r be n(-9). Let m be -3*(-24)/(-27)*-3 + r. Solve 3*h + 3*a + 9 = h, 19 = -5*h - m*a for h.
-3
Let b(p) = -2*p**2 + 2*p - 1. Let h be b(3). Let l = h + 24. Solve -4*d + 5*j = -21, -2*j + l = 4*d - 5*j for d.
-1
Suppose 0 = -2*m - 6, -r - m = -5*r - 37. Let x be (-24)/r + (-9)/(-15). Let l be 3/(3 - x/2). Solve -2*w - 13 = 2*w + 3*j, 0 = -l*j + 2 for w.
-4
Suppose -2*k + 4*k - 1 = x, 3*x = -2*k + 13. Let f be -8 - (0 - 4/2). Let a(g) = g**2 + 6*g. Let o be a(f). Solve -l + t = -o + 4, -x*t = -6 for l.
-2
Let q(g) = -g**3 - 5*g**2 - g + 10. Let d(r) = -r**2 + 1. Let k(b) = -6*d(b) + q(b). Let p be k(0). Solve -5*u - t = 4, -u - p*t + 5 = -2*u for u.
-1
Let q(j) be the second derivative of -j**3/6 + 9*j**2/2 + 4*j. Let l be q(9). Suppose l = -5*a - 1 + 21. Solve 0 = -b - 2*r - 7, -b + 7 = -4*r - a for b.
-1
Let t = 34 - 31. Let x = t - 1. Solve -5*f = x*w + 23, -3*w + f - 4*f - 12 = 0 for w.
1
Let j(q) = q - 1. Let a be j(6). Suppose 23 = 3*w - a*t, -t - 25 = -5*w + 4*t. Let z be (6/(-9))/(w/(-3)). Solve 2*s + 3*l + z*l = 11, 5*s + 4*l - 19 = 0 for s.
3
Let a = -43 - -42. Let b(i) = i**2. Let c be b(a). Solve 0 = 4*o - r - c, 8 = 3*o - 4*r + 4 for o.
0
Let o be ((-5 - -7)/(-4))/((-2)/288). Let c = 72 - o. Solve 0 = -3*b + b + 5*x - 19, c = -3*b - 3*x + 3 for b.
-2
Let c = 0 + 12. Suppose -4*a + c = 2*a. Suppose -21 = 4*h - 5*h - 5*g, a*h + 18 = 5*g. Solve 3*i = -s + 1, -s = -2*s - 4*i + h for s.
1
Let h(r) = 21*r - 35. Let c be h(8). Let t = 135 - c. Solve -y + 2*k = -8, 4*y + k - t*k - 18 = 0 for y.
4
Let p be (-2)/4*(-14 - -2). Let z be 10/p*3/1. Solve -5*d - 17 = -k + 13, 2*d + 3*k - z = 0 for d.
-5
Let a(d) = d - 12. Let v be a(12). Let w be (v - -6)*3/2. Let p = -4 + w. Solve -2*i = -5*i + s - 6, 2*i - p*s = -4 for i.
-2
Let s(l) = l**3 - 3*l**2 - 4*l. Let o be s(4). Suppose o = -6*j + 2*j + 8. Let i be (-19)/(-3) - (-5)/(-15). Solve i*u + 21 = j*h + u, 0 = 2*h + u - 3 for h.
3
Suppose 0 = -3*m + 5*z + 231, 3*m + 4*z - 225 = 7*z. Suppose -4*y - m = -3*d + 3, -4*y = 12. Solve 5*i = 2*l + 17, 5*i - d - 4 = 0 for l.
4
Suppose w = -4*r + 23, -3*w + 4*r = -0*w + 11. Let f be (-1 + (-1)/(-5))/((-26)/130). Solve -2*h + w*x - 15 = 0, 3*h - 2*x + f + 6 = 0 for h.
0
Let n = 233 + -228. Suppose 2*g - 3*g + 34 = -5*h, -2*h = g + 1. Let q be (-1)/(g/(-60))*3. Solve n*x = q, 5*x - 18 = -2*j + x for j.
1
Suppose 68*g - 44 = 64*g. Solve -2*n = -2*x + 2, 3*x + 9*n - g = 4*n for x.
2
Let v(h) = 8*h - 56. Let k(p) = p - 7. Let i(t) = 51*k(t) - 6*v(t). Let o be i(7). Solve 2*r - 9 = -5*g, 5*r - g - g + 21 = o for r.
-3
Let y(d) = -2*d - 6. Let r be y(-4). Let m(p) = p**2 - 28*p - 74. Let q be m(31). Solve r*i + 3*a = -q, -50 + 10 = 5*i + 5*a for i.
-5
Let l = -1487 + 1489. Solve -5*c = s + 17, -3*c = 2*s + l*c + 19 for s.
-2
Let m be (2 - (-4)/(-3 + -1)) + 3. Let i be (1*-3)/(-1) + 0. Let j be 2/13 + (-1)/((-52)/876). Solve -m*b = -3*o + j, 3*o = -b - i - 5 for o.
-1
Suppose -4*z - 13 = 27. Let d = z - -13. Solve 2*f + 10 = 3*f - 5*y, -d*f - 8 = 4*y for f.
0
Let w = -59 + 62. Suppose 2*x - w*p = -x, 0 = 3*x + 2*p. Solve -2 = r, x*r - 14 = -4*g - r for g.
4
Let g = 226 - 223. Solve 4*j = -4*x - 28, -3 = g*j + 6 for x.
-4
Suppose -1 = -4*f + 3, 5*o = -4*f + 49. Let i be (24/(-5))/(8/((-240)/o)). Solve z - 4*b = -3*z + i, -2*z = 2*b + 4 for z.
1
Suppose 0*q - 5*s - 200 = 2*q, -q + 4*s = 74. Let p = q - -103. Solve -3*b - p = f, 5 + 2 = -4*f + 3*b for f.
-4
Let q = -42 + 9. Let t be (15/4)/(q/88). Let y be 10/25 - 36/t. Solve -12 = -5*b - 4*g, 0*g - y*g + 4 = 3*b for b.
4
Let v(m) = 2*m**2 - 26*m - 13. Let b be v(16). Let n = 85 - b. Solve -p = 6 - n, -p = -5*s - 6 for s.
-2
Let g be 3 - (-3 + -1 + 4). Suppose -7 = -2*o - g. Solve -h + 24 = 4*r - 0*h, -o*r = -2*h - 2 for r.
5
Let h = 9 - -9. Let i be 14 - (-24)/14*-7. Solve -3*m - h + i = 5*x, -2*x = 5*m - 5 for x.
-5
Suppose 22*m - 25*m = -12. Solve 6 = -3*s - d - 3*d, -m*d = 0 for s.
-2
Let p = -5 - -11. Let i be p - (-1 - -4 - 1). Let f(l) = -l**3 - 6*l**2 + 9*l + 17. Let o be f(-7). Solve 3*v + 30 = -5*q, 7*v - i*q + 8 = o*v for v.
-5
Let d be (((-2)/(-3))/(-2))/((-5)/30). Solve 3 = -3*w + 3*b, 0 = -2*w - 0*b - 4*b - d for w.
-1
Let u = -58 + 69. Suppose 3*p = -q + u, 12 + 3 = -5*p + 5*q. Solve p*v - 3*x = -v - 21, -2*v - 26 = -5*x for v.
-3
Let g = 2655 + -2644. Solve -4*w + 5*r + 19 = 0, -w + g*r - 13*r = 5 for w.
1
Let c = 1 - -1. Let r be (-6)/(666/99 + -7). Suppose 3*t = 2*k - r, -t + c*t + 2 = 0. Solve -4*h = -3*i - 27, 4*i + 2*h = -2*h - k for i.
-5
Let r be (-76)/(-16) - 1/(-4). Let i = 13 - r. Solve 3*o + 5*y + 0*y = 34, o + y - i = 0 for o.
3
Let v be (-45)/(-2) - (-3)/6. Let z(a) = -a**3 - 3*a**2 + 12*a + 7. Let s be z(-5). Let y = 0 - s. Solve 0 = -5*k - 3*g + v, y*k + 2*g + 1 = 15 for k.
4
Suppose -6 = -s + 5*z + 21, 39 = 4*s + 3*z. Solve 4*h + 7 = 5*o - s, 5*h + 14 = 3*o for o.
3
Let v = 123 + -109. Suppose 25 = v*k - 9*k. Solve -2*w + 3 + 18 = -k*p, -4*p - 2*w - 24 = 0 for p.
-5
Suppose 5*f = 156 + 9. Let g = f - 21. Solve 5*k + 5 = -4*v, -13 = k - 4*v + g for k.
-5
Suppose 0 = 8*q - 2315 + 2267. Solve 3*j - 3*s = -12, 2*j - 27 = s - q*s for j.
1
Suppose w - 2*g - 13 = 0, -5*w + 5*g + 52 = 7. Suppose 0 = -5*r - w*r + 30. Solve 7*h - 19 = r*q + 2*h, -2*h = 5*q - 20 for q.
2
Let b(g) be the third derivative of -g**6/24 + g**5/60 - g**3/6 - 22*g**2. Let a be b(-1). Solve 22 = a*o + 2*c, -2*c - 2 = -3*o + 2*o for o.
4
Let y(b) = -2 + 0 + 5*b - 2 + 6*b**2 - 5*b**2. Let i be y(-6). Solve 2*q - 10 = d, -4*q + 3*d + 26 = -i*d for q.
4
Let i = 299 - 299. Solve -5*p - 27 = 2*c, -3*c = -5*p - i*c - 22 for p.
-5
Let s be (-3 - (-21)/6)*0. Let a(x) = 7 + 2*x**2 - 8*x - x**3 - 4 - 11*x**2. Let m be a(-8). Solve 0 = -m*d - c - s + 6, -d = 2*c + 3 for d.
3
Let l be -17 + 14 - (1 - (-5)/1). Let z be (-28)/(-6) - (-6)/l. Suppose 5*d - 7 = -3*s, 5*d = -4*s + d + 12. Solve 16 = -z*f + s*x, 22 = 4*f + 5*x + 2 for f.
0
Let j(r) = r**2 + 9*r + 2. Let w be j(-9). Suppose -3*a - 10 = 2*b, 5*a + 2*b = 2 - 12. Solve a - 1 = 4*y + o, 0 = w*y - o + 5 for y.
-1
Let c(r) be the first derivative of r**3/3 + 4*r**2 + 3*r + 1. Let u be c(-8). Solve -5*x - 6 = -3*o + 6*o, u*o = -3*x - 6 for o.
-2
Suppose -13 = 3*z - 49. Let k = -55 + 55. Suppose 2*p + 1 - 1 = k. Solve -z = -h - 3*r - p*r, 0 = 3*h - r + 4 for h.
0
Let u = -13 - -10. Let h(k) = -5*k - 5. Let y be h(u). Let s = y + -8. Solve -4*x + 4 = -4*c, -c + 7*x - 13 = s*x for c.
2
Suppose 0 = -5*q - 2 - 3. Let l be -10*(q - 15/(-25)). Solve i + a + 2 = l*a, 4*a = 0 for i.
-2
Let x = -441 - -441. Solve d + w - 4 = x, 5*d + 2*w - w = 20 for d.
4
Suppose -156 = -67*t + 15*t. Solve 4*i = -t*u + 16, -1 = u - 5 for i.
1
Suppose -8 = 11*x - 30. Solve 5*z + 3*m - 12 = -0*z, 0 = -x*m + 8 for z.
0
Let d = -8 + 22. Suppose 0 = -11*r + d*r - 30. Solve h + r = -3