, 2*z + 10 = r*v + z for v.
4
Let a be (-15)/3 + (-2)/2. Let m = a - -8. Suppose 0*z + 24 = m*z. Solve -f + 2*c - 2 = 0, 5*f + 2*c = -z - 10 for f.
-4
Let m = 362 + -342. Solve l - m = 4*l - n, -2*n + 20 = -2*l for l.
-5
Let n(y) = 2*y**3 - 10*y**2 - 12*y. Let s be n(6). Solve 0 = -a - s*a + 3*d - 17, 0 = -4*a - 2*d - 12 for a.
-5
Let c = -338 + 350. Solve r - c = 3*a, -3*r + 6 = a - 0*r for a.
-3
Suppose 4*a = i + 3*i + 52, -3*i + 9 = a. Solve 0 = 3*j + a, -5*z + 3*j + 0 - 8 = 0 for z.
-4
Let y(x) = -6*x + 6. Let s(g) = -5*g + 6. Let v be 4/(-14) + 185/35. Let q(t) = v*s(t) - 4*y(t). Let m be q(4). Solve -4*f - 22 = 3*o - 2, 5*o = m*f - 16 for o.
-4
Let o = -124 + 137. Suppose -8*w - 25 = -o*w. Solve -w*k = -5*h + 2*h + 25, -5*h + 20 = -4*k for h.
0
Let v be 1*4 + 1/1. Let d(y) = 10*y + 32. Let i be d(-3). Suppose -2 = w - 2*w. Solve 0*x = w*x - v*l + 1, i*x = -2*l + 6 for x.
2
Suppose 0 = 5*y - 0*y - 10. Suppose 13 - 9 = y*c. Solve -5*i - c*t - 31 = 0, 0 = -i - 4*t + 10 - 27 for i.
-5
Let w = -28 + 36. Let u be 10 + -7 - (1 - w). Suppose -5*o + u*o + 3*n = 14, 3*n = -o - 2. Solve -o*r = -4*z + 8, -3*r = -z - z + 9 for z.
-3
Let a(q) = -q**2 - 10*q - 4. Let i be a(-10). Let k be -1 - -3 - (i + 18/6). Solve f - 4*l = 2*f + 7, -k*f + 9 = -3*l for f.
1
Let c(b) = -b**2 + 13*b - 12. Let g be c(12). Suppose g = o + 2*o - 5*x, 13 = 5*o - 4*x. Solve -2*q + 2*t + 13 = -7, -o*q + 3*t + 40 = 0 for q.
5
Let l(u) = -2*u + 40. Let v be l(17). Solve 2*q - v*s = -s - 17, 2*s - 2 = -4*q for q.
-1
Let t(c) = 25*c + 229. Let u be t(-9). Solve u*v + 4*p = 16, -5*p = -6*p + 1 for v.
3
Let i(b) = b**3 + 10*b**2 + 18*b - 16. Let j be i(-7). Solve 5*f + j*n + 35 = 3*n, -30 = 3*f + 3*n for f.
-5
Let r = 2365 - 2361. Let s(w) = w - 1. Let k be s(-4). Let g(t) = -t**2 - 5*t + 3. Let z be g(k). Solve -r = -q - c, -z - 1 = -c for q.
0
Let r(t) = -t**2 + 63*t - 338. Let d be r(6). Solve 0 = d*f + 12, 0 = -4*l - 5*f - 9 + 2 for l.
2
Let j = 251 - 241. Solve -j = -u + 5*m, 0 = -3*u + 5*m - 10*m - 10 for u.
0
Let p = 314 + -312. Solve -3*z - 3 = -4*n, 2*n + p = 2*z - 2*n for z.
-5
Let g be (-216)/(-10) + 2/5. Suppose 2*x - 2*p + 17 = -x, -2 = -2*p. Let n = x + g. Solve -c + n = -3*s, 0*s + 11 = 3*c + s for c.
5
Let n be 504/132 + 2/11. Solve -n*l + c + 4 = -c, -5*l + 5 = -3*c for l.
1
Suppose -j = w - 1 - 7, -4*w = 3*j - 32. Suppose w*t - 36 = 6*t. Let i be (-13)/(-4) - t/(-24). Solve -5*l - 25 = 0, -d - i*d + 30 = -4*l for d.
2
Let y(m) be the first derivative of m**4/4 - 2*m**3/3 + 3*m**2/2 - 2*m - 9. Let f be y(2). Solve 3*p + 14 = -n - 0*p, 0 = n + f*p + 18 for n.
-2
Let p = -70 + 70. Solve 2*a + 4 = -y, y = 2*a - p*a for a.
-1
Suppose -4*g - 20 = 0, 5*f = 3*f - 2*g - 4. Suppose 0 = -p - r + 15, r - 45 = -5*p + 2*r. Suppose b = 3*b - p. Solve -a + i + 0*i = 1, f*a - b*i + 3 = 0 for a.
-1
Suppose -5*y - 3*s + 17 = s, 5*s = -3*y + 18. Suppose w + y = 3. Solve w*h = 2*r + 8, -3*r + 5*h = r + 16 for r.
-4
Let r be (2 - -3)*(10 + -9). Suppose 4*l = -0*l - 12, 5*l - r = -m. Let b = 20 - m. Solve b = -2*t + 5*d + 27, t + 3*d + 10 = -4 for t.
1
Let g(q) = -q**3 - 10*q**2 - 15*q - 30. Let w be g(-9). Solve 0 = 3*s - 5*f + 22, 0 = -5*s + 3*f - f - w for s.
-4
Let d(y) = -8*y - 4. Let m be d(10). Let b = 89 + m. Solve -4*c - 8 = -h - 0*h, -b*c = 4*h + 31 for h.
-4
Suppose -20 = -2*m - 2*m. Suppose 4*b - m*b = -5. Solve h = -4*h + 10, 5*r = -b*h + 35 for r.
5
Let r be (6 - 3)*(-40)/6. Let t = -13 - r. Suppose 0 = t*c - 12*c. Solve -2*n - o + 2 = 1, 4*n - 5*o + 5 = c for n.
0
Suppose 22*k + 76 - 186 = 0. Solve -3*o = -k*q - 26, 2*q - 4*o = 3*q - 4 for q.
-4
Let c = 346 + -334. Solve -2*n = -2*w + 2*n - c, 3*w + 15 = 3*n for w.
-4
Suppose -2*y = -0 + 4. Suppose -5*g = -4*o - 44, 2*o - 6 = 3*g - 28. Let m be (-33)/o - y*1. Solve 3*z + a = 17, -27 - 10 = -3*z - m*a for z.
4
Let z be (-4 - (-104)/20)/(3/10). Suppose -z*k + 6 = -5*k - 4*r, 5*k + 3*r = 4. Solve a + k = -4*m - 18, 4*m - a + 20 = 0 for m.
-5
Suppose 176*o = 173*o + 78. Solve -2*m + 5*q = -1, 3*q - o + 8 = -5*m for m.
3
Let v(z) = -4*z**3 + 2*z**2 - z + 2. Let l(p) = 5*p**3 - p**2 + p - 1. Let u(n) = 3*l(n) + 4*v(n). Let f be u(5). Solve 4*c + f*j = -5*j, c + 2*j = 0 for c.
0
Let j(s) = -5*s**3 + 2*s - 1. Let x be j(-2). Let g = -23 + x. Let v = g - 10. Solve r + 4*n = -v - 6, 2*r + n + 2 = 0 for r.
0
Suppose -3*z = s + 7, 2*z + 0*z + 23 = 3*s. Suppose -s*t = -0 - 20. Solve t*h + 4*l + 8 = l, -3*l = 0 for h.
-2
Suppose -3*b + 61 = 6*m - m, 32 = 2*m + 5*b. Suppose -2*n + 12 = -5*n. Let p = n + m. Solve -3*h = 2*h + 2*u - 1, -p = 3*h + 5*u for h.
1
Suppose k + 10 = 8. Let r be (-1 + (-7)/k)*2. Solve r*o + 1 = -4, 0 = 3*y + o - 8 for y.
3
Let b be (24/(-9))/((-2)/3). Solve 11 = u + 2*c, b*u + 2*c - 11 = 3 for u.
1
Suppose -13 = -3*i + g - 0*g, g = -4*i + 22. Let a be i - (4 - (-2 - -4)). Suppose -4*p + 0 = -12. Solve -7*s = 4*z - p*s - 4, -a*z + 7 = s for z.
3
Suppose 2*n = m + 6*n - 25, 4*m = 2*n + 10. Solve -4*q + 5*x = -m - 13, -3*q = -2*x - 10 for q.
2
Let t be 1/9*15*(-6)/(-1). Solve -5*r - 2*n - t = 0, 3*r + 5*n = 8*r + 45 for r.
-4
Let d = -490 - -492. Solve -3*q - 15 = -3*l, 2*q = 4*l + 4*q - d for l.
2
Let u = 13 - 33. Let y be (5/u)/((-4)/48). Solve 0*x + 20 = -x - 4*r, -y*x + r - 8 = 0 for x.
-4
Let p be 8/(-52) - 1*(-28)/13. Solve 3*d - 11 = w, p*w = w + d - 7 for w.
-5
Suppose 0 = 2*r + z + 3*z + 10, -3*r + 13 = -z. Let f(u) = u + 7. Let p be f(-1). Solve 0 + 3 = g, -r*j + 5*g = p for j.
3
Suppose 0 = -2*b - 3*y + 57, -83 = -b - 2*b - 4*y. Suppose -z = -w - 2, 1 = 3*z - w - 5. Solve 5*k + 5*v + 10 = 0, z*k = 3*v - b + 2 for k.
-5
Let m(l) = -l**3 - l + 3. Let t be m(0). Let q(d) = 4*d + 4. Let p be q(6). Let f = p + -27. Solve f = -t*i + 5*w, 0 = 4*i + i + 4*w - 23 for i.
3
Let o be (-4)/(-10) - (-1495)/325. Solve -o = 2*p - p + a, 4*p - a = -20 for p.
-5
Let w(k) be the first derivative of -1 - 9*k**2 + 1/3*k**3 + 3*k. Let x be w(18). Solve -x*l + 2*q = 4, -2*q - 12 = -l + 2*l for l.
-4
Suppose 7 = -9*c + 8*c. Let y(i) = -i - 1. Let a be y(c). Solve a = -5*v - 2*n - n, 5*v + 4*n + 3 = 0 for v.
-3
Let y = 61 + -36. Let d = y - 20. Suppose -d*n - 17 + 2 = -5*q, -5*q = n - 27. Solve -n*w - 4*o + 26 = 0, w - o = -3 + 4 for w.
5
Let h be -3 - 9/(27/(-102)). Suppose -2*p - 2*v + v = -18, -5*p = -v - h. Solve 4*z - 12 = b, p*z - 9 = 4*z for b.
0
Suppose -7*w + 6*w = 0. Suppose -i - 3*i + 2*x + 42 = w, 25 = 2*i - 5*x. Solve -3*h - i = 2*n, -2*n + 3*h - 15 = n for n.
-5
Let p be 194/10 - (-8)/(-20). Let x = p + -15. Suppose 16*a - 14*a - x = 0. Solve -5*c = -a*h + 1, c - 6 = -c + 4*h for c.
-1
Let i be (6/(-4))/((-9)/12). Let r(v) = v**2 - 8*v + 8. Let d be r(7). Suppose -5*t - 3*j + 0 = -d, -3*t = 2*j. Solve i*y = a - 3, 4*a = y + t*a - 3 for y.
-3
Suppose -19 = -4*x - 5*q, 9 = -2*x + q + 22. Let p = x + -1. Solve 5*k = -4*z + z + 8, p*z + 5*k = 0 for z.
-4
Let c be 1*-3*-6*75/270. Solve v + 2*v = -5*d + 9, c*d = -2*v + 11 for d.
3
Let z be -1*5*-13*(-4 + 1). Let v = -169 - z. Solve v = 2*x + 5*i, -4*i = 3*x + i - 29 for x.
3
Let b = -49 + 31. Suppose i + 9 = -2*p - 13, 0 = -5*i - 2*p - 110. Let y = b - i. Solve -3*s + 2*o = 10, -4*o + o - 19 = y*s for s.
-4
Let f = -388 + 392. Solve 0 = 5*n + 20, p + 2*p = f*n + 31 for p.
5
Suppose 6*a - 12 = 2*a. Suppose a*z = 2*z + 5. Suppose 3*j - j - 14 = -2*r, 4*j + z*r - 33 = 0. Solve j*s - 8 = -2*m, s + 2 = -3*m + 6 for m.
0
Suppose 0 = 3*d - 8*d + 10. Let h be (1 + (-3 - -4))*d. Solve -h*g = -3*x - 3, 0 = -3*g + 4*x - 3 for g.
3
Let o(n) = -2*n**3 + 49*n**2 + 22*n + 80. Let h be o(25). Solve 0 = h*k - w + 19, 0*k + w + 5 = -k for k.
-4
Let c = -3 + 7. Let h be -4 + c/1 + 4. Solve 25 = -2*o - 5*m, -h*m - 27 = 4*o - o for o.
-5
Suppose m - 18 = -5*m. Solve 5*u + 6*w = m*w, -3*u - 2*w + 1 = 0 for u.
-3
Let q(l) = l**3 + 2*l**2 - 7*l - 6. Let f(v) = v + 4. Let y be f(-7). Let x be q(y). Solve 7 = 2*w + o - 0*o, 0 = -3*w + 3*o + x for w.
3
Let j = 18 + -13. Let f(c) = -20*c + 3. Let z(k) = -7*k + 1. Let w(u) = -6*f(u) + 17*z(u). Let g be w(j). Solve 4 = -g*s - 4*d, 5 - 16 = 4*s - 3*d for s.
-2
Let d = -439 + 466. Solve 0 = 5*h - h + 5*o + 25, -5*h - 2*o = d for h.
-5
Let b be 1*(1 - -1) + 0. Suppose -b*p - 21 + 117 = 0. Suppose -17*a - p = -19*a. Solve 0 = -5*o + 4*i - 21, -5*o +