 -3*l. Solve -4*y - t - 3*t = 0, 2 = -l*y - 4*t for y.
1
Suppose -k = -5, -2*n - 5*k + 45 = 12. Let a = 6 - n. Solve u - a*q + 1 = -3, 0 = 5*u + 2*q - 16 for u.
2
Suppose -2*n - 4*o + 12 = 0, -4*o + 4 + 18 = 3*n. Solve -4*q - 3*r + 1 = 0, n*r - 5*r + 25 = 0 for q.
4
Suppose 1 = 3*a - 5. Solve -n + 3*n = 2*o, 2*o = -a*n + 16 for n.
4
Suppose c + 30 = 6*c - 3*h, -2*c + h = -11. Solve -t = -3*t - c*j - 11, 4*t + 10 = -2*j for t.
-1
Suppose -5*v + b = -75, 2*b - 36 = -4*v + 24. Let u = -3 + v. Suppose 5*l - 2*f - 60 = 0, 3*l + 2*f - 32 = -u. Solve -q + 2*w = 12, -5*q + l + 0 = 4*w for q.
-2
Suppose -3*v - 5*a + 10 = -6*v, 3*v - 20 = -a. Solve -3*z + 1 - 11 = 2*l, v*l = -5*z - 25 for l.
-5
Let v(w) = w - 2. Let f be 2*3/(-2) - 24. Let i be (f/(-12))/(12/32). Let z be v(i). Solve x + 14 = -3*b, 2*b + 26 = -z*x - 0*x for b.
-3
Let s = -13 - -13. Suppose -2*w + w + 3 = s. Suppose -4*j + 3*i = -12, -2*i + 3*i + 9 = 3*j. Solve -2*y - 4*q - 4 = 3*y, 0 = 3*y - w*q - j for y.
0
Let n(x) = x**3 - 4*x**2 + 5*x - 3. Let a be n(3). Suppose -4*w = -0*w - 4. Let t be (15 + -3)/(w + 0). Solve 2*m + t + a = -i, 0 = -4*m + 4*i for m.
-5
Let s(l) = -l**2 - 2*l + 5. Let y be s(-4). Let z = y + 7. Solve z*m - k - 13 = 0, -2*m + 0 = -3*k + 1 for m.
4
Let w be (-1)/(-1) + -2 + 4. Let l be ((-38)/4)/(6/(-12)). Let v = l - 11. Solve -y + t = -v, 4*y + 5*t - w - 2 = 0 for y.
5
Let i(v) = -v + 11. Let q be i(6). Suppose 2*m + 9 = q*m. Solve -m*n + j = 14, -7*n + 2*n - 25 = -2*j for n.
-3
Let p be (-194)/(-7) - (-8)/28. Solve -25 = 5*v, 5*t - 8 = -2*v - p for t.
-2
Let x(c) = -c**3 - 4*c**2 + 4*c - 2. Let d be x(-4). Let w be (-4)/d + 43/9. Suppose -w = -4*y + 11. Solve 5*l + y*a = -11, -3*a = -0 + 12 for l.
1
Let m = 4 + -3. Suppose -31 = -5*y - m. Solve -3*a + 35 = 5*u, -5*u + 36 = 2*a + y for a.
5
Let m(p) = -p**2 - 12*p. Let h be m(-10). Suppose -5*b + h = -b. Solve 0 = 5*f + 5*u + b, -5 = u - 6*u for f.
-2
Suppose -4*p + 8 = 0, 7 = 3*q + 2*p - 24. Suppose 5*j - 1 - q = 0. Solve -5*b + 0*n - 2*n = 16, -4*b - 20 = -j*n for b.
-4
Let w(g) = -g**2 - 7*g - 6. Let r be w(-5). Let s(d) = -d**2 + 3*d + 4. Let k be s(4). Solve -q - 9 = 2*h - k*h, 0 = r*q + h + 1 for q.
1
Suppose -15 = -16*k + k. Suppose 4*s - 3*d = -3, s - 2*d = -6 + 4. Solve l = w - k, s = -w - 5*l + 2 - 1 for w.
1
Suppose -5*w + 6 = -2*w. Solve 3*x + w*y = -17, 0*x + 4*y + 19 = -3*x for x.
-5
Suppose 3*i = 34 - 28. Suppose 0 = 3*n - 4*c, 0*n - 4*n = -3*c - 7. Suppose 2*a - 2 = n. Solve 0 = -3*w + i - 8, 5*m - a*w + 19 = 0 for m.
-5
Let a(b) = b**2 + 6*b + 8. Let l be a(-7). Let t = l + -10. Solve -4*i - 16 = -4*j, 1 = -i - i - t*j for i.
-3
Let x be 0/(-8)*(2 - 1). Let q be x + (2 - 2)/(-2). Solve 5*b + 8 = n - 0*b, q = 5*n + 5*b - 10 for n.
3
Let m be -2 - -1 - 3*-7. Suppose 5*g + 0*g = -m. Let o = 15 - g. Solve -3*s + 14 = -5*f, o - 5 = -4*f + s for f.
-4
Let f(m) = 6*m**2 + m + m**3 - 3 - m. Let b be f(-5). Let a be (-10)/(-55) - (-84)/b. Solve s + 3*g = 2 + 1, 0 = 4*s - a*g - 12 for s.
3
Suppose n = 2 - 6. Let v(b) = b**3 + 5*b**2 + 4*b + 2. Let t be v(n). Let d = 7 + -2. Solve -d*o - t*z = z - 8, 0 = -4*o - 2*z + 8 for o.
4
Let o(x) = -3*x + 29. Let q be o(6). Solve -g + 1 = g - 3*l, -g = 2*l - q for g.
5
Let f be (-15)/(-4) - (-16)/64. Let d be (24/30)/(f/10). Solve 0 = 3*p - 7*u + 3*u + 12, d*u = 4*p + 6 for p.
0
Let m = 64 + -37. Solve -5*g + b - 18 = 0, -5*g - m = b - 5*b for g.
-3
Let h(n) = -11 + 7 + 3 + 7*n + 2*n. Let g be h(4). Solve -3*c = -9, -4*w + 9*c - g = 4*c for w.
-5
Let y(d) = 6*d - 11. Let z(h) = -7*h + 12. Let r(x) = 5*y(x) + 4*z(x). Let v be r(5). Solve -q = -4*m + 5, q = -v*m - 3 - 2 for q.
-5
Suppose 2*l = 4*l - 3*m + 1, -l + 7 = m. Solve 0 = l*j + 4, -j = -3*u + 8 + 5 for u.
4
Let f(c) = -c + 8. Let z be (20/4 - 2) + 2. Let h be f(z). Suppose 5 = 2*n - 1. Solve 2*b + 12 = 4*b - n*p, 3*b - h*p = 15 for b.
3
Suppose 5 = c + 4*c - 5*n, 3*c - 4*n - 3 = 0. Let h(m) = m**2 - 8*m - 13. Let r be h(9). Let y = r - -7. Solve 4*l + k = 2*l + 4, y*l - 2*k = -c for l.
1
Let j = -61 - -61. Solve 0 = -w - c, 6 = -5*w - 2*c - j for w.
-2
Let t = 13 - 9. Let l = 40 + -25. Suppose 0 = -3*b - 3*a + l, -2*a - 3 = -b - 1. Solve -b*o = -t*s + 2 + 22, 11 = -o + 2*s for o.
-1
Let r = -165 + 169. Solve 4*u = -h + 2, -4*u - 2*h + r = -6*u for u.
0
Suppose 0 = v + 9*v - 40. Solve 0 = b - k + 1, 32 = -v*b - 2*k - k for b.
-5
Suppose -4*p - 2*o = p - 14, o = -2*p + 6. Suppose -20 = -4*z + p*z. Suppose d = 5*b - z, 0 = -b + 2*d - 7. Solve 0 = h + b*w + 19, 2*h + 0*w = 2*w + 2 for h.
-4
Let d(r) = 2*r**2 + 6*r + 8. Let u be d(-2). Solve 16 = -5*a - 2*o, 2*o - 8 = 3*a + u*o for a.
-4
Let h = 127 + -122. Solve -10 = -2*g + 6*g - 2*t, -5*g + h*t = 20 for g.
-1
Let z(l) = -l - 7. Let d be z(-9). Suppose -2*s - 5*g + 39 = 0, 30 = d*s + 2*g - 24. Solve s = 3*o + 5*m, 2*o = o + 4*m - 12 for o.
4
Suppose 0 = 3*v - 3, 2*j + v + 1 = -2*v. Let q be 0/j*7/14. Solve -2*u - 5*l - 2 = q, 0 = -2*u + l - 1 - 1 for u.
-1
Let v = -1 - -9. Let u = v - 7. Solve -9 = n + p - u, 5*p = -2*n - 28 for n.
-4
Suppose i + 3 = x, -2*x + 0*x + 6 = 2*i. Suppose i = -5*m + m + 12. Let c be (4/m)/((-6)/(-9)). Solve -20 = 3*s + c*s - 2*h, 5*s = -5*h - 20 for s.
-4
Suppose 6 = -0*v + 3*v. Let z = 3 - v. Let c(x) = -x**2 + 19*x - 29. Let m be c(17). Solve w = u + 2, -4*w + m*w + 2*u = -z for w.
1
Let w = 29 + -25. Suppose 5*p = -3*c - 9 + 41, -c + 20 = 4*p. Solve d - 3*d + w*z = -6, -c*d + 12 = -z for d.
3
Let x(r) be the first derivative of 1 + 0*r + 1/2*r**2. Let n be x(3). Solve 2*i - 4 = 5*h, 0 = 5*i + n*h - 2*h + 17 for i.
-3
Let s(q) = -3*q + 20. Let r be s(5). Solve -5*z - 4 = -4*g, -5*g + 2*z = -2*z - r for g.
1
Let f = -11 - -18. Let m(p) = -p + 8. Let n be m(f). Let w be 1 - (-2 - -1)*n. Solve s + 4 = -s + w*q, q = 4 for s.
2
Let m(b) = 7*b**2 - 2*b**3 + 4 - 2*b**3 - 6*b + 3*b**3. Let s be m(6). Solve 4*z - 16 = 4*h, 3*h + 10 = s*z + h for z.
1
Let q = -25 - -20. Let g = 9 + q. Solve -4*j + 7*j = -2*p + 4, -8 = -g*j - 2*p for j.
4
Suppose -h + 2*h + 20 = 0. Let k be (-3)/(-12) - (-5)/h. Solve -v - l = -0 - 4, 5*v + 3*l - 10 = k for v.
-1
Let o(s) = s**3 - s**2 + 51. Let a be o(0). Let c = 78 - a. Let p be (-4 - (-72)/16)*(4 + 0). Solve 3*i - 18 + 1 = p*r, 2*r = 5*i - c for i.
5
Let h(o) = -o**3 + 3*o**2 + 4*o + 2. Let j be h(4). Suppose 16 = 2*z - b - b, 2 = 4*z + j*b. Solve -z*x = -4*m - 16, 0 = -m + 3*m + x - 2 for m.
-1
Suppose -3*b - b = 8. Let f be ((-3)/4)/(b/8). Suppose 0*s + 8 = 2*s. Solve 4*n - 28 = s*y, f*n = 6*n - 12 for y.
-3
Let j(v) = v + 1. Let q be j(4). Let d = 2 + 0. Solve 4*a - d*o - 14 = 0, -4*a + a = q*o + 9 for a.
2
Suppose 2 = j + 2. Solve -3*c + 12 = -4*x, -2*x = -j*x + 3*c + 6 for x.
-3
Let m be 2/(-2) - (3 + -3). Let c = 4 + m. Solve 3*d = 4*j + 14, -c*j = -d - 2*j + 4 for d.
2
Let h(u) = 4 + 1 - 8*u**2 - 2*u**3 + u**3. Let v be h(-8). Solve -3*f = -a - 5, -11*f + v*a + 25 = -6*f for f.
0
Let s(h) = -h**3 + 10*h**2 - 7*h - 12. Let d be s(9). Solve t = d - 1, -5*r - 2*t - 5 = 0 for r.
-3
Suppose 2 = 7*x - 40. Solve -2*f = -5*q - 14, 5*q + 3*f - f = -x for q.
-2
Let j be (-1 + 0)/((-2)/8). Suppose 4*w = -n + 2, 6*w = 5*n + w - 10. Let f = n + 0. Solve 4*i + 19 = 3*q, -i + q = -f*i + j for i.
-1
Let q = -109 + 114. Solve 3*g + 0*g = q*t + 12, -5*t - 8 = -2*g for g.
4
Suppose -2*i - 16 = -70. Suppose 5*h + 5*t - 18 - i = 0, -1 = h - 4*t. Solve 5*p - h = n + 13, 0 = 3*p + 3*n + 6 for p.
3
Let o(f) = f**2 + 3*f + 4. Let x be o(-2). Solve 3*a - 5*t = -24, -3*t = 2*a - x*t + 3 for a.
-3
Let o be (8/10)/(6/15). Suppose -o*x - 15 = -7*x. Suppose -x*g = -4*n + 87, -12 = -n + 4*g - 0*g. Solve -24 = 3*h + 4*m, n = -3*h - 3*m + 3 for h.
-4
Let q be 15/6 + 2/(-4). Let r be (8 - 2)*(-6)/(-4). Suppose r + 3 = q*d. Solve v + d = x + x, 4*v = -4*x for v.
-2
Let b be 6 + 2*(-9)/6. Solve -5*h - 2*g = -31, b = 2*g - g for h.
5
Let b = -1 + 2. Let m = -5 + 2. Let x be (4 + m)/(b/13). Solve -2*q + 8 = 0, -x = 3*f - 2*q + 7 for f.
-4
Suppose 3*h + 2*k = 4, -4*h + 9 - 1 = 2*k. Solve 0*l + h*l = 5*w + 4, -w - 12 = 2*l for l.
-4
Let c = -9 - -13. Solve 2*j + d + 4 = -3, -12 = 4*j + c*d for j.
-4
Let j(n) = -2*n - 7. Let l be j(-6). Let t be ((-8)/l)/(8/(-40)). Solve m + t = 3*r - m, -r + 2*m = 0 for r.
4
Let w = 1 + -11. Let r = 17 + w.