 = 25*b - 20 for b.
4
Suppose -4*o = -5*p + 30, 2*o + 1 = -5*p + 61. Suppose 0 = 3*x - p - 2. Let y be (41 + -15)*(-1 - (-15)/10). Solve -x = 3*r - y for r.
3
Suppose i - 33 = -3*t, 5*t + 4*i - 24 = 2*t. Let y = -8 + t. Suppose -10*z - 2*o = -5*z - 36, -z + 3*o = 3. Solve -z*n = -2*n - y for n.
1
Let t be 8*((-20)/8 - -3). Suppose 4 = t*c + 4*q, 2*q + 7 = 4*c + 3. Solve -2*d + 9 = c for d.
4
Suppose 82*x - 2*m = 85*x - 48, 0 = 4*x + 3*m - 64. Solve 0 = 8*c - 4*c + x for c.
-4
Suppose 0 = 5*n + 18 - 33. Suppose -4*h + d + 12 = -n*d, 4 = -2*d. Solve 2*m - 3 = -h for m.
1
Let g(v) = v - 9. Let c be g(9). Suppose 2*p + 3*p + 75 = c. Let x = -5 - p. Solve 4*s - x = 6 for s.
4
Let t(i) = -i + 5. Let j be t(0). Let d be -4 - (1 + 0 + -10). Solve d*h - 5 = j for h.
2
Let n be (247/(-39) + 5)*(-8 + 2). Solve n*g - 7*g = -0*g for g.
0
Let i = -64 + 66. Suppose -5*a + 27 = -8. Solve -i*r - a = -1 for r.
-3
Suppose 0 = 2*w - 2*k - 60, 2*k - 56 = -3*w + 34. Solve -4*i - w = -10 for i.
-5
Suppose 5*p - 3*p = -4*k + 24, -4*p - k = -41. Solve 2 + 8 = -p*z for z.
-1
Suppose -2*g - 45 = -7*g + 5*b, -g = -2*b - 6. Solve -g*t - 5 = -11*t for t.
-5
Let k = 244 - 149. Let i be 1/(-4) - k/4. Let f be 2/8 - 114/i. Solve f = 5*s - 20 for s.
5
Let f = -4 - -7. Let p be (-11 - -34)/((-2)/(-4)). Suppose -3*o + 4 = -2, -o = -4*i + p. Solve 0 = 3*q + f - i for q.
3
Let j be (-6)/3*(-1 - 1). Suppose 3*y - j = 26. Let f be (-2)/y*-2*15. Solve x - f*x + 25 = 0 for x.
5
Suppose -4*h = 3*s - 101 - 68, -5*s = -3*h - 330. Let g = s - 39. Suppose 6*y - 84 = -g. Solve y = 3*b + 1 for b.
3
Let o be (-1)/1 + 8 + 3. Suppose 0 = -3*z - 2*z + 2*g + 25, o = 2*z - 2*g. Let b = 0 + z. Solve 0*c + c = -b for c.
-5
Let j be (-2 + 7)/(-5) - (-5 + 2). Let v be 4/(8/j)*9. Solve -t - v = 2*t for t.
-3
Let o = -431 - -431. Solve -7*p + 6 - 34 = o for p.
-4
Suppose 2*r = 5*t - 13, -3*t + 34 = 4*r - t. Solve -3*m + 0*m + r = 0 for m.
2
Suppose -h + 8 = -2*d + 4*d, 3*d = -h + 12. Suppose n = -h*n + 2. Solve 0 = n*m - 4*m for m.
0
Let k(m) = 2*m**3 - 2*m**2 + 3*m - 1. Let s(j) = -j**3 - 3*j**2 + 2*j - 7. Let q be s(-4). Let f be k(q). Solve -2 = f*w - 8 for w.
3
Let t = 83 - 84. Let a be (3 + (-14)/4)/(t/6). Solve -3*d - a = -6*d for d.
1
Suppose p = -3*p - 4*d, -d = 4*p - 15. Solve p*i - 40 = -5*i for i.
4
Let q(o) = -2*o + 1. Let r be q(2). Let b = 9 + r. Solve 3*s = -3 - b for s.
-3
Let v = -252 + 415. Solve 5*r = 178 - v for r.
3
Let s(z) = 20*z - 193. Let m be s(10). Solve -3*w - 7 = -m for w.
0
Suppose -45*y + 41*y = 4. Let z(u) = -3*u**3 - 2*u**2 - 3*u - 1. Let h be z(y). Solve 5*l - 7 - h = 0 for l.
2
Let f be (36/6 + -6)/2. Solve 2*h + 1 + 7 = f for h.
-4
Let l(u) = -u + 1. Let b(m) = m**2 - 16*m + 20. Let w(a) = b(a) - 5*l(a). Let c be w(11). Solve -y + c = 2*y for y.
5
Let h(v) = -v**3 - 2*v**2 + 13*v - 7. Let p(r) = -r**3 + 21*r**2 + 21*r + 17. Let w be p(22). Let i be h(w). Solve 0 = -d - i*d for d.
0
Let d = -155 + 158. Solve -5*i + d*i = 6 for i.
-3
Let x(i) = i + 6. Let p = 13 + -19. Let b be x(p). Suppose 0*n = 3*n + 2*u - 19, b = -n - 5*u + 28. Solve a + n = 2*a for a.
3
Suppose -4*f + 18 = -0*f + x, -4*x + 8 = 0. Suppose 3*y = w + 6, -f*w + 18 = 5*y - 3*y. Solve t = -w*t for t.
0
Suppose -2*w + 5*t = -29, -5*w - 3*t = -t. Solve 3*l - l - w = 0 for l.
1
Let h(q) = -7*q**3 - q**2 - 2*q - 2. Let z be h(-1). Solve z + 3 = -3*b for b.
-3
Let y(c) = c**3 + 15*c**2 - 17*c + 6. Let b be y(-16). Suppose -5*f + 2*v = -10, -3*f + v + b = 3*v. Solve f*r - r = 0 for r.
0
Let p = 4 + -4. Suppose -5*t - 5*h = 0, 4 = t + 4*h + 10. Solve p*k = t*k for k.
0
Let k be 9/(-15) + 756/210. Solve k*c + 2*c = 20 for c.
4
Suppose 2*m = 5*r + 2, 5*r + 1 - 2 = -m. Suppose 20 = 5*k, -2*d = -r*d - 2*k. Solve h = -d*h for h.
0
Let h = 13 + -9. Let c be (3 - -1) + 3 - h. Suppose -5 = -c*f + 16. Solve -13 - f = -5*g for g.
4
Suppose 9 = 4*l - 7. Suppose -87*x + 165*x = 468. Solve 0 = -l*y + 2*y + x for y.
3
Let x be 2*2/20 - 826/(-295). Solve x*y - 2 + 5 = 0 for y.
-1
Let c = -29 - -34. Suppose 13*u - 16 = c*u. Solve 6 = u*n - 4 for n.
5
Suppose 4*l - 425 = -341. Solve 15*b + 96 = l for b.
-5
Let h(n) = 2*n - 6. Let l be h(5). Suppose -27 + 42 = 3*w. Suppose 0 = -r - 2 + w. Solve -x + l = -r*x for x.
-2
Let h(r) = -r**3 + 6*r**2 - 3. Let v be h(3). Suppose p - v = -5*p. Solve -y - 3*y - p = 0 for y.
-1
Let k = 147 + -89. Let g = k + -54. Suppose 2*s - 12 + 4 = 0, 0 = -2*x - s + 12. Solve -x = -0*f - g*f for f.
1
Suppose -n = -3*o + 40, 45*n = 43*n + 2*o - 60. Suppose 31 + 23 = -2*h. Let r = n - h. Solve t + r = -0*t for t.
-2
Let f(s) = s**3 + 15*s**2 - 13*s + 76. Let m be f(-16). Solve 32*k = m*k for k.
0
Suppose -2*z + 0*q = 2*q - 8, 2 = q. Suppose -2*i = 3*u - z*u + 4, 3*i - 1 = -5*u. Solve 6 + u = 4*v for v.
2
Suppose -3*d + 15 = 0, 0 = 29*u - 32*u + 4*d - 17. Solve 11*b + u = 10*b for b.
-1
Suppose 3*o + 2*c + 6 = 0, 2*o + 2*c - 6*c = -4. Let h(i) = i**2 + i + 1. Let n be h(o). Solve 0 = 2*w - w - n for w.
3
Let r = 19 - 34. Let n = -9 - r. Suppose -3*a + n = 3*p, 2*a - 5 + 1 = -4*p. Solve -2*m + 5*m - 15 = p for m.
5
Let g(m) = -m**2 + 7 - 1 - 5 + 11 - m. Let w be g(3). Solve 0 = -4*d - w*d for d.
0
Let g be (48/(-80))/(2/(-10)). Suppose 0 = -5*c, g*u - 9*c = -12*c + 6. Solve u*f = 6*f for f.
0
Let f be (-1 + 3)*2 + -4. Suppose f = -2*l - 0*l + 4. Solve l*c = 2 - 12 for c.
-5
Suppose -5*z + 16 - 46 = 0. Let v = z - -10. Solve 2 = v*d - 6 for d.
2
Let l(m) = m**2 - 18*m - 36. Let q be l(20). Suppose 3*o + 3*t = 15, q*o + o - t - 37 = 0. Solve 5*r = -32 + o for r.
-5
Let g(m) = 3*m**3 + m**2 - m. Let n be g(1). Let z be (161/(-46))/(21/(-36)). Solve -n*x - 3 + z = 0 for x.
1
Suppose -16*o + 110 + 130 = 0. Solve -o*k = -7*k - 40 for k.
5
Let k(j) = 4*j + 4. Let g(d) = -3*d - 3. Let z(s) = 3*g(s) + 2*k(s). Let u be z(-5). Suppose -3*q + 17 = -u*o + 2, 0 = 3*q - 15. Solve 15 + o = 3*y for y.
5
Let s = -573 - -577. Solve 8 = -s*l + 28 for l.
5
Suppose -2*m + 7 - 22 = -5*c, m + 6 = 2*c. Suppose 0 = 6*r - 9*r + 12. Let x be r + (-1 - -1 - 4). Solve 5*o - c*o + 10 = x for o.
-5
Let i be (3*2/(-6))/(-1). Let n be (-5)/(-15)*(i + -1). Solve 0 = 3*l - n - 3 for l.
1
Suppose -5*d + 4*k = 4, -4*k - 4 + 8 = -3*d. Solve n - 4 + 8 = d for n.
-4
Suppose 8*z = -11*z + z. Solve z = -22*o + 15*o + 21 for o.
3
Let c be ((-8)/(-3))/((-4)/(-6)). Let p = -364 + 365. Solve -p - 11 = -c*m for m.
3
Let y(h) = 30*h**2 - 2*h - 2. Let z be y(-1). Let g = z + -20. Solve -s - g = 4*s for s.
-2
Suppose 5*f + 18 = 2*x + 3*f, 4*f = -16. Suppose -x*s + 8 = -s. Suppose h = -s*h. Solve 5*i + 3 + 2 = h for i.
-1
Let w(c) = c**3 + 14*c**2 + 24*c + 5. Let o be w(-12). Solve -25 = -o*i - 5 for i.
4
Suppose 3*n - 7 = -s + 2*n, -3*s - 4*n + 24 = 0. Let l be ((-2)/s + -1)/((-12)/32). Solve p = -l*p for p.
0
Let k = 5 + -2. Suppose o - 22 = -o - 5*q, q + 33 = k*o. Let j = o + -9. Solve j*v + 0*v = 8 for v.
4
Let l(q) = -6*q**2 + 1. Let x be l(-1). Let w = -5 - x. Suppose -2*c + 4*c - 8 = w. Solve 0 = -i + c - 1 for i.
3
Suppose n + 5*b = -3*n + 22, 0 = -2*n + 2*b + 20. Solve 26*z + n = 22*z for z.
-2
Let p = 19 + -13. Suppose 4*r - p = 10. Solve -o = r*o for o.
0
Let g = 35 - 32. Let p be g*((-28)/(-12) + -1). Solve -16 = -0*k - p*k for k.
4
Let f = 35 - 28. Suppose -22 + f = -5*n. Solve -u + n = 5 for u.
-2
Let d(i) = i - 12. Let f be d(9). Let g be 10/2 + 9/f. Suppose -4*u + 0*p + 12 = -2*p, g*p - 8 = 0. Solve -4 = u*v + 1 for v.
-1
Suppose 2*r = -7 - 7. Let w be r/(35/(-12))*5. Suppose 4*p = f - w, -4*f - 2 = p + 1. Solve f = -2*d - 2 for d.
-1
Let v = -1300 + 1333. Solve -10*z + v = z for z.
3
Let x be ((-54)/63)/((-2)/(-224)). Let d be (3/2)/((-36)/x). Solve 0*j + d = 4*j for j.
1
Suppose 2*y + 2 = 3*y, -12 = -2*t - 4*y. Solve -t*h - 12 = -2 for h.
-5
Let v(u) = -4*u - 27. Let f be v(-8). Let p(o) = o**2 + 7*o + 6. Let q be p(-4). Let g(k) = -k - 4. Let r be g(q). Solve r*s = -f - 5 for s.
-5
Suppose 0 = l - 0*s + s, l - 3*s = -20. Let d = l + -1. Let k be (d/(-4))/((-15)/(-80)). Solve 2*y - k = -0*y for y.
4
Suppose 26 - 17 = 3*b. Solve -8*k + 9*k + b = 0 for k.
-3
Let d = -490 - -500. Let l(n) = -4*n**2 - 22*n - 10. Let z(q) = -3*q**2 - 15*q - 7. Let a(y) = 5*l(y) - 7*z(y). Let h be a(6). Solve 10*w - d = h*w for w.
2
Let g(u) = 7*u**2 - 2*u 