s + 5*x + d, -2*s - 18 = -x + 5*x for s.
-5
Suppose -13*u - 252 = 11*u - 42*u. Solve 0 = -j + 3*h + u, j = 3*j + 4*h + 2 for j.
5
Let s(n) = -15*n + 53. Let w be s(-7). Suppose 2*f + 0*m + 158 = m, 2*f + w = -4*m. Let a = f + 87. Solve -y - 2*x = -9, 0 = -x - x + a for y.
1
Let y(i) = -2*i**3 - 3*i**2 + 2. Let f be y(-2). Suppose -10 = h - f*h. Suppose -v - 442 = -27*v. Solve h*d - v = 3*a, 8 = 3*a + 4*d + 1 for a.
-3
Suppose 0 = b - 7, 2*b + 1703 - 1602 = 5*y. Solve -3*p - 2*s - 12 = 0, -4*p + 6*s - y = 11*s for p.
-2
Let b be (-3 - (-5)/(-20))*-4. Suppose 37 = 12*t + b. Solve 4*a + 3*x = 1, t*a + 0*a = -2*x + 2 for a.
-2
Suppose 8*o + 7 = 23. Suppose -2*b - 18 + 2 = 0. Let n(t) = -t**2 - 13*t - 20. Let k be n(b). Solve 0 = -4*h - k, 0*z = -z + o*h + 13 for z.
3
Suppose 0 = 54*f - 21*f - 17820. Let r = 545 - f. Solve -3*g - 3*k + 21 = 0, r*k = 3*g + 1 + 10 for g.
3
Let m(i) = -6*i**3 - i**2 - i. Let n be m(-1). Suppose 0 = 3*y - 6, -5*w = 7*y - 4*y - n. Solve o + 15 = -2*o, w = 2*h - 2*o - 10 for h.
0
Let h(j) = 4*j**2 + 7*j**3 + j**2 - 6*j + 0*j**3 - 6*j**3 - 28. Let k be h(-5). Solve -k*y + 4*y - 3*u = 1, 0 = -4*y - 2*u - 22 for y.
-4
Suppose -119 + 5 = -6*w. Suppose -4*n = -16, -i + 2*n + w = 6*n. Solve 0*k + k = -i*o + 5, 5*k = 5*o + 5 for k.
2
Suppose 5*d = -c + 36, d + 2*c - 40 = -31. Solve 7*m = -5*p + 2*m + 10, 2*m - d = -p for p.
-3
Let j(f) = -6*f**2 - 18*f + 4. Let p be 2/(20/45)*(-6)/9. Let u be j(p). Solve -2*i + u*i + s - 4 = 0, s = 5*i - 24 for i.
4
Let n be 3/9 - 348/(-36). Solve 4*w = -2*g + n, -11 = -0*w + w + 5*g for w.
4
Suppose v + 1 - 23 = 0. Let u(b) = -3*b**2 + 10*b - 8 - 2*b**2 + 4*b**2 + 3*b**2. Let x be u(-6). Solve 3*z = -2*y + v, -3*z + 5*y + 7 = x*y for z.
4
Let g(m) = -m**3 + 3*m**2 - 2*m + 13. Suppose -7*o = -28 + 7. Let i be g(o). Solve 5*k - 1 = 4*c, 2*c + 5*k = -0 + i for c.
1
Suppose -408 = -15*w - 121*w. Solve 0 = 3*z - 2*m - 1 - 5, -w*m = 5*z - 10 for z.
2
Suppose -6 = 7*r + 15. Let k be r + ((-1)/(-4))/((-6)/(-120)). Solve 2*x = -2*c, -k*x + 15 = -2*c - 5 for c.
-5
Let b be 19 - (19 - -13 - 15). Solve 0 = -2*i + 8, i = 3*h + 2*i + b for h.
-2
Suppose -23*p + 20786 - 20441 = 0. Solve 5*a - 10*a - 30 = u, -p = 3*a for u.
-5
Let q(k) = -8*k + 95. Suppose -825*n - 50 = -830*n. Let p be q(n). Solve -2*d + 0*d - 5*x = -p, -2*d - 4*x + 12 = 0 for d.
0
Let x be (14/35)/(1/(-10)). Let q be 2/x*(-2 - -2). Suppose -p - c + 8 = -4*c, -3*p - 3*c + 12 = q. Solve -p*o - 19 = -2*k, -7 = -k + 3*o + 4 for k.
2
Suppose d = -8, -5*r + 8*d + 783 = 704. Solve -2*y = -22*x + 23*x + r, 2*x = 5*y + 21 for x.
3
Let p(b) = 20*b + 34. Let v be p(-2). Let g be (-242)/(-66) - 2/v. Suppose 3*f + 0*z + z = 15, z = 5*f - 25. Solve -f*r - 9 = n - 25, g*n - 1 = r for r.
3
Suppose 0 = -5*g - a + 7, 3*g + 77*a = 75*a. Solve -2*b = h - 8, h = g - 4 for b.
5
Suppose s - 3*c + 3 = 0, -53*c = 5*s - 57*c + 4. Suppose -2*p - 5*b + 30 = s, -2*p + 14 + 12 = 4*b. Solve p*x = 5*f + 10, 2*x - 2*f = 2*f + 8 for x.
0
Let y(g) = -28 - 156*g - 165*g + 320*g. Let d be y(-31). Solve -3*v = 4*p - 12, 2*v - 20 = -d*v for p.
0
Suppose 3 = 10*z - 9*z. Let n = -538 + 541. Solve 4*a + 5 = -j, j + n = -z*a - 2 for j.
-5
Suppose 26 = 5*b + 57 - 41. Solve -4*a - 4*p = -28, 2*a = b*p + p + 4 for a.
5
Suppose d - 5*z - 4 = 0, 0 = -d + 3*z - 8*z + 4. Suppose 3 - 2 = v + 5*o, d*v + 4*o - 20 = 0. Solve -3*a = 5*x - 2, v = x + 4*x + 4*a for x.
-2
Let y = 40077 - 40076. Solve -2*d = -6*d - 4, 0 = 5*r - 4*d + y for r.
-1
Let k = -13305 + 13308. Solve -n - k*p + 25 = 5, -4*p = -n - 15 for n.
5
Suppose -3*g = 4*p + 3, -26*g - 12 = p - 23*g. Solve p*j = 4*u + 11 - 5, -j = u - 2 for u.
0
Let c = -44947 - -44949. Solve 8 = k + c*u, -11*u + 20 = -5*k - 9*u for k.
-2
Let p(i) = -12 + 6 + 4*i - 3*i - 11. Let u be p(7). Let y be (-2)/(-4)*(-2 - u/5). Solve -5*q + 4*r - 13 = y, 2*q - 2*r + r + 7 = 0 for q.
-5
Let h = 130 + -125. Let b(u) be the second derivative of u**4/12 - u**3/3 - 5*u**2 + 4*u. Let o be b(h). Solve -2*k = -3*j - o, -1 = 4*k + 5*j + 22 for k.
-2
Suppose c + 3*y - 8 = 0, 6*c - 4*c - 3*y - 7 = 0. Solve -c*f + 15 = q, -16 = f + 5*q - 19 for f.
3
Let i be ((-94)/(-18) - 5) + (-129)/(-27). Suppose i*a - n - 1 = 41, 5*a - 5*n - 30 = 0. Solve -9 = -0*d - 3*d, -3*y - a = -d for y.
-2
Let s = 16046 + -16037. Let j = -1 + 2. Let q be (12*(0 + j))/1. Solve 5*v - q = v, -3*v + s = 5*w for w.
0
Suppose 3*v - 9 = -2*l, -13 = -2*l - v - 6. Let j(a) = -3*a + 71. Let p be j(22). Solve 0 = p*d + 4*g + 30, -g - 28 = 4*d + l*g for d.
-2
Let k be (-6)/(-27) - (-528)/297. Suppose 0 = -f + 2*x - 5, 3*x + k*x = 2*f + 15. Solve -f*t = s + 17, -13 - 8 = 3*t - 3*s for t.
-4
Let l = -12285 + 12289. Solve 0 = -2*j - l*n + 28, 4*j - 19 = 3*j - 3*n for j.
4
Let z = -194 + 199. Suppose 2*r + w - 32 = 2*w, z*w = -3*r + 48. Solve -5*d + r = -2*i, 2*d + 7*i = 2*i + 18 for d.
4
Let q = 0 - 0. Let u = 358 - 586. Let k be (-122)/(-24) - (-19)/u. Solve -5*a + 5 = -k*h, 5*h + 4*a + 21 + 2 = q for h.
-3
Let q = -15106 - -15109. Solve -5*b = 4*n + 25, -14*b - 10 = q*n - 19*b for n.
-5
Let w = 8957 - 8952. Let k be -1 + (0 - -1) + 2. Solve x + k*h = 6, -w*x - 6*h + 15 = -h for x.
0
Let t be (-72)/(-34) + (-236)/2006. Solve 5 = 2*p + t*o + 13, -2*o = -2*p for p.
-2
Suppose 0 = 3*h - 8*h + 4*x + 118, -x = 3*h - 81. Solve h*r + 2*q = 23*r + 7, -14 = -4*r + 2*q for r.
3
Suppose 6*s + 13 = 289. Let a = s - 43. Solve a*x = f + 19, 5*f - 4*x = -0*x - 40 for f.
-4
Suppose 5*x = n + 10 - 7, -4*x - 3 = n. Suppose -5*i + 3*d - 4 = 0, x = 6*i - i - 4*d + 7. Solve 5*s - i + 18 = 2*w, 5*s + 45 = -5*w for w.
-4
Let r(n) = -n**3 + 5*n**2 + 3*n + 18. Let g be r(6). Suppose 2 = -j, g = 5*h - j + 2*j - 28. Solve l + h = c - 2*l, 2 = -c - l for c.
0
Let r(s) = -s**3 + 3*s**2 + 13*s - 54. Let g be r(5). Let x be 23/1*2 - -1. Let h = g + x. Solve o - f = h, 5*o + 7*f - 4*f = 0 for o.
3
Let o(b) = b**2 - 6*b + 3. Let l be o(2). Let s = 1131 + -1023. Let t be s/(-60)*l/3 + 3. Solve 3*g = -2*n - 0 + 1, -2*g + 2*n = t for g.
-1
Let l = 24 + -50. Let d = -24 - l. Let v be (4 + 4)/(0 + d). Solve 5*u - v*k = -18, -5*u = 2*k + 2*k + 2 for u.
-2
Suppose 638*i = 781*i - 1859. Solve 5*f - i*c + 12*c = -29, -4*f = 2*c + 26 for f.
-6
Suppose 73 + 64 = 69*s - 1. Solve 5*g - 2*g = -3*l + 18, s*g - l = -3 for g.
1
Let j be (-7)/7 - (9 - (1 - -1)). Let v(c) = -c**3 - 9*c**2 - 14*c - 48. Let y be v(j). Solve -12 = -2*z - 3*s, y*z - 5*s + 20 = -4*z for z.
0
Let y be -3*(-2 - 76/12). Suppose y*l = 22*l + 6. Let u(b) = -b**3 + 3*b**2 + b - 6. Let p be u(l). Solve 4*h - 2*r - 8 = 0, 3*h - 4*r + 4 + p = 0 for h.
4
Let f(r) = r**3 - 2*r**2 + r + 2. Let x(h) = 4*h - 98. Let d be x(25). Let g be f(d). Solve 2*a - 3*a = -u + g, -4*u + 17 = -3*a for a.
1
Let i = -4690 + 4690. Solve 2*c - f = 6, 3*c + 2*f - 3 - 6 = i for c.
3
Let m(s) = -s**2 + 105*s - 754. Let i be m(8). Solve -5*d - 4*j + 46 = 0, 8*d + j = 5*d + i for d.
6
Suppose -2*d = 2*w - 0*d - 6, -5*d + 20 = 0. Let p be (w - 5)/((-25)/50). Suppose -p*l = -16*l + 64. Solve 3 = -g + 3*y - l, 4*g + 21 = y for g.
-4
Suppose -3*p - 377 + 197 = -21*p. Solve -b - 2*d = p, -4*d - 20 = -b + 6*b for b.
0
Suppose 6794*v - 6792*v - 54 = 0. Solve -v*u - 5*d + 5 = -32*u, -32 = 4*u + 3*d for u.
-5
Let s be (-4)/11 + 1776/528. Suppose -3*i = -8 - 7, 4*i = -2*w + 24. Solve w = s*t + 4*z - 3, -5*t = -2*z + 35 for t.
-5
Let g = -165 - -168. Let w be (g/((-18)/8))/((-4)/42). Solve 2*l - w = 2*p, l = -2*p - 5 - 3 for l.
2
Let y = 4204 + -4174. Solve 7*q - 2*q + y = -r, 0 = -2*r - 5*q - 35 for r.
-5
Suppose 0 = -q + t - 367, t - 2828 + 1001 = 5*q. Let d = -363 - q. Solve p - d*y + 6*y = 19, -y + 1 = 4*p for p.
-1
Suppose -5*i - 3*d - d = -383, 160 = 2*i + 5*d. Let a = i + -73. Solve 4 = a*v - 3*z, -3*v + 4*z = v - 4 for v.
-1
Let g = 1248 - 1240. Solve x = -2*b + 6, 5*b + 8 = 2*x + g*b for x.
-2
Let r(w) = w**3 - 5*w**2 - 4*w + 4. Let z be r(6). Suppose -22 = -z*m + 5*m. Let s be (m + 3 + 3)*(-2)/(-4). Solve -h = -2*v + 6, 0*v + s = 2*v for h.
-2
Let s(q) = -14*q - 162. Let j(t) = -13*t - 160. Let l(u) = -7*j(u) + 6*s(u). Let b be l(-20). Solve -2*x + i = b, 0*x - i - 12 = 3*x for x.
-4
Suppose -90 = -4*c - t, -155 = -4*c - 4*t - 47. Solve 2*s = -c*f + 23*f, -2*s = 2*f - 16 for s.
4
Let o be -10*(-2 + (-6)/12). Solv