ose d - 4*t - 34 = -8, -d = 5*t + 10. Suppose -2*x + 7*x = d. Solve 5*p - 5 = 5*k, -2*p + 0 + 10 = x*k for p.
3
Suppose 8 = w + 3. Let a = -1 + w. Solve -t + 3*b - 7 = 1, -2*b = -a for t.
-2
Let f be (1 + 11)*2/8. Suppose -8 = -x - f*x. Solve 2*l + 2 = 6, -x*a - l - 6 = 0 for a.
-4
Let h(y) = y - 7. Suppose -2*c - 8 = -2*d, 6 = 3*d - 9*c + 4*c. Let r be h(d). Solve 2*t + 2*g = r, -g + 0 = -t + 4 for t.
2
Let k(l) = -3*l**2 + l**2 + 2*l**2 + l**2 - 4. Let b be k(3). Suppose -5 = -3*h + 10. Solve 4*z + 6 = -b*a, 2*z - 3 = h*a + 9 for z.
1
Let m = 7 - 5. Solve -5*g = -3*u - 17, -u + m = -3*g + 13 for g.
4
Suppose n + 19 = 5*y - 0*y, 0 = 2*y + 3*n + 6. Solve -2*l + 4 = y*o, -2*l - 32 = -3*o + 3*l for o.
4
Let w = 15 + -5. Suppose 0 = 5*u - w*u. Solve u = -4*a + 3*a - t - 6, -2*t - 3 = -a for a.
-3
Let o(u) = -4 - u**2 + 4*u**2 - 7*u - 5*u**2 + u**2. Let j be o(-5). Solve 5*r - y = j*r + 4, -3*y = 0 for r.
-4
Suppose -7 = -5*c + w, -5 - 1 = -2*w. Solve n - 9 = -c*p, -7*p = -3*p - 12 for n.
3
Let y(a) = a + 8. Let t be y(-6). Let s = 7 - 13. Let n = s + 8. Solve -z = -3*l - t, -n*z + 0 = l + 3 for l.
-1
Let j(y) = -y**3 - 7*y**2 + 4*y - 2. Let l be j(-8). Suppose 0 = 3*q + 2*q - l. Let z = 0 + q. Solve 0 = 5*u - 2*h - 5, 0 = 2*u - 4*h + 8 + z for u.
3
Let p = -8 - -12. Solve 0 = -p*j + 2*j + f + 2, -3*f + 6 = -2*j for j.
3
Suppose -4 = -11*l + 9*l. Suppose b - 3*g - 96 = -2*b, 0 = -b + 2*g + 37. Solve 3*t = 3*i - b, -3*t + l = -2*i - 6*t for i.
5
Let a(p) = p**3 - 13*p**2 + p - 9. Let d be a(13). Solve d*k = -m - 9, -2*k = -4*m + 6*m for k.
-3
Suppose 0 = 76*j - 75*j - 5. Let r(d) = -d**2 + 4*d + 7. Let n be r(5). Solve n*u = -3*b + j, 2*b - u + 3 = 3*b for b.
-1
Suppose 2*f + 4 = -0, 4*f - 4 = -3*o. Solve 0*x - 8 = -r - x, 4*r + o = 5*x for r.
4
Let z be (42/(-4))/(1/(-2)). Let s be 1/3 - (-77)/z. Solve -4*v + 5*v = 5*k + 3, -12 = -s*v + 4*k for v.
3
Let d(r) = -r**3 + r**2 - r - 7. Let i be d(0). Let y = i - -11. Solve y*o = 0, -4*a - o - 4*o = 16 for a.
-4
Let k(j) = -j**3 - 8*j**2 - 5*j + 5. Let d = -5 + 3. Let m be d/(-7) + 232/(-28). Let p be k(m). Solve s + 5 = 0, 5*u + p = -s - 4*s for u.
-4
Let p be (-2)/(-8) + (-95)/(-20). Suppose 3*t - p*u - 47 = -u, 17 = t - u. Solve -5*y + 4*f = -t, 0*y - 5*y + f + 24 = 0 for y.
5
Let d be ((-6)/(-4) - (-2)/(-2))*0. Solve -4 = 3*o + 2*v, -5*o + 2*v = -d - 4 for o.
0
Let g(o) = -o**2 + 8*o + 14. Let f be g(10). Let d(x) = x**3 + 5*x**2 - 8*x - 7. Let z be d(f). Let p = 10 + -4. Solve -z*c - 2*h = p, 3*h + 3 = c + 2*h for c.
0
Let c(i) = i + 9. Let w be c(-9). Suppose -5*f + 16 = -2*k - 15, 22 = 5*f + k. Solve w*v - 4*g = 3*v + 8, 4*v + f*g + 9 = 0 for v.
4
Let g = 6 + -3. Solve -3*o = g*h + 6, 5 = -h - h - o for h.
-3
Suppose 4*o = y - 8, -y + 6 - 1 = -o. Suppose -y*b + 6 = -2*n, -4*b + 0*n - n + 9 = 0. Solve 0*u = -4*u + p - b, 5*p - 10 = -4*u for u.
0
Let m(n) = -8*n - 8. Let g be m(-2). Solve 2*b + g = -2*b + s, -4*b + 3*s - 16 = 0 for b.
-1
Let r = 11 - 7. Suppose -r*s - 20 = 0, 4*s - 2 = -4*b + 2. Solve -b*k - 35 = -k + 4*t, -3*k + 6 = -3*t for k.
-3
Suppose -4*z = -2*n - 4, 0 = -0*z + 2*z - 5*n + 14. Suppose 0*o = -5*f + z*o + 18, 0 = -5*f - 5*o + 10. Solve -w + 9 = -y, 12 - 35 = f*y - 2*w for y.
-5
Let s(k) = -5*k + 25. Let y be s(5). Solve y*b = -3*b - 2*z + 12, 8 = 2*b - 5*z for b.
4
Let m(o) = -o + 17. Let h be m(0). Let t = 6 - 4. Let j(l) = l**2 - 2*l. Let g be j(3). Solve 3*w = s + h + 3, -t*w = -g*s - 25 for w.
5
Suppose 0 = -7*i + 4*i + 66. Let p = i - 20. Let j = 62 - 37. Solve 5*l = 4*t + j, p*l + 2 = -3*t - 11 for l.
1
Suppose 5*j - j = 12. Solve -4*r - j*n + 14 = -1, 0 = -5*r - 2*n + 17 for r.
3
Let i(h) = h**3 - 3*h**2 - 4*h + 2. Let o be i(4). Suppose -o*d + 5 = 19. Let r = d + 10. Solve r*g - k - 24 = -2*g, 5*g - 4*k - 36 = 0 for g.
4
Suppose 2*y = 4*y, -5*y - 11 = -j. Solve -j - 11 = -3*b - 5*f, 0 = 4*b - 4*f - 8 for b.
4
Let k(g) = g**2 + g + 1. Let u be k(0). Let s be (-30)/(-9)*6/5. Solve s*m + 3 = -2*a - u, -5*a - 2 = 2*m for m.
-1
Let w be (-1)/4 - 10/(-8). Let j(k) = -k**2 - 4*k + 4. Let z be j(-4). Let x be 8*z/((-32)/(-10)). Solve 2*v - x = 4*t, -w = t + 4 for v.
-5
Let s be 2 - (2 - (1 + 3)). Let z = s + -7. Let l be (-8)/z + (-2)/(-6). Solve -2*m + 8 = 2*j - l*j, 4*m - 28 = -4*j for j.
2
Let l be (6/(-5))/((-12)/30). Solve 3*c = k - 11, l*k + 13 = -2*c - 2*k for c.
-4
Let p be (42/4)/((-1)/2 + 1). Solve -35 = 5*r + 3*k, 0 = -8*r + 4*r - k - p for r.
-4
Suppose -4*w + w + 9 = 0. Let h be 0 - 16/(-1 - w). Solve 0*n = -h*n - j + 14, -3*n + 16 = -2*j for n.
4
Let q be (16/(-20))/(-2 + 8/5). Solve -h + 5 = -3*s, -q*h + 4 = -4*s + 2*h for s.
-2
Let i be (-1)/(3/(-3))*0. Suppose -3*y + 10 - 1 = i. Solve -2*p + y*r = 15, -4*r + 20 = 3*p - 2*p for p.
0
Let k(t) = 3*t - 15. Let r be k(7). Solve 5*w = 4*a + 2, 0 = 2*w - 3*w - 2*a + r for w.
2
Let p(n) = n**2 - 6*n + 8. Let c be p(6). Solve c - 1 = 3*o - 5*b, 0 = -5*o + b - 3 for o.
-1
Suppose 4*t + 18 = 13*t. Solve d = -2*b + 7, -t*b - 10 = 5*d - 5 for b.
5
Let k = -56 + 81. Solve 5*o - 5*u = -k, 2*u + 19 = -5*o + u for o.
-4
Let s = -18 - -21. Solve -3*j + 6 = 3*x + x, s*j = x + 6 for x.
0
Suppose -4*f + 9 = 3*g, 0 = f - 3*g + 11 - 2. Solve -2*u - 2*u + 5*v + 40 = f, -4*v = -2*u + 26 for u.
5
Let m be 5/(-10)*9*2. Let s = -11 - -2. Let v = m - s. Solve -5*f - 5*i + v*i + 10 = 0, 3*f - 9 = -2*i for f.
5
Let x = -23 + 40. Solve 2*u + 0*f = -5*f + x, u + 5 = 2*f for u.
1
Suppose -x - 6 = r, 5*r = -0*x + 3*x - 14. Let h(n) = -2*n + 1. Let s be h(x). Solve 30 = -2*u + s*b, 4*b = 3*u + 2*b + 23 for u.
-5
Suppose 0 = 3*y - 38 + 14. Suppose -3*l + y*l - 10 = -5*w, -5*w + 10 = -3*l. Solve -3*u + k - w = -2*u, 5*k + 40 = -5*u for u.
-5
Let b be 4/(3/(7 - -2)). Solve 0*p + 2*p = -8, 0 = -4*t - 5*p - b for t.
2
Let d = -5 - -6. Let z = d - -3. Solve 0 = o + h - z, 3*o = -0*h + 5*h + 20 for o.
5
Let h be 2*-1*(-10)/4. Let w = -5 - -5. Suppose -5*l - h*a + 100 = w, -a + 20 = 2*l - 4*a. Solve -4*g + 4*p = -0*p - l, -4 = 4*p for g.
3
Let g(z) be the first derivative of 6*z + 3 + 1/2*z**2. Let v be g(-6). Solve 5*p - 9*b = -4*b, v = b for p.
0
Suppose -5*n + 18 = 3. Let h be ((-2)/6)/((-3)/765). Suppose 7*t - h = 2*t. Solve n*a - g = -t, -2*a + 4 = g + 12 for a.
-5
Let s(d) = d**2 - 5*d + 6. Let o(x) = -2*x**2 + 9*x - 12. Let v(r) = -6*o(r) - 13*s(r). Let m be v(10). Solve -3*q + 6 = 0, 3*y + m*q + 2 = y for y.
-5
Suppose 0 = 4*l - 4*s - 72, -3*s = l - 1 - 5. Solve 0 = 3*w - l, 5*w = 2*d + 23 + 10 for d.
-4
Let m = 26 + -23. Solve 0 = -2*p + 3*g + 16, -5 = -3*p - 2*g - m*g for p.
5
Let c = -31 - -18. Let k = c - -20. Solve 5*s - 10 = -2*l, 2*s + 0*s = -3*l - k for s.
4
Suppose -u = 2*x - 3, 0 = -3*x + u - 3*u + 2. Solve -3*q = s + 16, 3*s - 2*s + x*q + 21 = 0 for s.
-1
Suppose -22 + 22 = -5*i. Solve -w - 11 = -i*w - 3*n, -4*w + 2*n - 14 = 0 for w.
-2
Let y(d) = d**2 + 2*d - 4. Let n be y(-4). Suppose -4*g + 2*m = 0, n*g = 3*m - 1 - 1. Let s be 1/g*0/2. Solve s*u - 2*u = -4*v + 2, 2*u - 2*v - 2 = 0 for u.
3
Let b(n) be the first derivative of -n**3/3 + 9*n**2 - 15*n - 2. Let h be b(17). Solve -2*y = 4*g - 12, 3*g - h = 3*y - y for g.
2
Let m(r) = -9*r**3 + r**2 - r - 1. Let o be m(-1). Solve x - 5*x + 20 = 5*j, 0 = -2*x + o for j.
0
Let h = -9 + 9. Suppose h = g + g + 344. Let d be g/(-36) + 2/9. Solve -2*z - 16 = d*a, a - 2*a - 2 = 0 for z.
-3
Let d(u) = 8*u - 6. Let c be d(4). Suppose -z + c = z. Solve -z = 2*p - a, p + 0*p + 20 = 5*a for p.
-5
Let z be (-4)/6 - (-276)/9. Suppose -3*c - 2*c = -x + 77, 12 = -4*x. Let s = c + z. Solve m + 1 = 5*k, 4*m - 2*k - s = -0*k for m.
4
Suppose -v + 4*b + 73 = 2*v, 3*v - 77 = 2*b. Let q = -14 + v. Let n be (6/4)/((-111)/(-296)). Solve -3*s - 2*s = -2*z + 18, n*s = 3*z - q for s.
-4
Suppose 2*p + 6 = -j - j, -5*j = -p - 15. Suppose 6*q - 2 = 5*q. Suppose -6*z + 34 = 2*l - q*z, 4*l - 40 = -z. Solve -j*i = -5*t - l, 4*t = t + 5*i - 13 for t.
-1
Suppose -12 = 4*t, -d - 5*t + 2*t - 6 = 0. Let p be (-12)/(-8) - d/(-6). Solve -g = -2*g - 5*v + 4, p*v = g - 4 for g.
4
Let d(i) = i + 3 + i**3 + 3*i**2 + 0 - 6*i. Let s be d(-4). Let a(w) = w - 2. Let k be a(s). Solve k*g + 13 = -2*z + z, 8 = -4*g - 2*z for g.
-3
Let s(b) = b**3 - 1. Let o be s(1). Suppose -2*j + j - 22 = o. Let l be (j/(-3))/((-8)/(-12)). Solve 3 