pose -6 + 5 = -v. Let k = 5 + -3. Suppose 0 = k*c - 0*c. Solve -o - v = -c*o for o.
-1
Let m = 13 + -7. Let x be 1/2*(-10 + 5 + 11). Solve m = x*l - l for l.
3
Suppose -5*b = -5*w - 80, -3*b - 5 = 4*w - 88. Solve b*k + 2 = 23*k for k.
1
Suppose -4*u = -23 + 3. Let i be 2/(((-28)/(-154))/(1/11)). Solve -3*w = -u - i for w.
2
Let m = 1845 + -1725. Let f = -11 - -18. Suppose f*q - m = -q. Solve -3*p + q - 3 = 0 for p.
4
Suppose 14 = -4*a + 70. Let n(s) = s + 11. Let x be n(-6). Suppose x*y = g - a, y + y = -g. Solve -r = g*r for r.
0
Suppose j - 5 + 2 = 0. Suppose s + 3 = -j*g + 21, g - 4*s = -7. Suppose 12*c = g*c + 7. Solve -n + 0*n = c for n.
-1
Suppose -52 - 3 = -11*x. Let n(u) = u**3 + u**2 - u + 5. Let g be n(0). Suppose -l - 8 = -g*l. Solve 0 = -l*i + 3 - x for i.
-1
Suppose 0 = -3*j + 2*p + 32, 43 = 4*j - 2*p + 1. Solve -8 = 6*r + j for r.
-3
Let t be (3 - -1)*(-4)/(-8)*2. Suppose 5*a = 7*a - t. Solve a = 3*q - 1 for q.
1
Let q(u) be the second derivative of -5*u**3/6 + 39*u**2/2 - 12*u. Let z be q(7). Solve -z = -4*b + 2*b for b.
2
Let p = 19 - 12. Let u(l) = -4*l**2 + 5*l**2 + p*l + l - 9 + 0*l**2. Let w be u(-9). Solve m + w*m - 4 = 0 for m.
4
Let j be (-125)/175 + 162/21. Solve -9*z = j*z - 19*z for z.
0
Suppose 5*u = -2*f - 34 + 10, 4*f = 2*u. Let n be (-247)/(-76) + (-3)/u. Solve 0*q + n*q = 12 for q.
3
Let r(t) = -t**3 - 12*t**2 - 9*t + 4. Let x be r(-11). Let g = -14 - x. Solve g = -7*p + 3*p for p.
-1
Let i = 709 - 698. Solve i*x = 4*x for x.
0
Let n be (-6)/4*(89 + -105). Solve 0 = 21*b - 42*b + n*b for b.
0
Let j be (-16)/(-24) + 23/(-3). Let x(f) = -3*f - 16. Let y be x(j). Suppose -2*m - y*w + 55 = 3*m, -4*m + 5*w + 17 = 0. Solve 3*o = m + 1 for o.
3
Suppose 0 = -m + 2*h + 7, 2*m = -0*m - 3*h. Solve 0*s + 12 = m*s for s.
4
Let x be 8/(-40) - 102/(-10). Let b be (11 + -16)*(-4)/x. Suppose -3*y + 0*y + u = -10, 5*u + 16 = -b*y. Solve 4*j = y - 6 for j.
-1
Let f be 16/(-4) - (-28 - 0)*-2. Let z = f + 64. Solve z*y = y for y.
0
Suppose 6*u - u = 5*m + 25, 4*u = 5*m + 20. Let g(f) = 6*f - 8. Let t be g(3). Solve m = -2*s + t for s.
5
Let w(i) = 2*i**2 + 10*i - 9. Suppose 7*f = 3*f + 8. Let n be 6*(3 - (f + 2)). Let a be w(n). Solve -a = -c - 4 for c.
-1
Suppose -5*z = -a + 4*a + 5, 2*z + 16 = -4*a. Suppose -4*q - 7 = z*b - 1, -3*b + 15 = 0. Let y be 3 + -6 - (-3 + q). Solve -y = -p - 0*p for p.
4
Let w(k) = 2*k**2 + 10*k - 63. Let b be w(-9). Solve -b*t = -4*t - 10 for t.
2
Suppose -1 = -2*r + 7. Solve -r*o + 10 = 22 for o.
-3
Let w be (4 + -6 + 3)*(-96)/2. Let a = -42 - w. Solve 0 = v - a*v for v.
0
Suppose -2*h - 2*g + 0 - 14 = 0, g + 31 = -5*h. Let q(p) = -2*p - 9. Let f be q(h). Let m = 7 - f. Solve -m*u - 3 = -3*u for u.
-3
Let p = -207 - -231. Solve p = -4*i + 12*i for i.
3
Let k be ((-95)/(-38))/((-2)/4). Let g be k/2*(-24)/(-30). Let b = g + 10. Solve -5*t - b - 2 = 0 for t.
-2
Let n be (-17)/(-2) + -2 + 75/30. Solve -12*p - 105 = n*p for p.
-5
Let v be 30/9 - 5/(-3). Solve -v*s = -2*s + 9 for s.
-3
Suppose -99 = 9*g - 12*g. Solve -5*s + 38 = g for s.
1
Let n(b) be the third derivative of -b**4/8 + b**3/2 - b**2. Let s be n(2). Let d = -1 - s. Solve -z - 3 = d*z for z.
-1
Let r(f) = -2*f**2 - 26*f. Let v be r(-13). Solve 0 = -y - 0 - v for y.
0
Let y be 1*(-2 - -2 - -2). Suppose 0 = -4*j - 3*b + 31, -5*b + 21 + 24 = 5*j. Suppose j*o - y = 10. Solve -v + 2*v = o for v.
3
Suppose 0 = -4*a + 16, -3*k = a - 144 + 2. Solve k*w - 51*w = -25 for w.
5
Let f(g) = g**2 - 13*g - 12. Suppose 3*x = 33 + 9. Let t be f(x). Solve 0 = 3*n - t*n + 4 for n.
-4
Suppose 0 = -18*d + 874 - 82. Solve -16*m - d = 20 for m.
-4
Suppose 0 = 5*m - 26 - 249. Solve 14*w - 3*w = -m for w.
-5
Let f = -28 + 53. Solve 15 - f = 5*k for k.
-2
Suppose 10*h + 96 = 4*h. Let a = -12 - h. Solve 0 = -i + a*i for i.
0
Let n(w) = w + 9. Let s = -36 - -30. Let x be n(s). Solve -5*v - 8 = -x*v for v.
-4
Let c(g) be the second derivative of g**4/6 + 5*g**3/3 - 4*g**2 - 22*g. Let p be c(-6). Solve 0 = w - p*w for w.
0
Let s(q) = -q**2 + q - 2. Let i be s(0). Let r be i + (1 - (-2 - 19)/3). Solve 2*b + b + r = 0 for b.
-2
Let c be -2 + -1*(-3 + 24). Suppose r = 3*n - r + 116, -3*n = 2*r + 112. Let q = c - n. Solve -2*f = f - q for f.
5
Let o be ((0 + 0)*(-11)/44)/1. Suppose 8*p = 4*p + 12. Solve p*u = -3 - o for u.
-1
Suppose 5*g - v = 29, -4*v + 2*v = -3*g + 16. Let r be (g/(-8))/((-9)/24). Suppose -r*m + 5*i - 6 = 0, -m = m - 3*i + 2. Solve 0 = -s + m for s.
2
Suppose -2*d + 2*d = -d. Solve d = -10*b - 14 - 6 for b.
-2
Let x = -1 + 1. Let h(o) = -8*o - 3. Let n be h(-1). Suppose 4*j - 28 = n*p, 2*j - 3*p + 0*p = 16. Solve j = 2*r - x*r for r.
1
Let b = 527 + -521. Solve -b*n - 17 = 7 for n.
-4
Let k(f) = f**2 - 6*f + 5. Let h be k(6). Suppose i + p = -3*i + 7, -h*p - 5 = 0. Let y = 2 - -4. Solve -i*u - y = u for u.
-2
Let y = -31 + 38. Suppose 13*q - y*q - 6 = 0. Solve 5*a = 4 + q for a.
1
Let f = -11 + 20. Suppose -3*c + p - 79 = -6*c, 0 = -4*c + p + 96. Let x = 29 - c. Solve -x*t = -f*t - 15 for t.
-3
Let o(q) = 77*q + 109. Let r be o(-1). Solve -r = -12*n - 4*n for n.
2
Let s = 6 - 8. Let u be (48 + s - 0)/2. Suppose 0 = 2*k - 2, -2*n + k + u = n. Solve h + n = 5*h for h.
2
Suppose -3*z + l - 5 = -3*l, 10 = -3*z + 5*l. Suppose 4*k + 0*n - n - 15 = 0, -5*n + 25 = z*k. Suppose 2*c + 2 = k. Solve -4*o + 3 = -c for o.
1
Let d be (-2 - -1)*(-26)/2. Let p = 2 + 1. Suppose d = n + p. Solve n = 3*k - k for k.
5
Let h(m) = 8*m + 1 - 7*m - 5*m**2 + 4*m**3 - 3*m**3. Let d be h(5). Solve 2*s + 4 = d*s for s.
1
Suppose 0 = -5*t + 3*k + 73, -3*t + 10*k - 5*k = -47. Solve -u = 6*u - t for u.
2
Let p(i) = 22*i + 336. Let k be p(-13). Solve -6*q + k = -31*q for q.
-2
Let d = -343 + 358. Let r(z) = 6*z**2 + z - 2. Let j be r(-2). Let c = j - d. Solve -c*y + 4 = -4*y for y.
4
Let w(n) = 17*n - 48. Let y be w(3). Solve -y*i - 13 + 7 = 0 for i.
-2
Let p = 11 - 11. Let t = 4 + -8. Let l be (-2)/4 + (-22)/t. Solve p = h - 2 + l for h.
-3
Suppose -5 = -3*i - 3*f + 4, 5*i + f = 19. Suppose 5 = 4*y - w - 8, -4*y - i*w = -8. Suppose 4*t - y*g - 4 = -0, -3*g + 16 = t. Solve -u = u + t for u.
-2
Let n(f) = -5*f + 9. Let q(k) = k + 10. Let u be q(-6). Let o be n(u). Let d(w) = -w - 4. Let y be d(o). Solve 2*s - y = 3 for s.
5
Let q = -5 - -8. Suppose -5*x + 4*c - 5*c = -9, -3*x = -q*c + 9. Solve -f = -0*f + x for f.
-1
Suppose -4*d + i + 18 = 0, -4 = 6*i - 4*i. Solve o = 1 + d for o.
5
Suppose 5*i + 120 = 15*i. Solve 0 = -7*q - 2 - i for q.
-2
Suppose 3*o - 3*u - 732 = 0, 251*o = 250*o + 2*u + 244. Solve -235 + o = 3*v for v.
3
Let p(x) = x**2 - 3*x + 3. Let m be p(2). Let q be 4 + 12/(-6) + m. Solve -n = q*n - 4 for n.
1
Let f = 14 - -10. Let q = 13 - f. Let p be q/(-4) + 4/16. Solve -u - p = -0 for u.
-3
Let d be 1*(-21)/14*-10. Solve d = -14*v + 17*v for v.
5
Let v(i) = i**3 - 2*i**2 + 1. Let k be 12/(-9) + 4/(-6). Let d = -1 - k. Let u be v(d). Solve 6*s - 2*s + 12 = u for s.
-3
Suppose 8 = 3*q - 5*v - 10, 0 = -5*q - 4*v - 7. Let x be (18/(-45))/(q/(-20)*2). Solve x = -5*z + z for z.
-1
Suppose -15 = g - 6*g. Let c = g + -3. Suppose 23*r = -14*r + 148. Solve 0*m - m - r = c for m.
-4
Suppose -796*j + 50 = -791*j. Solve 0 = 3*y + 7 - j for y.
1
Let f(k) = -4*k - 15. Let q be f(-13). Suppose -y + 6 = b - 5, 2*b = -5*y + q. Solve b*p = p for p.
0
Let i(p) be the third derivative of -p**6/120 - 2*p**5/15 + p**4/3 - 2*p**3/3 - 3*p**2. Let m be i(-9). Solve -d + 4 = m for d.
-1
Suppose 56 = 3*b + b + 4*d, -44 = -4*b - d. Suppose 52 = b*n + 2. Solve -20 = -x + n*x for x.
-5
Let a = -1896 - -1930. Solve -6 - a = -10*k for k.
4
Let p = -353 + 353. Suppose 20 = 3*g + q, 2*q + 4 - 39 = -5*g. Solve g = -t - p for t.
-5
Let y be 4/(-18) - 440/(-36). Suppose k + 2*g - 4 = -3*g, y = 3*k + 4*g. Let a be -4 + 4/k + 3. Solve a = -z - 2*z + 12 for z.
4
Suppose 84 = 3*x + 6. Suppose 5*c = 2*n + 9, 5*c = -4*n + 8*n + 3. Suppose -n*v = -5*v + x. Solve 0 = 3*g - v - 2 for g.
5
Let b = -976 - -1040. Solve -54 = -5*t - b for t.
-2
Let u be -16 + 9 + (-2 - -11). Solve 28 = 9*r - u*r for r.
4
Suppose 3*l - 24 + 48 = 0. Let b = l + 9. Solve 5*n = -b + 11 for n.
2
Let x be (16 - (-240)/(-15))/(4/2 + -3). Let n = -3 - -1. Let q = n - -5. Solve -6 = q*c - x for c.
-2
Suppose -c + 10 = 5*i, 4*i + i = -5*c + 30. Solve -