 (1 + a). Solve 3*v = -0*v + 3*o - 15, -z*v - 10 = o for v.
-5
Let t be 3/(-3 + 0) + 1. Suppose 5*v = 5*b - 55, 5*b + 4*v + 0*v - 37 = t. Solve 7 = -w - 4*l, -b = -2*w - l - 2 for w.
5
Suppose 3*p = -12, -3*h + 42 = -3*p - 3. Let x = 18 - h. Let u(m) = -8*m - 44. Let a be u(-6). Solve a*z - x = -5*c, -z + 4 = 1 for c.
-1
Let i be (0 + (-1)/3)*-3. Suppose 2*n - 7 = i. Solve -3*k + 4*k = -n*x + 9, -3*x - 2*k + 3 = 0 for x.
3
Let p(n) = -11*n. Let g be p(-4). Let j be (6/(-4))/((-6)/g). Solve 3*h = 4*w - j + 2, -5*w + 4*h + 12 = 0 for w.
0
Suppose -p + 5*l - 3 = 0, 6 = -2*p - 2*l + 48. Solve 2*k + 3*n = -17, -5*k + 2*n - p = n for k.
-4
Suppose -5*r = -z - 20, 0*r - z + 12 = 3*r. Suppose -r*q + 12 = -q. Solve i + 6 = -a, i = q*a - i + 12 for a.
-4
Let m(f) = 2*f**3 - f**2 + 1. Let x be m(1). Solve 2*g + 2*n = -2*n - 6, -2*g - 3*n = x for g.
5
Let o(k) = 2*k - 4. Let v be o(3). Solve 2*q + c = -1, -q - v*c - 8 = c for q.
1
Let o(z) = 7*z + 138. Let m be o(-19). Solve m*u = k + 27, u + 13 = 4*u + k for u.
5
Let d = -21 - -27. Suppose -d = -2*q + y, q = -y - 1 + 4. Solve -q = -o - g - g, 3*o = 5*g - 13 for o.
-1
Let z = 41 + -38. Solve -7*p - 16 = -z*p, -8 = -2*o + 4*p for o.
-4
Let p = -3 + 7. Suppose -5*n = -7*n + p. Solve -n*i + 1 = -3*u - 2, -5*i = 2*u - 17 for i.
3
Suppose -6 = q - 3*q. Suppose -i = -q*i. Suppose -4*f - 29 = 5*g - 87, f = 2. Solve i = 3*a - 0*a - 2*n + g, -25 = 2*a - 5*n for a.
0
Let g be (10 + -7)*3/(-3). Let c = g - -6. Solve c*z + 18 = 3*s, -7 - 1 = -4*z - 4*s for z.
-2
Suppose -2*n + 6 + 2 = 0. Suppose 0 = j - n*j. Suppose j*b + p = -b + 20, 0 = p + 5. Solve -3*h + 8*h - 5*y + b = 0, 4*h + 4*y - 20 = 0 for h.
0
Suppose -h + o = -8, 11 = -2*h - h - 4*o. Suppose 5*d - 7 = h. Solve 3*b = -z - 2*z, 5*z + d*b + 3 = 0 for z.
-1
Suppose 0 = -5*q + 5*h - h - 4, 0 = q + 2*h - 2. Suppose q = -2*r - 0*r + 2. Let o = 3 - r. Solve 9*x - 4*x = -5*t - 35, o*t + 20 = -5*x for x.
-2
Let b = 4 + -2. Let m be ((-1)/3)/((-1)/9). Solve -7 = w + l, -m*l = -2*w - b*w for w.
-3
Suppose -23 = -4*g - 7, 5*g = 3*i - 31. Solve 2*l - i = -0*l - 3*o, -3*o + 13 = -2*l for l.
1
Suppose -h = 5*h - 12. Let m = -2 + 2. Solve -4*r + h = -j + 3, 3*j + 4*r - 3 = m for j.
1
Let n be (-14)/(-21)*(-21)/(-2). Let y be 5/1*(-6 + n). Solve 4*c - 19 = y*m, -6*m + 5*c - 11 = -4*m for m.
-3
Let w = -2 - -4. Solve -u - w*x = 2*x - 4, 0 = -3*x for u.
4
Let o be (-3 - -9)/2 - 7. Let i(q) = q + 9. Let n be i(o). Suppose -2*a + 3 = -4*u - 9, -3*a + 17 = -n*u. Solve 7*v = 2*v - 2*r + a, 3*v - 4 = -2*r for v.
0
Let g be (-6)/5*(-30)/9. Let y = g - -1. Let i be (-66)/(-8) - 3/12. Solve 2*n - 6 = y*n, -2*f + i = -5*n for f.
-1
Let q = -1 - 0. Let h be 21/6*(q - -3). Suppose -3*c + h = 1. Solve -9 = m - 0*m - 4*d, c*m - 2*d = 0 for m.
3
Let m be 16/12*36/1. Let j be 1/(-4) - (-60)/m. Solve -a + 11 = 3*h, -a = 3*a - 3*h + j for a.
2
Suppose 6 = -3*l + 36. Suppose -j + l*r = 5*r + 23, 9 = 2*j + r. Suppose 4*o + 1 = -5*t + 12, -11 = -3*t + 2*o. Solve 0 = k + 3, 4*f + k = t*f - j for f.
1
Let j be (-6*3)/(-3) + -2. Suppose -s - s - m = -9, -4*s = -j*m - 48. Let d = -2 + s. Solve 3*u - 6 = -2*w, -d*u + 8 = -5*w - 2 for u.
2
Let a(w) = w**2 - 6*w - 2. Let q be (14/(-21))/(2/(-21)). Let t be a(q). Solve 0*u + t*u + z + 18 = 0, 0 = 2*u - 5*z - 9 for u.
-3
Suppose m - 4 = -m. Suppose s = -2*s + 9. Let n = 8 - s. Solve -13 = 3*t + m*p - n, 0 = 3*t - 3*p - 12 for t.
0
Let o be (2 - -2) + -2 - -3. Solve 35 = 3*p + o*h, -17 - 19 = -4*p - 4*h for p.
5
Let t(r) = -r - 1. Let s be t(-1). Let n(g) = g**2 - g + 20. Let k be n(s). Solve 5*z - 2*c - 20 = 0, 0*c = -5*z + 5*c + k for z.
4
Let z(i) be the second derivative of -i**5/20 + 2*i**4/3 - i**3/6 + 11*i**2/2 + 5*i. Let p be z(8). Solve -u + p = -w + 3*w, -3 = 5*u + 4*w for u.
-3
Suppose -h = -2*m - 5 - 2, -m = -3*h + 11. Solve -4*o + 5*g - 8 = 0, 2*o - 3*g + 1 = -h for o.
-2
Let d = 29 - 25. Solve s + 10 = -s, 2*k + d*s + 24 = 0 for k.
-2
Let s(w) = w**2 - 7*w + 5. Let z be s(4). Let x be (6/4)/(z/(-56)). Solve 4*i - 3*i - 4 = 0, 4*q - x = -i for q.
2
Let q(m) = -m**2 - 10*m. Let p be (-1 + -4)*(1 - -1). Let a be q(p). Solve l + a = 3, -3*l - 1 = 5*f for f.
-2
Let r = 12 - 7. Let d(z) = z**2 - 5*z + 4. Let n be d(r). Suppose -2*o = -0*o - n*c - 18, -2*o + 14 = -2*c. Solve 5*x = 5*k - 15, -o*k - 3*x + 10 = 3 for k.
2
Suppose 5*w = -3*m + 27, -3*m + 3 = -3*w - 0*m. Suppose u - 3*d = 9, 2*u + w*u + 3 = -d. Solve 8 = 4*l - 2*h + 6*h, u = 3*l - 5*h + 34 for l.
-3
Suppose -4*z = -4*i, 4*i - 12 + 3 = z. Solve 2*t = i*u + 4, 2*u - 4 = 2*t - 6 for t.
-1
Suppose -3*m - 2*y + 4 = 0, -2*m + 5*m - 3*y = 9. Let o(k) = k**2 - k. Let a be o(m). Let h be 1*(a - -8)/2. Solve 3*v - v - 5 = -3*c, h*c = -5*v for v.
-5
Suppose -5*i = -3*p - 1, 0 = -5*p - 0*p - i + 17. Let b = p + -2. Let u(x) = 3*x**3 - x**2 + x. Let k be u(b). Solve 2*y + 0*a = a + 6, k = y - 5*a for y.
3
Suppose 0 = 6*x - 4*x - 6. Let w be (4/(-1))/(0 + -1). Solve 4*s = w*u - 20, s - x*u + 3 = -12 for s.
0
Let p(m) = m**3 - 6*m**2 + 6*m - 1. Let q be p(4). Let g be (-21)/q + (-1)/3. Solve -2*c = -s - 7, s + 3 = -g*c + 3*c for s.
1
Let t = -3 - -4. Suppose 0 = -3*y - t + 58. Solve 5*m - y = -4*w + 4*m, 0 = w - 4*m + 8 for w.
4
Let w = 17 + -24. Let b = 8 - 12. Let x = b - w. Solve 0 = -g + x*g - 4, 5*g - 8 = v for v.
2
Suppose q - 4 = 0, -q = 3*o - 0 - 10. Solve 3*c + 5 = -j, -3*c = 4*j - o + 4 for j.
1
Let o = -7 + 14. Suppose -7*f + 24 = -3*f. Suppose -4*r + f + 4 = 5*h, 4*r = -h + 18. Solve -3*m - r*i - 26 = 0, -5*m - i = o + 7 for m.
-2
Suppose 5*o = -3*g + 1 + 12, 4*g = -16. Solve 0 = -o*i + s + 9 + 8, -7 = -i + 2*s for i.
3
Suppose n + 2 + 11 = 5*g, 9 = g + 3*n. Suppose -d = g*d. Let l be d/((2 + -3)*-2). Solve -3*c + 10 = s, -4*s + 0*s + 3*c - 20 = l for s.
-2
Suppose 18 = 4*s - 2. Suppose -4*g - 3 + 11 = 0. Solve s*f + 3*u = 7*u - 15, 5*u = -g*f + 27 for f.
1
Suppose 5*l = -2*l + 35. Suppose 0 = 3*m + 4*u + 20 - 4, -5*m - 20 = l*u. Solve -4*s - q + 8 = m, s - 5*s + 12 = 2*q for s.
1
Suppose -5*j = 9 + 1. Let w be (-28)/(-8)*4 - 2. Let c be w/(-21)*7/j. Solve -2*r - 2*g - c = 0, 2*r + 2*g = 5*r - 12 for r.
2
Let o be (-110)/(-8) + 2/(-32)*-4. Solve -o = -s - 5*w, -2*w + 10 = -5*s - 1 for s.
-1
Let k(t) = 4*t - 4. Let v be k(2). Let s be 30/(-25)*(-10)/3. Solve -s*q - w + 14 = w, -2*w + v = -q for q.
2
Suppose -4*f - f - 18 = -4*p, 2 = 4*p + 3*f. Suppose -2*v - 1 = -7. Solve -2*t - 17 = v*c, -4*t + 14 = -p*c - 6*t for c.
-3
Let y(r) = -r**2 + 6*r - 3. Let f be y(5). Suppose -f = -4*a + 10. Solve 2*h = -x + a, 3*h - 4*x - x = -15 for h.
0
Suppose -3*x = -5*p + 52, -5*x - 4 = -4*p + 35. Let d = -6 + p. Solve -d*m + 30 = 5*n, -4 = -2*n + 5*m + 1 for n.
5
Let q = -37 - -26. Let y(a) = -a**3 - 10*a**2 + 10*a - 9. Let i be y(q). Solve 8*o - 3*p = 3*o + 15, p = -i*o + 6 for o.
3
Let j(h) = h**3 + 8*h**2 + 6*h + 5. Let z be j(-7). Let f = -8 - -13. Solve -5*s - 5*u - 32 + z = 0, 14 = -f*s + u for s.
-3
Let n(d) = 10*d + 125. Let l be n(-12). Solve 2*j - 11 = -l*g, -g + 8 = -j + 3 for g.
3
Let g be 2/(-8)*-2*6. Suppose -g*y + 0*d = 5*d + 18, 2*y - 3*d - 7 = 0. Let p be (y + 1)/((-2)/(-2)). Solve 4 - 2 = 2*s + 2*t, p = t + 1 for s.
2
Let a = -14 - -15. Let k be -2*a/((-4)/12). Solve -7*y + 3*y = -3*m + k, -3*m = -y + 3 for m.
-2
Suppose 22 = 3*t - 44. Suppose -3*b + 19 - 1 = 2*j, -2*j - 4*b + t = 0. Solve -4*z = -3*p - 3*z + 7, 3*z - j = 3*p for p.
4
Suppose -12 = 7*x - 3*x + 3*d, -d = 0. Let b be (-35)/x - (-3)/9. Solve 0 = 3*j - 4*g - 28, -2*g + b = 4*j + j for j.
4
Suppose 0 = -t + 6 - 0. Suppose 4*r - 8 = 12. Suppose z - 10 = 4*q + 3*z, r*z + 25 = 5*q. Solve t*l + 2*x + 1 = 3*l, -l - 5*x + 17 = q for l.
-3
Suppose -2*j + 0*f = 2*f, 3*f = 4*j - 35. Suppose 0*y - j*y + 20 = 0. Suppose 3*h + 2 - 8 = 0. Solve -h*a - 4*c = -0*a - 14, c + y = 2*a for a.
3
Suppose -1 = -3*n + 11. Solve -h + 28 = -3*h + n*q, 4*q - 20 = 0 for h.
-4
Let r = 4 + 10. Let c be (4/(-6))/((-2)/9). Suppose g + c*s = -13 - 0, 2*g - r = 2*s. Solve 30 = -5*p + 5*d, -16 = -0*p + g*p - 4*d for p.
-4
Let c = -9 + 14. Solve 0 = c*v + t + 2*t - 1, 0 = 2*t + 6 for v.
2
Let m(i) = 10*i + 45. Let n be m(-4). Solve x - 5*y = -12, 0*x = n*x - 3*y + 16 for x.
-2
Let m = 94 - 69. Solve -4*v + 5*z = m, 4*v - 4*z + 16 = -4 for v.
0
Suppose 2*