 + -2 - -15) + 0. Let y be 2/(-1)*w/(-8). Let c(t) = -t - 4. Let n be c(-4). Solve d = -x - n*d - 1, -6 = y*d for x.
1
Suppose z + 0*z - 5*o + 2 = 0, 0 = 4*z - 5*o + 8. Let l be (2 - 4)/z - -10. Solve 9 = -k - 0*r - 2*r, k = 2*r + l for k.
1
Let z be 1/(-6) - 73/(-6). Solve f + 4*c = -z, 3*f - c = 4*f for f.
4
Let f be ((-9)/6 + 0)*52/(-78). Let l be (-27)/(-12) - 2/8. Solve l*o - d - 5 = 0, -4*d = -5*d + f for o.
3
Let k(j) = 6*j - 5. Let q be k(6). Let p = 28 + -19. Suppose 5*z + l = -3*l + q, -z - p = -3*l. Solve a + z*a = 5*h + 16, 4*h + 8 = 2*a for a.
4
Let x = 59 + -55. Solve y + x*i = -14, -y + 1 = -i - 0*i for y.
-2
Let p be 0 + (5 - 3) + 4. Solve p = 3*h - 5*f + 1, f = -3*h - 1 for h.
0
Let l be (-9)/(-5) + (-3)/(-15). Solve 25 = 3*a + 5*v, 2*a - l*v = -v + 8 for a.
5
Let m = 380 + -377. Let z = 0 + 3. Suppose -9 = -4*i + 2*o + 5, z*i = o + 13. Solve 0 = -y + 2*w - i, w = m*y - 3*w + 8 for y.
4
Suppose 7*j - j - 24 = 0. Solve -31 = -3*k - j*y, 4*y + 1 - 2 = 3*k for k.
5
Suppose 2*b - 5*i = 20, 6 = -i + 2. Solve r + 11 = -b*r + 4*v, -3*r - 6 = -3*v for r.
1
Let o = -31 + 15. Let f = 24 + o. Let t be (-26)/(-4) + (-4)/f. Solve 4*z + 5 = -5*g, -3*z + t = g - 4 for g.
-5
Let w = 13 + -9. Suppose 0 = -4*f + 4 - 16. Let r be f/((-6)/4) + 0. Solve r*d = 3*l - 3, -w*d - 5*l = 1 + 16 for d.
-3
Let p be (2 - 1)*1 + 2. Suppose 0 = -p*c - 10 + 70. Solve -3*q + 3*s - 18 = 0, -q + 6*q = -5*s + c for q.
-1
Suppose 0 = y - 0*z - 3*z - 50, y = z + 48. Suppose -n - 20 + y = 0. Solve -8*k + 4*k = 5*u - 25, 2*u = -5*k + n for k.
5
Let q(t) = t**3 + 6*t**2 - 2*t - 8. Suppose 14 = 4*s - 50. Let z = s + -22. Let h be q(z). Solve k + 17 = -3*c - 2*c, 2*c - h = -4*k for k.
3
Let l = -18 - -28. Let a(s) = 1 - 1 - l*s**2 + 2 + s**3. Let v be a(10). Solve -v*o + 2 + 6 = 0, -5*o + 20 = -g for g.
0
Suppose 6*k = 2*k + 5*k. Solve k*u + 2*w - 16 = -4*u, 4*w = -8 for u.
5
Let i = -15 - -9. Let l(x) = x**3 + 7*x**2 + 6*x + 2. Let f be l(i). Let b be (24/4)/(1*f). Solve 6 = b*k, k = -4*d + 5*k - 4 for d.
1
Suppose f + 2 = 0, 5 = 5*t - 2*t + 2*f. Solve -4*j + t*m - 11 = 0, -j + 2*m = m + 4 for j.
1
Suppose 4*j - 5*j = -17. Let m = 4 - 2. Solve 5*q - m*y + 18 = 0, 0 = 4*q + 2*y + 1 + j for q.
-4
Let t = -23 + 26. Solve 0 = r + 5, 0 = 4*o - r - t*r - 8 for o.
-3
Suppose 16 = 6*l - 2*l. Let m be 1 + -2*9/(-6). Solve -y - 3*t = -4 - l, -5*t + 25 = m*y for y.
5
Let c(h) = h**3 - 6*h**2 + 4*h + 3. Suppose -2*f + 7*f - 25 = 0. Let j be c(f). Let d be (-1 - (-2 + 1))/j. Solve d = 5*g - 5*w - 3 - 7, -w - 2 = g for g.
0
Let l = 10 - 7. Let o be l + (-2)/2 + 1. Solve 18 = -v - 0*y - o*y, 4*v + 4*y = -32 for v.
-3
Let u be 336/35 - -2*(-1)/(-5). Solve -f - 5 = -j - 3, -u = 2*f - 4*j for f.
1
Let w = 7 + -2. Solve -5*c + 0*c - w*u = -30, 4*u - 14 = -2*c for c.
5
Let q = 9 + -7. Suppose 0*i = -q*i - 6, 5*r + 2*i = 4. Solve -5*c + 0 = -4*a - 2, -c = -r*a - 4 for c.
-2
Let q be (-44)/(-12) + ((-1)/(-3) - 1). Solve 2*i + 2 - 4 = 3*u, i + 2 = q*u for i.
4
Let l = 45 + -41. Solve -5*t - z - l*z = -25, 0 = -5*t + z + 7 for t.
2
Suppose 0 = 2*t - 0*t - 10. Let b be (t/(-5))/((-2)/8). Let v = 9 - -3. Solve -b*l + 24 = -3*o - l, v = o + 3*l for o.
-3
Suppose -f = 3*f - 36. Let y = f + -7. Solve 5*z - 41 = 4*p, -y*p - 4*z = -5*p - 32 for p.
-4
Let g be 1/((-26)/(-14) + -2). Let o = 10 + g. Let n = o - 3. Solve 10 = 3*s + 5*t, n = 4*s - 0*s + 4*t - 16 for s.
5
Suppose 4*l + 100 = 8*l. Solve 5*g = -5*i + l, -2*g - g = 4*i - 17 for g.
3
Let t(h) = -h + 14. Let g be t(-8). Solve 0 = 3*o + 4*f, -3*f + g = -4*o - f for o.
-4
Let c be 34/(-136) + 37/4. Solve 0 = -z + y - 5*y - 15, 0 = 2*z + y + c for z.
-3
Suppose v - 6*v = 0. Solve -3*y + x + 5 = v, 4*y - 4*x - 10 = -2*x for y.
0
Let c = 9 - 7. Solve 0 = -5*y + 3*i + 1, c*i - 4*i + 14 = 4*y for y.
2
Let w(u) = -u**3 - 5*u**2 + 4. Let i be w(-5). Solve -5*d + 5 = -5*x, -i*x = 3*d - 12 - 12 for x.
3
Let b = -6 + 10. Suppose 3*a + 7 + 5 = 0, b*t + 8 = 4*a. Let c(g) = g**2 + 5*g + 6. Let s be c(t). Solve 5*p = 10, -10 - s = -3*r - 5*p for r.
4
Suppose 22 = -2*n + 4*n + 3*d, -n = 2*d - 13. Solve 3*l = 4*g + n*l, -3*l - 6 = 0 for g.
1
Let n(r) = 4*r**3 + r**2 - r + 1. Let x be n(1). Solve 4*z - 8*z + 12 = -4*q, x*z = 2*q + 3 for z.
-1
Let d(i) = i**2 + 4*i + 8. Let r be d(-6). Solve 0 = -5*x + r, -x + 12 = -0*a - 4*a for a.
-2
Let x(r) = 3*r**3 + 4 - r**3 - 4*r**2 - 5*r**2 - 3*r**3. Let k be x(-9). Solve -2*y - k*w - 6 = 0, -3*y + 4*y = -4*w - 1 for y.
-5
Let b(c) = -5*c + 1. Let d be b(-1). Solve d = 5*x - o - 5, 8 = 2*o for x.
3
Suppose 3*w - 11 = 4. Solve -2*r + v - 2 = r, w*v = -r - 6 for r.
-1
Let b(z) = -2*z - 2. Let t be b(-10). Solve 5*d + 22 = n, -5*n + 12 = -5*d - t for d.
-4
Suppose a + 3*a - 68 = 0. Suppose 5*h + 2*g - 40 = 6*g, g = -h + a. Let r be 2/8 - (-21)/h. Solve -r*t = -7*t - 5*o + 40, 0 = -5*t - 2*o + 31 for t.
5
Suppose 4*d = 4*h + 3 + 1, 0 = 4*d - 2*h - 10. Let t = 9 - d. Solve 3*p - 6*p = 0, 0 = -t*j - p + 20 for j.
4
Let x be 7 + ((-2)/1 - -1). Let p(k) = 2*k - 4. Let d be p(x). Solve 2*l + d = -w, -4*w = -2*l + 4 - 2 for l.
-3
Let z = -59 + 64. Solve -p = 3*a - z, -3*a + p + p - 1 = 0 for a.
1
Suppose 6 = 4*a + 2*s - 30, -5*s = 2*a - 34. Solve 9 = -4*i + 3*b, -4*i - 3*b = -a*i - 6 for i.
-3
Suppose 0 = -5*w + w + 8. Suppose 0*o = o - 4*z + 10, -w*z = 3*o - 12. Let n be 6/15 + o/(-5). Solve n = d - 4*i - 0*i - 17, 2*d + 11 = -i for d.
-3
Suppose 4*q + 9 = 21. Suppose -q = n - 7. Solve 0 = h - 2*i, -h - n*h = -2*i for h.
0
Let r(f) = f**2 + 7*f + 1. Let j be r(-7). Solve 5*l + 6 = -t + j, 3*t - l - 1 = 0 for t.
0
Let t = 8 + -10. Let o be t/(-9) - 210/(-27). Suppose -h + 17 = -o. Solve 2*a = -5*i - 0*a + h, 2*i = 2*a + 10 for i.
5
Let s be -2 + (2 - (1 + -1)). Let w = 2 + s. Let x(f) = f - 4. Let h be x(8). Solve -4*t + 8 = 3*k + w*k, 4*t = -2*k - h for t.
-3
Suppose 2*f - 8 + 28 = -5*g, 2*f = 5*g. Let v = 7 + f. Suppose 3*s = v*s. Solve -2*i - 2*j + 0 = -8, i + 5*j - 8 = s for i.
3
Let g be (-2)/(-10) - (-14)/5. Let f(n) = -n**2 - 11*n + 14. Let b be f(-11). Let s be b/6 + (-1)/g. Solve -2*h - l + 4*l + 1 = 0, 2*h - 4*l = s for h.
-1
Suppose 17 + 4 = k. Solve 2*f + 2*f - k = a, 4*f - 22 = 2*a for f.
5
Let g = 6 - 4. Let y be 4/g + 6 + -3. Solve 2*l - y = 3, 3*f + 2*l = -7 for f.
-5
Let z(r) = -8*r. Let p be z(-1). Let f be (-3)/((-12)/p) + -2. Solve -5*i - 13 = 2*a, i - 15 = -f*a + 4*a for a.
-4
Let t(i) be the third derivative of -i**5/60 + 5*i**4/12 + 7*i**3/3 + 8*i**2. Let o be t(11). Solve -4*j + 35 - 4 = o*u, 0 = 2*j - 5*u + 17 for j.
4
Let r be (14/(-3))/((-2)/6). Let h(i) = i + 5. Let b be h(-3). Solve -8 = 4*a, 3*p + r = -b*a - 2*a for p.
-2
Let j = 35 + -33. Solve -r + 5*y + 22 = 0, r + r - j*y = 12 for r.
2
Let t(j) = -j**2 - 3*j + 4. Let r(b) = b - 7. Let w be r(0). Let u = -11 - w. Let p be t(u). Solve 4*a = 5*g + 5 + 4, 5*a + 20 = p for g.
-5
Let u(d) = -5*d**2 + 3*d + 4. Let x(a) = -4*a**2 + 3*a + 4. Let z(b) = -5*u(b) + 6*x(b). Let y be z(-3). Solve 2*f - 2 = 0, -5*k - f + 5 = y*f for k.
0
Suppose 0 = -3*r + 5 + 1. Let a = 3 + -3. Solve -3*l = -5*b - 7, -r*b - 2*l = -a*l - 10 for b.
1
Suppose -3*h + 2*h - y = -5, y = 2. Solve -h*t - 5*i + 30 = 2*t, 0 = -2*t + 3*i + 7 for t.
5
Let k(f) = -f + 1. Let a be k(-3). Suppose -a*q + 9*q - 4*s = 14, -s = 4*q - 28. Solve j + 3*p + 13 = 0, q*j = 2*j - p - 8 for j.
-1
Let d = -6 + 6. Let c be (d/(-2) + -1)*0. Solve c = -4*w + 16, 3*t - 3*w = -0*w + 3 for t.
5
Let x(k) = -k**3 - 6*k**2 - 7*k - 6. Let v be x(-5). Solve 10 = 3*l + 2*u + 4, v*l = -3*u + 7 for l.
4
Let a = -42 - -49. Solve -4*f + c + 3 = 0, -4*f + 3*c + 9 = -a*f for f.
0
Let d = -14 + 16. Solve -5*i - r = -5, -d*r + 2 = 2*i - 0*r for i.
1
Let g(y) = -y**3 + 2*y - 1. Let l be g(-2). Let x be (2/(-3))/((-3)/9). Solve 0 = 2*u + x*b + 8, -l*b - 4 = -10*u + 5*u for u.
-1
Let d(i) = -i**2 - 11*i + 23. Let v be d(-12). Solve 4*m - 5*a = -v, -2*m - 5*a - 17 = m for m.
-4
Suppose 0 = -8*z + 5*z + 63. Solve -5*g + 24 = -u - 5, 4*u = g - z for g.
5
Suppose 5*u - u = 0. Suppose u = 3*s - 3 - 3. Let b = -4 + 6. Solve -25 = -5*c + 3*r, -19 = -s*c - b*r + 5*r for c.
2
Let k(t) = -3*t - 47. Let r be k(-17). Let n = 65 + -45. Solve 5*x = -2*v - 10, -n = r*x + x for v.
5
Let v be 30 - 3/(6/4). Let l = -14 + v. Let n be (4/3)/((-