- m = g for m.
-2
Suppose -5*r + 5 = -k, -k - 3*r + 4*r = -7. Suppose 5*p + 4*l - k = 0, 14 = -p + l - 5*l. Solve -5*n + 1 = p for n.
-1
Let z(w) = -2*w - 10. Let b be z(-7). Suppose -12 = o + 2*o, -5*o - 12 = b*m. Suppose 2 = m*d - 0*d. Solve v = 3 - d for v.
2
Suppose 43*h - 34 - 138 = 0. Solve -7 = h*d + 5 for d.
-3
Let w = 956 + -953. Solve 2*k + 3*k = w*k for k.
0
Suppose -z = -4*z + 6. Let q(x) = 6*x + 573. Let p be q(-93). Solve -z*a + 5*a = p for a.
5
Suppose -2*v + 6*l - l = -9, -4*l = -12. Solve -v*z - 8 = -44 for z.
3
Let n be (120/25)/((-3)/(-20)). Suppose -5*j + 9*j - n = 0. Suppose -p + 11 = j. Solve -8*f - 10 = -p*f for f.
-2
Suppose 0 = 2*d - f - 4, -4 = -2*f - 0. Solve 30*v = 33*v + d for v.
-1
Suppose -17 = 5*a - 47. Suppose 0 = 9*i - 6*i - a. Suppose -3*v + 2*l + 18 = 0, 0 = -2*l - 4 - i. Solve v = -4*s - 8 for s.
-3
Let y = -2 + 0. Let x be 3/(-6 + 0)*y - -3. Solve -x*a + 6 = -a for a.
2
Let d be (0 + -6)/(3/(-10)). Let p be 25/(-2) + (-10)/d. Let k be (-6)/39 - 15/p. Solve -1 = n + k for n.
-2
Let x(w) = w**2 - 11*w - 37. Let j be x(14). Solve 5*k = -j*k for k.
0
Suppose -2*o - 7*o = -99. Suppose -5 = 3*d - o. Let m(u) = -3*u - 3. Let c be m(-2). Solve d*b + 3 = -c for b.
-3
Let y be (29 + -1 + 2)*6/9. Solve -5*o + o = -y for o.
5
Let k = 32 + -18. Let j be (-4)/k - (-1530)/63. Solve -3*t - j = -9 for t.
-5
Let d = -62 - -106. Suppose 0*y = y - d. Let v be 140/y - (-10)/(-55). Solve t - 4 = -v for t.
1
Suppose -q + 2*v + 12 = 0, 2*v = 3*q - 3*v - 32. Solve 20*z = 21*z + q for z.
-4
Let c(y) = 16*y + 14. Let v be c(0). Solve v*a + 10 = 12*a for a.
-5
Let w(x) = x + 5. Let y be w(6). Let v(a) = -a**2 + 9*a + 22. Let o be v(y). Solve o = -k - 0*k for k.
0
Suppose 23*b + 5 = 120. Solve -b*j - 9 = -19 for j.
2
Suppose m + 6*v - 15 = 3*v, -m + 2*v = 0. Solve -m*g = 4*g for g.
0
Suppose -4*v = -5*u - 27, 5*u = -v - 3*v - 3. Solve -3 = 4*x - v for x.
0
Let j(g) = -6 - 4*g**2 - 2*g + 0*g**2 + 2*g**2 + 3*g**2. Let u be j(4). Solve -u*p - 2 + 0 = 0 for p.
-1
Let g(h) = -h + 8. Let b be g(8). Let o be (4/6 - b) + 132/18. Solve -4 - o = 3*i for i.
-4
Let s be 2/8 - (-2)/(-8). Let g(a) = a**3 - a**2 + 4. Let r be g(s). Suppose -5*d + 5 = 0, r*z = -3*d + 7 - 4. Solve z = -4*h - 4 for h.
-1
Suppose 74*d = 69*d + 25. Solve g + g = d*g for g.
0
Suppose 147*w = 155*w - 88. Solve 6 = x + w for x.
-5
Let z(m) = 4*m - 24. Suppose -4*g + 33 = 5*a, -2*g - 8 = -a - 21. Let x be z(g). Solve o = -x*o + 20 for o.
4
Suppose 8*n - 25 = 3*n. Suppose 6*p - 2*p = 2*c + 4, 5*p = n. Suppose 2 = w - 4*x, c = w + 3*x - 0*x - 2. Solve -2 = -w*y - 10 for y.
-4
Suppose 0 = 48*u - 55*u + 42. Suppose 0 = 4*n - 7*n - 6. Let h = 0 - n. Solve -k - h*k - u = 0 for k.
-2
Let u = 344 + -341. Solve 0 = -3*r - 3 - u for r.
-2
Let s = 644 + -628. Solve 403*m - 399*m - s = 0 for m.
4
Suppose -u - 4 = -2*u. Suppose u = -f + h + 3, 12 = 4*h. Solve v = f - 1 for v.
1
Let i(p) = -3*p**2 - 36*p - 2. Let m(t) = -t**2 - 12*t - 1. Let w(r) = -6*i(r) + 17*m(r). Let a be w(-11). Let j be a/6*39/(-26). Solve 0 = -k - 1 - j for k.
-5
Suppose 4*t - 10 = 10. Solve 0 = -0*k + t*k + 20 for k.
-4
Suppose 4*f = f + 6, 5*o + 5*f + 30 = 0. Let w be 20/o*12/(-10). Suppose 0 = -3*m + 5 + 4. Solve -w = m*h - 2*h for h.
-3
Let i(d) = -d**3 - 3*d**2 + d - 1. Let k(w) = -6*w**3 - 15*w**2 + 4*w - 4. Let t(s) = 11*i(s) - 2*k(s). Let j be t(3). Solve -j*z + 6 = -3*z for z.
2
Let t(d) = -3*d**3 + 26*d**2 + 17*d - 13. Let s(z) = -2*z**3 + 13*z**2 + 8*z - 7. Let q(c) = -5*s(c) + 3*t(c). Let j be q(-12). Solve 0 = -r - 3*r + j for r.
2
Let c(f) = -3*f**3 + 10*f**2 + 3*f - 3. Let n be c(3). Let u = 1 - 1. Solve u = -j - 2*j + n for j.
5
Let d be (-846)/(-235) + (-2)/(-5). Solve d - 4 = -9*p for p.
0
Suppose 2*b - 3*q = -11 - 88, q = b + 47. Let a = -39 - b. Solve 0 = a*n + 3 + 3 for n.
-2
Let k be (-27)/18*4/(-3). Let j be k/(-2) + 16 - 3. Suppose j*t - 11*t - 1 = 0. Solve -3*i - t = 5 for i.
-2
Let b be 270/(-20) + 12 + 11/2. Let w(d) = -d**2 - 7*d + 3. Let i be w(-5). Solve i - b = -3*z for z.
-3
Let y(c) = -c + 27. Let a be y(17). Suppose -a = -6*u + u. Solve 0*t - t = -u for t.
2
Suppose -h + 3*j + 2 = -17, 0 = 4*h + 2*j - 6. Let b be (10/h)/((-5)/(-4)). Suppose 3 = 3*d - 3. Solve d + b = -u for u.
-4
Suppose -3 = 2*t - 5*f, 4*t - 5*f + 6 = 5*t. Solve 0*p = p + t for p.
-1
Let v(z) be the first derivative of -z**2 - 8*z - 2. Let o = -15 - -1. Let a be v(o). Solve -k = 4*k + a for k.
-4
Let x(h) = h**3 - 5*h**2 - 8*h + 14. Let p be x(6). Suppose g = p*b + 6, 3*g + 8*b + 2 = 4*b. Solve -o + g*o = -1 for o.
-1
Suppose -10 = 2*j - 16. Let b(o) = -o**2 + 5*o + 1. Let t be b(3). Solve -2*x = -t - j for x.
5
Suppose -2*v + 5*b = -7, 2*v + b - 16 = 3*b. Let r = 13 - v. Suppose 2*s - 58 = -r*o, 0*s - s + 5*o + 5 = 0. Solve -6*c + c + s = 0 for c.
5
Let c = 935 - 896. Solve 0 = c*y - 49*y + 30 for y.
3
Let u = -77 - -100. Solve -u*v + 22*v = 0 for v.
0
Suppose 7 = -4*b + 5*b. Suppose 32 = 4*v + s, b*s - 4*s + 16 = 4*v. Suppose -4*m - 4 = -v*m - c, -m - 4*c = 6. Solve 0 = 5*r - m*r - 15 for r.
5
Suppose -52 - 8 = -5*t. Suppose 3*c + 20 = 3*k + 2*k, -3*k + t = -4*c. Suppose 0 = -c*n - n + 5. Solve -3*o - n = -17 for o.
4
Let g(z) = 4*z - 2. Let j be g(1). Let a = 1 - j. Let s be 1 + a - 27/(-9). Solve s*o - 5 = -17 for o.
-4
Let j be ((2 + -2)/5 - 2) + 7. Solve -6*u - j = -5*u for u.
-5
Let l = 358 - 356. Solve 10 + l = -3*p for p.
-4
Suppose u - 26 = -18. Solve -7*j + u - 1 = 0 for j.
1
Suppose -i + 4*x - 12 = 0, -i + 5*i - 7 = 5*x. Solve -13*o + i = -17*o for o.
-2
Suppose -5*f - 2*d = -30, -15*f + 19*f - 24 = -5*d. Solve 7*g - 13*g - f = 0 for g.
-1
Let n(o) = o**3 + 40*o**2 + 77*o + 54. Let t be n(-38). Solve t = 7*y + 37 for y.
-3
Let p(v) = -8*v**2 + 2*v**3 - 5 + 9*v**2 - 18*v**2 + 11*v. Let m be p(8). Solve m - 4 = -3*z for z.
-5
Let g be 2/1 + (-12)/6. Suppose 2*m - 2 - 4 = g. Suppose 2*w + 3 = m*w. Solve 0 = -w*y + 4*y - 4 for y.
4
Let y = 5 - -4. Let d(b) = 2*b**2 + 1. Let x be d(-2). Let c = x - y. Solve c = 2*z - 3 + 1 for z.
1
Let m = -10 - -88. Let o = m + -76. Solve -o*l - l = 0 for l.
0
Suppose q + 3 - 4 = 0, 5*p - 107 = -2*q. Solve p*x - 35 - 7 = 0 for x.
2
Let f = 526 - 515. Solve f = -l + 13 for l.
2
Let v(a) = -a**3 + 4*a**2 - 4*a + 15. Let f be v(3). Solve -29*d = -33*d + f for d.
3
Let w(b) = -4*b + 2. Let f(j) be the second derivative of -5*j**3/6 + j**2 - 7*j. Let v(n) = -2*f(n) + 3*w(n). Let z be v(-1). Solve 25 = z*p + p for p.
5
Let u(d) = -d**3 + 5*d**2 + 8*d - 8. Let y be u(6). Suppose 0 = y*a - a + 21. Let o be 3 + 2 + (a - -2). Solve o = 3*h - 2*h for h.
0
Let f be (-2)/9 + 1200/54 + -7. Solve -4*d + 5 = -f for d.
5
Let y(c) = c**2 + 6*c - 3. Let a be y(-7). Suppose 3*g + 3*r = 15, 0 = -4*g + a*r - 2 - 2. Solve -g*w - 2 = -0*w for w.
-1
Suppose 0*g = 28*g - 28. Solve 4*l - 19 - g = 0 for l.
5
Suppose 0 = 3*p - 92 - 226. Let i = -86 + p. Solve -3*t - t = -i for t.
5
Let q(m) = -2*m**2 - 3*m - 2. Let k be q(-2). Let o = 19 + k. Solve -5*i = -0 - o for i.
3
Let m(s) = -s**3 + 7*s**2 + 6. Let r be m(7). Suppose -r = 2*d - 3*d. Suppose 0 = 5*i - d*i + 15. Solve 2*f + i = -f for f.
-5
Suppose -4*r - 72 = 224. Let g = 77 + r. Solve 0 = -g*d + 1 - 7 for d.
-2
Let n = -7 + 0. Let v(o) be the first derivative of -o**2/2 - 2*o - 21. Let x be v(n). Solve -5 = -x*h + 5 for h.
2
Suppose -5*r + 4*q + 102 = 0, -3*r + 5*r - 5*q = 51. Solve 17*o + 1 = r*o for o.
1
Suppose 0 = -6*q - 24 + 60. Solve -q*b + 3*b = 0 for b.
0
Suppose 2 = 4*a - 3*k - 0, 8 = 2*a + 2*k. Let q be 6/3*(a + -1). Suppose 2*s = s + q. Solve 9 = -s*d - d for d.
-3
Suppose 0 = a - 1, -5*v - 6*a = -a - 25. Suppose -c = -1 - v. Solve -14 = c*u + 1 for u.
-3
Let p(g) = 2*g + 33. Let b be p(-15). Solve b*i - 2*i - 4 = 0 for i.
4
Suppose -3*s = 3*s - 11*s. Solve s*l + l - 3 = 0 for l.
3
Suppose 2*o - 6 = -0*o. Let u(g) be the third derivative of g**4/24 + g**3/6 - g**2 - g. Let c be u(o). Solve c*i - 2 = 2*i for i.
1
Let v = -37 - -40. Suppose 12 = -2*q - q + v*r, -16 = -4*r. Solve q = 5*g - 11 + 1 for g.
2
Suppose 0 = -4*a + 20, 5*k - a + 3 = 3*k. Suppose -78 = 4*p + x, -p - 3*x - 13 = k. Let s be (-55)/p - 1/(-4). Solve -h + 8 - s = 0 for h.
5
Let p be (1*2)/((-30)/(-45)). Suppose -h - 3*h - 8 = 5*m, 4*m + 7 = -p*h. Let i(s) = -s -