+ 1, -m = m + z*n + 10 for m.
-2
Let z be 9 + (16/(-10))/(54/135). Solve 2*t = -5*m + 10, m - z*t - 51 = -22 for m.
4
Suppose -110 = -4*j - 42. Suppose 3*m = 3*x + 12, -23 = -3*m - 3*x - 5. Solve 3*v = m*p - 7 - 16, 4*p - v - j = 0 for p.
4
Let l(b) = -b**2 + 8*b - 7. Let w be l(3). Let r(y) = -y**3 + 10*y**2 - 18*y + 16. Let d be r(w). Solve -5*j + 25 = d, -j + 3 = -4*t - 2*j for t.
-2
Let k be 4/3*(135/(-6))/(-15). Solve 0 = -2*g + f + 2*f + 12, 8 = -k*f for g.
0
Let v = -15 - -12. Let r be 0 + 1 + 8 + v - -2. Solve 4*t + 3*y - 2 = -4, -3*t - r = -y for t.
-2
Suppose -78 = -27*t + 28*t. Let c be (-6)/(-21) - t/21. Let m = 3 - -2. Solve -c*i - 10 = -2*p, 5*i + m = -4*p - 14 for i.
-3
Let f be (-48)/(-15) - 1/((-15)/(-3)). Suppose -4*y + f*y + 2 = 0. Solve 4*q = 2*l - 17 - 5, -q = 2*l - y for l.
3
Let s be (-1 + (-430)/6)*(-9)/(-6). Let t = 117 + s. Solve 2*o + 2*z - t = -0*o, o = z for o.
2
Suppose -19*s + 541 = 2365. Let z = -92 - s. Solve 3*x = r - 4 - 6, 0 = z*x - r + 14 for x.
-4
Suppose -2*t + 0 - 11 = -3*g, 3*g - 36 = -3*t. Solve -m - 3*u = -g*u + 7, -31 = -5*m - 2*u for m.
5
Let o = 18 + -20. Let p(v) = v**2 + 4*v + 4. Let i be p(o). Solve -x - 4*s - 4 - 3 = i, 0 = 5*x + s - 3 for x.
1
Let i = 215 + -213. Solve 0 = i*k - 2*h + 10, h + 2 + 5 = -2*k for k.
-4
Let y(s) = -4*s + 14. Let q(t) = -21*t + 70. Let r(g) = -4*q(g) + 22*y(g). Let o be r(6). Solve -p + 1 = 4*f + 6, -2 = -5*f - o*p for f.
-2
Suppose 3*j - 18 = -3*j. Suppose -j*x + 6 = c, -4*c + 3*x - 5 = 1. Solve 5*s - 2*u = -5, c = -3*u - 0*u - 15 for s.
-3
Let m(o) = -o**2 + 5*o + 5. Let g be m(5). Solve -g*a = -c + 2*c + 20, -20 = -c + 5*a for c.
0
Suppose 9*p - 202 = 14. Solve -i + 3*z + 8 = -2, 4*z + p = 4*i for i.
4
Let x(h) = -h**3 - 35*h**2 - 33*h + 36. Let a be x(-34). Solve 0 = -4*q + 7*q - f - 4, -q - a*f - 1 = 0 for q.
1
Suppose -2*l + 2*i - 3*i + 10 = 0, -4*i = 0. Suppose 3*a = l*a - 4. Solve 5*r - 5 = -5*f, r - 1 = -a*f + 2 for r.
-1
Suppose 0 = -3*w + w - 12. Let c(y) = -4*y**3 + 3*y**3 + 0*y**2 + 4*y - 5*y**2 - 8. Let f be c(w). Solve -3*n = 12, 0*x - x + f*n + 11 = 0 for x.
-5
Let d = -25 - -13. Let t = d + 13. Solve -7 = 2*k - t, -3*f + 4*k = 3 for f.
-5
Let s(g) be the third derivative of g**6/120 + g**5/12 + g**4/24 + 3*g**3/2 - 18*g**2. Let w be s(-5). Solve -4*o + w*l = 4, -8 = 6*o - 4*o - 5*l for o.
1
Suppose -9*j - 71 = -5*s - 8*j, -4*s + 68 = 2*j. Solve -2*w + k = -s, w = -3*w - 3*k + 5 for w.
5
Let q be ((-6)/(-4))/((-1)/(-2)). Suppose 0 = -7*c + 163 + 222. Suppose 3*s + 2*s - 3*a - c = 0, -s + 23 = -q*a. Solve -2*x = -m - 4, 2*m - x = -5*x + s for m.
0
Suppose 0 = -0*w - w + 2. Let n be 11/w - 2/4. Let k(p) = -p**3 + 6*p**2 + 4. Let a be k(6). Solve b - 15 = 4*g, a*g + 2 = -n*b + 5 for g.
-3
Let c(v) = -10*v - 97. Let u be c(-10). Solve -u*d = -4*a - 11, 4*a = -d + 6*d - 5 for a.
-5
Suppose 7 = -3*k - 35. Let c = 16 + k. Solve 0 = -x - l, x + l = -c*x + 6 for x.
3
Let k be (-16)/88 + 354/11. Suppose -k*c = -31*c - 4. Solve -c*v + 4*w + 8 + 12 = 0, -5*w - 23 = -4*v for v.
2
Let g(l) = 23*l + 6. Let o be g(-4). Let t = o - -91. Solve -2 = -n - 6, -5*d + 30 = -t*n for d.
2
Let q(k) = 4*k**2 - 9*k - 4. Let l be q(4). Suppose 5*o - 2*c + c - l = 0, -o = -4*c - 20. Solve 0 = -3*a - 2*m + 13, -o = -0*m + 4*m for a.
5
Let y(b) = -3*b + 2. Let g(d) = 4*d - 3. Let j(x) = -3*g(x) - 2*y(x). Let t = 10 - 14. Let p be j(t). Solve 5*q + p = -4*u, -3*u = 4*q + 11 + 12 for q.
-5
Let x be 3/5 - (-289)/85. Let r(n) = n + 42*n**2 + 6 - 38*n**2 - 5 - n**3. Let d be r(x). Solve -2*m = -3*g - g, 2*g = d*m + 8 for g.
-1
Let x be (-4)/(4/(-3)) - -2. Suppose 0 = -10*s + 8*s + 14. Solve -2*w - 2 = 0, 5*p - x*w - 22 = -s for p.
2
Let p(h) = 3*h - 2*h + 17 - 12 + 7. Let i be p(-13). Let z be 2 + (4*i)/(-2). Solve 0 = -5*t + 5*r, 3*t - 1 = z*r + 4 for t.
-5
Suppose -5*c + 26 = 6. Suppose -21 = -2*w - 2*f - 3, f - c = 0. Solve -5*r - 6 = 3*a + 8, -w*r - 5*a - 10 = 0 for r.
-4
Suppose -h = 5*i + 1, 5*i + 3*h = -0*h - 3. Suppose i = -17*u + 23*u - 18. Solve -2 = -3*z - 2*f, -5*z - 27 = -5*f + u for z.
-2
Let k be 8268/416 + (-2)/(-16). Solve 0 = a + 5*l - k, 0 = 2*a - 0*l - 2*l + 8 for a.
0
Let p be (41/(-5) - -8) + (-696)/(-30). Solve 5*b + p = i, 2*i = -b - 0 + 2 for b.
-4
Let x = -1042 - -1047. Solve x*i = 25, -3*t + 5*t + 4*i - 14 = 0 for t.
-3
Let s(f) = f**2 + 8*f + 9. Let g be s(-7). Suppose g*j = -0*j. Suppose -4*x + j*x = -24. Solve -y = 4*k - 16, -y + x*y = -4*k for k.
5
Let p = 53 - 27. Let m be -2*(-3)/(-3) + p. Let d(v) = v**3 - 3*v**2 - 3*v - 1. Let a be d(4). Solve -5*s = -b - m, 0*s + 3*s = a*b + 24 for s.
4
Let v = 20 - 20. Suppose 15 = -v*h - 3*h, 0 = 2*x + 4*h + 20. Solve 4*q = -a - 13, 20 = -5*a - x*q - 5*q for a.
-1
Let y = -43 - -46. Solve -3*j = -g - y, 17 - 2 = -5*g for j.
0
Let s be 44/66 - (-10)/3. Solve s*g = -3*o + g - 3, -4*g = -3*o + 18 for o.
2
Let l be 2/11 - (-120)/66. Solve 0 = -4*a + l*w - 0*w - 4, 0 = -2*a + 2*w - 6 for a.
1
Let c = 63 - 53. Suppose c = -4*y + 90. Solve -2*g + 8 = 2*d + 3*d, -2*d = 5*g - y for d.
0
Suppose 183*g + 46 = 206*g. Suppose 9 + 11 = 4*t. Solve -5*k = -2*x + 12, -5*x - g*k + 11 = -t*k for x.
1
Suppose f - 98 = -94. Solve -g + 0*g = f*m - 2, -g = 2*m for m.
1
Suppose -9 = 4*m + 3. Let g be m + 10 + 1/(-1). Solve -a = -g*a - 5*l - 30, 4*a + 14 = -2*l for a.
-1
Let j(b) = -4 - 9 + 0 + b**2 - 14*b. Let t be j(15). Solve -2*c - 2 = -t*i + 8, 0 = c - 2*i + 5 for c.
-5
Let r be (-12)/6*(-2 - -48). Let y be r/(-1 + -3) - -2. Let w be -2 + (0 + -26)/(-2). Solve 4*u - y = -u, -2*b - w = -u for b.
-3
Let l(f) = f**3 - 22*f**2 + 42*f - 30. Let c be l(20). Solve -3*n - 23 + 5 = 3*s, s + c = -2*n for s.
-2
Let p be (-8)/(-196)*7 + (-26)/(-7). Suppose -6 = -5*v - 0*v - 3*n, 5*v + 8 = p*n. Solve 4*g - 5*m + 9 = 0, 4*m = -2*g - v*g + 2 for g.
-1
Let t(u) = -9*u**2 - 8*u - 7. Let p be t(-3). Let j = p + 69. Solve 0 = 5*a - n - 23, -2*a + 1 = -j*n - 22 for a.
4
Let y = 244 + -240. Solve -4*p + n - 10 = 2*n, 2*n - y = 4*p for p.
-2
Let l(n) = -n**2 - 10*n + 29. Let d be l(-12). Solve -5*m - d = -5*p, -2*m - 4*p = -3*m + 2 for m.
-2
Suppose 29*v = 14*v. Suppose 3*b + 2*p - 20 = 4*p, 4*b - 3*p - 28 = v. Solve 0 = 4*u + b - 0, 3 = -y - 3*u for y.
0
Let w be (30/5)/(-2) - -8. Suppose 3*n - w*n + 2 = 0. Let a be n/(1 + 0 + 0). Solve 2*z = -t - 12 - a, 15 = -3*z for t.
-3
Let x be 3/(-6) - (-35)/(-42)*-3. Solve -2*d = 5*c + 10, 5*d + 2*c - x = -6 for d.
0
Let y be 26/65 - ((-17)/(-5) + 0). Let r(l) = l**2 - 2*l - 6. Let x be r(y). Solve 5*w + x = -2*b + 35, -b + 11 = 2*w for w.
4
Let x be -2*(0 + (-6)/4). Suppose 2*i - 44 = -2*m, i + 25 = 3*m - 21. Suppose m = 2*j + 13. Solve 0 = 2*f + 3*z + x, z + j = -f - z for f.
0
Suppose -3*q + 35 = 4*l, -15*q = -4*l - 10*q - 5. Solve -5*o - 5 = 0, 3 = -4*b + l*o - 0 for b.
-2
Let u(i) = -3*i + 24. Let c be u(10). Let p(h) = -h**3 - 6*h**2 - h - 1. Let k be p(c). Solve -4 = 4*x - 3*t, k*x - 15 = -3*t + 7 for x.
2
Let m be 2/16*2 + (-204)/48. Let f be 58/18 - m/(-18). Solve 0*x - b = f*x - 7, 5*b + 13 = x for x.
3
Let y be ((18/(-1))/(-3))/((-6)/(-4)). Suppose -y*f = f - 15. Solve f*u + 4*r - 18 = 0, -3*r + 13 = -u + 2*r for u.
2
Let i = -779 + 780. Solve 7 = -2*a + 3*r - 0, -5*r = 2*a - i for a.
-2
Let d be -1*3/12*(-119 - -51). Solve -p - 2 = -o + p, -p = 4*o - d for o.
4
Let g(x) = 2*x**3 - 3*x**2 + 2*x - 3. Let s be g(2). Let d(y) = -y + 13. Let m be d(s). Solve -4*v + v = -4*l - 3, -v + m = l for v.
5
Let r(y) = 3*y**2 - 16*y - 20. Let o be r(8). Suppose 6 = -41*s + o*s. Solve 3 = -2*m + s*x - 5, 4*x - 4 = m for m.
-4
Let f(u) = -2*u - 28. Let b be f(-7). Let t be 7/(b/8)*2/(-2). Solve 2*m = -2*m - 3*d + 7, -4*m = -t*d - 28 for m.
4
Let u be 20/12*-3 - -2. Let v = u - -7. Suppose 0 = -p - 3*y - 6, 5*p = -0*p + 2*y + v. Solve -5*l = p, 0*j - 4*j = -l for j.
0
Let g be (-6)/(-21) + (-18)/14. Let q = g + 6. Suppose -5*k - 3*w + 20 = -7*w, -w = -2*k + 5. Solve k = -3*d - q*z + 25, -5*d - 14 - 6 = -4*z for d.
0
Let y be 8/(((-6)/4 + 3)/3). Solve 3*v = m - y, -5*v + m = -0 + 24 for v.
-4
Suppose -t - 2*w = -0*w - 29, -5*w = -20. Suppose 8*o - o - t = 0. Solve -1 = o*k - h + 2, -3 = k - h for k.
0
Let n = -240 - -244. Solve -k = -0*k - n*g + 2, g + 8 = -4*k for k.
-2
Suppose -10 = -0*q + 3*q - 2*d, 2*q = 2*d - 10