et p(s) = s**2 - 12*s + 34. Let f be p(4). Solve 0*x + f*m = 3*x - 7, -12 = -3*x + 3*m for x.
-1
Let y(r) = r**2 - 2*r - 1. Let l be y(-2). Suppose -g + 16 = l*g. Solve c = d - 3*d - g, 2*d + 5*c + 18 = 0 for d.
1
Let v = 12 + -7. Suppose -2*u - 21 = 6*l - l, v*l = -5. Let k be 5/2 - u/16. Solve 5*f - 29 = -2*r, -r - k*r + 28 = 4*f for r.
2
Suppose -2*v = -6*v + 8. Suppose q = -3*u - 20, 0 = -0*u - 4*u - 20. Let n = q + 10. Solve v*i + 10 = 2*r + 4*i, -n*i = -10 for r.
3
Let s be 5/7 - (-23)/((-644)/(-8)). Let a be (-38)/(-3) - 2/(-6). Solve a = -4*u - 4*p + s, 4*u = 4*p + 20 for u.
1
Suppose 3*u + b - 41 = 0, 4*u = -b + 3 + 52. Suppose 3*y = u + 7. Let w = 9 - y. Solve -5*p - 4*n + 21 = -0*p, 0 = w*p - 4*n + 14 for p.
1
Suppose -15*z - z = -320. Suppose -4*t = 5*c - 38 + 5, 0 = 2*c + 5*t - z. Solve -s = c, 3*s - 10 = 5*x + 5*s for x.
0
Suppose -4*k = -7*k + 30. Let g be (-15)/k*(-10)/3. Suppose -5 = -4*w - w. Solve -2*i + w = -2*c - 1, c - 17 = -g*i for c.
2
Let q be (-25)/10 - (-26)/4. Let m be (-27)/(-6) - (-3)/6. Solve q*u - 6*r + m*r = 9, 2*u + 5*r + 23 = 0 for u.
1
Suppose 5*r - i = 10, r = -2*r + i + 6. Let s(x) = -x - 2. Let w be s(r). Let f be (w + 5)*(0 - -4). Solve 5*t + 33 = -f*o, 4*t - 3*o + 6 = -8 for t.
-5
Let t be 22 + (3 + -2)*2. Suppose -3*v - 5*v = -t. Solve -o + v*d = 5, -2*o + 4*o + d = -10 for o.
-5
Let m be 1 + (2/1 - 1). Suppose -56 = -5*j + m*b, 3*j + b - 32 = 3*b. Solve 3*z - j = 0, z + 3*z - 8 = 4*s for s.
2
Let v = 173 - 171. Solve 2*c - 2 = 2*t, -v*t + 4*t + 5*c + 9 = 0 for t.
-2
Suppose 4*p + 7*b = 3*b - 24, 2*p + 5*b = -18. Let q be 2 + (7 - 11)/(p/(-2)). Solve -v - 14 = 3*s, q*v + v + s + 8 = 0 for v.
-5
Suppose 9*r = 3*r + 30. Suppose 20 = 2*o + 2*o + r*z, o = -3*z + 5. Solve -2*j = 2*j - o*x - 26, 5*j - 3*x - 26 = 0 for j.
4
Let g(x) = x**3 - 3*x**2 + 4*x - 2. Suppose -2*q = 2*q - 8. Let h be g(q). Solve 3*l + 3 = 2*d, -4*d - 5 - 1 = -h*l for l.
-3
Suppose -8 = -7*m + 6. Solve 5*s + 21 = 2*j, m*s - 7*s - 2*j = 29 for s.
-5
Let z = 4 - -21. Let w = z - 25. Solve n + 2*l + 1 = 3, w = 2*n + 5*l - 6 for n.
-2
Let o be (1 - 7) + -11 + 17. Solve o = 4*w + 5*i - 5, -w - 5*i - 25 = -3*w for w.
5
Suppose -6 = -4*o + 14. Solve 2*z - 3*f = 11 - 5, 0 = o*z - 2*f - 15 for z.
3
Let p(c) = c**3 - 8*c**2 + 14*c - 4. Let g be p(6). Solve -5*a - l = -5*l - 11, a + 5*l = g for a.
3
Suppose 4*h - 20 + 8 = -4*n, -3*n = 5*h - 15. Solve -17 = -z - 4*w - n, -2*w = -3*z - 19 for z.
-3
Suppose 9*n = 284 - 14. Suppose 0 = 13*q - 35 - n. Solve 5*s + 2*v = 5*v + 4, -q*s + 2 = -4*v for s.
2
Suppose 87 = 3*t + f, 0*t + 63 = 2*t - f. Suppose -t = -5*s - 5*i, i = -3*i + 4. Solve 3*n - 6 = n + b, 0 = -5*n - s*b + 30 for n.
4
Suppose 7*n - 3*n = 0. Suppose 0 = 4*c - 9*c. Suppose c = -2*r + 6 + 2. Solve 0 = -r*h + 5*k + 16, n*k = 3*h - 5*k - 17 for h.
-1
Let r be (-1 - (3 + -1)) + 41. Let b be (r/(-8))/(2/(-8)). Let w = -14 + b. Solve -w*u - 17 + 0 = 3*q, 3*u - 2*q = 5 for u.
-1
Let n = 45 - 43. Suppose -b - 4*b + g + 16 = 0, n*b - 10 = 4*g. Let k be (10/3)/((-2)/(-3)). Solve -2*w - 17 = k*j + 6, 4*w = b*j - 7 for w.
-4
Let d(o) = o**2 - o - 7. Let m be d(-5). Let b be (18 - m)*(-4)/5. Solve 0 = -2*c + t - b, -5*c - 5*t + 0*t = -5 for c.
-1
Suppose 2*q - q = 4. Suppose a + 25 = 4*t, 6*a = 4*a - 10. Solve -x = q*j - 2*j + t, -15 = 3*x + j for x.
-5
Let l(u) = -u + 6. Let r be l(6). Suppose -s - 4*z - 4 = r, 2 = -0*s + 3*s - 2*z. Let c = 3 - s. Solve 2*v + 14 = 5*y, -c*v + 0*y - y = -13 for v.
3
Suppose -4 = f - 5*f. Let m be 0 + 8/4*f. Solve -5*s - 3*v - m = -4*s, s = v + 2 for s.
1
Suppose b = 3*b + 26. Let w = b + 17. Suppose -9 = -4*z + r + 6, -w*z - 3*r = -19. Solve 3*o - 3*y = 6 + 3, -3*o + z*y = -11 for o.
1
Suppose -4*k + 3*p + 28 = 0, -2*k + 30*p = 28*p - 14. Solve -s - 2*r = 6, 2*s - 4*r + 7*r = -k for s.
4
Suppose -3*b + 5*b = 0. Suppose b = 4*u - 4*h - 16, 3*u - h - 4*h = 14. Let i = 249 + -247. Solve o + i*p = -u*p - 19, 4*p = -12 for o.
-4
Suppose 4*i - 26 = -5*c, -7*i + 10*i + 2*c = 16. Solve o = 2, -14 - 4 = i*d - o for d.
-4
Suppose -12 = w - 7*w. Suppose 4*g - 4*d = 24, -6 = 2*g - 3*g + 4*d. Suppose g*k = 5*k + 15. Solve -5 = 5*s, w*i - 3*s = -i + k for i.
4
Let q = 107 + -106. Suppose q = 5*x - 9. Solve 2*f = 4, 3*j = -j + f + x for j.
1
Suppose -40*y = -37*y - 15. Solve 3*n - n = y*t - 15, -12 = n - 4*t for n.
0
Suppose 3*d = 10 + 5. Let y(k) = k**2 - 6*k + 7. Let a be y(d). Suppose 0 = a*u - 85 + 25. Solve 3*x + 10 = -p, -x + 5*p + 0*p - u = 0 for x.
-5
Let o = -4005 + 4009. Suppose -3*b + 12 = b. Solve -k - o*i = 21, -17 = b*k + 4*i + 6 for k.
-1
Suppose -s = 4*h - 0 + 1, -4*h - 10 = -2*s. Let x(o) = o - o - s*o - 15. Let j be x(-14). Solve 5*v + 0*n - n = j, -2*n - 29 = -5*v for v.
5
Suppose 3*j + 3*r + 9 = -0*r, 21 = -2*j - 5*r. Let c be 78/16 - 14/(-112). Let s be 0 + (-15)/(2 - c). Solve -s*v + 2*w + 9 = -j*v, 5*v = w + 22 for v.
5
Let i(u) = 2*u**2 + 16*u. Let b be i(-8). Suppose -n + 5 + 4 = -c, n = b. Let l be (-57)/(-9) + (-6)/c. Solve 0 = -2*d - 5*h + l, -4*h - 4 + 0 = 4*d for d.
-4
Let l(r) = r**3 + 2*r**2 - 4*r - 3. Let u be 2*((-9)/(-6) - 3). Let v be l(u). Let d be (20/4 + v)/1. Solve -j - 5 = -4*o - 1, d*o = 2*j + 5 for o.
1
Let d = 25 - 17. Suppose -2*k - 6 = d. Let z = k + 7. Solve z = -3*p + 3*f, 0*p + 2*p + 3*f = -20 for p.
-4
Let h(n) = n**3 - 5*n**2 - 7*n + 2. Let r = -4 - -10. Let u be h(r). Let q = -1 - u. Solve -5*s + 4*c - c = -q, -3*s + 2 = -2*c for s.
0
Let w = -131 + 147. Solve -5*b + 4 = -b, w = 3*u + 4*b for u.
4
Let t be (6/4)/(1 + (-2)/4). Solve -8*z + 5 = -t*z, 4*z = 5*k - 16 for k.
4
Let h(f) = f**3 - 7*f**2 - 6*f - 2. Let z be h(7). Let j = z + 65. Suppose 3*w + 9 = j. Solve r - w = 3*d - 7*d, 3*d + 4*r = 3 for d.
1
Suppose 32 = 2*k - 0*k. Let p be 4/k - 142/(-8). Solve 0 = 5*z - 5*y - 0*y - 30, -p = -z + 4*y for z.
2
Suppose -4*z + 15 = -3*l, -l + 4*l - 15 = -z. Suppose 3*u + 1 = -2*t - z, -t + 9 = -u. Suppose -11 = -t*v - 3. Solve 5*g + 3*r + v = 9, -8 = -2*r for g.
-1
Let w = -1 + 16. Suppose 0 = -4*u + w + 49. Suppose 0*k = -5*k - 5*b - 5, -4*b = -2*k + u. Solve 5*d = p + 24, 3*p - 1 = -k*d + 12 for p.
1
Let w(a) = -2*a**2 + 16*a + 18. Let v be w(0). Solve 5*d = 4*g + 15 + v, -d = -g - 7 for g.
-2
Suppose -h + 4*w + 0 = -10, -2*w - 4 = 0. Suppose -2*a + 0*a - 8 = 0, 0 = -2*l + h*a + 14. Solve 0 = 4*g + 2*j - 12, 5*g - g + l*j - 16 = 0 for g.
1
Let p = 15 - 15. Suppose p = 2*l - 39 - 17. Let w be 6/4*l/6. Solve b = 3*q - 13, -3*q = -b - w*q + 8 for b.
-4
Let y(w) = w + 1. Let d be y(1). Let g be (0/5)/(d - 1). Solve g = 3*f + 3*o - 15, 0 = -f + o - 2 - 3 for f.
0
Suppose 0*w - 3*w = -4*w. Solve -4*y - 4*t + 4 - 12 = w, 2*y = 3*t + 21 for y.
3
Let g = 448 + -444. Solve -2*c + 4*m = m + 12, -g*c + 5*m - 22 = 0 for c.
-3
Let i = 205 - 204. Solve -x + i = -a - 3*x, -4*x = -5*a + 37 for a.
5
Suppose 6*j + 5 = -121. Let r be (-203)/j + -2 + (-14)/(-6). Solve 2*c + 2*c - 4*f + 4 = 0, -r = -5*f for c.
1
Let z = -1263 + 1272. Solve -z*n + 5*n - 2*v + 10 = 0, 4*n = -4*v for n.
5
Let u be ((-720)/100)/((-2)/5). Solve 0 = -b - 3, 4*b + u + 6 = 4*t for t.
3
Suppose -38 = 10*a - 308. Let i(t) = -t**3 - 6*t**2 - 6*t - 3. Let y be i(-5). Solve 5*f + 9 = -4*m, -a + 4 = 3*f - y*m for f.
-5
Let q(z) = 2*z**2 + 8*z + 2. Let c be q(-4). Suppose 23 = 4*f - c*a + 169, -5*f + 2*a = 181. Let d = f + 36. Solve 3*t + 6 = 2*u + d, 3*u + 12 = -2*t for u.
-2
Let g = -7 - -1. Let r be (-18)/(-3) + 0 - -2. Let c = g + r. Solve h = -4*v - 0*h - 4, -c*v + 3*h = -12 for v.
0
Let b be 11/55 + 56/(-5). Let u(o) = o**3 + 12*o**2 + 10*o - 8. Let z be u(b). Solve -2*i + z = m + 4*m, 3*m + 11 = 2*i for i.
4
Let u = 57 - 22. Suppose -49*g = -56*g + u. Let r = -19 + 31. Solve -3*w + 3*c + r = 0, w - g*c - 12 = -2*w for w.
4
Let d be ((-540)/63 - -8)/((-4)/14). Solve v - 4 = 4*z + 2*v, 5*v - 16 = -d*z for z.
-2
Let b = -42 - -44. Let v(c) be the third derivative of 7*c**5/60 - c**4/8 - 3*c**2. Let q be v(b). Solve -5*u + 5*y + 28 = -q, 4*u = -2*y + 10 for u.
5
Let g be (-18)/6*(-22)/(-2). Let k = g + 49. Let b be (-31 - 1)/(-14 - -12). Solve 4*f - f + k = 5*n, -5*f + 3*n - b = 0 for f.
-2
Suppose 4*k + 4*a = 8*a + 308, 2*k + 3*a = 144. Let v be k/(-27) - -3 - (-50)/18. Solve -2*n + 13 - 3 = 5*s, -v*n = 2*s + 7 for n.
-5
Suppose