 s*n = 54*z + 6, -2*n = 3*z - 9 for z.
3
Let l be (-176)/(-220)*(-5)/(-2). Let s(y) = -3*y**2 + 5*y**3 - y**3 + 2*y**3 + 2 - 4*y**3. Let a be s(l). Solve -a*q + q - 15 = 5*v, 5*v - 4*q = 30 for v.
2
Let z(g) = -191*g + 229. Let u be z(4). Let q = u - -550. Let y be 0/(-1) - 3/(-1). Solve a = 3*o + 6, o + a + q = -y*o for o.
-3
Let f(n) be the second derivative of -n**4/12 - 7*n**3/6 + 3*n**2 + 10*n. Let q be f(4). Let s = q - -42. Solve 3*r - 13 = -s*w, 11 = -r - 2*r + 2*w for r.
-1
Let g be (-23)/(3*(-8)/144). Suppose 2*t + 4*t = g. Solve o - t = 5*r, 4*r - r - o = -13 for r.
-5
Let b(q) = 67*q - 135. Let i be b(6). Let c = i - 241. Solve -3*a + 5*y + c = 0, -y - 14 = -3*a - 2*a for a.
2
Let g(o) = 17*o - 2. Let c(r) = 2*r + 1. Let x be c(0). Let a be g(x). Suppose -y + 6*y = a. Solve -y*k + 7 = -0*m + m, -11 = -4*k - 3*m for k.
2
Let n = 7 - -14. Let k(j) = 21*j + 652. Let h be k(-31). Let m be (-3)/21 - ((-108)/n + h). Solve -5*c + 0*c - 6 = -3*a, -m*c - 6 = -3*a for c.
0
Let d = 149 - 127. Suppose d*t - 13*t - 27 = 0. Solve -t*b + 0*s + 15 = -s, 0 = 5*s + 15 for b.
4
Let u be (-3 + -1 - (34 - 47)) + 20 + -17. Solve 4*w - z = 12, -18*w - 4*z = -19*w - u for w.
4
Suppose -266*q + 2099 + 6147 = 0. Solve j = -5*x - 5, 4 = q*x - 35*x + 3*j for x.
-1
Suppose -5*c - 40 = -3*o, c - 11 = 3*o - 67. Let a be (-108)/90*o/(-12). Solve -3*u + 3*j = u + 6, 0 = 4*u + a*j - 4 for u.
0
Let w(z) = 427*z + 427. Let u be w(-1). Solve u = j + 5*a - 18, 2*a = j - 21 + 24 for j.
3
Let x = -16211 - -16213. Solve -2*u + 7 = -3*y - 2, 0 = -5*u - x*y - 6 for u.
0
Let s be (66/(-275)*20)/((-4)/(-30)). Suppose -5*q + 0*q - 180 = 0. Let x = q - s. Solve -4*h + x*h - 20 = 2*t, 0 = -t + 2*h + 6 for t.
-2
Suppose 93*p - 91*p = 1534. Let j = -763 + p. Solve -4*w + t + 1 = w, -4 = j*t for w.
0
Let j(x) = 3*x**2 - 8*x + 4. Let s be j(3). Let k = 746 - 743. Solve h + 3*m - k = -0, -2*m = -h - s for h.
-3
Suppose 9 = -4*u + 29. Suppose -4*p + 3*g + 20 = 0, -3*p - 2*g + u = -2*p. Solve -2*n - 18 = -p*a, 2*a - 2*n = 4*a + 4 for a.
2
Suppose 0 = 2*w - 2*p - 38, -5*p + 67 = 4*w - 0*p. Suppose -w*j = -11*j + 19*j. Solve 4*v - 2*t - 13 - 5 = j, 25 = 5*v - 3*t for v.
2
Let v(q) = -2*q**2 + 13*q - 22. Let n be v(4). Let j(f) = -f**3 - f - 5. Let r be j(n). Solve 5*w + 29 = -3*i, r*w = 5*i - 0*w - 5 for i.
-3
Let w(v) = 12 + 5 + 1 + 4 + v. Let t = 291 - 307. Let s be w(t). Solve 0 = 4*z, z + s = 2*q + 6*z for q.
3
Suppose 4*u = -2176 + 2196. Solve -23*v + 27 = u*r - 24*v, 3*r - 17 = v for r.
5
Let d = -3 + 6. Let i = d - 2. Let n be (204 - -20)/7 - 24 - (0/2 - 2). Solve 0 = -m - i + 3, -4*o - m = -n for o.
2
Let y be 4/(2*3/(-63)). Suppose -16*m - 153 = -825. Let j = y + m. Solve 0 = q - 5, q = -2*i - j*q - 5 for i.
-5
Let m(q) = -531*q + 1095. Let l be m(2). Solve 3*v = 4*f + 12, -v + 9 = -36*f + l*f for v.
0
Suppose v - 3*r = 10 - 0, -v - r - 2 = 0. Solve q + v = -16*t + 14*t, 8 = 4*q - 4*t for q.
1
Suppose 313 = -u + 4*d + 308, u - 5*d = -7. Solve u*o = 3*v, 4*o + 0*v + 4*v = -16 for o.
-2
Let n be 8/(-6)*3 - -71. Let s = -50 + n. Suppose 0 = 3*r + 5*v + 5, -4*r + 7*r - 5*v - 5 = 0. Solve -3*b - 12 - 4 = -5*g, r = g + 4*b - s for g.
5
Let u be (-1)/(-2)*(1 + -1) + -84. Let z = u + 90. Let m = z - 2. Solve 4*c + 11 = -5*d, -2*d - m*c - 12 - 2 = 0 for d.
1
Let d = -2 + 12. Let j(h) = 2*h + 4 + 3*h + d*h. Let p be j(1). Solve 2*t + 23 = -5*o, -t = o + 4*o + p for t.
-4
Suppose 0 = -24*m + 103*m - 124 - 113. Solve -9*r - m*x + 4 = -14*r, -2*x + 11 = -5*r for r.
-5
Let i be (-14)/(-4) + 0 + (-172)/344. Solve 4*g + 31 = -g - i*q, g + 1 = 2*q for g.
-5
Let q = 13241 - 13224. Solve 5*w = -a - q, 2*w + 45 = a + 41 for a.
-2
Let m(z) = 19*z - 263. Let p(f) = -f**2 + 7*f + 14. Let x be p(0). Let b be m(x). Solve -4*n - 2 = g, 3*n - 1 = -b*g + g for g.
2
Suppose 67 + 243 = -68*d + 223*d. Solve -6 = d*x + w, -4*w - 25 = 5*x + w for x.
-1
Suppose -5*f - 4*k + 181 + 95 = 0, -f - 4*k = -68. Let u = -37 + f. Suppose 5*n = -0*n + u. Solve -3*g + 9 = -n*v + 4*v, 2*v = 4*g - 12 for v.
0
Let i(g) = 2*g**2 - 30*g - 23. Let v be i(16). Suppose v = 2*d + 4*q - 7*q, -4*q + 2 = 2*d. Solve 0 = u - d*b + 10, 2*b = 5*u - 4 - 11 for u.
5
Suppose w = -3*w - 0*w. Suppose w = -87*l + 86*l + 4. Solve 0 = 2*r + l*v - 14, 4*r = -0*v - v + 21 for r.
5
Let f = -167 + 168. Let n be (0*(0 - (-2)/6))/f. Let b = 10 - 7. Solve -10 = -2*d - b*w, n = 2*w + 2*w for d.
5
Suppose 4*y - 8 = 0, -4*j = 11*y - 9*y - 24. Solve -4*d = -m + 22, j*m + 0*m = 10 for d.
-5
Let u(p) = p + 33. Let a be u(-36). Let k be (-455)/(-70) + 0 + a/6. Solve 3*w + k = 3*n, -5*n + 4*w = -0*n - 6 for n.
-2
Let z = -1816 + 1824. Solve 2*u - 8 = 0, -3*o + z + 15 = 2*u for o.
5
Let v(n) = n**2 - 6*n + 4. Suppose 3*a = 3*q - 14 - 1, q - 5 = 2*a. Let r be v(a). Solve -8 = 3*w - r*y - 0*y, w = -2*y - 6 for w.
-4
Suppose -2*u - 3*r - 140 = -7*u, 4*u - 3*r = 109. Suppose 0 = 4*f - 21 - u. Solve l + 0*l + f = 4*i, 4*l + 4*i = 8 for l.
-1
Suppose 752*v + 5*b + 47 = 756*v, -2*v - 4*b + 4 = 0. Solve 3*a = 6, 8*a - v = -3*d + 10*a for d.
4
Let k = -1785 + 1804. Solve 14*l - 9 = 3*w + k*l, 4*w - 2*l - 14 = 0 for w.
2
Let a(r) be the second derivative of r**5/20 - r**4/3 + 5*r**3/6 - 2*r**2 + 62*r. Let c be a(3). Solve -20 = -3*t - c*t - 3*f, -3*t - 2 = -f for t.
1
Suppose -175 = 11*d - 230. Solve d*j - z = -21, -20*z + 15 = -3*j - 17*z for j.
-4
Let m = -16969 + 17000. Solve -m = 4*q - 5*o, 169*o = 165*o + 12 for q.
-4
Let m = 498 - 514. Suppose w + 16 = k, 4*w - 2*k = k - 61. Let b be (w - m) + (-1 - -16). Solve -b = 4*o - 4*z + 2, 5*z = o + 5 for o.
-5
Let v = -163 + 350. Suppose -271 = -6*p - v. Solve -2*o = 3*c + p, 2*o = c + 3*c + 14 for c.
-4
Let j = 28 - 211. Let w = j - -184. Let d(p) = -p - 2. Let f be d(-5). Solve 5*r - 4*r = 4*u - w, -f = 3*r for u.
0
Suppose -5*i + 202 = 132. Solve -4*q = -4*b + 16, 3*b + i - 22 = 5*q for b.
6
Suppose 3*h + 12*x + 58 - 34 = 0, -3*x - 4 = h. Solve -l + h = 10, -l = 2*k + 2 for k.
0
Let t be (-5 - (-1 - 4)) + -4. Let h be -10*18/(-15) - (-2 - t). Solve k + h = 3*k, 5*j - 2*k = -20 for j.
-2
Let a(p) = p**3 - 9*p**2 + 10*p + 21. Let q be a(9). Suppose 0 = f + 85. Let w = q + f. Solve -4*l - 8 = -4*z, -2*z - w = l + 3*l for l.
-5
Suppose -4*x - 30 = -x. Suppose 0 = 5*u - 3*r + 7 - 3, 0 = -4*u - 2*r + 10. Let f be (-1)/(u*2/x). Solve -4*k = -3*k, -5 = -f*a + 4*k for a.
1
Suppose 4*z - 344 = -5532. Let y = -1292 - z. Let b = 7 - -6. Solve -4*x + m + 12 = 29, -b = -4*x - y*m for x.
-3
Let y(p) = -p + p + 6*p - 3*p - p - 15. Let i be y(12). Solve 3*k = a + i, -3*k + 13 = 5*a + 4 for k.
3
Suppose l + 4 = 0, 2*g + 4*l - 12 - 44 = 0. Suppose 26 = -32*x + g*x + 3*k, -2*x - 5*k = -20. Solve -3*y - x*r = -8 - 24, 4 = -y + 2*r for y.
4
Let x be ((-4 - 0) + 5)*-5 + -183. Let w = x - -193. Solve -4*v - 23 = 3*i, -6 = 3*i - w*v - 1 for i.
-5
Suppose 9*b - 3*b + 12 = 0. Let o be (0/7)/(-1 - b). Let t(a) = 2*a**2 + 94*a - 88. Let z be t(-48). Solve 0 = -3*p - p + 16, 4*s + p + z = o for s.
-3
Suppose 0 = 4*o + 4*m + 20, -5*o - 4*m - 18 = 6. Let d be 5/2*((-2 - o) + 4). Solve -5*s + 0*w = 5*w - 15, -5*s - 2*w = -d for s.
3
Let u be 5/(-2) + 1800/144. Suppose 4*c - 3*g = -g + u, -11 = -3*c - 2*g. Solve 4*s = -l - 0*l + c, -s = -5*l + 15 for l.
3
Let g(a) = -143*a - 1568. Let z be g(-11). Solve 7*h - 3*h + 18 = -z*v, 2*h = -v - 6 for h.
-2
Let v be (36/27)/(-4 - 560/(-138)). Let x(h) = 4*h - 89. Let g be x(v). Solve -4*k = -8, -t + g*k + 2 - 5 = 0 for t.
3
Suppose 0 = -0*c + 5*c - 85. Let v = 179 + -160. Let i = v - c. Solve -i = -h, 3*h - 6 = k + h for k.
-2
Suppose -3*d + 116 = 2*j + 24, 4*d - 96 = -2*j. Solve -4*s = -4*l + 4, -2*s + j = -7*s - 2*l for s.
-6
Suppose -55 = -18*o - 1 + 18. Solve 0 = o*l - 5*r - 21, -9*l + 5 = -8*l - r for l.
4
Suppose 2*p + 22 = 8. Let q = -5 - p. Suppose -11*d - 42 = -4*j - 6*d, d - 67 = -5*j. Solve j = k - 5*k + 5*s, s - 5 = q*k for k.
-2
Let c = 132 + -66. Suppose 7*y = y - c. Let l = y + 16. Solve 6 = 5*q + 4*h, l*h + 4 = -4*q + 4*h for q.
-2
Let y be (40/40)/((-2)/(-6)). Suppose -y*c + c = -j - 11, 2*j = -10. Solve c*o = -4*t - 13, 0 = 4*o - 5*t - 24 for o.
1
Suppose -4*z + 23 = 3*p, -3*z - p + 11 = -5. Suppose -9*n + x + 20 = -z*n, -4*n + 5*x + 36 = 0. Solve 3*h + 3*g + 3 = 0, -3*g - 2 = -n*h + 1 for h