5 for a.
-3
Let x(v) = 4*v - 49. Let g be x(13). Solve -g = 6*o - 3*o for o.
-1
Let a = 173 - 167. Solve a*r - 3*r = 0 for r.
0
Let d = -41 - -41. Suppose d = 3*m - n + 3, m - 2*n + 6 = 4*m. Solve m + 3 = 3*y for y.
1
Let k(p) = 3*p - 15. Let j(x) = -x + 3. Let d(s) = 4*j(s) + k(s). Suppose -23 = r - 4*y, -2 = -r - 2*y - 1. Let n be d(r). Solve -2*z = -0*z + n for z.
-2
Let u = -31 + 31. Solve u = -14*i + 20*i - 6 for i.
1
Let u = -12 + -14. Let f = -22 - u. Solve 2*t - 4 = f for t.
4
Let k = 0 + 6. Let u = 1241 + -1237. Solve u*n - 6 = k for n.
3
Suppose 469 - 523 = -2*r. Solve r = 5*o + 7 for o.
4
Let i(c) = 3*c - 21. Let o be i(12). Let m = o - 8. Let t be (-5)/(-2)*(-1 + 3). Solve t*l - m = -2 for l.
1
Let g(h) = h**3 + 6*h**2 - 5*h - 6. Let z be g(-5). Let a = -42 + z. Solve -4*t = -a*t for t.
0
Suppose -105*w = -24*w + 11*w. Let b(x) = x**2 + x - 4. Let k be b(-3). Suppose 3*c - k*c = 8. Solve -c*r + 3*r + 15 = w for r.
3
Let g be -2 + 32/18 + 319/99. Let a(u) = -u**3 - 2*u**2 + u - 2. Let h be a(-3). Solve -h*s = -g*s for s.
0
Let s = -21967 + 21970. Suppose -5*x + 12 = -2*x. Solve -5 - x = -s*j for j.
3
Let h = 1117 + -1104. Solve h*s = 10*s - 3 for s.
-1
Let h(x) be the third derivative of x**5/30 - 11*x**4/12 + 5*x**3/6 - 2*x**2. Let p be h(11). Solve 0 = -2*q + p*q for q.
0
Suppose 5*a + 9 - 2 = h, -h + 4*a = -6. Let n be (8/(-2) - -13) + (h - 5). Solve -n = 4*w - 2 for w.
-1
Suppose 54 = 4*w + 5*w. Suppose k = 1 + w. Solve -k*n = -3*n + 4 for n.
-1
Let o(s) be the third derivative of s**4/24 + 7*s**2. Let k be o(0). Solve k = 3*a - 2*a + 3 for a.
-3
Let n(i) = -i**2 - 9*i - 6. Let l = -8 - 20. Let v = 20 + l. Let p be n(v). Solve -3*f = p*f for f.
0
Suppose 6*r - 4*k + 65 = 7*r, -2*k + 2 = 0. Solve -58*q = -r*q + 15 for q.
5
Let h = -22 + 22. Suppose -5*z + 14 = 2*p - p, 5*p + 5 = h. Let q be (-1)/(-9)*6*z. Solve q + 3 = -5*y for y.
-1
Let p(r) = 3*r + 9. Suppose 33*w = 30*w - 9. Let q be p(w). Solve -5*j - 15 = -q for j.
-3
Let j be 4/3*(-3)/(-2). Suppose -4*t = 4, 0 = -j*n - n + 4*t + 16. Suppose -4*x = -n*c - 0 - 48, 48 = 5*x - 2*c. Solve -4*d - x = 12 for d.
-5
Suppose -2*y - 6 = 0, 5*v + 4*y = 3*v - 8. Let m be 14 - 9 - (1 - -2). Solve v*d + 0*d + m = 0 for d.
-1
Let y = 204 + -199. Solve y*z - 12 = z for z.
3
Let n = 5 - 7. Let l = 1 - n. Let f(a) = -2*a**2 - 22*a + 30. Let j be f(-12). Solve l*w + j = -9 for w.
-5
Let t be (18 + -2 + 0)/2. Suppose 4*j - 24 = -n, t*j - 37 = 3*j - 3*n. Solve j*f = f - 12 for f.
-3
Suppose 0 = 2*m - 1 + 3, z = 5*m + 12. Suppose 0 = 3*c - 2*o + 1, -12*c + 5*c = o - 26. Solve c - z = 4*p for p.
-1
Suppose 338 = 4*v + 98. Let u = -56 + v. Solve -n = -u + 3 for n.
1
Let g = -32 + 17. Let j be (g + 33)*(-1)/2. Let b be (-24)/j + (-4)/(-3). Solve p - b*p + 6 = 0 for p.
2
Let g(k) be the third derivative of k**5/60 + k**4/6 + 2*k**3/3 - 5*k**2. Let b be g(-4). Suppose -3*v + 2*c + b = -2, -2*v + c = -4. Solve -v = -0*n + n for n.
-2
Suppose 2*x = 0, 0 = -t - 4*x + 12 + 8. Solve t*d + 14 + 26 = 0 for d.
-2
Let s(a) be the third derivative of 7/24*a**4 - a**3 + 0 + 1/12*a**5 - 1/120*a**6 + 0*a - 2*a**2. Let i be s(6). Solve -m + 4 + 0 = i for m.
4
Suppose -9*q - 1787 = -2174. Solve 6*x + q = 25 for x.
-3
Let m = -1599 - -1600. Solve -m = -p - 0 for p.
1
Suppose 2*o - 4 = 50. Suppose 0 = x - 4*m, -4*x = -5*x - 5*m + o. Solve -3*u - x = -6*u for u.
4
Let v(z) be the first derivative of z**2 - 6*z - 3. Let y be v(6). Let b be (y/(-9))/((-12)/54). Solve -5*t + 2 = -b for t.
1
Let g(t) = -t**2 - 17*t - 15. Let a be g(-15). Let f be (-10)/a*(20 - 2). Let k be (-11)/(-66) - 10/f. Solve -k = 2*u + 3 for u.
-2
Let s = -14 - -18. Suppose -2*b - 4*w - 6 = 0, -2*b - 2*b = s*w. Solve 0 + b = g for g.
3
Suppose 6*i - 10*i + 140 = 0. Solve -7*j - i = -0*j for j.
-5
Suppose 6 - 4 = -2*s. Let v(a) = 31*a + 1. Let f be v(s). Let m be ((-2)/6)/(5/f). Solve i + m = -0 for i.
-2
Suppose -3*s + 6*s + 3*g = -159, -20 = 5*g. Let q = -39 - s. Solve 7*b - 5*b = -q for b.
-5
Let i = -13 - -22. Solve -50*b = -47*b + i for b.
-3
Suppose 0 = -3*l - l - 8, 5*p - 3*l = 6. Suppose 0 = 3*j - b + 39, p*j - j - 18 = -2*b. Let f be (-3)/(-9) + (-56)/j. Solve -f = -5*x - 0 for x.
1
Suppose 16 = -3*o + 4*o + 2*p, 0 = -o + 2*p + 12. Solve 43 = -o*i + 15 for i.
-2
Let k(u) = 4*u**2 + u - 2. Let s(l) = -l - 11. Let b be s(-9). Let v be k(b). Suppose -n - v = -0*r - 3*r, -3*r + 5*n = 0. Solve r*p = p for p.
0
Let k(i) = 17*i - 339. Let v be k(20). Solve 6*b - v = 5 for b.
1
Let o(y) = -y**3 - 3 + 0*y**3 + 9 + 7*y**2. Let i = -23 + 30. Let l be o(i). Solve l*n - 3*n = 3 for n.
1
Let c = 8 + -6. Let p be 2*-4*c/(-4). Let a(b) = b**2 - 4*b. Let w be a(p). Solve 0 = -f - w - 4 for f.
-4
Suppose -3 = -2*h + z, 3*z - 11 = -4*h + 20. Solve -h*a + 2*a = 0 for a.
0
Let z(v) = -2*v - 66. Let k be z(-33). Suppose c + 5 = 3*q + 13, -4*c = 4*q - 16. Suppose -c*p = -p. Solve p*t - 3*t + 6 = k for t.
2
Let u = 3 - 3. Suppose u = -9*j + 7*j + 16. Suppose 2*t - 4 = 3*g + g, 4*t = 4*g + j. Solve -5*m + t*m = 3 for m.
-1
Let d(p) = -2*p + 1. Let f be d(-2). Solve 3 = -f*w - 2 for w.
-1
Let v be (-4)/26 + 480/78. Solve -v*o + 0*o = -12 for o.
2
Suppose -157*t + 155*t + 2 = 0. Solve -t - 3 = z for z.
-4
Let p = -30 - -32. Suppose 0 = 2*b + x - 4, -p*b = 2*x - 4 - 0. Solve n = -n - b for n.
-1
Let o be 24 - (2 + (-6)/2). Let d = o - 25. Suppose d*j + 5*j - 35 = 0. Solve j = -l + 3 for l.
-4
Let u(d) = -d**3 - 9*d**2 - d - 1. Let z be u(-9). Let p = z - 4. Suppose -p*g - g = 0. Solve 4*o + 4 - 8 = g for o.
1
Let c(q) = q - 2. Let v be c(6). Let t(y) = y**3 + 7*y**2 + 6*y + 2. Let b be t(-4). Let p = b - 23. Solve -w + p*w + v = 0 for w.
-2
Let j(m) = -m + 14. Let l be j(19). Let u be (-2)/(-9) - l/(-45)*-43. Let d be -1 + 4 + (2 - 2). Solve -d - u = 2*n for n.
-4
Let j(t) = -3*t**3 + t**2 - t + 1. Let p be j(1). Let d be p/((-2 - -4)/(-4)). Suppose d*c - u = -4*u + 22, 2*u = -4. Solve c*z - 2*z = 15 for z.
3
Suppose 0*j + 5*j = 4*j. Solve j = -3*n + 3 + 12 for n.
5
Let w = 5 + 0. Suppose -2*d + 0*d + 4*z = -28, w*d + 5*z + 5 = 0. Suppose -8*f + 9 = -7. Solve 0 = b + f - d for b.
2
Let m = -16 + 16. Suppose 0 = 2*z - h - 2, 0 = 2*z - 3*h - 0 + 6. Suppose -z + m = -b. Solve w = -0 - b for w.
-3
Let o be 5/((-270)/(-1176)) + 2/9. Suppose 4*q - o = -5*k, 2*q + 6 = 5*k + 2. Solve q = 4*z + 15 for z.
-3
Let k = -299 - -301. Solve o - k*o - 3 = 0 for o.
-3
Let n = -84 + 20. Let f = -64 - n. Solve 2 = -f*u - u for u.
-2
Let x = -129 + 75. Let f be (-28)/(-35) - x/(-5). Let k = 14 + f. Solve 0 = 3*h + h + k for h.
-1
Suppose 0 = 7*o - 22 - 6. Suppose -5*s - 4*g + o = 0, -2*g = -3 + 1. Solve m + 1 - 2 = s for m.
1
Let w be (-40)/(-15) + 4/(-6). Suppose j - w = -1. Solve g = j - 6 for g.
-5
Suppose 4*c + 6 = 18. Suppose -5*a = -4*a. Let x be -9*1*((-1235)/39)/19. Solve -c*n - x = -a*n for n.
-5
Let i(y) = y + 7. Let t be i(-7). Suppose t*l - 21 = -l. Suppose -2*q - u + l = -2*u, -25 = 5*u. Solve -4*c + q*c - 20 = 0 for c.
5
Let i = 715 + -701. Solve -5*o = i - 9 for o.
-1
Let f(k) = 9*k**2. Let u be f(1). Let o(h) = 132*h + 398. Let s be o(-3). Solve u = s*l + l for l.
3
Let v be ((-4)/3)/(2/(-6)). Suppose -3*m = m - v. Let l = 1 + m. Solve -n - 3 = l*n for n.
-1
Suppose 0 = 13*m - 39 + 13. Solve -6*g = -8*g - m for g.
-1
Let j(q) = 8*q - 622. Let m be j(78). Solve 5*k = -m*k for k.
0
Let y = 18 + -16. Suppose -g + 75 = 2*t, 5*t - 80 = y*t + 5*g. Let k be (-5 - 0)*(-42)/t. Solve 3*x - k = 5*x for x.
-3
Suppose 5*f + 18 = 3*f. Let r be -4 + -10 + 0 + 3. Let n = f - r. Solve n*c + 8 = 2 for c.
-3
Suppose 0 = 4*p - 16 + 4. Suppose -p*z + 10 = 4. Suppose 3*w - 14 = -2. Solve -w*r - z + 6 = 0 for r.
1
Let i(h) = h**2 + 8*h - 25. Let y be i(-10). Let m be 3/y + 189/15. Solve 6*j = 3*j + m for j.
4
Suppose 10*f = 8*f + 8. Solve -d = -2 + f for d.
-2
Suppose 4*g = 3*i + 199 + 29, 0 = -4*g - 2*i + 228. Suppose 5*v + g = 187. Let n = 28 - v. Solve -n = -3*q + q for q.
1
Let w = 2 - -2. Suppose u = -2*n + 4, -u + 10 = 4*n - 0*u. Let s be n/(-2) + ((-10)/(-4) - 1). Solve s*k + w = 4*k for k.
1
Suppose 2*n + 61 = 67. Solve -n*z = 10 + 5 for z.
-5
Let v = 35 + -33. Suppose 7*q = 5 + 9. Solve -g - v = q for g.
-4
Suppose -41*p + 219 + 150 = 0. Let j be (-2)/(-2) + -4 + 3. Solve j = 2*q + 