 - m for u.
1
Let i(n) = 4*n + 4. Let w be i(1). Let u(y) = -y**3 + 8*y**2 - 3*y + 26. Let m be u(w). Solve 9 = -d - m*t, t + 2*t + 6 = 0 for d.
-5
Suppose -16 = 7*l - 37. Suppose -7 + 33 = 2*c. Suppose c = 2*m - o + 4, 2*o + 15 = 3*m. Solve 4*j + 3*g + 2 = g, -4*j = l*g + m for j.
0
Suppose 5*f - 5*j - 20 = 145, -4*f + 2*j + 122 = 0. Solve -25*m + f*m + 4 = 5*l, -3*l + 12 = -5*m for m.
-3
Let o(b) = -25*b + 7. Let y be o(-1). Solve 3*k + 7 = w, w = 3*k + 5*w + y for k.
-4
Suppose -4*v + p = -p - 26, 25 = 3*v + 4*p. Suppose 12 = v*y - 4*y. Solve -4*l + 2 = y*u + 14, 0 = 2*u - 5*l - 22 for u.
1
Suppose 0 = -2*z + 2*r + 8, 7 = 3*z + 2*r - 20. Solve 4 = 4*v - z*v + 5*k, 4*v + 7 = 5*k for v.
-3
Let a = 34 + -31. Let i = a - -2. Solve 5*w - 4*l - 17 = 0, 10 = -4*w - i*l - 1 for w.
1
Let v be 9 - (-12)/(-4 - -6). Solve -4*c + 5*u = -36, 3*c - 2*u - v - 5 = 0 for c.
4
Let t = -33 - -33. Suppose -3*f = -2*d - 3, 2*f - 2 = d - t. Solve f = -o - u, 19 = -3*o + u - 0*u for o.
-5
Suppose 0 = -r + 3*w + 5, 3*r + 3*w - 15 = -w. Solve -8 = 2*l + 4*m - 0, -5*l - r*m - 15 = 0 for l.
-2
Let o(x) = x**3 - 8*x**2 + 9*x - 10. Let s be o(7). Suppose -4*k = -j - 8, s*k = -0*k + 12. Solve j*n = -5*r - 0*r - 4, -2*n + 12 = -r for r.
-4
Let i(t) = -4*t - 13 - 15 + 23 + t**2 - 3*t. Let x be i(8). Solve 5*p = -3*o + 7*o - 17, 3*p - 6 = -x*o for p.
-1
Let h(t) = -2*t + 28. Let r be h(13). Suppose b - s = 8, 18 = 2*b - 3*s - r. Solve 0 = -l - k, 7*k = -4*l + b*k + 4 for l.
4
Suppose 4*j + 2*i - 22 = 0, -2*i + 452 = -5*j + 457. Solve -5*w - 3 = -4*w + d, -9 = j*w - 3*d for w.
-3
Let h = 26 + -24. Let k be h/(-10) - 130/(-25). Solve 0 = f + 2*d, k*f + 4*d - 9 = 3 for f.
4
Let v(r) = -6*r - 16. Let s be v(-3). Let o = 0 + s. Solve 10 = o*q + 4*k, 0 = 2*q + 2*q + k - 6 for q.
1
Suppose -4*g + 2*p = -0*g - 8, g - 3*p = 7. Let m be (g - 1) + 5 + -1 + -1. Solve 2*a = -5*y + 3*a - 19, -m*y = 4*a + 16 for y.
-4
Let x(d) = d**3 - 8*d**2 - 20*d + 2. Let s be x(10). Solve 4*a - 26 = 5*c - 3*c, -s*c + a - 14 = 0 for c.
-5
Let l(s) = -20*s**3 + 1. Let w be l(-1). Suppose -5*b + w = -y - 2*y, -b + y + 5 = 0. Solve -b*u + 7 = -v - 4*v, 1 = -u for v.
-2
Suppose -2*j - 14 = -5*q, -2*q + 14 - 8 = -j. Solve o = -q*r - 8, r - 4*o = 11 + 3 for r.
-2
Let i be 22/(-99) + 20/9. Solve -2*b - 5*c + 1 = -2*c, 3*b = i*c + 8 for b.
2
Let r = 15 - 3. Let q be 22/8 + r/48. Solve -4 = q*a + 2*l + 3, -25 = -5*a + 4*l for a.
1
Suppose a - 14 = -0*a + 5*t, -4*a - 20 = -t. Let o(f) = -3*f - 16. Let g be o(a). Solve g = -2*v - 4, 3*z + 3 = -3*v for z.
2
Suppose s - 7 = -2*y, -y - 5*s + 27 = y. Let r = 4 + y. Suppose -30*f + 24*f + 150 = 0. Solve 0*t + u + 1 = -2*t, f = -r*u for t.
2
Suppose 2*f = 5*b - 3*f - 35, -2*f + 4 = 4*b. Let o be 1/((0 - -2) + -1). Let y be o/3 - (-11)/3. Solve 0 = y*n + 4, -d + b*n - 2*n = 3 for d.
-4
Suppose -16 = -4*a - v, -4*v + 1 = 2*a + 7. Solve 0 = 2*z - 5*t - 30 + 9, -a*t - 31 = 3*z for z.
-2
Let p be (-14)/(-49) + 346/14 + 3. Suppose -h + 48 = h - 2*q, 0 = -h + 2*q + p. Solve 0 = 5*f - f + 4*b, 0 = -3*f + b - h for f.
-5
Suppose 107*l + 15 = 112*l. Solve -4*k - 2 = 2*j, k + l*j = -0*k + 12 for k.
-3
Let f = 256 - 226. Let w(j) = 2*j**2 - j. Let a be w(-1). Solve -5*p - 5*q - f = 0, 4*q - a = p + 4*p for p.
-3
Let u(o) = -o. Let g(t) = t**3 + 4*t**2 - t - 4. Let n(j) = g(j) - u(j). Let q be n(-3). Solve 6*y - 4*r = 3*y + 29, y - q*r = 28 for y.
3
Let o(j) = 3*j + 17. Let v be o(-4). Suppose -v*a + 6 = -14. Solve 2*f - 6*f + 5 = 3*b, -a*f - 2*b = -2 for f.
-1
Let a be 2/(-15) - 68/(-60). Let p(y) = y**2 + 29*y + 3. Let v be p(-29). Solve a = -3*c - 2*o + 3, 4*c - 1 = -v*o for c.
4
Suppose a - 3 = 2*g + 5, 3*g + 12 = 3*a. Suppose 5*i + h = 47, 86 - 90 = -2*h. Solve 3*o + 5*d = i, -5*o - 2*d - 4 + 0 = a for o.
-2
Let r(p) = p**3 + 12*p**2 + 7*p + 16. Let t be r(-11). Let b = t - 58. Solve i - 3 = -b*q, -12 = 4*q - 5*i + 3 for q.
0
Let s(j) = -j**3 - 5*j**2 + 7*j + 6. Let c be s(-6). Suppose 4*r - 3*w - 17 = c, r - 5*w - 5 = 6*r. Solve r*z - 4*z = b - 5, -b - 4*z = -7 for b.
3
Let h = -14 - -47. Suppose -18 = 5*a - h. Solve 3*t - 18 = -a*i, 4*i - 6*t - 6 = -t for i.
4
Suppose -5*i - 20 = 10. Let u be i + 7 - 50/2. Let f be (40/u)/(1/(-3)). Solve -3*b = -4*w + 12 + 2, 0 = -2*b - f*w + 6 for b.
-2
Let d = 25 - 22. Suppose c + 8 = d*c. Solve -3*l - 2*v + 12 = 0, c*l = l + 5*v + 12 for l.
4
Let t = 787 + -769. Solve -2*k - 2*o = -4, 2*k + 5*o = k + t for k.
-2
Let j(u) = 2*u**3 + 27*u**2 - 8*u - 13. Let v be j(-14). Let t = v + 98. Solve 4*y - 2*f - t + 11 = 0, f - 5 = 3*y for y.
0
Suppose 0 = -2*q - 5*d + 35, -q - 6 + 21 = 2*d. Suppose 3*b + 4*h = 18, q*h - 10*h = -2*b - 11. Solve -5*w + 5 + 11 = -v, -b*v - 2 = 0 for w.
3
Let n be (-5 + (3 - -3))/(2/(-14)). Suppose -3*a + 47 = -58. Let p be 9/(-15)*a/n. Solve -3*o = 5*f + 13, o = -f + p*o - 13 for f.
-5
Let x(g) = -2*g + 29. Let h be x(13). Suppose 2*d - 15 = -h*d. Solve 4*v - k + 3 = 25, -5*v + 31 = -d*k for v.
5
Suppose -5*n - 167 = -187. Solve -2*a + 6 = 3*a + 2*s, -n*a + 4*s = 12 for a.
0
Let w = -371 + 373. Solve -4*u + f - 7 = 17, -5*u + w*f - 33 = 0 for u.
-5
Suppose -8*k + 51 = -21. Solve -3*l - k = 0, 2*l = -c - 0*l - 11 for c.
-5
Suppose -d = -3*q + 6*q - 30, -4*q - 3*d + 40 = 0. Let a be 84/45 + 8/60. Solve 5*m + a*n + q = 29, 5*n = 2*m + 4 for m.
3
Let r(s) = s**2 - 4*s + 10. Let d be r(7). Let a = d + -15. Suppose b = 4 + a. Solve 5*x - z + 0*z = -b, 3*z - 27 = 4*x for x.
-3
Let f be (3 - 42)*2/3. Let w = 29 + f. Let a be (-2 - w) + 3 + 9. Solve -4*z = 3*t + 35, a*z - 3*z - 5*t - 5 = 0 for z.
-5
Let b(g) = 3*g - 90. Let m be b(31). Suppose -3 = -o + 5*j, 5*o + 2*j - 3*j - 39 = 0. Solve 0 = 3*p + n + 12, -3*p + 5*p - m*n + o = 0 for p.
-4
Let d = 5 - 0. Suppose 3*x - 8 = 1, -d*x + 14 = -a. Suppose 17 = 5*k - 2*l, -2*l - a = -l. Solve -18 = -5*m + g, m = -k*g + 4 + 6 for m.
4
Let g(p) = -p**2 - 7*p + 11. Let x(c) = -c**2 - 23*c - 30. Let l be x(-22). Let a be g(l). Solve -v - o - 1 = 0, -v - a*o = 6 + 5 for v.
4
Let c = -85 - -89. Solve 2*a + 10 = 0, p = c*a + 24 - 6 for p.
-2
Let p(q) = -q**3 - 9*q**2 + 5. Suppose 0 = z - 5*z + 5*x - 61, 3*x - 24 = z. Let s be p(z). Solve 2*n + 2*n - 4*d + 12 = 0, s = d for n.
2
Let x(f) = -3*f - 45. Let p be x(-16). Solve 0 = 3*t - 3*z - 9, z = -3*t + p - 10 for t.
-1
Suppose -1 = 4*l - 25. Suppose -4*v = -14 - l. Solve 5*u + 4 = 3*o, -u - 3*o + v = -5 for u.
1
Let n = -399 - -403. Solve 0 = -n*d - l + 9, -5*d - 2*l - l = -13 for d.
2
Let h be (-35)/(-3) + 2/(-3). Let o = h - 9. Solve 5*k = 5, 2*t + 4*k - 8 + o = 0 for t.
1
Let h = -957 - -961. Solve 3*i - l - 6 = 5, -h*i - 4*l = -36 for i.
5
Suppose 9*h + 100 = 14*h. Suppose -4*l - 6 = m, 2*m + 2*l = -2*l - 4. Solve m*q = -2*q, -5*k - h = -3*q for k.
-4
Let h(p) = p**2 - 6*p - 50. Let b be h(-5). Solve -5*o = 4*i - 13, -3*o + b*i = -32 + 2 for o.
5
Suppose 0 = -20*j + 252 + 8. Solve -4*o = 2*y - 2*o + 2, -2*o = -3*y - j for y.
-3
Suppose 12*v = 9*v + 30. Suppose 0 = -v*i + 13*i. Solve -4*k - 5*f = -7*k + 9, 3*k + f + 9 = i for k.
-2
Let g(z) = 20*z - 30. Let b be g(6). Let l = 94 - b. Solve 3*a + 5*k = 6, -3*a + 2*a - l*k + 2 = 0 for a.
2
Let j(x) = -x**3 - 18*x**2 - 65*x + 2. Let p be j(-13). Solve -m - 3 = 4*g, 6 = -2*m - p*g - 0*g for m.
-3
Let m(g) = 2*g**2 + 3*g + 1. Let s be m(-2). Suppose 4*d - 12 = -0*d. Solve 2 = -t - f, 2*t = d*t - s*f + 6 for t.
-3
Let l = 33 + -26. Suppose -3*z + 20 + l = 0. Let j be z*2 + (-4 - -6). Solve -k = 5*p + j, -3*k + 30 + 0 = -3*p for p.
-5
Let m be (-3)/6*(-1 + 1 - 0). Solve -3*k + 1 = -14, m = -l - 4*k + 18 for l.
-2
Suppose b = m - 11, -m + 10 = m. Let p(z) = -44*z**2 + 4 + 0 - 13 - 8*z + 43*z**2. Let k be p(b). Solve -4*s - 6 = -d, 2*d = k*s + 3 - 1 for s.
-2
Let i(n) = -9*n + 165. Let u be i(18). Solve u*g - 2*v - 25 = 0, 0 = -5*g + 2*g - v + 10 for g.
5
Suppose -2*u = -3*j + 22, 12 = -j - 5*u - 9. Suppose 1145*i = 1134*i + 66. Solve -2*m = -r - 3*m - 1, -j*r - 5*m = i for r.
1
Let p be 32 + (0 - 12)/2. Solve 3*u - 4*u = 5*a - p, 5 = a for u.
1
Let q be (-154)/(-56)*(0 - -4). Suppose -4*j - 4*l = -20, q = j - l - 4. Solve 2*f + j = 2*k, 0*k + 4*f + 20 = k for k.
0
Suppose 2*q = -2*z + 8, -4*z = -4*q - 40 + 32. Suppose 4*l = 3*l. Solve l = 2*u + 3*h - 18, 3*u - z*h - h + 7 = 0 for u.
3
Suppo