 -p + 5*w. Solve -n - n = p for n.
-1
Suppose 4*j - 8*j + 20 = 0. Solve 2 = j*i - 3 for i.
1
Suppose -3*y - 175 = -5*d, -2*y + 45 + 79 = 3*d. Let h = -37 + d. Solve 5 + h = 2*s for s.
3
Suppose 5*m - 27 + 182 = 0. Suppose 0 = -2*k - h - 50, 3*k + 2*h + 0*h = -74. Let g = k - m. Solve 4*y - g = 15 for y.
5
Let f = 13 - 9. Suppose 2*j - 18 = 2*o, -10 = -f*j + 5*o + 27. Suppose 0*b - 6 = -2*b. Solve j = -b*g + 2 for g.
-2
Let v(x) = x**2 - 12*x - 81. Let a be v(17). Solve 0 = 6*j - a*j - 10 for j.
5
Let i(n) = 5*n. Let j be i(1). Let v = -6 + 6. Let b(q) = 44*q + 751. Let w be b(-17). Solve -w*z - j - 10 = v for z.
-5
Suppose w = -4*f + 30, 0 = -3*f - 0*w + 2*w + 17. Let h = f + 3. Solve a - h = -a for a.
5
Let f = -49 + 43. Let p be (3/(-2))/(1*f/8). Solve -p*g + 9 = g for g.
3
Let z = 908 - 897. Solve -z*g = 4*g - 45 for g.
3
Let o = -11 + 10. Let l be (50/30)/(o/(-6)). Let g be ((-12)/l)/((-2)/5). Solve -4*b - 9 = g for b.
-3
Let i(v) = -6*v - 14. Let d be i(-7). Suppose -5*t = -d + 3. Suppose 4*l + 4*n = 8, 3*l + 2*n = t*n - 6. Solve 0 = -k - l - 1 for k.
-1
Let n(i) = 3*i - 9. Suppose 3*k + 15 = 8*k. Let m be n(k). Solve -2*z + 1 - 11 = m for z.
-5
Suppose 3 + 69 = 2*m - 4*c, -54 = -2*m - 5*c. Solve 22 - m = 2*n for n.
-5
Let s = -5 - -10. Let i(j) = j - 4. Let a be i(4). Let u = s - a. Solve 4*k - 2 = u*k for k.
-2
Let h(r) = -6*r - 3. Let y be h(-1). Suppose 0*b = -y*z + 2*b - 4, 2*z = 3*b - 6. Solve -3*f = -z*f + 9 for f.
-3
Let t(l) be the second derivative of -l**3/6 + 6*l**2 + 9*l. Let u be t(4). Solve 5 = 3*k - u*k for k.
-1
Suppose 8*t + 4*x + 13 = 7*t, 0 = -t + 4*x + 27. Solve t*c + c = 2*c for c.
0
Let t = -3 - -22. Let j = -12 + t. Let y(m) = 2*m - 9. Let a be y(j). Solve -3*h - a = -20 for h.
5
Let w(l) = -5*l + 5. Let i be w(1). Let g(m) = -m**3 + 5*m**2 - 3*m. Let k be g(4). Suppose -5 = -5*o + k*j, i = o - 2*j - 0*j + 5. Solve 30 - o = -5*u for u.
-5
Let i(k) = k**3 - 9*k**2 - 9. Let q = -18 + 27. Let z be i(q). Let t be (-3)/z - (-5)/(-15). Solve 0 = -l + 1 - t for l.
1
Suppose -20 + 60 = -5*b. Let d = -14 - b. Let j be 1*(d + 4 + 2). Solve j*z + 2*z = -4 for z.
-2
Let a = -143 + 174. Solve -a = 6*n - 1 for n.
-5
Let c = -542 - -551. Solve c*s - 8*s = 0 for s.
0
Let w(v) = v**3 + 4*v**2 - 2*v - 2. Let u be w(-4). Let i be 6*u/24 + 6/(-4). Solve 4*t - 4 + 12 = i for t.
-2
Let s(n) = -n - 1. Let c(q) = q**3 - 5*q**2 - 2*q - 10. Let m(k) = -c(k) + 3*s(k). Let v be m(5). Solve 0 = -b - 5 + v for b.
-3
Let t = -291 + 319. Solve 2*r - t = -28 for r.
0
Suppose 0 = 2*b - 0*b - 8. Let f be (2/(-4))/((-79)/26 - -3). Suppose -b*d + 2*d = -4*a - 22, -d = -4*a - f. Solve -d + 1 = -4*v for v.
2
Let m = 397 + -373. Solve -3*o = 9 - m for o.
5
Let m = 151 + -43. Suppose -d = 3*d + m. Let k = d - -33. Solve h + k = -h for h.
-3
Suppose 3 = -z + 7. Suppose -d = 3*c - 49, -40*c + 41*c = -2*d + 23. Solve p + z*p = c for p.
3
Let h = 4 - 2. Let z(x) = 9*x - 1. Let k be z(h). Let w = k - 14. Solve -7 = -w*s + 5 for s.
4
Let w be (0 - -1)/(2/6). Suppose w*t - 2*n = 7, -5*n = -4*t - 3 + 10. Solve 0 = -t*f + 15 for f.
5
Suppose -2*j + 4*q + 4 + 24 = 0, q + 4 = 0. Solve 0 = j*c - c - 10 for c.
2
Let m be (10/15)/((-3)/(-9)). Suppose -2*u + 3*u + m = 0. Let j be 7 + (3 + u - 1). Solve j*n - 15 = 4*n for n.
5
Suppose c + 21 = 2*u, -4*u - c + 31 = -2. Solve -u*p = -5*p for p.
0
Let y(x) = -x**2 + 6*x + 7. Let z be y(5). Solve z = 2*g - 5*g for g.
-4
Let r be 2/4*-6 + 7. Let d = 7 + r. Suppose -5*h = -3*m - 13, -4*m + 2*m + 13 = h. Solve -5*z = -m - d for z.
3
Let v = -3 + 5. Suppose v*d = 4*j + 1 - 25, -3*d - 31 = -5*j. Suppose j*m - 10 = 5. Solve 2*t = -m + 7 for t.
2
Let c(q) = -5*q**2 + 10*q. Let h be c(1). Solve 7*n - h = 12*n for n.
-1
Suppose -3*q = -3*k - 15, -3*q = -0*k + 5*k + 1. Solve 8*t = -q - 13 for t.
-2
Let t be 90/21 - 10/35. Let o = 1 + 3. Solve 0*m = o*m - t for m.
1
Let y = 25 + -17. Suppose h - 26 = -y. Suppose -h = l + 4*q, 0 + 1 = 3*l + q. Solve -l*o + 6 = o for o.
2
Suppose -135 = -2*s - 5*c, -19*s + 2*c + 212 = -16*s. Solve s = 12*f + 10 for f.
5
Let p(l) be the third derivative of l**6/120 + l**5/30 - l**4/24 + 16*l**2. Let j be p(-2). Solve -6 = 2*h + j for h.
-4
Suppose -5*q = 3*l - 1, 3*q - 3*l - 12 = -l. Suppose 5*w + 5 = 0, 3*x + w - 5 = q*x. Solve 5 = -x*z + z for z.
-1
Let i(r) = r**2 + 12*r + 19. Let l be i(-10). Let o be l/(4/8) + 7. Let d be (o/1)/(-5) - -1. Solve 2*q - 7 - 3 = d for q.
5
Suppose 12 = -5*f - 4*w, -3*w - 12 = -2*f + w. Let h be (f - 1)/(4/(-8)). Suppose -h*a - y + 4 = a, 0 = 4*a + 4*y - 16. Solve 0 = -2*d - a*d + 10 for d.
5
Let i(a) be the second derivative of a**5/20 + 5*a**4/6 + 13*a**3/6 - 9*a**2 - 7*a. Let k be i(-8). Solve k = d + 2*d for d.
2
Let a(y) = -y**2 - 10*y - 17. Let h be (-14)/(5 + -2 + -1). Let q be a(h). Solve 0*n = -q*n for n.
0
Let a = -12 - -14. Suppose 15*k + a = 16*k. Solve 5 = -3*b + k*b for b.
-5
Suppose -5*l - 85 + 105 = 0. Solve -r = l*r + 10 for r.
-2
Let o = 75 - 61. Suppose -3*u + o = -10. Solve -u - 17 = 5*f for f.
-5
Let k be (10/(-3))/((-22)/33). Suppose -3*w - w = 20. Let r be (7 + w)/((-1)/(-2)). Solve -5*o - k = -r*o for o.
-5
Suppose -8 = -2*o - 0. Solve 4 = -o*a - 8 for a.
-3
Let t = 68 + -56. Solve 9*d - t = 24 for d.
4
Let x be (-1 - (-2)/(-2))*(-20)/(-8). Let t be (x + 5)/(1 - 3). Solve 0 = 5*s - t*s for s.
0
Let c(m) = m**2 + 7*m - 4. Let y be c(-8). Suppose -y*v + 43 = 3. Solve -3*x + v = -2 for x.
4
Suppose 0 = 10*b + 12*b - 132. Solve -2*h + b = -4*h for h.
-3
Suppose 0*u + 4 = 4*u. Let p be u/(-4) - 10/(-40). Let k(s) = s**3 - 2*s**2 + 12. Let g be k(p). Solve 3*q = -q + g for q.
3
Let h be 7/(-49) + 1/14*2. Solve -x + 1 = -h*x for x.
1
Let b be (-1 - (-1)/5)*-15. Solve 52 = -b*q - q for q.
-4
Let k be (-10)/30 - (-2)/((-24)/(-28)). Solve k*m + 1 = 11 for m.
5
Let u be (8 - (-231)/(-35))/(1/5). Let y be (6 + -8)*6/(-4). Solve u + y = 5*o for o.
2
Let g(c) = -c**2 - 12*c - 7. Let s be g(-11). Let m be 15/(-20) + 3/s. Suppose -k - k + 8 = m. Solve -3*v - 5 = k for v.
-3
Let y be 75/60 + ((-35)/4)/(-5). Solve 4 - y = r for r.
1
Let q = 71 + -64. Let j be (2 - 3) + 0 - (4 - q). Solve -x = j*x - 6 for x.
2
Let x(j) = 5*j**2 + 5*j - 7. Let m(t) = -9*t**2 - 9*t + 14. Let s(v) = 4*m(v) + 7*x(v). Let d be s(2). Solve 0 = 4*a + 3 + d for a.
-1
Let o be 0 - (2/(-3))/(20/90). Suppose -o*z = -6*z + 36. Solve 0*s = 4*s - z for s.
3
Suppose -5*n + 22 = -b, 2*n + 3*b = -0*n + 2. Let c be -2 - -2*(2 - 0). Let k(t) = 2*t**3 - 29*t**2 + 15*t - 6. Let f be k(14). Solve -c*u = -f + n for u.
2
Let d = -352 + 356. Solve -5*i - d = -i for i.
-1
Let f(q) = 15*q - 131. Let b be f(9). Solve 0 = b*y - 3*y - 1 for y.
1
Suppose 2*m = 7*m - 25. Let q(i) = i**2 + 2*i - 3. Let l be q(2). Suppose -2*z + 2 = 0, -w - 3*w = -l*z + 1. Solve w = -2*a - m for a.
-3
Suppose 4*i + 46 = 5*h, -5*i = 2*h + 3 + 5. Solve h*u = u - 5 for u.
-1
Let r(c) = -c**2 + 11*c - 9. Let l be r(13). Let j = -35 - l. Solve j = -8*w + 3*w for w.
0
Let t(h) = -h**3 - 13*h**2 + h + 18. Let v be t(-13). Suppose 3*c + v*z - 28 = 2*c, -5*z + 10 = -5*c. Solve -5*w + c = -2 for w.
1
Suppose 9*u - 120 = -15*u. Solve 141 = u*p + 136 for p.
1
Suppose 0 = -2*x + 3*h - 2 - 4, 3*x + h - 2 = 0. Let v(n) = -2*n**2 + 40*n + 196. Let l be v(24). Solve x = -l*p - p for p.
0
Suppose 2*p = 3*p - 3*k - 20, 4*k + 12 = 0. Solve -15 - 40 = -p*r for r.
5
Suppose -2*p = -c - 11, -3*p + 29 = -6*c + 2*c. Solve 2*x + 2 = p*x for x.
2
Suppose 4*u + 2*s = -16, 0 = 5*s + 20. Let h be 4/u*(-1)/2. Solve a = h + 1 for a.
2
Let t(a) be the second derivative of a**3/2 + 11*a**2/2 - 4*a. Let s be t(10). Solve -5*j - 16 + s = 0 for j.
5
Let f(k) = -k - 1. Let v be f(1). Suppose 2*d - 4*d = 0. Let r be (2 - d) + (-4 - v). Solve r*a + a + 4 = 0 for a.
-4
Let n = 447 - 444. Solve -44*p + 45*p = -n for p.
-3
Suppose 6*o - 24 = -3*v + 3*o, 5*v - 10 = 5*o. Suppose b - v*b = -4. Let t be 3 - (0 + b + -13). Solve 0*s = 5*s - t for s.
3
Suppose 3*g + g + 4 = 0, -4*f + 133 = 3*g. Let p = f - 33. Solve t - 3 - p = 0 for t.
4
Suppose -3*l + 7*l = 3*r - 22, 0 = -5*r + 2*l + 18. Suppose -13 = -v - 2*g, 0 = -v + 2*g + 19 - 6. Solve 5*m - r = v for m.
3
Suppose 4*s - 7 + 39 = 0. Let y = s + 12. Solve 0 = 5*q + y + 11 for q.
-3
Let n(f) = f**2 - 13*f - 11. Let s be n(1