Let z be r(11). Suppose g = v*m + 35, 0*g + z*m - 11 = -g. Solve -h + 5*p = -g, -31 + 5 = -2*h + 5*p for h.
3
Suppose 0 = -11*w + 15*w. Solve -2*k = -5*x - 0*k + 5, w = -5*k for x.
1
Suppose 8*w + 15 = 13*w. Let c be (-12)/w*(-4 - -3). Solve -a + 24 = -4*t, -c*t - 7 - 1 = 3*a for a.
4
Let s = 5 - 1. Suppose -2*q = -3*k - s + 17, -2*k + 7 = -3*q. Solve -q = 3*x - 2*x - 3*j, 0 = -4*x - 2*j + 24 for x.
5
Suppose -17 = -2*y - 4*a - 1, 4*y + 16 = 4*a. Solve y = -2*n - 10, -24 = -2*f + n + 3*n for f.
2
Suppose 16 = -2*z - 18. Let w = z - -29. Solve 3*n - 12 = 0, n + w = -2*q + 2*n for q.
-4
Let a(p) = -p**3 + 5*p**2 - 5*p + 4. Let g be a(4). Let j = -13 - -18. Suppose -j = -v - g. Solve 0 = 5*r + 2*y + 14, 2*r - 2*y = -9 - v for r.
-4
Suppose 4*l - 3 - 13 = 0. Suppose 2*p - l = -0. Solve 0 = -w - 0*s + 4*s, -2*w = -p*s + 6 for w.
-4
Suppose -7*d + 5 = -2*d. Let i = 1 + d. Let f = i - -1. Solve -2*s + 3*s + 2*c + f = 0, 4*s = 3*c + 10 for s.
1
Suppose 0 = -5*m - 4*k - 10, k = 4*m - k - 18. Solve f + 5 = m*o - 1, 0 = 4*f - 2*o - 6 for f.
4
Let l be 4/8*(-2)/(-1). Let z = l - -3. Solve 0 = -0*v - 2*v + 2*f - z, -f - 2 = -5*v for v.
1
Let s = 1 - -21. Suppose 3*i - s = -7. Solve i*j = 4*u - 0*j + 20, -4*j = -5*u - 25 for u.
-5
Let a be (-30)/8*(-8 + 12). Let t = -12 - a. Solve 2*d + t*d + 3*l = -9, l = 4*d - 3 for d.
0
Suppose 0 = -2*n - 2*z + 28, -4*z + 2*z - 32 = -4*n. Solve -s = 3*f - n, -s - 16 = -5*f - 2*s for f.
3
Suppose 0 = 3*r - s - 9, 2*r - 6*s + 3*s - 13 = 0. Solve 4*d - 5 = r*l + 13, -4*d + 4*l + 16 = 0 for d.
5
Let h(v) = 2*v**2 + v + 2. Let u be h(0). Suppose -4*a + 3*x - 4 = 0, -3 + 19 = -u*a + 5*x. Solve 4*y - a*r = 12, -1 + 4 = y - r for y.
3
Let f be (8/(-7))/((-6)/21). Suppose 2*c - 6 = 0, -3*p = 2*p - 5*c + 5. Solve 0 = -t - u + 8, -f*u + p = -3*t - 2 for t.
4
Suppose -136 = 6*g - 2*g. Let q = g + 18. Let p be ((-26)/(-8))/((-4)/q). Solve 2*o = 4*k - 8, 3*o - 8 = -5*k + p for k.
3
Let t = -2 - -5. Let g(u) = -12*u**2 + 0*u**3 - u**3 - u + 0*u - 8. Let r be g(-12). Solve -t*b - r*a = -16, 3*a - 13 = b - 1 for b.
0
Suppose 4*v = 11 + 13. Let w = 7 - v. Solve 19 = -5*c + a, c - 8 = -3*a + w for c.
-3
Suppose 3*w = 3*a + 15, -2*w + 7 = a - 18. Solve 4*x = -4*f, -8*f + 3*f = -w for x.
-2
Let a(b) be the second derivative of -1/12*b**4 + 0 + 3*b - 4/3*b**3 + 0*b**2. Let k be a(-8). Solve -5*v = -k*t + 4*t - 12, v = 4 for t.
-2
Let h be ((-8)/10 - 0)*5. Let k be h/3*3/(-1). Solve -b - 14 - 9 = -5*a, k = 2*a - 3*b for a.
5
Suppose 3*u - 175 = -5*n, 0 = -3*n + n + 4*u + 44. Solve -p + n = 2*p + 4*d, -5*d = -25 for p.
4
Let u = -61 + 64. Solve -8 - 1 = -3*d + u*y, y = -4*d + 12 for d.
3
Let h = 18 + -2. Solve 5*o - 3*x = h, -o + 10 = -2*x + 4 for o.
2
Suppose -3*x = -4 - 2. Suppose x*c = -2*m + 5*c + 9, c - 25 = -4*m. Solve -m = 3*o + 2*j, o + j + 3 = 2 for o.
-4
Suppose -2*c = -0*c. Let g = c + 0. Suppose 0 = -5*i + a + 55, 3*a + g*a + 5 = -i. Solve 0 = -t - 5, 4*z = -i*t + 5*t - 9 for z.
4
Let c be 13 + -6 + 3*-1. Solve 5*m = -6*k + 3*k + 12, c*m = 2*k + 14 for m.
3
Let b(a) = 11*a**2 + a. Let d be b(-1). Let s be (-548)/(-5) + 4/d. Suppose s = 3*p + 2*p. Solve -4*c - 4*y = -2*c + p, -c = -4*y - 7 for c.
-5
Suppose m - 3 = 2. Let s be (-4 + 9)*(-3)/(-5). Let t be 1/((-3)/s) + m. Solve -4*l = -4*p + 16, 5*l - 5*p = -t*p - 20 for l.
-4
Suppose 4 = -3*c + 5*c. Solve -5*x + 2*p = -0*x - 15, 0 = -c*x - 2*p - 8 for x.
1
Let n(q) = -q**3 + 5*q**2 - 4*q - 1. Let r be n(3). Let v(b) = -b**3 + 5*b**2 + 2*b - 5. Let i be v(r). Solve -h + 0*w - 17 = 4*w, -i*w - 40 = 5*h for h.
-5
Let q = 0 - -2. Let d(v) = v**q - 3 - 3*v + 4 + v. Let n be d(1). Solve n = s - 2*p + 5*p - 7, -2*s - 5*p + 13 = 0 for s.
4
Let z(k) = -k + 24. Let u be z(22). Solve 5*h + 1 = 4*l, 5*l + 9 = -2*h + u for l.
-1
Suppose 5*d = -5*u + d + 41, -4*u = -5*d. Solve b = -2*b + 2*i - 12, 0 = -2*b - u*i + 11 for b.
-2
Let y = -30 + 33. Solve 0 = -4*r - y*n + 10, n + 2*n + 26 = 5*r for r.
4
Let y = 2 + 23. Suppose y = -13*x + 18*x. Solve 8*o - x = b + 4*o, -5*b - 2 = 3*o for b.
-1
Let v(q) = q**2 + 3*q - 4. Let h be v(-4). Let i be (h + 4)/(1 + 1). Suppose -6*g = -i*g - 8. Solve -11 = u - g*b, -2*u + 2*b = b + 7 for u.
-1
Let x(m) = -m + 2. Let y be x(5). Suppose -7 - 2 = 3*q. Let o = q - y. Solve o = 4*g - r - 5, 4*r = -3*g - 0*r - 20 for g.
0
Suppose 2*s + j - 5 = 0, -5*s = -s + 5*j - 13. Solve 5*x - 4*m + 23 = 0, 0 = -s*x + 2*m - 3*m - 4 for x.
-3
Let l(w) = w + 5. Let a be l(-6). Let i = a + -2. Let h be 4/(-10)*(-2 + i). Solve -2*p + 8 = p - m, -2*p + h*m = 0 for p.
4
Let l(u) = u**2 - 10*u + 13. Let x be (27/15)/((-1)/(-5)). Let q be l(x). Solve -5*b = -q*a + 37, 2*b + 3*a = -0*b - 1 for b.
-5
Suppose -5*s = 4*g + 24 - 99, 0 = 3*g + 3*s - 57. Solve 5*m - 5*q = -0*q + g, 2*q = -3*m + 12 for m.
4
Let a = -3 + 16. Solve -5*x + 3*r = -0*r + a, 0 = 5*r + 20 for x.
-5
Let n(z) = -z**2 - 3. Let l be n(0). Let t(i) = i - 1. Let k be t(1). Let y = k - l. Solve 5*g - 1 + 13 = y*u, -3 = 3*u for g.
-3
Suppose -2*b + 0 + 3 = 3*t, -t - b = 0. Solve -t*j + 15 = -2*w + 2*j, -5*w + 2*j = 6 for w.
0
Suppose 2*w = 5*c - 2, 5 - 29 = -4*c - 4*w. Solve 2*o - 4*l + 20 = 0, -c*l + 0*l = 3*o - 2 for o.
-2
Let c(w) = w + 3. Let r be c(-3). Let o = -1 + 6. Suppose o*u - 3 = 7. Solve r = i + g - 8, -19 + 5 = -4*i + u*g for i.
5
Suppose 0 = 3*w - 3*u - 6, -11*w + 3*u = -15*w + 15. Solve 3*m - 18 = 3*c, c - w*m = 3*c - 13 for c.
-1
Suppose 0*f - 4*f = -20. Solve 0 = 4*m - 3*y + 13, -f*m + 12 - 5 = 4*y for m.
-1
Let k(s) = 4*s**2 + 2*s - 1. Suppose 3*g + 5*t = 12, -2*t - 12 = -3*g - 5*t. Suppose l + g = -l. Let n be k(l). Solve 4*d - n = -3*y, 0*y = -2*d - y + 5 for d.
2
Let a be 6/(-15) + 214/10. Suppose 12 = 5*u - 3. Let h be 0*(-1 - 0/u). Solve 5*t + 2*s = s + 18, h = 4*t + 3*s - a for t.
3
Suppose -27 - 15 = -7*r. Solve -4*z - o - 17 = 0, -2*o + 2 = 2*z + r for z.
-5
Let n be (64/(-20))/((-6)/15). Solve -b + 5*h + 17 = b, 0 = 4*b + 4*h + n for b.
1
Let h = 10 + -5. Let v be (-2)/(1/(3/(-2))). Solve -h*j = -v*k - 2 - 2, 5*k + 5*j - 20 = 0 for k.
2
Suppose -5*f + 0*i - i - 657 = 0, 4*f - 2*i + 534 = 0. Let l be (18/27)/((-2)/f). Let v = l - 26. Solve 4*h = -w - v, -9 = 5*w + h + 5 for w.
-2
Suppose -4*n - n = -10. Solve -3*s = -4*h, n*s + h = 4*s + 5 for s.
-4
Let r = 14 - 5. Solve 4*d - 4*n + 4 = 0, -d + 3*n + 0 = r for d.
3
Let u be 7/14 + (-1)/2. Solve -4*k = -4*a - 24, -a + 2*a - 4*k + 12 = u for a.
-4
Suppose 2*s + 5*u + 4 = -2*s, 3*u = -3*s. Solve 3*j - 5 = 4*n + 7, 3*n + 16 = s*j for n.
0
Let i be 4/(-6) + (-2)/(-3). Suppose 0 = -s + d + 2*d + 18, -4*s + 2 = 2*d. Suppose 2*u + s*u = 30. Solve -x + 17 = -u*x - t, i = -3*x - t - 9 for x.
-4
Let f be (-57)/(-12) + (-9)/12. Solve 2*d = 3*h - 8 - 8, -16 = -f*h for d.
-2
Suppose -8 = -3*k + 2*v, k + 5*v - 3 = -6. Solve k*d + 2 = 3*z + 2*z, -2*d = 4*z + 2 for z.
0
Let g be (40/(-22) - 6/33)*-2. Solve 5*i + 5 = -5*s, -3*s + 6 = g*i - s for i.
4
Let c(z) = z**2 - 16*z - 33. Let v be c(18). Solve -x = 3, 5*x = v*m - 2 - 4 for m.
-3
Suppose 0 = g + g + 36. Let t be g/5*10/(-4). Suppose -2*v = -5*i + i - 4, -3*i = -3*v + t. Solve 5*p = -v*s - 10, -5*s = 3*p + 2*p + 15 for s.
-5
Let k(s) = s - 3. Let a be k(4). Suppose 3*r + 3 = 4*j, -4*r - 11 = 4*j - 35. Let f = a + r. Solve -f*u + 2*v + 23 = -3, 5*v + 45 = 5*u for u.
4
Let x(k) = 1 - k**3 - 2*k**2 + 2*k**2 - k**2. Let h be x(0). Let q = h + -1. Solve q*j + 4*y = -j + 19, 0 = -4*j + 3*y for j.
3
Let h = 2 - -4. Let o(r) = r**2 - 6*r + 3. Let n be o(h). Solve -t = -v - n*v - 1, -15 = 5*t for v.
-1
Let z = -17 - -27. Solve -5*g = -3*i + z, -3*i = -g + i - 19 for g.
1
Suppose 2*w + 0*w + 4*v - 10 = 0, 4*w + 2*v = 8. Suppose 0 = -m + w, 3*b - b + 4*m - 8 = 0. Solve 0 = -2*l + b, -3 = 4*s - 3*s - 5*l for s.
2
Let x(a) = a - 9. Let n be x(7). Let j be (-5)/((-10)/14) + n. Solve j*v + 10 = 0, -4*c - v + 3*v = -12 for c.
2
Let c(p) = -p + 9. Let n be c(5). Suppose -2*h = -v - 11, n*h + 2*v - 13 = v. Solve 23 = 5*f - i, h*f - 18 = i - 0*i for f.
5
Let l = 6 - 3. Let k(p) = -p**2 + 6*p - 1. Let u be k(5). Solve 15 = -u*v - 5*z, l*v = 3*z - 0 + 9 for v.
0
Suppose -g + 2 = 3*u - 13, 3*u - 27 = -5*g. Solve 2*l - 1 = g*l - 3*p, -3 = -2*l + p for l.
2
Suppose 5*z + 22 = 2*t, -3*z - 13 = t - 2. Let y be z/18 + 94/18. Suppose 2*