 = 0, 3*l - y = l + 12. Suppose 4*f + 3*p - 23 = 0, -p - 20 = -l*p. Solve 1 = f*j - 5 for j.
3
Let h be (-4 + 22/4)*24/9. Solve -4*v = -h - 0 for v.
1
Suppose -3*s = d - 14, -s = -4*d + s. Let k be d/5 - (-92)/20. Let r = 7 - k. Solve -r*v - 2 = -4 for v.
1
Let r(k) = -k**2 + 8*k + 12. Let h be r(9). Suppose 0 = 6*t - h*t. Suppose t = y + 2*a + 4, 4*y - 4 = a - 4*a. Solve y = -2*z - 0 for z.
-2
Let s = -1 + 5. Suppose -5*w - 24 = -s. Let q be w/14 + 23/7. Solve q*t + t = -16 for t.
-4
Let h(v) = 2*v**2 - 3*v + 1. Suppose 4*q + 2*r = 7*r + 23, q - 3*r = 11. Let x be h(q). Solve 3*j = 12 - x for j.
3
Let c(h) = -h - 1. Let x be c(1). Let k(u) = -u - 2. Let g be k(x). Solve 0 = r - g*r - 4 for r.
4
Suppose 4*o = 7*o - 9. Solve -o*h - 2 = -4*h for h.
2
Let r(h) = -h**3 - 3*h**2 + 3*h. Let q be r(-3). Let f = q - -9. Solve f = 2*c + 9 - 1 for c.
-4
Suppose -2*g + g = -2. Suppose -6*j + 40 = -g*j. Let v be (1/(-1))/((-2)/j). Solve -v*w - 15 = -0 for w.
-3
Suppose 4*r - 18 = -c, 3*r = -3*c + 15 - 6. Solve -r*g + 7 = -3 for g.
2
Let c(z) be the second derivative of -z**4/12 + z**3/3 + 3*z**2/2 - z. Let f = 12 + -9. Let s be c(f). Solve s = 3*r - 2*r - 3 for r.
3
Let r be (-2)/(10/3)*-15. Let v = 1 - 0. Solve 4*j - r = -v for j.
2
Let r be (-3)/(-3)*15/1. Suppose 2*m - 4*t = 12, 5*t + 3 = -2*m + r. Solve -2*b + m = -0 for b.
3
Let m be 5 + (-1 - 3) - -7. Suppose -5*q = -2*q + 15. Let d = q + m. Solve d*i + 5 = -1 for i.
-2
Let l = -6 - -7. Let r(d) = 3*d + 1. Let x be r(l). Solve f - x*f = -12 for f.
4
Let x(n) = -n + 5. Let b be x(4). Let h = -2 + 4. Solve -3 + b = -h*s for s.
1
Suppose 6 = w + 2*w. Suppose -n + w*a + 10 = n, -5*n + 13 = -2*a. Let f be n - (-3 - (-3 + 0)). Solve f = r - 4 for r.
5
Let l(a) = -a**2 - 11*a + 15. Let p be l(-12). Solve g + 0 = -p for g.
-3
Let h = 4 + 2. Let x = h - 6. Solve x*i = 3*i - 9 for i.
3
Suppose 24 = 4*q + 2*q. Solve 0 = q*b - 9*b for b.
0
Suppose -46 + 30 = -4*y. Solve -3*c - 3 = -y*c for c.
3
Suppose 0 = j - 8 - 0. Solve j = -4*u - 0*u for u.
-2
Let t(y) = -3*y. Let f be t(-1). Let k be 2 + -1*3 + 7. Solve k = 6*p - f*p for p.
2
Let z be (-3)/(-2)*(-16)/(-6). Suppose 3*y = 4*h - 2, 2*y + 2*y - z*h = 0. Solve -y*o = -7*o - 10 for o.
-2
Suppose -12 = 3*t - 9*t. Solve -4*p = t - 18 for p.
4
Let g = -2 + -1. Let s(u) = u**2 - u - 4. Let k be s(g). Suppose -t - k - 8 = 5*m, -8 = -3*t - m. Solve -2*b - 10 = -t*b for b.
5
Suppose -6*o + 3*o + 30 = 0. Let k be (-1)/3 + 3/9. Suppose 0*s + 3*s + 2*x - o = k, -2*s = -2*x. Solve s*m = -9 - 1 for m.
-5
Suppose 2*u = -3*u + 15. Solve 6 = -3*b - u for b.
-3
Let u = -120 + 120. Solve -4*q + u*q = 12 for q.
-3
Let q = -35 - -41. Solve 0 = -3*b - 9 - q for b.
-5
Let o be 2/(-14) + (-108)/(-21). Solve 0 = -o*f - 5 - 10 for f.
-3
Let d = -17 + 22. Solve 0 + 5 = -d*z for z.
-1
Let y be 2/6 - (2 - 116/12). Suppose -4*r + 3 = -13. Solve y = 2*k - r*k for k.
-4
Let c(d) = d + 3. Let z be c(0). Let y = 1 + z. Let k(j) = 3*j**3 - 4*j**2 + 3*j - 2. Let x be k(2). Solve -y*o = -0*o + x for o.
-3
Suppose 9*f - 25 = 4*f. Suppose -63 = -s - 2*s + 3*t, 84 = 4*s + t. Suppose 4*y + 5*l - s = f*y, -4*y - 9 = -5*l. Solve 25 = y*u + u for u.
5
Let h(o) = -o**2 + 7*o - 6. Let c be h(5). Suppose 13 = 6*y + 1. Suppose -3*k = c*z - 8, 4*z - 5*z = 3*k - y. Solve 5*u - 6 + 21 = k for u.
-3
Let o be (0 - 3) + -13 + 25. Suppose -o*a = -6*a. Let k(g) = -g + 1. Let l be k(-4). Solve a = -l*u - 5 for u.
-1
Let d be (-4 + -2 + 2)*-2. Solve 7 + d = 5*v for v.
3
Let l be 4/(-1 + (4 - -1)). Solve 4*o - 3*o + l = 0 for o.
-1
Let k(z) = 2*z**2 + 18*z + 28. Let o be k(-7). Solve o = -4*p + 13 + 3 for p.
4
Let a(n) = n**3 + 3*n**2 + 1. Let i be a(-3). Let c = 0 + -2. Let m = 7 + c. Solve i = 4*f + m for f.
-1
Let p(b) = -14*b. Let f be p(-1). Let a = f - 12. Solve a*y = -5 + 3 for y.
-1
Let w(u) = 5*u**2 - u. Let p be w(1). Suppose -7 + 19 = -p*m. Let n = m - -7. Solve 3 + 5 = n*h for h.
2
Let j be (-1)/2*-8 - 2. Suppose 0*t + j*t = 8. Suppose t*q = 8*q. Solve -i + 1 + 0 = q for i.
1
Suppose -4 + 6 = -2*k. Let y be ((-14)/(-4))/(k/(-4)). Let q be (y/(-21))/((-2)/9). Solve q*h = -0*h for h.
0
Suppose 0*q + 2*q + 8*q = 0. Solve 4*b = -4 - q for b.
-1
Let g(k) = -k**2 - 7*k - 4. Let x be g(-6). Suppose -136 = -x*v - 56. Suppose 0 = -5*w + v - 5. Solve 4*q + 5 + w = 0 for q.
-3
Let x be 96/24 - (-1 - -2). Solve k - 4 = x*k for k.
-2
Let g(v) be the first derivative of -v**2/2 - 1. Let d be g(-6). Let p(i) = 2*i + 3. Let q be p(0). Solve -q*o + o = -d for o.
3
Suppose -4*i - 2*t + 8 = 0, 3*i = 8*i + 4*t - 16. Let f be (-1)/2 - (-4)/8. Suppose f = -5*b + 4*b. Solve 2*p + b*p = i for p.
0
Suppose 3*q - 40 = -4*b, -2*b - 36 = -2*q - 7*b. Suppose 7*y - 3*y = q. Let i be (y/4)/((-4)/(-48)). Solve 0 = 4*u - 2 - i for u.
2
Let h = -3 + 15. Let a be (-3)/12 - 177/h. Let t be (-6)/(-8) + a/(-12). Solve 0 = -2*w + 6 + t for w.
4
Suppose l = 4*l - 3. Suppose 0 = 4*j - 4, -l = 3*v - 5*j - 5. Solve -10 - 2 = -v*z for z.
4
Suppose 5 = -3*r + r - 5*g, -2 = 5*r + 2*g. Solve -6*t + 7*t = r for t.
0
Let i = 18 + -16. Solve -i*w = -4 + 6 for w.
-1
Let i be (21/6 - 3)*2. Let l(p) = 3*p**3. Let y be l(i). Solve -y*g + g + 8 = 0 for g.
4
Suppose 0*r + 100 = 5*r. Solve -r = -7*m + 2*m for m.
4
Suppose 5*t = -3*c + 27, c - 28 = -5*t - c. Let s = t - 4. Solve s*o = -3*o + 15 for o.
3
Suppose 2*j - 60 = -2*j + v, 3*v = 0. Solve -3 = -3*b - j for b.
-4
Suppose -1 = -4*s - q - 0, 0 = 3*s + 4*q - 4. Suppose -3*p + y + 12 = -0*y, 4*p + 2*y - 6 = s. Solve 0 = p*t - 7 + 1 for t.
2
Let m(v) = -v**3 + 5*v**2 - v + 7. Let q be m(5). Suppose -3*r = 4*p - 7, q*r - 4 = -3*p + r. Let b = p - 0. Solve 3*u + b = 16 for u.
5
Suppose 0 = g - 4. Suppose 2*a + 2*q = 0, 2*a - 3*q = g*a. Let z = a - 0. Solve l = -z*l - 1 for l.
-1
Let c be -5*(1*(-3 - -6) - 4). Solve c*v = 2*v for v.
0
Suppose 0 = -n + 4 - 0. Suppose -4*f - 2*d + 98 = 0, n*f + 4*d - 88 - 4 = 0. Suppose -15 = -4*s + p, 3*s - 14 + 6 = 4*p. Solve s*j - f + 10 = 0 for j.
4
Let q be 16/10 - 1 - 77/(-5). Solve 6*i = 2*i - q for i.
-4
Let f be -3 + 0/(-4) + 5. Suppose 4*n - 8 = 2*n. Solve d + n = f for d.
-2
Suppose 6 = 4*k - 10. Suppose 3*b = k*b. Solve b*l - 4*l - 4 = 0 for l.
-1
Suppose -2*h + 9*h - 21 = 0. Solve -h = 5*s + 2 for s.
-1
Suppose -3*m - 103 = -4*c, 3*c - 7*m = -3*m + 79. Suppose 3*b - 5*z = c, -4*b + z - 1 = -6. Solve 7*v - 4*v = b for v.
0
Suppose z + 1 = -6. Let v be z/(-35) - 28/(-10). Solve c - 2 - v = 0 for c.
5
Suppose 5*q - 3*h = 1, 5 = -3*q - 5*h + 26. Let v(f) = -f**3 - 2*f**2 + 2*f - 3. Let t be v(-3). Suppose m = -u, 9 = -t*u - 3*u. Solve -c - q*c = -m for c.
1
Suppose -5*p = -34 + 9, 0 = 2*w + 4*p - 24. Let d = w - 2. Suppose 3 = -d*x + 3*x. Solve -4 = -k - x for k.
3
Let g = -22 + 28. Solve -g*z + 12 = -2*z for z.
3
Let a = -7 - -12. Suppose 2*z = -0*z + 20. Let p = -7 + z. Solve -o + a = p for o.
2
Suppose -4*u + o - 13 = 0, -6 = -2*u + 4*o - 2. Let j be u/(-14) - 104/(-28). Solve -d + 2*d = j for d.
4
Let z be 9/(-12) + 38/8. Suppose i + 3 = -3*g, 3*i = -i - z*g + 4. Solve 3*c - 3 - i = 0 for c.
2
Let d be 2 + -2*9/(-6). Solve -2*o + 5 = -d for o.
5
Let g = 96 - 93. Solve -g*f = -2*f for f.
0
Suppose 1 = v - 9. Solve -4*q - v = 6 for q.
-4
Let o = 17 - 17. Solve -4*m - 8 = -o*m for m.
-2
Suppose 10 = -4*g + 5*g + 4*z, -2 = -z. Let w be -1 - (-6 + -1 + 1). Suppose -3*i + w = -1. Solve -g - i = 2*x for x.
-2
Let s(q) = -q**3 - 3*q**2 + 6*q + 5. Let j be s(-4). Let l = j - -3. Let d(c) = -c**2 - 2*c. Let n be d(-2). Solve y - 3 + n = l for y.
3
Suppose -3 = -h - 1. Suppose -d - h = -2*d. Solve t = -d*t for t.
0
Let r(h) = -h**2 - 11*h - 10. Let q be r(-10). Suppose 5*d + 2*u = -3*u + 25, -4*u - 12 = q. Solve -i = 3*i - d for i.
2
Let g(m) = m - 5. Let b be g(7). Suppose 12 + 4 = b*i + w, -5*i = 2*w - 38. Suppose -3*s + 2*k = -k - 6, -5*k - 10 = 4*s. Solve 3*u + s - i = 0 for u.
2
Suppose 3*d + 8 - 56 = 0. Let o be 0/(-5) - d/(-2). Solve 5*n = n + o for n.
2
Suppose -x = 5*v - 2*v - 8, -v + x + 4 = 0. Let b = -1 + v. Solve 0 = 3*k - b - 1 for k.
1
Suppose 4*g = -g. Suppose 1 = d - 1. Solve d*c + 4 = -g for c.
-2
Suppose -2*v + 11 = b + 2, -4*b + 5*v - 3 = 0. Let l = b - 0. Let y(k) = -2*k - 6. Let f be y(-3). Solve f = 5*d - 2 - l for d.
1
Suppose 9 = -3*b + 4*z, 3*z = -3*