, 4*z = -4*j - v for j.
1
Let w be 6/(-4)*8/(-6). Let b(v) = 2*v**3 - 4*v**2 + v + 3. Let x be b(4). Let t = x - 42. Solve -2*j + t = 5*l, w*j - 4*l = -8*l + 24 for j.
2
Let f be (7/(-21))/((-2)/42). Let v be 5 - 1 - (-5 + f). Suppose 2*h - 15 = -3*h. Solve g - h = -u, 2*g - v*u = -g + 4 for g.
2
Suppose 4*p + 3 - 23 = 0. Solve -5*k = -p*a, 4 = 3*k - 2*a + a for k.
2
Let d = -14 - -20. Solve d*x + 3 = 3*x, -4 = -4*t - 4*x for t.
2
Let d(q) = q. Let h be d(3). Suppose -75 = -3*a - 3*g, 2*a = 4*a - h*g - 25. Let y = 34 - a. Solve 2*v = 3*f - y, 0*f - 19 = -v - 5*f for v.
-1
Let k be -8 + 9 + 2*1. Solve 4 - 13 = -3*t, k*a = -5*t for a.
-5
Suppose 0*m - 2*m = -h - 31, h = 5*m - 85. Suppose w + m = -k - 3*k, w = k + 7. Solve 3*u - 4*t - 4 = 0, 4*u - w + 3 = -t for u.
0
Let o be -4*((-35)/(-10) - 4). Solve 5*p + 5*b - 15 = 0, 4*b + 1 = p - o for p.
3
Suppose x = 3*x. Suppose 0 = -x*u - 5*u - 10, -2*s - u = -8. Solve 5*t + 3 = 5*n + 8, 0 = s*n + 5*t + 45 for n.
-5
Suppose 2*x = -15 + 31. Solve -2*h + 9 + x = 5*b, b = 3 for h.
1
Let n be (5/(5/(-6)))/(-2). Let z(v) = 3*v + 15. Let q be z(-4). Solve 0 = q*o - 4*s - 18, 3*o + 0*o + 3*s = -n for o.
2
Suppose 0 = 4*a + 16, p = -p - 2*a. Suppose j + p = 3*j. Solve -4*y = h - 4, 4*y - j*y - 4*h = 2 for y.
1
Suppose l = -l + 32. Let x be (-8 - (-16)/4) + -14. Let a = x - -22. Solve m + r + 4 = 2*r, 0 = -a*r + l for m.
0
Suppose 4*j = 2*d - 24, 5*j - 5 + 36 = 3*d. Solve -5*b - 7 = -d*y + y, -2*b - 10 = -4*y for b.
-1
Let g(b) = b + 12. Let h be g(-10). Let i be ((-6)/(-4) - h)*0. Solve i = -2*m - 0*d - 2*d - 2, 14 = 2*m - 2*d for m.
3
Let i(b) = -b**2 + 39*b - 107. Let w be i(36). Suppose 2*p = 6*p - 2*z - 12, 0 = -2*p - z + 10. Solve -s - 3*s = -c - w, -3*c - 3 = -p*s for s.
0
Let p be 4 + -2 + (-2)/(-1). Suppose 20 = p*g - 0*g. Solve -g = -v + 6*v - 2*l, v + l = -1 for v.
-1
Let q = -12 - -14. Suppose 2*h - 2*n = h + 12, -4*h - q*n = -18. Solve h*w - 2*j = 3*w + 1, -5*w + 4*j + 5 = 0 for w.
-3
Let j(p) = p**3 + 10*p**2 - 10*p + 13. Let z be j(-11). Solve -3*o - z*r - 11 = 0, -21 = o - 2*r + 7*r for o.
-1
Let h be ((-21)/56)/((-4)/32). Solve -h*a = -3*y - 3, -1 = 5*y + 2*a - 3*a for y.
0
Let c be (1/2)/((-2)/(-20)). Let l be 5/5 + (0 + -1 - -7). Solve -2*i + 12 = 3*z - 2, 0 = 3*z - c*i - l for z.
4
Let z = -1 + 1. Let w(q) = z*q + 2*q + 0*q + 13. Let a be w(10). Solve -4*b - 5*p - a = 0, -2*b = -b + 4*p + 22 for b.
-2
Let l(i) = -i**3 - 10*i**2 - 8*i + 11. Let m be l(-9). Let f be ((-3)/m)/(4/(-8)). Solve n = 3*n - 4*v + 10, -6 = 2*n - f*v for n.
3
Suppose 9*m - 4*m - 10 = 0. Let v be 102/18 - 4/6. Let u(d) = d**2 - 6*d + 7. Let t be u(v). Solve -t*c = 5*k - 8, 3*c + k + m = -c for c.
-1
Let m(y) = 2*y - 10. Let i(s) = 4*s - 19. Let v(g) = 3*i(g) - 5*m(g). Let q be v(5). Solve -3*r - 5 = 4*h, -3 = 2*r + q*r + 4*h for r.
1
Let f = -18 - -23. Solve -4*r + 7 = -0*k + 3*k, 31 = -3*r + f*k for r.
-2
Let n(t) = 6*t**2 - 1. Let i(w) = w**3 - w**2 - 2*w - 1. Let s be i(2). Let m be n(s). Solve 3 = 3*u - 4*y, m*y = 3*u + u - 5 for u.
5
Suppose -d + 4 = -0. Let c(i) = -i**2 - d*i**2 + i - i**3 + 4 - 5 - 7. Let h be c(-6). Solve b + 0*b - 3*a + 14 = 0, -4*a + h = 2*b for b.
1
Let b(a) = a**2 + 10*a + 4. Let z be b(-9). Let v = 26 - z. Solve -5*o - 2*h - v = 0, 2*h + 8 + 3 = -o for o.
-5
Let l be 3/(-6)*(-4 - 0). Solve -15 = -5*n - 5*d, 0 = 3*n - d - 15 + l for n.
4
Suppose -2*q = 2*q. Suppose 0 = -5*t + n + 8, -5*n = -q*t + t - 12. Solve 3*y - 4*h = 5*y - 4, -t*h = -4*y + 18 for y.
4
Let y = -39 + 59. Suppose 0 = -6*i + 16 + 20. Solve 5*w + 2*h + y = 0, -5*h - 4 = -5*w + i*w for w.
-4
Let z(s) = s - 24. Let h be z(12). Let l = -7 - h. Solve 3*p + 5 = -g - g, l*g = -20 for p.
1
Suppose 3*b - 18 = -0. Solve -3*r = 5*c - 15, 3*c = b*c + r - 5 for c.
0
Let u = 34 - 31. Solve 4*l = -2*m - 18, -2*l + 3*l - m = -u for l.
-4
Let k(q) = q**3 + 7*q**2 - 9*q - 4. Let a be k(-8). Suppose -a*l + 4 = 3*c - 1, -5*l = 5*c. Solve l*r - 10 + 2 = -3*x, -2*r + 24 = -4*x for x.
-4
Let s(a) = -a**3 - 7*a**2 - 3*a - 1. Let n be s(-7). Solve 4*o = -n, -2*o = -t + 2 + 13 for t.
5
Let f(l) = l + 14. Let z be f(-6). Solve 3*x = -3*w - 21, x + 15 = -5*w - z for x.
-3
Suppose -t = -18 - 3. Solve 5*a = -4*p + t, -3*p + 6 = p + 2*a for p.
-1
Let y = -44 - -44. Solve -3*z + y*q + 6 = -3*q, -5*q - 10 = -3*z for z.
0
Let x = 49 - 24. Suppose 27*f - x*f = 2. Solve r + z = -1, f + 0 = 3*r + 2*z for r.
3
Let x = -1 - -3. Let y be (-11 - -11)/(x/(-1)). Solve 0 = -2*k + 3*z + 5, -1 = -4*k + 3*z - y for k.
-2
Let t(s) = -14*s - 2. Let f(z) = z**2 + 9*z + 6. Let m be f(-8). Let c be t(m). Solve 0 = -4*q + 2*d + c, 4*d + 17 + 15 = 3*q for q.
4
Let m(u) = -u**3 + 4*u**2 + 6*u. Let b be m(5). Suppose 4 + 6 = -b*z. Let y = z + 2. Solve -3*o - 5*p - 2 = y, 5*o - 17 + 7 = 5*p for o.
1
Suppose 13 = 9*t - 5. Let h be 0/2 - (-2 - 1). Solve t*g + 3 = 5*j + 18, -h*g - j = 20 for g.
-5
Let a = -7 - -13. Suppose -a*n = -n. Solve 0*x = -3*x - 3*h - 15, n = 2*x - 3*h - 5 for x.
-2
Let p(c) = 2*c - 6. Let l be p(5). Let t = 8 - l. Solve 5*m = 15, 5 = t*o + o - 5*m for o.
4
Let g = -15 - -18. Solve 5*p - 10 = g*t, 3*t = -t + 4*p - 16 for t.
-5
Suppose -6*y + 87 = -15. Solve -5*m = 2*j + 5, -2*j - m = 2*j - y for j.
5
Let q(x) = -7*x + 1. Let p(g) = -7*g + 1. Let l(k) = -6*p(k) + 5*q(k). Let u be l(1). Solve -3*c - 3*o = u, -o - 1 + 3 = 0 for c.
-4
Let z be 6/4*160/48. Solve 2*j = -4*g - 21 - 3, 0 = -3*g - z*j - 32 for g.
-4
Suppose 57 = 2*g - 3. Solve 5*b = -2*t + 35, -3*b - t = 2*b - g for b.
5
Let y = -5 + 8. Suppose y*i - 16 = -2*w, 4*i - 32 + 3 = 5*w. Let a = -6 - -8. Solve -g - a*b = -4*g + 15, -2*b - i = 0 for g.
3
Let u be 3 + -5 + (-12)/(-3). Suppose 3*j - 8 + u = 0. Solve j*b + 3 + 9 = -a, 0 = -a - 4*b - 22 for a.
-2
Let v = -62 + 82. Solve -1 = -4*z + o, -4*z = 5*o - v + 1 for z.
1
Let l be 3 - 1 - 1*-106. Suppose -4*w = -l + 28. Solve 0*c = -3*c - m + 7, w = 5*m for c.
1
Suppose 2*l = -5*t - 2, 5*l + 0*t - 18 = -t. Let z = -50 - -52. Solve 0*x = z*x - l*q + 2, -x - 4*q - 1 = 0 for x.
-1
Suppose -4*u = -5*h - 17, 3*h = -u + 4*u - 15. Let p be (1 - 2)/(u/(-16)). Solve 8*d - 7 = p*v + 3*d, 4*d - 16 = -v for v.
4
Let o be (0 + 0)*(-3)/(-6). Suppose 2*u - 184 - 144 = o. Suppose 0*y - y = 3*z - 100, -y = -5*z + u. Solve -4*j = -2*f - 12, -2*f - 5*j + z = -0*j for f.
4
Let b(i) = i**3 - 2*i**2 + 2. Suppose -3*v = 5*p - 4 - 0, 2*p - 4*v - 12 = 0. Let n be b(p). Solve j + 3*j = -z - 13, 0 = 5*j + n*z + 20 for j.
-2
Let a(t) = -t + 29. Let n be a(24). Solve -h + 5*q = q - 8, n*q + 10 = 0 for h.
0
Let v(y) = -y**2 - 3*y + 5. Let r be v(-3). Solve -11 = i + 2*t, -i + r*t = 2*i for i.
-5
Suppose 2*a - 19 - 21 = 0. Suppose 0 = -5*y + 25 - 5. Let w = 11 + -6. Solve w*z - a = -u - 4*u, -3*u - y*z = -15 for u.
1
Suppose -3*q = 5*c - 16 - 4, -3*q + 4*c = -11. Suppose 10 = q*h - 5. Solve d - h*w = 10, w - 8 = -5*d + 2*w for d.
1
Suppose 2*f = -3*w - 17, 5*f = -4*w - w - 35. Let p = 11 + w. Let c = 23 - 15. Solve x - s - c = -4*x, 5*s - p = x for x.
2
Let f be (-210)/49 - 4/(-14). Let u(d) = d**3 + 2*d**2 - 7*d - 5. Let j be u(f). Let y = 15 + j. Solve l + 21 = 5*h, -13 = y*h - 11*h + 3*l for h.
5
Let l = -6 - -12. Suppose -5 = -3*s + 2*s. Solve l*z + 25 = z, 5*z + s = -4*k for k.
5
Let f be 1/2*(-3 + 13). Let x be 2/1*10/4. Suppose -3*r + x*v + 4 = r, 4*r = 3*v + 12. Solve -2*b = -3*j + 1, -r*j + j + 4*b = -f for j.
-3
Suppose 0 = 5*y - 35 - 5. Suppose 8*z - y = 4*z. Solve 0*w - 4*w + 23 = -m, w + 1 = -z*m for w.
5
Let p = -1 - -5. Suppose 2*i - 5*s = 0, 0*s + 9 = i + 2*s. Suppose i*h - 4*n = 45 - 4, -p*h + 4 = 4*n. Solve 2*c + c - z + 3 = 0, 12 = -h*c + 4*z for c.
0
Suppose 61 = 5*j - 4. Let i = j - 2. Solve 0 = 2*u - 3*t + 23, 2*u + 4 - i = -3*t for u.
-4
Let g = 6 - 3. Let u be 2/8 - 420/16. Let l = u - -30. Solve 0 = -l*n + 3*k, g*n - k = 2*k for n.
0
Suppose -p - 16 = -2*s - 0*p, 22 = 4*s + 3*p. Suppose -3*n = -5*n + 12. Suppose n = 3*r - 6. Solve -b - 13 = -r*y, s = -b + 2*b + y for b.
3
Let c(g) = -g**3 + 3*g**2 + g + 2. Suppose 2*z = -10 + 4. Let j = z - -6. Let q be c(j). Solve -2*u = -q*r + 16, -1 + 15 = u + 3*r for u.
2
Suppose -3*i - p + 53 = 0, 2*i + p = 28 + 9. Let o be 4/(-6) + i/(-12). Let v be (o + 10/4)*26. Solve 0*x - 2*r + v = -3*x, 4*x + 2*r = -22 for x.
-5
