 4*j - 3*p - b = 10, 3*p + 12 = -4*j. Solve 0 = -j*v + 5*v for v.
0
Let n(b) = b**3 + 23*b**2 + 17. Let f be n(-23). Solve f*h - 5 = 18*h for h.
-5
Let z be -1 - ((1 - 4) + 6). Let o(u) = -3*u - 9. Let s be o(z). Solve 0 = 3*y - s - 3 for y.
2
Let g(h) = -h**2 + 18*h + 77. Let k be g(19). Let j = 62 - k. Solve 3 = -j*b + 3*b for b.
-3
Suppose -33 = 51*x - 54*x - m, x - 5*m = 27. Solve -2*t = -6*t - x for t.
-3
Suppose d + 3*d = -3*b + 214, -5*b + 350 = 5*d. Suppose -4 = -c, -2*y - 4*c + b = 3*y. Solve 0*g + y = -2*g for g.
-5
Suppose 0 = 10*j - 18*j + 24. Suppose 4*r - 3*o + 3 = 8*r, -12 = 4*o. Let f be (30/24)/(r/12). Solve j = 4*g - f for g.
2
Suppose 3*t = 3*b - 30, -3*b + 10*t - 11*t = -22. Solve b*a + 12 + 12 = 0 for a.
-3
Let p(w) = w**3 + 2*w**2 + 2. Suppose o + 4 = -o. Let s be p(o). Suppose 1 = b - 5*t, -s*t - 1 = -3*t. Solve 0*h = 2*h + b for h.
-3
Suppose 3*f + 216 - 228 = 0, x - 25 = -5*f. Solve x*s = -11*s + 32 for s.
2
Let s(n) = 5*n + 19. Let f be s(-3). Solve -21*u - f = -17*u for u.
-1
Suppose 0 = 5*m - 3*u + 3, 2*u = -m + 4*u - 2. Suppose f + t + 6 = m, f + 22 = -f - 4*t. Let o be (-1 - f)/((-18)/6). Solve o = -2*j - 1 + 7 for j.
3
Let b(p) = p**3 + 5*p**2 + 7*p + 3. Let r be (1 - 0)/((-25)/3 + 8). Let q be b(r). Solve o - 4 = -q*o for o.
4
Let w be ((-29)/(-4))/((-1)/(-4)). Let q = -29 + w. Solve -2*y - y = q for y.
0
Let y be 36/(-180)*(-75)/3. Suppose 0 = b - 5, 4*b + 65 = 5*k + 8*b. Solve k*s = y*s for s.
0
Suppose -3*n - 2*q = n + 6, 2*q + 10 = 0. Suppose 1 = x - n. Solve -1 = v + x for v.
-3
Suppose -3*c + 2 = -5*c. Suppose -5*p + 0 = -5. Let m = c + p. Solve m = -3*x + 5*x + 4 for x.
-2
Suppose 0 = -t + 2*h + 3, t - 30 = -5*h - 13. Solve -t*i + 61 = 33 for i.
4
Let v = 27 + 15. Suppose -6*n + 3*w = -n - v, -2*w - 14 = -n. Solve 0 = 5*o - 26 + n for o.
4
Suppose -t - p + 0*p - 63 = 0, 0 = -5*t - p - 299. Let d = t + 60. Solve d = 2*z - 1 for z.
1
Suppose 2 = 2*l, -3*u = 6*l - 3*l - 36. Suppose 5*a - 13 + 0 = -3*j, 5*a - 9 = j. Solve -4*f + u + j = 0 for f.
3
Suppose 3*k = -4*h - 4 - 5, -3*h - 6 = 3*k. Suppose 0 = 5*y - 2*c - k - 14, 3*c + 12 = 4*y. Let t be (-1194)/3781*19/(-2). Solve 0 = -y*b + t - 0 for b.
1
Let p be (-5)/(-10)*(4 + 0). Let o = 44 + -45. Let b be 2 + (o - (-2 + 3)). Solve -r + p + 1 = b for r.
3
Let x = 725 + -715. Suppose i + 3*n - 21 = 0, 2*i + 2*n - 25 = 1. Solve i*j = x*j for j.
0
Let u be (3/(-6)*6)/(-1). Let c(a) be the third derivative of -a**6/120 + a**5/12 - a**4/12 - a**2. Let k be c(u). Solve f - 4*f + k = 0 for f.
4
Suppose -2 = k + 3*q, 3*k - 2 - 34 = 5*q. Suppose 8 = k*h - 27. Suppose 15 = 4*d - h. Solve d*a + 12 = -13 for a.
-5
Let j(b) = -2*b + 8. Let a be j(12). Let o = -24 - a. Let h be ((-20)/o)/1*2. Solve 0 = h*m - 6*m for m.
0
Suppose 13*c = -13*c + 182. Solve 5*r = c + 13 for r.
4
Let u = -15 - -40. Suppose -2*l - u = 4*q + 25, 2*l + 6 = 0. Let j = q - -16. Solve 7 - 2 = -j*r for r.
-1
Let t = 7 + -5. Let a(y) = -88*y + 968. Let r be a(11). Solve 6*m - t*m = r for m.
0
Let o(s) = -s**2 + 5*s + 17. Let w be o(7). Let v = 1 + w. Solve 2*q - v = -0*q for q.
2
Let d(i) = i**3 - 10*i**2 - 10*i - 10. Let m be d(11). Let r be m + 2/(-4)*398. Let n be ((-2)/6)/(11/r). Solve -4*t + 6 = -n for t.
3
Suppose q + 0*q + 3 = 0. Let h be (-52)/(-12) - 2/q. Let g = h - 1. Solve y = 5 - g for y.
1
Suppose -4*j + 9 = -j. Let w(a) = -a**3 + 2*a**2 + 4*a - 3. Let b be w(j). Let v(c) = -c**3 + 2*c**2 + 3*c + 2. Let f be v(-1). Solve z - 2*z - f = b for z.
-2
Let b(o) = o**3 + 4*o**2 + 3*o + 12. Let n be b(-4). Suppose -k - 5*g = -3*g - 11, 4*k - 5*g + 8 = n. Solve 1 = k*m - 2 for m.
1
Suppose 35*c = 692 + 8. Suppose -4*k + 5 = 5*p - 9, -3*p + 5*k = -1. Solve -p*u = -6*u + c for u.
5
Suppose -g + 3*i - 34 = -29, 3*g = -4*i + 37. Solve -g = -21*p - 28 for p.
-1
Let h be (-50)/4*12/(-5). Let v be 3/(-6) - (-324)/8. Let w be v/h*(-6)/(-4). Solve a + w = -1 for a.
-3
Suppose 5*y - 8 + 123 = 0. Let m = -23 - y. Solve m*u = -u for u.
0
Let l = -114 - -223. Let s = l - 109. Solve -4*j - 1 + 5 = s for j.
1
Let q be (-2 + -1)*-1 - -1. Let c(v) = -3*v + 4*v + 4*v. Let j be c(1). Solve -j + q = n for n.
-1
Suppose -5*y = -5*b - 35, 2*y + 3*b - 28 = -2*b. Solve y*r = 2*r + 7 for r.
1
Suppose -2*g + 0*g = 0. Suppose g - 5 = 4*s - l, 5*s - 25 = -5*l. Suppose 3*q + 2*q = s. Solve 0*j - 5*j - 5 = q for j.
-1
Let v(h) = -2*h + 20. Let u be v(14). Let r = 12 + u. Solve 5*b - r = 3*b for b.
2
Suppose 0*k - 52 = -13*k. Solve 5*b - k*b = -3 for b.
-3
Suppose 5*n = -3*f - 69, 2*f + 45 = -3*n - 0*n. Let s(q) = -3*q - 54. Let g be s(f). Solve g = 2*i + 3*i + 20 for i.
-4
Let a(g) = g**2 + 10*g - 203. Let y be a(14). Solve 7*w = -y + 119 for w.
-2
Let w be 396/(-693) + -69*3/(-7). Solve 0 = 11*t + 7 - w for t.
2
Suppose -u - 26 = -3*a, -10 = 2*a - 2*u - 26. Solve -a*j + 4*j = -5 for j.
1
Suppose 38 = 2*j - 4*p, 2*j = -2*j - 3*p + 65. Solve -18*g + 2 = -j*g for g.
2
Suppose 0 = -2*m - 0*m + 5*b - 292, -m - 2*b = 128. Let z = m - -140. Solve 0*y + 4*y - z = 0 for y.
1
Suppose 30 = -4*c - c. Let m(r) = -r**3 - 5*r**2 + 5*r - 3. Let n be m(c). Suppose n*x + 30 = 5*x. Solve 3*s - x = -2*s for s.
3
Suppose z = -4, -23 = -5*c + 5*z + 57. Solve 0 = -0*y - 4*y + c for y.
3
Suppose -10*r = 4*r - 98. Solve 3*p - 20 = r*p for p.
-5
Let s = 1 + 0. Let k be (0 + 1 + 1)*s. Suppose -k*f + 8 = 2*f. Solve -f = g - 4 for g.
2
Let z(u) = u + 15. Let p be z(-11). Suppose p - 16 = -4*y. Let s be (y - 6) + 4 + 6. Solve -2*o + 1 = -s for o.
4
Let l(g) = g + 4. Let b be l(-2). Suppose -3*o - 5*z = -4, z = 2*o - b*z - 9. Let n be ((-1)/((-8)/20))/((-10)/(-16)). Solve o*r - n = 4*r for r.
-4
Let k be (7 + -2 - -30) + -3. Solve 0 = -k*t + 29*t - 9 for t.
-3
Let w be 11 + -2 - (60/5 + -9). Solve 3*j - w = -18 for j.
-4
Let m be ((-21)/7 + 2)*(-4 + -1). Suppose -m*l + 31 = -14. Solve 3*a + l + 0 = 0 for a.
-3
Suppose -5*c + 17 = -f + 2*f, -7 = f - 3*c. Suppose -4*p + 5*i = -70, -3*p + 7*p + f*i - 56 = 0. Solve 4*x = -x + p for x.
3
Let v = -540 - -560. Solve 2*b = v - 24 for b.
-2
Suppose 24 = -2*z + 3*z. Suppose q + 3*q = z. Let y = 0 + q. Solve 2*f - 16 = y*f for f.
-4
Let i be (28/(-8) + 4)*128. Let m = i - 37. Solve -4*p = m - 7 for p.
-5
Let q(s) be the first derivative of -5*s**4/4 - s + 5. Let a be q(-1). Suppose -2*c + 3*b = -6, -2*c + 0*b + 6 = -4*b. Solve u = a*u - c for u.
1
Let j(o) = 3*o**2 - 6*o + 1. Let q(v) = -8*v**2 + 19*v - 2. Let p(x) = 7*j(x) + 2*q(x). Suppose -n = -3*n + 4. Let h be p(n). Solve 6*d = d + h for d.
3
Let k(f) = -f + 10. Let h be k(5). Let a = -16 - -24. Suppose -2*t = -t - 2*b + a, -h*b + 20 = 5*t. Solve -5*q + 3 + 2 = t for q.
1
Let i = 73 - 73. Let m(x) = 2*x - 6. Let q be m(6). Suppose 3 = 3*a - 3. Solve i*v = -a*v - q for v.
-3
Let u be (-6)/4*10/(-3). Suppose 0 = -4*q - u*g + 10, -4*g + 3 = 3*q - 5. Solve -2*h - 3*h - 5 = q for h.
-1
Suppose -d + 3*d = 0. Suppose 2*i - 13 = -5*f + 2*f, 2*i - 10 = d. Solve f + 0 = h for h.
1
Suppose -15 = -5*r - j, 2*j = 3*r - 6 - 16. Solve 0 = 4*l + 8 + r for l.
-3
Suppose -4*k + 4*g = 6*g - 6, -k - g + 1 = 0. Solve -5*x + 9 = -k*x for x.
3
Let h be (4/9)/(70/2205). Solve 16*t = h*t for t.
0
Let a(m) = -m**3 - 7*m**2 - 3*m + 20. Let z be a(-6). Solve 0 = -19*o + 21*o - z for o.
1
Let q(y) = 2*y**3 - 25*y**2 + 37*y + 4. Let j be q(11). Solve j = m - 13*m for m.
-4
Suppose 12*w - 14*w = 0. Suppose w = 8*h - 0*h - 8. Solve n - 1 = h for n.
2
Suppose -32 = d - 5*d. Let c(i) = i - 4. Let o(s) = -4*s - 2. Let h be o(-2). Let j be c(h). Solve -d = j*x - 0*x for x.
-4
Suppose 3*k = -3*f + 81, 2*f + 13 = 4*k + 73. Solve 21*r - 28 = f*r for r.
-4
Let o be 11 + 4/(-2 + 4). Suppose 0 = v - 4*n - 7, -v - 5*n + 14 = v. Let c = v + o. Solve -c = 3*i + i for i.
-5
Let v = -307 + 313. Solve 5*c + 4 + v = 0 for c.
-2
Suppose 9*p + 634 = 697. Solve 3*a - p = -4*a for a.
1
Suppose 0 = 2*x + 2*x - 12. Let q(p) be the third derivative of -p**6/120 + p**5/20 + 2*p**2. Let t be q(x). Solve 4*b + 0*b + 20 = t for b.
-5
Suppose -5 = -3*s + 10. Suppose -s*x = -3*x. Solve 3 = -x*o + o for o.
3
Let d = -645 - -685. Solve 0 = -41*f + d*f for f.
0
Let t(m) = 5*m**2 - m - 7. Let j(v) = -11*v**2 + v + 14. Let f(z) = 6*j(z) + 13*t(z). Let k be f(-5). Solve -k = 4*l + 17 for l.
-5
Suppose -3*a = o - 75, 5*a - 62