for a.
-1
Let c = 12 + -7. Suppose 10*j = c*j + 25. Let o be (9/2)/(15/80). Solve -w = -j, 0 = 3*v - 5*w + 2*w + o for v.
-3
Let i = -14 + 18. Solve -i*r = -2*q + 20, -5*q + 14 = -2*r + 4 for r.
-5
Suppose -20 = -4*k + 2*j - 6*j, 2*k = 2*j + 6. Let q = 13 + -10. Solve -q*m + 11 = k*i, m + m = i for i.
2
Suppose -t - 3 = 4*f - 5, 5*t + f - 29 = 0. Solve -2 = 3*b + 4*s, -7*b - s + t = -3*b for b.
2
Let v = 4 + -7. Let m = 0 - v. Solve 4*j - 8 = -m*c + 3*j, -4*c = j - 9 for c.
1
Suppose -t + 29 - 1 = -5*g, 20 = 5*t - g. Solve 0 = -2*m + 4*n - 12, -5*n - 2 + 6 = t*m for m.
-2
Let u(w) = w**2 + 9*w + 11. Let b be u(-8). Suppose 8*k - b*k - 10 = 0. Let x be k/(-4) - 7/(-2). Solve -x*y = 2*v + 2*y - 23, 2*y - 10 = 0 for v.
-1
Let f = -16 - -28. Solve -5*o + o = f, -3*o = 3*g - 6 for g.
5
Suppose v + 1 = 0, 3*g - 4*v - 2 = -2*v. Let r be g/((-2 - -3)/1). Solve r*z - 2*z = 3*y, 5*y = -4*z for z.
0
Let s(d) = -d**2 - 5*d + 2. Let j be (1 - 3) + 3/(-1). Let l be s(j). Suppose 0 = -l*a + 3 + 1. Solve -4*y + 4*x - x = 11, 7 = a*y + x for y.
1
Let d be 84/18 - 6/9. Solve -2*r - 1 = -4*h + 3*h, d*r + 5 = -h for r.
-1
Suppose x = -3*s + 2, 0 = 5*s - 3*x + 11 - 33. Let r be s/4*-2*-16. Solve -3*t + 0*b - r = -2*b, -b = -3*t - 11 for t.
-2
Let a = 47 - 42. Let u(h) = -h**3 - 4*h**2 - 3*h + 2. Let n be u(-3). Let f = n - -2. Solve 0 = a*y - f*p - 11, -y = y - 4*p - 2 for y.
3
Let i be (-1)/(-6) + 3 + (-76)/24. Solve -2*q - 3*q + 3*p - 7 = i, -5*q + p = -1 for q.
1
Let b = -40 + 43. Solve w + b*c - 5 = 0, 0*w + 2*c - 5 = w for w.
-1
Let k = 2 + 6. Let t(f) = 2*f**2 + f + 4. Let i be t(3). Suppose 2*q = -4*r - 2*q + 20, 2*r = 3*q + 10. Solve 3*j - k*j = i, -j = 5*l + r for l.
0
Let y(l) = -l**2 + 9*l + 2. Let g be y(9). Solve g*k = -s + 9, -4*k = -2*s - 2*k for s.
3
Suppose 8*q = 3*q + 2*y + 25, -4*q + 4*y = -8. Let w(p) = 2*p - 10. Let o be w(q). Solve -20 = 5*n - 5*c, 7*n + c = o*n - 12 for n.
-4
Let c be (4/(-9))/((-20)/90). Solve 5*i + c*m = 14, -4*i = i - 3*m - 29 for i.
4
Suppose -3*k = -4*d - 18, 1 - 17 = -5*k + 2*d. Solve -k*o + 2*s + 2 = 0, -2*o + 7 = -o + 2*s for o.
3
Let k = 4 - 1. Let m be k/(-12)*10*-2. Solve -3*p - 1 = -3*j + 2, m*j + 30 = -2*p for j.
-4
Let t(s) = -s**2 + 5*s + 3. Let g be t(5). Solve 5*y + 23 = -h - 7, 3*h + g*y = -30 for h.
-5
Let z be (-1)/(3/36*2). Let y be z/(-4) + 3/2. Solve 0 = 2*l - 5*r - 2, -5*r = -y*l - 3*r + 3 for l.
1
Let y be 80/44 - 4/(-22). Let u(o) = o**3 - 7*o**2 + o - 7. Let g be u(7). Solve 3*h + 2*j = -g - 2, 4*h + y*j = -2 for h.
0
Suppose 7*j = 4*j. Let g(o) = o**3 + 6. Let a be g(j). Solve 5*q - 3 = -k, a*q = -2*k + q + 1 for k.
-2
Let r = 2 - 6. Let a be (-58)/(-18) + r/18. Let k be (3 + -6)*8/(-3). Solve 0 = -2*i - 2*d + k, a*i = -2*i - 3*d + 10 for i.
-1
Let h(s) = -s**2 + 12*s - 4. Let x be h(10). Let k = x - 1. Let p be (3 - 0) + 0 + -1. Solve -p*o = -5*l - 16, -k = -4*o + 4*l + 5 for o.
3
Suppose 30 = 2*d + 3*d. Let l be -2*1*(-9)/d. Solve 7*z - l*z + 2*q + 22 = 0, -5*z + q = 17 for z.
-4
Let d(m) = -m**3 - 5*m**2 + 6*m + 9. Let n = -3 + -3. Let i(y) = 2*y + 6. Let k be i(n). Let x be d(k). Solve 0 = 3*r + 3*p - 18, 2 - x = -r - 2*p for r.
5
Suppose -3*k + 3 = -0. Let s = -19 + 75. Suppose -5*n = -s - 9. Solve -o = q + k, -5*q + q = o + n for q.
-4
Let u(l) = -l + 6. Let v be u(-11). Let c = v + -14. Solve 8 = -4*y, -c*n - 12 = 2*n - 4*y for n.
-4
Suppose -z + 7 = -2*p - 6, -3*z - 5*p - 5 = 0. Solve 5*s = j + 18, z*j - 20 = -s - 6 for s.
4
Let w be 3 + (-50)/15 - (-1)/3. Solve -2*k + 3*y - 6 = w, 2*k = -y - 4*y - 6 for k.
-3
Suppose -4*w + 110 = -98. Let n be 115/(-4) - 1/4. Let x = w + n. Solve 4*s = -4*a + 3*s - x, 4*a - 5*s + 5 = 0 for a.
-5
Suppose -b + 7 + 1 = 0. Solve 1 - 5 = 2*n, -4*n = -4*i - b for i.
-4
Let k be ((-160)/(-24))/(1*2/6). Solve -3*y + k = -5*q - 4*y, -3*q + y = 20 for q.
-5
Let v = -84 - -85. Solve 3*r = -3, 6*z - 3*z - v = 4*r for z.
-1
Let h(g) = -g**3 - 5*g**2 + 7. Let i be h(-5). Suppose i*w - 2*w = 105. Solve -4*d = 5*u + w, 10 = -0*u - 2*u - 2*d for u.
-1
Suppose -c - 12 = -3*v - 3, 2*v - 2*c - 2 = 0. Let d = -4 + v. Suppose d = k - 2. Solve f - b + k = -2, 3*f - b = -12 for f.
-4
Let g(c) = -2*c + 16. Let q be g(6). Solve 0 = -q*m + 2*m - k, -m - 5*k = 0 for m.
0
Let f = 13 - 7. Let l be (-36)/(-10) - f/(-15). Suppose 0 = -5*z - 5*a + 10, l*a - a = 2*z + 1. Solve 5*h = 5*m - 25, 5*h = -m + 4 + z for h.
0
Suppose 0 = -3*d + 5 - 2. Solve -3*a + 5*q + d = 7, -12 = -4*q for a.
3
Let k be 2 - (-2 - (2 - 1)). Solve 4*t - k*c - 17 = 0, 6*t - t - 20 = 5*c for t.
3
Suppose 0*o - 8 = -o - z, 5 = -5*z. Let p be 6/(-27) + (-79)/o. Let h(r) = -r**2 - 10*r - 2. Let q be h(p). Solve 16 = -4*m + 4*n, 4*n + q = -m + 23 for m.
0
Let k(i) = -i**2 + 5*i. Let a be k(4). Suppose a*w = -5*b + 15, -5*w - 2*b + 5*b + 28 = 0. Solve 11 = -4*o - 0*o + f, -4*o - w*f - 41 = 0 for o.
-4
Let a(f) = 2*f + 4. Let w be ((-10)/25)/(2/(-30)). Let u be a(w). Let k be (u/20)/((-2)/(-10)). Solve -5*y = -4*z + 41, y + 26 = -y + k*z for y.
-5
Let k(r) = 3*r - 9. Suppose 0*i = i. Suppose i = w - 5 - 2. Let f be k(w). Solve -3*n = -2*p - 10, 4*p - 2 = n - f for n.
2
Let m = 34 - 25. Suppose -y - 25 = -6*y. Suppose -5*o + 21 = 6. Solve -3*t + m = -o*k - t, y*t = 3*k for k.
-5
Suppose -n + 2*n - 2 = 0. Suppose 0 = n*g - 8 - 10. Solve 0 = 4*y - 4*c - 8, 4*y - 5*c - g = 0 for y.
1
Let z(x) = x**2 + 3. Let p be z(0). Solve 2 = 4*m + 5*j - 0, 0 = -p*j + 6 for m.
-2
Suppose -5*o + 2*o = -15, 4*j + 2*o - 18 = 0. Let s = -5 - -5. Suppose s = -k - k. Solve -w - 6*b + j = -b, -w - 4*b + 2 = k for w.
2
Let k(n) be the third derivative of n**4/8 - n**3/3 - n**2. Let m be k(2). Solve 5*b = -m*v - 22, 2 = 5*b + v - 5*v for b.
-2
Suppose 0 = -4*i + 2*w + 14, 5*w = 2*i - 5 - 6. Solve -g + 2*h - 6 = 0, 0*h + h = 3*g + i for g.
0
Suppose -s + 38 = 2*s + 4*g, -40 = -2*s + g. Let o = s + 2. Suppose -j - o = -5*j. Solve -12 = -4*d + 2*q, -j*d = 4*q - 2 - 13 for d.
3
Suppose -3*x = -5*j - 15, 0 = -0*j + 3*j - 2*x + 10. Solve 2 = -g + 2*f, 5*g + 3*f = -j*g - 10 for g.
-2
Suppose -2*g + 4 - 16 = 0. Let p(r) = -r**3 - 6*r**2 + r + 6. Let b be p(g). Solve z + 1 = 3*w, b*w - w - 5*z = -11 for w.
1
Let o be (-2)/(-6) + 1/(-3). Let m be 5/(-3)*-3 - o. Solve 3*g = m*x - 17 - 18, 5*g - x + 29 = 0 for g.
-5
Suppose 4*o - 3*o = 4*f + 9, 3*o + 7 = -5*f. Let j be (3 - -1 - 2)*-1. Let w be (j + 5/(-3))*-3. Solve 2*v - p + 2 = 0, -4*v - o = 2*p + w for v.
-2
Suppose v + 28 = 5*v. Let k be 0 + -1 + (-16)/(-4). Suppose 3*u - 10 = 20. Solve 3*y + k*h = 3, 3*y - u = 4*h + v for y.
3
Let w(z) = z - 2. Let u be w(6). Suppose 0 = u*q - 30 - 18. Solve 2*f - 3*i + q = i, 4*i = f + 10 for f.
-2
Suppose 0 = r + 4*b + 13, b - 5 = -3*r - 0. Suppose 4*u = 4, -5*x + r*u = -2*x + 3. Solve -5*c = 2*j - 17, x*j = -3*j - c - 7 for j.
-4
Suppose n + 2*n + 2*d = 4, 0 = 3*n + 3*d. Suppose 0 = 4*z - 8*z - 4. Let r(g) = -4*g. Let l be r(z). Solve -l*s - 12 = -n*i, 3*s + 7 = 3*i + 2*i for s.
-4
Let z = 45 + -25. Solve 4*t = -t + 4*i - z, -3*t + 3*i = 12 for t.
-4
Let j(n) = n**3 - n. Suppose 2*c - 3*c = 2. Let o = 2 + c. Let l be j(o). Solve 5*p + 4 = -4*d, l = -6*d + d - 5*p for d.
4
Suppose b - 4*b = -12. Suppose -3*o = -b*o. Solve 2*m + 2*y + 7 = -m, 4*m + 2*y + 6 = o for m.
1
Let x be (108/30)/(2/5). Solve -5*q = -a - 6, -q - x + 3 = -2*a for a.
4
Let q = -6 - -10. Solve 2*r + 4*l - 6 = 0, 3*r + 0*l + q*l = 9 for r.
3
Suppose 4 = 2*l + 2*s - 0, -16 = -4*l + 4*s. Suppose l - 5 = -x. Suppose 0 = j - 5, x*g = -5*j + 3*j + 14. Solve -4*v + g*n - 12 = 8, -13 = -v - 4*n for v.
-3
Let n(l) = l + 8. Let p be n(-4). Suppose 114 = p*u - 2*u. Suppose 0*d - y = d - 15, 4*d = -5*y + u. Solve -d = -4*r + 3*k, -r + 7 = -0*r - 2*k for r.
3
Suppose -4*o = -0 - 4. Let n be 8 - (4/(-2))/o. Suppose -4*w + 2*w = -n. Solve 1 = -w*f - 5*m + 6, m = -4*f - 2 for f.
-1
Let t(z) = -11*z**2 + 4*z + 50. Let a(q) = -4*q**2 + q + 17. Let y(p) = -8*a(p) + 3*t(p). Let g be y(6). Solve g*u + 5*f + 23 = 0, 2*f - 2 = -5*u - 7 for u.
1
Let m be (1 - (3 + -1))*1. Let a be ((-3)/m + -5)*-2. Solve k = -a*z + 7, 3*k = -2*z - 1 - 8 for k.
-5
Let k be (4/(-6))/((-2)/6). Suppose 4*v - 8 = -2*y + 14, -k = -4*v + 2*y. Solve b + v*d - 1 = d, 0 = 5*d for b.
1
Let r be (-12)/(6 - 9) - 0/(-2). Solve 4*u + 0*u = -k + r, 