lve 2*b + 5*x = 13, u*b = x - 3*x + 10 for b.
4
Let q be (-30)/(-9)*102/85. Solve -4*b - 4*s + 24 = 0, 0 = q*b + 2*s + 5 - 25 for b.
4
Let f = 1378 - 1355. Solve 3*r + 6 = -4*p, -f = -4*r + 3*p - 6 for r.
2
Suppose 2*s = -0*r - r - 6, 3 = -3*r - 3*s. Let g = 16 - 9. Solve 3*p - g = r*u, 2*p + 2*u = p - 11 for p.
-3
Let q be 35/(-63)*-3 + 28/21. Solve -d = -4*b + 17 - q, 4*b = 5*d + 22 for b.
3
Let z be 10/6 + 10/30. Solve -h = -z*g + 10, 0*g + 4*g - 5*h = 20 for g.
5
Let b be 862/70 - 10/(-35) - 2/(-5). Suppose 3*c + c - 40 = 0. Solve -x - 5*q + q - b = 0, x = -3*q - c for x.
-1
Suppose -z + 5*j + 25 = -6*z, 25 = -4*z - 5*j. Suppose z = -17*y + 16*y + 2. Solve -y*p + 3*s - 30 = -5*p, -s = -5 for p.
5
Let d = 18 - -31. Let r be (12/21)/(7/d). Solve 0 = 3*i - 0*c + r*c + 8, -5 = -5*c for i.
-4
Suppose -2*m - 11 = 2*a + 157, 4*a = -2*m - 176. Let r be 33/30 + 8/m. Solve d + 0*v = -4*v - r, -5*d - v - 5 = 0 for d.
-1
Let p = -13 + 27. Let j = 38 - p. Solve -j = -4*t + l + l, 4*l + 4 = -3*t for t.
4
Let s be (-3)/(-4) + (-303)/(-12). Let r = s - 4. Let c be 268/r - (-6)/(-33). Solve -5*a - c = 2*x + 7, 3*a - x + 18 = 0 for a.
-5
Let q(z) = -z**3 - 1. Let y be q(1). Let d(l) = -l. Let u be d(y). Solve p - 3*t + 0*t = 0, 4*t = u*p for p.
0
Let s(w) = -2*w**2 + 8*w - 1. Let l(g) = g**2 - 4*g + 1. Let j(y) = -5*l(y) - 3*s(y). Let m be j(5). Solve d - t = -3*t + 3, -m*t = -4*d - 21 for d.
-3
Suppose 2*u - 18 = -10. Suppose -u*d + 2*q - 8 = -24, -3*q = -6. Solve h - 25 = d*l, -h = h for l.
-5
Let d = 2 - 2. Suppose s - 3 = -g - d*g, -2*g + 9 = 3*s. Let l be 4/3*(-18)/(-4). Solve o + 15 = -2*i + l*i, 10 = s*i - o for i.
5
Let q(f) = -4*f**2 + 35*f - 19. Let r be q(8). Solve 3*v - r*d + 2*d = 6, -3*d + 18 = 3*v for v.
4
Let r = 41 + -35. Let i be (-2)/r*(-5 - -2). Solve 5*w - 4 = i, -q + 3*w = 5 for q.
-2
Let r be ((-192)/80)/((-1)/(-5)*-1). Solve 0 = 4*o - 5*w + 3, 0 = 5*w - w - r for o.
3
Suppose 0*s - 37 = -2*s - 5*h, -4*h = s - 26. Let o be 0*(-1)/s*2. Solve i - 3*w = -o*w + 1, 4*i = -3*w - 11 for i.
-2
Let j = -3 - -8. Suppose -4*t = 0, -2*f - t = -j*f. Suppose f = -2*q - q. Solve 3*h = -4*m - 4, 2*h - 4*m - 4 = -q*m for h.
0
Let w be (-40)/16*4 - -20. Solve 15 = 3*c - 3*s + 7*s, -2*c + 5*s = -w for c.
5
Let u(h) = h**3 + 13*h**2 - 36*h - 88. Let j be u(-15). Solve -j*o = 10, 5*o = -4*d + 3 - 20 for d.
2
Let p be ((-6)/4)/((-1)/(-6)). Let x be (12/p)/(4/6). Let m be x/(-4) - 27/(-6). Solve -m*h = j, h - 17 = -h + 3*j for h.
1
Let g = -224 - -224. Solve -4*r = -g*r - 2*i + 8, -4*r = -i + 4 for r.
0
Let g = -567 - -571. Solve g*w + 2*j = 0, 0 = -5*w + 3*j - 11 for w.
-1
Suppose 2*h - 41 + 37 = 3*r, 0 = -4*h - 4*r + 28. Solve -2*x - 2*k - 6 = 0, 3*k - 18 = -4*x + h*k for x.
2
Let q be ((-10)/8)/((-15)/60). Suppose 0 = 2*k - 4*f + 14, 2 + q = 4*k - f. Solve -k*h + s - 2 = 0, 11 = -h + 4*s + 3 for h.
0
Let v be (-3 + 4 - 4)*-1. Suppose 29 = -5*h + 4, -3*t + 60 = -3*h. Suppose 0*l = v*l - t. Solve u + 3*u + 8 = -4*j, 4*u - 1 = l*j for u.
-1
Let d(v) = -v**2 - 9*v + 15. Let i be d(-10). Solve i*k - l = -9, -k + 4 + 3 = 2*l for k.
-1
Let n = -1453 + 1465. Solve -3*s = -2*b + n, b + 7 = 4*s - 9*s for b.
3
Let s(o) = o**3 + 5*o**2 + 10*o + 28. Let j be s(-4). Solve 0 = -2*h + j*u + 18, 4*h + 0*u + 14 = -2*u for h.
-1
Suppose -4*z - 2*n = -108, 4*n = -5*z + 112 + 23. Suppose -9*r + z = -0. Solve 4*b + r*g - 4*g - 9 = 0, b = -5*g + 18 for b.
3
Let h be 10/(0 - (-4)/(-4)). Suppose 2*p + 54 = 4*q, 0 = q - 0*q + 2*p - 21. Let o = h + q. Solve 5*d = -0*c - o*c - 20, -2*d + 4*c + 22 = 0 for d.
1
Let j(l) = -l**3 + 13*l**2 - 18*l + 74. Let v be j(12). Solve 0 = 2*w + 3*c + 9, -w + 2*c = -v*c - 12 for w.
0
Let h be 61/7 + (-3)/(126/(-12)). Solve -4 = -y - 3*u, 0 = -3*u - 0*u + h for y.
-5
Suppose 14 + 6 = 2*c. Suppose 6*d - 2*j + 16 = c*d, -2*j + 8 = 0. Solve -f = -i + 7, -d*i + 3*i - 15 = 3*f for f.
-4
Suppose 11*f = 72 + 27. Suppose 10 = 2*s + 3*s. Suppose 0 = -4*r - 14 + s, -2*o - r + 5 = 0. Solve -2*g = -q - 2*q + f, -4*q = -o*g - 16 for g.
-3
Let r be 14/(-28) - ((-603)/2)/(-3). Let x = -91 - r. Solve -3*j + 22 = -6*j - 5*p, -4*j = -3*p + x for j.
-4
Let o = 130 + -118. Suppose 10*w = 7*w + o. Let m(v) = v**2 - 2*v + 1. Let g be m(1). Solve g = -5*h - 5*z, w*h + 3*z - 5 = -2 for h.
3
Let j = 0 + -3. Let l be 26 + (-1 - -1)/j. Let q be -1 - 8/6*(-138)/184. Solve 4*x = -0*a - 2*a - l, q = -a - 3*x - 17 for a.
-5
Suppose 0 = -13*i + 9*i + 36. Suppose i*y - 8*y - 5 = 0. Solve -y*n = -4*w - 28, 2*n = 7*n - w - 22 for n.
4
Let f be (-6)/(-9)*(-6)/(-4). Let p be -2 - (f - (-3 + 1)). Let b = -2 - p. Solve h + 2*g = -b*h, 3*h - 5*g = 26 for h.
2
Let k = -130 - -133. Solve 2*n + k*b = 3*n - 16, 5*b = -20 for n.
4
Let u be (-1)/(2*3/(-24)). Suppose k + 0*k - u = -p, -3*k - 9 = 0. Solve 5*o = 2*t - p, 4*o = -2*t + t - 16 for o.
-3
Suppose 8*y - 8 = 4*y. Suppose -4*i - y*u + 4 = 0, 0 = 3*u - 7 + 19. Solve -5*q + 0*s + 2 = 3*s, -q - 4*s = i for q.
1
Let r be (18/4)/((-108)/(-144)). Solve 3*y = 6*y + r, 5*f + 4*y = -18 for f.
-2
Let s be (-2)/4 - (15/(-2) - -2). Suppose -s*m + 3*j = 5, 0*m + 2*m - j = -1. Solve -2*h = y - 5, -2*h + m = 2*y - 6 for y.
3
Let l = 11 + -7. Let i be (-16)/6*(-6)/l. Solve -4*v = -3*c - 1 + 4, i*c - 3 = 5*v for v.
-3
Suppose -8*l = -12*l - 12. Let a(s) = -s**3 - 2*s**2 - 7. Let q be a(l). Solve -j = 5*i + 11, q*j + 4*i - i = -8 for j.
-1
Suppose -v + 170 = -3*x - 0*v, 3*v + 40 = -x. Let a = x - -77. Let s = a + -18. Solve -2*i - 2*k + 4 = 0, -17 = -s*k + 3 for i.
-3
Let g(u) = -8 + 6*u + 18 + 0*u. Let n be g(4). Let d be (4 - 6)/((-4)/n). Solve s - 5*w - d = 0, s + 2*s - w = -5 for s.
-3
Let z = 85 - 81. Let s be 4/6 - (-46)/(-6). Let m = 11 + s. Solve -7*f + 2*f = 3*v + 4, -m*f - z*v = 0 for f.
-2
Suppose -4 = 2*p + 2*l, p + 0*l - 5*l - 10 = 0. Solve -2*t + 5*w + 9 = p, -t + 3*t = 2*w for t.
-3
Let w = -12 + -16. Let f = 30 + w. Solve 5*i + 15 = -5, -f*u + 5*i = -26 for u.
3
Let u = -285 + 287. Solve -u*q + 2*i = 8, 4*q + 5*i = 2*i + 12 for q.
0
Suppose 3*m = 121 - 79. Suppose -20 = -m*y + 9*y. Solve -3*g + y*g - 2 = 5*i, -14 = -i + 5*g for i.
-1
Let f be (-122)/(-4) + 4/8. Suppose -f = 4*x - 47. Solve 2*m = 10, -p - x*m + 9 = -13 for p.
2
Let t(i) = i**3 + 31*i**2 + i + 33. Let w be t(-31). Solve -5*h = k + 26, w*h + 3*k - k = -12 for h.
-5
Suppose -5 = -14*l + 247. Solve 3*y = v - l, -27 = v - 5*v + 3*y for v.
3
Let z(w) = -w**2 + 8*w - 3. Let m = -59 - -66. Let d be z(m). Solve 5*t = d*q - 33, t - 4 + 1 = -4*q for q.
2
Let k(j) = 2*j**3 - 2*j**2 - 7*j + 10. Let l be k(2). Solve -y = 5*h - l*y, 0 = -2*h + 5*y for h.
0
Let q(i) = -i**3 - 24*i**2 - 46*i - 42. Let v be q(-22). Solve -4*w + v*u + 6 = -0*w, -3*w - 3*u = 18 for w.
-1
Let h(n) = n**3 - 8*n**2 - 15*n - 21. Let x be h(10). Solve 5*c = 2*l - x, -2*c + 5*l - 12 = 8 for c.
-5
Suppose -52 = -3*l + 5. Suppose -3*q + 12 = -5*x - 17, -x = -5*q + l. Solve -u + 4 = -q*s - 7, u = 5*s + 15 for s.
-2
Let a be 4 - (-7)/((-70)/20). Solve t + 5 = a*q, -5*q + 35 = -t + 6*t for t.
3
Let w = -4 - -9. Suppose -3*s + 8*s = p + 48, s - 14 = -2*p. Suppose -4 = 4*g + 3*t + 2, s = 5*g - w*t. Solve -5*c + 7 = 3*r, r - 4*c = -g + 8 for r.
4
Let m(r) = 8*r + 50. Suppose -42 = 15*v - 8*v. Let d be m(v). Suppose 3*y = 6, -3*k - 5*y + 28 = 6. Solve -k*i = 5*w + 4 + d, -3*w + 5*i = 11 for w.
-2
Let x(r) = -10*r + 155. Let f be x(15). Solve -5*a + 7 + 3 = -f*c, -2*c - 2 = -4*a for a.
-1
Let r(f) = -3*f + 50. Let y(q) = -q + 1. Let g(u) = r(u) - y(u). Let w be g(23). Solve -6 = -2*d, -11 = -c - 3*c + w*d for c.
5
Let r(c) = 5*c**2 - 1. Let n be r(-1). Let b = -7437 + 7440. Solve -b*x + 3 = 3*s, 0*x - 6 = -x + n*s for x.
2
Let m = -23 + 2. Let g = m - -23. Solve -2*k + 10 = 4*l, -6*k + g*k = 2*l - 2 for k.
-1
Suppose -3*k + 28 = -4*i, -2*i = -k + 3*i + 24. Solve -k*s - 1 = -4*w + 3, -s - 1 = 4*w for w.
0
Let g = -34 + 35. Suppose b + 2*b = 4*y - g, 0 = -2*b + 4*y - 6. Solve -13 = 4*x - 5*h + 8, b = 5*h for x.
-4
Let u be (-15)/(-35) - (106/(-14) - -5). Solve 5*r + 3*j + 14 = -0*r, 0 = r + u*j - 2 for r.
-4
Let l be (0 + 1/2)*20*1. Let g be l/1 - (9 - 7). Solve d = 3*b - 4*b + g, -2*b - d + 13 = 0 for b.
5
Let i(h) = -7*h**2 + 2*h + 2*h**2 + 6*h**2. Let g be i(-5). Suppose -g - 1 = -4*r. Solve -2*j = 3*x - r, -2*x + 12 = 