4*z = 2*x - 12 for x.
4
Suppose -13 = -3*d + 29. Let n = 1 + d. Solve -2*r = 3*z - n, -z + 2*r - 20 = -5*z for z.
5
Let p be (-3)/(27/(-30))*6. Let c be (-2)/9 + p/9. Solve -2*q + 19 = 3*k + 6, 0 = -c*k + q - 3 for k.
1
Let r be (6 - 5)*(1 + 5). Solve -5*o = -25, -2*f + r*f + 3*o = 23 for f.
2
Let o(i) = -2*i**3 + i**2 - i - 1. Let u = 2 + -8. Let c be 2*(1 + 9/u). Let r be o(c). Solve -r*n + 3 = -l - 3, 4*l + n - 2 = 0 for l.
0
Suppose -n - 5*h = -1, 3*n + 15 = 2*h + h. Let s = n + 6. Suppose 2*z - 5*a - 9 = 0, 2*z - 18 = a - 5*a. Solve -z*o = -3*o - 4*g, -s*g - 9 = o for o.
-3
Let w be (2/3)/((-6)/(-45)). Solve -3*u = -3*n + u + w, -3*u = -n for n.
3
Let l(v) = -v**2 - 8*v + 3. Let t = -13 + 5. Let m be l(t). Let p be (-2 + 1)/(m/(-6)). Solve -x + p = x - 2*a, 7 = 5*x - 4*a for x.
3
Let i be (-194)/(-8) + (-7)/28. Solve w - 5*o = i, -2*o - o - 20 = 5*w for w.
-1
Let b be ((-18)/(-4))/((-1)/(-2)). Let n = -7 + b. Suppose 3*h - 6 = -0*h. Solve -n*t - 3*x = 7, -h*t - 4*x - 2 = -3*t for t.
-2
Let f(t) = -t**3 - 4*t**2 + 12*t + 2. Let j be f(-6). Solve r + 10 = -j*n, -15 = 2*n + n + 2*r for n.
-5
Let c be (-1)/(-4) - 28/(-16). Let m = c + 1. Solve 0 = 2*w - m*v + 20, 4*w + 16 = 2*w + 2*v for w.
-4
Let l(u) = u**3 - u**2 - u - 1. Let t(k) = 3*k**3 - 6*k**2 - 6*k - 7. Let i(r) = 6*l(r) - t(r). Let d be i(2). Solve -5*v = b + d, -4*v - 6 - 15 = b for v.
-4
Let g(i) = i**3 - 8*i**2 + 9*i - 4. Let j be g(7). Suppose 5*a - 9 - 1 = 5*t, -2*a + j = 4*t. Solve -5*m + a*v = -8, -m + 3*v - 2 = -6 for m.
1
Let z be (-2 + 28/12)*9. Suppose 35 = -5*a - 2*r + 167, z*r + 12 = 0. Solve 0 = -5*i + 4*h - a, -4*i - 5*h - 4 = 2 for i.
-4
Let q(t) = 2*t + 2. Let g be q(-1). Solve g = 5*c - 3*f + 7 + 10, 5*f - 18 = -2*c for c.
-1
Suppose 3*u - 17 = 5*j - 0, 2*u - j = 9. Let s = u + 1. Let q(z) = 7*z - 2. Let c be q(2). Solve l + 2*l + c = -3*h, s*h - l = -20 for h.
-4
Let p = 8 + 1. Solve -p = -2*w - w - 3*n, n + 9 = 2*w for w.
4
Let r(j) = j - 5. Let m be r(7). Suppose -4*f + 4 = -y, 4*y + 3 = f + m. Let s be 4 - (y/(-3))/3. Solve 0 = -4*d + 12, -5*t + s*d - 12 = -t for t.
0
Let l = 6 - 6. Let f be 3/((0 - 1)*-1). Suppose f*v = v + 14. Solve -3*j - 5*p = -3*p + v, 4*j + p + 1 = l for j.
1
Suppose -o + 37 = 5*t, -2*t - o + 12 = -2*o. Solve -5*l - 4*z = -t, l + 0 - 2 = -z for l.
-1
Let d(y) = 3*y - 1. Let f be d(2). Suppose 0 = -7*v + 4*v + 12. Let p = -1 + v. Solve -10 = p*h - 3*a + a, -4*h = -f*a + 18 for h.
-2
Let t = -10 + 13. Solve 5*o + 3*k + 2*k = -10, -k = t for o.
1
Suppose 3*b = -2*b + 15. Suppose -2*k + 3 = -b. Solve -x - 4*x + 2*g - 11 = 0, -15 = k*x - 4*g for x.
-1
Suppose -11*j + 36 = 7*j. Solve -4*v = j*z - 14, 2*v = 3*v - z + 1 for v.
2
Suppose 0 = z - 5*g - 3, z + 0*g + 2*g + 11 = 0. Let n(v) = v**2 + 7*v + 3. Let p be n(z). Solve 3*i = -p*f - 12, 3*i - i = 0 for f.
-4
Let i = 4 - 5. Let h(d) = 2*d**2 - 2*d - 1. Let s be h(i). Solve s*r = -2*t + 2, -4*r - t = -0*t - 1 for r.
0
Let h be (1 + 0)*1*11. Let g(q) = 2*q**2. Let o be g(-1). Suppose 3*p = 4*m - 17, -27 = -6*m + m - o*p. Solve -2*i + z + 5 = -0*z, -m*i + h = -3*z for i.
4
Suppose -3*u + 5*z = -50, -2*u + 5 = z - 24. Let a(h) = -h. Let y be a(0). Let m be (6 - y)/(u/10). Solve s = 4*w + 17, 3*s - 6*s + m*w = -19 for s.
1
Let n be (4/(-7))/(10/35*-1). Solve 0 = n*g + i, -4*g - 7 = -7*g - 5*i for g.
-1
Suppose h + 3*b = 11, h - 21 + 10 = -2*b. Solve -2*q - 24 = -4*d, -3*q - 10 = -3*d + h for q.
-2
Let y = -7 + 14. Suppose 0 = -5*o + y + 13. Suppose -o - 2 = l - 5*k, -3*l = k - 14. Solve 3*i = q - i, -3*i = l*q for q.
0
Let i(g) = 3*g**3 + 1. Let o be i(1). Suppose 0 = 2*h - o - 4. Solve -5*a = 15, -h*l + a = 2 - 13 for l.
2
Suppose 5*w - 34 = -f, f + w - 23 = -f. Let h(q) = q**2 - 3*q - 2. Let n be h(6). Suppose n = -3*y + 7*y. Solve -k = -3*o - 6, -2*k + o = -y*k - f for k.
-3
Let x be (-74)/(-7) + 4/(-7). Solve x = v + p, -4*p + 30 = v + p for v.
5
Let j(w) = -2*w**2 + 7*w + 7. Let t be j(6). Let u = t - -32. Solve 8*r - 3*r - b + 3 = 0, -3*b + u = -4*r for r.
0
Let h be (-4)/8 + 86/4. Let w = -2 + -5. Let c = 11 + w. Solve 0*x - c*n = 4*x - 12, 5*x + 2*n = h for x.
5
Suppose 5*g + 0 = 15. Suppose 20 = 2*z + g*z. Solve 2*d + 2 = 2*q + z, -2*q - 4 = -4*d for q.
0
Suppose -2*s = -2*t + 40, 0 = -t + 2*s - 3*s + 20. Let g(v) = v - 3. Let y be g(8). Solve 3*f - y*c + 4 + 8 = 0, 5*f = 2*c - t for f.
-4
Suppose -1 = 3*j - 2*j. Let h be 95 + -1 + 0 + j. Suppose -h = -5*r - 3. Solve 2*p = 5*g + 3*p - r, 4*g - 21 = -3*p for g.
3
Let y = 14 + -5. Solve -5*k = -5*s + 30, y = -3*k - 0*k for s.
3
Let p = -6 + 21. Suppose -3*t + 6*t = p. Let c be 15 + 1 - (24/4)/(-3). Solve 5*o + t = 4*u, -u + c = o + 2*u for o.
3
Let j be (-1)/3 - (-265)/(-15). Let f = -16 - j. Solve n - f*z = 6, -2*n + 5*z - 2*z + 8 = 0 for n.
-2
Let i be (0/2)/(0 + 1). Solve -8 = 5*z - d - i*d, 0 = z - 5*d + 16 for z.
-1
Suppose -11*q = -7*q - 8. Solve -q*r - 10 = u, r + 5*u - 10 = 3*r for r.
-5
Let t be -8 + (1 - (-2 - -3)). Let z = 7 + t. Let a = 4 - z. Solve 29 = -5*k + 3*y, 3*k - 5*y + 32 = a for k.
-4
Suppose -2*y + 5 + 1 = -4*v, 2*y - 6 = 5*v. Let a be 0 - (v - 0/2). Suppose m - 2 = -a. Solve -3*x - 3*i = 3, 3*x + m*x = -i - 1 for x.
0
Let o = -8 + 30. Let m = -66 - -94. Suppose -4*b + 20 = -m. Solve 0 = -3*q + b, -t + 3*q = t + o for t.
-5
Let f = 0 - 0. Let d be ((-19)/(-19))/((-2)/(-10)). Solve x = -d*z - 21, -2*x = -f + 2 for z.
-4
Suppose -b + 30 = 4*d, 25 = 4*b - 3*d - 0. Solve 2*n - 6*n + 13 = h, h - b = -3*n for h.
1
Suppose -5*p + 2*q = -40, 5*q = -4*p + 1 - 2. Let s be 26/p + 3/(-9). Suppose 0*u + s*u = 16. Solve -6 = 2*i + u*l + 24, -5*i - 50 = 5*l for i.
-5
Suppose -3*p - 5*x + 37 = 0, -2*p + 2*x = -6*p + 26. Let q(h) = h**3 - 3*h**2 - 5*h + 6. Let i be q(p). Solve l + 1 = -2*t, 3 + i = -5*l - 4*t for l.
-1
Let r be 1/2*36/(-2). Let k = 14 + r. Solve 3*n + 2*c = 14, k*c + 3 = 8 for n.
4
Let b(s) = s**3 - 7*s**2 - 9*s + 6. Let u be b(8). Let w be (4 - -2)/(u + 4). Solve 0 = -5*h - 15, -2*k - h + w*h = -2 for k.
-2
Let q be (-2)/5 + (-423)/(-45). Solve v = -f - q, 0 = -4*f - v - 7 - 14 for f.
-4
Let z = 26 - 12. Suppose -5*w = -6*t + 4*t + 39, -w + t = 6. Let b = z + w. Solve 0 = -3*q - 3, -2*n - 4*q = n - b for n.
3
Suppose -8 = c - 2*d, 3*c - 3*d - 8 = -5*d. Let v(p) = 6*p - 5*p + 6 + p - p. Let f be v(c). Solve 2*o - 2 = -x + 7, -2*o + f = -2*x for x.
1
Suppose -z - z + 4*h - 12 = 0, 0 = 2*h - 4. Let u be 2/(-3*z/75). Let x = 43 - u. Solve 3*s + 0 = 5*v - 6, 4*v = -2*s + x for s.
3
Let z(o) = 9 - 3 - 1 + 4 - o. Let j be z(5). Suppose 0 = -5*c + j + 16. Solve 2*v - 4 = 5*v + c*t, 5*v - 3*t = -26 for v.
-4
Let j = 24 - 42. Let b be (3/6)/((-3)/j). Solve 2*o - 37 = -3*o - b*p, 2*o + 10 = 5*p for o.
5
Let n be 1/(-2) + (-14)/(-4). Let h be 4/(-10) + (-42)/(-5). Let q = 6 + h. Solve -n*l = -g + q, -2*g - 7 = -4*g - l for g.
5
Let l be 3 - ((-1*6)/2)/(-3). Solve -4*x = 2*q, -4*q + 9 = x + l for q.
2
Let o be -1*(-2 + (-1 - -3)). Solve -3*g - 5*k = o, 4 + 5 = 3*k for g.
-5
Let q = -476 + 211. Let f be (-4)/(-22) + q/(-55). Suppose 0 = 3*c + c. Solve n + n - f*g - 10 = c, 4*g - 5 = -n for n.
5
Let y be (3/(-2))/((-6)/16). Suppose y*m + 8 = 28. Solve 3*b = -5*w - m, -2*b - w = -7*b - 27 for b.
-5
Let k = -2 + 7. Suppose -108*n = -104*n. Solve 3*v - m + 12 = 0, n = 2*v - m + 4 + k for v.
-3
Let a(r) = -r**3 - 4*r**2 - 2*r - 2. Let p be a(-4). Suppose 4 = 2*x, -2*x - 22 = -5*o - p. Solve l = 3*g - 3, 0*g - 4*g + o = -4*l for g.
1
Suppose 4*t - t = 0. Let y(u) = 6*u - 2. Let o be y(1). Solve o = -t*j - 4*j - 3*k, j + k = 0 for j.
-4
Suppose -y + 4*o + 10 = y, 0 = 4*y - 3*o - 30. Solve 5*s - 2*a - 27 = 0, 2 + y = 2*s - a for s.
5
Let q(m) be the first derivative of m**3/3 - 2*m - 3. Suppose 3*d = -4 - 2. Let b be q(d). Solve -b = -a, o - 5*o + 3*a = -10 for o.
4
Let v = -2 + 5. Suppose v*b = -91 - 20. Let u = -22 - b. Solve -2*x - 8 = p, -5 = 3*x - 4*p - u for x.
-2
Let s(m) = -m - 1. Let h be s(-3). Suppose w = h*w. Let k be 1/(-3) + 35/15. Solve l - 2 = 3*t, w - k = -2*l + 5*t for l.
-4
Let g = -20 + 25. Suppose 5*t + n - 15 = 0, -2*t = 3*t - n - g. Solve -8*s + 3*s = 3*k - 11, -2*k = -t*s + 14 for s.
4
Suppose -13*i - 30 = -16*i. Let d be (5 - i)*14/(-10). Solve -4*j + 6*p - p + 6 = 0, -d = -j + 4*p for j.
-1
Suppose 4 = 4*l - 