 = f, -5*z + 3 = 3*y + 2 for z.
-1
Let t be -7 + 1 + ((-340)/30 + 15)*3. Solve -21 = -4*x - 5*u, -1 + 28 = -2*x + t*u for x.
-1
Suppose -4*k = 551 - 59. Let u = -121 - k. Solve u*z = -2, -r - 2*z = 2 + 4 for r.
-4
Let y = 92 - 74. Suppose -13*k - 20 = -y*k. Solve -q - 4*a - a + 13 = 0, -k = -2*a for q.
3
Suppose -57 = -38*i + 37*i. Suppose -i = 3*k - 21. Let y be (-177)/k - ((-3)/4)/(-1). Solve -3*b = w + y, -2*w + 6*w = 2*b for b.
-4
Suppose -m + 4 = 0, -d - 2*m = d + 276. Let k = 147 + d. Solve -2*l + 4*l = r, -k*r = -10 for l.
1
Let c be 71/((-923)/(-546)) + 5. Solve -3*d - 46*p + c*p = -8, -2 = -2*d - p for d.
2
Suppose -3*n = -4*n - 2. Let s be 46 - -3*n/(-2). Suppose -s = -4*b - b - r, -5*b = 4*r - 61. Solve 0 = -u + k - 3*k + b, 4*u - 5*k + 16 = 0 for u.
1
Let y(h) = -153*h - 58. Let u be y(-1). Suppose 5*o - u = -4*k - 47, -12 = 4*k. Solve -4*j = -5*f - o, 0*j - 3*j = 3*f - 9 for j.
3
Let l be (145/20)/(-29)*0. Solve -m = 0, l = 4*v + 4*m + 22 - 10 for v.
-3
Suppose -524 = 8*g - 548. Suppose 4*a = -5*p + 10, 4*a - 8*a = g*p - 6. Solve 2*d - b - 10 = -6*b, d + 4*b - 5 = a for d.
5
Let z be -1 - 4 - (5 + -5 + 1). Let s = 8 + z. Solve 0 = i + t + s, -5*i + 0*t + 2 = -t for i.
0
Suppose -15*x - 25*x + 120 = 0. Solve -5*y = x*h + 8, 0*h + 8 = 5*h + 3*y for h.
4
Let v = -9 + 20. Suppose -v*m + 4*m = -56. Let d(u) = u**2 + 4*u + 3. Let t be d(-4). Solve t*y = -2*y - 4*a - 21, 4*y + m = -a for y.
-1
Let a(n) = -26*n + 3. Let q be a(-3). Suppose 4*p + q = -47. Let o = p + 35. Solve f = -2*c - 5, o - 13 = 5*c + 3*f for c.
-5
Let w be 1/(-2) + 243/(-6). Let m be (-7 - -5)/(1/19). Let l = m - w. Solve -5*u + 2*u - 3 = -l*i, 11 = -4*i - u for i.
-2
Let s be (18/(-8))/(6 + (-255)/40). Suppose p = s*p. Solve p = 5*j - 5*x + 15, -5*j - 4*x - 22 = 11 for j.
-5
Suppose -3*q = 5*m - 132, 18*m - 16*m = 5*q + 28. Solve -2*l + m = -2*u + 3*l, 5*u + 2*l = -2 for u.
-2
Let v(q) = 2*q - 11 - 6*q - 23 + 20. Let w be v(-4). Solve 4*u + w - 3 = -i, 4*u + 3*i - 11 = 0 for u.
-1
Let c = -12606 - -12649. Solve 3*w + c = -5*p, 1 = 2*p + 11 for w.
-6
Suppose 4*u - 90 = -12*u - 2*u. Solve 0*x + x + u*f = -24, f = -5 for x.
1
Suppose -10*v - 2*n + 40 = -6*v, -v - 5*n + 1 = 0. Solve 7*l + 26 = -3*k + v*l, -5*k = 4*l + 22 for k.
-6
Suppose 0 = -25*q + 23*q + l + 3, 2*q - 5*l - 15 = 0. Solve 22*x + 2 = w + 20*x, 3*w + 3*x - 6 = q for w.
2
Let y(j) = 2*j - 3. Let i be y(3). Suppose -335*k + 332*k = x + 31, 2*k + 17 = -5. Solve 4 + 0 = -x*v, -26 = -4*h + i*v for h.
5
Suppose -64 = -5*k + 4*g - 22, 12 = -4*g. Solve l = -u + k*l - 26, 3*u + l - 2 = 0 for u.
-1
Let s(g) be the third derivative of 0 + 19/3*g**3 + 0*g + 3/8*g**4 + 33*g**2. Let z be s(-4). Solve -7 = 5*d - c, -d + 3*c - 9 = z*d for d.
-1
Let c be (-2)/8 - (525/4)/(-5). Suppose -57 - 21 = -c*t. Solve -f + 14 = -3*m, t*m - m = -f - 6 for m.
-4
Suppose 132 = -3*z - 141. Let b = z - -56. Let g = b + 38. Solve g*n + 9 = -3*h, 4*n + 3*h = -n - 7 for n.
1
Let q be (-35400)/(-1652) + 4/7. Solve -5*d = -3*m + 97 - 111, -4*d + q = 3*m for d.
4
Let y(s) = s**3 - 20*s**2 - 67*s + 3. Let h be y(23). Suppose 0 = 2*r + c - h, 0 = 3*r - 4*c + 2 - 81. Solve 5*g = r, m + 0*g + g - 2 = 0 for m.
-3
Let o(p) = -p**3 + 9*p**2 + 8*p - 47. Let h be o(9). Let t(m) = -m**3 + 25*m**2 - 3*m + 85. Let v be t(h). Solve -3*y = -y - v, 37 = -4*q + 5*y for q.
-3
Let f(v) = -2*v**3 - 5*v**2 - 5*v - 2. Let i be f(-2). Suppose -4*c = 2*c + 57*c - 252. Let b = -47 + 66. Solve c*o = -0*o - 3*j, b = -o + i*j for o.
-3
Let k be -4 + (-9)/(-27) + 104/12. Solve 4*t = -3*b - 5, -k*b + 0*b - 11 = 4*t for b.
-3
Suppose 0 = w - 2. Let u be (8/(-3))/((-50)/75). Suppose 0 = 6*s - 13 - 17. Solve -s*a - 20 = 0, w*k - u*a + 0 = 8 for k.
-4
Let r = -112 - -115. Solve 3 = -5*h + r*o, 4*h - o - 5 = -6*o for h.
0
Let l be 5 - (-18)/(-6 - -3). Let n(r) = -2*r**3 + 6*r**2 + 6*r + 2. Let h be n(l). Solve -i + 2*g - 8 = 4*g, h = i - 4*g for i.
-4
Suppose 6*a + 8*a = 15*a. Suppose -5*d = -2*f - 29, a = 4*d - 0*f - 2*f - 24. Solve 2*h = -3*h + 5*o, -3*h - 8 = -d*o for h.
4
Suppose q - 2*x - 5 = 0, -14 = -13*q + 8*q - x. Solve -4*o = i - 3 - q, -5*i = 5*o for o.
2
Let k = 9380 + -9372. Solve 6*f - k*f + 2*l = 12, -f + 5*l = 10 for f.
-5
Let n be (-25)/3*306/(-510). Solve -w - d = -5*d + 14, 4*w + 12 = n*d for w.
2
Suppose -71*t = 44*t + 97*t. Solve -4*s - 20 = t, -5 = 2*w - 4*s + 5*s for w.
0
Let d be (-4 + -1)*1 + 6. Suppose 4*s - 7 = -2*j + d, -2*s - 3*j = -8. Solve 0 = -w + s, 0*r + 5*w = 3*r + 5 for r.
0
Let a(g) = 2 + 2 - 5 - g. Let w be a(-3). Suppose -1 = -r, -w*u = 3*r - 7*r - 4. Solve 0 = 3*m + f - 9, u*m + f + 4 = 5*f for m.
2
Let y be 1/(-2)*1 + 1924/(-296). Let o(f) = 12*f + 86. Let g be o(y). Solve -2*m - u - 28 = -6*u, g*m = -2*u for m.
-4
Suppose -4*m + 221 = -j - 0*j, -3*j - 719 = 2*m. Let y = -235 - j. Solve -n + 20 = 5*l, 0 = 3*l - 0*l + y*n - 19 for l.
3
Suppose h - 1 = 0, 5*m + h - 1462 + 1446 = 0. Solve 22*w + m*i = 21*w + 1, 4*i - 8 = 0 for w.
-5
Let j = 9735 + -9733. Solve -v + 20 = 3*v, j*h = v - 1 for h.
2
Suppose 122 = 7*c + 101. Let z(j) = -j - 5. Let x be z(-8). Solve 2*d = -c*t - 3, -3*t = x*d + t + 3 for d.
3
Suppose n + 5 = g, -g = -2*n - 14 + 8. Let w(k) = 16*k + 28. Let b be w(n). Solve -4*m = -4*q, -b = -4*q + 4 for m.
4
Let j be (3/(-6))/((-1110)/100 + 11). Let k(x) = x**3 + 6*x**2 - 9*x - 1. Let z be k(-7). Let n = z - 10. Solve -j*o - l = 15 + 6, -4*o - 13 = -n*l for o.
-4
Let q be (-71)/3 - (68/6 + -10). Let y be (-27)/(-15)*q/(-15). Solve -10 = y*n - c + 4, 3*c = -5*n for n.
-3
Let l(u) = -u**2 - 279*u + 8. Let p be l(0). Solve w - p = n, 2*n + 4*w = -0 + 14 for n.
-3
Let r be (-4)/(-14) - ((-350)/245 + (-148)/28). Solve -j = 5*p + 1, 5*j + r*p = 11 + 2 for j.
4
Let f be 4*10*(-11)/(-110) - 68/(-2). Solve -5*m + 5*z = 0, 0 = 36*m - f*m + 3*z + 2 for m.
-2
Let y be (1 - 0) + -2 - 4. Let n(g) be the second derivative of g**4/12 + g**3/2 - 3*g**2 + 353*g. Let t be n(y). Solve -2*m - 3*m - 3 = -2*x, 4*m = t*x for m.
-1
Let a be -1 + 13/13 + (2 - 1). Let h be (-8)/a - (-45 + 9). Solve -5*b + 31 = -2*v, v - b + h = 4*b for v.
-3
Let n(q) = -15*q + 5 - 182*q**2 - q**3 + 58 + 163*q**2 + 0*q**3. Let r be n(-18). Solve 4*y = 2*d + 8, 4*y - 3*y - 4*d - r = 0 for y.
1
Suppose -3*r = -5*h + 2*r + 20, 2*r = 3*h - 13. Suppose 11*q = -9*q. Solve h = -5*o - 10, 5*a - 5*o + 10 = q for a.
-5
Let n = 36 - 30. Let u = 8 - n. Suppose 5*a - v = 28, -u*a + v + 16 = 3*v. Solve 3*q - i = i - 4, -q = 3*i - a for q.
0
Let b(g) = -g**3 - 5*g**2 + g - 25. Let r be b(-6). Let w(t) = 6*t - t**2 - 19 + 1 + 3*t. Let x be w(r). Solve 2*f = -5*p, -2*f = -4*f + x*p - 14 for f.
-5
Suppose 9 = -5*u + 54. Let m(i) = i**3 - 16*i**2 + 14. Let h be m(16). Suppose 0 = -h*w + 13*w. Solve 0 = -5*n + 2*a + u, 0 = -n - w*a + a for n.
3
Let t be 3/(2*9/(-12))*14. Let h = -24 - t. Suppose -2*j + 2 = h*x, -x + 1 = j - 2*x. Solve 4*y + 2*w = j + 5, -3 = -4*y + w for y.
1
Let g(w) = -97*w + 394. Let o be g(4). Solve 2*t - 9*i + 15 = -12*i, 0 = -5*t + 3*i - o for t.
-3
Let r(x) = 27*x + 197. Let g(j) = 189*j + 1377. Let b(q) = 4*g(q) - 27*r(q). Let u be b(-7). Solve u = 2*o - 4*m + 8*m - 4, -3 = 3*m for o.
4
Let t = 23588 + -23563. Solve -5 = 3*k + 2*g, -68*g = 5*k - 73*g + t for k.
-3
Let j(r) = -42*r - 2138. Let n be j(-51). Solve 177*m + n*v + 31 = 180*m, -2*m = 3*v + 2 for m.
5
Suppose -12*g = -15*g. Suppose -8*d = -7*d - 10. Let t be 12/d - 8/(-10). Solve g = 2*v + 2*y + t, -5*v + 2 = -2*v - 2*y for v.
0
Let g(m) = -12*m**2 - 17*m**2 + 1 + 30*m**2. Let d be g(-1). Solve -c = -2*c - a + 1, -d*a = c + 3 for c.
5
Suppose 102*l = 98*l + 20. Let k be (1 + -1)/(l/10*-6). Solve k = 4*b + p + 10, 4*p + 13 = -5*b + 3*p for b.
-3
Let u be ((-2)/(-6))/(2/162). Suppose 0 = 46*z - 50*z + 108. Let c = z - u. Solve -4*g - g = 4*r - 27, g + 5*r - 18 = c for g.
3
Let m be ((144/15)/(-2))/(4/(-20)). Suppose -3*t + 4*a - a = m, -4*t + 3*a = 32. Let c be 6/(-4) + (-20)/t. Solve -3*l + 5*i = c, l = 6*l + i + 11 for l.
-2
Suppose -12 = -91*h + 89*h. Suppose -17*l + 18*l - h = 0. Suppose -l*y + 105 = -y. Solve 4*w = 3*i - 7, -5*i = -2*w - 0*w - y for i.
5
Let d(u) = 10*u - 20. Let b be d(2). Suppose 0 = -10*s - 18*s + 140. Solve 5*c - 4*a = a + s, 2*c - 5*a + 7 = b for c.
4
Suppose -617 = -56*q - 1. So