+ 3 - 4 for m.
1
Suppose -2*g + 3*v + 23 = 0, 0 = 6*v - v + 5. Solve 13*u = 3*u - g for u.
-1
Let h(r) be the second derivative of -r**3/6 + 7*r**2 + 25*r. Let v be h(0). Solve 1 = -3*i - v for i.
-5
Suppose 5*g = -3*l - 6, 2*g - 23*l - 2 = -22*l. Solve g = 4*b + 2*b + 12 for b.
-2
Let x(b) = 33*b - 57. Let a be x(2). Solve -a = 17*z - 60 for z.
3
Let a(o) = -o**3 - 4*o**2 + 9. Let z be a(-4). Solve -14*y + z*y = -10 for y.
2
Let k(p) = p - 2. Let c be k(5). Let g(u) = u**2 + 6*u - 23. Let n be g(5). Suppose -f = 3*f + 4*i - 32, 0 = -c*f + 5*i + n. Solve a - f = 4*a for a.
-3
Let x(v) = -27*v - 236. Let o be x(-9). Solve 2 = -o*c + 2 for c.
0
Suppose 5*w = 14 + 6. Solve -w*i = -i + 3 for i.
-1
Suppose 0 = f + 2, f + 9 = 2*o - o. Solve -i = -11 + o for i.
4
Let n(c) = c**3 - 4*c**2 + 6*c - 5. Let k be n(3). Suppose -3*u + v + v = -12, -u = 4*v - k. Solve 5*z = 1 + u for z.
1
Let a = 12 + -9. Suppose t = 6*h - 2*h - 3, a*h + 9 = -3*t. Solve -4*x + 1 + 11 = h for x.
3
Let l = 47 - 35. Let d(u) = -u**3 - 8*u**2 - 4*u + 9. Let j be d(-7). Let v = l + j. Solve v = 8*n - 4*n + 8 for n.
-2
Let w be (-3)/4 - 45/(-12). Suppose 14 = w*n - 1. Solve n*h = 4*h + 1 for h.
1
Let d(c) = c + 24. Let v be d(-10). Suppose 10*a = v*a. Solve -3*i + i - 4 = a for i.
-2
Let r = 13 - 9. Let u be (-4 + r)*1/(-5). Solve 4*w = -u*w for w.
0
Suppose 3*k = -28*k + 186. Solve 19*y = 17*y - k for y.
-3
Let f(o) = o**3 + 6*o**2 - 24*o - 144. Let d be f(-6). Suppose 5*i + 0 = 10. Solve d = c + i - 5 for c.
3
Let z(s) = 2*s**2 + 2*s - 2. Let c(n) = 0*n**2 - 3*n**2 + 2*n**2 - 2 + 9*n. Let k be c(9). Let l be z(k). Solve 4 = -l*b - 2 for b.
-3
Let k(h) = h**2 - 9 - 27 - 2 + 3*h - 9*h. Let t be k(10). Solve 0 + 2 = -t*x for x.
-1
Let x be ((-36)/(-15) - 2) + (-306)/(-85). Suppose 0 = -5*d + 5*g - 15, 2*d - 4*g = -4 - 12. Solve -d*m - x = 4 for m.
-4
Let d(h) = h**2 - 3*h - 13. Let n be d(-3). Suppose 5*l = 10 + n. Solve 0 = -7*g + l*g - 12 for g.
-3
Let v = 43 - 29. Let g be 2/v + 320/112. Solve -2*y - 15 = g*y for y.
-3
Let p = 35 - 27. Let l(t) = -26 + 2*t - p*t + t**2 + 29. Let k be l(6). Solve r - k = 2*r for r.
-3
Suppose 2*m - 4*z = 20, -3*m + 4*z + 33 - 13 = 0. Solve 2*n - 7*n = m for n.
0
Let s = 14 + -10. Solve s*f = -2*f + 30 for f.
5
Suppose -170*a + 10 = -165*a. Suppose -x + a*x = 5*m + 16, 2*m - 20 = -4*x. Solve 2 = 4*s + x for s.
-1
Let j be ((-1)/(5/(-10)))/1. Solve -5*v = -j*v + 15 for v.
-5
Let f = 376 + -361. Solve -f*o + 2 = -13*o for o.
1
Suppose 17 - 7 = 2*w. Suppose -w = 2*o - 11. Solve -m + 6 = o for m.
3
Let c = -364 + 368. Solve 3*g + c = 7 for g.
1
Let r = -14 - -21. Suppose -2*m = 5*w + m - 2, r = 3*w - 4*m. Let a(k) = 3*k - 75. Let s be a(25). Solve s = 2*b - w - 1 for b.
1
Let d(g) = 7*g - 2. Let q = 139 + -138. Let b be d(q). Solve -3*x + 1 = -b for x.
2
Let k(o) = -2*o + 15. Let q be k(5). Solve -m + q*m = 16 for m.
4
Suppose -3*p + 5 = 2. Let h = 3 + -1. Let a be h/p - 8/4. Solve a*x = -3*x for x.
0
Let i be (1*(-3)/(-4))/((-18)/(-48)). Suppose 0 = -3*r + r + 32. Let v = -4 + r. Solve -v = i*n - 2 for n.
-5
Let g(y) = -5*y**2 - 18*y - 6. Let z be g(-3). Solve z*b = b for b.
0
Suppose -29*g = -788 - 227. Solve 0 = 7*m - 0*m + g for m.
-5
Suppose a - 3*a = 8. Let u be (a + 1 - 1) + 6. Solve -y + u = 3 for y.
-1
Suppose 7 - 3 = k. Solve k*l = l for l.
0
Let n be ((-30)/25)/(-3) - (-114)/15. Solve -s + n = -3*s for s.
-4
Let f(m) = -m**3 - 11*m**2 - m - 13. Let h be f(-11). Let i be (-4)/(-16)*h*-6. Solve i*j - 1 = 2 for j.
1
Let u be -3 + 2 - (-1 - -25). Let f = u - -40. Suppose -5*s - 5*p = -55, -5*p = -2*s - p + 16. Solve -5*r + f = -s for r.
5
Let s = 806 - 801. Solve -x = -2*x + s for x.
5
Let h(k) be the second derivative of -k**4/12 - 7*k**3/6 - 3*k**2 + 8*k. Let z be h(-4). Solve -5 = -z*m + m for m.
1
Suppose -6*a + 2*a + 48 = 0. Solve -a = -26*h + 29*h for h.
-4
Suppose -5 + 13 = -m. Let b be ((-75)/(-6))/5 + 12/m. Solve 4*i - b = -9 for i.
-2
Let t = 37 - 24. Suppose -2*b - 5*n + t = -13, n - 4 = 0. Solve -3*l + 2*l = -b for l.
3
Let u(m) = -m**2 + 17*m + 14. Let f be u(0). Solve -4*b - 6 = -f for b.
2
Let r(p) = 15*p + 4. Let d be r(2). Let u = d + -30. Solve 2*v - u = -2 for v.
1
Let i = 11 + -15. Let v be ((-2)/(-8))/((-1)/i). Let u(x) = -4*x - 81. Let f be u(-21). Solve -f = 2*r - v for r.
-1
Let o(q) = 1 - 2*q + 2*q - 10 + 3*q. Let s be o(4). Solve a + s + 2 = 0 for a.
-5
Suppose -8*q + 61 - 5 = 0. Solve -q - 3 = 5*a for a.
-2
Suppose 4*x + r = 10, 0 = 99*x - 96*x - 3*r. Solve -16*s - x = -17*s for s.
2
Let y(g) = 7*g**3 - g**2 - 5*g + 5. Let h be y(1). Solve -h*c = -9*c + 3 for c.
1
Suppose 25 = -25*a + 30*a. Suppose 2*f + 2*c + 10 = -2*c, -2*c - 9 = -3*f. Solve -f = -4*o - a for o.
-1
Let b = -4 - -6. Suppose 8 = -2*p - b*p, -2*p + 5 = c. Suppose -2*i + 4*k = i + 4, i = k. Solve c*y = i*y + 20 for y.
4
Let g(a) = 100*a - 570. Let b be g(6). Solve -4*o = 38 - b for o.
-2
Let k(o) = o**3 + o**2 + 1. Let y(d) = -11*d**3 + 4*d**2 + d + 4. Let x(m) = 4*k(m) - y(m). Let h be x(1). Solve -6 = 4*s + h for s.
-5
Let d = -6 - -11. Suppose 5*s = -4*z - 10, 0 = z - d*s - 0*s - 10. Let l = z + 0. Solve 3*t + 1 + 2 = l for t.
-1
Let i(j) = -10*j - 160. Let v be i(-16). Solve -2*m - 9*m + 44 = v for m.
4
Suppose -6*n + n = -10, 2*b - 3*n + 74 = 0. Let m = b - -37. Solve m*v + 9 + 3 = 0 for v.
-4
Suppose f + 4*x - 4 = -14, -7 = 4*f + 5*x. Let d = -2161 - -2171. Solve 0 = -4*g + f + d for g.
3
Suppose 3*n = -4*u + 20, 72*u = 69*u + 15. Suppose 2*w - 11 = b, 3*b = 2*w - 2*b - 7. Let q = w - 3. Solve n = 2*l - 3*l - q for l.
-3
Let u be 5/(-2 + (3 - 0)). Suppose 5*b = -5*i - 0*b, -u*b = 4*i + 1. Solve 0 = -s - 0*s - i for s.
-1
Let s(m) be the first derivative of -32*m**3/3 + 3*m**2/2 - 2*m + 10. Let k be s(1). Let l = k - -36. Solve 21 - 1 = -l*r for r.
-4
Suppose -11*r + 112 = -4*r. Suppose r*q = 14*q + 40. Solve -q + 4 = -4*k for k.
4
Let x(d) be the second derivative of d**3/3 - 21*d**2/2 + 2*d. Let m be x(12). Solve -4*p - 11 = -m for p.
-2
Let k be (-14)/(-56) - 15/(-4). Suppose n - k = -n, -9 = -i - 4*n. Solve 3*b + 8 = -i for b.
-3
Let r(z) = 6*z - 16. Let v(m) = m - 3. Let p(u) = 2*r(u) - 11*v(u). Let o be p(4). Solve -12 = -o*y - 2 for y.
2
Let f(n) = n**3 + 3*n**2 - n - 2. Let a be f(-2). Suppose -156*l + 18 = -153*l. Suppose l*t = a*t + 8. Solve -t = -0*m + m for m.
-4
Let y = -6 + 2. Let g(x) = -x**3 - 3*x**2 + 3*x - 4. Let f be g(y). Suppose 0 = -91*t - 31*t + 1464. Solve f = -3*d - d - t for d.
-3
Let k(z) = -z**3 + 7*z**2 + 8*z + 3. Let p be k(8). Suppose -p*h = -4 + 34. Let l(f) = f**2 + 11*f + 12. Let x be l(h). Solve -x - 8 = -5*a for a.
2
Let s be (3 - (-6)/(-4))*2. Suppose 0 = -z + s*z + 3*u + 7, -4*z + 36 = -4*u. Let d be (-18)/z*(-2)/3. Solve b = -d*b for b.
0
Let d(u) = 2*u**3 - 2*u**2 - u - 3. Let v be d(3). Suppose -4*y - 1 = -3*y + b, -12 = 2*y + 4*b. Solve y*z - v = -10 for z.
5
Let b(j) = -j**2 - 19*j + 20. Let q be b(-20). Suppose 0 = -2*o + 4 + 4. Suppose 0 = -5*z - 3*w + 13, 2*z = -o*w + 4 + 4. Solve z*f + q*f = 8 for f.
4
Let m = 51 - 51. Let h be (2/4)/((-1)/6). Let s = h + 6. Solve -s*y = -m*y - 9 for y.
3
Suppose 4*g + 4 = 5*g. Let w be (-3 - -5)/(-2) - -6. Solve -w = g*s - 3*s for s.
-5
Suppose 8*r + 5 = 69. Solve -16*x = -12*x - r for x.
2
Let a be (9 - (1 - -3))*(-32)/(-10). Let n = a - 14. Solve 3*w + n*w = 0 for w.
0
Let y = -123 - -123. Solve y = -6*d - 7 - 11 for d.
-3
Let f(r) = -11 + 5*r**3 - 2*r + 12 + 0*r. Let h be f(1). Let m(a) = -a**3 + a**2 + a + 2. Let w be m(0). Solve w*l - h = l for l.
4
Suppose 3*n - 3 = 0, -3*u - n = 3*n + 32. Let z be 8*2*(-3)/u. Let o be (4 - z)*(-1 + 0). Solve o = -5*f + 7 + 3 for f.
2
Let o = -379 + 383. Suppose 17 = -2*b + 67. Suppose -k - 2 = 1, 0 = 5*j - 5*k - b. Solve -o*z = -j - 18 for z.
5
Let p = -715 - -718. Let j(c) = 0*c + 1 - 4 + c. Let l be j(p). Solve -g + 4 + l = 0 for g.
4
Let p(o) = 6*o - 28. Suppose 0 = 4*k + 4*k - 64. Let h be p(k). Solve 0 = -5*g + g + h for g.
5
Let w be 3/(-5) + (-166)/(-10). Let f = w - 13. Suppose 4 - 4 = 9*k. Solve f*i + k*i = -15 for i.
-5
Suppose -2*i + 6*i + 20 = -2*y, 5*y + 3*i + 43 = 0. Let n(j) = -j**3 - 9*j**2 - 10*j. Let l be n(y). Let c = 18 - l. Solve -2 = -2*z + c for z.
2
Suppose 102 = 16*p - 26. Let a(j) = j - 6. Let x b