3*w, 4*w + 3 = -3*r for r.
3
Suppose 5*k - 4*k - 30 = 0. Solve -o - 3*z = 22 - 5, 0 = 2*o + 5*z + k for o.
-5
Suppose -5*o - 2*m + 18 = 0, -o + 5*m + 10 = 7*m. Solve -3*b = b + 8, -3*b - o = 4*w for w.
1
Let z(l) = -l**2 - 7*l - 6. Let y be z(-4). Let i be y/(-33) + (-46)/(-11). Solve 6*m - 4*m = x, -4*x - i*m = 24 for x.
-4
Suppose 2*m - 4 - 2 = 0. Solve 0 = -3*v + m*b - 3, 5*v + 4 = b + 3*b for v.
0
Let w(y) = y + 3. Let h be w(7). Let i = h + -8. Let v = 5 - i. Solve -9*s - 17 = -4*s - v*x, -2*s = x + 9 for s.
-4
Suppose 4 = -3*h + 5*h. Solve 5*c + 4*m - h - 3 = 0, 5 = -c - 2*m for c.
5
Suppose -85 + 25 = -5*w. Let l be w/10*(-5)/(-2). Let r = 18 - 13. Solve -m - p + 0 = -7, 0 = -r*m - l*p + 25 for m.
2
Let s = 10 - 17. Let f = 4 - 8. Let g = f - s. Solve 3 = t - 4*l - 4, g*t + 1 = l for t.
-1
Suppose -o + 11 = 2*m, 5*m - 4 = o + 13. Solve -2*u + 0*u = -m*b - 12, 9 = -3*b for u.
0
Suppose -5*b - 8 = 22. Let j = 1 - b. Solve 2*n = 3*l, j = l + 4*n - 7 for l.
2
Let v = 71 + -67. Solve -5*x = -5*g + 50, 2*g + v*x = -0*g - 10 for g.
5
Let l(w) = -2*w**3 - w. Let z be l(-1). Suppose -2*q = -z - 7. Suppose -q*v + 35 = -0*v. Solve 2*a - 7*a = -3*h - v, -4*a - h = -9 for a.
2
Let q(y) = y**3 + 7*y**2 - y. Let c be q(-7). Suppose -c = -2*g + 3. Solve 3*l + 3 = 9, -2*l = -g*j - 4 for j.
0
Let i(n) = n**3 + 4*n**2 - 2*n - 4. Let v be i(-4). Suppose -2*q - 4 = -v*q. Solve 4*a - 12 = -o, 3*a + 0*a - 4 = -q*o for a.
4
Let u = 95 - 92. Solve -3*o - u*p = -22 + 1, 11 = -3*o + 5*p for o.
3
Let u = 0 + 0. Let z = 8 + -5. Let d be -7*-2*z/6. Solve -5*v + 5*h + 15 = u, -4*v = -h - d + 1 for v.
1
Let g(v) = -v + 2*v - 4 - 2. Let p be g(8). Solve -2*o + k - 13 = 0, -o - 2*k = 1 - p for o.
-5
Let s(h) = 14*h**2 + 21*h + 23. Let g(k) = -5*k**2 - 7*k - 8. Let y(w) = 11*g(w) + 4*s(w). Let q be y(-7). Solve -5*x - 4*n - 10 = -0*n, -q*x = 3*n + 8 for x.
-2
Let r(g) = g**2 + 2*g - 3. Let w be r(-4). Suppose 4*b - c - 69 = 27, 3*b - w*c - 55 = 0. Let p be b/2 - 2/4. Solve 3*n = o - 5 + 13, 0 = -n + 4*o - p for n.
4
Let y(u) = -6*u - 1. Let n(f) = f**2 - 1. Let j be n(0). Let k be y(j). Let w = k - 3. Solve 3*d + w*l = -7, 2*l = 5*d + 5 + 28 for d.
-5
Let n(z) = -z**3 + 5*z**2 + 8*z - 8. Let x be n(6). Let s(k) = k**2 + 2*k + 1 + 1 - 2*k**2 - 6*k. Let u be s(-3). Solve -u*o - 3*m = -x, -2*o - m = m for o.
2
Suppose 4*v = -2*v + 30. Solve 0 = 2*n + 2*d - 0 + 8, -v*n - 2 = -d for n.
-1
Suppose -2*f + w + 8 = 5*w, 4*f + 2*w - 4 = 0. Solve -2*j - 2*j - 4 = -5*z, f = -2*j - 2*z - 2 for j.
-1
Let k be 9*(4/(-6) - -1). Suppose -13 + k = -5*h. Let t(g) = g - 7. Let o be t(10). Solve -h*s + 3 = -3*a - 1, -s - 1 = -o*a for a.
2
Let z = 26 + -18. Let p(h) = 5*h - 7. Let n be p(7). Suppose 2*k + 6 = g + 3*k, 0 = -5*g - 4*k + n. Solve -2*d = 6*c - c - 4, g*c + 4*d - z = 0 for c.
0
Let f(k) = k**3 + 7*k**2 - 4. Let c be 19/(-3) + (-10)/15. Let s be f(c). Let t be (-1)/2*s + 3. Solve -3*l - u + 3 = 5, t = 5*u for l.
-1
Let p(n) = 2*n - 1. Suppose -22 = b - 3*b. Let m be p(b). Solve 4*h = 2*j - 24, -4*h - 3*j + m = -7*h for h.
-5
Let q = -17 + 16. Let z be q - -1 - (8 + -12). Solve 3*w = -2*d + 1, 0 = -3*d - 4*w + 5*w - z for d.
-1
Let t = 0 - -10. Let d(j) = 2*j + 5. Let n be d(-6). Let g = t + n. Solve -2*u - 2 + g = -r, -r - u = 4 for r.
-3
Let g = 27 + -24. Solve 5*d = -g*r + 3, 4*d = 3*r + 22 + 2 for r.
-4
Suppose 0 = -3*p - 2*p - 10. Let o be 1*(3 + p) + -2. Let m be (-14)/7 - o*2. Solve 5*y + 0*y - 5*i = 0, -4*y - 5*i - 18 = m for y.
-2
Suppose s - 2 = 1. Suppose 18 = s*n - 2*n. Solve -4*j - n = 2*m, -2*m - 17 = j + m for j.
-2
Let g be (-15)/(-5)*(-4)/(-3). Solve -3 - 4 = 5*h - s, -g*h + 5*s = -7 for h.
-2
Let t(d) = 2 - 2*d**3 - 1 + 3*d**3 + d + d**3. Let i be t(2). Let q be -2*2*(-2 + 0). Solve -4*n = k + i, -5*n - 29 = 4*k - q for k.
1
Suppose -4*m + 20 + 0 = 0. Solve -2 + 31 = -2*r - m*a, -4*r + 5*a + 17 = 0 for r.
-2
Suppose 5*k = -3*r + 29, k - 11 - 5 = -4*r. Solve 2*i + k*a + 20 = 0, -2*a - 2 = 4*i + 8 for i.
0
Suppose 5*y + 2*z = 0, 13 + 8 = 3*y - 3*z. Solve y*d + 2*f - 5*f = -1, -5*d + 2*f = -3 for d.
1
Let q be 3/12*2*10. Suppose 3*n + 15 = 0, -q*z = -2*n + 2 - 47. Let k = 13 - z. Solve -5*l + 8 = -5*b + b, -3*b - k = 0 for l.
0
Let s = -21 - -23. Solve -2*v - v = s*r - 17, 0 = 3*r + 3*v - 18 for r.
1
Let d be (0 + -2 + -1 + 1)*-7. Solve -7*a = -4*v - 2*a - 28, -d = v - 3*a for v.
-2
Suppose 0 = -3*k + 4 + 2. Let f be k/15*5*6. Solve -2*r + 4*j = 22, 2*r - f*j = -2*r - 24 for r.
-1
Let f(g) = -g**3 - 9*g**2 - 7*g + 10. Let o be f(-8). Solve -3*c + 4 - 5 = o*p, -3*p + 15 = -c for c.
-3
Let s be (-10)/(-4)*32/20. Solve a + 8 = q, -s*a - a - 2*q = 19 for a.
-5
Let f = 3 + -3. Suppose f = -y + 4*y - 12. Solve -2 = -2*h, y*k + h - 25 = -4*h for k.
5
Suppose s - 5 = 2. Suppose 6*f = 5*f + 5. Solve 4 - s = p, -5*c + 40 = -f*p for c.
5
Suppose 21 = 5*i - 4. Solve -b + i*w + 7 = 3*w, -2*w = 2*b - 2 for b.
3
Let d be (3 + 0)/(3/5). Suppose 5*z + 10 = d*g, 0 = 3*g - g + 3*z - 14. Solve f - v - 5 = 0, -3*f - 2*v + g*v = -15 for f.
5
Let i(p) = -3*p + 5. Let j be i(1). Solve 0 = -a - q + j, a + q - 11 = -3*q for a.
-1
Let i(a) = a**2 + 5*a + 4. Let m be i(-4). Suppose -s + m*s = -12. Suppose 2 + 0 = q. Solve -3*z = q*u - u - 3, 4*u - s = 0 for z.
0
Suppose -c - 2*m + 1 = -19, 3*c - 4*m - 70 = 0. Let t(h) = h + 10. Suppose -20 - 4 = 4*d. Let o be t(d). Solve o*p = -5*l + p + c, 24 = 5*l + p for l.
5
Let r be (0/(-4 + 3))/(-1). Suppose r*a = 4*a - 140. Suppose 3*y = -5*l + a, 22 = 3*l + y + y. Solve -2*b = -4*g, b - l*g = -3*b - 4 for b.
-2
Let x(g) = -g**2 - 5*g + 7. Let l be x(-6). Let s be (-14 - l)*(-10)/15. Solve -2*m = 2*p - 5*p + s, 0 = -3*m - 15 for p.
0
Let k be -3*(-1)/(-1) - -2. Let u be 9/(-15)*(-4 + k). Solve -2*v + 5*p = -21, -5*v - u*p + 4 + 2 = 0 for v.
3
Let c = 109 + -107. Solve -4*p = -5*o + c + 4, -5*o - 5*p + 15 = 0 for o.
2
Suppose 0 = -3*d + 6 + 6. Solve -2*a = d*m - 0*m - 14, -2*m + 5*a + 25 = 0 for m.
5
Let m(k) = -2*k**3 - 15*k**2 - 7*k + 2. Let j be m(-7). Solve -5*o - i = 25, 4 - 37 = j*o + 5*i for o.
-4
Let v = 6 - 1. Let n = 9 - 6. Let m = v - n. Solve 2*w + 4 = 0, m*x + 8 = -w - w for x.
-2
Let r be 2/(-13) + 54/351. Suppose -3*o + 5 + 7 = 0. Solve 5*i + 41 = o*p, -21 = 5*i + p - r*p for i.
-5
Suppose 9*x + 25 = 4*x, -2*y = 4*x + 12. Suppose -y*h + 2*b = 3 - 19, -4*h = 5*b - 30. Solve -h*r - 4*t = 15, 0 = -4*r - t - 1 - 0 for r.
1
Let j = -27 - -47. Solve 0 = c + 4*g + 23, -5*c = 5*g - 4*g + j for c.
-3
Suppose 0 = 21*r - 26*r + 10. Solve r = 5*x - 2*y, -3*y + 30 = 5*x + 2*y for x.
2
Let a(v) = -v**3 + 5*v**2 - 4*v + 2. Let c be a(4). Suppose 5*t - 51 = -o, o + 2 = -c. Suppose -4*i = t - 27. Solve 4*h - 4*g = 16 + 4, -5*h = i*g - 16 for h.
4
Suppose 5*w - 4*w - 2 = 0. Suppose 2 + 18 = w*c. Solve 4*x = -0*x + 2*q + c, -2*x + 9 = 3*q for x.
3
Suppose -60 = -11*u - 27. Let f(q) = -q**2 + 5*q - 2. Let z be f(4). Solve 0 = 5*v + u*i + 1, -z*i - 2 = 4*v for v.
-2
Suppose 4*x - 8 = 2*x. Let b(i) = 2*i**3 - 4*i**2 + 2*i. Let j be b(2). Solve -2*v + 2 = 3*c - 13, 20 = j*c + x*v for c.
5
Suppose -3*u = -7*u + 52. Solve 2*j = -n - u, -n - 3*n - 36 = 4*j for n.
-5
Suppose -2*d + 3*d = -3*b + 19, -2*d - 16 = -3*b. Suppose -3*p = -0 - b. Solve p*l + 2*y + 14 = 0, -5 = 2*l - y - 3 for l.
-3
Let g(l) = -l. Let r be g(-4). Let u(y) be the first derivative of y**3/3 - 3*y**2 + 3*y - 3. Let v be u(6). Solve -r*p + 24 = -2*x, v*p = 3*x - 0*p + 21 for x.
-2
Let l(c) = 2*c**3 + c - 1. Let i be l(1). Solve 3*z - r + 7 = 0, -4*z - 9 = i*r + 17 for z.
-4
Let q(o) = o**2 - 10*o - 3. Let d(c) = -6*c - 2. Let w be d(-2). Let u be q(w). Let n = -1 - u. Solve 2*a + n = -2*h, 3*h - 4*a + 3 = -0*h for h.
-1
Suppose -f + 2*r - 4 = -2*f, f - 4 = -r. Solve 5*m = h - 19, 5*h + 4 = -f*m - 17 for m.
-4
Suppose 5*z - 12 = -2. Let y = -3 - -8. Solve -2*p = c + z*c + 9, 4*c - y*p = 11 for c.
-1
Let a be (5/3)/(3/9). Suppose 3*z - a*j = 24, 2*j = -3*j - 15. Solve 0 = z*k + y - 9, 5*k = -5*y + 5 for k.
4
Let t be (4 + 66/(-15))*-45. Let a be (0 - -1) + 0 + -1. Suppose 2*d = -a*p + 3*p + 9, 2*d + 12 = -4*p. Solve 2*z = -5*v - 9, 4*z - 2*v = -d*v + t for z.
3
Let t = -8 + 12. Solve -3*x + 0*x + 9 = -3*y, 5*y - 30 = -t*x for x.
5
Suppose 1 + 2 = -3*h - o, 0 = -h + 4*o + 12. Let j = -1 - h. Let