5, 0 = 3*y - 5*g - 5. Solve -7*o + 2*o - y = 0 for o.
-1
Let a(x) = -x**3 - 13*x**2 + 15*x + 16. Let k be a(-14). Solve -k*w = -w for w.
0
Suppose -6 = 2*h, -4*g + 2*h + 12 = -2*h. Solve g*t = -4*t - 8 for t.
-2
Let k be -1*5/(15/(-12)). Suppose -g = -2*l + 20, -k*l + g + 12 = 6*g. Suppose -2*v + 12 = t - 2, -4*v + l = -3*t. Solve 4 = t*b - 0*b for b.
1
Let d(n) = 8*n + 1. Let z be d(-1). Let m(b) = -b**2 - 7*b + 2. Let a be m(z). Suppose a*i + 1 - 13 = 0. Solve 0 = -3*l - i for l.
-2
Let f = -33 + 33. Solve -12 = -f*k + 4*k for k.
-3
Let h be 4/(-10) + (-165)/25. Let u(l) = -l**2 - 7*l + 4. Let a be u(h). Let t = a - 4. Solve 2*y + t*y - 10 = 0 for y.
5
Let p(a) = -a**3 + 2*a**2 + 2. Let x be p(2). Let b = 1 - -3. Suppose 1 + b = 5*u. Solve x = -k + u for k.
-1
Let a = -16 + 19. Solve 0*c - c + a = 0 for c.
3
Let g be -2 - (-2)/(1/1). Let v be 0 + 1 - (g - 2). Solve 0 = -2*q - v*q + 15 for q.
3
Suppose 3 = -2*k + 15. Suppose 2*s = -0*s + 3*h + 40, -3*s - 3*h = -90. Solve 5*j + s = k for j.
-4
Suppose -2 = -i + 3. Solve 0*k - i*k - 10 = 0 for k.
-2
Let g be (-39)/4 - (-3)/(-12). Let v = -7 - g. Suppose 8*s + 15 = 13*s. Solve 4*a + v = s*a for a.
-3
Let p(v) = v + 9. Let t(k) = 8*k. Let f be t(-1). Let n be p(f). Suppose 5*i = -5*g + 65, 0 = -2*i + 2*g + g + 6. Solve 2*u = -n + i for u.
4
Suppose -2*h + 3*l = -0*h + 110, 3*h - 4*l + 163 = 0. Let t be (-1358)/h + 4/14. Solve 0 = 5*s + t - 3 for s.
-5
Let w = 7 + -4. Let r be (39/9)/(1/3). Suppose -4 = 4*n + 2*h + 2*h, 0 = 5*n - h - r. Solve -n = -4*g + w*g for g.
2
Suppose 7*r - 3*r = 4. Solve 5*j + r = -9 for j.
-2
Let o be (0 + 0)/(23 - 25). Solve 3*p + 3 - 15 = o for p.
4
Let o(d) = 3*d - 8. Let k be o(4). Suppose 0 = -k*i - i + 75. Solve -i = -5*n + 5 for n.
4
Let t be (-41)/(-2) - (-7)/(-14). Suppose -t = -3*i - 2*i. Suppose 0 = -3*k + 6, 0*k = -4*m + 2*k - 4. Solve -2*h + h - i = m for h.
-4
Suppose -2*l - 2*l = -40. Solve -l = -8*z + 3*z for z.
2
Suppose 4*i = 2*i + 2. Suppose 2*z - i = -3, 0 = 2*g - 5*z - 11. Let l be 8 + (6/g - 5). Solve 2*o = 3*o - l for o.
5
Let g(k) = -k**2 - k + 6. Let c be g(2). Solve -z - 2 + c = 0 for z.
-2
Let r be (5 + -2)*(1 - 0). Suppose 4*x + 8*w - r*w = -20, 0 = -2*x - 2*w - 8. Solve -g + 2 = -x for g.
2
Let f(p) = p**3 - 3*p**2 + p - 1. Suppose 6 - 18 = -4*w. Let i be f(w). Solve 3*z - i = 2*z for z.
2
Suppose -p + 5 = -2*a, 5*a - 6 = 4*p - 26. Solve v - p = 2*v for v.
-5
Let c(w) = -4*w - 12. Let o be c(-3). Solve 3*r + 8 + 1 = o for r.
-3
Suppose 0 = 2*r - 3*r - 3. Let q(d) = d**2 + 2*d - 3. Let s be q(r). Solve o + 2*o - 3 = s for o.
1
Let h(y) = -3*y + 12. Let q(t) = 10*t - 36. Let k(m) = 7*h(m) + 2*q(m). Let n be k(10). Solve -o + n = o for o.
1
Let g = 2 - 1. Let q be (-7 + 7)*g*-1. Suppose 6 = -3*v, -2*o + 1 = -2*v - 7. Solve q = o*d + d - 12 for d.
4
Let u be 0*3/((-3)/(-1)). Suppose 0 = 5*r - u*r. Suppose r*a = a. Solve 2*i + i = a for i.
0
Let r be ((-90)/(-21) - 4)*7. Solve -r*v - 3 = v for v.
-1
Let o(r) = -r**2 + 10*r - 6. Let f be o(9). Suppose -4*z = b + 4*b - 8, 0 = f*b. Solve z*m + 3*m - 5 = 0 for m.
1
Let x be (-14)/(-3)*3/2. Suppose 0 = x*r - 3*r - 8. Solve r*i = 3*i for i.
0
Let r(x) = x**3 + 13*x**2 + 14*x + 28. Let s be r(-12). Let t be (4/2)/(-1)*2. Let w = t + s. Solve 0 = -w*l - l + 2 for l.
2
Let p = 2 + -2. Solve 3*g + 0*g = p for g.
0
Let h(b) = -b**2 - 5*b + 2. Let y be h(-5). Suppose -f + 2 + 10 = 0. Solve -n = y*n - f for n.
4
Let q = -26 - -46. Suppose n - 6*n = -q. Let o(f) = f**2 - 9*f. Let h be o(9). Solve h = -n*m + 5 + 7 for m.
3
Suppose 12 = -11*o + 15*o. Solve -2*u - 5 = o for u.
-4
Suppose -3*v - 3*q = 0, -3*v - 5*q - 1 = 7. Let s be 1/5 - 2/10. Solve s*i = 2*i + v for i.
-2
Suppose -3*j + 25 = n + 4*n, -2*n = 3*j - 10. Suppose 0 = n*p - 14 + 4. Solve -r - 12 = p*r for r.
-4
Suppose 6 = s + s. Solve s*r - 5 - 7 = 0 for r.
4
Suppose -4*t + 3*t + 3*s - 8 = 0, 0 = 3*t - 3*s. Solve -2*u + t = -4*u for u.
-2
Let g(d) = -9*d - 15*d**2 - 1 - d**3 + 5*d**2 + 1. Let l be g(-9). Solve l = -4*a + 5*a for a.
0
Suppose 2*p - 4*z + 2 = -9*z, 3*p - 5*z = 22. Solve t + p*t = 0 for t.
0
Suppose l = x, -4*x = 2*l - 3 - 9. Solve -l*c - 2*c = -16 for c.
4
Let f be (-2*3)/((-6)/4). Let i be ((-2)/6)/(5/(-105)). Let a be (-2)/i - (-108)/84. Solve f*x = -5 + a for x.
-1
Suppose -b + 6*b - 10 = 0. Solve 3*u + b = -7 for u.
-3
Let z = 8 + -12. Let p be (-4)/8 + (-14)/z. Solve -p*v - v = 8 for v.
-2
Let f(v) = -5*v**3 - 5*v**2 + 9*v - 9. Let h(m) = -m**3 + m**2 + 1. Let x(p) = -f(p) + 4*h(p). Let j be x(-10). Solve -j*u = -14 + 2 for u.
4
Suppose -14 = -4*u - 2*h, 5*h + 13 = 2*u - 0*h. Suppose 0 = -m + l + 20, 3*m - 80 = -m + 5*l. Let z = 1 - 1. Solve z*j + u*j - m = 0 for j.
5
Let t be (-4)/6 - (-4)/6. Let j = -17 + 28. Let q = j + -9. Solve t = q*v - v + 3 for v.
-3
Let c(h) = h**3 + 5*h**2 - 5*h + 7. Suppose 10 = 2*a, 8*i = 4*i + 3*a - 39. Let l be c(i). Suppose 2*z = -2*z. Solve z = 3*s - l + 4 for s.
-1
Let l = -4 - -6. Suppose -l*a - 12 + 36 = 0. Let y(k) = -k - 2. Let s be y(-4). Solve v + s*v + a = 0 for v.
-4
Suppose -m + 18 = -4*m. Let i = 19 - 12. Let a be m/21 + 30/i. Solve -u + 0 = -a for u.
4
Suppose -2*y - 5*v = 9, -3 = -5*y - 3*v + 3. Solve -y*p = 2*p + 25 for p.
-5
Let k(p) = p**2 + 4*p + 4. Let v be k(-4). Suppose -v*b + 10 = -10. Let j(r) = r**3 - r**2 + 4*r - 3. Let w be j(2). Solve -b*q - w = -4 for q.
-1
Suppose -15*q - 4 = -17*q. Solve -5*m - 12 = -q*m for m.
-4
Suppose q + 3 = 14. Suppose q = 3*l + h, -l - 6 = -2*h + 2. Solve -l*p = p for p.
0
Suppose 2*p + 20 = -3*u + u, -2*p - 28 = 3*u. Let v = -12 - u. Let x(a) = -a**2 - 5*a + 1. Let n be x(v). Solve 1 = 2*q - n for q.
3
Let o(l) = -2*l + 1. Let x be o(2). Let s be -1 - x - 1 - -2. Solve -2*p + s*p + 4 = 0 for p.
-4
Let b(n) = -6*n - n**2 + 3*n + 3 + 3*n**2. Let v be b(2). Solve v*x = 4*x + 1 for x.
1
Let j be (-1 - (-5)/2)/(4/32). Solve -3*s = -6*s + j for s.
4
Suppose y - 6 + 4 = 0. Solve 2 = 4*t - y*t for t.
1
Let v(q) = -3*q. Let n be v(-3). Let p(g) be the second derivative of -g**5/20 - g**4/2 + g**3 - 3*g**2/2 + 3*g. Let m be p(-7). Solve -m*h - n - 11 = 0 for h.
-5
Suppose -5*p + p = -20. Solve 4*k + p + 7 = 0 for k.
-3
Let j(f) = -3*f - 2. Let m be j(-5). Let q(z) = -z**3 + 5*z**2 - 4*z. Let l be q(4). Let b be 2/((l - -3)/3). Solve 5*r + b = -m for r.
-3
Let m = 8 + -3. Suppose -5*f - 3*i + 7 = -0*i, -4*i + 6 = m*f. Suppose a = f, 0*s - 17 = -5*s - a. Solve 0 = 2*z - s - 5 for z.
4
Suppose 2*g + 30 = 12*g. Solve 5*n - 6 = g*n for n.
3
Let y(i) = -8 + 15 + 0*i + i. Let j be ((-28)/8)/((-2)/(-4)). Let s be y(j). Solve -3*h + 3 = -s*h for h.
1
Suppose -1 = 13*v - 14. Solve -v + 2 = -x for x.
-1
Let b(h) = -h**3 + 22*h**2 - 23*h + 47. Let t be b(21). Solve 5*f + 0*f = -t for f.
-1
Suppose 3*g - 38 = -2*x, g + g - 2*x - 42 = 0. Let w = -14 + g. Let j = 2 + -2. Solve j = w*i + 2*i for i.
0
Suppose -16 = 4*h - 4*l, -l - 12 = h - 0*h. Let n = 10 + h. Solve -2*s = n*s - 4 for s.
1
Let u(a) = a**3 + 2*a**2 + 2*a + 3. Let j be u(-2). Let h = j + 5. Solve h = -2*i - 2 for i.
-3
Suppose -20 = f + 2*z + 3*z, -5*f + 5*z = -20. Solve f = 5*y - 20 - 5 for y.
5
Let m(w) = -w**2 + 4*w. Let j be m(2). Let h be -1 - -3 - (-2 + j). Suppose h = s - 3*s + 6. Solve 2*t + s*t = -15 for t.
-3
Suppose 2*q - 6 = -0*q. Let s = 45 - 42. Solve -q + 6 = -s*k for k.
-1
Let r = -8 + 14. Let t(v) = 2*v. Let z be t(r). Solve 4 = 2*u + z for u.
-4
Suppose 11 = 3*u + o, 4*u - o - 16 + 6 = 0. Solve a = -u*a + 16 for a.
4
Suppose 2*t = y - 12, -t + 1 = 5*y - 4. Solve -3*v = -y*v - 5 for v.
5
Suppose -r - o - 3 = 0, r - 5*r - 30 = -2*o. Let h be (-3 + 9)*(-3)/r. Solve h = -y - 0*y for y.
-3
Let i = -15 + 11. Let p = -2 - i. Solve 6 = -4*q + p for q.
-1
Suppose -2*p = -22 + 4. Solve 5*o - p = -24 for o.
-3
Suppose -7*o = -2*o - 20. Suppose -3*c + 1 + 23 = 3*x, 0 = 3*c + 4*x - 24. Solve -c*n = -o*n + 8 for n.
-2
Suppose 4*g = g - 9. Let v be -3 + 1/(-3)*g. Let t be 9/(-6) + (-29)/v. Solve 5*j + 2 = -t for j.
-3
Let g = 0 + -13. Let t = -10 - g. Solve 0 = t*y - 0*y for y.
0
Let k be 22 - 2/(2 - 1). Suppose -u - 3*u = -k. Solve u*l - l + 20 = 0 for l.
-5
Let l(q) = 3 - 2 - 4*q - 2. Let w be l(-1). Solve w*t - 10 - 2 = 0 for t.
4
Suppose 2*w - 3*u + 31 = 6*w, 0 = 2*w - 2*u - 26. Let s be 3/(-3) + 