- 3*x + 12 = n for i.
-4
Suppose -5*a + 6*q = 10*q - 10, q = 4*a - 8. Let p = 5 - 2. Solve 3*h + 5 = h - p*j, 0 = -a*j + 2 for h.
-4
Let s(v) = -v**2 + 24*v - 125. Let q be s(16). Solve -5 = -u - 3*a, -q*a + 16 = 2*u + 12 for u.
-1
Let l(s) = -95*s + 582. Let z be l(6). Solve 4*k + 26 = -z*n + 9*n, -4*k = n + 22 for n.
-2
Suppose -4*i - 7 + 15 = 0. Let q be 7/i - 3/2. Let j be (-202)/(-22) - (q + 100/(-55)). Solve 2*v + j = -5*y, 0 = -4*y + 4*v + 4 - 0 for y.
-1
Suppose -4*u = t - 19, 24*t - 22*t - 17 = -u. Solve 3*m + m - 7 = u*f, -23 = -m + 5*f for m.
-2
Let b = -1274 - -796. Let v = b + 481. Solve -m - 3 = 5*r - 5*m, 3*r - 3*m = -v for r.
1
Suppose -7*a - 12 = -54. Let g(k) = k**3 - 8*k**2 + 15*k - 3. Let t be g(a). Let v be 5 + t/3 + -7. Solve -v*b - 25 = -5*x, b + 3*b = 0 for x.
5
Suppose -7*o + 49 = 14. Suppose o*r = -20, 2*g - 5*r - 45 = -3*g. Solve -2*k - k + 3 = 0, k = -g*f - 19 for f.
-4
Let h(y) be the second derivative of y**4/4 - 4*y**3 - 166*y. Let t be h(8). Solve -2 = -r - t*s - s, -2*r - 4*s + 4 = 0 for r.
2
Let q be ((-276)/(-115))/(9/105) + (0 - 6). Solve -u - 13 = 5*i, -27*u = -q*u + 15 for i.
-2
Let n be (33/(-5))/(27/(-45)). Let a be (-5)/2 - (n/22 - 7). Solve 4 = -l, a*l + 28 = -4*x + l for x.
-4
Let l(v) = 14*v + 2*v + 0*v + 2*v**3 + 38 - v - 33*v**2 + 0*v. Let j be l(16). Solve 2*x = -0*w - 4*w + j, -7 = -w - 2*x for w.
5
Let p be (72/45)/((-14)/(-35)). Solve p*i - 2*t + 6*t = -8, 0 = 4*i + 2*t - 2 for i.
3
Let q(g) = 2*g**2 - 2*g + 12. Let h be q(3). Suppose -16*p = -h*p. Solve -2*t - 5*s - 25 = -p*t, 4*t - 4*s - 20 = 0 for t.
0
Suppose 0 = -3*k - f + 721, -4*k - 8*f + 7*f + 961 = 0. Suppose k = 41*a - 129. Solve -4*j + 4*p - a = 19, j - 17 = -5*p for j.
-3
Let d = -4240 + 4250. Solve 4*n = -p - 5, 3*p = 3*n - d - 5 for n.
0
Suppose 0 = 20*w - 45 + 5. Let a be -4 + w + (3 - -4) - 1. Solve -4*g + 4*d - a = 0, 5*g - 4*d = -2*d + 7 for g.
3
Let d be -9 - ((-22)/55)/((-2)/(-140)). Solve 2*i = -3*b + 5, d = -5*b + 3*i + 59 for b.
5
Let o = -524 - -529. Suppose -16 = -3*a + 2*a + 2*b, -o*a + 5*b + 70 = 0. Solve 2*z = -2*q + a, 3*z - 2*q - 3 = -0*q for z.
3
Suppose -2*d + 33 = 60*p - 57*p, d - 12 = 3*p. Solve b + 5*i = d, 5*b = -4*i + 68 - 77 for b.
-5
Let p(t) = 800*t - 20792. Let o be p(26). Solve o = 4*v, 4*m - 3*v + 2 = -0*v for m.
1
Let o(n) = -3*n**3 + 15*n**2 + 4. Let s be o(5). Suppose -s*a = -a - 9, -2*d - 4*a + 18 = 0. Solve x = -3*f - 2, 8*f - 2 = d*f + x for f.
0
Suppose -1123*b + 1126*b - 40 = 35. Solve -3*d - b = -2*y, -3*d + 15 = -6*d for y.
5
Suppose -3*f = 3*q - 18, -6*f = -10*f. Solve -5*r = 0, -8*d + 5*r + 10 = -q*d for d.
5
Let f = -359 - -309. Let r = f + 52. Solve 3*i - r*b = 2 - 0, -3*i = -3*b for i.
2
Let d = 22640 + -22626. Solve -h - 3*r - d = 0, 355*r = 4*h + 356*r + 23 for h.
-5
Suppose 17*n - 53 - 6 = -8. Suppose 6 = 4*h - h. Solve c - 6 = 2*w, n*w - c = -h*w - 18 for w.
-4
Suppose -188 + 188 = 6*l. Let k be l/((-2)/((-4)/(-2))). Solve -3*a = 2*x - 2, -3 = -k*a - 2*a - x for a.
4
Suppose -5*h = -5*z - 80, -z + 3*h + 6 = 32. Let o be (-3)/6*0/z. Solve o*m - 5*g + 21 = -4*m, -3*m - 2*g = -13 for m.
1
Let i be (2/4)/((-6)/72*-3). Suppose 5*c - k = 3*k + 2, -i*c + 6 = k. Suppose r + 3*o = o + 9, 2*r = c*o. Solve -a + 14 = -2*a - 4*w, -2*w = -r*a + 14 for a.
2
Let t be -24*(-2 - (-15)/9). Suppose -4*a + p + 13 = 0, -3*a - 10*p + t = -9*p. Solve 0 = -4*c + 2*m - 5*m - 12, a*c + 9 = -m for c.
-3
Suppose 62 = 7*k + 20. Suppose -5*i - 2*w = -43, 3*i + 4*w + k = 43. Solve -2*f + 3*g - 11 = -i*f, 2*f - 14 = 2*g for f.
4
Suppose 0 = t - 6*k + 2*k + 17, 0 = t + 5*k - 19. Let r(y) = -25 - 24 + 75 - 4*y - 27. Let o be r(t). Solve 4*d + o*u + 17 = 0, -5 - 1 = 2*u for d.
-2
Let z = -4615 + 4631. Solve -2*q + 19*t = z*t - 2, -3*q - 2*t = -3 for q.
1
Suppose 3 = 4*s - 5*f, -3*s + 5 - 1 = -2*f. Suppose 0 = -0*b - 4*b - u + 56, -s*b + 10 = 5*u. Solve c = 4*p - 12, 2*c = -0*c - 5*p + b for c.
0
Suppose 0 = 55*n - 78 - 32. Let d be (-28)/21*(-3)/(-2) + 9. Solve 0*h - 4 = -4*h - 4*w, d = n*h - 3*w for h.
2
Let v(g) = -g**3 - 9*g**2 + 9*g - 5. Let f be v(-10). Suppose -73 = f*w - 98. Suppose 0 = 4*q - 2*q - w*q. Solve q = -3*s - 5*k + 11, 3*k = -3*s - k + 7 for s.
-3
Let m be (140/25 - 24/(-60))/6. Solve -q + 5*h = -m - 19, q - 4*h = 16 for q.
0
Let f be -2 + 3 + -4 + 0. Let z be f*(2/(-10) - 56/70). Solve -8 = -4*g - 3*p, 0*g - z*p = -3*g - 15 for g.
-1
Suppose -36 = 15*l - 27*l + 12. Solve -5*t - 3*w = -7*w - l, t - 5*w = 5 for t.
0
Suppose 0*b - 116*b = -194 - 386. Solve -13*k + 15 = 5*h - 14*k, 2*h - 29 = b*k for h.
2
Suppose 2 = -l + 17. Suppose 2*k = -5*x - 25, -2*x = x + k + l. Let u(b) = -b**3 - 5*b**2 + 5. Let w be u(x). Solve 5*n + w*y = -20, -4*n - 10 = -n + 5*y for n.
-5
Suppose 26*v - 31*v + 65 = 0. Suppose 84 = o + v*o. Solve -3*w = -s + 17, o*w + 33 = w + 4*s for w.
-5
Let r be (-100)/(-12) - (3 + (-16)/6). Suppose 23*u - r = 19*u. Solve 6*z - 2*z + u*f = 6, -z - f = 0 for z.
3
Suppose 24 = -28*x + 34*x. Solve -3*q - 20 = -5*m, x*q + 9 = -11 for m.
1
Let z(a) = 13*a**2 - 1. Suppose -5*u + 13 = 3*o, -3*u - 1 = 2. Let n be (-2)/(-3)*o/4. Let s be z(n). Solve -5*g - b = 8, 3*g - b - s = 4*b for g.
-1
Let o(w) = w + 7. Suppose 2*z + z + 11 = -4*x, -29 = z - 5*x. Let i be o(z). Let u be (-6)/i - (-6)/(-3). Solve -r = -5*q + 6 - u, 5*r + q = 27 for r.
5
Let t(j) be the first derivative of j**4/4 - 22*j**3/3 + 23*j**2/2 - 23*j - 9. Let u be t(21). Solve -4*l = -3*z, z - u = -7*l + 2*l for z.
4
Let y(b) = b**3 + 14*b**2 - 15*b - 2. Let n be y(-15). Let j be (-4 + -4)/(4/n). Solve -3*h - 18 = 3*c, 3*c - 2 + 13 = j*h for h.
-1
Suppose 62 = -x + 3*x. Let f = x - 49. Let l be (-4)/f + (-26)/117. Solve -5*w - 3*k - 6 = -l*w, -2 = -2*w + k for w.
0
Let n be (8/(-7))/((-16)/56). Suppose -5*v + v - 4 = 0. Let p = 2 - v. Solve -f = -n, -f + 3 = -p*q + 4*q for q.
-1
Suppose 6*v + 769 - 787 = 0. Solve -c - 4 = 3*q + v, -q - 17 = 4*c for q.
-1
Let c = 17 + -15. Let o be c*(-1 + (-4 - -4)). Let x be (1/o)/((-4)/(5 - -35)). Solve -x*i = 4*u + 3 - 40, -9 = -3*u for i.
5
Let y(g) = -g**2 + 11*g + 8. Let l be y(11). Let f = l + -14. Let x be (4 + f)/10*-15. Solve c - 6 = -5*p, p + x*c + 1 + 9 = 0 for p.
2
Let s(k) = k**2 - 5*k - 1. Let w be s(6). Let i be (-2)/1*(-14)/(224/8216). Let h = i - 1024. Solve 5*y + w*l + 25 = 0, -y = -l + h*l + 7 for y.
-3
Suppose m = 5*d - 328, d + 3*d = 5*m + 254. Let b be ((-2)/((-24)/(-27)))/(d/(-88)). Solve 2 = r + g - 7, -4*r - b*g + 31 = 0 for r.
4
Let k be 25 - (-238)/(-7) - (-2 + -74). Solve 0 = 5*f + 3*g - 3, -2*f = -2*g - 81 + k for f.
3
Let m(u) be the second derivative of u**4/12 - 7*u**3/6 - 20*u**2 + u - 8. Let x be m(-4). Solve -2*s + 3*b - 21 = -5*s, 4 = -2*s + x*b for s.
4
Let r = -25 + 11. Let t be 2*2 + -1 + 4 + r. Let k(f) = 2*f**2 + 12*f - 10. Let c be k(t). Solve -c*l + 3*o - 4 = 0, -4*o + 0 = 5*l + 5 for l.
-1
Let c be (-21)/(-56) - 474/(-16). Let j be (-24)/30*c/(-4). Solve -y - 3 = -q, 0 = j*y - y - 3*q + 17 for y.
-4
Suppose 13 = 2*k + 3*g, -2*k + k - 2*g + 8 = 0. Suppose -k = 3*w - 17. Suppose -50*q = 36*q - 688. Solve 4*m - q = -w*h, 2*m = -5*h - 0*h + 14 for m.
-3
Suppose 21*p - 17*p + 2764 = 0. Let b = 695 + p. Solve -4*x + 26 = 6, 0 = -2*f - b*x + 18 for f.
-1
Let y(i) = 555*i + 1669. Let k be y(-3). Solve 18 = -3*o + 5*v, 7*o - k*v + 17 = 2*o for o.
-1
Suppose c - 2*y + 708 = 2*y, -3*c - 2092 = 4*y. Let o be c/150*(-1 - (-2)/(-4)). Solve -4*k = -5*d + o, d - 2 = -4*k + 5*k for k.
-3
Suppose 4*j = -2*s - 3*s - 10, -2 = j + s. Suppose j = 33*k - 102 - 63. Solve 2 = 6*i - i + 2*o, k*i - o = -1 for i.
0
Let y be 15/6*(-8)/(-5). Suppose -y*n - 6 = -6*n. Solve -3*p + n*a + 8 = -1, 4*a = p - 6 for p.
2
Let j be 255/(-10) + (-3)/6*1. Let q = 33 + j. Suppose 235 = -5*n + 260. Solve -2*c + q = -s, -n*c + s + 18 = -1 for c.
4
Let o = 70 - -2. Suppose o = -8*a + 12*a. Solve 3*u - u - 2*j - a = 0, 2*j = -3*u + 7 for u.
5
Suppose 3861 = 33*j + 3465. Solve 0 = 5*b, -3*p = 5*b + j + 3 for p.
-5
Suppose 5*k = y - 16, -4*y = -4*k - 0*k - 32. Solve 18*d - 3*l = 15*d + y, 4*d + 5*l = -19 for d.
-1
Let h(k) be the first derivative of -k**4/2 - k**3 + 70. Let t be h(-2). Solve 0*u - 2*u = 2*n - t, 0 = 2*u - 3*n - 9 for u.
3
Let t be (-11)/(-5) + -2 + (-14)/(-5). Let m be (32/48)/((-1)/(-