et x be (-1 - -3 - 1)/(-1)*-5. Solve -x*o - 20 = 5*d - 0, -13 = 3*d + 2*o for d.
-5
Suppose 0 = 5*h - 0*h - 70. Solve 0*n = -2*n + 4*b - 4, -5*n + h = 2*b for n.
2
Let r be 1/2*(0 - 0). Let d = 20 + r. Let b = 13 - 11. Solve q - b*p + 12 = -q, -4*q = -2*p + d for q.
-4
Let i be 1 - ((-1 - -3) + -4). Solve 4*z + 10 = -3*c, 2 = 2*c - i*c for z.
-1
Suppose 2 - 2 = -10*z. Let a(l) = l - 1. Let q be a(6). Suppose z*j = -q*j. Solve j*p + 5*h - 10 = -5*p, -p + 3*h = -14 for p.
5
Suppose 0 = -3*n - 42 + 54. Solve 4*l + 5 = 5*y + 13, 2*l - 4 = -n*y for l.
2
Suppose 5*f - 14 = -c, 4*f - 4*c - 1 + 9 = 0. Let h = -2 - -4. Let n = 12 - 8. Solve 0 = 4*r + h*k + 8, f*r + 7*k - n*k = 4 for r.
-4
Suppose 3*o - 5*o + 6 = 0. Suppose 2*b - 5*b = -5*n + 22, -o*n - 3*b - 6 = 0. Let i = 40 - 22. Solve c = -x - n*x - i, 4*c + 2 = 2*x for x.
-5
Let u(g) = -g - 7. Let h be u(-7). Suppose h*k + 717 = 3*k - 3*j, 0 = -2*j - 8. Suppose 2*i + 3*i = k. Solve 4*p = -20, -5*p - 3 - i = 5*l for l.
-5
Let u be (15 + -13)/(2/8). Solve -4*n + n + m = 7, 2*n + m = -u for n.
-3
Let x(w) = 3*w + 1. Let s be x(-1). Let z be -4 - (0 + 1 + s). Let a be z/(-6) + 6/4. Solve -2*v - 4*o + 20 = a*v, -4*v + 2*o + 2 = 0 for v.
2
Let h(u) = 2*u. Let k be h(1). Solve 5*n + 13 - 1 = -k*z, -3*z = -12 for n.
-4
Let k = 2 - -10. Solve -32 = 5*v - k, -3*h - 20 = 2*v for h.
-4
Suppose 0 = -u - 0*u + 6. Suppose -w = w - u. Solve w*z + i = 7 + 2, 0 = 3*z + 3*i - 3 for z.
4
Let v = 10 - 7. Let h be 4 + 2/(-1) + 1. Suppose c - 1 = 5*m, 2*m - 3 = m - h*c. Solve -2*w + v*s - 15 = m, -4*w + 3*s = w + 15 for w.
0
Suppose 4*k = -0*k - 3*u + 17, 4*k - u = 5. Suppose 4*o + 1 = -0*r + r, 0 = k*o. Let x = 9 - 5. Solve -13 = x*j + 5*g, 5*g = -j + r - 8 for j.
-2
Suppose 4*c - 12 = c. Let w(a) = -a - 4*a**2 + 4*a + 2 + 6*a**3 - 5*a**3. Let y be w(3). Solve 3*x + 4*s - 9 = s, x = -y*s + c for x.
2
Suppose -2 = -4*w + 3*w. Solve l - 9 = w*l - 2*r, -7 = -l - 2*r for l.
-1
Suppose -5*o + 2*o + 4*r + 4 = 0, -4*o = 3*r + 3. Solve 3 = -z - 5*b, o = 4*z - z - b - 7 for z.
2
Let r = -4 + 4. Let u be (r - 0)*(-1)/(-2). Let y be 2/((-1)/(-10) - u). Solve -y = -4*m + l, 0 = -0*m + 4*m + 2*l - 8 for m.
4
Let s(x) = 2*x - 19. Let v be s(13). Suppose 2*c - 4*d - 6 = c, 2*c - 3*d - v = 0. Solve -3*a + 12 = -3*u - 9, 24 = 4*a - c*u for a.
5
Let h(o) = o + 5. Let m be ((-1)/1 - 0)*3. Let z be h(m). Solve -2*d - z = -4*i + 16, 3*i - 4*d = 11 for i.
5
Suppose 65 = -5*v - 50. Let k be (1 + 4/(-2))*v. Solve y - 6*y + k = -m, 0 = -3*y + 15 for m.
2
Let k(y) = 1 - 2*y + 0 - 3 + 3*y. Let n be k(6). Solve -p + 2 = -x, n*x + 22 = -5*p + 2*p for p.
-2
Let d(r) = -1 - 3 - 3 + r. Let j be d(10). Solve -3*b = j*v + 6, 0 = -3*v + 2*b - 2 + 1 for v.
-1
Suppose s + 3*v = -2*s + 69, -s - 5*v = -43. Solve 0*z + 20 = -5*z, 2*q - 3*z - s = 0 for q.
3
Suppose 4*s - n + 52 = 0, -n = n - 8. Let x be (2 - s) + (-8)/(-4). Solve -4*l - o = -20, -5*l + 9 = o - x for l.
5
Let x(d) = d**3 + 5*d**2 - 8*d - 9. Let o be x(-6). Suppose o*k - 5*i = 1 - 4, k + 5*i - 19 = 0. Solve 2*r - 4 = 4*a, -k*a + 2*a - 2 = 3*r for a.
-1
Suppose 0 = -k - k + 4. Let c be 4/(-1 + k + 0). Solve -5*j + 25 = 3*d, -c*j + 5 = -3*j - 3*d for j.
5
Suppose -f + 4*b + 5 = 0, 2*f - 3*b - 8 - 2 = 0. Suppose 0 = -d - 5*r + 13, -d + r - 2*r + f = 0. Solve 0 = -d*p + 3*t + 21, 0 = 2*p + 4*t - 2 - 0 for p.
5
Let c = 6 - 1. Solve -5*a = 4*f - 15, c*f + 6*a = 3*a + 9 for f.
0
Let v(w) = -w**3 - 5*w**2 - 4*w + 3. Let r be v(-4). Let l(u) = 2*u - 2. Suppose -2 = -x - 0. Let o be l(x). Solve -3*q - q = -3*k - 3, -k + o*q = r for k.
3
Suppose b = 4 - 0, -3*y - 4*b = -79. Suppose y = -4*z + 105. Solve -2*q + 6*q - z = -g, 4*g + 3*q = 32 for g.
5
Suppose -4 = 4*g - 5*g. Solve 5*m + 2 = -g*i - 25, 0 = 4*i + 2*m + 18 for i.
-3
Let q be 4/(-14) - 2/(-7). Solve -4*d - 16 = q, 4*a = 2*a - d - 14 for a.
-5
Suppose -a - 14 = -3*h + 1, -15 = 4*a + 3*h. Suppose 0 = -r - 3*r - 2*p + 46, -4*p + 20 = 0. Let k = r + a. Solve -3*u = -2*d + 5, 3*u = -k*d + 7 - 37 for d.
-5
Let s(y) = y**3 + 12*y**2 - y - 10. Let m be s(-12). Let t be (-24)/(-10) - 9/(-15). Solve -3*r = q + 1, r + m = t*q + 5 for q.
-1
Let y be -1 + 5 + 0 + -2. Suppose 0 = y*h - 1 - 5. Suppose 0 = 5*o + 10, 0 = h*j - 6*j + 4*o + 17. Solve 2*r - 9 = -5*s, -18 = -j*s + r + 2*r for s.
3
Let f = -5 + 2. Let r be 10/(-15)*f*2. Solve r*m - 4*k + 12 = 0, 2*m = 4*m - 4*k + 10 for m.
-1
Let i(q) = -2*q**2 - 7*q. Let w be i(-3). Suppose -2*p + 75 = w*p. Solve 7 = -3*y + 2*m, y + p = -3*m - 2 for y.
-5
Let g = 136 + -91. Suppose -3*s + 0*s = -3*y + g, -2*s = -5*y + 63. Solve -12 = 8*q - 4*q + 4*l, q + y = 3*l for q.
-5
Suppose 3*k + 12 = 24. Solve c - 1 = -k*h + 12, -4*h + 10 = 2*c for c.
-3
Let f be ((-11)/33 - 1/(-3))/1. Solve -2*c + x + 5 = f, x + 7 = 4*c - 0*x for c.
1
Suppose -8 = 4*r - 0*r. Let z = 2 - r. Suppose 3*f = z*f - 5. Solve 2 = v - 0, 4*h = -f*v + 30 for h.
5
Let b = 20 - 2. Solve 2*z + b = -5*x - 12, 4*z - x + 16 = 0 for z.
-5
Let j = 7 - 1. Suppose -m = -3*a - 8, -4 - j = -3*m - 5*a. Solve d = -m*s - 2*d + 19, 0 = s - 5*d - 15 for s.
5
Suppose 3*r + t = 6*t + 12, 4 = r + 5*t. Solve -2*c + 2*z = -1 - 1, r*z - 1 = -c for c.
1
Suppose 2*w = 3*w. Let m(s) = s**2 + 4*s + 3. Let r be m(-5). Let n = r - 5. Solve -6*p = -n*p + 6, -2*t + 3*p - 4 = w for t.
-5
Suppose 2*v - 4 = -0. Suppose -2*j + 5 = -b, j + 4*b - v*b = 0. Suppose 4*n + 23 - 87 = 0. Solve -5*r - j*h + n = 0, -5*h + 3*h = 4 for r.
4
Let m be (9 - 7) + (1 - -1). Solve m*a = 5*f - 18, 3*a + 4*f - 4 = -f for a.
-2
Let o(u) = -2*u - 1. Let s be o(-1). Solve 4 = g - s, -5*n + g = 30 for n.
-5
Let w(h) = h**3 - 8*h**2 - 10*h + 13. Let i be w(9). Suppose 4*m = 24 - i. Solve -t + 10 = -4*x + 6*x, 5*t + x - m = 0 for t.
0
Let u(l) be the third derivative of -l**4/24 - l**3/3 - 3*l**2. Let f be u(-6). Solve -v + 4 = -w, f*v - 4 = w - 3 for w.
-5
Let b(r) be the third derivative of 2*r**2 + 0 + 13/6*r**3 - 1/24*r**4 + 0*r. Let m be b(7). Solve -5*h + 30 = 3*s, m*s + h = s + 28 for s.
5
Let c(n) = -3*n + 1. Let i be c(-1). Let w = 7 - i. Suppose o + 10 = w*o. Solve 0 = -2*l + o*l - 5*u + 2, l + u = -6 for l.
-4
Let z = 161 - 158. Solve 0 = -4*u + 16, z*x = -0*u + 4*u - 25 for x.
-3
Let c = -5 - -7. Suppose 0 = -c*h - 3*h. Solve 10 = 2*p, 6*q - 3*q + 3*p - 24 = h for q.
3
Let v = -7 - -18. Solve -8*g = -3*g - 2*r + 18, -v = 4*g - 5*r for g.
-4
Let i(t) = t**2. Let o be i(-1). Let h be 6 - (0 - o*-2). Let l = -37 - -40. Solve -l*p + 31 = h*r, 3*r + r = -2*p + 26 for p.
5
Suppose -5 = -3*s - 2. Suppose -o - s = -3. Solve 5 = -w + o*w, a = -5*w + 21 for a.
-4
Let v = 4 - 2. Let c be -1*v/(-4)*38. Solve -2*m + 18 = -5*h, 5*m - c = -h - 1 for h.
-2
Suppose 37 = -4*v + 3*f, -32 = 2*v + f - 1. Let m = v + 13. Suppose 4*u + 8 + 8 = 0, 5*u + 30 = o. Solve o = 3*a + g - m*g, -2*a = 3*g + 5 for a.
5
Let u be 3/12 + (-108)/(-16). Suppose -u*j = -8*j + 4. Solve -d + 5*p = 7, -2*d = -j*d + p - 5 for d.
-2
Let v(l) = -2*l - 6. Suppose -4*t = 6 + 10. Let r be v(t). Solve 20 = -4*a, -r*s - s - 10 = 2*a for s.
0
Let j be 3 - (-1 + -3) - -1. Solve 5*q + z = 0, 2*q + j = -2*z - 0*z for q.
1
Let q = -5 + 8. Solve q*h + 19 + 5 = 3*x, 0 = x + 2*h + 4 for x.
4
Let s(w) = -2*w**3 + w**2 + w. Let k be s(-1). Solve 0*o = -k*p - 3*o - 13, -p + o = -1 for p.
-2
Suppose 3*s = i + 49, 0 = -3*s - 2*i + 17 + 29. Solve -3*o = 4*j - 16, o - s = -5*j + j for j.
4
Let r(u) = u**3 - u**2 - u + 3. Let q be r(0). Solve 4*g - q = -4*m + 1, 5 = 5*g for m.
0
Suppose 3*z - 4 = -1. Solve 4*x - 1 = -n - 3, -x - z = 0 for n.
2
Suppose -k = -5*f + 20, 3*k + 2*f - 10 = 3*f. Solve -c = -3*x - 15, -k*c + c - 4*x - 20 = 0 for c.
0
Suppose 5*r - 4*r - 22 = 0. Let q be 2/(-6) + 44/6. Let z = r - q. Solve 0 = u - 5*h - 1, -5*u - 2*h - 7 = z for u.
-4
Suppose 0 = -4*m - g + 45, 17 + 1 = m - 2*g. Let n be (10/4)/(1/m). Let k = 1 + 3. Solve 4*v - 2 - n = -k*h, -h + 20 = 4*v for h.
4
Let g(s) = 2*s**2 - 4*s - 2. Let u be g(3). Let y be ((-5)/10)/((-1)/4). Solve x + u*x = 0, h - y = -x for h.
2
Suppose 0 = -5*u - w + 19, 4*u - 4*w = -2*w + 4. Solve -r + 2*j = -1, 0 = -u*r - 3*j - 13 - 11 for r.
-5
Suppose -5*k + 1 + 14 = 0. Let d(f) = 2*f - 9. Let u be d(5). Solve -c = c + x + 4, -x + u = -k*c for c.
-1
Let b(h) = -3*h**2 - 42*h + 20. Let y be b(-14). Solve 