 = -4*z. Solve 2*a + 2*a = -4*y + z, -5*y = a - 22 for y.
5
Suppose -4*f + 3 = 5*o, 4*f = -o - 2*o - 3. Suppose -o*i + 37 = 4. Let k be 2/(-11) - (-46)/i. Solve -p + 7 + 5 = k*y, 5*y + p = 14 for y.
2
Let u(z) = -2*z**3 - 15*z**2 - 6*z + 9. Let j be u(-7). Solve -3 = -2*d - 5*v, -j*d + 5*d + 3*v = 0 for d.
-1
Let h be 30/8 + (-3)/(-12). Suppose -h*d = -d - 135. Suppose 2*v + d = 5*v. Solve -v = -4*i + 5*g, 0 = -5*g - 3 - 12 for i.
0
Suppose c - 3 = 1, -2*c + 14 = 3*d. Let q(o) = o**3 - 2*o**2 + 2*o - 1. Let j be q(d). Solve -2*b + 5 = -j*x, -b - 3*b = 2*x - 18 for x.
1
Suppose 0*g + 5*g = 15. Suppose 2*s + g*s = 30. Solve s*v - v = 3*p - 22, 2 = v + p for v.
-2
Suppose -3*x + 36 = -12. Solve 4*l - x = -4*j, 3*j - 17 = -4*l - 1 for j.
0
Let d be (-60 - 2) + 2 + 1. Let f be 0 + d*(0 - 1). Suppose 5*s - 46 = f. Solve 0*w - 5*g = -2*w + s, -2*w - g + 3 = 0 for w.
3
Let u(p) = p**2 + 9*p - 7. Let i be u(-10). Suppose i*q = 2*q + 2. Solve q*b + 7 = -x, 8 = -2*b - 3*x - 9 for b.
-1
Let k(b) be the first derivative of -b**3/3 + 2*b**2 - 3*b + 2. Let t be k(3). Suppose 2*p = 17 - 1. Solve -5*w - 3*v = -17 - 10, t = 4*w - 5*v + p for w.
3
Let l(q) = -2*q + 3. Let g be l(3). Let y be 2/(-1) - g*2. Suppose b + 4*b = 80. Solve -3*x - b = 5*f - 3*f, y*f + 30 = -5*x for f.
-5
Suppose -l + 2*l - 7 = -x, 3*x - 2*l = 36. Let h be 2/4 + (-52)/(-8). Suppose h*k - x = 2*k. Solve -10 = -2*j + 2*g, -5 = 2*j + k*g + g for j.
2
Let i be 2 + (-5 - 0)/(-5). Solve 1 = -x - 0*b - 3*b, 4*x + i*b = 14 for x.
5
Let b(n) = -n**2 - 7*n + 10. Let u be b(-8). Solve -y - 2*p + 13 = u*y, -2*y + p = -4 for y.
3
Let j be (8 - 1)*(-4)/(-4). Let k(x) = -x**2 + 7*x. Let p be k(j). Solve p = 3*l - 9, 3*b + 0*b - l + 3 = 0 for b.
0
Suppose -4*h - h + 15 = d, -3*d + 4*h = -7. Solve -2*k - 2*x = x - 10, d*x - 15 = -3*k for k.
5
Suppose 3*b - 57 = 3*d, -d + 0*d - 22 = -2*b. Let n = d + 21. Solve 30 = 5*s + t + 5, 9 = -4*s + n*t for s.
4
Let d = 19 - 14. Solve -1 = 2*g + 2*g + 3*b, -d*g - 4*b = 0 for g.
-4
Let z be 2/(-5) + (-17)/(-5). Let u = 6 - z. Solve 2 = -h + 2*g, -2*g + g + u = -h for h.
-4
Suppose -3*l + 3 = -3*b + 6, 0 = 4*l + 5*b - 23. Suppose l*r - 39 = -3. Suppose 3*o = o + r. Solve -4*a + 6 = -4*z - o*a, -10 = 5*a for z.
1
Suppose 20 + 10 = 5*a. Suppose 4*b - a = 2*b. Let x be (-6 - -7) + (1 - 0). Solve -i = x*r + 6, -3*r - 2*i - 5 = b for r.
-4
Suppose -z - h = -3*z + 27, 4*z - 3*h - 49 = 0. Suppose -47*l + 33*l = -56. Solve -4*q + z = 2*r, -3*r + l*q = r - 8 for r.
4
Suppose 4*h - 3*w - 36 = 0, -4*h + w + 0*w = -28. Solve -3*p = -h*p - 4*j - 25, -3*p - 5*j - 29 = 0 for p.
-3
Suppose 0 = 3*c - 2*j - 2*j - 15, -j = 0. Let a = 23 - c. Solve -5*p = -y + a + 9, 0 = p + y + 3 for p.
-5
Let l(h) = -h + 10. Let i be l(0). Let y = i - 6. Solve 5*w = -y*a + 17 - 57, 4*a = -w - 24 for w.
-4
Let w = 11 - 6. Suppose 0 = -w*l + 1 + 14. Let y = 1 + l. Solve -18 = y*v - 3*k, 4*v + 8 + 12 = 4*k for v.
-3
Let n(a) = -a**2 - 2*a + 3. Let g be n(-3). Solve -2*i = -g*d - d + 3, 0 = -i + 4*d - 19 for i.
1
Let r(x) = -x + 2*x**2 + 0*x - x**2 + 0*x**2. Let n be r(4). Solve -g - n = -5*o, 0 = -7*o + 4*o + 2*g + 3 for o.
3
Let d(q) = 10*q**3 - q**2 + 1. Let m be d(1). Suppose 5*p + 35 = 5*o - 0, -m = -2*p. Suppose 2*f + 0*f = o. Solve 1 = -5*u + 5*w + f, -4*w = 5*u + 4 for u.
0
Suppose 2*r + 15 = r. Let b be (-3)/(-9) - 40/r. Solve -a = i, -a + 23 - 7 = -b*i for a.
4
Suppose -4*k - 24 = -4*s, -1 + 9 = 3*s + 2*k. Solve -3*u = 4*r + 13, -2*u + 17 = -s*r - u for r.
-4
Suppose -9*l + 8 = -7*l. Solve 4*s = 8, 3*z - s = s - l for z.
0
Suppose w + 8 = x, -w - 1 = 3. Suppose 0 = -0*f - 2*f + x. Solve -1 - 1 = f*u - g, 0 = 5*u - 2*g + 7 for u.
-3
Suppose -4*r - 47 = -5*u + 5, -r - 24 = -4*u. Let m = -2 - r. Let i = -2 + m. Solve 2*c - 2*w - 8 = 0, i*c + w + 5 = 6*c for c.
1
Let q = -26 + 43. Solve 0 = -0*l - 5*l - 2*u - q, -3*l - 5*u + 5 = 0 for l.
-5
Let j = -12 + 12. Solve -2*b = -5*m + 3 + 3, -m + 4*b - 6 = j for m.
2
Let h(p) = -p**2 - 6*p - 5. Let s = 4 + -9. Let c be h(s). Solve c = 4*w + w + 4*f - 11, -3*w = 4*f - 13 for w.
-1
Suppose 3*r + 7 - 13 = 0. Solve t - r*z = -3, -2 = -t + z - 4 for t.
-1
Suppose -4*v = -9*v + 30. Let k be 1*v + 6 + -7. Solve -2*b + 1 = -i + b, 0 = k*i + 2*b + 22 for i.
-4
Let a be 48/22 + 22/(-121). Solve z + 3 + 9 = -a*f, 5*z + 25 = -3*f for f.
-5
Let s(y) = -y**3 + 8*y**2 + 3*y - 11. Let a be s(8). Let n be (-4 + (-4 - -7))*-9. Solve 27 = 3*v - 3*k + n, 3*v - a = -2*k for v.
5
Let b(w) = 11*w**3 - 2*w**2 + 2*w - 1. Let l be b(1). Suppose -5*u + 46 = -4. Let f = 12 - u. Solve -f*t = -3*m + l - 2, -6 = -5*t + m for t.
2
Let v = 2 - -2. Suppose -2*a + 0*x - 2 = -3*x, -a + 5*x - 8 = 0. Solve 2 = 5*n + 2*f, v*n - a*n = -3*f + 3 for n.
0
Let w(j) be the third derivative of j**4/24 - j**3/3 - 3*j**2. Let v be w(6). Let l = 1 + v. Solve 3*f + 5*c + 6 = -0*c, 24 = 3*f - l*c for f.
3
Let j be 0/1 - (9 + -7). Let r be ((-1)/j)/((-4)/(-64)). Suppose r + 12 = 4*f. Solve -2*x + f*c - 4*c = 10, 4*c = 0 for x.
-5
Suppose -2*r = -r + 5*g - 13, -2*g = -2*r + 2. Let z = -7 + 9. Suppose 2*n = z*x + 4, -x + 0 = -r. Solve -q - n = -2, 5*c + 3*q + 14 = 0 for c.
-1
Let j be 10/4*(-8)/10. Let g be (1/j)/(3/(-18)). Suppose g*m - 58 = 5. Solve 4*p - 4*y + 16 = 0, 4*p = -p + 4*y - m for p.
-5
Suppose 0*q = r + 3*q + 6, r - 2*q = 4. Suppose r = -4*i - 6 + 26. Solve 2*a - 3*a = 3*k - 10, 4*a + i*k = 26 for a.
4
Suppose 5*q - 6 = 2*q. Suppose 0*m = 4*m - q*i + 6, -i + 3 = -m. Solve -z = 4*p + 4, m = -5*z - 5*p + 9 + 1 for z.
4
Suppose -d + 6 = -3*w, -d - w + 8 = 2*d. Solve -3*t = -3*v - 9, -t = -3*t - v - d for t.
0
Let d(g) = -g**2 + 3*g + 2. Suppose 5*c - 3*v + 22 = 0, 0 = -4*v + 1 + 15. Let s be d(c). Let n = -3 - s. Solve -5*i - 13 = -2*y, n*y - i = 25 - 4 for y.
4
Suppose -10 = -2*f - 2*s, 4*f - 28 = -2*s - 0*s. Solve -1 - f = 2*w - 4*n, 3*n = 0 for w.
-5
Suppose 2*h = 5*r + 47, h - 5*r = -3*h + 79. Solve -4*z + 2*y = -h, 4*y = 4*z + 3*y - 12 for z.
2
Let t be (15/5)/(1 + -2). Let w = t + 6. Suppose 4*k - 35 = -3*x, -5*x + 6*x + w*k - 20 = 0. Solve 20 = -4*i - 5*g, i - x*g = -g + 16 for i.
0
Let t be ((-2)/3)/((-6)/18). Solve 2*l - 5*z = -t, -5*l + 0*z = 3*z + 5 for l.
-1
Let j be (-138)/(-8) - (-1)/(-4). Suppose 4*t - 2*s - j = 13, 5*t + 3*s - 10 = 0. Suppose 14 = t*h + 4. Solve 0 = -5*w + 2*i + i + 2, 0 = h*w - i - 1 for w.
1
Suppose -2*l - 3*l + 20 = 0. Suppose 0 - 2 = 2*i. Let j be (-2 + i)/(9/(-6)). Solve -3*f + l = -j*z, -3*z + 3*f + 2*f - 8 = 0 for z.
4
Let s = 2 - 0. Suppose 0 = -0*o + s*o - 4. Solve -2*n + 0*n = 10, 3*n + 7 = o*v for v.
-4
Suppose -2*a = -4*a. Solve 0*c - 5*c - 13 = r, a = -5*r + 10 for c.
-3
Let d = 5 + -6. Let n = 6 + d. Suppose j = n*j. Solve j = 3*v + 3*p - 15, -4*p - p = -5*v - 5 for v.
2
Let j be (-10)/60 - 146/(-12). Suppose s = 4*s - j. Let c = -3 - -6. Solve 9 = x - 4*q, -c*q - s = -q for x.
1
Suppose -4*x + 4*q = -36, x - 5*q - 5 = 8. Suppose 5*w + 5*i - 38 + x = 0, 0 = -3*w - i + 14. Solve -4*g + 4 = -2*v, -w*g - 3*v + 40 = 16 for g.
3
Let t be (16/(-6))/((-4)/30). Suppose 0 = 2*p + 3*p - t. Solve 0 = -2*r + d, -5*d = p*r + 3 - 31 for r.
2
Suppose 20*a - 15*a - 10 = 0. Solve 2*g = -g + b - 19, 2*g + 3*b = a for g.
-5
Let o be 11/5 + 1/(-5). Suppose -5*d - 23 - o = -5*z, -z - 13 = 5*d. Let g be 27/12 + (-1)/4. Solve -5*i - z*p + 11 = 0, 3*p - g*p + 2 = 5*i for i.
1
Let p be 166/8 + 3/12. Solve -2*a - 2*t = 3*t - p, 5*a = 2*t + 9 for a.
3
Let t(d) = -d**3 + 6*d**2 + 2*d - 2. Let m be 7 + (2 + -2 - 1). Let x be t(m). Suppose -x - 15 = -5*n. Solve r + 4*o - 19 + 5 = 0, n*r - o - 7 = 0 for r.
2
Let o be -5*((-28)/20 - -1). Suppose -o*r = 2*x - 2, 0 = -4*x + 3*x + 4*r + 16. Solve x*j = -3*u + 2, 2*u - 3*j + 12 = -u for u.
-2
Suppose 0*d - 4*d = -4*l + 24, -5*d - 26 = -3*l. Suppose -15 = -l*u - 5. Suppose -u*j + 2*j = -3. Solve 4*f - j = 3*t, -4*t = 2*f + t - 7 for f.
1
Suppose 0 = -4*g + 3*g. Solve -4*z + g*l + 3*l - 15 = 0, 5*z + 4*l = -11 for z.
-3
Suppose 2*k - 12 - 8 = 0. Solve k = -r - 4*r, -3*r = -3*f - 9 for f.
-5
Suppose -6*q = -17 - 55. Solve 0 = -2*c - 3*o - 14, 2*c = 4*c + 2*o + q for c.
-4
Let g be 0*(10/5 + -1). Solve 3*a + 9 = g, -4*m - 35 = 3*a + 2*a for m.
-5
Let t be (8 + -5)/((-3)/(-2)). Let v = 0 + t. Let c = 10 - v. Solve -4*a + 2*a + 7 = b, -c =