e n = -3*j - i, n - 4*n + 5*j = -32. Let z be (-3)/n + 11/4. Solve -s - 4 = -k - 5, z*s - 5*k - 2 = 0 for s.
1
Suppose 0*p + 2*p = 6. Let m be (27/(-12))/((-6)/16). Solve 0 = k + a, 4*k - 5*a = m*k + p for k.
1
Suppose 2*t + 2*t - 12 = 0. Let g(v) = 2*v**2 + v**2 + 4 + v**t - 5*v - 3. Let l be g(-4). Solve -l = -h, -8 = 3*r - 5*h + 2 for r.
5
Suppose -4*v = 4*u + 16, -5 = 2*u + 5. Solve -z - j - v = -2*z, 16 = 4*j for z.
5
Let t be -1*(7 - 2)*-1. Suppose -3*x + 5*c + 11 = -0*c, -2*c - 12 = -t*x. Solve 2*z - 10 = -4*y, 25 = 5*z + 5*y - x*y for z.
5
Suppose -5*n + 21 = 2*s, s + 2*n - 18 = -3*s. Solve s*o = 3*l - 7*l - 25, 5*o = -4*l - 31 for l.
-4
Let w(n) be the third derivative of -n**4/8 - n**3/3 - n**2. Let d = -6 + 4. Let z be w(d). Solve 8 + 13 = -t + z*u, -3*t = u - 2 for t.
-1
Let p be ((-20)/(-15))/(6/9). Solve 10 = -4*d + p*y, -2*d + d = -y + 2 for d.
-3
Let p(j) = 3*j - 8. Let a be p(4). Solve -5*y + 5 = a*x, 2*y - 6*y - 7 = x for y.
-3
Let o be -5*(-2)/5*11. Solve 5*y + 2*n - o = 0, 13 = 2*y + 6*n - n for y.
4
Let x be 2/12 - (-364)/(-24). Let s = x - -18. Solve -2*w = 2*i, 4*i + 5*w = 2*i - s for i.
1
Suppose 4 = 2*q + 2*q. Let g = 13 + q. Let w = -7 + g. Solve -3*o = -12, 0*o = t + o - w for t.
3
Let q(r) be the first derivative of r**2 - r - 2. Let a be q(8). Solve 3*v + 3*p = -a, -v + 3*p + 11 = -0*v for v.
-1
Suppose -4*l = l - 20. Suppose l*g - 83 = -3*p, -2*g - g + 61 = p. Suppose -v = 2*v + u - g, -4*u = -5*v + 5. Solve 3*m = -3*d - 3, v*m = -d - 2 - 11 for m.
-3
Let r(o) = -4*o - 4. Let b be r(-7). Let a = 48 - b. Let z be (3/6)/(3/a). Solve z*k = -3*s + 21, -s - 6 = -3*s for k.
3
Let p = 13 + -25. Let a = p + 15. Solve -4*n + 8 = n - a*g, -1 = -3*n - 2*g for n.
1
Let c = -3 - -6. Let v be (-5)/(3/(-9)*(-1 - -2)). Solve -4*p + c*x + 6 = 1, 0 = -p + 4*x - v for p.
5
Suppose -t - 34 = -3*t. Let n = -10 + t. Solve s + b = n, -b + 5 - 10 = -2*s for s.
4
Suppose -2*o + o + 8 = 0. Suppose -5*f = 2*y + o - 31, 0 = -2*y - 3*f + 21. Let t be -2 - (6/9 - (-104)/(-3)). Solve y = x + u - 2*u, -t = -4*x + 3*u for x.
5
Let t be 1/(-2) - 63/18. Let v(b) = b + 4. Let i be v(t). Suppose i = 4*y + 6 - 26. Solve 2*f + 16 = 4*j, -9 = -y*j + 2*f + 11 for j.
4
Let i(d) = 2*d + 5. Let j be i(4). Solve -j = c + 2*z, -5*z - 19 = -0*c - 2*c for c.
-3
Let w = 6 + -4. Let d(x) = -x**2 + 9*x - 16. Let q be d(4). Suppose -4*o - 4 = -0*o, k - 10 = -2*o. Solve 0 = -w*y - q*i + k, i = -i + 4 for y.
2
Suppose 5*t + 5*c = 0, -30 = -2*t - 0*t + 4*c. Solve -3*k - 2*k - 5*f - 10 = 0, 0 = t*k + f + 6 for k.
-1
Let g(n) = -n**2 + 4. Let p be g(0). Let r be 84/10 + (-48)/120. Solve -28 = p*l + 3*j, -l - j = -4*l - r for l.
-4
Let w be (1 - -1) + 1 + 0. Suppose 5 = -4*j + 13. Suppose 15 - 5 = j*h. Solve -6*y + 35 = w*i - y, -3*i = -5*y + h for i.
5
Let h(a) = -a - 3. Let g be h(-5). Suppose -g*j = -7*j + 25. Suppose -5*x = -2*i - 22, -2*x + 4 = i - 3. Solve l + 3*q = -20, -4*l = -j*l - x*q - 25 for l.
-5
Suppose -35*y + 38*y - 9 = 0. Let r = -4 - -8. Let u(v) = -v + 3. Let h be u(-6). Solve f = 3*n + h, f = -r*f + n + y for f.
0
Let p be ((-20)/5)/12*-105. Let j = -7 - -12. Suppose -j*o - h + 33 = -52, 3*o - h = 43. Solve 4*c - 6 = -5*m + p, -c = -4*m + o for m.
5
Let h(w) = -4*w + 27. Let z be h(6). Solve -r - 2 = z*y + 7, -4*r = -y - 16 for r.
3
Suppose 65 = 2*j - 5*p, -j - j - 4*p + 20 = 0. Solve 0 = 2*t - 2*i - 3*i - j, i = -2 for t.
5
Let m(r) = -r**3 - 4*r**2 + 4*r - 5. Let x be m(-5). Suppose 4*i + 3*q + q - 24 = x, -3*i + 5*q + 50 = 0. Solve 5*s + 27 = -f, 5*f = 5*s + i + 5 for f.
-2
Suppose -2*k = -2*b, 5*b - 9 = 4*k - 2*k. Solve 0 = -3*z + q - 5, -z - q = -0*q + b for z.
-2
Let q be (6/5)/(2/5). Suppose -2*r + 12 = -2*d, 0 = -5*d + q*d - 8. Solve 2*c - 8 = 4*s - r, -9 = -3*c + 3*s for c.
3
Suppose 4*j + 2 = 10. Let r be (-5)/25 + (-2)/(-10). Suppose -2*n - n = r. Solve -v = -j*c, n = c - 3*v + 10 for c.
2
Suppose -4*a + 4*r - 20 = 0, r + 3*r = -a + 10. Let h be 1 + a + 5 + -2. Solve -5*x - h*s + 22 = -x, s + 24 = 5*x for x.
5
Suppose 0 = 4*m + m + 5. Let w be (2 + -1)*m - -4. Suppose h - w*l = -11, 0 = 5*h + l + 2 - 27. Solve a - 2*a - 8 = -h*k, 0 = 2*a + 4*k - 20 for a.
4
Let i = 35 + -15. Suppose 0 = -5*u + s + 16 + 4, 0 = -3*u - s + i. Solve j = -2*t - 4 - 7, 0 = -j + u*t + 24 for j.
-1
Let o = 43 - 3. Suppose -d + o = d. Solve -4*u = r + 25, 0 = -0*r + r + 3*u + d for r.
-5
Let z = -7 - -9. Solve 8*q + z*f = 3*q - 11, 2*q - 5*f - 13 = 0 for q.
-1
Suppose -r = r - 2*t - 18, t = 3*r - 23. Let h = 1 + 2. Solve -p = b, -1 + r = -h*b for p.
2
Suppose -3 - 1 = -x. Solve -3*v = 2*i + 7, -x*v - 3*i - 16 = -5*v for v.
1
Let q(v) = -5*v. Let u be q(-2). Suppose 0 = -24*x + 19*x + 50. Solve 4*n + u = s, 2*n - 3*s + x = -0*n for n.
-2
Suppose 0 = -3*v + 425 + 10. Suppose -5*f = -0*f - v. Solve j + 8 = i, 5*i + 9 = f for j.
-4
Suppose 5 = q - 3*o - 12, 4*o + 21 = q. Solve -3*k - q*a + 13 = 0, -4*k + a = -4 + 2 for k.
1
Let r be -26 + 29 - (-1 - -1). Let a be 1/2 + 3/2. Solve 0 = -5*y - a*z + 30, 2*y - 25 = -r*y - z for y.
4
Suppose -3*g = 5*b, 1 = -3*g - 4*b + 4. Solve 5*k = 2*k + 9, -g*k + 17 = -q for q.
-2
Suppose -2*w - w + 75 = 0. Suppose b - w = -4*b. Suppose -2 = -b*o - 4*l, 0*o + 4*l = -4*o. Solve -4*j - k + 20 = 0, -2 = -o*k + 6 for j.
4
Let p be 1/((-2)/10 - (-30)/75). Solve -4*y + 5*a - 14 = 0, -2*y = y - a + p for y.
-1
Suppose -3*t - h = -44, t - 32 = -0*h + 4*h. Solve 4*p = -t, 5 = o - 3*p - 10 for o.
3
Let z(x) = 4*x + 68. Let n be z(-16). Solve 2*v - 5*r - n - 3 = 0, v + 4 = -5*r for v.
1
Suppose 6 = p + 2. Suppose 0*j - 4*j = 0. Suppose 0*b - 4*b + p = j. Solve 0 = -3*c + o - 17, 3*o + b = 2*c + 17 for c.
-5
Let l = -3 - -7. Suppose l*u = 6*u - 18. Solve 0 = -p - d - u, 0*p + d - 11 = 4*p for p.
-4
Let p = 12 - 10. Solve -p*o - 4 = 5*t, -o + 9 = -0*o - 3*t for o.
3
Suppose -68 + 12 = -4*o. Suppose -4*p - o = 2*w - 3*w, -5*p = 4*w + 7. Solve 3*d - 2 - 7 = -2*m, 0 = w*d - 4*m - 22 for d.
5
Suppose v + 4*c + 30 = -v, -2*c - 84 = 4*v. Let g = v + 40. Suppose -5*k + i = -k - g, 2*k = -i + 1. Solve -7 = 2*b - b - 2*a, 5*a = -k*b + 34 for b.
3
Suppose 0 = -4*p + 5*b + 17, -2*p - 3*b + 3 = -0. Solve -2*w + 6 = m + m, -m + p = -4*w for m.
3
Let s = 70 - 65. Solve 3*c - x = 12, 6 = s*c - 2*x - 14 for c.
4
Let k(q) = -q**3 + 4*q**2 - q + 3. Let w be k(3). Solve 5*b + j = 26, w*b = 4*b - 2*j + 27 for b.
5
Let z(l) = -l**3 + 5*l**2 - 3*l - 3. Let x be z(2). Solve j - 2*j + 13 = x*y, 4*y + 4 = 4*j for j.
4
Let m = -54 + 35. Let r be m/(-6) + (-3)/18. Solve 0 = -r*z - a + 8, 2*z + 0*a - 28 = 5*a for z.
4
Suppose 5*k + 2*t - 4*t - 27 = 0, 0 = -4*k + 4*t + 24. Solve k = f - 0*a + 2*a, 4*f + 24 = 3*a for f.
-3
Let c be 6 + -3*2/3. Let z(d) = -7*d - 12. Let p be z(-12). Suppose l - p = -3*l. Solve 2*v - l = 5*r + 2, c*v = 2*r + 8 for r.
-4
Let f be 15/((-360)/16)*(-15)/2. Solve -f*s + 10 = 2*l - 6, s - l = -1 for s.
2
Let u be -1 - (1/(-2))/((-5)/(-70)). Solve u*j - 3*j - 14 = l, 0 = l + 2*j - 1 for l.
-5
Suppose -u = m + u - 26, u + 3 = 0. Let p = 2 + 2. Suppose x + p*z = 24, 2*z - m = x - 4*x. Solve r = 3*a - r - x, a + 5*r = -20 for a.
0
Let m(u) be the first derivative of 2/3*u**3 + 3/2*u**2 + 3*u - 1. Let s be m(-2). Solve f + 11 = -s*r - 12, 3*f = 2*r + 16 for r.
-5
Suppose 0*v = -3*v. Suppose q + 0*q + 4 = 0. Let k be 0 - -3*q/(-6). Solve 4*s + v*s = -5*g + 5, -3*g + 25 = -k*s for g.
5
Let m be 0/(3/(12/8)). Solve a - 3*i - 7 = 3, -a - 5*i - 14 = m for a.
1
Let h(t) = t**2 + 3*t + 2. Let z be h(-3). Let x be z*(-2 - (-6 - -2)). Solve 0 = -x*l + 3*f - 8*f + 7, -l = 5*f - 13 for l.
-2
Let r = 59 - 56. Solve 0 = -8*t + r*t + 3*j - 16, 0 = t - j + 4 for t.
-2
Let d be -14*(-1)/(-2)*-1. Let l = 9 - d. Let u be (-2)/6 + (-10)/(-3). Solve x = i - 3 - u, l*x - 12 = -4*i for i.
4
Suppose 5*k + 404 = 1274. Suppose -2*o + 198 = -k. Let j be 4/(-10) - o/(-15). Solve 2*c = 3*z - j, -3*c - 4*z + 16 = -0*c for c.
0
Let t be (-2 - -6*2/4) + 1. Solve 2 = t*u + 5*c - 15, 4*u - 4*c + 36 = 0 for u.
-4
Let y(p) = p**3 - 2*p**2 + p. Let z be y(1). Let a = z - 0. Suppose -4*i + 0 + 20 = a. Solve c = -2*k + 8, -4*c + i*k - 20 = -2*c for c.
0
Let k(u) = 2*u**3 + 12*u**2 - 2*u - 2. Let o be k(-6). Solve -4*z - 4 = -b + o, 13 = -5*z - b for z.
-3
Suppose -3*n - 16 = 4*j - 61, 3*n + 