*p - r for n.
-2
Let j be ((-26)/(-8))/(5/(-20)). Suppose -90 = 6*b - b. Let k = j - b. Solve 13 = -4*u + k*v, 0 = -u + 2*v + 3*v - 22 for u.
3
Let s(o) = -o**2 + 16*o + 3. Let z be s(14). Solve -3*q - 2*b = b + 3, 4*b + z = 5*q for q.
3
Let i(c) = -c - 2. Let a be (-40)/15*(-3)/(-2). Let b be i(a). Let n be ((-4)/b)/((-10)/25). Solve n*f = 4*j - 3, 5*j + 5 = -f - 13 for f.
-3
Let x = 13 + -25. Let c be 26/12 + 2/x. Solve 3*t + 23 = -2*d, -c = d - 3*d + 2*t for d.
-4
Let a(u) = -4*u - 12. Let i be a(-4). Solve -r + 5*s + 31 = r, 0 = 4*r + i*s + 8 for r.
3
Let v be ((-51)/(-34))/((-1)/(-2)). Solve -n - 11 = -3*z - 6, -13 = -5*z - v*n for z.
2
Suppose 3*s = 5*s. Solve q - 5 = s, 0*f = -f - 5*q + 25 for f.
0
Let b be (-155)/(-9) + 6/(-27). Let m = 27 - b. Solve -2*r = -4*z - m, -2*z = r - 0*r - 1 for r.
3
Let b be 16/6*(-4 - -1). Let z be b/(-6) + 2/3. Let r be 0/((-1)/((-2)/z)). Solve -4*v + 8 = r, 0*v - 6 = -5*y - 3*v for y.
0
Suppose 0 = 28*g + 49 - 637. Let c(u) = -2*u - 7. Let d be c(-5). Solve -d*o + 2*r = -3*r + 13, -o - g = -5*r for o.
4
Let h = 29 + -18. Solve 0 = -4*p - 3 + h, 0 = 5*v + 2*p - 9 for v.
1
Let r(f) = -f**3 - f**2 - 2*f + 3. Let b be r(0). Let j = -23 - -42. Solve -i + 5 = -3*s - 3*i, -b*s - j = -5*i for s.
-3
Let v = -2 + 4. Suppose -3*u + 0*a - v*a = -8, -a = -4*u + 7. Let y be (u + 15/(-9))*15. Solve 0 = -5*n - 20, y*x + n - 4 = -3*n for x.
4
Let a = -187 - -194. Solve -5*h + 3*z - 2*z + 27 = 0, 3*h - a = -4*z for h.
5
Let k = 3 - -7. Let p(q) = -q**3 + 9*q**2 + 13*q - 10. Let o be p(k). Solve 0*b + 8 = -a - 3*b, 5*a + o = -5*b for a.
-2
Suppose 6*p - p = -3*x + 5, 4*p = -3*x + 7. Solve -2*d - x - 7 = -2*c, 0 = c + d + 4 for c.
1
Let u be (-56)/(-12) + 1/3. Suppose -u*i + 8 = -4*c, i = 5*c - c - 8. Solve z + 5*n = 27, -4*z + 4*n - 3*n = -c for z.
2
Let o be 190/114 - (-8)/6. Let j(c) = c**3 + c + 10. Let l be j(0). Solve -5*w - 5*p - l = 0, -14 = o*w - 8*w + 3*p for w.
1
Let y = 9 + -6. Suppose -4*b + y + 5 = 0. Suppose b*o - 6 = 6*o - 3*v, -4 = 3*o - 2*v. Solve -5*g - 3*a - 15 = o, -6*g - 5*a = -g + 15 for g.
-3
Let d be -1*(-3)/(-3) - -4. Let c(x) = x**2 - 2*x - 1. Let t be c(3). Let a be -8*-2*(-1 + t). Solve -2*j = -d*f - a, 4*f - 7 = 2*j - 5*j for f.
-2
Suppose 6*i - 7 - 71 = 0. Solve 0*y = -y + 3*r - 7, 2*y + i = 5*r for y.
-4
Suppose 4*c - 18 = -0*q - 2*q, q + 1 = 3*c. Suppose 3*r = c*a - 8, -2*r + 5*r + 4 = a. Solve -2*y + a*m = 0, 2*y = -m + 1 - 11 for y.
-4
Let o(t) = t**3 + 9*t**2 + 8*t + 7. Let s be o(-8). Suppose -4*y - y = -10. Solve 0 = 4*v + y*z - 6, 2*v + 5*z + 30 = s*v for v.
3
Let q(w) = w**2 - 7*w + 5. Let b be q(7). Solve 0 = 5*m - 25, b*p - 10 - 5 = -2*m for p.
1
Let l be (-3 + 78/24)/(1/12). Solve -4*b - 12 = -5*s, s - b = -l*s + 3 for s.
0
Suppose 4*v + 6 = 5*l, -3*l - 19 = 3*v - 1. Let j be 4/l + 1 + 4. Suppose -j*k = -2*k. Solve -4*r - 2*g + 6 - 2 = k, 3*g = 5*r - 27 for r.
3
Let x = 1 + 5. Suppose -3*t - 10 - 2 = v, -x = -v + 3*t. Let y = 1 - v. Solve 6*a - a + y*z - 16 = 0, -4*a + 3*z = 12 for a.
0
Suppose -2*m = -0*m. Suppose 4 + m = 2*o. Suppose o*g + 4*w = -3*g + 25, 5 = g + 3*w. Solve -4*i + 2 = g*z, 4*i = 4*z - i + 23 for z.
-2
Let k(c) = 2*c**3 - 2*c - 4 + 0*c**3 - 3*c**3 + 5*c**2. Let j be k(3). Suppose -j*l + 6 = -7*l. Solve 2*f + 5*m = -6, -6*m = -2*f - 3*m - l for f.
-3
Suppose 6*s - 3*s = 3*m - 9, -3*s - 3*m + 9 = 0. Suppose 6*x - 4*x = s. Let z = 0 + x. Solve z = 6*k - k - 20, 4*k - 13 = 3*c for c.
1
Suppose -4 = 7*d + 17. Let l(v) = -1 - 2*v**2 - v - 2 + 3*v**2. Let p be l(d). Solve 2*z - p = -3*q, z = -4*z + 2*q + 13 for z.
3
Let z = 70 - 68. Solve -4*v - 16 = 4*d, -v + 4 = -z*v + d for v.
-4
Let l = 1 + -4. Let t be (l + 0 + 2)/(-1). Let a = 1 - t. Solve 5*x - 2 = s - 5, a = -2*s - 2*x - 6 for s.
-2
Suppose i + 0*i - 13 = 0. Let p = i - 4. Suppose -4*h + 73 = 73. Solve -21 = -3*q - 2*j, 3*q = 2*j - h*j + p for q.
5
Suppose 5*v + 50 = 15*v. Solve 0 = w - v, -3*y - 14 = -5*w + w for y.
2
Let v = 11 - 12. Let c = v - -1. Solve c = 4*w - q - 4*q + 9, 0 = -2*w + 4*q - 12 for w.
4
Suppose -3*l + 8 = -2*l. Let p = 5 - 3. Solve l = -u + 3*q, u + u - p = -3*q for u.
-2
Let l(u) = -u + 13. Let n be l(10). Solve 2*m = -x - n*m + 22, 0 = -x - 3*m + 14 for x.
2
Let v be 1/(-5) - (-1)/5. Let i be 22 - (1 + v + -2). Solve -6 = -3*o - 0*o + 3*n, 4*n + i = -o for o.
-3
Let l(f) = f - 2. Let t be l(4). Suppose -5*p - 5*c + 17 = -t*p, p - 1 = 3*c. Let a be (-4)/10 - (-608)/20. Solve -4*k = -4*v, -2*v + 0*v + a = p*k for v.
5
Let o(j) = j**2 + 7*j - 1. Let s be o(-8). Let k be 202/18 + (-4)/18. Suppose -3*y - k = 4, 2*y + 14 = 2*c. Solve -4*r + s = -p, 4*r + c*p = -3 + 1 for r.
1
Let z(f) = f**3 + 2*f**2 - 5*f + 2*f + 24 - 21. Let u be z(-3). Solve 4*l + u*i = -0*l - 16, 5*l - 4*i - 11 = 0 for l.
-1
Suppose 2*t + 46 = 5*o - 9, 5*o = 3*t + 75. Let g = t + 23. Solve 0 = 3*d - 3*i + 12, 4*d - 3*d + 14 = g*i for d.
1
Let p be 14/4 + 1/(-2). Suppose r + 4 = -3*r. Let c = 4 + r. Solve -p + 1 = 4*u + 2*q, -2*u = -c*q + 21 for u.
-3
Suppose -2*t + 4 = -8. Solve -28 = b - 5*g, t*b - g + 20 = b for b.
-3
Let b(o) = o**3 + 9*o**2 + 8*o + 5. Let c be b(-8). Let q(i) = 2*i - 6. Let m be q(c). Solve 0 = -m*z - 5*y - 3, -z = -0*z + y for z.
3
Let d(x) = -4*x**2 - 11*x + 4*x**2 + 0*x**2 + 3 - x**2. Let b be d(-11). Solve 3*s = 5*a - 10, b = -s + a - 1 for s.
-5
Let n = -10 - -21. Solve 0 = x - 3*m - n, -m + 4 = x + 1 for x.
5
Let q(s) = -s**2 - 3*s - 2. Let r be q(-2). Suppose 5*u - 15 = -r. Let k be 2/3 + 10/u. Solve 4*p + c - 3 = 10, -2*c = k*p - 10 for p.
4
Let t(n) = n**2 + 13*n + 38. Let r be t(-9). Solve x = 5*p - r - 26, 4*p - 17 = -x for x.
-3
Let s(p) = p**2 + 13*p - 14. Let g be s(-14). Suppose 0 = -g*t - 3*t + 60. Solve 5*b + t = 3*k, 14 = -3*b - k + 2 for b.
-4
Let n be 1 - (1 - (7 + -1)). Let o be (1 + -3)/(2 + 0). Let f = o + n. Solve 2*l = 7*l - 4*x - 3, 3*l - f*x = -6 for l.
3
Suppose -6 = -4*b + 2*v + v, -b - 7 = -5*v. Let t = 655 + -622. Solve 0 = 5*s - k - 23, -b*k + t = 5*s + k for s.
5
Let z(n) = n**2 - 11*n + 13. Let j be z(10). Suppose -r = -0*r. Let s be r/2 - (-18)/j. Solve -2*p = -y - 14, y = -3*p + p + s for y.
-4
Suppose 3*m = -0*m + 12. Let r be (1 + (-10)/m)*-2. Suppose -r*v + 6 = 2*v + 2*w, -3*v + 15 = 5*w. Solve -u + v*t + 11 = 5*t, 0 = t - 2 for u.
1
Suppose s + 1 = g + 4, s - 3 = -3*g. Let n = 1 + s. Suppose 5*b - v - 24 = 0, -n*b + 30 - 6 = 4*v. Solve -2*u - 2*z - 15 = -5, 3*u - 2*z + b = 0 for u.
-3
Suppose 0*p - 1 = -p. Let a be (-1)/(-1)*p + -6. Let b = a - -8. Solve r + 5*c = -2*r - 11, 0 = -b*r + 5*c - 1 for r.
-2
Let f = 21 + -16. Solve 3*z = f*k + 3, -5*k - 4 = -2*k - 4*z for k.
0
Let o(l) = l**2 - 7*l + 11. Let w be o(5). Solve -4*p - 2 = -2*z, 2*p + 2*p = z + w for p.
1
Let s(v) = -5*v**3 - v + 1. Suppose 3 - 4 = -j. Let a be s(j). Let q be (1 - a) + (4 - 5). Solve -q*x + 2*d - 25 = 0, -x - 4 - 1 = -5*d for x.
-5
Let g(p) = -2*p + 1. Let w be g(-2). Let u be (-3 + 5)*(0 - -2). Suppose l + 3*h = 16, -4*l + u*h - 4 = -h. Solve -3*t + w*t = k + l, 16 = 5*t - k for t.
4
Suppose 0 = 2*c - 2 - 6. Suppose 0 = -s - c*s + 25. Suppose 0*x - 2 = x, -5*x + 55 = 5*u. Solve 0*i + k = -s*i - u, -i - 5*k + 7 = 0 for i.
-3
Let p be 76/18 - (-2)/(-9). Let k(j) = 2*j**2 - 11*j + 7. Let c be k(5). Let i be p/14 - c/7. Solve i*v + 1 = -3*v - l, 0 = 3*v - 2*l - 11 for v.
1
Let p be (-34)/(-10) + 2/(-5). Suppose -v + p = 3*o, o + v + 2*v = 9. Suppose -b + 2*l - 4 = o, b - l = -0*l. Solve 3 = -k - 2*w - 4, 2*k - 26 = b*w for k.
3
Let k be (-6 - -1)/((-3)/3). Solve 3*n = 4*l, 5*l - l = -k*n for n.
0
Let c be (-1)/(-7) - 80/(-28). Solve y + 23 = 5*i, -c*y = 2*i + 9 - 25 for i.
5
Let l(m) = -m**2 + 9*m - 1. Let f(c) = -c**3 + 4*c**2 + 2*c - 2. Let a be f(4). Let u be l(a). Solve -y + u = -3*t, -10 = t - 3*y + 1 for t.
-5
Suppose -4*p - r = -28, -5*p + 2*r + 0*r = -35. Let o(v) = 0*v + 0 + p + v. Let d be o(5). Solve -2*b + 9 = 3*b + 3*i, 0 = -2*b - 4*i + d for b.
0
Let g(q) = -q - 5. Suppose -4*c = -14 - 6, 0 = 2*s + 4*c - 8. Let l be g(s). Let t = 2 + l. Solve 0*b = 2*b - 3*d - 23, -t*b + 37 = -5*d for b.
4
Suppose 0 = 4*s - 35 + 15. Solve 5*t - 2*k = -3, 4*t - 23 - 1 = -s*k for t.
1
Let p(r) = -r**2 + 6*r + 1. Let t be p(6). Let w = 2 + 2. Suppose 0 = d - w*i + 4, -d - d + 2*i = -4. Solve d