2*c = -10 for a.
2
Suppose 4*z - 8 = 12, 4*a + 2*z + 62 = 0. Let q = a - -15. Let s be ((-3)/4)/(q/(-2))*-16. Solve -h - s = -4*f, -3*f + 6*f = 5*h + 6 for f.
2
Let t(f) = f**3 - 6*f**2 - 52*f + 286. Let g be t(5). Solve -4*r - 3*x = -g, 6*r + 5 = 7*r - 4*x for r.
1
Let y be -5 + 9 - (3 + 0). Let r be (-4)/y + (-1 - (-2 + -3)). Solve -2*n + 8 = -5*p, -n + 3*p + 0*p + 5 = r for n.
-1
Let q(f) = f**2 - 10*f + 9. Let n be q(9). Solve n = -u + 3*h - 4*h - 6, 0 = 5*u - 4*h - 6 for u.
-2
Let o = -3622 - -3628. Solve -4*b = -5*p - 36 + 1, -33 = -3*b + o*p for b.
5
Let b(p) = -p**3 + p**2 - p + 6. Let h be b(0). Let j be (-3 - 0) + 9 - 1*h. Solve 2*l - 3 = s, -2*s - 7 = -5*l - j*l for l.
1
Let m be (-6)/9*(-54)/4 - 2. Let s = -3 + 7. Suppose 0 = m*o - s*o. Solve a = o, -5*a = -2*v + 7 + 1 for v.
4
Let f = 4062 - 4051. Solve 0*m - 4*t = -5*m + f, 3*m + 19 = -4*t for m.
-1
Suppose -12 = -5*q - 3*f, 1 - 9 = 5*q - 2*f. Suppose 4*d = i - 0*d - 25, q = -5*i - 5*d. Solve -k - 5 + 0 = -i*a, 4*a = 5*k + 25 for k.
-5
Let z(p) = 3*p**2 - 43*p - 4. Let y be z(8). Let n = -151 - y. Solve 0 = -4*d - 2*f + 4, 5 = n*d - 5*f - 0 for d.
1
Let j(s) = 41*s + 126. Let f be j(-3). Suppose 3*c + 2 = -2*l, 4*l - 21 = -f*c - 31. Solve -4*t = -0*t + r + 12, 10 = -t - c*r for t.
-2
Suppose -2*g + 81 = f, 134 = -4*g + 7*g - f. Let y = g - 42. Let h be 32 - 6 - 5 - (1 - y). Solve -4*p - 5 = -h, 5 = k + p for k.
1
Suppose 266*i - 274*i = -16. Solve -13*h + 15 = -8*h - 3*r, i*h - 6 = -4*r for h.
3
Suppose -41 = -16*q + 17 + 70. Solve 4*x + 89*f = 90*f + 5, -x - 2*f = -q for x.
2
Let j(b) = -b**3 + 47*b**2 - 496*b + 30. Let w be j(16). Solve -7*p = 4*k + 15, k - 5*p - w = -0 for k.
5
Suppose 0 = -65*m + 75*m - 40. Solve -s = 3*s + m*b, 0 = -2*s + 5*b - 35 for s.
-5
Let n = 19 - 27. Let y(i) = i**2 + 4*i - 4. Let x be y(n). Suppose 0 = -4*h + 5*a + 1, -3*a + x = 4*h + a. Solve -s - 1 = -2*c + h*c, -c + 5*s = 6 for c.
-1
Suppose -4*t = 5*d - 41, -4*t - 5 = -5*t + 4*d. Let g be (-10)/(-3) + 3/t*2. Let o be 3/g - (-3)/12. Solve -3*r - 2*c + 6*c = -3, 2*r - o = 3*c for r.
5
Let a(k) be the first derivative of 7*k**3/3 + 25*k**2/2 + 46*k + 107. Let t be a(-2). Solve -4*u + 3*z - t = 0, -3*z = 5*u + 6 - 3 for u.
-3
Let f = 9654 - 9634. Solve 2*z - 5*m = -28, 203*m = 208*m - f for z.
-4
Let z(r) = 12*r**2 + 180*r + 6. Let y be z(-15). Solve 4*x - 14 = 5*n, 0 = -4*x + y*n - 5*n + 22 for x.
6
Suppose -4*d + 13*i - 11*i + 162 = 0, -4*d - 2*i + 174 = 0. Let f be (d/(-56))/((-3)/16). Solve -f*m + 4*k = 4, -5*k - 16 = m + m for m.
-3
Let m(t) = -2*t**3 - 17*t**2 - 8*t + 1. Suppose 4*j - 14*j = 0. Let b be j + (-228)/28 + 1/7. Let n be m(b). Solve -2*c - 1 = -3*y - 12, -5*c - n = 2*y for y.
-3
Suppose 18 = 10*b + 8. Suppose 3*v - 3*o + 8*o + 23 = 0, -5*v + o - b = 0. Let z be 0 + v + 2 + 2. Solve 5*q + 0*q + 5*p - 20 = 0, -q = -z*p + 4 for q.
2
Let v(t) = 7*t - 130. Let m be v(20). Solve -4*p = 5*j - m, -9*j - 8 = -5*j for p.
5
Let x(f) = 2*f**3 - f**2 - 2*f - 609. Let h be x(0). Let m = h - -611. Solve 7*d - 3*d = -m*i + 6, -13 = 3*d - 2*i for d.
-1
Suppose -3*x + 3*m + 1671 = 0, 0*x - 2*m + 2246 = 4*x. Let j = x - 538. Solve 0 = 5*b + 2*d + j, 0*b + 2*b + 3 = 5*d for b.
-4
Let g(c) = c - 1. Let z be g(3). Let o(p) = -10*p - 10 - z*p**3 + 3 - 5 + p**3 - 8*p**2. Let t be o(-7). Solve f = -3*x - t, -2*x + 0*f + 4*f = 6 for x.
-3
Let p = 72 + -68. Let a(b) = -2*b**2 + 8*b. Let c be a(p). Solve -3*y + 4*y = -5*f - 1, c = -2*f + y - 6 for f.
-1
Suppose -2*j - 30 = 2*w, 0 = -w + 2*w - 2*j + 30. Let z be (-10)/w - 5/(-2). Let u be (-1 + 1)/(-2 + z) - 0. Solve -2 - 5 = -s + 2*v, 4*v + 4 = u for s.
5
Let l be 0 - 3*(-1)/1. Let r(j) = -j**2 + 7*j - 2. Let x be r(6). Let h be 0/(-1)*x/(-8). Solve h = s - 4*m - 15, -l*m = s + 6 for s.
3
Suppose 2*u + 2*l = -230, -u - 5*l - 61 = 62. Let r = u + 113. Suppose 4*a - 3 - 5 = r. Solve y = 2 + 3, -a*t = y - 9 for t.
2
Let q be (-33)/11 - (-5 + 0 + -2). Solve -q*t + 6 = 5*v, 4*v + 6*t - 5*t = 7 for v.
2
Suppose -40*a - 24*a + 729 = 179*a. Let s = 2 + 2. Suppose 2*n - 4 = 4*k, -s*n + 5*k + 11 = -0*k. Solve 0 = 3*r - a*d + 2 + n, 0 = 5*r - 2*d + 19 for r.
-5
Let r(b) = b**3 + 42*b**2 - 42*b + 68. Suppose -602 = -48*m + 62*m. Let n be r(m). Solve -s + 6*s - 4*a = n, -3*a = 5*s - 25 for s.
5
Let v(r) = -r + 6. Suppose -2*x - 3*x = -50. Suppose -w = x*w - 66. Let q be v(w). Solve o - 2*o - 2*k - 2 = q, -4*o - 8 = k for o.
-2
Let j(a) = a**3 - 4*a**2 + 6*a - 30. Let k be j(4). Let h be (2 + 8/k)*6. Solve g - h*i - 4 + 5 = 0, 2*i + 17 = -3*g for g.
-5
Let c = -472 - -519. Let p = c + -22. Solve -3*s + 23 = -4*z, 0*z + 5*z - 3*s + p = 0 for z.
-2
Let y(r) = 2*r**2 - 44*r + 50. Let z be y(22). Let g = z + -47. Solve -3*o - 5*w + 13 = 30, -5*o - 2*w = g for o.
1
Suppose 15*k + 1 = 61. Suppose n - 28 + 11 = -k*s, -5*n = -2*s + 3. Let w be 1/((-10)/(-8) - n). Solve -2*y = 3*z - w*y + 4, 5 = y for z.
2
Let m = 6958 - 6992. Suppose -f + 31 = 2*z, 4*z = 4*f - 0*z - 160. Let w = m + f. Solve -w*n - 4*p - 5 = 0, 0 = -5*p + 4 - 14 for n.
1
Suppose -b = -89 + 87. Let x be (-3)/b*(-13 + 175/15). Solve 0 = 4*i - x*q - 4, -2*q - 2*q = 2*i - 2 for i.
1
Let v(u) = 20*u + 45. Suppose -4*b + 0*b + 4 = 0, 4*b = -n + 2. Let h be v(n). Let y be 4/(0 + (-2)/(-2)). Solve 5*z + 15 = 5*g, -y*z + h*g = -5*z + 15 for z.
0
Let v(a) = -a**2 - 129*a - 496. Let n be v(-4). Solve s + 7 = u, n*s = -u - 4 - 9 for s.
-4
Let i = 3532 - 3527. Solve -4 = -2*m + 4*r, i*m + 8 = -22*r + 23*r for m.
-2
Suppose 3*o - 2*y - 8 = 33, -2*o + 23 = 3*y. Suppose 2 - 12 = -2*u. Suppose u*v - o = 12. Solve 5*t + 4*p = -4, -v*t + 2*t - 2*p = 4 for t.
-4
Let g = 910 + -900. Solve 5*t - 16 = 2*p, -5*p + 5 = 5*t + g for t.
2
Suppose 0 = 4*w + v - 14, -3*v + 2*v = -2. Let i be 10/(-195)*1 - 5122/(-1014). Solve i*l = w*n - 6*n + 1, -5*n = 15 for l.
2
Let g = 403 - 377. Suppose 11*u - g = -4. Solve 5*m + u*h + 3*h = 25, h + 1 = 5*m for m.
1
Let g be (2 - 133/35)/(48/(-160)). Solve g*r - r - 10 = -i, -5*i = r + 22 for i.
-5
Let q = 0 - 0. Let r(a) = -510*a - 72926. Let w be r(-143). Solve -p + 1 - 10 = -z, -w*z + 5*p + 41 = q for z.
4
Let n = -192 + 213. Let u be 3/(-9) + 154/n. Solve -3 = c, 2*f = -2*f + c + u for f.
1
Let u be (-6)/27 - 56/(-9). Let y(q) be the third derivative of 5*q**4/24 - 8*q**3/3 - 347*q**2. Let i be y(u). Solve -i = h + 4*b + 1, -2*b - 5 = h for h.
5
Suppose -16*r + 144 - 112 = 0. Suppose r*d - 5 + 1 = 0. Solve 0 = 3*m - d*w - w + 27, -4*w = -2*m - 28 for m.
-4
Suppose 2*c - 4*g = -5*g + 16, 2*c - 14 = -2*g. Let n = -11 - -28. Suppose -2*m = -5*j + 25, -4*j + 2*m = m - n. Solve -a = 5*h - j*h + 2, -5*h + c = -a for h.
1
Let h be 3/(-2)*(-7 - 5*(-13)/(-15)). Solve -5*m - 4*f = -15, -5*m = 16*f - h*f + 10 for m.
-1
Let d(i) = i**3 + 24*i**2 - 6*i - 60. Let r be d(-24). Suppose 2*m - 92 + r = -2*x, -14 = -4*m - 2*x. Solve 0 = m*w - 0*t - 3*t + 9, w = 4*t for w.
-4
Let i be (-2)/(-4) - 6/12. Suppose -173*v + 174*v = -27. Let c = -11 - v. Solve -k - o = -5*k - c, i = 4*k - 5*o for k.
-5
Suppose 2225 = 8*l - 3*l - 5*d, 457 = l - 5*d. Let j = 462 - l. Solve -j = 5*o, 0*o - 4 = -4*z + 3*o for z.
-2
Let q(a) = -a**2 - 6*a + 15. Let f be q(-6). Suppose 0 = 2*o - f*o + 130. Solve -5*n - 2*x + o = -4*n, 3*n + x = 15 for n.
4
Let v(g) = 3*g**3 - 3. Let z be v(2). Suppose 0 = 4*l - 21 + z. Solve l = -2*s - d + 14, 2*s - 22 = -2*d - 4 for s.
5
Let c be 2*5 + 2/(-1). Let z be 1/5*0 + (18 - 18). Suppose z = 2*m - 16 + c. Solve 5*h - m*t - 20 = 0, 4*t - 4 = -4*h + 12 for h.
4
Let b(k) = -31*k + 191. Let f be b(6). Solve 0 = 4*u - 4*w, 3*w = -0*u - f*u - 40 for u.
-5
Suppose 0 = -4*f + 5*d - 7, -d - 3 = -5*f + 4. Suppose 53935*v - 53904*v = 62. Solve f*g + 3 = -v*m + 3*g, -4*g = -20 for m.
1
Suppose -10 = 3*s + 2*s. Let p be 44/(-99) + 62/18. Let y be p + 1*(4 + -1 + s). Solve -2*g - 12 = 2*x, 0 = -3*x + 5*x + y*g + 22 for x.
-1
Suppose 0 = 4*z + 5*f - 80, 4*z = -4*f + 79 - 3. Let o be (3 + -2)/(z/30). Solve -8 - 7 = 2*q + 5*r, 0 = -2*q - o*r for q.
5
Let c(l) = l**3 + 5*l**2 - 2*l + 28. Let t be c(-6). Suppose 2*n - 8 = t*i, -3*n = -0*i + 4*i - 12. Solve i = -2*b - 8, 3*j - 7*j = 5*b + 12 for j.
2
Let y = -1 + 4. Suppose 5*d = 3*p + 17, -4*d - y*p + 6 = -13. Suppose 5*s + z - 27 = 0, 5*z + 4 = 7*z. Solve -4*a = -4*o - 24