2*p + m for d.
-3
Suppose -3*h - 4*g + 11 = -3*g, -g - 17 = -4*h. Suppose b + h*b - 5*d - 35 = 0, -4 = 2*b + 4*d. Solve -x = -3*k + 9, 0 = x + b*x + 4*k + 7 for x.
-3
Let r be (3/((-36)/(-8)))/(2/6). Solve r = 2*j - 0*j, o - 4*j = 0 for o.
4
Suppose 3*u - 6 = k + 2*k, 5*u - 11 = 4*k. Let q = 1 + -2. Let h = q - -3. Solve -i - u*m = h*m - 10, i + m = 2 for i.
0
Let g(p) = -p**2 - 8*p - 8. Let c be g(-6). Suppose -4*q = v - 0*v - 22, q - 16 = -v. Solve -4*d - 11 = -x, 5*d = 5*x - c*x - v for d.
-3
Suppose -s = 4*q + 29, q + s + 3 = -8. Let h be 88/(-33)*q/4. Solve 0 = 2*i + 2*i + g - 11, 4*i - 20 = -h*g for i.
2
Let a = 8 + -2. Let u = -21 + 25. Let v = a - u. Solve -2*z - 10 = -n, 0 = -v*n - 0*n - z for n.
2
Suppose o + 36 = 5*o. Suppose 12*t = o*t + 6. Solve -t*n = 2*m + 12, -2 = m - 0 for n.
-4
Suppose -r = r + 2*i + 4, r - 3*i - 6 = 0. Suppose -u = -r*u - 5. Solve v - 1 = 1, -5*v + u = 5*d for d.
-1
Let w = 6 - -19. Solve -2*s = 5*b + w, -b + 12 = -4*s + s for s.
-5
Suppose 3*u + 2*n - 22 = 0, u + 0*n = 5*n - 21. Suppose -r + 2*r = -1. Let k be 45 - (r - -4)*1. Solve 5*w - k = 5*g - 12, -5*w + u*g = -28 for w.
4
Let g = -6 + 10. Suppose 5*d = 4*o + 45, -4*d = -g*o + 2*o - 30. Solve -v - 25 = -d*c, -3*c + 7 = -v + 2*v for v.
-5
Let n(x) = -4*x - 9. Let v be n(-6). Suppose j = 2, 6*o = o - 5*j + v. Solve 0 = -a - l + o + 2, 0 = -2*l + 6 for a.
0
Let m(z) = -z**2 - 4*z - 3. Let w be m(-3). Let i = w + 5. Solve -3*l + 2*l + 2 = -3*r, i*r = l - 2 for l.
2
Let q(y) = -y**3 - 3*y**2 + 4*y + 5. Let n be q(-4). Solve 2*g - n = h, 2*g - g - 2*h = 7 for g.
1
Let b be (-132)/(-15) + 1/5. Suppose -4*a = -b*a. Solve q - y = 6, a*q = 4*q - 5*y - 27 for q.
3
Let v(s) = 2*s**3 + 5*s**2 - 2. Let w be v(-4). Let h be w/(-12) - (-3)/(-18). Suppose -3*k = h - 49. Solve -3*b = 2*b + r - k, -4*b = -2*r + 2 for b.
2
Let p = 9 + -9. Suppose -5*d + 5*q + 5 = p, -5*q = 3*d - 0 - 3. Solve 3*t - 4*b = 25 - 7, 3*b - d = -5*t for t.
2
Suppose 0 = -5*c + 16 - 1. Let r be -3*(c - (6 + -2)). Let l be (3 - 1) + 10*r. Solve -3*p - 4*m = 4, 4*p = 3*m + m + l for p.
4
Let y = 12 + -8. Let t = y + 1. Solve -5*v - 14 = g, t*v = 2*g + 2*g + 6 for v.
-2
Suppose 5 = 5*i - 4*i. Suppose 5*y - i*l + 1 + 9 = 0, -18 = -3*y - 3*l. Suppose -3*t + 15 = y*t. Solve 0 = -4*c - t*n + 8, -11 - 9 = 5*n for c.
5
Suppose 5 = m - 0*m. Let y(p) = p**2 - p - 1. Let b be y(3). Solve m*n + b*q = -30, -5*n + 15 = -4*q - 0 for n.
-1
Suppose -4*t + 25 = t. Suppose 0 = -5*f + 5*n - t, -2*f = 4*n - 8 - 14. Solve -2*d = -4*p + 20, d = -f*d - 8 for p.
4
Let i = 6 + -4. Let j = 19 - 14. Suppose j = -o + i*o. Solve -2*r + 2 = o*l - 16, 5*r + 9 = l for r.
-1
Let i(r) = 2*r - 2. Let a be i(2). Suppose -a*z = 2 - 6. Let t = 4 + 10. Solve z*c = -0*w + 4*w + t, -c = 3 for w.
-5
Suppose -3*c + 7*c + 33 = 5*r, -5*r + 5*c + 35 = 0. Suppose -r*x + 76 = 16. Solve -3*w + 3*l = x, -3*w - 8 = -2*l + 5 for w.
-5
Let v(d) = d + 27. Let n be v(-24). Suppose -4*r = -24 - 60. Solve n*y - 4*y = -5*x - r, -5*y = -4*x for x.
-5
Suppose 0 = 5*h, -v = -6*v + 5*h + 225. Suppose n + 0 = v. Solve -f - 20 = -2*f - 3*p, -4*f = 5*p - n for f.
5
Let f = 2 + 5. Let d = f - 4. Solve 0 = v + 5*z + 11, 0*v - d*z = -2*v + 4 for v.
-1
Let j(f) = f - 7. Let y be j(9). Suppose y*b + 2*b = 28. Solve 0 = -5*s + g - 27, 0 = -2*s + 2*g - 7 - b for s.
-5
Let v be 164/10*(2 + 3). Suppose 5*a - 20 = 275. Let j = v - a. Solve -5*y + 4*p + j = 0, 0 = y + 2*p + 1 for y.
3
Let j(m) = -8 + 33 - m - 8 - 10. Suppose u + 27 = 5*g, 4*g - g - 17 = u. Let z be j(g). Solve 3*a + 3*h + z = -4, a - 5*h + 2 = 0 for a.
-2
Let w(y) = -y - 1. Let j be w(-2). Suppose 4*k - 5*o = -9, 0 = -k + 2*k - o + j. Solve 0 = -4*q + k*r - 8, 4*q + 0*r + 5*r = 37 for q.
3
Let c be -4 + 1/(3/96). Solve -3*m + 6 + 4 = -4*k, -5*k - 4*m = c for k.
-4
Let x(a) = 6*a**2 + 11*a**3 - 25*a**3 + 4 + 13*a**3. Let q be x(6). Solve 3*m + 2*n + 3 = 0, 3*n = -5*m - q - 1 for m.
-1
Let o = 9 - 17. Let f be (-258)/o - 4/16. Solve 4*j + 3*i + f = 0, -4*j - 5*i = -5*j + 15 for j.
-5
Let q = -7 - -7. Suppose q = -2*y + 4*y - 24. Suppose y = 4*a - 0*a. Solve 5*k - 5*c = 35, -2*c - 13 = -a*k - 3*c for k.
5
Let o(p) = -p**2 - 7*p + 6. Let n be o(-7). Suppose 2*d + 3*u + n = 0, 5*d - 5*u - 10 = -0*u. Solve d = 5*f + 2*a - 15, 0*a + a = -3*f + 10 for f.
5
Suppose 0 = 5*j - 2*j. Suppose 5*u - u + 5*h - 15 = j, 0 = h - 3. Solve 4*l = -i - 23, 3*i + u*i + 4 = l for l.
-5
Let g(v) = -4*v + 1. Let l be g(-1). Suppose -16 = -l*b + 9. Solve 0*u + 3*d = 2*u - 14, b*u - 4*d - 28 = 0 for u.
4
Let h = 10 - 6. Solve -6 = h*l + 2*u, -2*l - 3*l - 2*u - 5 = 0 for l.
1
Let d be 20/5 - 1/1. Suppose d*i = 2*a + 5*i - 6, 0 = -5*i - 10. Let m be 13/a + (-2)/(-5). Solve 0 = 2*n + 2*v + 6, 6*v + 21 = m*n + 3*v for n.
2
Let a be (-8)/(-6)*((-63)/36 + 4). Solve 5*i - 1 + 11 = -5*d, -a*i = d for d.
-3
Suppose s = -3*t + 10, -29 = -2*s - 6*t + 3*t. Let f = s + -8. Solve n - 2 = -k - 1, -f = -3*k + n for k.
3
Let s be 2/5 - 162/(-45). Solve 3*f + 4 = 5*r, -5*r = -4*r + s*f + 13 for r.
-1
Let k(z) = -2 + 1 - 1 - 3*z + 1. Let f be k(-1). Let x be (-3 - 0)/(1 - 2). Solve -f*r - 3 = x*r + 3*j, 5*j + 5 = -2*r for r.
0
Suppose 4*f + 4*d + 0 = 12, 4*f - 10 = -5*d. Solve -f*c + w - 9 = 0, 0 - 4 = 3*c - 2*w for c.
-2
Let w(m) = 1 + 2*m + 0*m - m. Suppose 119*q - 116*q = 12. Let l be w(q). Solve 6 = -2*n - 0*n - 2*i, -4*n + 6 = -l*i for n.
-1
Let u(f) = -3*f + 8*f - 3*f**2 + 7 + 4*f**2. Let g be u(-5). Solve 3*w - 4*b = 5, 4*w + 3 + g = 2*b for w.
-5
Suppose 4*g = -p - 3, -p = -4*g - 3*p - 6. Solve 5*l + x = 6, g = -4*l + l + 3*x + 18 for l.
2
Let v(i) = -i**2 + 5*i + 17. Let s be v(7). Solve s*c = -4*t, -4*c + c - 15 = -t for t.
3
Let h = 3 + -1. Suppose -64 = -h*n - 2*n. Let v be (2/(-4))/((-4)/n). Solve 0 = -b + 5, -2*c + 7*b - 17 = v*b for c.
4
Let t = -91 + 93. Solve 5 = -4*m + 5*a, -1 = -m + t*a - 3 for m.
0
Let a(f) = 8*f - f**3 + 5*f**2 - 6*f**2 - 5*f**2 + 0*f**2 + 5. Let g be a(-7). Let d = g - -6. Solve 4 = -d*z + 4*t, 4*t - 3 = 5*z + 1 for z.
0
Let t = 5 + -5. Suppose 4*j - 11 - 21 = t. Suppose 4*g - j = -0*g. Solve 5*n + 4*k - 3 = 8, 4 = 2*n + g*k for n.
3
Let z = 180 + -179. Solve 0 = -m - 2*n - 6, -5*m + 3*n - z = -10 for m.
0
Let p(u) = -u**3 - u**2 - u + 27. Let t be p(0). Solve 5*n - t = 3*j, 0 = 3*j - 7*j + n - 19 for j.
-4
Let g be (-2)/(0 - 2/25). Suppose 2*q - g = -3*q. Solve 0 = -q*x + 15, 0 = -s - 4*x - 2 + 9 for s.
-5
Let y be (10/(-35))/(2/(-28)). Suppose y = -3*q + 13. Solve 5*m + 2*o = q*m - 6, 3*m - 4*o = -2 for m.
-2
Suppose -k + 12 = -0*k. Suppose y + y - k = 0. Suppose 0 = h - 5*c + 11, 5*h + 4*c = 32. Solve 5*f - p = 9, y = h*f - p - 1 for f.
2
Let y(m) = -m**2 + 11*m - 4. Let w be y(9). Let k be w/(-1) - 8/(-4). Let g = 20 + k. Solve -6 = -b + 5*b - 3*z, 4*z = g for b.
0
Let i = 31 + -28. Solve -5*x - 20 = 4*u, -u - 5 = i*x - 8*x for u.
-5
Let k(g) = -2*g - 7. Let p(w) = -w. Let y(l) = 2*k(l) + 2*p(l). Let x be y(-6). Solve -4*a + 18 = -4*r - x, 0 = 5*a - r - 30 for a.
5
Suppose 0*c = c. Suppose 2*m + c*m = 0. Suppose m = y - 4 - 0. Solve 0 = -d + v + 6, -d + 3*v - 4*v = -y for d.
5
Suppose 0 = j - 6*j - 15. Let a(b) = -2*b - 2. Let h be a(j). Solve 3*c + 18 = -3*w, h*w + 5*c = -28 - 1 for w.
-1
Let n(x) = 2*x - 3. Let s be n(3). Suppose 4*b - 3*l = 13, 0*b + 2*b - 5*l = 3. Let j be -2*(-3)/b*4. Solve -3 = s*a - 3*h + j, 0 = 4*a + 4*h - 12 for a.
0
Let s(a) = -a**2 + 4*a - 2. Let m be s(2). Suppose -3*y = -8*y + 15. Solve 4*o - 3*w = -11, 2 = -y*o - w + m*w for o.
1
Suppose -2*t + 2*w = -16, -t = w + 1 + 1. Solve 9*u - 4*u + 23 = -4*h, t*u = 2*h - 5 for h.
-2
Let l(x) = x**2 + x + 9. Let s be l(0). Let g = s + -9. Solve g = 2*j - 1 - 5, -3*r - 18 = -3*j for r.
-3
Let p(a) = -a**2 + 7*a + 1. Suppose 13 = 5*n - 17. Let w be p(n). Let t be 2/w - (-19)/7. Solve -4*x + 4*g = -20, t*x - 10 = -5*g + 3*g for x.
4
Let g be (17 - 16)*0/(0 + 1). Solve a - 4*h + 14 = g, 5*a = 2*a - 4*h + 22 for a.
2
Let w = 3 + -1. Suppose -2*d - 5*n = -7, -2*n - 2*n = 5*d - 9. Let g be (-9)/3*-1 + d. Solve 3*r = -g*j + 1, j = -0*j - w for r.
3
Suppose 0 = -5*w + 8 + 17. Suppose -3*z - 1 = -2*z. Let q be 1 + -1 - (-6 - z). Solve -q*o + a = -20, a = -w*o + 8 + 2 for o.
3
Let j be (4 - 7) + -1 + 8. Suppose 3*v - 21 = -6, 4*v - 41 = -3*p. Solv