4*d - 6*w - 16, -q*d = 3*w - 22 for d.
5
Let g = -398 - -399. Suppose 24 = 3*j - 3*u - 21, -4*u = 3*j - 73. Solve 3*k = -2*m + j, 0 = 2*m - 2*k + k + g for m.
2
Let o be 5/(-4)*(6 + 0 + -18). Solve -2*z = -5*d - o, 5*z - 18 = 3*d + 2*z for d.
-1
Let v be 4/(-18) + 14/63. Let m(c) = c - 3*c**2 + 4*c**2 - 2 - 5*c + 0*c**2. Let s be m(5). Solve v = 5*z - 3*j + 25, -13 + 4 = -s*z - 3*j for z.
-2
Let w be (-32)/48*51/2. Let i = w - -19. Suppose 0 = -7*b + 4*b. Solve b = -c + j, -3*c = -c - j + i for c.
-2
Let s be 6/(-1)*36/(-24). Solve 2 + 7 = -4*o + 5*f, o = -f + s for o.
4
Let h = 73 - 69. Solve -4*t + 4*y + 0 = -4, 0 = -h*t + 5*y + 3 for t.
2
Suppose -5*l - 5 = 3*a, 4*l - 2*a = a + 23. Solve 0 = h - w + 6, -3*h - 16 + l = w for h.
-5
Let a be (12 - 10)*(2 + -1). Solve 3*m = -12, 5*m - 3*m = -a*w - 18 for w.
-5
Let z be (-12)/(-2) - (0 - 0). Let b(f) = 8*f**3 + 20*f**2 + f - 3. Let w be b(-2). Solve x + 0*x = -i - z, 0 = -i - 2*x - w for i.
-1
Let d(x) = -x**3 - 43*x. Let a be d(0). Solve -4*y - 4*t + 12 = a, -3*y - 2*t + 0*t + 5 = 0 for y.
-1
Suppose 0 = -2*p + 8, 14*p - 9*p - 42 = -2*u. Solve 4*o - u = w, -3*w + 7 = 6*o - 8*o for o.
4
Let x(f) = -10*f + 224. Let l be x(22). Solve -o - 5 = -3*o + 3*v, l*o - 2*v = 6 for o.
1
Let z(r) = -2*r**3 - 5*r**2 + r - 4. Let p be z(-3). Suppose 4*d + 10 = j + p, 0 = -2*j + 5*d + 13. Solve -3*h - 21 = -3*t, 0*h = -4*t - 2*h + j for t.
3
Let p = 1710 + -1706. Solve 5*d = 5*w, 4 = -5*w + p*d + 5 for w.
1
Let j(o) = o**2 + 15*o + 47. Let f be j(-11). Solve -g - 4 = g + 2*z, -2*g = -f*z + 14 for g.
-4
Let c be 16/(-40) - 4/(-10). Solve -3*n - 15 = c, 9 = 2*w - 4*n - 9 for w.
-1
Let s = -90 - -127. Suppose s - 7 = 5*d. Solve -y = 5*a + 18, -d*a = -4*a + 6 for y.
-3
Let g be (0/7)/(-3) - -7. Solve -13 = s + 4*u, -2*s + g = -5*s - 4*u for s.
3
Let j(o) = -o**3 + 2*o**2 + 5*o - 2. Let i be j(3). Let d = i + -2. Suppose 2 = d*w - 2. Solve 0 = 3*f + 3, -w = -3*v - 2*f + 4*f for v.
0
Let q(r) = -3*r**3 - r**2 - r. Suppose 9*p + 11 = -2*p. Let i be q(p). Solve 3*y = 5*n + 5*y + i, -3*n - 4*y = -1 for n.
-1
Let d be (-5)/(-1)*12/30. Let z be d*(3 - (-6)/(-4)). Let n(h) = 3*h - 7. Let g be n(4). Solve g*m + 5 = 0, -z*i + 16 - 6 = -4*m for i.
2
Let x be (-10)/(-30) + 38/(-6). Let s be (x/(-4))/((-9)/(-12)). Solve 5*d - 3*d + 2*c = -s, 2*d = 5*c - 2 for d.
-1
Let h be (-1 - -8)*(2 - 1). Let z be (-4 - -5)*(2 + -3). Let x = z + h. Solve 0*w + w - g + x = 0, w - 2*g = -9 for w.
-3
Let m be ((-384)/(-160))/(2/5). Solve 2*f + 2*p = 4, 3*f - 8*f - p = m for f.
-2
Let c = -21 - -15. Let q be c/9 - 20/(-3). Suppose -3*v - 5 = -5*a, 0*a - v = 5*a - 25. Solve q = -i - 7*r + 4*r, -2*r = 4*i + a for i.
0
Suppose -4*n = 8*n - 192. Solve -2*i = -3*u + n, 5*u = 2*i - 3*i + 5 for i.
-5
Suppose w + 0*w - 25 = 0. Suppose 8*o + w = 13*o. Solve -o*h + 4*g - 11 = 0, -5*h - 3*g = g - 21 for h.
1
Suppose -j = -78 + 29. Let t = -75 + j. Let l be -10*(t/(-10) + -3). Solve -s + 3 = 4*w + 18, l*w = 5*s + 3 for s.
-3
Let p(l) = -l**2 + 11*l - 28. Let x = -146 + 153. Let y be p(x). Solve 2*d - b - 5 - 2 = 0, y = -d + b + 3 for d.
4
Suppose -3*w + 36 - 21 = 3*s, -2*w + 38 = -5*s. Solve -m - w = -u - 2*u, 1 = -u - m for u.
2
Let a be 6/((-1 - -4) + 0). Let r = 2 - 2. Let n be a + -2 - r/(-1). Solve -3*v - 15 = c, 17 + n = -2*v - 3*c for v.
-4
Let i be 5/(-1 + 6) + 19. Suppose 31*m = 36*m - i. Let f be (1 - (-2 + 1)) + 5. Solve 0 = 4*v - y + f, -m*v + 2*y = -2*y + 16 for v.
-1
Let k be (16/14 - 0)/((-30)/(-105)). Solve 28 = -k*z - h + 5*h, 2*z + h + 2 = 0 for z.
-3
Let y = 137 + -133. Solve 15 = y*a + a, 3*a = 5*j - 6 for j.
3
Suppose 6*d = -3*d - 63. Let x be -4 - d - (0 - 1*2). Solve -5*w = 2*q, 3*q + 9 = x*w - 16 for q.
-5
Let v(j) = -2*j**2 + 24*j + 30. Let p be v(13). Solve 4*r - 3*u + 6 = 0, r + 3*u + p = 5*u for r.
0
Let i(z) = -3*z - 10. Let j be i(-8). Let h = j - 9. Solve -3*d - 6 - 17 = 4*x, -h*x = 5*d + 30 for x.
-5
Suppose -4*r - 3*p = p + 4, -3*r - 8 = 4*p. Suppose -5*i + r = -2*d, -7*i + 16 = 2*d - 2*i. Solve w = -a - 1, w - d*w + 6 = 4*a for w.
-5
Suppose -11*q - 48 - 95 = 0. Let k be 7 - (10/25 + q/(-5)). Solve 5*h = 4*f, f + k*h = -11 - 10 for f.
-5
Suppose 0 = -4*r - 2*m + 3*m + 12, -5*r + 4*m + 4 = 0. Let o be 322/77 - r/22. Solve 4*i = -5*y + 4, 3*y + o*i - 3 = i for y.
0
Let l(d) = -6*d + 16. Let i be l(2). Solve 3 = t - p, 2*t - i*p - 6 = 2 for t.
2
Let q = -36 + 39. Solve -2*k + 0*k = 2*d + 4, q*d - 2 = 5*k for d.
-1
Let a = 469 + -467. Solve -17 = 5*d - a*n + 8, 5*d + 25 = -4*n for d.
-5
Let p = 198 + -195. Solve -2*c + 2*r = -p*r - 25, 4*c - 4*r - 20 = 0 for c.
0
Let r(n) = -n**3 + 5*n**2 + 2*n - 3. Let f(x) = -x**2 + 8*x - 2. Let w be f(7). Let g be r(w). Suppose -u - 2 = -g. Solve 29 = 5*j + 4, 3*d = -u*j + 16 for d.
-3
Suppose -4*n - 12 = -o, 0*n - 2*o = 4*n + 24. Let r(s) = -s**3 - 3*s**2 + 2*s + 7. Let f be r(n). Solve 3 = 2*h + h, -3*h = -3*z - f for z.
-4
Let s = 14 - 14. Suppose 6 = 2*w, -2*o + s*w - 2*w - 6 = 0. Let j be o/33 - 2/(-11). Solve -z = -4*g - 5, 3*z - 4*g - 1 - 6 = j for z.
1
Let m(y) = y**2 - y - 2. Suppose 2*q = -2*x, -2*q + 4*q + 4 = 2*x. Let z be m(q). Solve z = -2*t - w + 5, w + 0 = 1 for t.
2
Suppose 5*i = -3*n + 39, -4 = 3*n + 2. Suppose -3*h + i*h = 96. Solve -m + 4*m + 8 = 5*k, h = -m + 5*k for m.
4
Let d be (-14)/(-2) + (-10 - -6). Solve -g - 4*o = -3*g + 4, 2 = 2*g - d*o for g.
-2
Let s be (-5 + 1)*(-9 + 7). Let f be -1 - s*(1 + -2). Suppose -1 = -d - 3*q + 2*q, -14 = -5*d + 4*q. Solve -2*k + 6 = -d*t, k - 4*t = -1 + f for k.
2
Suppose 0 = t + 3*c - 62, t - 5*c - 390 = -4*t. Suppose 3*g - t = -68. Solve v + 5*x - 6 = 0, 3*v - g*x + 2 - 3 = 0 for v.
1
Let d = -33 - -36. Solve 25 = -3*g - 4*z, d*g - 2*g - 3*z = 9 for g.
-3
Let m = -13 - -19. Suppose -m = -a - 5. Solve r + g = 7, -2*g + a = -r - 1 for r.
4
Let j = -147 + 152. Solve -25 = -j*f - 2*n, -2*f = 5*n - 3 - 28 for f.
3
Let v = -3 - -6. Suppose 16 = -v*y - y. Let l = y - -9. Solve 2*g - 2*a = 2, l*g = a - 3*a + 5 for g.
1
Suppose 4*q + 3*v - 20 = 0, -4*v + 13 = 4*q - 11. Solve 5*j = 3*m - 2, -2*j - q = -0 for m.
-1
Let a = -8 - -11. Suppose -2*c = a*c. Let l be (0 + c)*(-15)/(-30). Solve 0 = -3*o - l*f + f + 11, 0 = 3*o + 4*f + 14 for o.
2
Let g(b) = b**2 - 8*b + 5. Let x be g(5). Let p = -7 - x. Suppose -2*c + 12 = 3*i, 3*c - p = 2*i - 11. Solve -n + 0*o + 2*o = -3, -4*n = -4*o - i for n.
-1
Suppose -880 = -48*k - 64. Solve k = 3*z - 5*a - 0*a, 5*z - 19 = -a for z.
4
Suppose t + 4*b = 3*b - 3, -4*b - 12 = 2*t. Let v be 27 + -15 + (-1 - t). Suppose -3*n - 8 = -v*n. Solve 7*s - q = 4*s + 17, 3*q = -4*s + n for s.
4
Let y = -34 + 37. Let i be (-5 + y)/((-2)/3). Solve -5 = 4*u + 4*w + 15, -5*u + i*w = 25 for u.
-5
Let n(h) = h**3 + 10*h**2 + 12*h - 4. Let w be n(-7). Let y = w - 55. Suppose 2*q = 5*q. Solve 0 = y*f - z + 3*z, -f - 2*z = q for f.
0
Let x(y) = -y**2 - 7*y. Let g be x(-8). Let o = g - -13. Suppose 2*q + 28 = 7*q - 3*s, 3*q - 14 = -s. Solve 2*t - 4 + 3 = -3*r, o*t = q*r - 35 for t.
-4
Suppose 5*j - 3*q + 4 = 28, 2*j = -q + 3. Solve 5*m = j*o - 4, 0 = -2*m + 5*m + 4*o - 15 for m.
1
Let c(h) = h**3 + 47*h**2 + 91*h + 59. Let k be c(-45). Solve 2*m = -k*g + 16*g - 8, 3*m = 0 for g.
4
Let n(s) = s**2 + 6*s + 2. Let u be n(-6). Suppose 4 = -2*x - 0*x - u*p, 6 = -x - 2*p. Solve 0 = j - h + x, 3*h - 26 = -2*j - h for j.
3
Let p = 32 - 32. Suppose -3 = -3*g + 3*t - 0*t, p = -2*g - 5*t + 23. Solve 3*h + 2*d - 2 = 0, 9 = 4*h - g*d - 7 for h.
2
Let m be ((-4 + 3)*6 - -6) + 0. Solve m = -4*i - 2*w - 13 + 3, 0 = 4*i - 2*w - 2 for i.
-1
Let b(x) = -2*x - 32. Let d be b(-13). Let i be (d/8)/((-4)/16). Solve i*v - 12 = 0, 6 = -2*f - 0*v + 4*v for f.
5
Let k = 1 - 20. Let d = -14 - k. Solve 4 - 3 = 5*n - b, -d*n = -2*b + 3 for n.
1
Let l = 11 + -4. Let x be (-6)/(-4)*(-70)/(-15). Let i = x - l. Solve -n = -4, t + 8 = -i*t + n for t.
-4
Suppose 21 = 4*f - f. Let z = 7 - f. Suppose -5*q = -2*w - w - 19, 2*q - 3*w - 13 = z. Solve 0 = -q*y - l + 8, 3*y + 0 = l + 2 for y.
2
Let r(p) be the first derivative of -p**4/4 - 7*p**3/3 - 9*p**2/2 - 14*p - 2. Let b be r(-6). Solve 3*w = -2*q + 2, 3*q - b*w - 12 - 8 = 0 for q.
4
Let d = 6 + 35. Suppose -14*m = -29 - d. Solve 4*i = -m*u, -4*i + 3*u = -2*i for i.
0
Suppose -3*n + 9 = 3*f, n - f - 12 = -n. Let