 -m + 3*z - 0 for m.
-3
Suppose 0 = 3*a + q, 5*q = -3*a - 2*a. Let d be 5/(5/27) - a. Solve 2*z = 5*j - 35, 5*j - z - d = 3 for j.
5
Let x(g) = g**2 - 12*g - 42. Let l be x(15). Solve 0*y = 2*y + 3*w + 9, 5*y = -l*w for y.
3
Suppose -4*v + 20 = -0*v. Let w = -10 + 8. Let z be w/(69/(-33) - -2). Solve z = 3*n + m + v, -4*n = 4*m - 36 for n.
4
Let l = 2 + -2. Let i be 52 + 5 - (1 - l). Suppose -s - i = -5*s. Solve h = -2*y + 8, 2 + s = 2*y + 3*h for y.
2
Let h be 9/(36/8) - -1. Solve -5 = -h*l - 2*r, 2*r = -3*r + 5 for l.
1
Let j be (-5 - 25/(-10))*-2. Solve -j*v + 1 = q, -3*v + 3*q - 2*q - 1 = 0 for v.
0
Suppose -z + 6 - 3 = 0, -2*z + 26 = 2*h. Let q = h - 7. Solve 0 = f - 4*k - 17, 6*k = 3*f + q*k - 24 for f.
5
Let g = -4 - -6. Solve 4*a + 5*n + 2 = 0, -g*a - 3*n = -6*a + 14 for a.
2
Let d be 54/13 + 10/(-65). Suppose d*k = o - 0 - 10, 8 = -4*k. Solve 4*f - o*g = -5*g + 4, 3*f - 2*g - 3 = 0 for f.
1
Suppose -3*f + 63 = 4*f. Let r be 0 - 0 - (-28 + f). Solve -2*p = 2*z - 6*z - 18, 0 = -4*p - 3*z - r for p.
-1
Suppose q + 1 - 4 = 0, -q = 3*m - 9. Solve -m*z - 3 = 5*n, 4*n + 3*z - 2*z = 0 for n.
1
Suppose t = -5*r + 20, 8 = r - 0*t + t. Suppose -g = r*g - 20. Solve 4 - 1 = -g*v + 3*o, -2*v = 3*o - 3 for v.
0
Suppose -3*v = -4*v. Suppose -5*j = -4*h - j + 24, -h = -4*j - 15. Solve -h*a + 6 = -0, -5*g - 4*a - 7 = v for g.
-3
Let t be (-236)/(-9) + 2/(-9). Suppose 4*p + t = 3*y, 3*y - p - 20 = -0*p. Let f be (14/(-4))/(1/(-2)). Solve 2*i - 4 = 2*g, -f*i + 4*g = -2*i - y for i.
-2
Let h = 33 - 22. Let c(j) = j - 6. Let x be c(h). Solve -x*a - 4 = 4*m, -3*m - 2*a + 1 - 4 = 0 for m.
-1
Let h(d) = -3*d - 10. Let y be h(-9). Let i = 20 - y. Solve 4*c - 3*c = 5*f + 8, -i*c = -4*f - 2 for c.
-2
Suppose -4*g + b + 13 = g, -16 = -2*g + 4*b. Solve 3*o - g*j = o + 12, -4*o - j = -4 for o.
2
Let u be (1 - 0)/((-4)/(-16)). Let b(i) = i + 3. Let n be b(u). Solve -n*j + 15 = -2*c - 2*j, 20 = 4*j for c.
5
Let w(o) = -7*o + 1. Let t be w(2). Let m = -8 - t. Let h be -4*2/4 + m. Solve 3*g - 25 = h*l - 2*g, -2*l - 5*g = -25 for l.
0
Let c(d) = -d**3 + 11*d**2 - 9*d - 14. Let m be c(10). Let t be 52/39*(-1 - m). Solve 4*x - 2 = t*q - x, -q = 4*x - 10 for q.
2
Suppose 11*u - 8 = 14. Let k be (-2*1 - 2)/(-2). Solve 0 = 4*n - u*o - 2, -k*o - o = 2*n - 21 for n.
3
Suppose g = 7*g - 24. Solve h = -d, g*d + 4*h = 3*h + 3 for d.
1
Suppose 0*r = -5*r. Let b(z) = 2 + 0 + z - z**2 + 7. Let v be b(r). Solve 4*n = -q - 3, -2*q - q - v = -4*n for q.
-3
Let z be ((-24)/8 - -3) + 2*1. Solve 4*j = -v - 22, z*j + 16 = -0*j - 3*v for j.
-5
Let n = 29 - 21. Let s(o) = -o + 10. Let z be s(8). Let d = -17 + 35. Solve -z*b = 4*i + 3*b - d, n = 4*b for i.
2
Let q(o) = -2*o**2 - 24*o + 3. Let b be q(-12). Solve -p + b*l - 9 = 0, -l + 15 = -3*p + 2*l for p.
-3
Let j(z) = 2*z - 2. Let c be j(5). Suppose -3*y - 5*b + c = -1, 3*y = 2*b - 12. Let s be (y*2)/((-1)/3). Solve -8 = 4*g, -3*g + s = -4*m - g for m.
-4
Suppose 0*n - 18 = -3*n. Let r = n + 13. Solve 4*c - r = 3*i, 6*c - 24 = 4*i + 2*c for i.
-5
Let p be 68/(-4 + 0)*-1. Solve 4*y - 3*t = -0*t + p, -4*y - 3*t = 1 for y.
2
Suppose -j + y - 5*y = -5, -3*j = -2*y - 43. Let f = j - 8. Solve -12 = -4*o + 3*h - 5*h, -2*o + 14 = f*h for o.
2
Let j be 2 + (-11)/1 + 3. Let w = 10 + j. Suppose c - 4 = -w*s, 6*s = 3*s - 2*c + 3. Solve u + 0*u + 24 = 4*p, 0 = -u - p + s for u.
-4
Suppose 0 = -5*j + 15, -3*o - 4 - 2 = -2*j. Suppose -2 = 2*h + z + 2*z, 3*h - 4*z - 14 = o. Solve -3*g - 6 = -4*u - 3, 0 = -h*u - 6 for g.
-5
Let m = 7 + -7. Suppose 4*w + m*w = -20, 18 = -d - 3*w. Let y be 7 - (d - 1*-6). Solve -q = a - 2, -q - y = -3*a - 2*q for a.
1
Suppose 2*n - 36 = -6. Suppose -6*h + 2*h + 6 = 5*y, -26 = -5*h + 3*y. Solve -10 = -3*i - 2*p, -h*i - 3*p = -0*p - n for i.
0
Suppose -6*y + 46 = -38. Let w(z) = -3*z**3 - 2*z**2 - z. Let o be w(-1). Solve o*p + 0*p - 4*f = -y, p - 4*f = -9 for p.
-5
Suppose -2*v + 15 = -v. Suppose -4*b + v = -1. Suppose b*c + l = 5 + 4, -5*l = 2*c - 9. Solve 4*u - 4*q = 28, c*u + 5*q + 2 + 5 = 0 for u.
4
Let a(x) = x**3 + 16*x**2 - 2*x. Let y be a(-16). Solve 2*z + 9 = 5*g + y, -2*z + 5 = g for z.
4
Let r(h) = h**3 + 9*h**2 - 5. Let q(z) = -z**3 - 10*z**2 + z + 6. Let a(c) = 4*q(c) + 5*r(c). Let m be a(-3). Solve m*j + 2*b = 18, -j + 5*b = -0*j - 9 for j.
4
Let g be (-1 + -1)*-1 - 2. Suppose g = l - 0*l. Let i(f) = -f**2 + 3*f. Let a be i(3). Solve -5*y - 20 = a, -4 = -5*j + y - l for j.
0
Let k(x) = x**3 + 7*x**2 + x + 10. Let g be k(-7). Solve g*y - 4*w + 13 = -3*w, 0 = 4*y + 2*w + 24 for y.
-5
Suppose -r - 3*r + 5*i = -50, 36 = 4*r + 2*i. Solve -3*p + r = 2*p, 3*q + 5*p - 16 = 0 for q.
2
Let r = -17 + 24. Suppose 0 = -r*b + 9*b. Solve -5*p - 2*v - 15 = b, -p - 3*v + 10 = -0*p for p.
-5
Let j(m) = 4*m + 3. Let p be j(6). Suppose -6*r + r + 10 = 0. Solve r*i = 3*i + 5*w + p, 2*i - 3*w = 11 for i.
-2
Let i(a) be the second derivative of -a**4/12 - a**3/6 + 4*a**2 + a. Let v be i(0). Let r be ((-6)/(-4))/(3/v). Solve z - 10 = -r*z - 2*n, n = -4*z + 11 for z.
4
Let k be 0 + 0 + (74 - 2). Suppose i + k = 5*c, -2*c - 5*i + 2*i = -22. Suppose 5*n - 49 + c = 0. Solve t + n = -4*t + 3*p, -t - 2*p = -9 for t.
1
Let w(g) = 5*g. Let k(i) be the first derivative of i**2/2 + i - 3. Let f be k(0). Let m be w(f). Solve -4*u + 2*h = -3*u, -m*u + h = 0 for u.
0
Suppose -4*z + 5*l + 0*l + 37 = 0, -5*z - l + 10 = 0. Let g = 4 - z. Suppose -g = -k + 2. Solve -k*q - 25 + 0 = 5*c, q = -4*c - 13 for c.
-2
Let p = -15 + 22. Suppose 0 = -4*q + v + 13, q = -v - 0*v + p. Let f be 2/8 + 11/q. Solve 4*j - 4*s + f*s = 9, j = -4*s - 19 for j.
1
Suppose 2*j + 0*j + 19 = -5*g, -3*g - 15 = 0. Suppose -j*c - 25 = 5*w, 0*c - 5*w - 25 = -2*c. Solve 0 = -2*m - 5*f - 19, c = 3*m - 5*m - f + 1 for m.
3
Suppose -3*i - 3*f = -5*f - 10, 46 = 5*i + 4*f. Let d = -3 + i. Solve -m + 5 = -2*z - 3*z, 0 = d*z + 3*m - 15 for z.
0
Suppose -5*z = 2*b - 56, -z + 2 + 2 = 0. Suppose -2*c = c - b. Let f be 1*(-3)/(c/(-2)). Solve -4*h + 14 = -x, -5*h + x + f + 17 = 0 for h.
4
Suppose 3*d - 24 = -0*d. Let l be ((-10)/d)/(4/(-48)). Solve 3*r + 3*s + 9 = -l, r + 2 = s for r.
-5
Let l(w) = w + 20. Let p be l(-20). Solve -q = p, n = -2*q - 0 - 3 for n.
-3
Suppose 3*v - 6 = 3. Solve 5*a - 5*h = 5, 3*a + v*h + 2 = -1 for a.
0
Suppose -4*y + 11 = -5. Solve -y*n - 2*m + 4*m - 24 = 0, 4*m - 28 = 3*n for n.
-4
Suppose 0 = i + 3*i - 8. Solve 2 = i*n, h - 3 = 3*h + 5*n for h.
-4
Let v be (-2)/(-6) + (-28)/(-6). Let s = 2 - 0. Let q be (2/s)/((-4)/(-12)). Solve -10 - 6 = -2*w - 4*p, -v*w + 14 = -q*p for w.
4
Let o = 60 - 56. Solve -2*z - z - 28 = 4*b, -4*z = -o*b for b.
-4
Let r be 9/(-3) - (-1 + 4). Let g(m) = -3*m - 8. Let c be g(r). Suppose -4*x + 3*l = 5*l - 10, -5*l - 50 = -5*x. Solve 0 = -4*z + x*y, -c = z + z - 5*y for z.
5
Let w(m) be the first derivative of 2*m - 1/4*m**4 - 3*m**3 + 0*m**2 + 1. Let n be w(-9). Solve 0 = 3*t - 2*i + 5, 2*t + 34 - 14 = -n*i for t.
-5
Let d = 18 - 9. Solve 5*u + 39 = a + 11, d = -2*a - 3*u for a.
3
Suppose 0 = q - 0*q - 10. Let h be (q/(-3))/(12/(-18)). Let l be 21 - -1*(-1 + 0). Solve -5*k + 5*a - l = 0, h*k + a - 2*a = 0 for k.
1
Let k = -7 + 4. Let p = k + 6. Solve -p*h + 18 = 3*b, -2*h + 27 = 7*b - 2*b for h.
1
Suppose 14*b - 13*b - 4 = 0. Solve -h + 4*p = 8, 0 + b = 4*p for h.
-4
Let h(f) = -4*f**3 - 2*f**2 + 1. Let v be h(-1). Solve -v*u = -5*i + 3, 3 = -3*i - 4*u - 1 for i.
0
Suppose -4*v - 20 = -8*v. Suppose -2*b = -3*l + 2 - 1, -v*l = b - 19. Suppose 0*m = -l*m + 6. Solve -a + 1 = -m*u, -2 - 2 = -2*u for a.
5
Let t(w) = w**3 - 6*w - 2*w**3 + 7*w + 11*w**2 - 6. Let i be t(11). Suppose -i*j - 11 = -96. Solve -3*p + 23 = -5*l, -3*l + 5*p = -0*l + j for l.
-4
Let m(t) = t**3 - t**2 - t + 8. Let y be m(0). Let i = y + -5. Solve -g = i*s - 6, g - 18 = -3*s + 4*g for s.
3
Let r be ((-7)/(-2) - 3)*10. Solve 4*o + 8 = -f, -3*f + 3*o = -f + r for f.
-4
Let c be 2 + 0 - (-2 - 0). Solve -2*s - 2*v = -3*v + c, -s = -2*v + 2 for s.
-2
Suppose -7*h + 5 = -2*h. Let d = -3 + h. Let u(l) = -l - 2. Let n be u(d). Solve 3*r + 2*a - 12 = n, -4*r = -5*a - 9 - 7 for r.
4
Let n = -4 + 8. Suppose c + 2*c - 96 = 0. Suppose -6*u + c = -2*u. Solve g + u = 2*b, -n*g + 0*b = 2*b - 18 for g.
2
Suppose -o + 6 - 4 = 0. Suppose 5*z - 28 = 3*w, 3*w = -o*z + 12 - 5. Suppose -26 +