se -m - 3*m = 12. Let r be 4/m*(-9)/2. Solve 4*k = -5*x - r, 2*x - 6*x = -4*k - 24 for k.
-4
Let r(m) = m + 3. Let w be r(-3). Let b be (w + -5)*(-3)/5. Solve 5*j + d + 20 = 5*d, -5*j - b*d - 20 = 0 for j.
-4
Let c(b) = b**3 + 6*b**2 - 2*b - 10. Let j be c(-6). Solve -3*q + 13 = -x, 3*q - j*x = 2*q + 11 for q.
3
Suppose 3*f - 26 = o, 2*o = -2 + 4. Solve 0 = -3*q + q + 4*v + 22, 3*v = -f for q.
5
Let m(z) = -2*z**2 + 10*z + 5. Let q be m(5). Solve -s = q*f - 8, -4*s + 5*f = -8 + 1 for s.
3
Let y = 47 + -47. Solve 0 = -d + 3*b - 0*b + 2, y = b for d.
2
Let r(a) = -a**2 - 8*a + 12. Let b be r(-9). Solve 2*y - b*n + 12 - 5 = 0, -n = 3*y - 17 for y.
4
Let t(d) = -d**2 - 7*d - 4. Let p be t(-5). Let b = 6 - p. Solve -2*o - 4*h + b + 8 = 0, -5*o - 4*h = -2 for o.
-2
Suppose -2*i - 13 = -5*c, -3 = -4*i + 1. Solve 3*x - 37 = 4*f - 8, -3*f - c = 4*x for x.
3
Suppose 0*c + 18 = 3*c. Let y = -3 + c. Suppose -14 = -2*v - 0*h + 4*h, 5*v - 46 = -h. Solve 4*q - x - v = 0, 5*q - 6 = y*x - 0*x for q.
3
Let v = -16 + 21. Solve b = -5*n + 13, -v*b + 3*n + 8 = -1 for b.
3
Let l = -18 + 31. Let g = l + -11. Solve -y + 1 = g*s, 1 = -3*s - 5*y + y for s.
1
Let z be (4 - (0 - -2))*69/6. Solve -2*i - 5*m - z = 7, 5 = -5*i + 5*m for i.
-5
Let m be 427/63 + 2/9. Suppose -4*k = 2*v + m + 1, -3*v - 4 = 2*k. Solve 4*d = v, -4*f = -0*f + 5*d + 12 for f.
-3
Let o(q) = q + 1. Let p be o(-1). Let v = p - -3. Solve 3*k - v = -3*t, 0 = 3*t + 4*k - 0 - 4 for t.
0
Suppose -8 = -4*n - 0*n + 2*l, 3*l + 6 = 4*n. Let m(t) = t**2 - 2*t - 1. Let d be m(n). Solve -3*f + d*x = 5, x - 4 = 2*f - x for f.
-1
Suppose 0 = -3*j - 5*g, -4*j + 3*g = 2*g. Suppose -3*h + 2*s + 11 + 48 = 0, -s = -h + 20. Solve j = -4*m - n + 14, -2*n = 3*m + 2*m - h for m.
3
Suppose 0 = -4*u + 8, 0 = 5*o - 4*u - 7 - 15. Suppose -5*w = 4*r - 31, r + 3*w = o*w - 5. Solve 16 = 5*n - 0*k + 2*k, 0 = r*n - 5*k + 7 for n.
2
Suppose 4*p - 5*p = -2. Let h = p - 2. Suppose 0*w + 9 = 3*w. Solve 3*c + w*v - 2 = 1, h = 3*c - 2*v - 3 for c.
1
Let x be 29/((-3)/(-9)*3). Suppose -4*p - 9 = -x. Solve v - 2*v = p*n - 12, -n - 5*v = -12 for n.
2
Suppose 4*v + 2 - 14 = 0. Suppose 3*h - 45 - 15 = 0. Suppose l = -3*l + h. Solve y - 2*z + 18 = -v*y, 0 = -l*y - 3*z - 28 for y.
-5
Suppose 0 = n + 1, 4*m - 6 - 1 = -5*n. Suppose -m*a = -5*a. Suppose -8 = -0*h - 4*h. Solve d + 1 = 3*f, 0 = 2*f - h - a for d.
2
Let s be 0 - (-9 - 0) - 4. Suppose s*y = y. Solve y*n - 3*o = 3*n - 9, 4*n + o = 9 for n.
2
Let w(m) = 4*m**3 + m**2 - 2*m. Let v be w(1). Solve 0 = -5*o - v*p + 1, 4*p = -o - 10 for o.
2
Let d(j) = 7*j**3 + 2*j**2 - 1. Let l = -6 - -5. Let u be d(l). Let q = -1 - u. Solve 16 = c + q*t - 2, -12 = 4*c - t for c.
-2
Let z = -2 + 6. Let w = -2 + z. Suppose -s - w*s = -15. Solve -10 = -4*x - 3*f, -5*f + s - 3 = 3*x for x.
4
Let p be 1 - 5/(0 - -1). Let a = p + 6. Suppose s = 4*u + 17, -4*s - 3*u + 5 = a*u. Solve -2*x = -4*g - 30, 2*g + x + 30 = s*x for g.
-5
Suppose -n + 6 + 5 = 3*r, 2*r = n + 9. Solve -5*b = c - 3*c - 10, -2*c + r*b = 6 for c.
5
Let l(u) = -3*u**2 + 18*u + 1. Let v be l(6). Solve h - a - 4*a - 5 = 0, -v = -2*h + a for h.
0
Let f be (-24)/(-7)*(-35)/(-10). Solve -4*j - f = 0, 9 = 2*k - 3*j - 2 for k.
1
Let n = 7 - 15. Let k = 10 + n. Solve 3*c - 23 = -4*a, 4*c = -0*c - k*a + 14 for c.
1
Let u(r) = -2*r. Let j be u(1). Let a be j*(2 + (-14)/4). Solve 4*c - 5*c = -4*y - a, 0 = 5*c + 5*y - 15 for c.
3
Let t = -14 - -22. Let d(q) = q**3 - 8*q**2 + 5. Let m be d(t). Solve 4*a + j + 4 = -m, -4*j = -2*a for a.
-2
Suppose 0 = 5*z - 11 - 9. Suppose -z*n + 27 - 11 = 0. Solve -5*a = -n - 1, 0 = y - 5*a + 2 for y.
3
Let z be (-2)/6 - 6/(-18). Solve -c + 2*o = 4*c - 25, 2*c - 3*o - 21 = z for c.
3
Let h be (-3)/(-2)*4/3. Suppose -2*l = -h - 2. Solve 3*v = -l*i + 9, 5*v - 3*i + 0*i = 34 for v.
5
Let i = -276 + 396. Let j be ((-2)/5)/((-12)/i). Solve -j*r = r - 2*m + 3, 5*r + 4*m = -9 for r.
-1
Let b = -10 - -7. Let s(y) = -y**2 - 5*y - 2. Let t be s(b). Solve 0 = w + 5*z - t*z + 2, -w - 2 = 5*z for w.
-2
Let b(i) = i**2. Let y be b(2). Suppose -c + 11 = -o + y, 5*c = o + 31. Solve c*a + u = 2*a + 18, a = 2*u for a.
4
Let d(q) = -2*q - 14. Let a be d(-8). Solve 7*o + 3*p = a*o + 32, -2*p = 2*o - 16 for o.
4
Suppose 0 = b - 13. Suppose -b + 3 = 5*m. Let w = 5 + m. Solve 4*c + w*f = -15, 3*c + 11 = c - 5*f for c.
-3
Let f = 11 + -3. Solve -3*v - f - 5 = p, -4*p + v = 0 for p.
-1
Let s = -6 - -8. Suppose s*c - 14 = 4*c. Let h(w) = -w**3 - 6*w**2 + 8*w + 9. Let z be h(c). Solve -4*x = -3*m - 32, m = z*x + 1 - 15 for x.
5
Suppose o - 5 = n - 0*n, 0 = -4*n - 4*o + 20. Suppose n*p = -5*p + 10. Suppose 0*c - p*c + 6 = 0. Solve 4*b = -5*t + 8, 4*t = c*b - 5*b + 4 for b.
2
Let a be (-1)/3 - 65/(-15). Let k = a + -1. Solve x - 4 = -2*i - k, 5*x - 17 = 2*i for x.
3
Suppose -3 = -b - k, 0 = 5*b - 2*k + 4 - 54. Solve 5 = -2*m - p, 4*p - 4 - b = 0 for m.
-4
Suppose k + 48 = 3*k. Solve -4*t = 2*w + 28, 0 = t + 3*t + w + k for t.
-5
Suppose 5*m - 36 = -m. Solve -3*f + 2*f + 7 = -3*j, -3*f = -4*j - m for j.
-3
Suppose -u = 2*s - 0*s - 9, -2*s - 16 = -4*u. Suppose 5*n - 60 = s*n. Solve -5*k - n = -a, k + 18 = a + 2*a for k.
-3
Let q be 8 + -1 + -1 + -3. Suppose 0 = -2*f + 9 - 1, 18 = 2*y + q*f. Solve 0 = -i - 4*g - 9, -5*g - 7 = -y*i for i.
-1
Let o = 3 + -5. Let h = o + 5. Solve -h*n + 3*p + 24 = 0, -4*n - 2*p = -10 - 4 for n.
5
Let p be 4/(-10) + 6/15. Suppose -h - 5*s + 20 = p, 2*h + 18 = 5*h + s. Solve -3*u + 19 = 5*v, u + h*v = 4*u + 31 for u.
-2
Suppose 0 = -4*s + 9*s. Solve -2*j + 3*p + 12 = s, 5*p - p = -5*j + 7 for j.
3
Let j(k) be the first derivative of -k**2 - 6. Let r be j(-2). Solve 3*i + r*w - 4 = 0, i + 3*w - 2 = -i for i.
4
Suppose t + 0 - 2 = 0. Let d(v) = -v**3 - v + 2. Let c be d(0). Solve c*j + 1 = y + 2*y, -2 = 4*y - t*j for y.
-3
Suppose -18*c = -25*c + 14. Let t = -26 - -36. Solve 5*m + t = 0, -c*h = 3*m - 2 + 6 for h.
1
Let t = -2 + 6. Suppose 0 = -0*i - t*i. Solve 4*o = 12, o = -3*c - i*o + 12 for c.
3
Suppose 0 = -3*o - p - 5, -4*o + 2*p - 4*p - 10 = 0. Solve 2*j + 2*m = -8, o = j - 4*j - 2*m - 11 for j.
-3
Suppose x = -2*x. Suppose 5*w + 3*z - 40 = x, 0*w + 3*w + 5 = 4*z. Solve 0*o - 5*o = -5*c, w*c + o = 30 for c.
5
Let u be (12/10)/(4/(-10)). Let x be (18/(-1))/(-3) + u. Solve 0 = 4*v - 2*m + x + 17, -5*m + 20 = 0 for v.
-3
Let m(s) = -s**3 - s**2 - 3*s - 3. Let x be m(-1). Solve x = r, a + 4 + 1 = -4*r for a.
-5
Suppose -p = -5*i + 7, 12 = -p + 5*p. Solve -2*v = o + 8, -o - 3*v = i*o + 12 for o.
0
Let u(k) = k**2 - 13*k + 26. Let i be u(11). Solve v + 3*x - i = 0, 0*v = 5*v + 4*x + 13 for v.
-5
Let z(p) = 1 - p + 0 + 0*p**2 + 2*p**2. Suppose -4*f + 3 + 1 = 0. Let u be z(f). Solve 0 = -u*c + 2*i + i - 2, -i - 3 = 3*c for c.
-1
Suppose -h - 4*p + 9 = -10, 0 = 5*h - 3*p - 26. Solve 2*n = -w + 3*n + 1, w - 3*n - h = 0 for w.
-2
Suppose 2*x + 3*c + 0 - 3 = 0, -4*x - 2*c = -2. Solve -2*g = -3*b + 2*b + 5, -b - 5 = x for g.
-5
Let l = 8 + -8. Suppose l = -k - k + 4. Solve 0 = -h - k*i + 5*i + 7, -5*h + 5*i + 25 = 0 for h.
4
Suppose -9 = -2*f - 5*b, -f = -0*b + 3*b - 4. Suppose 0 = 2*n - f + 3. Let g be (2/4)/(n/16). Solve 0 = -2*y - i - 10, -g*y - 6*i = -3*i + 20 for y.
-5
Let q be -2*1*(-90)/12. Suppose -g + q = 4*g. Suppose -5*z - 18 = -4*t, -t - g*z - 2 = t. Solve t*b + 5 = r + 2*r, -b = -3*r + 7 for b.
2
Suppose 0 = 2*q - l - 38, 2*q + 2*l - 46 = l. Let s = q + -18. Solve -4*y = -s*j - j + 28, j = -y + 1 for j.
4
Suppose -4*h + 3*h + 4 = -5*l, -l - 5*h + 20 = 0. Let s be l - (3 - (2 - -4)). Solve s*u = -j + 5*u - 1, 5*u - 6 = -j for j.
1
Let m = -53 + 56. Solve 2*z + 2 = 5*t, 7 + m = z + 3*t for z.
4
Suppose -6*g + 3*g = -12. Solve 0 + 20 = -2*d + g*l, 3*d - 2 = -2*l for d.
-2
Let m = -3 - -6. Suppose t + 4*u = 25, -t = m*t + 5*u - 45. Solve -3*s + 2*s - 17 = 4*g, -t*g - 37 = -4*s for s.
3
Suppose -3*t - 30 - 12 = -4*r, -r = -4*t - 69. Let m = 28 + t. Solve 5*s - 2*k = -23, 0 = -4*s + k - m - 6 for s.
-3
Let g be (-5 + 3 - -4) + 5. Let f(x) = -x**2 + 7*x + 2. Let q be f(g). Solve 0 = -h + 6*l - l + 17, 2*h + 2*l = -q for h.
2
Let m be 1 + (-1 - -1) - 5. Let r be 1/(-3)*0 - m. Let y = -3 + 5. Solve p - r*i + 23 - 3 = 0, -y*i + 10 = p for p.
0
Let b(k) = -k**2 + 10*k - 17. Let g be b(7). Solve y - 3 + 4 = -2*w, -g*y = 4*w for y.