 9, -4*u = -2*n - 16 for u.
2
Let b(z) = 2*z - 6. Let y be b(4). Let f = 1251 + -1243. Suppose 0 = 2*w - 5*g - 16, 0 = 3*w + 2*w - 2*g - 19. Solve d = 2*r + y*d - 3, -w*r - f = 4*d for r.
4
Let v be (42/15)/((-2)/(-20)). Suppose -5*x + x + v = 0. Let k(t) = t**2 - 7*t + 3. Let h be k(x). Solve 5*d - 2*a + 3 = 4, h*a = -d - 10 for d.
-1
Suppose -2*w = -5*w + 12. Suppose 0*b + 4 = 5*p + 3*b, -w = 2*b. Suppose y + 0 - p = 0. Solve -3*c + 18 = u, c - 3*u = -y*u + 2 for c.
5
Suppose -55 - 8 = -3*d. Suppose 24*s - 12 = d*s. Solve -6 = -n + a, s*n + 3 = -3*a - 1 for n.
2
Let b(m) be the third derivative of -m**6/120 - m**5/60 - m**4/24 + 5*m**3/6 - 12*m**2. Let a be b(0). Solve -k + 2 = 4*h, -a*k + 0*h - 14 = -4*h for k.
-2
Let f be 2/(7 + 78/(-12)). Solve 3*z = 3*m, -f*z + 3*z - 4 = -2*m for m.
4
Let a = 0 + 3. Let l(v) = 7*v - 47. Let h be l(7). Suppose 4*f - 3 - 13 = 0. Solve -h*x + f*o = -12, -3*x + 0*x - a = o for x.
0
Suppose -192 = 5*t + 83. Let b = -36 - t. Solve 0 = 3*k + 4*m + b, -6*k + 3*m = -2*k + 17 for k.
-5
Suppose 2*q - 11 = 71. Suppose -c + 43 = q. Let z be (-8 - 2)/((-2)/2). Solve -c*t + z = 0, -2*k + 0*t - 15 = -t for k.
-5
Let q(c) = -c**2 + 4*c + 9. Let t be ((-32)/12)/(4/(-6)). Let p be q(t). Solve -2*a = i - p, -4*i + 3*a - 8 = -0*a for i.
1
Let m = -11 + 11. Let p = 1 - -24. Suppose -b = -m*b - p. Solve 2*d = 5*d - a - 10, -5*a + b = 0 for d.
5
Let x = 1408 + -1407. Solve -2*z + x = 3*p, -3*p + z + 6 = -2*z for p.
1
Let m be (-145)/(-25) - 2/(-10). Suppose m*b - 11 - 1 = 0. Suppose 1 = b*u - 11. Solve 4*i - 2*v = -u, 0*v + 2 = 3*i + 5*v for i.
-1
Let a = -438 - -458. Solve 3*i - 2*v + a = 0, -2*i = -3*v - 2 + 22 for i.
-4
Suppose 0 = 4*a - f + 2*f - 9, -1 = 2*a - 5*f. Let n = 5 + -3. Suppose a*m - 4*d = -m + 9, -n*d - 3 = -m. Solve -3*s = m*o - 12, 5 - 4 = 4*s - o for s.
1
Suppose -4*a = 3 - 7. Suppose -5 = -2*k - a. Suppose -3*v + 3*n = 0, 4*v + n - k*n = 15. Solve 4 + 1 = 3*i - 5*o, v*i + 21 = o for i.
-5
Suppose -30*t - 88 = -34*t. Suppose 0 = -26*o + t*o + 4. Solve -3*s - 2*z = 7, 5*s + z = -o - 13 for s.
-3
Let k = 354 + -351. Let q be -3*1*(-1 - 0). Solve q*s + 5 = -2*x, 4*x - 3*s + 4 = k for x.
-1
Let n(q) = -5*q**3 + 3*q - q**3 + 11*q**3 + 6 - 6*q**3 + 3*q**2. Let h be n(4). Solve 2*x + 4 = 4*s - 0, -2*s - 4*x = -h for s.
1
Let x = -22 - -23. Let i be x - (2 - 1 - 0). Suppose 5*v - 50 = -i*v. Solve -5*m + b = -v, -2*m + 4*m + 4*b = -18 for m.
1
Let k be 4/(-8)*-5 + (-3)/(-2). Solve 5*n - k*s = -7, -n - 4*s - 20 = 3*n for n.
-3
Let o = -1159 + 1183. Solve -2*w + o = -s + 2*w, 5*s - 4*w + 40 = 0 for s.
-4
Let p(b) = 2*b + 12. Let j = -27 - -23. Let y be p(j). Solve 4*f - 3*w - 7 = 2*w, -y*f + 3*w = -9 for f.
3
Suppose -137 = -2*i + 31. Let x = i + -84. Solve -4*p + 8*h - 16 = 4*h, x = p - 5*h + 12 for p.
-2
Suppose 0 = -0*l - 3*l + 2*x + 34, 3*l - 31 = 5*x. Suppose -3*h + 0 = 4*t - 5, 2*h = -10. Let i = 9 + -6. Solve l = -5*o + 3*o - k, 0 = t*o + i*k + 31 for o.
-5
Let t = 406 + -397. Solve o = q - 0 - 1, -t = -4*q - o for q.
2
Let r be 18/(-6)*(0 + -1). Suppose 28*h = 80 + 4. Solve -3 = -h*g - 2*n, -r*g + 2*n - 3 = 6*n for g.
3
Let l(x) = 71*x**2 - 69*x**2 - 6 - 37*x - 9. Let k be l(19). Solve 0 = 5*f - 2*g + 7, -k*f + 3*g + 7 = 14 for f.
-1
Let p(b) = 8*b - 9. Let a be p(8). Suppose -59*q = -a*q - 16. Solve q = -4*v - m, m + 1 + 3 = 4*v for v.
0
Let s(g) = 14*g - 3. Let t(u) = -5*u + 1. Let w(o) = 3*s(o) + 8*t(o). Let f be w(2). Solve 17 = -3*a - z + f*z, 5*a - 2*z = -23 for a.
-3
Let i(z) = -z**3 - 2*z**2 + 2*z. Let c(l) = -l - 3. Let s be c(0). Let t be i(s). Solve 3*y = t*k + 3, -5*k - 2*y - 2*y = -13 for k.
1
Suppose 3*q - 4*q + 2 = 0. Let b(f) = f**2 + 5*f - 1. Let x be b(-6). Solve x*d = -r - 20, q*d - r + 4*r = -21 for d.
-3
Suppose 2*m - 124 = 3*m - 3*g, 0 = -5*g. Let c = -108 - m. Solve -2*v + 4*n = c, 5*v - 2*n = -5*n - 1 for v.
-2
Let z(i) = i**3 + i**2 - i - 6. Let p be z(0). Let t be (9/p)/((-3)/4). Solve 3*r - 17 = -t*a, -4*a + 24 = -a + 4*r for a.
4
Suppose 7*c = 12*c - r - 34, -2 = 3*c + 5*r. Let o = 9 + -6. Suppose -o*b = -19 + 4. Solve 0 = -3*h - c, -h - 27 = -b*n for n.
5
Let b = 74 + -65. Suppose 2*z + 27 - 6 = 3*u, -3*u = 2*z - b. Solve -4*a = -2*a + 3*d, -10 = u*d for a.
3
Suppose 13 = 5*p + 3. Let d be (-2)/(-5) - (126/(-35) - -1). Let n be (-36)/(-21) + 2/7. Solve 2*v = -v - p*j + 11, -n*v + d*j + 16 = 0 for v.
5
Suppose -9*m = 13*m - 528. Solve -2*v + 5*g - 2*g + 6 = 0, 4*v = -3*g - m for v.
-3
Let c be (20/35)/(3/105). Solve h - c = -d - 2*d, d - 20 = -3*h for d.
5
Suppose -54 = 2*v + 2*i + 26, -3*i + 132 = -4*v. Let t = -28 - v. Solve 3 = g + m, -4*m = 4*g - 2*m - t for g.
1
Suppose 186 = 4*k + 5*n, -2*k + n + 78 = -4*n. Let p be k/(-242) + 90/11. Solve 4*b - 4*j - p = 0, -4*j = -j + 3 for b.
1
Let v(i) = -i**2 + 8*i + 32. Let z be v(10). Solve -5*u = -3 - z, 4*x = 5*u - 27 for x.
-3
Let k = -26 - -45. Let q(j) = j**3 + 79*j**2 + 79*j + 83. Let i be q(-78). Solve l = -i*z + 3*l - k, -5*z + 3*l = 21 for z.
-3
Let b(y) = -y**2 + 21*y - 38. Let n be b(19). Suppose -105*g + 110*g = n. Solve 0 = 3*j + 3*z, z + 2*z - 15 = g for j.
-5
Let c(n) = -n**3 + 27*n**2 + 27*n + 30. Let v be c(28). Solve -v*u = -5*z - 9, -3*u + 6 = -5*z - 0*u for z.
-3
Let n be 204/21 + (-4)/(-14). Let p be (54/30)/(3/135). Let f = 85 - p. Solve -18 = 4*g - 2*k, -f*g - n = -k + 7 for g.
-4
Let m be 27/36 - 2/(-8)*9. Solve -7 = o - 3*o + m*l, -4*o + 4*l + 12 = 0 for o.
2
Let p = 1820 - 1817. Solve 0 = p*y - s, 14 = -4*y - 4*s - 2 for y.
-1
Let p(d) = -d**2 - 8*d. Let z be p(-7). Let x(o) = -o**3 + 6*o**2 + 10*o - 16. Let h be x(z). Solve -h*i - 5 = 5*b, 0 = 3*i - 2*b + 4*b - 1 for i.
3
Suppose 6 = 5*q + 21. Let h be -8 + 3 + 4 - q. Solve 0 = h*n + u - 2, -2*n + 12 - 2 = 3*u for n.
-1
Let m(l) be the first derivative of -2*l**3/3 - 7*l**2 - 11*l - 16. Let q be m(-6). Solve -5*z - 17 = -a + q, 2*a = 3*z + 8 for a.
-2
Let x = -16 + 0. Let d be 4/(-20) + x/(-5). Solve 4 + 2 = -2*h - d*n, -2*h + 2*n + 4 = 0 for h.
0
Let m(j) = j**2 + 7 + j**2 - 2*j - j**2. Let i be m(3). Let w(a) = -2*a + 2. Let t be w(-4). Solve 0*k - 4*n + t = -2*k, 4*k + i = -2*n for k.
-3
Let l be (-2)/6*552/(-8). Suppose l*u - 18*u - 40 = 0. Solve 0 = 3*d + 5*g + u + 18, g - 2 = 3*d for d.
-2
Suppose -2*q + 3*c = 7, -9 = -5*c + 2*c. Let t(y) = -10*y + 63. Suppose 5*b = -32 + 62. Let p be t(b). Solve -n + 2 = -q, p*j - 5*n = -3 for j.
4
Let s be -9 - -8 - -11 - (-5 - -2). Solve -2*k + 5*g = s, 4*k = -g + 9 - 2 for k.
1
Let w be -1 - 1 - ((-56)/(-8) - -16). Let c = w - -25. Solve -3*z + c*x + 2*x + 25 = 0, 5*z - x - 30 = 0 for z.
5
Let o be (-2 + 21/3 - 5) + 2. Let t(m) = m + 6. Let y be t(-6). Solve -14 + 54 = 5*k + 5*h, -o*k - h + 13 = y for k.
5
Suppose 0 = 7*y - 0*y + 56. Let i = 10 + y. Let b be (8/(-6))/(8/(-12)). Solve -i*k = -0*p + 4*p - 14, b*k - 10 = 0 for p.
1
Suppose 4*i = 3*t + 3, -t + 2*i = 4*t - 9. Solve 3*u - 15 = -f + t*f, -5*f = u + 12 for u.
3
Let d(u) = 7 + 43*u + 52*u - 92*u. Let j be d(0). Solve 2*y + 0*f + 3*f = j, 3*f - 22 = -5*y for y.
5
Suppose 0*g = -3*l - g - 11, 3*g + 13 = -5*l. Let n = l + 17. Let v be (-130)/156 - 210/(-36). Solve v*f + 32 = -3*h, -n = 4*f - f for h.
-4
Let s = 1 + 0. Let n be 4/4*(4 + -7). Let v be (-9 - (n - -2))/(-1 + -1). Solve -h = -f, -v*h = -f - 13 + s for h.
4
Suppose 0 = v - 4*p + 1, -5*p + p + 4 = 0. Suppose 225 = 2*h + v*h. Let a be (-6)/27 + 10/h. Solve -5*g - 8 = 4*z, 4*g - 5*z = -a*z - 31 for g.
-4
Let a(l) = -2*l**2 - 11*l + 2. Let g be a(-5). Suppose -48 + 13 = -g*z. Solve -y = -z*w + 2*y + 1, -y + 1 = -w for w.
2
Let y = -246 - -251. Solve r = y*u + 2, -4*r - 4*u - u = 17 for r.
-3
Let t(z) = 4*z + 28. Let f be t(-10). Let b = 37 + f. Solve -2*r = 5*l - 22 - 3, 4*r = 5*l - b for l.
5
Let p be (-1)/(-3) - 29/(-3). Let x(l) = -2*l**3 - 7*l**2 - 8 + l**3 + p*l + 2*l**3. Let w be x(6). Solve -n = 4*u + w, 4 = -3*n - 3*u + 1 for n.
4
Let p(b) be the second derivative of -7*b**3/6 - 3*b**2 - 18*b. Let h be p(-4). Solve 5 = -5*i + 4*z, 4*i + 3 = -z - h for i.
-5
Let r = 121 - 115. Solve -i + 2*d - 12 = 0, r = 3*i + 2*d + 2 for i.
-2
Let g = 327 - 312. Solve -q + 18 = q - 4*y, -4*q + y + g = 0 for q.
3
Let r(j) = -j**2 + 17*j - 27. Let x be r(15). Suppose -c = -3*c - x*h + 20, 3*c = h + 8. Solve -5*f