 be (-1)/(-2)*(z - -5). Solve -3*u + 5*c + y = 0, -2*u + 3*c = 2*c for u.
-1
Let q(m) = -m**2. Let x be q(1). Let z be x/(-5) - 2/10. Solve 1 - 13 = -w - 2*b, 5*w + 4*b - 30 = z for w.
2
Let d = -51 + 59. Solve 2*v + d = -2*u, 1 = v + 5*u + 5 for v.
-4
Suppose 20 = -2*f + 7*f. Solve f*c = 5*n - 5, -n - 23 = -0*n + 4*c for n.
-3
Suppose 23 = 4*b - 5*c, 20 = 3*b - 4*c + 2. Solve b*z = -2*t - 2, t - 17 - 2 = 3*z for t.
4
Let k(y) = -y**2 - 13*y - 8. Suppose 2*j = 2*n + 28, -2*j = 2*n - 6*j + 32. Let t be k(n). Solve -2*r = -2*p + t*p, 4*r = 2*p + 24 for r.
4
Let x be -9*(-1 + (1 - -1)). Let w(n) = -n - 7. Let p be w(x). Solve 0 = p*m - u - 4, -u + 10 = -m + 6*m for m.
2
Let k = -22 - -25. Solve k*x - 1 = 5*w, -2*x + 1 + 2 = -w for x.
2
Let i(g) = g**2 + 14*g + 2. Let j be i(-14). Solve 0 = -q - 4*k + 13, -3*q + j*k = 27 - 10 for q.
-3
Let g(r) = r + 6. Let j be g(-4). Solve -5*b - 25 = j*l, 2*l - 7*l - 40 = 5*b for l.
-5
Let m(t) = t + 15. Let g be m(-11). Solve g*i - 4 = -4*r, -2*r = -4*i - 19 + 5 for i.
-2
Let s = 9 + 2. Let d = -9 + s. Solve 3*u - d*z = 10, -2*u - 3*z + 2 = -2*z for u.
2
Suppose -5*a - 8 = j, a + 0*a + 12 = 5*j. Solve -2*p - x + 3 = -0*p, -3*p - j = -5*x for p.
1
Suppose -3*z + 17 = -2*l, -2*z + l - 1 = -12. Let v be ((0 - 1)*0)/1. Solve v = -5*r - 5*a + z, r + 11 = -3*a + 5*a for r.
-3
Let p = 7 + -2. Let v be (-3 - -6)/3*2. Solve 2*w = 3*i - 10, -w - v*w = -p*i + 15 for i.
0
Suppose -4*w + w + j = -126, 5*w - j = 210. Suppose -16 = -o + 2*x, -4*x + 6*x + w = 2*o. Solve 0*f + 5*f = -4*a - 12, 4*f = 5*a - o for a.
2
Let b = 67 - 63. Solve 4*n - r + 11 = 0, -14 - 6 = b*r for n.
-4
Let u(p) = 4*p - 4. Suppose 4*k + m - 19 = 0, -4*k + 5 = 3*m - 4. Let q be u(k). Solve 0 = -5*z - q, 0 = 4*t - 5*t - z - 4 for t.
0
Suppose 12 = f + 5*f. Solve -a = f, 19 + 7 = 4*j - 5*a for j.
4
Suppose 3*o - 8 = 2*l - 2, 5*o = -2*l + 10. Suppose l = 2*w + 21 + 27. Let g = 35 + w. Solve 3*j - g = -0*t - 4*t, -2*j = 2*t - 6 for t.
2
Let c be (1 + -1)*(-3)/(-12). Solve -4*g - 6 = -c*g + 2*z, g + 3*z = -4 for g.
-1
Let o(i) = -i**2 - 5*i - 1. Let t be o(-4). Solve 4 = -4*b + 3*h, -4*h - 11 = -2*b - t for b.
-4
Let y be ((-6)/9)/(1/(-6)). Let n = y - 4. Suppose -2*r - 5*q = -1, n*r = r - q - 4. Solve -2*f - 10 = -5*o, -4*f - 5 = -o - r for f.
0
Let i(l) = -l**3 + 2*l**2 - l + 2. Let t = 7 + -5. Let a be i(t). Solve -3*b + 0*b + 2*u + 23 = a, 0 = 4*b - 3*u - 32 for b.
5
Let s = 2 + 3. Solve -4*o - 2 = 6, 2*c - s*o = 6 for c.
-2
Let s = 7 + -2. Suppose 0*y = -s*y - 5*z + 20, 2*y + 5*z - 14 = 0. Solve -2*j - l = 4, y*j + 3*l = -l - 10 for j.
-1
Suppose 3*f = -21 + 30. Solve 0 = f*b - 4*p - 11, 4*b + 0*b = -3*p - 2 for b.
1
Let a be 1/(-1*3/(-15)). Suppose -2 = a*j - 22. Suppose j*u - 9 - 3 = 0. Solve d = -d - 5*h + 7, -2 = u*d - 5*h for d.
1
Let g = 11 - 3. Suppose g = t - 7. Let i be 24/t + (-2)/(-5). Solve 3 = 4*y - 3*b, 4*y = -3*b - i*b - 5 for y.
0
Let i be (4 - 0) + (0 - -1). Let x(v) = -v**3 - 6*v**2 - 5*v + 7. Let j be x(-5). Let d = j - 5. Solve 0 = -b - w - d - 1, i = -5*b + 5*w for b.
-2
Let o be (34/10 - 3)*-5 + 18. Let y be -4 - -2 - 7*-1. Solve 3*b + 34 = 5*c, -y*c - 2*b = -o - 3 for c.
5
Let m(q) = 2*q**2 + 2*q - 16. Let i be m(-4). Solve -2*a + i = 3*g, g = -0*a + 5*a + 14 for a.
-2
Let y = 13 + -33. Let p = -12 - y. Let o be (1 + -2)/(p/(-16)). Solve -h + o = -5*k + 5, 2*h - 2*k - 2 = 0 for h.
2
Suppose 0 = s - 6 + 3. Suppose 10 = -5*z - 2*f, 4*z + f + s = -2. Suppose z = -l + 11 - 0. Solve 3*q - l = -5*c, -4*c - 3*q + 10 = -0*q for c.
1
Let t be (-24)/(-36)*48/2. Solve 3*a - q + t = 0, q - 24 = 3*a - 2*q for a.
-4
Suppose 3*y - 3*x = -7*x - 14, -2*y - 3*x = 11. Let v be 2*(-2)/10*-5. Suppose -y*u + l - 5 = 0, 4 = v*l - 6. Solve 0 = m - q, u = -2*m - 2*q + 7 + 5 for m.
3
Let r be 24/18*(-6)/(-4). Suppose r*w - 10 = 6. Solve 5*p + 4*n - 3 = 17, w = 2*p + 5*n for p.
4
Let d be (-6)/(-2) + 0 + -1. Let q be 10*d - (1 + -1). Solve -4*f + 10 = -0*f - 2*h, -q = -3*f + 4*h for f.
0
Suppose 0 = w - 4 - 4. Suppose -o + 2 = l, -4*o + 4*l = -0*o + w. Solve o = b - 3*n - 5 - 7, -5*b = 5*n + 20 for b.
0
Suppose 4*w - 20 = 0, -5*w = -5*a - 8 - 17. Solve 3*l = -4*n - 25, 2*l + a*n = -4*n - 22 for l.
-3
Let l(u) = 12*u**2 - u - 1. Let f be 4/(-6)*3/2. Let y be l(f). Suppose j = -3*j + y. Solve 3 = 3*b - 4*t, -3*b = 4*t - j*t - 3 for b.
1
Let t = -40 + -11. Let c = t - -73. Let l = c - 15. Solve 4*h + 3*j = -l, -4*j = 12 + 8 for h.
2
Suppose 3*b + x = 8, 0*b + 5*x = b + 8. Solve -2 = b*y, 0 = 3*t + 2*y - 5 - 2 for t.
3
Suppose 3*k + 5 - 17 = 0. Suppose -j - 2 = -14. Let p be ((-32)/j)/(2/(-3)). Solve k*a - 12 = p*y, 4*y = -2*a + 2*y + 6 for a.
3
Suppose j - 3*j = 0. Suppose 3*q + 2*q - 20 = j. Solve -q*n + 19 = -0*g + g, 4*n - 21 = g for g.
-1
Let x = -27 - -45. Solve -2*f + 2*a = 2*f - x, 0 = -2*f + 3*a + 11 for f.
4
Let v be (6 - 0) + -7 - (-1)/1. Solve -15 = -2*i - u - v*u, 35 = 2*i + 5*u for i.
5
Let l = 18 + -18. Solve x = l, -12 = -2*h + 6*h + 5*x for h.
-3
Suppose -74 + 189 = 5*w. Suppose 0*t - 5*t = -20. Solve 2*a = -4*g - t, 3*g - 4*a = a + w for g.
1
Let g = -23 + 23. Let b(u) = u**3 + u**2 + u + 2. Let m be b(g). Solve -5*l = -2*l + 5*t + 1, 8 = -5*l - m*t for l.
-2
Let q(f) = -f**3 + 9*f**2 - 7*f - 8. Let y be q(8). Suppose -2 = -y*x + x, -2*t = -4*x - 12. Let i = 22 + -14. Solve t*a + 2 = 5*z, 4*a = 2*z + 2*z + i for a.
4
Suppose -2*l = 2*l + 192. Let x be (-2)/(-9) + l/(-27). Solve r - 5 = -q, 3*r + x*q - 6 = 7 for r.
3
Let j be -5*(1 + 18/(-10)). Suppose j*h - 3*l - 35 = 0, -13 = 2*h + 4*l - 3. Solve 5*q + h = 5*c, 2*c + 0*q = 4*q + 4 for c.
0
Suppose 18*h - 6*h - 36 = 0. Solve -3*q + 24 = q + h*j, 5*q - 19 = -j for q.
3
Suppose -4*p - 24 = -10*p. Solve 5*h - a - 3*a = -5, -p*a = 2*h - 26 for h.
3
Suppose -27 = -3*h - 0*h. Suppose 25 = -5*m, -2*u - 3*m - h = -0*u. Solve 0 = v - 3*a + 17 - 7, u*v = 5*a - 18 for v.
-1
Let g = 10 - 10. Let b be g/((-2)/(1 + -3)). Let t = 6 + -4. Solve b*u + 16 = 4*u, t*x + 4*u = 22 for x.
3
Let f be 0 + (-1 - 0/(-1)). Let y be 55*(-1 - -1 - f). Let d = 86 - y. Solve -r + 2*a - 5 = 3, 3*r - d = -5*a for r.
2
Let o(l) = -l**3 + 10*l**2. Let z be o(10). Suppose 4*v + z*v - 8 = 0. Solve 4*i + 6*g + 1 = g, 0 = v*i + g - 1 for i.
1
Let i be ((-8)/(-36))/(4/9)*34. Solve 0 = -5*d - 2*g + i, -25 + 5 = -5*d - 5*g for d.
3
Let j(h) = h**3 - 6*h**2 + 5*h - 1. Let a be j(5). Let n = a - -3. Solve -2*g + 9 = s + n*g, 3*s - g - 1 = 0 for s.
1
Suppose -6*j + 15 = -j. Let y(s) be the third derivative of s**4/6 + s**3/3 - s**2. Let x be y(j). Solve -3*l - x = -v, 5 = -2*l + 3*v - 2 for l.
-5
Suppose -7*a + 5*a + 10 = 0. Suppose -20 = -a*p + p. Solve -s + 2*m - p = -3, -16 = -3*s - 5*m for s.
2
Suppose 0*l + 5*l - 10 = 0. Let a be 8 + -1 - (l + 0). Solve 0 = a*s + b - 1 - 11, 3*b = -3*s for s.
3
Let m(y) = 3*y**2 + 1. Let k be m(1). Solve 5*f + 28 = -k*q, f + 5*q - 2 = -16 for f.
-4
Let n = -13 - -18. Suppose 3*q = 3*x - 4*x + 10, -n*x = 4*q - 28. Suppose -11 = -q*z + 7. Solve -5*l - 3*c = -7 + 1, l = -4*c - z for l.
3
Let q(u) = -u**2 - 6*u. Let p be q(-5). Solve 3*c - 2*x - 11 = 2, -p*c + x + 24 = 0 for c.
5
Let o = -3 + 6. Let q(j) = j**3 - 2*j**2 - 3*j + 2. Let r be q(o). Solve -14 = 3*b + r*z, 4*b + 3*z = -0*z - 20 for b.
-2
Let i = -12 + -3. Let x be 6/5*i/(-6). Solve -x*j = -3*g + 4*g + 1, -3*j + 5*g = 13 for j.
-1
Let k(u) = u**2 + 6*u - 1. Let b be k(-8). Let c = 15 + b. Suppose -3*f + 2*o + 30 = 8, 0 = -5*f + 2*o + c. Solve -y + 3 = -2*p, 5*p + f*y + y = -45 for p.
-4
Let i = -1 - -4. Solve -2*r - 3*f + 23 = 0, 0 = 6*f - i*f - 15 for r.
4
Let s(x) be the first derivative of x**4/4 - 3*x**3 - 5*x**2 - 2*x + 1. Let k be s(10). Let b be 82/8 + k/8. Solve -3*p + f = -0*f + b, -4*p = 5*f + 7 for p.
-3
Suppose 0 = -q - 3, 2*h - 4*h + 2*q + 6 = 0. Suppose -5*k + v + h*v = -26, 3*k - 12 = -3*v. Solve k*s + 2*n - 21 = 0, 3*s - 3*n + 0*n = 0 for s.
3
Let l(r) = -4*r - 5 + 3 - 2*r. Let i be l(-2). Suppose 2*q - i = -0*q - 2*s, 45 = 5*q + s. Solve 2*v - 7*v + 5 = 5*t, -5*v - q = 0 for t.
3
Let s(h) = h + 2. Let a be s(0). Let d be ((-3)/12)/(a/(-16)). Solve 0 = -5*b + 2*n + 38 - 15, b = -d*n + 7 for b.
5
Let v be (-2)/(-3) + (-6)/9. Suppose v = 2*j + 5*k + 40, -2*k - 52 = 4*j + k. Let r = 10 + j. Solve -4*g + 2*l - 8 = r, 0 = -5*