= -111 + s. Solve -f*r = r for r.
0
Suppose -32*j - 8 = -36*j. Solve j*a - 22 + 24 = 0 for a.
-1
Suppose 1 + 2 = -5*m + h, -3*m - 2*h + 6 = 0. Suppose -f - 3 + 1 = m. Let b be 0/11*(f + 1). Solve 4*x - 6 + 2 = b for x.
1
Let j be 2/(-12) + 6/(5 + 31). Let k be 22 + -15 - (0 + (2 - j)). Solve -k*w - 15 = -0*w for w.
-3
Let o = 0 + 2. Let n = 12 + -2. Suppose -n = o*m - 4*m. Solve m = -g - 0 for g.
-5
Let z be (-20)/(-16) + (-44)/(-16). Solve 0 = -2*m - 2*m - z for m.
-1
Suppose 75 = -3*k + 165. Solve 15*q - 5*q = k for q.
3
Let b(y) = y**3 - 37*y**2 + 3. Let w be b(37). Solve 4*v = w*v for v.
0
Let b be (32 - (0/1)/4)/2. Let x be 4/(-32) - (-50)/b. Solve -x*w + 12 - 3 = 0 for w.
3
Let q = 38 + -130. Let z = -54 - q. Suppose 4*d - z - 22 = 0. Solve -6*v + d = -v for v.
3
Let m be 8/(-2) + (15 + 24 - 14). Solve 5 = 8*a + m for a.
-2
Suppose -2*b - 89 = -3*p - 3*b, 3*b + 93 = 3*p. Solve -p*x = -35*x - 25 for x.
-5
Suppose -246 + 206 = -5*r. Solve -r = u - 10 for u.
2
Suppose 4*t + 336 = 6*t. Suppose -t = -0*d - 7*d. Suppose 21*h - d*h = 0. Solve y - 1 - 3 = h for y.
4
Let c be ((-180)/(-5))/(-2)*1/(-2). Solve -c*i + 2 = -10*i for i.
-2
Let g be (126/(-70))/(-3) - 257/(-5). Solve -2*d - 11*d - g = 0 for d.
-4
Let j(s) = -3*s. Suppose -5*w - 3*n = -2 + 1, 4 = -2*w + n. Let h be j(w). Let v be 54/10 + (-8)/20. Solve -v = 4*q - h*q for q.
-5
Let z(j) = j**2 + 6*j + 2. Let s be z(-8). Suppose -7*o = -2*o + 5*r - 40, 2*o = -3*r + s. Let y = 126 + -124. Solve o = y*l - 4*l for l.
-3
Let b be 4 + -2 + 0 - -1. Suppose o = 7*o - 30. Suppose -4*r + 5 = r + l, o*l + 29 = 2*r. Solve 25 = b*a + r*a for a.
5
Let a be (22/(-5))/((-77)/385). Solve a*b = 25*b + 3 for b.
-1
Let t(m) = -11*m - 216. Let r be t(-20). Solve -r*l + 39 - 31 = 0 for l.
2
Let y(c) = c + 4. Let m be y(-1). Suppose 16*j = m*j + 78. Solve -j = -2*v - 0*v for v.
3
Let b(m) = -2*m**2 + 24*m - 19. Let n be 18/27 + 93/9. Let a be b(n). Solve 2*h - 1 + a = 0 for h.
-1
Suppose -4*f + 14*f - 100 = 0. Suppose 2 = 4*j - 14. Suppose -3*y + 12 = -j*p + p, y - 3*p = 6. Solve 5*d = y*d - f for d.
-5
Let k be 12*1*(-45)/(-135). Solve -2*j + k*j = -10 for j.
-5
Suppose 0 = 77*x - 9 - 1531. Let p(i) = 3*i**2 + 3*i + 2. Let n be p(-2). Let k be 0 - (1 + -4)/1. Solve -k*a + n*a = -x for a.
-4
Let a(f) = 8*f**3 - 5*f + 9*f**3 + 5*f**2 - 18*f**3. Let c be a(3). Solve 0*z + c = z for z.
3
Suppose -31 = -5*p - 6. Let u be (2/1)/(0 + (-1 - 0)). Let y be 7/(-6)*u - (-4)/6. Solve -p*w + y = -6*w for w.
-3
Let r = 1 - -3. Let j be (16 - 11) + (0 - 2). Suppose 8 - 56 = -j*y. Solve 0*a + r*a = -y for a.
-4
Suppose -x + 1 = -5*k - 3, 5*k + 20 = 5*x. Suppose -m + 4*m = -4*f - 7, -f = x*m - 8. Suppose 3*u + 15 = 0, -m*h + 0*h - 5*u = 25. Solve -3*p - 4 - 2 = h for p.
-2
Let l be 3/3*(-4)/(-2). Suppose -l*w + 0*w + 16 = 0. Let z(j) = -j**3 + 8*j**2 + j - 6. Let c be z(w). Solve -c*x = -0*x + 6 for x.
-3
Suppose -24*t = -27*t + 168. Let y = -46 + t. Solve -4*b = y + 10 for b.
-5
Let t be -4 - (-1 + 1)/((-4)/2). Let x be -3*t*(-1)/(-6). Solve 0 = -4*r - x + 14 for r.
3
Let m = 1475 - 1465. Solve -4*y + 2*y = -m for y.
5
Let k be 4/10*(14 + -9). Solve 1 = k*w + 3 for w.
-1
Let h(r) = r**3 - 7*r**2 + 7*r - 4. Let f(u) = u**3 - 10*u**2 + 13*u - 6. Let k be f(9). Suppose 9*q - 4*q - k = 0. Let b be h(q). Solve -o = b*o - 12 for o.
4
Suppose -8*j + 5*j = -36. Suppose -i - u = -j, 0 = -i + 3*u - 11 + 3. Solve -5*v - 13 - i = 0 for v.
-4
Let w(h) = h**3 - 8*h**2 - 5*h - 15. Let p be w(9). Let q = 26 - p. Solve -1 = -3*d + q for d.
2
Let m = -703 + 703. Solve -4*l + 3*l = m for l.
0
Suppose -14 = -0*v - 2*v. Solve -7*q - 28 = -v for q.
-3
Suppose 0 = -0*w - w + 15. Let o = w + -13. Let l = -26 + 33. Solve 0 = -o*p - l + 3 for p.
-2
Suppose -z = -2*k + 3*z - 2, 0 = 4*k - 2*z - 8. Suppose -j = 5, 0 = -2*u - 5*j + 5 - 24. Solve -u*m + 3 = -k for m.
2
Let z = -103 + 114. Solve z*r - 7*r = 0 for r.
0
Suppose 2*y = -4*b + 4, -5*b - 14 = -4*y + 7. Suppose w + y*k = -8, -w - 3*k = -4*w - 24. Let r = 2 - w. Solve 3*m = -r - 2 for m.
-4
Let c(k) = k**2 - 9*k. Let v(s) = -s - 8. Let n be v(11). Let j = 28 + n. Let q be c(j). Solve y = -q*y + 2 for y.
2
Let g = 9641 + -9636. Let t = 0 + 0. Let l be 26 + 4/6*3. Solve t = -g*n + 3 - l for n.
-5
Let v(w) = w**3 + 14*w**2 + 11*w - 23. Let i be v(-13). Suppose -i*o + 2*s - 4 = -7*o, -o = s - 2. Solve -h + 0*h + 2 = o for h.
2
Let j = -6 - 42. Let q be 3/15 + j/(-10). Solve -7 = 3*d + q for d.
-4
Let w = 389 + -389. Solve w = 10*j - 7*j for j.
0
Suppose 5*t + 0*c - 125 = -5*c, 4*c = 5*t - 143. Solve f = -29 + t for f.
-2
Suppose -3*a - 2*a - 40 = 0. Let q be (a/(-10))/((-32)/(-80)). Solve 0*v = -q*v + 10 for v.
5
Let x(a) be the third derivative of a**5/60 - a**4/24 - a**3/2 + 18*a**2. Let h be x(3). Solve v - 4 = -h*v for v.
1
Let i = -352 - -388. Solve -i = 2*l - 34 for l.
-1
Suppose 0 = -4*y - 4*d + 32, 0 = -y - 2*y - 5*d + 32. Let n = 42 + -26. Suppose -4*i = n, 4*m - 10 - 42 = 2*i. Solve -y = -3*h + m for h.
5
Let l = 22 - 15. Let g be 0 + (l - 2)/(10/4). Solve -2*c + g = 12 for c.
-5
Suppose -80*i + 58*i + 88 = 0. Solve -11 = 5*y + i for y.
-3
Suppose -2*x + 6*x + 12 = 0, 5*i + 5*x + 5 = 0. Suppose -i*p = 1 + 3. Let l = -2 - p. Solve -2*j - j - 3 = l for j.
-1
Suppose -76 = -4*s + b, -2*s - b + 4*b = -48. Suppose s = 5*j - 12. Solve -j*i - 5 = -5*i for i.
-5
Let z = 39 - 22. Suppose 144 = -8*i + z*i. Solve 5*j + i = j for j.
-4
Suppose -u + 5*u = -5*h + 19, -3*h = 5*u - 14. Suppose -d = -0 - u. Suppose -c + 5*i + 5 = 0, -3*c = 6*i - 2*i + 4. Solve 0 = -f + d - c for f.
1
Suppose -19 = -n + 3*o, 5*n - 4*n = 4*o + 17. Let r = -1254 - -1259. Solve r*w = -0*w + n for w.
5
Let r be 1*-10*(-342)/95. Solve -r = -8*k - 12 for k.
3
Let d = 614 + -600. Solve 0 = -6*m - d*m + 80 for m.
4
Let k be (53/583)/((-3)/(-363)). Solve 39 = -10*n - k for n.
-5
Let h(g) = -g - 18. Suppose 0 = 2*q - v + 13, q = 5*v - 0 + 7. Let c be h(q). Let x be (-36)/15*c/3. Solve -4*s = x + 12 for s.
-5
Suppose 5*p + 9 = 4*s - 1, -5*s - 6 = 3*p. Let q be -1*(s - 1) + 1. Suppose -6 = -q*o - 5*k + 7, 3*k = 3*o - 9. Solve i = -i + o for i.
2
Let d be (2 - 0) + -2 + -6. Let w be d/(-4) + (-42)/(-12). Solve -w = -3*g + 1 for g.
2
Let j(x) = 20*x - 70. Let a(f) = -13*f + 47. Let o(k) = 8*a(k) + 5*j(k). Let h be o(6). Solve -h*p + 5 = -7*p for p.
-1
Let p(b) = b**3 + 6*b**2 - 5*b + 38. Let m be p(-6). Solve -62*r - 18 = -m*r for r.
3
Let b(i) = -i**2 + 2*i + 8. Let o be b(0). Solve -k - k = o for k.
-4
Suppose 0 = 8*p - 7*p + f - 29, 4*p - 113 = -f. Solve 0 = -7*j - 7*j + p for j.
2
Let v be (-740)/44 - 2/11. Let g be ((-34)/(-8)*2)/(3/6). Let q = v + g. Solve q = 5*m + 17 + 3 for m.
-4
Let b(o) = 8*o - 2*o**3 + 1 + o**3 + 9*o**2 + 19. Let l be b(10). Solve 0 = 5*a - l + 15 for a.
-3
Suppose 2*n + 4*t = -31 - 19, -3*n - 45 = -4*t. Let b = n + 25. Solve -r - r = -b for r.
3
Let q(y) = -y**2 - 5*y + 1. Let z be q(-4). Suppose 20 = -z*i, 0 = -3*f - 0*f + 4*i + 25. Solve a = -1 + f for a.
2
Let z(g) = -3*g + 2. Let c be z(-3). Solve 9*l = -7*l + c*l for l.
0
Let m be (-2)/6*(-25 + 4 + 6). Let i be 2 + -1 - (m - 7). Solve -b + i*b = 0 for b.
0
Suppose -3*u = 3*u - 12. Suppose -4*o - u*z = 6, -5*o = 2*z + 2*z + 12. Suppose -w + 0*w = o. Solve w = -4*s + 16 + 4 for s.
5
Let y be ((-6)/(-8))/(24/64). Let x be 0/(2/(-4)*y). Solve 5*b + 6 + 4 = x for b.
-2
Suppose 4 = -4*i - d, 2*d + 2*d - 20 = 2*i. Let p be 0/((i/4)/(7/(-14))). Solve p = -f - 2 - 3 for f.
-5
Suppose 0 = -2*c - 21*b + 20*b + 17, -3*b - 12 = -3*c. Solve 7 = -c*j + 42 for j.
5
Let h = -1328 + 1328. Solve -5 = -5*a - h*a for a.
1
Suppose -3*p + 4 = -4*b, 4*b + 5*p = -0*b + 28. Solve -10 = 4*j + b for j.
-3
Let m(r) = 1 - r - 2*r + 26. Let j be m(9). Solve -x + 0 + 4 = j for x.
4
Let t be (-3)/(-1)*(14 + -13). Suppose 0 = -t*j - 0 + 21. Solve j*x - 2*x = -5 for x.
-1
Let i be 5/(-1)*(-4)/((-8)/(-10)). Solve 0 = -9*r + 4*r + i for r.
5
Let q be 12/14*14/3. Let u = q - 2. Solve -16 = -2*p - u*p for p.
4
Suppose 0 = 2*y + 20 - 82. Let i = 31 - y. Suppose 2*v + i*v + l - 5 = 0, -13 = -v - 4*l. Solve -r = -0*r + v for r.
-1
Suppose -2*u + 9 = 3*o - 5*u, -3*o - 2*u - 6 = 0. Suppose o = 2*h - 4*h - 18. Let c be (-12)/54 - 2/h. Solve -k + 1 = -c*k for k.
1
Let y(j) = 43*j - 552. Let b be 