*f + 13 = t, 0 = f - 0*t - 4*t + 10 for f.
2
Let d(z) = -z**2 + 6*z. Suppose 10 = -3*g - 5*n, 0*g = 2*g + 2*n. Let p be d(g). Solve -5*s + 8 + 9 = -2*c, 5*s - 5*c - p = 0 for s.
5
Let o(t) be the third derivative of t**4/24 + 4*t**3/3 - 3*t**2. Let q be o(-6). Solve -12 = 4*p - 4*h, q*p - h + 3 = 2 for p.
2
Suppose p + 11 = n - p, -2*n + p = -13. Solve 4*x + 5*j = 2*j - 8, 0 = 4*x + n*j for x.
-5
Suppose -13 = -4*h - 2*b - 5, 4*b - 8 = -4*h. Suppose -3 = -h*a + 5. Solve 4*m - 2*m + a*w = 6, -3*m = w + 11 for m.
-5
Let m be 68/(-6) - 4/6. Let j be (-4)/(-2) + m/(-4). Suppose -2 = -x - j*a, -3*x + 2 = -2*x + 2*a. Solve 5*i - f - 11 = 0, x*i - f = 5*i - 13 for i.
3
Let h be (-8*10/(-400))/(2/20). Solve -5*l + 0 + h = w, 15 = -5*w for l.
1
Let c be 0/1 - (5 + -7). Suppose 2*o - 52 = -c*o. Solve 2*l = -0*l + a - o, 4*l - 5*a = -41 for l.
-4
Suppose 3*n - 5*u - 67 = 0, -2*n + 28 = -0*n + 5*u. Let k be 0/1 + -3 + n. Solve p + 3*q + k = -0*q, -4*q - 4 = -3*p for p.
-4
Let h be (-24 - -3)*-2 + -6. Solve 0 = 3*a - 3*w - 24, 10*w + h = 4*a + 5*w for a.
4
Let w = -23 + 8. Let j be (1 - 7)*w/6. Solve 5*a - 2*l = 4*a + 6, 5*a - l + j = 0 for a.
-4
Let c be 0*(2 - (-4 - -5)). Solve -u = 5*g + 5, 3*g + c*u = 5*u - 3 for g.
-1
Let k(c) = 2*c + 36. Let n be k(-17). Solve -3*s + 2 = -n*s + a, -s + 2 = -5*a for s.
2
Let s(c) be the third derivative of c**4/24 + 2*c**3/3 + 2*c**2. Let i be s(4). Solve -d + 0 = 5*j + i, -2*d + 4 = 0 for j.
-2
Let x(c) = c + 10. Let t be x(-5). Solve 0 = -2*r - r + 2*w - 20, -28 = 2*r - t*w for r.
-4
Let x(z) = z**2 - z. Let v be x(2). Suppose y = 2*b - v*y - 21, 0 = 5*b - 4*y - 35. Solve 2*o + 0*l - 4 = 4*l, o = 3*l + b for o.
0
Let a be (-1)/3 + (-4)/6. Let r = 2 - a. Let v be ((-30)/4)/((-3)/6). Solve -s - 5*c + 4 = -v, 0 = -c + r for s.
4
Suppose 2*j + 2 = 2*n, 4*n + 5*j - 25 = 2*j. Solve 4*l = 2*p + 7 + 19, -2*p - n*l + 14 = 0 for p.
-3
Let v = 6 - -10. Let x(p) = p**3 - 2*p - 2. Let n be x(3). Solve -4*b = v, 4*b = s - n - 2 for s.
5
Let v be (-2)/(-9) + 43/9. Let z = 3 - 0. Suppose -3*d = -5*q, z*d = q + d + 7. Solve 2*u - m = -v - 7, -7 = q*u + 4*m for u.
-5
Suppose -v - 4 + 28 = 0. Let u be (2 - 1)/(4/v). Let h be -8*3/u*-1. Solve h*y - y + 10 = -4*s, -s = -5*y + 14 for y.
2
Let w(d) = d**2. Suppose 0*g - g = -5*i - 5, 0 = -4*i - g - 13. Let r be w(i). Solve -r*n + 4*c + 0 = 24, -5*c = 2*n - 9 for n.
-3
Suppose -5*h + z + 24 = 0, 3*h + 8*z + 8 = 3*z. Solve -4*i = -5*y - 3, -4*y = h*i + 20 + 4 for i.
-3
Suppose 0*a + a + 6 = 0. Let u = -4 - a. Let m be (-42)/(-4)*10/15. Solve 2*h + m = -z, -4*z - 5 = h - u*z for h.
-3
Suppose 4*d + 3*x = 23, -d + 3*x - 4*x + 6 = 0. Solve -d*c - 5 = 3*i + 2*i, 2*c + i = -3 for c.
-2
Let c(b) = b + 2*b - 4*b - 3 - 3. Suppose 4*f = 3*f - 10. Let v be c(f). Solve 0 = 3*i - 4*h + 3, -v*h = i + 7 - 22 for i.
3
Suppose -5*i - 8 = -4*o + 3*o, -o + 40 = 3*i. Suppose 3*v - o - 35 = 0. Suppose -4*z = -v - 15. Solve 2*g - 4*f = 10, -z = -0*g - 3*g + 3*f for g.
1
Let m be (2 + (0 - 3))*-3. Let k = 4 - m. Suppose -z - h = -k, 5*z + 8 - 41 = 2*h. Solve -z*g + 2*o - 16 = -0*o, 4*o - 4 = 3*g for g.
-4
Suppose 4*d + 0*b - 2*b = 14, 0 = -5*b + 25. Suppose 4*t + 3 = 5*t. Solve -5*v + t*q - 2 = 2, v - 4*q = d for v.
-2
Let j(a) = a**2 + 11. Let k = -9 - -9. Let i be j(k). Solve -i = -4*n - 3*t, -5*n - t = t - 5 for n.
-1
Let y = 4 - 2. Suppose -5*j = -h + y*h - 5, 4*j = 3*h + 4. Solve 0 = 5*t + 5*q - 5, -4*t + h*q = 2*q - 6 for t.
2
Let y be 1/2*(-3 - 1). Let x be y/(-7) - (-120)/21. Let p be ((-12)/(-10))/(x/20). Solve -4 = -2*f + 4*b, 0 = -3*f - f + p*b - 4 for f.
-4
Suppose -5*u + 2*r - 3*r + 8 = 0, -5*r = u + 8. Solve 0 = -4*l + u*d - 8, 0 = -l + 3*l - 5*d + 4 for l.
-2
Suppose -2*k - 2 = -r, k + 3*r + 12 = -2*k. Let p = 4 + k. Solve 0 = -4*g - p*n - 3 + 1, -4*n = 20 for g.
2
Let q(n) = 4*n**3 - 8*n**2 - 11*n + 9. Let y(p) = p**3 - p. Let z(x) = q(x) - 5*y(x). Let m be z(-7). Solve -2*f = -5*f + m*l - 6, -f - 6 = -2*l for f.
0
Let o = 149 + -149. Solve o = -3*z + n - 12, -2*n + 12 = -z - 2*z for z.
-4
Let l(z) be the first derivative of -z**4/4 + 2*z**3 + 4*z**2 - 3*z + 3. Let x be l(7). Solve -10 = -5*r - x*n - n, -2*r + 3*n + 19 = 0 for r.
5
Suppose -2 = 7*n - 2*n - 3*f, 3*n + 6 = 3*f. Solve -2*u + 4*q + 14 = -0, 3*u - n*q = 5 for u.
-1
Let m(z) = -z**2 - 11*z - 10. Let c be m(-10). Solve -2*t + t = 1, c = 4*g + 5*t + 5 for g.
0
Let z(c) = c + 5. Let o be z(-4). Solve -4*k - o = -w, -k + 4*w - 17 = 2*k for k.
1
Suppose -8 = -5*u + 2. Suppose 2*t - 84 = -u*t. Let d be (10/4)/5*4. Solve -x - 4*m + 9*m = -t, -d*m - 4 = 4*x for x.
1
Let f(d) = d**3 - 2*d**2 + d + 2. Let a be f(2). Let t be 3 - 3/(2 - -1). Let v be (-3 + 10/4)*-18. Solve a*x - 2*k - 13 - v = 0, -t*x - 1 = 3*k for x.
4
Let g(r) = r**3 - 6*r**2 + 7*r - 6. Let k be g(5). Suppose 0 = -k*v + v. Suppose 2*x - 2 = y + 5, -5*y = 5. Solve -i + x*i = -p + 14, -p + 4 = v for i.
5
Let b(i) = 2*i + 1. Let j be b(1). Let c = 8 - j. Suppose 4 = -4*a + 5*a + k, 0 = 4*a + 2*k - 10. Solve -4*u + a = q + c, 2*q = -4*u for u.
-2
Suppose -5*n = 3*g - 6*n - 34, g = 3*n + 6. Suppose 0 = 3*o - 5*z - 31, -4*z = -3*o - 2*z + 16. Solve -y - 4*y = o*c + 18, -2*y = -4*c + g for c.
1
Suppose -4*d + 5 = x, x + 2 - 7 = -5*d. Solve -q + 28 = x*s, 3*s = -q + 4*q + 6 for q.
3
Let i = -2 - -7. Suppose 3*v + i - 17 = 0. Suppose -8 = -4*w - v*a, -2*w + w - 5*a = 6. Solve -t = w*p - 11, -5*p + 0*t + 13 = t for p.
2
Suppose -5*q + 19 = -6. Solve 0 = -4*m - r - r - 6, r + 6 = -q*m for m.
-1
Suppose 0 = d + q - 8, 27 + 9 = 3*d - 3*q. Solve 5*u = -d*z + 5*z + 5, u - 4*z = -9 for u.
-1
Suppose -3*l = 12, -3*h + 8*h + l + 4 = 0. Suppose 2*c + 4*r = 16, -4*r = c - h*r - 12. Solve 0 = -0*j + j + 4*f - c, 2*j - 4*f + 4 = 0 for j.
0
Let i = 5 - 2. Let w be 48/(6/(-3) + 3). Suppose p = -2*b, p - 4*b - w = -i*p. Solve -3*l - 2 = -h, 4*l + p*h = 4*h - 24 for l.
-2
Let i = 4 + -4. Let j = 9 - 4. Suppose 5*p = 3*p + y + j, -3*p + 3*y = -9. Solve i = -3*m - 15, 2*d + 10 = -4*m - p for d.
4
Let h(q) = 3*q + 30. Let k be h(-9). Suppose 2*a = -0*a + 24. Suppose s + 2*i - 6*i = -a, 5*s + 5*i = 40. Solve -4*n + s = 4*p, -12 = k*p - 4*n + 20 for p.
-4
Let n(k) = -k**3 + 2*k - 1. Let p be n(-2). Solve -4*o - 5*y + 4 = -17, -p*o = y - 2 for o.
-1
Suppose -9*n + 44 + 118 = 0. Solve -5*c = -3*h + 5*h - n, 5*c - 5*h = -10 for c.
2
Suppose 3*d - 2*g + 4 - 59 = 0, 0 = -5*d - 5*g + 75. Suppose 4*y + 2 = 10. Solve 4*j = -y*o - 26, 4*o + d = -j - 0*j for j.
-5
Let d(u) be the third derivative of u**4/24 - 5*u**3/6 - 2*u**2. Let w be d(5). Solve -5*b + 1 = z + 7, w = 2*z + 2 for b.
-1
Let h(y) = -2*y + 7. Let v be h(-5). Let g = 44 - 9. Solve 2*z + 4*q = z + v, -5*z + 4*q - g = 0 for z.
-3
Let m be -5 + (6 - (-44)/4). Solve -6 = -2*c - f, 0 = 5*c - 0*f + 4*f - m for c.
4
Let h(v) = v**3 + 11*v**2 + 11*v + 14. Let i be h(-10). Solve -2*n + 4*w - i = n, 0 = -4*n + 4*w for n.
4
Let w(c) be the second derivative of -c**3/3 - 3*c**2 + 2*c. Let i be w(-5). Solve 5*m + 7 = v, -2*m - 2 + i = 2*v for m.
-1
Suppose 0 = 11*u - 9*u + 2. Let q(g) = 5*g**2 + g + 1. Let w be q(u). Solve 2*x - 10 = 0, 4*n - w*x + x + 24 = 0 for n.
-1
Let s = -2 + 4. Let g be (3 - 1)*4/s. Solve 5*n - g*d - 3 = 2, -4*d = 20 for n.
-3
Suppose -2*g = -6 - 0. Let k be -4 - (-1)/(1 - 0). Let x = k + g. Solve x*q - 1 = q + a, -q + 4*a = 16 for q.
-4
Suppose -n - 2 = 2. Let f be (-63)/n + (-4)/(-16). Suppose -j = j - 24. Solve 2*k + 3*y = 5*k + j, f = -4*k + 2*y for k.
-4
Let c be (-84)/(-24) + 3/2. Solve c*b + m - 2 = -5, 0 = -4*b + 5*m + 15 for b.
0
Suppose 4*p = -0*p + 8. Let o(w) = 9*w + 2. Let r be o(2). Let v be (4/5)/(2/10). Solve 0 = 4*z - p*c - r, z + v*c + 3 - 8 = 0 for z.
5
Suppose p = -0*p + 8. Let c = p + -11. Let a = 7 + c. Solve 0 = 2*s + o - 9, 0 = -a*s - 5*o + 2*o + 19 for s.
4
Let a(u) = -4*u + 1. Let s be a(-3). Let f be (-413)/(-21) - 2/(-6). Suppose -6*w - f = -2*w, 2*h - s = w. Solve 4*t = 2*m - m + 5, 5*t = h*m - 2 for t.
2
Suppose 5*s + 11 = -4*y, 3*s - 3*y - 17 = -2. Suppose 0 = -5*c + 5*j + 115, -c - 8 = 5*j - s. Solve 0*q = -3*z + q + c, 4*q = z - 17 for z.
5
Suppose 3*r + 4*x - 4 - 27 = 0, 4*x = -r + 21. Suppose -38 = -r*o - 3. Solve -2*g - 3*p = 9, 3*p + o = -5*g - 2 for g.
0
Let w = 16 + -3. Suppose -y - k = -1, 5 = -5*k