*n + 12 = l for n.
3
Suppose -8 = 4*c - 40. Let x be 0 - (-1)/(3/18). Suppose b + 10 = x*b. Solve -3*r - b = -c for r.
2
Suppose -2*w = -w - 5*y + 5, -3 = -4*w - 3*y. Suppose x = -3*x. Solve x = -k - 1 - w for k.
-1
Let n(l) = -l**2 + 2. Let i be n(0). Let t(v) = -4*v**2 + 4*v**i - 3*v**2 + 2*v**2 - 5*v. Let j be t(-5). Solve j = -h + 1 for h.
1
Let r be 18/(-171) + (-40)/(-19). Solve 0 = -13*h + 12*h - r for h.
-2
Suppose -6 = -2*d + 2*z, 4*d = 3*z - 13 + 30. Let v = d + -5. Solve -v*p + 1 = -2 for p.
1
Let q(y) be the first derivative of -y**4/4 + 2*y**3/3 + y**2 - 3*y - 2. Let z be q(2). Solve -3*i = -13 + z for i.
4
Suppose 24 = -4*t + 32. Solve -t*q = -4*q - 10 for q.
-5
Suppose 7*w = 2*w + 15. Suppose -l + 3*l + 4*h = 6, 0 = w*l + 3*h - 9. Suppose -2*d - 4*v + 2 = 6, l*v = 3*d - 12. Solve -m - d = m for m.
-1
Let j = 25 - 21. Solve j*x = x + 9 for x.
3
Let i be (-1*10/2)/((-34)/34). Solve -5 = i*q - 0*q for q.
-1
Suppose 45 = 2*a + a. Suppose 0 = -0*y - 5*y + a. Suppose 0 = -0*i - 5*i + 4*m + 12, 3*m = -y*i - 9. Solve i = -0*q - 3*q - 3 for q.
-1
Let p(y) = 6*y**2 + 0*y**3 - 4*y**2 + y**3 + y**2 + y. Let q be p(-2). Solve 0 = -2*w - q - 4 for w.
-3
Let w = 8 - 7. Let d = 7 - w. Solve 0 = 2*g - d for g.
3
Suppose 2*n + 6 = 3*n. Let s be (4/(-16))/((-4)/64). Solve m = s*m - n for m.
2
Suppose h = -3*f - f + 5, 0 = -f - 2*h - 4. Solve -f*k = 3 + 1 for k.
-2
Let r = -1 - -4. Let j(h) = h + 7. Let i be j(6). Let n = 19 - i. Solve 3*w + r = n*w for w.
1
Let z be ((-2)/(-2))/(3/60). Solve 7*q - 2*q - z = 0 for q.
4
Suppose 0 = 12*z - 0 - 12. Solve -z = y + 1 for y.
-2
Suppose -6*i + 10*i = 80. Solve 6*m + i = m for m.
-4
Let z(w) = -w + 1. Let i(j) = -2*j + 6. Let n be i(4). Let o be z(n). Solve -3*d + o = -3 for d.
2
Let l = 134 + -122. Solve -5*t = -9*t + l for t.
3
Let t(l) = -l**2 + 7*l + 3. Let g be t(4). Let c = g + -10. Solve d + 8 = c*d for d.
2
Let i(u) = -4*u - 32. Let q be i(-8). Solve q = -3*w + 7 + 8 for w.
5
Let a(g) = -7*g**2 - 2*g - 1. Let d be a(-1). Let j = 11 + d. Solve 28 = -j*q + 8 for q.
-4
Let g be (-9 + 3)/2 + 6. Solve 6 = g*i - 3 for i.
3
Suppose -t + 0 = -17. Suppose -4*o + 23 = -0*o + 3*k, 0 = -o - 3*k + t. Solve -5 = 3*f + o*f for f.
-1
Let k = 18 - 7. Let q = 14 - k. Solve -2*x = q + 5 for x.
-4
Let b = -26 + 36. Solve 0 = -2*u - 0*u + b for u.
5
Suppose 21 = -4*o + 7*o. Solve -o*i = -2*i - 15 for i.
3
Let r = 16 + -11. Solve 0*p = -5*p + r for p.
1
Let d = -110 + 114. Solve 6*a + d = 4*a for a.
-2
Let z(k) = k**2 - 4*k + 6. Let q be z(4). Let r = q - -2. Solve -a = a + r for a.
-4
Let t be (-1)/3 - 198/(-27). Solve 2 = -3*s - t for s.
-3
Let h = 13 - 12. Solve 0*w + w = h for w.
1
Suppose -2*x = 2*x - 40. Let c be 3 - (2 + -2)/1. Solve c*u - u = x for u.
5
Suppose u + 72 = -3*u. Let a = u - -11. Let c(p) = -p + 1. Let k be c(a). Solve -2*s - 2*s + k = 0 for s.
2
Let b = -32 - -34. Solve -o - 2 = b for o.
-4
Let d be (-4 - -4) + 0/(-2). Solve -4*w + 0*w - 12 = d for w.
-3
Suppose -5*b + 2*b = 0. Solve b = -s - 4*s for s.
0
Let f = -27 + 27. Solve -12 = -f*h + 3*h for h.
-4
Suppose 2*b - 8 = 0, -q - 2*b + 33 = 4*q. Let m = 3 + 1. Let f be (-2 - -1)*(1 - m). Solve -f*h = -q*h for h.
0
Suppose 10 = 2*w, 4*s + 2*w = 10 + 8. Solve s*b + 12 = -b for b.
-4
Suppose -5 = -v + z - 2, 4*v = -4*z + 4. Let k be (1 - 1)*v/(-4). Let t be (k + 6)/(8 + -6). Solve -t*h + 4*h + 2 = 0 for h.
-2
Let a = 24 + -4. Solve -t = 4*t + a for t.
-4
Let f(s) = 5*s - 1. Let n be f(-1). Let d(t) = t + 9. Let x be d(n). Solve -x*k - 2 = -2*k for k.
-2
Let s be ((-48)/80)/((-1)/5). Solve -2*r = s*r - 5 for r.
1
Let j(g) = -3*g**3 - g**2 + 1. Let o be j(-1). Suppose 3*h - h = 96. Suppose h = o*f + f. Solve f = 4*z - z for z.
4
Let w = -1 + 1. Suppose t + w*t = 2. Solve l = t*l + 5 for l.
-5
Let z be (-12)/(-9)*(-12)/(-8). Solve 4*k - 6 = -z for k.
1
Let i be (8/(-6))/(3/(-45)). Suppose 5*s = s + i. Solve 0 = -s*o + 2*o for o.
0
Let g(b) = -b**2 - 5*b - 4. Let w be g(-4). Solve 4 = -2*l - w for l.
-2
Suppose 0 = -n - 5*y + 26, -n - 3*n + 20 = -y. Let t be -4 - -2 - (-1 - n). Solve -3*d + 20 = t for d.
5
Let h(v) = v**3 - 6*v**2 + 5*v + 7. Let m(o) = o**3 + 6*o**2 - 8*o - 2. Suppose -2*p = -5*p - 21. Let b be m(p). Let g be h(b). Solve 4*a = g - 19 for a.
-3
Let o = 115 - 110. Solve -o*g + 0*g = 0 for g.
0
Suppose -2*v + 25 = 3*v, -3*v = -4*h - 15. Let a be ((-8)/(-20))/(2/(13 + -3)). Solve h = -c - a*c + 6 for c.
2
Let n(r) = -3*r - 3 + 9*r**2 - 8*r**2 + 0*r + 5*r. Let s be n(-3). Solve 0 = 2*d - 8 - s for d.
4
Let p(z) = z**3 - 12*z**2 - z + 14. Let q be p(12). Solve -q*k + 4 + 0 = 0 for k.
2
Let m be -1 + (-1)/(2/(-6)). Solve m*k + 16 = 6*k for k.
4
Let q be 3 + -3 + (1 - 21). Let m be ((-4)/(-6))/(q/(-270)). Solve -6 = 3*x + m for x.
-5
Let i(f) be the second derivative of f**4/12 + 4*f**3/3 - f**2 - 4*f. Let o be i(-9). Solve 5 = -3*m - o for m.
-4
Suppose -4*j + 26 = y, 2*j = -2*y + 9 + 7. Let w be 1*(-2 + j/2). Let q(s) = 3*s**3 + s - 1. Let d be q(1). Solve -w = z + d for z.
-4
Let s be (-5 - 0) + 7 + 0. Solve -6 = 4*b + s for b.
-2
Suppose -4*y + 2 = -5*y. Let j(v) = v**2 + 2*v. Let t be j(y). Solve t = x - 5 + 2 for x.
3
Let q = -6 + 11. Suppose 0 = -4*g + 5 + 3, -2*x = -q*g - 2. Solve -x - 9 = -3*y for y.
5
Suppose 4*r + 2*d + 4 = 0, 3*r + 1 = 4*d + 20. Let w(p) = -2*p**2 + 3*p**3 + p + 6*p**3 + p**3. Let i be w(r). Solve 0 = 2*j + 1 + i for j.
-5
Suppose -2*j = -5*q - 28, 4*j + 3*q = q + 8. Suppose 1 = j*g - 5*n, 6*n - n - 7 = 2*g. Let u be (-2)/(g/(-3 + 1)). Solve -1 = -2*c + u for c.
1
Suppose 4*i + 4 = a - 1, -4*i = 3*a + 1. Solve -a = -2*j + 9 for j.
5
Let a(w) = -w**2 - 4*w + 2. Let z be a(-4). Solve z*k - 3 + 5 = 0 for k.
-1
Let t(p) = -p**2 - 2*p + 1. Let l be t(3). Let r = l - -16. Solve -v = -r*v + 5 for v.
5
Let m be (-1)/(-1 + (-14)/(-16)). Suppose 0 = 3*a + 3*y + 6, -a + 2*y = -2*y - 8. Solve 4*j = -a*j + m for j.
2
Suppose -15 = 3*a + 5*b, 5*a + 7 + 8 = -5*b. Let m = 14 + -14. Suppose 3*l + 14 = 2*d - 1, m = -l - 5. Solve o + a*o + 3 = d for o.
-3
Let m(v) = -3*v + 19. Let x be m(6). Suppose 5*u - 2 = 23. Let h be (-1 - 1) + u + 1. Solve -h + x = -k for k.
3
Suppose -5*j + 11 = 16. Let v be (j - (1 - 0)) + 6. Solve -q - 1 = -v for q.
3
Let v = -9 - -8. Let g be 3/(v + 0)*-1. Suppose -g*z - 5*r + 24 = -r, -4*r = -12. Solve 11 = -3*o - z for o.
-5
Suppose d = 7 - 2. Let q(f) = f**2 - 3*f - 7. Let i be q(d). Solve -a - 2*a = -i for a.
1
Suppose -k = 3*b - 14, k + 2 = 5*b - 0. Suppose 3*z - 10 = 2*p - p, -4*p + k = 0. Solve 5*o = z - 19 for o.
-3
Suppose -7*b + 9*b - 10 = 0. Suppose -3*n + b*n - 18 = 0. Let r = -1 + 1. Solve -3*y + 6 + n = r for y.
5
Suppose l + 3 = 7. Solve -m = -l + 9 for m.
-5
Suppose 0*c = 3*c - 12. Suppose -2*a = -c*a + 10. Let m = a - 0. Solve 3*s + 10 = m*s for s.
5
Suppose 2*z + 0*z - 3*f + 1 = 0, -2*f + 10 = 0. Solve z = 2*c - 3 for c.
5
Suppose 0 = -5*v - 4*z - 1635 - 566, -4*z + 445 = -v. Let k be (v/(-35))/(9/30). Solve 5*c + 17 = k for c.
5
Suppose 0 = y + 5*c - 3, 5*y - 2*c - 28 = 14. Let z be -3 - 15/(-6)*y. Solve 3*m - z = -2 for m.
5
Let z(d) = -2*d. Let r be z(-1). Suppose -r*q = -3*q - 5. Let w be 3*(-1 + q/(-3)). Solve 0*f = -w*f for f.
0
Suppose 6 = -x + 26. Suppose 4*c = 1 + 83. Suppose -3*b = -5*d - c, 3*b + 4 = -5*d - 5. Solve -x = -3*q - b*q for q.
4
Let q be 2 + -2 + (-6)/(-3). Suppose -4*k + q*o + 8 = o, 4 = 2*k + o. Solve 0*r - 2*r + k = 0 for r.
1
Suppose -5*m = -6 - 4. Suppose p + 0 = m. Suppose p*x = -x + 15. Solve x = -5*h + 25 for h.
4
Let y(s) = s**2 + 10*s + 13. Let c be y(-9). Let r = 1 + 4. Solve -r = -c*f + 11 for f.
4
Suppose -6 + 2 = 4*r. Let w(q) = -3*q - 1. Let n be w(r). Solve n = z - 1 for z.
3
Suppose 6 + 6 = -w. Let n = w + 17. Suppose n*j - 7 = 13. Solve a - j = -0*a for a.
4
Suppose -11 = 4*i - 31. Let k be 2/(-3)*(-2 + i). Let c be (-12)/10*5/k. Solve -u - 4 = -c*u for u.
2
Suppose 2*v + 19 = 3*b, -3*b + 25 = -0*b - 5*v. Solve 15 + b = 4*t for t.
5
Suppose -2*x - 6 = -5*t, 8 = 2*x + 2*t - 0. Solve -7*f - x = -5*f for f.
-1
Let f(q) = 6*q - 3. Let k be f(1). Solve 0 = -2*b + 3 + k for b.
3
Let b be ((-7)/2)/((-2)/(-4) + -1). Solve 3 + b = 2*n for n.
5
Suppose -2*j + 16 = 3*x + 3*j, -x + 5 = 2*j. Suppose r - 1 = 2. Solve -r*t + 5 + x = 0 for t.
4
Let z(m) = m**3 -