ppose 0 = -5*n + 39 + 46. Solve -l + 6*l + k - 21 = y, 0 = l - 3*k - n for l.
5
Suppose 4*q - 8895 = -0*q - 8883. Solve u = -q*m + 13, u - m = -2*u + 9 for u.
4
Let n = 3299 + -3298. Solve 2*f - 5*s = 4*f - n, 5*f + 2*s - 13 = 0 for f.
3
Suppose 4*h = 27*h + 27*h - 0*h. Solve -3*m = -h*m, 4 = 4*i + 4*m for i.
1
Let s(m) = m**2 - 42*m + 152. Let h be s(38). Suppose -2*x - 3*o = -4, h = -0*x - 4*x - o + 18. Solve -3*z + 15 = x*a - 5, -5*z + 2*a = -23 for z.
5
Suppose -2*i + 53 + 49 = -3*m, m = i - 52. Let k be (-144)/i*(0 - -21). Let z = -44 - k. Solve -3*f - 9 = 3*a, -4*a = -f + z + 10 for a.
-5
Let g(p) be the second derivative of p**4/12 + p**3/3 - 5*p**2/2 + p. Suppose 7*m + 0*m = 21. Let a be g(m). Solve -5*x - 15 = 5*f, -2*f - 11 = 5*x + a for f.
2
Let q be -7 - 300/(-48) - 20/32*-14. Solve -8*k + 5*s + 20 = -10*k, -2*s = q for k.
0
Let y = -2 + 3. Let s = 922 + -1312. Let x = 391 + s. Solve b + g + x + 0 = 0, -g + y = 3*b for b.
1
Let v(z) = -z**3 + 85*z**2 + 89*z - 258. Let j be v(86). Solve j = 2*s - 2, -3*d + 7 = 5*s - 7 for d.
3
Suppose x - 11*t + 4 = -15*t, 5*t + 30 = 0. Solve -5*f - x = -5*k, 18 = 4*k + 18*f - 21*f for k.
6
Let j(h) = -145*h - 571. Let f be j(-4). Solve 0*z + 6 = -2*z - 5*p, 3*z + f = -5*p for z.
-3
Let p(k) = 75*k**2 - 44*k + 42. Let z be p(1). Solve 2*j = -u - 15, -z*u + 70*u - 15 = 0 for j.
-5
Let a(k) = k - 27. Let d be a(32). Solve d*u - h - 16 = 9*u, 5*u + h + 21 = 0 for u.
-5
Let a be (0 + 2)/((-816)/(-135) + -6). Suppose 18*n - 9*n - a = 0. Solve m - 10 = n*i, -3*m + 17 = i + 3 for m.
5
Let u be 4*(2/8)/(-1)*(-30 - -24). Solve 4*c + 8 = 6*c, 2*c - u = j for j.
2
Let z(k) = -k**3 - 5*k**2 + 8*k + 15. Let r be z(-6). Suppose -18*y + 16*y = 96. Let w = y + 71. Solve -5 = m, -a - w = a + r*m for a.
-4
Suppose -5*h = -n + 13, -5*n + 53 = 2*h - 12. Let s = n - 9. Let m = 903 + -901. Solve -5 = -m*z + 7*z - 5*g, 0 = -s*g - 16 for z.
-5
Let z = -227 - -237. Suppose 5*a - z*a = -4*m + 5, -2*m - 3*a - 3 = 0. Solve 2*c - 5*y - 7 = m, -4*y - 4 = -0 for c.
1
Suppose 0*t - 4*j = 2*t + 42, -2*t - j = 42. Let l be ((-30)/(-35))/((-6)/t). Solve -5*v + l*b = 34 - 13, -v - 5*b = -7 for v.
-3
Let y(n) = 2538*n + 2543. Let r be y(-1). Solve r*g = 3*k - 15, -2*k - 2 = 2*g + 4 for k.
0
Suppose -d = -2*a + 1 - 4, 0 = -4*d + 5*a + 9. Suppose -r - d = -0*r - t, r + 4*t - 14 = 0. Solve -5*z + 2 = 2*x, 3*x - 5*z + 14 = r*x for x.
-4
Suppose 42*v - 7*v - 408 = 152. Solve 0 = -5*p + 17*n - v*n + 3, -n = p + 3 for p.
0
Let f be ((-1 + 46)*(4 - 3))/1. Let j = f - 11. Let a be (3 + j/(-6))*12/(-8). Solve a*x - 3 = 2*m + 1, 0 = 2*m - 2*x + 2 for m.
0
Suppose 5*p - 55 = -l, -64*l + 65 = -62*l + 5*p. Suppose -5*d - q + 12 = -d, 0 = -d - 2*q + 10. Solve 4*o = -2*h - l, -o = -d*h - 0 - 5 for o.
-1
Let u(w) = -95*w - 164. Let l be u(-4). Let n = -213 + l. Solve n*h + 11 = 2*z + 3, 4*z - 4*h - 12 = 0 for z.
1
Suppose 596*z = s + 599*z + 25, -6*z = 4*s + 46. Solve 2*n = s*k - 25 + 15, 0 = -4*n - 16 for k.
1
Let n be (27 - -32) + (0 + -1 - -6). Let r be n/(-224) + (-65)/(-7). Solve 3*d = -r, 2 = -u + 5*d + 13 for u.
-4
Let u be -11 + 17 + (-60)/10. Solve 2*v - 4*i + 24 = u, -5*v - 32 = 3*i - 6*i for v.
-4
Let c be (-4)/(8/(-304 - (4 - 6))). Solve -5*g = n, -5*g - 166 = 4*n - c for n.
-5
Let h(i) = i**3 - 32*i**2 + 33*i - 57. Let n be h(31). Suppose -j + 6*j = -2*c + 74, n*c = 5*j - 95. Solve 0*b = 2*b - 4*r + 10, -5*b = -r + j for b.
-3
Let d(b) = -b**3 - 38*b**2 + 84*b + 162. Let v be d(-40). Let s be 1/4 - (-31)/4. Suppose -3*l + s = -4. Solve 0*u + v*u + 3 = -5*m, -5*m = u + l for m.
-1
Let a be (-82 + 76)*(2 + 5/(-2)). Solve 4*v + 5*t + 7 = 0, -a*t - 1 = 4*v - 0*v for v.
2
Let v(c) = 14*c**2 + 2*c. Let q(f) = -f**2 - 10*f - 15. Let t be q(-2). Let u be v(t). Solve 4*s = -16, p + 3*p + 4*s = -u for p.
0
Suppose 5*i + 38 = 6*i. Let k = 0 - -42. Let s = k - i. Solve -5*m + 41 = -s*x + 13, -4*x + 4*m - 24 = 0 for x.
-2
Suppose 5*m - m = 0. Suppose m = -2*l + 7*l - 15. Let t = 13 - 9. Solve 5*o - 19 = -r, -t*r - 3 = l*o - 28 for o.
3
Let x be ((-3)/(-6 + 3))/((-13)/13). Let m be ((-54)/(-24))/(5/(-8) - x). Solve 0 = -3*g - 6, -2*g + g - m = -4*o for o.
1
Let f(r) = -r - 6. Let k = -133 - -125. Let h be f(k). Let b = 9 + -4. Solve 0 = -i - o + 1, 0 = h*i - b*o + 2*o - 12 for i.
3
Suppose 2*b + 30 = 4*a, 0*a = 5*b + 2*a - 21. Solve -4*r - 180*n - b = -179*n, 5*r = 3*n - 14 for r.
-1
Suppose -20 = 2*o - 3*o. Suppose -4*n = 2*t - 30, -2*t = -5*t - n + o. Let f be ((-10)/(200/132))/(3 + (-33)/10). Solve t*v = 15, -c - v - f = 4*c for c.
-5
Let y = -19 + 43. Let a be (24 - 0) + (-8 - -12). Suppose a = -10*g + y*g. Solve 2*j - 9 = -3*k - 3*j, 6 = g*k - j for k.
3
Let r(o) = o**3 + o**2 - 3. Let g be r(0). Let f be g - (72/3)/2. Let y be (-38)/(-8) + f/(-60). Solve -z + 20 = y*c, -16 = -4*c - 0*z + z for c.
4
Let m be (-10)/7*(-217)/31. Suppose -4*x = m - 130. Suppose -x*p = -10*p - 60. Solve 5*o - 19 + 4 = 0, -3*s + p = -o for s.
2
Suppose 2*h + 405 = 3391*a - 3388*a, 0 = -4*a + 2*h + 542. Solve 2*g - d = 9, 5*d + 172 = 5*g + a for g.
2
Suppose -2*v = -0*v - 4. Let x be -7 + 7 + 3 + -1. Suppose 5*w + 5*g = 20, -2*w - 2*g + 16 = x*g. Solve 3*s + 3*d + d + 14 = w, v*d = -10 for s.
2
Suppose 2*h = 340 - 86. Let s = h + -100. Let o = 29 - s. Solve -3*j = -12, j - 2 = o*f + 8 for f.
-3
Let p be (-2 + 0)*(4 - 2)/(28/(-35)). Solve 8 = 3*z - 5*k, -14 = z + p*k + 10 for z.
-4
Suppose -311*l + 120 = -287*l. Solve -111*u + 107*u + 10 = -l*o, -8 = -u + 4*o for u.
0
Suppose 0 = 52*w - 56*w - 772. Let p = w - -198. Solve -p*t + 18 + 16 = -3*k, 7 = k + 2*t for k.
-3
Suppose -j = 4*j + 5*f + 5, -f = 2*j - 2. Suppose 2*x = 2*d + x - j, 18 = d + 5*x. Solve d*h = 4*t - 11, -2*t - 2*h - 5 = 7 for t.
-1
Suppose k - 211 = -196. Let h be 58/k + -7*(-12)/630. Solve 4*i + 28 = h*f, -5*f = -4*i - 2*f - 26 for i.
-5
Suppose 0 = 4*s - p - 103, s + 0*p = p + 28. Suppose -5*r + s = -0. Let i = 53 + -28. Solve r*o + 15 = -k, -k - 5*o - i = -2*k for k.
5
Let f(l) = 0 + l - 1 - 2. Let u be f(6). Let a(r) = -r**3 + 3*r**2 + 74*r - 164. Let z be a(9). Solve u*t + 10 + z = 4*h, 5*t - 5 = -3*h for h.
5
Let i(c) = c**3 + 59*c**2 + 449*c - 48. Let u be i(-50). Suppose -4 = -4*l + 3*g + 8, 20 = -2*l - 5*g. Solve l = -n + h - 3*h - 11, u*h = -6 for n.
-5
Let x(p) be the first derivative of -p**3/3 - 3*p**2 + 30*p + 26. Let b be x(-9). Solve o = w + 3, b*w + 0*o + 1 = o for w.
1
Let w be -11 - 276/(-18) - 12/(-18). Solve 5*d = w*i + 5, 14*i = 4*d + 16*i - 10 for d.
2
Suppose q + 5*x - 8 = 0, 2*x - 26 = -5*q + 60. Let d = 37 - 24. Suppose d = -g + q. Solve -i + g = r, -5*r = -r for i.
5
Let y be 6/(-16) + ((-90)/16)/1 - -10. Solve 3*o + 2*u = y*o + 1, -4*o - 2*u = -26 for o.
5
Let q = -21 - 113. Let i = 134 + q. Solve 5*f + 23 = -2, -5*u - 4*f - 20 = i for u.
0
Suppose 3*h = 4*d + 45, -23 - 44 = -7*h + 3*d. Solve -j - 3 + 6 = -p, h = 4*j + p for j.
2
Suppose -3*p + 5 = 4*h, -3*h - 29*p = -26*p - 3. Solve 5*o + 32 = 2*q, -h*o + 7*o + 20 = 0 for q.
6
Suppose -3*u - 21 + 69 = 0. Let t be 5/10*(u + 4). Let p be (-4)/3*9/(-6). Solve -f = p*q + 5, -q = q + t for f.
5
Suppose 0 = 16*k - 18 - 142. Suppose 207*z + k = 209*z. Solve -13 = 4*c - 8*c + 5*y, -z*y - 25 = 0 for c.
-3
Suppose -389 = -4*k - 5*i, 5*k - 277 = -2*i + 222. Suppose -45 = k*r - 110*r. Solve 2*f = -r*b + 16, -b - 4*f - 6 = f for b.
4
Suppose -2*w = 5*c - 34, -25*c + 29*c - 52 = -14*w. Solve -o - c = 7*r - 5*r, -r = 1 for o.
-4
Suppose -4*x + 8 = 6*x - 2*x. Solve -t + x = -u, -6 = -4*t - 9*u + 14*u for t.
-1
Let r(c) = -c**3 - 5*c**2 + 5. Let h be r(-5). Let n = -368 + 378. Suppose -12 - n = -y. Solve y = 5*w + u + h, -3*u = 4*w - 18 for w.
3
Suppose 5*o = 2*u + 20, 2*u = 6*u + 3*o - 12. Suppose u = -3*x - 4*x + 553. Let g = -77 + x. Solve 0 = -3*k + 4*s + 19, -g*k - s - s - 6 = 0 for k.
1
Let y = -88 + 200. Let b be (-14)/y + (-2)/(-16). Solve b = -5*q + 4*l - 0*l + 4, 0 = 4*q + 5*l - 36 for q.
4
Let v be (-7)/2*(-540)/315. Solve -i = -2*f - v, i + 0 = -3*f - 14 for i.
-2
Let k = -255 + 256. Suppose -7*o + 8*o - 2*x - 11 = 0, o = -4*x - 13. Solve 0 = 5*b - o*m + m + 3, -b + 2*m = -k for b.
-1
Let i be (578 - 0) + (-15)/(-5). Let m = -581 + i. Solve -4 = -4*k, m = -o - 5*k + 5 + 3 for o.
3
Let c(b) = 3 - 21*b**2 + 7*b**2 + 6*b**2 + b**3