 12 for a.
-2
Let g be 40/6*(0 + 36/16). Solve -g = -3*q + 5*y + 1, 2*y = 5*q + 5 for q.
-3
Let j(v) = 16*v**2 + 5*v + 4. Let n be j(-1). Solve 0 = -2*d - 3*d - 3*w - n, 0 = 5*d + 4*w + 20 for d.
0
Let p = 0 + 3. Let b be 5/(-15) + 29/(-3). Let i = 22 + b. Solve -p*z + i = 5*x, 5*x + 0*z - 3*z - 18 = 0 for x.
3
Suppose 2*o - 8 = o. Let h be 19 + (-7)/((-28)/o). Solve 2*n + h = -3*w, 2*n = -3*w - 2*n - 27 for w.
-5
Let w be 13/4 - 1/4. Suppose p - 2 = w. Let x = 870 + -866. Solve p*v = -x*c - 17, 3*v + 23 = -4*c + 8 for c.
-3
Suppose 7 + 33 = 5*c. Suppose 0 = -c*a + 3*a + 20. Suppose 2*x + 11 = -4*u - u, a*x + 7 = -5*u. Solve -25 = 3*y - 4*f, 4*f = y + x*f + 11 for y.
-3
Let p = -25 + 32. Let m(w) = w**2 - 7*w + 4. Let z be m(p). Solve -z*i + 4*s = -4, s = -3*i + 7 - 0 for i.
2
Suppose -36 = -6*s + 174. Solve 5*n = -j + 29, 5*j + 0*j - s = -3*n for n.
5
Let h(x) = -2*x**2 + 4*x + 5. Let q be h(4). Let r(s) = 2*s + 25. Let t be r(q). Let b = 4 - 3. Solve 10 + b = t*d + 5*i, 5*d = 4*i - 31 for d.
-3
Let i(j) = -j**2 + 3*j + 9. Let h(q) = q**3 + q**2 + q + 10. Let g be h(0). Let c = g - 6. Let y be i(c). Solve -y*f - 11 = -x - x, -10 = 5*x for f.
-3
Let w be -1*3 - (-5 + 7). Let f be (24/w)/((-26)/65). Suppose f + 0 = 3*z + q, 5*q = 4*z - 35. Solve -2*t = -6*t - 3*u - 20, -5*t + z*u + 10 = 0 for t.
-2
Let q be -4*(2 + -1) - -7. Solve -2*r = 2*r - q*z + 3, -5 = 3*r - 5*z for r.
0
Let f = 251 + -248. Solve -3*a - 2*a + 2*c = 14, 3 = -3*a + f*c for a.
-4
Suppose 2*o - 10 + 4 = 0. Solve 3*y = o*t - 0*t, 0 = -3*t - y + 16 for t.
4
Suppose 2*n + 5*l = 5, 3*l - l = -n + 2. Solve -3*x - 6*i = -2*i, -5*x - 3*i - 11 = n for x.
-4
Suppose 2*l + 3*q - 35 = 0, 37 = l - 8*q + 3*q. Let s = l - 22. Let g(y) = -y**2 + 2*y + 3. Let k be g(s). Solve -3*n + 5*n + 7 = -w, -3*n = -k*w - 3 for n.
-2
Let p be 21/42*(-1 - (-7 - -2)). Solve 1 = -3*n - 2, p*n = z - 1 for z.
-1
Let z be (24/4)/((-42)/(-35)). Solve z*m + 17 = 3*j, -2*m + 5*m + 17 = -5*j for j.
-1
Let y(q) = 6*q**3 - 2*q**2 + q - 1. Let u be y(1). Suppose -u*b = -0 - 8. Let g = -6 - -10. Solve 0 = -b*m - 3*m + 2*z + 7, g*z = -m - 3 for m.
1
Let j be (1 - 1)*2/6*3. Suppose y + j*y = -2*l, -3*l = -4*y. Solve -v - i - 20 = -4*i, 2*v + 3*i - 5 = y for v.
-5
Suppose 6 = -4*p - 6. Let r(j) = -j - 1. Let g be r(p). Solve 0*u + 5*i = -2*u + 18, g*u = 4*i for u.
4
Suppose -18 = j - 3*j + 3*p, 6 = -2*j - 3*p. Let b = j - -4. Suppose -3*q - 6 = y, -2*y - 7 = 5*q + 3. Solve -3*a - 5*i + 2 = -b, a + 2*i - 4 = y for a.
-2
Let n = 368 + -361. Solve 22 = -5*q - 3*u, -2*q - u = 2*u + n for q.
-5
Suppose -k - 2*q = -8, -4*k - 1 = 3*q - 23. Solve o - 24 = -k*i, 5*o - 24 = -4 for i.
5
Suppose 22*n + 56 = 36*n. Solve 7 - 1 = q + 4*f, 2*q - n*f + 12 = 0 for q.
-2
Let b = -495 + 498. Solve -5 = b*q + 10, x = -5*q - 21 for x.
4
Suppose -29*k + 73 = -43. Solve w = 0, -k*c - 3*w = -12 + 4 for c.
2
Suppose 18*c - 546 = -8*c. Solve 2*f + c = 5*u, -3*f + 5*u - 20 = -1 for f.
2
Let z(v) be the third derivative of -v**5/60 + v**3/2 - 23*v**2. Let s be z(1). Solve -q + 5 = s*i - 0, -4*q - 15 = i for q.
-5
Suppose -10*a + 15 = -5. Solve 0*h - 17 = 5*p + 4*h, -p + h = -a for p.
-1
Let j(w) = -w**3 + 3*w**2 + 10*w + 5. Let t be j(7). Let l = t + 121. Solve -m + 0*m + 2*g + 8 = l, 4*m = 5*g + 17 for m.
-2
Let l(k) = -k**3 - 2*k**2 + 3*k + 3. Let s be -1*7 + (-28)/(-7). Let v be l(s). Solve 5*u + 16 = v*i, -5*u - 2*i - 24 - 7 = 0 for u.
-5
Let j(y) = 2*y**3 - 5*y**2 - 3*y + 14. Let v be j(2). Solve -5*g + 16 = h, h - 2*g = -v*h - 1 for h.
1
Let g be 900/(-45)*3/(-5). Solve 5*u - 6*u - 4 = -t, 4*t + 3*u + g = 0 for t.
0
Suppose m + g = 3, -5*g + g + 8 = 0. Suppose -16*p + 10*p + 12 = 0. Suppose -3*z + p = -4. Solve -4*u - 3 = 2*w + m, -3*w + z*u = 14 for w.
-4
Let z be 2/(21/12 + -2). Let r = -3 - z. Suppose -897*g = -904*g + 21. Solve r = t + 3*m - 4, -3*m = g*t - 15 for t.
3
Suppose -209 = -6*k + 661. Let d be 86/10 + 58/k. Solve p - 12 = 5*f, 4*p + d = -f - 6 for p.
-3
Let q = 37 + -22. Let c be (9 + 0)*(-14)/(-63). Solve 0 = -5*x + q, -3*x + 7 = -c*k - 2*x for k.
-2
Let h = 757 - 753. Solve 0 = 4*f - 3*m - 9, f + h*m + 5 = -7 for f.
0
Let s(d) = d**2 - 8*d + 10. Let x be s(8). Suppose 14*a - 28 = x*a. Solve 0 = -2*p + 4*p + r - a, 5*r = p - 20 for p.
5
Suppose -v - 3*p = v, 2*v = -p. Suppose 4*g = -4*y - 8 + 16, v = -4*y. Solve 3*w = -5*r + 20, -3*w = g*w + 5*r - 30 for w.
5
Suppose 518 - 574 = -7*i. Solve -2*d - i = 2*o, -11*o - 10 = -5*d - 6*o for d.
-1
Let b be (12/8)/(1/30). Suppose -2*v + 5 = -0*v + 5*x, 0 = 2*x + 2. Let c be 21/6 + 2/(-4). Solve 0 = -v*y + 5*p - b, -y - 11 - 6 = -c*p for y.
-5
Suppose 72*j + 5*g = 70*j + 13, 5*g - 25 = -5*j. Solve -j*n - 2*v = -18, 4*n - 2*v - 5 = 17 for n.
5
Let g be 2/(4 - (-3 - -5)). Solve -2*o = n - 2, -g = 2*n - 3*o - 5 for n.
2
Let v = 4 - 0. Suppose -u + 55 = v*u. Let j be (-4)/(-1) + 1/(2 - 1). Solve 0 = -j*d - 5*z + 10, -u = -d - 3*z + 5*z for d.
5
Let j(p) = 2*p - 1. Let y be j(3). Let s(t) = -t**3 + 7*t**2 - 10*t + 4. Let f be s(y). Solve -20 = -b + f*q, -b + q + 24 = 4*b for b.
4
Suppose -b - 3*d = 1, -3*d - 3 + 8 = 4*b. Let o = -7 - -14. Suppose -2*s - 3 + o = 0. Solve b*i + s*i = 5*a - 16, -5*i - 3 = -2*a for a.
4
Suppose -4 = 2*b - 8. Let o be (3/(-4))/(2/(-8)). Suppose 12 = o*u + 3*m, 0 = -u - 3*m - 0*m + b. Solve -j + 5*k = -13 - 8, -4*j + u*k + 9 = 0 for j.
-4
Suppose 3*w + 0 = -4*l - 6, -4*w - 8 = -5*l. Suppose 0 = -3*g - 4*t + 22, g + 2 = -l*g + t. Suppose -8 - g = -x. Solve v - 5 = 2*u, -3*v = -0*v - u + x for v.
-5
Suppose -5*p + 3*p = -5*a + 29, 2*p + 3*a + 69 = 0. Let x = p - -27. Solve -5*c = d - 2 - x, -2*d - c = -4 for d.
2
Let d be 2/(-8) - (-11)/44. Solve 0 = 2*i - 2, d*i + 2*i = -3*x + 5 for x.
1
Let q = 221 + -217. Solve -4*z - 2*d = 6, z = -q*z - d - 3 for z.
0
Suppose 3*p = 12*p - 27. Solve p*r - 9 = 2*m, -4*r - 2*m = -0*r + 2 for r.
1
Suppose -2*k - 4*c = -24, -5*c = 2*k - k - 21. Let l be 370/70 + k/(-21). Solve 0 = o - q - 2, 0*o + l*o + 5*q + 30 = 0 for o.
-2
Let g be (1/(-3))/((-519)/261 + 2). Let u = -24 - g. Solve -3*i - 2*j - 12 = -i, -u*i + 5*j = 10 for i.
-4
Suppose 25 - 201 = -22*u. Solve 0 = 4*h - c - 20, 2*h + 6*c + u = 2*c for h.
4
Let w = 160 + -156. Solve -z + 3*j - 2 = -w, -z + j = -4 for z.
5
Suppose 34 = -6*d + 52. Solve -3*n = 12, -d*h + n = 6*n + 35 for h.
-5
Let u be 1408/144 - 2/(-9). Suppose k + 5*h + 15 = 0, -u + 2 = 2*h. Suppose k*j - 35 = -2*j. Solve j*y - 2*a = -0 - 9, 0 = -2*y + 5*a + 9 for y.
-3
Let x = 244 - 231. Solve 0 = 5*h + 3*r - 18, 5*h - 2*r - x = 0 for h.
3
Let c be (-1*(-28)/8)/(2/4). Suppose 2*r = c*r - 65. Solve -3*v - 5 = -4*h, 2 = -5*v - 3*h + r for v.
1
Let d = -50 + 43. Let z(v) = v**2 + 4*v - 18. Let m be z(d). Solve -5*l = -2*h - 23, -4*h + 3*l - 13 = -m*h for h.
-4
Suppose f + 3*k + 1 = 4, 0 = 4*f - 5*k - 12. Suppose -2*d - f = -3*d. Solve -5*l - 2*g = -d*g, 0 = 2*l - 3*g for l.
0
Suppose 5*b + 32 + 3 = 0. Let c be -1*(-100)/28 + 4/b. Solve -c*x + o = x + 5, 5*o - 7 = 2*x for x.
-1
Let o = 184 - 131. Let c = o + -48. Solve -c*i = -4*v + 31, -2*v - 3*v + 29 = -3*i for i.
-3
Let t be (-4)/8*2*-10. Let v = 6 - 3. Suppose 3*z = 10*z. Solve 2*n + 2*r - t = z, -3*n = -n + v*r - 12 for n.
3
Let a(f) = -f**3 - 7*f**2 - 7*f - 4. Let b be a(-6). Suppose b*q - q = 0. Let s = 7 + 23. Solve 5*m = i + 3*i + s, m + 3*i + 13 = q for m.
2
Suppose -67*w - 68 = -537. Solve 6*j = i + 5*j - w, 0 = -5*i - 2*j + 7 for i.
3
Let x be 1 - 2 - (-2 + -4). Let b = 2 + x. Let z = 15 - b. Solve -3*g = 2*y - z, 4*y + 4*g = y + 11 for y.
1
Let a(k) = 2*k - 10. Let x be a(11). Suppose 2*b + x = 5*b, -26 = -2*r - 5*b. Let j be 3*(14/r - 2). Solve -4*z + 8 = 5*d, d - j - 5 = 3*z for z.
-3
Let a = 19 + -18. Let k be ((-16)/4 - -9)/a. Solve k*x = r + 3, -2*x + 1 = r - 3*x for r.
2
Let v(n) = 160*n - 318. Let x be v(2). Let w(k) = -k**2 - 4*k - 3. Let y be w(-3). Solve -4*z + y*z = i + 1, -x*z = 0 for i.
-1
Let w(d) = d**2 + 8*d + 14. Let t(h) be the first derivative of h**2 - 6*h - 5. Let f be t(0). Let l be w(f). Solve y - 3*u - 2 = -6*u, -11 = -l*y + u for y.
5
Let a = -26 - -26. Let t = 2 + a. Solve 2*h + 3*l = -7, -5 = 3*h + l - t*l for h.
-2
Suppose 6*g = -11 + 275. Let f = 81 - g. Solve 2*h = -h + 5*i + f, 14 = h - 2*i for h.
4
Let s = 17 - 30. Let q