= -k for k.
-2
Let l(y) = -52*y**3 + 4*y + 5. Let s be l(-1). Solve 5*k + 3*v - 21 = -s, 0 = -v - 4 for k.
-4
Let r be (-324)/(-40) + (-1)/10. Suppose r*c - 12*c = -20. Solve 4*z = c*d - 4, 2*d = d for z.
-1
Let x be (-1)/((63/45)/(-7)). Solve -4*o - 12 = 3*a, 2 = o + 2*a + x for o.
-3
Let u be (-3)/2*992/(-465)*5. Solve 7 + 7 = l - 5*f, 0 = -l - 5*f - u for l.
-1
Suppose 2*v + 0*v - 64 = 0. Suppose 3*r + 2*r + 2*h = -207, 3*h + 203 = -5*r. Let l = -38 - r. Solve -4*b = -l*c - v, 4*b + 2*c = -c for b.
3
Suppose 0*h - 4*h = -136. Let l = h + -14. Solve 5*y + l = -5*p, -y + 5*p = -3 + 1 for y.
-3
Let t be 17*(-2)/8*-4. Let j = t - 14. Suppose -2*a + 20 = j*a. Solve 0*x = -2*o + 3*x - 5, 4*o = a*x for o.
5
Let q(b) = b + 9. Let x be q(-5). Let f be (-6 + -9)*((-72)/30)/4. Solve j - f = -0*z + x*z, 2*z + 27 = 5*j for z.
-1
Let i = 68 + -41. Suppose 5*g + 12 = i. Suppose -2*m + 25 = g*s, 0 = 4*s + 13 + 7. Solve z + 2*n - 3 = 3, -5*n + m = 5*z for z.
2
Let h = -1107 - -1107. Solve 3 = -5*m - 4*p - 5, h = m + p + 2 for m.
0
Let m be (-6)/(-3) + 1 - 33. Let p = m - -30. Let i = -16 + 21. Solve i*d - 2*g = p, 2*d - 3*g = -d for d.
0
Let x = -19 - -20. Let p be (1/x - 0)*0. Solve 3*r = -5*t - 6, r + 2 = -4*t - p for r.
-2
Let n(z) = -23*z + 391. Let u be n(17). Solve 2*t - 5*t - 7 = -2*l, -5*t - 3*l - 37 = u for t.
-5
Let n = 130 + -130. Solve 3*p - 16 = -2*s - n*p, p - 8 = -2*s for s.
2
Let n be 2/(2*3/12). Let u(x) be the first derivative of x**3/3 - 4*x**2 + 11*x + 1. Let z be u(7). Solve -z*m + 6*m = k + n, 5*m = -k + 17 for k.
2
Let i(u) be the second derivative of -7*u**3/6 - 13*u**2 - 8*u. Let b be i(-6). Let l(z) = 3*z**2. Let q be l(-1). Solve -8 = -c - k, -c - b = -6*c + q*k for c.
5
Let x be (-102)/(-24) + 3/4. Solve -2*q + 6*q = -x*t - 20, -3*q + 3*t + 12 = 0 for q.
0
Let g be (-94)/(-4) + 26/52. Solve -4*u - 4*a = -0*u + g, -6 = 5*u - 3*a for u.
-3
Let p be (-52)/(-754) + 56/29. Solve 0 = -p*x - 5*s - 8, -4*x + s + 0*s = -6 for x.
1
Let p(j) = -j**2 + 9*j - 11. Let m be p(7). Suppose -54 = -4*r - u, m*u - 18 + 52 = 2*r. Solve -5*i - 2*z = r, 4*z = -4*i + i - 14 for i.
-2
Let j = 4 + -2. Suppose 0*m = -2*m + 4*m. Suppose -4*a + 59 - 7 = m. Solve h - a = -s - 3*s, -j*s + 11 = -h for s.
4
Suppose -8*y - 3 = -35. Solve 7 - 10 = 5*r - u, -3 = y*r - u for r.
0
Let a be ((-7)/21)/(1/(-3)). Let n be ((-9)/(-36))/(a/8). Suppose n*g - 1 = 21. Solve o + 0*o = -1, -4*v - 3*o - g = 0 for v.
-2
Suppose 2*f - 12 = -0*f - q, -f - 12 = -4*q. Let z(k) = 10*k - 38. Let c be z(f). Solve 0*n + 2*n + 26 = 4*b, -c*n + 19 = 5*b for n.
-3
Let y(s) = 2*s**2 - 64*s + 87. Let u be y(31). Solve 5*g - u = -5*a, 2*a - 15 = -3*g - 1 for g.
4
Let s(y) be the second derivative of -y**5/20 + y**4/3 + 11*y**3/6 + 4*y**2 - 5*y. Let g be s(6). Solve -3*o + 8 = -2*a, -g*o + 6 = a + 3 for o.
2
Let t be (-4 - -3)*6/3. Let a = 5 + t. Let x be (-16)/a*(-3)/2. Solve 5*s + x = -3*g, -36 = 4*g - 9*g + 4*s for g.
4
Let l be ((-4)/12)/(2 + 52/(-24)). Suppose g - l*o - 4 = 0, 8 = 2*g - 0*o + 3*o. Solve 0 = 5*z - 2*k - g, k = 2*z - 7*z - 2 for z.
0
Suppose -l + 12 = h, -5*h = -5*l + 40 - 0. Suppose -l*i + 36 = -i. Solve -m + 11 = 2*o, i*o + 18 = 7*o + 3*m for o.
5
Let i be ((-1)/1)/((-8)/72). Let k(r) = r**2 - 11*r - 8. Let g be k(9). Let w = g + 29. Solve 2*f - 2 = -4*m, -w*m - 3*f - i = 2*f for m.
2
Suppose -5*h - 4 + 24 = 0. Let w be h/3 - 66/(-18). Solve -4*m = 4*u + 36, 4*u = -2*m + w*m - 8 for u.
-5
Let p be (-1 - -3) + -2 - -12. Suppose -3*b = -b + p. Let z be 5/10*(2 - b). Solve -y - 2*y - 5*r + 7 = 0, 0 = z*y - r - 17 for y.
4
Let x = -5 + 10. Suppose 0 = 3*q - 8*q + 15. Suppose -9 = -q*v - 3. Solve z = -x*o - 4, 4*o + 3 = 3*o + v*z for o.
-1
Suppose -14*q + 6*q = 9*q. Solve 14 = 2*u - q*u + 4*z, 6 = 2*u + 2*z for u.
-1
Let s be (-3 - (-1 - 9))*-1. Let m(l) = -2*l. Let v be m(s). Solve -3*h = 4*b + 18, 7 = -3*h - 5*b - v for h.
-2
Let q(f) = f**2 + 2*f - 1. Let h be q(-3). Let d be (3 + -6 - -2) + 31/1. Let o = 35 - d. Solve -5*i = -o, -5*k + 2*k + h*i = -4 for k.
2
Suppose -5*c + 22*s + 30 = 18*s, -s + 24 = 4*c. Solve -x = 5*g - 18, 2*g = c*g - 5*x - 26 for g.
4
Suppose -20*u + 8*u + 72 = 0. Solve 2*z - y - u = -4, -5*z + 16 = 3*y for z.
2
Let t = 2797 + -2795. Solve -a = t*h + 11, -8*h + 12*h + 4 = 4*a for h.
-4
Let x be 20/18 - 4410/(-1134). Solve -x*a - 5 = -j, 3*j - a - 1 = -2*j for j.
0
Let k = 28 - 21. Let p be 0/((-3)/1)*-1. Let v = p + 4. Solve -3*o - k = -2*h, -v*h = -o + 9 - 28 for o.
1
Let w(h) = 65*h**2 - h. Let l be w(1). Suppose -5*b - 4*t = -14, -12*t + 8*t = 3*b - 10. Suppose -18 + l = b*u. Solve -4*g + u = g + 2*c, 3*c = 4*g for g.
3
Suppose -19 + 172 = 9*y. Solve 11 = t - 3*o - 0*o, 3*t - 5*o - y = 0 for t.
-1
Let o = -3 - -7. Suppose -4*p + 25 = -b, -4*p = -9*p - o*b + 5. Solve p*m + 4*a - 19 = 0, -a + 0 + 1 = 0 for m.
3
Suppose -112 = -7*s + 5*s. Suppose -4*q + s = -3*x + 5*x, 0 = -x + 5*q + 14. Solve -j = 4*r - 4, 2*j = 7*j - 2*r + x for j.
-4
Suppose 3*b = -3*o - 39, -2*b - 40 = 2*b - 2*o. Let j(n) = -15*n - 202. Let g be j(-13). Let s = g - b. Solve -2*l = s*h - 8, 4*l - 3*l + 5*h - 7 = 0 for l.
2
Suppose 5*s = 8*s - 828. Let r be s/60 + (-2)/(-5). Solve -4*y = r*h - 45, 2*y - y - 5 = 0 for h.
5
Let p = 9 - 4. Suppose 10 = p*w + 2*k, 6*w + k = w + 15. Suppose -5*g + 2*c + 7 + 21 = 0, -4*g = -w*c - 32. Solve 2*a + g = -4*x, 5*a + 15 - 38 = x for x.
-3
Let n be (-5)/3*(-14 + 11). Suppose n*g + 7 = 32. Solve o + 22 = -4*f, -4*f + 9*f = -g*o - 35 for o.
-2
Suppose -d = d + 2*y - 26, -5*d - y + 53 = 0. Solve d = -3*g - 3*k - 2, 0 = -5*k for g.
-4
Let u be 6/(-4) - 27/(-6). Suppose 0 = 3*t - 15, 5*x = u*t - 0*t - 15. Solve 0 = -5*w + 2*b + 16, 2*b - 1 - 3 = x for w.
4
Suppose -5*x + 30 = -n, 60 - 100 = -3*x + 5*n. Solve x*f - 7*c + 3*c = 11, 5*f = -5*c + 20 for f.
3
Suppose -i + 2*i - 8 = 2*n, -5*i - 2*n + 64 = 0. Suppose r + i = 4*r. Solve 0 = -v + 3*z - 12, -5*z + 20 = v - r*v for v.
0
Let y be (-107)/(-15) + -7 - 313/(-15). Let j(g) = -11*g - 1. Let w be j(-1). Suppose o = -4*o + w. Solve 3*p = o*p + 4*i - 9, -y = 5*p + 4*i for p.
-5
Suppose 0 = -3*m + 21*m - 72. Solve 4*t - k = -m, 2*k - 7*k - 2 = 2*t for t.
-1
Let a(m) = -3*m**2 + 39*m - 72. Let b(f) = 2*f**2 - 20*f + 36. Let q(c) = 3*a(c) + 5*b(c). Let o be q(-19). Solve 3*j - 4*s = -0*j + o, -3*s = 4*j - 11 for j.
2
Let g(x) = 4*x - 2. Let u be g(-5). Let n = u + 25. Solve -3*l - n*o = -9, -4*l + 3*o = 6*o - 9 for l.
0
Suppose -3*d - d + 5 = 5*h, -d + 5*h - 5 = 0. Let n be ((-12)/9 - -1)*d. Solve -5*x = -4*l - 5, 0 = l - n*x - x for l.
5
Let m be 4/(-2) + 19/1. Let l = -3 + 5. Suppose q + m = 4*n, -6 = q - l*n + 1. Solve -a - 7 = -2*k, a - 2 = -q*k + 1 for a.
-3
Let g = 0 - -4. Suppose -3*v + 8*v - 75 = 0. Let y be (9/(-21))/(27/(-315)). Solve g*a = 5*c + 7, v + 4 = -3*c - y*a for c.
-3
Let h be (1 - -1) + 1 + 5. Suppose h = -2*y, -y = 2*r - 4 + 20. Let j be r/(-8) - (-2)/8. Solve 3*p + 1 + 6 = 2*f, 0 = -5*p - 3*f + j for p.
-1
Let c(h) = -h**3 - 13*h**2 - 36*h + 4. Let a be c(-9). Solve -s - 20 = a*z - 0, -4*s = -3*z - 15 for s.
0
Suppose -4*u = 3*v - 40, 2*v = -3*v + 20. Suppose -4*w = b - 3*w + 6, b = -5*w + 2. Let h = b - -8. Solve i - 5*r - u = -2*r, -5*i + r + 7 = h for i.
1
Suppose 0 = -13*p + 52. Solve -2*u + 3 = 9, -u - 23 = p*n for n.
-5
Let b be ((-15)/(-12))/(6/24). Solve -b*w + 20 = -10*w, 24 = 4*p - 4*w for p.
2
Suppose 12*u + 92 = 16*u. Let x(f) = f**3 - 23*f**2 + f - 20. Let i be x(u). Solve -9 = 5*h - 2*p + 9, 16 = -2*h + i*p for h.
-2
Let g(q) = -q**3 + 4*q**2 + 4*q - 5. Let d be g(5). Let s(l) = -l**3 - 11*l**2 - 13*l - 6. Let f be s(d). Solve p + 2*p = 4*h + 14, 2*p + f = -4*h for h.
-5
Let l be (-42)/357 - ((-582)/34 - 0). Solve l = -5*c - 3, -16 = 4*w + 4*c for w.
0
Suppose 0 = b - 16. Suppose 5*u + 2*r - 29 = 0, -4*u + 3*r = r - b. Solve g + g = 4*j - 16, 0 = 5*j + u*g + 10 for j.
2
Let d = 600 + -596. Solve -i - 1 = -4*l + 1, -d = -4*l for i.
2
Let m = 8 + -6. Suppose 5*h - 12 = -h. Suppose h*o + 14 = 7*o + v, 20 = 5*v. Solve 8*j - 3*g = 4*j + 10, -3*g - o = -m*j for j.
4
Let f(i) = i**2 + 30*i + 31. Let k be f(-29). Solve 2*x - 3*o + 11 = 0, 0*o = k*o - 2 for x.
-4
Suppose 2*b + 5*b = 35. Solve 5*g = -a - 0*g, -5 = b*g for a.
5
Suppose 4*n - 8 = 4*f, 0 = 4*n - 8*n - 5*f - 10. 