t a be t(d). Solve s = -m - 6, -a = -2*s + 3*s + 2*m for s.
-3
Suppose -26 = -5*f + 3*h, 0 = 5*f - 3*f + h - 6. Solve f*a + 4*m - 4 + 0 = 0, 5*m = -3*a + 9 for a.
-2
Let k be (-1)/(-2)*(-2 - -2). Let x = k - 21. Let o = 41 + x. Solve -5*j = -s - 27, -5*s - o = -3*j + j for s.
-2
Let d = 29 + -21. Solve 3*n - 2*n = s + d, s - 17 = -4*n for n.
5
Let o = -10 + 14. Let i = 32 - 30. Solve -s - o*v = -1 - 4, -5*v - 10 = -i*s for s.
5
Suppose 11*v - 18 = 5*v. Solve 4*p + x + 12 = 0, 5*p - 2 = v*x - 0 for p.
-2
Let t be -1 + 80/(-15)*-3. Solve l - 5*m = t, 2*l - 4 = -5*m - 19 for l.
0
Let m = -55 - -57. Solve b + m*s = 3, -2*s = -3*b - 0 + 9 for b.
3
Suppose 0*m + l - 21 = -3*m, 2*m = 2*l + 6. Let r be (-1)/(0 - 2/m). Solve 3*x = w + 12, r*x + 5*w = -2*x for x.
3
Suppose 8 = 3*s - 16. Solve 2*m + 2*f = -m - 18, -4*f = -5*m - s for m.
-4
Let z(d) = -3*d**2. Let k be z(-1). Let t(o) = -o**2 - 2*o + 3. Let g be t(k). Suppose g = -c + 5 + 1. Solve -4*n = 2 - c, n + 9 = 2*b for b.
5
Let k = 36 + -31. Suppose -a - 16 = -5*s, 0 = 2*s - 3*a - a + 8. Suppose 5*r - 131 = -2*w, 4*w + 113 = s*r + r. Solve -r = -k*p, 0*b - b = 2*p - 10 for b.
0
Let u(n) be the first derivative of -3*n**2/2 - 8*n + 3. Let k be u(-4). Solve -k*s = 2*f - 0*f + 8, 5*s + 5*f + 10 = 0 for s.
-2
Let p(u) = -u**2 + 2*u + 3. Let b be p(3). Solve 0 = -3*g - 3*t - 18, b = 2*t - 7*t - 5 for g.
-5
Suppose -n + 4*l + 0*l = 10, l - 3 = 0. Suppose 0 = -6*y + n*y + 16. Solve -i + k = 1 - 5, -20 = -5*i - y*k for i.
4
Suppose -2*m + 4*h = 28, 2*h + 50 = -5*m + 16. Let l = m + 13. Solve r - 14 = -4*y, -y + l = 2*y - 2*r for y.
3
Suppose 5*q = 5*j + 5, -4*j + 5 = -3*q + 3. Suppose -2*x - x = -q. Suppose -3*f = x*w - 6*w, 4*f + w = 0. Solve 3*i + 2*r + 6 = f, 4*i - 4*r + 0 + 28 = 0 for i.
-4
Let r = 13 - 1. Let o(t) = t - 7. Let b be o(r). Solve -2*v + 21 = b*h, -4*h + 0*h + 30 = -5*v for h.
5
Let o(s) = 2*s**2 + 1. Let b be o(-1). Let u be 112/24 + 1/b. Solve -u*q + 0*y = 2*y, 5*q = -y for q.
0
Let b = 20 + -16. Solve -2*m + b*w + 8 = 0, -4*w = -2*m - 3*m + 2 for m.
-2
Let o(g) = g**3 + 4*g**2 + 2. Let x be o(-4). Suppose s + n = 4*s - 7, 0 = 5*s + 2*n - 8. Solve -s = w + x*j - 5*j, 0 = 5*j for w.
-2
Let s(w) = w**2 + 10*w + 10. Let l(j) = -j**2 + 7*j + 9. Let d be l(9). Let m be s(d). Solve q - 5*c = -1, -c - 3 - m = 4*q for q.
-1
Let o be 17/5 - 14/35. Solve 10 = -d + o*g + 2*g, 28 = -5*d + 3*g for d.
-5
Let n = -151 - -153. Solve -2*s + 2 = u + 2*u, -2*s + n = 5*u for s.
1
Suppose 0 = -2*k + 2*a + 18, 3*k + 3*a + 2*a - 3 = 0. Solve 2*v + k = -3*c, 32 = 3*v + v - 5*c for v.
3
Suppose -2*q = -q - 3. Suppose q*w = 3*a - 6, 1 = a + 4*w - 6. Let z be 0*a/(-1 + -2). Solve 3*r + 3*l + 15 = z, 4*l + 26 = -5*r + 4 for r.
-2
Suppose 3*b - 1 = z, b = -3*b - 4*z + 28. Solve -3*l + v - 12 = 0, -4*l - v = b*v + 3 for l.
-3
Let s(p) = p**2 - 4*p - 7. Let a be s(6). Let c = a + -4. Solve 2*x + c + 1 = 4*m, 0 = -3*x - 3*m + 15 for x.
3
Let x be (-240)/(-11) - (-4)/22. Suppose x + 11 = 3*g. Solve 0 = 3*i - l - g, 2*i + 8 = 4*l + 2 for i.
5
Suppose 19 = 4*t + 3. Solve -3*d + 6*d + 6 = -3*q, -t*d + q + 7 = 0 for d.
1
Let x(d) = d. Let c be x(4). Suppose 3*b - 24 = c*f, 7 - 28 = f + 3*b. Let a be (f/(-6))/((-1)/(-2)). Solve a*h = -5*o - 15, -2*h = 4*o + 2*h + 12 for o.
-3
Let h(x) = -x**3 - 3*x**2 + 4*x + 3. Let c be (0 - 3) + 6 + -7. Let t be h(c). Solve -t*j - 8 = -5*j - 3*a, a + 20 = 5*j for j.
4
Let d(r) = r - 4. Let i = 17 - 9. Let k be d(i). Solve -t = -2*s + 3, 0 = -k*t + 2*s - 0*s - 6 for t.
-1
Let h be 6/(-4)*(-2)/(-1). Let x = h + 6. Let c(k) = -18*k + 1. Let s be c(-1). Solve b = 3*f - s, 0 = -4*b - x*f - 1 - 0 for b.
-4
Suppose -8 = u - 5*u. Solve -g - 1 = 3*n, 0*n + u*n + 18 = -5*g for g.
-4
Let x be 5 + (3 - 5)*-1. Let l = x + -9. Let v be (l/(-3))/((-4)/(-30)). Solve f - 4*u = -8, 7*f + v*u = 2*f + 10 for f.
0
Suppose -n = -n + 2*n. Solve 4*g + n*u - 8 = -4*u, 13 = 5*g + 2*u for g.
3
Let w(x) = x**2 - 5*x - 12. Let a be w(7). Solve 25 = -5*m - g, -a*m - 25 = 3*m + 2*g for m.
-5
Let z = -13 + 19. Let f be z/(5/(-2) + 1). Let k be (f/3)/(6/(-9)). Solve 4*r + k = 4*t - 14, -5*r = -2*t + 17 for t.
1
Suppose -15 = 5*d + 15. Suppose 1 = -4*u - 3. Let w be (6 - 5)*(u - d). Solve 0 = 3*s - w*z - 5, 5*z + 6 - 1 = 0 for s.
0
Let u be (-2)/6*(4 + -16). Suppose u*n + 16 = -0. Let m be ((-2)/6)/(n/24). Solve -2*o + 4 = -m*w, -2*w + 2 = 5*o - 1 for o.
1
Let y be (-12)/78 - (-3)/((-117)/(-84)). Solve -11 = 3*a + 4*t, -1 = y*a - 5*t + 14 for a.
-5
Suppose 0 = -2*x - x. Suppose q + 1 + 4 = 0, -4*u + q = 7. Let k be 3/1 - (u - -4). Solve z - 4 = -k*j - z, -z + 3 = x for j.
-1
Let t(g) = g**2 - 16*g + 1. Let q be t(16). Solve -2*h + q + 4 = -k, 4*k = -4 for h.
2
Suppose 4*h - 38 = -v, -v - 7 = -h - 0*v. Solve -7 = -4*a - 3*t, t = -2*t - h for a.
4
Suppose 5*m = 9*m. Solve -s - 5 = -m*s - 3*a, 0 = 2*s - a for s.
1
Let f(d) = -2*d - d - 5 + 0*d - 3. Let z be f(-4). Solve -z*j - a - 24 = 2*a, 4*j = -a - 16 for j.
-3
Suppose -17 = -3*q - 2*t, 3*q - 1 = -4*t + 6*t. Suppose -5*x + 10 = 4*i - q*x, -5*i - 2*x = -13. Solve 4 = -i*m + 4*v, v + v = m for m.
-4
Let c(m) = m**2 - 7*m - 13. Let w be c(9). Suppose -3*q - 4 = -w*q. Solve 12 = t - s - 3*s, 4 = q*t - 3*s for t.
-4
Let w(c) = c**3 - 4*c**2 - 4*c + 4. Let s be w(5). Solve -i = -5*f - 3, 5*f = -2*i - i + s for f.
0
Let k be (-1 - -3)/((-4)/(-14)). Suppose y = -3*y + 20. Let m(q) = -q**2 + 7*q - 6. Let j be m(y). Solve j*c - k = l, -2*c + 0*l = -2*l + 4 for c.
3
Let d(s) = -s**2 + 5*s + 5. Let j be d(5). Solve 5*h - 3*g - 15 = -8*g, -3*g = j*h - 19 for h.
5
Let u = -4 - -6. Suppose -a + u*a = 22. Suppose 5*z - a = -7. Solve 5*q - 2*s = -18, -z*s = -0*s + 3 for q.
-4
Let a(z) be the second derivative of z**4/12 + z**3/3 - z**2/2 + 2*z. Let i be a(-3). Let f be 10/(-3)*(-3)/i. Solve -1 = -4*n + 5*w - 3, 5 = -f*n + 5*w for n.
-3
Suppose -2*x = -4*x - 24. Let u be x/9*54/(-4). Let w(a) = -5*a - 3. Let l be w(-5). Solve 0 = 2*v - 5*o + l, -4 = 2*v + 4*o - u for v.
-1
Suppose 8*q = 6*q + 4. Suppose -4*w + 12 = 2*y, -2*w = y + q*w - 10. Solve -y*g - 6 = -4*f, -f + 5*f - 26 = -2*g for f.
4
Let o(u) = 3*u - 5. Let v be o(4). Suppose 12 = 4*x + 2*y, -3*x + v = y - 4. Solve 0 = x*r - 4*g + 4 + 1, -2*r - 35 = 5*g for r.
-5
Suppose 5*t = -v + 15, -2*v - 30 = -5*t - 0*v. Solve 0 = t*o - g - 21, 7*o = 3*o - 5*g + 15 for o.
5
Suppose 4*k - 19 = d, d = -2*k - 4*d - 7. Solve -2*q = i + k, -8 = 4*q + 4*i + 8 for q.
0
Let j(o) = 7*o - 1 - o - 4*o - 5*o. Let k be (-12)/8*2/3. Let n be j(k). Solve -2*l + p = n*l, 2*l - p = 0 for l.
0
Suppose 3 + 6 = 3*j. Suppose -2*o + 9 = j. Solve 2*p + 12 = -0*t - t, o*p = 2*t - 4 for t.
-4
Let p = 140 - 128. Solve l = -3*l - p, l = 5*u + 12 for u.
-3
Let a = 7 - 3. Suppose -a = -3*b + 2*b. Suppose -5 = u, -4*i = 2*u - b*u - 22. Solve -2*s = -4*s - y - i, -y = -3*s + 8 for s.
1
Suppose -4*r = -0*r - 8. Suppose 5*t = 5*o + 15, -4*t + 15 = r*o - 3*o. Solve 5*l + 4*y + 3 = 2*y, -2*l - 14 = t*y for l.
1
Suppose 3*t + 30 = k + 4*k, 0 = -t - 5*k + 10. Let a be 5*1*(-2)/t. Suppose -5*z + a = -4*l + 7, -4*z = -12. Solve 3*m = -r + 15, -l*m - r + 6*r = -5 for m.
4
Suppose -13*g + 11*g + 6 = 0. Solve g*p + 6 = -3*w, w + 1 = -5*p - 9 for p.
-2
Let f = 190 - 186. Solve 2*m - 2*q - 8 = 0, -m = -f*m - q + 12 for m.
4
Let u be 16/(-7) + 2 + 10/35. Solve -2*k + 3*q + 14 = 0, u = -k - 0*q + q + 5 for k.
1
Suppose -2*b + 0*b - 6 = 0. Let s(j) = -j**3 - 3*j**2 - 3*j - 1. Let l be s(b). Let h = -5 + l. Solve 0*m + 20 = 4*m + h*p, 2*m - 3*p = -8 for m.
2
Suppose 0 = -17*w + 22*w - 25. Solve 3*k - 20 = 6*u - 2*u, w*k - 30 = 5*u for k.
4
Let t be 5 + -2 + 3 + -2. Solve 2*l + t*i = -10, -i - 17 - 3 = 4*l for l.
-5
Let z(l) = -l**2 + 4*l + 7. Let c be z(5). Suppose 30 = c*i + i. Solve -2*g - 12 = -3*k, -9 - i = -5*k + 3*g for k.
2
Let q(s) = s. Let i be q(-1). Let z be (2 + i)/(2/4). Suppose 4*a - 15 = -4*r + r, -15 = -3*r + 4*a. Solve -3*p + 10 = r*o - 27, -z*p = -o - 3 for o.
5
Let k(g) = -4 + 4*g**2 - 5*g**2 - 5*g + 9 + 2*g**2. Let i be k(5). Solve w + 3*j = -3*w - 23, i*j + 25 = -4*w for w.
-5
Let o be 6/21 - 26/(-7). Solve 2*b - 10 = -2*u, -o*u + 2 = -5*b + 27 for u.
0
Suppose -1 = -3*t + 5. Let i be -6*(-3 - (-21)/9). Suppose -t*u - 2*b = -2, 5*u + i*b = 3*u. Solve -u*w - 24 = 