m. Let d = c - 26. Solve 0 = -3*k + 4*i + 4, 5*k - 10 = -3*i + d for k.
4
Let b be (-3)/((((-45)/(-2))/(-5))/(-15)). Let w be -22 - -19 - (2 + 1*b). Solve 0 = 4*p - 12, w*p - 13 = -g + p for g.
1
Suppose -3*l + 13 - 4 = 0. Suppose 0 = m - 5*b + 4, 5*m + b - 36 = 3*m. Let z(v) = 3*v - 4. Let u be z(3). Solve -4*s + 5 = 3*c, -l*c + u = -4*s + m for c.
-1
Let a(u) = -2*u - 10. Let p = -57 + 51. Let b be a(p). Solve b*t + 3*i + 9 = -3, 0 = -t - 5*i - 13 for t.
-3
Let w be (-399)/8 - 3/24. Let j = 52 + w. Solve -h + j = -r + 1, -5*r + 3*h - 9 = 0 for r.
-3
Let h = 13 + -8. Suppose 7 = h*x + 2. Suppose 4*w = 4*f - 4, -4*f - 3*w + x = -17. Solve -5*q + 16 = 2*s, -f*s - q = -s for s.
-2
Let z(i) = i**3 + 8*i**2 + 7*i + 5. Let y be z(-7). Solve y*t + 11 = -2*k, 5*t - 5 + 10 = 0 for k.
-3
Suppose -n + 5 = -6*n + 5*f, 6*n + 2*f = 26. Solve -n*v - 2*k - 4 = 0, -4*v + 4 + 2 = -3*k for v.
0
Let u = 532 - 527. Solve -35 + 11 = -2*f + u*q, -4 = q for f.
2
Suppose -j - 72 = 5*j. Let m be 16/j - 30/(-9). Let z be (-2)/9 - (-2)/9. Solve z*d - 5*x + 21 = -d, 13 = -5*d + m*x for d.
-1
Let c(k) = k**3 - 6*k**2 - 6*k - 6. Let q be c(7). Let u = -180 - -180. Suppose 0*z - q = -z - v, u = v. Solve 1 + z = 2*d - 2*i, 4*i = -3*d - 18 for d.
-2
Let y be (7 - 5) + (-2 - 34). Let j = 36 + y. Let o = -14 - -17. Solve -b = 3*i + o, b + j*i = -2 - 0 for b.
0
Let s be 5/(-30) + -2 + (-74)/(-12). Solve -5*a = -2*m + 9 + 4, 4*m - 8 = s*a for m.
-1
Suppose -b + 0 + 5 = 0. Suppose -2*u + 0 = -2*o - 12, b*o + 18 = -u. Solve 0 = 2*x + j + 11, -2*j + 3 = -u*x + 7 for x.
-3
Suppose -16*j + 80 = -0*j. Solve -j*p = 5*f - 25, -f - 17 = -4*f - 5*p for f.
4
Let c = 527 - 525. Solve -4 + 0 = 3*w - 5*k, -c*k = 4*w + 14 for w.
-3
Let y(g) = g**3 + 16*g**2 + 15*g + 2. Let k be y(-15). Suppose -4 = -3*u - u - k*s, -2*u + 4*s = -2. Solve -5*z = -2*a, u + 15 = -2*z + 4*a for z.
2
Let c(y) = -7*y + 131. Let i be c(18). Solve 4 = j + 2*n - 0, i*j + 2 = n for j.
0
Let q(h) = 14*h - 80. Let g be q(6). Solve -2*j - g*c = -4*j + 8, 3 = -c for j.
-2
Suppose 0 = w + 4*w + 10. Let i be (w + (-5)/(-3))*-18. Solve 2*b = g - b + i, b - 12 = -3*g for g.
3
Let j be ((-16)/3)/((-2)/(-30)). Let f be (j/48)/((-1)/3). Solve 0 = -5*b - f*h - 35, 3*h + 19 = -b - b for b.
-2
Let a(z) = -z**2 + 9*z - 11. Let u be a(6). Let n(t) = t - 7. Let d be n(u). Solve -4*s + c + 3 = d, 0 = c - 5*c - 12 for s.
0
Suppose 0*f = 3*b + f - 14, -2*b - 2*f + 12 = 0. Let y = 8 - b. Solve -d = 4, 24 = 3*x + x - y*d for x.
2
Let y(u) = u**2 + 6*u + 2. Suppose 6 = 2*f + 20. Let c be y(f). Let n = c - 7. Solve 3*g - g + 2 = w, w = g + n for g.
0
Let q(p) = 34 - 16 - p - 20. Let u = 2 - 8. Let y be q(u). Solve -5*z = y*x - x + 2, z = 2*x - 3 for x.
1
Suppose -12 = -c - 6. Let a be -3*10/c*-1. Solve 4 = -s + 2*s + 2*t, 11 = 2*s + a*t for s.
-2
Suppose -2*k + 31 = -3*l + 3*k, -5*l - 3*k = 63. Let b be (-5 - -1 - (0 + -5))*-7. Let m = b - l. Solve 0 + 5 = -2*n + q, -m*n = -4*q + 17 for n.
-1
Let h(j) = -3*j + 1. Let c be h(-3). Let d be (c - 12) + (1 - -8). Suppose 4*k - 1 - d = 0. Solve 6 = 4*q - 5*i, 3*q = k*i - i - 1 for q.
-1
Let q(u) = -u**3 + 6*u**2 + 2*u + 7. Let w be q(6). Let f = -19 + w. Solve 0*z + 22 = -3*t + 5*z, f = 3*t + 2*z + 8 for t.
-4
Let a be (1 - 6/10)/(82/2255). Solve 4 = -4*x, -5*v - 5*x - a = 19 for v.
-5
Suppose a + 2*a = -3*h + 36, -3*h = -3*a - 6. Let y be (12/(-21))/2*-7. Suppose -143*k - 34 = -145*k. Solve -h = y*b + 3*s - k, 2*s - 11 = 3*b for b.
-1
Let y(z) = -2*z**2 - 18*z + 145. Let i be y(-14). Solve -2*q - 3 = i*h + 2, 0 = q - 5*h - 5 for q.
0
Suppose -65 = -3*a - 8. Suppose 4 = -r + 3*m, 0 = -r - 0*m + 4*m. Let z = r + a. Solve 2*j + 18 = -2*s, -2*j = 5*s - z*j + 21 for s.
-5
Let s be 63/(-84)*(-2)/(-3)*-48. Solve -4*a - c - s = 0, 0 = 2*a + 2*c + 23 - 5 for a.
-5
Let c be 294/10 - (2/5 + 0). Let a = 32 - c. Solve 0 = 3*s + a, s + 9 = 2*n - 0*s for n.
4
Let n(j) = -6*j - 7. Let y be n(-7). Suppose 0*c - y = -5*c. Let p be 15/7 + 1/(-7). Solve c*i - 2*i = -2*f + 18, -p*i - 2*f = -6 for i.
4
Suppose 23*s + 8*s = 155. Solve -4*a = 5*n - s, a = 4*n - 0*a - 25 for n.
5
Suppose 0 = -3*n + 32 + 70. Let u = -31 + n. Solve -2*h + 2 = -4*d, -h = u*d + 4*h - 31 for d.
2
Suppose 17*t - 19*t = -182. Suppose -t = 4*g - 103. Solve g*l + 20 = y, -y - 10 = 5*l - 2*l for l.
-5
Let v = -363 - -371. Solve h = -3*m - 3 - 2, h + 4*m = -v for h.
4
Let d = -19 - -23. Suppose -4*y = 5*j - 21 - 12, -2*y - d*j + 18 = 0. Solve -5*s = 4*b - 15, -y*s + 3*s + 11 = 3*b for b.
5
Suppose -32*d = -24*d. Solve -h + d*h = 2*x - 9, -3*h = x - 12 for x.
3
Let c be (3 + -5 - 1)/((-3)/(-4)). Let n be ((-6)/c)/((-24)/(-32)). Solve -n*s = 3*a, 0 = 5*a - 2*s - 0*s + 16 for a.
-2
Suppose 200 = -6*a + 218. Solve 5*r = 2*k - 23, a*r = -3*k + 4*k - 13 for r.
-3
Let k(t) = 2 + 1 - 1 - 3. Let w(n) = 2*n - 4. Let h(d) = -6*k(d) + w(d). Let v be h(-1). Solve -3*s - 3 = -v*s, -s - 3 = l for l.
-2
Suppose -r - 2*v + 1 = 0, -5*v + v = -2*r - 14. Let i be 28 - r/(2/(-2)). Solve -3*s - h = -4*s + 5, 5*s - 4*h - i = 0 for s.
5
Suppose -6 = -7*d + 8. Let s be ((-9)/6)/((-3)/18). Suppose -5*v - s = i, d = 5*i - i + v. Solve 0 - i = -c, -3*c = 4*q - 3 for q.
0
Let b = -25 - -13. Let y be -4*(-1)/(-3)*18/b. Solve -4*d + y*o = -0*o - 2, 3 = 3*o for d.
1
Let l be (-4)/40*-10*5. Solve -4*d + 4*p = 5*p + 12, l*p + 20 = 0 for d.
-2
Let h(p) be the third derivative of 0*p**4 - 8*p**2 - 1/6*p**3 + 0 + 1/60*p**5 + 0*p. Let y be h(-2). Solve 2*v - 5*a + 0 - 14 = 0, 4*v + 24 = -y*a for v.
-3
Let w = 8 + -9. Let n be 6 + (2/w)/2. Let s = 5 - n. Solve s = 4*x - 5*b + 40, -x + 4*x + 3 = -3*b for x.
-5
Let y = -16 - -18. Suppose -y*u + 4 + 1 = 5*w, -2*w = 4*u + 14. Let v = u - -7. Solve -t - 4 = -4*q - 0, -4*q = -v*t for t.
4
Suppose -9*b - 52 = 4*b. Let r be -5 + (-1 - (-3 - -1)) - b. Solve d + 4*w - w + 1 = 0, r = -2*w for d.
-1
Suppose 18 = 3*d + 3. Suppose d + 10 = 5*p. Suppose f = -4*g + 12, p*g + 4*f - 12 = -g. Solve -5*k + 2*n - 5 = 0, g*k + 5*n = 3*n + 13 for k.
1
Let n = 1774 - 1749. Solve -2*t + 35 = -5*u, -2*u = u - 2*t + n for u.
-5
Let w be 2 + (-3 + -2)*-3. Suppose a - 3*h - 4 = -7*h, -3*h + w = -a. Let s = a - -8. Solve s = 4*x - 16, -5*m + x = -8 - 13 for m.
5
Let u(a) = -84*a**3 + 2*a**2 + 83*a**3 - 4 + 13*a + 2*a**2. Let h be u(6). Solve 0 = -2*o + 5*k - 18, 4*o = -k + h*k - 18 for o.
-4
Suppose -10 = -2*m, 2*m - m + 4 = f. Let p be 2/(-9) - (-47)/f. Let n = -8 - -20. Solve 3*b = -n, -s - p*b = -3*b + 13 for s.
-5
Let j = -8 + 20. Suppose -4*v + 0*v = 2*w + 16, 4*v = -4*w - 16. Let f(p) = p**2 + 4*p + 5. Let q be f(v). Solve 5*k - 4*b = j, -4*k + 11 = q*b - 15 for k.
4
Let c(s) = -s - 2. Let b be c(0). Let j be 88/(-24) + b/6. Let k(o) = -o**2 - 3*o + 7. Let f be k(j). Solve -z - 3*z = f*u + 16, -5*z = -4*u + 20 for z.
-4
Let l(a) = -2*a + 6. Suppose 4 = 4*x, -3*o - 4*x - 1 = -8. Let j be l(o). Solve d = -j*f + 8, 0*d + 7 = d + 3*f for d.
4
Let b(c) = -c**2 + 51*c + 406. Let z be b(58). Solve z = 5*w - 10*p + 5*p + 20, 0 = -3*w + 2*p - 8 for w.
0
Let l(q) = -q**3 + 3*q**2 + 8*q + 14. Let i be l(5). Suppose w - 4*v = 3*w, 4*v = 0. Solve 8*g = i*g - a + 22, g - 2*a - 1 = w for g.
5
Let c(z) = z**2 + 5*z + 5. Let s be c(-4). Suppose a - 4 + s = 0. Solve 2*t + 0*t = -2*q, -2*t - 1 = a*q for q.
-1
Suppose 18 = 5*r - 2. Let y(c) = -c**2 - c + 10. Let f be y(-4). Let x be f + 93/13 - (-12)/(-78). Solve -r = 5*h - 2*d - x, d = -3 for h.
-1
Let a(n) = -7*n - 2. Let s be a(-2). Suppose 0 = 3*f - 5 - 1. Suppose l = -f*l + 9. Solve -z - 2 = -j, 4*j - s = l*z + 2*z for z.
-4
Let r(s) = -2*s**3 - 5 - 15*s**2 + 3*s**3 + 12. Let x be r(15). Suppose -4*d = -x*d. Solve 3*o + v - 9 = d, 0 = -3*o - v + 3*v + 18 for o.
4
Let d = 443 + -432. Solve -m + d - 6 = -w, -4*m + 22 = -5*w for m.
3
Let w = -35 - -33. Let c(d) = d**3 + 2*d**2 - d + 1. Let i be c(w). Solve 7*z = i*z + 3*k + 19, -9 = z + 2*k for z.
1
Let u(y) = -y**2 - 16*y - 21. Let h be u(-14). Let r = 10 - h. Suppose -2*j - 5 = c + r, 12 = 2*c - 3*j. Solve c = -5*t + 4*w, 3*w + 18 = -2*t - 5 for t.
-4
Suppose -3*u + 30 = 12. Suppose 2*o = 5*o - 3*m - 6, 4*o = 3*m + u. Solve -11 = 2*v + z + 2*z, 2*v + 5*z + 21 = o for v.
2
Let u be (62/(-4))/((-2)/(-4)). Let w = -14 - u. Suppose g = -76 + 77. Solve -f = 2*v + g + 7, -f + 3*v 