*r - p = 2*f, 4*f + 14 = -5*r - 3 for f.
2
Let n(l) = -l + 7. Let f be n(5). Suppose 4*z - 4*s = 20 - 4, f*z + 3*s - 3 = 0. Let k = 14 + -8. Solve 0*a - 3*u + k = z*a, 5*a + 2*u - 1 = 0 for a.
-1
Let d(s) = -s**3 + s**2 + 2*s + 1. Let b be 1*(-2 + 3 + 7). Let w = b - 9. Let t be d(w). Solve 5*p - 4*i = 27, t = -4*p + 2*i + 19 for p.
3
Let r = 45 - 114. Let f = r - -73. Solve -2 = 2*a - f*g, -3*g - 4 - 1 = 5*a for a.
-1
Suppose -2*d = 2, -m + 4*d + 4 = m. Let b be (-2 + m + 3)*3. Solve -5*v + 2*v - j - 7 = 0, b*v + 11 = j for v.
-3
Let c = 1 - 0. Let p be (c/(-3))/(7/(-42)). Solve x - p*g = 5, -6*g + 3*g - 7 = -2*x for x.
-1
Let p(s) = 29 + 48 - 2*s - 63. Let a be p(6). Solve 2 = 4*y - 3*y, 0 = a*m + 2*y + 2 for m.
-3
Let j(m) = -2*m**2 + 2*m + 44. Let k be j(5). Solve -k*q + 3*r = -8, 0 = 2*q + 5*r + 2 + 20 for q.
-1
Let w(p) = -2*p + 8. Let r be w(4). Suppose -4*c + 15 = -5*z - 0*z, 3*z = -5*c + 65. Suppose -m - c = -13. Solve -y + 7*l - 2*l - 6 = r, 2*l = -m*y - 1 for y.
-1
Let r(p) = -2*p**2 - 12*p + 5. Let w be r(-6). Solve d = w*u + 2, d + 6 = -2*u - u for u.
-1
Let w(j) = -6*j + 62. Let r be w(10). Let p be 1/(10/(-32))*-5. Let i be 19/4 - (-4)/p. Solve 3*n - d = -9, i*n - 6*d + 22 = -r*d for n.
-2
Let m(b) = -b**3 + 5*b**2 + 8*b - 7. Let j be (-18)/6 - (-8 + -1). Let w be m(j). Solve -5*i = -w*v + 25, 0 = i - 5*v - 1 + 10 for i.
-4
Suppose 20*m - 21*m = -4*l + 16, m = 5*l - 20. Solve 2*v = 5*w - v + 12, -w + l*v = 16 for w.
0
Let a = -1409 - -1409. Solve 0 = -5*l + 3*h - 27, 2*l - h + 10 = -a*h for l.
-3
Let m be (416/(-65))/((-2)/10). Solve -3*n + 4*o + 41 = 12, -4*n + m = -4*o for n.
3
Let f = 203 + -194. Let v = -9 + 14. Suppose -5*k + 13 + 8 = -z, 2*k = v*z - 10. Solve -m - 14 = -z*r + 2*m, 3*m + f = 3*r for r.
5
Let v(x) = -x**3 - x**2 - x + 6. Let u be v(0). Let s = -8 - u. Let y = 24 + s. Solve 3*t - y = 2*i, -2*i + 1 = 4*t - 17 for i.
1
Let n(q) = q**2 - 9. Let g be n(4). Suppose -g = z + o + 2*o, -4 = o. Let y be 3 + -2 + 3 + 1. Solve y*j = -3*v - 11 + 3, 24 = -j + z*v for j.
-4
Suppose 55 = 5*v + 2*j, 4*v + 11 = 5*v - 5*j. Suppose 0 = v*t - 6*t, -3*i = 4*t - 9. Solve -8*d - 27 = -f - i*d, 3*f + 2*d + 4 = 0 for f.
2
Let p = -1958 - -1977. Solve -2*y = -7*y - 2*m - 10, -y - p = -3*m for y.
-4
Let j(p) = 2*p + 36. Let q be -2 + (-12)/(-9)*-12. Let k be j(q). Let n = 1 - 0. Solve -b + k*t = t - n, -5*b + t = 13 for b.
-2
Let r = 869 - 865. Solve g - 4*f - 28 = -g, 24 = g - r*f for g.
4
Let m(z) = z**2 - 15*z + 30. Let x be m(13). Suppose 2*c - 6*w - 45 = -w, -x*w = 3*c - 102. Solve 2*y = -4*o + c, -3*y - 3*o = 3 - 33 for y.
5
Suppose -4*i + 6 = -2*n, 5*i + 4*n - 3 = 8*i. Solve 3*m + 8 = -4*b, -i*b - 8 = b + 4*m for b.
-2
Let x = -32 + 36. Solve -x*g - 12 = 4*q, -g - 14 = -3*g + 2*q for g.
2
Suppose -4*b - 21 + 35 = -n, -3*b + 20 = 4*n. Solve 3*q - x + 5 = 0, -4*q + n = 2*x + x for q.
-1
Let v be ((-12)/(-9))/((-1)/(-3)). Let y be 1 - 5/((-10)/v). Solve -y*u + 5*x - 21 = 0, 3*x + x - 20 = 4*u for u.
-2
Suppose -3*i + 3 - 14 = -5*b, -4 = -4*i + 2*b. Solve 0 = y - 3*o + 1, 2*y = -y + i*o + 3 for y.
2
Let t be 22/143 + ((-288)/(-52))/3. Solve -20 = t*o + 4*a - 0*a, -3*o + 4*a = 0 for o.
-4
Let m(u) = -2*u - 23. Let p be m(-7). Let r(y) = y**3 + 10*y**2 + 8*y - 6. Let c be r(p). Solve -4*s + 24 = -0*s - j, 32 = 4*s - c*j for s.
5
Let x be (-41)/(-9) - (5 - (-245)/(-45)). Solve l - 3*y = x, 2*y + 2 = 4*l - 18 for l.
5
Let l = -18 - -21. Suppose 0 = 3*h - 6, 0 = -4*d - 5*h + l*h + 12. Solve -15 = -d*i + g, 3*g - 5 = -20 for i.
5
Let m = -89 - -106. Solve -3*f + m = -i, -8 = -3*f + 3*i + 19 for f.
4
Suppose -37 = -3*c + 5*p, -4*p = 2*c - 2*p + 2. Solve t - 13 = 3*o, -c*t = -3*t - 2*o - 9 for t.
1
Suppose -o + 13 = p, -4*p + 4*o + 44 = -0. Let b = 9 - 3. Let l = 0 + b. Solve 4*c + l*r - 12 = 2*r, -c - p = -2*r for c.
-2
Let u = 1 + 4. Let h = -229 + 232. Let g(f) = f**2 - 1. Let k be g(-2). Solve -2*d - 20 = -4*t, -u*d - k*t = -h*d - 1 for d.
-4
Suppose -4*j = -7 - 1. Let w(b) = -b**3 + 10*b**2 - 17*b + 9. Let c be w(8). Solve -3*i - c = j*q, -3*q - 3*i - i = 0 for q.
4
Let r(p) = -2*p + 67. Let q be r(0). Suppose q*x = 66*x + 5. Solve -x*t = g - 18, 2*g = 3*t - 2*g - 20 for t.
4
Let d be (-12)/(-102) + ((-60)/(-68) - -3). Solve -4*q - 4*a + d = 0, 2*q - 5*a = -0*a + 30 for q.
5
Let s be (-79)/(-7) + (-3 - 57/(-21)). Suppose -t + 4*a = 9, 4 = t + 4*a - s. Solve 2*c + 4*n = 20, 7*n - t*n = 20 for c.
0
Let u(k) = 2*k**2 + 26*k + 13. Let c(a) = a + 1. Let f be c(-14). Let n be u(f). Solve -4*h = b - n, 2*h + 3*b - 26 = -7 for h.
2
Let h(u) = 24*u + 120. Let k be h(-5). Solve 8 = 2*l + 3*y, -l = -k*l + 3*y - 4 for l.
4
Let a be (13 + -20)*88/(-28). Solve 0 = -4*d + 3*n - 19, -6*d + a = -3*d + 5*n for d.
-1
Let v = -150 + 164. Solve 12 = 4*x + 4*r, -3*x + 0 + v = 4*r for x.
-2
Let i(g) = -g**3 + 28*g**2 - 24*g - 59. Let j be i(27). Solve -4*y + 5 = b + j, -y - 4*b = 8 for y.
-4
Let w be ((-2)/(-6))/(3/45). Let n = -122 + 147. Solve -n = -5*b, -b + w*b - 20 = 4*t for t.
0
Let v = 14 + -16. Let o(p) = -2*p - 1. Let u be o(v). Suppose -s - 26 = -3*t + 32, -68 = -4*t - s. Solve 0 = 3*d - b + 1, 4*b - t = -u*d + d for d.
1
Suppose 5*p = 3*p - 8. Let z(d) = -d**2 - 5*d - 2. Let c be z(p). Let a be 396/14 - (-8)/(-140)*5. Solve -c*r - 4*s - 6 = 0, 3*s = -0*r + 5*r + a for r.
-5
Let o be (2*2)/(-2) - -5. Let q = 2785 + -2769. Solve -o*w - 8 - q = -3*b, 4*b = 20 for w.
-3
Let p(j) = -27*j + 3. Let g be p(-6). Suppose 5*k = 10*k + g. Let t be k/(-7) - (-30)/105. Solve 12 = 4*u, 3*u - 21 = -2*h + t*h for h.
-4
Let y(j) = 27*j + 11. Let d be y(3). Let b = 92 - d. Solve b = a + 2*a + q + 9, 2*a + 7 = -q for a.
-2
Suppose 2*x + 4 = 32. Solve 5*a - x = -4*f, -2*a + 7 = a + f for a.
2
Let c be (45 - -4)/7 + 11. Solve 2*p + 8 = p - m, -p - 3*m = c for p.
-3
Suppose -6*s = -4*s - 4*z + 2, -3*s = -3*z - 3. Let n = -6 - -10. Solve i - 16 = n*q, 2*q + s*q = -i - 11 for i.
4
Let d = 351 + -347. Solve -10 = -2*b, 4*t - b + d = 11 for t.
3
Let a(j) = -j - 11. Suppose d + 3*x + 8 = -0*x, 5*x - 15 = 0. Let f = d + 3. Let u be a(f). Solve -3*q - u*h + 0 - 3 = 0, 28 = 4*q - 4*h for q.
3
Suppose -5*k + 5*a - 124 = 71, -k - 3*a = 27. Let g = -20 - k. Suppose 2*n = t + 2, -g = -2*n - 5*t - 2. Solve -3*u + 2 = 4*q - 0, 4*q + n*u = 0 for q.
-1
Suppose 4*a = 2*j + 4, -a + 3*a + 5*j - 14 = 0. Solve -a*d = 3*i + 10, 0*d - 13 = 3*d + 4*i for d.
1
Let a(c) = -3*c + 5. Let n be a(-4). Suppose -4*r = -z - 18, 3*r - n = -z - 0*z. Solve 4*k = -4*m - 8, z = -k - 5*m + 4 for k.
-3
Let k be (-3)/4*-4*(-5)/(-15). Solve o = -2*s + k, s - 4*s - 2*o = -1 for s.
1
Let w(m) = -4*m - 11. Let k be w(-7). Let u(z) = -z**3 + 17*z**2 + z - 11. Let x be u(k). Solve l - v = -0*l + 1, -x = -l - 4*v for l.
2
Let p = 7 + -3. Suppose -p*h - 6 = -18. Let n(j) = -34*j - 32. Let w be n(-1). Solve 0 = g + w*g + 2*x - h, g = 5*x - 16 for g.
-1
Suppose -3*w - 3 = 27. Let p = -3 - w. Let i be 2/(-11) - (-228)/44. Solve -i*j = -6*r + 3*r + p, -3*j + 2*r - 4 = 0 for j.
-2
Suppose 5*n = -0*n. Suppose -i + 2*f + 30 = -2, 5*i - 186 = -3*f. Suppose 40*o - 8 = i*o. Solve n*l = 4*l + 4*x, 0 = -o*x - 2 for l.
1
Suppose 84*y = 24*y + 138 + 942. Suppose 4*z - 16 = -4*t, 0 = -5*t + 2*z + 3*z + 40. Suppose 3*q - 5*q + t = 0. Solve -y = 2*x - 3*h, -x = 3*x + q*h for x.
-3
Let u(v) = 2*v**2 - 40*v + 41. Let r be u(19). Let g = 1 - -1. Suppose -g*q = -3*z + q + 60, 4*z - 59 = -3*q. Solve -r*c - 16 = c, 4*c + z = x for x.
1
Suppose -4*d + 14 = 3*w, -2*d = -3*w + 34 - 14. Let o(q) = -q + 14 - q - 2*q + 2*q. Let y be o(w). Solve 0 = y*b + 10, 2*k - 5*b - 11 - 4 = 0 for k.
-5
Suppose 3*r - 3*i = -0*r, 0 = 2*r + 2*i - 16. Suppose -15 = -r*s + 5. Solve 2*n = 6*n + s*z - 27, -4*n + 3 = -3*z for n.
3
Let d be 5/20 + 30/8. Suppose -w = -0*w - d. Suppose 3*i = w*c + 4 - 5, 3*i - c - 2 = 0. Solve -3*v - v = -2*h - 14, -5*h - 2*v + i = 0 for h.
-1
Suppose -19 = -6*i + 101. Solve f - 24 = -4*o + 5*f, -4*f - i = -3*o for o.
4
Let f be ((-16)/(-20)*1)/(4/110). Suppose -4*v + 16 + 0 = 2*i, v = 4*i + f. Solve -5*k + 3*b + 20 = 0, -b = -2*k + k + v for k.
1
Let b(z) be the first derivative of -z**4/4 - 16*z**3/3 - 7*z**2 + 18*z - 37. Let x be b(-15). Solve -13 = -2*d + x*o + 6, 4 = -d - 3*o for d.
5
Let g(i) = i**3 + 5*i**2 + 4*i. Let z be 