 + 14*p**2 + 3 - 1. Let n be j(0). Solve -r + 3*i - 17 = 0, n*r + 3*i + 14 = 4*i for r.
-5
Let b be 640/(-12)*6/(-5). Suppose -4*l = -5*u - 64, -2*l = 2*l + 3*u - b. Solve -2*j = -3*a - 10, 0*a - 5*j = -3*a - l for a.
-2
Let y(g) = -g + 18. Let a be y(14). Solve 3*w + 5*b = 26, w + 0*b + 14 = a*b for w.
2
Let a = 13 + -7. Suppose 0 = 7*m - 4*m - a. Solve m*i + 17 = -3*h, 4*i + 4*h - 8*h - 16 = 0 for i.
-1
Let f = 17 + 14. Solve q + 5*m - f = -2*q, -5*q - 3*m + 25 = 0 for q.
2
Let c be -1*2 - (2 + -4). Suppose c*o + 4 = -4*a - 2*o, -3*o + 12 = -3*a. Let f be a + (-1)/(2/(-14)). Solve -2*k - 12 = -2*z, f*k - 2*z = -0 - 15 for k.
-1
Let u = -12 - -15. Solve -u*a - 19 = -5*x, -3*a + 0*a = 5*x - 31 for a.
2
Suppose 3*u + w = u + 14, 5*u - 4*w = 9. Solve 0 = 3*a - 5*j + 27, -2 + 3 = -4*a - u*j for a.
-4
Suppose 0 = f - 4*f + 45. Suppose -4*d + d + f = 0. Let t = d + -2. Solve -t*x + p - 2*p + 13 = 0, 5*x - 3*p - 3 = 0 for x.
3
Let b = 17 - 14. Solve -3*z + 11 = -b*h - 2*h, 4*h + 3*z = -25 for h.
-4
Suppose 2*m - 3*x = -2*x + 23, 0 = 5*x - 15. Solve -f = d - 3, 5*d - d + m = f for f.
5
Let m(k) = k**2 - k + 1. Let r be m(0). Let f = -1 + r. Suppose -y - y = f. Solve 3*h - 1 = o, 35 = 5*o - y*o + 5*h for o.
5
Let t = 7 - 5. Solve 0 = 3*z + t*f + 10, 3*z - f - 2*f = 15 for z.
0
Let k be 7*2 - 2/(-1). Suppose 6*m - m - 75 = 0. Solve k - 4 = 5*s + 3*t, -4*s = -3*t - m for s.
3
Let l(a) = 2 + 37*a + 4 - 38*a. Let r(u) = 4*u - 1. Let z be r(1). Let i be l(z). Solve 3*j - 11 = -q - 3*q, -j - 18 = -i*q for j.
-3
Let z = 24 + -22. Solve -2*n = -4*w + 3*w + 4, -z*n + 2*w = 4 for n.
-2
Suppose 33 = -0*t + 3*t. Suppose -2*q - y + 21 = 0, q + 2*y = y + t. Solve 5*z = -3*p - 4, -3*z = -4*p - 2*z + q for p.
2
Let j(z) = 3*z - 13. Let v be j(6). Suppose 3*o - 24 = -2*o + b, -4*o + 15 = -v*b. Solve o*m = -s - 9, -2*s - 14 = s + 2*m for s.
-4
Suppose 4*u + 31 = 5*b - 14, -54 = -3*b - 3*u. Solve -2*g - w = -5, -4*g - 4*w - w + b = 0 for g.
2
Let u = -8 + 2. Let j(b) = -b**3 - 7*b**2 - 4*b - 2. Let c be j(u). Let r be 9/6 + c/(-4). Solve -r*o - i = i, -o = -4*i for o.
0
Let f = 5 - 2. Let w be f + 0 - 0/5. Solve 15 = -4*m + m, 2*m = w*d - 10 for d.
0
Let z(x) = x + 10. Let m be z(-10). Solve m = 3*t - 4*q - 19, 8 + 13 = t - 5*q for t.
1
Let a(j) = j**3 + 7*j**2 + 2. Suppose -3*v = -1 + 22. Let k be a(v). Suppose 4*m + 16 = 0, k*s - 58 = 4*m - 0. Solve 3*x = -5*r, 0*r = 3*x - 2*r + s for x.
-5
Let g be (-14)/(-77) + 348/22. Solve 5*n - 11 = 2*q + g, 17 = 3*n - 2*q for n.
5
Suppose 3*w + w = -76. Let r = w + 22. Solve -5*f + 30 = -i + 6*i, -r*f + 5*i = 14 for f.
2
Suppose 0 = -3*x + 26 + 19. Solve -4*w + x = 3*s, 3*w - 2*s + 5*s - 15 = 0 for w.
0
Suppose 3*o + 0*f + f + 5 = 0, f - 9 = 4*o. Let p(l) = -4*l + 1. Let g be p(o). Let w = g - 5. Solve -w*r = -c - 5*r, 0 = 4*r - 16 for c.
-4
Let w(y) = y**2 + 8*y - 4. Let m be w(-9). Solve 4*k + 25 = -m*x, -11 - 4 = 3*x + k for x.
-5
Let d be 13 + 6*3/(-6). Solve -s = 8*j - 3*j + d, -j - 2 = 2*s for s.
0
Suppose 0 = -4*q - q + 4*a + 54, 5*q - 50 = 5*a. Suppose 6*s - 4*s = q. Solve 0*k + s = -4*k + 5*l, 0 = k + 2*l - 8 for k.
2
Suppose -2*r - 4 = 2*o, -3*o + 0*r + 2 = r. Let a = 13 - 9. Suppose 12 + 8 = a*m. Solve -3*q - 3*w + 4 + 5 = 0, -m*q = -o*w + 6 for q.
0
Suppose 3*h + 36 = -0*h. Let o(i) = -i - 11. Let b be o(h). Suppose -5*p + b + 9 = 0. Solve -p*u - 4*a + 15 = -1, -15 = -3*a for u.
-2
Suppose -p - 4*p + 25 = 0. Let r(d) = d**2 + 2*d - 4. Let x = -13 + 9. Let g be r(x). Solve g*y = -5*z + y + 40, -p*z + 30 = y for z.
5
Let d be (5/(-15))/((-1)/3). Let a be (3*6)/(2 - d). Let l = -13 + a. Solve 4*b - w + 0*w - l = 0, 4*w - 1 = -5*b for b.
1
Suppose -2*i - 11 = 2*i - 5*w, 5 = -5*w. Let q be -1*((1 - 0) + i). Solve -2*k + 4*m + 6 = -0*m, m = 5*k + q for k.
-1
Suppose -3*f + 21 = 3*p, -2*p - 7 = 3*f - 6*p. Solve -5*t - f*v + 1 + 4 = 0, 2*t - 3 = -v for t.
4
Suppose -5*j = 5*m - 65, j = -0*j + 5*m - 17. Solve -r + 16 = 5*x + 3*r, -2*r = x - j for x.
0
Suppose -4*t = 24 - 124. Suppose 7*u - 4*u - 15 = 0. Solve u*n + 2*c + 41 = -2*c, 0 = -n - 5*c - t for n.
-5
Let p be 10*((-3)/3 + 3). Suppose p = -5*x, 5*x + 0*x = 2*n - 32. Solve -h = 5*y + n, 3*y + 1 = -3*h - 5 for y.
-1
Let t = -6 - -13. Let w be 135/6*(-8)/10. Let d = -18 - w. Solve 2*n + 3*r = t, -n + 3*r + 0*r - 1 = d for n.
2
Let h(b) be the first derivative of b**2/2 - b - 4. Let x be h(8). Solve m - x = 3*r - 2, -4*m = 4 for r.
-2
Suppose 18 = 3*l + 2*r - 22, 0 = -l - 3*r + 4. Solve -5*o + 4*y = -23, 0 = -6*o + 2*o + 2*y + l for o.
3
Let r be 40/25*(-5)/(-2). Solve 0*k + 4*x + 20 = r*k, 13 = 5*k + x for k.
3
Let y(g) = -g + 16. Let u be y(13). Let z = 0 - -2. Solve b + 3 = -l + z*l, u*l + 3 = -b for b.
-3
Let t(c) = 2*c**2 + 4*c - 2. Let m be t(-3). Solve 0 = m*s - v + 19, -8*s + 2*v - 26 = -3*s for s.
-4
Let o(q) = 2*q**2 + 10*q + 5. Let j be o(-5). Solve j*r = 2*y - 29, 3*y = -2*r - r - 9 for r.
-5
Suppose 4*j + q = 27, -34 = -5*j - 0*q - q. Solve -a - 3*z = -14, -a + 4*z = -0 + j for a.
5
Suppose k - 26 = -k + 4*r, -4*r + 1 = k. Solve 0 = -3*y + f - k, 2*f - 8 = y - 0*y for y.
-2
Suppose -4*v + 22 = -2*i, i + 8 = 2*v - v. Suppose -2*m - v*t = -7*t + 12, -4*t = -m - 14. Solve 5*p + 0*p = -2*x + 16, -5*x - 2 = m*p for x.
-2
Let c be 1*(0 - 2) + 7. Let j(i) = i**2 - 5*i + 6. Let n be j(4). Suppose -n*u + c = -u. Solve -12 = -w + 2*k, -k = u*w - w - 12 for w.
4
Let l(g) = 5*g + 4. Let n be l(-3). Let c(w) = w**3 + 10*w**2 - 12*w. Let a be c(n). Solve -3*s + 3 = 0, -3*f - a = 5*s - s for f.
-5
Let t(b) = b**3 - 11*b**2 + 10*b + 12. Let q be t(10). Solve -4*x = k + k - q, -5*x = -k - 8 for k.
2
Suppose -5*m - 5*m = -20. Solve -n - w = 3*w - 14, 4*n - m*w = -16 for n.
-2
Let u be (14/4)/((-2)/4). Let g = -3 - u. Solve 5*j - 6*j - 19 = -5*y, 12 = 4*y - g*j for y.
4
Let b(q) = q**3 + 5*q**2 + 6*q + 3. Let h be b(-4). Let d = h + 5. Suppose d = l + l - 26. Solve l = -2*r - 3*k, -3*k - 8 = -2*r + k for r.
-2
Let g(y) = -y**2 - 4*y - 1. Let u be g(-5). Let h = -3 - u. Suppose 4*w - 31 = -5*k, -w - h*k - 2*k + 19 = 0. Solve 1 = -c + 3*p, -2*c - p = w*p - 9 for c.
2
Let c be (-8)/3*(-3)/2. Solve -2*v + c = -2*x, -x - x - 7 = -3*v for x.
1
Suppose -4*p = 3*d - 8, -2*d - 30 = 3*d - 2*p. Let t be ((-6)/9)/(d/30). Solve -15 = t*r + 2*o, -r + 0 = -o - 4 for r.
-1
Suppose -12 = 3*m - 18. Let y(d) = d**2 + 3*d - 1. Let k be y(-4). Solve 3 = k*p - 7*x + m*x, 2*x = 0 for p.
1
Suppose d = -4 + 7. Solve 3*t + 14 = -w - 0*w, -30 = d*w + 5*t for w.
-5
Let c = 92 + -76. Solve -z = -4*z + m + c, -6 = -z + m for z.
5
Let b(f) be the first derivative of 2*f**4 - 1. Let v be b(1). Let h = 11 - v. Solve -5*t - 5*q = -h - 2, -4*q + 1 = t for t.
1
Suppose 0 = 6*i - 2*i + 68. Let o = 3 - i. Let n be 1/(2/o) + 0. Solve 0 = h - 3*t - 8, -5*h - n = -h + 2*t for h.
-1
Let o = -25 + 28. Solve -4*g + 3*a = 3, -3*a = o*g - 22 - 2 for g.
3
Suppose -6 - 26 = -5*i - 4*p, 2*p + 36 = 4*i. Solve g - 3 = -3*r, i*g - 3*g - 5*r - 15 = 0 for g.
3
Let h(c) be the first derivative of c**2/2 + c - 1. Let r be h(11). Solve -3*m - 1 = -4*m, 5*y + 3*m = -r for y.
-3
Let h = -1 + 3. Solve 3*d + 2*d + 5*k + 50 = 0, -5*d = -h*k + 15 for d.
-5
Let p(b) be the third derivative of b**6/120 - b**5/15 - b**4/6 - 5*b**3/6 - 4*b**2. Let s be p(5). Solve -a + j = -3, -j + 22 = 4*a - s*j for a.
5
Let p = 8 - 6. Let w(a) = 2*a - 1. Let y be w(p). Solve -y*c + 1 = 5*t, -2*c - 2*t - 8 = -5*c for c.
2
Let d be (-8 + 8)*1/(-4)*2. Solve 4*q - 4*t + 8 = d, q - 3*t + 8*t = -14 for q.
-4
Let l(g) = -3*g + 12. Let k be l(3). Solve -2*v = 5*x - 3 + 12, -3*x - k = 2*v for x.
-3
Let s = 107 - 105. Solve 2*b + 2*y = -3*y - 7, -y + s = -3*b for b.
-1
Let g = -109 + 113. Suppose 3*y + 2*y = 4*v - 12, 0 = -2*y - 3*v + 9. Solve p + t - 8 = y, -5*p + 6 = -t - g for p.
3
Suppose -13 - 2 = -5*y. Let f be 3*((-14)/(-6) - y). Let j(q) = -q + 1. Let s be j(f). Solve 3*k = -5*n + 20, s*n = 4*k - 0*n - 17 for k.
5
Let w be 5/(-5) - (-10)/2. Let p(y) = 3*y - 3*y + 6*y**2 - 2*y**2. Let i be p(-2). Solve 5*k = w*s - 20, -5*k = -3*s - k + i for s.
0
Suppose g = 8 - 0. Let b(i) = -i**3 - 4*i**2 - i - 5. Let j be b(-4). Let w = 1 + j. Solve w*c - g = a - 2*c, -16 = 3*a - 4*c for a.
0
Let w = 59 + -57. Solve 0 = -a + 6*a - b - 8, w*a + b - 6 = 0 for a.
2
Suppose 