w for w.
2
Suppose -27 = 5*c - 17. Let k = 3 - c. Solve -3*w - 2*w - k = 0 for w.
-1
Suppose g = -2*u - 5 + 14, 4*g = -3*u + 26. Suppose 0 = 5*z - 0 - 5. Suppose 0 = -d - 0*d - 4*f + 3, z = -f. Solve g = -4*w - d for w.
-3
Suppose -1495 = -15*i - 445. Solve -i*q + 5 = -71*q for q.
-5
Let u(g) = -2*g**2 + 53*g - 66. Let m be u(25). Solve -5*k + m = -2*k for k.
3
Suppose 4*x + 6 - 2 = 0. Let p(t) = -6*t - 3. Let v be p(x). Solve v*r + 1 + 8 = 0 for r.
-3
Let m be ((-3)/4)/(11 + (-46670)/4240). Solve 105*v - m*v = 0 for v.
0
Let z(f) = -50*f - 845. Let m be z(-17). Solve 12 + 13 = m*b for b.
5
Suppose 0 = -2*i + 4*i - 4*y - 28, 4*y = i - 22. Suppose -h - 2*c = -i, -2*h - 3*c = -13 + 4. Solve h = -2*d - 4 + 14 for d.
5
Suppose -a + 4*j = -j + 19, 3*j - 11 = a. Let i be (-4)/30 + 6/45. Suppose d - 2*h = -h, i = 2*d - h. Solve x + a + 1 = d for x.
-2
Let i(p) = p**3 - 12*p**2 + 41*p - 10. Let s be i(8). Suppose -s - 18 = -4*a. Solve 3*q + a = -q for q.
-5
Let x be (-156)/16 - 1/4. Let y = x + 14. Suppose 4 = b - y. Solve 4*t = -0*t + b for t.
2
Let z = 10 - 6. Suppose -4*r = n - 0 - 4, 4*n - z*r = 36. Solve -n = 4*d - 2*d for d.
-4
Let r be 2 + 0*(-5)/(-20). Let o = r + 2. Solve 0 = -2*b + o for b.
2
Let n = 229 - 219. Let a = -5 + 9. Suppose -a*v = w + w, 5*v - n = -5*w. Solve -w*g - 4 = -0 for g.
-1
Suppose 0 = 5*t - 0*i + i + 2, -5*t - 4*i = -7. Let w be 16 - 4/(1 - t). Let d be (-8)/w + 53/7. Solve 3*p - d*p + 12 = 0 for p.
3
Let p be 147/42*16/28. Solve 0 = 7*o - p*o + 20 for o.
-4
Let l(m) = -m + 1. Let x be -6*(-6)/(-27)*(1 - -2). Let n be l(x). Solve -18 - 2 = n*y for y.
-4
Let k = -113 - -113. Solve k = 102*x - 114*x - 60 for x.
-5
Let i = -30 + 43. Let z = i + -8. Solve 0 - 5 = z*k for k.
-1
Suppose 3*l + 2*y = 16, l - 3*y = 3*l - 19. Suppose 2*g - 4*g = 0. Solve -l = -2*a - g*a for a.
1
Let l(j) = -j**3 - 5*j**2 + 21. Let k be l(-4). Solve -k = 47*b - 46*b for b.
-5
Let a(p) = p**2 + 12*p + 20. Let q be a(-7). Let u be (-284)/(-20) + (-12)/q. Solve y + 4*y = -u for y.
-3
Suppose -3*w + 28 = 4*a, -4*a + 20 = 4*w - 3*w. Solve 0 = -w*h + 12 for h.
3
Let q(z) be the first derivative of z**2/2 + 4*z - 6. Let u be q(6). Let j be 0/(1 - (0 - 0)). Solve j = -3*n + n - u for n.
-5
Let y = 2 + 7. Suppose -y*h = -12*h. Solve 5*d + 0*d + 10 = h for d.
-2
Suppose 0 = j - 0*j + w - 85, -5*j - w + 429 = 0. Let b = 91 - j. Solve 2*y = b*y for y.
0
Let w = 10 - 10. Suppose 0 = l + 4*y - 12, 5*l + w*l = y - 3. Suppose -5*t + 2 + 8 = l. Solve 11 = t*h + 3 for h.
4
Let w(p) = -p**3 - 8*p**2 - 8*p - 5. Suppose 5 = 7*l + 54. Let y be w(l). Solve -m + 12 = y*m for m.
4
Let c be (-24)/(-20)*-5 + 12 - -3. Solve -11 - c = -5*d for d.
4
Suppose -4*n - 157 = -165. Solve -15*g - 34 = n*g for g.
-2
Suppose 4*w - 6 = -5*q + 10, 3*w - 4*q = 12. Let n be w - 3*2/6. Solve 0 = -n*c - 2*c for c.
0
Let h = 237 - 234. Solve 0 = 7*f - h*f + 8 for f.
-2
Suppose -4*x + 7*x = 2*j + 7, j + 4*x - 24 = 0. Let t be 1/(j/(-1)) + (-27)/(-12). Solve 0 = 3*h - h + t for h.
-1
Let p(u) = u**3 + 6*u**2 - 6*u + 7. Let f be p(-7). Suppose f = -o + 5*o - 8. Suppose -2*r + 2*i - 14 = -6*r, -i = -o*r + 13. Solve -4 = -r*w + 11 for w.
3
Suppose 3*f - 8 = f. Suppose 0 = 3*t - 5*t + f. Solve -2 = j - t*j for j.
2
Suppose 3*a - 9 = 0, -a - 25 = -2*l - 6*a. Solve -l + 8 = -j for j.
-3
Let p = 14 + -20. Let n be 4 + (p - 2)/2. Solve -2*y + n*y = -4 for y.
2
Let d be (-12)/8*4/(-3). Suppose -z = 2*w - 10, 0 = -3*w - 2*w + 10. Suppose z + d = 2*b. Solve y + b = -1 for y.
-5
Let k(s) = -3*s + 3. Let j be k(3). Let a(z) = 3*z + 1. Let f(h) = 8. Let g(y) = -a(y) + f(y). Let u be g(j). Solve -u = 6*b - b for b.
-5
Let h = -141 + 143. Let l(g) = -g + 7. Let a be l(h). Solve -9 = a*m + 6 for m.
-3
Suppose 5*y = -38 + 133. Let f be 784/133 + 2/y. Suppose -f = 2*i, -4*v - 5*i = -2*i + 9. Solve -1 + v = t for t.
-1
Let d = 232 + -227. Solve -d*y - 29 = -9 for y.
-4
Let g(f) = -f**2 + 14*f - 13. Suppose -4*b - 4*x + 15 = -17, -5*x - 77 = -4*b. Let d be g(b). Solve d = 3*j + 8 - 5 for j.
-1
Suppose -8*x = -3*k - 11*x, 0 = 4*k - 4*x - 8. Let j(u) = 6*u**2 - 2*u + 1. Let f = -1 - -2. Let o be j(f). Solve 0 = t - o + k for t.
4
Suppose 0 = -11*d + 860 + 240. Solve -d = -21*n - 4*n for n.
4
Let d = 265 + -263. Solve -d*c - 12 = c for c.
-4
Let u be ((-170)/85)/((-2)/41). Solve -10*o - u = -1 for o.
-4
Let m(s) = -4*s**2 + 27*s - 11. Let u be m(4). Solve 13 = 5*l + u for l.
-4
Suppose 3*o - 137 = -5*q - 15, 170 = 4*o + 3*q. Let z = 47 - o. Solve -z*t = -0*t - 12 for t.
4
Let p = -13 - -21. Let a(r) = -2*r**2 + 2*r + 1. Let u be a(2). Let z = p + u. Solve -z*w = 6 + 4 for w.
-2
Let s(k) = k**2 - 4*k. Let g be s(4). Let z be 24/(-48)*(-1 - 5). Suppose 0 = -g*n + z*n - 9. Solve 8*b - n*b = 5 for b.
1
Let s(d) = -2*d**2 + 15*d - 13. Let y be s(7). Let u be (-11)/2 - 1/2. Let q = u - y. Solve q = 2*t - 2 for t.
1
Let x(d) = d**3 - 39*d**2 + 76*d - 48. Let o be x(37). Let w(p) = -25*p**2 - p - 1. Let k be w(-1). Let m = o + k. Solve -5*u - m = -16 for u.
3
Let o = -9 - -13. Let p(c) = 4*c + 20. Let u be p(-21). Let g = u - -65. Solve i - o = g for i.
5
Let x = 16 + -13. Let m(i) = i**2 - 4*i + 7. Let l be m(x). Solve -k + l*k = -6 for k.
-2
Suppose -4*v - 45 + 309 = 0. Let t = v - 56. Solve 0 = -0*o + 5*o + t for o.
-2
Suppose 0 = k - 3*r - 69, -4*r - 126 = -4*k + 126. Let q be 6*(-5)/k*-10. Solve -5*u + 0 = q for u.
-1
Let z be 72/14 - 8*2/112. Solve -2*x = -z*x for x.
0
Suppose 5*y + 30 = 5*k, -3*y + 0 = -5*k + 20. Suppose -k = -w + 3. Let g be ((-5)/w)/(1/(-16)). Solve 3*d = -d + g for d.
5
Let i = 535 - 523. Solve 0 = -6*c + i for c.
2
Let z = 167 + -166. Solve -2 + z = o for o.
-1
Let k be -2*(-4 - (-10)/4). Let r(w) = w**2 - 3*w + 2. Let h be r(k). Suppose -1 = -p - l, 3*p + 2 = -h*l + 8. Solve p*v + v = 15 for v.
3
Let s = 1917 - 1913. Solve -5*b + 7*b = -s for b.
-2
Suppose -17 = -48*g + 31*g. Suppose 2*d + d - 12 = 0. Solve -g = d*z + 19 for z.
-5
Let b = 33 - 24. Let o = 13 - b. Suppose 0 = 4*v - o - 4. Solve -v = -5*z + 13 for z.
3
Let s = -20 + 22. Let n(t) = 11*t + 1. Let l be n(1). Let j = 10 + -6. Solve l = -s*q + j for q.
-4
Let z be (4/3)/(5 - (-186)/(-36)). Let t be (18/z)/(3/(-12) + 0). Solve -4*j = -21 + t for j.
3
Suppose 2*j + 3*j = -10. Let b(u) = -u**3 + u - 3. Let y be b(j). Solve y = s - 0 for s.
3
Let t(u) = -u**2 - 6*u - 8. Let x be t(-5). Let y be 3*((-11)/(-3) + x). Let f = -30 + 34. Solve -y = -v - f for v.
-2
Let g(a) = a - 36. Let k be g(12). Let l = k - -34. Suppose 0*j = -3*j + 6. Solve -7*q + l = -j*q for q.
2
Suppose -2*i + 2 = -h - 4, -3*h = -5*i + 15. Solve h = -2*g + 10*g + 16 for g.
-2
Let i be 1*-3*(-4 + (-1 - -4)). Suppose 6 = 3*l - 0*l. Solve -n + l = -i*n for n.
-1
Let j(r) = -r**3 + 10*r**2 + 5. Let p be j(10). Suppose 4*n = 5*t - 0 - 36, -20 = p*n. Solve -1 = -t*i + 7 for i.
2
Let f = -10 + 12. Suppose 5*m - 24 = f*c, -m + 5*c + 22 - 8 = 0. Solve 5*a - m = 1 for a.
1
Let h be 10/(-60) - 62/24*-2. Suppose -5*w - 15 = -h*m, -3*m = -m + 2*w - 14. Solve 0 = -m*a + 4*a + 4 for a.
4
Let k(v) = 23*v**3 - 2*v**2 + 3*v + 1. Let o be k(1). Solve 0 = 15*d + 5 + o for d.
-2
Let o = 3 + -7. Let j(g) = g**3 + 3*g**2 - 4*g + 5. Let b be j(o). Suppose -5*t - 1 + 16 = 0. Solve -4 = b*f - t*f for f.
-2
Let a = -33 - -55. Let v = -37 + a. Let z = 15 + v. Solve -d + 4 = -z*d for d.
4
Let z(k) = -k**3 + 4*k**2 - 2*k - 1. Let c be z(3). Suppose 8 + 2 = c*y. Let w be ((-4)/3)/((-2)/3). Solve y = -b + w*b for b.
5
Let c be (-1 + 1)*(-1)/1. Suppose 0 = -3*v - c*v. Let w = 2 + v. Solve -a = -w*a for a.
0
Let p be (-4)/(-14) + 0 - 104/(-28). Suppose 16 = 10*b - 5*b - l, p = l. Let h(f) = 2*f**2 + f - 1. Let k be h(1). Solve 0 = k*x + b - 0 for x.
-2
Let p = 7 - -9. Let f = p + -12. Let o(a) = -a**3 + a. Let m be o(1). Solve 0 = -m*v + f*v + 16 for v.
-4
Let z be (2/(-5))/((-4)/40). Let g = -487 + 489. Solve 0 = 2*c - z*c + g for c.
1
Suppose -f = -4*f - 27. Let h = 17 + f. Suppose 17 = 5*b - h. Solve 2*a + b = 1 for a.
-2
Let p be (2 - (-13 + 4)) + -2. Suppose 5*j + p = 19. Solve -j*n = n + 15 for n.
-5
Suppose 0 = -76*h + 82*h. Solve h = -2*z - 6*z + 40 for z.
5
Let q(a) = 12*a + 1. Let j be q(2). Suppose 0 = -4*c - 4*p - 36, c = -8*p + 3*p - j. Let k = 9 + c. Solve g - k = -0*g for g.
4
Let w(v) =