 -4*x + 81 - 87, -3*c + 5 = -u*x for x.
-4
Let l = -2306 + 2308. Solve 22*u - 23*u - 3*n = 12, l*u + 20 = -5*n for u.
0
Let w(j) = 10*j**2 + 78 + j**2 - 9*j**2 - j**2 - 26*j. Let q be w(23). Solve 5*n + 6*s - 2*s - q = 0, 0 = -3*n + 4*s + 31 for n.
5
Let h = -2515 + 2530. Solve -y + h*u - 1 = 14*u, u - 21 = -4*y for y.
4
Let c = -7924 - -7936. Solve -u - c = 2*j - 6*u, -2*u = 0 for j.
-6
Let b(u) = 3*u**2 + 23*u + 64. Let f be b(-7). Suppose -86*y + f = -81*y. Solve 0 = -5*n + y, 1 = -a - 2*n + 5*n for a.
5
Let v be ((-10)/(-15))/((-6)/9). Let b(l) = -7*l - 7. Let a be b(v). Solve 0 = -3*h + 6, -2*h + 2 = -2*r - a for r.
1
Suppose 3*h - 33 = -4*a, 3*h - 5*a = -19 - 2. Solve r = -2*b - 5, -4*b - 51 = -h*r - 16 for r.
5
Suppose -7*p - 12 = -11*p. Let l = -6 + 19. Solve u = -2*b - 8, -4*b - l = p*u + 1 for b.
-5
Suppose n + 26 = -n + 30. Solve -x + 3*s - 6 = n, 2*x - 5 = -s for x.
1
Suppose 4*s + i - 9 = 0, s = -0*s - 4*i + 6. Suppose s = -2*j + 5*j - 2*b, -16 = -4*j - 4*b. Solve -n - 12 = -t - 4*n, -j*t + 12 = 2*n for t.
3
Suppose 3 = 3*a - 15. Suppose -38*r = -50*r + 936. Let y be (-13)/(r/24)*5/(-4). Solve -i - y*l + a = 0, -2*i + 5*l = -7*i - 10 for i.
-4
Let b be (6/8)/((-3)/168). Let c be -6 - (-5 - b/(-7)). Solve 0 = 4*d + c*j + 35, -6*j + 2*j - 27 = 3*d for d.
-5
Let k be (1/2)/(-11 - (-92)/8). Let c(d) = 5*d**2 + 3*d - 3. Let y be c(k). Solve 4*z + 7 = -y*x, -x = -z + 4 + 1 for z.
2
Suppose -4*s - 4*s = 80. Let i be s/4*352/(-220). Solve 8 = 3*l + 4*h - i, -h + 3 = 4*l for l.
0
Let s be 12/((-3)/(-1)) + (-3)/1. Let r be -3 + 5 - (0 + s). Solve -3*a - 4*m - 8 = 0, a + m + 2 + r = 0 for a.
-4
Let d = -451 + 220. Let m = d + 236. Solve 4*o + p + 8 = 0, 10 = -5*o + 2*p - m*p for o.
-2
Let b(q) = -2*q - 7. Let l(i) = -i. Let k(h) = -b(h) + 3*l(h). Let c be k(5). Solve 2*r = -0*r + 2*n + 16, -r - 7 = c*n for r.
3
Let w(l) = -l**2 + 6*l + 1. Let g be w(6). Let h be ((-3)/6*0)/(g/(-1)). Suppose h*v + 4*z = 3*v - 23, -4 = 2*z. Solve a - 1 = 3*b - v*b, 2 = a + b for a.
3
Let z(n) = -n**3 + 9*n**2 - 4*n - 27. Let s be z(9). Let t be 5/1 + (-64 - s). Solve a = -3 + 8, 0 = -3*x - t*a + 23 for x.
1
Let r = -223 - -225. Suppose x + 3 = 0, -3*x - 23 = -4*v + r*x. Solve -3*l = -3*s + v + 13, -3*s - 5 = 2*l for l.
-4
Suppose -145 = -418*q + 1527. Solve -16*z = 2*n - 18*z + 10, 16 = q*z for n.
-1
Let z be -15 + -25*(-39)/65. Solve -4*f + z*x + 4*x = 32, -2*f = -4*x + 22 for f.
-5
Let x(u) = 5 + u**3 + 769*u**2 - 764*u**2 + 7*u + 0*u**3. Let o be x(-2). Solve -5*s = 2*v - 1, -2*s + 16 = -o*s + 5*v for s.
-1
Let y = -6078 - -6087. Solve 0 = 5*r + d - 5, -3*r - 4*d + 12 - y = 0 for r.
1
Let a be ((-310)/31)/((-2)/1). Solve -19 = -a*o + 7*b - 4*b, 3*o + 2*b = 19 for o.
5
Let i be 4/5*(1170/(-12))/3. Let x = i - -28. Suppose -3*m + x*w = -1, 5*m + 2*w - 14 = 3*m. Solve 0 = q - 2, m*n + 0*n + 3*q = 21 for n.
5
Let v = 22 + -40. Let q be v/(-135) - (-553)/15. Solve 5*o + q = 3*g, 4*g - o - 31 = 2*o for g.
4
Let o(q) = q**3 + 10*q**2 + 6*q - 30. Let z be o(-9). Let u be (48/((-9)/z))/((-4)/(-4)). Solve -5*m - u = -4*i, 0 = -2*m + 5*i - 3 for m.
-4
Let m(p) = 2*p**2 + 6*p - 11. Let j be m(3). Let g be ((-330)/132)/(15/(-36)). Solve 5*v + 5*c - j = 0, -v + 5 + g = 3*c for v.
2
Suppose 11*o - 191 = -147. Suppose 0*m - 2*m + 59 = 5*i, -i - 1 = 0. Let a = 35 - m. Solve 4*l + 40 = 5*u, -a*u = -5*u - o*l - 12 for u.
4
Suppose -119*i + 84*i = 357*i - 31360. Let d be -20*((-6)/5)/3. Let n be ((-2)/(-5))/(d/i). Solve -24 = -n*f - 4*z, -3*z + 17 - 5 = 0 for f.
2
Let a(l) = -6*l**3 - l**2 - 2*l - 1. Let o be a(-1). Suppose 509*y - 514*y + 3490 = 0. Let i = y + -687. Solve -2*c - 2*c = -5*r + o, -c + i = 5*r for c.
1
Let i(s) = -s**3 - 2*s - 14. Let n be i(-6). Let u = n - 153. Let x = 66 - u. Solve 4*z + 3*v + 6 = -0*z, -2*z - x*v + 4 = 0 for z.
-3
Let v = 3326 - 3310. Solve 4*f + 2*w - v = 0, 20 = 8*f - 3*f - 3*w for f.
4
Let p(j) = -106*j**2 - 638*j + 7. Let k be p(-6). Solve -3*v + 7*v = 5*a + 8, 0 = -v - 4*a - k for v.
-3
Let b = 1413 - 1411. Solve 3*f + 33 = 6*f - 5*y, -4*f - y - b = 0 for f.
1
Suppose -202*j = -197*j - 330. Suppose -69*n + 27 = -j*n. Solve -n = 3*y + 5*c + 7, 2*c = -4 for y.
-2
Suppose -q + 28 = 4*h, 0 = 4*q + q + 3*h - 174. Let p be (1/(-5))/(q/120)*-9. Solve -p = -2*w + 4*s, -s - 11 = w - 2 for w.
-5
Suppose 544*p = 568*p - 264. Solve 2*t + 15 = -5*u, 3*u - 7*t + 23 = -p*t for u.
-1
Let q be (1/2)/(5 - 1353/270). Let i be -3 + ((-702)/q)/(4/10). Let l = i + -34. Solve -3*v + z + l + 18 = 0, 4*z + 20 = 0 for v.
5
Suppose 6*n = 2*x + 3*n - 18, 3*n + 42 = 4*x. Suppose 0 = c - 2*b - b - 3, -x = -4*c + 4*b. Solve -4*v = -c*d - 4, -3*d - 3*v - 2*v = -5 for d.
0
Let n(r) = -2*r**2 - 40*r + 1602. Let g be n(-40). Solve -g*q + 3*k - 11 = 0, 5*q - 9 = 4*k - 19 for q.
2
Let y(p) = p**3 - 6*p**2 + 11*p - 10. Suppose -4*o + 2*a - 26 = -8*o, 0 = 4*o - 5*a + 9. Let f be y(o). Solve 0 = -2*k - f*w - 5 - 1, 3*k - 7 = 5*w for k.
-1
Let x = -214 + 277. Let m be 444/84 + 6/x*-3. Solve 0 = -p + 5*p - m*b + 16, -5*p + 17 = 3*b for p.
1
Suppose 0 = -4*m - 2*u + 68, 6*m + 5*u = 2*m + 68. Let i = 29543 - 29541. Solve m = 5*l - i*w, 3*l - 2*l = -5*w - 2 for l.
3
Let a(y) = -4*y + 5. Let x be a(5). Let n be (x/(-6))/(-5)*-10. Let i be ((-11 - -6)/(-15))/(126/2268). Solve -5*f - 3*l = -8 - i, n*l = -10 for f.
4
Let o be (-4)/5 - 3552/(-240). Solve 2*z - 11 = 4*z - 5*a, -z = 4*a - o for z.
2
Suppose 48*s - 51*s - 27 = -3*m, 2*s + 12 = 0. Solve -5*n + m*l - 17 = 0, -2*n = l - 0 + 9 for n.
-4
Let o be 6 - (-1)/(-1 + 0). Suppose 275*a + 101*a = -143*a + 2595. Solve 4 = -4*p + l + 24, -o*p = -a*l - 25 for p.
5
Let c = -2817 + 2843. Solve -o = -4*i - 4, c*o - 22*o - 16 = 0 for i.
0
Suppose 427 = -14*f + 455. Solve 7*y = -5*h + 4*y + 9, 0 = -f*h + 2*y + 10 for h.
3
Let m = -148 - -197. Suppose 85 + 111 = m*f. Solve -5*b = 7*w - 3*w + 16, -8 = b - f*w for b.
-4
Suppose -5*m + 185 = o + 15, 0 = -m - o + 34. Suppose 10*z + 7*z - m = 0. Solve v - 6 = u, 8 = -z*u - 5*v + 3 for u.
-5
Let d = 53274 + -53274. Let w = -11 + 22. Solve d = 5*g + 4*t + 2 + w, -4*g - 23 = -t for g.
-5
Suppose 3*p + 5*g = 71, 6*p - 9*p = 2*g - 59. Solve -2*y + 3 = -5*s, -p*y = -20*y + s + 11 for y.
4
Suppose -6*t + 50 = 4*t. Let a be 4 + t/10 + 10/(-4). Let v be (-232)/(-24) + a/6. Solve -2 = 3*g - k, 10*g = 5*g + 3*k - v for g.
1
Let q be -8 + 4 + (0 - 3). Let g(f) = 3*f + 27 - 2 - 2. Let y be g(q). Solve -4*d + x = 6, 2*x = -3*d - y*x - 14 for d.
-2
Let r(q) = -q**3 + 5*q**2 - 2*q + 4. Let z be r(4). Suppose -5*m - z = -9*m. Solve -m*w + 3*v = -2*v, 0 = 4*w - v + 17 for w.
-5
Let a = 10068 + -10063. Solve 2*s = -r + a*r, 13 = -4*s - 5*r for s.
-2
Suppose 5*u + 133 = 3*a, 0 = 6*a - 4*u - 126 - 92. Solve -4*m + 12 = -6*f, -4*f - a = 2*m + 3*m for m.
-3
Let m = 7594 + -7589. Solve -z + 11 + 11 = -m*u, 37 = -5*u - 4*z for u.
-5
Let p(d) be the first derivative of d**2 - 22*d - 64. Let k be p(13). Let u(c) = -c + 7. Let b be u(4). Solve k*l - 2*z = 18, -3*l + 7*z + 26 = b*z for l.
2
Let n = 24199 + -24196. Solve -n*x - 4 - 4 = -y, -4*y = -8 for x.
-2
Let y(u) = 7*u + 86. Let n be y(-12). Solve 8*p + 12 = 12*p + 3*h, 3*p = n*h - 8 for p.
0
Suppose 558 = -130*p + 1988. Solve -s = 5*b - 18, -p + 17 = 2*b for s.
3
Let o be 2/(-4)*0/((-4)/(-1)). Suppose o = -s - 5*s. Let w(m) = 10*m - 81. Let j be w(9). Solve -z + h + h + 13 = s, z - j = h for z.
5
Suppose 0 = -8*t + 12 + 20. Suppose t*s + 4*w = 24, 3*s - 18 = -4*w + 4. Solve 4*g = -s*b + 2, 5 = -4*b - g + 2*g for b.
-1
Let r(u) = -6*u + 58. Let k be r(9). Suppose -k*w = -7*w + 15. Suppose 4*x + w - 37 = -4*p, x = 4*p - 17. Solve 4*d + 21 = 1, 0 = -p*a - 5*d - 40 for a.
-3
Suppose 0 = -7*j + 549 + 921. Let d = j - 206. Solve 2*n + 5 = -5*w + 3, 5*w + 4*n + d = 0 for w.
0
Let i be (-6)/33 - 399/(-77). Let r(j) = 4*j**2 + 9*j - 8. Let d be r(-4). Suppose -d = -l - 17. Solve 3*u - l*t + 5 = -7, 5 = i*t for u.
-3
Let w(t) = -3*t + 5. Let o(j) = 5*j - 9. Let q(c) = -4*o(c) - 7*w(c). Let l be q(3). Solve 0 = l*b - d - 10, -5*b + 1 + 22 = 4*d for b.
3
Suppose -y = -0*y - 5. Suppose d - y*d = -16. Let u = -5 + 5. Solve u = d*r - 3*t, 3*t + t = 0 for r.
0
Suppose 52*b + 127 - 491 = -130*b. Solve 4*p = 2*c - 26, c + b*c + 5 = -5*p for p.
-4
Let q(t) = -t**3 + 14. Let s be q(0). 