d - 7*d for z.
-5
Suppose 2*v = -3*v + 40. Suppose i = -3*i + v. Suppose -3*q = -q - i*x - 12, -x = q. Solve -3*o - 6 = -0, q*l - 3*o = 0 for l.
-2
Let h(q) = 13*q + 8*q**2 + 2*q - 5 - 4*q - 1 + q**3. Let x be h(-6). Solve -2*d + 2*g + 6 = x, 0*d + 9 = -5*d - g for d.
-1
Let i(u) = u**2 - 10*u + 12. Let s be i(9). Suppose 3*j - 15 = -5*t, t - s*t + 6 = -5*j. Solve 11 = 4*v + 3*b, -t*b - 4 = -3*v - b for v.
2
Let v be (-4)/8 + (-46)/(-4) + 0. Suppose 4*u + 30 = 6*u. Let p = u - v. Solve p*k + 3*x = -20, -k = 4*x + 1 + 17 for k.
-2
Suppose y + 1 - 4 = 0. Let b be ((-2)/(-4))/(1/8). Suppose 8*x - 2*u = 3*x + 14, -4*u - 4 = -b*x. Solve -y*r + x = 5*w - 10*w, r + 4 = -w for w.
-2
Let q be (-429)/(-44)*(-8)/(-3). Let t = -4 + 7. Solve 4*j + t*b = -25, -4*j = j + 2*b + q for j.
-4
Let z = -3 + 1. Let s be z + 2 + 0/1. Suppose s*f + p - 3 = f, 5*p = 2*f + 18. Solve 2*g + 0*g - w + f = 0, -w = 3*g - 11 for g.
2
Let o(y) = -y**2 - 31*y - 28. Let f be o(-30). Solve -9 = -3*a, 0 = -3*r - f*r - a + 28 for r.
5
Let h(u) = u**3 + 3*u**2 - 5*u + 1. Let x be h(-4). Solve -3*q = -5*j + 14, 3*q = -x*j + q - 1 for j.
1
Let m = 1 - 1. Let x be 0 + (0/(-3))/(-1). Let t = x - 0. Solve t = p - 4*l - m*l, -4*p = 4*l for p.
0
Suppose -3*i = -4*a - 22, -i + 3*i = -5*a - 16. Let b be i - (3 + -2 + -3). Solve f + 16 = -3*k, -4*k + b*f - 8 = 2*f for k.
-4
Let y(a) = a**3 + 4*a**2 - 5*a - 9. Let d be y(-5). Let g(q) = q**2 + 10*q + 11. Let x be g(d). Solve -2*z - 3*t = -4, 3*z - 4 = -x*t + 2 for z.
2
Suppose -i + 1 = -1. Suppose 3*j + i = p + 1, 5*p - 15 = 5*j. Suppose 4*o - 39 = 1. Solve 2*z - o = -p*s + s, 4*s = z + 6 for z.
2
Let j(h) = -7*h**3 + 2 - 2*h**3 + 2*h**3 - 2*h - 3. Let z be j(3). Let l be 2/(-3) + z/(-6). Solve 2*b + g = 12, -4*b - g + l = 3*g for b.
4
Let p = 21 + -13. Suppose 0 = -2*y - 4*w + p + 30, 0 = 4*y + 3*w - 51. Let s(t) = -t + 10. Let b be s(6). Solve 20 = -b*l - 3*n, 3*n + y - 1 = 2*l for l.
-2
Let g(a) = -2*a - 4. Let t be g(-4). Solve -2*w + 0*w - t = -3*l, 2*l = 2*w + 2 for w.
1
Let g = 51 + -46. Solve 5*z + 10 = -5*m, -g*z + 2*m - 28 = m for z.
-5
Suppose -d = 2*d. Let y = d - 0. Suppose 3*t - 7 = -2*q, -29*t - 3 = -32*t - 3*q. Solve -4*h + 2*h + t*j - 24 = y, 2*h - j = -8 for h.
-2
Let r(z) = -2*z**2 + z. Let b be r(-1). Let c be 3 + (18 - 1) + b. Solve 3*t - 2*t + 2*g - 9 = 0, c = 3*t + 4*g for t.
-1
Let u be (-18)/6 - (27 - 1). Let l = -20 - u. Let v = 0 - -3. Solve -v*m + 5*w = -1, 2*m - l = -4*w - w for m.
2
Let o(s) = s**3 - 24*s**2 + 2*s - 45. Let v be o(24). Solve -4*i = 5*w - 22, -v*w + 8*w + i = 13 for w.
2
Let l(w) = 2*w - 3*w - 2 + 0. Let f be l(-3). Let n be (-4 + f)/((-6)/4). Solve 3*k - 32 - n = 5*u, -3*k + 4 = u for k.
3
Let c = 87 - 82. Solve -c*b + 3 = 2*z - 8, b = -2*z + 7 for z.
3
Let v(d) = -d**2 + 19*d + 47. Let f be v(21). Solve 4*g + 15 = 2*s + 3*s, -5*g = -f*s + 15 for g.
0
Suppose -x = -4*j + 12, -2*j - x = -3*x. Let k = -5 + 9. Let l be (k + -3)/((-1)/(-3)). Solve 0 = -j*h - 4*i + 7 + 5, -i = -h + l for h.
3
Suppose -2*f - 4 = -8. Let u be (-10)/(-2 + 4/1). Let j be (-11)/(-5) - (-1)/u. Solve j*b - 2 + 4 = -2*d, 0 = -4*d - 2*b + f for d.
2
Suppose 0 = -3*x - 2 + 17. Solve -3*t - c - 15 = 0, x*t = t - 4*c - 28 for t.
-4
Suppose -3*o + 8*o - 45 = 0. Let k = o + -7. Solve -2*h + 0*t - k*t + 2 = 0, 3*h - t - 11 = 0 for h.
3
Let t(v) = 4 - 5 + v**3 - 6 - 5*v**2 - 4*v. Let z be t(6). Solve 3*j = -z*c - 2, 0 = j - 6*j - 3*c - 14 for j.
-4
Let p(f) = f**2 - 9*f + 7. Let v be p(8). Let z = 13 + v. Solve 0 = r + 4*r - l + z, 0 = -3*r - 3*l for r.
-2
Suppose 3*y + 4*u + 0*u - 29 = 0, 0 = 3*y + 5*u - 34. Suppose 0 = 5*s - 5*b - 30, s + 5*b - y = -15. Solve -5*q + 5*a - 6 = -36, -s*q = 2*a - 13 for q.
5
Let j be (21/(-5))/((-2)/(-10)). Let a = -18 - j. Solve 12 = 2*q - 2*k, -a*k - 23 = -q - 3*q for q.
5
Let i(z) = -4 - 2 - 3*z + z. Let o be i(-3). Suppose a + 4*a - 35 = 0. Solve d = r + a, -2*d + r = -o*d - 12 for d.
5
Suppose 0 = -11*a + 24 + 9. Solve -5*r + 5 = -a*i - 0, 1 = r - 2*i for r.
1
Let d = -25 - -37. Let p be -21*((-44)/d - -3). Solve 0 - 18 = -q + 5*l, 0 = -5*q - l - p for q.
-2
Let x = 1 - -3. Suppose -x*p = -14 + 2. Suppose p*v + 2*v = 0, -v + 15 = g. Solve -3*y - g = -o, 4*o - 5*o = 4*y + 13 for y.
-4
Let k be 3 + (-1 - -1)/(-3). Suppose 2*r = -2*w + 22, -k*w - r + 31 = 3*r. Solve 36 = -y - 5*j + w, 5*y + 4*j + 31 = 0 for y.
-3
Let s = 4 + 10. Suppose 0*o + 5*o - j - s = 0, -20 = -5*o - 5*j. Let k = 3 - o. Solve -5*u = 3*b - 25, -3*b = -k*u + 2*u - 19 for u.
2
Let b(g) = g**3 + 4*g**2 + g + 9. Let o be b(-4). Solve 5*d + 20 = 0, o*d + 10 + 6 = h for h.
-4
Let v be 2 + 3/6*2. Suppose 0 = v*z - 24 - 6. Solve 0 = 3*g - x + 2*x - z, 0 = -4*g - 2*x + 10 for g.
5
Let z = -2 + 2. Let v(s) = -s**2 - 6*s + 10. Let a be v(-7). Let i = a + z. Solve -i*r = 3*j + r + 14, 0 = -3*r - 15 for j.
2
Let g(a) = -a**3 - 6*a**2 + 2. Suppose 1 = p + 7. Let m be g(p). Solve 5*v = 2*t + 2, 3*v - t - m*t - 3 = 0 for v.
0
Let o be ((-8)/(-14))/((-28)/(-98)). Solve -5*q + 15 = 0, 3*q + q - 16 = o*h for h.
-2
Suppose 0 = -0*c - c + 22. Solve -10 + 2 = 2*y + 2*f, -4*f - c = -2*y for y.
1
Let h = 4 - 2. Let c = 2 - h. Let w be -7 + 9 - (-1)/1. Solve c = -i + 2, -w = -5*l + 5*i - 18 for l.
-1
Let i(r) = r**2 - 3*r + 3. Let d be i(3). Solve -12 = p + 2*t, -d*p - 4 = -t - t for p.
-4
Let b(u) = 2*u - 5. Let d be b(5). Suppose 0 = k - 3*k + 6. Suppose g + k*g = 8. Solve -q = r, -4*r - d = q - g*q for q.
1
Let f be (-12 - -7) + -2 + 12. Solve f*a - r + 6*r = 10, 3*r = 9 for a.
-1
Suppose 13 = -t + 4*t - v, 2*v + 6 = 2*t. Solve -t*q = -3*c - 25, q - 6 + 1 = -c for c.
0
Let y = 8 + -3. Suppose 0 = 4*x - 4*w - 12, y*x - 52 = -3*w - 13. Let p be -3*3/x*-8. Solve 4*t + 3*q = -p - 8, 4*q - 10 = 2*t for t.
-5
Let r = 8 + -5. Let b be 3/9 + 28/6. Solve -r*j + 11 = b*n, -2*j = 3*j - n - 9 for j.
2
Suppose -3 = -3*n - 2*w + w, 0 = -5*n + 4*w - 12. Solve 4*u - g + 3 = n, 2*u + 2*g - 1 + 5 = 0 for u.
-1
Let p = 15 - 10. Solve -13 = -p*c + 3*s, 1 = -4*c + s + 10 for c.
2
Suppose -16*o = -9*o. Solve 2*i = 5*v + 30, 4*v - i = -o*i - 21 for v.
-4
Suppose 2*y + 5 = 3*y. Let s(l) = 7*l**2 + 0*l**3 + l**3 - l**2 + 4*l + 7. Let v be s(-5). Solve 2*d + 2*d + v = 2*b, -y*b = -3*d - 2 for b.
-2
Let r be 2/(39/(-15) - -3). Solve 4*z - 2*i = -i + 7, -r*z + 2*i = -11 for z.
1
Let y(p) = p + 1 - 3*p + p. Let z(o) = 2*o + 4. Let l(r) = 5*y(r) + z(r). Let v be l(-8). Solve -41 = 4*t + 4*k + k, 2*t + 5*k = -v for t.
-4
Let y = 11 - -9. Suppose -5*k + l = -y, -4*k = -0*l + 2*l - 2. Solve 5*b + k = -4*j, 0*j = 2*b - 5*j + 21 for b.
-3
Let y(u) = 14*u**2 + 2*u - 1. Let k be y(1). Suppose r - 1 = -f + 4*r, -r = -4*f + k. Solve -v + 16 = -s - 3*s, 5*v = -s - f for s.
-4
Suppose 2*b = 7*b - 15. Suppose -2*y + 5*g + 3 = -19, -22 = -b*y + 2*g. Suppose s = 8 - y. Solve -s*t + 0*q - 6 = 2*q, 0 = 5*q + 15 for t.
0
Let x(c) = -c**3 - 9*c**2 - 11*c - 4. Let f be x(-8). Let i = 24 - f. Solve k = 0, 6*k + 20 = i*z + 3*k for z.
5
Let p = 8 - 4. Let l(q) = -7 + 2*q**3 + 5*q**2 - p*q**3 + 2*q + q**3. Let m be l(5). Solve 4*b + 2*r = 12, 3*b + m*r + 2*r = -5 for b.
5
Let z = -8 - -5. Let p be 0/(1*(z + 2)). Solve q = -5*d - 30, 3*d - 2*q + q + 10 = p for d.
-5
Suppose -8 = f - 0*f. Let k = 13 + f. Let d = 0 + k. Solve -1 - 7 = -4*b, 2*b = d*y - 21 for y.
5
Let i = 17 - 12. Let y = -3 + i. Solve -m - y*t = -t, -6 = -2*m - 4*t for m.
-3
Let s(c) = c**2 - 8*c + 9*c + 8 - 3. Let k be s(0). Suppose 9*m = 7*m. Solve -y + 3*y - 2*a + 10 = m, k*a = -y + 7 for y.
-3
Suppose 2*t + 9 = 33. Suppose 2*i + i = t. Let f = -2 + 6. Solve -d + b - 1 = 2*b, d - f*b - i = 0 for d.
0
Suppose 0 = 3*i + 2*i. Let l be 0 + 2 + i + -2. Solve 5*m = 2*d + 21 - l, 3*d - 3*m = -18 for d.
-3
Let v be (10/6)/(17/(-9) + 2). Suppose 0 = 3*p + l + 10, l + 15 = 4*p - 8*p. Let o = p - -8. Solve -n + 8*f = o*f - v, n = 3*f + 7 for n.
-5
Let u = 7 - 6. Let o = 3 + -2. Let j be u/o*(1 - -1). Solve j*h - 2*r + 9 - 3 = 0, 4*r = -h + 17 for h.
1
Let v be (12/72)/((-1)/(-30)). Solve 0*y + 7 = 3*y - b, -v*y = -3*b - 17 for y.
1
Let n = -13 + 8. Let z = -8 - n. Let f be 3 - 3/z*1. Solve f*h + 5*m + 25 = 0, 5*m = -3*h + 2*m - 15 for h.
0
Suppose -19 = -3*k - 4. Suppose 0 = -4*j - 5*w + 63 - 20, 0 = 5*j - k*w - 20. Solve 5*o + j = -4*i + 3