4*f + 20 = k for f.
-5
Suppose 33*t - 32*t = 15. Solve 2*f + f = t for f.
5
Let l(m) = -7*m - 9. Let p(a) = -11*a - 14. Let r(u) = -8*l(u) + 5*p(u). Let f = -8 - -8. Let y be r(f). Solve g = -y*g for g.
0
Suppose 3*n + 2*n = 35. Suppose 4*v - 13 = -5*h, 5*h + 8 = -n. Suppose 2*z + 5*m = v + 18, -3*m = -9. Solve z*l + 9 = 2*l for l.
-3
Suppose -2*n = -7*n + 10. Suppose -34*v + 33*v + 7 = 0. Solve -v + 17 = n*z for z.
5
Let h(o) = -o**2 + 5*o + 7. Let v be h(5). Let d(c) = c**3 - 6*c**2 - 4*c - 6. Let a be d(v). Solve 0*j = 3*j - a for j.
5
Let b = 0 - -2. Let u = 1 - 13. Let x = u - -12. Solve c + b = -x*c for c.
-2
Let y = 5 + -5. Let t = 2 - y. Solve -6 = -t*u + 2 for u.
4
Let p(d) = 2*d**2 + 5. Let v be p(-4). Solve -5*c - v + 12 = 0 for c.
-5
Let y(b) = -b + 9. Let a be y(-8). Suppose -r = -3*f - f - a, 2*r + 4*f + 2 = 0. Let q = 8 - r. Solve -10 = -q*l - 1 for l.
3
Let i(z) be the second derivative of -5/12*z**4 - 3*z + 5/2*z**2 + 0 - z**3 + 1/20*z**5. Let l be i(6). Solve x - l = -0 for x.
5
Let k = -13 + 15. Suppose -j = k - 3. Solve 3*m + 13 = j for m.
-4
Suppose c = -2*d + 37, -2*c = 3*d + 2*c - 63. Let n be -2*(-3)/(-3) + d. Suppose -n = -2*b - b. Solve 5 + b = -5*w for w.
-2
Let o be (0/5)/(0 - -1). Solve o = -3*z - 2*z - 5 for z.
-1
Let r(z) = z**2 + 2*z - 3. Let s be r(-4). Suppose 6 - 22 = -b - 3*y, -5*b + 70 = s*y. Solve -2*c = 5 - b for c.
4
Suppose l + 10 = 6*l. Solve -6 - 2 = -l*s for s.
4
Suppose -4*k - 3*k = 0. Solve k*g - g = 0 for g.
0
Suppose 0 = -0*p + p - 1. Let a(v) = 2*v**2 - 3*v**2 - 7*v + 0*v**2 + 6 - 1. Let t be a(-7). Solve -16 + p = t*i for i.
-3
Let k = -23 - -43. Suppose -4*s + k = -0*s, -5*s + 33 = w. Solve -p = p + w for p.
-4
Let g be (-10)/4*(-36)/30. Solve 0*v + 6 = g*v for v.
2
Suppose -m + 2*k = -1, 17 = 4*m + m + 2*k. Solve h - m*h = 0 for h.
0
Let u = 9 + -5. Let h = u - 0. Solve -h + 3 = -z for z.
1
Let u(k) = -3*k. Let y be u(-1). Solve 2*o + y = 11 for o.
4
Let g = -27 - -49. Suppose u = -3*n + g, -3*u - n + 50 = 4*n. Let q(s) = -s + 12. Let x be q(u). Solve x = -0*t + 2*t for t.
1
Let v = -8 + 12. Let b(y) = -y**3 + 3*y**2 + 4*y + 4. Let q be b(v). Solve 0 = 2*g + 2 + q for g.
-3
Suppose j - 5 - 3 = -3*r, -14 = -3*j - 4*r. Suppose -j*t + 3 = f - 0*f, -3*f = 2*t - 9. Let u = t - -2. Solve -u*v + 0*v = -2 for v.
1
Let h(g) = -g**3 - 8*g**2 - g + 3. Let n be h(-8). Suppose -5*m = 1 - n. Solve 4*w - 10 - m = 0 for w.
3
Let z(m) = -m**3 - m + 3. Suppose 0 = 4*c - 3*c. Let s be z(c). Solve -s*t = 5 + 7 for t.
-4
Suppose 0 = 10*r - 12*r. Solve r = -b - 0*b for b.
0
Let l be (-9)/(-4)*8/3. Let o be 3/(l/(-4))*-2. Suppose 113 + 419 = 28*h. Solve -o = 5*k - h for k.
3
Let i = 7 - 10. Let x(t) = -t**3 - t**2 + 4*t - 1. Let p be x(i). Suppose p*b - 2*b = -3*a + 21, 32 = 4*a + 5*b. Solve 0 - a = -3*n for n.
1
Let o = -3 + 3. Suppose k = -o*k + 8. Solve -k = 3*f + f for f.
-2
Let w be (1*(-4)/1)/(-2). Let k(q) = 5*q**2 - 2*q - 2. Let b be k(w). Let s be (-1 + 1)*7/b. Solve -3*i + 4*i = s for i.
0
Let k(x) = -3*x - 4. Let n be k(-4). Solve -3*r = -n*r + 15 for r.
3
Let h = -5 + 6. Let o = h - -1. Suppose 5*v - 8*v = 0. Solve o*a + v*a + 8 = 0 for a.
-4
Let p be 1/1*(22 - 22). Suppose 0*i + i = 0. Let w be (-1 + 0)*(i - 4). Solve h + w*h = p for h.
0
Let u = 123 + -117. Let h = -6 + 8. Solve h = u*s - 4*s for s.
1
Suppose 3*u - 6*u - 327 = -3*v, -2*v = 2*u - 218. Suppose -3*d + 75 = 5*h, -4*d + 9*d = -3*h + v. Solve -3*t = t - d for t.
5
Suppose x = 3*x - 4. Suppose 4*i - x*a - 16 = 0, i = -4*i - a + 13. Solve -i = -3*c + 6*c for c.
-1
Let d be (-9)/5*130/(-39). Suppose 4*n - 2*n - d = 0. Solve 0 = n*g - 2 + 14 for g.
-4
Suppose 3*l - 1 = 11. Solve l*a = a + 6 for a.
2
Let g(s) = -s**2 - 3*s + 5. Suppose 0 = -4*d - d - 20. Let w be g(d). Solve 2*q = w - 11 for q.
-5
Let k = 23 - 20. Solve o - 16 = -k*o for o.
4
Let j(p) = p - 9. Suppose 0*q + 18 = 3*q. Let d(c) = c - 10. Let u(k) = q*j(k) - 5*d(k). Let h be u(7). Solve i = h - 0 for i.
3
Suppose 5*j = j. Let q be (j - 0)/((-3)/(-1)). Suppose 5 = 3*f + v, 4*f + v - 2*v - 9 = q. Solve 0 = f*r - r + 1 for r.
-1
Let t(z) = 2*z - 6. Let w be t(5). Suppose m - 2*m + 11 = 0. Solve w*s + 3 = m for s.
2
Suppose 6 + 3 = 3*c. Solve -d = c*d - 20 for d.
5
Let v(m) = 2 + 4*m - 9 - 2 - 2*m. Let p be (-25)/(-4) + 1/(-4). Let h be v(p). Solve -h = z + 2 for z.
-5
Suppose 49 - 4 = 2*g - 3*j, 65 = 5*g + 2*j. Let t be 1*(1 + -2)*1. Let s(r) = -r + 1. Let o be s(t). Solve -o*f = f - g for f.
5
Suppose -5*a = 4*x, 3*x = 2*a + a. Solve a = i - 2*i for i.
0
Let l be (-6 - -8)*(-6)/(-4). Solve 0 = -0*h + h + l for h.
-3
Let h = -6 - -12. Let t be (8/h)/((-8)/(-24)). Solve -t*z = -z for z.
0
Let y be -1*4*121/(-44). Solve 4*p - 3 = -y for p.
-2
Suppose -3*n - 2*n + 5 = -2*c, 5*n = 4*c + 5. Suppose -3*m = m - 20. Suppose -r + 5 = t, -3*t - r - m + 16 = c. Solve 2 = 2*j - t*j for j.
-2
Let r = 4 + -4. Let y be (33/6 - 0) + 1/(-2). Solve r = y*i - 2*i - 12 for i.
4
Suppose -2*t - 2*t = -24. Let i be t/(-21) - (-2)/7. Solve i = w + 4 - 1 for w.
-3
Let q = 87 + -7. Suppose 7*s = 3*s + q. Solve -5*w + w - s = 0 for w.
-5
Suppose -5*l - 7 = -l + 5*v, v = 2*l + 21. Suppose z = 4*z + 33. Let u = l - z. Solve -u*x + 15 = 2*x for x.
3
Let i(z) = 2*z - 4*z + z + 2. Let p be i(0). Let o be (-1 - p/(-5))*-5. Solve -k = 2*k - o for k.
1
Let h be (4 - (-3 + 8)) + 3. Solve w = -h*w - 3 for w.
-1
Suppose -4*m = m - 25. Suppose 4*c + 5*k + 9 = 0, -m*k - 37 = 4*c - 7*c. Solve -f - c = -2*f for f.
4
Suppose 0 = 3*b + 4*r - 22, 5*b - 24 = b - 4*r. Suppose -2*c + b + 0 = 0. Let v = c + 2. Solve 3*i = 2*i + v for i.
3
Let g be 5/2 - 1/2. Suppose 2*k - 3*k + 7 = n, 3*k - 7 = 4*n. Suppose k*y = -5 + 10. Solve g*t - y = 7 for t.
4
Suppose p - 20 = -0*p. Solve 3*o + o + p = 0 for o.
-5
Suppose -11*q + 15*q = 24. Solve -q*p + 4 = -7*p for p.
-4
Let r be ((-2)/(-6))/(3/36). Solve 2*h + r = -2*h for h.
-1
Let d = -43 + 53. Solve -3*h - 2*h + d = 0 for h.
2
Suppose -27 = -0*x - 3*x. Solve 0 = -2*u + 1 + x for u.
5
Let t be (-18)/(-14) + (-6)/21. Let r be (-3 + t)*3/(-2). Suppose 0 = r*m + m + q - 34, q - 16 = -2*m. Solve -m + 3 = -2*h for h.
3
Let l(w) = w**2 - 7*w + 9. Let u be l(6). Solve -2*p - u*p = 5 for p.
-1
Suppose 6*t + 12 = 4*t. Let r = t - -7. Let a be ((-1 + 1)/1)/2. Solve -r + a = m for m.
-1
Suppose 5*t = t. Suppose t = -4*r + r. Solve r = -z + 3 - 1 for z.
2
Suppose -4*z - 4*g + 56 = 0, z + 2*z - 3*g = 18. Solve 0*t = -2*t + z for t.
5
Let c(s) be the first derivative of s**4/4 + 4*s**3/3 + s**2 - 2*s - 1. Let u be c(-2). Solve -u*g - 4 = 4 for g.
-4
Suppose -5*i - 5*v + 23 = -i, -5*i + 25 = 5*v. Solve i*s = -2*s + 12 for s.
3
Let t be 0/(2 + 0) - 3. Let a be 15/10 - t/(-2). Solve 0 = 3*q - a*q for q.
0
Suppose f - 2*f = 3*o - 13, 4*o - f = 8. Suppose -a + 2*l + o = l, -31 = -5*a - 3*l. Solve b = a - 0 for b.
5
Suppose 1 = -3*l - 5*f - 4, 0 = -3*l + 2*f + 23. Solve -l*x = -7 - 8 for x.
3
Let j be (-1)/(-4) + (42/(-24))/7. Solve j*l - l + 5 = 0 for l.
5
Let o(d) = d**3 - 5*d**2 - 5*d - 3. Let h be o(6). Suppose s + 7 - h = 0. Let p = -2 - s. Solve p*u = -2*u - 16 for u.
-4
Suppose 0 = 5*v + 4 - 14. Solve 0 = k - v*k - 2 for k.
-2
Let z = -3 + 5. Let a(d) = 3*d**3 - 17*d**2 - 5*d + 14. Let t(y) = y**3 - 6*y**2 - 2*y + 5. Let k(h) = 3*a(h) - 8*t(h). Let n be k(3). Solve n + 5 = -z*x for x.
-5
Let p = -12 - -7. Let l = p - -5. Solve 2*d + d + 15 = l for d.
-5
Let b(s) be the second derivative of -s**4/12 + 3*s**3/2 - 5*s**2 + 2*s. Let y be b(7). Suppose -8*t + 48 = -y*t. Solve -t = 2*p + p for p.
-4
Let p(k) = -10*k - 4. Let a be p(-2). Let b = -14 + a. Solve -b*h = h - 12 for h.
4
Let x = -5 - -10. Suppose 7 = x*z - 3. Solve 4*m - 6 = -z for m.
1
Let a(k) be the second derivative of k**4/12 - 5*k**3/6 + 3*k**2 + 6*k. Let z be a(7). Solve 5*b + 5 - z = 0 for b.
3
Suppose 0 = -0*f - 2*f + 14. Suppose q + 1 = -2*y + y, -5*y + f = 2*q. Solve y*m = -m for m.
0
Let z = -6 + 10. Solve 6 = -5*d - z for d.
-2
Suppose 6*n - 4 = 4*n. Let c = n - 6. Let w be 0/((-2)/c*-2). Solve w = 2*x - 4*x for x.
0
Let k be (-159)/(-33) - 6/(-33). Suppose 29 = 4*x + k*m - 214, 5*x + 2*m - 308 = 0. Let t be x/12 + 1/(-6). Solve l - 2*l = -t for l.
5
Suppose 18 = 12*z - 9*z. Let k be 2 + -8 + 2 + z. Solve k*l - 10 = -0*l for l.
5
