*s + 10 = -t*s for s.
-5
Let j be 2/(-8) - (-3)/12. Suppose j*k + 10 = 3*k + 2*n, 0 = -k + n - 5. Suppose k = b - 3. Solve 0*v - b*v - 12 = 0 for v.
-4
Suppose 10*g + 75 = 95. Solve -5*x - 7 = -g for x.
-1
Suppose -23*q = -21*q. Suppose -b = -q - 1. Solve -3*c + b = -2 for c.
1
Suppose k + 2*z + 3*z - 25 = 0, 3*k = -2*z + 49. Solve 14*f - k = 27 for f.
3
Let l(t) = -2*t**2 + 1. Let d be l(-1). Let h(o) = -7*o**3 + o. Let z be h(d). Suppose 3*b - b = z. Solve j = -b*j + 8 for j.
2
Let r be -10*((-96)/20 - 6/(-15)). Suppose 3*z - r = 10. Solve z = 5*y + 3 for y.
3
Suppose 7*w + 395 = 402. Solve -j = 1 + w for j.
-2
Let w be 29 + 5 - (7 - 0 - 3). Let i be 81/15 + (-12)/w. Solve 3*a - 10 = i*a for a.
-5
Let t be 8 + 0/((-3)/(-3)). Suppose -305*x + 311*x = 18. Solve t*h + 15 = x*h for h.
-3
Suppose 0*g - 3*g + 55 = 4*v, -5*g + 5*v = -80. Solve -3 = 5*x + g for x.
-4
Suppose -4*s = a - 3, 3*a - 7*s = -8*s + 20. Solve -14*b = -21*b - a for b.
-1
Let m = 0 - -3. Suppose m*v - 3 = -0*v. Suppose -5*b + r = -25, b - v = 2*r - 5. Solve -p = -b*p for p.
0
Let b(z) = -z**3 + 21*z + 37. Let k be b(-2). Solve k*l - 24 = 9*l for l.
-4
Let r(n) = -17*n + 28. Let w be r(5). Let g = -51 - w. Solve 0 = -2*i - 0*i + g for i.
3
Let a(m) = -m. Suppose 5*h + 0 = -2*n - 6, 4 = 2*h + 4*n. Let i be a(h). Solve -b = -3*b - i for b.
-1
Suppose -29 = -m - 5*i - 4, -4*m + 2*i + 12 = 0. Suppose 3*c - 9 = -t + 8, -c + 15 = m*t. Solve -2*o - 4 = -t for o.
-1
Let t = 0 + 2. Suppose -b - g - 26 = 2*b, 5*b - t*g = -25. Let w be 2/(-2) + 8 + b. Solve 4*f + 5 + 11 = w for f.
-4
Let p = -10 + 9. Let i be (7 + p)/((-30)/(-75)). Suppose 0 = 6*c - 9 - i. Solve -c*s - 1 = 19 for s.
-5
Suppose -6*f - 74 = -458. Solve -5*v - 54 = -f for v.
2
Let l be 195/5 + 3/3. Suppose -10 = -4*g - 2*s, 2*g - 5*s = -g + l. Suppose g*r = 9 + 6. Solve r*c = 6 + 9 for c.
5
Let q = 38 - 31. Let p be q - (5 + -3) - 4. Solve -2*s + 3 - p = 0 for s.
1
Let u = -28 - -30. Suppose 0 = -4*a + u*a + 6. Solve a + 0 = j for j.
3
Let y(j) = j**2 + j. Let l be y(-4). Let b(r) be the first derivative of -r**4/4 + 11*r**3/3 + 13*r**2/2 - 10*r + 76. Let x be b(l). Solve 0 = o + x for o.
-2
Let v(a) = a - 5. Let k be v(8). Let t = 4 - k. Suppose t = 2*f - 3. Solve -4 - f = -2*n for n.
3
Let g(m) = 12*m + 50. Let c be (84/90 + 3/(-5))*-12. Let p be g(c). Let f(b) = -b**3 + b. Let n be f(1). Solve p*q = 2 - n for q.
1
Suppose 0 = -3*f - 4*d + 8, -1 = f - d - 13. Solve -5*t + 9 = -f*t for t.
-3
Suppose -4*i = -11 - 9. Let x be (-3 - -2) + i + -2. Solve 2 - 6 = -x*m for m.
2
Suppose -z + 6*z = 3*b - 233, 0 = -4*b - 2*z + 276. Solve 0 = -74*d + b*d for d.
0
Suppose 5*h - 3*p - p - 54 = 0, 3*h - p = 31. Let d = 13 - h. Solve 0 = -d*a - 9 - 6 for a.
-5
Suppose 2*f - 8 = -12. Let a = f - -2. Solve -r + 4*r + 12 = a for r.
-4
Let f(r) = r**3 + 5*r**2 - 3*r + 1. Let w be f(-5). Suppose -5*k + 24 + w = 0. Solve -7 - k = -3*x for x.
5
Suppose 0 = -n - 4*l + 4 - 1, -2*n + 6 = -4*l. Solve -2*o = -n*o for o.
0
Let s = 198 + -188. Solve g + 9*g - s = 0 for g.
1
Suppose 0 = 31*k - 35*k + 36. Let i be ((-32)/12)/(3/k). Let o be (-19)/(-4) + 6/i. Solve -o*z + 0*z = 0 for z.
0
Suppose g = 2*w + 5*g + 36, 92 = -4*w - 4*g. Let u = 32 + w. Solve -u*n = -n + 12 for n.
-4
Suppose 0 = -2*f + 4*a + 56, -5*f + a - 2*a = -195. Let g = f + -36. Solve -4*k + 10 = -g*k for k.
5
Let u(o) = o**3 + 10*o**2 + 22*o + 3. Let g be u(-5). Solve 18 - g = -3*k for k.
0
Let f(o) = -2*o - 7. Let y be f(-6). Suppose w + 5*x = 22, y - 31 = -3*w - 5*x. Let d(p) = 5*p**2 - 6*p - 12. Let r be d(3). Solve r = -3*b - w*b for b.
-3
Suppose 6 = 3*b - 3. Let z be 2/3*(-3)/(-2). Suppose -125*p = -91*p - 170. Solve -b*y - p = z for y.
-2
Let r be (-4 - -4)/(4/2). Suppose 0 = 4*a - 5*j - 58, 0 = -5*a + 3*j - 40 + 106. Let y(u) = -u - 7. Let o be y(-9). Solve -o*p - p + a = r for p.
4
Let m be (-8 - 1 - -15) + 1*4. Solve 9*g = m*g - 3 for g.
3
Let s = -345 + 357. Solve z = -2*z - s for z.
-4
Let i be (-4)/(0/1 - 1). Suppose 0 = -b - i*b + 15. Solve 0*x = -b*x for x.
0
Suppose b - 13 = -2*z, 3*z = -2*z - 3*b + 35. Solve -2*t = z + 2 for t.
-3
Let p(z) = -4*z + 2 - 4*z + 6 + 6*z. Let m be p(4). Solve -3*i + 0*i = m for i.
0
Let x(g) be the first derivative of -g**4/4 - 4*g**3 - 6*g**2 - 8*g + 2. Let t be x(-11). Suppose 2*a + 2 = t*a. Solve -2 = a*r + 2 for r.
-2
Let p be (-42)/(-18) + 6 - (-18)/27. Solve p*i - 2 = -29 for i.
-3
Let i be (-4 - -5)*(11 - 9). Solve -m - 4 = -i for m.
-2
Let k(i) = 3*i - 11. Let o be k(5). Suppose -o*t + 3*t = 0. Suppose 2*y + 6 - 26 = t. Solve y = -3*p + 1 for p.
-3
Let b(r) = 12*r - 2*r**2 - 4*r + 4*r + 2*r + 4. Let a be b(6). Solve 0 = v + 3*v + a for v.
-4
Let a be 2*(2 + 9/(-6)). Let u be (-3 - -2)/(a/(-7)). Let k = u + -7. Solve 2*o + o = k for o.
0
Let v be 4/(-14) + (-4)/(-14). Let x(y) = -y**2 + 13*y - 8. Let q be x(12). Suppose -q*b - 12 = -5*j, 5*j - 5*b = -v*b + 10. Solve 3*m = j*m - 1 for m.
1
Suppose 27*d + 56 = 272. Solve -94*c + 102*c = d for c.
1
Let n(f) = 3*f**3 - 22*f**2 + 7*f + 12. Let g be n(7). Solve -25*t = -29*t - g for t.
-3
Let j = -31 + 38. Let m(a) = a**2 + 3*a + 2. Let i be m(-6). Suppose d = -2*h + 13 + 2, d = -3*h + i. Solve 3*t + d = -j for t.
-4
Let l(k) be the third derivative of -k**6/120 + 4*k**5/15 + 17*k**4/24 + 3*k**3 + 10*k**2. Let a be l(17). Solve a = -3*p + 3 for p.
-5
Let p(x) = -x**3 + 3*x**2 + 4*x + 1. Let f be p(4). Suppose -13 = -2*g - f. Suppose m = 4*v - 0*m - g, 2 = -4*v + 5*m. Solve v*s - 15 = -s for s.
5
Let h = 19 - 15. Let s be 2/h*(22 + -16). Solve 5 - 2 = -s*i for i.
-1
Let z = -114 + 111. Let t be -2*((-30)/28 + z/7). Solve t*y - 12 = -0*y for y.
4
Let f be (0 - 0)/(1*-1). Suppose 0 = -6272*b + 6277*b - 25. Solve -5*z + f*z = -b for z.
1
Let n be (-736)/(-138)*3/2. Solve -j + n = j for j.
4
Let p = 105 + -86. Suppose 20*t = p*t + 2. Solve 8*b - t = 10*b for b.
-1
Suppose t = -0 + 4. Suppose -t*b + 16*b - 24 = 0. Solve -2*y + 6 = b for y.
2
Let h(n) = n**2 + 4*n - 7. Let b be h(-6). Suppose 2*r = 3*g + 8, 7 + 6 = -4*g + b*r. Let u be ((-4)/(3 + g))/(-2). Solve 0 = u*d - d for d.
0
Suppose 5*b - 35 = 3*o, b - 5*o - 14 = -3*o. Suppose -3*k - c = -16, -4*k + 16 = -0*k - b*c. Let v be (-20)/(-50) + 3/k. Solve n + 3 = v for n.
-2
Let g be (1 - -9)/(3/(-3)). Let a = g + 13. Let b be 5 + (0 - a) - -4. Solve -b*i + 2*i = -4 for i.
1
Suppose 0 = 17*c - 25*c. Let k be (c - 0)*(-2)/(-6). Solve k*h = -4*h for h.
0
Let w(g) = -g**2 + 9*g - 12. Let h be w(7). Suppose 3*a = -h*a + 2*a. Solve -3*n = -a*n for n.
0
Let u(f) = -f**3 + 4*f**2 - 3*f + 4. Let h be u(3). Suppose y + 18 = h*y. Suppose 9 = 5*b - y. Solve -b*c = c - 12 for c.
3
Let q(s) = -4*s - 15. Let x be q(-7). Suppose -3*i + 4*y = -22, -7 = -4*i - 4*y + x. Solve -i*f + 20 = -f for f.
4
Let f = 850 - 836. Solve -9 = -c - f for c.
-5
Let c = 1 + 1. Let j = 5 - 3. Let d be c*3/12*j. Solve 2*u - 1 = d for u.
1
Suppose 35*n - 487 - 738 = 0. Solve n = -12*t + 11 for t.
-2
Let o(h) = h - 17. Let y be o(-10). Let p = -26 - y. Let m(r) = 10*r**2 - 1. Let w be m(p). Solve 0 = -3*l + w for l.
3
Let i be 2/(2 + -2 - -1). Let p(x) = 3*x + 7. Let a be p(-7). Let k = a - -17. Solve i*l - 1 = k for l.
2
Let w(z) = -z**2 + 2*z + 9. Let u be 22/6 - (-2)/6*1. Let f be w(u). Solve -f = 3*l - 2*l for l.
-1
Let w = 71 - 43. Solve 5*v + w = 3 for v.
-5
Suppose -4*j = 2*x + 5 - 19, -2*x + 5*j = 4. Solve x = 9*l - 8*l for l.
3
Let w(f) = -f + 2. Let n be w(0). Suppose 3*k = 6*k + 12. Let p be (-23 + 3)*n/k. Solve m = -4*m - p for m.
-2
Let p(u) = -2*u - 13. Suppose 0 = 4*r - 4*k + 24, 2 = -r + k + 2*k. Let g be p(r). Solve g*s - 5 = 1 for s.
2
Suppose -i - 2 = -5*u, 0 = -6*i + i + 4*u + 11. Suppose -12 = 3*w + w, 12 = o - i*w. Suppose 5*m = 2*l - 24, -2*l + 9 = -2*m - 3. Solve 0 = l*s - 1 - o for s.
2
Suppose 0 = -3*c + 5*c. Let p(x) = -x**3 + 4*x**2 - x + 7. Let m be p(4). Suppose v - 16 = -m*v. Solve -v*z = -c + 4 for z.
-1
Suppose u - p - 2 = 0, 16*u - 14*u + 4*p - 34 = 0. Solve 0 = n - u + 12 for n.
-5
Let g = 24 + -22. Let b be (-6)/27 + (-512)/(-36). Suppose -4*z + 6 + b = 0. Solve 0 = g*d - z*d - 3 for d.
-1
Let y = -16 + 19. Solve -y*s + 7 = -5 for s.
4
Let a(t) = -1 + 0 - 10*t**2 + 7 + t**3 + 5*t + 4*t. Let n be 6/(1/((-3)/(-2))). Let z be a(n). Solve -3*l - 1