-f for m.
2
Let c be 24/15*10/(-4). Let h be (c - -4 - 1) + 2. Solve 0 = 3*i + h - 4 for i.
1
Let b be ((-4)/7)/((-24)/84). Solve b*z = 3*z + 4 for z.
-4
Suppose 24 = -4*u - 4. Let w = -1 + -4. Let g = w - u. Solve o - g*o - 5 = 0 for o.
-5
Suppose 0 = 6*j - 3*j - 30. Let k(y) be the third derivative of y**5/12 - y**4/6 + y**3/2 - 5*y**2. Let m be k(2). Solve 5*f - j = m for f.
5
Let a be 2 + -1 - (2 + -5). Let g(o) = o**3 - 3*o**2 - 3*o + 1. Let u be g(a). Suppose 4*q - 1 = -u*w, w + 3*w = -2*q - 4. Solve q*y - 4 = 4 for y.
2
Suppose -k = -2*k. Suppose -2*h - 2*h = k. Solve h = -0*l + l + 3 for l.
-3
Let l = -52 + 77. Solve p - l = 6*p for p.
-5
Let l = -15 + 17. Solve -l*k = -k + 4 for k.
-4
Suppose g + t + 7 = 0, -31 = 3*g - t + 6*t. Let v = -2 - g. Suppose v*z = -5*z. Solve -b + 2*b = z for b.
0
Suppose 2*q + 0*q + 24 = 4*k, 0 = k + q. Solve -n = -k*n + 3 for n.
1
Let d(o) = 2*o**2 + 2*o + 5. Let j(i) = -3*i**2 - i - 4. Let h(a) = 4*d(a) + 3*j(a). Let x be h(6). Solve x*f + 2 = 8 for f.
3
Let z be (10/75*-6)/(2/(-5)). Solve 3*j = -z*j + 15 for j.
3
Let p(q) = -q**3 + q**2 + q + 3. Suppose 0 = 3*a - 3*g + 4 - 10, 0 = -4*a - 2*g - 4. Let k be p(a). Solve 4*c = k - 11 for c.
-2
Let u(c) = 7*c. Let b(v) = v. Let q(p) = 5*b(p) - u(p). Let m be q(-1). Suppose -2*h - 16 + 4 = -4*k, m*k + 2*h = 0. Solve k = t + 6 for t.
-4
Suppose 4*w - w = 9. Let o(y) = -y**3 - 6*y**2 - 4*y. Let n(q) = 1. Let p(h) = -3*n(h) - o(h). Let f be p(-5). Solve 11 = -f*m + w for m.
-4
Let s(d) = -d**2 + 5*d - 1. Let g be s(6). Let i = g - 2. Let z be (-6)/i*(2 - -1). Solve 0 = r + 2 + z for r.
-4
Suppose -4*n = n - 4*f - 19, 17 = 5*n - 2*f. Solve -8*b + 25 = -n*b for b.
5
Let l be 2 + (-3 - -3) + -3. Let t = l + 6. Suppose -m = -t*m + 84. Solve 5*u = 1 - m for u.
-4
Let o be (-7)/(-2) - (-2)/(-4). Suppose -c - 5 = -m, 5*c - 3*m + 15 = o*c. Solve -2 = -c*z - 2*z for z.
1
Suppose 3*u - 2*j - 26 = 3*j, -2*j = 8. Solve 7 = -k + u for k.
-5
Suppose -8*b + 45 = -5*b. Solve -2*m - b = 3*m for m.
-3
Let c be (-3)/9*0 - 3*-1. Solve c*d - 15 = 6*d for d.
-5
Suppose 0 = -i - 2*i + 24. Let m = -2 + i. Solve g - 3*g = m for g.
-3
Let v(y) be the third derivative of y**4/24 + y**3 - y**2. Let q be v(-3). Solve q*s + s = 16 for s.
4
Suppose 0 = -3*a - 2*a + 40. Suppose 2*o - 2 = a. Solve 0 = z - o for z.
5
Suppose -2*q + 82 = 8. Let p be 477/9 + (-1 - 0). Let l = p - q. Solve -1 = -4*c + l for c.
4
Suppose 4 = 4*z - 2*a, -5*z - 6 = -0*z + 3*a. Solve z = -w - 3*w for w.
0
Suppose 3*m - 6 = m. Let i be 2/(0 - (-2)/3). Suppose i*d - 5 + 2 = 0. Solve m*c = 7 - d for c.
2
Suppose 4*r + 4 = 0, -7 = 4*a + 4*r - 15. Let u be (-4)/(-6) + 28/a. Solve l + l = -u for l.
-5
Suppose -4*y + 3*b + 12 = 0, -2*y + 9 = 5*b - 23. Let j(s) = s**2 + 4. Let q be j(0). Solve 0 = -q*t + t - y for t.
-2
Let y be 3*(-1 + 2 + 0). Solve -y*m = 4 + 11 for m.
-5
Suppose h - j = j - 4, -j + 1 = -h. Solve 8 - h = 3*c for c.
2
Suppose -9 = 3*n - 4*o - 34, 0 = 5*o + 20. Suppose 9 + 3 = n*c. Suppose 4*w = c*z - w - 14, -z + 8 = w. Solve -x = -z*x - 25 for x.
-5
Let s = 19 + -12. Let n(m) = -s*m - 1 + 8*m + 10. Let k be n(-4). Solve k = 6*a - a for a.
1
Let y be (-30)/(-45) - 7/(-3). Let s = 1 - -1. Solve 0 = s*o + y*o for o.
0
Let l be 1/2 - (-245)/10. Suppose -2*v + l = 3*v. Suppose -v*w + 6 = -14. Solve 0 = w*s - 3 - 5 for s.
2
Suppose -6*q + 18 = -0. Solve 2 + q = 5*b for b.
1
Let r(z) = 4*z**2 + 3*z + 1. Let s(w) = -8*w**2 - 5*w - 2. Let b(t) = -7*r(t) - 4*s(t). Let g be b(1). Solve -6 = 2*j - g*j for j.
3
Suppose 6 = -4*i + 34. Let q be -8 + i - (-1 + 0). Solve -2*l + 0*l = q for l.
0
Suppose -r - 4*y - 11 = 0, r + 3*y + 3 = -4. Solve r*z - 5 = -0 for z.
1
Let n(g) = -14*g + g**2 + 2 + 0 + 2 + 12. Let q be n(13). Solve w + 2 = q*w for w.
1
Suppose 4*v + 2*l + l - 10 = 0, 3*v - 18 = 3*l. Solve 0 = -v*x - 5 - 3 for x.
-2
Let y = -6 - -8. Solve -y*g + 1 = -7 for g.
4
Suppose -3*h - 8 + 20 = 0. Suppose -5*w = 0, -3*u + h*w + 6 = -3. Let x be (-3)/(-9)*(1 - 1). Solve u*t = -x*t for t.
0
Suppose 3*z + 0*z = 4*s + 9, -8 = 5*z + s. Let l = z - -1. Let t = 8 + 12. Solve l = 3*c + c + t for c.
-5
Let a be 1*(0 - -3) + -5. Let y be a/(-4)*20 + -2. Solve y = -6*v + 2*v for v.
-2
Let h be 0 - -1 - 5/(-5). Solve 0 = h*t + 2*t - 8 for t.
2
Suppose 0*m + 5*m = 2*c + 33, -4*m + 2*c = -28. Suppose -2*l + 3 = -m. Suppose l*k = k. Solve 3*h = -k*h - 6 for h.
-2
Let d = 4 + 1. Let n(i) = i**2 + i + 4. Let b be n(0). Suppose -b*u = -3*u - d. Solve 6 = -3*g + u*g for g.
3
Suppose 5*z - 24 = -z. Solve -z*a = -a for a.
0
Suppose 95 - 53 = 6*i. Solve -3*j + 1 - i = 0 for j.
-2
Suppose 3*a - 5 = 25. Solve -4 = -a*v + 11*v for v.
-4
Let o(c) = c**3 - 9*c**2 - 5*c - 13. Let p be o(10). Suppose -k = -3*m - 5, 5*k = 5*m - 12 + p. Solve m = z - 2*z for z.
0
Let g(b) = 11*b**2 + b. Let w be g(-1). Let t be 6/15 + 46/w. Let o = 89 - 69. Solve -d = -t*d + o for d.
5
Let v be 1 - (-2 - 4/2). Suppose 0 = v*a - 3*a + 12. Let s = a - -8. Solve -5*u = -s*u + 9 for u.
-3
Let q be (-2 + 5)/3*2. Suppose q*f - 16 = 2*u - 2, -5*u = -f + 23. Let w(h) = h + 10. Let s be w(-8). Solve -f*k - 15 = s*k for k.
-3
Let b(c) = -c - 1. Let p be b(3). Let d = 7 + p. Let u be 5/1*(-8)/(-5). Solve 5*n = d*n - u for n.
-4
Let t be ((-7)/7)/((-2)/(-6)). Let c be ((-5)/t)/(2/6). Solve 4*v - 7 - c = 0 for v.
3
Let h(b) = b**2 - 4*b - 1. Let u be h(-3). Suppose 4*q + 0*q = u. Suppose 3*k - 2*k - q = -2*f, 0 = -5*k + 25. Solve -z = -f*z for z.
0
Let t(m) = -m**2 + 3. Let b(n) = n**2 + n - 3. Let k(q) = 4*b(q) + 5*t(q). Let p be k(4). Solve -p*r + 12 = r for r.
3
Suppose 2*s = b - 9, 3*b - 3*s + 7 = 28. Solve b*h = -10 - 10 for h.
-4
Suppose -5*g - 5 = -10*g. Suppose -5*r - g = -b - 20, -5*r = 4*b + 1. Suppose 0*n + 76 = 5*m + 2*n, 5*m - r*n = 61. Solve m = 3*h + 2 for h.
4
Let i be (18/(-5))/((-12)/(-40)). Let r be 4/(-16) - 51/i. Solve 9*v - r*v = 10 for v.
2
Suppose -2*l - 7 = -17. Suppose 7*p - 6 = l*p. Solve -x - 2*x = p for x.
-1
Let z(p) = 3*p**3 + 3*p**2 + p + 2. Let u be z(-2). Let l(m) = -m - 6. Let j be l(u). Solve -j*x - 4 = -8*x for x.
2
Let h = 45 + -65. Let t be (-42)/(-10) - (-4)/h. Solve 8 - 4 = -t*c for c.
-1
Let y be (-4)/(2/1)*2. Let a = 6 + -6. Let p be (a - -2) + (-1 - y). Solve p*s - 1 + 6 = 0 for s.
-1
Let i be (42/12)/(-7)*-10. Solve -5*d = -0*d - i for d.
1
Let f = 77 + -69. Solve x + f = 5*x for x.
2
Let h be (-12)/(-30) + (-492)/(-20). Solve h - 5 = 5*a for a.
4
Suppose -4*d + 12 = 0, 4*s - 2*d = 3*d - 11. Let t = -16 + 15. Let n be (t/s)/((-1)/2). Solve r + n*r = 0 for r.
0
Let b(i) = -i + 1. Let a be b(0). Let n be (3 - 2)*1 - a. Let l(j) = -j**3 + 7*j**2 - 6*j + 5. Let p be l(6). Solve -p*z - 5 = -n*z for z.
-1
Suppose -3*j - 2*j - 15 = 0, -4*x + 13 = j. Let s(i) = -i**3 + 8*i**2 - 8*i + 8. Let c be s(7). Let h = -1 + c. Solve h*n + 4*n = -x for n.
-1
Suppose 2*t + 0 + 2 = 0, 3*q + 2*t = -2. Suppose q = -p + b - 2*b + 2, -12 = -4*b. Let z be (0 + p)/((-6)/18). Solve z*v - 1 = 4*v for v.
-1
Let q be 9 - 13 - -1*7. Solve q*l = -l for l.
0
Let o = -38 - -50. Solve -7*f - o = -4*f for f.
-4
Suppose 2*i + 3*k = 12, 0 = -2*i - k + 2 + 10. Suppose f = 2*f - 1. Let t be (2 - f)*(4 + -1). Solve i + 0 = t*h for h.
2
Suppose -7*x + 399 = -3*x - 5*g, 2*x = -4*g + 180. Let l be x/(-4)*2/(-4). Solve 3*n + l = -0 for n.
-4
Let v = 72 + -70. Solve 0 = -0*c - v*c + 4 for c.
2
Let w(n) be the second derivative of n**3/3 + 2*n**2 + 2*n. Let c(a) = a + 2. Let j(i) = 5*c(i) - 2*w(i). Let b be j(-2). Solve -5*k + 39 - 14 = b for k.
5
Let n = -4 - -9. Let b = 5 - n. Let m be (-1 - b)*-6 + -1. Solve -m*u = -8 - 12 for u.
4
Let j be 1/(-1)*-1 - 6. Suppose -4*w - 5 - 15 = 0. Let y = w - j. Solve -6*k + 4*k - 6 = y for k.
-3
Suppose 0 = -2*q + 3*q - 2. Let z = -8 + 13. Suppose q*c + 6 = 5*b - 0, 0 = z*b - 5*c. Solve b*k = -0 - 10 for k.
-5
Suppose -2*h = -h + 3. Let k be (h + 4)/(1/5). Solve k = 3*d - 4 for d.
3
Let t(q) = q**3 - 8*q**2 + 2*q - 11. Let i be t(8). Let y(d) = d - 6. Let p be y(6). Let b = i - p. Solve -2*j - 1 = -b for j.
2
Let f = 56 + -53. Solve 0 = -f*q + q for q.
0
Let n be (4/8)/(2/4). Solve -24 - n = 5*d for d.
-5
Let f(k) = k + 7. Let r be f(0). Let o = r + -5. Solve 5*l + 17 = o for l.
-3
Let p = 0 - 4. Let x(j) = -j**2 - 5*j. Let k be x(p). Let t(z