Suppose -p = -4*a - 0*a. Solve 2*w + w - a = 0 for w.
2
Suppose -15 = -116*k + 111*k. Solve 0 = -0*a - 5*a + k*a for a.
0
Suppose 0*f = -f + 2*m + 7, 0 = 3*f - 3*m - 33. Solve 18*o + f = 13*o for o.
-3
Suppose 4*l = 4*k + 8 - 52, 0 = 5*l - k + 75. Let v be (l/(-24))/(2/72). Let y = v + -21. Solve -y = -z - 2 for z.
1
Let j be (-4)/(-6) + (-4)/(-12). Suppose 14 = 6*c - 10. Suppose c*n - 27 = n. Solve -n = -5*p + j for p.
2
Let q = -45 - -50. Suppose -q*s + 0*s = s. Solve -4*x = -s*x - 16 for x.
4
Let m be 12/(20/(-12) + 2). Solve 0 = -4*d + 32 - m for d.
-1
Let r(a) = 27*a + 516. Let l be r(-19). Solve -11*w + l = 14 for w.
-1
Suppose 2*k - 20 = 3*k - 5*b, 0 = -3*k - 5*b + 20. Suppose -2*f = 3*m - 2, 3*m + 3 = -3*f - k. Solve 3*h - m = -19 for h.
-5
Let q(s) = s**3 + 2*s**2 - 7*s + 4. Let y = 4 - 8. Let l be q(y). Solve l*w = 4*w + 16 for w.
-4
Suppose -2*o + 7 = 2*o + x, 3*x + 15 = 0. Suppose 3*l + k - 6 = o*k, l - 7 = -k. Solve 0 = l*v - 12 for v.
3
Let r = -4 - -17. Let g = r + -11. Solve g*b + 12 = -2*b for b.
-3
Let x = -8 - -11. Suppose -4*a = -2*d - 8, 7*a - 12 = 3*a + x*d. Solve -m + 2 + 2 = a for m.
4
Suppose 12*a - 10 = 13*a. Let l be (-22)/a + (-1)/5. Solve -l*y + 2 = -3*y for y.
-2
Suppose -2*z = 4*x - 8, x - 5*z = 3*x - 20. Solve x = 5*u - 5 for u.
1
Suppose -6*n = -18*n + 36. Solve n*q - 2 = 10 for q.
4
Let o(k) = -3*k**2 - 15*k + 8. Let u be o(-4). Solve 21*c - u*c = 0 for c.
0
Let r be (-1 + (-2)/(-3))*-6. Suppose 4*i = -20, 3*o - r*i - 15 = i. Solve y + 2 - 4 = o for y.
2
Let d(x) = 5*x**2 + 5*x + 5. Let l(g) = -10*g**2 - 11*g - 11. Let b(k) = 13*d(k) + 6*l(k). Let t be b(1). Solve -5*z + t*z = -8 for z.
4
Let p(o) = 2*o - 19. Let m be p(10). Suppose 9*z = -m + 91. Solve 0*c + z = -2*c for c.
-5
Let s(q) be the first derivative of -q**2/2 + 3*q + 23. Let x be s(0). Solve x*a - 2 = 4*a for a.
-2
Let u = -518 - -526. Solve -9*n = -u*n + 2 for n.
-2
Let h(o) be the first derivative of 3*o**2/2 - 10*o - 7. Let k = 27 - 22. Let a be h(k). Solve g = -0*g - a for g.
-5
Let x = 614 - 607. Solve 0 = -x*s - 2 - 5 for s.
-1
Let i be 8/2*(130/4)/13. Let f be (-64)/(-36) + i/45. Solve f*o = -2*o - 16 for o.
-4
Let w be 14 + 36/(-60)*5. Solve 0 = -8*u + 3 - w for u.
-1
Let k(u) = 4*u + 57. Let p be k(-15). Let y be 3*1 - p*10/30. Solve -3*z - y + 1 = 0 for z.
-1
Let n(k) = k**2 + 4*k - 8. Let s be n(-6). Suppose t - 4 = a - 2*t, 9 = 3*t. Solve -q + a*q = s for q.
1
Suppose 3*z = -4*o + 22, -3*o + 5*z = -2*o - 17. Solve -5*u - 12 + o = 0 for u.
-1
Let y = 82 - 81. Let s be (y + 26/4)/(60/40). Solve -s*o + 2 = 12 for o.
-2
Let j(u) = u**3 - 7*u**2 + 1. Suppose 54*v - 53*v = 7. Let n be j(v). Solve -o - n - 1 = 0 for o.
-2
Suppose n = 2 + 2, 2*n = 5*j - 57. Suppose 29 = 4*q + j. Suppose q = -2*k + 8. Solve 0 = -k*h - 3*h for h.
0
Let t = 1 - 1. Suppose i + 4*o + 24 = -i, t = -2*i + 2*o - 6. Let m(k) = k**3 + 6*k**2 - k + 1. Let g be m(i). Solve -2*p = -g*p + 15 for p.
3
Let w be (-11)/((-27)/7 + 4). Let a = 80 + w. Solve 5 = -t + a for t.
-2
Let r(o) = -2*o**2 - 5*o. Let b be r(-4). Let w be (66/(-9))/(b/18). Let y = w - 6. Solve -y*m + 4 + 6 = 0 for m.
2
Suppose 2*r - 1 = -3*v, v = 5*r + 3*v - 19. Suppose -n = r*s - 19, -4*n + 20 - 1 = s. Let g = -37 + 38. Solve n*a = -13 + g for a.
-3
Let z = 55 + -22. Solve z*n = 37*n + 16 for n.
-4
Let r be (-1)/((-4)/(4 - -120)). Solve -r*k + 36*k = 0 for k.
0
Let a be 20/40*4/(4 + -2). Solve -2*d + 1 + a = 0 for d.
1
Let m(g) = -g - 4. Let s = -16 + 9. Let t(r) = -2*r - 7. Let d(z) = s*m(z) + 3*t(z). Let k be d(-7). Solve -3*j + k*j = -9 for j.
3
Let r = 62 + -59. Suppose 0 = -c + 4, c - 22 = -3*m - r*c. Solve -b + 0 = m for b.
-2
Let u = 15 - 16. Let c(p) = 2*p**2 - 3*p - 2. Let m be c(u). Suppose 0 = -5*y + 5*x - 15, 4*y + 2*x - 23 = -x. Solve 0 = -y*z + m*z for z.
0
Let b(g) = g**2 - 8*g - 18. Let o be b(11). Solve o*v = 12*v - 12 for v.
-4
Let o = 259 - 258. Solve -15 = -7*t - o for t.
2
Suppose -11*y + 1228 = 1184. Let u(w) = 3*w + 6. Let c be u(-7). Let b = -10 - c. Solve -y*l + 5*l = b for l.
5
Let q be 8 + -3*2 + 3. Let r be (-1)/(-1)*(q + -3). Suppose -r*m + 0*m + 2*d + 2 = 0, -4*m = -3*d - 9. Solve 8 = 2*i - m*i for i.
-2
Let n be ((-6)/(-12))/((-2)/(-296)). Suppose -2 = 3*c + 4*r - n, -r = -3. Suppose -u + 4*h - c = -5*u, -6 = -2*h. Solve -z + u = 1 for z.
1
Let m(u) = u**3 + 7*u**2 + 11*u. Let a be m(-4). Solve p - a*p = -9 for p.
3
Let a be -1 - (-31 - (-2 - 1)). Suppose a = 4*d - 9. Suppose 4*c - 8 = -8. Solve c = 4*p + d - 1 for p.
-2
Let z(t) = 2*t**2 + 19*t + 48. Let b be z(-7). Solve 14*j + 15 + b = 0 for j.
-2
Suppose -258 = -4*z - 162. Solve 4*u + z = 8 for u.
-4
Let r be (-11 + 4 + -2)/(-1). Let z be (24/10)/(r/(-30)). Let w = -5 - z. Solve 4*n = 3*n - w for n.
-3
Let g = 306 - 301. Let p = 8 + -3. Suppose p*z - 65 = -3*a, 30 = 4*z - 4*a + 2*a. Solve -g*v = z - 0 for v.
-2
Let l = 337 - 330. Solve -2*f - 5 = -l*f for f.
1
Let k be 3/(10/(-4) + 2). Let g be (2/4)/(k/(-180)). Solve 0*w = -3*w - g for w.
-5
Let g = 12 + -10. Let i(y) = -y**3 + y + 3. Let r be i(0). Suppose r*u - g*u = 0. Solve -4*j - 2 - 10 = u for j.
-3
Let w be ((-5)/15)/(3/(-108)). Solve -w = -3*p - 9 for p.
1
Let z = -6 + 11. Let g(i) = i**2 - 3*i + 2. Let q be g(3). Suppose 2*n + 4 = q*h + n, 0 = 4*h + 3*n + 12. Solve h*s + z*s = 20 for s.
4
Let u = 222 - 205. Solve -u + 7 = 2*l for l.
-5
Suppose 20*p - 12*p = 48. Let s be (-20)/(-3) + 1/3. Let b = s - p. Solve -b = -3*r + 5 for r.
2
Let j(r) = r**2 + 4*r - 5. Let s be j(-5). Suppose -3*v + 40 = 5*k, -k - k - 5*v + 35 = s. Solve k*d = -0*d - 25 for d.
-5
Let z be ((1 - 1)/1)/1. Suppose 4 = r - z*r. Suppose r*t - 2*h + 3*h - 8 = 0, 4*t - 24 = 3*h. Solve 0*j + t*j + 9 = 0 for j.
-3
Let k = 3728 - 3728. Suppose -4 = -4*r + 4*c, -5*r - 4 = c - 3. Let b be (-1)/(-2)*r/(-2). Solve k*a - 3*a + 12 = b for a.
4
Suppose -50 = -3*r - 8. Let d = r - 10. Solve -h = d*h + 10 for h.
-2
Let m be (-12)/(-30)*45/6. Solve 2*b + m = -7 for b.
-5
Let q(p) = -p**3 - 17*p**2 - 3*p - 39. Let j be ((45/(-10))/9)/(2/68). Let v be q(j). Solve x - 5*x = -v for x.
3
Let y(i) = -i**2 + 3*i + 28. Let p be y(6). Solve 5*z = p*z for z.
0
Let m = 363 + -363. Solve -5*r + m*r + 5 = 0 for r.
1
Let t be (-1 + 4 - 5)/(-1). Let k be 2*t/(-8)*(-12 + 0). Solve 0 = -2*f - 0 - k for f.
-3
Let k(v) = 4*v - 4. Let d be k(2). Suppose -5*x = -41 - d. Solve -q + 4*q + x = 0 for q.
-3
Let n(q) = 2*q + 4. Let v be n(-3). Let x be v*(-6)/4 - -7. Let j be 1/(2/x*1). Solve 3 = -j*o - 12 for o.
-3
Let y(v) = -3*v**2 - 8*v**3 - 16*v**3 + v**2 + 1 + 21*v**3. Let c be y(-1). Solve 0 = -3*h + c + 4 for h.
2
Suppose -3*c + 6 = -4*o, 13 = -3*o - c - c. Let w(d) = -d**2 + 9. Let p be w(o). Solve p*u - u - 3 = 0 for u.
-3
Suppose 0 = -4*t - 4*a + 1 + 7, 3*a + 2 = -t. Solve 0 = -t*l + 3*l - 1 for l.
-1
Let p(t) = t**2 + 51*t. Let a be p(0). Solve a = 5*n - 8*n - 3 for n.
-1
Let q be (-5 - -1 - -2)*-3. Let n be (2 - -54)*7/14. Let r be n/35 + 11/5. Solve 0 = -r*o + o + q for o.
3
Let i(k) = 4*k**2 - 3*k + 2. Let j(u) = -u - 3. Let x be j(-5). Let y be i(x). Let m = 1148 - 1143. Solve m*d - y = 3 for d.
3
Let f = -526 + 533. Solve 2 = l + f for l.
-5
Suppose 3*v + 4*h + 19 = 0, 5*v - 3*h + h - 3 = 0. Let u be 10/3 - (-2)/3 - v. Solve 0 = -u*p + 2*p + 6 for p.
2
Let d(n) = 1 + 1 - 22*n + 5*n. Let t be d(-2). Suppose r + t = 4*r. Solve -5*h = -h - r for h.
3
Let u = -25 - -23. Let z(m) = -17*m - 2. Let d be z(u). Let y be d/10 + (-20)/(-25). Solve -y*i = i for i.
0
Let x be (-8)/6*(-1440)/64. Solve x*y = 33*y - 3 for y.
1
Let h = -1 - -8. Let u(l) = l**2 - 6*l - 4. Let s be u(h). Solve -s*i - 2*i = 10 for i.
-2
Let o = 52 + -38. Suppose -24 = o*l - 22*l. Solve l*u + 2 = 11 for u.
3
Let f(r) = r**2 - 5*r + 1. Let l be f(5). Suppose 4*n - 4 - 4 = 0. Suppose n*x - 26 = -x + 5*a, -3*a = 12. Solve -l - x = w for w.
-3
Suppose 2*l + s - 12 = 0, 3*l - s - 2*s - 9 = 0. Let m(f) = f + 16. Let w be m(-13). Solve -w*y - l = -2*y for y.
-5
Let m be (8/(-14))/(10/(-70)). Solve m*h + 2*h = 0 for h.
0
Let k(j) be the first derivative of j**4/4 + 5*j**3/3 + j**2/2 - 10. Let r be k(-4). Solve 2*t - r = -2*t for t.
3
Suppose 0 = -m - 2*z + 34, -2*z = -3*m + 50 + 76. Solve m*r - 44*r - 20 = 0 for r.
-5
Let h(n) = -19*n - 2. Let i be h(5). Let t 