 -l - m - 14 = a*l for l.
-3
Let u(t) = t**3 + 11*t**2 + 11*t + 12. Let k be u(-10). Solve 0 = -y - 0*p - k*p + 3, 0 = -p + 4 for y.
-5
Suppose 38 = 3*y - 0*y - 4*s, 34 = 4*y - 2*s. Let m(c) = -c**2 + 7*c - 4. Let i be m(y). Solve -5*p = g - i*g - 7, 3*p + 6 = 4*g for g.
3
Suppose -s = 2*s - 6. Suppose 5 = 4*v - 3. Solve 5*c = s*c + u - 9, -v*c - 6 = 4*u for c.
-3
Let y be 1/3 + ((-1)/3 - -4). Let w be (-45)/(-2) + (-2)/4. Solve 4*a - y = n, -a - w = -5*n - 4 for a.
2
Let s(j) = j**3 + 7*j**2 - j - 3. Let f(i) = i**2 - 8*i. Let h be f(7). Let n be s(h). Solve l = v + 1, 4*l - n = 2*v - 0 for v.
0
Suppose -49 = -5*l - 4. Let c = l + -6. Solve 3 = -c*q, -n = -2*n - 2*q - 3 for n.
-1
Let s be (-2)/9 - 116/(-36). Let n be 5/5*4/1. Suppose -5*k = -s*t - n, 4*k - 4 = t + t. Solve -k*o = f - 4*f, 5*o = -5*f + 25 for o.
3
Suppose 0 = -0*z + 2*z - 6. Let q be 2 + (-3 - -3 - 0). Solve 0 = z*p + 5*i - 18, 5*p - i = q*p for p.
1
Suppose 15*x - 60 = 12*x. Solve -5*f + y - 6*y - x = 0, -f + 2*y - 7 = 0 for f.
-5
Suppose -5*y = -147 - 3. Suppose 0 = 2*g + 3*g - y. Let m be (2 - -2) + (-3)/3. Solve n = m*n + 4*f - g, 0 = -4*n + 2*f + 2 for n.
1
Suppose 2*g = -4 - 0. Let t be g/(-6)*6/2. Solve 9 = 2*f + t, -3*l - 2*f + 11 = 0 for l.
1
Let p(s) = -9*s**3 - 2*s**2 + 1. Let c be p(-1). Suppose -4*a - c = -8*a. Solve a*k + 3*m = 5, m - 3 = -5*k + 3*m for k.
1
Let x(n) = n**2 + 2*n - 10. Let d be x(3). Solve 3*i = -3*g + 12, -2*g = -i + 3 - d for i.
2
Let l be (28/(-10) - 4/(-2))*-10. Solve 7 = x - 3*t, -2*x - 4*t = x - l for x.
4
Suppose 12 = 5*j - 3. Let x(l) = -l**2 - 15*l - 46. Let d be x(-7). Solve v = j*v - d, -4*w + v = -11 for w.
4
Let r(o) = -o + 4. Suppose 2*k + 15 = 3*y, 3*y - 4*k - 15 = -3*k. Let c be r(y). Let f be c/(-4) + 1/(-4). Solve -3*w + 4*b = -16, -b = -f*b + 4 for w.
0
Let o be -6*(-5)/(-10)*-1. Solve -o*v - 19 = 2*r, 2*r - 4 = 5*v + 17 for r.
-2
Suppose 0 = -3*k - 0*d - 3*d + 18, -4*k + 2*d = -30. Solve 4 = 4*u - 4*n, -u + 6*n = 2*n - k for u.
-1
Suppose -2*u + 5 = -5. Solve -u*v + 2*z = 0, -5*v + 4*z - 3*z = -5 for v.
2
Suppose 23 = 5*u + 8. Suppose -x + 1 = -u. Solve -a = -r - x, -a = r - 3 + 5 for r.
-3
Let m be ((-28)/6)/((-3)/9). Suppose h - 28 = 2*w + 2*w, -20 = -5*h. Let a(v) = -v**2 - 6*v + 2. Let y be a(w). Solve -2*f = -2*o + m, 0*f + f + y = 0 for o.
5
Let s = 15 - 11. Solve 3*d - 4 = -5*p - 1, s*p + 4*d - 4 = 0 for p.
0
Let b be (2/(-3))/((-2)/9). Let p be (-3 - 0) + 16/(-1). Let f be (-3)/6 + p/(-2). Solve 3*j = -b*h + f, 5*h + 2 + 3 = 0 for j.
4
Let j = -7 - -5. Let z be (j - 6/(-3))/(-1). Let d(x) = -x + 9. Let o be d(7). Solve 2*s = 4*m - 8, -2*m - 2*s = -z*s + o for m.
1
Suppose 4*b - 5*u = 43, b + 15 = 2*b + 3*u. Solve -3*c = -4*c - 3*p - 7, -b = 4*c + 4*p for c.
-1
Suppose -3*l + 3*p = -108, 2*l + p = 57 + 3. Solve 4*d + 2*w + 2*w = -l, -2*d + 4*w = -8 for d.
-4
Suppose 0 = -3*v - 12 + 21. Solve 0 = 3*k + 4*b - 32, -k - v = 2*k - 3*b for k.
4
Let g be -2*(-8)/(-12)*-3. Solve f - 32 = 4*y - g*f, -2*y = f + 2 for y.
-3
Let g(x) = x**2 + 2*x + 2. Let y be g(-3). Let i(a) = -7*a - 6. Let s be i(-5). Let b be 2 + s + (3 - 0). Solve 3*u + y*d = b, u - d = -u + 1 for u.
3
Let i(j) = -j**3 + j**2 + 5*j + 3. Let p be i(-2). Solve n = s, -3*n + 20 = -4*s + p*s for s.
5
Let y(v) = v**2 + 2*v + 1. Let c be y(-1). Let m = 2 - c. Solve 0 = 5*k - 5*r - 40, -m*r + 9 + 3 = 5*k for k.
4
Suppose -3*s + 3 = 2*z, 5*s - 14 = z + 4. Solve 5*j + 10 = 0, 0*m = -s*m + 2*j + 19 for m.
5
Suppose -145 + 5 = -4*l. Solve -5*z = -5*h - l, -z + 6*z = -2*h + 7 for h.
-4
Suppose 18 = 4*y - 0*a + 2*a, -3*y + 16 = a. Solve -r + y = q + q, 0 = 4*r - 3*q - 17 for r.
5
Let r(y) be the third derivative of y**4/12 - y**3/2 + 5*y**2. Let w be r(3). Solve -7 = 4*k + 5*a, w*k + 5*a + 2 + 2 = 0 for k.
-3
Suppose -t = p, -4*p + 6*p = 4*t - 24. Solve t*h - 2 - 15 = -z, z = h + 2 for z.
5
Suppose 0 = 3*r - 0*r - 9. Let v be (2 + 1)/3 + r. Solve -2 = 3*h - 3*i + 1, 3*h - v*i = -1 for h.
-3
Suppose -2*f - 1 = 3. Let b be 3 + -1 + f + 5. Solve 3*l - 2*l = -t, t = -b*l + 12 for t.
-3
Let s(d) = -3*d - 3. Let m be s(-2). Solve -3*v - k + 5 = -5*v, m = -k for v.
-4
Let n = -50 + 55. Solve -5*o = -n*b - 10, 0 = -4*o - 5*b + 17 for o.
3
Suppose 5*b = 3*l - 12, 7*b = 2*b - 2*l + 8. Let n = 2 - b. Solve h = u - 3 - n, -2*h + 10 = 2*u for h.
0
Suppose -9*n - 2 = -10*n. Solve -n*l + 11 = v - 4*v, -3*v = -5*l + 23 for l.
4
Suppose 16 = -5*p + 13*p. Solve 0 = -0*n - 3*n - 2*w - 5, p*w + 2 = -2*n for n.
-3
Suppose 0 = -j + 3*j - 10. Suppose b = j*x - 23, x = -3*x + 2*b + 16. Solve x*v - 9 = -3*h, -2*h + 4 = 2*h + 4*v for h.
-2
Let b = -2 + 4. Let c be -4 - 3*b/6. Let q = 9 + c. Solve 0 = -3*g - 4*i - 15, q*g - i + 10 = 2*g for g.
-5
Let o be 252/49 - -3*3/(-63). Let a be (2*-1)/((-5)/10). Solve -4*j = -o*v - 5, -1 = -2*j - 3*v - a for j.
0
Let t(i) = -2*i + 11. Let g be t(10). Let m = -4 - g. Solve -k - 4*q = -12, 0 = -m*k + k - 5*q + 4 for k.
-4
Suppose -n - 5*z = 3, -8*n - 35 = -4*n - 3*z. Let h(y) = -y**2 - 11*y + 2. Let x be h(n). Let g = -1 - -24. Solve -3*m + 2*p = 2*m + g, -p = 5*m + x for m.
-5
Suppose -13 = -y - 8. Solve -4*q = -m - 0*m - 5, 0 = -y*q + 5*m - 5 for q.
2
Let h(i) = -3*i + 12. Let u be h(4). Solve x + b - 3 = u, -b - 9 = -2*x - 0 for x.
4
Suppose -3*a = -0*a + 3*c - 21, -13 = -2*a - c. Let s = -16 + 6. Let u = -8 - s. Solve 5*l - u*h - a = 0, -4*l + 7*h + 9 = 4*h for l.
0
Suppose 5*b = 20, -p + 3*b - 10 = -0*b. Let u(k) = -7*k - 2. Let l be u(-1). Solve n + p*n + l = d, 5*n + d + 3 = 0 for n.
-1
Suppose 5*l - 13 = 2*n + 4*l, -5*n + 2*l - 31 = 0. Let a = 7 + n. Solve -o = 5*u + 11, 3*o - u - 3 = a*u for o.
-1
Let j = 4 - -1. Suppose -4*m - j*x = m - 30, m + 5*x = -14. Solve -5*l = -4*b - 7, -b = 2*l - m + 3 for l.
3
Suppose -2*z + 10 = 3*t - z, 0 = -2*t + 5*z - 16. Suppose 0 = 4*c + 20 + 12. Let d = c + 11. Solve -t*j = -0*x + 3*x, d*j = 2*x for x.
0
Let v = 6 - 11. Let j(u) = u**3 + 4*u**2 - 5*u + 5. Let p be j(v). Solve -2*m - 5 = -3*m, p*m - 20 = 5*g for g.
1
Let z be -1 + 8 + (5 - (7 + 1)). Solve 11 = -m + z*a, 3*a = 3*m + a + 13 for m.
-3
Suppose -2*b + 4*h = -b - 19, 5*b - 2*h - 23 = 0. Solve -5*f = 3*t + 3, -f + b = 3*t + 2*f for t.
4
Let y(d) = d**2 - 2*d + 3. Let i be y(0). Solve 2*r + i*h = 17, 3*r + 4*h = r + 22 for r.
1
Let v be 3/1 + 0/(-3). Suppose -6 = 3*n - w - 4*w, -3*n + 18 = v*w. Solve n*t + z + 12 = 0, -5*t + 2*z - 20 = -2*z for t.
-4
Suppose g + 1 - 4 = 0. Suppose x - g*d + 38 = 0, -4*d + 2*d + 8 = 0. Let v = x - -46. Solve p - a = -4*p + 25, -v = -4*p - a for p.
5
Let i be (-6)/8*-4 + -1. Solve 5*k = 4*s - 4 - i, -4*s = -2*k for s.
-1
Suppose -y - d = -7, -d = -4*y + 3 - 0. Solve 0*s + 3*s + 10 = 5*m, -y*s = -2*m + 4 for m.
2
Suppose -3*h + 11 + 13 = 0. Let d = -10 + 12. Suppose t - d = 5*x, 3*t = -x - 0*x + 6. Solve -4*u + 4*f - f = -h, f = x for u.
2
Let s = 11 + -8. Solve 8 = 2*z, -s*q + 4*z - 23 = 8 for q.
-5
Suppose 0*i - 22 = -4*i - n, 4*i - 2*n = 16. Let m = i + -5. Suppose m = h - 3*k - 15, h + 2*k = 2*h - 11. Solve 0 = -4*s + t - 23, -3*t = -s + h*s + 1 for s.
-5
Suppose -5*z + 5 = -4*z. Solve -z*w + 15 = 0, -5*x - w + 19 = 2*w for x.
2
Suppose -4*v = -2*v - 22. Let p = 3 - -1. Solve 5*m = -2*b - 15, -p*b + m = -6*b - v for b.
-5
Suppose 3*v + 5*o - 67 = 0, 0*o = -4*v + 2*o + 46. Let m = -8 + v. Suppose 0 = c + 2*c - 9. Solve -5*g - m + 33 = -c*n, g - 23 = 5*n for g.
3
Let v = -3 - -3. Let b be (v - 0)*(-1 - -2). Let q(c) = -3*c - 2. Let s be q(-4). Solve -4*r = -5*i - s, -2*i - 4 = 2*r - b for r.
0
Let c(a) = -a**3 - 5*a**2 + a - 3. Let q be c(-5). Let r = q - -16. Solve -2*x = r, -o + 5*o - 32 = 3*x for o.
5
Let c be 3*(-5)/(-9)*3. Solve c = -2*p + 3*p + 2*h, -2*p = -2*h - 10 for p.
5
Let h(a) = 2*a**3 + a**2 - a + 1. Let u be h(1). Suppose 0 = -u*c - 5*t + 44, -2*c + 4*t = c - 8. Solve 4*o = -3*n - 4, -3*o + c*o - 22 = 3*n for o.
2
Suppose 6*a - 2*a - 76 = 0. Solve a = -5*d + b, d + 3*b - 7 = 2 for d.
-3
Suppose -12 = -2*j - 2*r, 4*r + 1 + 11 = 5*j. Let o = j - 6. Let a be (0 - (1 + -13)) + o. Solve 2*i = -5*z - 0*i + a, -z - 2*i = -2 for z.
2
Let z = 5 - 3. Suppose -5*m + 27 = -3. Suppose -2*r + 4*i = 0, -i = 3*r - m*i - z. Solve 6*c = 5*l + 3*c - 9, r*c + 12 = 5*l for l.
0
Suppose q = -5*c + 13, 3*q + 0*c - 13 = -2*c. Solve 