 = -m for m.
1
Let j = -17 + 17. Suppose j*r + 3*r + 9 = 0. Let o(g) = -g + 1. Let c be o(r). Solve 2*x + c = -0 for x.
-2
Let w = 17 + -15. Suppose 4*y = w*y - 2. Let u = 2 - y. Solve -u = -0*s - s for s.
3
Suppose 0 = -16*t - 125 + 1693. Let h = 101 - t. Solve h*s - s = 0 for s.
0
Let o = 1266 - 1266. Solve -4*f + 36 - 28 = o for f.
2
Let x(n) be the first derivative of -n**3/3 - 7*n**2/2 - 3*n + 12. Let a be x(-6). Solve -a*p + 4 = -p for p.
2
Let u(v) = 18*v + 30. Let w be u(-1). Solve -w*s - 54 = 6*s for s.
-3
Suppose 9*i + 210 = 570. Solve 59*g - i = 51*g for g.
5
Suppose 2*q + 1 = 9. Suppose q*i - 33 = -o, -i + 2*o + 3 - 6 = 0. Let x(y) = 12*y**3 - 3*y**2 + 6*y - 3. Let z be x(1). Solve i*r = 3*r - z for r.
-3
Let a be (1/4 - 0) + (-156)/(-16). Solve 9*b = 7*b - a for b.
-5
Let i(d) = d**2 + 3*d + 2. Let a be i(-2). Suppose -3*l = -6*l - 6. Let j = a - l. Solve -j*z - z = 6 for z.
-2
Suppose 4*l + f = 30, -5*f + 24 = -l + 3*l. Let s(z) = z**2 + 22*z + 116. Let b be s(-8). Solve 3 = -b*p + l for p.
1
Let t(s) = -s**2 - s + 6. Let l(k) = -2*k**2 + 6. Let h(r) = -2*l(r) + 3*t(r). Let q be h(2). Solve -q*p = -p for p.
0
Suppose -5*b + 0*n + 4*n = -7, -5*b + 17 = n. Suppose -2*s = h - 10, 2*h - 4*s + 9 + b = 0. Suppose -h = 5*r - 22. Solve -i = 2 - r for i.
2
Let y = -10 - -40. Let z be (-21)/14 - 90/4. Let s = z + y. Solve 25 = -m + s*m for m.
5
Suppose -3435*w + 3443*w - 16 = 0. Suppose v - 29 = -4*m, -5*m + 3*v = v - 20. Suppose 0 = p + 4*s - 8, -s - 5 - m = -3*p. Solve 18 = p*r - w for r.
5
Suppose -4*g = 2*t - 28, 3*g - 42 = -8*t + 3*t. Suppose -5*l + 25 = -5*v, -2*l + 4*v = v - 13. Suppose -s = l*s. Solve 3*o + t + 0 = s for o.
-2
Suppose 0 = -5*f - 15 + 80. Solve -f + 4 = -3*y for y.
3
Let g(a) = a + 13. Let j be g(9). Let v = j + -6. Let h = v + -10. Solve -h = -d - 2 for d.
4
Let z be 4/6 - 36/(-27). Let d(p) = p**3 + 5*p**2 + 2*p + 1. Let h be d(-4). Suppose h + 0 = 3*y. Solve 0 = y*k - 5 + z for k.
1
Let r = 20 + -43. Let c = r + 27. Solve 0 = c*v - 0 - 16 for v.
4
Let y(d) = 47*d + 543. Let x be y(-9). Solve 0 = 5*f - 135 + x for f.
3
Let i(z) = -z**3 + 15*z**2 + 32*z + 39. Let f be i(17). Solve -f*a + 4 = -a for a.
1
Let f be 135/25 - (-6)/(-15). Let k(p) = -2*p. Let l be k(f). Let r = l + 12. Solve r*a + 4 = -6 for a.
-5
Let s = 9 - 6. Suppose -3*i = 5*j + 14, j - 22 = s*i + 2*j. Let t be i/(-16) + (-21)/(-2). Solve -3*l - t = -26 for l.
5
Suppose -2*n - 3*l = -26, 2*l + 39 - 68 = -3*n. Solve n*m - 31 = -24 for m.
1
Let l = 1424 + -1418. Solve -8 = -l*o + 10 for o.
3
Let a be ((-4)/3)/(2/(-42)). Suppose -4*h + 5*q - q + a = 0, -5*h = 2*q - 49. Solve -h = -2*t + 1 for t.
5
Suppose 4*d = -d + 25. Suppose -11 = -d*h - 1. Suppose 3*o + 0*o - 3 = 0. Solve -3*w + o = -h for w.
1
Let v(q) = q**3 - 12*q**2 + 14*q - 3. Let w(j) = -2*j**3 + 23*j**2 - 28*j + 6. Let a(d) = 5*v(d) + 3*w(d). Let l be a(7). Solve -13 - 2 = l*n for n.
-5
Let m(b) = -b**3 + 5*b**2 - 4*b + 6. Let k be m(4). Let w be 3*((-28)/k)/(-7). Solve 7*y = w*y for y.
0
Let q(s) = s**2 - 6*s + 8. Let z be q(5). Let i be 26/6 - 1/z. Solve 2*a = -0 + i for a.
2
Suppose 5*g - 3*g = -24*g. Solve g = -3*p + 13 - 4 for p.
3
Let t = 801 + -787. Solve 5*x - 12*x = -t for x.
2
Let j = 11 + -8. Solve -f - j*f = -4 for f.
1
Suppose 2*o + 4*k - 156 = 0, -312 = -3*o - o + k. Let p = -75 + o. Solve 0 = -p*r - 2*r for r.
0
Suppose -5*u - 5 = 5*j, 2*u - 7 = j - 9. Solve j = -2*t + 3*t for t.
0
Suppose -42*g + 43*g = 8. Solve -14*v + 24 = -g*v for v.
4
Let r = -156 - -160. Solve 8 = -6*u + r*u for u.
-4
Let c be (-342)/(-133) - 8/14. Solve 0 = c*m + 35 - 29 for m.
-3
Suppose -879 = -107*g - 237. Suppose -2*q - u + 0*u = -1, 0 = q - 5*u + 5. Suppose q*v = -v. Solve -w + g*w + 20 = v for w.
-4
Suppose 5*i - 16 = 29. Let k(j) = -j**2 + 10*j - 1. Let g be k(i). Let a be g/44 - (-64)/11. Solve 3*u + 0*u + a = 0 for u.
-2
Let t(z) = 4*z**2 - 52*z + 2. Let j be t(13). Solve -3*k = j*k - 10 for k.
2
Let h = 94 + -85. Suppose -h*x = -27 - 81. Solve x = -2*p + 4 for p.
-4
Let w = -31 - -55. Let k be (-8)/(-24) - w/(-9). Solve p = 4*p + k for p.
-1
Let d = -47 + 49. Let r = -4 - -8. Suppose -5*w = -5*b - 10, w + 5*b = 3*b - 4. Solve w = d*f + r for f.
-2
Suppose -3*x + 2*w = -15, -2*x + 0*x = 2*w - 10. Solve x*v + 16 = -4 for v.
-4
Suppose 5*o + 59 = 89. Suppose o*w = 25*w - 380. Solve -w = 2*u + 3*u for u.
-4
Suppose 0 = -4*h - 0*h - g + 23, 0 = -4*h - 2*g + 26. Let i(p) = -p**2 - 5*p - 4. Let q be i(-2). Solve -q*k - h = -k for k.
-5
Let w = 693 + -652. Solve 0 = -12*m - 53 + w for m.
-1
Let f(k) be the second derivative of k**5/20 + k**4/2 + 7*k**3/6 + k**2 - 9*k. Let r be f(-4). Solve -3*u + r = -9 for u.
5
Suppose -4*c = 5*l - 114, c + l - 22 = 3*l. Solve -c*v + 31*v + 5 = 0 for v.
-1
Let y(x) = -x**3 + 3*x**2 - x + 6. Let n be y(3). Suppose n = 3*q - 12. Solve 0 = 2*i + 5 + q for i.
-5
Let k(a) = 3*a - 6. Let x be k(6). Solve 3*p + 0*p = -x for p.
-4
Let b be ((-11)/3 - -4)*6. Solve 0 = 3*v + 11 - b for v.
-3
Suppose m - 46 = f, 2*m = -5*f - m - 246. Let a = f - -53. Solve 0 = a*i - i + 8 for i.
-2
Suppose 5*r = 3*d - 21, -5*r - 9 = d + 2*d. Suppose d = 3*m - 7. Let s(p) = -p**3 - 7*p**2 + 11. Let k be s(-7). Solve m = -2*n + k for n.
4
Let k be 4*(-25)/(-40)*(-228)/(-10). Let g = 59 - k. Solve g*n = 7*n - 10 for n.
2
Let w(o) = o**3 + 6*o**2 - 6*o + 7. Let j be ((-2)/3)/((-2)/12). Suppose j*l = 5*l + 7. Let x be w(l). Solve 2*c - 8 + x = 0 for c.
4
Let i(o) = -2*o**2 + 8*o + 15. Let r be i(5). Solve 0 = -r*h - 15 + 25 for h.
2
Let b be (1 + -3)/6*0. Let d be 24/18 + 4/(-18)*6. Solve b = -d*z - z + 2 for z.
2
Let s = -120 - -31. Let x = -64 - s. Solve -2*m - 3*m - x = 0 for m.
-5
Let p = 525 - 517. Solve p*u = 26 + 6 for u.
4
Let d = 7 + -4. Let j(a) = -2*a**3 + 2*a**2 + a - 1. Let b be j(-1). Suppose 0*h + 10 = h - b*w, -5*w + 65 = 5*h. Solve h = -d*x - x for x.
-3
Let i(p) = 6*p + 62. Let t be i(-21). Let x = 66 + t. Solve -x*a + 3 = -3 for a.
3
Let r be 2 + -2 + (-50)/(-10) + 5. Solve 8*f - r = 3*f for f.
2
Let r(j) = j**2 - 41*j + 297. Let y be r(32). Solve -y + 3 = -6*h for h.
1
Suppose 3*i - 3*j - 462 = -2*i, 3*i - 254 = -4*j. Solve i = 17*k + 22 for k.
4
Let i(f) be the first derivative of -21*f**4/4 + 3*f**2/2 + 2*f - 14. Let a be i(-1). Let h = 0 + 0. Solve h = -p - 3*p - a for p.
-5
Let w be (-3)/3 + 2 + (-200)/(-40). Solve 0 = -w*u - 14 + 26 for u.
2
Suppose 0*y - 10 = -y. Let t be (-10)/(-3)*15/y. Solve t*w + 22 = 7 for w.
-3
Let y(d) be the third derivative of d**4/6 + 26*d**3/3 - 39*d**2. Let p be y(-13). Solve p = -v + 4*v - 9 for v.
3
Suppose 3*k - 3*c = 6, -8*k + 6*k = 5*c - 25. Let t(g) = -2*g**2 + 9*g + 10. Let o be t(k). Solve 0 = 3*v + 8 - o for v.
-1
Let i be 7 + -3 - (-8)/(-1). Let s be 0/(-2) - (-7 - i). Suppose f = -s + 7. Solve -f = m - 0*m for m.
-4
Let d = 889 + -889. Solve d = -i - 4*i - 15 for i.
-3
Suppose 4*d = -2*k - 3*k - 20, -5*d + 3*k = -12. Suppose 233 = 10*a - 397. Let h = 68 - a. Solve 0 = -h*s - d - 5 for s.
-1
Let g = -33 - -37. Suppose c = g - 12. Let m be (6/c)/(60/(-160)). Solve -5*n = -m*n - 12 for n.
4
Let s(l) = 2*l**2 - 2*l - 2. Let g be s(3). Let o be (-2)/g*40/(-8). Suppose 3*j - o = 5. Solve j*q - 3 = 1 for q.
2
Let p(n) = n + 6. Let r be p(-3). Let f be (28/(-12) + r)/(2/12). Solve -2*o + f*o + 4 = 0 for o.
-2
Suppose 0 = 5*u - 3*b - 172, 4*u - 3*b - 140 = -0*b. Let c(z) = 29*z**2 + 0*z**3 - z**3 - u*z**2 + 2 + 4*z. Let r be c(-4). Solve r*w = -0*w + 4 for w.
2
Let x(d) = -d**2 + 2*d + 3. Let c(a) = -2*a**2 + 4*a + 6. Let s(t) = -4*c(t) + 7*x(t). Let j be s(-1). Solve 0*r + 3*r + 12 = j for r.
-4
Let q(l) = 1 + l**3 - 5 + 25*l**2 - 8*l**2 + 7. Let j be q(-17). Solve -j - 2 = 5*u for u.
-1
Let g(t) = -t**2 - 2*t + 7. Let m be g(-3). Suppose m*b - 55 = -b. Let i = b + -9. Solve 0 = -4*k - i - 2 for k.
-1
Let c = 213 + -211. Solve 3*z + c*z = 5 for z.
1
Let m = -70 - -78. Solve 10 - m = g for g.
2
Let g(t) = -t - 12. Let v be 0/3 - 2 - 10. Let b be g(v). Suppose o = -h - 4*o + 3, o - 12 = -4*h. Solve -h*s + 9 + b = 0 for s.
3
Suppose -172 = -3*d - 0*d + 5*a, 5*a + 44 = d. Solve 21*m - 5*m = -d for m.
-4
Suppose 0 = j + 2 - 0. Let k(t) = t**2 - t - 4. Let x be k(j). Suppose 16 = 5*m - m. Solve -5*d - x = -m*d for d.
-2
Let s be (4/(-6))/((-26)