2*n + 0 = -5*w + d, -4*w + n + 11 = 0 for w.
2
Let t be (-80)/(-24) + (-2)/(-3). Suppose -5 = -r + z, -t*z = 4*r + z - 20. Solve -r*v = -2*u - 11, -3*u - 10 = -4*v + 3 for u.
-3
Let q(u) = -u**2 + u + 6. Let w be q(0). Let c = w + -2. Solve c*b = 5*m + 3, -4*b + 5 = 4*m - 7 for m.
1
Suppose -20 = 4*h, 4 = -4*k + 2*h - 6*h. Suppose d = k*l + 5, 0 = -4*d - 3*l - 14 - 4. Let g be ((-18)/d)/3*1. Solve -30 = 3*i + 3*q, 4*i - g*q = 2*q for i.
-5
Let n be (34/(-51))/(1/(-3)). Solve z = n*p + 7, -5*z - p = -4*p - 21 for z.
3
Let y = 37 + -11. Solve 6 = -2*t + 5*t - 3*g, 4*g + y = -2*t for t.
-3
Let x(z) = 15*z. Let g be x(2). Let s be 12/g + 8/5. Let u be (2 - s - 0)/(-2). Solve -3*f + 8 = -u*k + k, 2*f = k + 7 for k.
-1
Suppose 19*x - 24 = 15*x. Solve x*k - 3*k + 27 = 5*a, -2*a + 18 = -3*k for k.
-4
Suppose 3*c - 7 - 8 = 0. Let i = 5 - -3. Solve -3*l + 3*f = -2 + i, -l = -c*f - 10 for l.
-5
Let r be ((-9)/36)/(2/(-16)). Solve -4*w = -4*m - 36, -3*w + 17 = r*w + 2*m for w.
5
Let y = 10 + -5. Suppose 0 = 4*c - r + y, -3*c + 4*c - 3*r + 15 = 0. Suppose l = -c*l + 2. Solve -3*f = -2*f - 1, f - l = w for w.
-1
Suppose -4 - 21 = -5*d. Solve -g = -d*g - 4*j - 20, 5*g - 3*j = -25 for g.
-5
Let m(f) = f**2 - 4*f - 10. Let d be m(7). Solve l + 2 = c + d, -3 = 3*c + 3*l for c.
-5
Suppose 365 = 4*b - s, 0 = -2*b - b + 2*s + 280. Suppose -f + b = 4*f. Solve 2*x = -5*h - 10, -f = -x - x + 2*h for x.
5
Let z = 7 + -12. Let r = z - -10. Solve -r*f + 2 = 3*c - 1, c - 3*f + 13 = 0 for c.
-4
Let z be -4*(-4)/48*0. Solve 5*a + 2*n - 28 = z, a + 4*a + 3*n - 32 = 0 for a.
4
Let r be 3 + 1/2*10. Let w be 2*1 + (3 - 8). Let k = w + r. Solve 5*n + k*b + 0*b = -10, 0 = n - 2*b - 10 for n.
2
Let t = 0 - 0. Suppose -6*r + 8*r - 4 = 0. Solve t = -4*d + r*y - 2, 5*y - 1 = 4 for d.
0
Let x = -33 + 38. Let t(h) = -h**2 + 10*h - 1. Let i be t(7). Let g be (2/(-4))/((-5)/i). Solve -x*u - g*p + 5 = 0, 5*u - p = -2*p for u.
-1
Let m be (-16)/6*3/(-1). Let o(u) = u**2 - 13*u + 3 + 5*u + 1 - 1. Let c be o(m). Solve -3*t = c*x - 3, -x = 2 + 2 for t.
5
Suppose 0 = 3*n - 18 - 9. Solve -5*p + 1 = -3*a + 4, p = 3*a + n for a.
-4
Let q(f) = -f + 2. Let l be q(0). Solve 2*o = 3*m - 9, -6 = 3*o - l*m - 0*m for o.
0
Suppose 5*y = 3*c - 5, 4*c + 3*y = 7*y + 20. Suppose m - c = -3. Let q = -122 + 125. Solve q*l = m*a - 4*a - 12, 3*l - 3 = 0 for a.
5
Let n = -14 + 22. Suppose x + 2 = 7. Solve -2*m + 5*m = 2*r - n, 3*m + 22 = -x*r for r.
-2
Let s = 1 - -2. Let u(d) = -d**2 - 3*d - d**s + 0*d**3 + 2*d. Let o be u(-2). Solve 4*k + 4 = z - o, 7 = -5*z + k for z.
-2
Let a be (8/28)/(3/21). Let u be a/(-4) + (-14)/(-4). Solve h - 5 = u*o, 0*o - 5*h - 35 = 5*o for o.
-3
Suppose -37 = -5*z - 7. Let q be 2/(-2) - (1 + -10). Let j = q - z. Solve j = 4*f - 2*d + 4*d, 2*d + 10 = 0 for f.
3
Let r = 10 + -7. Let a = r + 4. Solve -5*t = -s - 7, -t - s = -4*s - a for t.
1
Let c = 8 - 13. Let u(a) be the first derivative of -2*a**2 + 2. Let i be u(c). Solve -i = -4*x, -2*x + 13 + 1 = -m for m.
-4
Let o = -1 - -3. Suppose -8 = v + 4*w, 0*w + 4*w = -o*v - 8. Solve v = 3*a - 5*r, 0 = -0*a - 3*a - 2*r for a.
0
Let i be ((-14)/(-42))/((-2)/(-6) + 0). Solve -5*o + b - 3*b = -5, 0 = o - 3*b - i for o.
1
Suppose g - 19 = 5*l, -4*g = -7*g + 4*l + 24. Let u(n) = n**2 - n - 1. Let y be u(4). Solve 3*j = c + y, 4*j = -c - g*c - 17 for c.
-5
Let k = 23 + -21. Suppose -2*h - 5*y - 19 = 0, -y - 26 = -k*h + 3*y. Solve -3*n - 11 = -4*l, -h*n - n = 2*l for l.
2
Suppose 3*v - z = -2*v + 104, 0 = -v + 4*z + 36. Let m be (v + -20)*-1*1. Solve -f + 4 = m, -f = -5*d - 2*f - 21 for d.
-5
Let n = 6 + -2. Suppose l + 42 = -2*l - 2*c, -5*l = -4*c + 48. Let j(v) = -2*v - 15. Let x be j(l). Solve -r = -n*h - 5, r - 6*r - x = -3*h for r.
-3
Let y be (0 - -1)/((-3)/(-60)). Solve -5*a + 3 = -4*a + q, 5*q - y = 0 for a.
-1
Suppose 3*w - w = 4. Solve w*g + 3 = 3*g - 2*k, -2*g + k - 6 = 0 for g.
-5
Let d(c) = c - 33 - 3*c**2 + c**3 - 6*c**2 + 28. Let g be d(9). Suppose g*r - 80 = -r. Solve -4*s = -3*l + r, -31 = -4*l + 5*s - 11 for l.
0
Let u(k) = -k + 6. Let s = -6 - -9. Let t be u(s). Let i(f) = -f**3 + 6*f**2 + 4. Let d be i(6). Solve -d*z + 7 = l, z - 4 = 5*l + t for l.
-1
Let d(q) = -q**3 + 8*q**2 - 8*q - 4. Let c be d(7). Let u = -7 - c. Solve 5*m = 2*m - u*r - 2, -2 = 2*m + 2*r for m.
-2
Suppose f = -3, -5*z + 0*f - f = -17. Let r(t) = -t**3 + 5*t**2 - 2*t - 1. Let m be r(z). Solve u - 2*p = -3*u - 6, -3*u + p = m for u.
-4
Let p be (-7)/((-7)/4) - -44. Solve 5*t + p = -5*b + 18, 4 = -b for t.
-2
Let q be -3*(-4*2/(-8) - 2). Solve 3*w = 3*j - 12, -5*w = 3*j - 17 - q for w.
1
Let q(p) = p**3 - 3*p**2 - 2*p - 5. Let s be q(4). Solve 42 = -5*t - 2*h + 17, -4*t + 3*h + s = 0 for t.
-3
Let s = -3 + 7. Let b = 48 + -41. Solve -b + 39 = -4*h + s*v, 0 = -v + 5 for h.
-3
Let j = -30 + 44. Suppose -5*f + 34 = j. Solve x - f = 3*g, -2*g + 5 = -4*g + 3*x for g.
-1
Let q be 8 + ((-4)/1 - -1). Solve -5*i = 5*s + 10 + q, -16 = 4*i + 5*s for i.
1
Suppose -s = -5*s - 5*w + 64, 0 = s - 2*w - 3. Solve -g + 7 = u, 0 = -5*u - 1 + s for g.
5
Let b(l) = 5*l - 5*l**2 + 0*l**3 + l**3 + 0*l. Suppose -3*t + 5 + 4 = -u, -2*t - 5*u = -23. Let p be b(t). Solve 4*k - 4*y - 28 = 0, -11 = 5*y + p for k.
4
Let h(u) = -u**3 - 2*u + 2. Let t be h(0). Let x be 2/4 + 66/4. Solve -3*y = -3*z - t*z + x, 20 = -5*y for z.
1
Suppose 0 = -j + 3. Solve -5*l - 4*q - 15 = -1, -3*q = j*l + 9 for l.
-2
Let x be (-2)/(((-56)/35)/4). Suppose -2 - 18 = 4*j, 0 = -2*f + 3*j + 13. Let y = f + 1. Solve y = g - 5*v + 7 + 15, 0 = -x*g - 3*v + 30 for g.
3
Let i be -5 - (-2 + 7 + -10). Solve 2*k - n + i = -1, -n + 1 = k for k.
0
Let g = -7 + 4. Let m be ((-6)/1)/(-3) - g. Solve 4 = s - b + 5, 0 = m*s + 4*b - 40 for s.
4
Let r(n) = -n**2 - 6*n + 3. Let l be r(-6). Let i(u) = 4*u - 4. Let z be i(1). Solve 3*o - 2*q = -z*o, 3*o - q + l = 0 for o.
-2
Suppose -3*d + 10 = -2*d. Solve -13 = 3*z + 2*s, -3*s - d = 2*z - 7*z for z.
-1
Let b = 8 - 6. Suppose 0 = b*h + 1 - 3. Solve -5*l + 20 = 0, m + l - 3 = -h for m.
-2
Let q(n) = n**2 - 8*n + 6. Let c be q(6). Suppose 4 = h + 2. Let v be (c/(-15))/(h/10). Solve -v*l - 4*x + 22 = 0, 2*l - 3*l = -2*x + 5 for l.
3
Let a be (-2)/3 - 70/(-15). Solve 5*o + 2*q = o - 10, 2*o - 2*q - a = 0 for o.
-1
Let w(y) = 9 + 4 - 5 + y. Suppose 2*p + 23 = 7. Let x be w(p). Solve 0 = -s - 4, -5*s + x*s = -m + 22 for m.
2
Let c = -32 + 46. Suppose 26*g - 22*g = 16. Solve 2*v - 10 = -s, g*v - c = -3*s + 8 for s.
2
Let a be (2 + -3 - -3)*5. Let q(h) = 2*h - 15. Let t be q(a). Solve -28 = -4*x + 4*o, 0 = -t*x + 2*o - 0 + 23 for x.
3
Suppose 4*j - j = 6. Solve w - 4 = -5*i, 4*w + 0*i = j*i + 16 for w.
4
Let b = 11 + -11. Suppose -4*t + 113 + 23 = b. Suppose 0 = 2*m + 3*m - 3*s - t, 5*s = -4*m + 5. Solve -v = -2*g + 2, -m*v = -2*g - 0*g - 14 for v.
4
Let b(o) = -o**3 + 3*o**2 + 4. Let c be b(3). Let d = -2 - -6. Solve 10 = -c*n + 2*y, d*n + 13 = y + 2 for n.
-3
Let p be 0 - 5 - 9/(-3). Let d be -5*(p - (-12)/(-4)). Solve -5*q - d = -2*g, -15 = 2*q + q + 4*g for q.
-5
Suppose t + 7 = -0*t - 3*p, -4*t = -3*p - 32. Solve -q + 2*f - 1 = 6*f, 4*f = -3*q + t for q.
3
Let h = 51 + -49. Let w(d) = d**2 - d - 4. Let g be w(3). Solve t = 3*s + 2, t - 2*t + g*s = -h for t.
2
Let c be (-56)/(-35)*5/2. Solve -c*d - 9 = -b, -2*d = -d - 3*b - 6 for d.
-3
Suppose -k - 2*k - 76 = -4*q, 0 = -3*k. Suppose -f - c - 10 = 0, 0 = 5*f - 0*c - 5*c + 30. Let l = f + q. Solve -i - 1 = -2, -3*w + 4*i + l = 0 for w.
5
Let a be (6/10)/((-2)/(-10)). Let p(i) = a - 4 - i + 0. Let g be p(-5). Solve 5*n + 0*u + u = 20, -2*u = -g*n + 16 for n.
4
Suppose -5*o = 3*h + 16, 2*o - o + 11 = 2*h. Suppose 9 = 5*v - 6. Solve h*c - 13 = -v*i + 2, -4*c - 3*i = -19 for c.
4
Let m = -91 - -96. Solve -a - 1 = -2*i, -m*a + 4*i = 5*i + 27 for a.
-5
Let x be (2 - -31) + 0 + -2. Solve -4*v - x = -5*m, -3*v + 2*v - 4*m = -8 for v.
-4
Let z be 2 + (-5)/1 - -6. Solve 0 = -5*s - r + z, -4*r + 2*r + 6 = 4*s for s.
0
Let y be (-12)/126 - (-1455)/63. Solve 0 = -2*t + 5*f, -3*t + f + y = 5*f for t.
5
Let y = 5 - 1. Let n = -4 + y. Solve n = 2*d - 5 - 1, -1 = 2*c - 3*d for c.
4
Suppose 0 = -2*k + 2*r - 5*r - 6, k + 13 = -4*r. Suppose -2*t - 6 = -k*t. Solve -y = 0, 2*m + 6*y = 5*y + t for m.
3
Let i be 1/(-7) + (-2028)/(-84). Suppose -9 = 5*g + 