 = -3*z - 17 for d.
-5
Suppose 10*s - 4*s = 0. Let m = -8 + 10. Let g(b) = 5*b - 2. Let x be g(m). Solve -5*k + 5*q + 12 = -x, s = -3*k + 2*q + 8 for k.
0
Suppose -9*w + 4*w = -k + 15, 5*w = -3*k + 5. Let v be 9/(-12)*w/3*0. Solve v = 5*z - 20, -2*z = x - 0*x - 8 for x.
0
Let f(b) = b**3 - 6*b**2 - 6*b + 6. Let g be ((-10)/(-6))/((-10)/(-36)). Let a be f(g). Let v be (-1)/(-6) - 55/a. Solve -6 = v*x - 5*x, 3*x - 22 = 4*y for y.
-4
Let n(r) = r**3 - 2*r**2 - r + 4. Let i be n(0). Suppose i*x - 11*x = -70. Solve 3*u - 6 = -5*m + 2*m, 5*m + x = -u for u.
5
Let x = 50 - 8. Let v = x + -39. Solve -h = 4*o + 1 - 2, 2*o = v*h - 17 for h.
5
Let c = 12 + 6. Suppose 2*q = q + 14. Let g = c - q. Solve g*h = 4*k + 20, h - 3*k = -5*k - 7 for h.
1
Let m be (-45)/(-10) - (-39)/26. Solve -t = 5*j + 15, -7*t - j = -m*t + 7 for t.
-5
Let m(w) = -w**3 + 24*w**2 - 20*w - 64. Let o be m(23). Solve -5*k = 3*u - 10, 5*k + o - 40 = 2*u for u.
-5
Suppose -28 = 2*z - 36. Solve q + 24 = z*m, -2*m - 33 = 2*q - 7*m for q.
-4
Suppose -2*o + 21 = 5*m, 6*o = 8*o - 2*m - 42. Solve -2*g + 6*g - 4 = 4*s, 0 = -2*g - 2*s - o for g.
-4
Suppose 0*z + 14 = z. Suppose 16*i - z*i - 4 = 0. Solve 4*r + 2*s + 5 + 1 = 0, -3*s = -i*r + 1 for r.
-1
Suppose -2*c = 11*c. Solve 4*o + v + 4*v + 3 = c, 3*v = 3 for o.
-2
Suppose 3*b - 42 + 114 = 0. Let q be (b/(-4) - -4) + -3. Suppose -q = -r - 5. Solve -6 = -5*o + h, 4*o + r*h - 2 = -0 for o.
1
Let v = 35 - 33. Let n = 107 + -102. Solve -n*q = 5*l + 20, v*l - 6 = -q + 3*l for q.
1
Suppose 0*a = -4*a + 28. Let w = 7 - a. Suppose -3*u + 11 + 4 = w. Solve 0 = u*c + 20, c = -2*l - 2 - 12 for l.
-5
Let y(w) = -11*w**2 - 37*w - 4. Let v be y(-3). Solve -v = -4*q - 5*d, 2*q + 2 = 2*d - 3*d for q.
-3
Let l = 151 + -147. Solve 0 = -3*k + 2*r - 4, 0 = -l*k - 0*r - r + 13 for k.
2
Suppose -2*c + 21 = 5. Suppose 5*r - 4*r = -4, -5*i + 2 = 2*r. Suppose -30 = -7*z - i. Solve d = -m + z*m + 14, -3*m = 2*d + c for d.
2
Let p be (14/4)/7*0. Suppose 4*s + s - 20 = p. Solve -2*q - 16 = -3*c - 4*q, -20 = -s*q for c.
2
Suppose -24 + 69 = 4*d + y, -2*d - 5 = -5*y. Let r = d - 10. Suppose -20 = -21*v + 16*v. Solve -3*i + v*i + n - 5 = r, -2*n + 19 = 5*i for i.
3
Let v = 55 - 52. Let h be (-4)/v*2/((-6)/9). Let g(d) = 2*d**2 + 3*d + 2. Let n be g(-4). Solve -n = h*x + f, 5*x = -5*f + 5 - 40 for x.
-5
Let s = -19 + 23. Suppose 0 = 2*x + 2 - 18. Let z = x + -5. Solve -d - z = -a - s, 4*d + 3*a = -17 for d.
-2
Let z = -50 + 62. Suppose r = 3*r - z. Solve 0 = -j + 2*n + 2 - r, 5*j + 2 = 4*n for j.
2
Let b be (-62)/(-6) - 2/(-3). Let y = 11 - b. Suppose y*z = -6*z + 30. Solve z*d + 5*w = 4 + 21, 5*d - 22 = -4*w for d.
2
Let y be 1 + 10/(1 - 6) + 5. Solve m = y*f - 0*f - 21, 5*f = -m + 24 for f.
5
Suppose -3*b = 5*i - 64, b + b - 4*i = 28. Suppose 3*m - z = 21 + b, -3*z + 26 = 2*m. Solve -2*s - s = -n - m, 4*n = -5*s + 16 for n.
-1
Let n(o) = -o**2 - 10*o - 12. Let p be n(-8). Suppose r - 6*r + 10 = 0. Suppose 5*l - 12 = 3*l. Solve -r*a + l = 2*k - p, -15 = -3*a for k.
0
Let c = 100 - 129. Let b = -26 - c. Solve -2*r + 3 = -4*w + 1, b*r = -w - 18 for w.
-3
Let l = 924 - 907. Solve -4*u - o = l, 8 = 4*u - 4*o - 0*o for u.
-3
Suppose 31 = -5*h - 5*s + 56, 2*h - 10 = -3*s. Solve 0 = -4*m + 3*a - 10, -5*m - 27 - 3 = h*a for m.
-4
Let b(s) = -s**3 - 22*s**2 - 22*s - 17. Let a be b(-21). Suppose -3*f + z = 3, -f + 0*f - 2*z = -6. Solve -3*i + 0*i - 5*o = 28, f = -a*i - o - 9 for i.
-1
Let a = -56 - -59. Solve 0 = -3*c - c - u - 15, 0 = -a*c - u - 10 for c.
-5
Suppose -4 = 4*p, -m + 0*m = -4*p - 7. Suppose m*r = 4*r - 4. Solve w + 0*w + 14 = -r*x, 3*w + 3 = x for x.
-3
Let i be 89/5 + 2/10. Let q be ((-2)/5)/(19/665). Let t = q + i. Solve 22 = t*b + 2*n, -2*n - 19 = -4*b - n for b.
5
Let z = -32 - -35. Suppose 3*n + 4*t = 5*n + 6, 3*t = -4*n + 32. Solve z*x - n = 4*l, -x - 5 = 4*x for l.
-2
Let t = 304 + -301. Solve 6*j + 2*p + 24 = j, -t*j = 3*p + 18 for j.
-4
Let y(l) = -l**2 - l + 8. Let a be y(0). Let k = a - 5. Suppose -7 = -3*u + q, -4*u + 7 = -2*q - k. Solve u*s + 7*m - 2*m = 7, -4*m = -4*s for s.
1
Let f(j) = -j**2 + 60*j - 899. Let h be f(31). Suppose -4*l - 12 = -3*n + n, l - 2 = 0. Let m = -5 + n. Solve 0 = -0*p + 3*p + t - 5, -5*p + t - m = h for p.
0
Let o = -35 + 65. Suppose 7*w = 2*w + o. Suppose 3*f + 17 + 8 = 5*a, 3*a - 31 = 5*f. Solve -a*h = -2, 2*h - 1 = -d + w*h for d.
5
Suppose 0 = 4*r + 4*y - 16, 0*r + r - 5*y + 2 = 0. Let j be -1*(-1 + 1) + r. Solve -3*w + 16 = d, 3*d - w = j*w - 17 for d.
1
Let t = 11 + -9. Let q be 122/8 + t/(-8). Let d be (1/3)/(1/q). Solve 5*s + 2*p = 4*s + d, 5*p - 20 = -4*s for s.
5
Let o be 10/8*-2*2. Let v be (-4 - o)*5*1. Solve b - 2*x = v, -3*x + 0*x = -4*b + 20 for b.
5
Suppose 33 - 12 = 7*d. Suppose 3 = -d*r, r + 2 = p + 3*r. Suppose -3 = -c + i - 3*i, 4 = c + 3*i. Solve -5*q = p*g - 9, 2 + c = 5*q - 2*g for q.
1
Let g be 2/(-8) + 3757/52. Suppose 2*s + 5*y - g = -s, s - 4 = 5*y. Suppose -2*x + 4*m = 3*m - s, 0 = -5*m - 5. Solve 3*j - r - 9 = 0, -4*r = 3*j + r + x for j.
2
Let g be (4/(-6))/(2/(-9)). Let i(h) = -4*h**3 + 1 - 2*h**2 + 3*h**g - 4 + 2*h + 0*h**3. Let v be i(-3). Solve 3*z + 2*o - 7 = v, -5*z + 2*z + 8 = o for z.
3
Let r = 4 + 2. Suppose 7 = -2*o + r*k - 3*k, -3*o + 17 = k. Suppose -f - 4 = -4*i, 0 = -5*f + 20. Solve -i*l + 2 - 16 = o*q, 0 = 4*l + 3*q + 13 for l.
-1
Suppose 10*a - 25 = 5*a. Let v = -144 - -147. Solve 18 = a*y + 2*p, -16 = -5*y - v*p + 1 for y.
4
Let v = -219 + 224. Solve 0 = -v*n - 11 - 9, n + 4 = s for s.
0
Let k(b) = b**3 + 12*b**2 + 10*b - 6. Suppose -2*z = -5*p - 0 + 2, -5*z - 4*p = 71. Let x be k(z). Solve x*u = 3*t - 4, 0 = -t + 4*t + u - 10 for t.
3
Suppose 14 = 2*y - 2*t, 2*y - 19 = -y + 5*t. Let j = y + -5. Solve 4*n + i - 4 = j*i, 4*n - i - 4 = 0 for n.
1
Let p = -25 + 30. Suppose 5 = p*c + 5*y, -3 - 3 = -4*c - 2*y. Suppose c*a = 10 - 0. Solve 5*o - 2*d - 12 = -2, d + a = 5*o for o.
0
Suppose -2*z + r + 2*r + 20 = 0, z - 2*r - 10 = 0. Suppose -2*u = 2*t + 14, 4*t - 7*u + 55 = -2*u. Let w = t + z. Solve -3 = -w*g + 3*g, -d - 4*g - 7 = 0 for d.
-3
Let w(p) = p**2 + 3*p + 4. Let r be w(-3). Let i be r/6 - (-2)/(-3). Suppose -6*u + 8*u - 8 = i. Solve 5*b - u*d + 5 = 1, -4*d = -b + 12 for b.
-4
Suppose -18 = -2*g - 7*g. Suppose -g = 4*s - 10. Solve q + 6*m + 3 = s*m, -3*m = -2*q - 6 for q.
-3
Suppose -13*u = -17 - 35. Solve -u*f - 2*h - h = -8, 21 = -f + 5*h for f.
-1
Let p be (8/12)/((-3)/(-9)). Let d(j) = -j**3 - 4*j + 10*j**2 + 5*j - p*j + 10. Let h be d(10). Solve 0 = -5*l + 2*i + 20, 0*l + 3*l - 2*i - 12 = h for l.
4
Suppose 0 = 3*q + 2*b - 59, -91 = -q - 4*q + 4*b. Let n be (-3 + 60/4)/(-1). Let y = q + n. Solve -4*g = 5*z + 37, -4*g - 3*z = -4*z + y for g.
-3
Let q(h) = -4*h**3 + 74*h**2 + 37*h + 20. Let x be q(19). Solve 0 = 3*r - 3*v + 6, 0*v + x = -r + 2*v for r.
-3
Let i(q) = q**2 + 5*q - 4. Let u be i(-6). Let p(c) = -c + 4*c + u*c + 2*c. Let o be p(1). Solve 0 = 2*x - o*x - 5*s, -3*s = 15 for x.
5
Let x = 413 - 413. Solve d + x + 4 = -v, 4*d + v + 19 = 0 for d.
-5
Suppose 13*m - 24 = 11*m. Let s be 3/(-18) - (-74)/m. Let i = s - 1. Solve -5 = -i*a + r - 2*r, 1 = a + 4*r for a.
1
Suppose -3*o = 3*t - 6, -4*o + 5 - 3 = 2*t. Let z be ((-6)/27)/(o/9). Solve -5*q = -3*w + 10, q - 12 = -q - z*w for q.
1
Let s(r) = r**2 + 3*r - 4. Let d(u) = 12 + 2 + 0*u - u. Let q be d(10). Let m be s(q). Solve -5*h = 4*w + m, 2*w + 4 = 3*h + 14 for h.
-4
Suppose 10 - 2 = 2*q. Suppose -q*w = -3*d - 2*w + 12, -w + 5 = 4*d. Solve 0 = 4*a - d - 2, 4*a = v for v.
4
Let h(m) = -m**3 - 11*m**2 - 18*m + 2. Let c be h(-9). Suppose 0 = -c*w + 22 - 16. Solve -5 = l + 2*r, w*l + 5*r = -5 - 9 for l.
-3
Let u(f) = -4*f + 37. Let b be u(13). Let l be ((b/(-4))/3)/((-4)/(-16)). Solve -4*x - 3*w = -x - 12, -4*w + 21 = l*x for x.
5
Suppose -15*q + 3*d = -12*q - 21, -5*q = -d - 55. Let k = -10 + q. Let p = 0 - -5. Solve 5*s = -3*t - 14, -p*t - 6 = 2*s + k*s for s.
-4
Let j(v) = 2*v + 19. Let t = 21 - 21. Let g be j(t). Solve g = 2*z + 5*l - 2*l, 2*l = -5*z + 31 for z.
5
Let a be (-18)/(-10) + ((-40)/25)/(-8). Solve a*g + 3*q + 5 = 2*q, -5*g = -4*q - 20 for g.
0
Suppose 0 = 4*h + 4*y - 8, -4*y - 4 = -0*h + h. Solve h*d + 28 = 5*i - 0*d, -5*d = -5*i + 30 for i.
4
Suppose -4*a = -2*a - 8. Suppose -2 = k - 4*c, 5*k + 0*c +