for a.
2
Suppose 4*h - 53 = -5*q - 12, -5*h + q + 15 = 0. Suppose 2*u + 2*g = h*u + 2, 1 = u + g. Solve -n + 3 - 4 = u for n.
-1
Suppose 4*f - 25 = 5*v, -5*v + 1 = f + 26. Solve -m + 4 - 1 = f for m.
3
Suppose -3*z - 22 = -w - 69, -z + 17 = w. Solve -z = -0*h - 4*h for h.
4
Let v(y) = 4*y - 12. Let c be v(4). Solve -m = m - c for m.
2
Let x = -7 - -10. Solve -r - 4 = -x*r for r.
2
Let p(x) = 2 - 7 + 5*x + 4. Let r be p(1). Solve -2 = -r*s + 2 for s.
1
Let g(n) = n**2 - 5*n - 1. Let c(z) = z + 1. Let j be c(5). Let p be g(j). Let l = -4 + p. Solve 1 + l = x for x.
2
Let d(a) = -6*a + 40. Let u be d(6). Solve u*w = -w - 5 for w.
-1
Suppose -3*c = 2*c. Solve 3 + c = i for i.
3
Let h = 8 + -5. Let m(u) = 2*u + 2 - 4 - u - h*u. Let d be m(-3). Solve -d*o + 1 = 9 for o.
-2
Let d be ((-9)/(-4))/(3/8). Solve 4*r = d*r for r.
0
Let t(h) = -h**3 - 4*h**2 - 4*h - 3. Let j be ((-9)/6)/((-1)/(-2)). Let s be t(j). Suppose s = 2*f + 2*f - 4. Solve -d - 5 = -f for d.
-4
Let p(w) = -3*w + w + 3*w. Let z be p(2). Suppose -i = z*i - 15. Solve -i*d = -6 - 19 for d.
5
Suppose 3*t - 3 = -h, -t - 4*t - h = -7. Solve 4*m + 8 = t*m for m.
-4
Suppose -2*p + 2*f + 4 = 0, p - 6 = f - 4*f. Suppose 0*s + 45 = p*s. Let d be ((-6)/s)/(3/(-15)). Solve 4 = t - d*t for t.
-4
Let h(c) = -c**3 + 9*c**2 - 9*c + 12. Let n be h(8). Let g(j) = -j - 8. Let s be g(-5). Let p be (2/4)/(s/(-12)). Solve -n*d - p = -2*d for d.
-1
Let f be (-9)/(-6)*(-4)/(-3). Solve f*p = -2*p for p.
0
Suppose -4*g - 4*v = -24, 3*v + 38 = 5*g + 4*v. Suppose 9*j - g*j - 5 = 0. Solve -j = -z + 6*z for z.
-1
Let k(i) = i - 12. Let a(y) = y - 12. Let z(m) = -5*a(m) + 4*k(m). Let x be z(0). Let j(u) = 6*u**3 + u. Let g be j(1). Solve -3*s + g*s = x for s.
3
Let y be 3 + (4 - 3 - 1). Let v = 3 - y. Solve -2*k - 2*k + 12 = v for k.
3
Suppose -68 = -50*b + 46*b. Solve -b*j = -16*j + 2 for j.
-2
Suppose -w = 5*l - 1, 3*l = w - 4 + 3. Suppose -5*o + 2 = 2*x, -2*o - 2*x = -0*o + 4. Solve o*h + 4 = -l for h.
-2
Suppose 3*f - 1 - 5 = 0. Suppose 4*k + s = -4*s - 5, 3*s - 10 = -5*k. Let y = 3 + -3. Solve -k*w + f*w = y for w.
0
Let x = -14 + 8. Let i be ((-2)/(-3))/((-2)/x). Solve -i*d + 3 + 3 = 0 for d.
3
Let u be 6 + -1 + -2 + 1. Let w(q) = q - 5. Let n be w(5). Suppose 3 = 2*c - b, -3*b - b = 5*c - 14. Solve n*v = -c*v + u for v.
2
Let n(u) = -5*u + 55. Let p be n(11). Solve 0 = -4*c - p + 4 for c.
1
Let k be 0 + 2 + 0 + 2. Let p be 4/4 - -4*1. Suppose 2*r = 2*f, -2*f = p*r + 2*f - 18. Solve -2*i = -k*i - r for i.
-1
Suppose -5*q = 15 - 5. Let i be q + 3/(-3) + 5. Suppose -a + 5*p = -28, -i*a = p + p + 4. Solve -23 = 4*n - a for n.
-5
Let b(r) = -r - 12. Let k(d) = d + 25. Let w(j) = 7*b(j) + 3*k(j). Let m be w(-4). Solve -25 = -m*o + 2*o for o.
5
Suppose 5*g - 8 = g. Let f be (22 - 2)/g - 0. Solve 5*a - f = 10 for a.
4
Let c(o) = -o**2 + o. Let s be c(3). Let z = 9 + s. Suppose z = 2*a - 3. Solve -4 - 2 = -a*g for g.
2
Let q(x) be the third derivative of -x**5/60 - 7*x**4/24 + 3*x**3/2 - 4*x**2. Let m be q(-8). Solve -s + 4 = m for s.
3
Suppose 2 = 5*c + 3*r + 4, 3*r = 3*c - 18. Let i be 7 + -3 + (-2)/c. Suppose -2*w + 36 = 6. Solve 0*p - i*p = -w for p.
5
Suppose 3*n = -0*n + 33. Let r = -8 + n. Suppose -3*f + 33 = r*p, -4*f - 2*p + 68 = -4*p. Solve -4*s + f = s for s.
3
Suppose 3*t - 29 = -5*n, -4*n = -5*t - 0 - 1. Suppose n = o + 2. Solve -5 + 1 = o*r for r.
-2
Let r be (-30)/(-8) + 2/8. Suppose 0 = -r*s + 1 - 13. Let p = s - -3. Solve p = 5*v - 0*v - 10 for v.
2
Let u(p) = p - 5*p + 2*p - 2. Let s be u(-3). Suppose 4*t = -s*a + 44, 2*t = 10 - 2. Solve 0 = -3*v - 8 - a for v.
-5
Suppose -3*n - 20 = -5*m, -n = 4*m - 5 - 11. Let h be -3 + (-3 - (3 - 13)). Suppose 5*y + 5 = 0, -4*k + 0*y = -h*y - 16. Solve n = -k*d + 7*d for d.
0
Let o(u) = u**3 - 2*u**2 + 5*u - 4. Let b be o(3). Suppose 27 - 37 = -2*m. Solve -m*g + 0*g = -b for g.
4
Let r = -16 - -23. Let p = 24 - 14. Solve p = r*i - 2*i for i.
2
Suppose 0*i = -3*i + 15. Let w be 172/i - 2/5. Suppose -5*b = -o - w, 0*b + 3*o + 6 = -b. Solve -2*k + 0*k = b for k.
-3
Let d = -24 + 29. Solve 0 = n - 0*n - d for n.
5
Let t(i) = -i**3 + 6*i**2 + 2. Let v be t(6). Let l be -2 + 0/(-2) + v. Let h(m) = 8*m**2 - m - 1. Let w be h(-1). Solve -4*b + 2*b + w = l for b.
4
Let k = 1 + 3. Let a(h) = h**2 - 3*h. Let d be a(4). Solve k*f = d - 0 for f.
1
Let d be (-4 - 7/(-2))/(2/(-12)). Solve 2*w - d = -13 for w.
-5
Let j(y) = -y**3 + 2. Suppose -2*f = -6*f. Let n be j(f). Suppose 5*v - 7 = 3. Solve -3*q = -v*q + n for q.
-2
Let s(f) = -f**3 + f**2 + f + 40. Let m be s(0). Let h be 16/m + (-3)/(-5). Solve -h = 4*v + 3 for v.
-1
Suppose -4*a = 3 + 1. Let v be ((-1)/a + -2)/(-1). Solve 0 = -k + 6 - v for k.
5
Let o be 2 + 2*-1 - -1. Suppose 5*y - 25 - 10 = 0. Solve 4*m + o + y = 0 for m.
-2
Suppose 0 = -5*n + 25 - 0. Suppose y + 4*y - 20 = 0, -l - 20 = -n*y. Let i be 15 - (-1*2 - l). Solve -5*j - i = 3 for j.
-4
Let q be (-1630)/(-110) + 2/11. Solve -9*s + 6*s = -q for s.
5
Let b(o) = -o**3 + 11*o**2 + 12*o + 9. Let l be b(12). Solve 5*f = -1 - l for f.
-2
Suppose 5*a + 3 + 7 = 0. Let x be 2 - (a + (-3)/(-1)). Let w(z) = -z + 5. Let q be w(3). Solve i = q*i - x for i.
1
Suppose 3*a = 4*a + 8. Let i be (-5)/2*a/2. Let k(o) = o**2 - 45*o - 90. Let n be k(47). Solve -3*c + n = i for c.
-2
Let w(c) = c**2 + 1. Let m(l) = -2*l**2 - 3*l - 7. Let r(i) = -m(i) - 3*w(i). Let d be r(4). Suppose 0 = u - d - 2. Solve f = -u - 1 for f.
-3
Suppose -2*j = -34 - 6. Let d = j + -17. Solve d*x = -2 - 4 for x.
-2
Let n = -46 + 68. Suppose 0 = x + 4*f + 8, -4*f + n = 4*x + 6. Let p(m) = -m**3 - 7*m**2 - 7*m - 6. Let b be p(-6). Solve 0 = -2*y - b*y - x for y.
-4
Suppose -2*j + 5*k = 17, -3*j = 5*k - 6*k - 7. Suppose 0 = j*c - 2*c. Solve c = -5*f - 2 + 12 for f.
2
Let m(k) = -3*k**2 + k + 5. Let u(n) = 4*n**2 - 2*n - 7. Let r(o) = -7*m(o) - 5*u(o). Let g be r(-3). Solve g = -2*t - 2*t - 8 for t.
-2
Let z = 5 + -3. Suppose z*p + 15 = 5*h - 0, 0 = p. Solve -h*w = -11 - 1 for w.
4
Let g be (-38)/171 - 56/(-9). Solve -3*k + 6 = -g for k.
4
Let g(y) = -3*y + 42. Let k be g(13). Solve -k*b = -0 - 6 for b.
2
Let x be 16*1*2/4. Let n = x + -6. Solve d + n = 3*d for d.
1
Suppose -3*a - 5*t - 14 + 2 = 0, a + 4*t = -11. Let s(w) = -3*w + 3. Let n be s(4). Let c = -2 - n. Solve -a = 2*y - c for y.
3
Let j(f) = 3*f**2 - 4*f + 4. Let u(g) = 8*g**2 - 11*g + 11. Let h(y) = 11*j(y) - 4*u(y). Let n be h(-2). Solve -q - n = 3*q for q.
-1
Suppose -20*b + 22*b = 4. Solve -4*r - b = 2 for r.
-1
Suppose 0 = q - 5, -n - 2*q = 4*n - 25. Let r(t) = 2*t**3 + 2*t**2 - 1. Let w be r(1). Let x = w + 1. Solve -z - n*z = x for z.
-1
Suppose -4*q + 4*t - 20 = 0, 2*q - t + 2 = -11. Let z(d) = 2*d + 8. Let j be z(q). Let o be -4 - -1 - (2 + j). Solve -o*a = -0*a + 9 for a.
-3
Let h be 3 + (6 + -3 - 2). Suppose h*u + 2 = -k + 11, -3 = -3*u + 3*k. Solve -u*b = 2*b - 12 for b.
3
Suppose -5*m = -5*c, 4*m - 3*m = 4*c - 15. Solve m = -3*t + 2*t for t.
-5
Let g be -1 - ((-1)/1 - -2). Let l = -11 - g. Let o be 2 - (-3)/(l/6). Solve o = -2*n + 3 + 1 for n.
2
Let m = -21 + 23. Solve 4*z = m - 10 for z.
-2
Suppose -j = 9 + 2. Let g = -8 - j. Solve 0 = -g*z - 3 + 15 for z.
4
Suppose -4*r - 4 = -16. Suppose 5*x = r*x. Solve x = -s - 1 - 2 for s.
-3
Let a(q) = q**3 - 4*q**2 - 6*q + 7. Let n be a(5). Let p be n*((-21)/(-3) + 0). Let g = p + -10. Solve l - g*l + 3 = 0 for l.
1
Let k(f) = f**3 - 6*f**2 + 8*f - 8. Let w be k(5). Solve w + 13 = 5*v for v.
4
Let u(g) = g**3 + 11*g**2 - 2*g - 19. Let j be u(-11). Solve -13 - 2 = -j*x for x.
5
Let m be (7 - 2)*(-4)/(-10). Let g(x) = 2*x + 4. Let i be 8/12*(-9)/(-2). Let f be g(i). Solve -f = -m*w - 0 for w.
5
Let o be (0 - 1) + 6 - -2. Let m(g) be the first derivative of g**2/2 - 7*g - 1. Let f be m(o). Solve f = 3*c - 2*c for c.
0
Suppose -5*y - 57 = 4*q, -3*q + 3*y = 12 - 3. Let i be (-54)/q + 1/4. Suppose -i*c = -8*c. Solve 0 = -u - c*u for u.
0
Let j be (-1)/(1/(-38)) - 2. Suppose 0*w + 3*w = j. Solve -5*q + w = 2 for q.
2
Let f be (10/(-4))/(2/4). Let d be 1/2 + f/(-10). Solve 0 = -k + d - 3 for k.
-2
Suppose 22 - 110 = -2*o. Suppose 5*s = 20, 3*m + s - o = 2. Let i = -5 + 8. Solve i*z + m = 2 for z.
-4
Let b(s) = -s**3 + 10*s**2 - 9*s + 5. Let u be b(9). Solve 0*l + 25 = u*l for l.
5
Suppose -3*g + 5