 1. Let x be 3 - c - ((-222)/6)/1. Solve 5*w = -14 + x for w.
5
Let k be 2/(-8) + (-44)/16. Let v be k - (8/2 + -16). Suppose 0 = -i - 6 + v. Solve -2*u + 5 = i*u for u.
1
Suppose 0 = -16*p - 48*p + 320. Solve -11*q + 18 = -p*q for q.
3
Suppose 0 = -4*i + 3*i + 2. Let t be 6 + (i - 1)*-4. Solve -w + 2 = -t*w for w.
-2
Suppose -5*s - 6 = -5*o + 4, -3*o + 2*s = -4. Let w be (o + -9)*(-2)/6. Solve w*k = 2*k for k.
0
Let s be -2 + 0 - (-10 + 3). Suppose 6*q - 2*q = 8. Solve -6 = s*d - q*d for d.
-2
Let u be 30/14 + (-36)/(-42). Solve 0*l + u*l + 15 = 0 for l.
-5
Let v be 28/(-140) - (-126)/5. Solve -8*c + v = -15 for c.
5
Suppose -20*j + 8*j = -240. Solve -7*x + j = -3*x for x.
5
Let x be 4/(-20) - (-153)/15. Let b(m) = -m**2 + 10*m + 3. Let y be b(x). Suppose -f + 6 = y. Solve -f*a = a for a.
0
Suppose 4*y + 2*t = 140, -4*y + 3*y = 3*t - 40. Let f = y + -30. Suppose 3*z + f*d - 22 = 0, 0 = 2*z - 5*d - 0 - 7. Solve h = -h - z for h.
-3
Suppose -4*s = -8 - 20. Let p(d) = 2*d + d + 10 - 31 + 0*d. Let u be p(s). Solve f + 2*f - 6 = u for f.
2
Suppose u = -5*i + 54, 0 = 4*i + 5*u - 22 - 17. Solve 44 = -0*x - i*x for x.
-4
Let o be ((-20)/(-12))/(2/6). Suppose 4 = -4*m - 2*y + 16, 6 = 4*m + o*y. Solve -3*b + 1 = m for b.
-1
Suppose -4*v = t - 79, -164 = -3*t - 2*v + 23. Suppose -6*o - 68 = -4*o. Let n = o + t. Solve 3*p + 2*p = -n for p.
-5
Suppose -4*n = n - l - 5, -5*n + 5*l - 15 = 0. Let d(a) = -5 - 3 + 4 + n - a. Let o be d(-4). Solve -o*u - 1 = -3 for u.
1
Suppose 0 = 2*b - 36 + 24. Solve 8*l = b*l + 4 for l.
2
Suppose -108 = 2*a - 5*a. Let u = -33 + a. Solve -u*b + 4 = 10 for b.
-2
Suppose 6 = 4*n + 4*z - 18, -4*n = -z - 9. Suppose -n*h + p + 1 = -4, -4*h + 15 = -3*p. Solve 2*g - 2 - 6 = h for g.
4
Suppose 0 = -c + 5 - 11. Let t be ((-4)/c)/(2/15). Suppose 0*u - 50 = -t*u. Solve -2*p + u = -0*p for p.
5
Suppose -2*s = 8*s + 240. Let d = s - -29. Solve -2*x + d*x = 6 for x.
2
Let f be ((-2)/4)/((-1)/10). Solve 4*c = f*c for c.
0
Suppose -d - 15 = p, -2*p - 4*d - 64 = -24. Let c = -46 - -28. Let k = p - c. Solve 0 = 5*u + k - 3 for u.
-1
Let s be (4 - 4)*1/(-2). Let a be (-6 - s/3)*1. Let l = -1 - a. Solve 0 = 2*n - 5 - l for n.
5
Let g(a) be the third derivative of a**4/12 + 7*a**3/6 - 5*a**2. Let k be g(-3). Let s(b) = 2*b + 7. Let x be s(6). Solve 5*u + x = -k for u.
-4
Let n(k) = k**2 - 3*k + 2. Suppose -5*m + 8*m - 3 = 0. Let u be n(m). Solve -c - 2 = -u*c for c.
-2
Let x(f) = -8*f - 4*f - f**2 + 20 - 5*f. Let u be x(-17). Let a(i) = i + 18. Let c be a(-13). Solve -w = -c*w + u for w.
5
Let z be 6/((-8)/((-280)/3)). Solve -2*y - 12*y = z for y.
-5
Suppose 0 = 4*n + 4 - 36. Suppose 0 = -2*j - 4*t + 16, 3*t = -2*j + j + n. Let b be 18/8 + j/(-32). Solve -m = -b*m for m.
0
Let j(s) = 3*s - 3. Let l(w) = -w + 1. Let v(q) = 2*j(q) + 7*l(q). Let c be v(1). Solve c = -2*d - 2*d - 8 for d.
-2
Let r(q) = q + 5. Let s be r(-12). Let u = 12 + s. Suppose u*i - 16 = i. Solve -i*o - 10 = -2*o for o.
-5
Suppose -30 = -3*v - 0*v. Let y be 10/(6/(-3)) + 8. Solve 0 = -l + y*l - v for l.
5
Suppose -p = 3, -7*g - p = -9*g + 11. Solve -2*z - 2 - g = 0 for z.
-3
Let h = 11 + -7. Let z be -4*6/4 - (11 - 17). Solve -h*r + 3*r - 1 = z for r.
-1
Suppose 4*d = -8*d + 132. Solve 4*t - 31 + d = 0 for t.
5
Suppose -59*o = -337 - 17. Solve -o*q = -2*q + 6*q for q.
0
Let p be ((-3)/(-2))/(9/12). Suppose 3*i + 14 = -2*h, 21 = 75*i - 72*i - 3*h. Solve -p*z - 10 + 0 = i for z.
-5
Let n be (-4 + 3 - -1)*1. Suppose -3*d + 0*r + 3*r = -6, 3*r = -2*d - 1. Solve n = -q - 1 - d for q.
-2
Suppose 27 = 2*h + 19. Suppose 4*q + h*i = i + 14, -4*q = -3*i - 26. Solve 0 = -5*u - 0 + q for u.
1
Let q(v) = 2*v**3 + 28*v**2 - v + 2. Let c be q(-14). Solve 0 = -2*g + 6*g + c for g.
-4
Suppose u + 1 = -4*n, n + u - 42 + 43 = 0. Solve 6*h = -12 - n for h.
-2
Suppose -2*m = c - 0*m + 18, -5*c = -m + 134. Let v = -21 - c. Solve v = -4*f - 3 for f.
-2
Suppose 0 = -5*p + 15, -69 = -3*d - 2*d - 3*p. Suppose l + 0 - 20 = -5*s, -5*l = 3*s - d. Let o be (-4)/(-2) + (0 - 1). Solve l = k + o for k.
-1
Suppose 0 = 3*d - 2*d. Let r(k) = k**2 - 8*k + 7. Let v be r(7). Let s = -1408 + 1412. Solve v = u - d*u - s for u.
4
Suppose -2*u + 16 = -5*t, -4*u - 2*t = -2 - 6. Solve u*k + 7 = 1 for k.
-2
Let o(h) = h**3 - 6*h**2 - 12*h + 20. Let c be o(8). Let p = -32 + c. Suppose -6*z = -2*z - p. Solve 1 + 24 = -z*b for b.
-5
Let h(u) = 5*u**2 - 3*u + 3. Let b be h(3). Let k = b + -39. Solve k = -2*z + 3*z + 3 for z.
-3
Let b be -1*(-8 + (-6 - -9)). Solve 5 = -b*a + 10 for a.
1
Let q = 49 + -45. Suppose -5*y - 22 = -s - s, q*s + 2*y = -4. Solve 10 = 3*f + s for f.
3
Let t be ((-2)/(-5))/((-9)/(-855)). Suppose -t*y = -39*y. Solve y = s - 1 - 2 for s.
3
Let v be 1333/15 + (-234)/(-1755). Solve -110 + v = 7*q for q.
-3
Suppose 30 = -x - 4*q - 13, -5*q + 5 = 0. Let w = 47 + x. Solve l - 4*l + 3 = w for l.
1
Let s(a) = 5*a - 107. Let p be s(22). Solve -6*k + p = -5*k for k.
3
Suppose v + 4*c = -14, 0 = 5*v + 4*c - 9 - 1. Let b = -34 - -54. Solve -b = 2*j - v*j for j.
5
Suppose 0 = 2*k - 11 + 5. Let g = k - 10. Let o = g + 7. Solve o*n + 1 = n for n.
1
Let b be (7 - 32/2) + 10. Solve u + b = 3 for u.
2
Let u = 24 + -22. Let x be (u/(-4))/(4/(-16)). Suppose y = -0*y. Solve y = -0*l + l + x for l.
-2
Suppose 5*h + 28 = 78. Let c = h + -6. Let n be c + -1 - 1/(-1). Solve 0 = -n*v + 5*v for v.
0
Let z(h) = -3*h**2 - 4*h - 7. Let j be z(-2). Let g = 1 - j. Solve -2*x - 2*x - g = 0 for x.
-3
Let k be 4/(-24) + (-26)/(-12). Suppose r - 4 + k = 0. Solve r*n = 3*n for n.
0
Let q(m) be the second derivative of m**4/6 + m**3 - 2*m**2 + 15*m. Let o be q(2). Solve 0 = 4*a - o + 4 for a.
3
Suppose -2*c - 5 = -3*c. Solve 2*w - c = 7*w for w.
-1
Let j(p) = p - 3. Let i = 16 + -8. Let a be j(i). Let r be 36/3 - 5 - 3. Solve 3*h = -a - r for h.
-3
Let s(l) = 39*l + 550. Let c be s(-14). Solve 6*j - c*j + 6 = 0 for j.
-3
Let j(w) = -w**3 + 2*w**2 + 28*w - 8. Suppose o + 6 - 17 = -2*r, 3*r - 20 = 2*o. Let a be j(r). Solve 0 = -5*x + x - a for x.
-4
Let d = -1 + 5. Suppose -r + 18 = 4*c + r, 6 = 2*c + d*r. Solve c = 2*j - j for j.
5
Let k(s) = -3*s - 8. Let u be k(-12). Suppose -m + u = 9. Suppose 4*f - 13 = m. Solve -j - f = -3*j for j.
4
Let k = 266 - 110. Let h = -151 + k. Solve -20 = h*x - 0 for x.
-4
Suppose -7*g + 8*g + 0*g = 0. Solve 106*t - 104*t - 6 = g for t.
3
Let t be 0/((-6)/(-3)*-1). Let i(n) = -n**2 - n. Let h be i(t). Solve h*k + 5 = -k for k.
-5
Let l(z) = -z**2 + 1. Let a(n) = n - 1. Let d(p) = -a(p) + l(p). Let v be d(-2). Suppose -3*f - 9 = 0, -3*i + v*i + 3*f + 45 = 0. Solve 0*k - 3*k + i = 0 for k.
4
Suppose 15 = -4*t + 15. Solve 5*u - 4*u + 2 = t for u.
-2
Suppose 5*z - 16*z = 12*z. Solve z = 10*g - 0*g + 40 for g.
-4
Let g = -480 + 507. Solve 0 = 5*p - 12 + g for p.
-3
Suppose 34*y = 37*y - 60. Solve -y = -4*h - 0*h for h.
5
Let v(b) = -b**2 + 49*b - 164. Let j be v(45). Solve j = 159*z - 155*z for z.
4
Suppose 40 = -5*i + 9*i. Suppose 5*o = -2*t + 26, -3*t + 7*o - 11 = 2*o. Solve -t*p - i = -1 for p.
-3
Suppose -4*z + 8 = 0, -5*l + 0*z = 4*z + 712. Let o = l + 149. Solve 5 = -o*s - 20 for s.
-5
Let c be 11 - (6/3 - 4). Solve -2*t + 9*t = c*t for t.
0
Suppose -2*y + 0*y = -o - 2, -18 = -o - 3*y. Solve 2*c - o = -4*c for c.
1
Suppose 4*k + d = 19, -2*d + 5 = -1. Suppose -3*i = -2*g + 13, k + 9 = 5*g - i. Solve y - g*y = -2 for y.
2
Suppose 15*g - 39*g = 0. Solve -2*l + 0 + 6 = g for l.
3
Let f(v) = 3*v**2 - 23*v - 4. Let i = -17 - -25. Let b be f(i). Solve -12 - b = -4*y for y.
4
Suppose -18*m + 0 = -54. Solve -m*r - 6 = -5*r for r.
3
Let d = -958 + 960. Solve d + 14 = 8*w for w.
2
Let m be -14*(-6 + 7 + -3). Solve -q = 6*q + m for q.
-4
Suppose -4*r - 3*j = -39, -r + 7*j - 5*j - 4 = 0. Solve r*i = i - 20 for i.
-4
Let z(o) = o**3 - 11*o**2 + 9*o + 18. Let y be z(10). Solve g + y = -7*g for g.
-1
Let u = -26 - -28. Suppose 1 + 3 = u*k. Suppose -x - 5*l = -22, -5*l = -k*x - 2*x - 12. Solve -x*m = 3*m + 15 for m.
-3
Let v(z) = -z**3 - 7*z**2 - 5*z + 6. Let a be v(-6). Solve 20 = -a*t - 5*t for t.
-4
Suppose -22*t - 3*n = -24*t - 3, 0 = -t + n. Solve 0 = t*h + h - 20 for h.
5
Suppose -7*x + 12 = -4*x. Suppose 3*s - x*s = -6. Suppose -2*n = -s*n. Solve -3*v + 2*v = n for v.
0
Suppose 590 = 16*d - 6*d. Solve 49 = 2*i + d f