+ 6 - 1, 4*p + 12 = f*b for p.
-1
Let l be (-12)/(-7) + (-2)/(-7). Suppose j = -j - 2. Let y = j + 7. Solve -3*w - y = 3*i + 9, l*w + 4*i = -18 for w.
-1
Suppose 76 = 10*s + 16. Solve 5*a + 2*t + 21 = 0, -t = 2*t - s for a.
-5
Suppose -2 = 2*n, 3*n = -4*h - h + 62. Let q(l) = l**2 - 6*l - 1. Let o be q(4). Let b = h + o. Solve 4*a - k = -2, 5*a + 2*k = -5 - b for a.
-1
Suppose 0 = 7*h + 73 - 101. Solve 2*t = 2*n - 2 + 4, 0 = h*n + 4*t + 28 for n.
-4
Suppose -4*w - 6 = -5*f + 1, 3*f = w + 7. Let l be (-3)/(6/(-8)) - w. Solve -3*o + 6*o - 7 = -l*t, 0 = -4*o - t + 6 for o.
1
Let m = 10 - 7. Solve 0*b + 12 = -l - 3*b, m*b = -2*l - 9 for l.
3
Let v = 9 + -6. Solve -2*s + 10 = -4*f, f - v - 2 = -s for s.
5
Let h = 22 - 12. Let z be h/(6/(4 - 1)). Suppose -3*x + 4 = -7*x, x = -z*s + 19. Solve 5*p + 17 = -s*k, 5*k + 0*k = -p - 16 for p.
-1
Let u(f) = 2*f**2 - 3*f + 1. Let q be u(4). Suppose 3*s = 2*o - s - 16, 5*s + q = 3*o. Suppose -13 = -o*k - 3. Solve 15 = 2*i - 3*d, 3*i + 27 = -k*d + 2 for i.
0
Let z be (-14)/4*(16/(-7))/2. Let n = 7 - 1. Solve 3*s = s + 2*m + n, -z*s - 2*m = -24 for s.
5
Suppose 0*x + 6 = -5*m + 4*x, 0 = -5*m - 4*x + 26. Let a(o) = -o**2 - 10*o - 5. Let l be a(-8). Solve -m*k = 2*z - 5 + l, 0 = -2*z + 2*k - 6 for z.
-3
Suppose 5*x - 24 = x. Let t be (0 + 5)/(2 - 1). Suppose -10 = -2*m + b - 2, t*b = m - 4. Solve 2*o + m*k = 0, 4*k = 2*o + x*k - 4 for o.
4
Suppose 6*g - 7*g = 0. Solve 4*k + u - 5*u = 12, 4*k + 4*u + 28 = g for k.
-2
Suppose -4 = -2*i + 4*g + 4, 3*i = -4*g + 2. Solve 0 = -2*f + 3*f - 5*o - 21, 12 = 4*f - i*o for f.
1
Let u be 2 - 3 - (-4 - -1). Let x = -3 - -3. Suppose x = 3*v - 2*y - 2 - 32, 0 = 4*v + y - 60. Solve -v = -4*h + 6*h - 2*s, u*h - 21 = -5*s for h.
-2
Let d(j) = -4*j**3 + j**2 + j + 1. Let h be d(-1). Suppose 35 = h*z - 40. Solve 5*o + 8 = 33, o = 5*w + z for w.
-2
Let q be (21/(4 - 1))/1. Let f = q - -9. Let s(l) = -l - 1. Let v be s(-4). Solve u - 18 = v*u + 4*j, 0 = -4*u + 5*j + f for u.
-1
Let k = -35 - -65. Solve 0 = 5*s + 4*v - k, -s - 2*v + 4 = -8 for s.
2
Let y(b) = -b - 10. Let k be y(-7). Let q be ((-16)/(-3))/(-4)*k. Suppose -20*m + 24*m - 20 = 0. Solve q*t + 3 = -4*w + 15, -m*t = -5*w - 5 for w.
1
Let w = -44 + 60. Solve 5*j = a + w, 4*j - 14 = 2 for a.
4
Suppose -4*k - 7*a = -3*a - 20, -k - 3*a + 9 = 0. Solve 3*d - k*p - 15 = 0, -d = 4*p + 3 - 8 for d.
5
Suppose 5 = -0*x + 5*x. Suppose -x - 2 = -y. Solve -14 = -s + 2*z, -y*s + 6 + 26 = -4*z for s.
4
Let z(n) = 5*n**3 - n**2 + 2*n - 1. Let a be z(1). Suppose 16 = 4*d - 0*d. Let v be d/(-3)*9/(-6). Solve 6 = -a*l + t, 0 = -4*l - 3*t - 3 + v for l.
-1
Let c be (-4)/12 + (-13)/(-3). Suppose 3*i = 2*i + c. Solve 4*m - 8 = -3*n - 2*n, -i*n - 4*m = -4 for n.
4
Let d(k) = 6*k. Let h be d(5). Suppose -4*x + 2*o + 16 = 0, -5*x + o + h = -4*o. Solve 2 - 11 = r + f, x*f + 10 = 0 for r.
-4
Suppose 5*n = 9*n - 12. Suppose n*w - 11 - 1 = 0. Solve 2*k + k + w*q - 13 = 0, -k + 2*q = 9 for k.
-1
Let h be (0 - (-6)/(-3))/(-1). Let t = 2 - h. Solve -5*w - 2*p + 12 = t, -4*w + p - 4*p = -11 for w.
2
Suppose v - 1 + 4 = 0. Let t be 2/(v/(-28 + -2)). Solve 2*j - 4*x = -9*x + 30, 5*x - t = 0 for j.
5
Let b(f) = -f + 1. Let d be b(1). Let g(x) be the third derivative of x**4/24 + 5*x**3/6 + 3*x**2. Let n be g(-5). Solve -r - h = d, n*r + 3*r + 12 = h for r.
-3
Let b = -12 + 14. Suppose 2*k = 5*s + 5*k - 9, -b*k + 8 = 4*s. Solve s*f = f - c - 15, 0 = -4*f + 4*c for f.
-5
Suppose g = -5 + 10. Suppose 0*j + g = j. Solve 0 = 4*k - 2*x + 20, -k + 0*k = -j*x + 5 for k.
-5
Suppose -3*r = -1 - 5. Solve -r*z = l + 4, -5*z - 11 = -l + 3*l for l.
2
Suppose -2*v - 11 - 11 = -3*l, 5*l = 2*v + 30. Solve 5*n + 2 + 0 = l*j, -2*j - 5*n = -16 for j.
3
Let g be -4*1*(-1)/2. Let w(c) = -c**3 - 12*c**2 - 4*c - 46. Let i be w(-12). Suppose 68 = -0*h + 4*h. Solve i*v = -5*y - h, -g*y - 8 = 2*v - 0*v for v.
-1
Suppose 0 = -w + 5*w + 52. Let o = -7 - w. Solve -2*q + o = 7*t - 3*t, -5*q + 28 = -3*t for t.
-1
Let b = -3 - -10. Suppose 3*o + 4*d + 4 = 0, o - 17 = 5*d + b. Let n = o - -10. Solve -n = -5*f - g, 3*g + 2*g = 3*f - 14 for f.
3
Let o = -43 + 63. Suppose -l = -4*r, 3*l = 2*r - 7*r. Let t be (l + 1/(-3))*0. Solve -5*b - a + 25 = t, -4*b = a - 4*a - o for b.
5
Suppose 3*q - 5 = 2*n, 5*n - 3 = 7. Suppose q*o + 2*f - 42 = 0, -4*f = 4*o + f - 49. Solve -i - 6*a - o = -3*a, -4*a = i + 20 for i.
-4
Suppose 4*c - 3 = -5*p + c, 0 = 5*p - 2*c + 2. Solve -3*s + 3*n - 6 = p, -2*s + 2 = -0*s + n for s.
0
Let k be 2 + -5 + (2 - -1). Suppose 0 = 3*w - 4*i + 11, 3*w - 5*w - i + 11 = k. Solve -2*t = -3*t + 2*f - 3, -w*f = 5*t + 2 for t.
-1
Suppose 0 = -i - 5*f - 13, 6 = 5*f + 21. Suppose 4*s - 4*d + 0*d - 24 = 0, 3*d - i = -s. Solve 0*p = -5*g - 3*p - 15, -p - s = 2*g for g.
0
Let c = 7 - 4. Let x = 15 - 9. Let g = 8 - x. Solve c*k + 0*k = -g*l, 2*l = k - 8 for l.
-3
Suppose n - 9 = 5*y, 1 = 2*y - n + 4. Let u = y + -1. Let c be (u/3)/((-1)/4). Solve -5*r = 3*o + 18, c*r - 7 = -4*o - 23 for r.
-3
Let h be 4 - (3/9)/((-2)/(-6)). Solve 27 = 3*m + 3*z, -m - h*z + 24 = 5 for m.
4
Suppose 0 = -5*w - 3*k + 52, -k - k + 8 = 0. Solve -2*t = -r + 6, 0 = -4*r + w*r + 4*t for r.
2
Suppose 12*r - 9*r = 15. Solve 3*q + 5 = 2*m, -r*m - 3*q - 45 = q for m.
-5
Suppose q - 48 = -7*q. Solve 0 = -2*p - 0*c + 3*c + 9, -3*p = -2*c - q for p.
0
Let l(y) = -y**3 + 1. Let s be l(0). Solve -z + 4*f - 3 = -s, -f = -1 for z.
2
Let f(u) = u**2 - 7*u + 1. Let v be f(7). Let b be (-3)/(1*(-2 + v)). Solve -6*j + j - 3*w = -10, 0 = b*j + 3*w - 12 for j.
-1
Let b(g) = 38*g**2 - 2. Let j be b(-2). Suppose 3*y = 8*y - j. Suppose -m = -6*m + y. Solve d + 3*c = m, d - 5*c = -0*c - 18 for d.
-3
Let z(q) = -q**2 + 14*q - 44. Let m be z(7). Solve 0 = 5*n - m*c, -3*c + 1 = 2*n - 14 for n.
3
Let b be 3 - (58/18 - 12/54). Solve -2*s = b, -i + 2*i + 5*s + 5 = 0 for i.
-5
Let i be 1 - -24 - (-9)/(-3). Let p be 506/121 + (-4)/i. Solve 5*j + 2*z - 5 = -2*z, p*j - 4 = -4*z for j.
1
Let o(y) be the second derivative of y**3/3 - y**2/2 - 6*y. Let g be (0 + 1 - 1) + 2. Let b be o(g). Solve -2*a = -5*l + 3*a + 20, -b*a = 0 for l.
4
Let l(x) = 4 - 7 + 1 + 3 - x. Let m be l(-3). Suppose 2*w - m = -0. Solve 2*g + 5 = -3*q, g = -q + w*q - 5 for q.
1
Let x be 0/1*(-9 - -8). Solve x*s - 5*s - 18 = 3*p, 10 = -p - 3*s for p.
-1
Suppose 2*m = -5*y + 146, 4*y + 3*m - 37 = 3*y. Suppose 5*o = 4*j + y, -3*o - 2 = -6*o - 5*j. Let d = o + -2. Solve -r = -2*w, -4*r + d*w = -0*w - 6 for r.
2
Let j(a) = -a + 8. Let p be j(6). Suppose 5*r - 17 = 8, 5*r - 16 = -3*u. Let b = u + 9. Solve 0*q + 3*k = q - b, -5 = -p*q - k for q.
3
Suppose 2*z - q - 2*q = 16, -3*z = 2*q - 11. Solve 3*a = -z*c - 25, -2 = -a + 2*c - 3 for a.
-5
Suppose -5*j + 2 = 3*u + 1, 0 = 5*u - 4*j - 14. Suppose u*y - 7*y = -f - 21, f + 1 = 0. Solve 5*h - 2*w - 10 = -37, -14 = 2*h - y*w for h.
-5
Let a be 0/(-1*(2 + -1)). Let u be -6 - -6 - a/(-2). Solve -g - 6 = 5*b + 6, -3*g - b + 6 = u for g.
3
Let f = 10 - 5. Solve f*m = -u - 1, 5*u - 24 = 2*m + 2*m for m.
-1
Suppose 0 = -3*s + 8*s - 25. Solve 5*v - 3*v - s*l = 9, -l - 9 = -4*v for v.
2
Suppose 2*g - 9 = 5*g. Let m = 7 + g. Solve 4*z - 3*b = 2*b + 21, -m*z + 1 = -b for z.
-1
Suppose 16 = -2*x - 3*l + 19, 3*l = -5*x + 12. Solve 3*o + 9 = -2*t, -o + x*o = 5*t - 25 for o.
-5
Let w be (-15)/(-12)*4 - 3. Solve -c - i - 1 = 0, 11 = -4*c + w*i + i for c.
-2
Suppose 0 = -4*y - 0 + 12. Let p = 0 + 7. Suppose 1 = t - 4*s + p, 0 = -2*t - 3*s + 10. Solve 5*o = t*k + 4, 3*o = -3*k - y - 3 for k.
-2
Let s(w) be the third derivative of -w**3 + 0 + 1/8*w**4 + 1/60*w**5 + w**2 + 0*w. Let q be s(-5). Solve q*a - 6 = -2*n, 0 = -a + 2*a + 5*n + 12 for a.
3
Let c = -8 + 10. Suppose -4*z - 12 = -4, v - z - c = 0. Suppose r + v*r - 3 = 0. Solve -g - 2*h + h = -2, -2*g + r = 3*h for g.
3
Suppose 2*g + 3*g = 0. Let q = g + 0. Solve 3*n = -3*w + 4*n + 9, q = -w + 4*n + 3 for w.
3
Let f be (-1 - 1)*5/(-2). Let r(h) = 0*h - f + 2*h - 5. Let q be r(7). Solve q*w - 4*j + 1 + 7 = 0, -5*j = -w - 14 for w.
1
Let v = 16 - 14. Solve 4*t + 12 = -v*y, t - 2*y - 2 = -0*t for t.
-2
Let a(g) = g**3 + 8*g**2 - g - 6. Let v be a(-8). Solve -2*j - 8 = -4*d + 2*j, 2 = -5*d + v*j for d.
-2
Let t = 8 - 3. Suppose -2*f = -0*o - 3*o + 12, 4*o = t*f + 23. Suppose -3*a + o*a = -3. Solve -2*c = 