*p - 6 - h = -5*g, -4*g = -2*p + 2 for p.
3
Let v = 178 + -159. Let j be (-2)/(-5) + 54/15. Suppose 3*l + u = -3, 0*l + 5*l = -3*u - 9. Solve k - j*f - 16 = l, k = -f - 2*f - v for k.
-4
Let k be -2*9/(16 + 2) + 15. Solve -2*i = 5*s - k, 3*s = 2*i + 4 + 14 for s.
4
Let l = 7 - 4. Suppose 14 = -4*w + 30. Let t be w/((-5 - (-52)/10)/1). Solve -t = -5*p - n - 3, l = -n for p.
4
Suppose -5*u = 2*l, 177*l - 180*l + 13 = u. Solve 2*h - l*c = 8, 5*h + 23 = -5*c + 43 for h.
4
Let p(i) = 3*i**2 - 477*i - 899. Let x be p(161). Solve x*n + 2*r = 71*n - 26, 0 = -4*n - r + 17 for n.
5
Let s = 977 + -977. Solve 3*k + 28 = 4*w - 4, s = 5*w - k - 29 for w.
5
Let d = 4596 - 4586. Solve -2*o + 3*r - d = 4*r, -2*o - 16 = 4*r for o.
-4
Let x be -1*(1 + -2) + -28. Let m = x + 32. Suppose m*i = 6*i + 3*i. Solve 1 - 6 = h, -f - 4*h - 19 = i for f.
1
Let d(o) = -192*o**3 - o**2 + 3*o + 4. Let j be d(-1). Let f = j + -183. Solve x + 5*y = 21, x + f = 2*x + 2*y for x.
1
Suppose -16 = -5*q + 2*w, 3*q + 30*w = 29*w + 14. Solve 0 = 5*l - 5*u - 5, q*l - 5*u = l + 11 for l.
-3
Let c(u) = 137 - 15*u + 131 - 280. Let k be c(-1). Solve -k*j - m - 2 = 0, 5*j = -4*m + 3 - 11 for j.
0
Suppose p + 3 = 5*h - 5, -2*p + 5*h = 6. Suppose -18*y = 18*y - 324. Solve -g - j = -p*g - 3, g = -3*j + y for g.
0
Let x be (-11)/((-33)/(-102)) + 2. Let d be (20/(-16) - -1) + (-104)/x. Solve 16 = 3*j + i + i, 2*i - 4 = d*j for j.
2
Let v = 532 - 247. Suppose v*j - 56 = 277*j. Solve -z - 1 = -6*c + j*c, -3*c - 2*z = 5 for c.
-3
Suppose 9*m - 19*m = 140. Let s be (1*-1)/((-63)/m + -5). Solve 0 = -3*v - 5*t + 8, -v - 2 = -s*v - t for v.
1
Let q(z) = z**2 + z - 3. Let t be q(-5). Suppose -t*r = 3*r - 80. Solve -5*f = 3*m + 22, 3 - r = 4*m + f for m.
1
Let g = -3923 - -3942. Solve -3*p - 12*l - 11 = -11*l, 5*l = 3*p - g for p.
-2
Suppose 2*c = 3*u - 2*c + 395, 2*u = -4*c - 250. Let z = 132 + u. Solve z*f = -3*v - 18, -3*f = 3*v - 2*f + 10 for v.
-2
Let l = 359 + -334. Let f be l/((-825)/44) + (-10)/(-3). Solve -8 = f*m, 0 = 4*j - 7*j + 5*m + 11 for j.
-3
Let l = -287 - -332. Suppose -g - l = -3*v - 30, 4*v = -3*g + 7. Solve 3*p + 11 = 4*f, -p - v*p + 3*f = 0 for p.
3
Let m be (8/14)/(8/28). Suppose -13*l + 11*l - 4 = 0. Let p be 36/15 + l*(-5)/(-25). Solve -p*z + 3*z = m*o + 8, -8 = 2*o - 2*z for o.
-4
Let y(w) = 3*w + 19. Let d be -7 - ((-16)/64 + 30/(-8)). Let g be y(d). Solve -2*r - 3*c - g = 0, -4*r + 5*r = 5*c + 21 for r.
1
Let h = 21831 + -21826. Let f(o) = 29*o**3 - 2*o**2 + 2*o - 1. Let m be f(1). Solve 0*r = -h*r - 2*a + m, -3*r = -2*a - 4 for r.
4
Let b = 13345 - 13341. Solve -3*l + b*m + 154 - 125 = 0, 3*l + 4*m = -11 for l.
3
Suppose 2*r + 34*r = -r + 185. Solve 5*h - 33 = -4*o, 4*h - 11 = r*o - 1 for o.
2
Suppose -4*j - 3*p - 300 = 0, -p + 112 - 37 = -j. Let m = -63 - j. Solve 3*z = -c - m, 0*z - 20 = 5*z + 3*c for z.
-4
Let s be (-173)/(-7) + (-84)/(-294). Let n be -10*(-10)/s*1. Solve -2*b - 1 + 4 = -3*v, -4*b = -n*v - 4 for b.
0
Suppose b = -161 + 49. Let k = b + 111. Let l = k + 4. Solve 0 = 5*w - l*i - 3, 3*w + 3*i - 7*i = 4 for w.
0
Let p be -3 - (0 - 13) - (-7)/56*-40. Solve -p = 3*z + 3*g - 2, 0 = -z + 5*g + 17 for z.
2
Suppose -3*j + 4*i + 16 = -4, -3*i + 11 = j. Solve -11*t + 7*t = -4*k - 16, -2*t = 4*k - j for t.
4
Let c = 7063 - 7062. Solve 5*x = w + 27, -7 = 4*w + c for x.
5
Let p be (-32)/(-6) - 9/27. Suppose 4*x - 10 = y, -4*y - 24 + 16 = 0. Solve p*k + 10 = 0, 0*k = 3*z - k - x for z.
0
Let c = 181 + -780. Let d = c + 604. Solve 0 = -d*j + 3*r + r - 40, -4*j - 3*r = 1 for j.
-4
Suppose -409 = -368*y + 1799. Solve -i = 2*n, y*n + 5*i = 9*n for n.
0
Let b = 26 + -23. Suppose -b*u - 9*h = -4*h - 97, -49 = -u - 5*h. Solve -j = -5*z + 4*j - 30, -z = 5*j - u for z.
-1
Let z(i) = 8*i - 81. Let f be z(11). Solve -s + 3 = -n, 1 = 3*s - f*n + 6*n for s.
-1
Let x = 19467 - 19464. Solve 2*m - 4*j = -8, -x*j = -3*m + 2*j - 9 for m.
2
Let z be (-4)/(-42) + 170196/1638. Solve -z*r = -102*r + i, 3*i = 5*r - 11 for r.
1
Let k be 4/(-3) + (-46)/(-3). Let l(o) = -k + 22 - 41 + 12*o. Let i be l(4). Solve -m + 2*d + 2*d = i, -7 = 5*m - 3*d for m.
1
Let n(a) = -a**2 + 10*a - 12. Let t be n(2). Let w be 130/52*t/5. Solve 5*k - w*j - 34 = j, 0 = 3*k + 2*j - 9 for k.
5
Let r be -14 + 1 - 0/(-2). Let k be (r/(-39))/(3/108). Suppose 0 = 3*a - k. Solve 4*s - h - a = 8*s, 4*h + 5 = -5*s for s.
-1
Let d = -142 + 267. Let g = d + -113. Suppose 0 = 2*a + 2*a - 4*t - g, -4*t = 4*a - 28. Solve 10 = 5*b, -2*b + 18 = -a*u - 3*b for u.
-4
Let s be ((-10222)/57)/(3*(-8)/36). Let w = s + -245. Solve 3*u + b - 13 = u, -3*u = 3*b - w for u.
5
Let y(s) = 5*s + 32. Let u be y(11). Let k = -87 + u. Solve -j - 6 = 2*j, k = 5*d - 5*j - 10 for d.
0
Suppose 2*q = -2*q + 36. Let p(b) = b**2 - 4*b + 3. Let w be p(4). Let g = 36911 - 36888. Solve 2*r + s = q, w*s = -2*r - 3*r + g for r.
4
Let o be 666/8 - (34/8 + -5). Let l = -75 + o. Suppose 0 = -2*j + l - 3. Solve h + 2*x - j = 0, 25 = -h + 5*x - 0*x for h.
-5
Let x be -1 + (-144)/18 + 11. Solve 0 = n + x*y + 1 - 7, -4*y + 10 = n for n.
2
Let n(h) = h**3 + 6*h**2 - 4*h + 16. Let l be n(-7). Let d be 6/l*((-626)/(-6) + -1). Let p = 128 + d. Solve -5 = q + 2*w, p*q + 4*w + 13 = -q for q.
-1
Let f(b) = 5*b + 1. Let v be f(2). Let u(i) be the first derivative of -i**2 + 26*i + 58. Let q be u(v). Solve -41 = -4*j - j + 4*z, 3*j + q*z + 1 = 0 for j.
5
Suppose a - 2*g - 12 = 0, 76 = 3*a - 11*g + 15*g. Solve 19*j + 4*t + 16 = a*j, 12 = -4*j - 3*t for j.
0
Let m = -3100 - -3107. Solve -4*o + 2*x + 4 = 0, 5*o + 0*x - 3*x - m = 0 for o.
-1
Let h be 74/19 - 292/(-2774). Solve -3*c = -122*m + 123*m + 3, -4*c = h for m.
0
Let x = 4573 + -4569. Solve 3*o = 3*s + 12, -x*s + 2*o - 19 = -1 for s.
-5
Let l = -31446 + 31471. Solve l*k - 24*k + 4*h = -21, 0 = 3*k - h - 2 for k.
-1
Let j be -3 - ((0 - 3) + 0). Let h = -100 + 108. Suppose -3 = -h*y + 21. Solve -y*c + 40 = t + 4*t, c - t = j for c.
5
Let c = -857 + 647. Let b be (-40)/(-14) + 1 + 180/c. Solve 0 = b*p - 4*y - y - 17, -4*y = -4*p + 12 for p.
-1
Suppose 0 = 15*a + 82 - 172. Solve -4 = b - q, 0 = -a*b + q + q - 8 for b.
0
Let x(y) = 3*y + 97. Let g be x(-29). Let t be g/6 + ((-196)/21)/(-4). Solve 0 = t*z + v + 10, 2*z - 4*v = z - 11 for z.
-3
Suppose -60 = -54*b + 56*b. Let u = b + 25. Let c be (3/2 - 2)*(u - 1). Solve 3*q = -2*l - c*l - 2, -2*l + 24 = -5*q for l.
2
Suppose 3*h = -2*z + 18, 3*z - 10 + 4 = -h. Solve 3*f - h = 0, 7*f - 4 = 4*t + 3*f for t.
1
Let v(d) = 125*d**2 + 15*d - 22. Let t be v(2). Let a = -503 + t. Solve 3*f + 5*x = 11 + 16, -5*x + 35 = a*f for f.
4
Let y(u) = 30*u**2 + 66*u + 65. Let n be y(-1). Solve -4*m = -d + 12, -24*d + n*d = -20 for m.
-4
Let v = -68 + 75. Let l be (-1)/v + (-360)/(-168). Solve 4*y = 2*t + 20, -2*t - l = 6 for y.
3
Suppose -7*v + 21*v - 42 = 0. Suppose 4*b - v = 4*d - d, -2*b = -6. Let y be (2/(-5))/(2/(-20)). Solve 4 = 3*f - d*z - 2*z, -f - z = y for f.
-2
Let b(g) be the second derivative of -g**3/6 - 22*g**2 - 3*g + 5. Let j be b(-46). Solve -2 = d - 3*c, j*d - c + 5*c - 16 = 0 for d.
4
Suppose 0 = -15*r + 13*r + 12. Suppose 44*x = 42*x + r. Suppose 2*i + 4*s - 2 = -0*i, x*i + 5*s = 4. Solve -l + 4*l = -i*v - 15, 3*l - 4*v - 20 = 0 for l.
0
Let r be 4/6 + (73/(-292))/((-6)/32). Solve 5 = -r*p - 3*v, -5*p = -4*p - 2*v + 6 for p.
-4
Suppose -21 = -655*z + 648*z. Solve 0 = 2*l - z*i - 8, 4*l - 3*l + 2*i = 4 for l.
4
Suppose -q = -4*i + 18, -2*q + 24 = -2*i + 6*i. Suppose q*t + 2 = 5*c, 10*t = 5*t + c + 18. Solve -2*j + 4*z - 20 = 2, t*j + 8 = -z for j.
-3
Suppose -4*u + 5*j = -1, -j + 1 = -2. Suppose 0 = -65*n + 70*n + 5, 3*n = -4*m - 15. Let c be (m/6)/(51/(-12) + u). Solve -c = a + o, 3*a + o = 8*a + 10 for a.
-2
Let t(d) = -132*d**2 - d - 3. Let n be t(-3). Let b be (1/(-3))/(18/n). Solve -6*q = 5*a - 7*q - 1, -2*a - 5*q + b = 0 for a.
1
Let x be (-6)/(-4)*(-16)/(-3). Suppose 3*c - p = -5, -3*c - 23 = -5*p + 2. Let b be (-3)/(2/(c + -2)). Solve -4*t = -v - b*v - x, 3*v = -3*t - 12 for v.
-3
Let j be 16/((-448)/(-21)) + (-49)/(-4). Suppose 0 = 15*x - j*x. Solve x = -4*r - 3*a + 11, -5*r = 4*a - 17 + 2 for r.
-1
Suppose -5*z - 2 = -3*i + 27, 0 = 2*z + 4*i - 4. Let t be (2 - (-2)/z) + 6/4. Solve 2*h - 3*h + 9 = n, 2*h + 2 = t*n for n.
4
Suppose -4*s = -0*s - 364. Let g be (-4921)