h*p - 8, 2*p + 14 = 4*d for d.
2
Suppose -3*t = 5*f - 10, 22 = f + 2*f + 5*t. Let o be ((-3)/(-6) - f)*2. Solve o + 2 = -n, 0 = 3*x + 3*n + 15 for x.
0
Let q = 26 + -21. Solve 0 = -w - n - n - 2, -7 = 2*w + q*n for w.
4
Suppose 17 = 5*q - 3*o, 2*o - 4*o = -2. Suppose -m + 2 = -4*j - 25, 0 = q*m + 4*j - 8. Suppose m*b - 2*b = 5. Solve 5*k = 3*p - 9, 0 = k - p + b for k.
-3
Let h(r) = -r + 9. Let u be h(4). Let c = 6 + -2. Solve -2*t + c*x - 4 = 0, -u*t - 4*x + 0 = 10 for t.
-2
Let w be 4*1 - 6/3. Suppose 0*g + 3*h = 5*g - 3, w*g - 10 = -h. Suppose g*y + 8 = 7*y. Solve r + 22 = 5*m, -y*r - 3*r = -5*m + 10 for r.
3
Suppose 0*f + f + 5 = 5*s, s = 2. Suppose -2*c + 2 = 2*h, 4*c - 3*h - f = 20. Suppose 7*b = -0*b. Solve 0 = -4*k - 5*v + 12, b = c*k - v + 3*v for k.
-2
Suppose -3*b - 13 = -16. Solve 3*m + 3 = 4*r + b, 2*r = 2*m for m.
2
Suppose 4*z + 4 = 12. Solve -z*n - 3 = -4*u - 1, 3*u - 15 = -3*n for n.
3
Suppose 2*j + 2 = -0*r - 2*r, -r - 2*j = 6. Suppose 5 = 5*g - 5. Solve -r*m + 13 + g = 3*f, -5 = -2*m + f for m.
3
Suppose -j = -6*j + 15. Let v = -11 - -15. Suppose -g + 12 = -v*d, d - 31 + 8 = -3*g. Solve -2*c - 2*x = g, 0 = j*c + 6*x - 2*x + 13 for c.
-3
Suppose -2*q + 0 = -8. Solve 0 = 5*l - v + 14, 0*l + 10 = -2*l - q*v for l.
-3
Let p(x) be the second derivative of 0 + 1/3*x**4 - 1/3*x**3 + 1/20*x**5 + x - 5/2*x**2. Let c be p(-4). Solve -w + 3 = -d, -2*w + c = 3*d - 3 for w.
3
Suppose -3*g + 15 = -3*o, 3*g + 0 = -4*o - 6. Solve 0 = -3*j + g*c + 3*c - 5, 2*j + 4*c + 18 = 0 for j.
-5
Let j be (-276)/10 + 12/(-30). Let i = 33 + j. Solve 9 = 3*s, 3*f + 0*s - i*s + 12 = 0 for f.
1
Suppose 11 = 3*q - 4*q + 4*j, 28 = 4*q + 2*j. Solve -3*h + m - 10 = 3*m, 8 = h - q*m for h.
-2
Let i be 3*(3/2 + 7/(-6)). Solve -4*f - u + 1 = 0, 0 = -2*u + 9 + i for f.
-1
Suppose -4*w + 6 = 5*u - 48, 3*u - 5*w = 25. Let f = 78 - 75. Solve i = -f*p - 0*i, 2*p + 4*i = -u for p.
1
Suppose -12*v + 78 + 150 = 0. Solve -4*t = 8, 0 = 3*l + 5*t + v - 3 for l.
-2
Let d = 41 - 39. Solve 2*h + 3*r + 18 = 0, -d*h + 2*r = 1 - 3 for h.
-3
Suppose 0 = -2*g + 8. Solve -q + 3*m = 5, 2*q + 10 = -0*q - g*m for q.
-5
Let c be 429/(-15) - (-6)/10. Let n = c - -56. Solve -4*x - n = 3*j, -4*x - 7 - 13 = j for j.
-4
Let p = -3 - -10. Suppose 3*j = -p + 16. Suppose 5 = j*m - 1. Solve -5*o + m*y = 30, 4*y - 40 = 5*o - 0*y for o.
-4
Suppose -5*p - 170 = -4*h, p - 39 - 8 = -h. Suppose -2*o + 75 = o. Suppose 4*u - o = -0*k - k, -4*u = 5*k - h. Solve 2*y - 5*y = k*z + 34, -3*y - z = 14 for y.
-3
Let t(p) = 3*p**2 + p. Let y be t(-1). Solve -a + 2 + 3 = y*g, 4*g - 15 = 3*a for a.
-1
Suppose -k = 1 - 3. Suppose 3*g + 13 = -5*f, 2*g - f = -k*g + 21. Solve 4*x + 2*o = -16, -o = -g*x - 4*o - 18 for x.
-3
Let p be 0/3*(-3)/(-9). Solve 0 = -4*g - 4*r, 3*r - 5 = -4*g - p*r for g.
5
Let t be (-74)/(-14) + 16/(-56). Suppose l - 33 = t*a, -14 - 1 = 5*a. Solve k = -5*z - 16, -3*z - 5*k + 4 = l for z.
-3
Let o(u) = -7*u - 4*u**2 + 14*u - u**3 + 0*u**3. Let t be o(-5). Let b = t + 15. Solve b*p + 0*f = -5*f + 15, 0 = 5*p + 2*f - 15 for p.
3
Suppose 2*p = -6*p + p. Solve 20 = 5*f, 5*r + p = f - 9 for r.
-1
Suppose -2*y + 16 = 2*y - 4*c, 16 = y + 3*c. Solve -2*v + 0*v = k - y, 0 = -3*k - 9 for v.
5
Suppose -4*b + 18 = z + z, -5*b + 21 = 2*z. Suppose -z*n + 10 = 2*n. Solve 5*y = 2*r + 3, -3*r + 1 - n = -4*y for y.
1
Let o = -22 - -26. Solve -o*j + 2*x - 6 = 0, 4*x + 3 = j - x for j.
-2
Suppose 0 = z - 6*z + 25. Solve 5*x = -5*b + 25, 0*x + 5*b + z = x for x.
5
Suppose -5*x + 0*x = 25. Let u(t) = 4*t + 6 - 5 + 2*t**2 - 6. Let i be u(x). Solve 5*l = -i, 4*o + 9 = -3*l - 22 for o.
-4
Suppose 3*m + 420 = 5*m. Suppose -3*d = 2*d - m. Solve -2*b = -u + 12, 13 - d = 5*b - 2*u for b.
-5
Let h = -1 + 5. Suppose h*k = 3*l + 3 + 34, 5*l + 8 = -k. Solve 2*p + o = -0*o - k, p + 6 = 2*o for p.
-4
Let a(w) = -3*w - 3. Let x be a(-2). Suppose 0 = 2*g - o - 21, -3*g + 18 = -3*o - 9. Solve -3*i - g = -d, 2*i + d - 6 = -x*d for i.
-3
Let b be 2/7 + (-445)/(-70)*2. Solve -4*v + 0*v = 16, -v - b = 3*h for h.
-3
Let l(a) = -a - 5. Let c be l(-5). Let r be (1 + -1 + c)/1. Let u = 27 - 23. Solve u*d = -r*g + g - 18, -3*g - 3*d - 6 = 0 for g.
2
Let z(r) = -3*r**2 + 31*r + 25. Let f be z(11). Let p = 3 - 5. Let y = 2 - p. Solve -h = 3, -h - 15 = f*s + y*h for s.
0
Let s be (-14)/(-3) - (-4)/(-6). Solve 0 = -x + s*y - 19, -3*x + 5*y = x + 32 for x.
-3
Let l(d) = -d**3 + 11*d**2 + d - 9. Let a be l(11). Solve 3*p = -5*x + 19, -4*p = -2*x - 6 - a for x.
2
Let v be (-1 - (3 - 6)) + (-2)/(-2). Solve 5*a - v*i - 3 - 10 = 0, -4*a = 5*i - 3 for a.
2
Let n(v) = v**3 - 10*v**2 + 9*v + 2. Let u be n(9). Solve -r - 5 = -u*x - 0*x, r + 5 = 0 for x.
0
Let l(r) = -2*r**3 + r + 1. Let x be l(-1). Solve -4*z + n - 4 = 2*n, -8 = z + x*n for z.
0
Suppose -l - 10 = -6*l. Solve 0 - l = -3*c + m, -2 = c - 3*m for c.
1
Suppose -2*l = -5*b - l + 68, 0 = -4*b + 3*l + 61. Suppose 2 = 4*m + 3*j, 5*j + b + 5 = 4*m. Solve -3*u - 25 = -5*o, -o - 5 = -4*u - m*o for u.
0
Suppose 5*q - 2 = 2*o, 0 = -2*q - 2*o - 2 + 14. Solve 0*s - 9 = -q*s - i, -3*i + 7 = 2*s for s.
5
Suppose -7 - 2 = 3*d. Let b be 0*d/(-18)*3. Solve 0 = -4*y + x + 7 + 7, 3*y + x - 14 = b for y.
4
Suppose -4*h - 5*v + 8 = 0, -5 - 1 = -3*h + 4*v. Let q be (3 - 2/2) + 3. Solve q*j - 7 = 2*o - 2, 4*j = h*o + 4 for o.
0
Let m be -11 + 14 + (2 - (2 + 1)). Solve -7*g = -p - 2*g - m, 14 = 5*p - g for p.
3
Let t(w) = -w**3 - 2*w**2 + 1 + 3*w + 2 + 0*w**3. Let j be t(-3). Solve 3*a - 18 = j*i, a + 4*i = -2*a + 11 for a.
5
Let d be (-1 + 1)/(8 + -10). Suppose t = -5*l + 30, t = l - d*l - 12. Solve 5*i = i + 3*k - l, 5*k = -5*i for i.
-1
Let j = -6 - -8. Solve -4*w - 11 = -3*i, j*w + 2*i - 18 = -6 for w.
1
Suppose -6 = -x - w, -3 = -2*x + 3*x - 2*w. Let o(t) = -t**2 + 6*t + 2. Let v be o(6). Solve -2 = 2*m - v*p, x*p = -2*m + m + 15 for m.
3
Let b = 115 + -97. Solve 3*k + 10 = 4*v - b, 0 = 3*k + v + 8 for k.
-4
Let n(p) = -p**2 - 3*p + 12. Let a be n(-5). Solve 2*h + 2*t = a, -5 = -3*h + t + 14 for h.
5
Let v(t) = -t + 11. Let f be v(8). Suppose -f*l + x = -13, -3 = 4*x + 1. Solve 3*d + 10 = -5*z, 2*z + l*d = -z - 17 for z.
1
Suppose -u = -6*u - 4*u. Solve -4*f + u = 4*h + 4, -6 = -2*h + 2*f for h.
1
Suppose -5*v + 3 = -4*v. Suppose 4 = f - 1, -v*m - f + 29 = 0. Let k be 3/((-10)/m - -2). Solve 4*c - 5*s = -8, k*c - 1 = 3*s - 9 for c.
-2
Let v be (-12)/(2 + 1) - -6. Solve -5 = 2*w - 3*k, 5*k = -v*w + 3*k + 10 for w.
2
Suppose -10*t + 17*t - 175 = 0. Solve -3*f + f = 2*j - 10, 5*f - t = -3*j for f.
5
Suppose 11 = -5*p + 51. Solve -4*z + 16 = 0, -z - p + 21 = -3*q for q.
-3
Let f = 104 + -104. Solve -a - a + 3*u - 6 = f, 0 = 5*a - 5*u + 10 for a.
0
Let z be (2/5 - 0)*10. Let f be (-8)/14*(-35)/10. Suppose 5*q + f*x - 4 = 3, -2*q - 2*x + z = 0. Solve -12 = 5*n - 3*u, -2*n + u = 5 - q for n.
0
Let m be 15/3 + (-7 - -5). Suppose -2*s = -m*s. Solve 5*u + 3*k = -26, 0*u + 4*u + 2*k + 20 = s for u.
-4
Let k(o) = -6*o**2 + 4*o - 2. Let g be k(2). Let i be (-446)/g + (-4)/(-18). Solve 3*n - 4*m = -m + 3, 5*n + 5*m = i for n.
3
Let c be (80/(-25))/((-2)/5). Let g = c + -3. Solve -3*d + 2*y + 4 = 0, -4*d + g*y = -0*y - 10 for d.
0
Let n = 1 - -2. Let y be (n + (-51)/12)*-4. Solve -3*q - 2*f + 22 = q, y*q = -5*f + 40 for q.
3
Let x be 119/(-3) + (-4)/(-6). Let k be (-2 + x/(-15))*5. Solve -k*s + 7 + 3 = -2*i, -4*i = 5*s - 24 for s.
4
Suppose -6*y = -2*y - 20. Solve 0 = y*k + 20, -p + 10 = -3*p - k for p.
-3
Let l(t) = t**2 - 2*t. Let r be l(3). Let v be ((-11)/(-3))/(r/9). Solve 15 = y + 5*a, 0*y - v = -y - 4*a for y.
-5
Let t(i) = i + 13. Let n be (-4)/6 + 28/6. Let x(z) = -z**2 + 2*z - 2. Let u be x(n). Let g be t(u). Solve -3 = -2*m - 9, 4*w + g*m + 1 = 0 for w.
2
Suppose -4*k = k + 3*w - 109, -2*k + 5*w + 56 = 0. Solve -3*a + k = -5*h, -3*h = 2*h - 5*a + 25 for h.
-4
Let n(q) = -7*q - 2. Let a be n(-6). Suppose 3*s + 2*s - a = 0. Solve -9 = 3*b, -3*u + s = -5*b - 22 for u.
5
Let w(q) = -q + 1. Let f be w(2). Let t be (1*f)/(7/(-49)). Let h(u) = -u + 11. Let o be h(t). Solve 3*n - 6*n = 0, -o*r + 16 = n for r.
4
Let v be -1*(-66)/(4 + -7). Let q be (-18)/(-99) - 106/v. Solve -h + 15 = -2*h + q*r, -5*h - 4*r = 17 for h.
-5
Let l be 230/4 - 1/(-2). Let r = -28 + l. Solve 3*c = 4*p - 2*p + 7, 0 = -5*p - 5*c - r for p.
-5