= 2*f - 4, 3*j - 2*j - 3*f - z = 0 for j.
3
Suppose 0 = 4*a + g + 2*g - 17, 4*a - 7 = -5*g. Solve -2*l + 2*q - 10 = -2*q, 4*l - a = q for l.
3
Let m(h) = -h**2 - 8*h - 5. Let f be m(-7). Suppose 5*l - 224 + 59 = 0. Suppose -v - f*v + l = 0. Solve 13 = 5*p + d - v, -5*p + 40 = 5*d for p.
4
Let x(r) = -2*r - 3. Let d be x(-4). Suppose 212 = -2*s - 2*s. Let n be (-2)/(-5) - s/d. Solve 0*y = 2*y - 3*h + n, -3*y - 13 = -h for y.
-4
Let h(d) = -2 + 3*d + 3*d + 7*d**2 + 10 + d**3. Suppose -l + 4*j = 4*l + 10, 3*j = 3*l + 3. Let k be h(l). Solve -k = -3*v + 4*a, v + 2*a + a = -19 for v.
-4
Let g = 1 + -1. Let l be (3/9*g)/1. Let c be 5 - l*(-2)/4. Solve -8 = -5*r + 17, r - 5 = -c*s for s.
0
Let u be -2 + 9/((-18)/(-8)). Solve -u*y = 3*f, -2*y = -2*f + 3*f - 4 for y.
3
Let w be 4 - (3 - 3) - -2. Let v be 4/w - 63/(-27). Solve -2*b = v*k + 4, 4*b + 3*k = -0 + 4 for b.
4
Let f(c) = 2*c**2 + 4*c. Suppose h = 3*k + 25, -4*k - 3*h + 10 = 39. Let a be f(k). Suppose 0 = -5*n + a - 11. Solve -3*p = b - 6, -p - 5*b + 5 = n for p.
3
Suppose -19 = -3*w - 4. Suppose 0 = 5*g + w, -4*l + 2*l + 2*g + 4 = 0. Solve -1 - l = 5*y - n, 4*y - 4*n - 8 = 0 for y.
-1
Let h(w) = -w**2 + w + 13. Suppose -5*z = -3*z. Let f be h(z). Suppose 2*g - 25 = f. Solve -3*i + 4*b - 2*b - 23 = 0, 3*i = b - g for i.
-5
Let f(n) = n**2 - 14*n + 5. Let q(y) = -2*y**2 + 28*y - 9. Let g(d) = -9*f(d) - 4*q(d). Let b be g(13). Solve 0 = -4*l + b*v, l + 5*v - 10 = 2 for l.
2
Let c(j) = j + 4. Let w be c(-4). Let l = 2 - w. Solve -q = l*q - 3, 2*t = -5*q + 15 for t.
5
Let l be 2/(-9) - 160/(-72). Suppose 2 = -f + l*f. Solve 4*x - 13 = -3*c, 0 = 5*x + f*c - 3*c - 2 for x.
1
Let u be (-14)/(-4) - (-3)/6. Let p(x) = x**2 - 2. Let w be p(2). Let a = 12 + -7. Solve -29 = -3*s - u*b, 3*s - w*b - a = -2*s for s.
3
Let z(a) = a - 7. Suppose 0 = -3*j - 5*o + 20, 5*j - 2*j = -3*o + 12. Suppose -35 = -j*p - 5*p. Let q be z(p). Solve q*t = -3*c + 3*t, -5*c - 3*t = 24 for c.
-3
Suppose 2*n = -m + 25, -4*m - m - 31 = -2*n. Suppose 4*u = n + 3. Solve 2 + u = 3*j + 3*k, 0 = -5*j + 3*k - 6 for j.
0
Suppose -p = 2 - 7. Suppose 4*j - p*c - 13 = 0, 2*j - 4*c + 9*c + 1 = 0. Solve j*v - 4*q = -22, 2*v + 2*q - 2 = -0*v for v.
-3
Let w(s) = s**3 + 11*s**2 + 9*s - 14. Let q be w(-10). Let d be q/(-2 - (0 + 0)). Solve -4*a + d*a - 5*p + 8 = 0, 5*a + 4*p - 3 = 0 for a.
-1
Let z = 50 + -45. Solve 2*y - 6 = -z*m + 3*y, 0 = 4*m + 4*y - 24 for m.
2
Let d be (3/(-9))/((-1)/9). Suppose 3*t - d = 2*t. Solve 4*q = 5*i + 31, -3*i + 0*i + 3 = t*q for i.
-3
Suppose 4*w = 7*w - 15. Solve 0*o + 20 = w*o + 3*m, 4*o + 4*m = 16 for o.
4
Let v(o) = -2*o + 4*o + 9 - 3*o. Let y be v(6). Solve 5*z = y*n - 10, -3*z - n - 3*n = -23 for z.
1
Suppose 0 = -5*d + 57 + 3. Suppose -d = -3*w - w. Solve -2*i = -3*y + 4 - w, -y + 7 = i for i.
4
Let j(b) = b - 6. Let x be j(6). Solve x = 3*r - 2*r + 3*t + 10, 12 = -4*t for r.
-1
Suppose 0 = -9*i + 4*i + 25. Suppose -i = n + 1. Let x be n/(-3) + -4 + 4. Solve -5*a = 15, 3*g = a + x + 1 for g.
0
Let h = 0 - -2. Suppose -r = h*r - 36. Suppose -f + 3*m = -2*f + 17, -5*f + 4*m = -9. Solve -4*z - 3*u + 28 = 0, r = f*u - 2*u for z.
4
Suppose 5*d - 13 = 5*c - 2*c, 0 = 4*c + 2*d - 26. Suppose 3*y - 5*y + 14 = 0. Solve 3*v + 12 = -c*n - y, -4*v = -4*n + 16 for n.
-1
Let l(s) = -10*s - 34. Let o be l(-4). Solve 5*r - 15 = -j, o*j - j = 2*r - 6 for r.
3
Suppose -5*i = -5*t - 25, 4*i - 5 = 3*i - 5*t. Let k(y) = -2 + 2*y - y**2 + 1 + 4*y. Let v be k(i). Solve -4*q + 3*q - d = -1, -v*d = -q - 24 for q.
-4
Let g(f) = -f**3 + 7*f**2 - 6*f. Let x be g(6). Let m(u) = u**3 + u**2 + 23. Let s be m(x). Solve -3*t - 2*n - s = -0*n, -5*n - 45 = 5*t for t.
-5
Let k(j) = -j**2 - j + 1. Let t(l) = 6*l**2 + 2*l - 9. Let y(n) = 5*k(n) + t(n). Let d be y(5). Solve -4*i + 3*f = -21, 3*i + f = 4*i - d for i.
3
Let f(d) = 18*d**2 - d - 1. Let y be f(-1). Suppose 14 = -3*k - 3*b - b, k + y = -4*b. Solve -4*h + 6 = -2*h - r, -3*h - k*r - 5 = 0 for h.
1
Let o = -11 - -16. Suppose 3*r + 9 = 5*v, 0 = v - o*r + 4 + 3. Let l = 1 + 4. Solve -v*d - 19 + 0 = 4*j, -l*j - 5*d - 25 = 0 for j.
-4
Let r(m) = m - 6. Let x be r(9). Suppose -x*n + 4 = 1. Solve 2*s + 2 = 3*i, 2*s = -1 - n for i.
0
Suppose -f + 8 = 3*f. Suppose 2*t - 12 = 2*y, -t + 0*y - f*y = -3. Solve -z = t*l + 3, z + l - 1 = -0*l for z.
2
Suppose m - 3*m + 4 = 0. Solve -m*y - 5 = -v + 7, 0 = -y - 5*v + 5 for y.
-5
Suppose -3*j - 2*j = -15. Let s = -5 - -14. Solve -k + 3*k + 5*x - 15 = 0, -k + j*x = s for k.
0
Let v = 18 + 42. Suppose n + 4*n - v = 0. Let q be 2/(-6) + 40/n. Solve 0 = -3*s - 3*d - 6 - q, 3*s + 2*d + 5 = 0 for s.
1
Let x = -2 + 4. Suppose -2*g = 4*a - 4, x*g + 7*a = 2*a + 3. Solve 3*h + 2*l + l + 3 = 0, g*l = 5*h - 40 for h.
4
Let l be 2 - ((-9)/(-3) + -3). Solve 0 = -2*c, q - 3*c = -l*q for q.
0
Let f = 2 - 0. Let s(z) = -3*z - 4*z + 2*z - f + 2*z**2 - 2. Let r be s(4). Solve -2*l + 4*l + 8 = -3*m, 0 = -2*l + m + r for l.
2
Let t(v) = v**3 - v**2 + 5. Let m be t(0). Suppose -m*r + 3*r + 8 = 0. Solve 4*a + r = 4*q, -2*a - q - 2*q = 2 for a.
-1
Suppose -23 = -5*q + 2. Solve 0 = -3*c + q*n + 5, -36 = 4*c - 0*c + 4*n for c.
-5
Let j = 9 + -10. Let f be -15*(-1)/j*-1. Solve 5*w - 4*u - f = -0*w, 5*w - 5*u = 20 for w.
-1
Let m(l) = l**3 + 14*l**2 + 5. Suppose -71 + 15 = 4*a. Let w be m(a). Solve -z + 11 = -2*u, 2*u - w*z = -18 - 5 for u.
-4
Suppose -f + 7 = 2*g, -g - 2*f + 1 - 5 = 0. Solve -3*o = z + 4, -g*o + 2*o - 3*z = -3 for o.
-3
Suppose 0 = -3*d - 0 + 6. Solve -7*c + 6 = -2*c - n, 16 = 4*c + d*n for c.
2
Let g = -1 + 4. Let y(c) be the first derivative of -c**4/4 - 10*c**3/3 - 3*c**2/2 - 8*c - 7. Let t be y(-10). Solve -2*j - 5*p = t, g*j + p = -4*p - 23 for j.
-1
Suppose h - 27 = -3*q, -2*h - 26 + 10 = -q. Solve 2*m = -5*l - 0*m + q, l + 5*m - 25 = 0 for l.
0
Let b = -7 - -10. Suppose 7*z - 21 = -0*z. Solve -b*u + 18 = -3*p, -z*p - 5 = -5*u + 19 for p.
-3
Suppose 24 = -3*c - q, -4*c = -0*c - q + 32. Suppose 47 + 41 = 11*p. Let s = p + c. Solve s = 3*x - 3*o + 9, 0 = -2*x - 3*x - 2*o - 15 for x.
-3
Let a be 25/(-10)*(-6)/5. Solve 5*r = 2*t - 13, -a*r + 10 = -4*t + 29 for t.
4
Let j(r) = -2*r**2 - 3*r**2 + 1 + 22*r**2 - 2*r + 3*r. Let i be j(-1). Solve 0 = -5*v - 5*m, 3*v + 7 = 3*m - i for v.
-4
Let b(a) = a + 9. Let y be b(-4). Let l be (8/10)/((-2)/(-10)). Solve 4*r = l*q - 20, -3*q - y*r = -10 - 5 for q.
5
Let c be (-2)/((0 - 4) + 3). Solve -i = -3*h + 4*i - 19, -c*h - 2*i = 2 for h.
-3
Let y(r) = -r**3 + 11*r**2 - r + 16. Suppose 5*c - 57 = -2. Let a be y(c). Solve 4 = a*p - n, 4*n + 16 = p - 0*n for p.
0
Let p be 6 - 6/4*2. Suppose b - p*b - 5*t = -1, -t = -5*b + 16. Solve -5*f - 3 = -y, -b*f + 2*y + y + 3 = 0 for f.
-1
Suppose -4 = -3*f + 5. Let j(i) = -i. Let d be j(-2). Suppose d*k = 3*v - f, 5*k - 3*v - 3 - 3 = 0. Solve g = 2, -5*s - k = 4*g - 31 for s.
4
Suppose 2 = m - 2. Solve -5*w + 25 = -o, -4*w + m + 16 = o for o.
0
Suppose -4*m + 16 = -3*o - 12, 4*o = -3*m - 4. Solve -a - 2 = -3*y + a, m*y + 24 = -4*a for y.
-2
Let i be 2/7 - (-37)/(-7). Let h(q) = -5*q**2 + 4*q**2 + 6*q**2 - 3*q**3 + 4*q**3 + 3. Let l be h(i). Solve -z - l = -4*c - 0, 3 = -2*c - z for c.
0
Suppose -4 = -2*q - 24. Let t = q + 11. Solve p - t = b - p, 0 = -2*b - 4*p - 18 for b.
-5
Suppose 89 = 2*n + 5*q, n - 3*n + 3*q + 49 = 0. Solve -3*p = 5*w - n, 2*p = -0*w - w + 12 for p.
4
Let m be 5 + (-3 + 3 - (2 + 2)). Solve -w - 3*p + m = 4, -5 = 2*w + 5*p for w.
0
Let h = -41 + 47. Solve -w = 2*f + h, -w + 3 + 6 = -3*f for f.
-3
Suppose 3*p = 2*p + 3. Solve -5*h - 16 = 4*t - 2*t, -t = p for h.
-2
Suppose -q + 11 - 3 = 3*u, 5*q - 2*u - 23 = 0. Suppose -6*b - q*g + 41 = -3*b, 0 = -g + 4. Solve 3*i + y = -b, i = -5*y - 4 - 3 for i.
-2
Let m be (-3)/(-2)*22/3. Let t = -2 + m. Solve -x = -0*x, -3*x = -3*a + t for a.
3
Let q = -44 + 58. Solve -6 = 2*j, 0*j - q = 4*k - 2*j for k.
-5
Suppose -1 = x + 2. Let o be 1/x + (-13)/(-3). Let p = o + -3. Solve -2*k - g = -1, 5*k - 4*k - g + p = 0 for k.
0
Let q(p) = p**2 + 5*p + 7. Let a be q(-4). Solve u = -n + 5, 2*u = a + 1 for n.
3
Let m = 1 - -2. Solve 5*j = 2*y - 31, -m*y = -3 - 6 for j.
-5
Let j(d) = -d**3 - d**2 + d + 7. Let x be j(0). Solve 0 = -5*k + x + 18, -3*k + 13 = 2*f for f.
-1
Suppose -2*b + 3*b - 4 = 0. Solve b*z + 6 = w, -3*w + 5*z + 0*z = -