f = 2*a for a.
-2
Let q(p) = p**3 - 19*p**2 + 3*p - 20. Let a be q(19). Solve -12 = a*u - 31*u for u.
-2
Suppose 6*v + 30 = 9*v. Solve -9*c = -7*c - v for c.
5
Let n be ((-2)/4)/((-14)/84). Suppose n*p = 5*p - 8. Suppose p*q - 9 = -5. Solve -3*x + q + 5 = 0 for x.
2
Suppose 15*m - 8 = 11*m. Solve 9 = -m*u - u for u.
-3
Let z(m) = -4*m + 15. Let v(h) = 9*h - 29. Let w(o) = -2*v(o) - 5*z(o). Let t be w(10). Solve t = -5*q + 8 for q.
1
Let g be 0*(11 + -9 + (-7 - -4)). Solve 5*i + 12 - 2 = g for i.
-2
Let l be (2 - 2) + 1 + -2. Suppose 16*u - 12*u = 0. Let f be l - (-1 - (u - -2)). Solve 2 = -f*d + 4 for d.
1
Suppose 0 = 2*g + 10, 5*g = 4*l - 20 - 21. Suppose 0 = -y + 4*u - l, 4*y - u + 4*u = 3. Solve y + 4 = -4*o for o.
-1
Let j(p) = 4*p - 1 + 4 + 3*p - 6*p. Let c be j(-2). Suppose 1 + c = -4*y + r, 0 = 3*y - 3*r + 6. Solve y*m = -m for m.
0
Let o(v) = -v**3 + 7*v**2 - v + 9. Let c be o(7). Suppose -j - c = -3*s, 3*j - 22 = -s - 8. Suppose 0 = 16*y - 32 - 80. Solve -y = m - s for m.
-5
Let j(b) = b**3 + 6*b**2 - 8*b - 1. Let k be j(-7). Let c be ((-15)/(-12) - 6/8)*10. Solve -2*i + k = -c*i for i.
-2
Let w(d) = 11 + 15 - d + 21 - 36. Let f be w(11). Let h = 15 + f. Solve -3*n = 2*n + h for n.
-3
Suppose -j + 5*i = 35, -5*i - 8 = j - 3. Let a = -10 - j. Solve a = -0*w + 5*w for w.
2
Suppose -12 = -12*d + 96. Solve 7*c - 10*c = -d for c.
3
Let s = 2 - -1. Suppose -s = -2*w + 5*w. Let z be w - (0 + 2 + -3). Solve z*h = -3*h + 3 for h.
1
Let w(p) = 8*p**3 - 3*p**3 + p - 4*p**3. Let a be w(1). Suppose s + a*f = 10, f + 3*f + 4 = 4*s. Solve -x - s = -2*x for x.
4
Let o = 7 + -4. Suppose -u - 12 = -4*w, 3*w - o*u + 4*u = 16. Solve -15 = s + w*s for s.
-3
Let x(o) = o**3 - 2*o**2 + 10*o - 9. Let i be x(1). Solve i = 29*c - 27*c + 6 for c.
-3
Suppose 24 = -4*l - 3*p, 0*l = 3*l - 4*p - 7. Let d = 123 + -120. Let v be l*-1*1/d. Solve -3*s + 7 = v for s.
2
Suppose 1134*r - 1147*r = -52. Solve 0 = 4*d + r for d.
-1
Let y(l) = l**3 - 9*l**2 + 4*l + 35. Let k be y(8). Solve -f + f = -k*f for f.
0
Suppose 858*n = 863*n - 15. Solve n*t - 2 - 10 = 0 for t.
4
Let u be ((-35)/(-10) - 3)*8. Suppose u*o - 6 = 2*o. Solve -o*h - 1 + 16 = 0 for h.
5
Suppose -2*v + 22 = 3*p, 4*v = 2*p + 49 + 11. Solve -v*m + 39 = 109 for m.
-5
Let x = -352 - -206. Let b = 149 + x. Solve -b*w = -7*w for w.
0
Let x be (3/(-18)*-2)/(3/18). Solve -u = -x*u for u.
0
Suppose 0 = 51*w - 48*w - 33. Solve w - 5 = 3*o for o.
2
Let k be (-2)/3 - 228/9. Let p = -19 - k. Suppose 3*l - 28 = 4*m, -4*l = 3*m + 3 - p. Solve -y = l*y + 25 for y.
-5
Let a(k) = -5*k + 15. Let v be a(3). Solve 0 = -v*l + 3*l - 6 for l.
2
Let i = -2463 + 2470. Solve i*s - 21*s = 0 for s.
0
Suppose 601 = 89*f - 4739. Solve -f = -3*x - 69 for x.
-3
Suppose -5*j - 15 = -10*j. Let a be (-117)/18*(-6)/j. Solve 3*y - a - 2 = 0 for y.
5
Suppose 27 = 3*l + i, 18 = 2*l - 27*i + 24*i. Solve -3*s - l + 3 = 0 for s.
-2
Suppose -4*l - 3*t = 7, -3*l = -2*l + 5*t + 6. Let k be (l - -5)*(-14)/(-4). Suppose 16 = 222*o - 214*o. Solve -o - k = 4*p for p.
-4
Suppose 2*t + 43*y - 44*y = 119, 134 = 2*t + 4*y. Solve 17*v + 10 = t for v.
3
Let x(l) = l - 13. Let z be x(32). Solve z*u = 17*u - 8 for u.
-4
Let b = 36 - 31. Suppose -b*i - 2*f = -5 - 18, -2*i - f + 10 = 0. Suppose -n = i*n - 24. Solve 0*y - n = 3*y for y.
-2
Let t(k) = -k**3 + 4*k**2 - 3*k. Let r be t(4). Let s = r - -12. Suppose 5 - 1 = f. Solve -3*o + f + 2 = s for o.
2
Let g be 11/7 + 24/56. Suppose 6 = -7*j + 2*j - g*z, -z = 3. Suppose j = u - 7*u. Solve u = -3*f - 8 - 7 for f.
-5
Let q be (-8)/2 - 0/(-1). Let a = 6 - q. Suppose -7*i = -a*i + 3. Solve i = 2*o - 3*o for o.
-1
Let s(a) = 5*a**2 - 6*a - 1. Let k be s(2). Solve 3*p + 2 = -k for p.
-3
Let o(r) = -r**3 - r**2 - r. Let g be o(0). Let k(n) = -3*n**2 - n + 21. Let x be k(g). Solve -4*p + 5 = x for p.
-4
Let j(r) = r**2 - 7*r + 1 - 12 + 4 - 9. Let q be j(9). Solve 0*o - q*o + 8 = 0 for o.
4
Suppose 0 = 3*q - 9 - 0. Suppose -7 = 4*m - 19, q*t = -5*m + 21. Solve t*k - 6 = -0*k for k.
3
Let u = -96 + 101. Suppose 2*j = 46 + 4. Solve 0*p - u*p - j = 0 for p.
-5
Let f be -1 + (-2 - -12) + -2. Suppose -6*p + f*p = 2. Solve p*z + 6 + 2 = 0 for z.
-4
Let m be ((4 + -3 + -1)/(-1))/2. Suppose -23*q + 20*q + 33 = m. Solve q*d - 15*d = 20 for d.
-5
Let x(h) = 2*h**3 - 2*h**2 - 4. Let m be x(-3). Let z be 2/(-3) - m/6. Solve 6*j = 2*j + z for j.
3
Let k(l) = l**3 - 5*l**2 - 7*l - 8. Let w be k(6). Let v be 130/w + (-2)/(-7). Let y = v + 9. Solve y*a = -a + 1 for a.
1
Suppose 10*s - 5*s - 69 = -3*u, 0 = -6*s - 4*u + 82. Solve 0 = -s*b + 12 + 3 for b.
1
Suppose 4*i = 19 - 7. Let o be 80/(-12)*18/(-15). Let t = o - -2. Solve 2*d - t = -i*d for d.
2
Let f(y) = -7*y**3 - y**2 + 5*y + 4. Let j be f(-1). Solve 0 = -j*i + 9*i for i.
0
Let z be (5 + -16)*12/(-33). Solve -2*x - 2*x = z for x.
-1
Let i(u) = -u**2 + 3*u + 6. Let q be i(4). Let m(r) = r + 7. Let b be m(-7). Suppose 0 = v - b - 5. Solve -v + q = -o for o.
3
Let f(x) = -x**3 + 11*x**2 + x - 12. Suppose -5*w + 3*w = -5*z + 51, -4*w = 4*z - 52. Let r be f(z). Let l = r - -4. Solve c = -0*c + l for c.
3
Suppose -5 + 20 = 3*u. Suppose u*i - c - 14 = 0, 2*c = -0*i - 5*i + 2. Solve i*r = -3*r - 10 for r.
-2
Let n = -237 - -241. Solve n*o - o = 0 for o.
0
Let s = 19 - 12. Suppose 0 = -w - 0*w + 12. Let z be w/7 + 2/s. Solve 15 = d + z*d for d.
5
Let s be 11 - (-5)/(5 + -6). Solve 2*m = -m + s for m.
2
Let z(l) = -l**3 - 17*l**2 - 22*l - 19. Let i be z(-16). Let r = -74 + i. Solve -2*k + r = 1 for k.
1
Let q(l) = -4*l + 5. Let o be q(-4). Suppose o + 19 = 8*d. Solve 3*s + 8 = d*s for s.
4
Suppose -10 = -4*c + 2*c. Solve 1 = c*r + 21 for r.
-4
Let o(c) = -3*c**3 + c**2 + c + 1. Suppose 0 = 5*a + 25, 3*a = 5*v + 6*a + 20. Let d be o(v). Suppose 5*i = 25, -d*g - 2*i - 5 = -7*i. Solve -g*f + 2 = 7 for f.
-1
Suppose -7 = -v - 6. Let w be 82/10 + v/(-5). Let d be 20/w*(-60)/(-25). Solve x = 3*x - d for x.
3
Suppose -6*w - 73 = -103. Solve 4*g + 1 = w for g.
1
Let x(v) = v**3 - 2*v**2 - 2*v + 2. Let j be x(3). Suppose -9 = -j*q + 2*y, 4 + 2 = -2*q + 4*y. Solve -q*u = 10 - 1 for u.
-3
Let r be (6 - (-85)/(-15))*51. Solve -23 = 8*d + r for d.
-5
Suppose 0*s - 75 = 3*s. Let a = s - -26. Solve -a = -c + 4 for c.
5
Suppose 7*y + 12 = 11*y. Solve 2*s - y = -1 for s.
1
Suppose 0 = -2*x - l - 6, 5*x + 3 = 4*x + 2*l. Let s be (x/2)/((-6)/(-32)). Let z(g) = -g - 4. Let r be z(s). Solve -r + 13 = 3*u for u.
3
Let o = -7 + 8. Let c = o + 1. Solve -c*r + 1 = 9 for r.
-4
Let k(u) = u**3 + 5*u**2 + 4*u + 2. Let l be k(-2). Suppose -j = t - l*t + 73, -2*t = 5*j - 40. Let w be 185/t - (-2)/3. Solve -3*c - 28 = -w for c.
-5
Let o(t) = 3*t - 12. Let f be o(8). Let h(d) = d**3 + 24*d**2 - 4*d - 93. Let b be h(-24). Solve -b*x + 0 = -f for x.
4
Let x(w) = w**2 + 8*w + 3. Let f be x(-8). Suppose 3*r - 4 = 2*r. Suppose -f + 19 = r*h. Solve -h*n - 12 = -7*n for n.
4
Let y = 38 - 34. Suppose -6 - y = -5*i. Solve -i*p = p + 3 for p.
-1
Let l(r) = 2*r**3 + 58*r**2 - r - 24. Let a be l(-29). Solve -a*q = -0 + 5 for q.
-1
Suppose 2*x = -t - 1, 5*x + 64*t + 3 = 61*t. Let f = 8 + -6. Solve x = f*p - 0*p for p.
0
Let n(j) = 6*j**2 + 151*j + 25. Let i be n(-25). Let b be 2 + 2/(-3)*-3. Solve -k + 0*k + b = i for k.
4
Let u(t) = -t + 7. Let n be u(7). Suppose 9*g - 13 - 5 = n. Solve -8 = -g*y - 0 for y.
4
Suppose -5 = -9*v - 5. Suppose 5*q = -3*d - 7 - 2, -d - q - 1 = v. Solve -d*t + t + 5 = 0 for t.
5
Let c = -121 - -121. Suppose 5*l = 5*x - 78 + 3, 4*x + 5*l = 60. Solve c = -0*g + 5*g - x for g.
3
Suppose 0*w = 3*w. Suppose -4*a + 21 = 1. Suppose -2*h + 3*h - a = 0. Solve -2*j + h*j + 6 = w for j.
-2
Let l be 4/24 + (-106)/(-12). Suppose -4*m + 151 = -3*s, 0 = 3*m - 3*s - 65 - 52. Let w = m - l. Solve -5 = -4*h - w for h.
-5
Let s be 5*((-99)/(-105) + (-2)/14). Suppose 0 = 3*d + 4*o - 22, -2*d - o + s*o = 8. Solve 9 = -h - d*h for h.
-3
Let q(g) = g - 9. Let f be q(16). Solve -8*z = -f*z for z.
0
Let c(u) be the first derivative of u**4 - 4*u**3/3 + 3*u**2/2 - u - 22. Let q be c(1). Suppose 3*s = y, -s + 2*s - 10 = -3*y. Solve -w + q + s = 0 for w.
3
Suppose 0 = -4*w + 5*w. Let p be (39/(-9) - -4)*w. Suppose -9 = -z - 3*f, p*f = 3*z + f - 19. Solve g + 25 = z*g for g.
5
Let s(k) = k**2 + 7*k - 2. Let n(p) = p. Let t(r) = -6*n(r