v - 8 = 0 for v.
2
Let k be (-3)/117*6 - 15/(-13). Solve 0 = -9*q - 46 + k for q.
-5
Let j = 977 + -969. Solve 108 - 68 = -j*y for y.
-5
Let r = 17 - 15. Suppose -r*m - 3*j + 1 = -0*j, -3*m - j = -19. Solve m = q + q for q.
4
Let w be (-14)/(-4) - (-6)/(-12). Let g = 13 + -4. Let t = 14 - 8. Solve t = w*m - g for m.
5
Let h(z) = -z**3 + 7*z**2 - 6*z + 15. Let j be h(6). Solve 2*n + j = 13 for n.
-1
Let h(p) = -14*p + 107. Let v be h(7). Let d be ((-14)/(-2) + -2)*1. Let k = -4 + d. Solve k = -2*g - v for g.
-5
Let w(l) = -5*l - 3. Let u be w(-3). Suppose -6 = f, 4*h + 47*f = 50*f + 26. Solve h*i + u = -i for i.
-4
Let d = -86 + 95. Let u(i) = 2*i - 13. Let t be u(d). Solve 1 - t = -2*x for x.
2
Let r be -2*3/21 + 182/(-49). Let g be (-1)/(-3*r/(-12)). Solve 4 = 5*n - g for n.
1
Let w = 999 + -968. Solve 41 - w = 2*l for l.
5
Suppose 110 = 4*c + 2*r, -3*c + 48 = -2*r - 38. Solve 8*k - 12 = -c for k.
-2
Suppose -4*u + 6*a - 3*a = 2, 0 = 3*u + a - 5. Suppose 3*i - 19 = -u. Suppose -i*t + 3*t + 12 = 0. Solve 4 = 2*m - t for m.
4
Let f(r) = r**2 - 3*r - 1. Let u be f(2). Let d = 8 + u. Solve 3*t + 2 = d for t.
1
Let g = -2 + 40. Suppose -5*a + 97 = -g. Suppose -a = -6*r + 3*r. Solve -4*z - r = 3 for z.
-3
Let a(w) = 15*w + 11. Let h be a(5). Let o = h - 86. Solve o = -5*y - 2 + 22 for y.
4
Let i be ((-1)/(-3))/(1/6). Solve -5*n = -i*n + 3 for n.
-1
Let h be (-4)/(-28) - (-2)/(-14). Let i = h - -2. Solve i*l + 4 = -0 for l.
-2
Suppose -5*l + 4*w - 4 = 0, 5*l = -3*w - 9 + 12. Solve l = q - 1 for q.
1
Let f(i) = 16*i - 1. Suppose 4*l = 3*o - o + 18, -2*o + l = 3. Let w be f(o). Suppose 0 = m + v, 3*m = -0*m + 3*v + 12. Solve -y = m*y - w for y.
5
Suppose -3 = -2*c + 9. Suppose -3*d + 0 + c = 0. Let s = 4 - d. Solve -x - s*x = -12 for x.
4
Let j(q) = -4*q + 1. Let x be j(1). Let v be 1/x*(-15 + -3). Let p = 8 - v. Solve -6 = -p*n - 2 for n.
2
Let f(g) = 8*g + 140. Let y be f(-17). Solve 0 = y*h + 1 - 17 for h.
4
Let h(o) = 31 + 46*o**2 + o + 10*o - 47*o**2. Let z be h(13). Solve z = -m - 0*m for m.
-5
Suppose -184*a + 608 = -165*a. Solve a = -6*u + 56 for u.
4
Let f = 2 + -1. Let t = 2312 - 2308. Solve t*l - 5 = -f for l.
1
Suppose 224 = -8*l - 6*l. Let f be ((-7)/((-14)/l))/((-4)/2). Suppose 36 = 2*a + a. Solve -f*u - a = -u for u.
-4
Suppose 18 = -9*i + 15*i. Solve i*b = -3*b - 12 for b.
-2
Let l(m) = 3*m - 2. Let c be l(2). Suppose 0 = -2*g - c*h, 4*g = 2*g - 5*h + 2. Let t be ((-12)/15)/(g/30). Solve n + n = t for n.
3
Let w(a) = a + 1. Let v(l) be the first derivative of -5*l**2/2 + 9*l - 7. Let m(x) = -v(x) - 2*w(x). Let j be m(6). Solve -j + 4 = i for i.
-3
Suppose -11 - 1 = -4*k. Suppose -7*w + 8 = -k*w. Let y = -1 + 3. Solve -w + 0 = -y*l for l.
1
Let v(a) = a - 7. Let x be v(11). Suppose 3*t - 63 = k, 0*k - 3*k = -x*t + 89. Solve t = -q - 4*q for q.
-4
Suppose 0 = 3*v + 12, -2*t - 3*v + 20 = -5*v. Solve -t*q - 7*q - 26 = 0 for q.
-2
Suppose 3*d - 2 = d, 5*s - 19 = d. Suppose -13 + s = -3*z. Solve -w + z = -1 for w.
4
Let q = 834 + -834. Solve q = 7*g + g + 32 for g.
-4
Let m be (-12)/(-5)*20/(-6). Let v = m - -14. Let d be v/(-27) - 58/(-18). Solve d*u + 8 = 5*u for u.
4
Let q = -95 - -31. Let v = q + 64. Suppose -r = -3*r + 40. Solve t - 6*t + r = v for t.
4
Let u = 48 + -47. Let g be (0*1/5)/u. Solve -5*p + 10 + g = 0 for p.
2
Suppose 5 = 5*y + 5*n, -5*n - 23 = -3*y - 3*n. Suppose -y*x = -0*x - 15. Solve -d + 20 = x*d for d.
5
Let u = 20 + 3. Let x = u - 23. Solve x*w - 12 = 4*w for w.
-3
Suppose c + 20 = 3*c. Suppose 0*a + 3*a - 37 = -5*z, c = 2*z. Let u = a - 4. Solve t + 1 - 5 = u for t.
4
Let r(a) = 8*a - 32*a**2 + 14*a**2 + 17*a**2. Let g be r(7). Suppose -3*m = -g*w + 4*w + 6, -m = -2. Solve 2*u = 6*u - w for u.
1
Let f(r) = r**3 - 28*r**2 + 49*r + 78. Let z be f(26). Solve z = 13*c - 9*c for c.
0
Let p = 147 - 86. Suppose -16 = -p*v + 59*v. Solve v = 5*m - m for m.
2
Let z = 38 - 18. Let f be z/(-18)*3*-3. Solve q - 3*q = -f for q.
5
Suppose -22*j - 20 = -174. Solve -j = -6*u + 5 for u.
2
Suppose -3*a + 34 = -4*q, 9 - 5 = -2*a - 4*q. Solve 4*y = y - a for y.
-2
Let x be 22 + 5/(15/24). Solve 12*s + 3*s = -x for s.
-2
Let q(n) = -20*n - 60. Let b be q(-3). Solve b = 6*f - f - 25 for f.
5
Let p(a) = -8*a - 36. Let x be p(-5). Solve -3 = -x*o + 1 for o.
1
Let b be 3 + 2*(-2)/4. Suppose 3*g + 60 = 5*o, -33 = -0*o - b*o + 3*g. Solve -o = -2*w - w for w.
3
Let w be 3 + -1 + 0 + 4. Let x be 1 - ((-12)/(-4) - w). Suppose x*l = 7*l. Solve l*h - 5*h = -5 for h.
1
Let w = -445 + 459. Solve -w*n + 15*n + 3 = 0 for n.
-3
Let t be 4*(-4 + (-93)/12). Let z = -30 - t. Suppose 0 = -3*c - 5*v - z, 2*v - 3*v - 3 = c. Solve -3 - c = -q for q.
4
Suppose 0 = -0*j - j. Suppose 0 = 3*s + 6, 23 = 4*m - 3*s - 35. Suppose l + 4*g + m = j, 5*l + 10*g - 5*g = -5. Solve 2*z - l = 5*z for z.
-1
Suppose 0 = 5*j - 4 - 1. Let t = 4 - j. Suppose -8*i = -t*i. Solve 5*w - w = i for w.
0
Let k = -407 + 430. Solve -30*h + k*h = 14 for h.
-2
Let p be (-9)/12 - 0 - (-23)/4. Suppose -29 = -p*x - 24. Solve 3*n + x = 10 for n.
3
Suppose 0 = b - 2*b. Let x be ((-42)/(-15))/(2/10). Suppose s - 10 = -3*l - 3, 5*l + 4*s = x. Solve b = -2*d + l + 6 for d.
4
Suppose 5*p = -0*h - 2*h, -4*p - 4*h = 0. Suppose 0 = -4*n - 4*v - p*v - 80, v - 40 = 3*n. Let t be ((-54)/(-45))/((-1)/n). Solve 3*s - 6 = -t for s.
-4
Suppose 4*f - 17 = -a, -4*a + 18 = -4*f - 10. Solve 0 = -4*s + a - 29 for s.
-5
Let l be 2/(-6) - (-7)/3. Let b = -83 + 84. Solve b = -l*x - 1 for x.
-1
Suppose 0 = 9*s + 59 - 167. Solve 2*d = -d - s for d.
-4
Let h be (-12 + 15 - (1 - -2)) + 9. Solve 5*n + h = 34 for n.
5
Let k be 3 - (-3 + (-2 - -16)). Let o(v) = -v**2 - 4*v + 15. Let x be o(3). Let i be k/x*3 - 1. Solve -2*f = -i*f for f.
0
Let a be 4/30 - (-17572)/60. Suppose 0 = 3*z - 4*u + 152, 4*z - u + a = 86. Let d = -37 - z. Solve 0 = 5*p - 2*p + d for p.
-5
Let j = 15 + 3. Suppose -j = -5*k - 4*w + 10, 6 = 3*w. Solve 3*h - k*h - 4 = 0 for h.
-4
Suppose g = -3*p + 12, 5*p - 31 = 3*g - g. Solve -p = 9*b - 10*b for b.
5
Suppose -12 = -6*i + i - 3*a, 3*i + 4*a = 5. Solve 0 = -v - i*v + 4 for v.
1
Let s(x) = 1 - 5*x - 4 + 6*x. Let l be s(5). Suppose -8 = -l*c + 12. Solve 0 = -2*j - c for j.
-5
Let u(y) = -53*y - 199. Let b be u(-4). Solve -14*d - 43 = b for d.
-4
Let j be -8 + 12 + (0 - 3) + 104. Let s = 115 - j. Solve -7*w = -s*w - 12 for w.
-4
Let c(f) = -f**2 + 6*f. Let u be c(0). Solve u*k = -k - 2 for k.
-2
Let w(d) be the second derivative of -d**5/20 - d**4/4 - d**3/3 + d**2 - 10*d. Let z = -10 - -8. Let f be w(z). Solve 0 = -5*q + f - 17 for q.
-3
Let m(v) = -v**3 + v**2 + 3*v + 4. Suppose 4*t - 12 = 2*k, 3*k - 4*k = 2*t - 6. Let f be m(k). Solve s - 3*s - f = 0 for s.
-2
Suppose 4*u = 47 - 59. Let c be (-1)/(u + (-25)/(-10)). Let n(k) = 4*k - 6. Let i be n(4). Solve -3*g - c*g - i = 0 for g.
-2
Let y(o) = o - 2. Suppose -4*b + 3*c = -88, 0 = 4*b - c + 51 - 147. Suppose -3*d + 4*d = -5*v + 15, -5*d + b = 0. Let q be y(v). Solve 0 = -q*j - j + 1 for j.
1
Let m be -1 + 0/(-2) + 6. Let u(a) be the third derivative of -7*a**4/24 - 55*a**3/6 + 26*a**2. Let g be u(-9). Solve -x + g = -m*x for x.
-2
Let y = -165 + 249. Suppose -3*u + y = 4*u. Solve 0*x + u = -4*x for x.
-3
Suppose 2*n + 4*o = -3*n + 33, -o - 8 = -2*n. Solve -4*h + n = h for h.
1
Suppose 12*h - 6 = 9*h. Solve -o - 9 = h*o for o.
-3
Suppose -30*g + 17*g = -130. Suppose -4*p + 24 = -4*h, -p - 2*p + 13 = 2*h. Suppose 0 = -0*r - 4*r. Solve p*d = -r*d + g for d.
2
Suppose -6 = -2*y + 4*r - 18, 5 = 5*y - 3*r. Let g = 4 - 1. Suppose 3*x - 5*o = 3, -2*x - o + g = -y*o. Solve 5*n + 4 = -x for n.
-2
Let d = 190 + -175. Solve 13*m = d*m + 4 for m.
-2
Let g be 10 - ((-1)/5)/(2/(-10)). Solve 0 = -2*y + g*y for y.
0
Let j(z) = z**2 - z + 3. Let y(x) = -x**2 - 8*x - 3. Let f be y(-7). Let m be j(f). Solve -5*d + m = -0*d for d.
3
Suppose -209 - 73 = 3*h. Let u = 100 + h. Solve u = d + d for d.
3
Let a be 42/5*(-6)/72*-30. Solve 5*n + 2*n + a = 0 for n.
-3
Suppose -2*l + 3*l = 0. Suppose -5*u = -s, l*u + u = 2*s. Solve v - 2*v - 2 = u for v.
-2
Suppose -7 = -3*f - 2*r + 12, 0 = 5*f + 5*r - 35. Solve n = -0 + f for n.
5
Suppose -5*d - m + 36 = 0, -d = m - 0*m - 8. Let u(o) = o**2 - 2 + 11 + o - 2*o - 7*o. Let k be u(d). Solve 2*h = -k*h for h.
0
Let f be (9 + 567/(-36