.
4
Suppose -21 = -3*h + 27. Let z = h + -16. Solve b + 2*b + n - 1 = z, -2*b + 12 = -5*n for b.
1
Suppose 0 = -7*m - 198 + 513. Suppose 12 = -41*y + m*y. Solve h - y*h = 5*p + 14, -h = -p for p.
-2
Let o be ((-4)/6)/(-4 - 249/(-63)). Suppose -2*h - 3*v + o = 2*v, -3*h = 3*v - 12. Solve 0 = 3*z + 4*i - 10, -6*i + h*i = -5*z - 26 for z.
-2
Suppose -7*t + 8 = -9*t + 4*s, -2*t + 10 = 2*s. Suppose -4*o - 5*h = 0, o = -o - 4*h. Let q be 0 + -1 + o + 6. Solve -q*y + 28 = -4*b, -2*y - 4 = 5*b - t for y.
4
Let j = -2 - 2. Let f be -6 - (j - -1)/(-1). Let b be 2/f + (-188)/(-36). Solve 3*u + 2*y = 1, b + 5 = 5*y for u.
-1
Let k be (-50)/(-16) - (-2 + (-102)/(-48)). Solve 2*t + 4*c - 6 = 0, -5*t + 6 = -k*t + 5*c for t.
3
Let l(j) = -8*j**2 - 20*j - 1. Let h be l(-2). Solve 0 = -5*u + 5, 18 = -3*z + h*z - 2*u for z.
5
Let j(w) = -w**2 - 7*w - 5. Let g be j(-5). Suppose g*o + 0*o - 40 = 0. Let k be o/(-48) + (-62)/(-12). Solve b + 11 = -5*n, -k*b + 6 = -n - 17 for n.
-3
Let o = 60 + -65. Let x be (-7)/(-2)*o/((-140)/48). Solve -l = p + x + 2, 4*l - 5*p = -5 for l.
-5
Let i = -61 - -70. Suppose i*p = 4*p + 30. Solve 3*u + 6 = -4*h + 2, -5*h = 4*u + p for h.
2
Let g(j) = j + 11. Let p be g(-9). Solve 2*m = -0*t - 2*t - 6, 0 = -2*m + p for t.
-4
Let c = 8 - 14. Let d = -4 - c. Let n = 1382 + -1382. Solve -d*a + 5*o = -9, 0 = a - n*a - o - 3 for a.
2
Suppose -3*a + 7*d - 4*d + 15 = 0, a - 7 = 2*d. Suppose 14*t = 16*t - 26. Let l = t - 9. Solve g = l*x - 15, -a*g = 2*g - 25 for x.
5
Suppose 2*t + 22 = 5*v, -4*v + 2*v = -2*t - 16. Suppose -52 = -5*h - 12. Let i = h + t. Solve -3*c + i*q = -3, -4*c = 3*q + 14 - 35 for c.
3
Let v(q) = q**3 - 3*q**2 - 4*q + 2. Let j = 9 - 5. Let r be v(j). Suppose -r = -n - 0*n. Solve -4*h - 2*d - 2 = -16, -n*d = -h + 1 for h.
3
Suppose 32 = 4*j + 3*z, 0 = -j + 5*z + 7 + 1. Suppose 2*k + 5*s = s + j, -2 = -3*k + 4*s. Solve 0 = -2*f - r - 9, -18 = -f - k*r + 6*r for f.
-2
Suppose 28 = 5*s + 58. Let v(d) = d**2 + 7*d + 8. Let j be v(s). Solve -j*w = 5*l - 5 - 8, -5*w = -3*l - 17 for l.
1
Suppose 6*k - 38 = -20. Solve -25 = 2*u - 3*x - 8, -3*u = k*x - 12 for u.
-1
Let k = 2278 + -2276. Solve 0 = -k*x - 2*t + 12, 9*x - 4*x = 4*t + 3 for x.
3
Let k = 224 + -221. Solve o = -2*b - k - 0, -3*o + 4*b = -11 for o.
1
Suppose 10 = -73*o + 78*o. Let m = -19 - -22. Solve o*v + n = -10, 3*v - m*n + n + 8 = 0 for v.
-4
Let u be 88/20 + (-33)/(-55). Solve -u*h = 4*c + 17, -h + c + 6 = -4*h for h.
-1
Let g be (-4 + (-228)/(-18))*6/(-4). Let v(d) = d + 18. Let h be v(g). Solve -n + 3*l + 18 = 0, 30 = h*n - 4*l + l for n.
3
Let x(d) = d**3 - 7*d**2 - 9*d + 6. Let i be x(8). Let q be i + (0/1)/(-3). Let m = q + 6. Solve m*w = 20, w - 1 = -3*j - 2 for j.
-2
Suppose -5*o + 0*o = -3*w + 37, -5*w + 4*o = -66. Solve 3*u + 3*a + 3 = 0, 2*a + w = -2*u + 3*a for u.
-5
Let v(w) = w + 2. Let c be (-6)/15 - (-74)/10. Suppose -15 = -3*u - 3*z, -4*u = 2*z - 7*z + c. Let n be v(u). Solve -n*i = 4*q, -2*q + 7*q = -20 for i.
4
Let j(i) = 62*i + 496. Let w be j(-8). Solve 5*p + 2*n - 16 = w, -n - 9 = -4*n for p.
2
Let x = -4 + 16. Let u = x - 7. Solve 0*z - 2*z + 2*c = 12, -4*c - 21 = u*z for z.
-5
Let i(h) = 26*h**3 - 2*h - 1. Let m be i(-1). Let o = 18 + m. Let l be 4/14 + (-75)/o. Solve -4*g = -2*q, -1 + l = g - 3*q for g.
-2
Let g = -935 - -940. Solve -3*b = 5*d + 14, g*d + 5*b - 3*b + 16 = 0 for d.
-4
Suppose 5*f + 204 = -211. Let r = 85 + f. Solve -j - 2*w = 10, -7*w - 3 = -3*j - r*w for j.
-4
Suppose 0*y = -2*y. Suppose y = 4*b - 7*b + 3. Let j be -1 - 2 - (-2 - b). Solve -5*r + w - 13 = 0, j*w - 8 = 2*r + w for r.
-3
Let a be (2 + (-7)/2)*2. Let q be (2 + a)/(1 - 2). Let j be (-2)/(3 + -4 - q). Solve 4 = -c, 0 = 3*r + 2*c + j + 19 for r.
-4
Suppose 0 = 5*s - 5*t - 95, 3*s - 4*s = 2*t - 28. Suppose 0 = 5*y - 3*h - s, y = h + 10 - 6. Solve -y*j + k - 2*k = -17, -2*j + 5*k - 4 = 0 for j.
3
Let t = -4 + 6. Suppose -6 = -8*h + t. Solve -3*b + 10 = -5*g, b = 4*g + 7 + h for g.
-2
Let y be 2 + (-60)/27 - 299/(-9). Let g = -31 + y. Solve 5*f = -10*k + 5*k, 0 = -g*k + f for k.
0
Let n = -890 - -895. Solve n*s = 2*f + 7, -s + 5*s - 5*f - 9 = 0 for s.
1
Suppose -2*w + 5*y = -0*w + 25, -5*y + 65 = -4*w. Let r be 96/w*(-5)/2. Solve 3*a + 4*z - 12 = 0, r + 0 = 5*a + 4*z for a.
0
Let q be 215/(-45) - 2/9. Let h be (q - -4)/((-1)/(-7)). Let p = -3 - h. Solve p*r - i + 2 = 6, -5*r + 4*i + 16 = 0 for r.
0
Let h = -3 + 5. Let n be (-10)/12 + (-3243)/(-414). Solve 3*a + h*g - 5 + 0 = 0, n = 5*a + 4*g for a.
3
Let r(u) = -2*u - 4. Let v be r(-3). Let q(a) = -2*a + 31. Let m be ((-14)/6)/((-2)/12). Let s be q(m). Solve j - v*i + 6 = 0, -i + 4*i - s = 0 for j.
-4
Suppose 55*c = 60*c - 710. Suppose 0 = -16*y + 338 + c. Solve 5*i = -5*j + 3*j - y, -45 = 5*i + 5*j for i.
-4
Let v = 17 - 13. Suppose -3*n + 84 = v*n. Let z = 0 + n. Solve -z = 3*x, -26 = -0*c + 3*c + 5*x for c.
-2
Let b(u) be the first derivative of u**4/4 + u**2/2 + 6*u + 5. Let q be b(0). Let w be ((-50)/(-15))/(4/q). Solve -8 = 2*p, -i - w*p - 8 = -4*p for i.
-4
Let n(b) = b**3 - 8*b**2 + 10*b - 4. Let t be n(7). Let d = 2 - t. Let f = d + 17. Solve f*j - 2*x + 6 = 0, 2*j - 3*x - 16 = 4*j for j.
-5
Suppose c - 15 + 12 = 0. Suppose -c*z - 2 = -11. Let b(x) = -6*x + 2. Let s be b(-3). Solve -z*f = 5*i + s, -5*f = -3*i - 0*i - 12 for f.
0
Suppose -14*w + 11*w + 24 = 0. Solve -w = -3*f - 2*h - 0*h, -4*f - 2*h = -10 for f.
2
Suppose 10 = w + 19. Let k be (7 + w)*-2*1. Suppose k*a - 21 = -1. Solve 0 = -a*i + 4*x + 19, 4*i + 2*x - 4*x - 14 = 0 for i.
3
Let w be (10/8 - 1/2)*12. Let p be 2 + 8/(-2) - -4. Let q be 20/2*1/p. Solve -m + 4*l = -10 - w, -4*m - 29 = q*l for m.
-1
Suppose -2*n + 23 = 2*i - 11, -4*i + 8 = n. Let b = 20 - 13. Solve 0 = x - b*r + 2*r + 25, -2*x = 4*r - n for x.
0
Let j be -3 - ((-158)/(-4) + 1/(-2)). Let a be (10/(-8))/((-2)/112). Let v = j + a. Solve d - 2*d = -2, -4*w + 4*d - v = 0 for w.
-5
Let n be (-4)/(-18) - 50/(-18). Suppose -3*y = -6, 3*y - 43 = -n*t + 4*y. Suppose -r - 2*r + t = 0. Solve 0 = -2*f + r*m - 27 + 7, -m + 17 = -3*f for f.
-5
Suppose 0 = -2*g + g - 18. Let a be ((-48)/g)/((-4)/(-6)). Let b be a/6 + (-30)/(-9). Solve -3*c = y - 4, -2*c - y + b = 2 for c.
2
Let b be (-21)/(-6)*(-8)/4. Let k be (-2)/(-2) + b + 10. Solve -r = -3*z + 6*z - 10, -k*z + 8 = -4*r for r.
1
Let p(z) = -8*z + 90. Let g be p(11). Solve -3*v - g*v - 11 = 3*r, v - 2 = -2*r for r.
3
Let x(k) = k + 2*k - 9 - 4*k. Let u be x(-9). Solve 3*z - 4 + 1 = u, -4*y + z - 21 = 0 for y.
-5
Suppose 0 = 3*n - w - 35, 10 = -2*n + 5*n + 4*w. Let i = 15 - n. Solve 2*p = g, 3*g + 1 = i*p + 2 for p.
1
Suppose 4*y - 3*y = 3. Suppose 3*i + 5*u - 20 = 0, -3*i - 3*u = -0*i - 24. Let c be -1*i/5 + 15. Solve -y*x = 4*a - c, 0 = -a + 3 - 2 for x.
3
Suppose 83 = 24*i - 37. Solve -6 = 4*s - 4*h - 2, 3*s = 5*h - i for s.
0
Suppose 4*k - 2*z = 16, -3*k + 2*z = -k - 10. Solve -5*l - k*j - 31 = 0, 2*l - 2*j = l - 1 for l.
-5
Suppose -5*u + 20 = -g, -6*u - g + 4 = -5*u. Solve -4*v = 3*k, -3*k + 29 = -u*v + 5 for k.
4
Let v(g) = 3*g**3 - 7*g**2 + 6*g - 4. Let d be v(2). Solve -2*l - 2*h + d = 2, -3*h = 5*l - 11 for l.
4
Let q be ((-3 + (-4)/12)*-3)/2. Suppose -14 = 5*l + a - 36, -a - 28 = -q*l. Solve 0*t = -2*b - 3*t + 9, 0 = 5*b - l*t + 40 for b.
-3
Suppose -43 = 22*c - 175. Solve -x = 2*y + 3*y + 17, 0 = 3*x + c for y.
-3
Suppose -2*t = 3 - 9. Let a(w) = -w**2 + 2*w + 7. Let i be a(t). Solve s - i*s = -m + 11, 4*s + 14 = 2*m for m.
-1
Let n(s) = -s**3 + 15*s**2 + 12*s + 29. Let a be n(16). Let l = a + 37. Solve 2*r - g - 3 = 0, -l*r - 1 = -0*r - 5*g for r.
2
Let p be ((-3)/30)/(14/(-140)). Solve 2*s + p = -g, g - 4*s = -g - 18 for g.
-5
Let v = 724 + -720. Solve 25 = 2*b + 3*b, 0 = 5*o + v*b - 20 for o.
0
Suppose 45 = 6*m + 27. Solve m*n = -n + y + 8, 0 = -2*y for n.
2
Let i = -38 + 29. Let j = 14 - i. Suppose -5*n - p + j = 0, p - 2 - 1 = -n. Solve n*a - 4*w = -37, -a = -w - 5 + 13 for a.
-5
Let q = -144 - -153. Solve 3*o = -3*m, -5*o = -8*m + q*m - 8 for m.
-2
Suppose 3*r = 2*v + 11, 5 = -3*r + 2*r + 5*v. Suppose -5*p = r, 3 = g + 4*p - 1. Solve 4*c = -4*l - 0*c + g, 0 = 5*l + 3*c - 16 for l.
5
Let c(h) = 3*h**2 + 8*h + 2. Let r be c(-3). Solve 0 = -r*a + 4*n + 1, 8 = 3*a - 4*n + 1 for a.
-3
Suppose 0 = -2*t - 3*t + 3*u + 172, 2*t - 69 = u