for m.
-5
Let r(x) = -3*x - 12. Let b be r(-9). Solve 4*z = -z + b for z.
3
Suppose 3 = 2*h - h. Solve 0 = b - 2*b + h for b.
3
Let c(y) = y**2 - 21*y + 27. Let k be c(20). Solve -3*o = -k*o for o.
0
Suppose -5*a - 4 = -14. Solve 3*z + a*z + 20 = 0 for z.
-4
Suppose 4*h + 11 - 1 = t, -t = -5*h - 11. Let s be 4/(-8) + 129/t. Solve 3*y = 9 - s for y.
-4
Let q(t) = 28*t**2. Let v be q(1). Suppose -7*a + 12 = -4*a. Suppose 0 = -2*l + a*l - 3*r - 4, 2*l - 5*r = 0. Solve l*j = v - 8 for j.
4
Suppose -10*u + 18 = -4*u. Solve 0 = u*q + 3 for q.
-1
Let w(h) = -h**3 + 13*h**2 + 1. Let k be w(13). Solve -2*c - k - 3 = 0 for c.
-2
Let y(i) = 3*i - 12. Let u be y(4). Solve -5*l = -u*l for l.
0
Let o be (1 + -2)/(-3 - -2). Suppose o = -2*c + 3. Solve 2*z = z - c for z.
-1
Let k(f) = -f + 10. Let n be k(8). Let r = n + 0. Solve -r - 4 = -3*h for h.
2
Let g = 2 - 3. Let j be 2/(3/((-9)/g)). Let v be (j/9)/1*9. Solve c = -2*c - v for c.
-2
Let y be -2*2*2/8. Let g be 3/(y + (-26)/(-20)). Solve 11*m + g = 6*m for m.
-2
Let c = 17 - 1. Suppose 7*s - c = 3*s. Let p = 1 - -1. Solve -p*g - s + 12 = 0 for g.
4
Let f = -2 - 2. Let m = -1 - f. Suppose 4*s + 5 = w, -m*w = -5*s - 5 - 3. Solve -5 - w = 3*y for y.
-2
Let w(z) = z - 20. Let d be w(20). Solve d = u - 0*u for u.
0
Let i = 111 - 110. Solve 0 = -5*g - 21 + i for g.
-4
Let f be 6/21 + 47/7. Suppose 2*x + 2*o - 4 = f*o, -28 = -4*x + 5*o. Solve -u - 3*u = -x for u.
3
Suppose 5*h = -10, -3*q + h = -0*h - 14. Solve -q*p = -2*p for p.
0
Let d be 3 - ((-3)/1 + 0). Solve -4 = -5*k + d for k.
2
Let m be 58/3 + 1/(-3). Let x = -13 + m. Solve -5*y + x - 1 = 0 for y.
1
Let w be (-2)/6*-3*2. Solve 0 = q - 3*q + w for q.
1
Let l be 12/3 + (2 - 5). Let y be -1*(l - (1 - 0)). Solve y = -2*n - 2 - 2 for n.
-2
Let m(a) be the third derivative of -a**7/840 - a**6/144 - a**5/60 - a**2. Let v(r) be the third derivative of m(r). Let u be v(-5). Solve -2*k = 3*k + u for k.
-5
Let w(u) = 3 + 9*u - 8*u - 3. Let r be w(0). Solve 0 = 2*m - r*m + 2 for m.
-1
Let y = -11 - -13. Let d be 1*-2*(-1)/y. Solve -u - d + 4 = 0 for u.
3
Let l(z) = z + 7. Let b be l(5). Suppose x - 3 = -w, 4*w - b = x + 15. Let v be 1/(1 - 4/w). Solve -n - 8 = -v*n for n.
4
Suppose 2*b = 4 + 4. Suppose -b*a - 3*v + 5*v = -2, 8 = a + v. Solve -k = -a*k - 8 for k.
-4
Suppose 0 = 2*o - 0*o. Let z(u) = o*u**2 - u**3 + 5*u - 3*u**2 + 6*u**2. Let l be z(4). Solve -7 = -l*f - 3 for f.
1
Let v = -24 - -39. Solve -2*o - o = v for o.
-5
Let x = -18 + 21. Solve x*b = 4*b - 1 for b.
1
Let k be -2 - -1 - (-2 - 4). Suppose -2*h + 45 = 2*h - k*j, 10 = -3*h - 5*j. Let c be 1/(-5) + (-56)/(-5). Solve -h*b - c = 4 for b.
-3
Let b be 0 + 5 + -2 + -14. Let p(n) = n + 13. Let w be p(b). Solve -w*a = -4*a - 2 for a.
-1
Let o = 0 + 0. Suppose -2*g + 0*g + 36 = 4*c, -2*g = 3*c - 28. Let j = c - 8. Solve o = -r - j*r - 1 for r.
-1
Let x be 2*(-9)/15*(-5)/3. Solve -x*p = -4*p for p.
0
Let a be (-4)/8*8/2. Suppose -27 = -4*o + 5*w, -7*o + 2*w = -2*o - 21. Let m = o + a. Solve -2*z + m = -z for z.
1
Let q(j) = j**2. Let z be q(4). Let c = 59 + -59. Solve c = -l - 3*l - z for l.
-4
Let y be ((-3)/(-2))/((-4)/(-32)). Suppose 3*x + 4*j = -x + y, -j = -5*x - 3. Let b be (-1 + x/3)*-1. Solve -l = -0*l - b for l.
1
Let n = 2 - 2. Let c(i) = i + 4. Let b be c(0). Suppose -b*f + 0*j + 18 = 2*j, 0 = -3*f + 2*j - 4. Solve -f*w + 5*w = n for w.
0
Let w(b) = 5*b**3 - b**2 + b - 1. Let g be w(1). Suppose o = -g*h - 4, 11 = 5*o + 5*h + 1. Solve -o*c - 3 = -3*c for c.
-3
Suppose 0 = -i - 1 + 3. Suppose -i*u + 5*j = -27, j - 33 = -4*u + 4*j. Suppose -4*l = -2*w + u, l - 4*l + 8 = w. Solve 4*f - l = 3*f for f.
1
Suppose 2*y = 3*o + 9, -3 - 2 = 5*o. Solve y*u = -0*u for u.
0
Suppose 25 = 3*x - 2*x - 5*g, -4*x - 5*g = 0. Solve -l + x = -0*l for l.
5
Suppose -4*x - 2*p - 3*p - 17 = 0, 0 = -3*p - 15. Suppose 0 = o - 3 - x. Solve -3*f + 8*f = o for f.
1
Let u(n) = n**3 + 3*n**2 - 6*n + 5. Let i be u(-6). Let r = -42 - i. Suppose 3*q - 2*o = 16, 0 = q - o - 2*o - 10. Solve -q*l + r = l for l.
5
Let z(p) = -p**2 - 1. Let f(l) = -5*l**2 + 5*l - 13. Let m(o) = -f(o) + 6*z(o). Let u be m(-5). Solve 2*j - u*j - 5 = 0 for j.
-1
Suppose 0 = 2*x - 4*s + 8, 3*s = -4*x + 34 + 5. Let w(o) = -x + o**3 - 5 + 9*o**2 + 3*o + 2*o. Let r be w(-8). Solve 33 = -5*b + r for b.
-4
Let q(d) = d + 7. Let t be q(-3). Solve -t = -y - y for y.
2
Let w be 8 - 0 - (-1 - 0). Suppose -2*t = 1 - w. Solve 0 = -7*v + t*v for v.
0
Suppose -3*h + 4*x = -0 - 2, 4*h - x = 7. Suppose 4*d - 8 = h*d. Solve -1 = d*y + 19 for y.
-5
Suppose -2*m - 4*q = -26, 2*m - 5 = q + 6. Let l(s) = -s**3 + 6*s**2 + 8*s - 7. Let h be l(m). Solve 0 = f - h*f for f.
0
Suppose -4*r + 2*r + 8 = 0. Solve 2 + 2 = -r*d for d.
-1
Suppose -5*n = -1 - 4. Let z(k) = n - 2 + 2*k**3 + 2*k - 3*k**3. Let h be z(-2). Solve -h*r + 7 = -5 for r.
4
Let f = -12 + 6. Let j be (-6)/(-5)*(-15)/f. Solve -j*k = -k - 2 for k.
1
Suppose -4*v + 0 + 40 = 4*r, 5*r - 20 = 0. Let w be ((-2)/v)/(2/(-36)). Suppose w = a - 5. Solve 4*g + a + 1 = 0 for g.
-3
Suppose 5*y - 5*c = 10, -5*y - c = -4*y - 4. Solve -y*h - 9 = 3 for h.
-4
Let u(v) = -2*v + 40. Let d be u(10). Solve 0 = 6*o - 11*o + d for o.
4
Suppose -h + 16 = 4*i, 0*h = -4*h - 4*i + 28. Solve -h = -n - 0*n for n.
4
Suppose 2*u = 8, -6*y + 33 = -y + 2*u. Let v(c) = -5*c + 8 + 5*c**2 + 0*c**3 + c**3 - y*c**3 + 5*c**3. Let w be v(-6). Solve -10 = -w*i + 7*i for i.
-2
Let v be (3/(-9))/((-1)/3). Suppose 2*r + v = 7. Solve -3*a + r - 18 = 0 for a.
-5
Let q = -28 + 31. Solve t + q = 2*t for t.
3
Let w(r) = 2*r**3 - 5*r**2 + 11*r + 12. Let l(z) = 3*z**3 - 10*z**2 + 21*z + 23. Let f(n) = -3*l(n) + 5*w(n). Let x be f(-6). Solve 0 = 2*v - x*v + 2 for v.
2
Let m be 1 - (-2 + 0 + 0). Solve -k = -2*k - m for k.
-3
Let s be 2 + (-4*1)/2. Solve s*j - 2 = -2*j for j.
1
Let q(u) = u**3 - 6*u**2 + 5*u - 23. Let j be q(6). Solve 2*t = -3 + j for t.
2
Suppose -2*n - 8*v + 15 = -3*v, 5*v + 55 = 5*n. Solve 0*b = -5*b + n for b.
2
Let s(r) = -r**2 - 8*r - 7. Let u(m) = -m**2 + 8*m - 8. Let b be u(6). Let h(k) = k**2 - 5*k - 3. Let w be h(b). Let o be s(w). Solve o*l - 2 = -l for l.
2
Let y be (4 + -4)*(-5 - -4). Solve y*l = -l + 4 for l.
4
Let z = 4 - 4. Solve z = 6*g - g for g.
0
Suppose -8*c = -7*c + 3. Let a(i) = 7*i. Let z be a(1). Let l = c + z. Solve l*v - 12 = -4 for v.
2
Let i = -5 + 9. Suppose 2*m + 2 + 1 = -c, 4*c - i*m - 24 = 0. Solve 0 = c*y + 6 - 0 for y.
-2
Let y be (-6 - -1) + -1 + 2. Let i = 24 - 56. Let k be y/(-6) - i/6. Solve k = t + 2*t for t.
2
Let h = -2 + 3. Let t = 3 - h. Solve -2*x - t = -0*x for x.
-1
Suppose 9 = 5*f - 6. Suppose 3*p - 4*c - 17 = 0, f*c = 5*p + 2*c - 17. Solve p*a = 7*a + 4 for a.
-1
Let t be (1/1)/(3/72). Suppose -c = 2*c - t. Solve -c = 3*s + s for s.
-2
Let f be (2 - 3)/(1/(-5)). Let k(l) = 4*l + 2. Let i be 9/4 + (-1)/4. Let m be k(i). Solve 3*q + f = -m for q.
-5
Suppose 7*z + 65 = 2*z. Suppose 2*t - u = 31, -4*u = -4*t + 7 + 45. Let m = z + t. Solve 4*f = m*f + 5 for f.
-5
Suppose 2*f - 15 = -f. Let l = 12 - 12. Suppose 3*n - 4*d - 11 = l, -5*n + 13 = -0*d - 4*d. Solve -f*o + n = 6 for o.
-1
Suppose 3*t - 4*t = -6*t. Suppose -n = 3*n - 4. Suppose n = -w + 2. Solve a + t + w = 0 for a.
-1
Suppose -17 = -q + 3*u + 1, 2*q - 21 = 3*u. Solve -q*i + 1 - 10 = 0 for i.
-3
Let h(q) = -6*q + 90. Let v be h(15). Solve 4*z = -v - 4 for z.
-1
Suppose 5*f = -3*o + f - 19, -2*o + 4*f + 14 = 0. Let m(d) = d + 2. Let h be m(o). Solve 0 = v + 3 - h for v.
-2
Let b = -4 - -6. Solve 3*y + 10 = -b*y for y.
-2
Let j(s) = -3 + 4*s**2 - 2*s**2 + s - s**2. Let k(w) = -3*w. Let x be k(1). Let g be j(x). Solve 0*v + g*v - 15 = 0 for v.
5
Let w = -34 - -38. Solve w*f = f + 3 for f.
1
Suppose 2*n = n + 1. Suppose 28 = 4*s - 2*q, -2*q - 12 = -s + n. Suppose 2*h - 8 - 2 = 0, 4*v = s*h - 5. Solve -v*g - 5 + 0 = 0 for g.
-1
Let t(f) = 0 - f**3 + 2*f**3 - 5*f**2 + f**2 - 4*f - 2. Let j(y) = 4*y + 1. Let b be j(1). Let r be t(b). Solve 0 = r*m + m for m.
0
Let d(k) = -k**3 + 12*k**2 - 12*k + 9. Let a be d(11). Let i = a + 6. Solve -i*p = p for p.
0
Let h = 15 - 15. Solve -n + h*n = 0 for n.
0
Let x(m) = -m**2 - 5*m + 12. Let f be x(-5). Solve -d + f = 2*d for d.
4
Suppose 10 = 4*b + 2*r, 0 = -6*b + 2*b - 5*r + 25. Suppose -3*z + z = b. Solve 0 = -o 