, -15 = -5*z - 5*t for z.
2
Let n(x) = -8*x - 4. Let d be n(-2). Solve -2*l = -7 - 3, d = 2*a + 2*l for a.
1
Suppose 5*b = b + 8. Suppose 0*w = -b*w. Solve r - 5*l - 14 = 0, r + 2*r - 5*l - 22 = w for r.
4
Suppose 0 = 5*u - 0 - 10. Suppose -b = -4*b + f + 3, -2*f = 2*b - 10. Suppose -b*l + l = -5. Solve -y + l*s - 2*s + 12 = 0, -u*s = -5*y + 21 for y.
3
Let c be (-1)/(-4 + 11/3). Solve -11 = 3*m + 4*f, -c*m - m - f + 7 = 0 for m.
3
Let s(n) = n**2. Let a be s(2). Let l be 49/a + (-9)/36. Solve 0*t - 16 = -2*t + 4*f, -5*t + 3*f = -l for t.
0
Let u = -5 + -2. Let h be (-28)/u + 0/(-2). Solve 0 = -4*m + 5*f - 19, -2 - h = -2*f for m.
-1
Let p be (-14)/21 - (-8)/3. Solve -2*t - g = -6*t + 3, 3 = p*t + g for t.
1
Let o(q) = -4*q + 5. Let n be o(-8). Suppose 3*k = -2*k - 4*c + n, 26 = 4*k + 2*c. Solve m - 1 = -3*d - k, -4*d = 4*m + 16 for m.
-4
Let t(a) = 3*a**2 - 4*a + 1. Let s be t(3). Solve -s = -4*m, -2*g - 24 = 2*g - 4*m for g.
-2
Suppose 2*w = 6 - 2. Let p(m) = -3*m**3 - m - w*m + 1 + 5*m**2 + 2*m**3. Let a be p(3). Solve -5*f = 3*l - l + 11, a = -f - 3*l for f.
-1
Let p be 2/(-9) + (-190)/(-45). Solve 0 = 5*i - p*x + 6*x + 9, -5*x = i - 12 for i.
-3
Suppose 2*n - 5*g - 24 = 0, -4*n = -5*n + 4*g + 18. Solve -3*i = 2*v - 12 - 13, -i - 5 = -n*v for v.
5
Suppose 0*z - 60 = -4*z. Suppose 0 = -5*f - 0*f + z. Suppose f*j - 17 = 7. Solve 4*c - 2*p + 0*p + j = 0, -12 = -3*p for c.
0
Let v be 7 + -6*2/(-4). Suppose -2*c - 3*c = -v. Let m be 1*(-7)/(-1) - c. Solve -3*a = 2*x + 2*x + 7, -3*a - m*x = 11 for a.
3
Let v(u) = u**2 + 7*u + 4. Let j be v(-7). Solve j*x + 21 = -o, o = x + 5*o + 9 for x.
-5
Suppose 0 = -2*b + 16. Suppose -12*t + 9 = -9*t. Let m be 10/3*(t - 0). Solve -3*j - u = -b, -4*j + u + m = -j for j.
3
Suppose -3*u = 4*x - 11, -2*u + 2*x + 12 = -0. Suppose -4*t - 5*z + 4 = 2, 0 = -t + 3*z + 9. Solve 6*b = 3*g + b - t, 0 = u*g - 3*b + 11 for g.
-4
Suppose -10 = 3*d + 2. Let r(k) = -k. Let c be r(d). Solve m = 5*g + 16, 3*m + 10 = m - c*g for m.
1
Let a = -22 - -25. Solve -24 = 4*n - 2*d + 5*d, -a*n - 2*d - 17 = 0 for n.
-3
Suppose -3*k + 8 + 1 = 3*m, 9 = -m - 5*k. Let t be (-1 - -4)*m/9. Suppose t*c - 7*c = 0. Solve -4*x - x + 34 = -3*l, 3*l + x + 4 = c for l.
-3
Let d be (-3)/9*0 + -10. Suppose -3*f - 6 = -0. Let q be f/(-1) - d/5. Solve q*t - 7*t + 5 = -5*h, 10 = 2*t - 5*h for t.
-5
Let n be 0*(-2)/4*-1. Solve 4*t = -x - 0*t + 7, 2*t - 4 = n for x.
-1
Let n = -15 - -30. Suppose 2*t = -t + n. Solve 2*i = -3*a + 7 + 3, -2*a = i - t for a.
0
Let f(l) = 2*l**2 - 4*l - 1. Let c be f(4). Suppose -3*r - 6 = 0, 3*d + 2*r - 33 = -r. Let w = d + -10. Solve -w*k + 3*g + 11 = 26, -c = -k - 4*g for k.
-1
Let r(g) = -g - 3. Let z be r(3). Let l(f) = f + 10. Let w be l(z). Let d = -16 + 16. Solve w*o - 5*t = 6, 6 = -d*t + 3*t for o.
4
Suppose 6*x = -2*x + 72. Solve 3*h + 5 = 4*w, 5*w + x = -2*h + 44 for w.
5
Let d = -45 - -64. Solve -g + 2*u = -u + d, -g + 2*u = 14 for g.
-4
Let w = 17 - -7. Solve k + w = -5*p + 7, -3*k - 18 = 4*p for p.
-3
Let r = -39 + 70. Let t = r + -10. Solve -c - t = 4*v, c - 19 + 5 = 3*v for c.
-1
Suppose 0 = -r - r. Let h be 21/7 + r + 1. Solve -3*i + h*i + 3 = 3*o, 0 = -o + 3*i + 1 for o.
1
Let q = 28 + -28. Solve q = 4*o + 5*s + 16 + 17, 4*o = 5*s + 17 for o.
-2
Let p = -73 + 73. Solve -4*w - 4*d = p, w - 35 = 6*w - 2*d for w.
-5
Suppose 2*a + 0 = 5*z + 4, 0 = -4*z + 3*a - 6. Solve -4*u - q + 7 = z, -5*u + 0*u + q = -11 for u.
2
Suppose -6*c + 4*c + 10 = 0. Solve -2*x = 5*d - 22 - 1, c*x + 5*d - 20 = 0 for x.
-1
Let a be 3 + ((-2)/1 - -2). Let p be ((-18)/4)/a*-4. Let b = 2 + 0. Solve -n + 6*n = 5*c, c - p = -b*n for c.
2
Let d be (-4)/(-6) - 234/27. Let p = d - -11. Solve -4*q - 24 = -2*y, -p*y - 2 = y + 2*q for y.
2
Let r = -12 - -17. Let s = r + 0. Solve -5*y = 3*h + 25, y - 35 = 6*y + s*h for y.
-2
Suppose 7*r = 2*r. Suppose r = 3*h + h + 24. Let n(z) = z**2 + 4*z - 7. Let w be n(h). Solve w*k = -3*j + 9, 3*k = -5*j - 1 - 0 for j.
-2
Let r(j) = 2*j + 38. Let t be r(-18). Solve 4*p - t*n = -10, -p - 2*n + n = -5 for p.
0
Let i = -13 - -29. Suppose -2*x = 4*u - 22, x + i = 4*u + 3. Solve -b = -x*c + 10, 4*c = 3*b + 14 - 4 for b.
2
Let x be (2 + 11/(-4))/((-39)/260). Suppose -2*u = -2*m - 2*m + 16, 5*u = -3*m + 12. Solve m*y - l = 3*l + 32, -x*y + 3*l = -34 for y.
5
Let o be (6/(-9))/((-4)/6). Let l be (3/4)/(o/4). Suppose 3*h - 35 = -4*h. Solve 0 = 5*z - h*b + 4*b, -l*z = 5*b for z.
0
Let g(s) = -2. Let w(m) = 2*m + 6. Let i(j) = -4*g(j) - 2*w(j). Let o be i(-5). Solve 20 = 2*y - 4*h, -4 = 5*h + o for y.
2
Let a(p) = -2*p**2 + 5*p + 3. Let o be (2/(-5))/((-2)/20). Let h be a(o). Let t = 13 + h. Solve 0 = -2*w - 4*k + k + 14, -t*k + 15 = -w for w.
1
Suppose 5*q = -r - 2*r + 5, 0 = -2*q + 5*r + 33. Suppose 3*b + q = 4*b. Solve x + 2*u + 5 = -b*x, -3*x + 2*u - 3 = 0 for x.
-1
Suppose 18 = 2*d - 52. Solve -d = -5*h + 3*i, -h + 2*i + 6 = -2*h for h.
4
Let h be (-4)/10 - 154/(-35). Solve -2*t + 3*a = t + 18, -h*t + 2*a = 22 for t.
-5
Let c = 24 - 8. Solve 3*w + 5*t - c = 0, 0 = 5*w - 2*t - 2*t - 2 for w.
2
Suppose 4*a = -5*v + 37, 2*v + 21 = 2*a + 7*v. Let c be 7 - 1 - (10 - a). Solve -d = -f + 3, -24 = 2*d - c*d - 4*f for d.
2
Let g = 43 + -32. Solve -l + 4*u = 9, 5*l + 2 = 4*u - g for l.
-1
Let g(z) = z**2 + 3*z + 2. Suppose 9*p + 10 = 4*p. Let t be g(p). Solve -u - h - 7 - 2 = t, 20 = -5*h for u.
-5
Let f be ((-4)/(-6))/((-4)/(-24)). Solve 0 = 2*s - 2*n - f, -11 + 1 = -2*s + 5*n for s.
0
Let s(k) = -k - 15. Let c(u) = 2*u + 30. Let o(z) = 3*c(z) + 5*s(z). Let i be o(-12). Solve 19 = -2*g + 3*w, -i*g + 3*w = w + 21 for g.
-5
Let a(m) = 6*m - 56. Let d be a(10). Solve 5*i = o - 28, 5*i - 9 = d*o - 46 for o.
3
Let b(f) = 3*f - 2. Let h be b(2). Suppose h*g - 8 = 4. Solve -4 = -w, g*o + w = -o + 8 for o.
1
Suppose 3*v - 8 = v. Suppose -29 = -3*k + 5*t, 4 = -t - 0. Solve 4*y + 5 + 3 = v*s, -2*s = k*y - 19 for s.
5
Suppose -3*w - 3 = -2*w. Let m be -2 + 5*(4 + w). Let x be 2/2*(3 - 0). Solve 6*y - y = -k - m, -5*k - 15 = x*y for y.
0
Suppose 0*w - 4*w = 0. Solve -5*i - 3 = -2*i - 3*b, w = b - 4 for i.
3
Suppose 0 = i + 3*t - 17, -3*i - 3*t = -8*t + 5. Suppose -4*u = -7 - i. Solve 2*l = 4*j + 8, -4*l - u*j + 1 = -2*l for l.
2
Suppose 15 + 1 = 2*u - 4*n, 2 = 2*n. Solve 5*f + 5 = l, 3*f + l - u = -l for f.
0
Suppose -5*k = -17*k + 60. Solve 0 = -3*o + 2*o + k*z - 25, -25 = -5*z for o.
0
Suppose h = -h + 32. Suppose -h*a + 10 = -11*a. Solve 3 = c - 2*c - a*z, -3*z = 3*c + 6 for c.
-1
Suppose -3*b + 35 = k, -2*b - k + 3 = -20. Solve 2*i - 3*i + 5*h - b = 0, -5*h + 30 = 5*i for i.
3
Suppose -v + 24 = 3*v. Let d be 9/2*4/v. Solve -3*l + 3*w - 3 = 0, 4*l - 27 = l - d*w for l.
4
Suppose -4*b - 9 = -49. Let j = b + -7. Solve j*s - 15 = 3*r, 5*s - 4 = -5*r - 19 for s.
1
Suppose 0 = -3*y + 13 + 14. Solve 4*n + y = n, 4*v - 6 = 2*n for v.
0
Let o be (0 + -1)*(-6 - -1). Suppose o*v = 4*v - 2*r - 6, 3*v = -4*r - 10. Solve 0 = q + v*m + 5, -2 = -q + 4*m + 5 for q.
-1
Let o(s) = 7*s + 2. Let v(g) = -g + 3. Let j be v(2). Let h be o(j). Solve -3*y - 5*m + h = y, 2*y = 2*m for y.
1
Let j(u) = u**2 - 13*u + 5. Let g be j(13). Solve -2*l = g*c - 7*l - 30, 0 = 3*c - 5*l - 28 for c.
1
Let s(i) be the first derivative of -7*i**4/4 + i**3/3 - i**2/2 - i - 1. Let r be s(-1). Let v = 80 - 76. Solve 5*w - 4*o = -36, v*w + 3*o + r = o for w.
-4
Let g = -13 + 14. Let q = -16 - -24. Let j(m) = -m**3 + 7*m**2 + 10*m - 2. Let d be j(q). Solve 5*n = 2*v - d, -v = 3*n + g + 3 for v.
2
Let y(f) = -f**2 + 3*f + 3. Let z = 7 + -4. Let c be y(z). Suppose -40 = -5*x + 5*a, 0*x + 2*a = c*x - 21. Solve -v - x = -2*v - 4*r, 4*v + 2*r - 20 = 0 for v.
5
Suppose 5*s - 4*x - 7 = 4*s, 0 = -s - 2*x + 1. Solve -4*f + 32 = 5*n - 0*n, n = s*f - 5 for n.
4
Let f be (-22)/(-8) - (-3)/(-4). Solve 2*r + 12 = -0*r - f*i, 4*r - 3*i + 3 = 0 for r.
-3
Let g be (27/(-2))/(-3)*16/24. Solve 4*i + g + 1 = -4*u, 3*i + 15 = u for u.
3
Let a be 6/(-42) + (-45)/(-21). Solve p - v + a = -4*p, v - 2 = -5*p for p.
0
Let w be 8/(-12) + 38/(-6). Let x = w - -12. Solve 2*h + 0*h - x*u = -12, -u = -4 for h.
4
Let p = 0 - -8. Let u be (2/p)/(4/48). Suppose 0 = 2*s - 3*m - 17, -5*s + 32 = -0*s + 3*m. Solve -s = j + 5*h - 0*h, -u*h = 2*j for j.
3
Suppose 0 = u - 1 - 2. Suppose -v + 32 = 3*v. Let p = v - u