-8 = -z*k + 7 for k.
3
Let k be 9 + -1*(1 + 0). Let g = k + 0. Solve -g = 2*q - 2 for q.
-3
Let u be ((-4)/(-10))/(2/10). Solve -u*z - 8 = -6*z for z.
2
Let a(l) = -l**2 + 10*l + 1. Let j(n) = -n. Let v(z) = a(z) + 6*j(z). Let x be v(3). Solve b + 5 = -x*b for b.
-1
Let t(s) = s**3 - 5*s**2 - s + 5. Let z be t(5). Solve z = -2*h - 6 - 2 for h.
-4
Let r(c) = 0 + 2 - c - c**2 + 1. Let l be r(3). Let f = l + 14. Solve f = -5*q - 15 for q.
-4
Let o = -4 + 6. Suppose -o*s = 3*s - 15, s = -5*b + 3. Solve b*p - 5 = -p for p.
5
Let k(u) = 16*u. Let l be k(1). Suppose g - 3 + 1 = 0. Suppose -g*r + 5 = 3*r. Solve 0 = 3*w + l - r for w.
-5
Suppose 16 = 4*r - 0, -4*r + 40 = 4*i. Let d = 10 - i. Solve -9 - 7 = d*v for v.
-4
Suppose 4 - 10 = -3*t. Suppose 1 = -2*j - 3. Let y = j + 4. Solve y*c + t*c = -20 for c.
-5
Let m = 2 - 4. Let t be 2/(-8)*(m - 2). Solve f = -0*f - t for f.
-1
Let i(z) = -z**3 - 7*z**2 + 8*z - 6. Let a be i(-8). Let d be 94/10 + a/15. Suppose -h = 2*h - d. Solve -6*x = -h*x + 6 for x.
-2
Suppose 2*c + 10 = 0, -2*c - 14 = -z + 5*z. Let g(k) = k + 1. Let w be g(z). Solve w*h + 9 = -3*h for h.
-3
Let h = -7 + 6. Let v be (-3)/(-6)*(-4)/h. Let x = 6 - v. Solve 10 = n + x*n for n.
2
Suppose -18 = 7*z - 53. Solve -l + z = 1 for l.
4
Let q = 173 + -171. Solve -x + 1 = -q for x.
3
Let y(r) = -4*r - 20. Let l be y(-7). Solve 3 = i + l for i.
-5
Let a(o) be the first derivative of o**4/4 - 4*o**3/3 - o**2/2 + 3. Let k be a(5). Let q be (3 - 0)/(15/k). Solve 3*w - 7*w + q = 0 for w.
1
Let n(p) = p - 7. Suppose 2*a - 6 = 4. Let i be n(a). Let h be (i - -2)*(0 + -1). Solve z - 2*z = h for z.
0
Let z(m) = 6*m**2. Let y be z(1). Let h(r) = -17 + 28 + 1 + r. Let g be h(-10). Solve 0 = -k - y + g for k.
-4
Let i = -3 - -5. Solve -2*g - 8 = -i for g.
-3
Suppose -2*b = -v - 5, 4*v + 10 = 5*b - 2*b. Solve 2 = b*n - 4 for n.
3
Suppose -5*g + 15 - 5 = 0. Let h be ((-3)/4)/(2/40). Let n be (1 - 7)*h/30. Solve -g*s + s = n for s.
-3
Let g(c) = -c**3 - 4*c**2 + 4*c + 4. Let x be g(-5). Let n = 14 - 10. Suppose 0*o - 2*o = -y + 12, 0 = -n*o - 16. Solve -y*f = -x*f + 5 for f.
1
Let a = -64 + 139. Suppose 0*g = 3*g - a. Solve y - 6*y = g for y.
-5
Let m be (-3 - -2) + (-7)/(-1). Solve -2*p + m*p = 20 for p.
5
Let i(o) = o - 2. Let r be i(6). Let y(b) = b**2 + b - 2. Let k be y(1). Let v = 3 + 9. Solve k*s - v = r*s for s.
-3
Suppose 3*n - 4*n = 0. Solve f - 5*f = n for f.
0
Suppose 2*t = -0*t - 62. Let p = -18 - t. Solve 0 = -4*g + 7 + p for g.
5
Suppose g = 4*a + 3, -5*g + 4*a - 2*a + 33 = 0. Solve -4*b = -15 + g for b.
2
Suppose v + 0 + 5 = 0. Let l be ((-10)/1)/(3 + v). Solve 0 = 2*u - l*u for u.
0
Let s be 6/(-36) + 302/12. Solve 3*z + s = -2*z for z.
-5
Suppose 3*w - 3 - 15 = 0. Let b be (16/(-6))/((-1)/w). Let r(u) = -u + 6. Let t be r(6). Solve -4*z = -t*z + b for z.
-4
Suppose 4*h - 19 = -s, -5 = -2*h - 2*s - 3*s. Let p be (-10)/25 - (-32)/h. Suppose -5*t = 2*v + 23, 2*t - 1 = -5*v - p. Solve -4*l - 7 = v for l.
-2
Let k(n) = n**3 - 5*n**2 + n - 1. Let l be k(5). Solve -l*q = -2*q - 8 for q.
4
Let y be ((-87)/12)/(2/8). Let u = y - -45. Solve -9 - u = -5*n for n.
5
Suppose 2*j = 6*j. Solve j = s - 3*s for s.
0
Let g(u) = 5*u**3 - u. Let i be g(-1). Let s(d) = d**3 + 4*d**2 - 6*d - 4. Let q be s(i). Solve -6*b - q = -b for b.
-4
Let z be (-1)/((-7)/(-2) - 4) - -1. Solve z*n + 0 = 15 for n.
5
Let i(x) = -12*x**2 + 2*x. Let h be i(-2). Let v = -36 - h. Solve v = -o + 5*o for o.
4
Let s = 13 - 22. Let h = s - -11. Solve -h*o - 4 = -0 for o.
-2
Let x(q) = 2*q**2 + 33*q - 12. Let a be x(-17). Solve 5 + 20 = a*m for m.
5
Suppose s = -2*t + 11, 3*s - 17 = 3*t - 5*t. Solve -7*v = -t*v - 6 for v.
2
Suppose 3*f + 3*r = 3, -4*r + 0*r = 3*f - 2. Suppose -5 = -f*z - 3. Let y be z - -1 - (-1 - 1). Solve -4*b - 8 = y for b.
-3
Let u be -4*((-10)/(-8) + -1). Let b = u + 3. Solve b + 6 = 4*r for r.
2
Suppose -j - 2*j = -4*d - 26, 5*d - 2*j + 36 = 0. Let z(s) = -s**3 - 8*s**2 - s - 8. Let i be z(d). Let n be 2 + 1 + -1 + i. Solve g + n*g + 3 = 0 for g.
-1
Suppose 0 = -3*o + 2 + 4. Suppose -o*y = -d + 43, 2*y - 32 + 5 = -d. Suppose -3*k - 5 = -d. Solve k = 5*i - 0*i for i.
2
Let f be (-1 + 14/(-6))/(56/(-84)). Solve 3 = -f*q + 8 for q.
1
Let q = 22 + -22. Solve q = -t + 2 for t.
2
Let s = 53 - 51. Solve m + s*m = 9 for m.
3
Let j(x) = x**2 - 3*x + 3. Let o be j(6). Let f(u) = -2*u - 5. Let d be f(-5). Suppose 0*g - g = -d. Solve g*h - o = -1 for h.
4
Let p be (-8)/(-3) + (-4)/6. Let q be 1*(p + 2 - 2). Suppose q = 5*a - 3. Solve -2*f + 1 = -a for f.
1
Let k(w) = -w**3 + 5*w**2 - 3. Let f be k(5). Let i = 0 - f. Solve -o + 16 = i*o for o.
4
Let s(p) be the third derivative of -p**4/24 + 2*p**3 - p**2. Let w be s(8). Solve f = w*f - 15 for f.
5
Suppose 3*t = -0*t + 15. Let j = -7 - -23. Let f = -14 + j. Solve f*c - t = 3*c for c.
-5
Let d(r) = 3*r - 45. Let m be d(16). Solve -2*t = -m*t for t.
0
Let b(l) = l**2 + 5*l - 3. Let w be b(-6). Suppose 0 = -w*t + 4*t + 9. Let y be 9*(1 - (-6)/t). Solve 2 = -y*h - 4 for h.
-2
Suppose -6 + 18 = -2*d. Let t be d/1 - -3 - -3. Solve v + v = t for v.
0
Suppose 2*i - 10 = 3*w, -i = -4*w + i - 10. Let u = 1 - -2. Let t(v) = -3*v**3 + 2*v**2 + v. Let x be t(-1). Solve -2*h + u*h + x = w for h.
-4
Suppose d + 3 = -3*q, -4*d + 2*q + 1 = q. Suppose 0 = -5*m + j + 5, -2*m + 2 + 0 = 2*j. Suppose 0 = 2*z + h - m, 5*h + 6 = -4*z - 1. Solve 0 = i - d + z for i.
-2
Let u(g) = g**2 + 2*g - 4. Let t be u(-4). Suppose -6 = -3*m - 0. Solve 0*n + m*n - t = 0 for n.
2
Suppose 5*w - 34 = 41. Suppose 0 = 3*m - 5 + 59. Let y = 20 + m. Solve -w = -f - y*f for f.
5
Let s be 3/6 - (-126)/4. Let a = s + -22. Suppose 4*o = a + 6. Solve o + 12 = -4*q for q.
-4
Let w be (-1 + -5)*(-3)/6. Suppose -g + 2*f = -21, 4*f + 21 - 54 = -w*g. Suppose -i = -r - g + 5, 0 = i + 3*r + 2. Solve 2*x = i + 3 for x.
5
Let j(p) = p**2 + 4*p - 4. Let d be j(-5). Let z = d - 1. Solve z = -k - 1 - 2 for k.
-3
Let y be (3 + 0)/((-3)/(-12)). Let z be y*((-14)/4 - -3). Let d = z - -6. Solve d = -5*o - 0*o + 5 for o.
1
Let o = -21 - -29. Solve -o + 4 = z for z.
-4
Let n(q) = -q**2 + 16*q + 19. Let u be n(17). Solve -u*z = 2*z + 4 for z.
-1
Let z(s) = s**2 - 8*s - 6. Let t be z(6). Let k = 20 + t. Solve -2 + 6 = k*l for l.
2
Suppose -2*z = k - 7, 0 = -2*k + z + 19. Solve -l + k = -4*l for l.
-3
Suppose 3*j + 8 = -j + 5*b, j - 15 = -3*b. Let q be j/(-12) + (-13)/(-4). Let x(r) = -r**3 + 9*r**2 + 9*r + 11. Let k be x(10). Solve q - k = f for f.
2
Let p be (-4 - 0)/16 - (-2)/8. Let r = -2 + 2. Suppose r = s + 2*s. Solve p = -s*l - 3*l - 15 for l.
-5
Let b be -4*(2 - (-15)/(-6)). Let f = -5 - -8. Solve -b*x = f*x + 15 for x.
-3
Let x(z) = 6*z**2 - 2*z + 2. Let a be x(1). Solve -3*g = -3 - a for g.
3
Suppose 5*z + 12 = 47. Solve -17 = 5*l - z for l.
-2
Let n(h) be the third derivative of h**4/24 + 2*h**3/3 + 4*h**2. Let u be n(-4). Suppose -4*c + 0*c = 0. Solve -5*l + c*l + 20 = u for l.
4
Suppose 4*g = -0*g + 8. Solve -10 = -g*z + 4*z for z.
-5
Let l(k) = -k**2 - 7*k - 3. Let w be l(-4). Solve 5*n - 16 - w = 0 for n.
5
Suppose 3*y = -0*y + 57. Solve 1 = -5*d - y for d.
-4
Let u be 0*(-3)/6*-2. Suppose 2*t - 6 - 2 = u. Solve h = -h + t for h.
2
Suppose 4*f = 4*o + 24, -4*o = -5*f + 16 + 16. Solve 0 = f*n - 4*n + 20 for n.
-5
Let q(a) = a + 8. Let m be q(-7). Solve 2*h = 9 + m for h.
5
Let o be ((-9)/2)/((-12)/32). Solve -3*j - o = j for j.
-3
Suppose -u + 5*c = -14, 5*u = 4*c - 0*c + 7. Suppose -1 = 2*r - 3. Let n be r/(-3)*0*u. Solve n = -4*m - 0*m for m.
0
Let b be 2/(3 + 39/(-15)). Suppose 0 = -n - b*z + 7, -5*n + 4*z + 2 = -4. Solve g + 0 = -n for g.
-2
Suppose 0 = -n + 4. Suppose -n*p + p = -12. Solve g - 10 = -p*g for g.
2
Let r(a) = a**3 + 10*a**2 + 7*a - 15. Let q be r(-9). Solve q*k + 0*k = 3 for k.
1
Let t be 1/(-1) + (-3)/(3/(-7)). Solve -t*k = -3*k + 3 for k.
-1
Let o be 4/(((-30)/(-9))/5). Solve o = -a + 1 for a.
-5
Let v be (-3)/(-2) - 3/(-2). Suppose -q - 3*n = -14, v*q = -4*n + 8*n + 3. Solve -5 = -q*m - 0*m for m.
1
Suppose -5*q = -2 - 8. Let d be (6/5)/((-4)/(-10)). Solve -5 = d*r + q*r for r.
-1
Suppose 3*w - 4*f + 14 = 0, 6*w = w + 3*f - 5. Suppose 0*k = -k + w. Solve -l + k = l for l.
1
Let x = 4 + -1. Let r = 8 - 0. Let z = -5 + r. Solve 4*c - z = x*c for c.
3
Let u = -7