390)/70 - 8/(-14). Let f = 7 + l. Solve 0 = 4*d - f*d + 6 for d.
-3
Suppose 5*a + 4 = 7*a. Solve -a + 12 = 5*d for d.
2
Let q(n) = -n - 7. Let o be q(-8). Solve -4*i + 3 = -o for i.
1
Suppose -4*h + 15 + 9 = 0. Solve 2*c + c = h for c.
2
Let d(y) = -y**2 + 6*y - 3. Let l be d(5). Suppose 3*a - 2*v - 15 = -5*v, l*a + 5*v = 16. Solve -a*u + 1 = -4*u for u.
-1
Suppose 4*g + 4*a - 56 = 0, -5*a + 3 - 8 = 0. Suppose 2*l = 3*q - l + g, 5*l = -5*q + 15. Let y be (q/(-2) + 0)*2. Solve 4*z - y = 5*z for z.
-1
Suppose -10 = -11*k + 23. Solve -3 = k*b + 3 for b.
-2
Suppose -5 + 1 = -r. Suppose -3*p - 20 = -r*f, 0*f + 25 = 5*f - 2*p. Solve f*d = -4 - 11 for d.
-3
Suppose -2*p - 4*d - 6 = -2, -4*p = -3*d + 63. Let w = 13 - p. Solve -t = 4*t + w for t.
-5
Let g = -11 + 18. Let z(a) = a**2 + 3*a - 6. Let w be -1*(7 - (-2 - -4)). Let u be z(w). Solve 0 = u*m - 1 - g for m.
2
Suppose -2*j = 3*j - 15. Let o(v) = v**3 - 2*v**2 - 3*v. Let z be o(j). Let r(k) = -2*k - 6. Let c be r(-5). Solve -4*x + z - c = 0 for x.
-1
Let k(y) = 5*y**2 + 0*y**2 - 6*y + y**2 - 5*y**2 + 8. Let h be k(7). Let o be 20/h*(-6)/(-4). Solve -o*q = q + 15 for q.
-5
Suppose 3*w - 40 = -2*w. Solve -w = v + v for v.
-4
Suppose 5*f - 1 = 19. Suppose 0*p = 3*b + f*p - 34, -2*b + 4*p - 4 = 0. Solve -b*w + 2*w = -16 for w.
4
Let x(t) be the third derivative of 1/60*t**5 + 0 + 0*t**4 + 0*t - 2*t**2 + t**3 + 1/120*t**6. Let f be x(0). Solve -2*y + f = -4*y for y.
-3
Let q = -7 + 15. Let c(k) = -k**2 + 9*k - 5. Let s be c(q). Let n = -1 - -8. Solve -s*h = -n - 5 for h.
4
Suppose 0 = -3*h - 5*r + 48, 2*r - 4*r = -4*h + 64. Suppose -h + 0 = -j + 3*p, 0 = -p - 4. Solve -3 = j*l - 19 for l.
4
Suppose -4*n = -3*m + 16, 3*m = 6*m + n - 26. Solve -5*i + i = -m for i.
2
Suppose -4*o + 12 = -4*x - 16, 0 = -4*o + x + 13. Suppose -o*p + 100 = 24. Suppose -4*n + z + 28 = -1, 4*n = -2*z + p. Solve 0 = -4*g - 4 - n for g.
-3
Suppose -15 = -7*h + 4*h, -5*h = -q + 11. Suppose -2*x = 2*x + q. Let p = 15 + x. Solve -p = -3*i - 15 for i.
-3
Let q = -2 + 4. Let t be 9 - (q + -5 + 2). Solve -3*y - 5 - t = 0 for y.
-5
Let z = -2 - -6. Solve z*u - 1 = 7 for u.
2
Let a(z) = 16*z. Let k be a(-1). Let h = -22 - k. Let o be (-3)/h + (-22)/(-4). Solve 0 = -4*q + o + 6 for q.
3
Suppose -4*h + 520 = -0*h. Suppose 3*w - h = -2*w. Let t be 37/13 - (-4)/w. Solve 2*r + 2 = t*r for r.
2
Let u be 0 + 0 - (0 + 0). Solve u = 3*p + 3 for p.
-1
Let c be 3 - ((-3)/1 + 2). Let n(b) = b**2 - 3*b - 1. Let a be n(c). Let l be ((-4)/(-6))/(a/18). Solve x + 15 = -l*x for x.
-3
Let d = -5 + 2. Let v be (-6)/d + -3 - -4. Solve -2*j = -v*j for j.
0
Let f(k) = k - 4. Let n be f(6). Suppose -n*y = -4 - 0. Suppose 3*r = 5*w - 24, w - 5*r + 2*r - 12 = 0. Solve -y = 5*h + w for h.
-1
Let o be 1*((4 - -3) + -2). Solve -o = -3*a - 2*a for a.
1
Suppose s + s - 20 = 0. Let y be s/4*36/45. Solve -3 = y*u - 13 for u.
5
Let g(r) = r**2 + 13*r + 4. Let a be g(-13). Solve -7*x + 3*x - a = 0 for x.
-1
Let b(q) = -q**2 - q - 2. Let v(a) = -2*a**2 - a - 2. Let f(u) = -4*b(u) + 3*v(u). Let i be f(-2). Let p be (-2 - 0)/(i/4). Solve 5*d = -4 - p for d.
-1
Let t be -6*(-1)/(-2)*-1. Let a(q) = -q**2 + 6*q + 1. Let w be a(t). Solve -y - y + w = 0 for y.
5
Suppose 2*f + 2 = -4*u, -4*f = -4*u + 35 - 7. Solve -6 = -u*s - 0*s for s.
3
Suppose 4*v = 3*n - 27, 3 = 3*v + 2*n + 2. Let h = -1 - v. Suppose -5*q + 2*q + 42 = 0. Solve 4*f = -h + q for f.
3
Let y(o) = o**2 + 2*o. Let p be y(-4). Suppose -p = 2*m + 6. Let j = -4 - m. Solve -h - 8 = -j*h for h.
4
Let c(n) = n**2 + 3*n. Let d be c(-4). Solve d*r - 3 = r for r.
1
Suppose -2*q = -4*a + 26, a - 30 = -4*a + 2*q. Solve a*v + 3 = -5 for v.
-2
Let t(v) = -v**2 + 4*v + 5. Let o be t(5). Solve -z + 6*z + 25 = o for z.
-5
Let m = 32 - 29. Solve 0*o = -m*o + 6 for o.
2
Let p be 3*8/(-18)*-3. Suppose -3*v + 0*v - p*t = -13, -2*t = 4*v - 14. Suppose 0 = j + 2*g - g - 11, -3*g = -4*j + 37. Solve -v*o + 2 = -j for o.
4
Let r be 3/2*(-16)/(-24). Let n = -5 + 7. Suppose 0 = 2*o + 2*a - 14 + 2, 0 = -n*o + 2*a. Solve f - o = -r for f.
2
Let w(f) = -f + 2*f + 3 - 3 + f**2. Let d be w(-3). Solve 3*v - d = v for v.
3
Suppose 4*w - 3 = 17. Suppose -2*t = -w*t - 2*v + 5, 3*v + 1 = 4*t. Solve 1 = 2*k - t for k.
1
Let i(w) = -w - 5 + 2 + 7*w - w. Let a be i(2). Let f = -5 + a. Solve f = v - 0 for v.
2
Suppose 4*y + 2 = 3*u, 0 = 2*y - y - 1. Suppose 2*h + j = 14, 2*h - 35 = -3*h + 4*j. Suppose 4*i - 4*f = 12, 4*i - 4*f + h*f = -9. Solve -u*d + 6 = -i for d.
3
Let j be 2*(1/(-2) + 1). Let c be 4 - ((-1 - -1) + j). Let h be (-1 + -2 + c)/(-2). Solve 4*d + 22 - 6 = h for d.
-4
Let d = 237 - 223. Solve -3*h + 2 - d = 0 for h.
-4
Let m(h) = h**3 + 6*h**2 + 4*h - 2. Let g be m(-5). Suppose 75 = 2*c + g*c. Let d = -1 + 4. Solve 8*x - c = d*x for x.
3
Suppose 4*s + 0*s = 2*s. Solve s*x = 4*x for x.
0
Suppose -2*f = -5*f. Solve f*t = 4*t + 8 for t.
-2
Suppose -5*h = -3*h - 8. Let t be -1 + 0 + 0/(-2). Let p be ((-4)/2 - t) + 3. Solve -o = -p*o - h for o.
-4
Let l be (12/5)/(4 + 222/(-60)). Let k = 4 + 1. Solve k = -y + l for y.
3
Let i = 14 - 11. Solve 9 + i = 4*h for h.
3
Let q(r) = -r**3 + 7*r**2 - 7*r + 7. Let d be q(6). Let y(l) = -8*l - 1. Let v be y(d). Let p be (-2)/v - 28/(-36). Solve c = -p - 1 for c.
-2
Suppose 3*w = 2*l + 16, -4*w + 3*l + 13 = -7. Solve 4*u = -0 + w for u.
2
Let s be 11/(-2 - (-3 + 0)). Let q = -8 + s. Solve 0 = -2*c + q*c + 1 for c.
-1
Let r be 2*(-1 + (-34)/4). Let x = 34 + r. Solve 7*c - 2*c = x for c.
3
Suppose 0 = 5*k - 3*l + 15, -l + 2 = 4*k - 3. Solve k*a = a - 1 for a.
1
Suppose 20 = 4*u - 4*t, -2*u + 5 = -5*t + 4*t. Let b = 6 + -8. Let x = b + 4. Solve u = -d + x*d - 4 for d.
4
Suppose 0*v + 4*v = 24. Let d = 1 + -1. Let j(g) = g + 8. Let l be j(d). Solve 4*u = v*u + l for u.
-4
Suppose 0*m - 4*m = 0. Suppose 0 = 4*q + 3*z - 27, -6*q + 2*q - 5*z + 21 = 0. Solve -q = -3*b - m*b for b.
3
Let q be 0/(-6*5/(-15)). Solve 0 = -q*z - 3*z - 6 for z.
-2
Let d(m) = -m**3 - 6*m**2 - 2*m + 4. Let p be d(-4). Let t be p/(-6) - (-2)/3. Solve -x - 3 = -t for x.
1
Let m be (-5)/2*(-9)/((-18)/(-4)). Solve -2 + m = n for n.
3
Let c be (-2)/((-2)/(-8)*-1). Let w = c + -6. Solve 0 = r + 1 + w for r.
-3
Let d be (12/(-8))/(9/(-6)) - -6. Solve d*i - 5 = 2*i for i.
1
Suppose -6*f + 10*f = 8. Solve -i + 3 = -f for i.
5
Suppose -50 = -5*a + 2*r, 0 = 3*a - 0*a + 3*r - 9. Let g = 3 - 2. Let f = 3 - g. Solve -a = 2*z + f*z for z.
-2
Suppose -2*x - 16 = -24. Solve x*b - 3*b - 2 = 0 for b.
2
Suppose -u = 0, -5*p + u + 5 = 2*u. Let w(r) = -r**3 + 2*r**2 - r + 1. Let z be w(p). Solve -j = -5 + z for j.
4
Let b be 7 + 0 + (2 - 4). Let w be -4*(-2)/(7 - -1). Solve -9 = -b*y + w for y.
2
Let g be (14/(-4) + 3)*-6 - 0. Solve -g*a = 1 + 2 for a.
-1
Suppose 2*j = -3*j - 40. Let a be j/(-16)*(7 - 1). Solve -a*q - 15 = 2*q for q.
-3
Let f be 5*(-5 + 3 - -3). Let s be 0 - (-3 + 2 - f). Solve g + 20 = s*g for g.
4
Let c = 8 - 3. Suppose -2*z - 5*b = -4 + 3, 0 = 4*z - c*b - 17. Suppose 0 = -w + 2*y + 25, w - 30 = -y + 4*y. Solve -w = 6*j - z*j for j.
-5
Suppose 0 = -g + 4, -64 + 2 = -2*l - 5*g. Let n = l + -13. Solve -24 = 4*m - n for m.
-4
Let m(j) = j**2 - 2*j - 1. Let x be m(3). Solve 0 = y - x*y + 1 for y.
1
Let t = 26 + -15. Let l(v) = -v + 14. Let b be l(t). Solve 2*g - 5*g = -b for g.
1
Let o be 2 - (1 + -1 + (-12 - -11)). Solve -2*u = -o*u - 2 for u.
-2
Let m(q) = -q**2 - 6*q - 6. Let d be m(-4). Let k = 2 + d. Let v(a) = -a**2 + 5*a - 4. Let r be v(k). Solve r*p = p for p.
0
Suppose 0 = -0*w - 2*w + 30. Let f(b) = -b**3 + 5*b**2 - 3*b - 2. Let o be f(4). Solve 5*x - w = o*x for x.
5
Let g be (-2 - -3)/(4/16). Solve 0*l - g*l + 12 = 0 for l.
3
Let p(d) = 19*d**2 - 2*d - 1. Let u = -4 + 6. Suppose 0 = -i - u + 3, 0 = -3*r - 3*i. Let a be p(r). Solve 5*w + 0*w = a for w.
4
Let z(t) be the first derivative of t**4/4 + 2*t**3 + t**2/2 + t - 2. Let b be z(-6). Let u = b + 5. Solve -k = -u*k for k.
0
Let b(p) = 3*p - 13. Let d be b(6). Solve d*i + 21 = -4 for i.
-5
Suppose -3*t = -4*t + 2. Suppose -1 - 19 = 5*h. Let v = 8 + h. Solve t*b + v = b for b.
-4
Suppose -52 = -5*o - n, -5*o - n + 67 = -5*n. Solve 5*y + 36 = o for y.
-5
Let o(g) = 2*g**2 - g + 1. Let p be (4 - (-3)/(-1)) + 1. Let l be o(p). Solve 3*h - 1 = -l for h.
-2
Suppose -2*x - 40 = -4*h +