3*s - 7*s + g + 15. Solve -5*k + s*k = 2 for k.
-1
Let z = 7 + -4. Solve 0*a + z*a + 3 = 0 for a.
-1
Let g(r) = r + 6. Suppose 2*h - 4*o + 5*o = 49, -4*h - 4*o = -96. Suppose -z = 4*z + h. Let k be g(z). Solve 4 + k = b for b.
5
Let k(b) = 5*b**3 - 2*b**3 - b - b**2 + 4 - 2*b**3. Let o be k(0). Solve 4*m + o = 2*m for m.
-2
Let o = -1 - -2. Let s be 6/(-8) - (-2)/(-8). Let a be 3*((-1 - s) + o). Solve -6 = a*l + 3 for l.
-3
Let a(d) = -d**2 + d + 4. Let r be a(0). Suppose 75 = r*x - 25. Let z = -1 + 1. Solve -5*y + z*y = x for y.
-5
Let m(z) = 5*z**3 - 2*z**2 + 1. Let i be m(1). Suppose -n = -0*n - i. Let t = n - 4. Solve 0 = -t*b + 2*b for b.
0
Suppose -3*w - 12 = -3*p + 18, 2*p - 18 = 4*w. Let d = p - 7. Let u = 4 + -2. Solve 3*f = -u - d for f.
-2
Suppose u + 4 = 0, -2*o + 11 = -5*u - 15. Let x(q) = q**2 - 2*q - 1. Let b be x(3). Suppose b*l + 7 = n - 0*l, 3*l + o = -n. Solve 0 = -g - 4 + n for g.
-1
Let r(g) = g**3 - 9*g**2 + 3*g - 10. Let k be r(9). Solve 4*c = -k + 5 for c.
-3
Suppose -4*u + 5*u - 2 = 0. Solve 0 = 2*r - 4 + u for r.
1
Suppose -5*u - 23 = -4*d + 4, 15 = 2*d - 3*u. Let a = 2 + -1. Suppose -l - a = 2*p, -p = l + 1 + 2. Solve f = -p*f - d for f.
-1
Let t be ((-2)/8)/((-12)/144). Solve -t*x - 2 = -11 for x.
3
Suppose -3*m = -3*w - 39, m - 5*m + 22 = 2*w. Solve -2*z - 2 = m for z.
-5
Let u = -7 - -10. Suppose t - 26 = -11. Suppose 30 = 3*y + 2*y. Solve t = -u*d + y*d for d.
5
Let f = 8 + -2. Let k be (f - 1) + 1 + -2. Suppose m + k*m = 30. Solve m*g - 9 = 3*g for g.
3
Let m be (-3)/6 - 33/6. Let z be (4/(-3))/(m/9). Solve q - z*q = 0 for q.
0
Let g be ((0 + -1)*5)/1. Let p(r) = r**2 + 6*r. Let j be p(g). Let x(s) = s**3 + 6*s**2 + 4*s. Let n be x(j). Solve -q = 1 - n for q.
4
Let l(z) = z**3 - 3*z + 3. Let v = 8 + -6. Let k be l(v). Solve k*r = -4 - 1 for r.
-1
Let f(n) = n**3 + 16*n**2 + n + 18. Let k be f(-16). Let g be (-4)/(0 - (2 + -1)). Suppose -2*b - 3*j + g = 0, 9 = -4*b - j + 37. Solve -k*r - b = -6*r for r.
2
Let i be (12/(-15))/(2/(-40)). Let c = i - 4. Suppose 0*a = 4*a - 8. Solve o + a*o = -c for o.
-4
Let o be 0/(-1 + 2) + 5. Suppose -j + 3*r = o, -6 = -j + 5*j - 5*r. Solve 0 - j = -c for c.
1
Let t(y) = 2*y - 9. Let d be t(6). Solve 3 = d*s - 6 for s.
3
Let d(i) be the first derivative of -2 - 2*i**2 + 1/4*i**4 + 4/3*i**3 + 5*i. Let k be d(-5). Solve 5*f + 20 = -k*f for f.
-4
Suppose 0 = b + 10 - 12. Solve -3*i = b*i for i.
0
Let r = -2 - -8. Let u be (-52)/(-10) - r/30. Let f be 2/(-9) + 22/99. Solve 10 = -u*s - f*s for s.
-2
Let q(t) = t**3 - 3*t**2 - 1. Let f be q(4). Suppose 0 = -4*r + 3*d + 5, 5 = 5*r - d - f. Solve 0 = -4*p - p - r for p.
-1
Let g be (-2)/(-8)*0 + 0. Solve -5*m + m - 4 = g for m.
-1
Let g be -1*((4 - 0) + -4). Solve 5*z - 6 - 9 = g for z.
3
Let a(l) = -4*l + 1. Let h be a(-3). Solve -h - 2 = -5*x for x.
3
Let y = 2 - -5. Let o(i) = i + 1. Let k be o(-1). Suppose k = 4*c - 2*t - 2, -c = 4*t - y*t + 7. Solve 7*g - 15 = c*g for g.
3
Suppose 4*f + k - 4 = -0*k, f + 5*k = 1. Solve 0 = -5*r - 16 + f for r.
-3
Suppose 6*q = 3*q + 45. Suppose 0 = -z + 8 - 1. Solve -z*c - q = -4*c for c.
-5
Suppose 4*a = x + 6, 8*a - 3*x = 5*a. Solve 20 = 3*j + a*j for j.
4
Let n(z) = 2*z**2 + z - 1. Let j be n(1). Suppose -3*h = -j*h - 4. Solve -h + 14 = -2*m for m.
-5
Let b be (-48)/(-22) + 42/(-231). Let m be 3/((-6)/(-4)) + 0. Suppose -4*u = -0*z + 4*z + 8, 2*u - 4 = m*z. Solve u = b*c - c for c.
0
Suppose -2*z = r + r + 2, r + 4*z + 10 = 0. Let i be (-1)/(2 - 3)*0. Solve a + r = -i*a for a.
-2
Suppose -2*n = -2*m, m + 4*m - 4*n - 3 = 0. Solve -m*f - f = -12 for f.
3
Let c be 12/3*(-2 - -3). Let q be (-1 - 0)/((-2)/c). Solve -q = -2*t + 2 for t.
2
Let b be ((-9)/6 - 0)*(-2 + 0). Solve g + 8 = b*g for g.
4
Let v be (-5)/((-100)/44) + 1/(-5). Solve -v = -h + 2*h for h.
-2
Let z(b) = -b**2 + 3*b - 2. Let n be z(2). Suppose 2*o = -n + 6. Suppose -o*p + 4*t - 3 = 0, 3*t = 4*p - 0*t - 3. Solve -2*h + p*h + 3 = 0 for h.
-3
Let y(h) = -2*h + h + 1 + 2. Let m be y(3). Let k be (0 - (-1 - -2))*-3. Solve 3*v = -m + k for v.
1
Suppose c = -2*c. Let q be (5 - c)/((-1)/(-2)). Solve 0*p = 2*p + q for p.
-5
Suppose 2 + 2 = g. Suppose c - 2*u = -4, -4*c = -g*u - 0 + 8. Solve 0 = -5*x + 5 - c for x.
1
Suppose -4*p + 0 = -3*i - 7, -4*i - 2*p = 2. Let b = i - -6. Suppose -31 - b = -4*s. Solve 16 = 5*d - s for d.
5
Suppose 0*z = 4*z. Suppose 5*b - a + 0*a - 109 = z, -b - 4*a = -5. Solve -4 = 5*o + b for o.
-5
Let a = 6 + -2. Suppose -13 = -2*t - 4*j + 9, -4*j = a*t - 36. Solve -t*i = -3*i - 8 for i.
2
Let l(g) = -5 - 2*g + g**2 - 4*g + 0. Let m be l(7). Let h be m/((4/2)/2). Solve -h - 1 = 3*n for n.
-1
Suppose -4*j - 3*k = 6, -6*k + k - 10 = j. Solve 2 = 2*l - j for l.
1
Let i(j) = 0*j + 7*j - 6*j. Let u be i(4). Solve u*r = 7 - 19 for r.
-3
Suppose 4 = 2*b - 0. Suppose 0 = b*j - 11 + 5. Solve 0*y + j*y + 9 = 0 for y.
-3
Let c be ((-21)/(-12))/((-1)/4). Let k(h) = h**3 + 6*h**2 - 6*h + 14. Let b be k(c). Solve 0 = -3*o + b*o + 8 for o.
-2
Let p = -4 + 10. Let c(q) = -q - 5. Let o(z) = 2*z + 6. Let x(l) = 6*c(l) + 4*o(l). Let i be x(p). Solve -3*u = -0 - i for u.
2
Let n(k) = -k**2 + k + 5. Let s be n(0). Let o(r) = r**2 - 7*r. Let l be o(s). Let i be 4/1*l/(-8). Solve i*h - h + 12 = 0 for h.
-3
Suppose -10*l + 9*l + 17 = 0. Let v = -12 + l. Solve 11 + 14 = -v*g for g.
-5
Suppose -y = -0 - 2. Suppose -4 = -y*h + 4. Solve d + d = h for d.
2
Let c(x) = x**2 + 10*x - 13. Let i be c(-11). Let h(m) = 2*m - 9. Let t(z) = z - 8. Let d(q) = i*h(q) + 3*t(q). Let j be d(-6). Solve j*o = -o - 3 for o.
-3
Let k be ((-1)/3)/(3/(-45)). Solve 0*o = -o + k for o.
5
Suppose 10 - 32 = -2*c + 4*a, 0 = 4*a + 20. Solve 2*b = b + c for b.
1
Suppose 2*x - 4*x + 7 = l, 3*x = 2*l. Suppose 3*o + 7 = -4*m, l*o - 2*m + 3*m - 5 = 0. Solve 3 + o = 3*r for r.
2
Let w(t) = -t**3 - 2*t**2 + 4*t + 2. Let u be w(-3). Let j be 4*u/(-1 - 0). Suppose -j*x = -7*x. Solve x = -2*h + 6*h - 20 for h.
5
Let h be 2/(-3) - 16/(-6). Suppose -h*n = -59 - 1. Suppose -n = b - 3*b. Solve 3*d = -b + 3 for d.
-4
Suppose 3*a + 20 = 5*g + 4, -8 = 4*a - 4*g. Let i = a - -1. Solve -i = 3*b + 11 for b.
-5
Let y(g) = -g**2 - 3 + 2*g - 3*g - 2*g**2 - 2*g**2 - g**3. Let a be y(-5). Solve -a*v = -v for v.
0
Let h(r) = r**3 + r**2 - r - 1. Let x be h(-1). Solve x = 3*c + c + 4 for c.
-1
Suppose 2*f = 2*n, -4*f + 3*f = 4*n. Let i = 2 + n. Solve i*c + 15 = -3*c for c.
-3
Let n be ((-8)/20)/((-1)/10). Suppose -3*r - 46 = -n*p - r, -60 = -5*p + 3*r. Solve p = 2*x + 3 for x.
3
Let z be (0 + (-2)/(-4))*0. Solve -2*f - 3*f = z for f.
0
Let x = -8 + 12. Suppose 17 + 2 = 2*p - 5*s, 0 = x*p - 5*s - 23. Suppose p*b + 1 = 3. Solve 0 = -a + b - 2 for a.
-1
Suppose 2*o - 2*m - 14 = 0, -5*m - 13 = -o + 2. Suppose 7*z = -0*z. Solve z = -o*n + 25 for n.
5
Suppose 4*h + 2*c = 26, 4*h = -5*c + 6 + 35. Solve -11 = -h*y - 3 for y.
2
Let u(z) = z**3 - 3*z**2 - 3*z + 1. Let d be u(4). Suppose 6 = 3*v, -b - v - 14 = -d*b. Solve -2*j = -b*j for j.
0
Let p(m) = -2*m**3 - 3*m**2 - m. Let k be p(-1). Solve k*l - l = 3 for l.
-3
Suppose 0 = -3*o + 2*j + 7, 0 = -2*o - 3*j - 16 - 1. Let p be ((-6)/5)/(o/(-5)). Let y be (-4)/(-6) - 20/p. Solve -2*k = -y*k for k.
0
Let o = 3 - -2. Suppose -o*j = 5*i - j, 2*i = 2*j. Suppose i = -0*b + b - 2. Solve -4*f = b - 6 for f.
1
Suppose 0 = -3*y - q + 2*q - 1, -3*q = y - 3. Suppose -23*j = -19*j - 12. Solve y = 4*i + 17 + j for i.
-5
Let l be 9 + -2 - (1 - -1). Suppose 4*k = -2*u - 0*k + 32, -l*k = -10. Solve 0 = 2*c + 4 - u for c.
4
Let n(x) = -x**2 + 8*x - 6. Let o be n(5). Suppose -4*k + 3*f - 6*f = -7, -3*k - f = -o. Suppose 22 = j - 4*v - v, -16 = k*v. Solve j*d + 4 = -6 for d.
-5
Suppose -4*r + 5*r - 4 = 0. Suppose 25 = 5*f, f - 37 = -r*g - 4*f. Solve 6*n = g*n for n.
0
Suppose w + w - 2*l - 40 = 0, 2*w + 2*l = 60. Solve 0 = 3*j - 8*j - w for j.
-5
Suppose 9 = m + g, 25 = g + 4*g. Solve -3*z - 1 = -m for z.
1
Let s(t) = 5 + 6 + t + 1 - 1. Let a be s(-7). Solve -a*b = -b for b.
0
Suppose -p - 5*z = 10, 0 = -4*z - 17 + 5. Suppose -p*h + 21 - 1 = 0. Solve -14 + h = 5*s for s.
-2
Let w = 0 + 6. Let a be w/(-33) - 92/(-22). Solve -3*n = -a*n - 2 for n.
-2
Suppose -4*v - 2*i + 2 = 0, 3*v - 5*i = 5*v - 5. Let t be (-3)/(-9)*(v - -15). Solve t*r + 30 = 10 for r.
-4
Suppose 4*d - 8 - 