= k*z for z.
-4
Let v(r) = -r**2 - 10*r + 13. Let i be v(-12). Let x be (i/(-22))/((-1)/(-18)). Solve 2*l = -l - x for l.
-3
Let l = 2 + -3. Let x be -1 + (l - -2)*11. Solve 4*h - 26 = -x for h.
4
Suppose 0 = -3*r - 2*v + 16 + 10, 3*v = 2*r - 13. Solve r = -2*n - 2*n for n.
-2
Let t(c) = -c**2 - 4*c**3 + 5*c**3 - 4*c**2. Let z be t(5). Let k be (-1)/((5/(-25))/1). Solve z*v + 25 = -k*v for v.
-5
Suppose -5*j + 144 = 3*j. Solve 3*u = 3 - j for u.
-5
Suppose v + 7 = -0*v - 2*q, 0 = -4*v + 2*q + 22. Solve -5*b - v + 13 = 0 for b.
2
Let z be 6*3*1/2. Let d(f) = f + 4. Let w be d(0). Suppose -z = -w*v - 4*s + 3, 5*v + 2*s = 12. Solve 4*x = v*x - 8 for x.
-4
Let q be (1 - 2)*(-6 + -1). Let w(i) = -13*i - 2. Let p be w(4). Let r be (-12)/p - (-32)/18. Solve q*j + 5 = r*j for j.
-1
Suppose 5*l = -w + 28, l + 4*l + 3*w - 24 = 0. Solve 7*v + l = 4*v for v.
-2
Suppose -11*q + 66 = -8*q. Let o = 24 - q. Solve 0 = 4*t - 6 - o for t.
2
Let p(j) = -2*j - 6. Let t be p(-5). Let a(r) = 2*r - 22. Let h be a(15). Let n(z) = -z + 11. Let c be n(h). Solve c*w + 1 = t for w.
1
Let g = 11 - 6. Suppose -g*o + 60 = -2*l, 0 = -0*o + o + 2*l. Solve -q + o = q for q.
5
Suppose 0*s - 16 = -4*s. Let t be 2 + s + (1 - -1). Solve k - t = 3*k for k.
-4
Let j = -3 + 3. Let t(b) = 5*b**3 + b - 1. Let z be t(1). Solve j = -y - 3 + z for y.
2
Let o(f) = 4*f**2 - 4*f + 2. Let x(s) = 21*s**2 - 20*s + 10. Let u(h) = 11*o(h) - 2*x(h). Let n be u(2). Solve n*w = -3 + 9 for w.
3
Let f(u) = -u**2 - 3*u. Let p(q) = -q**2 - 4*q. Let i(r) = 4*f(r) - 3*p(r). Let g be i(0). Suppose 5 = -g*n + 5*n. Solve 4*s + n + 7 = 0 for s.
-2
Suppose -2*k + 11 = -35. Suppose 4*n + 0*n - 5*u - k = 0, -14 = -4*n + 2*u. Solve -4 = t - n for t.
-2
Suppose 2*f = -8*w + 3*w - 37, -3*f + w - 13 = 0. Let b = f - -8. Suppose i + b = -d, -4*i + 3*d = -0*i - 20. Solve 0 = v - i*v - 4 for v.
-4
Suppose 120 = 4*h + 4*t, 14 - 6 = 4*t. Solve h - 8 = 4*s for s.
5
Suppose 5*b = 40 - 20. Solve 6*v = b*v for v.
0
Suppose 3 = 4*y - 2*j - 1, -4*j - 8 = 0. Solve y*a = -a + 5 for a.
5
Let f = -5 + 6. Let a = 2 + f. Solve 0 = a*b + 2 + 4 for b.
-2
Let z(u) = -u + 7. Let j be z(3). Solve 12 = -j*r + r for r.
-4
Suppose -4*l = -0*l. Solve l - 5 = 5*v for v.
-1
Let w(r) = r**3 + 4. Let x be w(0). Solve 6 = x*q - 6 for q.
3
Let z be (0 - -2 - 2) + 20. Suppose 2 = 2*r + q, -q + 7 - z = -3*r. Suppose -3*w - r*v = -2*w + 4, -2 = 4*w + 5*v. Solve 0 = -0*d - w*d + 10 for d.
5
Let c = -27 - -27. Solve 0 = u - c*u for u.
0
Let u = 13 - 3. Solve -2*z = -0*z - u for z.
5
Let z(h) = -h**3 + 5*h**2 + h. Let l be z(5). Let g be 65/25 - 3/l. Solve g*x - x + 4 = 0 for x.
-4
Let l(r) = r**3 - 9*r**2 + 10*r - 3. Let g be l(8). Suppose -5*i = -17 - g. Solve 15 = -i*f + 3*f for f.
-5
Let a(p) = p**3 - 6*p**2 - 5*p - 6. Suppose -4*c + 26 = -s, 11 - 5 = 3*s. Let q be a(c). Suppose -q = -5*o + 12. Solve -2*i + o = 6 for i.
-1
Suppose 12*z = 2*z + 50. Solve 1 = -c + z for c.
4
Suppose -6*z = -z. Solve 2*c - 4*c + 2 = z for c.
1
Suppose 5*p + 3*q + 63 = 0, 2*q - q = -4*p - 56. Let l = -8 - p. Solve 0 = -5*y + l + 3 for y.
2
Let u be 4/(-24)*-3*(9 - 3). Let r be (-2)/(-6) + 5/3. Solve -r = -2*z + u*z for z.
-2
Let n = -17 + 18. Suppose 0*b - 3*b + 27 = 3*j, -4*j = -3*b - n. Solve -r + 16 = -b*r for r.
-4
Let p be 4*((-4 + 0)/4)/(-2). Solve j + p = -j for j.
-1
Let y(w) = w**3 - 4*w**2 + 2*w - 5. Let n be y(4). Suppose -n = -0*p + p. Let r = 3 + p. Solve r*u = -u for u.
0
Let g(y) = -y - 11. Let i be g(-14). Solve 0*a = i*a for a.
0
Let y be (-2)/(-8)*2*0. Suppose 3*n - 2*x = y, -x + 6 = x. Solve 0 = n*c - c for c.
0
Let m(i) = -2*i + 2. Let v be m(3). Let r = -1 - v. Solve r*s - 5*s + 8 = 0 for s.
4
Let a be 0*(1 - 6)/5. Solve -4*z + 5 - 17 = a for z.
-3
Suppose -34 = 4*c - 2. Let q = c - -12. Solve q*w - 9 = w for w.
3
Suppose 5 = -u - j + 5*j, 2 = -2*u + 4*j. Suppose -u*x + 5*x = 4. Solve 0 = h - 0 + x for h.
-2
Suppose 3*b = -2*b + 20, 5*b - 20 = 2*n. Let h(t) = -t + 4. Let j be h(2). Suppose -j*y + 8 = 4. Solve -2*v - y + 10 = n for v.
4
Suppose 0 = -3*s + 11 + 4. Let z = 24 - 29. Let k = z + s. Solve 3*b + k = -12 for b.
-4
Let i(g) = -g**2 - 8*g + 2. Let m be i(-8). Let c(z) be the second derivative of z**4/12 - 5*z**3/6 - 3*z**2 - 3*z. Let t be c(6). Solve m*r = -t*r - 10 for r.
-5
Let d(s) = s**3 - 3*s**2 + 3*s - 1. Let z be d(2). Let v = 2 + -2. Solve 2*n + z + 1 = v for n.
-1
Let r(t) = 0 - 2 + t**2 + 0*t + t. Let i be r(-3). Suppose -h + 7 = -2*w + 3*w, h - 11 = -3*w. Solve -h*o = -i*o for o.
0
Let u = 28 - 24. Solve 5*q = u*q for q.
0
Let b = 3 - 1. Suppose -b*n = -0*n - 4. Suppose -n*h = -0*h. Solve h = v - 2 - 3 for v.
5
Let j be (-8)/(-10) + 142/10. Solve 4*d = d - j for d.
-5
Suppose 4*n + 4 = 5*o, 0 = -o - 3*o + 3*n + 3. Suppose o*j = j - 2. Solve j = -l + 1 for l.
-1
Let p(j) = 2 + j + 0*j - 2 + 6. Let s be p(-6). Solve s = n - 1 - 4 for n.
5
Suppose -p = 3*v + 3*p - 3, 9 = -4*v - p. Let o be 0/(v*(-1)/3). Solve o = -2*r - 2*r + 12 for r.
3
Suppose -3*g = -0*x - 4*x + 21, 4*g = -2*x - 6. Solve -4*u + x = -u for u.
1
Let v(z) = -z**2 - z + 2. Let s be v(-2). Suppose 20 + 4 = 3*x. Let p = x + -5. Solve t - 2*t - p = s for t.
-3
Let d(j) = j**3 - 11*j**2 + 11*j - 8. Let p be d(10). Solve p*l = -l for l.
0
Let n(u) = u + 15 - 9 + 0*u + u. Let c be n(-3). Solve 0*f - f + 2 = c for f.
2
Let u = 0 + 18. Let d = u - 12. Solve 0*j + d = -2*j for j.
-3
Let j(h) = h**3 + 2*h**2 - 4*h + 8. Let n be j(0). Solve -n*g = -3*g + 25 for g.
-5
Suppose 0 = -2*k + 6*k - 36. Solve -r + k = 2*r for r.
3
Let p(n) = n**3 + 3*n**2 - 2*n - 6. Let v be p(-3). Solve -2*w + w + 5 = v for w.
5
Let g(n) = n**2 - n - 6. Let u(v) = -v**2 + 5. Let c(z) = 4*g(z) + 5*u(z). Let s be c(-3). Solve -s*x = x + 25 for x.
-5
Let w(i) = i**2 - 4*i - 4. Let s be w(7). Solve s - 5 = 4*m for m.
3
Let p = 4 - 0. Let n = p - 2. Solve n*a = -a + 3 for a.
1
Suppose m + 21 = -b + 6*b, b - 2*m - 6 = 0. Solve 2*i - b + 10 = 0 for i.
-3
Let b(v) = -v**2 + 7*v + 2. Let y(z) = -1. Let w(k) = b(k) + 4*y(k). Suppose 4 - 19 = -5*c. Let t be w(c). Solve -4*g - 10 = t for g.
-5
Suppose -2 = 191*b - 192*b. Solve -3*l = -5 + b for l.
1
Suppose -2*t = 1 - 13. Let r(v) = -v - 4. Let a be r(-7). Let b be 20/t + 2/a. Solve -k = b - 1 for k.
-3
Suppose -175 = k - i, 2*k - 3*i - i + 344 = 0. Let r = 265 + k. Let t be 4/(-18) + r/27. Solve -5*z - 17 = t for z.
-4
Let x(l) = -l**2 - l. Let n be x(-1). Let b(y) = -y**3 - 10*y**2 - 6*y + 11. Let m be b(-9). Let z = -11 - m. Solve p + 0 + z = n for p.
-5
Suppose 0 = -4*x + 12 + 32. Solve -3*h + 1 + x = 0 for h.
4
Let d(m) = -m + 1. Let l be d(-2). Let n(o) = -o**3 + 3*o**2 + 3*o + 3. Let i be n(l). Let c = i - 10. Solve 3*r - c = 10 for r.
4
Let z be (4/(-8))/(2/(-16)). Suppose 0 = 3*p - 5*p + z. Solve -5*k + p*k = -3 for k.
1
Let n = -14 - 2. Let g = -7 - n. Solve -5*y - 16 = g for y.
-5
Let d be 4/(-6) + (-17)/(-3). Suppose -8 = -3*b + d*j - 2, -5*b + 10 = 2*j. Solve -b*p - 3 + 7 = 0 for p.
2
Let i = 2 + 2. Let b(c) = -c - 3. Let o(j) = 3*j + 6. Let f(h) = 5*b(h) + 2*o(h). Let q be f(i). Solve v + 4 = q for v.
-3
Let m(v) = 2*v**2 - 2*v + 2. Let n be m(2). Let s be 0 - 0/((24/4)/(-3)). Solve s = n*c - c for c.
0
Let d be 20/6*12/10. Solve -3*a - 5 = d for a.
-3
Let z(s) = 2*s - 2. Let j be z(2). Let y be (-1*2)/1*j. Let m = -4 - y. Solve -r - 2 = -m for r.
-2
Let y = 55 + -52. Solve -y*x = -2 + 8 for x.
-2
Let o = 26 - 18. Let h = -8 + o. Let z be 0 + 1 + -2 - -1. Solve z = -i + 1 - h for i.
1
Let s be 4 + (-20)/28 + 2/(-7). Solve -7 + 4 = -s*j for j.
1
Let b = 66 + -1. Suppose 0 = 4*h + 17 - b. Suppose -2*c - c + h = 0. Solve 0 = c*r - 7 - 5 for r.
3
Suppose q = -0*g + g + 5, -3 = -q + 2*g. Solve 20 = -3*y + q*y for y.
5
Suppose 4*h = 6*s - 3*s + 18, -s + 4 = 2*h. Suppose h*w + 3 - 19 = -5*r, -r + w = -8. Solve r - 17 = 4*t for t.
-3
Suppose -3*j = j - 3*j. Solve -2*f = -j*f for f.
0
Let y = 4 + 2. Suppose y = -4*u + 22. Solve -4*f - 4 = u for f.
-2
Let t = 2 + 1. Suppose -2*u - 4*p - 14 = 0, 16 = -4*p - 0*p. Let c be (-1)/(1/(-1))*u. Solve 0 = 2*x + t - c for x.
-1
Let h = 192 + -177. Solve 6*l - 11*l - h = 0 for l.
-3
Let o(k) be the second derivative of k**4/12 - 13*k**3/6 + 9*k**2 - 5*k. Let t be o(12). Solve t = -0*z - 3*z for z.
-2
Let c(y) = -2*y -