-0*w. Solve w = 4*h - 2*h for h.
1
Let p = -36 + 32. Let q be (4*(p - -5))/1. Solve -3*c + q = c for c.
1
Let y(b) = -6*b + 218. Let q be y(31). Solve -16*k = -0 + q for k.
-2
Let i(d) = 2 - 3*d**2 - d - 2*d**3 + 4*d**3 - d**3 - 2*d. Let p(c) = -c**3 - 5*c**2 - 6*c - 4. Let f be p(-4). Let r be i(f). Solve 0 = -r*y + y for y.
0
Let j(z) = z + 16. Let o be j(-12). Suppose 2*y + o = -2*y. Let i be 0/(3 - y) + 4. Solve f + i*f = 20 for f.
4
Let h(g) = g + 6. Let t(o) = -2*o + 24. Let f be t(11). Suppose -f*r = -3*p, -r = -6*r + 3*p. Let u be h(r). Solve 0 + u = 2*d for d.
3
Let j be (-3*3/6)/((-4)/(-32)*-3). Let o = 11 - 7. Solve 20 - j = o*y for y.
4
Let y be (-4 - -2 - -23) + 3. Let w = -16 + y. Suppose 2*f - 6*f = -w. Solve f*z + 4 = 14 for z.
5
Let m be 30/(-12) - (-27)/6. Solve m*o = o - 4 for o.
-4
Suppose -144 = 3*r - 198. Solve -9 + r = -3*d for d.
-3
Let y = -6 - -10. Let b(t) = -t**2 - 15*t - 21. Let s be b(-13). Suppose -4*u - 4*d + 52 = 0, -5*d - 113 = -s*u - 28. Solve 0 = -j + y*j + u for j.
-5
Suppose 25*f + 4 = 23*f, -4*f = b. Solve 2*m + 10 = b for m.
-1
Let v be 1/(-2*(-4)/(-40)). Let x(b) = -b**3 - 6*b**2 - 6*b - 1. Let g be x(v). Suppose -g*p + 7 = -5, 3*k - p = 33. Solve -4*c = -0*c + k for c.
-3
Let g(n) = -n**3 - 11*n**2 + 2. Let u(f) = -f**3 - 2*f**2 + 3*f - 1. Let o be 4 - 6 - (-2 - 2). Let t be u(o). Let m be g(t). Solve -10 = m*h - 4 for h.
-3
Suppose 48*s - 52*s - 116 = -5*q, -5*q + 5*s + 120 = 0. Let r = 4 + -1. Suppose -g + 15 = 2*b, 0 = -0*b + b - g. Solve r*v = b - q for v.
-5
Suppose -k = 2*k - 6*k. Suppose -28 + 3 = -5*t. Suppose 2 - 22 = -t*p. Solve -4 = -p*r - k*r for r.
1
Let u be 4/(-6) - (-12)/18. Suppose 3*d - 4 + 16 = u, 4*d = -3*r - 16. Solve -a - 2*a + 3 = r for a.
1
Let x be 41/4 + -1*(-8)/(-32). Solve 0 = x*h + 10 - 60 for h.
5
Let b(p) = 6*p**3 + 3*p**2 + 9. Let s(h) = -3*h**3 - h**2 - 4. Let m(i) = -3*b(i) - 7*s(i). Let l be m(1). Solve -3*t - 15 = l*t for t.
-3
Suppose 6 = -3*q - 6. Let c = 6 + q. Solve -3*j + c*j = -1 for j.
1
Let j be (-2)/(12 - 6)*0. Solve j*k + 4*k + 20 = 0 for k.
-5
Let k(f) = f - 3. Let z be k(3). Solve z = 9*c - 13*c - 12 for c.
-3
Suppose 3*f + d = 4*d - 3, 2*f + 11 = 5*d. Solve -f*y = -9*y for y.
0
Let w = -1233 - -1283. Solve 48*t - 6 = w*t for t.
-3
Let n = 423 - 418. Let r = -3 + 3. Suppose -1 = h - 17. Solve -n*u + u - h = r for u.
-4
Suppose -5*w + 5 = -2*y - 2, 0 = y + 2*w + 8. Let a = -4 - y. Solve 4*c + 10 - a = 0 for c.
-2
Let r = -100 + 103. Solve 8*w = r*w + 10 for w.
2
Suppose 4*m + 20 = 0, 2*r + 5*m + 18 = -7. Suppose 8*k - 52 = -4. Let b(u) = 2*u - 4. Let h be b(3). Solve -f - h*f - k = r for f.
-2
Let s be (-63)/(-6) + (-3)/12*2. Suppose -2*w = -4*a + s, 4*a + 0*w = 5*w + 1. Solve -3*r + 1 = a for r.
-1
Suppose 113 = 22*t + 25. Suppose -3*d + 5 = -2*d. Suppose -3*h = -12, 16 = d*o + t*h - 20. Solve -o*z = -2*z + 10 for z.
-5
Let k be ((-33)/(-66))/(1/94). Solve k*l = 41*l + 12 for l.
2
Suppose 2*k = 4*l - 16, -4*l + 2*k - k = -18. Solve -11 = -l*i - 36 for i.
-5
Suppose -11*z + 31 = 31. Solve z*o + 2*o = 8 for o.
4
Suppose 5*c - j = 9, -4*c - 4*j = -0*c - 12. Suppose -10*n + 4 = -6. Let t be (-4 + 2)*n + c. Solve t = -y - 0*y for y.
0
Let o = -46 - -65. Suppose 6*q + o = 2*l + 3*q, 0 = 2*l - q - 9. Solve 0 = -f - l*f - 3 for f.
-1
Let u be 2/(-10) + (-22)/(-10). Suppose -3*c + 2*d + 28 = 0, 5*c + 5*d - u = 3. Let k = 21 - c. Solve 0 = -3*a - 2*a - k for a.
-3
Suppose -u - 24 = -4*u. Suppose 2*o = 2*m + u, m = -4*o + 33 - 12. Let z be (o/(-2))/(4/(-8)). Solve 4 = -3*b - z for b.
-3
Let o be -3 + 70/(-5) + -1. Let h = o + 33. Suppose -6*m + 2*m = -12. Solve 2*x + m*x = -h for x.
-3
Let t(o) = -o**3 - 3*o**2 + 2*o - 3. Let m be t(-4). Suppose m*n - 118 = -98. Solve 0 = -4*s + n for s.
1
Let a = -73 - -99. Solve -23*u + a*u = 6 for u.
2
Suppose -16*z = -21*z - p + 67, -4*z = 2*p - 56. Solve 22*k - 9*k = z for k.
1
Let o = 81 + -41. Let n = -35 + o. Solve 0 = -n*k + 2 - 22 for k.
-4
Suppose 3*n - 17*n = 252. Let o be (1 + 2)*(-72)/n. Suppose -3 = -m - 1. Solve j - o = -m*j for j.
4
Let z be (-2 + 4)*(-4)/(-8). Let t be 5*z*(-6)/(-10). Suppose 0 = -t*j + j. Solve 0 = -r - j + 2 for r.
2
Suppose 0 = 2*q - 10 + 4. Suppose 5*t - q*a - 35 = 41, 5*t + 4*a - 97 = 0. Let z = -16 + t. Solve 2 + z = w for w.
3
Let c = -178 - -181. Solve 7 + 8 = -c*h for h.
-5
Suppose -3*o = 0, -195 = -5*w - 39*o + 43*o. Solve -t - 12*t = w for t.
-3
Suppose -g + 1 = 7. Let a(w) = 7*w + 57. Let s be a(g). Solve -35 + s = 5*t for t.
-4
Let j be (-16)/(-72) + 568/36. Solve j = -3*a + 19 for a.
1
Suppose -63*k = -65*k. Let x(p) = -p**3 - 2*p**2 + 7*p + 5. Let n be x(-4). Suppose -6*l - 30 = -n*l. Solve k = -4*f + 2*f + l for f.
5
Suppose -4*x - x = 5*i, -i - 4*x = 12. Suppose i*s - 46 = -18. Solve 5*l - 3 = s for l.
2
Suppose 5*i - 2*b - 51 = -0*i, 2*i = -b + 15. Let c be 2/(-7) - (8 - 116/14). Suppose c = 11*z - 5*z - 30. Solve -4*a + i*a + z = 0 for a.
-1
Let d(a) = -2*a**3 + a**2 + 2*a + 1. Let w be d(-1). Let o be (-10)/15 + 26/(-6). Let q = o - -8. Solve -17 + w = -q*g for g.
5
Suppose -3*w = 0, 0*x + w = x - 17. Solve 12*l - 10 = x*l for l.
-2
Suppose -5*s - b = 2, -4*s - 3*b - 6 = -0*b. Suppose -4*f - 2 = -2*f. Let u(p) = -7*p - 1. Let g be u(f). Solve 3*z - g*z = s for z.
0
Let a be ((-1)/(-3))/((-2)/(-6) - 0). Solve -2 = -z + a for z.
3
Suppose -5*c = q - 45, 0 = -2*c - 0*c + 5*q - 9. Solve -c*b - 10 = -10*b for b.
5
Suppose 0 = -4*d - 2*h + 14, 2*d + 5*h + 91 - 78 = 0. Let i(l) = l**3 - 5*l**2 + l - 3. Let r be i(5). Solve s = d - r for s.
4
Let z = -20 - -21. Let y(c) = 3*c - 1. Let k be y(z). Solve k*v - 2 = 4*v for v.
-1
Let l(g) = 5*g + 53. Let n(f) = -f + 41. Let q(v) = v - 21. Let x(m) = 3*n(m) + 5*q(m). Let d(h) = 4*l(h) - 11*x(h). Let o be d(6). Solve w = -w - o for w.
-1
Let h(j) = 2*j. Let t be h(5). Let l(z) = z**3 + z + z**2 - t - z**2 + 9 - z**2. Let n be l(2). Solve 0 = -2*i + i - n for i.
-5
Let s be 7/14*-100*(-1)/2. Let q = -23 + s. Solve 2*t + 6 + q = 0 for t.
-4
Suppose 0 = 4*x + 2*q + 392, -4*x - 485 = x + 5*q. Let w be x/12 + (-6)/8. Let j = -6 - w. Solve 4 = y + j*y for y.
1
Suppose -36*r + 772 = 88. Solve r*b = 11 - 68 for b.
-3
Suppose r + 5*l = -14, -3*r = 2*r - l - 8. Let g be (3/5)/(r/10). Solve n + g - 4 = 0 for n.
-2
Let n(o) = 171*o - 6 - 169*o - 1. Suppose 0 = -f + 4*g - 3, -f - 4*g = 5 - 18. Let p be n(f). Solve p*y + 2 + 1 = 0 for y.
-1
Suppose 700 - 124 = 18*m. Solve 3*s + m = -5*s for s.
-4
Let c = -498 + 503. Solve 96 = -c*o + 71 for o.
-5
Let a(j) = -j**2 - 2*j + 13. Let q(v) = 2*v + 2. Let b be q(-3). Let s be a(b). Solve u + s = 2 for u.
-3
Suppose 5*y = 4*c + 80, 28 = -2*y + 6*y + 4*c. Solve -y*l + 44 = -16 for l.
5
Suppose -l + k = 0, 3*l - 5*k = -0*l - 8. Suppose l*j = -3*r - 12, 9 = -r - 2*r - 3*j. Solve r*a = -a for a.
0
Suppose -2*g - 4*s + 13 = -7*s, 5*s + 5 = -5*g. Suppose -4*o + 81 = 5*m, -13 = -2*m - g*o + 21. Let k(v) = v - 6. Let c be k(9). Solve c = 4*x - m for x.
4
Let s = -17 + 11. Let k = s - -10. Suppose 5*a = k*n + 7, 2*n - n - 8 = -2*a. Solve 12 = 7*w - a*w for w.
3
Suppose 7 - 7 = 17*t. Suppose -4*d + 3*j + 14 = t, d + 2*j = 5*j + 8. Solve d = -k - k for k.
-1
Suppose -d = -2, 4*z - d + 5*d - 108 = 0. Solve 14 = -z*j + 32*j for j.
2
Let h(s) = -s**3 - 6*s**2 - 7*s - 7. Let c be 0 - -4 - (-4 - -13). Let i be h(c). Solve -2*j - 5 = -i*j for j.
5
Suppose 77*j + 4 = 76*j + 5*b, 2*b - 12 = 0. Let t = 1 + 5. Solve 4*o = -t + j for o.
5
Suppose 0 = 3*f - 5*f - 4*c - 4, -4*f + 31 = -5*c. Suppose 4 = -0*u + f*u. Solve -g - 2 = -u for g.
-1
Let v be (4/5)/(1/5). Solve 0 - v = -4*r for r.
1
Let w(t) = -18*t - 141. Let n be w(-8). Solve n = -7*q + 10 for q.
1
Suppose 7*l + 407 = 498. Solve -32 = -5*d + l*d for d.
-4
Let v(o) = o**3 - o**2 - o + 12. Let p be v(0). Suppose -5*l = -l - p, 3*w - 2*l - 54 = 0. Let i = w - 10. Solve i = 2*s - 0*s for s.
5
Let w be (-12)/60 - 48/(-15). Suppose -w*r + 3 = 0, -2*m + 0 = -5*r - 5. Solve 0 = -m*k + 2*k for k.
0
Let i = -341 - -347. Solve -2*q - 20 = -i*q for q.
5
Suppose -28*i = -23*i - 50. Suppose -5*w - 4*j - 2 = 0, -j = -w - 5 + i. Solve 0*y = y - w for y.
2
Let u = 189 - 33. Let h = -154 + u. Solve -h*g + 12 = g for g.
4
Let r = 23 + -33. Let o be (-15)/(-3)*(-4)/r. Suppose -4*s = -o*s - 4. 