 19 = -b*v, 0*o + 3*v = 4*o + 11 for o.
1
Let p = 74 - 70. Solve 2*h = 5*z + 3*h - 23, 4*z - 28 = -p*h for z.
4
Let n be (-3)/1 + 2 - (4 - 7). Solve -17 = -3*t + 5*l, -2*t - n*l = -3*t + 6 for t.
4
Let o(b) = 2*b + 5. Let w be o(-6). Let c = w - -11. Solve 3*h = 3*g + 12, -6*g = -c*g - h + 5 for g.
-1
Let r(x) = 31*x - 1. Let t be r(1). Let y be t - (-1 - 1 - -2). Solve 3*q + 2*b - 5 = 2*q, -y = 5*q - b for q.
-5
Let s(v) = -v**3 + v**2 + 6*v + 1. Let f be s(3). Solve -4*r = 3*o - 6, -r + 4*o - 9 + f = 0 for r.
0
Suppose -n - 2 = -4. Suppose 4 + 1 = -x - 4*b, -n*x + 4*b = -26. Solve -h - m - 5 = 2*h, -5*h = 3*m + x for h.
-2
Let c(o) = o + 8. Let h be c(-6). Let f be h/3*15/2. Solve -4*t = f*j + 12, -5 = t - j - 2 for t.
-3
Let w(u) = -u + 17. Let n be w(11). Solve 0 = -5*m + f - 18, 4*m - 3*f = m - n for m.
-4
Let w(v) = v - 3. Let c be w(0). Let l = c - -5. Suppose l = x - 2. Solve 0 = -2*r - 2*n - 4 + 12, -2*r + 2 = -x*n for r.
3
Let n(g) = -3 + 4 - 2 + g. Let h be n(5). Solve -3*c + 5*q - 18 = -48, -h*c + 8 = 4*q for c.
5
Let k be (-2)/(-7) + (-79)/7. Let v = -6 - k. Let w be ((-33)/(-9) - 2)*3. Solve -v*z - 20 = 4*h, 3*z - w*z = 5*h + 8 for z.
-4
Suppose -13 = s - 5*k, 0*s - 23 = -4*s - 5*k. Solve -3*b = -3*q - 0*q - 18, s*b - 4*q = 16 for b.
4
Let o be (-6)/6 - (-1 + -3). Suppose -o*t + q - 2 = 0, -4*t = -6*t + q - 3. Solve 1 = 5*g - v, 3*g + 2*v = t + 10 for g.
1
Let u = -3 - -2. Let l be -3*3/(-9) + u. Solve 0 = -2*i - 0*v + v - 6, 4*i + v = l for i.
-1
Suppose -2*n = -5*n - 4*s + 7, -2*n + 3*s = -16. Solve -4*j - 1 = -3*m + 23, 0 = -n*j + 5*m - 35 for j.
-3
Let u be (0 + -2)*(-6)/(-4). Let c be ((-6)/9)/(1/u). Solve 4*z - 4 = 2*d - 2, -3*z + 2 = -c*d for z.
0
Suppose 6 = -3*s - 5*r, -4*s + 3*r + 16 + 5 = 0. Solve s*a + 0 = 4*k - 9, -2*k = -2*a - 6 for a.
-3
Suppose 2*x + 3*x = 0. Suppose z = -x*z + 5. Solve -28 = -5*s + s - 4*p, z*s - 4*p = -1 for s.
3
Let l(v) = v**3 - 4*v**2 - 5*v + 4. Let a be l(5). Solve a*s - b = -12, 9 = -3*s - 3*b - b for s.
-3
Let c = 49 + -29. Let u = c + -16. Solve -u*v = -m + 2*m - 17, 3*v - m = 4 for v.
3
Suppose 8 = -2*w - 4*l + 2, -w = -2*l - 9. Suppose f + 2 = w*c, 13 + 3 = -2*c + 5*f. Let t = c - 2. Solve t*m - 2*m - 16 = 5*d, 0 = -3*d + 4*m - 20 for d.
-4
Let p(n) = -n**2 - 3*n + 2. Let m be p(-2). Let u = m - 1. Suppose 18 = 5*i - 2. Solve u*w = a - 8, -i*a + 3*w = -6*a + 7 for a.
5
Let t(s) = s**3 - 18*s**2 + 17*s + 2. Let n be t(17). Solve 4*q = -4*v + 8, q - 6*q = v - n for q.
0
Let v = 4 - 2. Let b be v*(2 + -3)/(-1). Solve -p + 4*z + 0*z - 21 = 0, -b*p - 30 = -5*z for p.
-5
Let f = 40 - 38. Let d(r) = r**2 - 8*r - 2*r**2 - 1 + 3*r. Let g be d(-4). Solve -5*p + 1 = f*i - 11, 0 = g*p + 3*i for p.
4
Suppose -4*r - a = -5*a, 4*r = 2*a - 2. Let o be r*(-2)/(-3)*3. Let d(g) = g**2 + g + 1. Let l be d(o). Solve 4*i - w = 13, 4*w = -i + l*i + 4 for i.
4
Let m(j) = j + 2. Let v be m(2). Suppose -4*u + 2*h + 10 = 0, u + 2*h - 6*h = -8. Suppose 2*k + 0*k = u. Solve v*g - 2*p + p = -5, -g + k*p = 10 for g.
0
Suppose -2*d + 42 = -0*d. Suppose -5*q = u - 25, 0 = q - 5*u + d - 0. Solve 2*b = -x + b - q, -5*x + 2*b - 20 = 0 for x.
-4
Let w be (-46)/(-8) + (-24)/32. Solve -w*o + 5 = -5*z, -8 = 5*o + z + 11 for o.
-3
Suppose -7*u = 2 - 16. Solve -2*z = -5*m + 11, -u*z = m - 4 - 3 for m.
3
Suppose -4*d + 26 = 10. Solve 3*w - 4*c + 19 = 0, w - 10 = d*w + 5*c for w.
-5
Let v = -5 + 2. Suppose 20 = -4*j + 16. Let d = j - v. Solve w - 11 = 2*o, 5*w + 4 = -d*o - 1 for w.
1
Suppose -2*m + 4 = -0*m. Suppose -m*i - i = 3. Let s = i - -3. Solve -s*u + 5 + 1 = -2*r, u + 1 = 0 for r.
-4
Let r be ((-4)/6)/(8/(-36)). Suppose 0 = -2*t - r + 19. Solve 2*j = -t, z + 23 = -2*j + 10 for z.
-5
Let c(u) = -u**2 - 8*u - 4. Let l(a) = a**2 + 10*a - 7. Let k be l(-10). Let t be c(k). Solve 0 = -s - b + 8, 4*s - 4*b = -t*b + 7 for s.
3
Let j = 28 - 18. Solve -3*i = -3*l, -3*l - i - j = i for l.
-2
Let k(u) = -u**2 + 9*u + 2. Let n be k(9). Suppose 65 + 7 = 3*o. Suppose 0 = -4*x - 4 + o. Solve -10 = x*h - 2*p, 7*p - 25 = n*p for h.
0
Let h(x) = x**2 + 8*x + 9. Let f be h(-7). Solve 3*t = -5*v + 25, 0 = -3*v - f*v - 4*t + 30 for v.
2
Suppose 3*a - x = 5*a - 47, -5*x = -2*a + 53. Suppose 0 = -2*i - 0*i + a. Solve -i - 9 = 2*t - 5*y, 4*y - 24 = -2*t for t.
2
Let t be (3 + -1)*1 - -2. Suppose 3*m + o - 4 = 5, -t*m + 2*o = -22. Solve -y - m = 0, -3*y - 6 = -2*q - 4*y for q.
5
Let j be (-4)/(-2) - (-2 + 1). Suppose 0 = -s + j + 1. Suppose -5*d + 3*v = 6*v - 25, 2*d = 2*v - 6. Solve z - d*f = -7, -s*z + 4*f - 12 = -0 for z.
1
Let r(m) = m**2 + 3*m + 2. Let i be r(-2). Suppose -f + 0 + 6 = i. Let l be (-2 - -1)/(11/(-99)). Solve l = c - 4*u + 1, f = c - 3*u for c.
0
Let d(i) = -i - 6. Let w be d(-9). Solve -2*r = -w*z - 3 - 14, 5*r - 5 = 0 for z.
-5
Let c(q) = q**3 - 2*q. Let a be c(2). Suppose -4*f + 2*f = 0. Solve j = 3*x - a, 0*x - 2*x + 2*j + 8 = f for x.
0
Let a be 1 - (-3)/(-1) - -7. Solve -2*j - 10 = -a*y, 17 = -y - 3*j + 2 for y.
0
Let d(w) = -w**2 + 8*w - 6. Let k be d(7). Let l = 1 + k. Suppose 1 + 9 = l*t. Solve t*r + 3 = -4*f + 9, 0 = 3*f + r + 1 for f.
-1
Let w be (-6)/((-3)/1) - -1. Solve 0 = 5*x - w*a - 10, 2*x - 8 = -0*x + 2*a for x.
-1
Let x be (3 + -3)*1*-1. Suppose -4*u = -2*w, 0*w + 4*w = -4*u + 24. Solve -5*a - 3*d - 8 = x, -a + w*d + 6 = -3*a for a.
-1
Let r = 21 - 18. Suppose m + 0*n = -5*n + 20, r*n = 4*m + 12. Solve 5*h + 5*y + 5 = m, -4*h + 3*y + 8 = y for h.
1
Let w(z) = 53*z**2. Let c be w(-1). Let n = c + -29. Solve 0 = -2*x + 7*x - 2*f + n, 4*x = 3*f - 22 for x.
-4
Suppose y = -y + 10. Solve 4*u - 2*u + b + 7 = 0, 4*b = -y*u - 25 for u.
-1
Let p(q) = -q**3 + 7*q**2 + 21*q - 2. Let y be p(9). Solve -2*o - n + 4*n = 5, 0 = 5*o + 5*n - y for o.
2
Let s be -1 + 1/((-1)/(-2)). Let j(y) = 2*y**2 + 2*y - 1. Let m be j(s). Solve -m*n + 0 + 12 = -p, -n + 12 = -3*p for p.
-3
Suppose -3*b + 0*b + 9 = 0. Solve 0 = b*p - 5*j + 2, 2*p - 2*j + 7 = 3 for p.
-4
Let i(w) = -2*w**2 + 2. Let x be ((-1)/2)/(1/4). Let j be i(x). Let l be 4/j*-3 + 1. Solve -2*m - 5*c + 2 = -3*m, 0 = -l*c for m.
-2
Let g(z) = z + 4. Let n be g(6). Suppose -w - n = -3*w - 2*m, 0 = 2*w + 3*m - 13. Solve -q + 0 = -4*r + 1, 4*r + w = -2*q for q.
-1
Suppose 5*r + 0*r = 0. Suppose -5*n + 33 - 8 = r. Solve 3*s - n*v + v = 15, 5*v = 0 for s.
5
Let c(i) be the first derivative of -i**4/4 - i**3/3 + 4*i - 10. Let s be c(0). Solve -2*v + 3 = j, 2*j = v + s*j - 6 for v.
0
Let w be 8*((-6)/(-42))/((-4)/(-7)). Solve 2*r = -w*c - 4, 0 = -c + 3*c - 4*r + 4 for c.
-2
Suppose a - 20 = 11. Let n = a + -17. Solve -5*v + 9 = y, -2*v + y = 4*y - n for v.
1
Let p(y) = -y**2 + 1. Let c be p(1). Let i be (-3 - -2)/(1/(-19)). Solve c = -5*l + h + 21, 5*l + 0*l = -h + i for l.
4
Suppose 3*h + 3 = -2*l - 2, 3*h + 2 = l. Let x be 7 - h - (3 - 1). Solve 3*f - o = -18, -x*f - 5*o - 5 = -2*f for f.
-5
Suppose -4*o + 32 = 4*j, -4 = -0*j - 2*j. Solve u + 1 = 3*w - o, 5*w - 4*u = 0 for w.
4
Let k(g) = g**3 + 4. Let u be k(0). Let s be u + -5 + 7 + 0. Solve 8 = a - 4*b, s*b = -4*a + b - 10 for a.
0
Let w(b) be the first derivative of b**2/2 + b + 2. Let k be w(-5). Let l = -4 - k. Solve -4*u = 2*h - 10, -3*u + l*h - 12 = -5*h for u.
1
Let i = -92 + 95. Solve -2*z = -u - 12, u + 2*z - i*z + 8 = 0 for u.
-4
Let f(i) = i - 2. Let z be f(3). Suppose -7 = -2*o + z. Suppose -20 - 13 = -4*x - 5*m, 5*x + 3*m = 51. Solve -3*r = -x, -o*h + 0*r = -3*r + 32 for h.
-5
Let t be 9/(-36) - 13/(-4). Suppose -1 = r - t. Solve y + r = n, 25 = -4*y - y for n.
-3
Let i = 9 - 6. Solve 5*o - 4*s = -16, 3*o + 11 = o - i*s for o.
-4
Suppose -a = -3*p + 20, 2*a = 3*p - 0*p - 25. Solve -4*m + 2*m = -3*h - p, 10 = -2*h for m.
-5
Suppose 802 = m + 2*m + f, -2*f = -2*m + 532. Let j be (-5)/(-25) + m/15. Solve 4*r - 2*w + j = 0, 0*r + 3*r + 15 = 3*w for r.
-4
Suppose 9*r = 14*r - 25. Solve 0 = -4*p + 2*x - 20, -r*p - 26 = -x - 4 for p.
-4
Let v = 6 - 3. Let o be v - (1 - (3 - 2)). Solve 3*m + 2*q + 13 = 3, -o*q + 15 = -3*m for m.
-4
Let t = 8 + -5. Solve 0 = 5*x + a - t, 3*x = -2*a - 1 for x.
1
Let o be ((-2)/(-4))/(1/10). Suppose 3*d - 4 = o. Solve -4*q - 4*v + 0 + 8 = 0, 0 = -5*q + d*v - 30 for q.
-3
Let q(s) = -s**2 - 6*s - 7. Let z be q(-3). Solve -3*n = 3*h - 9, 5*n = 5*h + z + 3 for h.
1
Suppose -2*y + 2 = -4. S