 Solve -2*x = -5*t + 33, -3*x - 2*t - 2 = -w*t for x.
-4
Let w = -7 + 17. Let o = w + 1. Solve 7 = -3*k - 8, -2*k - o = j for j.
-1
Let z be 4/(-5) - (-2)/(-10). Let c(o) = -o**3 + 2*o**2 + 2*o + 1. Let y be c(z). Solve -5*q = -2*m - 28, q - 6*q = y*m - 12 for m.
-4
Let z be 10/15 + 1/3. Solve f + 3*p = 5, f = 3*f - 5*p + z for f.
2
Suppose -10 = j - 3*j. Suppose 0 = -c - 358 + 363. Solve j*r = c*i + 6*r + 27, r + 22 = -4*i for i.
-5
Suppose i - o = o + 6, -5*o = 4*i - 24. Let k(h) = i*h + 0 - 5*h + 1. Let z be k(3). Solve 0 = -2*f + z*y + 4, 4*f - 2*y = 6*f - 4 for f.
2
Suppose 0 = 3*j + 2*j - 630. Suppose 4*u - j = f, -4*u + 2*f = -0*f - 124. Suppose -3*x + u + 4 = 0. Solve 3*r = -2*b + 9, b - x = 6*b - 4*r for b.
0
Let d(p) = p - 6. Let i be (-15 + 3)/4 - -13. Let r be d(i). Suppose -a + 36 = 5*k, -2*k - 3*a + a = -8. Solve -r*l = 2*z - k, 4*z + 3*l = -6 + 2 for z.
-4
Let i = 82 - 55. Solve 0 = 3*o - 2*h - 19, i - 2 = -5*h for o.
3
Let f = -42 - -61. Solve 5*l + f = z - 4*z, 0 = 3*z - 4*l - 26 for z.
2
Suppose 17 = w + 5*h - 8, -5*w + h = -21. Let k = -19 + 23. Solve k*c = -3*t, -4*t + w + 2 = 3*c for c.
-3
Let h = 7 - 5. Suppose -45 = -5*s - 0*d + 5*d, 0 = -3*s + h*d + 22. Suppose -3*j + j = -5*r, -s*r = 0. Solve -2*g = 2*b - 10, -3*g + 18 = 4*b - j*b for g.
2
Let k be 627/(-44) - (-2)/8. Let f = k + 18. Let d be 2*-1 + 1 + 4. Solve -f = 2*a + d*j, 3*a + 1 + 5 = 3*j for a.
-2
Suppose 2 - 10 = o. Let f = o + 9. Solve 5 = 3*h - 2*x, 4*x - 16 = h - f for h.
5
Suppose -8*t = t - 18. Suppose 3*s - 7*v = -4*v + 12, -3*v = -5*s + 20. Solve g - t = -0*r - 2*r, -s*g + 8 = r for r.
0
Suppose 2*p + 12 = -0*p. Let f be ((-2)/p)/((-1)/(-12)). Solve -4*c + 3*t + f = 0, -4*t + 1 = c - 3*t for c.
1
Let v be 1/2*0*1. Let r(j) be the first derivative of -j**2 - 6*j + 3. Let d be r(-4). Solve 4*y - k = 2*y + 9, d*y + 2*k = v for y.
3
Let u(z) = z + 21. Let n be u(-21). Solve -3*h + 3*b = -2*b + 24, n = h + 2*b - 3 for h.
-3
Let r be ((-30)/75)/((-4)/10). Solve -s + r = 2*f, -4*s = -2*f - 7 - 7 for s.
3
Let x(n) = 12*n**3 + 0*n + 0*n - n**2 - 5*n**3. Let p be x(1). Solve 0 = 2*t - 2*v - p, -3*v + 7 = -5*t + 22 for t.
3
Let p(w) = -5*w + 2*w**2 - w - 6 + 5*w. Let z be p(3). Solve -m = -1, r = 3*r + m - z for r.
4
Let r be 92/6 + 14/21. Suppose 5*t - 4*h - r = 0, 5*t - 5*h - 17 = -2*h. Solve 5*g - 4*w = 18, 0 = -0*g + t*g + 4*w for g.
2
Let q(p) = 17*p + 2. Let v be q(1). Solve 0 = 5*t - j - v, -4*j - 23 = -3*t + 2 for t.
3
Let n(x) = x - 6. Let d be n(9). Suppose -3*r - 6 = -2*q - 17, 3*q = r - 13. Let t be (1/2)/(r/60). Solve -d*v + 30 = -3*w, -5*v + t = -w - 0*v for w.
-5
Suppose 1 + 1 = h. Suppose z - 8 = -2*d, -z + 14 = 3*d + z. Let g = h + d. Solve 12 = -g*v + 4*r, 0 = -4*v - 4*r + 26 + 2 for v.
2
Let o = 4 + -4. Let x = 3 + o. Let j be (-1)/x + 13/3. Solve 5*k - 7 = -2*n - 1, -3*k = -j*n - 14 for n.
-2
Let d be 0 + 6/9 - 21/(-9). Solve -2 = -2*a, -3*y = -d*a - a + 10 for y.
-2
Let v = 77 + -73. Let i be 0 + -1 + (5 - 1). Solve -v*f - 5*d = -f + 10, -i*f + 3*d + 30 = 0 for f.
5
Let p = 14 - 8. Suppose -3*h + p = -2*h. Let a be (-3)/(45/h)*-5. Solve 0 = -3*q + 10 + a, 0 = -5*g + q - 19 for g.
-3
Let w = 8 - 3. Suppose -4*p - 7 = -3*y, -4*y + 25 = -y + w*p. Suppose -y*u - 6 + 23 = -3*f, 3*u - f - 11 = 0. Solve 0 = -2*j + r + 2*r - u, 2*r = 4*j for j.
1
Let s = 23 - 18. Solve 4*x + 9 = -s*t, 5*x - 25 = -0*x + t for x.
4
Let c be (2/(-4))/(1/(-4)). Let t be 6 - 0*2/4. Let k = t + -2. Solve 3*l + c = k*l - p, 3*l = -4*p - 8 for l.
0
Let v(u) = -2*u**3 - 3*u**2 + 2*u + 4. Let c be v(-2). Solve k - 20 = -5*r, 3*r + c*k = -r + 32 for r.
3
Suppose -4*t = 5*b - 72, 4*b - t = 40 + 5. Suppose -5*x - b = -32. Solve x*w = 3*h - 16, -w - 3*w = 3*h + 16 for w.
-4
Let a(h) = h**2 + 15. Let l be a(0). Let i(d) = -2*d - 2 - l + 5. Let v be i(-8). Solve -2*p - z = -3, 5*p - 2*z - 5 = -v*z for p.
-1
Suppose 5*l = l. Suppose 0*d + 3*d = l. Solve d = 2*w - 5*m + 15, w + 3*w + 21 = m for w.
-5
Let p(f) = -f + 2. Let q(h) = h - 1. Let x be q(-2). Let w be p(x). Solve -2*s + 2*y + 3 = -1, -5 = 2*s - w*y for s.
5
Suppose a = 4*a. Let u(b) = -b**2 - 14*b - 9. Let k be u(-13). Suppose -2*i = k*r - 8*r, 4*r = 5*i - 6. Solve f = a, -3*p - 4*f + 1 = -i for p.
1
Let t(x) = 3*x + 4. Let y be t(3). Suppose 2*w + 2 - 6 = 0. Suppose 0 = 3*j - 4 - w. Solve -3*d = -j*f + 4, -f + y = -0*d + 4*d for d.
2
Suppose 2*y + 21 = -5*z, 0 = -y + 5*z - 2 - 1. Let n be 2/y - (-9)/4. Solve 14 = 2*i - i - 3*l, -4*l - 2 = n*i for i.
5
Let l be (-5 - -25)*14/8. Let n be 56/l - 2/(-5). Solve n*r + 2*z = -3*r + 5, -r - z = 2 for r.
3
Let z(f) = -f**2 + 9*f - 7. Let d(t) = -t**2 + 10*t - 8. Let k(o) = 4*d(o) - 5*z(o). Let q be k(5). Solve 5*m - 9 = -4*j, 0 = -5*j + m - q*m + 7 for j.
1
Let v(p) = -p**3 + 16*p**2 + 7. Let r be v(16). Solve -15 = -3*f + 3*k - 0*k, -3*f + r = -k for f.
1
Let r be (3 - 9/3) + 24. Solve -4*j = -4*w - r, w + 0*j = 3*j - 16 for w.
-1
Suppose -4*j + 22 = 10. Suppose 7 + 1 = 5*p - z, 4*p + j*z = 14. Let r be 6*1 - (2 - 1). Solve 0 = 2*n - 5*i + 3, -p*i + 0*i = -r*n - 18 for n.
-4
Suppose 5 = 4*u - 3. Suppose 4*y - h = u*y, 5*h = -y. Suppose -9*o + 11*o = 44. Solve 4*x = 2*q + o, -5*q - 2*x + y*x = -5 for q.
-1
Let l(r) = -r + 9. Let z be l(4). Let i = 5 + -3. Suppose -i*f + 0*f = 0. Solve -15 = -5*n + k, f = -n - z*k + k - 18 for n.
2
Suppose -2*l + 64 - 54 = 0. Let r = 39 + -17. Solve -5*j = -3*m + 3 - l, 0 = 3*j + 4*m + r for j.
-2
Suppose 11 = 2*t - 29. Let s = 6 + -2. Suppose -3*w = 15, w + s = -3*j - 1. Solve 25 = -j*v - v + 4*p, -5*v - p = t for v.
-5
Let n(p) be the first derivative of p**2/2 + 4*p - 5. Let u be n(0). Solve -2*j + 5*d = 21, -j + 7 = u*d - 2 for j.
-3
Let s(d) = -d**2 + 13*d + 2. Let c be s(13). Solve -4*n - c*v - 9 - 7 = 0, 2*n - 5*v + 20 = 0 for n.
-5
Suppose 12 = 7*g - 9. Solve 0 = -g*y + 6, 0 = 4*w - 2*y + 2 - 10 for w.
3
Let o be (-33)/(-7) - 2/(-7). Let m = 7 - o. Let b = -17 + 21. Solve b*n - 3*p - 9 = 3*n, 2 = m*n - 2*p for n.
-3
Let c be ((-4)/(-6))/(4/(-156)). Let r be 4/10 + c/(-10). Suppose -5*z - 8 + 88 = 0. Solve 2*l + 5*f = z, -2*l = l - r*f + 18 for l.
-2
Let h(u) = u**3 - 11*u**2 + 11*u - 8. Suppose -g - 4 = 2. Let d = g - -16. Let i be h(d). Solve 2*t - q - 9 = 0, -q = 3*t - 18 + i for t.
5
Let h(x) = 0*x - x - 6 + 0*x + 13. Let b be h(6). Solve 3*n + 6*a = 3*a + 15, b = a for n.
4
Suppose -3*y = c + 2*y, -3*c - 17 = -2*y. Suppose 0 = -0*u + 5*u - 40. Let x = u + c. Solve s + x*i + 14 = -3*s, -3*s - i = 8 for s.
-2
Suppose 3*f - 5*a = 6*f + 1, -4*f + 4*a + 20 = 0. Suppose -4*r - 18 = 10. Let k = r - -11. Solve 4*t = -3*l - 25, 0 = -f*l + 3*t + k - 1 for l.
-3
Let k(w) = w**3 - 10*w**2 - 12*w + 16. Let s be k(11). Solve 3*m = 4*h - 17, h + 19 - 6 = -s*m for m.
-3
Let d be (-3 - -1)*(3 + -5). Solve d = -2*t - 2, 0 = 4*z + t - 5 for z.
2
Let i be (-48)/(-36) + (-4)/3. Solve i = -l + 4*q - 12, q - 4*q = -4*l - 9 for l.
0
Suppose 3 = 5*d - 7. Suppose -2*h + 4 = -d. Let a(n) = -n**2 + 19*n - 31. Let u be a(17). Solve -m = -u*j - 13, h*m - 4 = 5*j + 15 for m.
-2
Let q = 0 - -2. Let w be ((-6)/(-8))/(q/40). Suppose 5*u - w = 5. Solve -u*m = -5*o - 0*m + 26, -2*m = 4*o for o.
2
Let f = -8 + 12. Solve f*n - 2*i = 14, -3*n = -3*i - 4 - 2 for n.
5
Let q(g) = -g**3 + 12*g**2 + g - 10. Let z be q(12). Suppose 0*h + h - z = 0. Solve -h*p + 5*u + 19 = -p, p + 13 = -3*u for p.
-1
Suppose -s + 2*s - 8 = 0. Let n(j) = -j - 2. Let g be n(-7). Suppose -4*m + 17 - g = 0. Solve 16 = -4*v + 3*u, -s = v - m*u - 4 for v.
-4
Suppose -2*i + 4*t = t - 66, -4*i + 2*t + 140 = 0. Solve 5*n - l = -5*l - i, -4*l = -5*n - 4 for n.
-4
Let j = -42 + 47. Solve -32 = -2*m + 5*m - j*w, -4*m = 5*w - 4 for m.
-4
Let q = 1 - -1. Suppose -2*a + 2 = 2*l - q, -20 = -a + 5*l. Solve -3*j - 1 = 3*i + a, 0 = -4*j - 2*i for j.
2
Suppose 5*j - 2*j = -3*r + 42, 0 = 3*j - 2*r - 37. Let c = j + -13. Solve -7*p = -2*p - 3*w - 22, c = 3*p + 2*w - 17 for p.
5
Let z = -4 - -7. Let g = z - -2. Solve 5*l - 3*v - 16 = 4*l, 0 = g*l + 5*v for l.
4
Let k be 2*2 + 150/25. Solve 2*d = -2*s - k - 2, 0 = d + 3*s + 12 for d.
-3
Suppose -5*f + 2*p = -4 - 4, -4*p = 16. Solve f = j + 2*v + 12, -2 = 5*j - 4*v + 2 for j.
-4
Suppose 2*y + 1 = 3*n + 5, -n = 3*y - 17. Suppose -n*w - w = 0. Solve 5*c + 5 = w, -4*c - 6 -