-3
Let w = 16 + 4. Solve w = -x - 3*x for x.
-5
Let n be (2/(-3))/((-2)/12). Suppose -13*w = -28 - 24. Solve n*m - 4 = w for m.
2
Suppose -4*w + 10*w = 18. Solve -3 = -w*j + 6 for j.
3
Let c(x) = -x**2 - 7*x - 2. Let w be c(-3). Solve w*r - 20 = 5*r for r.
4
Let w = -91 + 97. Solve 4*h - w - 6 = 0 for h.
3
Let c = -17 - -27. Let u = 5 - -5. Let b = 15 - u. Solve 0 = w + c - b for w.
-5
Suppose 4*q - 2*p - 1 = -3, 5*q - 25 = -3*p. Solve -10 = q*f - 0 for f.
-5
Let k(d) = -d**2 + 6*d - 2. Let o be k(5). Let a be (-20)/8*(-48)/15. Suppose o*q - q = a. Solve 0 = 2*r + q - 2 for r.
-1
Suppose 8*s - 3*s - 4*b - 30 = 0, -3*b = -15. Solve 0 = 5*t - 0 - s for t.
2
Let a be (1/(-1) + 0)*-3. Suppose -2 = a*b + 4. Let v(j) = 6*j**2 + j - 1. Let k be v(b). Solve 5*g + k = 1 for g.
-4
Let g be ((-2)/5)/((-2)/20). Let r(a) = -g*a - a**2 + 3*a + a**3 - 2*a**3. Let c be r(0). Solve -4 = 4*k - c for k.
-1
Suppose 2*z - 1 - 3 = 0. Suppose x = z, -2*f - 18 = -7*f - 4*x. Let s be ((-30 + f)/2)/(-2). Solve 3 = 2*o - s for o.
5
Suppose 0 = p - 6*p. Solve f + 3*f + 12 = p for f.
-3
Let q(o) = o**2 + 7*o + 8. Let h be q(-6). Suppose -2*b - 5 = -j, -5*j + h*b + 5 + 12 = 0. Solve -j*u - 2*u + 10 = 0 for u.
2
Suppose -3*r + 14 - 2 = 0. Solve -r = -5*f + 6 for f.
2
Let c be 2/(-5) + (-110)/(-25). Suppose 4 = 5*w + 4*n - 9, -c*w + 14 = 5*n. Let q(d) = d - 2. Let r be q(4). Solve r*b = 3 - w for b.
1
Let m(y) = 2*y**2 + 8*y + 10. Let c be m(-4). Solve 2*l - 4*l = -c for l.
5
Let z = 4 - 0. Let f be (2/z)/(1/4). Let o be 3 - (0 - f) - -1. Solve 4 + o = -5*w for w.
-2
Let d be (48/42)/((-4)/(-14)). Solve 0 - d = 2*x for x.
-2
Suppose -3 = 6*x - 21. Solve 0 = g - x*g for g.
0
Suppose -14*f + 7*f = -91. Solve 0 = 5*o + 33 - f for o.
-4
Suppose -152 = -2*t - 4*b, -b = 4*t - 5*t + 82. Suppose 5*m - m - t = 0. Suppose -4*o + 0*o + 12 = 0. Solve -j - o*j = -m for j.
5
Suppose 7 = 2*d - q, 7*d - 3*d = 4*q + 16. Solve -d*r = 2*r for r.
0
Let l(s) = -s**3 + 3*s**2. Let h be l(3). Suppose -2*f - 12 = -3*x - 3*f, h = 4*x - 5*f + 3. Solve -x*w - 3 = -2*w for w.
-3
Suppose 2*j = -3*j + 5. Suppose -s - l - j = -3*l, -3 = -5*s + 2*l. Solve n = 1 + s for n.
2
Suppose -2*f = 9 - 25. Solve -p - f = p for p.
-4
Let w(d) = -3*d**3 - 15*d**2 + 18*d + 7. Let x(c) = c**3 + 5*c**2 - 6*c - 2. Let o(k) = 2*w(k) + 7*x(k). Let t be o(-6). Solve t*y - y = 0 for y.
0
Let f be 1 + -3*4/12. Solve -h + f + 4 = 0 for h.
4
Let h(d) = d**3 - 3*d**2 - 2*d + 4. Let k = 2 - -2. Let t be h(k). Suppose 0*l - 3*g = 2*l + 9, 5*l - 4*g = t. Solve v + 3 - 1 = l for v.
-2
Let i = 67 + -62. Solve 0 = -4*f + i - 13 for f.
-2
Suppose -35 = 5*h - 5*f, -h = 2*h - f + 19. Let b = h - -4. Let l be b*6/(-9)*3. Solve -l*a = 5 + 15 for a.
-5
Let t(x) = 8*x - 53. Let b be t(7). Solve 0 = 2*y - b*y - 4 for y.
-4
Let n be 4/(-2*(0 - 2)). Solve 2*r = r - n for r.
-1
Suppose 10*c = 13*c. Let g be (-2)/7 - 30/(-7). Solve c = -g*v - 6 - 10 for v.
-4
Suppose -5*z + 62 + 3 = 0. Let f = 15 - z. Let q(x) = -x + 3. Let a be q(0). Solve -a*h = f*h - 15 for h.
3
Let j = 46 + -69. Let t = j + 36. Solve 7 = 4*x - t for x.
5
Let o(t) = -5*t - 1. Let g(s) = 1. Let b(k) = -g(k) - o(k). Let d(j) = -14*j - 1. Let a(p) = -11*b(p) - 4*d(p). Let c be a(5). Solve 0*n - c = -3*n for n.
3
Let n be (-3 - -1)/2 - -1. Solve n = -3*c + 6*c for c.
0
Let o be 14/77 - (-436)/22. Solve -3*j - o = 2*j for j.
-4
Suppose 3*y + 1 = 4*y. Solve 0 = z + y for z.
-1
Let f be -2 + 2 + 6 + 0. Suppose -4*t - 15 = 4*a + 9, -t + 2*a - 6 = 0. Let y(x) = x**2 + 5*x - 2. Let q be y(t). Solve f + q = -5*m for m.
-2
Let d(u) = 11*u**2 + 3*u - 13. Let r(b) = -5*b**2 - b + 6. Let y(c) = -6*d(c) - 13*r(c). Let g be y(-4). Solve -g*n + 2 = 10 for n.
-2
Let x(b) = b**2 - 5*b - 3. Let c be x(6). Let h be (2/(-4))/((-1)/24). Solve 0*t = c*t + h for t.
-4
Let s(v) = 3 - v**2 - 1 + 9*v + 4. Let p be s(9). Solve -12 = 3*y - p*y for y.
4
Let t be 31/1 + -4 - 2. Solve -5*j + 10*j - t = 0 for j.
5
Suppose -12 = 4*d - 7*d. Let z(i) = -6*i. Let l be z(1). Let y be (-115)/l - (-4)/(-24). Solve -y - 1 = d*o for o.
-5
Let h = 48 + -48. Solve -2*r - 4 - 2 = h for r.
-3
Let z be (-20)/25*10/(-4). Let g be ((-16)/64)/(z/(-24)). Solve g*d + 2*d = -5 for d.
-1
Let o = -9 + 14. Suppose -2*u = -5*t + 22, -3*t - 2*u + 5 + o = 0. Solve t*s - 4 = -0 for s.
1
Suppose -72 = -4*p + 3*v - 20, 2*p = -5*v. Suppose -3*m + p = -m. Solve m*c = c for c.
0
Let s(o) = o**3 + o**2 + o + 4. Let i be s(0). Solve 3*n = i*n + 2 for n.
-2
Let p be 2*(1 - 2) - -2. Let o be (-53)/(-5) + (-6)/10. Suppose d + 7 = -5*i - 4, 4*d = -i + 13. Solve -d*c - o + 30 = p for c.
5
Let y(m) = -3*m**2 - 17*m + 1. Let g be y(-5). Solve 2*f + g = 5 for f.
-3
Suppose 2*j - 3*w = 4, -w = 4*j - 3*w - 8. Suppose -12 = -4*y + j*v, 5*y + 4*v + 3 = 5. Solve -2*i + y = -2 for i.
2
Let m(v) = v + 5. Let n be m(-5). Let c be ((-4)/(-8))/(2/(-8)). Let w = c + 5. Solve 15 = -n*y + w*y for y.
5
Let m(b) be the third derivative of b**4/12 - 2*b**3/3 + 2*b**2. Let p be m(4). Solve p*g = -g - 25 for g.
-5
Suppose 10 = -3*c - 2*c, c = -5*y + 128. Let z = 41 - y. Solve -4*s - s - z = 0 for s.
-3
Suppose 3*f - 2*f - 7 = -4*k, 4*k - 13 = 5*f. Solve 4*a + k = 5*a for a.
2
Let c(b) = 4*b + 6. Let w(l) = 7*l + 11. Let r(u) = 5*c(u) - 3*w(u). Let t be r(-7). Let x = -11 - -15. Solve -8 - x = -t*z for z.
3
Suppose -n - 4*d + 7*d - 1 = 0, -n + d = -1. Suppose -1 = n*v - 17. Solve 0 = -4*g - v for g.
-2
Suppose 3*i + 2*v - 7 = 0, 0 + 3 = -3*v. Solve -i = -5*l + 2 for l.
1
Let l(f) = -f**2 + 1. Let c be l(0). Let y = c + -2. Let r = y + 3. Solve -r*b - b = 12 for b.
-4
Let p be (-2)/(-7) - (-360)/63. Let s(q) = q - 3. Let i be s(p). Solve i*m + 5 = 2*m for m.
-5
Suppose -4*g + 2*p = -0*g - 6, 5*p + 22 = 3*g. Let v be (g/2)/(9/(-72)). Solve k = v*k for k.
0
Suppose 0 = 2*u - 5*i - 30 - 5, -2*u - 4*i + 44 = 0. Let q be 4/u + (-38)/(-10). Let k(y) = y**3 - 4*y**2 + y - 1. Let b be k(4). Solve b*l - q = -l for l.
1
Suppose -6*g - 1 + 49 = 0. Let b = -6 + g. Solve -4*w - b = -6 for w.
1
Let d = -9 + 13. Solve 0*k + 16 = d*k for k.
4
Let r = 2 + 0. Let s(z) = 2*z**3 - 2*z**2 - 2*z + 2. Let c be s(r). Solve -3*u = -u - c for u.
3
Let a = -3 - 4. Let z = 9 + a. Solve 0*p = 2*p - z for p.
1
Let f be 90/(-27)*12/(-10). Solve f*m = 7 + 1 for m.
2
Let n be (-26)/1 - (2 + 2). Let x be (-2)/(-10) + (-174)/n. Solve -x*o = -5*o + 4 for o.
-4
Let o be (-10 + 15)*(0 + 1). Solve -o*y - 3 = -13 for y.
2
Let t(p) = p**3 + 5*p**2 - 6*p + 7. Let m be t(-6). Let q(z) = z**2 - 19*z + 13. Let f be q(18). Let x = f + m. Solve 3*b - b = x for b.
1
Let f be (-1 + 3 + -3)*-3. Suppose 0 = -2*w + 7*w - 20. Suppose -v - w*v + 30 = 0. Solve 0 = f*c - v - 0 for c.
2
Suppose 14*a = 19*a. Solve a*g - 5*g = 0 for g.
0
Let m(f) = -f + 7. Let w be m(-8). Suppose 2*c = -5*j, 5*j + w = -c - 4*c. Solve j*k + 9 = 5*k for k.
3
Let a(v) = -v**2 + 6*v - 5. Let h be a(4). Suppose -h*f = -0*f - 60. Let j = -1 + 5. Solve w + j*w = f for w.
4
Suppose 4 = d + 2. Suppose -d*t + 4 = 2*t. Let a = t - -1. Solve 6*q = a*q - 4 for q.
-1
Suppose 4*q = 2*q + 5*l + 14, 2*l = 2*q - 8. Solve -q*w - 1 = 1 for w.
-1
Let h be ((-1)/(-2))/(1/210). Suppose 0 = -5*g - 0*g + h. Suppose -g = -m - 2*m. Solve m*d = 3*d for d.
0
Suppose -4 + 2 = -s. Suppose 2*u - s = 4. Suppose -2*y + 7*y = 90. Solve 5*a + y = u for a.
-3
Suppose 2*x + 3*f + f - 12 = 0, -5*x + 4*f - 12 = 0. Solve -2*b = -x*b for b.
0
Let g(o) = o**2 + o + 3. Let m be g(0). Suppose -t = m*a - 17, 3*t = t + a - 1. Solve -t*l = l - 15 for l.
5
Suppose -2*t + 16 = 2*t. Let v = t + -7. Let z = v + 3. Solve 3*y - 6 = -z*y for y.
2
Let v(l) = l**2 + 2*l + 1. Let j be v(-1). Suppose -2*q - 2*q = j. Solve -u + 2*u - 3 = q for u.
3
Suppose 465 = -4*c + 525. Solve -c = 3*r - 0 for r.
-5
Let k(c) be the first derivative of -1/2*c**2 + 7/3*c**3 + 1/4*c**4 - 2 - 5*c. Let t be k(-7). Solve -v + 2 = -t*v for v.
-2
Let v = 3 - 5. Let f be (-16)/(-10)*(-5)/v. Suppose f*u + 4*x - x = 18, -6 = -3*x. Solve s = u*s for s.
0
Let v be 2/7 + (-40)/(-7). Let a be (148/(-6))/((-6)/9). Suppose -5*i = -63 - a. Solve -2*r - i = -v*r for r.
5
Let t = -1 + 3. Let s be ((-2)/4)/(t/(-24)). Suppose f = s*f - 20. Solve 0 = x - 2*x + f for x.
4
Let s = -38 - -63. Suppose 2*r + 70 = 4*r. Suppose 3*p = s + r. Sol