 = 16, -5*y - 6 = -5*d - 16. Suppose 0*x - 45 = -y*x. Solve x = 4*s + 4*h - 7, 5*s + 2*h - 20 = 0 for s.
4
Let p = 43 - 41. Solve -j = -p*i + 5, 5*i + 0*j + 3*j = 18 for i.
3
Let z be 0 + (2 - (-2 + 2)). Let b be 38/14 - (-2)/7. Let f = -7 - -9. Solve -o - 3*o - f*u - z = 0, b*o + u = -2 for o.
-1
Let y(p) = p**2 - 7*p - 16. Let x be y(9). Solve 4*i - 4*t + 36 = 0, -x*i + 0*t - 6 = t for i.
-5
Let y = 4 - -1. Solve -5*w - 4*a - 10 = 0, 3*w + 5*a + 14 = -y for w.
2
Let y(r) be the first derivative of r**2/2 + 15*r - 4. Let x be y(7). Solve 4*s - x = -u, 2*u = 3*s + u - 13 for s.
5
Let y = 57 + -57. Solve 4*u + 3*x + x = y, 0 = -u + 5*x - 12 for u.
-2
Let k(m) = 2*m**2 - 17*m - 1. Let b be k(9). Solve 0 = 3*s - 4*p - b, s = -4*p - 10 - 14 for s.
-4
Let p(v) = -v - 3. Let m be p(-5). Suppose 0*h + m*h - 8 = 0. Solve -2*d = h*l - 0*d - 6, l - 24 = -5*d for l.
-1
Let h(i) = i**2 + 11*i + 13. Let s be h(-10). Solve 0*n + s*n - 3*d = -21, -6 = -2*d for n.
-4
Let d = 4 + 2. Solve 0 = 4*r - 3*p - 6, 5*r = -4*p + 17 + d for r.
3
Let k = 20 + -9. Solve -2*h - k = -3*r, r - 2 - 5 = -h for r.
5
Let d(c) = 7*c + 4. Let h be d(0). Solve 0 = b, 0 = -x - 0*x + 4*b - h for x.
-4
Let s = -2 + 6. Solve 4*b - 4 = s*q, -4*b - q - 16 = -0*q for b.
-3
Let t = 21 + -16. Solve -x - t*q = 17, 5*x + 5 = -0*x - 5*q for x.
3
Let t be (-2)/(-2) + (3 - 2). Suppose 0*h - t*h = -4. Suppose -10 = -2*i + 2*m, i - m + h*m = -1. Solve 0 = -4*v - c + 20, v + 2*v = -i*c + 20 for v.
4
Let j(c) = -3*c + 6. Let h be j(-4). Let z be (60/h)/(2/3). Solve r - 7 = -0*b + 2*b, r - z*b = 13 for r.
3
Suppose -14*h + 15*h = 21. Solve 2*j = -5*b - h, -4*j + b = -2*j - 9 for j.
2
Let h = -13 - -16. Solve 4 = 4*b + v, -6 = -h*b + 3*v - 3 for b.
1
Let f = 5 + -1. Suppose -r = f*j, -j - j + 6 = 2*r. Solve -3*t + 5*t - r = -s, -2*s - 16 = -4*t for t.
3
Let y(r) = r**3 - 5*r**2 - 4*r - 8. Let d be y(6). Solve 4 = -n + 1, d*g - 4*n = 8 for g.
-1
Let b = -11 - -15. Let l be -2 - 4/8*-10. Suppose -s = -17 - l. Solve -5*d + 2*a - 1 = -s, a = b*d - 17 for d.
5
Let t = 25 - 17. Let i be (-6)/t + (-177)/(-12). Solve r - 2 = -3*x - i, x + 4*r = -15 for x.
-3
Suppose -5*c - 3*w + 11 = -3*c, 5*c - 16 = 4*w. Solve 0*f - f = -c*b + 17, 5 = b for f.
3
Let o(v) = 6*v + 88. Let w be o(-13). Solve -w = 4*p + 2*t - t, -p + 2*t = -2 for p.
-2
Let b = -15 + 28. Suppose -b - 12 = -5*k. Solve 2 = -z - q, -3*z - 5 + 31 = -k*q for z.
2
Let x be -2 - ((-48)/(-40))/(6/(-20)). Solve -4*r = 2*f - 3 + 5, 0 = -x*f + 6 for r.
-2
Suppose 4*j = -5*c + 21 + 9, -10 = -2*j. Suppose -4*m - n = -28, -7 = -0*m - m - c*n. Solve -3*a + 2*g - m = 0, 0 = 2*a - g + 4 - 1 for a.
1
Let x(a) = -a**3 - 7*a**2 - 3*a - 8. Let n be x(-7). Let p = n - 11. Solve 3*b = p*u + u + 18, -3*b = u + 2 for u.
-5
Let a(c) = 2*c - 14. Let u be a(10). Let j be 40/u*(-15)/10. Let g = 14 + j. Solve -r = -5*x - 1, -4 = -g*r - 2*x - 3*x for r.
1
Suppose 2*w = -6*w + 16. Solve w*f = 3*t - 10, -4*t - 16 = -4*f - 7*t for f.
1
Let f be 1 + 5 - (2 - 1). Suppose 4*y - 22 - 2 = 0. Suppose 4 = -f*j + y*j. Solve -2*v = -j*x + 2*v, v = -x for x.
0
Let w = 5 + -4. Solve -1 = -2*k + w, -2*k = 4*g - 2 for g.
0
Let x be (-2 + -1)*(-5 + 4). Let u(w) = -w**2 - 6*w + 2. Let a be u(-6). Solve 0 = 5*c + a*j + 8, c = -x*c + 2*j - 10 for c.
-2
Let z(p) = 2*p - 9. Let n be z(7). Solve 0 = -y + 5, y + 1 = -n*o - 14 for o.
-4
Let w(h) = h - 3. Let x(b) = -4*b - 3. Let o be x(-2). Let d be w(o). Solve 4*y = d*i - 3*i - 22, -5*y - 23 = -i for y.
-5
Suppose -16 = 3*s + s. Let l be 40/32 - 3/s. Solve 18 = l*q + 3*g, 3*q = -2*g + 6*g - 7 for q.
3
Let l = -87 - -123. Solve 3*c - 8 = 5*p, -8*p - l = -3*p + 4*c for p.
-4
Let g = -76 + 76. Solve -3*u - 2*t + 3*t + 14 = g, -5*u + 40 = -5*t for u.
3
Let n = 5 + -3. Let j be (-1)/3 - 104/(-6). Solve 5*l = 4*c - j, 3*l - n*c + 6 = -c for l.
-1
Suppose 0 = 2*r - 6*r - 24. Let n = -3 - r. Let p = 19 + -16. Solve 0 = p*g - n, 4*j + 2*g = -3*g - 7 for j.
-3
Suppose -2 = 6*n - 7*n. Solve -2*g + 6*g - 4 = -n*j, 5*g + 8 = 4*j for j.
2
Suppose 0 = 3*w + 4*n - 2, -n - 3*n = -3*w + 10. Solve 3*k + 0 - 3 = -5*u, 2*k - 5*u - w = 0 for k.
1
Let i be (2 - 0)/((60/25)/6). Solve -3*g - b - 3 = 2*b, i*g + 17 = -2*b for g.
-5
Let p be ((-20)/25)/((-2)/5). Suppose -2*l + 0*l + p = 0. Solve 2*g + 5*s = 1, -g - s - l = -0 for g.
-2
Let s be (-1)/(1/(1 + 13)). Suppose -4*y + 5*h + 0*h = -5, -3*y + 5*h = -10. Let f = y - s. Solve g + g = 5*r + f, -3*g = 9 for r.
-3
Suppose 2*q = -2 - 0. Let l = 3 + q. Suppose -2*r + l = -2. Solve 3*c + 4 + 11 = 4*t, -4*t = r*c + 10 for t.
0
Let n be (-20)/50 + 24/10. Suppose 5*i + 4 = 24. Solve 0 = 5*k - i*m - 8, 5*m + 5 = 3*k + n*k for k.
4
Suppose 0 = 4*f - 9*f. Let y be (2/3)/(4/(-24)). Let h = y + 7. Solve f = 4*c - h*c - w + 7, -c + 5*w = 27 for c.
-2
Suppose 4*c - 5 = 7. Let p(d) = d**2 + 7*d + 6. Let b be p(-6). Solve b = 3*q + z + 12, -4*q + c = -3*q - 2*z for q.
-3
Let q = -28 - -30. Solve 0 = x - q*r - 2*r - 10, -2*r = x + 8 for x.
-2
Let z be (-84)/(-16) - 3/(-4). Solve 7*l - 2*l = -4*p - 8, -l = 3*p + z for p.
-2
Let s(p) = p**3 + 7*p**2 + 6*p. Let i be s(-6). Suppose i = 4*j - 5*u - 59, 3*j - 31 - 18 = -u. Suppose 48 = 2*d + j. Solve -l - 6 = m, 2*l + 5*m + d = 1 for l.
-5
Let p(b) = -3*b**2 + b + 2. Let f be p(1). Suppose -5*x - 6 = -16. Suppose -x*a + 21 = -11. Solve f = 3*q - 2*k - 1, 2*q + 2*k = -0*q - a for q.
-3
Suppose u - 6 = 3*g - 2*u, 2*g - 8 = -u. Let f be 1 + 18*1 - g. Solve -r - f = -3*d, -2*d - 7 = -2*r - 25 for r.
-5
Let h(x) = -2*x - 9. Suppose 7*n - 4*r = 4*n - 26, 2*n + 4*r + 4 = 0. Let w be h(n). Solve -w*i + 14 = 2*i - 3*f, 3*i + 5*f - 22 = 0 for i.
4
Suppose -4*u + 8 = 3*s, -4*s + 7 = 3*u - 6. Let l be 5/(10/(-8))*u. Solve l*a - 8 = 2*b, -2*b = b - 3*a for b.
4
Suppose 4*x = -w - 2*w - 11, -3*w + 4 = x. Solve 5*t - 11 = w*k - 2*k, -7 = -k - 4*t for k.
-1
Suppose -5*p + 24 = 14. Solve 2*q + p*f = 14, -2*q = q - 2*f - 6 for q.
4
Let s be (1 + 11)/(-4) + 5. Let g be 1/(-2)*-8 + -1. Solve -s*h - 3*h = -g*n + 13, 20 = -5*n for h.
-5
Let b be (-2)/(-6) - 11/(-3). Let k be -3*b*14/(-12). Solve 0*a - k = 3*a - 5*s, 0 = 5*a + 4*s - 26 for a.
2
Let b = -9 - -12. Suppose 0 = -h + 4*f + 31, 0 = -3*h + 5*h + f - 17. Solve d + 0*d + b*s = -13, -d + 5*s = -h for d.
-4
Let g be (4/(-2))/((-14)/21). Solve 1 = -2*j + z + 2, -5*j = -g*z - 4 for j.
-1
Let h be 12/15 - 87/15. Let y be h/3*15/(-5). Solve -g = d - 2 - 3, y*g - 5*d + 15 = 0 for g.
1
Let o(i) = i**3 + 7*i**2 - 18*i + 3. Let p be o(-9). Solve -p*s + 21 = 2*t, 3*t = s + t + 1 for s.
5
Let u be ((-1)/(-2))/((-3)/60). Let l = u + 8. Let n = l - -7. Solve -4*j - 2 = -j - 4*t, 0 = -j - 3*t - n for j.
-2
Let m be (-3)/(-6)*-2*-1. Let v be (2 - -2)*(m - 0). Suppose b + b - v = 0. Solve 2*d = -o - 2, b*o + 3*o + 3*d - 11 = 0 for o.
4
Let h be (1/2)/(1/2). Let f be 2/((-2)/h) + 4. Solve -t = f*d - 3*t - 4, 5*d + 2*t = -20 for d.
-2
Let k(y) = -y - 16. Let o be k(-19). Let w = -1 - -7. Solve 3 = -r - p, 10 = -o*r + 4*p - w for r.
-4
Let u = -5 + 8. Solve 5*l - 4*x - 20 = x, 0 = 5*l + u*x + 4 for l.
1
Let f = -3 + 5. Suppose q - f*q = -11. Let z be 3/(-12)*3*-4. Solve 3*a = -4*n - q, -24 = -z*a + 4*n - n for a.
3
Let c = -69 - -126. Let i be (-14)/(-10) + c/95. Solve -4*w - 15 = 5*d, -4*d - i*w + 29 = -7*w for d.
1
Let c be (5 - 4)/((-1)/(-2)). Suppose 16 = 2*w + c*w. Solve 16 = -2*n - 2*h, 4*n - w*h - 11 = n for n.
-3
Let y(b) = -1 - 1 + 0 + 5*b - 4*b. Let h be y(7). Solve -6*i + 2*p = -2*i + 14, -h*i = -p + 19 for i.
-4
Let r = -89 + 91. Solve -b + 18 = 2*b - 3*t, 3*t = -r*b - 13 for b.
1
Suppose -2*z = -73 - 35. Suppose -4*o - r - 8 = -106, 2*o - 2*r = z. Solve -o + 5 = -5*l + 3*y, 3*l - 12 = 2*y for l.
4
Let b be 7/(-5) - 4/(-10). Let g(v) = -17*v - 1. Let l be g(b). Suppose 4*x = 8*x - l. Solve 4*w - 10 = -2*a + 8, 0 = -4*a + x*w - 12 for a.
1
Suppose -f - 8 = -l, -4*l - 12 = 4*f - 4. Solve -l*d = -4*z - 2, -2*d - z = d + 8 for d.
-2
Let l(p) = -p + 1. Let y(x) = -x**2 + 5*x + 10. Let k(c) = 2*l(c) - y(c). Let a be k(8). Solve -3*t + f = 2*f - 11, -5*t - 3*f + 17 = a for t.
4
Let s = 3 - -1. Let p be ((-2)/s)/(3/(-12)). Solve -4*l = -p*q + 18, q = -0*l + l + 5 for l.
-4
Suppose 16 = i - 5*i. Let k be i/(-14) + (-2)/7. Suppose k = d + 2*d - 9. Solve d = 3*v, 7 = -5*w - 