-g*m - 10 = 10 for m.
-4
Let b(j) = 36*j - 164. Let y be b(6). Solve -w = 12*w - y for w.
4
Suppose -3*p = -9*p. Let j = -11 - -15. Let c be (j - 4)*(-1 + 2). Solve c = -p*z - z - 2 for z.
-2
Let f = -4 + 9. Suppose -5*b = -2*b - x - 13, 4*b - 2*x - 16 = 0. Suppose b*z = -5*d + 55, 2*d + 0*z - 32 = -4*z. Solve f*r + 14 = -d for r.
-4
Let u be (42/8)/((-30)/(-80)). Solve -5*j = 11 + u for j.
-5
Suppose -7*o = -40 + 12. Solve o*b + 1 = 9 for b.
2
Suppose -82 = -3*m + 5*n - 5, n = -4. Solve 6 + m = 5*v for v.
5
Let i be -9 - (7 + -5 - 13). Solve -4*x - i*x = -x for x.
0
Let m = 9 + -6. Solve -13 = -m*n - 7 for n.
2
Suppose 4*z + 14 = 2*m, -4*m + 0 = -2*z - 4. Let b(s) = -s**3 - 2*s**2 - 3*s - 1. Let q be b(m). Suppose -5*n - 1 = 4*h, -n = 3*n + 4. Solve h + q = o for o.
2
Suppose -3*h - 55 = -6*h - w, 30 = 2*h + 2*w. Suppose -h = -21*q + 16*q. Solve -q*z = -2*z for z.
0
Let g be -1*2/(-1) + 2. Suppose -14 = -g*t + 2. Suppose 24 = -t*i + 8*i. Solve -2*s + i = 2 for s.
2
Let u be 3*3/27*33. Let z(j) = 17 + 6*j + 6*j - u*j. Let p be z(-11). Solve -p*n = -4*n for n.
0
Let o be (-3)/(30/4) + (-17)/(-5). Suppose 2*g + 5 = o*r, -2*g = 2*r - 0*g. Solve 3 + r = -s for s.
-4
Let c(g) be the second derivative of g**5/20 - g**4/2 + 5*g**3/6 + g**2 + 8*g. Let v be c(6). Let m be v/(-24)*(0 + -3). Solve -m*o - 1 = -17 for o.
4
Suppose -12 = -n - 3*x, 0*n + x = -3*n + 20. Suppose 0 = d + 4*d. Suppose 3*s - 4*z = n, 5*z = -3*s - d + 6. Solve 0*w - w - s = 0 for w.
-2
Let a be (-3)/(1 + 0) + (5 - 4). Let o be a*(-3 - 15/(-10)). Solve 3 = o*u - 0 for u.
1
Suppose 6*t = -2*d + 5*t - 4, -3*d - 12 = 3*t. Let q(l) = l**3 + 2*l**2 - 4*l - 1. Let w be q(-3). Suppose 6*j = 5*j + w. Solve j*c + c = d for c.
0
Let a(v) = 2*v**3 - 26*v**2 + 48*v + 20. Let c be a(11). Solve -j - c = -17*j for j.
4
Let s(z) be the first derivative of -z**3/3 + 6*z**2 - 11*z + 2. Let o be s(9). Let x be 0 + 0 + -2 + 6. Solve x*h - o = -0*h for h.
4
Suppose 2*b + 11 + 13 = 0. Suppose -4*u - 2*g + 0*g = 58, 10 = -u - 5*g. Let t = b - u. Solve -t*k - 3 = 6 for k.
-3
Suppose -x + 4*x = 66. Let q = 20 - x. Let u be (-1)/q*-6 - -10. Solve 20 = 2*y - u*y for y.
-4
Let b be (10*(-2)/(-12))/(1/3). Solve -6*d + b = -d for d.
1
Let l(f) = -18*f**2 - 4*f. Let h(r) = 12*r**2 + 3*r. Let n(m) = 7*h(m) + 5*l(m). Let c be n(-1). Let k be (1 + -11)*c/14. Solve 0 = -k*b + 25 - 5 for b.
4
Let u be 10/(-4)*40/(-25). Let a(q) = 2*q - 2. Let h(p) = 3*p - 5. Let o(y) = -5*a(y) + 3*h(y). Let d be o(-5). Solve d = -0*i - u*i + 16 for i.
4
Let k be 1 + 1/1 - -2. Let t(b) = 9*b**2 - 52*b - 68. Let g be t(7). Solve -f - k = -g for f.
5
Let l(g) = 2*g**2 - 151*g + 367. Let b be l(73). Let o = 1 - -2. Let n = 9 - o. Solve -b*t - t = -n for t.
2
Let r be (-2)/(-8)*-1*(7 - 15). Solve r*y = 2 - 4 for y.
-1
Let d(h) = 0*h + 0*h + 3 - 3*h**3 + 2*h**3. Let i be d(0). Let a be ((-60)/20)/(6/(-8)). Solve i*z = a*z for z.
0
Let s = 18 - 16. Suppose -10 = -5*p, -38 = -0*c - s*c - 4*p. Let b = 0 + 2. Solve h + b*h = c for h.
5
Let f be 12/3 - (-8 - -10). Solve 0 = i + f*i for i.
0
Let s be 3/1 + 0/(49/(-7)). Suppose 5*j = 47 + 18. Solve j - s = 5*l for l.
2
Let i = 22 - 17. Let p(t) = -t**3 + 2*t + 1. Let n be p(-1). Suppose -4*c + 5*u = n, 0*c = -2*c + 3*u. Solve c = i*x - 3*x + 6 for x.
-3
Let j be ((-3)/3)/(2/(-10)). Suppose 2*m = 2*t + 7*m + 14, 5*t - 27 = 3*m. Suppose i = -t*i. Solve 0 = -i*r + r - j for r.
5
Let i = 32 + -29. Suppose 5*m - i = -0*w + 3*w, -2*m = -3*w - 3. Let z(s) = s**3 + 5*s**2 + 3*s + 1. Let n be z(-4). Solve n*g = -m*g for g.
0
Let i(m) be the third derivative of -1/120*m**6 + 0*m + 0*m**5 + 6*m**2 + 1/2*m**3 + 0*m**4 + 0. Let p be i(0). Solve p*j = -0*j for j.
0
Suppose 49 = 3*z + 5*s, s + 4 = -0. Solve -3 + z = -4*v for v.
-5
Let t(o) = -o**3 - 8*o**2 - 17*o - 42. Let j be t(-7). Solve j = q + 32 for q.
-4
Let m(l) = -2*l**2 + 3 + 5*l**2 - 4. Let b be m(1). Suppose 12 = 4*x, -32 - b = -5*j - 3*x. Solve j*h - 6 = 14 for h.
4
Let g(k) = k**3 - 9*k**2 + 5. Let d be g(9). Let p(u) = 2*u - 7. Let q be p(d). Let c = 1 - -2. Solve 0 = c*y + q + 6 for y.
-3
Let p be ((-18)/4)/(2/4). Let k be (-2)/p*3*3. Suppose k*z = -z. Solve -u + 4 = -z*u for u.
4
Suppose 4*t - 4*m + 342 = -6*m, -5*m = -t - 58. Let c = t + 87. Solve c*o = 11 + 1 for o.
3
Let l(q) = q**3 - 5*q**2 + 6*q - 4. Let t be l(4). Solve -3*y + 5 = -t*y for y.
-5
Let x(b) = 16*b + 658. Let g be x(-41). Let u = -1 + 2. Solve u = g*z - 7 for z.
4
Let g be (67 - 69)*6/(-1). Solve -1 = -g*k + 59 for k.
5
Let h = -37 + -47. Let b be h/(-7) - 3 - (-1 + 2). Solve -2*j = -0*j + b for j.
-4
Let f be (-6)/(-8) + 45/(-12) + 48. Let i = f - 43. Solve -i*s = -7*s + 10 for s.
2
Suppose 5*a - 3*a = 20. Suppose -26 = -3*h + a. Suppose h = 4*c - z, -3*c + 28 = c + 3*z. Solve 0 = -c*i - 2 - 6 for i.
-2
Let n be (0 - -1) + (-5)/(-5). Let y be (21/2)/(9/12). Suppose -4*g = -y + 6. Solve g = n*c + 12 for c.
-5
Suppose 27*j - 74 = 88. Solve -3 = -t - j for t.
-3
Let s(w) = 3*w - 3*w**2 + 0*w - w**3 + 3 - 1. Let c be s(-3). Let h = c - -11. Solve y + y + h = 0 for y.
-2
Let k = 3 - 2. Let f(o) = 31*o**2 + 495*o - 12. Let q be f(-16). Solve -i - k = q for i.
-5
Let j(p) be the third derivative of p**5/120 - p**4/12 - p**3/3 - 4*p**2. Let o(y) be the first derivative of j(y). Let z be o(5). Solve 16 - 4 = z*h for h.
4
Let w be (1 + 6/(-3))/(4/(-20)). Let j be -15*(-5 + (-3)/(-1))/w. Solve x + x = j for x.
3
Let y(l) = -l**2 + 17*l + 14. Let w be y(0). Solve w*a = 16*a + 2 for a.
-1
Let f(s) = -s**2 - 23*s - 57. Let g be f(-20). Solve -5*q = -g*q + 6 for q.
-3
Let s be (74 - 51)/(1 - 0). Solve 6*r + 5 = s for r.
3
Suppose j + 7 = -3*i, -j + 0*j - 1 = -3*i. Let d be ((1 - -2) + 7)/i. Let p be ((-9)/(-6))/(-3)*d. Solve -23 = -p*u - 3 for u.
4
Let n = -730 - -730. Solve n = 14*i + 10 + 4 for i.
-1
Let c(i) = 11*i**2 + 1. Let y be c(-1). Let s be y/9*(-21)/(-14). Solve -4 = s*v + 2*v for v.
-1
Suppose -15 = -11*n + 6*n, 0 = -5*i - 5*n + 30. Let c be (-25)/(-4) + i/(-12). Solve 3*o = 6 + c for o.
4
Let l = 20 - 20. Suppose 8 = b - k, -2 = -b - l*b - k. Solve 0 = -b*c + 2*c + 6 for c.
2
Let o = 15 - 10. Let g = -2 + o. Suppose g*x = -3*x. Solve n - 2 = -x for n.
2
Let j(f) = f**2 - 7*f + 13. Let g be j(3). Solve -2*d - 3 = -g for d.
-1
Let p(w) = -2*w + 14. Let l(d) = -d - 1. Let v(x) = l(x) - p(x). Let z be v(11). Let s be 42/5 - z/(-10). Solve -s = -4*g + 4 for g.
3
Let o(p) = -p**3 - 3*p**2 + 8*p + 3. Let m be o(-5). Let x(a) = 26 - 4 + 2 - a. Let j be x(17). Solve -j - m = -5*b for b.
4
Suppose -4*p - 2*m - 10 = 0, -2*p + 2*m = 3*p + 8. Let u be 3/(p - (0/4 - 3)). Solve 5*r + u - 18 = 0 for r.
3
Let u = 2 - -5. Let p be 5/20*6*(-8)/(-2). Solve p = 4*t - u*t for t.
-2
Let y(v) be the third derivative of -v**5/60 + 5*v**4/12 + 4*v**3/3 - 12*v**2. Let r be y(10). Suppose -1 = g - r. Solve -g*b + 3*b - 4 = 0 for b.
-1
Suppose -12*l - 49 = -19*l. Solve 0 = l*b - 4 + 18 for b.
-2
Suppose -w + 4*b = -32, -2*w + w = 4*b + 8. Suppose 12 = 8*u - w. Solve u*v - 6*v - 15 = 0 for v.
-5
Let f = -64 - -34. Let o = -53 - -84. Let k = o + f. Solve j - 2 = -k for j.
1
Let b = 58 - 55. Solve -2*p = b*p + 15 for p.
-3
Let d(n) = n + 9. Let p be d(-7). Let b be 3 + -2 + p + (-3 - 0). Solve -4*j - j = b for j.
0
Let t = 436 - 434. Solve -4*s + 6 = t for s.
1
Let b = 63 - 59. Suppose 5*k - b = 16. Solve 25 = -k*y - y for y.
-5
Let b be -1*(48/(-4) + 3). Suppose 0 = 6*o - b + 3. Solve -q + o = -3 for q.
4
Suppose 5*m + 2*m = 217. Let b = -23 + m. Solve -4*j + 0 = b for j.
-2
Suppose -2*f - 3*f + 59 = g, 0 = -f + 3*g + 15. Let r be 1*f*(-1)/(-2). Suppose -l + 3*l - r = 0. Solve 0 = -u + l*u - 8 for u.
4
Let d = -151 + 244. Let f = d + -90. Solve 2 = -5*u - f for u.
-1
Let h = -22 - -8. Let b = h + 17. Suppose 4*s = 6*g - 2*g, 3 = 4*s - b*g. Solve -2*r = s - 1 for r.
-1
Let l(q) = -q**3 - q**2 + q + 1. Let b(f) = -4*f**3 - 10*f**2 + 5*f + 11. Let m(t) = b(t) - 5*l(t). Let v be m(5). Solve -c + v = -3*c for c.
-3
Let v = 1 - -4. Suppose -13*w + 17*w + 12 = 2*t, 5*t + 3 = -w. Solve -v + t = f for f.
-5
Let o be (-5)/2*(-4)/5. Suppose 2*v + 117*b - 10 = 112*b, 2*v - 10 = 5*b. Solve -7*l = -o*l + v for l.
-1
Let l(p) = p**2 + 10*p. Let f be l(6). Suppose -f = 5*m - m. Let d = m - -30. Solve -n = n + d for n.