pose 3*v + 5*t = -8 + 17, -2*t - 9 = -3*v. Suppose n = -v*n - 12. Let c be ((-6)/(-4))/n*-2. Solve 0 = 3*k - c + 13 for k.
-4
Let n(r) = 2*r**2 + 3*r - 4. Let i be n(-3). Suppose -2*a + 48 = a + 3*o, -3*o + 86 = i*a. Suppose -4*p = -d, -d - p - a = -6*d. Solve -d*w + w = -15 for w.
5
Let q be 2*1/(-2) + 17. Suppose q = -o + 3*o. Solve o*u + 10 = 3*u for u.
-2
Let v(h) = h**2 - 7*h + 7. Let l be v(6). Suppose 0 = -f + z + 3*z + 22, z + l = -2*f. Solve 2*m = -f*m - 8 for m.
-2
Let f be (-7)/35 - 98/10. Let b = 35 + f. Solve 4*j + j + b = 0 for j.
-5
Let i(f) = f - 1. Let g(h) = h + 3. Suppose -4*j - 2 = 6. Let l(c) = j*i(c) - g(c). Let w be l(-1). Solve 0 = w*b + 4 for b.
-2
Let x(v) = -v + 14. Let i be x(-6). Suppose -4*h + 20 = 5*w - 3*h, 4*w + 4*h = 16. Solve -j + i = w*j for j.
4
Let p(u) be the third derivative of -u**5/60 + u**4/3 - 4*u**3/3 - 2*u**2. Let n(a) = -a + 12. Let t be n(6). Let f be p(t). Solve f*b + 2 = 5*b for b.
2
Let s(x) = x**2 + 2*x - 1. Let a be s(2). Solve -a*v + 4*v = 0 for v.
0
Let f be 1/2*(2 + 6). Suppose t = -0 + f. Solve -o = t*o + 25 for o.
-5
Let f(t) = -t - 7. Let x = -10 + 3. Let z be f(x). Suppose -9 = -3*d - z. Solve -1 + 7 = d*m for m.
2
Let f = -21 + 23. Solve 0 = -0*k + f*k + 8 for k.
-4
Suppose 0*b - 20 = -2*l + 5*b, -3*l - 4*b = 16. Solve -3*u - 5 - 1 = l for u.
-2
Let v = 0 - 0. Let t(i) = -2*i**2 - 3*i. Let k be t(-2). Let b be v/(k*2/(-2)). Solve -1 = g - b*g for g.
-1
Let r = -3 + 6. Let n = 2 - 2. Solve -r*a - 15 = -n*a for a.
-5
Suppose 0 = -87*n + 85*n + 10. Solve n*w - 4 = w for w.
1
Let b(f) = f**2 + 9*f + 25. Let c be b(-5). Solve c*k - 7 = 8 for k.
3
Let h(j) = -9*j - 47. Let r be h(-6). Solve 3 = w + r for w.
-4
Suppose 5*v + 9 = 24. Let d(g) = g**2 - 2*g + 3. Let w be d(v). Solve -w*p + 2*p = 0 for p.
0
Let b(v) = -v**3 - 5*v**2 - 4*v + 2. Let g be b(-4). Let k be (13 - 2 - g)*1. Solve -t - 2*t + k = 0 for t.
3
Let z(r) = 1. Let s(p) = -p - 4. Let m(j) = -s(j) - 4*z(j). Let a be m(-3). Let i be (-1)/a + (-32)/(-12). Solve -i*q = -2*q for q.
0
Let c be (-63)/6*1*2. Let y be 11/4 - c/(-28). Let s = 11 + -7. Solve 2 + y = s*v for v.
1
Suppose -3*b + 5*b = -32. Let a = b - -26. Solve 2*h = -0*h - a for h.
-5
Let b = -19 - -22. Suppose 0 = -8*g + 3*g + 15. Let t = 2 + g. Solve -b*d + t = -8*d for d.
-1
Let a(y) = -y**2 - 4*y - 1. Let v be a(-3). Suppose m - 8 = -3*m. Solve 12 = -m*q + v for q.
-5
Let d = -9 - -17. Solve -c - d = c for c.
-4
Let l be (-14)/(-6) - (-2)/(-6). Let o be ((-10)/25)/(2/10). Let u be 0/(-2 - 2/o). Solve l = -v - u for v.
-2
Let t be 16 + -16 + -1 + 6. Let c = -11 - -23. Solve -t*z - c = -2 for z.
-2
Suppose -4*j = -6*j + 4. Suppose -j*g = -20 - 10. Solve -5*b - g = -0*b for b.
-3
Suppose w - 11 + 6 = 0. Solve -w*a = -2*a - 15 for a.
5
Let t be -5*1/(-10)*14. Suppose 2*r = -4*a + 2, -2*a + a + 4*r - 22 = 0. Let z be 23/5 - a/5. Solve -4*l + t = -z for l.
3
Let t(z) = -z**2 + 9*z + 12. Let m be t(10). Solve 0 = m*h - 0*h + 8 for h.
-4
Suppose -3*r = 3*v - 8*v - 14, 0 = -5*r - v + 14. Solve -3*h - r = -9 for h.
2
Let k(d) = d**2 - 4*d. Let b be k(4). Suppose -5*s + 0*v = -3*v - 3, 0 = -3*v - 3. Solve s = -m - b + 2 for m.
2
Suppose -3*w + 5 = -2*w. Let f be (-5 - -3) + -2 + w. Let i be 0 - (-2 + -1) - f. Solve 2 = i*r - 3*r for r.
-2
Suppose -5*w - y + 80 = -61, 3*w + 4*y = 88. Suppose -3*m + w = 4*n, 21 = n + 4*m + 1. Solve n*l = 6*l for l.
0
Let q be -55 - (3*-3)/3. Let y be (-216)/q - 4/26. Solve y = -g - 0 for g.
-4
Let n = 15 - 15. Solve n*l - 1 = l for l.
-1
Let x(i) = i**3 + 6*i**2 + 2*i + 1. Let z(k) = 5*k**3 - 2*k + 1. Let u be z(1). Suppose 13 = -u*q - 3. Let j be x(q). Solve j = y + 4*y for y.
5
Let h be 8/5 - 10/(-25)*1. Solve h*t = 4*t - 2 for t.
1
Let n be 9/6*(-30)/(-9). Solve -n*i + 0 = -10 for i.
2
Let y(f) = -f**2 + 2*f - 2. Let b be y(2). Let m be (0/(-7))/(b - 0). Suppose -w + m + 5 = 0. Solve 0 = w*r - 2*r - 3 for r.
1
Let u(l) = l**2 + 0*l - l**3 - 18 + 0*l + 20. Let w be u(0). Solve 0 = -w*k + 2 + 4 for k.
3
Let j be -2 - 0 - -19 - -3. Suppose 3*b - j = 2*m, 2*b - 5*m = -0*b + 6. Solve 0 = 3*w - b*w - 10 for w.
-2
Let h = -3 - -4. Let d be 7/21*(5 + h). Suppose 0 = -4*u + 12, n + 2*u - 9 = -2*n. Solve d*t + n = -1 for t.
-1
Let w(s) = -s + 8. Let i = 4 - 0. Let z be w(i). Let y be -1 + (-3 - -1) + 6. Solve 13 = -z*r - y for r.
-4
Suppose 4*b - 7 = -b - l, -3*l = 9. Suppose -b*a = 2*a. Solve -2*y + 2 + 0 = a for y.
1
Let o = -59 + 65. Solve 0*w = 2*w + o for w.
-3
Suppose 0*y - 4*y = -12. Suppose -y*w + 1 + 11 = 0. Solve 0 = -r - w + 9 for r.
5
Let u(k) = k**3 - 7*k**2 + 2*k - 9. Let a be u(7). Let n = a + -4. Let g be 3/(2 - -1)*n. Solve g = -3*q - 5 for q.
-2
Let l(o) = -6*o + 3. Let m be (-12)/(-4) - (-1 + 0). Let n be l(m). Let q be (-4)/(-14) - 36/n. Solve -4*c + q*c = 8 for c.
-4
Let z(f) = -f**3 + 5*f**2 + 7*f + 8. Let y be z(6). Let b be 4/y - 60/(-35). Solve 0 = -q - 0*q + b for q.
2
Let h(d) = -3*d. Let o be h(-1). Solve -2*l = l - o for l.
1
Let c(a) = -a**2 + 9*a - 5. Let d be c(8). Solve h = d*h - 2 for h.
1
Suppose 0 = -2*m + 2 + 22. Let l(p) = -p**3 + 2*p**2 + 3*p. Let v be l(3). Solve v*b = -3*b + m for b.
4
Let q be (2 - 4 - -3) + 4. Suppose q*y = -2*b - 13, y + 6 + 2 = 5*b. Solve -i + b = -1 for i.
2
Let u = -2 + 12. Solve l = -l + u for l.
5
Let t be (-459)/(-85) - 4/10. Solve o = t*o - 12 for o.
3
Suppose b + 4*i = 2*i, -5*b = 4*i. Solve b = g - 2*g - 4 for g.
-4
Let l(b) = -b + 11. Let u be l(8). Suppose 18 = f + 5*p, 6 = f + 2*p + u. Let z(r) = r**3 + 6*r**2 - 7*r + 6. Let s be z(f). Solve -s*a = -a for a.
0
Suppose -4*s + 5*b - 2 = 0, 3*s - 2*s - b + 1 = 0. Let v be 1*(-8)/(s + -1). Solve v*t + 2 = -8 for t.
-5
Let p = 74 - 71. Solve 0 = 4*t - p*t - 5 for t.
5
Suppose -3*u + 0*u = 3. Let h be (-2 - -2) + 3 + u. Suppose -g + 5*t - 3 = 6, 5*t = 2*g - 2. Solve h = 3*v + g for v.
-3
Suppose -12*c = -18*c + 18. Solve -c = 5*s - 2*s for s.
-1
Let m(b) = -b**3 - b**2 + 6. Let s be m(0). Let c be 1 + ((-1)/(-1))/1. Let i be (-56)/(-6 + c) - 0. Solve -4*q + i = s for q.
2
Let n(t) = -t - 8. Let q be n(-11). Solve q*l + 1 = 4*l for l.
1
Let k = -184 - -186. Solve 0 = k*y + y - 12 for y.
4
Suppose -2*s + 10 = 4*o, -5*o - 3*s + 8 = -3. Suppose -o*w - 4 + 35 = -3*c, 4*c = -4. Solve 0 = 2*j - w*j for j.
0
Let z be 1/((21/15)/7). Solve z*t = -4 - 6 for t.
-2
Suppose 2*j = 2*q + q + 9, 3*j - 6 = -3*q. Let i be (0/1)/(2 + 0). Solve j*y = -i*y for y.
0
Suppose -u + 15 = 4*c, -5*c - 2*u = -4*u - 22. Suppose c = -5*h + h. Let d be 3*1/3 + h. Solve 0 = n - d*n for n.
0
Let k = 12 + -24. Let d = -6 - k. Suppose -2*r + d = -4*x, 2*x = r - 3*x. Solve 2*i + r = -3 for i.
-4
Suppose -2*r - 10 = -0*r. Let a be 1 + 2 + r + 4. Solve -l = -a*l - 2 for l.
-2
Suppose 0 = 2*u + 3*u + 5*a + 10, -5*u + 4*a = -35. Solve -4*l = -u*l - 4 for l.
4
Let y(x) = x**3 - 14*x**2 + 15*x - 8. Let w be y(13). Suppose -2*k + w = 12. Suppose 2*d = 3*d. Solve k = -h - d for h.
-3
Suppose 4 = -3*a + 25. Let k = a + -8. Let v = 2 - k. Solve 0*b = -b + v for b.
3
Let p(v) = -v**2 - 5*v + 24. Let m be p(-7). Solve 5*w = -0 + m for w.
2
Let r = -7 + 11. Suppose 3*g + r = 19. Let j be (-1)/(0 - -1) - -1. Solve j*o - 5 = g*o for o.
-1
Let r be (11 - 9) + 1/(-1). Suppose 3*c + 2*m - 14 = 0, 3*m + m = 4*c - 12. Let n = 5 - c. Solve -d - n = r for d.
-2
Let z be ((-4)/(-10))/((-3)/(-60)). Let s be (6/9)/(2/9). Let h = -2 + s. Solve -3*d = h + z for d.
-3
Let h = 14 + -10. Suppose -3*x + 0*x + 80 = h*z, -4*z + 5*x = -48. Solve -5*o + 2 - z = 0 for o.
-3
Let n = 8 + -6. Solve -4*x + 6 = -n*x for x.
3
Suppose -v = -3 - 9. Suppose 5*j = a + 4 + v, -4*j - 2*a + 24 = 0. Solve j*d - 2 = 2*d for d.
1
Let l(f) = 2*f**2 + 4*f - 1. Let w be l(-4). Let o = 19 - w. Let x(r) = 9*r**2 - r. Let q be x(1). Solve q = -o*z - 8 for z.
-4
Suppose 2*n = -3*n - 10. Let m = 6 + n. Solve m*x = 5*x for x.
0
Let w(z) = z**3 - 3*z**2 + 2*z + 1. Let p(r) = 0*r + 0 + r - 4. Let c be p(6). Let t be w(c). Solve -6*m = -7*m - t for m.
-1
Let v(z) be the third derivative of z**4/12 - z**3 - z**2. Let t be v(5). Solve -c + t*c = -6 for c.
-2
Suppose g = 4*g - 9. Suppose -2*f + g = f. Let j be (3 + 3)*f - 2. Solve j*a + 6 = 22 for a.
4
Let i be (-8)/(-1) + -1 + -1. Let f(n) = 19*n**2 - 1. Let m be f(1). Let g = -13 + m