pose 2*t - 21 = -v + 4*v, 3*v = -15. Suppose -4 = t*s + s. Let a be o(s). Solve n - a = -2*n for n.
5
Let u be (-4)/(-8) - 9/(-6). Suppose j + 10 = 4*y, 0 = u*j + 3*j - 10. Suppose y*t + 5 = 5*i + 2*t, -15 = -5*i + 3*t. Solve 0 = -q - 1 - i for q.
-1
Let n = -17 + 12. Let u = 7 + n. Solve u*v + 2 = -2 for v.
-2
Let a(l) = l**2 - 3*l - 14. Let g be a(6). Solve 0 + 8 = g*p for p.
2
Let z = -135 + 136. Solve -5*h = z + 4 for h.
-1
Let k = 9 + -1. Let i = -6 + k. Solve y - 15 = -i*y for y.
5
Suppose -p + 3*p + 4*n - 12 = 0, 4*p + 2*n - 42 = 0. Suppose -i + 4*i - p = 0. Suppose -4*j + 0 = -4. Solve 5*o - i*o = j for o.
1
Suppose -d = -2*r - 10, r + 4 = -3*d - 1. Solve -3*z - 2*z + 25 = d for z.
5
Suppose n = 6*n + 15. Let v = n + 5. Suppose 3*z = v*z. Solve -y + 1 + 0 = z for y.
1
Let b(s) = -s**3 - 4*s**2 + 5*s. Let u be b(-5). Suppose 2*c - 20 = -u*c. Let x = c + -5. Solve f + 3 = x for f.
2
Let h(r) = 2*r**2 + r - 1. Let j be h(-2). Suppose -59 = -4*o + j. Suppose -u + o = 3*u. Solve -u*i - 2 = -3*i for i.
-2
Suppose -4*v - 4*t = -72, -4*v - 2*t + 70 = t. Suppose w - 21 = 5*j, 0*j + 3*j - 4*w = -v. Let p = -3 - j. Solve 3 = -q + p for q.
-2
Let x = -10 - -8. Let u be (x - -3 - -5)*2. Solve -i + 4*i = -u for i.
-4
Let d(s) = -s**2 - 6*s - 6. Let z be d(-4). Let r be (2/6)/(z/120). Solve 0*g = 4*g - r for g.
5
Let a(g) = g**3 - 7*g**2 + 5*g + 7. Let h be a(6). Let f(v) = 4*v**3 - 2*v**2 + 3*v - 1. Let k be f(1). Solve k*w + 3 + h = 0 for w.
-1
Let i = -8 - -13. Solve -i*u - 15 = -0*u for u.
-3
Let z(r) = r - 3. Let t be z(4). Let g be (-4)/10*(t + -16). Let o(h) = -11*h - 2. Let d be o(-2). Solve 0 = 2*u - g*u - d for u.
-5
Let b(m) = -m**3 + 9*m**2 - 6*m + 9. Let r be b(8). Suppose 5*t = -5*s - r, -2*t + t + 4*s = -20. Solve -6 = -t*j + 2*j for j.
-3
Suppose -t + 4 = 3. Let s be (-14 - 0) + -1 + t. Let w be (-6)/21 - 32/s. Solve w = 2*o - 0 for o.
1
Let h be 6/(-4) - (-18)/(-4). Let w = h - -7. Let g(u) = -u + 14. Let b be g(7). Solve 0 = 4*y - w - b for y.
2
Let n be 0 - (-9 - (1 - 2)). Let q = -6 + n. Solve 0 = q*a + 3*a + 15 for a.
-3
Let b(z) = z**3 - 4*z**2 + 3*z - 9. Let y be b(4). Solve y*n = 5 + 1 for n.
2
Let r be -2 + -1 + 18/3. Suppose t = -r*t. Solve 0*x - 2*x = t for x.
0
Let s = 0 - -2. Suppose s = -y + 3*y. Solve r - y = 4 for r.
5
Suppose i - p = -i + 59, -4*p = 4*i - 136. Let h = i - 11. Solve -h = o + 3*o for o.
-5
Suppose -5*t = -8*t + 24. Solve -4*f = -0 - t for f.
2
Suppose 4*r = -3*b + 2*r + 21, 0 = 3*r - 9. Suppose -10 = -2*c - b*x + 11, -x = 4*c - 15. Solve c - 7 = -2*p for p.
2
Suppose 0 = 5*x - 4*b + 10, -3 = -5*x + 5*b - 18. Solve 3 + x = -c for c.
-5
Suppose 0*f + 3*f = 3. Let m = 6 - f. Solve 0*b - m*b = 15 for b.
-3
Let t = -2 + 4. Suppose -4 = t*c - 12. Let j be c/6 + (-20)/(-15). Solve p + j = 2*p for p.
2
Let i = -280 - -291. Let z = 1 + 13. Solve -5*s - i = z for s.
-5
Suppose 6 = 4*g + 2*p, g + p = 5*g + 3. Solve g = 5*b - b - 20 for b.
5
Let t(b) = 5*b - 22. Let h be t(5). Suppose 2*v - 4 + 0 = 0. Solve -v = -w + h for w.
5
Let c(t) = -3*t**3 + 2*t**2 + t. Let l be c(-1). Suppose -s - 1 - l = 0, -3*r - 4 = 2*s. Solve 0*w + r*w + 2 = 0 for w.
-1
Let j = 11 + -10. Let h = 6 + -8. Let d be (-3)/h*(-12)/(-9). Solve j = d*b + 5 for b.
-2
Let n(k) = -2*k**2 + 6*k - 1 + 2 + 0 + k**2. Let m be n(6). Solve 4*o = 9 - m for o.
2
Suppose 3*x + 15 = 2*a + 2*x, -40 = -3*a + 5*x. Suppose 0 = h + 3*h + 3*k - 6, -2*h = 5*k - 10. Solve 4*c - a*c + 3 = h for c.
3
Suppose -5*x = -16 - 4. Let d(v) = -v**2 + 6*v + 2. Let i be d(6). Suppose -i*s + 3*s = 0. Solve s*w = -4*w - x for w.
-1
Suppose 3*d - 3*o + 8*o - 31 = 0, 2*d - 9 = -o. Let x be (-3 + -3)*d/(-4). Solve -x*z + 0 + 15 = 0 for z.
5
Let x(y) = y**3 + 6*y**2 + 4*y - 2. Let b be x(-4). Suppose 4*u + 6 = -b. Let n be 2/5 + (-18)/u. Solve 5 = n*l + 17 for l.
-3
Let x be (-3 + -17)/(-3 + 1). Let r = x - 8. Solve 8 = r*o - 0 for o.
4
Let y(w) = 4*w + 1. Let p be y(-7). Let r be (-1)/5 + p/15. Let u be 20*((-21)/12 - r). Solve 0 = -2*x - 3 - u for x.
-4
Suppose 0*u = u. Let z = 0 - u. Let k be z + 9 + -2 - 1. Solve -k = 2*y - 2 for y.
-2
Let p be 4*(-2)/(-4)*1. Suppose -3*q - 4 = -p*q. Let i be 1/3 - q/(-12). Solve -5*h = -i*h - 15 for h.
3
Let c be 2 + (-3 - -2) + 24. Let j be (4/(-10))/((-5)/c). Suppose 0 = 4*g - 6 - 22. Solve 10 = g*s - j*s for s.
2
Let a = 30 + -27. Suppose 2*u + h = -h + 18, 0 = 4*u + 2*h - 28. Suppose -3*i = 2*i - 60. Solve -a - i = u*g for g.
-3
Let d = -2 - -5. Let v be (-4)/(1/(3/(-6))). Solve i = d*i - v for i.
1
Let s be 0 + 0 + 1 + 25. Let b be 20/8*24/30 - -4. Suppose 0 = 5*x - s + b. Solve -2*r - 14 = -x for r.
-5
Let j(t) = 3*t + 8. Let m be j(-2). Solve 2 + 4 = m*l for l.
3
Let k be 2*1/2 + 28. Solve -4*t = -9 + k for t.
-5
Suppose 0 + 8 = 4*u. Solve -5*n - 12 = -u for n.
-2
Let q(i) be the third derivative of i**6/120 - i**5/60 + i**4/24 - 2*i**2. Let g be q(3). Suppose -4*j = t + 4*t, 0 = -2*j + 2*t. Solve 5*d - g + 6 = j for d.
3
Let h(l) = -2 - l**2 - 12*l - 4 + 0. Let n be h(-11). Suppose -5*j - 2*o - 10 = 0, -o + 0 = -2*j + n. Solve j = -x - 0*x - 2 for x.
-2
Suppose -17 = -4*b - 1. Let i = -3 + b. Suppose -i = j - 4. Solve j*w + 5 = -2*w for w.
-1
Suppose 3*j = 4*x + 28, 0*x - 8 = 2*x. Solve q = -j*q - 20 for q.
-4
Let b(m) be the third derivative of m**4/24 - m**3/6 - 2*m**2. Let w be b(5). Suppose -3*h - w + 10 = 0. Solve -h*s + 2 = -s for s.
2
Suppose -11*z + 11 = -0. Solve -3 = -y + z for y.
4
Let c(o) = -7*o - 6. Let r be c(-2). Solve 5*k = 3*k + r for k.
4
Let y(x) = -17*x - 1. Let i be y(-1). Solve 2*p = -2*p - i for p.
-4
Let u be 12/(-18) - (-14)/3. Solve -u*c - 7 + 3 = 0 for c.
-1
Suppose 103 = 3*j + 67. Solve 4*l + j = 4 for l.
-2
Let b(p) = p**2 - p. Let k be b(2). Let w(f) = f - 5. Let r be w(7). Suppose 3*y + r*y = 0. Solve 0 = -2*v - y + k for v.
1
Suppose -2 + 17 = 5*m. Solve -m + 9 = 2*t for t.
3
Let a(g) = -3*g**2 - 4*g + 4. Let l(w) = 4*w**2 + 4*w - 5. Let x(q) = 3*a(q) + 2*l(q). Let z be x(-4). Solve -r - z = -3 for r.
1
Let s = 19 + -19. Solve s*t + 2 = t for t.
2
Let r be (-1 + 2)*5 + -1. Let g(z) = z**3 - 2*z**2 - 4*z + 3. Let b(p) = p + 3. Let o be b(0). Let l be g(o). Solve s - r + 0 = l for s.
4
Suppose -2*z + 3 - 1 = 0. Let u be ((-12)/16)/(z/(-4)). Solve -2*j = u - 11 for j.
4
Let m(l) = -l**2 + 3*l + 5. Let w be m(4). Let q be 5/(w*(-2)/(-2)). Let n = -10 + 10. Solve 20 + n = q*j for j.
4
Let v be (-3)/(-6) - (-29)/2. Solve 0 = y + 2*y - v for y.
5
Let c = 0 - -2. Suppose 6 = -2*j, c*s + 2*j - 1 = 1. Solve -s*u - 25 = -5 for u.
-5
Suppose 0 = -4*x - 3*u + 1, 3*u + 23 = 2*x - 0*u. Suppose o = -o. Solve -x*g + 4 = -o*g for g.
1
Let c = -3 + 6. Let w be (4/(-3))/(2/(-3)). Suppose h + 0*v + 6 = w*v, 4*h + 4*v = 36. Solve c = h*s + 7 for s.
-1
Let l(v) = v**3 - 14*v**2 + 24*v + 2. Let q be l(12). Solve -q = -2*w + 2 for w.
2
Let v = 129 - 125. Solve 3*r = v*r + 2 for r.
-2
Let f be 8/14*7/2. Solve 7*k = f*k + 10 for k.
2
Let v be (-147)/(-28) - 2/8. Let c = v + -3. Solve -w + c*w + 3 = 0 for w.
-3
Let l be 1/(-3 + 7/2). Suppose 0 = -4*u - 5*r + 9, -u + l*u + 6 = -4*r. Solve 5 = -u*q + q for q.
-1
Let u = -11 + 15. Let i(y) = -3*y**3 - 2*y**2 - 1. Let m be i(-2). Solve 0 = -z + u*z + m for z.
-5
Suppose 0 = q + 5*d - 22, -3*q - d + 6 = -4. Suppose -12 = q*o - 3*o. Solve 0*n = -3*n - o for n.
-4
Let h = 7 + -1. Suppose -h*d = -d + 3*s - 36, -5*s - 20 = -5*d. Solve 2*u + 16 = d for u.
-5
Let c = -31 + 35. Solve 0 = -3*l - c - 5 for l.
-3
Let c be (-7 - 1)*(-11)/22. Solve c*w + 6 - 14 = 0 for w.
2
Suppose -5*j + 5 = -5. Let m be 2/j*(1 + 1). Solve -m*z = z for z.
0
Let t = -9 + 17. Suppose -64 = -t*s + 4*s. Solve -4*y = -0*y - s for y.
4
Let a = 3 - -20. Solve 5*x = 3 - a for x.
-4
Let t = -10 - -10. Solve t*w + 5 = w for w.
5
Let q(p) = -3*p - 1. Let d be q(-1). Suppose -d*v + 3 = -3. Solve 15 = -v*c + 3 for c.
-4
Let l(u) = -u. Let f be l(2). Let m = f - -3. Solve -m = 2*q + 1 for q.
-1
Let x(t) = t**2 - 8*t - 3. Let y be x(8). Let k = y - -3. Solve f - 5*f = k for f.
0
Let z be ((-6)/10)/(2/(-10)). Let x be z/6*14 - -2. Suppose n - x = -2*n. Solve -2*v + 1 = -n for v.
2
Let i(j) = j**2 - j - 1. Let l be i(3). Let f = 9 - l. Let t be 4/2*2/f. Solve -1 = -2*u + t for u.
1
Let h = -17 + 20. Solve 20 = -g - h*g for g.