3 - 5 = 2*a + v*l for a.
3
Let g be (-2)/5 + 4/10. Suppose s - 3 + 0 = g. Suppose -s*j + 2*j = -6. Solve 5*q = -2*v - 9 - j, 5 = -2*v - 3*q for v.
5
Let c = -120 - -122. Solve 3*d - 6 = 5*d + i, 0 = 5*d + c*i + 15 for d.
-3
Suppose 4*q = 9*q. Solve j + 7 = 4*i, q*i + 3*i - 15 = 4*j for j.
-3
Suppose -3*l = -c + 1, 0 + 1 = -2*l + c. Suppose 2 = 2*g + 38. Let r = g + 38. Solve 3*h + 6 = -l*o - 3*o, r = 5*h - o for h.
3
Let g(y) = 2*y - 1. Let j be g(3). Suppose -5*n = -5*i - 25, -3*i - 2*n - j = -3*n. Solve -5*a - 20 = -i*a, a + 1 = -k for k.
3
Suppose -4*m + 16 + 0 = 0. Suppose 5*o + 2*v - 30 = 0, 4 - 24 = -4*v. Suppose 8 = 3*a - o. Solve -a*y = m, -y - 8 = 5*f + 13 for f.
-4
Let v be 2 + (-4 + 2 - 0). Solve v = -3*a + 12, -2*t = -4*t - 4*a + 24 for t.
4
Let k be (-2)/((-6)/(-15)) + 2. Let g be (3/(-6))/(k/36). Solve 0 = -2*v + 4*v + 2*s + 6, 2*v + g = s for v.
-3
Let t be 4/(-14) + 65/7. Suppose 0 = 2*l + k - t, 3*l + k = -2*k + 15. Solve r = l*b + 4, -3*b + 2*b - 1 = 5*r for r.
0
Suppose 4*t + 100 = 9*t. Let s = -17 + t. Solve -5*b = -w - 23, 5*w - w - s = b for b.
5
Let b(c) = 0*c**2 + c**2 - 2*c**2 + 6*c. Let u be b(5). Solve -5*a + 0*a + 29 = -2*x, -25 = -3*a + u*x for a.
5
Suppose -4*o + 61 + 15 = 0. Solve 0*w + 2*w - 5 = 3*g, 0 = -5*w + g + o for w.
4
Suppose -5*n + 24 + 11 = 0. Solve 4*p + 6*k - n = 3*k, p = 2*k - 12 for p.
-2
Let s(i) = i**2 - 8*i + 7. Let o be s(7). Suppose -5*m - 5*f + 20 = o, -5*f + 6 = 4*m - 6. Solve -l - 4*l - 20 = 3*h, 0 = -2*l + 5*h - m for l.
-4
Let d be -13 + 17 + (-1 - -1). Let b be ((-2)/(-5))/(1/15). Let v(r) = r - 4. Let a be v(b). Solve 0*p = p - d, -k = -p + a for k.
2
Let m(p) be the first derivative of p**2/2 + 12*p + 2. Let u be m(-9). Solve 3*w + u*o + 3 = 0, 2*w + 2*o = 3*o + 10 for w.
3
Let t = 3 - 1. Suppose o + t*o + 36 = 0. Let f be (o/(-8))/((-2)/(-16)). Solve f = 3*x + 3*h, -x - 5*h = -0*x - 12 for x.
2
Let s = 15 + -15. Solve -4 = -2*w + j, 0 = -s*w - 4*w + 4*j + 16 for w.
0
Suppose 0 = -5*t + 7*t - 22. Suppose -5*k - t = -31. Suppose -k*m - u + 71 = 4*u, 4*u + 42 = 2*m. Solve -2*d - 8 = -q + 4, 2*q - m = 3*d for d.
-5
Let h = 5 - 0. Suppose -h*u = 5*a - 70, 8*u - 3*u = -2*a + 64. Suppose q + u = 4*q. Solve -2*d = -10, 2*s + 4 + 20 = q*d for s.
-2
Suppose 2*x + 21 = 5*q, -x - 4*q + 28 = 3*x. Suppose f - x - 2 = 0. Suppose -r + f = r. Solve 2*c - 6 = -2*i - 0, -r*c - 10 = -2*i for c.
-1
Suppose -6*u + 8 = -10*u. Let d be u - (2 + -13 - 0). Let r be 2/(-7) + 48/21. Solve 4*k + 0 - d = -w, r*w = -6 for k.
3
Suppose 0 = -6*i - 0*i + 12. Solve i = 4*o + v - 7, -10 = -2*v for o.
1
Let j = 53 + -27. Solve -5*l = -3*p + j, l - 3*p = -16 + 6 for l.
-4
Let h be (44/(-55))/((-4)/10). Let w be (0 - h)*(-5 + 3). Solve -8 = -w*y + 5*k, y + 2*y = -k - 13 for y.
-3
Let w be 2/3*1*3. Suppose -4*m - 10 = -b, -4*b - 3*m - w*m - 23 = 0. Let n = 2 + b. Solve n = 7*l - 3*l - k + 8, -k = 3*l + 13 for l.
-3
Let t = 21 + -18. Solve 2*u + 18 = -4*o, -o + 2*o - t*u - 13 = 0 for o.
-2
Let p = -2 - -3. Let y(v) = v**2 + 4*v + 4. Suppose -d + 8 = -3*d. Let u be y(d). Solve -p = m + 4*t, -u*t + 7 = 4*m + t for m.
3
Let i = 1 - -4. Suppose -13 = -k - i*w + 3*w, -3*w - 3 = -3*k. Solve 4*c + 4*g + 4 = 0, g + 3*g = k*c + 32 for c.
-4
Let k = 4 - 1. Suppose 0 = u - 1 - k. Let l = u + 1. Solve 4*m + 24 - 6 = -l*w, -4*w = -5*m - 2 for m.
-2
Let s be 2/12 + (-2 - (-29)/6). Solve l + 3*a = 0, 7*l = s*l + 2*a + 14 for l.
3
Suppose 2 = 2*j - 2*v, -3*j - 8*v + 35 = -3*v. Solve -6*h + h = j*m - 15, h = -2*m + 7 for m.
4
Let x(k) = 2*k. Let t be x(1). Solve -2*a + t = 5*s - 18, 2*a - 5*s = -20 for a.
0
Let k(q) = -q**3 + 5*q**2 - 4*q + 5. Let u be k(4). Solve -m - 1 = -2*d, m + u*d - 7 = 2*m for m.
3
Suppose 3*j + 4*d - 4 = 2*j, 5*j - 5*d + 5 = 0. Solve k - 5 = -3*t + 2*k, 2*t - 3*k - 8 = j for t.
1
Let n be (-17)/2 - 3/(-6). Let z = -5 - n. Solve 2*m = -j - 6, 2*m + 2*j + 2 = z*m for m.
-2
Let z = -8 - -12. Let b = 9 - 5. Let r(l) = -l**3 + 5*l**2 - 2*l - 3. Let m be r(b). Solve 5*v + 12 = -t, -m*v - 12 - 6 = z*t for v.
-2
Let v(z) = -z**3 + 2*z**2 + 4*z - 6. Let w be v(2). Solve 12 = c + c + 2*d, 0 = w*c + 3*d - 16 for c.
2
Let u(z) = -z**2 + 3*z + 1. Let c be u(5). Let h = 4 - -10. Let m = h + c. Solve 3*y + 8 = 4*v, -m*y + 4 = 3*v - 2 for v.
2
Let z = 19 - 52. Let i be 6/33 - 192/z. Solve 0 = -2*o - 5*u + i, 4*o - u - 12 = -2*u for o.
3
Let x(d) = d**2 + 9*d - 5. Let w = 5 + -15. Let n be x(w). Solve 2*h + n*o + 6 = 0, -h - 3*o = 2 + 2 for h.
2
Let a = 222 + -220. Let h(u) = u - 2*u + 15 + 5. Let d be h(0). Solve 0 = 4*f - d, 1 = t + a*t + 2*f for t.
-3
Suppose 0 = 2*c + 5*d - 23, -4*c + d = 5*d - 28. Solve -3*x + c*k = x, -2*k = -3*x - 3 for x.
-3
Suppose 0 = -5*j + 16 + 4. Suppose -3*b + 5*h + 40 = 0, -14 = 2*h - j. Solve 5*n = -5*o, 8*n + 4 = 5*n - b*o for n.
2
Let q be 2*(6 - (-20)/(-5)). Solve -4*a - 10 = -u, -u - 9 = -q*u + 5*a for u.
-2
Suppose 3*k = 2*o - 1 + 6, o - 14 = -4*k. Let d be 10/(-3)*k/(-2). Solve 2*w = 4*p + 12, p + 3*p + 26 = -d*w for p.
-4
Let v = 30 + -27. Let o(r) = -r**2 + r + 1. Let h be o(-3). Let x = 27 + h. Solve -v*w = 4*k + x, 3*w + 0 = 4*k - 8 for k.
-1
Let z(a) = a - 10. Let d be z(15). Solve 0*r + 5*t - 35 = 5*r, -2*r + d*t = 23 for r.
-4
Suppose -14*s = -10*s - 20. Solve -2*t + 2*i + 4 = 0, -24 = s*t - 2*t + 3*i for t.
-3
Let b be ((-5)/2 + 1)*2. Let f = b - -8. Suppose -8 = -n - 5*z - 28, 4*n - 5*z = 45. Solve -n*r + 4 = -c + 31, -2*r - f*c = 0 for r.
-5
Let q(t) = t**2 - 13*t + 17. Suppose -n - 13 = -p - 2*n, -2*p - 5*n + 29 = 0. Let i be q(p). Solve 2*a - i*c + 13 + 3 = 0, -a - 3*c = -14 for a.
2
Let c(a) = a**3 - 8*a**2 + 9*a - 1. Suppose -5*n + 0*n + 35 = 0. Let i be c(n). Solve 0 = 5*t - r + i, 14 = 4*t - 6*t - 4*r for t.
-3
Let i(n) = -15*n + 9. Let r be i(-6). Let v be (-1)/2 - r/(-18). Solve 0*w - v*w + 11 = 4*j, -j = -3*w + 10 for j.
-1
Let i = 11 - 10. Let j be ((0 - -3) + 0)/i. Solve -3*a = 3*v - 1 - 2, -j*a + 4*v = 11 for a.
-1
Let s(a) = a**2 + 15*a + 3. Let b be s(-10). Let z = -25 - b. Solve -z = 4*r - 6, -2*u - 2*r + 2 = 0 for u.
5
Let z be 3/(-6)*-6 - 1. Suppose -3*g = -z*y + 84, 3*y - 111 = 2*g + 2*g. Let o be (6/(-9))/(4/g). Solve -5*b = 5*x - 15, -4*b - 7 + 24 = o*x for x.
5
Let i = -1 - -7. Suppose -4*m = -6*m + i. Solve 4*g - 2*g - 6 = 4*l, 4*l - 3*g = -m for l.
-3
Let g be 32/8 + 2/(-1). Suppose o - 20 = -3*q, -g*q + 4*q - 3*o + 5 = 0. Solve 7*b - 3*b = -q*y + 25, 0 = 2*y - 4*b - 10 for y.
5
Let p be -5 + (-420)/(-54) + (-4)/(-18). Solve -5*t + 8 + 9 = -p*r, -2*t = -r - 6 for r.
-4
Suppose 3*j + 2*y = 1, -13 - 5 = -2*j + 3*y. Solve 8 = d + r, -2*r + j*r = d - 2 for d.
5
Let t = 22 - 32. Let r be 40/(-4)*3/(-2). Let a = r + t. Solve 5*n = 10, -a*o = n - 4*n - 9 for o.
3
Suppose -12 = -3*k - 0*k. Suppose 0 = n - 2*m - 12, -5*m + 2 - 26 = -n. Let v be k/(-6) + n/6. Solve v*x = x - 1, 4*y - 6 = 2*x for y.
2
Let j = 5 + -5. Let f be 1 + j + 1 + 0. Solve 0 = -f*g + 5*b + 2, -2*g - 3*g + 5 = -5*b for g.
1
Suppose 138 = -l + 141. Solve 2 = -2*d, -2*f + f - l*d - 3 = 0 for f.
0
Let j(u) = u**3 - 6*u**2 - 5*u - 3. Let b be j(7). Suppose 5 = -s - 2*d, -3*d - 2*d - b = 3*s. Let p be (4/3)/(1/s). Solve 3*k = 5*y, -3*k = -p*y + k for y.
0
Let m(q) = q**2 + 2*q + 2. Let f = -5 - -2. Let a be m(f). Solve -19 = 3*i - 0*c - a*c, -5 = 3*i + 2*c for i.
-3
Let p be (-1)/(-6) - (-33)/18. Solve -4*t = -5*d + p, -3 = 6*t - 5*t for d.
-2
Let i(x) = -x + 4. Let s(j) = -6*j + 27. Let m(h) = -27*i(h) + 4*s(h). Let z be m(3). Let p(w) = -w + 9. Let k be p(7). Solve -k*u = 3*l - 9, z = 4*u - u for l.
1
Let k = 5 + -2. Solve 4*o + 27 = k*d, -20 = 6*o - o - d for o.
-3
Let o be ((-20)/(-35))/(((-8)/(-2))/28). Solve 4*s = -b, o*b - 2*s - 6 = 12 for b.
4
Let a = 4 - 2. Let c(m) = 4*m**2 + m**3 - 4*m + 3*m - 3 + 0. Let v be c(-3). Solve 0 = -3*i + q + 9, a*i + 2*q = 5*i - v for i.
3
Let g(r) = -2*r**3 + 13*r**2 - 4*r - 1. Let z be g(6). Solve 3*y + 3*i + 6 + 0 = 0, -4*i - z = 3*y for y.
3
Suppose 3*w - 8 = r, -7*w - 4*r = -2*w - 2. Solve -15 = h - 6*h, -h - w = q for q.
-5
Let m = -3 - -3. Let v be 4 - 0 - (m - -2). Let f be 34/6 - 18/27. Solve l = -f*t - 20, -2*t + 5*l - v*l = -9 for t.
-3
Let o be 4 - ((-1 - -2) + 1). Solve 6 = -3*b, 4 = -o*l - 2*b - 0*b for l.
0
Let k = 1 - -1. Suppose -2*d = -3*n + 4 