r p.
4
Suppose 0 = 2*z + 3*z. Let r(g) = 12*g - 3. Let n be r(1). Solve z = -4*p + p + n for p.
3
Suppose -6*q - 21 + 27 = 0. Solve -q = 5*y - 6 for y.
1
Let z(f) = -f**3 + 6*f**2 - 4*f - 1. Let k be z(5). Solve k*y + 15 = -y for y.
-3
Suppose 2 = 2*d - 2*g, 5*d - 18 = -2*g + 1. Solve n - d*n + 2 = 0 for n.
1
Let a(x) = x + 8. Let y be a(0). Suppose 3*r + y = 4*r - p, 28 = r + 4*p. Solve 0*o = -3*o - r for o.
-4
Suppose -4*d = d - 15. Let y(p) = p**2 - 2*p - 1. Let a be y(d). Solve -n - 2 - a = 0 for n.
-4
Suppose 7*w + 6 = 9*w. Solve 1 = w*q - 2*q for q.
1
Suppose 0 = -0*t - 3*t + 12. Suppose y = -4*y - 75. Let d = y - -30. Solve -c = -t*c + d for c.
5
Let o = 72 - 67. Let c = -14 + 39. Suppose -c = -6*n + n. Solve -n = -5*y + o for y.
2
Let n = -8 - -14. Let j = n + -4. Suppose 5*p - 10 - 2 = 4*o, 24 = 2*o + 5*p. Solve o*a = -j*a for a.
0
Let c = -15 - -20. Solve -c = -o - 4*o for o.
1
Let q = 147 + -139. Solve 12*a - 10*a + q = 0 for a.
-4
Let a be 1*-2*-2*2. Let s = 12 + -10. Suppose -3*v - 5*f = s*v - 10, 4 = 2*v + f. Solve v*u + a + 2 = 0 for u.
-5
Let g be (1 - 1 - 4/8)*0. Let s(a) = -9*a + 1. Let u(v) = -37*v + 5. Let p(k) = 9*s(k) - 2*u(k). Let w be p(-1). Solve g = -y + w - 1 for y.
5
Suppose -y + 2*y + 14 = 0. Let s be 12/(-42) + (-4)/y. Let h be 0/(-3)*1/(-2). Solve s = -h*u + u + 2 for u.
-2
Suppose 0*z + 5 = 2*h + z, 0 = 4*h + 5*z - 1. Solve 0 = -r + 2*r + h for r.
-4
Suppose 3*z = z. Suppose t = -0 + 2. Solve z*b - t = -2*b for b.
1
Let p(g) = g**2 - 2*g + 4. Let c be p(2). Solve c = -4*a - 0*a for a.
-1
Let c be (-24)/(-14) + 2/7. Suppose 0*k + 53 = 2*k - 3*z, 2*z - 48 = -c*k. Solve 5*r + 0 = -k for r.
-5
Let r = -5 + 2. Let k be ((-18)/(-3))/r*-1. Solve k*v - 3 - 1 = 0 for v.
2
Suppose -2 = 5*r - 12, 29 = 5*c - 3*r. Solve -2 = -b - c for b.
-5
Let y(l) = -l + 9. Suppose -20 = -0*z - 4*z. Suppose 4*t = -z*v + 14, 2*t + 1 = -7. Let u be y(v). Solve -g - 1 = u for g.
-4
Suppose -3*p + 25 = l, -4*l = -4*p - 49 + 93. Let c(t) = -t**2 + 5. Let u be c(0). Solve 0 = 4*n - p*n - u for n.
-1
Let y = 2 - -6. Let d be 1/(2/y) + -2. Solve i - 2*i + d = 0 for i.
2
Let k be -1 - 1*(-1 - 0). Suppose 3*y + 2*y - 15 = -5*c, -4*c = -3*y - 12. Solve k = -2*z + c*z - 5 for z.
5
Let z = 26 - 22. Solve 2*s - z = -12 for s.
-4
Let a = -18 - -28. Let s = a - 6. Solve -14 = -s*r - 2 for r.
3
Let s = 61 - 58. Solve i = 4*i - s for i.
1
Let a be 0 + (0 + 0)/(-1). Suppose y = k - a*y, y = 4*k - 6. Solve 3 = -5*p - k for p.
-1
Suppose 0 = 2*f - 4*l - 26, -l - 10 = 5*f + 4*l. Suppose -f*s = s - 5*c - 7, s - 3*c + 7 = 0. Solve -y + s = 3 for y.
5
Let q be 3 + -1 - 0/(-1). Let m(d) = 2*d**2 + 4*d - 4. Let w be m(-4). Solve -v = q*v - w for v.
4
Suppose -3*f = f + 5*q - 21, -4*f + 18 = 2*q. Solve 1 = -f*n + 13 for n.
3
Let t = -5 - -11. Solve -d = -t + 5 for d.
1
Let v(l) = -13*l + 2. Let g be v(-1). Solve -4*i + g = 3 for i.
3
Suppose 3*w - 8*w + 20 = 0. Suppose 0 = 9*l - w*l. Solve -2*s - 4 - 4 = l for s.
-4
Suppose -2*w + 3 = -5. Suppose -15 + 3 = -w*a. Let v(f) = 4*f + 13. Let s be v(-2). Solve -7 - s = a*g for g.
-4
Suppose -2*y = 3*y. Suppose 0 = -5*d - 4*r + 22, y = r - 3. Suppose -4 = z - t - 3, 0 = -3*z - 2*t + d. Solve z = -3*w - w - 8 for w.
-2
Suppose -q + 0 - 2 = -k, 4*k = 3*q + 9. Solve 9 + q = -5*a for a.
-2
Let s be (0 - -1)*(-32)/(-16). Solve 5 = s*v - 1 for v.
3
Let j(u) = u + 2. Let k(g) = 2*g + 3. Let i(x) = 5*j(x) - 3*k(x). Let n be i(-1). Solve -4*m + n - 10 = 0 for m.
-2
Suppose 4*r - 30 = 4*v + 2*r, 0 = 4*v + r + 45. Let j(n) = -n**3 + 7*n**2 + 9*n - 2. Let d be j(8). Let o be (v/4)/((-3)/d). Solve -t = -o*t + 12 for t.
3
Let a = 6 + -3. Let h be 12/9*(-3)/2. Let v be 2/8 + h/8. Solve -b + a + 0 = v for b.
3
Let m = -4 + 8. Let h(l) = l + 9. Suppose -w + 1 = -k - 4*w, 0 = -2*k - 3*w - 8. Let u be h(k). Solve u*n = -m + 14 for n.
5
Let i = 8 + -8. Suppose i = -5*u - 5*b + 50, -3*u + 42 = 2*u + 3*b. Solve 0 = c + c + u for c.
-3
Let r = -74 + 77. Solve -2*w - 1 = -r*w for w.
1
Suppose s = -3*s + 24. Solve 2 = -2*o + s for o.
2
Let g = -25 - -30. Solve -3*n - 14 = -g for n.
-3
Let s = 21 - -6. Suppose -m - 11 = -f, -5*m + 0*f - 2*f - s = 0. Let a = 14 + m. Solve a*h = 3*h + 4 for h.
1
Suppose 0 = -4*w + 5*d + 15, -w + 6*d + 15 = d. Solve w = v - 5*v for v.
0
Suppose 0 = -5*i + 8 + 22. Solve 0 = -3*p - i - 6 for p.
-4
Suppose -8*v + 12 = -4*v. Solve 0 = -r + 2 - v for r.
-1
Let f(w) = w - 1. Let s be f(6). Suppose -24 = -3*g + 36. Solve -a + g = -s*a for a.
-5
Suppose 4*h - 2*h = 0. Let i = 0 + h. Suppose 5*f - 20 = -i*f. Solve -f*j - j + 20 = 0 for j.
4
Suppose -14 - 10 = -3*m. Solve -3*x = -m*x - 15 for x.
-3
Let k(y) = y**3 + 25*y**2 + 25*y + 24. Let z be k(-24). Solve z*w = -5*w + 10 for w.
2
Suppose 32 = 4*p - 4. Let q = -6 + p. Suppose 3*t = 2*t + 2. Solve g - t = -q for g.
-1
Let g(z) = z**3 + z**2 + z - 1. Let k(u) = 5*u**3 + 3*u. Let b(c) = 6*g(c) - k(c). Let w be (2/(-1))/((-2)/(-5)). Let f be b(w). Solve f = x - 3*x for x.
-2
Suppose l - 10 = -4*c - 25, -2*l - 2*c = 0. Solve 1 - l = i for i.
-4
Let t(w) be the third derivative of -w**5/60 - 5*w**4/12 - 4*w**3/3 + 2*w**2. Let u be t(-8). Let f be (0/3)/(1 + -2). Solve 3*k - 7 - u = f for k.
5
Suppose -5*c - 2 = -3*x - 3*c, -3*x + 3*c - 3 = 0. Suppose -x*j + 11 = -1. Solve 3*l = 2*l + j for l.
3
Let l = -19 + 10. Let m = l - -10. Solve -b + 4 = -m for b.
5
Let x be ((-3)/(-1) + -2)*5. Suppose 23 = 2*z - 5*o, 6*z - x*o - 31 = 2*z. Solve -s - z = s for s.
-2
Let v = -5 - -8. Solve 0 = 7*r - v*r for r.
0
Let u = -32 + 32. Solve 0*v + v = u for v.
0
Let f = 5 - 4. Suppose m = 3 + f. Suppose 46 = 4*n - 5*o, 4*o + 41 + 3 = 4*n. Solve m*r + n = 25 for r.
4
Suppose 0 = -2*d + d + 2. Let l be (-4)/d*(-18)/4. Solve -4*h + h = l for h.
-3
Let r(u) = -u**3 + 8*u**2 + 8*u + 13. Let f be r(9). Solve f*h = -0*h for h.
0
Let y(t) = -t**2 - 10*t + 16. Let q be y(-11). Solve -8 = -q*s + 17 for s.
5
Suppose -16 = -4*p, -i - 4*i + 14 = -4*p. Solve o = -2*o + i for o.
2
Suppose 0 = 2*v - 7*v + 155. Suppose -3*a + v = -20. Solve -5 + a = 3*r for r.
4
Let r be 0 + -3*(-6 + 2). Let n = r - 9. Solve n*u - 20 = -u for u.
5
Let i = 62 + -88. Let l be (i/4)/(4/(-8)). Solve -5*g + 12 = -l for g.
5
Suppose x = 4*x. Solve x = -5*b - 2 - 3 for b.
-1
Suppose 4*u = 5*j - 0*j - 25, -2*u = 2*j + 8. Solve z = -0*z + j for z.
1
Let d be -5 + 2 + (-4 - -9). Solve 4*q - 2 = d for q.
1
Let w = 0 - 0. Suppose 5*d - 4*g + 7 = -13, -4*d + 4*g - 20 = w. Solve d = -2*x + 4*x for x.
0
Suppose -4*w = -3*m + 21, 4*m + w - 8 - 1 = 0. Suppose 9 = m*n - 0*n. Let o(y) = y**3 - 4*y**2 + 4*y. Let p be o(n). Solve -p*d = d for d.
0
Let u be 0*(-3)/(8 - 2). Let w be (-3)/(-2)*1*2. Suppose u = 4*n - w*n + g + 3, 3*g = -9. Solve n = 2*r - 0 - 4 for r.
2
Let o = -20 + 17. Let j be 9*1 - (o + 3). Solve 0 = 2*c - 5*c + j for c.
3
Let j be 19/3 + 2/(-6). Let s = -1 + j. Solve s*a - 14 = 11 for a.
5
Suppose -5 - 1 = -2*d. Let t be (2/d)/((-10)/(-105)). Solve 1 = 3*l + t for l.
-2
Let a = 25 + -21. Solve 0 = a*t - 5*t for t.
0
Suppose -15 = 3*l + 2*l. Let c be (-1)/(1/l)*1. Solve 0*k + c*k = 0 for k.
0
Let p be 3 + -4 + 3 + -2. Solve 6*k - k + 15 = p for k.
-3
Let j be (-3)/18 - (-57)/18. Solve 7*g - j*g = -20 for g.
-5
Let w be (-20)/16 - (-1)/4. Let p be (6/12)/(w/(-4)). Solve -c = -p*c for c.
0
Suppose 2*k = 15 - 5. Suppose 3*i + 6 = 3*s, k*i - 22 = -3*s - 0*s. Solve 0 = s*c - 2 - 6 for c.
2
Let j be 8 + -1 + (3 - 5). Suppose 2*f + j = 15. Solve f*o + 15 + 5 = 0 for o.
-4
Let l = -10 + 12. Suppose l*s = -2*s. Solve s*f + f = -4 for f.
-4
Suppose 0 = -x - 3. Let z = 0 - x. Solve -7 - 5 = z*m for m.
-4
Let f be (-2)/2 + 8 + -2. Solve f = 2*r + 3*r for r.
1
Suppose 0 = -2*m + 1 + 1. Suppose l - 10 = -0*z - 2*z, -12 = -4*z. Let c = 1 + l. Solve c*n + m = 16 for n.
3
Let o = 24 - 21. Solve -3*i + 0 - o = 0 for i.
-1
Let a(l) = l**2 - 3*l - 5. Let x be a(5). Solve -3*j + 8*j = -x for j.
-1
Let u = 4 + 6. Suppose 3*f - 35 = u. Solve -4*m - m + f = 0 for m.
3
Let f(d) = -d**3 - 4*d**2 - 2*d - 4. Let h = 3 + 1. Let q = h - 8. Let x be f(q). Solve 2 = z + x for z.
-2
Let f(i) = -i**3 - 3*i**2 + 10*i + 4. Let r be f(-5). Solve -5*p + r*p = 0 for p.
0
Let t(v) = -v - v**3 + 2 + 6*v**2 + 0 + 5*v**3. Let i(b) = -3*b**3 - 6*b**2 + 2*b - 3. Let r(x) = -