r q.
5
Let q(s) = -s**3 + s + 6. Let r be q(0). Let f be (-1)/(-1 + 4/r). Solve f*o = -y - 15, -4*y = o + 2 + 14 for y.
-3
Let h = 25 - 15. Let n(k) = k - 3. Let o be n(7). Let y be -3*o/6 + 4. Solve -y*x + h + 0 = 4*j, 5*x = j + 14 for j.
1
Let s be (-78)/(-30) + 2/5. Let l be (1 - s)*5/(-1). Solve -2*g - b = 3*b - l, 2*b + 10 = -4*g for g.
-5
Let d(z) = -z - 4. Let a be d(-3). Let r be a - (0/(-1) + -9). Suppose 2*p + r = 0, -2*k - p - 3*p = 0. Solve l = g, -g + k = -4*g - 5*l for g.
-1
Suppose 3*z = -5*s + 46, -2*z = z - s - 16. Suppose 8*d - z*d = 2. Solve 2 = d*b - 4*g, -4*g - 6 = 5*b + 17 for b.
-3
Suppose -2 = -q + 3*q. Let s = 10 - 8. Let r = s - q. Solve 2*t - 4*d - 6 = -0*t, -r*d = 3*t - 9 for t.
3
Let x be 5*-2*12/(-40). Solve 2*y + z - 2 = 6*y, 6 = -x*z for y.
-1
Suppose 8 = -0*z + 4*z. Let g = 51 + -47. Suppose -5*m + 48 = -2*m + 3*a, -4*m + 37 = -5*a. Solve -g*v - l = -m, z*v = -2*v + 4*l + 28 for v.
4
Let k(p) = 2*p + 19. Let c be (6/(-4))/((-3)/(-16)). Let n be k(c). Solve -5*l - 3 - 2 = y, 0 = -5*y + n*l + 31 for y.
5
Let b be 4*1*(-1)/2. Let z be b - -3*28/12. Let h = 4 - 1. Solve -8*i - s = -h*i - 30, 15 = -2*i + z*s for i.
5
Let i be 1/5 - 56/(-70). Solve 2*a + i = -o + 5, -o - 5*a + 13 = 0 for o.
-2
Let p(k) = k**2 + 3*k. Suppose -4*g - 11 - 5 = 0. Let u be p(g). Suppose -3*f + 2 = -u. Solve -2*y + 2 = -4*o, f*y - 2*o + 3*o = -13 for y.
-5
Let h(f) = f. Let i be h(4). Suppose 0*w + i*w = 20. Solve w*s = -x - 3*x - 2, -2 = -3*s - 4*x for s.
-2
Suppose 4 = 2*p - 4. Let g = -60 + 64. Solve g*l = 4*h + 20, l - 9 = p*h - 1 for l.
4
Let t(b) = -b + 4. Let p be t(-6). Let u = 16 + p. Solve -4*l = -s - 9*l - u, 3*s = 5*l + 22 for s.
-1
Let n(t) = t**2 - 5*t + t**2 + 2*t**3 - t**3 - 4. Let u be n(-3). Solve 3*p - u*x - 2*x = -5, 0 = -p + 5*x + 2 for p.
-3
Let w be (-45)/3*1/(-3). Suppose -5*j = -w*c - 15, 8 = j - 5*c + 1. Solve y = j*t + 3, 5*y - 2*t - 15 = t for y.
3
Suppose -k = 2*k + o - 11, -4*k = -3*o - 32. Let a(l) = l**3 - 5*l**2 + l - 3. Let m be a(k). Solve 0 = -0*p + 2*p - 2*t - 14, m*t - 2 = -2*p for p.
4
Let i(s) = 15*s**2 - 2*s - 2. Let p be i(2). Let y = p - 9. Suppose 0 = -k + 4*c + 9, -3*k + 2*c - 8 = -y. Solve h - k = -4*u, u - 17 = -2*h - h for u.
2
Let h = 14 - 10. Solve -16 = -h*l + r, 0 = -2*l - 5*r + 3*r - 2 for l.
3
Suppose -15 + 0 = 4*w + 3*n, 3*n - 21 = 2*w. Let j(d) = -d - 3. Let f be j(w). Solve -3*q = -0*q + 3*c - 9, 13 = f*q + 4*c for q.
-1
Let f be 1 - (-1 + (-14)/(-2)). Let u = 7 + f. Suppose u*d = -0*d. Solve -4*y + x + 16 = d, 5*x = 2*y - 0*y - 26 for y.
3
Suppose -3*s - 5*h + 25 = 2*s, 2*h = 5*s + 3. Let k be 2/(3 - s) + 1. Solve 13 = -3*p - 2*r, -k*r - 3*r = -5*p + 20 for p.
-1
Let z be (1/(-1))/((-1)/3). Suppose 5*i = 15*i - 40. Solve 0 = 3*u + 5*g - 30, 2*u - z*u + i*g - 7 = 0 for u.
5
Let m(i) = 4*i - 1. Let n be m(1). Let q be 0 + n + -2*1. Solve -5*b + 2*o = -q, -4*b = -b - o for b.
-1
Let c(s) = 2*s - 1. Let z be c(1). Let a(d) = 6*d - 3. Let i be a(1). Solve z = -2*k - l, k - 3*l = -i*k + 13 for k.
1
Suppose 2*g - 4*g + 6 = 0. Solve -g*h - 2*t - t = -3, -3*t = 6 for h.
3
Let s(r) be the third derivative of -r**5/60 + r**4/6 + 7*r**3/6 - r**2. Let o be s(5). Let z = -1 + 15. Solve -5*c = -4*h + o*h + 11, 0 = 5*h + c - z for h.
3
Suppose s = b - 3, 0 = -2*s - 5*b + 18 + 11. Let z(p) = p. Let x be z(s). Let r = 2 + x. Solve q = 3*d + r*q, -5*d - 6 = -q for d.
-1
Let b(w) = w - 3. Let y be b(7). Solve 3*q = -4*o - q + 4, -3*o = 2*q - y for o.
2
Let l = -72 + 75. Solve l*j = u + 4*j - 5, 5*u = j + 7 for u.
2
Let m be 2/(-1)*20/(-8). Suppose m*i - 30 - 10 = 0. Solve -5*j - 4 = 3*f + f, f = j + i for f.
4
Suppose -2 - 14 = -4*r, 0 = -4*m - 5*r + 36. Solve 0 = 5*j - m*w - 3, -4*w - 10 = 3*j - 31 for j.
3
Suppose 0*l = 5*l. Suppose 8*r = 5*r + 6. Solve -r*j + 4 = m + 1, -2*m + 2*j = l for m.
1
Let x = 3 - -1. Suppose 4*w - 2*w = 18. Solve 0 = -r + 4*a - w, 3*a = -x*r + 2 for r.
-1
Suppose 4*x + 3*i - 6 = -0*x, 5*x = -4*i + 7. Suppose -x*f + 2*h = -4, 3*h = -3*f - 4 - 2. Solve -3*v = w + w - 14, -v - 3*w + 14 = f for v.
2
Let m(j) = -2*j - 17. Suppose 5*d = -5*k + d - 45, -3*k - 2*d - 29 = 0. Let u be m(k). Solve 5*h + 4*v - 7 = 0, -h - u = -6*h - 3*v for h.
3
Let y(b) be the first derivative of -b**4/4 + 8*b**3/3 + b**2/2 + 8*b + 1. Let c be y(8). Solve r + 4 = 0, -r - 3*r - c = -3*d for d.
0
Let m be 1/(-2)*0/(-1). Suppose m = 2*s + s. Let n be 5/(-10)*s/1. Solve 3*z - j = -n*j + 6, -2*z = -3*j + 3 for z.
3
Let u be (1*(-27 + 1))/(-1). Suppose 70 = -5*m + h - 3*h, -44 = 4*m + 4*h. Let s be (-8)/m + 50/4. Solve 0 = -5*q - d - u, -2*q - d = 2*d + s for q.
-5
Let l = 53 + -44. Solve 2*u + l = -v, -6*u + u - 23 = 3*v for u.
-4
Suppose -2*p + 5*p = 0. Suppose p = i + i - 4. Solve 0 = -2*z + 2*y + 12, 6*y - i*y + 22 = 2*z for z.
1
Suppose 6*g = 4*g - 46. Let q = g - -28. Solve 3 = h + 2*f - 6, 2*f - 5 = -q*h for h.
-1
Let y = 14 + -10. Let v(p) = p - 4. Let b(h) = -2*h**3 - 4*h**2 - 2*h + 2. Let d be b(-2). Let t be v(d). Solve -8 = g - 0*f - t*f, y*g = -f + 13 for g.
2
Suppose -14*v = -11*v - 15. Solve 3*o + 5*t + 9 = -2, -v = 4*o - 3*t for o.
-2
Suppose 0 = z - 5*z + 140. Solve -5*n - 16 = -3*t, -4*n + 2*t - 7*t = z for n.
-5
Suppose -3*d + 8 = -5*z, -3*d + 5 = z - 3*z. Let j be (-2)/4*-6 - d. Let y be 0*j/((-6)/3). Solve 0 = -n + 2*h - 2, -9 = -3*h - y*h for n.
4
Suppose r = -5*r + 24. Solve -r + 3 = -2*z + g, -3*g + 15 = 3*z for z.
2
Let j(p) = 14*p + 1. Let s be j(1). Suppose -t + s = 4*t. Solve -5*w = 4*u + 41, 2*w + w = -t*u - 27 for u.
-4
Let m = 11 - 6. Suppose 0 = -4*q + m*a - 3, 3*q = a + 6. Suppose d - 2 = 1. Solve -d*b + 2*r = 19, q*b + 9 = 3*r - 15 for b.
-3
Let p be (-10)/(-35) + (-33)/(-7). Solve -2*x = -p*x + o - 2, 3*o - 11 = 4*x for x.
1
Suppose -p - 3*p = -v - 7, p + 2 = v. Solve b - p*h = 13, 5*b + h + 11 + 4 = 0 for b.
-2
Suppose 0 = -3*s - 2*f - 17, 3*s - 3*f = -2*s - 3. Let x be -3 + 4 - (0 + -2). Let d = x + s. Solve p - 13 = -3*t - d*p, -27 = -5*t + p for t.
5
Suppose 6 = 2*g + 2*k, -5*g + 9 = -2*g - 3*k. Solve 0 = 2*n, -4*n = -4*j - 5 - g for j.
-2
Suppose 5*p - 4 = 61. Let d = p - 8. Suppose -4*f = -d*f. Solve -5*c = 4*b + 27, -5*c - 3*b + 0*b - 24 = f for c.
-3
Suppose -9*y + 0 = -36. Solve 2*m = -3*i + 7 + 2, -4*i + y*m - 8 = 0 for i.
1
Suppose -3*g - 21 = -4*f + 2*g, 5*f = -2*g + 18. Suppose 56 = -2*t + 4*h, 49 - 173 = 4*t - f*h. Let a = t - -61. Solve -5*b = -25, 2*n + a + 2 = 5*b for n.
-2
Let d(c) = c**2 + 12*c + 8. Let p be d(-11). Let k be 2/((p/(-1))/3). Solve 2*i = k*y + 2, -2*y + 2*i + 2*i - 12 = 0 for y.
4
Suppose 7*u - 2*u - 49 = -4*z, -z = -5*u - 31. Solve 0*v = -3*p - 4*v + 16, -z = -5*p + 4*v for p.
4
Let m = 0 - -6. Let o = m - 12. Let q = o - -11. Solve 8*j - 30 = -q*y + 3*j, 0 = 3*y + 4*j - 23 for y.
1
Let s = 85 + -49. Solve 4*t = 4*j + s, 0*j - j - 17 = -3*t for t.
4
Let u(j) = -2*j - 1. Let n = 1 + -2. Let i be u(n). Solve v + i = 0, 4*o = -2*v - v - 23 for o.
-5
Let j = -23 - -26. Solve 5*c + 10 = 0, j*w - c = 2*c + 6 for w.
0
Let z(y) = -2*y - 3. Let w be z(-4). Suppose 6*n - 2*n - 4*c = 0, 0 = 2*c. Solve 0 = -3*g + w*b, -g + 6*g - b = n for g.
0
Let a(f) = -7*f - 1. Let p be a(-1). Solve 0 = -4*c + p*y - y + 15, 4*c + 5*y + 15 = 0 for c.
0
Let h be (-4)/6 - 11/(-3). Suppose -2*n + 30 + 5 = -g, -g + 40 = h*n. Let l be 15/25*(0 + 5). Solve -6 - 23 = 2*p - 5*r, -n = -l*r for p.
-2
Let l = -10 - -15. Suppose -l*i + 6*i = 4. Solve i*q - 10 = -v, 7*v - 4*v - 12 = -3*q for v.
2
Suppose -m + 39 = 3*m - 3*y, -5*m + 20 = 2*y. Solve -4*p = m*z - 3*z - 19, 2*z - 2*p - 8 = 0 for z.
5
Let n = 426 + -423. Let p(q) = q - 3. Let y be p(4). Solve y = -4*r + b, r + 5*b - n = 2*b for r.
0
Suppose -17*r + 20 = -15*r. Solve n - 22 = 5*m, -3*n + 0*m = -m - r for n.
2
Let g(q) = -q**3 - 17*q**2 - 15*q + 19. Let x be g(-16). Solve -3*d + 20 = d, 5*j + x*d = -10 for j.
-5
Suppose -3*d + 12 = w, d - 31 = -5*w - 13. Suppose s + 6 = -5*o + 20, -5*s + 30 = 5*o. Solve -x + w*x - 5*u = -10, x + 5 = s*u for x.
-5
Let a = 2 - 0. Suppose -2*n - 2*d - 2*d + 8 = 0, -8 = -a*n + 2*d. Solve -3*u = 3*w - 8*w - 35, 4*w - n*u + 36 = 0 for w.
-4
Let l = 13 - 9. Solve 31 = l*s + s + 4*o, -s + 23 = 5*o for s.
3
Let a be 57/6 + 2/4. Let k be 2/a + (-28)/(-10). Suppose -g = 5*h - k, -3 - 12 = 5