.
-4
Let y = -32 - -35. Suppose w + 13 = -0*w + 5*h, -h + y = 0. Solve p = 2*k + 13, 5*k + 5*p - 13 = w*k for k.
-4
Let i = -29 + 34. Solve 3*j - 5*x - 9 = i*j, j - 2*x = 0 for j.
-2
Let q be ((-1 + 2)/(-2))/((-1)/32). Suppose 15*c = 19*c - q. Solve 2*x = 2*t + 12, c*x - 3*x = -t for x.
3
Let n(x) = -x**3 - 6*x**2 + 4. Let b be n(-6). Let r be 1/(-1 - 6/(-4)). Let z = 7 - r. Solve b*w + 23 = -w - c, 2*w = z*c - 20 for w.
-5
Let t(n) = -3*n**3 + 7*n**2 + 2*n + 3. Let p(z) = z**3 - 3*z**2 - z - 1. Let j(k) = 5*p(k) + 2*t(k). Let u be j(-1). Solve r = 4 - 0, -14 = u*q - 2*r for q.
-3
Suppose -7*b = -b. Suppose -5*j + 33 + 37 = b. Suppose -2*u + 3*p + j = 0, 3*u - 3 = -3*p + 3. Solve -u*f + 2*x - 3 - 1 = 0, 3*f - 2*x = -2 for f.
-2
Let l = 41 - 41. Suppose -s - 2 = -2*h - l, 3*h = -4*s + 14. Solve -4*q - h = 2*k, 2 = -2*k + 6*q - 2*q for k.
-1
Let o = -841 - -844. Solve -o*u = -3*k + 30, 10*k - 6*k - 45 = 5*u for u.
-5
Suppose -z + 38 = 3*j, -4*z = 4*j + 7 - 55. Suppose 4*f + 2*i - 110 = 0, 2*i - j + 3 = 0. Solve -s - 4*s + k + 15 = 0, -f = -5*s + 3*k for s.
2
Let s(n) = -n - 6. Suppose -3 - 13 = 4*o. Let u be s(o). Let p be (u + -1 + 8)*1. Solve 3*g + 4*x = 18, p*g + x - 5*x + 2 = 0 for g.
2
Suppose -5*a + 5*h - 121 + 46 = 0, -3*a - 5*h - 45 = 0. Let l = a - -24. Let g(p) = 5*p - 7. Let z be g(5). Solve 3*x + 5*q = l, -4*x - 3*q + z = 6 for x.
3
Suppose -13*w + 15*w = 0. Solve -2 + 14 = 4*d - 4*h, d + 5*h - 3 = w for d.
3
Let w = -5 - -5. Suppose 0 = -0*o + o + o. Suppose o = -w*q - q. Solve -2*t = 3*i + 4, 4*t + q*i = -2*i for t.
1
Suppose b = -4*b + 30. Let l be (-9 + 0)*(-2)/b. Suppose 4*i = 2*d + 6, -l*d + 4*i = 2*d - 9. Solve -5*w = -2*a - 10, d = -4*w + a - 2*a for w.
0
Suppose 0 = -88*n + 85*n + 3. Solve -2*l - 22 = 4*x, 0 = 2*l + 5*x + 26 - n for l.
-5
Suppose 9 = 2*n - 13. Let i be (6/14)/(n/77). Solve 5 + 2 = i*g - l, 4*l = 2*g + 2 for g.
3
Let q = -1068 + 1073. Solve n - 14 = -4*d, 4 - 22 = -2*d + q*n for d.
4
Suppose 2*l - 4 = -36. Let v = 17 + l. Let o(z) = 3*z**2 + z - 1. Let p be o(v). Solve p*t = 12, -3*t = -x + 12 - 28 for x.
-4
Let m = 511 + -508. Solve -l = 2*q - 8 - m, 0 = -5*l + 15 for q.
4
Let s(t) = -t**3 - 3*t**2 + 45*t + 164. Let v be s(-4). Solve -5*d = -g + 6*g, 5*d - 25 = v for g.
-5
Suppose 2*r + 96 = 5*r. Suppose 75 = r*t - 27*t. Solve 5*s + 0*s + 4*k = t, 0 = 4*k - 20 for s.
-1
Let t = 11 + -11. Suppose t*g - 29 = 4*g - 5*m, 3*m = 3*g + 21. Let x be (3/g)/(1/(-6)). Solve -o + 2 = v, -o - 5 = -x*o - v for o.
3
Suppose -4*l + 24 = 4. Solve -22 = -4*j + l*s, 3*s - 6 = -4*j - 0*s for j.
3
Suppose -25 = -5*n - 10. Let u be (-13 - (n - 6))/(-2). Suppose 24 = 3*f + u*b, 3*f + 2 = 4*b - 1. Solve f*s = w - 10, -5*w + 4*s - 15 = 2*s for w.
-5
Let w be (-3 + -2)*(1 - 0). Let k be 28*(3 - w/(-2)). Let x = 3 + -1. Solve -t - x*t - 4*h + 10 = 0, t = -4*h + k for t.
-2
Let n = 7 - 3. Suppose -l + 2*l = n. Let c(g) = -g**2 - 58*g - 760. Let d be c(-20). Solve d*r = 2*r + 2, 5*r - l = 3*a for a.
-3
Suppose -2*f = -4 + 64. Let a = 27 + f. Let s be (-3 - a)*(1 - 0). Solve s = w + 3, 5*g - 30 = 4*w + w for g.
3
Let a(c) = -3*c**3 - 8*c**2 + 2*c - 1. Let b be a(-3). Suppose 0 = b*r + 2*r - 12. Solve 5*g = -0*g - 3*j - 20, 2*j + 13 = -r*g for g.
-1
Let u = 1564 + -1559. Solve -5*q = b - 8*q + u, -5*q = 0 for b.
-5
Let w(v) = -v**3 - 3*v**2 - 1. Let d be w(-5). Suppose -52*q = -d*q - 15. Solve 3*x + q*s = -13, -6*x - s = -2*x - 11 for x.
4
Let n be (-15)/(-5)*(-1)/(-3). Suppose 9 = 3*t + 4*q, n - 13 = 4*q. Suppose 5*a = 32 - t. Solve 26 = f - a*v + 3, 5*v = 3*f - 19 for f.
-2
Suppose 5*c - 21 = -3*i, 0*c + 4*c - 5*i = 2. Solve -2*f = 4*r - 6, -3 = 5*f + c*r + 3 for f.
-3
Let y be (-6 - 4)*4/(-10). Suppose 0 = 2*o + y*q - 20, 4*o = -0*q + 4*q - 20. Solve 21 = 5*c - 2*r, 0 = 3*c - r - o*r - 12 for c.
3
Let t = 1193 + -1191. Solve 5*n - 20 = -x, t*x = 2*n - x - 25 for n.
5
Suppose 17*l = 9*l + 200. Solve -2*m + 14 - 4 = -t, -5*m + l = 2*t for t.
0
Suppose 4*s + 4*i + 6 + 2 = 0, 4*s - 22 = 2*i. Solve 0 = 5*w - 2*w - 3*f - 6, -s*w - 26 = 5*f for w.
-2
Let d = -10 + 34. Suppose -3*j = -12 - d. Suppose j - 2 = 5*z. Solve -g + 2*x + 2 = 0, -3*g + 9 = -z*g + 5*x for g.
4
Let k(m) = 8*m - 32. Let p be k(5). Let q = 26 + -24. Suppose q*r + 5*r = 77. Solve -t + x - p = 0, t + r = -2*x + 4*x for t.
-5
Suppose 2*f - 1 = 3. Let a = -59 + 60. Suppose -7 = -f*n + a. Solve -n*j = 4*s + s, -3*s = -j for s.
0
Suppose -2*j - 15 = -7*j. Suppose -2*b - 2*u + 15 = 7, b - j*u = -12. Suppose 2*w = b, 0 = -2*v + 5*w + 1 + 7. Solve -4*z + v*f = 24, z - f + 2*f = -2 for z.
-4
Suppose 0 = 3*v + 4*d - 337, 0*v = -3*v - 2*d + 335. Let n = v - 111. Solve n*z + 3 = -z - s, 3*z - 3*s - 15 = 0 for z.
1
Let f be 3*1*12/9. Let j be (f/(-10))/((-4)/20). Solve -5*q + 3 = -j*i + 1, -2*q + 12 = 2*i for i.
4
Let g be 28/24 - 5/(-6). Solve y + 0*i - g*i + 1 = 0, i = -3*y - 17 for y.
-5
Suppose -16 = -95*x + 87*x. Solve -b = -d, -2*b = -x*d - 4*b for d.
0
Suppose -5*m = h - 5 - 1, 4*h = m - 18. Solve 3*i + 5*y = y + 19, -m*i - 14 = -4*y for i.
1
Suppose -5*m + 40 = 5*i, -4*i + 5*m + 0*m = -14. Solve 4*b + 12 = 4*f, -b = 4*f + i - 3 for f.
0
Suppose -5*h - 15 = -5. Let j be h/(0 - -2)*(-279)/9. Solve 5*m = -2*n - j, 0 = 2*m + m + 2*n + 21 for m.
-5
Let d(x) = 6 + 2 - 3*x + 14. Let p be d(-15). Let v = p - 47. Solve -i - 3*b - v = 0, -i + 0*b - 4*b - 25 = 0 for i.
-5
Let w(c) = -c**3 - c + 2. Let m be w(0). Suppose 0 = -q - m*p + 1, -3*q = -2*q + 5*p - 4. Let r be (q + (-6)/8)*-8. Solve -r = -5*l + 3*j, -20 = 4*j - 8 for l.
1
Suppose 4*q - 5*n = 40, -q + 2*n + 8 + 5 = 0. Solve l = u - 4, 3*l + 9 = 5*u - q for l.
-3
Let v(m) = -m**2 + 5*m + 9. Let x be v(6). Suppose x*j - 4 = 20. Solve -4*d - j = 0, 2*b + 5*d + 12 = b for b.
-2
Let a be ((-4)/10)/((-2)/40). Let c be a*2 + -3 + 3. Suppose -3*z + c = z. Solve 3*r + 7 = -4*b + 6*r, -z*r = -4*b - 12 for b.
2
Let x = -33 + 93. Suppose 2*h + x = 12*h. Solve -9 = -3*p - 4*s, 6*p - 5*s - h = 4*p for p.
3
Let o(a) = 18*a**3 - a**2 + 15*a - 14. Let n be o(1). Solve 3*i + 13 = 2*d, 2*i + 3*d + d - n = 0 for i.
-1
Suppose 3*u = 3*q - 21, -11 = 3*u + 4. Solve -4*s + r - 16 = q*r, 2*s + 4*r + 8 = 0 for s.
-4
Let o(k) = k**3 - 5*k**2 + 6*k - 6. Let y(i) = -i + 4. Let u be y(-9). Let v = -9 + u. Let m be o(v). Solve 2*l - 16 = -m*l, 3*a + 4*l = 16 for a.
0
Let f(i) = -i**3 - 5*i**2 - 11*i - 52. Let r be f(-5). Solve -2*v = -6, r*q = q - 3*v + 3 for q.
-3
Let s(n) = -6*n + 64. Let y be s(10). Solve -4*t + 5*f - y = -t, 3*f + 3 = 0 for t.
-3
Suppose 19*h = -3*h + 110. Solve -2*j = 4*d - j + 17, -h*d = 3*j + 23 for d.
-4
Let s(q) = -10*q + 103. Let a be s(10). Solve -k - a*r = k, 3*k - 3*r = 0 for k.
0
Let v(g) = -g**3 + 13*g**2 - 6. Let s be v(13). Let a be (15/s)/(-5)*14. Solve -p = r, -3*r - 3 - a = p for p.
5
Let l be (18 - 2)*(-4)/2. Let o = l - -64. Solve 0*m - 4*m = -3*v + o, -2*v + 18 = -2*m for v.
4
Suppose -4*g + 459 = p, -2*p = -2*g + 4*g - 912. Let c be 8/(-14) - (-13)/(p/160). Let i = 9 + 3. Solve r - 3 + 1 = -c*j, -4*r + 4*j - i = 0 for r.
-2
Let o = 1615 + -1613. Solve a + 5 = -2*c + o, 0 = -4*c - 5*a - 3 for c.
-2
Let c be (-3 + (-6 - -10))*(3 + -3). Solve l + n + 3 + c = 0, -2*l - n = 7 for l.
-4
Let w(j) = j**3 + 6*j**2 - 7*j + 1. Let g be w(-6). Suppose -20 = 4*b, 0 = 4*x + 3*b - 0*b + g. Let s = 32 + x. Solve -s = 2*z - 7*z, 0 = -5*o - z + 15 for o.
2
Let u = 706 + -669. Solve 4*x - u = -5*b, -5*b + 22 = -x - 0 for x.
3
Suppose -4*u + 1 = -p + 4*p, -u + 19 = -3*p. Suppose i = u*i - 18. Solve 4*b + 8 = -5*a, 0 = -5*b + 4*a - 4 - i for b.
-2
Suppose 5*x + 0*x = 5. Let f be 44/12 + (-10)/15. Suppose 6 = l + 2*t, -f*l - t = -6*l + 11. Solve l*g + 4 = -2*a, -x + 0 = -a + g for a.
0
Suppose 0 = t + 2*r - 2, 4*t - 1 = -t - r. Suppose 5*x + t*x - 34 = 4*w, -2*x + w = -13. Solve 3*i + 2*z - 8 = i, z + x = 4*i for i.
2
Let l(k) = 2*k**2 + 8*k - 20. Let j be l(-6). Let z be 0 - (0 + j - 9). Solve 5*i - 3 = q + 4*i, 5*i = -z*q + 35 for q.
2
Let v(l) = l**2 + 8*l + 10. Let s be v(-7). Suppose s*r + q - 14 = 0, -5*r + 31 = 4*q + 3. Solve 2*y = r*b - 0 + 4, 0 = 3*y for b.
-1
Let x(h) = -4*h + 3. Let q = 24 - 21. Suppose 4*o - 2*y + 2 = 0, -3*y = -q*o + 1 + 2. Let n be x(o). Solve -3*u - n = 4*t, -u = 3*u - 12 for t.
-5
Let t(v) = v - 4. Let y b