 3 for l.
-4
Let i(s) = -3*s - 14. Let o be i(-6). Solve -o = 4*p - 0 for p.
-1
Suppose -i = 2*b - 4, -4*i - 13 = -5*b - 3. Solve 5*v + 3 = -b for v.
-1
Suppose 0*i - 5*i = 2*s - 14, 2*i - 3*s + 2 = 0. Solve -12 = -i*a - 2*a for a.
3
Suppose -2*w - 5*n + 1 = -4*w, -4*n = -3*w + 16. Solve -d + w = 2*d for d.
4
Suppose 24 + 0 = 3*q. Solve 33 = 5*b + q for b.
5
Suppose r + 0 = -5*w - 1, 5*r - 2*w - 103 = 0. Suppose 2*s - r - 19 = 0. Solve s = 5*g + 44 for g.
-5
Suppose 36 = 2*l + 12. Let b = 22 - l. Solve 0 + b = 5*j for j.
2
Let t(y) = -3*y**2 + 29*y + 10. Let h be t(10). Solve 5*q - q - 16 = h for q.
4
Let m(b) = -6*b. Let x be m(-1). Let z = x + 0. Solve 5*f = z + 9 for f.
3
Suppose 3*f + 5*s + 11 = 0, f = -s - 2*s - 9. Suppose -4*b = -4*y + 32, 3*y = -5*b - 0*b - 8. Solve -y = -f*v + 2 for v.
2
Let i = -1 - -1. Suppose i*b = 3*b + 21. Let r = 11 + b. Solve -1 = r*o - 9 for o.
2
Suppose -5*l - 3*s - 48 + 16 = 0, -s = -3*l - 8. Let t be (0*(-2)/l)/(-1). Suppose -y - 3*y = t. Solve y + 4 = 4*a for a.
1
Suppose 0 = b + 2*d - 22, -5*b - 2*d + 50 = -4*d. Let l be (0 - -3*2)/(-1). Let k(g) = g + 9. Let h be k(l). Solve -b = -h*y - 0 for y.
4
Let x(m) be the first derivative of -5*m**4/4 + m**2 + m + 2. Let d be -1*4/16*4. Let t be x(d). Solve 15 = t*f + 3 for f.
3
Let t(q) = -q**3 - 6*q**2 - 5*q + 4. Let x be t(-5). Solve -x*w + w = 0 for w.
0
Suppose 2*n - 35 = -5*n. Solve -n*x = -15 - 5 for x.
4
Let s(g) = g**2 + g - 1. Let l be s(2). Let c(u) = 4*u**3 - 3*u**2 + 2*u - 3. Let y be c(2). Let r(i) = -11*i + 177. Let f be r(16). Solve f = l*k + y for k.
-4
Let m(k) = -k**2 + k + 1. Let t be m(2). Let f = t - -4. Let s = 24 - 8. Solve s = -q - f*q for q.
-4
Let v = 3 - 2. Let c be (-86)/(-5) + v/(-5). Suppose c = g - m + 4*m, -5*m + 19 = -3*g. Solve 0 = g*o + 2 + 2 for o.
-2
Suppose 11 = 3*a - 19. Solve a = 6*q - q for q.
2
Let l be ((41 - -4)/3)/1. Let v = l - 3. Solve v = -3*r - r for r.
-3
Suppose 0 = -7*x + 24 - 10. Solve 2*t = x + 4 for t.
3
Let m(j) = 3*j**2 - 4*j + 2. Let n be m(3). Let r(w) = -w - 17. Let g be r(-9). Let h = -8 - g. Solve -5*a + 8 + n = h for a.
5
Suppose -4*z + 8 = -2*z - 2*i, 3*i + 18 = 4*z. Suppose -7 = -4*l - 5*g + 5, 0 = -2*l - g + 6. Solve l*c - z = -3 for c.
1
Let q(n) = -2*n + 1 + 3*n - 2*n + 6. Let b be q(7). Solve -z + 1 = -b*z for z.
1
Let u = 2 - 4. Let d be (u/(-5))/((-3)/(-15)). Suppose 0 = v - d*v + 2. Solve -s = s - v for s.
1
Suppose 12 = -4*u - 4. Let b = u + 6. Suppose 2*s - b = 0, 7*s = 4*o + 4*s - 9. Solve 2*r - 5 = -o*r for r.
1
Let j = 1 + 5. Let z = 9 - j. Solve -a = -0 + z for a.
-3
Suppose -z - 8*z = -6*z. Solve 6*c - 4*c - 2 = z for c.
1
Suppose -3*q + 2 = 5*h + 7, 3*h + 5*q + 19 = 0. Solve -2*z - 6 = h for z.
-4
Suppose -2*h + 2 = -h. Suppose 7 + h = 3*c. Solve d + c = -1 for d.
-4
Let o = -7 - -10. Suppose n = -o*n + 12. Solve 0 = n*c - 8 - 1 for c.
3
Suppose 0*n + 4*f + 26 = -5*n, -5*n + 3*f + 2 = 0. Let r be n/7 + 14/49. Solve r = v + 4 - 3 for v.
-1
Let t = 16 + -5. Suppose 3*z = -5*f + 67, f = -z + 6*f - t. Solve 0 = -2*n + 4 - z for n.
-5
Let a(q) = -6*q - 2. Suppose 4*f - f + 3*l - 6 = 0, 4*f + 2*l = 0. Let b be a(f). Let m = -3 - -4. Solve m = 3*n + b for n.
-3
Let h(u) = -u**3 - u**2. Let p be h(0). Suppose p = s + 3*s. Solve -5*l - 16 - 4 = s for l.
-4
Let y(o) = -o**3 + 7*o**2 + 7*o + 11. Let a be y(8). Suppose 5*z - 99 = -0*d - d, -61 = -a*z + d. Suppose -2*t = 3*t - z. Solve -t*s + 10 = s for s.
2
Suppose -3*t + 8*t = -15. Let y be 3*(-4)/12*t. Solve 18 = -5*u + y for u.
-3
Let j(n) = 3*n + 20. Let h be j(-6). Solve -5*a + h*a - 15 = 0 for a.
-5
Suppose 4*n - 24 = -0*n. Let v(t) = n*t + 1 - t**2 - 6*t + t**3. Let l be v(1). Solve 3*i - 2*i - l = 0 for i.
1
Let a(o) = 13*o + 1. Let t be a(1). Let f be ((-2)/(-3))/(t/63). Solve 2*i = 3*i + f for i.
-3
Let r(s) = -s**2 - 2*s - 1. Let c be r(-1). Suppose -m = -c - 11. Suppose 0 = -2*z - 1 + m. Solve -2*g = -z*g - 15 for g.
-5
Let x(l) = -l**3 - 8*l**2 - l - 3. Let b be x(-8). Let v = 5 - b. Let c be (-4)/(-3 - (-2 - -1)). Solve v = -4*m + c + 2 for m.
1
Let d(l) = -l**2 + 2*l + 11. Let t be d(4). Suppose x = -5*z - 10, -4*x + 0*x = z - 17. Let m = z + t. Solve 5*j - j - 8 = m for j.
2
Let c = 3 - -21. Suppose 3*n = 5*n - c. Solve -2*s = s + n for s.
-4
Let t be (-52)/(-14) - ((-16)/(-56))/(-1). Solve -5 = -3*x + t for x.
3
Let o = -4 + 4. Let y(f) = f + 4. Let d be y(-4). Suppose d*u = 2*u - 10. Solve n = -o*n + u for n.
5
Suppose 5*m - 3 - 5 = 2*l, -l + 2*m - 2 = 0. Suppose 3*p + n + l = -2*n, -2*n - 10 = 0. Solve p*s = 5*s - 8 for s.
4
Let m = 28 + -28. Let d be -4*((-1)/2 - m). Solve -5*v + 3*v = -d for v.
1
Let g(u) = -u**3 + 6*u**2 + 9*u - 9. Let h be 0 + 3 + (7 - 7). Suppose -5*q = h*k - 36, 9 = -0*q + 3*q. Let r be g(k). Solve 4*t + 1 = r*t for t.
1
Suppose -6*c = -2*c. Let z be (-162)/(-21) + 2/7. Suppose 5*m - z*m = -15. Solve -m*y = -25 - c for y.
5
Let s be (-75)/5*2/6. Let z = s - -8. Solve c = z*c for c.
0
Suppose 45 = 3*z - 0*z. Solve -3*s = 3 - z for s.
4
Let x = -18 - -23. Let z(u) = u**2 - 5*u. Let t be z(x). Solve 3*a + a - 8 = t for a.
2
Let v(g) = g**3 - 4*g**2 + 5*g - 4. Let s be v(3). Solve 2*c = -s*c - 16 for c.
-4
Let u(m) = 4*m. Let k be u(1). Let a(j) = -j**2 + 4*j + 2. Let b be a(k). Suppose z = b*z. Solve -4*g + 2*g = z for g.
0
Let u be 137/15 + (-2)/15. Solve 6*c - 3*c = -u for c.
-3
Suppose -3*u + 2*u + 3 = 0. Suppose 0*f - 1 = -v - 4*f, -2*f - u = -3*v. Solve -11 - v = -4*w for w.
3
Let u be -2 + 0 - (-4)/1. Suppose 0 = -u*f + 3*f. Suppose 3*d + 5*z = 8*d - 15, -5*z - 3 = d. Solve 3*m - 5 + d = f for m.
1
Let p(j) = j**2 + 2*j. Let r be p(-2). Let i(s) = 3*s**2 + s - 1. Let o be i(1). Solve r = -3*a - o for a.
-1
Let h(n) = -n**2 + 3. Suppose 3*k - 9 = -3*f, 5 - 20 = 2*f - 5*k. Let d be h(f). Suppose -3 = -3*l - 2*j, 4*l - 3 = -l - 4*j. Solve 0 = l*w + 6 + d for w.
-3
Let b(y) = -y**2 + 12*y - 15. Let r be b(10). Solve -7 - r = 4*j for j.
-3
Suppose 10*p - 4 = 5*p - 2*s, 0 = -2*p + s - 2. Suppose p*r = -r + 2. Let y be 2/(-4)*(0 + 0). Solve y = -r*d - 2*d + 8 for d.
2
Suppose -4*m - 20 = 16. Let c = m - -14. Solve c*x = -15 - 10 for x.
-5
Let v(f) = -2*f**2 - 8*f - 2. Let i be v(-3). Solve i*d + 5 = -d for d.
-1
Let j(m) = -2*m + 5. Let d be j(5). Let a be (2/d)/(2/(-50)). Solve 3*r = r - a for r.
-5
Let w(h) = -h + 2. Let f be w(-5). Let a be 5 - (-2 - f)/(-3). Let q = a + 3. Solve q = 3*c + 2*c for c.
1
Suppose 3*z - 24 = -z. Let b be (5 - z) + 0 + 3. Suppose 3*j = -v + 7, -j + 1 = -b*j - 2*v. Solve 0 = j*o - 5*o - 2 for o.
-1
Let z = -8 + 12. Suppose -z*b + 10 = -2*b. Solve 2*w = w - b for w.
-5
Let i(t) = -t + 1. Let n be i(4). Let c(q) = q + 1. Let w(u) = 7*u + 7. Let j(l) = -24*c(l) + 3*w(l). Let g be j(n). Solve 4*d + 2 = g for d.
1
Suppose -4*f + 0*f = -7*f. Solve f - 1 = -t for t.
1
Let q be (-12)/(-8) + (-15)/(-2). Solve 5*n - 1 - q = 0 for n.
2
Suppose -27*g = -30*g. Solve g = -3*n - 1 + 10 for n.
3
Let h be 3 + (1 - 8) + 0. Let o(x) = 7 - 3*x - 3 - 6 + 2*x. Let k be o(h). Solve k*y = -y for y.
0
Let t be (2 - 0)/(-6)*-3. Let n = 1 - t. Suppose -6 = -2*w + 2*h, -w - w - 4*h = 0. Solve -w + n = -i for i.
2
Suppose 44 = 4*b + d + 4*d, 2 = 3*b - 4*d. Let s be (-7)/(-1) + (-18)/b. Solve y = -y - s for y.
-2
Suppose 0*g = -5*l - 4*g + 1, 0 = 5*l + 3*g - 2. Let u = 3 + l. Suppose -4*t - t + 5 = 0, u*z + 5*t = 29. Solve -2*w - z - 2 = 0 for w.
-4
Suppose 4*k - 23 = 9. Let n be (-12)/k*(-10)/3. Suppose -4*u + n = -3. Solve -u - 2 = 4*t for t.
-1
Let h(p) = p**3 - 3*p**2 + 3. Let i be h(3). Suppose 8*x = 6*x + 4. Let w = 3 - 2. Solve i*n = x*n + w for n.
1
Suppose -3*c + 7 = 2*y, -3*c + 7*c = -y + 1. Let r = 30 - 15. Solve -y*n - r + 5 = 0 for n.
-2
Let x be -1*(-6)/5*(-40)/(-6). Solve 4*y + 20 = x for y.
-3
Suppose -5*w = 5, 0 = 3*f - f - 5*w - 9. Let p be f/8*(16 + -12). Solve -y + 6 = p for y.
5
Suppose c + 3 - 4 = 0. Suppose m - 3*n - 9 = -2*m, 2*n = 3*m - 7. Solve g = -m - c for g.
-2
Let a be -17*(-3)/6 + 7/14. Solve -5*n - a = -4 for n.
-1
Suppose -3 = -4*z - 43. Let p(u) = -u**3 - 11*u**2 - 12*u - 6. Let k be p(z). Suppose 4*g + 7 = -i, 0 = 5*i - 4*g - 23 - k. Solve -10 = i*r + 10 for r.
-4
Suppose -7*p = -6*p + 20. Let a be (5*-1)/(4/p). Solve -m - a = 4*m for m.
-5
Let d be (-6)/12*(-52)/2. S