25 + -23. Solve y*c - 7 = -3*m + 3*c, -4*c + 36 = 4*m for m.
4
Suppose 0 = -5*x + 2*x. Suppose 2*n - 6 = -x*n. Solve 3*a + 5*c + 35 = 0, -6 = -2*a - n*c - 28 for a.
-5
Suppose -3*g + 11 = -2*h, 2*h + 2*g - 20 = -3*h. Solve -2*v - 3*l = 6, -4*v + h*l = v - 4 for v.
0
Suppose a + a - 6 = 0. Let h be (1 - 2) + (2 - 0). Let z be (3/(-1))/(h - 2). Solve -a*j = -z*t - 6, 4*t + 14 = 5*j + 2 for j.
4
Let t be ((-1)/(-3))/((-1)/(-6)). Let q = -18 + 8. Let i = q + 32. Solve -5*v - c = i, 2*v + 5*c = 7 - t for v.
-5
Let v be 6*((-615)/6)/5. Let u = v - -86. Let x = u - -57. Solve 4*c - 2*i = 0, -i - x = 4*c + 2*i for c.
-2
Suppose -a = v - 10, -2*v = -4*v - 3*a + 23. Suppose -3*c = -5*c + 4. Solve 3*l - 2*p = 6, -l + p = -c*l + v for l.
4
Suppose 3*b - 5 = 19. Let a = 2 + b. Solve 3*f - 18 = 6*f + 3*q, -5*f + 3*q = -a for f.
-1
Let m = 18 - 9. Suppose -6 = -2*d - z, 5*z + m = 2*d + 3. Solve -2*i = -3*i + d*g - 12, -5*g = 5*i - 20 for i.
0
Let c(f) = -3*f**3 + 3*f**2 - 4*f + 3. Let s be c(2). Let x = s + 19. Solve h = -x*r + 14, 4*h - 5 = 2*r + 1 for r.
5
Let p = 2 + 0. Let w be 8/(-1)*(-26)/104. Solve 3*v = p*u + 5, 3*v = -w*u - v - 12 for u.
-4
Suppose -2*z + 4 = -3*s - 76, -z - 2*s = -40. Let m(h) = 2*h**2 - h - 1. Suppose 2*x - 4 = -0*x. Let i be m(x). Solve -5 = v, i*b - v - z = 3*v for b.
4
Suppose 2*m - 2 + 4 = 0, 2*m + 2 = -d. Solve 2*j + 4 = 0, d = -n - 0*n - 3*j - 3 for n.
3
Let x be (0*(-4)/(-16))/3. Solve p = -2*k - 3, x = k - 4*k - p - 2 for k.
1
Let o(z) = 7*z + 149. Let n be o(-21). Let r(y) = y**2 + y - 1. Let x = 4 + -6. Let k be r(x). Solve -6 = n*f, -f - 5 = j + k for j.
-3
Let f = 16 + -14. Solve 3*r - 2*d - d + 18 = 0, -f*d = -r - 10 for r.
-2
Suppose 2*w - 3 = -6*j + j, 2*w + 2*j = 6. Suppose 0 = -o - 0 + 4. Solve 5*b - 16 = -o*t + 2*b, 5*b - w = -t for t.
4
Let a = -29 - -53. Solve -2*r + r + 5*x = a, r + 19 = 4*x for r.
1
Suppose -9*d = -4*d - 15. Suppose 0*o + 12 = d*o. Solve o*m - 4 = 4*a + 8*m, -3*m - 5 = 5*a for a.
-1
Suppose -2*v = -m - 2*m + 9, 0 = v. Solve -m*t - 13 = -4*r, 3*r - t - 15 = -4 for r.
4
Let x(t) = -t**3 - 9*t**2 - 8*t - 8. Let k be x(-8). Let u = k - -13. Solve 4*r = 3*i - r + 3, u*i = -r - 5 for i.
-1
Let q(w) = -8 - 3 + 3 - 2*w. Let u be q(-6). Suppose -c - 5*v = -31, c - 2*v + 28 = 4*c. Solve -c*i = -4*i + 2*g, -6 = i + u*g for i.
2
Let q be (-51)/(-9) + 4/(-6). Let r = -2 + q. Solve 3*z - r = z - t, 5*t = 4*z - 27 for z.
3
Suppose 10 - 70 = -4*m - 2*u, m - 5*u = 26. Solve -5*y - 16 = a - 0, -4*y = 4*a + m for a.
-1
Suppose -6*l + l - 105 = 0. Let z be l/9 - 2/(-6). Let u be z/(-7) + (-38)/(-14). Solve 3*f = -u*i - 2 - 7, 3*f + i + 5 = 0 for f.
-1
Let w(t) = t + 1. Let u = 1 + 4. Suppose u*i + 41 = 3*d, -2*d + 2*i + 62 = 3*d. Let s be w(d). Solve 0 = -4*m - g - 21, 2*m + g + 0*g = -s for m.
-4
Suppose 0 = -4*n + n + 4*u + 13, 0 = 2*n + 5*u - 1. Let t(g) = -g. Let i be t(-2). Solve -3*q = -i*q - r - 5, 2*r + n = -5*q for q.
1
Let x(u) = u**3 + 2*u**2 - 3*u + 2. Let n be x(-3). Solve -5*k - 2*t - 16 = 0, 4*t + n = -3*k - 2 for k.
-4
Let w = 10 + -18. Let o be w/(-12) - (-44)/6. Solve -5 = 5*g, 0*f + g = -3*f + o for f.
3
Let a = 0 - 0. Suppose -3*u + 9 = a, -4*u = -2*v - 6*u + 50. Solve -4*z = 11 - 31, 0 = -3*t - 5*z + v for t.
-1
Let c = -2 - -14. Suppose 8*i - 9*i + 14 = 0. Solve -3*v + i = -2*q + 5, -4*v - 4*q + c = 0 for v.
3
Let g = 19 - 15. Solve -k - 2*u - 15 = -g*u, k + 2*u - 5 = 0 for k.
-5
Let d = -9 - -18. Solve -4*n + 5 = -11, -3*n + d = 3*g for g.
-1
Suppose 0 = -0*s + 4*s - 24. Suppose -q = -s*q. Suppose -5*u + 0*i + 28 = 3*i, q = -u - i + 6. Solve 0 = -n - 4*z - 4, 0 = u*n + 2*z - 0*z + 2 for n.
0
Let y = 38 + -33. Solve -x - y*c - 30 = 0, 2*x = -0*x - 4*c - 30 for x.
-5
Let d be -3*(-1)/3*4. Let f = 1 + 2. Suppose -f*p - s = -6, s = 2*p - 3*p. Solve d*a = p*h - 1, 3*h + 3*a = 5*h for h.
3
Let y = 168 + -164. Solve -5*a = -2*n - 18, y*a - 22 = 4*n + 2 for n.
-4
Let l = 9 - 115. Let z = l - -64. Let y be 3/(-12) - z/8. Solve -y*t = -4*h - 36, 4*h - 5 + 25 = t for h.
-4
Suppose 2*g = -2*g + 8. Suppose -3*b - 4 = 4*w, -2*b = -g*w - 2*w - 24. Suppose 9 + 3 = b*v. Solve -4*h + v*u + 23 = 1, 3*h - 2 = -5*u for h.
4
Let x(z) = -z. Let r(m) = 11*m + 3. Let p(o) = -r(o) - 2*x(o). Let c be p(-3). Solve 0 = 5*j - j + b + 20, 0 = 4*j + 2*b + c for j.
-4
Let m(l) = l**3 + 4*l**2 + 4*l + 3. Let t be m(-2). Solve 0 = 4*j - 3*y + 7, -j - 1 = t*y - 3 for j.
-1
Let j be (-4 + 3 - -2) + -1. Solve j = 5*k - 3*a + 1, -2*k + 5*a - a - 6 = 0 for k.
1
Let r = 21 - 14. Suppose 3*v - 10 = -i + r, -8 = 3*v - 4*i. Solve n + 1 = -3*f - 7, v*n + 4*f = 0 for n.
4
Let s(t) = -17 + 17 + 2*t. Let c be s(1). Suppose 0 = -v + 7 - c. Solve 3*p = -v*g - 4 + 5, -3*g = 3*p - 3 for g.
-1
Suppose 5*m - 2*k + 42 = 0, -4*m - 3*k - 30 = -k. Let y = -6 - m. Suppose 6 = 5*z - y*z. Solve -2*w + 4 = z*t, w - 2 = -3*t - 2*t for t.
0
Suppose -l = -4*l. Let h = 1 + l. Suppose h - 11 = -5*v. Solve -n + 8 = -v*c, -5*c + 2*n = -n + 19 for c.
-5
Let a(q) = -q**2 + 11*q - 10. Let h be a(10). Suppose 5 = j, 2*n + j = -h + 7. Let u be (6/(-4))/(n/(-2)). Solve 4*x - d - u*d - 4 = 0, 2*x + 5*d = -33 for x.
-4
Suppose 0*i - 4 = -2*i. Let f be (-141)/(-27) - i/9. Solve f*u - 5 = -3*l + 2*l, -4*u + 3*l - 15 = 0 for u.
0
Let b be (2/4)/((-6)/84). Let f = b + 9. Solve -f*z + z = -4*l + 15, 7 = 3*l - 5*z for l.
4
Let l = 6 - 4. Let x = 15 - 13. Suppose -l*q + x = -6. Solve 4*d - 6*n = -q*n - 22, 4*n = -4*d + 8 for d.
-3
Let d be (-3)/6 - (-3)/6. Suppose -9 = -2*a - 5*y, d = y - 0*y - 1. Suppose -28 = -p - a. Solve 4*c + p = -5*k, 0 = -k - 3*c + 2*c - 6 for k.
-2
Suppose -6*i + 2*i + 20 = 0. Suppose -2*u = -3*u + 18. Solve -2*g + 4 = 2*q, 2 + u = i*q for g.
-2
Let h be ((-12)/30)/((-2)/40). Solve -4*q - 4*o = h, -2*o + 17 = -q + 2*o for q.
-5
Let g(f) = 5*f**2. Let l be g(2). Let t = -5 + 10. Let b = 8 - 5. Solve b*y = t*m + 35, 4*y = 8*y - l for m.
-4
Let y be 3*(8/(-7))/((-24)/28). Solve -t - 8 = 4*i, -i + y*t + 2 = -13 for i.
-1
Let u be 58/18 + (-4)/18. Let b = u - 8. Let y = b + 9. Solve 0 = -2*a - t - 8, -a - t - 2*t = y for a.
-4
Suppose 0*m = 2*m - 6. Suppose -w - 1 = -u, w = m*u - 8 - 1. Solve o = 4, o = -7*c + u*c + 13 for c.
3
Suppose 1 = 2*m - 3*f, 5*f = 5*m + 2*f - 25. Solve -2*t - 5*o = 22, -2*o = 3*t + m + 3 for t.
-1
Let i = -23 - -18. Let t = -3 - i. Solve 4*h - 5 = -2*v - 23, -3 = t*h - 5*v for h.
-4
Suppose 7 = -3*h - 8. Let r(z) = z**2 + 7*z + 4. Let a be r(h). Let i(t) = -t**2 - 7*t - 2. Let c be i(a). Solve 0 = 2*y, 2*y - c*y - 4 = p for p.
-4
Suppose -5*w + 2 = -8. Let i = -14 - -19. Suppose 3*r + 2*r - 20 = 0, 0 = i*l - 4*r + 1. Solve -3*g - l = -3*n, 4*g - 3*n - 2 = w*g for g.
-5
Let d(m) = m + 1. Suppose -h - 5 = 2*k, h - 5*k - 11 = 19. Suppose y = h - 3. Let c be d(y). Solve 2*b - 8 = -2*i, -c*i = i - 4*b for i.
2
Suppose -x = 4*v - 0 + 4, 3*v = -2*x - 3. Suppose 2*r - 8 - 6 = x. Solve 12 = 2*c + 2*s, -4*c + r*c - 17 = -2*s for c.
5
Let q(t) = -25*t**3 + t**2 - t + 1. Let b be q(1). Let v be 3/2*(-80)/b. Solve v + 7 = 4*r, y - r + 1 = 0 for y.
2
Suppose -4*y + 4*m + 20 = 0, 0*y - 5*m = -3*y + 25. Suppose y = -i + 3*f + 11, -i - 5*f = -f - 32. Solve -20 = 2*l - 3*k - 0*k, 0 = -l + 4*k - i for l.
-4
Suppose 5*m = 2*o - 19, 5*o - 6 = -m + 1. Let x be o/7 + 156/42. Solve 0 = -3*f - x*s - 32, 25 - 6 = -f - 3*s for f.
-4
Suppose -4*f - 30 + 62 = 0. Solve 4*g + 12 = 4*m - f, -3*g - 19 = -5*m for m.
2
Suppose -4*r - 20 = 0, 40 = 4*c - r + 3. Suppose -24 + c = -4*x. Solve -5*k - 9 = -x*a, k - 3*a - 37 = 6*k for k.
-5
Let t(s) = s**3 + 2*s**2 - 2*s - 2. Let k be t(-2). Solve -6 = k*w + 4*b + 4, 0 = -4*b for w.
-5
Let z = 9 - 9. Suppose -5*j + 31 - 11 = z. Solve 0 = d - 6*d + 3*x + 12, j = 4*x for d.
3
Let i = -11 - -21. Suppose -b + 77 = -5*t + 2*b, -b = 2*t + 22. Let w = 15 + t. Solve -w*a - 3*a = i, 4*a + 13 = -q for q.
-5
Suppose -r + 5 = 3. Let b be r*(0 + (-15)/(-6)). Let z(a) = a**3 - 2*a**2 - 4*a + 3. Let y be z(3). Solve -c + b*k = -y*c - 28, 3*c + 5*k + 16 = 0 for c.
3
Let j be (2/2)/(7/56). Solve p + j = -p, 0 = -z - 3*p - 10 for z.
2
Let a be (-3)/(15/(-25)) + -3. Solve a*s - 8 = 4*v - 0*v, v = -3*s + 12 for v.
0
Suppose -10 = -9*z + 10*z + 3*a, z + a + 2 = 0. Let k be (-4 + -2)*(-8)/(-6). Let c = 16 + k. Solve q - z*r - c = 5*q,