f = m*p - 16, -3*p + 16 = -5*f for f.
-2
Let u(d) = d + 5. Let v be u(17). Let o = 32 - v. Suppose 5*w + 23 = x + x, 0 = -4*w - 4. Solve -4*t - 5*s = -8, -4*t - 5*s = -x*t + o for t.
2
Suppose 4*y + i - 14 = 10, y - 6 = 3*i. Suppose 36 - 1 = 5*n. Suppose -16 = -4*d, -2*o = -n*o - 2*d + 18. Solve 0*f + o*f = -y, 2*r + 4*f + 14 = 0 for r.
-1
Let v be (-4*(9/(-3))/30)/(12/180). Solve 4*u + v = p, 5*u + 19 = 3*p + 15 for u.
-2
Let m(o) = 31*o**2 + 8*o + 19. Let j be m(-2). Suppose 22*b = -17 + j. Solve 0 = -b*c - 4*i + 2, 3*i + 7 = 3*c + 22 for c.
-2
Suppose 7*s - 3 = 67. Suppose s*a - 6*a = 12. Suppose -d + a*d = 12. Solve -d*j + j = 5, 4*k = 2*j - 6 for k.
-2
Let k(f) = -2*f**3 - 18*f**2 - 39*f - 9. Let r be k(-6). Solve -5*a = -3*z - r, -5*a + 41 - 34 = -4*z for a.
3
Suppose 10 - 609 = -165*w + 391. Solve -4*a = -r - 17, -2*r + w = -2*a + 22 for r.
-5
Suppose -3*c + 30 = -5*h, -7*c + 12*c - 31 = 2*h. Solve -w - 3*v = 16, 4*w + c*v + 9 = 4*v for w.
-1
Suppose 5*t - 4 = -5*p + 51, -3*p = -6. Suppose 9*o - 36 = -t. Suppose -7 = -2*z + o*x - 0, -4*z - x + 7 = 0. Solve 4*j + d + 7 = 0, 1 = 3*d - z for j.
-2
Let a be ((-30)/25)/(6/(-20)). Suppose 0 = -h - 3, -4*b - 2*h - 6 = -0*h. Suppose b = -a*d + 59 - 51. Solve -5*f = -d*j + 3*j - 20, 3*f - 4*j - 12 = 0 for f.
4
Let h be -12*10/(-105) - 62/(-7). Solve 5*l + h = 5*w, 5*w + 46 = -4*l + 56 for w.
2
Let z = -71 - -75. Suppose 3 = 5*m - q, -z*m = 4*q + q + 15. Solve 0 = 5*l - 5*r - 5, -5*r = 4*l - m*r - 4 for l.
1
Let y be (20 - 16)*3/(60/55). Solve 4*b = -k - 3, -y - 4 = 5*k - b for k.
-3
Let s = -234 - -217. Let w(d) = -d**3 - 17*d**2 - 2*d - 29. Let u be w(s). Solve -3*l = u*v + l + 3, -3 = -2*v - 3*l for v.
-3
Let i = 3945 + -3938. Solve p = -5*g + i - 36, p = -3*g - 19 for g.
-5
Let k = -5609 - -5615. Solve 0 = -2*q - u + 8 - 10, q = 3*u + k for q.
0
Suppose -84 = 3*t + 198. Suppose 28*u = 37*u + 891. Let h = t - u. Solve 5*z + h = 0, 2*z + 1 = 2*l - 1 for l.
0
Let i = -9 - -13. Let u(v) = v**2 - 2*v - 6. Let a be u(i). Let m be ((-2)/(-8))/((-124)/(-1488)). Solve -l + a = -m*t + 10, -3*l - 2*t = 2 for l.
-2
Suppose t + 5 = 0, 9*t - 14*t - 91 = -3*n. Solve 3*d = -4*z - n, -31 = 2*d + z - 23 for d.
-2
Suppose 2*m = 63 - 29. Suppose -33*p = -m*p - 160. Solve 5*c + 2*s = -3, -c + p = c - 2*s for c.
1
Let p(i) = 14*i + 8. Let k be p(5). Let r = k + -81. Let j be (-18)/(-12)*(-1 - r). Solve 0 = -l - j*m - 11, -5*l - 4 = -l + 4*m for l.
4
Suppose 0 = -3*a - 230 + 242. Solve -a*l = 5*d - 45, -5*d - 3*l = 23 - 63 for d.
5
Let s(n) = 16*n - 174. Let m be s(27). Let f = m - 254. Solve f*q + 3*y = -3 + 8, -5*q - 11 = -2*y for q.
-1
Let u = -10 + 31. Let i be 26 - (-7)/((-14)/18). Suppose -u + i = -k. Solve 3*j - k*j + 3 = -d, d + 11 = -3*j for d.
-5
Suppose -3*a = -2*o + 89, -a - 119 = 4*a + 4*o. Let g be 13/91 + -2*a/14. Solve 5*n = -g*x - 9, 5*x - 5 = -0*x - 3*n for x.
4
Let h be (42/(-7) - -4) + -7 + 13. Solve 9 = -h*j + 21, 0 = 5*c + 5*j - 25 for c.
2
Let x = 327 + -556. Let u = x - -233. Solve -h - 21 = 5*b, u*h + 5*b = -6 - 3 for h.
4
Suppose -20*g + 16*g + r + 5 = 0, 4*r = 2*g + 8. Let o(f) = f**3 - 5*f**2 + 10*f - 3. Let z be o(g). Solve -v + 9 = -0*k + 2*k, -z*v + 15 = 0 for k.
3
Let x be 12/8*24/18. Suppose x*u + w - 187 = -u, -3*w + 256 = 4*u. Let k = -56 + u. Solve 3*n = -4*c + 6, n + 2*c - 3*c = -k for n.
-2
Let g be 3 + (-106)/4 - (-4)/(-8). Let q be (40/g)/((-2)/6). Solve m = -5, 0*z - 45 = q*z + 5*m for z.
-4
Let v be 3 - 32/(-36) - 28/(-252). Solve -j - 3*c = 14, -2*c = 5*j + v + 14 for j.
-2
Let s = 3972 + -3969. Solve 0 = -2*o - 5*z - 3, -s*z - 9 = o - 8*z for o.
-4
Let q(z) = 6*z + 7 - 4*z - z. Let u be q(-5). Suppose 46241*k = 46206*k + 35. Solve 3*m + h = -2, u*m - h + 2 = -k for m.
-1
Suppose -621 + 594 = -9*q. Suppose c - 2*o = -q*c + 6, 5*c - 6 = 4*o. Solve 6 = -c*t, 3*w + 2*t = -w - 6 for w.
0
Suppose -27 = -9*j, -3*v - 2*j = -35 + 2. Solve 3*n = -3, -v*n = -3*l - 7*n - 13 for l.
-5
Suppose 3*a + 32 = -a - 4*x, -a - 10 = 2*x. Let n(q) = -3 - q + 3 - 6. Let o be n(a). Solve 4*h - p = -1, 3*p + o = -h - 10 for h.
-1
Suppose 0 = 6*r - 18*r + 3696. Let z = -303 + r. Solve -g + z = 4*m, -2*m = -3*m + 5*g + 17 for m.
2
Let w(i) be the first derivative of 23*i**4/4 + i**2/2 - 7. Let q be (8/5 - 1)*-5 + 4. Let t be w(q). Solve 2*h + 0*h + 4*f - t = 0, -2*h + 3*f = 11 for h.
2
Let d be 152/9 - 3/(-27). Suppose 12*o - 58 = -d*o. Solve -5*y + 6 = w, o*y + 0 + 4 = -2*w for y.
2
Suppose -3*g + 6*g + 30 = 0. Let m = g + 13. Let n be -7*(75/(-21) + m). Solve 2 = -0*f + 2*f - 2*v, -n*f = 4*v - 20 for f.
3
Let b be 35/(-8 + 15)*2 + 9. Solve d = 5*a - 13 - 4, b = 3*a - 5*d for a.
3
Suppose -5*n + 11 + 24 = 0. Suppose -532 = -n*j - 31*j. Solve 8*y - j = -z + 3*y, -z - 3*y = -8 for z.
-1
Suppose -3*t - 85 = -2*x, -x - 2*x = -4*t - 127. Let i = 50 - x. Suppose 6*o = 18*o - 72. Solve -g = -o*g + p - i, 2*p = 8 for g.
-1
Suppose -m = -6*m + 5. Let y be m/(21/(-35) - 348/(-555)). Solve 2*n + 2*u - 16 = 4*n, 5*u = 4*n + y for n.
-3
Let o = -6782 + 6784. Solve -28*d + 30*d = u + 2, o*d + 2*u + 10 = 0 for d.
-1
Suppose -8*o = 8 - 8. Suppose 0*w + 8 = 5*j - 2*w, -j + w + 1 = o. Solve 3*d + 13 = j*s - 12, 0 = -2*d - 2*s for d.
-5
Let k(v) = 10*v**2 + 6*v - 3. Let z be k(-3). Suppose -3*f = 57 - z. Solve 20 - f = 5*p + n, -2*n = -p + 12 for p.
4
Suppose 5*j - 58 + 6 = -3*d, -4*d = -5*j - 46. Solve -5*i + 27 = -16*p + 18*p, -4*p - 2*i + d = 0 for p.
1
Let j = 3954 + -3952. Let x(z) = z**2 + 4*z - 2. Let a be x(-5). Solve 4*t = j*o + 4, -3*t = -a*o - 0*o - 6 for o.
-2
Suppose 18 = -2*y + 2*o, 5*y = -o + 3*o - 33. Let v(x) = -14*x - 69. Let f be v(y). Solve f = 2*c + 3*u - 0, 4*c + 19 = u for c.
-4
Let w = -5377 - -5380. Solve -2 = w*n - 2*v, v - 5 - 1 = 4*n for n.
-2
Suppose 8*k + 39 = 5*k. Suppose 0 = 3*s + 5*c - 35, 4*c + 0*c = 2*s - 38. Let j = k + s. Solve -j*q - 11 = -v, -v = -5*q - 4*v - 22 for q.
-5
Suppose 18*t - 52*t = 28*t - 186. Solve 208*j - t*c = 213*j - 9, 3 = 4*j + c for j.
0
Let g(p) = p**2 - 22*p + 41. Let d be g(20). Let v be (-11 - -26)*d/3. Solve -5*i = 5*s - 0*i, -2*s + v*i - 28 = 0 for s.
-4
Suppose -4*i + 3*i + 6*i = 0. Suppose i = -2*b + 3*u - 7*u + 8, -4*b - u + 9 = 0. Let r be (-15)/2*6/(-5). Solve -h - 4*z - r = 0, -4*h = -b*h + z - 3 for h.
3
Let d = 99 - 65. Solve -33*m + 22 = -d*m + 5*s, s = 4 for m.
-2
Let u = -17145 - -17162. Solve -3*f = 5*t + 10, -19*f - 5 = 5*t - u*f for t.
1
Let v(x) = 10*x**2 - 5*x + 3. Let h(b) = 24*b + 97. Let s be h(-4). Let j be v(s). Solve -4*n + 16 = 3*q - 0, j = q + 4*n for q.
4
Suppose 2*h + 28 = 9*h. Suppose -h*w = 13*w - 68. Suppose 0 = -2*r + 5*r + 5*g - 54, 0 = -4*r + w*g + 40. Solve -2*p + 4 = -2*y, -8*p + r = -5*y - 4*p for y.
-5
Let h(z) = -32*z**2 + 385*z + 17. Let k be h(12). Solve 4*x - 26*n + 21 = -k*n, -2*x = -2*n for x.
-3
Let m(i) = -4*i**3 - 2*i**2 - 4*i - 2. Let x be m(-1). Let d(p) = -p**2 - 14*p + 72. Let a be d(x). Solve 15 = 2*n - 3*n + 5*o, a = 2*n + 4*o - 26 for n.
5
Let b = -9960 - -9967. Solve 3*f - 2*g - b = 0, 0*f + 5*g + 15 = 5*f for f.
1
Let c(s) = 2*s**2 - 50*s + 7. Let b be c(25). Suppose -b = n - 3*g - 2, 2*n - 2*g + 2 = 0. Solve -3*j - 11 = -5*z, z - n = -3*j + 12 for j.
3
Let k(d) = 6*d**2 - 23*d + 19. Let y be k(3). Solve -20 = 3*n - 8*s + 4*s, -4*n + y*s - 20 = 0 for n.
0
Let b be (-1)/(-3) - (-1120)/105. Suppose -4*w - 3*v = -23, -10*w - 2*v - 3 = -b*w. Solve -5*o - w = 5*f, -2*o + 0 = f + 3 for f.
1
Suppose 133*r = 114*r + 38. Solve -4*p - 19 = r*h - 17, -2*h + 16 = -2*p for h.
5
Let i = -1635 - -1635. Solve i = 5*k - 4*l - 8, 0 = -5*k + 3*l - 2 + 13 for k.
4
Let u be (-6)/8 + (-2)/8. Let b(h) = 38*h - 15*h + 1 - 14*h + 3*h**2 - 10*h. Let i be b(u). Solve 5*a + 9 = s + s, -4*s = i*a + 27 for a.
-3
Let a be (9/(-42))/(9/12) - 64/(-28). Solve -4*i = -a*n + 12, -11*i - n + 2 = -9*i for i.
-1
Let d = 316 + -313. Suppose 3*n = -d*h + 3, -2*n - 5 - 8 = -3*h. Solve -c = -h*l + 14, -2*c - 4*l + 10 = c for c.
-2
Let r(f) = -f**3 + 3*f**2 + 19. Let d(s) = -s - 2. Let i(n) = -5*d(n) - r(n). Let c be i(3). Solve -c + 18 = 3*j, 0 = -2*k + 2*j - 2 for k.
3
Suppose 0 = 29*n - 72 - 44. Suppose -n*k - 79 + 79 = 0. Solve 4*l - 5*o - 16 + 5 = k, -20 = -4*l - 4*o for l.
4
Suppose 0 = 13*s - 286 + 91. Let z be -4 - -6*s/10. Solve z 