 - 2*v + 7 for u.
3
Let b(x) = 2*x**2 - 15*x + 20. Let t be b(6). Solve -p + k - t*k = 3, -3*p = -5*k - 15 for p.
0
Let i = 51 + -39. Solve 5*u = 4*n - 16, u - i = 3*u + 4*n for u.
-4
Let l be 7 - (2 + -3 - -3). Suppose -1292 = 5*z + l*c + 523, 4*z = c - 1457. Let n be z/(-18) - 2/9. Solve 0 = 5*g + 4*t - n, 0 = -g + 3*g + 4*t - 8 for g.
4
Let o(p) = -p**3 + 10*p**2 + 10*p + 14. Let d be o(11). Solve -c + 29 = 5*s + 7, d*c - 11 = -4*s for s.
5
Let d = -29 + 33. Solve -d*c = z - 7, 0*z + 20 = -z + 5*c for z.
-5
Let a be (-15)/(-20)*(-8)/(-2). Suppose 19 + 2 = a*o. Suppose 1 - o = -2*g. Solve -3*l - 4*f + 3 = 0, -5*f + 6 = 4*l + g for l.
-3
Let u(c) = -2*c**2 + 2*c**2 + 6*c - 7*c**2 - c**3 - 4. Let b be u(-8). Suppose -8 = -5*n + b. Solve 3*q + 1 = n*r, 5*q + 5*r = 12 + 33 for q.
5
Suppose -3*d + 17 = -1. Solve -4*b - f = -d, 5 = -4*f - 3 for b.
2
Suppose a + 6 = -2*u - 0, 3*u - 5*a - 4 = 0. Let c = -2 - u. Solve m - 2*t + 4 = -c, 0 = t - 3 for m.
2
Let r(q) = 3*q**2. Let l be r(-1). Solve 3*v + z = 9, l*v + z - 9 = 4*z for v.
3
Let j(f) = 2*f - 11. Let y be j(8). Let a = 10 - y. Let s be (-5)/1*(-8)/10. Solve 10 = -o + 5*l, s*o + 2 + 13 = -a*l for o.
-5
Let s(k) = k. Let x be s(0). Let a(c) = 3*c**2 - 10*c + 3. Let y be a(4). Solve q = 4 - 3, x = 5*g + 4*q + y for g.
-3
Suppose -2*t + r + 15 = 3*t, -2*r + 15 = 5*t. Suppose -3*u + u + 3*k = 0, 6 = 4*u - t*k. Solve -4*i = u*z + 32, -2*i + 3*z - 22 = 6*z for i.
-5
Suppose 3*k - 4 = k. Let f be (-1)/(k/(-4*2)). Suppose -2 = -f*h + 18. Solve -a - 3 = 4*q - 27, -h*a + 10 = -2*q for q.
5
Suppose 12*l + 14 = 14*l. Solve 3*a + l = 4*v, -2*v = a + 2*a + 19 for v.
-2
Let q = -2 - -2. Solve q = -5*p + 6*p - g + 2, -p = -4*g + 14 for p.
2
Let o = 45 - 39. Solve 5*l + 17 = -4*q, -2*l - o = q + l for q.
-3
Suppose 6*o = o + 2*p + 11, -4*p - 4 = -4*o. Solve 3*s = -4*r + o, 2*s - r - 2*r = 2 for s.
1
Let u(k) = -k**2 + 5*k + 8. Let w be u(6). Let a be -3*(-2)/(-3) + w. Let q = -4 + 5. Solve h - q = a, -5*d + 4*d = -2*h + 4 for d.
-2
Suppose -3*p = j - 14, 4*j - j + 24 = 2*p. Solve -i = 3*z - 9, 2*i - p*i - 28 = -4*z for z.
4
Suppose -2*z + 2*a - 3*a = -2, 10 = 5*a. Solve 2*y + 4 = -3*h, 0 = -h - z*y - y - 1 for h.
-2
Let k(c) = c**3 + 7*c**2 - c - 23. Let j be k(-6). Solve 5*x - j = q + q, -q - x = -1 for q.
-2
Let g be -1 + 1 + -1 + 4. Let f be g/(-6)*-4 + -2. Solve 3*m - 3*n + 6 = f, -3*m - 2 + 0 = -n for m.
0
Let q = 2 - -1. Let p = 5 - 3. Suppose -2*g + p*y = 2, 3*g - 4 = -2*g - 4*y. Solve -o - q*k + 0*k + 4 = g, 5*o - 4*k - 20 = 0 for o.
4
Suppose -3*g = -6*g + 6. Let o be 2 + 3 - (-1 + 3). Suppose 0 = -3*t + 18 + o. Solve t = 5*b + g, -5*m + 2*b + 8 = 0 for m.
2
Let t = 50 + -49. Solve 4*c + 24 = 5*r, -10 = -3*c - 3*r - t for c.
-1
Suppose 3 = 2*v - 2*a - 3, -20 = -5*a. Suppose 0 = -3*m - v + 16. Solve 0 = -m*z + 2*c - 16, -7 - 3 = -2*c for z.
-2
Let u be (-1)/(3/(-6))*1. Solve v - u*p + 5 = 0, 5*v = -0*v + 4*p + 5 for v.
5
Let u(z) = z**2 - 8*z + 2. Let j be u(8). Suppose 4*g = -0*y + 2*y - 22, 3*g - 43 = -j*y. Solve 0 = -k + 4*l + y, 3*l - 2*l = -5 for k.
-3
Let a = 24 + -22. Solve 0 = 4*o - 2*p - 10, -5*p = a*o - 7*o for o.
5
Suppose 4*r + 0*r = 20. Solve -2*i + 7*i - 5*b + 25 = 0, 2*b + r = -i for i.
-5
Let f(p) = p**3 - 10*p**2 + 9*p + 4. Let k be f(9). Solve -2*t + 4*m - 4 = 2*t, -k*t - m = -6 for t.
1
Suppose 15 = 6*x - 27. Solve 3*s + 6 = 0, 3*b = -3*s + x - 1 for b.
4
Suppose 0 = -0*l - l + 3. Solve -l*y = -3*x - 9, -5*x + x = 4*y + 4 for y.
1
Suppose 5*l - 10 = 5*i, 3*i = -5*l + 14 - 4. Suppose i*a - 3*a = 2*n, -n = -3. Let d = 2 + a. Solve d = -2*c + q + 2 + 5, -q + 3 = 3*c for c.
2
Suppose 29 = 4*z + 1. Solve 5*h = 5*t + h - z, 0 = -t - 5*h - 16 for t.
-1
Suppose 0 = -2*r + 5*r - 12. Solve 0 = -p + 5*z - 13 + 2, p - 16 = -r*z for p.
4
Suppose 8*o = 3*o + 75. Suppose -7*q + 12*q - o = 0. Solve 2*f = -3*i - i + 20, 2*i = q*f + 10 for i.
5
Let p be ((-2)/4)/((-1)/4). Suppose 3*r + 71 = 2*t, 0 = 3*t + r + 4*r - 97. Let w = -19 + t. Solve -x - 10 = -a, -2*a + w = p*a + x for a.
5
Suppose 3*c = 21 - 6, 5*f = 3*c + 5. Suppose -2*o + 3*i = 7 + 1, 2*o - 2*i + f = 0. Solve 3*x = -o*l + 3, l + 0*x + 2*x - 2 = 0 for l.
0
Let i(v) = v**3 - 9*v**2 - 10*v + 5. Let s be i(10). Let h = -3 - -2. Let r = s + h. Solve -3*g + r = k - 2, -4*k - 24 = -4*g for k.
-3
Suppose -3*t = t - 32. Solve 0 = g + a + t, -4*g - 7*a + 5*a - 24 = 0 for g.
-4
Let u be (-990)/(-35) - (-4)/(-14). Suppose 2*d + 4*i = u, 0 = 2*d - 6*d + i + 20. Let t = d - 4. Solve 5*v = 5*x, t*v + 7 = -3*x - 2*x for x.
-1
Suppose 13 = p - 4*n, p = -p - 5*n. Solve i + 2*f - 13 = 2*i, p*i + 20 = f for i.
-3
Suppose -4*d = -0*d - 28. Suppose 5*r - 338 = d. Let y be (-2)/(-5) + r/15. Solve 4 = -4*z - 4*f, -5*z - 3*f - y + 2 = 0 for z.
0
Suppose 0 = 2*x - 0 + 4. Let b be x/7 - 60/(-14). Solve 3*d + 0*f + 3*f - 12 = 0, 0 = -b*d + f + 21 for d.
5
Let s(h) be the third derivative of -h**6/120 - 7*h**5/60 - h**4/4 + h**3/2 - h**2. Let n be s(-6). Solve -3*q = -6*q - n*v, 3*v = -q - 2 for q.
1
Let s = 4 - 1. Suppose -5*o - 4*u + 14 = -4*o, s*u = 4*o + 1. Suppose 13 = -w - 5*y, -8*y + 4*y = 16. Solve 5*m + w*v = 2*v, -4*m = -o*v for m.
0
Let o(y) = 3*y - 3. Let g be o(5). Let t(p) = p**3 + p**2 - p + 1. Let c be t(1). Suppose -g = c*s - 5*s. Solve 4*u - s = -3*l + 4, -5*l - 30 = -2*u for u.
5
Suppose -3*l + 2 = 3*k - 4, -3*k = -5*l + 10. Solve 4*d - l*x = 2*x + 12, -d = 2*x - 6 for d.
4
Suppose -8*n = -3*n - 25. Solve 5*y + 2*c = 0, y = -3*y + n*c - 33 for y.
-2
Let h = -20 + 22. Solve 2*p - d - 10 = -2, 5*p - 20 = -h*d for p.
4
Let z be -5 - (2 + -3) - -6. Solve 2*o + 5*h + 5 = 0, -3*o - z*h + h = 1 for o.
0
Let w(k) = -7*k + 4. Let s(x) = x**3 - 3*x**2 + 1. Let y be s(2). Let r be w(y). Solve -4 = -4*t - 4*a, 3*t - 10 - r = 5*a for t.
5
Suppose 3*z = 4*t - 1, -4*t = -z - 0*z + 5. Let u = z + 6. Solve 2*k - 2*f = 4, -u*k - 4*f + 21 = -2*f for k.
5
Let h be (-3)/(3*(-2)/8). Let o(u) = -6*u + 3. Let m(a) = 7*a - 2. Let d(r) = -2*m(r) - 3*o(r). Let k be d(2). Solve -4*f = b - 5*b + h, -5*f + b = -k for f.
1
Let d(w) = -w**2 - 6*w - 3. Let r be d(-5). Suppose 0*t + t + 47 = -2*g, 2*g = -5*t - 219. Let h = t + 71. Solve -h = 4*k + 4*a, -r*k - 5*a - 11 = 15 for k.
-3
Suppose 4*j - 5 - 3 = 0. Let k(u) = u**2 + 2. Let d be k(0). Suppose -d*f + j + 4 = 0. Solve 4*c = 3*c + 2, f = -h + 3*c for h.
3
Let n(v) = -2*v**3 + v + 1. Let s be n(-1). Suppose 0 = -k - s*k + 6. Solve k*b = 4*m - 2*b + 24, 6 = -4*m - 5*b for m.
-4
Let o(u) = u - 3. Let r be o(5). Solve 0 = y + 2*h + r*h, 0 = 5*h for y.
0
Let r(p) = -p**3 - 7*p**2 - 7*p - 6. Let k be r(-6). Suppose k = -4*j - 2*d + 10, 3*d + 8 = 3*j + 5*d. Solve -j*v + 0 = 4*f - 2, -2*f + 3*v - 3 = 0 for f.
0
Suppose z = 2 + 3. Let y(k) = -6*k + 12. Let b be y(-5). Let w = b - 40. Solve -5*v = z*u + 40, w*v = -2*v + 5*u - 5 for v.
-5
Let f = 9 + -6. Suppose f*y = y. Let u be 4 - (-2 + 2)/(-1). Solve y = -2*z - 3*z + 25, t + u*z = 17 for t.
-3
Let y be (6/10)/((-17)/(-85)). Solve -4*n = 4*k + 4, 2*k = -k + y*n - 27 for k.
-5
Let f be (1 + -2)/((-3)/6). Suppose -f*k + 22 = -y - 32, -3*k = -3*y - 81. Solve -6 = -2*a, -3*p - a = -6*a + k for p.
-4
Let g = -4 - -12. Let k(p) = p**2 - 8*p + 9. Let w be k(g). Solve 3*a = 4*o - 17, 4*o - w = -a + 12 for a.
1
Let q be (-3)/9 - 4/6. Let y(f) = -f**3 - 2*f**2 + 1. Let s be y(1). Let z be (4 + s)/(q/(-2)). Solve -2*v + z*n = -5*v - 26, -5*v + 5 = -3*n for v.
-2
Let u = 0 - -2. Solve -11 = -4*m - 3*z, u*z + 3 = 4*m - 3 for m.
2
Let p(r) = r**2 - 3*r - 4. Let u be p(4). Suppose 5*y - 30 = -4*b - 0*b, 3*b = 5*y + 5. Solve 5*m + 4 = -y*q, q = -3*m - u*m - 2 for m.
0
Let g(m) = -m + 9. Suppose 0 = 4*j - 4*l - 10 + 2, 5*j - 3*l = 2. Let r be 0 + 0 + j + 9. Let q be g(r). Solve 0 = f, -q*a + 5*f - 4 = 2*f for a.
-2
Suppose -2*k + k = -3*a - 1, 4*a = k. Suppose -4*r = -2*o + 20, 0*o + 4 = k*o + 4*r. Let y be 7/4 - (-1)/4. Solve -o*m + y*q + 1 + 3 = 0, 5*m - 5 = 2*q for m.
1
Let q = 1 - 1. Suppose -5*o = -o - 20. Suppose 0*x = -5*x - 5*v + o, -3*x = 5*v - 5. Solve x = 5*l - 3*c, 2*c = -q*c for l.
0
Let t(f) = 7*f. Let r be t(1). Suppose -3*m - 8 = -r*m. Solve -m*w + 3 = o - 8, -3*w + o = -4 for w.
3
Let b be (-1 + 2/2)/(-1). Suppose 0 = 7*p - 2*p - 15. Suppose m - 2*s - 10 = 0, -m + 2*m = p*s + 13. 