= 0 for w.
0
Let x = -24 + 29. Let u be (-24)/(-10) + (-2)/x. Solve 0 = -u*f + 4*f for f.
0
Let b = 47 + -31. Let o = -14 + b. Solve 0 = -3*w - o*w + 25 for w.
5
Let i(j) = -j**3 - 11*j**2 + 27*j + 15. Let m be i(-13). Let x be 6/24 - (-21)/12. Solve 0*a = m*a + x for a.
-1
Let n = 13 - 7. Suppose -4*p = -3*c - 26, -3*c + 91 = 5*p + 45. Suppose 5*w - p*w + n = 0. Solve -7*q = -w*q for q.
0
Let c(o) = -4*o + 34. Let s be c(7). Solve 0 = s*u - 3*u + 12 for u.
-4
Suppose -t - 2*h = t - 4, -4*h - 16 = 0. Solve -2*r + t = -0*r for r.
3
Suppose r = 4*f + 14, 2*r = -5*f - 0*r - 24. Let q be 14*(48/(-21))/f. Solve 3*y + q = -7 for y.
-5
Suppose 0 = 66*j - 117 - 147. Solve 3*r = -j*r - 35 for r.
-5
Let j = -13 + 2. Let x = 13 + j. Suppose -6 = u - x*u. Solve -k = -u*k + 5 for k.
1
Let h(p) = 0*p**3 + 26*p**2 - 31*p**2 - p**3 - 6 - 6*p. Let g be h(-4). Solve 2*l + g = -2 for l.
-2
Suppose -5*a = 5*v + 140, 2*a + 0*v + 60 = -v. Let n be 2/(-7) - a/14. Let s = 1486 - 1482. Solve -s*b + 2 = -n for b.
1
Let k(h) be the second derivative of -h**5/20 + h**4/4 + h**3/2 + 9*h**2/2 - 17*h. Let a be k(4). Solve -10 = a*r - 0*r for r.
-2
Let f be ((-70)/20)/(1*(-2)/4). Solve -6*d + f = -11 for d.
3
Let v = -7 + 34. Suppose 21*h + 312 = 34*h. Let p = v - h. Solve -4*b + 2 = -p*b for b.
2
Let i = -193 + 219. Solve i = 2*h + 16 for h.
5
Let i = -193 - -217. Suppose -r + 8 = 3*r. Suppose r*b - i = -4*x, -2*b + x = -0*b - 4. Solve 0 = y - b*y for y.
0
Let f be 66384/1008 + 6/(-7). Solve 61 - f = s for s.
-4
Suppose 11 = 4*f - 1. Let r be (2 - 56)*3/(-2). Let m = r - 79. Solve 5*i = f*i - m for i.
-1
Suppose 0 = 7*r - 8*r + 2. Solve r*d - 1 = 1 for d.
1
Let z = 34 - 49. Let s = z + 15. Suppose -4*g + 18 + 6 = s. Solve -3*u + g*u - 15 = 0 for u.
5
Suppose 0 = -3*q - 6, 2*x - q - 1 = 1. Let r be (-1 + (4 - 4))*x. Suppose 2*g + 2*g = r. Solve 4*u - 3*u = g for u.
0
Let y be (-9)/126 + 394/28. Solve 15 = y*g - 19*g for g.
-3
Let g be (1 - 16/4)/(3/(-2)). Let x be (-3 - 1) + (2 - -2). Solve -g*k + 3*k = x for k.
0
Let i = 10 - 7. Suppose 0 = 2*q - 8. Suppose -x = q*s - 4, s = -i*s + 2*x + 16. Solve -s = -2*r + 2 for r.
2
Suppose z + 2 = 3*u, 1 = -z + 4*u - 2. Solve -2*f + 5 + z = 0 for f.
3
Let k(a) = a - 1. Let z be k(3). Suppose -d = -3*m, z*d - 4 = d + m. Solve d*j = j for j.
0
Let a(j) = j**2 + j - 2. Suppose f - 2 + 8 = o, 6 = 2*o. Let b be a(f). Suppose -b*v + 4 = -20. Solve -x = -4*x + v for x.
2
Let u be (-2)/3 - 11/(-3). Suppose 21 = 2*s + 2*s - d, 2*s = u*d + 3. Suppose -2 = 4*t - 82. Solve t = -s*y + y for y.
-4
Suppose -4*r = -3*r + 5*r. Solve -3*i + 63 - 54 = r for i.
3
Let l be 313/(-9) - 42/189. Let u be (-2)/(10/l) - 3. Solve -7*a = -u*a - 3 for a.
1
Let m = -14 + 13. Let k be 18/6 + m/1. Suppose p - 4 = 0, -3*n - 9 = -4*p - k. Solve -n*g = 7 - 4 for g.
-1
Let j = 51 + -45. Solve 0 = -3*g - j - 0 for g.
-2
Let t = 60 - 56. Suppose -5*v = -4*g - 4, -t*v - 2 = -0*g + 2*g. Solve -5 = c - v for c.
-5
Let y(w) = 5*w + 6. Let r be y(-4). Let o = r - -14. Solve o = 2*h + 3*h for h.
0
Suppose -5*r + 3*o = -50, 3*r + r = -o + 23. Let u(q) = -q**3 + 8*q**2 - 5*q + 6. Let f be u(r). Let w = 1 + f. Solve -5*h - 1 + w = 0 for h.
4
Suppose -2*o = -4*o + 4. Suppose 0 = 4*v - 0*h - o*h - 44, -3*v + 42 = 3*h. Suppose d = 14 - v. Solve -c - 2 - d = 0 for c.
-4
Let p = -88 + 94. Solve l + 5 = p*l for l.
1
Let d be (1*(-1 + 1))/2. Suppose -6*x + 2*x = 2*a + 18, -2*x - 11 = -a. Solve 2*g - 1 - a = d for g.
1
Suppose 4*m + 405 = -5*v, 3*v = 6*v - 5*m + 206. Let h be 22/v - (-48)/21. Solve -6 = -0*g + h*g for g.
-3
Suppose 5*h = -2*f + 74, 2*h - 5*h + 4*f + 60 = 0. Let u = 36 + -51. Let y be u*(0 - h/20). Solve 0 - y = -3*g for g.
4
Let r = -43 + 55. Suppose -r*d = -4*d - 24. Solve -1 = -4*g + d*g for g.
1
Let s(c) = c - 7. Let m be s(10). Let v be -3 + (m - (-1 - 1)). Suppose -v*o + k = -8, -3*o + 5*k = 5 - 24. Solve -o*q + 2*q = 5 for q.
-5
Let z = 61 + -114. Let y = -51 - z. Solve 0 = y*t - 1 + 5 for t.
-2
Let z(v) = -14*v - 138. Let t be z(-10). Solve 7 = t*c - 3 for c.
5
Let z = -67 + -29. Let b = 66 + z. Let w be 36/10 - 12/b. Solve w*c + 20 = 8*c for c.
5
Let r be (0/(-1 - -5))/(-4). Solve r = 4*o - 7 + 19 for o.
-3
Let a(s) = s**2 + 12*s - 13. Suppose 0 = 2*p - c + 24, 20 + 26 = -3*p - c. Let m be a(p). Suppose g = r - 3, 5*r + 4*g - 2*g = m. Solve 5 = r*n - 10 for n.
5
Let g be 1088/102*12/8. Solve -1 = -5*b - g for b.
-3
Let o = 191 + -188. Solve o*i + 7 + 8 = 0 for i.
-5
Let j be 3 - 0 - 2*(-12 - -10). Solve -j*f + 2*f = -f for f.
0
Suppose -2*p + 172 = 2*p + 4*l, 4*l - 4 = 0. Let t be (-30)/35*p/(-9). Let j be (24/28)/(2/14). Solve -t*b = -j + 2 for b.
1
Let g = 1 + 4. Suppose g*n + 5*w = 31 - 1, 0 = -3*n + w + 6. Solve n = -4*t + t for t.
-1
Suppose t + 7 = -2*w + 12, -4*w + 3*t + 25 = 0. Solve 0 = y - w + 3 for y.
1
Suppose -6*b = -b - 5. Let l(o) = 2*o + 1. Let f be l(b). Solve 0 = -f*t + 10 + 2 for t.
4
Let r be 108/(-24) + 5 + (-15)/(-2). Suppose -7*v = -3*v. Solve v = -3*d - 7 - r for d.
-5
Let u = -989 + 994. Let o(k) = 2*k - 6. Let d be o(4). Solve h + d = u for h.
3
Let k(w) = 20*w - 225. Let r be k(12). Solve 7*c + 1 = r for c.
2
Let h = -58 + 67. Suppose 3*w = -0*f - 3*f - 9, f + h = 2*w. Let z = -2 - -5. Solve -z = w*u + 7 for u.
-5
Let r(y) = y**2 - 2*y - 5. Suppose -1 - 11 = -3*b. Let w be r(b). Solve 2 - w = -j for j.
1
Suppose -2*w = -0*l + 4*l - 12, -3*w = 0. Let h be 12*15/180*(l + 1). Solve 0 = -h*v - 10 - 2 for v.
-3
Suppose -4*n = -w + 17, 0 = -6*n + n - 10. Suppose -w = 5*d - 54. Solve 4*k = k + d for k.
3
Suppose 7*a - 33 = 2. Suppose 4*k + a*x = 2*k + 20, 3*x - 6 = 0. Suppose f = -2*f. Solve f = n - 0 + k for n.
-5
Suppose 5*s + k = 3*s + 13, -s + 3*k = 4. Solve 42 - 17 = s*r for r.
5
Let z = 8 - -24. Suppose 5*q + 7 = z. Solve -q = -v - 4 for v.
1
Let m(f) = f + 11. Let v = -13 + 5. Let x be m(v). Let l(q) = -q**2 + 17*q + 25. Let k be l(18). Solve x*u = -k - 5 for u.
-4
Let z be ((-2)/4)/((-6)/(-108)*-3). Suppose 4*w + h = w + 12, z*h = -3*w + 18. Solve -w + 1 = n for n.
-2
Let b be 18/15 - (-792)/40. Solve 13*h + b = -18 for h.
-3
Let d = -68 + 48. Let w = 20 + d. Let r be -5*2/5*-1. Solve r*y + w*y - 8 = 0 for y.
4
Let d(w) = 0 + 1 + w - 2. Suppose -3*c - 2*q + 24 = -6*q, c = 3*q + 13. Let y be d(c). Solve -2*o - y*o = 0 for o.
0
Suppose i + 8 = 5*i. Suppose -4*z + 4*g = -20, -7*g + i*g = 10. Suppose 5*o = -4*u - 2, o - 3*u = -z*o + 17. Solve 6 + o = 4*n for n.
2
Suppose -2*v - 2*v - 4*t = -80, 0 = 5*v - 4*t - 118. Solve -2 = 4*r - v for r.
5
Let k(f) = 7*f**2. Let a be k(1). Let b = a + -4. Let s be 27/(-135) - (488/(-10))/4. Solve 3*u - s = -b for u.
3
Let v = -42 + 68. Suppose 5*g + 11 = v. Let f = 7 - g. Solve -f*a = a for a.
0
Let r = -3 + -5. Let o(t) = -2*t + 1. Let z(d) = 7*d + 3. Let g(q) = -3*o(q) - z(q). Let h be g(r). Solve -h*j - 6 = j for j.
-2
Suppose -101 = -0*x - 4*x + z, 2*x - 5*z = 73. Suppose -x = 2*l - 14, 0 = -4*m + 3*l + 35. Solve j + m = 6*j for j.
1
Let h = -114 - -112. Let w be (-3)/(-2)*(-8)/3. Let q be h*w/16*4. Solve 0*r - 2*r = -q for r.
1
Suppose 10*t + 5*t = 45. Solve -g = 12*g - t*g for g.
0
Let t(v) = -2*v**3 - 2*v**2 + 2. Let s be t(-2). Suppose f = -2*l + 14, 3*l - 4 = 4*f - 5. Suppose 1 = 2*j + g, -l*j + 4 - 9 = 5*g. Solve 4*w - j*w = s for w.
5
Let n be (-9 - (-63)/6)*16/6. Suppose 0 = -4*l, -2*g - l + 20 = -0*l. Suppose 3*y = -2*v + g, 3*y - n*v - 1 = -3. Solve -k + y = -3 for k.
5
Let z(d) = d**3 + 12*d**2 - 9*d - 8. Let l be z(-13). Let x be l/9*(-3)/2. Let j = x + -5. Solve 2*g = j*g for g.
0
Let h(k) = k + 2. Let x be h(4). Suppose x = 4*v - 10. Let j be 6*(-2 + 8/36)*9/(-6). Solve -8*b - j = -v*b for b.
-4
Let d(y) = -y - 3. Let o be d(-5). Suppose -4*i + 3*g = 8*g + 25, -5*i - o*g - 10 = 0. Let u be i/(((-2)/1)/(-1)). Solve -3*c - 2*c - 15 = u for c.
-3
Let x = 10 + 20. Let w = x + -29. Solve -2 - w = 3*k for k.
-1
Let j = -9 + 13. Suppose -q + j*u = 2*q - 12, -12 = 4*u. Solve 4*h + 4 = -q for h.
-1
Suppose 2*z = -4 + 8. Suppose 2*d - 12 = -z*d. Solve 0 = -5*x + d + 12 for x.
3
Suppose -b = 2*t - 11, -2*t + t + 16 = 4*b. Suppose -3*a - 16 = -5*j, 2*a = -a + b*j - 6. Solve 5 = -a*k + 20 for k.
5
Suppose x - 46 + 18 = 0. Suppose x - 112 = -7*g. Solve g = -4*t - 0*t for t.
-3
Suppose -2*g + 7*g +