Solve 5*m = -u*p, 3*m + 4*p + 0*p = 4 for m.
-4
Suppose -5*b - 574 = -24. Let c be b/(-33) - 4/(-6). Solve -l - 16 = -6*l - y, c*l = -5*y + 17 for l.
3
Let w be 2 + -4 - 10/(-20)*10. Solve -w*o - 4*m + 4 = -5*o, 5*o + 10 = -4*m for o.
-2
Suppose -3*t + 13 = -2. Suppose -3*d + 68 = -2*p, -2*p - 110 + 2 = -t*d. Solve b = -4*v + 17, 0 = 5*b - b - d for v.
3
Let a = 165 - 160. Solve -a*v = -4*f - 13, 0 = v + 2*v - 2*f - 7 for v.
1
Let h = -10 - -1. Let v = h + 11. Let t be ((-60)/18)/(v/(-3)). Solve 5*l = o - 22, t*l - 8 = -33 for o.
-3
Let o be 1869/14 - 3/2. Let n = -107 + o. Solve 0 = -5*v - 5*y, -5*y = -v - y - n for v.
-5
Let x = -355 - -360. Solve -x*m = -2*k + 25, k = -m - 0*m + 2 for m.
-3
Let z = 839 - 834. Solve 0 = -3*l - 6, -z*l = -3*k - l - 4 for k.
-4
Let r be ((-32)/10)/((-7)/35). Let y = r - 2. Solve -s + 0 - 2 = k, -3*s + 2*k + y = 0 for s.
2
Suppose 0 = 160*j - 150*j - 140. Solve w - 3*i = -i + 1, 4*w - 3*i = j for w.
5
Suppose -11 = a - 2*b, 3*b = -a + b + 9. Let i be a/(2 + 0) - (-3)/6. Solve 5*m + r - 20 = 5*r, 2*r + 10 = i for m.
0
Let m = -1124 - -1124. Solve 5*q - 3*y = -y - 17, 5*q - 4*y + 19 = m for q.
-3
Let w(n) be the first derivative of n**3/3 - 7*n**2/2 - 23*n + 9. Let z be w(10). Solve v + z = -3*h - 4, 0 = h - v - 3 for h.
-2
Let o(g) = g**2 - 2. Let s be o(-4). Let z = s + -10. Suppose 4*x - 16 + z = 0. Solve 0 = -5*c - 20, 2*c - 1 = x*m - 0 for m.
-3
Let a(i) = 5*i + 2. Let x be a(-1). Let r be (-1)/x - (-40)/6. Let l = 9 - r. Solve 0 = -v + 2*h - 6*h - 3, -l*h + 3 = -v for v.
-3
Suppose -7*y + 2*h = -3*y - 20, -4*y + 3*h = -18. Let d be 12/(-18) + (-8)/y. Let q be d/(-10) + 57/15. Solve 0*l + 15 = -5*j - q*l, -j + 6 = -l for j.
1
Let n be -1*(50*1/1 - 1). Let h = -47 - n. Solve -h*b = j + 3*b - 5, -2*j = -2*b - 10 for j.
5
Suppose 5*m + 14 = 29. Solve -3*y + h = 6, -5*h - 7 - m = 5*y for y.
-2
Let j(h) = h**3 - h**2 - 17*h - 6. Let a be j(-2). Solve 0 = -2*t - 8, 4*b + 0*t - a = -t for b.
5
Let u = 56 + -46. Suppose -10*h + 60 = u. Solve -10 = m - h, 4*p = -5*m - 29 for p.
-1
Let t(w) be the first derivative of -w**2/2 + 3*w + 1. Let r be t(7). Let c be 6/r*(-40)/12. Solve 3*m = 2*i + 4 - 0, -c*i - 10 = -5*m for m.
0
Suppose 2*s + n - 4 = 4, 6 = -s + 2*n. Solve -5*p - 3*t - 18 = 0, -5*p = -3*p + s*t + 8 for p.
-3
Suppose 4*m = m + 15. Let x(d) = -6*d**3 + 6*d + 2*d**3 + m + 5*d**3 + 7*d**2. Let n be x(-6). Solve 0*t - 3*t - 4*u - 9 = 0, n*u + 14 = -t for t.
1
Let i be ((-42)/12)/7*-6. Solve 4*b - u + 20 = i*u, -2*b - 15 = -3*u for b.
0
Suppose -4*j = 15 + 21. Let z = j + 12. Solve -2*f + 4*h + 4 = 0, -5 = -f + z*h - 4*h for f.
4
Suppose 2*o - 3*d + 6 = 1, 0 = 3*o + 3*d - 30. Solve -o*a = h + 11, a - 5 = -h - h for h.
4
Let z(a) = -7*a - 15. Let t(k) = k + 1. Let x(v) = -6*t(v) - z(v). Let d be x(-6). Solve 0 = 3*s - 12, 6*i - i - 12 = -d*s for i.
0
Let h be 20/6*((-63)/14 + 6). Solve -h*c + 2*f = -21, -13*c + 8*c = 2*f - 29 for c.
5
Let p = 358 + -356. Solve 0 = -3*m + 2*c + 10, 0 = p*m - c + 1 - 8 for m.
4
Let q(v) = 3*v**2 - 94*v - 63. Let l be q(32). Solve -19 + l = 3*x - 5*c, 3*x + c = 0 for x.
-1
Suppose 49*u = -16*u + 86*u - 252. Suppose -12 = -q - 3*q. Suppose 2*z = -v + q*v + 18, 0 = z - 2*v - 11. Solve 3*t + 5*m + u = -11, 3*m = 5*t - z for t.
-1
Let w = -22 + 25. Let o be 4 + 0 - (4 - 2). Solve -4*b = -w*c + 14, -o*c + b = -6 - 0 for c.
2
Let p = -167 - -242. Let x = -71 + p. Solve 5 + 2 = a + 5*m, -x*m - 4 = -4*a for a.
2
Let q(v) = -2*v**3 + 35*v**2 + 13*v + 93. Let z be q(18). Solve -z*t - 15 = 3*u, -t + 3*t - 5*u = 4 for t.
-3
Let t(w) = -2*w - 1. Let l be t(-3). Let d(z) = z**2 - 2*z + 17. Let s be d(4). Let o be 45/s + 1/l. Solve y - 5*y + 20 = 3*i, -o*y - 3*i = -16 for y.
2
Suppose 0 = -4*b + 2*d - 102, -2*b = 2*d + 22 + 26. Let j be (-15 + 16)*(-1 + 30/1). Let w = b + j. Solve 3*i + i - 5*t - 18 = 0, -4*i - w*t = 0 for i.
2
Suppose 13*n + 16*n = 36*n. Solve -3*g + 5*w = g - 37, 2*g + 3*w + 9 = n for g.
3
Let k be 16 + (2/2 - 3). Let f = k - 10. Solve 0 = -4*i, -j + 3*i = -0 + f for j.
-4
Suppose -3*u - 2*u = -205. Let f = 6603 + -6599. Solve 5*i + f*t = 0, -3*i + 5*t = i - u for i.
4
Let o = -9 - -11. Let g be ((-30)/20)/(15/(-100)). Solve -c - o*a = -g, 2*c - a + 5 = -0*a for c.
0
Let k be (1 + 0 - -2)/((-14)/42). Let i = -5 - k. Solve i*v - 4 + 2 = -2*n, -1 = -n + 4*v for n.
1
Let y(r) = -r**3 + 38*r**2 - r + 61. Let i be y(38). Solve -4*x + 36 = 4*s, 0*s + i = 3*s + 2*x for s.
5
Suppose 4*p - 21 = 5*z, 5*p + 5*z + 29 = p. Let c be (p + 1 - 0)*1. Solve 3*i + 5*r = -28, c*i + 3*i = 2*r + 7 for i.
-1
Suppose -y = -4*g - 15, g - 5 = 3*y - 17. Let f = -35 - -29. Let l be 4/(-12) - 2/f. Solve -j - 3 = -5*c + 3*j, l = -y*c + 3*j for c.
3
Let k = 56 - 36. Suppose 2*h = h + k. Suppose 2*s - 20 = -3*m, -11*m + 9*m + 20 = 3*s. Solve 2*x - 5*g = 11, -h = s*x + 2*g + 2*g for x.
-2
Suppose a - 4 = -j, 4*a - 14 = -2*j - j. Let z = -39 - -4. Let d = -32 - z. Solve -2*x - a = 0, q + 0*q + d*x + 8 = 0 for q.
-5
Suppose 0 = -3*g + 3*z + 78, -5*g + 3*z = z - 127. Solve -3*x + 8*x + 25 = -5*p, -4*p = -5*x - g for x.
-5
Suppose 4*c = -3*k - 17, 0 = 4*c + c - 5*k - 5. Let h be (-1)/c*72/12. Solve -h*r = 5*a - 18, -4*r + 20 = 5*a + r for a.
3
Suppose 10*s - 91 + 51 = 0. Solve 5*w = s*w - 5*x - 26, 5*w + x = -10 for w.
-1
Suppose 3*z - 6*z = 4*h - 35, h = 4*z + 4. Suppose 0*a = 3*a + 9. Let m be (32/a)/(28/(-42)). Solve m = -x + 4*f, 3*x - f = f - h for x.
0
Let d be (-21)/(-28)*10/3*2. Solve -6*c = d*b - 2*c - 31, 2*b + 5*c - 26 = 0 for b.
3
Let t(n) = -n**3 - 2*n**2 + 3*n + 9. Let v be t(-2). Solve 0 = -3*i + 3*x + 18, v*x + 14 = i - 2 for i.
1
Suppose -228 = -29*c - 9*c. Solve 5*w - c*w - 5*f = -1, -5*w + 5 = 2*f for w.
1
Suppose 37 - 17 = 10*a. Solve 0 = a*n + 2*r + 4 + 4, 5*n = 3*r + 20 for n.
1
Let u be (-10 - -10)*(-1)/2. Suppose u = -2*y + y + 15. Solve 6 = 2*z - 2*b - b, -5*z + 2*b + y = 0 for z.
3
Let t(o) = -9*o + 105. Let g be t(11). Solve 0 = 4*s - 4*f + 36, -5*s - 5*f - 1 = -g for s.
-4
Suppose 9*h = -963 + 1008. Solve -2*a - a - 15 = h*s, -3*s - 9 = -5*a for s.
-3
Let j = 26 + -4. Let t be j/33 + (-7)/(-3). Let c be (0 + 0)/(t + -1). Solve 4*b - 5*f + 30 = c, -17 = b + 4*b + 4*f for b.
-5
Let w(s) = -7*s + 218. Let q be w(29). Solve 0 = -4*o - z + 25, -2*z + 4*z = -o + q for o.
5
Let q be (-15 - -18) + 2*3. Suppose 39 = q*d - 42. Solve -3*c + c - 3*t = -d, 4*c + 27 = 3*t for c.
-3
Let o = -232 + 235. Solve -k + 15 = -5*c, o*k = 3*c - c + 6 for c.
-3
Let p = -55 + 37. Suppose -4*s - 5*x = -95, x + 2*x - 15 = -s. Let d = s + p. Solve y = 2*g - 3*y - 16, 2*g - 2*y = d for g.
4
Let u be (-1)/(-2)*(1 - 1). Suppose 3*a - 3*t + 15 = 0, -5*a - 5 + 30 = 5*t. Let n(o) = -9*o + 2. Let p be n(a). Solve -p*i = -4*m + 6, 2*m + u = 5*i - 1 for i.
1
Let s(l) = 2*l - 30. Let r be s(14). Let h = r - -7. Solve 2*g - 5 = 3*g + h*j, 0 = -5*j - 10 for g.
5
Let m(s) = -s**3 + 5*s**2 + 6*s + 3. Let g be 1*(-2 - -3)*-3. Let a be 3/(-9)*g - -5. Let w be m(a). Solve 0 = -w*p + 2*c + 2, 0 = -p + c + 2*c - 4 for p.
2
Let q(r) = -r**3 - 23*r**2 - 42*r + 10. Let j be q(-21). Solve p + 2*k = -0*p + 2, 5*k = -5*p + j for p.
2
Let k = -11 + 5. Let r be -2 + 27/k*-6. Let q(f) = f**3 - f**2 - 25*f - 16. Let h be q(-4). Solve -h*d - 5*j = -j, -d + 4*j = r for d.
-5
Suppose 4*g - 18 = -4*n + 10, g + 13 = 4*n. Solve 5*l = g*h + 13, 0 = 2*h - 4*l - 0*l + 12 for h.
4
Let j(a) = 2*a - 21. Let n = -9 - -22. Let k be j(n). Solve 5 = 5*w, -k*w + 3*w + 10 = -4*h for h.
-2
Let r(s) = 3*s + 3. Let m(t) = -t - 1. Let h(z) = 8*m(z) + 3*r(z). Let f be h(1). Let p be 2/(3*f/12). Solve -p*y = 0, -3*a - 14 = -5*y - 5 for a.
-3
Let q(w) = -3*w - 1. Suppose -2*a = a + 3. Let v be q(a). Solve -5*z - v = 3*l, 0*z - 5*z + 2 = 2*l for z.
2
Let w = -2569 - -2573. Solve -5*v - 15 = -4*o - 48, w*o - 3*v = -23 for o.
-2
Let h(m) = -m**2 - 11*m + 5. Let w be h(-9). Suppose -4*t - 3 = -w. Let v = 4 - -1. Solve -3*p + 3 = z - 4*p, v = 5*z + t*p for z.
2
Let q(o) = o - 18. Let f be q(11). Let d = 4 - f. Solve -t - d = -2*x, 0*t + 2*t + 7 = -x for t.
-5
Suppose 3*g - 35 = -5*a, 5*a + 5 = -3*g + 2*g. Suppose -5 = 3*z - g. Let i be 280/126 + (-2)/9. Solve 19 = d + 5*v, -18 = -i*d - 5*v + z for d.
4
Let y(g) = g**2 + 5*g - 32. Let u be y(4). Solve -1 = 5*k + 3*m, m =