ve 0 = 3*z + 2*m + 5, z + 2 = m - q*m for z.
-1
Let j = 6 - 6. Suppose 5*n - 9 - 1 = j. Suppose 47 = s - 5*a, 0*s + 3*s - 2*a = 89. Solve -4*z = -3*d + s, -z + n*z = -3 for d.
5
Let v = 869 - 869. Solve v = -2*l - 5*y + 21, -6*l - y + 6 = -5*l for l.
3
Suppose -10*y + 11*y = 2. Solve 3*q + 1 = -y*m + 6*q, -2*m + 7 = 5*q for m.
1
Let t be (20/6)/((-3)/(-18)). Let o(h) = -h**2 - 5*h. Let n be o(-3). Suppose 0 = 5*l - n*l + 5. Solve l*m = 2*d + d - 40, 2*m - 2*d = -t for m.
-5
Suppose 2602 - 2607 = -v. Solve p + 2*i = 4*p + 25, -v*p + 5*i = 50 for p.
-5
Let s = 435 + -434. Solve -3*v + 2*p - 7 = 7, -v - 3*p = s for v.
-4
Let h(n) = 2*n - 13. Let k(x) = -x - 1. Let z(m) = -h(m) - 4*k(m). Let t be z(-6). Solve -3*v + t*u + 5 = 6, 2*v = u + 4 for v.
3
Let g = -5 - -1. Let b = g - -10. Suppose 6*w = 4*w + b. Solve -5*d + 10*d + 10 = 0, -w = -p + 2*d for p.
-1
Let b = 331 - 317. Solve s + b = 2*s + 5*n, -5*n + 10 = 0 for s.
4
Let g be -2*((-9)/6)/(27/18). Solve 4*c - 2 - 6 = -3*q, -2 = -2*c - g*q for c.
5
Suppose 0*c + 3*c - x - 5 = 0, -25 = -c + 5*x. Let n be 210/28*24/9. Solve j - 4*j - 4*g + n = c, 3*j = -2*g + 16 for j.
4
Let u(p) = -9*p + 54. Let b be u(7). Let g = 9 + b. Solve -5 = -2*z + 1, -n + 5*z - 14 = g for n.
1
Let y = 752 + -748. Solve 0 = -5*t + 4*a - 16, -a + 20 = 5*t + y*a for t.
0
Suppose -2 = -2*x + x. Let b be -3*(-138)/(-18)*-1. Solve 3*z = -x*h + b - 1, -4*z = h - 21 for z.
4
Let k(o) = o + 6. Let i be k(-6). Let v be (-6)/15 + (-22)/(-5). Suppose 2 - 18 = -v*r. Solve r*p = 2*p - 4*w + 6, -4*w + 8 = i for p.
-1
Let n = 0 - -3. Let m be (-168)/140*(1 + 8/(-3)). Solve -2*r = -5*g + 3 + n, 0 = -m*g - 5*r - 15 for g.
0
Let b = -389 - -394. Solve f + 2*c + 2 + 7 = 0, -b*f + 4*c - 3 = 0 for f.
-3
Let a = 16 - 14. Let q(f) = -5 + 0*f - f**a + 2 - 1 - 5*f. Let y be q(-3). Solve -3*t - t + 5*w - 17 = 0, -y*w = -t - 8 for t.
2
Suppose -2*c - 550 = -24*c. Solve 1 - 6 = -v - 5*y, c = 5*v - 2*y for v.
5
Let f(c) = -c**2 - 9*c + 2. Let p be f(-8). Suppose g - 5*h + p*h - 5 = 0, 2*g - 4*h = -4. Solve 2*k - 3*o = -5, g = k + 2*o + o + 7 for k.
-4
Let g(n) = -3*n - 22. Let a be g(-7). Let h(p) = 18*p**2 + 2*p + 2. Let i be h(a). Solve -i = -d + 5*c, 7*d + c = 2*d + 12 for d.
3
Suppose 0 = 14*l - 11*l. Suppose -d = -a + 1 + 4, -a + 3*d + 5 = l. Solve 0 = -m - a*w - 9 + 22, -2*w + 1 = -m for m.
3
Let x(d) = d + 16. Let c be x(-13). Solve l + 10 = -4*g + 3*l, 0 = -c*l - 15 for g.
-5
Let m = -202 + 204. Solve m*w = 2, d = -d - 2*w - 4 for d.
-3
Let s(x) = -x**3 - 10*x**2 - 16*x + 2. Let k be s(-7). Let o be (k/(-9) - 3)/(2/12). Solve -5*b = 2*h + 19, -o*h - 4*b + 37 = -9*b for h.
3
Let o(c) = -c - 4. Let d(y) = -y**2 + y + 3. Let q be d(4). Let f be o(q). Solve 3*t - 3*s = 2*t + 6, -f*s - 10 = -3*t for t.
0
Let d(m) = 4*m - 39. Let q be d(13). Solve -v + 4*v + q = -2*s, -2*v - 7 = 3*s for v.
-5
Let m = 79 - 55. Let w = -14 + m. Let n = -6 + w. Solve -4*k + l + 2*l = -16, 0 = n*l for k.
4
Let v = -1 - -1. Suppose -5*m - 4*r = -24, 4*m = -5*r + 4 + 17. Suppose 0 = z - v*z - m. Solve 4*x - 28 = -4*y, -5*x + 3 = -z*y + y for x.
3
Suppose 3 = 4*g - 5. Solve l + 2*c + 3 = g, 0 = 4*l + 2*c - 2 for l.
1
Suppose b = -4*x - 0*b + 32, 3*x - 5*b = 24. Let g be 0 + x*(-5)/(-10). Let s(m) = -m**2 - 9*m - 2. Let u be s(-7). Solve 3*v + v = g*t, 5*v + u = t for t.
-3
Let o(x) = -x**2 - 14*x - 33. Let v be o(-11). Let a = -5 + 5. Suppose -5*j = -a*c - c - 28, -15 = 5*c. Solve -b + j*g + 21 = 0, -2*b + 18 = -v*b - 4*g for b.
1
Let m(t) = -t**2 + 61*t - 453. Let w be m(9). Solve -2*y + w = -7*y, -5*n - 5*y - 10 = 0 for n.
1
Suppose -9 = -6*q + 3*q. Let m be (36/10 + -4)*5/(-2). Solve 2*t + m - q = -5*l, 0 = 2*t + 8 for l.
2
Suppose 0 = -9*r - 555 - 588. Let a = 132 + r. Solve 3*q = -c + 2*q - 2, 3*c + 2*q + a = 0 for c.
-1
Suppose 0 = 54*k - 57*k + 6. Solve 4*s + 2 = -5*b - 14, -12 = k*b - 4*s for b.
-4
Let d(l) = -l**3 - 6*l**2 - 6*l + 4. Let j be d(-5). Let s = 5 - j. Let x be (26/4)/((-2)/s). Solve 0 = -4*o + 5*u - x - 9, -3*o = -u + 11 for o.
-3
Let h(c) = -c**3 - 29*c**2 - 54*c + 4. Let s be h(-27). Solve -5*j = -s*q + 3, 2*q - 12 = -4*j - 4 for q.
2
Suppose -f + 2*f = -a - 76, -f = -1. Let x = -77 - a. Solve 4*g + 3*h = 6*g + 18, x = -2*h + 8 for g.
-3
Let w = 23 + -19. Suppose -t = t - w. Solve -k = -t*k + 3*n + 13, 0 = -5*k - 5*n + 5 for k.
4
Suppose -2*i + 5*l = -27, i + 4*l = -2 - 4. Suppose -4*v = -i - 22. Let j be 11/2 + v/(-14). Solve y - j*y - c + 20 = 0, 0 = -3*y + 5*c + 15 for y.
5
Let r(d) = 2*d**2 - 6*d + 7. Suppose -v + 15 = 5*o, -14 = o - 2*o + 2*v. Let c be r(o). Solve -2*s = -6*s + g - 25, s = -4*g + c for s.
-5
Suppose 5*q = 2 + 3. Let k = 11 - q. Solve -3*v + 5*s = -k, 5*s - 4 = 1 for v.
5
Let k(f) = f**2 + f + 1. Let x be k(4). Suppose 5*n = -3*t + n - 8, -t - x = 5*n. Let m = -1 + t. Solve -v = 5, m*v + 7 = -5*w - 8 for w.
0
Let y(p) = -p**2 - 2*p + 6. Let h be y(-4). Let o be (1*-2)/2 - (-6 - h). Solve -n + 5 = -0*r - o*r, 3*n = -r - 5 for n.
-1
Suppose 15 = q - 6. Let v = -54 + 71. Let d = q - v. Solve 4*x - 2*m = -2, -m = -x - d*x - 10 for x.
-3
Let k be 5/((-3)/(-2*12/8)). Suppose 3*b + 102 = b - 2*u, -5*u = 0. Let m = -34 - b. Solve 3*i - 3*d - m = -2*i, 0 = 5*i - k*d - 15 for i.
4
Let w be (0*(2 + 35/(-14)))/(-1). Solve w = 4*u + 2*h, 10*h + 18 = u + 6*h for u.
2
Let r = 3846 - 6438. Let m be (14/(-8))/((-27)/r). Let b be 16/(-12) - m/18. Solve 12 = -2*k - b*u + 3*u, -k - 3*u - 7 = 0 for k.
-1
Let f(m) = -m**3 + 4*m**2 - 2*m - 1. Let n be f(4). Let h = 11 + n. Suppose -6 = -q - h*q. Solve t = 2*t, -2*i + 6 = -q*t for i.
3
Let k = -1537 + 1541. Solve 0*q - 2 = 2*q - 2*i, -k*q + i = 16 for q.
-5
Suppose 4*s + 183 - 55 = 0. Let z = -29 - s. Suppose -z*j = -5*j + 6. Solve 0*y + 13 = j*p - 2*y, -3*p = 5*y - 20 for p.
5
Let w(c) = 2*c**3 + 34*c**2 - 4*c - 66. Let v be w(-17). Solve -4*t - 5*f = -v, f = 2*t + 3 + 3 for t.
-2
Let a = 3 + -1. Suppose -a*x + 22 = -0*x. Suppose 5*f - 4 = x. Solve 0 = c - f*s + 5*s + 3, -5*s - 15 = 4*c for c.
-5
Suppose 0 = -44*b + 149 - 17. Solve 3*k + 12 = 0, -3*n - b*k + 2 - 8 = 0 for n.
2
Let x(p) = 6*p - 15. Let b be x(3). Solve -b*a - 1 = -o, 2*o - 7*a = -4*a - 1 for o.
-2
Let g(s) = -s**2 + 14*s + 37. Let c be g(16). Solve -3*j = x - c*j - 1, 4*x + 5*j - 4 = 0 for x.
1
Let d be (-7)/((-3)/(-2)*(-20)/60). Suppose -z - 10 = -d. Solve -4*r + 3*y - 6*y - 23 = 0, -4*r - z*y - 24 = 0 for r.
-5
Suppose 10 = 2*s - 70. Let o = s + -24. Solve -l + 0*l + 2*n + 6 = 0, o = 4*l - 4*n for l.
2
Let q = 19 - 2. Let k(z) = 5*z**2 - 2*z**2 - 3*z + z**3 + 1 - 4*z**2 - z**2. Let j be k(3). Solve -j = -4*b - r + q, -5*b + 27 = -r for b.
5
Let k be (-5 + 12 - 8)*-5. Solve 16 = 2*s + 2*s - k*v, 5*s = v - 1 for s.
-1
Let z be (-2 + 3)/(11/77) - 5. Solve 1 = 3*h + z*k + 14, -5*k - 15 = 4*h for h.
-5
Suppose -3*b - 7*t = -3*t, -4*t = 2*b. Let i = -819 + 549. Let f be i/81*12/(-10). Solve 0*w + w - 3*y = f, 2*y = b for w.
4
Suppose -1 + 9 = 4*o. Let v be o*(-3)/8*-4. Let y be 0 - (-5 + 6/v). Solve 0 = 5*u + 5, 0 = 3*b - 2*u + 1 - y for b.
0
Let a(d) = -2*d + 2*d + 4*d - 2*d + 54. Let g be a(-26). Solve 3*u - g*l = 3, -5*u - 2 = -0*u - l for u.
-1
Let p be 4/(2 - -2) - 2. Let m(a) = -14*a**3 + a**2 + a + 1. Let b be m(p). Let k be (-1 - -7)*10/b. Solve k*g + 4*y = 1 - 25, -g - 21 = 4*y for g.
-1
Let x(z) = 102*z + 204. Let u be x(-2). Solve u = 4*l - g - 9, 0 = -2*l + 5*g + 8 + 1 for l.
2
Let j(s) = -s**3 + 7*s**2 - 7*s - 2. Let m be j(6). Let w = m - -12. Suppose 0 = w*c - 5*c + 5. Solve 2*k = k - 5*p - 26, 5 = c*k - 2*p for k.
-1
Let f = 96 - 96. Suppose f = -6*o - 38 + 50. Solve 4*t = 3*x - 1, 0 = 3*x - 5*t + o*t for x.
-1
Let c be ((-32)/20)/((-4)/20). Let z = c + -3. Solve 4*o - 7 - 21 = -3*k, 3*k + z*o = 32 for k.
4
Suppose -114 = -3*w - 3*w. Solve -3*v + w = x, 2*v = -4*x + 43 - 17 for v.
5
Let u be (1/2)/((-12)/(-72)). Suppose 5*z + 21 = -2*a, -20 = u*z - 5. Solve 2*m + 8 = a*s - 4*s, -5*m - 28 = -3*s for s.
1
Let s = 116 + -66. Suppose s = -3*w + 56. Solve 3*l - 2*u = -0*u - 8, -w*u = -2*l - 8 for l.
0
Let h be (-4)/(-1) - 2*1. Suppose 50*g = 51*g - 4. Solve -4*r - g = -h*m, -5*r - 2 = -3*m + 3 for m.
0
Let r(v) = v**3 - 4*v**2 - 7*v + 14. Let g be r(5). Solve 12 = 4*c + g*t, -2*t = 5*c - t - 3 for c.
0
Suppose 0 = -3*o - 1