*s = -2*h + 26, -3*s - 3*h = -p*h + 21 for s.
-4
Suppose 2*y + 2*a = 3*a - 11, 0 = -y + 3*a + 2. Let s(c) = c**2 + 19*c + 87. Let l be s(y). Solve 4*b = -h + l*b, 4*h = -5*b - 1 for h.
1
Let v(f) = -69*f + 74. Let b be v(1). Suppose 5*y + 1 = 2*s + 25, 5*y + 2*s - 36 = 0. Solve -b*u + 23 = -z, -z = -3*u - 3*z + y for u.
4
Let s(f) = 2*f**2 + 38*f + 178. Let b be s(-11). Solve -5*g = -0*g - 5*w + 5, b*g - w = 0 for g.
1
Suppose -3*z - 2 + 35 = 0. Suppose z*r - 5*r = 42. Suppose r*b + 6 = 9*b. Solve -4*g - 4*o = 0, 0 = -b*g + 3*o + 2*o for g.
0
Let q be (-1)/(-1) - (0 + -7)/7. Let m be (0/q)/(-11 - -12). Solve -3*g = -3*x - 15, m*g - 2*g + 9 = -x for g.
4
Let d(p) = -p - 4. Let g be 3*(-4)/12 - 16. Let u be d(g). Suppose 5*c - 5 = -5*m, 3*c - 4*m - u = 4. Solve -3*i = -c*b - 12, -5*i + 0*b + 2 = 4*b for i.
2
Let r = -3 + 8. Suppose 2*b - b = -136. Let k = b - -141. Solve -5*a + 15 + k = -n, -r*n + 16 = 4*a for n.
0
Let w be (-1 + 4)*3/18*(72 + 134). Solve -28 = -w*d + 98*d - t, 4*t = 12 for d.
5
Let c(a) = 212*a + 11452. Let z be c(-54). Solve z*t + 86*w - 87*w = -20, 0 = -4*t - 2*w - 20 for t.
-5
Let s be -3 - (-2 - (5 + (3 - 3))). Solve s*p - 2*r = 0, -2*p + 0*p - 4*r - 20 = 0 for p.
-2
Let d = 449 + -606. Let t = -154 - d. Let b be 2*((-9)/(-6) - 0). Solve -3*f + t*o = -f + 4, b*f + 13 = o for f.
-5
Suppose q = 4*b - 27, 12*q + 4*b = 3*b + 19. Solve 0 = k - 8*h + 9*h + 1, -3*k - h - q = 0 for k.
0
Let h be (168/(-15))/((-2)/10). Let j = h - 53. Suppose -2*k + 2 = -3*y, -4*k + 4 = -3*y - 0. Solve 0 = l - y*q + j*q - 10, 0 = 5*q - 15 for l.
1
Suppose 13*j + 281 = 346. Solve 0 = j*w, 120*w - 12 = -4*x + 117*w for x.
3
Let z be (-5)/(-3) - (-20)/60. Suppose -z*f + 19 = -d, 0 = -5*f - 5 - 0. Let w = -19 - d. Solve -3*p + 7 = m + 4, 2*p - w = -m for p.
1
Suppose 0 = 85*v - 70*v + 210. Let x(n) be the first derivative of n**2 + 33*n + 4. Let a be x(v). Solve 0*m - a = m, -4*g = 2*m + 30 for g.
-5
Let q = 28108 + -28103. Solve -4*k - q*x = 14, 5*k + 4 + 3 = -x for k.
-1
Suppose 0 = 2*y + 43 + 33. Let s be (-18)/(-162) - 395/(-9). Let m = s + y. Solve 5*q = 4*h + 21, m = q + 4*h - 3 for q.
5
Suppose 30*g - 101*g = -852. Solve 11 = 3*f + 2*c, -4*f + 36 = -2*c + g for f.
5
Suppose 4*a - 4 = 2*j, -2*j + 3*a + 51 = 49. Solve -34 = 3*c + 5*m, -c = -m - 12 + j for c.
-3
Let u(l) = 5*l**2 + 4*l - 2. Let x be u(-2). Let y(z) = 4*z - 34. Let p be y(x). Suppose 0 = p*b - 15 - 9. Solve -b*a + 16 = -0*a - 3*q, 2*q = 0 for a.
4
Let a be ((-27)/12)/((-1)/308). Suppose -5*w - a = -14*w. Suppose 7*j - w + 49 = 0. Solve s = 4*l + l - 19, j*l = 5*s + 11 for l.
4
Let o be 20/3 + ((-25)/15 - -2). Let l be 26/o - ((-40)/35)/4. Solve u + 4*s = -3, s = 4*u + l*s - 1 for u.
1
Let b be (-45)/20*12/(-9). Let c(s) = -2*s**3 + 0*s**3 + 2*s + 3*s**b + 5*s**2 - 8 - 2*s**3. Let d be c(5). Solve 4 = -d*u - 3*x - 12, -7 = 3*u - 4*x for u.
-5
Suppose j = 4, u - 3*j - 34 = -u. Suppose -12*m = -u - 25. Suppose 0 = 5*s + 3*t - 6, 4*s - 3 = m*t - 7*t. Solve 0 = -d - s*o + 11, 3*d = -d - 4*o + 4 for d.
-4
Let m = -22827 + 22884. Solve k + 4*c + 36 = m, 3*k + 4*c - 23 = 0 for k.
1
Let m be -2 + 4 - -1 - (7 - 6). Solve -5*v - 3*l = 28, -8*v = -7*v - m*l + 3 for v.
-5
Suppose h - 5*s = -15, -25*s = -3*h + 5*h - 75. Solve h = 4*y + 5*v + 28 - 5, 3*y - 9 = 5*v for y.
-2
Suppose -9*g = -2*g - 49. Let a = g + -5. Solve 3*c - a*q - 2*q = 32, 3*q = -5*c + 5 for c.
4
Let c = 38750 + -38741. Solve -3*b + 55 = -5*j, -3*b = -205*j + 208*j + c for b.
5
Let t = 60 + 138. Let w = t - 194. Solve w*r - 4*d + 0*d + 24 = 0, 20 = 4*d for r.
-1
Let r be 36/(-24)*(2/3 + 168/(-63)). Solve 0 = -t - 4*n - r + 8, -25 = 5*t - 5*n for t.
-3
Let c(x) = -x**2 - x + 25. Let t be c(4). Solve 2*z + 6 = 0, 6*z - t*z = 4*j - 19 for j.
4
Let r = -35596 + 35611. Solve -13*t + r*t + 11 = 5*w, 3*w = -2*t + 13 for t.
2
Let c(z) = 7*z + 56. Let g be (-2 + 3 - 25)*8/24. Let b be c(g). Solve 3 = -h, -3*h - 29 = 4*x - b*h for x.
-5
Suppose 5*n + 20 = 0, 4*b + 2*n - 28 = 7*n. Let y be (-3 - -7) + (-49)/(-7) + 1. Solve -i - y = 4*k, k = -5*i + b*k + 24 for i.
4
Let o(h) be the first derivative of h**2/2 - 3*h - 1. Let x be o(5). Suppose -15*p + 7*p = -29 + 5. Solve -2*i + 4*i - x*y = -6, -5*i + p*y - 19 = 0 for i.
-5
Suppose 7*d + d = 24. Let y be 2/6 + d*3/(-27). Suppose 2*z - 11 + 5 = y. Solve z*c - 16 = 2*p, -4*c = -c - 6 for p.
-5
Let t be -10 + 1 + (5 - -16 - 7). Solve z + t*l - 15 = 0, 3*l = -2*z + 4*z - 4 for z.
5
Suppose 4*k + 11*k = 7*k + 184. Solve 0 = -2*d - 4*a - 20, -4*d = -5*a - k + 11 for d.
-2
Suppose 0 = -6*m + 30 + 6. Let d(k) = 6*k - 3 - 12*k + m + 5*k. Let y be d(3). Solve y = -5*a + 5, 5*t + 0*a = 2*a + 3 for t.
1
Let w(z) = -z**3 + 30*z**2 - 64*z + 236. Let d be w(28). Solve 0 = o - 2*i + 7, -d*i + 11*i + 2 = 0 for o.
-3
Let r(a) be the third derivative of 0*a + 17*a**2 - 1/24*a**4 + 0 + 14/3*a**3. Let m be r(24). Solve 0*g + 3*g = m*n + 5, -n + 1 = -3*g for n.
-2
Suppose 0 = -8*v - 83 + 275. Suppose -v = t - 5*t. Let y be 17/4 + t/(-24). Solve -1 = 5*g + b, 4*b + 5 - 1 = -y*g for g.
0
Let g be 10*-5*(-16)/((-192)/(-12)). Let f be (-10)/g*(-1 + -9)/2. Solve -2*j = -5*t + 25, 6 - f = -j for t.
3
Let j = -25 + 49. Let d be (36/j)/(3/8). Suppose -10*f = d - 34. Solve 0 = -f*r + 2*h + 3*h + 6, 4*r - 2*h - 8 = 0 for r.
2
Suppose 25 = -5*h + 10*h - 3*v, -v = -5. Suppose 0 = c - 2*b - 15, 3*b = -2*c + h + 29. Solve 2*y + c = -y + r, 4*y + 11 = -r for y.
-4
Let y(n) = -n**3 - 13*n**2 - 10*n - 25. Let f be y(-10). Let d = -223 - f. Solve -z = -4*h + d*z - 10, 3*h + 3*z + 18 = 0 for h.
-4
Suppose -4*s = 2*s. Suppose 0 = -5*z + 2*l + 23, -z - 5*l - 17 = -s. Solve w + j = 1 + 1, -w = z*j for w.
3
Let l(w) = -30*w**2 - 7*w**3 + 48*w**2 - 5 - 2*w + 6*w**3 - 21*w**2. Let a = 0 - 4. Let r be l(a). Solve -c = 2*j - 7*j + r, 2*j = -3*c - 6 for c.
-4
Let a = -51 + 71. Let b be ((-6)/5 + 0)*a/(-8). Suppose -5*r + 5*p = -5, -10 = -b*r - 4*p + 14. Solve 0 = f - r*n + 5*n - 7, -3*n + 17 = 2*f for f.
4
Let t = 4400 - 4399. Solve 5*x + 0*m = 2*m - 5, 3*x - t = 2*m for x.
-3
Suppose 0 = 47*d - 169 - 677. Solve d = -2*y - 5*x, 0 = x + 1 + 3 for y.
1
Suppose 512 - 5597 = -9*i. Let d = i - 562. Solve -3*r - r = -k + d, 0 = -5*k - 2*r - 29 for k.
-5
Let c = 7099 - 7097. Solve c*f + 10 = 0, 0 = 10*w - 7*w - 5*f - 22 for w.
-1
Suppose 83*j = -90*j + 692. Solve j*y - 1 = 4*d + 3, -21 = 5*d - y for d.
-5
Suppose 54 = j + 5*j. Let s = -7 - -10. Let g be (-12)/(-20) + s/(-5). Solve 3*q + m = 7, -q + 5*m + j + 4 = g for q.
3
Suppose 0 = q + 3*q - 530 + 474. Solve -22 = -3*s - 4*t, -s - 10*t + q = -7*t for s.
2
Let l(b) = -2*b**3 + 19*b**2 - 2*b + 18. Let p be l(9). Suppose -2*y = 71 - p. Solve -4*m = 0, -o - y*m - 3 = -5 for o.
2
Let k(q) = 32*q - 1309. Let g be k(41). Solve 2*j = 5*l + 1, -g*l + 0*j + 2*j + 1 = 0 for l.
-1
Suppose 3*l + 15 = -3*w, 2*l = w - 9 - 1. Solve -5*m - 2*x + 7 + 3 = w, -25 = -5*x for m.
0
Suppose 14*s + 504 = 56*s. Let p be 66/99*s/2. Solve 4 = y - 3*y, -y = -p*l - 6 for l.
-2
Let m = -25985 + 25985. Solve 5*o + j + 26 = 0, m = 3*o - 4*j - 37 + 48 for o.
-5
Let p = 19427 - 19422. Solve p*c = -z + 4*z + 31, 4*c + z = 18 for c.
5
Let z(k) = -k**2 + 12*k + 30. Let y be z(15). Let f(p) = p**3 + 14*p**2 - 12*p + 46. Let t be f(y). Solve 0 = 5*w - 0*w - 15, -3*w + t = 4*l for l.
-2
Let w = -183 + 193. Suppose w*n - 15 = 5. Solve 2*d - 6 + 2 = 2*f, -2*d - 4*f = n for d.
1
Let q(t) be the second derivative of 0*t**3 + 1/12*t**4 + 6*t - 2*t**2 + 0. Let u be q(-2). Solve g + 2 = u, -d = -4*d - 4*g - 5 for d.
1
Let j(m) = 5*m + 21. Let n be j(-16). Let g be n/(-5) - (-2 - 45/(-25)). Suppose -9*o - 12 = -g*o. Solve -4*h = -3*h - p, 2*h + 2*p - o = 0 for h.
1
Suppose 5*b + 4*o = 31, -4*b + 12 + 16 = 4*o. Let s be 16/6 + -1 + (-4)/(-12). Let w be 15/6 - 1/s. Solve -b*i - 18 = 2*n, 2*i - 2*n = -0 - w for i.
-4
Let q = 322 + -318. Suppose -11*z = q*z - 75. Solve -1 = -g - x, 2*g + 3 = z*g + 4*x for g.
1
Suppose 2 = 3*d - 25. Suppose -3*m - 1 = c + d, 0 = 2*m + 8. Suppose 0 = -58*p + 55*p + 4*a + 50, 4*a + 46 = p. Solve 20 = -c*s + 2*y, 5*y = p + 23 for s.
-5
Let g be 10*11/330 + (8/3 - 1). Suppose 0 = 3*s - 18. Solve 2 + g = 2*y, 0 = -x + y - s for x.
-4
Let o(u) = 18*u + 7. Let r be o(18). Suppose -107 = -4*w - r. Let h = w + 60. Solv