Let d = 6 + f. Suppose 0*x = 2*x - 4. Solve -5*h = 3*m - 8, d*h = -0*h + x*m + 3 for h.
1
Suppose 0 = -5*t + 5, 0*x + 5*t = 2*x - 25. Solve 5*r = y + x, 5*r = -4*y - 0 - 10 for r.
2
Suppose 28 = 2*l - 42. Solve -2*s = -4*j + 12, 5*s - l = -0*s - 3*j for s.
4
Suppose 8*s - 4*s = 4*p - 8, 5*p = 2*s + 13. Solve -7 = k - 5*z, -p*k - 3*z + 12 = -k for k.
3
Let u(n) = n - 4. Let g be u(5). Let k be 5 + ((-2)/g - -1). Let q = 3 + 0. Solve -f + k*l = 8, -q*f + 8*f = -l + 23 for f.
4
Let y(s) = -s**3 + 7*s**2 + 8*s + 10. Let j be y(8). Suppose 4*m + 4 = 4*w, 4*m + j - 33 = -5*w. Solve 0 = 2*n + 8, 10 = -w*r - n - 0 for r.
-2
Let x = -13 - -7. Let k be (-3)/x*0/1. Let r(s) = -s**2 + 2*s + 4. Let t be r(3). Solve -f = -w - t, -2*w + k*f = 3*f - 18 for w.
3
Suppose -3*u + 0*u = 3. Let r = u - -4. Solve -5*b = -r*f - 15, -5*b - 7 + 22 = -5*f for f.
0
Let v(p) = p**3 - 5*p**2 + 2*p + 8. Let s be v(4). Solve 5*c + s*c = 5*r, 4*r - 2 = 2*c for r.
1
Suppose -4*p - 4*w = -0 - 24, 0 = 3*p + 2*w - 15. Solve -18 = -9*k + 4*k + t, -p*k - 3*t = 0 for k.
3
Suppose 3*o + 5*x - 18 = -0*x, 2*o - 2*x + 4 = 0. Solve 0 = 2*g - 5*a - 2, 0*g - g + o = -2*a for g.
1
Suppose -2*x = -8, 0*x - 376 = -4*v - 4*x. Suppose 0*d - 2*d - v = 0. Let y be ((-36)/d)/(2/10). Solve -y*z = -3*f - 14, z - 3 = f + 1 for z.
2
Let j be 1*(4 + 0/4). Solve y = 4*c + 24, -2*c + 0*y + j*y = 26 for c.
-5
Let s(p) = 2*p**2 + 29*p + 13. Let a be s(-15). Solve -3*o + a = 5*k, 0*o + k = -2*o + 7 for o.
1
Let t = -7 + 15. Let m be 5 + -3 - 0/(-1). Suppose 0 = 2*h + m*h. Solve n - 4 = 3*j - 4*j, 3*n - 2*j + t = h for n.
0
Let v be 1 + -1 - (-8 + 0). Suppose -30 = -5*n - 5*t, n - 4*t + v = -3*n. Solve -5*s = p - 3*p + 11, 5*p - n*s = 17 for p.
3
Suppose -5*i = 0, 3*z + 25 = 8*z + 2*i. Solve w + 9 = 3*k, 3 = -3*k - z*w - 6 for k.
2
Let c(r) = -r**2 + 4*r. Let o(l) = l - 5. Let m be o(6). Let j = 2 + m. Let t be c(j). Solve -2*v - 10 = t*p - 0*p, 2*v = -4*p - 12 for v.
-2
Let c be 2/(-10) - (-4)/20. Solve 2*u + 2 = c, u + 3*u - 4 = 2*o for o.
-4
Suppose 4*v - 11 = -3*a + 9, 0 = -v - 3*a + 5. Suppose 5*h - 2*h - 13 = -l, 5*h - 17 = -l. Solve -3*q - l = -3*p - v*q, 12 = 3*p - 3*q for p.
3
Suppose 56 = 5*m + 9*m. Solve m*l = -8, 0 = 4*k - 5*k + 3*l + 8 for k.
2
Let x = 34 + -20. Suppose -2*i = 3*z + 2, 0*i - 2*z = -4*i + 28. Solve 0 = k + 4*l + l - 12, 2*k - x = -i*l for k.
2
Suppose u = -0*u + 3. Let y be u/(-2)*(-4)/3. Solve -m = -j, -3 = 5*m - y*j - 2*j for m.
-3
Let t be (-2)/(-8) - 7/(-4). Let q be ((2 - 3) + 0)*-3. Suppose q*u + 2 = 17. Solve -x = -t + 4, -u*h = -3*x - 6 for h.
0
Suppose 3*s - 5*q + 14 = 0, 2*s - 12 = -5*q + 12. Let b be 16/(-2)*7/(-4). Solve 0 = 6*p - 3*p - y - 7, b = s*p - 3*y for p.
1
Suppose l = -0*l - c - 2, -2*l = -2*c - 4. Solve 6 = 2*g - 4*b - l, -5*g + 23 = -2*b for g.
5
Suppose 3*x + 6 - 15 = 0. Solve 28 = -5*s + x*l, 0 = -3*s + 6*s - 2*l + 17 for s.
-5
Let l be (-2)/9 + (92/9 - -5). Solve 5*d = z, -2*z = 4*d + d - l for d.
1
Let o(n) = n**3 + 7*n**2 + 4*n - 7. Let f be o(-6). Suppose 0 = f*a - 1 - 4. Solve -j = 3*s + 2*s - a, -s - 4 = -4*j for j.
1
Let a = -23 - -28. Let r be 3/(-6)*-2*2. Solve 4*v + 3*f = -f, -a = 3*v - r*f for v.
-1
Let t be (1/(10/4))/((-4)/(-40)). Solve 4*l + 0*c - 4 = -t*c, -c = -l - 9 for l.
-4
Suppose -5 = -2*u - 1. Suppose 3*a + 3 = 3*y, -y + 2 = -a + y. Suppose -4*s - 58 = -5*x, s + s = 6. Solve 3*j = -j - u*b + x, 3*j + 2*b - 13 = a for j.
1
Let z = 17 - 14. Solve o - 1 = -0*o + 2*i, -z = -3*o + i for o.
1
Suppose 0 = -y + 3*r - 1, -2*y + 4*r = y + 8. Let f = y + 6. Solve 3*v = t + 8, 2*v - 4 - 8 = f*t for v.
1
Suppose -2 = 5*f - 22. Suppose -5*a - 6 = -61. Suppose 2*v + 3*w + 6 = 0, -3 = 4*v + w - a. Solve 3*g = v*z, -f*g - 4*z = -9*g + 4 for g.
4
Suppose -6*c + 16 = -2*c. Solve -3*w + 13 = j, -w - 2*j = -c*j - 9 for w.
5
Let l be 0 + (-3)/(3/(-2)). Let r = l - -4. Solve 2*j = 5*j - 12, -2*c - j = r for c.
-5
Let i(u) = u + 8. Let p be i(-5). Suppose 0 = p*n + 4*r - 12, -2*n - 2*n + r = -16. Solve -y - y = 4*v + 6, -4*y = n*v + 16 for v.
1
Let q = -1 + 3. Let a = 3 + q. Suppose -a*n - 15 = -10*n. Solve -n*p - 1 = -b, 3*b = -0*p - 2*p - 19 for b.
-5
Let w = 17 - 14. Solve -4*g = -2*y + 22, w*y - 46 + 18 = 5*g for g.
-5
Let i = -1 + 9. Let v be ((-14)/(-21))/((-2)/(-15)). Suppose v*p = p + i. Solve 0 = p*u, -2*d - u = d + 6 for d.
-2
Let j be 16/(-4) - -10 - 3. Solve -j*a + a = -l + 7, -4*a = -4*l + 12 for l.
-1
Suppose -4 = -5*d + 16. Solve 3*h - 3 = 0, -3*s = -d*h - 0 + 10 for s.
-2
Let n(m) be the first derivative of m**4/4 - 2*m**3 + 7*m**2/2 - 6*m + 2. Let i be n(5). Solve 0 = -2*h + 4*t + 24, 6 = i*h + t - 6 for h.
4
Let n be 6/(-2)*1 - -1. Let k = 1 - n. Solve -5*v - i + k + 0 = 0, -12 = -4*v + 4*i for v.
1
Let t(p) = -p**3 - 10*p**2 - 10*p - 5. Let z be t(-9). Solve -m = z*i - 9 - 4, 2*i - 8 = -2*m for i.
3
Suppose -3*r = -r - 8. Solve 2 = -2*l + r*k + 6, 0 = -k - 2 for l.
-2
Suppose -1 = -4*i - 5. Let n(t) = -4*t**3 - t. Let c be n(i). Solve c*q = -g - 30, 2*q - 5*g = 21 - 6 for q.
-5
Let d(b) = -4 - b**2 + 2 - 3 + 9*b. Let t be d(7). Suppose -5*x + 3 = s, 0*s - 2*x + t = 3*s. Solve 7*a - s*r + 23 = 3*a, -5*r = a for a.
-5
Let d(y) = -2*y**3 - 2*y**2 - 3*y - 2. Let f be d(-1). Solve b - 5*b = 12, 0 = -4*n - 3*b - f for n.
2
Let k(a) = a**3 + a**2 - a + 1. Let b(c) = -2*c**3 + 5*c**2 - 4*c + 3. Let s(t) = -b(t) + 2*k(t). Let f be s(2). Solve o + 15 = -4*z - z, -3*o = 4*z + f for z.
-2
Let a = -6 - -13. Suppose 0 = 5*d - 2*g - 6, 4*d + 15 = -0*d - 5*g. Solve d = 5*o + 4*h + 17, -21 = 5*o + 3*h - a for o.
-1
Let n = 146 - 142. Let i(c) = c**2 + 5*c + 3. Let u be i(-5). Solve -n*p + 6 = -s, -2*p + 1 + u = -s for p.
1
Suppose -2*g = -4 - 0. Suppose 0 = 2*q + 2*d - 14, 0*q + 5*d = g*q + 21. Solve -2*i + 6 = 4*z - 4, -5*z + 10 = q*i for z.
0
Suppose -r + 1 = 2. Let g be r/(-4 + 309/78). Solve 3*b + 6 = v + v, 5*b + 2*v = -g for b.
-4
Let q be 42/(-2)*-1*1. Suppose 0 = -a + 44 - 42. Solve 0 = a*c - z + 9, c + 3*z - q = 4*c for c.
-2
Let y = -6 + -4. Let c = y + 15. Solve -2*p + 3*r - c = 0, -2*p + r - 20 = -5*p for p.
5
Let q = -6 + 2. Let k(u) be the second derivative of u**4/12 + u**3/3 - 3*u**2/2 + u. Let f be k(q). Solve -2*t + 4*n + 5 - 3 = 0, -7 = -t + f*n for t.
-3
Let z = 12 + -14. Let p be (0 + z/1)*-1. Solve p*t - 6 = 0, 2*t = -5*k + 5*t + 11 for k.
4
Let t be 40/18 + 2/(-9). Let w(p) = p**2 - p + 3. Let g be w(0). Suppose g = i - 0*i. Solve -2*x = -3*l - 25, t*l + 13 = i for x.
5
Let c = -21 - -27. Let z be (-1)/(-4) + (-7)/(-4). Suppose 0*n = z*n - c. Solve -f - k - 1 = 0, n*f - 7 = 3*k - 34 for f.
-5
Suppose 52 = -4*q - 4*r, -r + 32 = 2*q - 4*q. Let k = 23 + q. Solve 4*c = -0*m + 3*m + k, 2 = -m + 2*c for m.
-4
Let a = 68 - 48. Solve n + 5*b + a = 0, -4*n + 3*b - 10 - 1 = 0 for n.
-5
Let z = 52 - 48. Solve -12 = z*i - 4*q, 0*q + 13 = -3*i + q for i.
-5
Let i be 24/(-16)*8/(-6). Solve -t = i*n + 4 + 2, -t + n - 3 = 0 for t.
-4
Let u be -3 + -1*(-2)/1. Let c be (1/1)/((-3)/18). Let n = u - c. Solve -2*d + 14 = -6*d - n*l, -l = -2*d for d.
-1
Let a(u) = -u**3 - 2*u**2 + 16. Let b be a(0). Solve 6 = 3*y + 2*v - b, 0 = -y - v + 9 for y.
4
Let s be (4 - 3)/(2/8). Let h(o) = 6 + s*o + o**2 + 3*o - 2*o. Let n be h(-4). Solve -n*k = -4*x + 26, k + 2*k = -3*x + 6 for x.
5
Suppose 3*l - 5*l + 8 = 0. Solve -4 = l*r, 2*z + 1 - 5 = -2*r for z.
3
Suppose -4*m + 2*u = -2, -2*u + 3 = 3*m - 16. Suppose 0 = -m*z - z. Suppose z*h + 10 = 2*h. Solve -5*f = -h*d - 15, -5*f - 4*d + 22 = -2*d for f.
4
Suppose -5*z + 11 = u, 2*z - 10 = -3*u - 3. Let k = z + 2. Suppose -k*x + 27 = 7. Solve 2*p - 4*d = 6, -x*p - d - 24 = 2*d for p.
-3
Let f be -3 + 0/((-9)/(-3)). Let i be 4 - (6/f - -3). Solve 0 = -i*y - 3, m + 4*y + 5 - 1 = 0 for m.
0
Let j(l) be the first derivative of -l**4/4 - 2*l**3 - 5*l**2/2 + 2. Let n be j(-5). Suppose 0 = d - 0*d. Solve -2*x + 2*w = -d*w + 10, n = 5*w for x.
-5
Suppose 10*b - 5*b = 35. Let t(n) = -n - 9. Let u be t(-11). Suppose u*a = -b + 17. Solve 9*c - 5*x - 5 = 4*c, x + a = -c for c.
-2
Let i be (-27)/18*(-10)/3. Suppose -5*y - 3*w - 2*w = 20, 3*w = i*y - 20. Solve 0*q + q = s - y, 5*s = -5*q - 45 for s.
-4
Suppose -i - 4*v + 152 = 4, 0 = -3*v - 3. Suppose -2*n + 6*n = i. Let h be (-1)/(-3) + n/3. Solve -2*k + 7*k + 3*c - h = 0, k -