). Let x be f/(-10) - 8/(-5). Solve 0 = z*r + x + 6 for r.
-2
Let l be 33/12 - 1/(-4). Suppose 2*p - l = 1. Solve x - p = 2 for x.
4
Let x(i) = -i**3 - 2*i**2 + 2*i. Let n be x(-3). Suppose 2 = n*b - 2*b. Solve -2 = b*v - 3*v for v.
2
Suppose 0 = -6*p + 2*p + 12. Suppose 0 = -p*z - z + 8. Solve 2*c + 10 = z for c.
-4
Let z = -84 + 91. Solve z*n - 3 = 10*n for n.
-1
Suppose 2*h - 7 + 3 = 0. Suppose h*c - 8 = 5*k, -5*c - 2*k - 2*k = -20. Let r be 21/1 + (3 - c). Solve 3*m = 7*m + r for m.
-5
Let j = -13 - -85. Suppose -j = -2*a - 2*f, -2*a + 190 = 3*a - 5*f. Let i = a + -17. Solve -3*c - i = c for c.
-5
Let p = 12 + -8. Suppose 0 = -0*f + 2*f - p*a + 10, -2*f + 25 = 3*a. Solve 5*z - f = -0 for z.
1
Suppose 0 = 4*c - 0 - 4. Let i = -29 - -42. Let s = i - 8. Solve -c + 26 = s*b for b.
5
Let x(s) = 3*s**2 + 6*s - 11. Let p(t) = 5*t**2 + 12*t - 21. Let h(u) = -4*p(u) + 7*x(u). Let n be h(5). Solve -n*c + 5*c = 0 for c.
0
Let u = 0 - 0. Let d = -5 - -7. Solve u = d*j - 6*j for j.
0
Suppose -7 - 3 = -5*p. Let n be -9*p/(-3) + -3. Let u be -4 + 1 - (-22 + n). Solve -u = -2*d - 2*d for d.
4
Let d(m) = -m**2 + 5*m + 15. Let i be d(7). Let r(u) = 4*u. Let y be r(i). Solve -y = -5*p + 3*p for p.
2
Let w(x) = 2*x + 11. Let c be w(-4). Solve 5 = -c*f - 1 for f.
-2
Suppose -2 = a - 4*h - 1, 5 = 5*h. Suppose -4*y = -5*j + 3, -a*y + 21 = 3*j + y. Solve -5 = j*v + 2*v for v.
-1
Let l(x) = -3*x + 27. Let q be l(9). Solve q*g + 5 = g for g.
5
Let j(q) = 2*q - 10. Let z be j(7). Let g = 50 - 35. Let v = g - 10. Solve -v = z*b - 9*b for b.
1
Let r = 2 - 2. Suppose r = f - 4*f + 15. Suppose 0 = f*p - 13 - 7. Solve -3*o + p = -2*o for o.
4
Let k(z) = -z**3 - 3*z**2 + 3*z - 4. Let a be k(-4). Suppose a = -2*d + 2*g + 10, 11 = 4*d - g - 0. Solve 2*f = 3*f - d for f.
2
Let a = 7 - 5. Suppose 4*s = a*s - 30. Let v be s/(-10)*10/3. Solve -2*k + v = -5 for k.
5
Let w = 10 - -8. Solve 3*x = w - 3 for x.
5
Suppose y + 9 = 3*j - 11, -4*y = 8. Solve j = n + n for n.
3
Let o be (-1)/2*(-2 + -4). Suppose 4*r + 5*t - 22 = -0*r, -19 = -5*r - 2*t. Solve r = 2*p - o for p.
3
Let o be 1*(1 - 0 - 0). Let g be (-2)/(10/(-45)) - -2. Let r be (-2)/(-8) + (-11)/(-4). Solve r*p - g = o for p.
4
Suppose -2*f + 7*f = 0. Suppose -m + f = -2. Let o be 2 + 1 - (-2)/m. Solve 0*t + o = 2*t for t.
2
Suppose 0 = 5*f - 10*f + 30. Let t be 45/f*8/5. Solve 4*j = -0*j - t for j.
-3
Suppose 26*c = 24*c + 4. Solve -5 + c = l for l.
-3
Suppose 6*h + 18 = 4*h. Let g = h + 11. Solve 2*v + 4 = -g for v.
-3
Let r(i) = -i**3 + 3*i**2 - 2. Let b be (-1)/((-1)/4*2). Let d be r(b). Solve 7*j = d*j for j.
0
Let r be 1/(-2 - 11/(-5)). Let p = r - 3. Suppose -p*d = 2*d - 8. Solve 0 = -d*w + 9 - 1 for w.
4
Let h(w) = 6*w. Let v be h(3). Let t = v + -13. Solve -2*o + 3 = -t*o for o.
-1
Suppose 7*x = 3*x. Suppose x = d - 2*b + 7, 22 = 2*d + 2*d + 2*b. Solve -d*q - 15 = -8*q for q.
3
Let p(a) = a**3 - 6*a**2 - a + 14. Let z be p(6). Solve -2*k + 2 - z = 0 for k.
-3
Let r(j) = -2*j**3 - j**2 - j. Let w be r(-1). Solve -1 = -w*o + 3 for o.
2
Let i be (8/10)/(2/(-10)). Let z be 44/16 - 1/i. Solve z*c + 2*c = 0 for c.
0
Let z(h) = -2*h - 4. Let d be z(-5). Suppose 0 = 2*o + 2 - d. Let q(i) = -i**3 + 4*i**2 + 6*i - 2. Let p be q(5). Solve -p - o = -w for w.
5
Let h(a) = 4*a**2 + 2*a - 3. Let y be h(4). Suppose 15 + y = 4*b. Suppose w - 13 = -5*x + 9, -3*x + 2*w = -b. Solve -x*r + 9 = -2*r for r.
3
Let o be (-1 + 0)*0/6. Solve o = -w + 3*w - 10 for w.
5
Let z(r) = r + 7. Let w be z(0). Let a(k) = k**2 - 7*k + 3. Let l be a(w). Solve l*y + 5 + 7 = 0 for y.
-4
Suppose z = k - z - 8, 24 = 4*k - 4*z. Suppose -8 + k = -2*w. Solve -w - 2 = -4*r for r.
1
Suppose -4 = 3*a - 5*a. Solve -l = -a*l for l.
0
Let m be 216/(-48)*(-3 - -1). Solve 2*j = -m - 1 for j.
-5
Suppose 0 = -5*u + 2*u. Suppose u*v - v = -3. Solve 0 = 2*b + v + 7 for b.
-5
Let f = -1 - -4. Suppose -16 = -f*u - 2*m, -2 = -2*u - m + 4*m. Solve -3*b = -u*b + 5 for b.
5
Let m(c) = -c**2 - 15*c + 4. Suppose -x + 0*x + 14 = -z, z + 2*x = -17. Let q be m(z). Solve -q = 2*i - 14 for i.
5
Suppose 2*o - 12 = -0. Suppose 6 = t + 2*t. Solve -t*x = x + o for x.
-2
Let v = 68 + -53. Suppose -w - 8 = -3*w, -4*w = 5*j + 34. Let t = v + j. Solve 2*n + 1 = -t for n.
-3
Suppose -4*v + 3*a - 9 = 0, 2*a + 12 = 6*a. Suppose 0 = 4*p - 2*s - 0 - 4, p = 3*s + 1. Suppose -16 = -5*w - p. Solve v = -5*b + w + 2 for b.
1
Let w = 24 - 10. Let v = -7 - -17. Let x = w - v. Solve -x = y - 3 for y.
-1
Suppose 2*w = -4*y + 6*w - 16, 0 = -3*y - 4*w + 16. Solve y*g + 4*g - 8 = 0 for g.
2
Suppose 2*q + 2*q + 20 = 4*g, 2*q - g + 5 = 0. Suppose s + 0*s = q. Solve 0 = -s*o + o + 4 for o.
-4
Let c be ((-36)/(-15))/(4/10). Let g be (c/(-5))/(21/(-70)). Solve 0 = 4*v + g - 0 for v.
-1
Let h be 3*6/3 - 1. Suppose 1 = h*g - 19. Solve -2 = 3*b + g for b.
-2
Let w(c) = c**3 + 6*c**2 - 8*c - 5. Let j be w(-7). Let g = j - 2. Solve g*n - 6 = 3*n for n.
-2
Suppose -9*o = 7*o - 80. Solve 8 = -o*z - 17 for z.
-5
Let g(l) = -l**3 - 2*l**2 + 3*l + 3. Let a be g(-3). Suppose -a*d + 2*d = -4. Suppose o - 10 = -d*o. Solve 12 = -p - o*p for p.
-4
Suppose -5*j + 6 + 24 = 0. Suppose -3 = -3*t - 3*o, o - j = -5*t - 3*o. Let g be t - (1 + 3/(-1)). Solve 0 = -x + g - 0 for x.
4
Let b(g) = g**2 + 4*g. Let o be b(6). Suppose -2*r - 3*r = -o. Suppose q - 5 = -2*c - 0, -2*c + 2*q = -2. Solve u - r = -c*u for u.
4
Let q = 5 + -2. Solve 6 = q*l - 3 for l.
3
Let k(o) = o**2 - 13*o + 9. Let h(t) = t - 1. Let p(v) = -4*h(v) - k(v). Let a be p(8). Solve -2*d = -a*d for d.
0
Let h(o) = o**3 + 11*o**2 + 10*o + 2. Suppose 3*r - 6 = 0, -5*r = -0*w - w - 20. Let p be h(w). Solve 6 = p*n + n for n.
2
Let f(u) = -u**2 + 7*u + 11. Let m be f(8). Suppose 3*g + 9 = -2*t + 33, 4*g = -m*t + 32. Solve -g = n + n for n.
-4
Suppose 4*y = 4*u - 12, 0*u - 1 = -u + 3*y. Solve -u*r - 2 = -6 for r.
1
Let n be ((-1)/(-1))/((-7)/(-21)). Suppose -10 = -2*c - n*c. Suppose 3*t - 1 = 5*w - 2, -3*w = -c*t. Solve -3 = v + w*v for v.
-1
Let h(w) = -w. Let a be h(-1). Let k(u) = 5*u - 1. Let t be k(a). Let l = -44 + 46. Solve l = -3*d - t for d.
-2
Let y(m) = -m**3 + 5*m**2 + m. Let d be y(5). Solve 3 = d*f - 2*f for f.
1
Let a be (-3)/9*(-18)/1. Suppose 2*i + 0*i + 5*n + a = 0, n = -2. Solve d = i + 1 for d.
3
Suppose 0 = -5*q - 2*z + 11, 4*q - 3*z + 3 - 21 = 0. Suppose q*v + 23 = 4*n, 4*v - 3 = 3*v. Let o = -5 + n. Solve 3*k - o - 3 = 0 for k.
2
Suppose -2*z + 9 = -3. Suppose -j - 85 = -z*j. Suppose -b = b + 3*x - 11, 0 = -2*b + 3*x + j. Solve b*s = 3*s + 12 for s.
3
Suppose 3*s + 32 = 3*y + 77, 5*s - 115 = -3*y. Suppose f + 5*n - 18 = 0, 3*f + n + 6 = 6*n. Suppose s = 2*l + f*l. Solve l*k = 2*k + 4 for k.
2
Let w = 3 + -7. Let i be 21/14*w/(-2). Solve i - 1 = 2*t for t.
1
Let q(j) = j**2 - j - 4. Let x be q(3). Let c be (-22)/(-6) + (-1)/(-3). Let n = c - x. Solve 0 = n*g - 0*g for g.
0
Suppose 0 = -j - 3*c + 21, -2*j - c = 10 - 32. Solve -7 - j = 4*k for k.
-4
Suppose 3 = -3*k + 4*k. Solve 5*t - k - 7 = 0 for t.
2
Suppose 3*y - 7 = -16, 0 = t + 4*y + 10. Solve h + 2 = -t for h.
-4
Suppose -3*o + 23 = -s + 2*o, 0 = 3*o - 15. Solve -s*x = 2*x for x.
0
Let p(s) = s + 5. Let z be p(3). Let r = -3 + z. Solve -3*o - 10 = r for o.
-5
Let w = 6 + -4. Solve w*q + 2 = -0 for q.
-1
Suppose -5*y + 5 = -10*y. Let w be (-6)/4*(-1 + y). Suppose -g - w = -8, -5*u + 30 = g. Solve u*v = v for v.
0
Let s(g) = 2*g - 9. Let x be s(8). Solve -5*h + x + 8 = 0 for h.
3
Let d = 36 - 26. Solve 5*t + d = -5 for t.
-3
Let t(x) = 8*x - 14. Let v be t(2). Solve v*k = -3*k - 10 for k.
-2
Let f(k) be the third derivative of -k**4/24 + 5*k**3/6 - k**2. Let m(z) = z**2 - 6*z - 7. Let j be m(7). Let w be f(j). Solve -4 - 16 = -w*p for p.
4
Let p be (-11)/22 + 3/((-6)/(-11)). Let i be (7 + 0)*16/2. Suppose -2*g - 2*g + i = 0. Solve p*m - g = -34 for m.
-4
Suppose f + 4*k - 5 = 0, -3*f - k + 5*k = -31. Suppose 3*s + 0*s = f. Solve s*p = -p + 8 for p.
2
Suppose -2*g + 43 = 4*j - g, 0 = -5*j + 3*g + 41. Solve -4*l + j = -2*l for l.
5
Suppose 3*i = 10 - 1. Suppose 5*r - 15 = -c, -5*c - 2*r = i*r - 55. Solve -2*h - c = -0 for h.
-5
Let c be 6/(-10) - (-99)/15. Suppose 0 = -m + 4*m - c. Solve -3 = 5*f + m for f.
-1
Let g be 0/2 - (-2 - (-2 + 5)). Let z = 1 + -1. Let d = 9 + z. Solve 6 = g*i - d for i.
3
