v - 2, 0 = p + 5*v + u. Suppose p*w + 0 = 6. Solve -5 - 4 = -3*z + a, -5*a = -w*z + 19 for z.
2
Let o be 12/20 + 6/(-10). Suppose o = -2*t + 4 + 4. Solve 17 = -t*j - m, -2*m = -3*m + 3 for j.
-5
Suppose 3 = -5*s + 6*s. Solve -2*j = -5*w + 2 - 3, -5*j + s*w = -12 for j.
3
Let i(m) = -2*m - 40. Let b be i(-21). Solve -5*a - 12 = b*x, 2*a + x = -a - 8 for a.
-4
Suppose f + 68 = 3*f. Suppose -64 = -5*w + 3*s, 3*s - f = -w - w. Solve 5*t - 12 = 2*x, -2*t - 5*x = -14 - w for t.
4
Let q(l) = -l**3 + 4*l**2 + 4*l - 7. Let g be q(5). Let k = g - -42. Solve 3*b = -p + 12, 5*p + 8*b = 3*b + k for p.
3
Let p(h) = -h - 1. Let m be p(5). Let s(y) = -2*y - 9. Let q be s(m). Solve -4*t = t - 10, t = 5*x - q for x.
1
Let r = 62 - 59. Solve -5*u + 3*x = -2*x, 6 = r*x for u.
2
Suppose -14 = -2*j - 4*f, -4*f + 20 = 8*j - 4*j. Let o(x) = 7*x + 3. Let b be o(-4). Let m = b + 36. Solve j*i + 11 = -r - r, 4*r + m = 5*i for r.
-4
Let q = -3 + 6. Suppose -s + 2 = 5*f, -3 = f - 3*s + 3. Suppose 2*t + 14 = 4, f = 5*c + 2*t - 40. Solve 0*o - q*o - c = 2*h, 4*o + 14 = -2*h for h.
1
Let u be 18/(-15)*2/3*-20. Solve u = -2*z + 2*b - 6*b, 0 = -5*z + 5*b - 10 for z.
-4
Let q = -166 + 382. Let v be (-2)/10 + q/(-45). Let i = -5 - v. Solve 4*p - 5*s - 17 = i, 4*p - 9 = -0*s - 3*s for p.
3
Let r(t) = 2*t + 15. Let l be r(-12). Let k = -9 - l. Solve -5*z + 2*a - 35 = k, a - 10 = 4*z + 3*a for z.
-5
Let q = -19 - -23. Let r be -2 + (13 + 1)/2. Solve -5*n + r = -q*o, 0*n = o + 4*n - 4 for o.
0
Let l = -6 + 0. Let q(y) = y**2 + 7*y + 7. Let a be q(l). Let k = -10 + 15. Solve -4*i = -k*i + 3*u + 9, 3*i + a = 2*u for i.
-3
Suppose 2*t = 3*i - 0*i + 5, -1 = i. Solve 5*f + r + 5 = 2*f, 0 = f + 3*r - t for f.
-2
Let i(f) = -2*f**3 + 3*f**2 - 2*f. Let c be i(2). Let l be 2*(-2)/(c/10). Let j = 8 - 4. Solve k = -j*v + 4 + l, 4*v - 5 = 3*k for k.
1
Suppose -3*x + 3*s + 8 = -13, -5*x - 15 = 5*s. Let i(w) = -x*w - 4 - 5*w + 6*w. Let f be i(-8). Solve 0*y = -5*y - 2*o + 2, 5*y - f*o = -4 for y.
0
Let j(l) = -6*l**2 + 3 + l + 7 + l**3 - 4*l**2. Let c be j(10). Suppose 5*h - c = h. Solve 4*s = h*x - 0*x + 2, x - 4*s - 6 = 0 for x.
-2
Let j = 10 + -5. Suppose -4*q = -5*q + j. Solve q*h + b = 4*b - 24, -4*h = -b + 15 for h.
-3
Suppose 10*k - 57 = 3. Solve 3*u - k*u = 2*p - 14, -u = 3*p - 14 for p.
4
Let a(o) = o**3 - 2*o**2 - 3*o + 1. Let g be a(3). Solve 5*y - g = -2*k, -3*k - 1 = 5*y - 0 for y.
1
Let w(f) = 3*f - 12. Let a be w(10). Solve 2*n - 3*n + a = 4*l, 0 = -4*n - 3*l + 20 for n.
2
Suppose 0*k = 3*k - 9. Let a(l) be the second derivative of -l**3/6 + 7*l**2/2 + l. Let t be a(7). Solve k*n + 3 = t, 0*n - 4*n = 3*p - 5 for p.
3
Let c(h) = 8 - 3*h**3 + 0*h + 7*h**2 + 2*h**3 - 7*h. Let n be c(6). Solve 2*f - b + 2 = 8, n*f - 2*b = 6 for f.
3
Let c(h) = 5*h - 23. Let s be c(5). Solve -v + 15 = 4*t, -v + t - s - 3 = 0 for v.
-1
Suppose -6*m + 9*m - 12 = 0. Let y = m - 4. Solve y = -o + 2*k + 4, k = 5*o - 3*k - 2 for o.
-2
Suppose 4*p = -t + 4*t - 20, 0 = 5*p - 20. Solve 4*o - 2*u + 9 - 1 = 0, 3*u - t = o for o.
0
Suppose 5*c = 4*f + 49, 0*c + f - 56 = -4*c. Solve 4*l = -3*j - 12 - 7, 3*j - 4*l - c = 0 for j.
-1
Let o be (-12)/(-54) - (-22)/(-18). Let i be (9/3)/3 + -1. Let j be i - (0/o + -3). Solve 0 = 5*f + 2*y + 14, 4*y - j = 9 for f.
-4
Suppose 8 + 0 = 4*z. Suppose z*k = 6*k. Solve k = -3*y + 2*a + 11, y = 5*y - a - 18 for y.
5
Suppose 0 = 20*b - 14*b - 6. Solve 11 = 5*p + 3*u, -u + 5 - b = 2*p for p.
1
Let u be (0/(-1 + 3))/1. Let l = u + 2. Solve 3*a - o = -11, -l*o = o + 12 for a.
-5
Let n be 4 + 26 + -4 + 3. Solve -8*l - 4*h = -3*l - n, -l = h - 6 for l.
5
Let a be 18/4*(-8)/(-12). Suppose a*c - 35 = -5*i, 4*c = 2*c - 2*i + 18. Solve 0*w - 2*w = 4, -y - c*w = 15 for y.
-5
Suppose -3*n = -3*r, -3*r = -2*r - 4*n + 3. Solve -3*s + 2 = -4*a - s, 5*a + r = 4*s for a.
-1
Suppose -4*h - k + 4 = 0, 6*h - h - 3*k + 12 = 0. Solve -5*p = 4*b - 36, 4 = 4*p - 3*b - h for p.
4
Let w(s) = s**3 + 2*s. Let f be w(0). Solve -19 = -3*t - f*t + 2*p, 3*t - 4 = -p for t.
3
Let z be ((-2)/5)/(3 - 366/120). Solve -z = -3*p - 2*x, 5*p + 6 - 24 = -x for p.
4
Let y = 5 - 2. Let b be 0/(-1 - (1 - 1)). Suppose -2*k = -3*j + 7, 0 = 5*j - k + 6*k - 20. Solve -y*q = n + 5, 2*q - j*n + 2 + 5 = b for q.
-2
Let j(a) be the first derivative of a**4/4 + a**2/2 + 5*a - 7. Let h be j(0). Solve -3*d = -v - 15, d - 2*d - 5*v + h = 0 for d.
5
Let k be ((-3)/(-6)*-1)/(4/(-16)). Solve 6 = -5*d + 3*c - 4*c, k*c + 3 = -d for d.
-1
Suppose -28 = -4*u + 3*x - 8, -5*u - 2*x + 2 = 0. Let p = -9 + 52. Let g = p - 23. Solve -12 = -3*c + l, -u*l = 3*c - 8*c + g for c.
4
Let t = -10 - -12. Solve -4*c - 11 + 34 = -3*b, 0 = t*c + 3*b - 7 for c.
5
Let z = 22 + -18. Solve 2 + 2 = 4*x, -z = -2*q - 2*x for q.
1
Let n(d) be the third derivative of d**5/30 + d**4/8 - d**3/3 - 6*d**2. Let y be n(1). Solve 1 + 0 = -a + y*b, -1 = b for a.
-4
Let d(u) = -4 + 3 + u**3 + 0 + 2*u**2 - 5*u**3. Let h be d(-1). Suppose 5*f = -4*z + 24, f + 0*f - h*z = -1. Solve 0 = -i + f, 4*w + 2 = 2*i - 18 for w.
-3
Let c be (-15)/(-10)*(4 + -2). Suppose v = -u + 9, v = u + 2 + c. Solve 3*f - t = 2*f - v, -1 = 3*f + t for f.
-2
Suppose 5*j = -9 + 24. Solve -j*x - r = -10, 3*r + 4 + 2 = 3*x for x.
3
Let s(p) = p**3 + 7*p**2 - 10*p - 11. Let i be s(-8). Suppose 0 = i*k - 5*v - 30, k - 5*v + 0*v = 6. Solve -5*m - 5*h + 4 = -k, 0 = -2*m + h + 4 for m.
2
Suppose 0 = 3*p + 2*p + 2*l - 38, 3*p - l = 14. Suppose -3*t - 3*s + 30 = 0, 3*t - s - 4 - p = 0. Solve 3*k + 9 = 3*g - k, 3*g = -t*k + 9 for g.
3
Suppose 2*v + 58 + 22 = 5*q, -5*v = -3*q + 48. Suppose k - 4*l = -3, -4*k + 0*l + q = -2*l. Solve 0 = -5*y - k*g + 35, -2*g - 7 = -7*y + 2*y for y.
3
Suppose -2 = -3*a + 5*q, 4*a + 1 - 2 = 5*q. Let o be 4 - -2*(a + -1). Solve 3*n - 5*n = -2*y, 5*n - 3*y - 10 = o for n.
5
Let z be -3*(-2 + (-3)/(-1)). Let x be z*4/(-3) - 1. Let l(s) = s**2 + 5*s + 7. Let y be l(-6). Solve -y + 39 = x*a + 5*u, 22 = 3*a + 4*u for a.
2
Let k = 9 + -4. Solve 4*w = -0*c + 5*c + 7, 3*c = k*w - 12 for w.
3
Let v be 3 - -1*(2 - 2). Suppose 0 = y + 2*s - 7, -2*y + v*s - 9 = -3*y. Solve -4*l - 15 = -y*c, -2*c - 2*l = -12 + 2 for c.
5
Suppose 0 = -2*b - 3*h - 12, 2*b - h + 2 = -2. Suppose 2*t - 9 = -t. Let f be t + b/(3 - 0). Solve -4*j + 9 = -5*i, 2*i + f*i + 36 = -4*j for j.
-4
Suppose -3*y - 9 = -5*l, -6 = -2*l - 3*y + 6. Solve 0 = -3*x - 2*v - 25, l*x = -4*v - 0 - 35 for x.
-5
Let a(b) = b**3 - b**2 - 1. Let m be a(0). Let l be (-3)/m + (-3)/(-3). Solve l*d + 0*d - v + 8 = 0, 2*v - 10 = 2*d for d.
-1
Let k = -3 + 18. Suppose -44 + k = -c. Solve 4*g - 2*l - 4 = 0, -3*g - 4*l - l + c = 0 for g.
3
Suppose 0 = 5*r + 10 - 0. Let d = r - -4. Solve -3*w - d*h = 0, -3*w + 13 = -h + 4 for w.
2
Let x(j) = j**3 - 9*j**2 - 10*j + 5. Let c be x(10). Suppose -c*u + 4*z = z - 3, z - 16 = -4*u. Solve -4*t + 1 = -5*a, -u = -t - 4 for a.
-1
Let l(n) be the second derivative of -n**5/20 + 7*n**4/12 + 4*n**3/3 + 2*n**2 - n. Let a be l(8). Solve a*w = -4*m, -2*m + w + w + 16 = 0 for m.
4
Suppose -16 = -5*f + 9, -5*f = 3*p - 34. Suppose -2*w - 2*w = -12. Solve -z - 10 = -w*m - p*z, 0 = -z + 5 for m.
0
Suppose -4*q = 2*k - 4, -3*q + 10 = 6*k - k. Suppose r - 3 = -k. Suppose -13 + r = -3*z. Solve a + 2*d - 1 = -8, -z*a - 2*d + 2 = 0 for a.
3
Let b(g) be the second derivative of -g**4/12 + g**2/2 - g. Let s be b(-1). Let f = s + 3. Solve -2*m + 1 = d + f, -2*d - 5*m = 6 for d.
2
Let l(x) = -12*x + 84. Let t be l(6). Let y = 5 + -2. Solve -3*w = -t, -5*q + 4*w + 6 = -y for q.
5
Let d(m) = -m**3 - 15*m**2 + 15*m - 13. Let g be d(-16). Solve 0 = 4*q + 2*c - 10, 3*c = g*q + 4*c - 5 for q.
0
Let o(d) = 3*d**2 + 6*d - 4. Let t be o(-3). Solve 4*i = -7 - 9, -21 = -t*p - i for p.
5
Suppose -t = -0*t. Let g(c) = c**2 + 3*c - 1. Let m be g(-4). Solve -5*l = t, -4*h - m*l = 2*l for h.
0
Let f = -3 - -3. Solve -5*j = 3*q + 1, -3*q + 4*j = -f*q + 10 for q.
-2
Let m = -6 + 6. Let g(p) = p**3 + p**2 - p + 2. Let k be g(m). Solve -5*f = k*s + 2, f = -4*s + 12 + 2 for s.
4
Let o(k) = k**2 - 3*k + 3. Let u be o(3). Suppose -4*x = -4*a, 5*x - u*a - 3 - 3 = 0. Suppose -4*y + x = -5. Solve -5*f - 32 = 4*i, f + 6 = y*i - 2*f for i.
-3
Let l(g) = -2*g - 1. Let j be l(1). Let s = 3 + j. Solve 5*y - 10 = 0, s*f = f + 2*y - 8 for f.
4
Suppose -4*d - 8 = 