olve -3*m - 30 = -o*p, -4*p = 4*m - 2*p + 10 for m.
-5
Let m(n) = n**3 + 4*n**2 - 8*n - 6. Let p be m(-5). Let a(d) = -d**2 + 40*d - 37. Let z be a(39). Solve z*j + h = -6, 0 = 3*j - h - h + p for j.
-3
Let q(t) = 3*t**3 - t**2 + 2. Let h be q(2). Let i be (108/21)/((24/21)/4). Let s = h - i. Solve -5*p - b = -5, p + s*p + 2*b = 0 for p.
2
Let n = 24 + -14. Suppose 0 = -5*g + 5*b - 74 - 1, b = 5*g + 63. Let d be (g/10)/((-2)/n). Solve 0 = 4*y + 3*t + d, 4*y - 2*t = y - 13 for y.
-3
Let i(d) = 2*d**3 + 57*d**2 + 30*d + 58. Let m be i(-28). Suppose -3*y + 6 + 2 = -b, 4*b = -4*y + 16. Solve -3*r + 3 = -m*c, 0 = -r - c + 2*c + b for r.
1
Let b(k) = -k**3 - 12*k**2 + 11*k - 13. Let p be b(-13). Let y = -9 + p. Solve -y*v + 9 = 4*h - 23, -3*v - 2*h = -21 for v.
5
Suppose 4*a - 5*q = 0, 0*a + 2*q = -3*a. Solve 2*j + 0*j + u - 6 = a, 3*j - 3*u = 0 for j.
2
Let a = 1632 + -1631. Solve 5*k = o - 13, 3*k - 4 + a = -3*o for o.
3
Let w = 46 - 7. Let f = 42 - w. Solve 3*k = f*v - 9, 2*v + v - 15 = 0 for k.
2
Let a = 277 + -275. Solve -b + 2 + 4 = 4*i, 3*b = -a*i - 2 for i.
2
Let g = -70 + 48. Let o be 44/(-12) + 4 - g/6. Solve -8*p - 7 = -4*p - 3*n, 2*p + o*n = 24 for p.
2
Let w be (-2)/8 + 34/8 + 7. Solve -4*c = -0*c - 3*a + w, 5*c + 13 = 3*a for c.
-2
Let d(g) = -17*g**2 - 458*g + 37. Let b be d(-27). Solve 2*a + 2*j + b = 0, 5*a + 4*j = 2*a - 19 for a.
-1
Let d = -1799 - -1802. Let i = -1 - -5. Let x be (2 - (-21)/(-12))*i. Solve -x = 5*z - 2*q - 11, d*z - 15 = 3*q for z.
0
Let c be 2/8 - 145/4. Let a = c - -36. Solve -r - 3 = -a*k + 5*k, -r - 3 = -3*k for k.
0
Suppose -5*j - 26*t + 16 = -28*t, -11 = -4*j + t. Solve 0 = -j*n - 10, -3*d - n - 3 = -2*d for d.
2
Let g(s) = s**2 + 14*s - 10. Let l be g(-15). Suppose 1 = 2*o - 7. Let x = 0 + o. Solve x*i = -4*h + l*i + 14, -2*i + 16 = 3*h for h.
4
Suppose -158 + 204 = 2*k. Suppose -5*s = -10 - 5. Suppose 0 = s*p - 2*p - 3. Solve 2*q + 2*l = -p*l - 20, -4*l - k = 3*q for q.
-5
Suppose -3*k + 5*u = -30, 8*k = 11*k + 5*u. Solve 7 = x - z, -k*z - 41 = -x - 14 for x.
2
Let m = -55 + 62. Solve 4*w - q = 1, 2*q = w + m*q + 26 for w.
-1
Suppose -2*u + 3*u - 28 = -2*d, -16 = -u + d. Solve 1 = -4*m - 5*j - 6, 5*m = 5*j - u for m.
-3
Let l be -8 + 3 + 0 + 5. Solve l = -3*p - 15, -m - 3*p - 5 = m for m.
5
Let g be 9 + 10 - (-1 + 2). Solve -7 = 2*q + q + 4*l, -2*q + g = -3*l for q.
3
Let a(g) = -g - 1. Let c(l) = l**2 - 4*l + 6. Let y(j) = -3*a(j) - c(j). Let q be y(6). Suppose q*r = 6*r - 3. Solve -2 = 2*k, r + 2 = -d - 3*k for d.
0
Suppose 0*t - 765 = 5*t. Let c be 4/(-14) - t/21. Let l = c - 3. Solve 0 = -2*z - l*b - 18, 4*z - 5*b = -b + 12 for z.
-1
Let z be (-1)/(-4) + (-385)/(-28). Suppose 5*j + 0*j = 4*g + z, j - 22 = -4*g. Suppose 8*p = j*p. Solve -5*s - 4*d = 16, p = -2*s + d + 1 + 3 for s.
0
Let b be 2 - (-6 + 5)*(-2 - -5). Let d = 42 - 87. Let l = -27 - d. Solve 4*a = -b*i + 2*a + l, 3*a - 12 = 0 for i.
2
Suppose 5*v - 4*w + 3 = 0, -3*w - 2 = -2*v - 6. Let r(p) = -5 + 0 + 7*p + v. Let a be r(3). Solve 2*s - a = 3*j, 2*s + 2*s = j + 9 for j.
-5
Let g be 2/(3/4 + 287/(-820)). Solve j - 5*d - 2 = -0*d, 4*j + g*d + 17 = 0 for j.
-3
Let w = 6 - 4. Suppose -q = 4*a - 11 + 15, -4*q - 16 = 2*a. Solve a = 4*i - 5*y + 40, 2*i + y = w - 8 for i.
-5
Suppose u - b + 1 = 0, -3*b = -b - 6. Solve -4*m + u*z = 30, 2*z + 0 = 10 for m.
-5
Let u(k) = 2*k - 5. Let d be u(6). Suppose m - 20 = -5*i, -d + 2 = -m. Solve -i*s - 6 = 3*f, -s - 5*f + 7 = -3 for s.
-5
Let y = -22 + 22. Suppose 0 = -o - i, 2*o + y*i + 3 = -3*i. Let z = 4 + -1. Solve 5*q + z = h - o, -h = -3*q - 4 for h.
1
Let b be 30/2*1/3. Let f(r) = r**3 + 16*r**2 + 2*r + 16. Let k be f(-16). Let y be (-65)/(-7) + k/56. Solve -n + y = b*d - 11, 4 = d for n.
0
Suppose 0 = 7*v - 106 + 92. Solve -5*l + 5 = -b, 7*b + 25 = v*b + 4*l for b.
-5
Let k(z) be the first derivative of z**4/4 + 8*z**3/3 + 4*z**2 + 10*z - 12. Let h be k(-7). Solve -s + 3*q = -2 + h, -4*s + 3*q = 4 for s.
-1
Let p be 3*(2 - 1) - -2. Let h be -347 + (1 - 1) - -2. Let c be -3*(h/9)/p. Solve 3*n = 2*o - 8 - 11, o + 5*n = -c for o.
2
Let m(i) = -i**2 - 3*i + 14. Let k be m(-6). Let n be 6/k*((-2)/(-3) + -2). Solve 2*h - p + 4 = p, -3*h = -n*p + 7 for h.
-3
Suppose -9*w = -32 + 5. Solve -4 = -m - h - 1, 3 = w*h for m.
2
Suppose 3*n + 20 = 10*z - 3, -2*n = -2*z + 6. Solve m - z = 2*p, 2*m - p = m + 3 for m.
4
Suppose 0 = -42*z + 52*z - 30. Solve -3*h - 4 = h + l, 0 = 3*h - 4*l + z for h.
-1
Suppose 0*d + 3 = d. Let n(f) = 8 + 0 + f**2 + 3 - 7*f. Let a be n(6). Solve 3*p + 12 = a*p + d*i, 0 = -i + 2 for p.
3
Suppose 6 = 2*l - 0*l. Suppose 2*i + 0*k - k - 4 = 0, -4*k - 16 = 0. Suppose -4*y + i = -12. Solve 4*q + 5*w = -31, -2*w = -l*q - y - 3 for q.
-4
Suppose -55 = -38*i + 21. Solve 2*t - 5*t - 3*c = 0, i*t - 5*c = 21 for t.
3
Let s be 2/(-7) + 111/21. Let h be (-5)/2*(-9 + s). Let a(k) = -k**3 + 6*k**2 - 2*k + 17. Let u be a(6). Solve 3*n - 4*l - 5 = 8, u*n + 5*l = h for n.
3
Let z be ((-15)/9 + 2)*1*12. Suppose z*h + m = -4*m + 27, -4*h + 62 = -2*m. Solve -4*b - 5*p + 2*p - 13 = 0, -h = -2*b + 5*p for b.
-1
Suppose -l + 2*k = -4 - 8, -2*l + 51 = 5*k. Suppose -p + 122 = 3*w - l, 5*p + 20 = w. Solve 0*d - 15 = -4*g - d, -5*d - w = -4*g for g.
5
Let m be (2/4)/(1/(-414)*3). Let x = m - -94. Solve -x = -5*t + 4*s - 0*s, 7 = 2*t - s for t.
1
Suppose -16*q + 26*q - 190 = 0. Solve z - q = -k - 2*z, 20 = 4*z for k.
4
Let r(g) = 2*g - 14. Let k be r(8). Let m = 3 - 4. Let i be (-33)/(-12) + m/(-4). Solve -3*a = k*u - 5, i*a = u + u - 11 for u.
4
Let k = 71 - 51. Let j be ((-28)/(-16))/(1/k). Suppose 3*s + j = 3*b + 8*s, -2*s = 5*b - 33. Solve 0 = 4*i + 3*d + 11, -5*i + 25 = d - b*d for i.
1
Let b = 1359 - 1353. Solve -3*u + 2*g = -0*u + b, g - 3 = 0 for u.
0
Let c be ((3 + -4)*(0 + 1))/1. Let y be (5/(25/(-20)))/c. Suppose 4*u = -2*q + 24, 0*q = 5*q - 20. Solve 3*b + 2 + 6 = -u*d, 0 = y*b for d.
-2
Let g be (1/3)/((-11)/(-132)). Suppose 0 = g*v - 16, -3*k + k - 2*v + 2 = 0. Let i be k - -1 - -10 - 4. Solve 6*l - l + 20 = 0, -2*y + i*l + 18 = 0 for y.
1
Let f(c) = -c**2 + 11*c - 5. Let w be f(4). Let l = -19 + w. Solve -4*h = l*r, h + 0*r - 2*r = 0 for h.
0
Let w be 1/(4/14) + 105/(-70). Suppose 2*t = -2*f + w + 2, 4*f = 2*t + 32. Solve 0 = 4*g + x - f, 0*g - 4*x = -g + 10 for g.
2
Let c(y) = y**3 + 4*y**2 + 3*y + 4. Let a be c(-3). Suppose 2*k = -2*o + 8, k - a*k = 4*o - 8. Solve -8 = -2*l - 5*h + h, -5*l - 4*h = -k for l.
0
Suppose 3*b - 26 = b. Suppose 10 = -3*f + b. Solve f = 5*d + c - 1, -4*d + c = -7 for d.
1
Let c(h) = -h**2 + 10*h - 4. Let t be c(8). Let a(b) = b**2 - 8*b + 7. Let m be a(9). Let w = m - t. Solve w*u = p - u + 9, 0 = p - u + 5 for p.
-4
Let g be 1/(6 - 170/30). Solve -o - 5 = g*a, -o = -0*o - 4*a - 9 for o.
1
Suppose -3*h + 1 = 5*r, -3*r = -5*h - r + 12. Suppose 8*o + h = 9*o. Solve y = -c - 8, 2*y + 8 = -o for c.
-3
Suppose 34 = 4*j - 30. Let x = j - 6. Let n = x - 7. Solve 2*d = n - 11, -5 = -5*g - 5*d for g.
5
Let i be (-2)/(-4) - (-5)/2. Let r = 84 - 70. Suppose -5*z + 11 = -o - 4, 2*z - r = 2*o. Solve -z*g + i*y - 8 = 2*y, 3*g + 5 = 5*y for g.
-5
Suppose -m + 4*r - r = -8, 88 = 4*m + 2*r. Solve -4*n - m = h, -2*h - 5 = 5*n + 23 for n.
-4
Let c be 4/3*1*3. Suppose 0 = n - 5*n - c, 5*n + 9 = x. Solve -5*g + 0 = -x*s + 15, -24 = -5*s + g for s.
5
Let d(y) = -2*y**2 - 13*y - 4. Let k be d(-6). Suppose k*n - 1 - 5 = 0. Solve 2*u - 13 = -n*c, 3*c + 15 = 6*c for u.
-1
Let x = 8 - 18. Let g be (-4)/x - 76/(-10). Solve -3*u + 4*i - 2 = 2*i, 2*i = -2*u - g for u.
-2
Let k = -191 - -192. Solve -3*z - 2*f + 19 = 0, z - k = -2*f + 4*f for z.
5
Let g(p) = -4*p**2 + 2*p - 2. Let h be g(2). Let k(o) = -o**2 - 13*o + 20. Let r be k(h). Solve d - r = 2*s - 0*d, -11 = -s + 4*d for s.
-5
Let f be (8/(-6))/(12/(-45)). Suppose -25 = -f*o - 0*o. Suppose -3*u + 5 = -v - 3, -o*v = -5. Solve 5*m = n + 7, u*m + 4*n = 7 + 11 for m.
2
Let f(s) = s**3 - 13*s**2 - 16*s + 30. Let i be f(14). Solve i*a - 9 - 1 = -2*d, 16 = 4*a for d.
1
Let a(m) = 2*m**2 - 5*m - 22. Let w be a(5). Solve -5*t - 6 = w*h - 18, -4*h = t - 16 for h.
4
Let n(c) = c**2 + 15*c + 20. Let i be n(-15). Suppose -i*a = -7*a - 39. Solve a*w - 10 = 2*l, -l + 4*l + 5 = 2*w for w.
4
Let b(i) = 7 - 10 + 26*i - 40 - i**2. Let v be b(24). Solve 5*x - 6 + 