et f be h(-10). Let c be (-2)/2 - -1*4. Solve m + f*m = 4*o - 1, -c*m = -o + 14 for o.
-1
Suppose -3*t = -5 - 7. Solve -4*y = -6*y - 3*q - 8, 4*y = t*q + 24 for y.
2
Let r(q) = -q**3 - 4*q**2 - 2*q + 7. Let m be r(-3). Solve -m*v - 7 = n, 4*v - 2*n = -7*n - 19 for v.
-1
Let u(d) = -d**3 - 3*d**2 - 6*d. Let a be u(-4). Solve 0*t = t - 5, -5*t + a = 3*r for r.
5
Let x = 5 - -1. Solve 0*m + 3*y + x = -3*m, 3*y + 2 = m for m.
-1
Suppose -5*q - 4*f = 13, 3*q = 5*f + 3 + 4. Let x be (0 + 0)/(1/q). Solve x = y + 3*l + 15, 0 = 2*y + 3*l + l + 22 for y.
-3
Let v be (-3)/(2 + 20/(-12)). Let y = v + 16. Solve 4*r - 13 = y, 4*r = -5*h for h.
-4
Suppose 12*s - 11 - 37 = 0. Solve -11 = -3*v - 2, -2*v = s*h - 22 for h.
4
Let u = 9 + -7. Let v be 0*(0 - u/4). Suppose v*w - 63 = -3*w. Solve c + 10 = -2*b, c + 2*c + 3*b = -w for c.
-4
Let y = 0 - -8. Solve 3*k + 4*n = k + 16, 4*n = 4*k - y for k.
4
Let d = -22 + 44. Let k = 7 + -1. Solve x = 5*u - d, k + 6 = -2*x + 2*u for x.
-2
Let m be -2*(5/2)/(-1). Suppose -2*w = 3*a - 41, 0*a - 97 = -4*w - a. Let c be (-1*7)/((-5)/w). Solve 5*p = -4*b - c, 10 = -m*p - 5 for b.
-5
Suppose 5*y - 6 = 2*y. Solve -3*v + 2 = -y*j - 0, 5*j - v + 18 = 0 for j.
-4
Let o(w) = w**3 - 6*w**2 - w + 5. Let q be o(6). Let y be q + (-6)/4*-2. Solve -5*x = -3*f - 1, -5*f + 23 = -y*x + 6*x for f.
3
Suppose 14 - 39 = -5*v. Solve -15 = v*y - 2*b + 4*b, -4*y + b - 12 = 0 for y.
-3
Let j(a) be the first derivative of a**2/2 + 6*a - 3. Let n be j(-3). Let l(w) = 5*w**3 + w - 1. Let m be l(1). Solve 2*y - n*f = -11, y + m = -4*f + 5*f for y.
-4
Let h(b) = -b**3 + 10*b**2 + 4. Let a be h(10). Solve -5*m + 10 = -5*y, 3*y - 6 = -5*m + a*y for m.
1
Let a be (-15)/(-2)*(-14)/(-21). Suppose -13 = -a*p + 17. Solve -2*h = 2*t - p, -1 + 15 = -2*t + 2*h for t.
-2
Suppose 2*x - 5*x = -39. Let m(u) = 3*u**3 + u**2 - 2*u + 1. Let o be m(1). Solve -i + 4 = h, -o*h - i + x = h for h.
3
Let a = 4 - 1. Let k = 4 - 2. Let c = k + 3. Solve g + 7 = 3*y - c*y, a*g + 16 = -5*y for g.
3
Let x(o) = o - 5. Let u be x(7). Suppose u*a - 6 = 2. Let g = 7 - 4. Solve -s - a*d = -9, 5*s + g*d = s + 23 for s.
5
Let f = -15 + 21. Suppose -6*k = -9*k - 12*k. Solve -d - 5 = k, -14 = 4*o - f*o + 2*d for o.
2
Suppose 18 = 2*k + 4*k. Let u be (3/(-5))/((-2)/10). Solve 2*h + k = -q - u, h + 21 = 4*q for h.
-5
Let y be (-10)/(-4)*(-12)/(-15). Solve -5*n = 2*o + o + 4, -4*o - 14 = -y*n for n.
1
Let i(r) = r + 1. Let u be i(5). Let n be (8/(-6))/((-4)/u). Let g be 10/n*(-4)/(-10). Solve -x + 4*b + 6 = 0, g*x - 2 = -2*b - 0*b for x.
2
Let m = -32 - -71. Suppose -2*a - m = -3*i, -3*i = -5*a + a - 39. Solve 4*t - i + 3 = y, 2*y - t = -6 for y.
-2
Suppose -s = 4*s + 5*f + 15, 3*s + 4*f + 12 = 0. Solve s = 3*a - 2*n - 13, -4*n - 7 = a + 12 for a.
1
Suppose -4*c + c + 15 = 0. Suppose 15 = 5*u - c. Suppose a = 5*y - 91, 3*a = -u*y + 6*y - 39. Solve 0*v + 3*g = -5*v - y, 3*v - 4*g + 5 = 0 for v.
-3
Let j = 10 - 6. Solve -5 = l, -h - j*h + 3*l + 5 = 0 for h.
-2
Let p(u) = -u + 4. Let g be p(4). Solve g = -3*c - 1 - 8, 3*d + 3*c + 6 = 0 for d.
1
Suppose 0 = -r - 26 + 31. Solve 0 = 3*g + r*z - 31, -1 = -3*g - 3*z + 20 for g.
2
Suppose 20 = -3*n + 8*n. Solve -n*r + 1 = -3*r + 2*p, -p + 3 = 0 for r.
-5
Let t = -77 + 110. Suppose 3*i + 2*r - t = -r, 3*r + 16 = 4*i. Suppose 2 = -d + i. Solve 0 = -2*v - 2, 3*b - 17 = d*v - 0*v for b.
4
Let b = 7 - 3. Let k(u) = u - 1. Let r be k(5). Let q be (-2)/(-5) + (-4)/10. Solve 3*t + 2 - 10 = -r*d, -5*t - 2*d + b = q for t.
0
Let m be (-78)/(-4) - (-4)/(-8). Let h = -9 + 11. Solve -h*j = -5*a - 3, -4*j = a + 2*a - m for j.
4
Let y = -73 - -76. Solve -5*m = -3*q + 22, -2*q + m + 18 = -y*m for q.
-1
Let a be 1 - -3 - (10 - 7). Solve 2*k + 4 = 5*l, -k + 2 = -a for l.
2
Suppose i - 9 = -2*i. Solve 3*t = i, 5*t = -x - 0*x for x.
-5
Suppose -m = -3, -6*k - m + 55 = -4*k. Suppose 3*g - 4*s = -g, -4*g = 2*s + 6. Let q be 1/(k/24 + g). Solve 4*p = q, -p = 3*h + 3*p - 12 for h.
0
Let a be -7 - 0 - (-2)/(-2). Let c be -3 + 1 + (-4 - a). Suppose -c = 2*w - 20. Solve 5*j = 4*u - 2, j = -4*u + w*u - 13 for j.
2
Let w(g) = g + 3. Let t be w(9). Let p = -5 + 7. Solve 0 = -p*i - 8, 0 = -3*d + d - 3*i - t for d.
0
Let q = 11 - 1. Suppose -3*v = 2*v - 5*b - 10, -4*b = 3*v - 13. Suppose 0 = -5*k + 2*g + q + v, -5*g = k - 8. Solve -3 = 3*p - 0*j - 3*j, k*p + j = 13 for p.
3
Let x(o) = o**2 - 4*o - 2 - 2*o + 3*o + o. Let k be x(-4). Solve 5*v = -4*j - k, -3*v + 2 = -4*v for j.
-3
Let u be (-416)/(-30) - 10/(-75) - 4. Let b be (-4)/(-6)*(-2 - -5). Let o be ((-1)/2)/(b/(-72)). Solve -5*m - o = -f, -u = 3*m - m + f for m.
-4
Suppose -59*o + 55*o + 16 = 0. Solve 5*f + x = o, 3*f - x + 3 = -1 for f.
0
Suppose -r = -6*r. Suppose 23 = -4*z - 3*w, 0 = -4*z + 2*w - r*w - 38. Let t = z + 12. Solve -t*j - 4 = 0, -5*s + s = -5*j + 15 for s.
-5
Let z(u) = u**3 - u - 3. Let m be z(2). Let d(i) = -i - 1. Let l be d(-3). Suppose l*c - 205 = -3*c. Solve -m*w = 2*w - 4*g - c, -5*w - 4*g = -9 for w.
5
Suppose 2*o - 7 = -1. Let d be -3*(o - (-42)/(-9)). Solve -4*g - 1 = 3*q, 2*q - g + d = q for q.
-3
Let a(w) = w**2 - w + 1. Let s be a(2). Suppose 4 = -s*p + 13. Solve -p*y + 11 = -4*b, 21 = b - 0*b + 4*y for b.
1
Suppose 0 = c + 4*c - 15. Suppose -s - 8 = -c*s. Suppose s*b = -0*b + 8. Solve -5*m - 15 = 0, -5*m - 22 = d - b for d.
-5
Suppose -3*v + 11 - 2 = 0. Let j = v + 1. Solve -4*y + 3*t = 19, 0 = -5*y + t + j*t - 25 for y.
-4
Let c(j) = j**3 - j**2 - j - 1. Let s be c(2). Suppose -3*p + 5 + s = 0. Solve 0 = 3*g - 2*g - 5*x - 10, -9 = -p*g - x for g.
5
Let s(q) = -q - 3. Let j be s(-8). Solve -5*y + j = -4*y, 5*b - 5 = -3*y for b.
-2
Let c = -2 - -5. Suppose 2*v - 15 = 3*v + c*o, o = v - 5. Let g(p) = -p - 1. Let t be g(-6). Solve 10 + v = -5*x + 5*u, -t*u = -5 for x.
-1
Let a = -22 + 27. Solve -r = 2, 0*r + 10 = 5*h + a*r for h.
4
Let m(y) = y**2 - 14. Let x be m(4). Solve 0*b = -x*a + 3*b + 23, a + 2*b = -6 for a.
4
Let n(m) = 7*m - 3. Let p be n(1). Solve -p*b - 8 = -4*a, -36 = -2*b - 3*a - 15 for b.
3
Let j = -1 + -7. Let t = j + 8. Let p = 3 + t. Solve b - 3*b - 3*k - 13 = 0, 0 = 3*k + p for b.
-5
Let t = 10 + -3. Solve -3 = -a, -5*j = 2*a + 2*a - t for j.
-1
Suppose -n = 3*n + 56. Let h = -10 + n. Let i = 40 + h. Solve -3*b + 1 + 13 = g, -4*b = -i for g.
2
Let k(m) = -m**2 + 12*m + 2. Let l be k(12). Solve -3*g + 9 = 3*h - 6*h, -l*h - 4 = -4*g for g.
-1
Suppose -4*s + 2*z + 10 = 4*z, 3*s - 2*z - 4 = 0. Solve 2*t = 3*x + 13, -2*t + x + s = -1 for t.
-1
Let w be (-4)/(15/(-9) + 1). Suppose 3*r - w*t - 12 = -3*t, 5*t = -5*r. Solve 3*d - 2 = -2*z + 7, -r*z - d + 7 = 0 for z.
3
Suppose 3*x = -0*x - 12. Let f be (-12)/(-8) + (-2)/x. Let r(n) = 5*n**3 - 3*n**2 + 2. Let i be r(1). Solve 3*j - f*m + 21 = 0, 5*m + 8 = -i*j + m for j.
-5
Suppose 4*t - 3*k - 11 = -2*k, 0 = -2*t - 3*k - 5. Solve -5*n + 5 = -a - 6, -4*n + t*a = -4 for n.
3
Let s be (-35)/21*(0 - 3). Suppose -6 = s*i - 21. Solve 0 = -o + v + 4, -i*v - 2 = -2*v for o.
2
Suppose -5*b + 1 = -4*b. Let i be -6*1/(-2)*b. Suppose 4*m = w + i*w + 36, m - 14 = 2*w. Solve -14 + 39 = 5*x - 5*l, 0 = -m*x - 2*l + 8 for x.
3
Suppose -12*t + t + 66 = 0. Solve t = -3*g - 3*w, w + 0 - 1 = 0 for g.
-3
Let k(z) = -4*z - 5. Let g be k(-5). Suppose 2*o = -6 + 24. Let b(c) = 2*c - 13. Let h be b(o). Solve 0 = h*j - 3*y, -10 - g = 5*y for j.
-3
Let g(j) = j**3. Let k(s) = 3*s**3 - s**2 + 2*s + 4. Let f(l) = 4*g(l) - k(l). Let m be f(3). Solve 5*r + b = m, r + b - 2 - 4 = 0 for r.
5
Let g be (25 - 9)/(-1 - -3). Let b be 20/(-6)*(-12)/g. Let w(r) = 2*r - 2. Let j be w(3). Solve -2*c - 2 = 4*q, -q + b*c - 25 = j*q for q.
-2
Let u(l) = l**2 - 2*l + 1. Let h be u(3). Solve 0 = -3*s - h*i + 1, -3*s - 1 = 3*i + 2 for s.
-5
Let p(g) = g**2 + 29*g + 56. Let a be p(-27). Solve a*u - 5 + 19 = 2*y, 2*y = 5*u + 23 for u.
-3
Let m be (-6)/((5 - 7) + 0/1). Solve -2*q + m*q = 5*c - 7, 4*q = 5*c + 2 for q.
3
Suppose 3*v - 52 = -2*v - a, 3*a = -2*v + 13. Solve -2*o + 3*g - 13 = 0, -2*o + g = -0*o + v for o.
-5
Suppose -5*t + t + 10 = -2*l, t - 3*l + 5 = 0. Suppose -3*z - 7 + t = 0. Let m be (z*2)/(2/(-3)). Solve 0 = -5*h + k - 25, 0 = h + 2*k + m*k + 5 for h.
-5
Let p be (-4)/(-10) + 8/(-20). Suppose -5*c + 33 - 8 = p. Let v be ((-14)/c)/((-2)/10). Solve 0 = -3*x - z + 3*z + v, 