a = w - 14 for a.
3
Suppose 5*q - 19 = -l + 2*l, l - 1 = 0. Let b be 2/(q + 68/(-18)). Suppose 7*k + 13 = 4*k - 5*x, -3*k - x + 7 = 0. Solve -20 = b*i - k*i for i.
-4
Suppose -d + 11*d - 40 = 0. Suppose -42 = d*q - 106. Solve 3*i = 7*i + q for i.
-4
Suppose 2*l - 75 + 37 = 0. Suppose 4*y + y - 3*h - l = 0, 3 = y - h. Solve -4 = y*c - c for c.
-1
Let k = 41 - 73. Let p = -27 - k. Solve p*j = -8 - 7 for j.
-3
Let x(b) = -b + 4. Let y be x(4). Let p = -300 - -532. Let v be 2/12 - p/(-48). Solve 0 = -y*i + v*i - 5 for i.
1
Let s(h) = -3*h + 18. Let v be s(6). Suppose -4*j + 21 - 9 = v. Let f(l) = l**3 - 4*l**2 + 2*l + 4. Let p be f(3). Solve -j*z = -13 + p for z.
4
Let r = -53 - -69. Suppose -q - 5*i = -2*q + r, 0 = 2*q - 5*i - 32. Solve 9 = -5*l - q for l.
-5
Suppose 8*z - 128 = -80. Solve 9 = 5*y - z for y.
3
Let o(x) = -5 + x + 14 - 3*x. Let g be o(0). Suppose g = 5*m - 1. Solve -2 + 10 = -m*b for b.
-4
Let u(m) = 3*m**2 + 16*m + 16. Let p be u(-4). Solve -4*v - 5*v + 27 = p for v.
3
Let m(y) = y**3 - 13*y**2 + y - 13. Let n be m(13). Let d be ((-3)/(-4))/(15/180). Solve n = -5*i + 2*i + d for i.
3
Let h(i) = -7*i + i**2 - 45 + 86 - 42. Let u be h(8). Solve -u*w = -3*w - 8 for w.
2
Suppose -14 = -5*i + 2*n, -i - 4*i + 35 = 5*n. Let l(q) = q**3 + 5*q**2 + q - 12. Let o be l(-4). Let t be 12/(-4) + 1 + (3 - o). Solve i = -f - t for f.
-5
Suppose -3*f + 8 = f. Let s be 1*(4 + (f - 3)). Suppose -s*y = 2*y - 25. Solve -y*l + l = 8 for l.
-2
Let k be 6*2/(-4) - (-168)/12. Let l = -1 + 1. Let z = l - -5. Solve 14 + k = -z*j for j.
-5
Suppose 5*i + 2 = 12. Let r(d) = 5*d + 16 + 0*d**2 + d**2 - 1 - 9. Let o be r(-7). Solve 0 = i*h + 3*h + o for h.
-4
Suppose 3*o = -5*w - 15 + 6, -4*o - 4 = 4*w. Suppose 0 = -3*g + o*g. Solve -5*z = -g*z - 5 for z.
1
Let l be (5/(-4))/((-13)/(-208)). Let r = l - -25. Solve -20 = r*h - 0*h for h.
-4
Let l = 10 + -17. Let t(c) = c**3 + 6*c**2 - 7*c - 4. Let j be t(l). Let g be j/8 - (-7)/2. Solve -f - g*f = -8 for f.
2
Suppose o = -o. Let f(m) = m**2 + 17*m + 34. Let t be f(-15). Suppose o = r + t*r. Solve -b + r*b + 2 = 0 for b.
2
Let j = 23 + -15. Suppose -10 - j = -2*n - o, 4*o - 51 = -5*n. Let s = -7 + n. Solve 4*t - 20 = -s*t for t.
5
Let x(j) = 3*j**3 - 38*j**2 - 16*j + 41. Let a be x(13). Solve -a*n = -13*n - 11 for n.
-1
Suppose -5*h + 35 = -4*z, -5*z + 3*h = 31 + 16. Let k be (-2)/z - (0 + 108/(-10)). Solve -4*a - 31 = -k for a.
-5
Let l be ((-18)/4)/((-2)/(-24)). Let k = -47 - l. Solve o + k = 4 for o.
-3
Let r = -32 - -32. Suppose z + 5*o - 36 = r, o = -3*z - 0*o + 38. Solve z = -4*x + 3 for x.
-2
Suppose 2*b + 5*z = -20, -z + 0*z = 3*b + 4. Solve 16*f - 15*f + 2 = b for f.
-2
Let o = -9 + 14. Suppose o*b + 3 = -4*y + 1, -5*y - b = -8. Solve 2*p - 2 = y for p.
2
Suppose 0*r + 69 = -3*r. Let i = -18 - r. Solve -f + i*f = 12 for f.
3
Let t(r) = -r - 4. Let z(j) = -j - 3 + 8 + 2*j. Let k(w) = 6*t(w) + 5*z(w). Let g be k(1). Solve g*q - q = 0 for q.
0
Let a(y) = -y + 2 + 6 + 5 - 2. Let b be a(7). Let m = b - 2. Solve m = 4*t - 2 for t.
1
Let s = 18 + -16. Let w be 12*(12/(-8) + s)*1. Solve 5*j = 3*j - w for j.
-3
Suppose 14 - 18 = -2*m. Solve 0 = m*w - 6*w + 20 for w.
5
Suppose 0 = -2*h + 7*h - 35. Let j(k) = -k**2 + 4*k - 3. Let c(o) = o + 14. Let v be c(-12). Let i be j(v). Solve 2*u + i = -h for u.
-4
Let r = -22 - -22. Let w be r/(-2)*(25/(-10) + 2). Solve 4*a - 4 = -w for a.
1
Suppose -5*i - 2*p = -10, -2*i + 5*p = -5*i + 6. Suppose -5*n + i*c = -2 - 15, 5*n = -c + 14. Solve -8 = n*y + 4 for y.
-4
Suppose 16 = 3*t - t - c, 5*c - 24 = -3*t. Let g(u) = u**3 + 10*u**2 + 9*u - 6. Let v be g(-9). Let s be ((-3)/v)/(2/t). Solve q + s*q = -9 for q.
-3
Let c(z) = z + 6. Let m be c(-8). Let y(a) = -3*a + 2. Let w(o) = 4*o - 3. Let k(r) = 2*w(r) + 3*y(r). Let d be k(m). Solve p + d*p = 0 for p.
0
Let k be (1/(-2))/(-1)*0. Solve k = b - 1 for b.
1
Let b = 0 + 12. Suppose -6*o + 98 = -3*r + 80, -18 = -3*o. Solve -r*g = -3*g + b for g.
-4
Suppose 2*k = 2*n + 6 + 8, -4 = n. Let t = -69 - -82. Let f = 24 - t. Solve -f = k*h - 5 for h.
-2
Let s be (1365/(-175))/((-6)/20). Solve 0 = -9*m - 4*m + s for m.
2
Let s be 3 + (-4)/(-6)*9. Let y = s - 7. Suppose 4*b - 3*d - 4 = 5*b, -5*b + 2*d + 14 = 0. Solve -y*a - b*a + 8 = 0 for a.
2
Let k be 190/15 + (-40)/(-30). Solve 3*p + 4*p = k for p.
2
Let b = 64 - 58. Let l(v) = v + 12. Suppose 30 = -7*k + 4*k. Let n be l(k). Solve n*z = 5*z - b for z.
2
Suppose 2*n - 4*w = 88, -3*n + 0*w = 3*w - 87. Let a = n + -27. Solve a + 3 = -5*j for j.
-2
Suppose s - 1 = -2*k - k, 0 = -3*s - 15. Solve 0 = 4*i - 22 + k for i.
5
Suppose 2*a - 17 = -0*s + s, 5*s + 22 = a. Suppose -a = -2*p + p. Solve 4*j + 5 + p = 0 for j.
-3
Let i(m) = 2*m**2 + 10*m - 4. Let k be i(-6). Let x be (10/8)/(2/k). Solve -1 = 3*z + x for z.
-2
Let c(v) = -v**2 + 9*v - 8. Let z be c(6). Suppose -4*g + 14 = -z. Solve g = -y + 3 for y.
-3
Let d be (-16)/(-9) + 2/9. Suppose 7*k = 5*k + 10. Suppose k = -o + 14. Solve d*a - 1 = o for a.
5
Suppose -3*p + 6 = -p. Solve -p*t = -6*t for t.
0
Let h(l) = -6*l - 9. Let q be h(4). Let v = 36 + q. Solve -11 = -4*a - v for a.
2
Suppose -17*j + 18 = -84. Let m = j - 1. Solve 4*n - 3 - m = 0 for n.
2
Let w be -2*1/(-4)*2. Suppose -128 = 5*p + 3*n, -4*n = 2*p - 7*n + 68. Let g be (10 + p)*w/(-3). Solve -g - 4 = 2*a for a.
-5
Let b = -16 + 16. Suppose b = 10*q - 5*q - 30. Suppose 0 = -4*y + 6*y - q. Solve 5 = -y*g + 2*g for g.
-5
Suppose 0 = 4*v - y - 53, -3*v + 2*y + 14 = -22. Let w = -14 - -2. Let a = v + w. Solve 0 = -u + a - 0 for u.
2
Let r = 27 - 23. Solve -35*t - r = -31*t for t.
-1
Let n(g) = 3*g - 30. Let m be n(10). Solve q = -m*q + 5 for q.
5
Let f = -62 - -87. Suppose -5*p = -35 - f. Solve -4 - p = -4*d for d.
4
Let j(u) = -u**2 - 10*u - 6. Let w be (-12)/18*3*4. Let x be j(w). Suppose -5*l = 5*z + 5, -4*z = -2*z - 4*l - x. Solve -z = 2*i + 9 for i.
-5
Suppose 0 = 37*x + 1174 - 3098. Solve -12*u + x = 16 for u.
3
Let m(n) = 11*n + 18. Let l(t) = 5*t + 9. Let s(z) = 9*l(z) - 4*m(z). Let u be s(-6). Solve -u*g = 2*g - 20 for g.
4
Let b = 7 + -3. Let q be ((-18)/b)/(21/(-28)). Suppose q*c - 7*c = 0. Solve 0*v + 2*v + 8 = c for v.
-4
Let c(j) = 11*j**2 + 19*j + 31. Let x(k) = 7*k**2 + 13*k + 21. Let n(p) = 5*c(p) - 8*x(p). Let u be n(-4). Solve 4*l - 27 + u = 0 for l.
5
Let h be (-198)/(-30) - (-4)/10. Suppose -6 = -4*p + 14. Suppose 2*r = 3*r + 3*q + 4, 3*r + p*q = 0. Solve h = r*o + 17 for o.
-2
Let f(d) = 2*d + 35. Let r be f(-11). Suppose r*t + 5 - 5 = 0. Solve 0 = 3*i - t*i for i.
0
Let k be ((-2)/2)/(5/35). Let q(w) = w**2 + w - 2. Let l be q(k). Suppose 5*z - 45 = -4*g, -2*g - 5*z = g - l. Solve 16 = -r + g*r for r.
4
Let s be ((-12)/21)/((-2)/7). Let d be -12 + 10 - (-16)/s. Solve -2*t = -d*t - 8 for t.
-2
Let f(x) = -5*x + 95. Let y be f(18). Solve -19 = -y*q - 14 for q.
1
Let d(x) = x. Suppose i + 5*s + 22 = 3*i, -5*i - 5*s - 15 = 0. Let t(g) = -4*g - 10. Let b(m) = i*t(m) + 5*d(m). Let z be b(12). Solve 4*q + 8 = z*q for q.
-4
Let p = -10 + 13. Let n be 1/p + 1/(-3). Let k = -10 + 18. Solve n = -s + k - 3 for s.
5
Let u be ((-49)/21)/((-4)/12). Solve u*t + 14 = -21 for t.
-5
Let y(c) = -2*c**3 - 4*c**2 + 15*c + 22. Let i be y(-4). Solve -i*j = -22*j for j.
0
Let n be ((-18)/10)/(-5 + (-47)/(-10)). Solve -2*r = -5*r - n for r.
-2
Suppose 0 = 3*g + 5*b - 21, 4*g - 3 = g + b. Suppose 0 = -g*u + 16 - 6. Solve u*o - 9 - 6 = 0 for o.
3
Let y(h) = 21*h + 42. Let x be y(-5). Let n be (-12)/(-21) + 36/x. Suppose 2*g = 5*m - 0*g - 46, 0 = 3*m - 3*g - 33. Solve n = q - 5*q + m for q.
2
Suppose 2 = 4*i - 3*i, x - 4*i = -5. Solve -x*w + 6 = -w for w.
3
Suppose -55 = -2*f - f - 2*i, i - 35 = -2*f. Solve -u + f*u = 70 for u.
5
Let o be (-11 - -2)/(6/4). Let s be (-14 - -8)/(o/4). Solve -5*f + s*f = -3 for f.
3
Let c be (-56)/(-10) - 10/(-25). Suppose 0 = k - c + 8. Let i be (-1)/k*(15 + -5). Solve -i*h = -h for h.
0
Suppose 21*u = 30*u + 38*u. Solve -53*k + 47*k = u for k.
0
Let q(x) be the first derivative of -x**3/3 - 6*x**2 + 14*x + 25. Let s be q(-13). Let o = 5 + -3. Solve -3*v = -o*v - s for v.
1
Suppose 1847*w + 75 = 1852*w. Solve 0 = 10*a - 13*a + w for a.
5
Let r(y) = 3*y**3 + y**2 + 6*y - 6. Let w be r(1). Solve -w*s - 7 = 1 for s.
-2
Let y(q) = q**2 + 21*q - 37. Let s be y(-23