 6 for m.
2
Suppose 0 = 3*i - 6*i + 4*h + 81, -5*i = 4*h - 135. Suppose i = 12*s - 3*s. Let y be 2 - (s - (-1 - -3))*-2. Solve 0 = 5*g - 5*k + 35, -16 = g - 2*k - y for g.
-2
Let q(k) = k**3 - 93*k**2 - 301*k + 1273. Let v be q(96). Solve 14 = -2*n + t, 21*n + 3*t - 34 = v*n for n.
-4
Let k = 80 - 76. Suppose 16*x = k*x + 144. Solve -4*z = -4*v, v - z = -4*z - x for v.
-3
Let i = -13 + 16. Let f(x) = x + 1. Let z be f(i). Let c = 142 - 115. Solve -z*s + 1 = -0*v - v, -5*v - 2*s = c for v.
-5
Let u(v) = v**3 - v**2 - 5. Let a be u(2). Let k be (0 - a)*(-39 - -39). Solve f - y - 3 = k, 4*f - 2*f + 3*y - 6 = 0 for f.
3
Let a = -6462 - -6465. Solve -a*u + 7 = 4*n, -5*u + 37 - 4 = -4*n for n.
-2
Suppose c - 2*y + 98 = -c, 0 = -2*c - 4*y - 122. Let t = c - -92. Suppose 4*b - 51 = -t. Solve 4*x - b*m - 13 = 14, m = -3*x + 4 for x.
3
Let c = -29160 - -29161. Solve 5*s + 17 = p, 3*p - 4*p + c = -s for s.
-4
Let a(s) = -s + 189. Let m(p) = 6*p - 942. Let j(b) = -28*a(b) - 6*m(b). Let i be j(41). Solve 5*c - 10 = 3*v + 2*v, 4*v + i = -4*c for v.
-5
Let y(f) = -f + 2. Suppose 36*h = 37*h + 3. Let n be y(h). Let q be ((-4)/6)/(1/(-6)). Solve -q*r + 7 = t - 0, n*t + 25 = 0 for r.
3
Let t be (1*-1)/((-2540)/(-150) - 17). Solve -u - 4*s + 17 = 0, 10 = 2*u + 5*s - t for u.
5
Suppose -20*a + 19*a = -u + 77, 0 = 5*a - u + 405. Let f = 88 + a. Solve 4*p + 3*r + 35 - 6 = 0, -2*r - f = 0 for p.
-5
Let p = 55 - 52. Suppose 22 + 8 = p*b. Solve q + b = -3*v, -5*q - 3*v - 24 = 2 for q.
-4
Let m = 13 + -10. Suppose 17*z - 57 = 20*z. Let o = z - -27. Solve -2*x = c - m*c + o, c = -3*x for c.
3
Suppose 96*s + 331 = 1099. Solve -s*o = -4*o - 4*f + 8, -4*o = -3*f + 5 for o.
1
Let c(r) = -111*r - 441. Let b be c(-4). Let s be (-3*6)/(-3) - 2. Suppose b = -s*o + 5*o. Solve -a - 2*g - o + 0 = 0, -15 = 5*a + 5*g for a.
-3
Let q be 9/(-30)*(2 - ((10 - -3) + -1)). Solve 5*j - o = -41, -5*j + q*o - 70 + 27 = 0 for j.
-8
Let x(j) = 24*j + 76*j**2 - 23*j - 2*j**3 - 7 - 83*j**2. Let k be x(-4). Solve -3*d + d + 25 = 5*a, 5*a - k*d + 10 = 0 for a.
3
Suppose 265 = -6*j - 335. Let a = 29 + j. Let k = 75 + a. Solve -4*y + i + 24 = k, 0 = 4*y + 3*i - 4 for y.
4
Let w(o) = 130*o - 647. Let b be w(5). Solve 0*j - 2*j - b*r = 9, -r = 5*j - 10 for j.
3
Let p(z) = -2*z**2 + 63*z - 16. Let j be p(31). Suppose 4*y = j + 1. Solve -5*l + 6 = 4*h - 14, 20 = y*h - l for h.
5
Let b be ((-396)/(-18) - 22)/1. Solve -9 = -m + 5*q, 3*m + 2*q - 230 + 237 = b for m.
-1
Let c(n) = -3*n + 53. Let r be c(19). Let j be -16*4/(-8) + r. Let p be (j/6)/(-1 + (-24)/(-18)). Solve p*d - g - 2*g - 4 = 0, d - 5*g = 16 for d.
-4
Let u(a) = 2*a**3 - a**2 + a - 65. Let v be u(0). Let z = v - -70. Suppose 5*y = -z*r + 5, 2*y + 3*r = -0*r. Solve -4*k - 3*i - 8 = -4*i, -k - 2 = y*i for k.
-2
Let p = 274327 - 274326. Let m(l) = 7*l**2. Let x be m(-1). Solve -3*y + x = 5*g + 2, 0 = 3*y + 4*g - p for y.
-5
Suppose 3*h - 2*u = 3, 3*h - 5*u + 6 = -0. Suppose -4*n + 9 = -0*n + o, 2*o = h*n - 4. Solve b - 2*l = 8, n*b + 0*l = -3*l + 2 for b.
4
Let v(z) = z**3 - 20*z**2 + 88*z - 18. Let f be v(16). Let g = -362 + f. Solve 0*k - 13 = -4*j - 5*k, -3*j + g*k = -2 for j.
2
Let x(p) = -55*p**2 - 1. Let n be x(-2). Let i be (-8 - (1 - 6))/(-3) - -2. Let j be n/(-26) - 2/4*i. Solve 2*z - 4*c - j = -3, 4*c = -3*z - 4 for z.
0
Let h(k) = -10*k - 68. Suppose -3*g - 3*z - 9 = 0, 2*g - 27 = -3*z - 29. Let s be h(g). Solve -4*j + v = -7, 4*j - 3*j - s*v = 0 for j.
2
Let c = -34 - -59. Suppose x = -c + 20. Let m be (2 + (x - -8))*4/5. Solve 2*w - 16 = -m*z, 2 - 12 = -5*w + 5*z for w.
4
Let v be (574/205)/((-1)/90). Let i = v + 278. Solve 3*u + 2*s = -8, 5*u + s + i = 4*s for u.
-4
Let w(n) = -43*n - 425. Let k be w(-10). Solve -5*l + 35 = -8*l - k*j, 0 = -3*j - 12 for l.
-5
Let n(o) be the third derivative of -o**4/12 - 11*o**3/6 + 30*o**2. Let i be n(-18). Let p = i + -25. Solve -5*m + p*m + 4*w + 27 = 0, -4*m + 5*w = -27 for m.
3
Let x be -2 + 1 + (7 - 3). Suppose -p = 4*h - 7, 3*p - 19 = -x*h + 5*p. Let a = 62 - 40. Solve -d + 0*j - 6 = j, a = -5*d - h*j for d.
-2
Suppose 4 - 49 = -b. Let k be 145/b + 2/(-9). Let g be ((-5)/(-6) - ((-703)/74)/(-19))*15. Solve z - 15 = -g*w - 0*z, -k*w = -4*z - 32 for w.
4
Let a = 83 - 70. Let b be (-66)/(-36) - (a/(-6) - -2). Solve 2*r + 3*r - 16 = -2*c, r - b*c = 8 for r.
4
Let f(o) = -3*o + 17. Suppose 4*t = 48 - 32. Let h be f(t). Suppose 4*d - d + 5 = -h*b, -2*d - 10 = 0. Solve r + 2*w = 7, -b*w = 4*r + 2*w - 20 for r.
3
Let d(o) = o**2 - o - 25. Let m be 2/5 - 88/(-5). Let q = -12 + m. Let k be d(q). Solve k*b = -l - 25, -5*l + 2*b + 8 = 25 for l.
-5
Let m be 12/(-222) + 5198/1702. Suppose -3*q = -2*q - 4. Solve -t - 3*a = -0*a + 5, m*t = 2*a - q for t.
-2
Let l(q) = -345*q + 3. Let p be l(0). Solve 5*c - p*j + 0 = -3, -4*j = -4 for c.
0
Let z = -2658 + 2662. Solve m + 3 = -2*o, 0 = -2*o + z*m - 8 for o.
-2
Let y = -4602 - -4605. Solve -4*i + 17 = -4*d - y, i + 5*d = -19 for i.
1
Let b = -405 - -405. Suppose 6 = 2*p + m + 1, b = 5*p - 5*m - 35. Solve w - 4*k - 16 = 0, w + 3 = k + p for w.
-4
Let o = -4537 - -4541. Solve -o*n = -2*s - 24, -4*s - n + 12 = 3*n for s.
-2
Suppose -53*g = 46*g - 326 - 169. Solve -17 = -3*d + g*f, 12*f - 14*f - 8 = 0 for d.
-1
Let d = 297 - 280. Let p = d - 12. Solve -p*k = 5*h, -3*h + 2*h - 4*k = 6 for h.
2
Let m be -22 + (-2850)/(-125) - 12/(-10). Suppose -3*p = -3 - 57. Suppose -3*k = k - 3*y - 19, 4*k - 4*y - p = 0. Solve 5 = -k*t + 3*z - m, -2*t - 5 = -z for t.
-4
Let g(u) = -4*u. Let d(t) = 7*t + 129. Let x(a) = d(a) + 3*g(a). Let p be x(25). Solve 0 = 3*c - 3*z + z + 1, -3*c = -z - p for c.
3
Let j = 649 + -644. Suppose -4*p + 2*a = -8, -p + 8 = j*a - 16. Solve -3*y - p*q - q = 19, 2*q = -y - 7 for y.
-3
Let w(a) = -2*a**2 - 72*a - 133. Let k be w(-34). Solve -k*c = 4*z + 2*c + 1, 0 = -z + 2*c - 10 for z.
-4
Suppose -2*s + 4 = -2. Let t be (-8)/60 - (-4 - (-146)/30). Let m = t + s. Solve 10 = 2*w - 5*w + m*b, 16 = -5*w + 3*b for w.
-2
Let x = 3987 - 3984. Solve t - 15 = x*a + 3*t, -5*a + t - 12 = 0 for a.
-3
Let k = -79 + 85. Let b be (-3)/(k/7)*(-9 + 1). Suppose -b = -4*u + 3*i, -4*i - 10 - 14 = -2*u. Solve 15 = v + u*h, v - 4*h + 2 + 15 = 0 for v.
-1
Let k(h) = -2*h + 1. Let q be k(-6). Suppose 0 = 4*t - 9*t + 40. Suppose -2*l = 2*j - t, l = 5*l + j - q. Solve l*m + d = 8, 31 = 5*m - 4*d - 5 for m.
4
Let o = 80 - 83. Let q be 1/o - 182/(-42). Let m = 7 + 18. Solve 4*i - j = m, q*i + 5*j + 5 = -0*i for i.
5
Suppose -5*d - 5 = 0, -2*j + 73 = -2*d + 21. Let b = 26 - j. Let w be (b*-1 + -1)*494/(-76). Solve -5*g + w = -2*k - k, k + 1 = g for g.
5
Let l = -474 + 472. Let k be 5 + (l - (4 + -3)). Solve 5*g - 29 = 4*o - 1, 2*g - 4 = -k*o for g.
4
Let c be 248/93*(-12)/(-8). Solve -4*o - 12 = -c*u, -4*u + 10 = 3*o + 5 for u.
2
Let m be -5 + 17 + -38 + 33. Let b = 3 - 1. Solve b*t - 4*f + m*f + 4 = 0, -4*t + 5*f = 8 for t.
-2
Suppose -3*h + 2*j = -9, -19*j + 22*j = -2*h + 19. Solve -4*i = -5*c + 15, 2 - 17 = 2*i - h*c for i.
0
Suppose 0 = -j + 3, 2*j = 5*t - 44 - 50. Let k = 16 - 15. Let q be k*(-13 + 5)/(1 - 3). Solve -q*b - t = x, 2*x + b + 5 = -3*x for x.
0
Suppose 0 = -3*p + 3*y + 48, -4*p = -8*y + 12*y - 16. Solve -3*d - c + 6 = -6*d, -p = 5*d + c for d.
-2
Suppose -h - 203 = 131. Let a = -329 - h. Solve -2 = 3*s - r, 0 = -2*s - 2*r - a + 1 for s.
-1
Let z = -1719 - -1728. Solve -3*q + v + 16 = 0, -3*v - 12 + z = 0 for q.
5
Let m(c) = -c**3 + 7*c**2 - 12*c + 13. Let x be m(5). Suppose 24 = x*v - 18. Solve -q + 6*q + 18 = 4*l, 0 = 3*q - 4*l + v for q.
-2
Let t(n) = 9*n - 11. Let k be t(2). Let z be -3 + (14 - (k + -3)). Suppose 0 = -6*o + 7*o - z. Solve 5*q = -g - o + 2, -5*g - 3 = 3*q for g.
0
Let b = -3868 + 3871. Suppose 2*x = x. Suppose x*q + 14 = 2*q. Solve 5*t + 40 = b*a, 2 = -a + q for t.
-5
Suppose h + 26*k - 21*k - 35 = 0, -5*h - 2*k + 14 = 0. Solve 15 = 4*n - 9*n - 2*w, -5*n + 2*w - 15 = h for n.
-3
Suppose -23854 = 45*l - 23989. Solve 5*s - 11 = 2*s - 4*v, 0 = -5*s - l*v for s.
-3
Let j(r) = -r**3 + 18*r**2 - 34*r - 4. Let g be j(16). Let o = g - -1. Let x be (2/4)/(o/(-280)). Solve x*d - 17 = l - 1, 2*d + 6 = -3*l for l.
-4
Let c = -150 + 155. Suppose 5*n + 5*r - 27 = n, 2*n + c*r = 21. Solve n*g + 2*w - 3*w = -7, -5*g + 4*w = 14 for g.
-2
Let p(y) = y**3 +