*i - 14, 0*p - 3*p + a = 3*i for p.
1
Suppose -277*h = -281*h + 12. Let s(d) = d**3 - d. Let o be s(0). Solve 2*w + o*q + 5 = h*q, -3*w - 5*q = -21 for w.
2
Let g(b) = 2*b - 8. Let m be g(6). Suppose -z + m*z = 6. Solve -z*k = 3*f - f - 10, -3*f - 1 = -5*k for k.
2
Suppose 14 - 2 = -5*u - 2*k, 5*u - k + 9 = 0. Let x be (-2)/(-3)*(-63)/u. Let q = x + -16. Solve t = w + 2*t - 1, -t = -5*w + q for w.
1
Let f(u) = -u - 1. Let c be f(-5). Let p be (-2)/c - 9/(-2). Solve x + p*m = -m, x - 2*m + 7 = 0 for x.
-5
Let v(k) = -k**3 + k**2 - k + 15. Let u be v(0). Suppose -4*f + u + 25 = 0. Let r be 4*2/4 + f. Solve -3*z + 2*i = 3*i + 8, -2*i - r = 5*z for z.
-4
Let s(x) = 12*x - 31. Let f be s(3). Solve -f*l + v - 19 = 0, -6*v - 17 = 3*l - v for l.
-4
Let h = -24 - -41. Let u = -29 + h. Let v(g) = g + 14. Let k be v(u). Solve 0 = -d - d - k*f - 4, -10 = 5*f for d.
0
Suppose 3*v + 20 = -5*d, 0 = -d + 3 - 7. Solve v = -2*g + 2*m, -12 = 3*g - 5*g + 5*m for g.
-4
Let y be 2/(-12) + 175/42. Suppose -4*b = -4*i + 4, -i = -2*b - 3*b + 11. Solve 3*s = -3*o + 6, y*s = -0*s - i for o.
3
Let s be (4/(-14))/(3/(-21)) + 1. Solve -4*r - 12 = -0*r + s*f, 4*f = 0 for r.
-3
Let c be -2 - (-4 + 12/(-2)). Suppose 4*x - 5 - 1 = -3*v, 4*v = -x + c. Solve b = 5*n - 10, -4*b + n + 0*n = v for b.
0
Let c(b) = b**3 - 1. Let f be c(2). Suppose 0 = f*v - 5*v. Suppose 5*j + 5*x - 12 - 28 = 0, 5*j + x - 24 = v. Solve 2 = s - 2*u, j*s = -s + 5*u for s.
-2
Suppose 377*x - 250 = 327*x. Let l = 8 - -11. Solve -l = -2*k - x*a, -4 - 2 = -2*a for k.
2
Suppose -3*r + 3 = 3*d, 5*d = -0*d + 4*r + 32. Suppose -d*p + 3*p = 0. Suppose -5*k - 5 = p, -c + 2*k = 5*k + 1. Solve -6 = -2*s, 9 = -c*m + m + 4*s for m.
3
Let x(c) = 11*c - 5. Let t be x(3). Suppose -15*g = -8*g - 84. Suppose 0 = -b + 3*u + 9, 3*b - 2*u - 9 = u. Solve g = -b*r - 3*r, 2*r = 4*s - t for s.
5
Suppose -2*b + 20 + 4 = 0. Let c = 4610 + -4607. Solve -2*p - 3 = p - 2*h, -h - b = c*p for p.
-3
Suppose q + 17 = 26. Suppose q = -0*n + 3*n. Suppose -5*t + 9 = -2*t. Solve 0 = x + 2*z - 0*z + n, 0 = -x + 5*z - t for x.
-3
Let p = 222 + -219. Solve -26 = 2*f - 4*s, 0*s = -f + p*s - 18 for f.
-3
Let h = 150 - 146. Solve v = -i - 6, -i + 10 = 2*i - h*v for i.
-2
Let o(r) = 4*r**2 - 2*r + 2. Let h be o(2). Let l = -14 + h. Suppose -5*z + z = l. Solve z = q + 4*b + 16, 3*q - 5*b - 2 = 1 for q.
-4
Let h(t) = -2*t**2 - 6*t - 5. Let f(l) = -2*l**2 - 7*l - 6. Let x(v) = 4*f(v) - 5*h(v). Let r be x(-2). Solve -2*u - 17 = -5*q, q + 10 = r*u + 6*q for u.
-1
Let v = -210 + 212. Solve -q + 6 = v*b, -q + 4 = -5*b + 33 for b.
5
Suppose 5*d - 45 = 75. Let x = -9 - -9. Solve k = -o - k - 9, x = -o - 5*k - d for o.
1
Let d(o) = 29 - 10*o - 8*o - 3*o + 20*o. Let p be d(16). Solve 3*v + 10 = -v + 2*g, 3*g = 4*v + p for v.
-1
Suppose 0 = 69*d + 5 - 5. Solve c - 4*s - 20 = d, -5*c + 10 = -4*s - 26 for c.
4
Let v(r) = 6*r**3 - 3*r**2 + 2. Let d be v(2). Suppose 0 = 2*k + 14 - d. Solve 0 = 2*b - 5*x + k, x - 12 = -4*b + 8 for b.
4
Let t = -4 + 6. Let r = 13 - 11. Suppose -r*c + 3*c = 4. Solve -b = -2*b - t*o + 4, -c*b - 4*o = 0 for b.
-4
Suppose -4*k + 33 = -27. Let y = -307 - -309. Solve k = -5*g, -y*n - 3*g + 11 = 24 for n.
-2
Let n = -15 + 20. Suppose -n*h = -2*h. Solve -17 = -p + 4*f, -5*p - f + 6*f + 10 = h for p.
-3
Let n = 26 + -24. Let i(r) = -4*r**2 + 4*r**2 + 4 - r**n. Let p be i(0). Solve -4*z + 5*z - j + 8 = 0, 5 = 5*z + p*j for z.
-3
Let b be 6 + 6*(-6)/9. Solve 2*s - b*d - 2*d = 20, -20 = -4*s + 4*d for s.
0
Let x = -1 - -5. Let f = 17 + -17. Suppose 0 = -f*w + w - 4. Solve w*p + x = 4*y, -9 + 4 = 5*y for p.
-2
Let b = -304 + 307. Solve -b*c = 3*a + a + 32, 5*c - 5 = 5*a for a.
-5
Suppose 0 = -3*y + y + 2. Let j be 0/((-14)/6 + 10/30). Solve 3*p - 2*k - 10 = j, 2*p - 5*k - 26 + y = 0 for p.
0
Let x(p) = -2*p**2 + 14*p + 4. Let f be x(6). Suppose -i = -3*o - 3*i + 6, -o + f = -4*i. Solve -h - 17 = -4*h - o*z, 5*z - 20 = -5*h for h.
-1
Let t(d) be the first derivative of 7/3*d**3 - 8 + 1/2*d**2 + 1/4*d**4 - 6*d. Let p be t(-6). Solve 0*c - 2*c - 4*s = -28, -c + p = 4*s for c.
4
Let v be (9/12)/(1/(-20)). Let q = v + 18. Suppose -q*h = 2 - 20. Solve -2*t = 4*d + h, -3*t = -d - 2*d + 9 for t.
-3
Suppose 0*i - 24 = -6*i. Let f(c) = -c**2 + 7*c - 4. Let w be f(i). Let x = -8 + w. Solve -o + 4*n - n - 9 = x, -4*n = -5*o - 12 for o.
0
Let j be 10/45 + -2*32/(-36). Solve 0 = k + f - 2, 4*f - j*f + 21 = 3*k for k.
5
Let w(p) = -5*p - 3. Let s be w(-5). Let f(z) = 60*z - 956. Let r be f(16). Solve r*a - s = 2*q, -q - 4*a = -2*a - 1 for q.
-5
Suppose -3*i - i = 36. Let k be (-4)/(-10)*(34 + i). Suppose -5*m + k*m - 110 = 0. Solve 5*u = 20, 0*u + m = -2*r + 3*u for r.
-5
Let u = -437 + 441. Solve -u*v + 12 = -4*x, 2*v - 2*x = -2*v + 10 for v.
2
Let w(r) = -r**2 + 23*r - 117. Let h be w(15). Solve -h*g + 30 = -5*i, 4*i + 3*g - 7 = -4 for i.
-3
Suppose i + 5 + 3 = 2*d, 0 = 2*d - 4*i - 8. Suppose 11*v = 6*v - 85. Let o = 21 + v. Solve -w + 6 = w - d*q, 0 = o*w + 4*q + 12 for w.
-1
Let r(y) = -y**2 + y. Let a be r(1). Let q be a/(-2)*(-5)/10. Suppose 2*k - 2*l + 6 = 0, -k + 9 = k + l. Solve f = -2*i - q*i - 5, 4*f = k*i + 30 for i.
-5
Suppose 5*v - 174 = 3*a - 6*a, -v + 30 = -a. Let w = v - 23. Solve 5*g = -5*r - w, 7*g = 4*g + 6 for r.
-4
Suppose 0 = -5*k + 15, -n + 10 = 5*k - 7. Solve 2*j = l + 6, -4*l + 4 = -n*l + 4*j for l.
-2
Let f(n) = 6*n + 215. Let m be f(-35). Solve -4*l = m*d - 30, 3*l - 5*d = 6*l - 25 for l.
5
Let c = -136 - -155. Solve -11*g + 10 = -9*g - 3*z, -g = -5*z - c for g.
-1
Suppose 4*h = -0*h, -3*d = h. Let g(k) = -k + 2. Let a be g(d). Let j = 31 - 30. Solve 3*u = 5*m - 16, -a*u + 5 = -j for m.
5
Suppose -3*j + 111 = -3*s, -3*j + s + 70 = -j. Suppose -4*o = -15 - j. Solve -9 = -3*z + v, 3*z + o = 7*z + 5*v for z.
3
Suppose 0 = 2*h - 8*m + 5*m - 16, 4*m + 10 = -3*h. Solve -5*r - 3*d + 16 = 0, -h*r - 4*d = -2*d - 8 for r.
2
Let j(l) = 18*l + 363. Let o be j(-20). Solve w + 5 = -2*s, -3*s - 4*w + 2 = -o for s.
-5
Suppose -4*u - 3*u + 21 = 0. Solve 4*b + 2*i + 11 = 7*i, -u*i = -5*b - 4 for b.
1
Suppose 11 = 3*y - 4*k, 4*y - 4*k - k - 15 = 0. Solve -2*c = w - 6, 0 = y*c + w - 0*w - 18 for c.
4
Let u(c) = 3*c + 20. Let o be u(-4). Let w be (-7)/28*6*o/(-3). Solve -5*d + i - 14 = 0, -d = i + w - 6 for d.
-2
Suppose -5*f + 5 + 7 = l, 4*f + 3*l = 3. Suppose -d = 5*a - 13, -2*d - 7 = a + f*d. Solve 4 = 2*h + a*b - b, -2*h = -2*b for h.
1
Let l be (-2)/(3/(6*-2)). Solve 3*y - l = -3*o + 4, 4 = -5*y + 3*o for y.
1
Let l be (-1)/4 - (-16)/64. Let h = l - -2. Solve 5*c - 3*t = -34, h*t - 8 = -2 for c.
-5
Let c(a) = a - 3. Let t be (-2 + -3)*(-4 + 3). Let m be c(t). Suppose -1 = -2*v - 3*h, -4*v - m = -2*h - 12. Solve v = -2*x - o, x + x + 2*o - 2 = 0 for x.
-3
Suppose -4*i = 2*d + i + 7, -3*d - 5*i + 2 = 0. Solve 4*m + o = -d, 3*m - 6*o + o = -24 for m.
-3
Let n = -134 - -134. Solve -5*a + 10 = -0*o + o, n = -4*o + 5*a - 35 for o.
-5
Suppose 188 - 53 = -5*j. Let z = j - -29. Solve z*m - 13 = -4*a + m, 0 = -a - 4*m + 22 for a.
2
Let s be ((-5)/(-15))/(1/(-2 + 11)). Suppose s + 24 = 9*m. Solve -14 = -5*x - 5*q + 1, -25 = -m*x + 5*q for x.
5
Let s = -20 + 12. Let x = 16 + s. Let i be (-4)/x*116/(-2). Solve -2*p + 5*p = -3*c - 21, -2*c = 5*p + i for c.
-2
Let p be (14 + (-20)/2)/2. Solve -20 = -p*a + 4*l, -4*a + l = a - 14 for a.
2
Let k be 1 + (164 + -1)*-1. Let c = -77 - k. Suppose -7*v = -2*v - c. Solve -4*o + 24 = 2*l, 4*l - o = 4*o - v for l.
2
Suppose -4*c = -c - b - 6, -2 = -c + 3*b. Solve 0 = 2*z - 7*z - 20, 8 = -c*h - 2*z for h.
0
Let a(k) = -k - 2. Let v be a(-5). Let m be (v/(-6))/((-5)/120). Let j be (-2)/(-7) - m/42. Solve q + 5*y - 9 = j, -3*q + 3*y - 7 = y for q.
-1
Let d(s) = 3*s**2 + 112*s + 39. Let h be d(-37). Solve -w + 7 = -2*q - 1, -2 = -h*q - 4*w for q.
-3
Suppose 4*t - 30 - 18 = 0. Solve 6*y - 10*y = 4*x + t, 4*x + 7 = y for y.
-1
Let g(r) = -6*r - 10. Let y be g(-10). Let a = y + -22. Solve -3*u = -k - 7 - 7, 0 = -5*k + u - a for k.
-5
Let p(m) = -m**3 + 6*m**2. Let b be p(6). Suppose b = 5*v - 30 + 100. Let o be 2/7 + (-136)/v. Solve q = -2*q - 5*f + 25, -4*q = -2*f + o for q.
0
Let i = -410 - -411. Solve -3*s + 17 - 6 = 5*k, -k = s - i for s.
-3
Let k be 6*2*14/12. Let d = k + -10. Suppose 3*j = d*j - 1. Solve x + 5*g = -j, 2*