 15 = -h for h.
-6
Let u(d) = -121*d - 1921. Let s be u(-16). Suppose -9 = -i + 5*x + 11, i = -4*x - 16. Solve r - 4*y - 22 = i, -4*r + 18 = -5*y - s for r.
2
Suppose -45 = -5*h + 30. Suppose 6 - 10 = -2*p. Suppose p*u + u + 2*o - 4 = 0, -4*u - 3*o = -5. Solve -u*l - 4*b = -9*b + h, -5*l - 3*b - 22 = 0 for l.
-5
Let p(d) = -37*d - 883. Let l be p(-24). Solve l*j - 3*o + 32 = -0, 12 = -4*j - o for j.
-4
Let m(u) = u**3 - 26*u**2 - u - 54. Let k be m(26). Let g be -3*(420/k - 2/(-8)). Solve -5*q - 5*f = g, 5*f - f = 2*q - 12 for q.
0
Let f be (-36)/(-42)*(-185)/(-10) + (-12)/14. Solve 16 = -5*i - 4*g, -10*i + 2*g + 18 = -f*i for i.
-4
Let q(p) = 30*p - 137. Let k be q(5). Suppose 0 = -18*h - k*h. Let z(r) = 2*r - 8. Let t be z(6). Solve -5*f + h*f + 3 = t*g, 9 = 4*g - f for g.
2
Let l(k) = 5*k - 89. Let f be l(19). Suppose 3*g + 3*p + f = 8*g, 2*g + 3*p - 15 = 0. Solve 4*n = -5*d + 4 + 1, -g*d + 3 = -5*n for d.
1
Let r(h) = 18*h + 12. Let i be r(-6). Let c = -144 - i. Let g = 49 + c. Solve 0 = -5*q - y + g, 5*q - 3*y = 17 for q.
1
Let l be 2 + -4 + 9 - (-4)/(16/4). Solve u - 5*z = l - 14, -6 = -2*u + z for u.
4
Let l be 53 + -13*(-2254)/(-598). Let s be (-1076)/18 - (-4)/(-18). Let n be (-1)/2*s/2. Solve 2 = -2*q - 0*q + l*z, -n = -3*q - 3*z for q.
3
Let p be (0 - 1)*(2 + -2) - -4. Solve -4*x = -2*b + p + 26, -5*x - 20 = b for b.
5
Let p(s) = 2*s + 8. Let i be p(8). Suppose -2*v = -10, 2*m + 3*v = 45 - i. Solve 2*r + 0*r = -4*f, 3*r = -m*f for f.
0
Suppose -3353 + 2939 = -69*m. Solve -m = z - 6*g + 9*g, -g - 3 = 0 for z.
3
Let a(z) = -772*z + 11640. Let f be a(15). Solve j + 4*k + 4 = 0, j + f*k = 59*k + 2 for j.
4
Let d(f) = -3*f**3 + 3*f**2 + 8*f + 4. Let s be d(-1). Suppose s*x = -3 - 3, 2*y - 19 = 3*x. Solve 2*k - 5*v = 2, -6*k + 5*k + 1 = y*v for k.
1
Let n(c) = 286*c**3 + 3*c**2 + 2*c + 1. Let a be n(-1). Let t = a - -296. Solve -5 = -q, -9 = -x - 4*q + t for x.
1
Suppose -14 - 10 = -12*t. Let k be 8/t - (-2 + 0 + 6). Solve -y - 2*p - 2 = k, -10 = 2*y + 3*y + 5*p for y.
-2
Let w = 3792 - 3792. Solve w = -n - 3*b + 1, 10*n + 5*b = 8*n for n.
-5
Suppose 0 = -r - 2*m + 28, -5*r = -5*m - 0*m - 110. Suppose -24 = -a - r. Solve a = b + 4*t + 1, -t = -4*b + 2*b - 2 for b.
-1
Let j be 2/(-5) + 34/10. Suppose -j = 3*v - 15, 2*v - 24 = -4*x. Let b be 4/(3 + (-2)/x*2). Solve -u + 3 = -o + 1, 0 = 5*u + b*o - 3 for u.
1
Let g = 264 - 262. Suppose -4*n = -x - 11, 0 = -g*x - n + 3*n - 4. Solve 3*m - 3 - x = 2*w, 2*m - 9 = -5*w for m.
2
Suppose -8*o + 11*o = -2*z - 8, -z = -3*o + 13. Solve -g + 2*g = -1, o*g + 14 = -4*f for f.
-3
Let f = 55 + -53. Suppose 21*r - 27*r + 12 = 0. Solve r*n = 3*j + 10, 2*n = -f*j - j - 2 for j.
-2
Let k(q) = -q**2 - 2*q + 10. Let j be k(-3). Let i = 38 - 53. Let f be (10/(-4))/(i/36). Solve -3*v + 5*r = 19 - j, f = 3*v + r for v.
1
Let p(y) be the first derivative of -3*y**2 - 19. Let m be p(-4). Let u = 26 - m. Solve -2*d = -2*g, 6*g - 4 = 3*d + u*g for d.
4
Let p(j) = -3*j**3 - 15*j**2 + 21*j + 19. Let n be p(-6). Solve -11*v = -14*v + 2*f - n, v + 5*f = -6 for v.
-1
Let f = 111 - 159. Let k = 47 + f. Let o = k - -3. Solve -4*d - 6 = 2*m, -o = 3*d - 2*d for m.
1
Suppose 3*b - 3089 = -3083. Solve b*i = -10, -2*l + i + 25 = -2*i for l.
5
Suppose 20*a - 422 = -302. Let h = 9 - 7. Suppose -f - 4*f + 4*z + 34 = 0, -f + 3*z - h = 0. Solve -r - f = -a*r, -2*r + 6 = k for k.
2
Let j = 12745 - 12564. Solve 3*n = -4*v - 23, 3*n + j*v + 19 = 179*v for n.
-5
Let h be (-1)/3*(-24 + 3). Let p = h - -8. Let m = p + -5. Solve -k + m = -3*j, 5*k = -0*j - 2*j - 1 for j.
-3
Let s(i) = -i**2 - 5*i - 24. Let v be s(-5). Let w be (v/(-16))/((-3)/(-6)). Solve 3*a - 2*b = b - 18, w*a + 12 = -3*b for a.
-5
Let w = 14 - 12. Let b be -2 - (0 - -2) - 135/(-5). Suppose 6*t + 5 - b = 0. Solve -o = -5*x - 5, -3*x = -o + w*o + t for x.
-1
Let x be 0 - -3 - 193/(-4)*4. Suppose -x = 104*m - 111*m. Solve 5*n - m = 3*t - 8, -5*n - 3*t = 10 for n.
1
Let q(a) = -a**2 - 3*a + 13. Let b be q(7). Let d be (2 - 1 - b) + 2. Let h be -2 - 26/(-10) - (-924)/d. Solve -28 = -5*g + c, -3*c + h = 4*g + g for g.
5
Suppose 2*t + 4*f = -4, -8 = 4*t + 2*f - 6. Let l be t/((2/(-4))/(6/60)). Solve -2*r + 4*a = 28, 0 = -l*r + 4*r - 5*a + 41 for r.
-4
Let p(w) = -29*w**3 + w**2 + w - 1. Let j be p(1). Let f = -25 - j. Suppose 8*g = 7 + 9. Solve 2*m - 20 = -f*z - g*z, 4*m + 20 = 5*z for m.
0
Suppose 5*d + 3*j - 19 = 4*d, -d + 3*j - 11 = 0. Solve -9 = 3*w + d*g, 6*w - 3*w + 9 = g for w.
-3
Suppose 0 = 15*j - 17*j + 406. Let g = 208 - j. Solve 0 = -5*x + d + 28 - g, 3*d = 6 for x.
5
Let j be (-9)/((-9)/(-7)) - -16. Suppose -j*k + 4 + 5 = 0. Suppose -s - 4 = -5*q, -3*q + 5*q - 4 = -2*s. Solve -2*z - k = 1, -h = -z + s for h.
-2
Let w(o) = -2043 + o + 8*o + o**2 + 2033. Let m be w(-10). Solve t = m, -5*t + 5 - 1 = b for b.
4
Let i(y) = -y**3 + y**2. Let u be i(1). Suppose 14*l - 14 - 28 = u. Solve -5*z - l*q + 24 = 64, -2*q + 15 = -5*z for z.
-5
Let h = -6062 - -6065. Solve -15 = 41*c - 44*c - h*w, c + 1 = 5*w for c.
4
Let h = 211 - 208. Solve 9 - 2 = 4*r - h*m, -3*r = 2*m + 16 for r.
-2
Suppose -11*k + 13*k = -10. Let w be 2/k*35/(-14) - -10. Suppose 11 = -w*j + 44. Solve j*d - 5 = -0*d + y, 5*d - 5*y = 25 for d.
0
Suppose -3*o - 5*m + 37 = 0, -m + 3 = -2*o + 6. Solve z + o*h + 16 = 0, -13 + 3 = z + 2*h for z.
-4
Suppose -y = -2 + 3. Let c(v) = 7*v**2 - 2*v - 1. Let j be c(y). Suppose -19*w = -36*w + 68. Solve 2*m + 13 = u, 0*u + j = -4*u - w*m for u.
3
Suppose 0 = 46*f + 653 - 975. Solve -f*j + 10*j + 3*o - 3 = 0, -j + 5*o = 5 for j.
0
Let k(d) = 82*d + 1397. Let r be k(-17). Solve -6 = -3*u - r*t, 2*u + 5*t - 4 = -9 for u.
5
Let j be 168/40 + (-132)/110. Solve -31*k = -32*k + 2*r - 11, -5*k = -j*r + 34 for k.
-5
Suppose -45*g + 33 = -34*g. Let i be 0 + g + (-6)/6. Solve -5*c + i*t = 23, 7 = -2*c + 2*t - 7 for c.
-3
Suppose 1 = -h - 5*w + 6, 4*w = 4*h - 20. Suppose -3*s = -2*g - 26, -h*s + 29 = -4*g - 15. Solve -2*u = 2, -3*p + s*p = 4*u - 21 for p.
-5
Suppose 32 + 4 = 10*x - 24. Solve -4*y + 16 = 2*j, -10*j + x*j = -5*y - 6 for j.
4
Let b = 0 - -5. Suppose -6*u + q = -3*u - 34, q = -1. Suppose -3*g + u = b. Solve 5*t + 19 = g*n - 4, n - 14 = 3*t for t.
-5
Let q = 743 + -730. Solve -4*h = p - 8, q*p - 8*p + 4 = 2*h for p.
0
Let y = 144 - 137. Let t = 49 - 33. Solve -5*j = -i + y - 23, t = 4*j for i.
4
Let i(q) = -q**2 - q + 7. Let y be i(3). Let b be 4 - (y + -4 + 2). Solve 4*l = -4*z - 0*l + 24, z - b = -2*l for z.
1
Let m be (-101)/((-2 - -1)/(-1)). Let g = -93 - m. Solve 0 = -3*d - 4*f - 12, -5*f - 7 = g for d.
0
Suppose -835 = -50*k + 915. Solve 5*c - k = -5*s, -15 = -3*c + 21*s - 22*s for c.
4
Suppose 15*i = -137*i + 3040. Solve -v + 4*n - i = 0, -14*n = -v - 11*n - 16 for v.
-4
Suppose 2 = 3*k - 5*b - 22, b = -3. Suppose -k*s - 5*u - 4 + 21 = 0, 5*u - 5 = 0. Solve s*f - 4*j - 20 = 0, 2*j - 17 = -4*f + 3 for f.
5
Let t be 3*(-3 - 4/(-2)). Let g = 6 + t. Let r = 4525 - 4520. Solve -2*i + r = 2*h - g, -h + 7 = -2*i for h.
5
Let y(b) = -49*b - 19. Let h be y(-7). Suppose -h = -32*t + 29*t. Suppose 32 = 4*m - t. Solve v - 2*v = p, -m = -2*p + 5*v for p.
5
Suppose 2*u + 5*w + 185 - 171 = 0, -4*u + 28 = -4*w. Solve -4*t = u*f - 53 + 26, 0 = -5*f + 25 for t.
3
Let f = -1088 - -2166. Let l be (f/(-55))/(4/(-10)). Let d = l + -46. Solve 3*j - r - 4 = 0, 0 = d*r + r + 4 for j.
1
Suppose -2*g - 5*n = 140, 51*n - 52*n = 3*g + 236. Let c = -77 - g. Suppose 4*i - 6 = 2*i. Solve 3*r = 2*s + 15, -5*s + c*r - 21 = i for s.
-3
Let i = -280 - -282. Suppose 4*y + 0*y + 2*g = 14, 16 = 2*y + 4*g. Solve y*s + i*n + 7 = -1, 0 = 5*s - 3*n - 20 for s.
1
Let t be (1 + 3/(-12))/((-3)/(-28)). Let m be -8*3/(-84)*t. Solve 0 = -m*b + 2*l + 12, -l = -b + l + 8 for b.
4
Let i = 37 - -4. Suppose 42*x - i*x = 10. Solve 2*t = -2*j - x, 11 + 8 = -5*t + j for t.
-4
Suppose 117 = w - 5*p, -3*p = 5*w - 442 - 115. Suppose -13*k + 9*k + w = 0. Solve q = 5*o - 5 - 12, -4*o - 4*q = -k for o.
4
Let z(v) = v**2 - 13*v - 84. Let h be z(18). Suppose -4*n + 8*n + 15 = c, 5*c + 3*n = h. Solve -3*g + 4*a = 26, g = 3*a - c - 14 for g.
-2
Suppose 2*v - 4*x + 0*x = -16, 23 = -v + 5*x. Solve 0*l = 4*g + l - 1, -2*l + v = -3*g for g.
0
Suppose 175*t - 94*t = 810. Solve 0 = -l + z + t, 4*l + 5 = -6*z + z for l.
5
Suppose -5*g = 