3*x = 4*p + 17, -x - 5 + 24 = -g*p for x.
-1
Let v be 2/(-3) + 68/12. Let j be ((-2)/4)/(v/(-130)). Solve -h - 2*m + j = 0, 28 = -5*h + 6*h + 5*m for h.
3
Let o be ((-1)/(-2))/(1/6). Let w = -8 + o. Let d be w*(14/(-10) + 1). Solve 0 = -d*u - 4, 3*u + 21 = -3*k - 2*k for k.
-3
Let y(w) = -w**2 - 7*w - 6. Let o be y(-4). Suppose 2*x + q + 2 - o = 0, 4*q = -2*x + 4. Solve 4*r = -4*p - r - 13, 2*r + x = 0 for p.
-2
Let c(n) = -n**3 + n - 1. Let r be c(-2). Let x = 15 - 6. Solve -x = -3*a - 3*z, r = z + 3 for a.
1
Suppose -2*k = -k + 1. Let c be (k + 1)/(1 - -2). Suppose c = -3*z - 4 + 16. Solve -5*l + 3*q = -0 + 34, z*q - 27 = 3*l for l.
-5
Let h = 1 + 0. Let t(s) = 40*s**2 - 2*s + 1. Let z be t(h). Let a = -15 + z. Solve -a = 3*c + 4*b, 0 = -5*c + 3*b - 17 + 6 for c.
-4
Let m(i) = -3*i**2 + 8*i + 5. Let y(o) = o**2 + 1. Let f(k) = -m(k) - 4*y(k). Let u be f(-6). Solve -5*t = -0*t - a - 4, 4 = u*t + a for t.
1
Let i = 23 - 21. Suppose -i = 3*h - 62. Solve -4*w - 32 = -3*f - 0*f, h = 5*f for w.
-5
Let h = -98 - -70. Let y be h/(-16) + 2/8. Solve 0 = -2*x + y*d + 2 + 4, 3*x + d = 5 for x.
2
Let o = 0 + 2. Let y be 7/o + (-2)/4. Solve -y*u - 2*u + 45 = -4*r, u = r + 10 for r.
-5
Suppose n + 2*n - 6 = 0. Solve 3*y + i = 5*i - 10, 0 = n*y + 2*i + 2 for y.
-2
Suppose -3*z = -2*y - 5, -2*y - 2*y + 4*z = 0. Solve -o - 3*o = 3*g - 26, 0 = 2*o - y*g for o.
5
Let f(g) = -2*g + 31. Let t be f(13). Solve t*s + 0*h - 4*h - 5 = 0, s = -h + 10 for s.
5
Suppose 0 = 11*r - 7*r - 8, 4*w + 4*r - 20 = 0. Solve 4*n - 4*x + 4 = 0, -n - w*x = 4 + 1 for n.
-2
Suppose 3*h = 4*h - 3. Suppose -2*b + 0*g + 13 = h*g, 2*b - g - 9 = 0. Let o = -43 + 47. Solve o*c - 16 = 4*j, -2*c + 3 = -j - b for j.
0
Let b(v) = -v - 2. Let u be b(-5). Suppose -5*x - u*d = -10, -4*x + d - 4 = -12. Solve -x*s - 9 = -1, -2*s + 2 = -5*r for r.
-2
Suppose 2 = -s + 7. Suppose 0*q = s*a - 2*q - 21, a - 2*q - 1 = 0. Solve 5*y + a*n - 35 = 0, -3*y = -0*n - n - 5 for y.
3
Let d(t) = t + 7. Let f be d(-2). Solve 0 = 2*g + f*h + 3, 0*h - 2*h = g + 1 for g.
1
Let p(k) = 4*k - 2. Let d be p(-7). Let m be 4/(-10) + (-102)/d. Solve -5*t - m*f = -0*t, -3*f = 15 for t.
3
Let f = -24 + 34. Let i(b) = -2*b + 24. Let d be i(f). Solve 5*n + 31 = -d*k, -6*k - 17 = -k - n for k.
-4
Suppose 3*x + 6 = -3*j, -5*j = 3*x - j + 10. Suppose 0*q - x = -q. Solve 8 + q = 5*p + 4*f, p = f - 7 for p.
-2
Let m(y) = -y + 9. Let d be m(7). Let z(t) = t - 5 - d*t + 0*t - 2*t. Let b be z(-5). Solve -l - 5*x - 14 = -0*l, 2*l + 4*x = -b for l.
1
Let s(t) = -t**3 + 2*t**2 - 1. Let o be s(1). Suppose -15 + 3 = -2*b. Let i = b + -4. Solve -3*y + 9 = o, -4*l - 14 = -i*l - 4*y for l.
-1
Suppose -26*h - 16 = -28*h. Suppose 0 = -6*g - h + 20. Solve -b = 2*s - 2, -2*s - g = 2*b - 0 for s.
3
Suppose 0*b - 4*b + 15 = -3*s, 3*b - 4*s - 13 = 0. Solve m = -b*w - m - 16, 0 = -w + m - 2 for w.
-4
Let y be (2/4)/(2/4). Let k(n) = 0 + 11*n + 1 - 1 - 1. Let p be k(y). Solve -16 = -4*b + 3*v, -2*b - 2*v + p = -4*v for b.
1
Suppose 0 = -a - a + 4. Let k be (-4)/(12/9 - a). Solve -2*s + k = 0, 2*s - 13 = f - s for f.
-4
Suppose -2*y = 8*y - 20. Suppose -3*p + 4*p = 0. Solve -4*b = 2*o - 0*b, -y*o + 4*b - 8 = p for o.
-2
Let s(k) = k**2 - k - 16. Let a be s(-4). Solve 6 = -2*n - 4*c, -5*n + c = -a*n + 6 for n.
-5
Let w = 7 + -5. Suppose 3*t - 2*t = 7. Suppose t*c - w*c = 0. Solve 4*n = 8, -2*y + n = -c*n - 8 for y.
5
Let b(u) be the second derivative of u**4/12 - u**3/2 + u**2 + u. Let j = 10 - 7. Let s be b(j). Solve 0 = -2*t + s, -t = c - 2*t - 2 for c.
3
Let j(s) = -5*s**2 - s - 3. Let c(a) = -a**2. Let l(w) = 6*c(w) - j(w). Let h be l(0). Solve k = -3*t, h = 2*t + k + 4 for t.
1
Suppose 2*m + 0*m - 25 = 5*x, 0 = -2*x + 6. Let b = 7 + -5. Let c be (b + -1)*(2 - -2). Solve 3*n - n + m = 5*p, n - 16 = -c*p for n.
0
Suppose 0*s = -2*s. Suppose s = 7*r - 4*r. Let q be ((-12)/(-5) - 2)*5. Solve q*a - t + 8 = 0, -4*a + 5*t - 10 = -r*a for a.
-5
Let p(y) = -3*y. Let j be p(-3). Let v be (j + -6)/(0 + 1). Suppose -2*l + 22 = -3*z, 0 = v*l + z - 2 - 9. Solve f + 2*t + t = -l, -5*t - 13 = 4*f for f.
-2
Let p(h) be the first derivative of -h**4/4 + 2*h**3/3 - h**2/2 - 7. Let j be p(1). Solve -2*n - b = 3*n + 9, -2*n + b + 2 = j for n.
-1
Suppose -2*f + 2 = -4. Solve -4*l = 5*y + 1 - 4, -y + f*l = -12 for y.
3
Let y be 2*(-1 - -1 - -1). Let b(t) = 9*t - 3. Let u be b(y). Let s = 25 - u. Solve -5*x - s = 4*o - 3*o, -4*o - 10 = 5*x for x.
-2
Let l(p) = p**2 + 4*p + 1. Let k be l(-5). Suppose -k = 3*g - 18. Solve 3*y + 0*v - v = 8, -4*y = g*v for y.
2
Let a(s) = 2*s - 5. Let r be 2/(-3) - (-120)/18. Let n be a(r). Let w = 7 + n. Solve 4*g - w = -k, 3*k - 14 = 6*k - 2*g for k.
-2
Suppose 5 = -3*u + 2. Let a(p) = -5*p**3 - p. Let j be a(u). Let s be 2/j - 11/(-3). Solve h + 4*h - 10 = -5*y, 5*h + s*y - 5 = 0 for h.
-3
Let v = 25 + -53. Let c = v + 20. Let n(x) = -x**2 - 7*x + 11. Let t be n(c). Solve 2*s = 4, t*s = 4*m + m - 9 for m.
3
Suppose 18 - 1 = -4*c + v, -2*v - 31 = 5*c. Let q = c - -6. Suppose -q + 29 = 4*o. Solve o = -3*u + w - 0, -19 = -u - 5*w for u.
-1
Let n = 27 + -25. Solve 4*p - 7*m + n*m = 36, -5*p - 5*m = 0 for p.
4
Let r = 10 - -2. Suppose 0 = -2*i - 0*i + r. Let d = i + -1. Solve d*g - t = -2*t + 16, -2*t = g - 5 for g.
3
Suppose -20 = -4*v - 3*c, 2*c = -3*v + 6*c + 15. Suppose v*x = 118 - 18. Let j be ((-14)/4)/((9/6)/(-3)). Solve 2*n = 3*a + 4, -j*a - 2*n = -4*a + x for a.
-4
Let k(t) = 1 - t**2 + 4*t + 3*t**2 + t**2. Let i be k(-3). Solve y = 4*g - i, 2*y - 1 = -0*y - 3*g for y.
-4
Let i(m) = m**3 + 11*m**2 + 7*m - 22. Let x be i(-10). Solve -3*j - p = -x, j + 2*p + 7 - 3 = 0 for j.
4
Let c(i) = -i**2 + 3*i + 3. Let y be c(3). Solve 0*q - 2*q - 10 = -s, -y*q - 8 = 2*s for s.
2
Suppose -2*x = -10, -4*y - 2*x = y - 35. Solve -15 = -4*m + m, 0 = -3*a + 2*m + y for a.
5
Let k be (-1 - -5)*(-26)/(-8). Suppose t - 5*j - 12 = 0, -4*t + k = -2*j + 1. Solve -4*x - 30 = 3*y - 7, -t*x - 11 = y for x.
-5
Suppose 7 = 2*x + 3*a, 2*x = -3*x - 3*a + 13. Let f = 4 + -14. Let o = f + 13. Solve -l + o*l = 2*t + x, 4*t + 2 = 2*l for t.
0
Let c(u) = -6*u + 38. Let o be c(6). Solve -f - 4*x = 14, -3*f - o*f - 4*x = 6 for f.
2
Suppose -3*n - 6 = -3*j + 21, 4*n = 3*j - 30. Solve -4*y = -2*v - 0 + j, 2*v = 5*y + 10 for y.
-4
Suppose 2*f + 3*f = 85. Let g = f - 4. Let s be -2 - (-1 - (-1 - -4)). Solve -3*j + g = -2*o, j - s*o + 27 = 6*j for j.
5
Let h be -3 - (3 - 6/1). Solve 8 = -2*u + 4*c, 5*u = -h*c - c + 2 for u.
0
Suppose -3*x + 1 = 2*p + 2, 2*x = -5*p - 19. Solve x*k = -3*n + 9, -5*k + 3 + 2 = 3*n for n.
5
Suppose 0 = 5*v + 15, -4*o + 8*v + 28 = 4*v. Solve 3*s = -9, x = -3*x - o*s - 28 for x.
-4
Suppose 22 = 5*n + 2. Suppose -3*t - 2*t + 33 = n*s, -2*t = -3*s - 4. Solve -2*z = -2*u + 6, t*z - z - 2*u + 2 = 0 for z.
2
Suppose -m + 6*m - 15 = 0. Solve u - 6*u + 12 = 2*j, m*u - j - 16 = 0 for u.
4
Let z be -3 + (-4 + 9)*1. Solve 0 = -5*b + 20, d - 4*d - z*b + 11 = 0 for d.
1
Let t be (30/45)/((-2)/9)*-9. Solve -5*c - t = -2*h, -4*c + 2 = -3*h + 25 for c.
-5
Suppose -k = -1 - 1. Suppose 7*z - k*z + 2*g = 2, -2*z - 3*g - 8 = 0. Solve 0 = -z*m + 11 - 3, -3*m = -5*d - 17 for d.
-1
Suppose 25 = 3*r + 2*r. Let y = 10 - r. Suppose -4*h = 2*c - 16, 0*h + 4*c = 5*h + 6. Solve d = -y*w + 11, 0 = -h*w + 4*d + 6 + 16 for w.
3
Let s(r) = -r**2 + 7*r + 2. Let n be s(6). Suppose -3*f - 4*k - 28 = -8*f, n = -4*k. Solve -w = -0 - 4, f*d - w = 0 for d.
1
Let c = -1 + 2. Suppose i + 0 = 5. Suppose 3*t = 5*o - 81, -4 = -o - 3*t + i. Solve o = -4*a - c, 0 = 3*f - 4*a - 10 for f.
-2
Let b = 20 - 10. Let q = -16 - -33. Suppose q = 4*t + 1. Solve 2*n = -3*c - 12 - b, -4*n = t*c + 36 for n.
-5
Let a be (8/(-14))/(28/(-98)). Solve 0*p - 4*n + a = -p, -2*p - 2*n = 4 for p.
-2
Suppose -5*s = 2*b - 11, 6*s - b = s + 17. Solve 3*z + s*y = -9, 4*y = -z - 14 - 1 for z.
1
Let w(j) = j**2 + 7*j + 9. Let v be w(-7). Let o(l) = -l**2 + 8*l + 2. Let f be o(v). Let t be 2/f - (-114)/7. Solve -2*k - 4*h = -6*h - 2, -t = -k - 4*h for k.
4
Let t be (3/(-1) + 6)/(3/20). Solve t = -5*x, -2*j - 3*x + 1 - 9 = 0 for j.
2
Let r(u) = 2*u**2 + 12*u + 22. Let i be r(-4). Solve -2*a + c + 2*c = i, 4*a + c = -12 for a.
-3
Let b be 24/9 + 4/(-6). Suppose -b*o = 2*o. Solve -g + 2*j = 1, 4*j - j = o for g.
-1
Let z = 41