0 = 3*z, -2*p = 2*z + 3*z + 14. Let f = p - -12. Solve -1 = -4*v + 2*d + d, 0 = 4*v - f*d + 1 for v.
1
Let b be 15*(-1*(-14)/6 + -2). Solve 5*q + 3*i + 22 = -i, -4*q + b*i = -7 for q.
-2
Suppose q - 12 = -3. Suppose -3*k + v + 19 = 4, v - q = -3*k. Solve -2*a - y - 4 = 0, -4*a - 5*y - 6 = -k*y for a.
-1
Suppose -4 = -2*f - 4*k, 0*f = f + k - 2. Let m be (3 - -1) + (-1)/1. Let c be (-1)/((-4)/(-12)) - -31. Solve -5*p - f*h - c = 0, -m*p - h - 2*h - 24 = 0 for p.
-4
Suppose -3*a + 16 = a. Let d = a - 3. Let b(l) = 2*l - 9. Let n be b(6). Solve -5*c + 4*m = n*m - 4, 5*c - d = 4*m for c.
1
Let c(r) = r**3 + 12*r**2 + r + 16. Let j be c(-12). Suppose -32 = -j*y + 24. Solve -2*u - 2 = -5*x, x - y = -u - 2*u for u.
4
Let o = 1 + 1. Suppose -1 = w, -4*w + 6 = 4*h - o*w. Solve -4*x + 24 = -2*l - l, -2*l - h*x - 2 = 0 for l.
-4
Suppose -3*d + 30 = 3*c, -6*c + 5*d + 13 = -2*c. Suppose 3 = -v + c. Suppose -v*r + 4 = -4. Solve -r*f - 3*f = 5*j, -f = -j for f.
0
Let d(y) = -y**3 - 2*y**2. Let w be d(-2). Let r = w + 3. Solve 2*q = -2*t - 3*t + 20, -r*q = -4*t + 16 for t.
4
Let v(u) = u**2 + u - 3. Let k be v(-3). Solve -o - 4*i = 0, -k*o + 2*i + 6 = -2*o for o.
4
Suppose 7*x - 4 = 8*x. Let g be (-4)/(-7)*(-14)/x. Solve 3*w + 1 - 14 = 4*l, -g*w + 7 = -l for l.
-1
Let o(l) = l**2 + 11*l + 6. Let z be o(-10). Let g be ((-12)/z - 3)/1. Solve 0 = s + 4*k + 14, -s + g*k + k + 6 = 0 for s.
2
Suppose 4*v + 2 = 66. Solve -v = -2*f - 3*y - y, -5*f + 4*y = 16 for f.
0
Suppose -4*i - w + 7 = 18, -3*i = -5*w + 14. Let v = 1 - i. Solve -v = -5*f - g, -f - 4*g - 6 = -3 for f.
1
Suppose 6 + 18 = 4*p. Solve -p*z = -2*z + 3*l + 4, -4*z + 5*l + 28 = 0 for z.
2
Suppose 4*d = 2*g - 16, 0 = -0*g + 5*g - 3*d - 26. Suppose -g*b + 34 = 4*q - 26, 0 = 4*b - 16. Solve 0 = 3*t + 4*c + 10, -3*t + 3*c + q + 7 = 0 for t.
2
Let s(d) be the first derivative of d**2/2 - 6*d - 4. Let x be s(6). Solve -c + x*c + 5 = 2*o, -4*c + 20 = o for c.
5
Let l(w) = w - 10. Suppose 0*p - 2*p + 20 = 0. Let y be l(p). Suppose -2*z + 4 = -y*z. Solve -5*b - 2*i = -21, z*b - 5*b - 3*i + 18 = 0 for b.
3
Suppose 4*v + 4*u + 129 - 41 = 0, -v + 3*u - 22 = 0. Let z be 57/(1 - (-2)/4). Let m = z + v. Solve -5*a - m = -2*w, 0*w - w - 4*a - 18 = 0 for w.
-2
Suppose 3*q + 2*q = 65. Solve 2*g - j + 14 = -5*j, -4*j = 3*g + q for g.
1
Suppose -4*r + 30 - 10 = 0. Solve 3*h = -2*h + 5*u - 5, -r*u + 37 = 3*h for h.
4
Let q(y) = 7*y - 3. Let c be q(2). Suppose -4*h + 49 = -c. Let l = h - 10. Solve -6*z + 2*s = -3*z - 3, -z = -2*s - l for z.
-1
Let r be (-363)/(-12) - (-1)/(-4). Let c = -11 - -13. Let i(k) = k**2 - 1. Let j be i(-2). Solve j*f + 5*s - r = 0, c + 1 = s for f.
5
Let r = 43 - 17. Let a(f) = 5*f**2 + 3*f + 2. Let c be a(-1). Solve -5*m - 5*u = -35, -m - 2*u = c*m - r for m.
4
Suppose -5*t = -20, -b - 3*t - 3 = -13. Let d = b - -3. Suppose -3*c = -20 - d. Solve -3*r - 4*h = -4 - c, 2*r - 4*h + 26 = 0 for r.
-3
Let c be (-78)/(-15) - 1/5. Suppose -c*j = -j. Suppose -l - 4*l + 10 = j. Solve -z + 4*t = -19, 3*z + l*t = -14 + 1 for z.
-1
Let k be (-4)/(-10) - 24/(-15). Solve -4*i - 3*c - 20 = -c, -k*i + 5*c = 10 for i.
-5
Let t be 2/(-3) + (-6)/(-9). Solve 5*f - 3*r + r = -20, -5*f - 4*r - 20 = t for f.
-4
Let s = -24 + 26. Solve l = 4*l + 2*q - 4, 0 = -4*l + s*q + 24 for l.
4
Suppose 5*l = -2*x + 15, 2*x - 3*x + 5*l = -15. Let h = x - 6. Solve 30 = 4*k + 5*t, 3*k - 19 = -4*t + h for k.
5
Let s be ((-18)/12)/((-3)/4). Suppose -s*k - k = 0. Suppose k + 3 = t. Solve 0 = t*l - 8*l + r + 4, -4*r + 3 = -l for l.
1
Let y be ((-10)/4)/(1/(-4)). Let u be ((-12)/y)/((-9)/30). Suppose 5 - 3 = u*t - 2*q, -2*q + 8 = t. Solve -5*i + t*k + k + 10 = 0, 2*k = 5*i - 10 for i.
2
Let n be 0/(2/5*5). Suppose n = -11*x + 7*x. Solve x = 3*h + 5*o + 1 - 25, -4*h - 4*o + 24 = 0 for h.
3
Suppose 2*a + b = 17, -2*a + b + 3*b - 8 = 0. Let v(r) = r - 4. Let f be v(a). Suppose -4*h + f*h + 8 = 0. Solve 4*u + h = -2*g - 12, -3*u + 1 = -5*g for g.
-2
Suppose -d = 4*y + 25, -5*d - 13 = 3*y + 27. Let j = d - -7. Solve n - 4*n - 1 = -j*g, 4*g - 4 = 4*n for n.
1
Let h(w) = -w**2 + 6*w + 11. Let d be h(7). Suppose -42 = -2*x - x + 4*s, -52 = -d*x + 4*s. Solve -3*y = 2*n - 5, -3*y + 2*n = -7*y + x for y.
5
Let l(o) = -o + 7. Let q be l(6). Solve -3*g - q = -4*z, -z = -5*g - 0*g - 13 for g.
-3
Suppose 5*u - 30 + 10 = 0. Solve 0 = u*w + j - 17, -w + 19 = 3*w + 3*j for w.
4
Suppose 3*q + 146 - 32 = 0. Let f = -17 - q. Solve 0 = 5*o + 3*v - 34, -o + 2*v = -4*o + f for o.
5
Let q be 16/(-10)*5/(-2). Solve -4*z = -3*p + p - 14, -q*p = -2*z + 16 for z.
2
Let a be ((-2025)/10)/(2/(-4)). Let q be a/40 + 1/(-8). Solve 0 = 5*z - 2*m + 22 - 3, -m = 4*z + q for z.
-3
Suppose 0*s - 10 = 5*s. Let t be 2 + (s - (-2 - 3)). Solve t = k + 4*k, 4*k = 3*y - 8 for y.
4
Suppose 6*m - 232 = -22. Solve 4*a - 3*s = -7, -6*s + s = 5*a - m for a.
2
Let t be (-60)/(-35) + (-4)/(-14). Solve -t*g = 2*z + z + 14, 3*g + 2*z = -11 for g.
-1
Suppose 6*x - 8*x = 0. Solve 3*s + 5*p - 16 = x, -4 = s + p - 6 for s.
-3
Suppose 2*u - 17 = -13. Suppose 4 = 2*w - 2. Solve k = -2*t - 5, -w*t - u*k = k + 6 for t.
-3
Let w(q) = 3 + 2 + q**3 - 4 + q + 3*q**2. Let x be w(-2). Suppose p = x + 1. Solve -2*f - 2 = 3*m, 4*m + 2*f + 0*f + p = 0 for m.
-2
Let f(u) = -u**3 + 10*u**2 + 10*u + 15. Let n be f(11). Solve c = 2*b + 3, -b - n*c = -c + 12 for b.
-3
Let d(i) be the second derivative of i**5/10 - i**4/6 - i**3/6 - i**2/2 - i. Let f be d(2). Solve k - 3*k = -3*b - 3, -f*b = 5 for k.
0
Let y = -2 + 2. Suppose -5*x = s - 9, -x + y*s - s + 1 = 0. Solve 5*o + 3 = -4*t + 30, 3*o = -x*t + 15 for t.
3
Let n be 1 + (-1 + 2 - -2). Solve 3*z = -o - 2*o - 18, -n*z - o = 21 for z.
-5
Suppose 0 = -2*q - 2, -2*q + 5*q = 2*m + 9. Let d be 102/12 - m/4. Solve -4*s = c - 3*s - 5, -2*c + 4*s = -d for c.
5
Let w = -84 - -84. Solve 0*p - 5 = -o + p, w = o + 5*p + 7 for o.
3
Suppose 3 = -x + 7. Suppose 3*b + 2*b + s - 77 = 0, -x*s - 52 = -4*b. Solve -3*w + a - 4*a + b = 0, 5*w + 2*a - 10 = 0 for w.
0
Let r(m) = m**3 + 7*m**2 - m - 4. Let a be r(-7). Let b(x) = -x**3 - x**2 + x + 4. Let q be b(0). Solve 2*i - a = -i - 3*f, 0 = 5*i + q*f for i.
-4
Let f(q) = -3*q - 11. Let c be f(-8). Suppose -2*z + 3*r + 13 = 0, -4*r - 15 = r. Solve -z*v = -5*j + c, -5*j + 1 = 5*v + 16 for j.
1
Suppose 3*m = 6*m - 4*h, -5 = -5*m + 5*h. Suppose -2*r - 5*b = -18, -21 - 9 = -5*r - 5*b. Solve 5*x - 2 = -r*u, 0 = 3*x - m*x - u for x.
2
Suppose 3*z = -2*z + 10. Let f = z - 0. Solve -f*c = 10, -2*u = u - 4*c - 32 for u.
4
Suppose -2*l + 8 = -6*l. Let g = l + 4. Solve -g*n - 5 = -3*m, 2*m = -0*m + 3*n + 10 for m.
-1
Let s = -97 + 102. Solve -4*d = 0, -s*o + d + 10 = 3*d for o.
2
Let h(q) = q**3 + 25*q**2 - 27*q - 23. Let k be h(-26). Solve k*r = -4*n - 26, -n = 2*n + r + 17 for n.
-5
Suppose 82 + 418 = 4*s. Suppose -g = 5*b + 58 - 159, -5*b + s = -5*g. Solve 3*y + 0*m = 3*m - 15, -m = -5*y - b for y.
-4
Suppose 0*w + 5*w - 5 = 0. Let t = w + -1. Let d be (-1)/(4/(-12) + 0). Solve d*g = -2*f + 19, t*g - 2*f = 2*g - 16 for g.
3
Suppose 0 = -3*x - 0*x + 6. Suppose x*y - 1 = -f, -y - 3*f = -3*y - 3. Solve y*r = 4*r + 8, -r - 6 = 2*h for h.
-2
Suppose 2*p + 19 = 65. Solve -5*g - 8 + p = 0, -1 = 5*z + 3*g for z.
-2
Suppose -2*d = -1 - 3. Solve 2*c + d*c - 2*k - 14 = 0, -c = 4*k - 17 for c.
5
Suppose 4*r - 37 = 7. Suppose -3*c + 4 = -r, 4*c - 16 = 2*y. Suppose 4*t - 3 - 1 = -d, 3 = 4*d + 3*t. Solve 2*a - 3*a - g - y = d, 0 = g + 1 for a.
-1
Let t = 1 + 3. Suppose t = o + 1. Solve -26 = -m - o*m + 2*a, -4*m + a = -23 for m.
5
Let u = 7 + -5. Let l = 0 + u. Let j = 1 - -4. Solve j*h + l*r = -10, 4*r - 5 + 13 = -4*h for h.
-2
Let m = 29 - 20. Solve y = 2*p + 3, -y - 4*p = -m*p - 12 for y.
-3
Let g be 6/15*(-50)/(-4). Solve -4*q = b - 4, 2*b + g = 3*q + 2*q for b.
0
Suppose -4*y = 3*f + 3 - 9, -4*y = -12. Let d = f - -7. Solve -3*b + 7 = -b - d*u, -b = -u - 2 for b.
1
Let p(o) = -o - 22. Let j be p(-22). Solve j = -5*a + m - 17, 6*m + 11 = a + m for a.
-4
Suppose 0 = -4*q + 2*m + 78 + 4, 3*q - 5*m = 79. Suppose 0*r - 4*r = -4, 0 = -5*w - 3*r + q. Solve 5 = g - 3*y - w, 0 = g - 2*y - 4 for g.
-4
Let d be ((-8)/6)/(((-8)/3)/4). Solve 0 = -u - j, d*u + u - 10 = 2*j for u.
2
Suppose -31 = -3*t + 5*y, 3*t + 6*y + 19 = y. Solve 3*b + 0*f - 12 = -3*f, 11 = t*b 