 6*y = 20, -4*y - 2 = -2*x for x.
3
Let a be 6 - (-6)/9*-3. Suppose 4*j - 18 = m, -a*j + 4*m = -j - 7. Solve -12 = -3*l + 2*r - 3, -j*l + r = -15 for l.
3
Let t = -1611 + 1627. Solve 2*c = 3*d + 3*c - t, 2*d - 4*c = 6 for d.
5
Suppose -1492 = 36*n - 1492. Solve m = o - n + 10, 0 = -4*m + 2*o + 30 for m.
5
Let j(k) = -2 + 6*k**2 - 3027*k - k**3 + k**2 + 3030*k. Let o be 3/(9 - 0)*21. Let r be j(o). Solve 6*x = x + 3*p - r, 0 = -2*x + 3*p - 13 for x.
-2
Let c(k) = 3*k**2 - 35*k - 1241. Let a be c(27). Solve 7*m + 2 = 2*x - a, 0 = m + 1 for x.
-2
Suppose -501 = 6*s + 99. Let a be ((-120)/s)/(3/5). Solve y - a*p = 6*y + 23, 0 = 2*y + 4*p + 22 for y.
-3
Let x(q) = -4*q**3 - 184*q**2 + 189*q + 58. Let h be x(-47). Solve 0 = 2*b + 4*n - 1 + h, b + 3*n = -9 for b.
3
Let a = -64 - -96. Let h = a - 28. Suppose -5*x - 3*q = -69, 0*x + 3*q = h*x - 39. Solve -18 = -5*s - g, 0*s - 2*s + x = 2*g for s.
3
Suppose 0 = 100*y - 363 - 637. Solve a - 2 - y = -2*z, 14 = 4*z - 3*a for z.
5
Suppose -5*v + 45 = 5*l, 2*v = 17 - 5. Solve 3*w - 14 = y, l = -3*w + 4*w - 2*y for w.
5
Let y(d) = -82*d**2 - 658*d - 16. Let w be y(-8). Solve w = 4*b + 2*s - 24, 3*b - 3*s + 24 = 6*b for b.
4
Suppose 24*k - 39*k = -150. Let i be k/(-5)*((-6)/(-2) - 5). Solve -3*u + 5*j = -4, 0*u = 3*u - j + i for u.
-2
Suppose -48 = -74*r + 70*r. Let m be 153/r - (-3)/(-4). Solve 3*p = t + 1, 0 = -4*t + t - m for p.
-1
Suppose -21423 = -177*n - 402*n. Solve -4*x - n = -5*p - 57, 4*p = 5*x - 16 for x.
0
Let a(n) = n**3 - 10*n**2 + 77*n - 606. Let g be a(9). Solve -u - 5*w - 4 = 0, 0*w - 2*w = -4*u + g for u.
1
Let c be (-4 + (-26)/(-10))/((-4)/20). Solve -t = -4*i + 4, 0 = -2*i - 5*t - c + 9 for i.
1
Let z(n) = n + n - 2*n + 3*n**2. Let v be z(-1). Suppose -o + 12 = 5*t, 5*o - 3*t = -47 + 135. Solve -u + 8 = v, 5*u - o = 2*c for c.
4
Let u(w) = 55*w**3 + w**2 - 2*w + 1. Let f be u(1). Let h = 55 - f. Suppose h = 5*s - 15*s + 20. Solve -3*n = 5*c - 3, s*c + 10 = -5*n + n for c.
3
Let s(p) = -226445*p - 452885. Let m be s(-2). Let k = -8 + -2. Let r = 7 - k. Solve m*w + r = -3*y - 8, -y + 4*w + 3 = 0 for y.
-5
Let s(o) = 2 + 9*o - 1 - o**2 - 30*o. Let n be s(-22). Let z be 2*35/20*(-36)/n. Solve 5*b - 20 = -5*i, 22 = 5*i + z*b - 3*b for i.
5
Suppose x + 27*t - 40 = 31*t, 0 = -x - t - 5. Solve c + 5*h - 10 = x, -3*c - 9 = -2*h for c.
-1
Let k(m) = -m**2. Let l be k(0). Let w = -168 + 172. Suppose w = 3*x - l*x + t, t = -x. Solve -x*d + 7*d - 4*a + 11 = 0, 2*a + 5 = -d for d.
-3
Let t(z) = -2*z**2 - 3*z + 2. Let f(y) = -5*y - 10. Let b be f(-2). Let v be t(b). Solve 17 = -5*i + 4*p, -3*i - v*p + 5 = 2 for i.
-1
Let v(g) = -g + 4*g + g + 19. Let o be 0/(-2) - -2 - (-11 - -17). Let h be v(o). Solve h*d = 5*x - 15, d + 5*x = -d - 10 for d.
-5
Let f = 150 - 147. Let b be (-6)/(6*4/(-16)) + -4. Suppose -22 = -5*a - f*u, 4*a = 2*u - b*u. Solve -5*x - a*t + 0*t + 5 = 0, 0 = -2*x + t + 11 for x.
3
Let b(v) be the first derivative of 2*v**2 + 19*v + 71. Let h(n) = -n**3 - 4. Let y be h(0). Let j be b(y). Solve -3*t + 8*t + 25 = -j*o, t = -4*o - 5 for o.
0
Let l(p) = 2*p**3 - 16*p**2 + 33*p - 1. Let k be l(4). Solve -4*r - 4*t = -29 + 13, -2*r + k*t - 12 = 0 for r.
0
Let d(t) = 31*t - 1125. Let g be d(37). Solve 3*s = 2*z, 8*s + 4*z = 3*s + g for s.
2
Let m(q) = -2*q**2 - q - 15. Let j be m(12). Let a = j + 319. Let f = -44 + 64. Solve -3*b = n - 5*n + 20, b - f = -a*n for n.
5
Let p = 44 - 50. Let w(z) = z**3 + 6*z**2 + 5*z - 1. Let r be w(p). Let v = -23 - r. Solve v = -2*y + 3*c, 2*y + 5*c = 4*y + 16 for y.
2
Suppose -4*t + 4 = 3*q - 48, -5*t = -20. Suppose q*f - 180 = -0. Let c(r) = r**2 + 8*r + 9. Let g be c(-7). Solve 20 = -g*u - 4*w, -u = 4*w - w + f for u.
0
Let r = 2862 - 2862. Solve r = -g - 5, 14*g - 3 = -3*f + 17*g for f.
-4
Let m be 168/(2 - 5/10). Let j = 117 - m. Solve -2*u - 3*q = 2*q - 22, 2*q = 3*u + j for u.
1
Suppose 1861*x = 1872*x - 110. Solve -47 = -14*b + 13*b - 7*q, 4*b - 5*q = -x for b.
5
Let u(c) = -3*c + 8. Let k(v) = -2*v**3 - 13*v**2 - 6*v + 2. Let y be k(-6). Let b be u(y). Solve q + 6 = -3*x, b*x + 3*q + 11 = -0*q for x.
-1
Suppose 5*r - 15 = 5*z, 3*z = 57*r - 62*r + 7. Solve -5*s + 15 = -r*q + 10, -s + 5*q = 22 for s.
3
Suppose 2*v + 136 = 164. Suppose -4*r + 40 = r + 5*b, -2*r + v = 4*b. Let w(f) = -f**2 + 8*f + 13. Let d be w(r). Solve -q + 5 + 3 = d*l, 5*q - 5*l = -35 for q.
-4
Let g = -3565 - -3569. Suppose 35 - 11 = -4*d. Let b be (-52)/d - (-8)/(-12). Solve 4*u - b = 2*i, g*i - 3*u + 5*u = -16 for i.
-4
Let k = 11 - 1. Let x(z) = -z - 2. Let c(n) = -2*n**3 + 4*n**2 - 3*n + 1. Let o be c(2). Let u be x(o). Solve -3*v + 2 = -4*g, -4*v = u*g - g - k for g.
1
Let i be (-11)/(352/(-24))*(-144)/(-27). Solve -u - i*j = -0*j - 19, 0 = -2*u + j - 7 for u.
-1
Let m = 14 - 5. Suppose -3*z = -6*z + 309. Let a = -103 + z. Solve a = -s - d - m, 5*s + d = s - 24 for s.
-5
Let b = -65 + 70. Suppose -5*d - 4*k + 131 = 0, b*d + 2*k - 41 = 82. Solve x - 5 = 4*u, -5*x - d = u + 3*u for u.
-2
Let m(s) = 8*s - 342. Let r be m(43). Let o(l) = -l**3 + 7*l**2 + 12*l - 10. Let y be o(8). Let k = y - 20. Solve u + 7 = k*h, -r = u + h - 7 for u.
1
Suppose 3*z - 21 = -2*l + l, -2*l = -5*z - 42. Suppose 27*n - l*n = 30. Solve -n*w = -0*w + 15, 0 = -y - 4*w - 10 for y.
2
Suppose 0 = 58*z - 63*z + 5, 3*r + 5*z = 17. Suppose r*h + 147 - 171 = 0. Let q be (-10)/3*3/(-2). Solve -5*u - 12 = -a, 2*a - q*u = -u + h for a.
-3
Suppose 560*u = 423*u + 685. Solve 5*x - 13*s + 14*s = 23, 35 = u*x - 5*s for x.
5
Let u(y) = -6*y**2 + 12*y + 52. Let l be u(4). Solve 17*v = 2*k + 13*v - 16, l*v + 16 = 0 for k.
0
Let u(f) = 4*f**3 + 75*f**2 - 44*f - 465. Let s be u(-19). Let z = 1 + -3. Let p = z + 5. Solve 4*x + 0 = -2*i + s, -10 = -p*x + i for x.
3
Let n be 96 - (-3 + 48/6). Suppose -2*k - 74 = -4*z, 0 = -9*z + 4*z + k + n. Solve -4*g - z = g - 3*m, -5*m = -5 for g.
-3
Let f be ((-6168)/16)/(4/8). Let u = f + 773. Solve 0 = -3*j - n + 3*n + 10, 4*n - u = -5*j for j.
2
Suppose -24*p + 20*p = -376. Let d = 103 - p. Solve 0*b + 2*y + d = 3*b, 4*y = -3*b + 27 for b.
5
Let s = 176 - 171. Suppose -s*f - v = -11, f = -v + 5 - 2. Solve f*n = -0*n - b + 3, -4*n - 4*b + 4 = 0 for n.
2
Let c = 58 + -23. Let d = c - 33. Suppose -w - 2*u + 2 = -5, -d*w + 14 = -5*u. Solve 5*f - 3*t + w*t = 33, 3*f - 4*t = 7 for f.
5
Let f be 0/(2/(-2))*-1. Solve -4*y - 5*h = -9*h + 12, -2*y + 4*h - 12 = f for y.
0
Let j be (10670/(-1940))/(2/(-20)). Solve 54*r - 11 = j*r + 4*s, -3*r - 3 = 2*s for r.
1
Let x(m) = 1 + 3 + 4*m**2 - 3*m**2 + 4*m. Let l be x(-4). Let v = -23574 + 23580. Solve -l*r - k = -v*k + 29, 5*r + 3*k = 10 for r.
-1
Let m = 505 + -500. Solve -3*j + m*d + 22 = -5*j, 4*j = d for j.
-1
Let h be (33 + (5 - 2))*(-14)/(-21). Suppose -4*f + y = -22, 16 - h = 4*y. Solve -4*d - 5*j - 3 - 12 = 0, -3*d = f*j + 10 for d.
-5
Suppose 4*q - 16 = -2*s, 3*q + 7 - 49 = -4*s. Suppose -k = b + 3*k - 4, -3*b + 3*k + s = 0. Solve r + b*d = -21 - 3, d + 5 = 0 for r.
-4
Let m = 68 - 159. Let q = m + 93. Suppose q*u - 3 = 3*v, -v - 4 = u - 3. Solve 2*g + 2*w = -0*w + 4, u = w - 1 for g.
1
Suppose 36 = 2*t - 999*z + 1000*z, 5*z = 30. Solve -3*l + 29*p - 32*p = 18, 5*p + t = 0 for l.
-3
Suppose 2*n = -m + 14, 3*m - 15 = -5*n + 25. Let g = m - 8. Solve -h + 2*r - g = 3, 3*h - 3*r = -3 for h.
3
Let y be ((-1)/(-2))/(4/8). Let i be 0 - (-4 - (y + 0)). Suppose i = -7*w + 26. Solve w*v - q = -4*q - 3, 2*q + 3 = -v for v.
1
Let s = 1 - 17. Let n(q) = -8*q - 40. Let u be n(s). Let z = 88 - u. Solve -m + 3*k = -k - 1, z = 3*m + k - 16 for m.
5
Let j be (3/4)/(-14 - (-3632)/256). Solve -3*k = -p + 15, -49 + 29 = -j*p + 2*k for p.
3
Suppose -3*l + 3*c = -42, 6*c - 16 = l + 11*c. Let b(k) = -k**2 + 33*k - 211. Let i be b(l). Solve 4*o - i*r + 19 = 4, r - 3 = -5*o for o.
0
Suppose -34 = d - 208. Let s = d + -166. Let x be (-14)/(-6) - (-2)/(-6). Solve -x*v - l - 11 = 0, 3*v + 2*v = 4*l - s for v.
-4
Suppose 3*j = -5*x + 87, -10*x - 145 = -5*j - 15*x. Suppose -108 = -7*q - j*q. Solve -3*k - q + 15 = 0, 0 = -5*n - 3*k + 32 for n.
4
Let b(n) be the third derivative of -n**6/120 + 11*n**5/60 + n**4/8 - 10*n**3/3 - 6*n**2 - 16. Let y be b(11). Solve -5*k - y = -2*w, -w + 8 = k - 5*k for w.
4
Suppose -23*z = -30*z - 1792. Let w = -251 - z. Solve 1 = w*q - 3*g + 4, 4*q