olve -d = 3*a + 16, 7*d - 2*d + 32 = -o*a for a.
-4
Let s(a) = -6*a + 0*a + 2*a + 6. Let z be s(-5). Suppose -2*k + 3*r + z = -r, -k - 15 = 5*r. Solve k = 2*f - f - 3*y, -5*f + 2*y = -25 for f.
5
Let l(z) = 7*z + 1. Let s(y) = 8*y + 2. Let a(m) = 7*l(m) - 6*s(m). Let g be a(10). Solve 0*q + 2*t + 3 = 5*q, 0 = -q - t - g for q.
-1
Suppose -25 = -5*i + 5*z, 0 = -4*i - 4*z - 0 - 4. Let u be (9/6)/(6/16). Suppose i*c - u*c = -8. Solve 0 = -2*v + c, q + 7 = -0*q + v for q.
-5
Let b(g) = -g**2 + 7*g + 4. Let l be b(7). Suppose -l*f + 2*f = -16. Solve 4*n + f = 2*o, -4*o = n + 3*n - 4 for o.
2
Let h(l) = l + 26. Let v be h(-16). Solve -2*k + v = 5*s, s + k + 25 = 6*s for s.
4
Let v(u) = -u**2 + 6*u - 3. Let o be v(4). Solve 2*k - 1 = -3*b + 4, -o*k + 21 = -b for k.
4
Let y = 10 + -14. Let n = y + 8. Solve -20 + 4 = q - n*a, 2*q = -5*a + 33 for q.
4
Let f be 3/(68/(-20) + 4). Solve -j + f*g + 6 = 0, -2 = 2*j + 5*g - g for j.
1
Suppose 5*n - 21 = -5*p + 3*p, 0 = -5*p - 5*n + 30. Let s = 8 - p. Solve 2*g - s*g + c - 14 = 0, 3*g = 4*c - 20 for g.
-4
Suppose 2*w + 2*w = 16. Solve 0*o + 15 = -m - w*o, -o = -3*m + 20 for m.
5
Let a = 2 - 0. Solve q + 7 = -2*j, -a = 2*j - 5*q + 23 for j.
-5
Let l(v) = v - 23. Let n be l(19). Let q be 7/(-1)*-1 - 1. Let k = q + n. Solve -3*u + 10 = k*a, -4*a - 2*u = -u - 20 for a.
5
Let t = 4 + 1. Suppose l = -t - 0. Let q be (-1)/1*3*l. Solve -2*g + q = 4*i + g, 8 = i + 5*g for i.
3
Let h(m) = -m**3 - 8*m**2 - 7*m + 1. Let z be h(-7). Let w be 1*(z - 0) - 1. Solve w*t = 2*t - 4*p + 28, -2*p = -3*t - 22 for t.
-4
Let h be (21/(-3)*-1)/1. Solve -3*x - h = -2*f, -3*f = f - 20 for x.
1
Suppose 2 = 4*d - 3*d. Suppose d = -b + 5. Let m = b + 1. Solve 2*p = -3*n - 7, m*n + 2*p + 7 = -3*p for n.
-3
Let j(m) = 2*m**2 + 7*m + 16. Let w be j(-5). Let u be (-3)/4*-4*1. Solve u*i + 55 - 20 = 5*f, 3*i - 4*f = -w for i.
-5
Suppose 0*c = 5*b - 2*c - 15, 0 = 4*c - 20. Suppose 2*r = b*r. Solve -29 = 3*i - 5*d, 2*i - d - d + 14 = r for i.
-3
Let j be 3*(2 + -1)*1. Suppose -r - 144 = -j*r. Suppose 4*g = -4*n + r, 0*g - 24 = -g - 4*n. Solve -5*q = y + g, -11 = -5*y + y + 5*q for y.
-1
Suppose 0 = -3*a + 3*m + 48, -4*m + 5*m = -5*a + 56. Let n = 343 + -340. Solve 0 = w - n*i + a, -11 = 3*w - 5*i + i for w.
3
Suppose -q - 2*f = 11, 2*q - 5*q - 3*f - 27 = 0. Let s(d) = -d**3 - 6*d**2 + 6*d - 1. Let x be s(q). Solve 4*u + 3*m = 12, 2*u + 3*m - x = 4*m for u.
3
Suppose -g - 3*g = 0. Let h be -1*1/(-1)*g. Let s be 1/(-2) + 3007/194. Solve h = -k + 5*z - 15, -3*k = 3*z + s - 6 for k.
-5
Let c be -6*((-4)/3)/4. Suppose 0 = -c*o + 4. Let i be (o/(-3)*6)/(-2). Solve 0 = m + 2*s + i*s + 12, 5*m = 3*s - 14 for m.
-4
Let c be -1 + (1 - -2) - 0. Suppose 0 = k - c*k + 3. Suppose 0*w + w + y = 8, 5*y = w - 14. Solve 2*u = 3*j, 2*j = k*u - 4 + w for u.
-3
Let i(z) = 2*z**2 + z - 2. Let a be i(-2). Solve -4*m + a*x = 3*x - 21, m - 4*x - 9 = 0 for m.
5
Let v = -14 + 7. Suppose 10*l - 7*l + 15 = 0. Let r = l - v. Solve -15 = -3*o - 5*u, -3*o - r*o = -u - 25 for o.
5
Suppose 0 = -z + 5 - 2. Solve -5*n = -z*x + 24, n = -2*x - n for x.
3
Let y be 2/((-2)/(-27)) - 2. Solve -5*n = -5*g - 25, 3*g + 5*n + 0 = y for g.
0
Let s be (2 - -1)/(-3)*1. Let y(k) = k**2. Let d be y(s). Solve -z - l - d = 0, 5*z + 5*l = z - 8 for z.
3
Suppose 100 = c + 85. Solve 4*f + 2*d - 1 + 7 = 0, -5*d = -c for f.
-3
Suppose 3*s - 3 - 26 = -5*w, 4*s = -4*w + 28. Let a be (-1)/w - 65/(-4). Solve 6*j = 4*g + 5*j + 16, -4*g - 2*j - a = 0 for g.
-4
Suppose 2*x + 14 = -2*g - 0*x, -2*g - x = 9. Let a = 10 + g. Solve -5*s - 2*w + w = a, 5*s - 4*w = -18 for s.
-2
Let z = 30 + -28. Solve q + 16 = -0*v + 3*v, z*v = 5*q + 28 for q.
-4
Let y be (-2)/(5/((-10)/4)). Let a be -5*1*y/(-1). Suppose -a*w + 0*w = 0. Solve w = -2*v + 4*k + 20, 3*v - 2*k - 22 = 2*k for v.
2
Suppose -r + 2*r = 4*z + 13, 4*r - 71 = -3*z. Let u = r - -1. Solve 5*h = -2*v + u, -2 - 6 = 2*h - 3*v for h.
2
Let y be (-6)/10 + 72/20. Solve y*c - 4*x = -c - 8, -3*c + 2*x = 2 for c.
2
Suppose -w = -13 + 1. Let n = w - -12. Suppose -12 = -m - m + 3*i, 4*m - 5*i - n = 0. Solve -3*x = -5*c - 19, 2*x - m*c + 3*c = 11 for x.
-2
Suppose -4 = 2*t - 2*j, 2*t - 4*j = t - 8. Let c(v) = v + 17. Let w be c(-5). Solve t = -n - 4*b + 4 - 1, 4*n - 3*b = w for n.
3
Let n = 76 + -73. Solve -3*x = -3*z + n, 3*x = 5*z - x for z.
-4
Suppose 2*r - 4*k + 8 = 4*r, -k + 2 = 2*r. Suppose b + r*b = 8. Let i = 38 - 17. Solve d = b*c - 3*c - i, 3*c = -d + 19 for d.
4
Suppose 0 = a + a + 4*l - 38, 5*l = 20. Let u = a + -6. Solve u*j - 3 + 2 = -4*d, 2*d + 5*j = 3 for d.
-1
Suppose 2*d + 4 + 1 = -5*x, 3*d - 30 = 5*x. Let q(g) = -g + 11. Let j be q(14). Let n be (-7 - -5)*j/2. Solve -5*y + n*t = -16, -d*y = -0*t + t - 8 for y.
2
Let r be (-5)/2*(-3 - -1). Suppose -2*s - 4 + 42 = 4*u, -35 = -4*u - s. Let d = u - r. Solve -t + 2*t + 12 = 5*n, d*n = -t + 12 for n.
3
Let h be (50 + -20)*(-4)/(-10). Let p = -2 - -2. Solve p*s = 2*s - 8, -h = -5*n + 2*s for n.
4
Suppose -t - 3*k + 16 = 0, -8*t + 112 = -4*t - 4*k. Solve 2*g + t = 3*s, 0 = -3*g + 2*s - 7*s + 10 for g.
-5
Let r(p) = p**3 - 13*p**2 + 13*p - 8. Let d be r(12). Solve -5*h + k - 2 = 17, -5*h - d*k = 24 for h.
-4
Let j be (-8)/(-36) - 68/(-18). Let d be -2 + (j*3 - 1). Let o be 3/d - (-17)/3. Solve 0 = -2*x - c + 12, o*c - 2*c + 2 = 2*x for x.
5
Let s be ((-30)/(-24))/((-1)/(-4)). Let y = 4 + -4. Let h be y + 1/(-2)*-8. Solve 4*o - 4 = -4*c, -h*o - o - c = -s for o.
1
Suppose u - 2*f = -2, -3*u - u + 1 = f. Solve 2*c = 3*j - 5, u = -2*c + 4 for j.
3
Let h = -17 + 17. Solve 16 = -4*r - 5*w, h = -4*w - w - 20 for r.
1
Suppose -2*c + 1 = -1. Let r be 1/((-12)/10 + c). Let i(g) = -g**3 - 4*g**2 + 5*g + 5. Let n be i(r). Solve -1 = 2*m - 2*l + 1, -3*l - n = -m for m.
-4
Let z(l) = -l + 10. Let r be z(7). Solve 2*b - 5*k - 10 = 0, -2*k + 15 = r*b + 2*k for b.
5
Let k(x) = 2*x**2 - 23*x - 8. Let u be k(12). Solve 0 = -0*w + w - u*o - 17, 5*o = 3*w - 30 for w.
5
Let g(d) = d**3 + 6*d**2 + 6*d + 1. Let k be g(-5). Let v = k - -9. Solve 5*l - 4*x = 3*l, -v*l = -x for l.
0
Let l(i) = -5*i**3 - 2*i - 1. Suppose 9 - 14 = 5*k. Let t be l(k). Solve 2*n - b - 3 + t = 0, -2*b = 2 for n.
-2
Suppose 2*f + 2 = 0, -g + f + 4*f + 20 = 0. Solve g = 4*a + u, -2*u + 5 = 3*a - 0*a for a.
5
Let c = -21 - -24. Suppose -2*a + a = -c. Solve 0*v - a*v = w + 12, 0 = -2*w - 2*v - 8 for w.
0
Let q = -8 - -11. Suppose 10 = -r + q*r. Solve 2*l + 5 = r*l - z, l + 2*z + 3 = 0 for l.
1
Suppose b + 4*c = 1, 4*c + 0*c = 0. Suppose z = 1 + b. Solve -4*p - 2 = z*r, -2*r + 7*r + 5*p = 0 for r.
1
Suppose -i = 1, 0*l - 2*i - 14 = -2*l. Solve 5*r + 8 = 2*v - l, -4 = r for v.
-3
Let d = -3 + 7. Suppose 0 = -d*c - 0 + 12. Let l(p) = p**3 - 6*p**2 + 6*p - 2. Let b be l(5). Solve -c*v = 5*n + 30, -2*v - b*n = -8*n - 5 for v.
-5
Suppose -r + 31 = 10. Suppose -6*j + j - 35 = -5*v, -5*j = 2*v + r. Let n be (7 - 2)/(-1 + v). Solve -n*k + 25 = 5*d, 2*d - 3*k + 9 = -d for d.
1
Suppose 7 - 2 = t. Solve 0 = -0*n + 4*n - t*k - 7, 2*n = -3*k + 9 for n.
3
Suppose -n + 1 = -0*n. Suppose 0 = -3*p + 2*p - 2*w, -11 = -3*p + 5*w. Let c be p/(2*n/3). Solve 0 = -v + m + c*m - 7, -5*m + 8 = -2*v for v.
1
Let d(l) = l**3 - 3*l**2 + l + 2. Let m be d(2). Suppose 0 = -4*v + 5 + 7. Solve -v*q - 10 = 4*s - m*s, -4*q = 2*s for q.
2
Suppose -2 = -h - 0. Suppose 5*f = -2*d + 2 + 34, -h*d = 3*f - 20. Solve -4*b = 5*q + 10, 3*q + 10 = f*q for b.
-5
Let t(x) = x**3 - 9*x**2 - 9*x + 12. Let s be t(10). Let g = s - 15. Solve u - 2*y = -g*y + 10, -4*u - y = -2 for u.
0
Let i be 7 + (-4 + -2)/3. Let a = i - 2. Suppose -m + 2 = -2*v, -4 = a*m - 6*m + 4*v. Solve 0 = 4*n + x - 2, 2*n + 4*x - 8 = -m for n.
0
Suppose 5*p - 57 = 38. Let h(z) = z**3 - z**2 - 2*z + 3. Let i be h(2). Solve -3*n - 11 = 5*l + 2, -i*l = -n + p for n.
4
Let y be 24/10 + 6/10. Suppose -3*c - 5*q = 9, -y*q + 6 = -2*c + 19. Let o(z) = z + 6. Let k be o(-4). Solve 0 = -c*f + k*u, 2*f = -2*f + 3*u + 2 for f.
2
Let s(p) = 5*p**2 - 30*p - 17. Let r(m) = 3*m**2 - 20*m - 11. Let b(w) = 8*r(w) - 5*s(w). Let g be b(-7). Solve 4*u = 2*y - g, -5*u - 4*y + 12 = 41 for u.
-5
Suppose -5 = -3*l - 2*l. Suppose l = -h + 7. Solve 3*a - 11 = -2*t, -25 = -h*a + a - 5*t for a.
1
Suppose 4*r = -0*r - 40. Let u be (5/(-2) - -2)*r. Let s be 6/14 - 12/28