2 for a.
1
Let x be (-2)/((-6)/(-4) + -2). Suppose 240 = -5*g + 5*t, 0*g + 180 = -x*g + t. Let q be (-1)/2 - g/8. Solve 2*m = q*d + 7, -3*m - 17 = 2*d + 1 for m.
-4
Suppose 0*r + 5*f + 175 = 5*r, -4*f + 84 = 3*r. Solve -4*y = h - 13, -4*h + 0*y = -5*y + r for h.
-3
Let s be ((-45)/(-18))/(2/4). Solve -9 = -3*b, -s*j + 14 = 2*b + 3 for j.
1
Let c(h) = -h**3 - 5*h**2 - 2*h + 9. Let x be c(-4). Let y be 0/(x/(-2)*-4). Solve -6 = -2*p - y*p - 4*k, 35 = -3*p + 5*k for p.
-5
Suppose 0 = 29*o - 23 - 35. Solve 3*p - o*b - 9 = 0, 0 = -4*p - 3*b - 1 + 30 for p.
5
Suppose 12 = -2*t + 5*t. Let b = t + -1. Suppose -4*g + 41*s - 44*s + 66 = 0, -4*g - 4*s + 68 = 0. Solve 7*l + 2*w = b*l - 2, -5*l - g = 5*w for l.
2
Let h(b) = -3*b + 29. Let f be h(-6). Suppose 0 = f*i - 40*i - 14. Solve 3*u + 3*o = 12, i*u + 4*o = 5*o + 8 for u.
4
Let m be 0*(-2)/((-24)/(-2)). Solve -20 = -4*a - m*g - g, -3*a = 2*g - 20 for a.
4
Suppose 0 = -3*u + 91 - 82. Solve -6*b + 3*b - 15 = 0, 7 = 4*w - u*b for w.
-2
Let a(f) = 5*f - 2. Let l be a(4). Let b be l/24 + (-27)/(-12). Solve 0 = 4*v + b*k - 13, 0 = 4*v + 7*k - 2*k - 19 for v.
1
Suppose 5*j + 3*g = -12 + 10, 6 = 5*j + g. Solve o + 5*w - 4 = -1, j*w - 6 = 2*o for o.
-2
Suppose -3*x + 32 - 7 = -5*p, x + 3*p = -15. Let j be (0 + -1 + x)/((-22)/66). Solve -j*y = -2*f + 2, -f + y = f - 6 for f.
4
Let l be ((-11 - -6)/30)/(9/(-162)). Solve -3*r - 3*d = -8*r - 2, -l*d = 3 for r.
-1
Suppose 0 = 4*t - 0*t - 28. Let r be (7/(-2))/t*-10. Let g(c) = -c**2 - 22*c + 5. Let u be g(-22). Solve 6*w - 4 = w - 4*a, -u*w = 5*a - r for w.
0
Let v be -10*3*8/(-60). Solve v*x = 2*l + 3*l + 20, 4*x - 20 = -4*l for l.
0
Let c be -2 + (45 + 3)/(-6). Let a(p) be the second derivative of p**3/6 + 11*p**2/2 + 2*p. Let d be a(c). Solve -2*f + 3*b = 12, 0 = -3*f - 5*b + b - d for f.
-3
Let j(t) = t**2 - 2*t + 8. Let a be j(5). Suppose -8 = 5*n - a. Solve -2*p = -2*f - 7*p - 24, -n*f = -5*p - 14 for f.
-2
Let b = 124 + -114. Solve -3*g + y = -b - 2, 5*y = -15 for g.
3
Let z be -6 + 3 + 3 - -5. Suppose 0 = 10*j - 9*j - z. Solve j*m - 25 = 0, -3*m = -u - u - 7 for u.
4
Suppose -i + 2 = i. Suppose 0 = 5*y - 2*u + 2, 0 = y + 4*u - 3 - i. Let f = 14 - 10. Solve 5*x + 4*m - 2 = y, 4 = -3*x - f*m + 2 for x.
2
Let m be -3 - (-24)/4 - 3. Suppose m = 2*n, 3*h + 3*n = -0*h + 9. Let f be -6*10*h/(-36). Solve 4*o = 3*y + 4, -4*y - o + f = 4*o for y.
0
Let s(x) = -x**2 + 7*x + 11. Let l be 116/14 + (-12)/42. Let v be s(l). Solve -j = -3*u + 4*j + 14, v*u = -3*j + 6 for u.
3
Suppose -2*u + 8 = 2*u. Let y = 3 - 1. Suppose -u = c - y*c. Solve -c*r + a = -0*a + 6, 2*r + 2 = 3*a for r.
-4
Suppose -3*p - 2*t + 63 = 11, -5*t = -4*p + 77. Let o = -5 + p. Solve k - 13 = -3*j, 3*j = 3*k - j + o for k.
1
Let m = 11 - 4. Let f be 91/26*4/m. Suppose 0 = -2*s + s + 2. Solve -b + 3*b - f = 4*n, 2*n - 8 = -s*b for b.
3
Suppose -j - 6*j = -35. Let x be (j/(-10))/((-2)/(-4)). Let u = x - -5. Solve -f + 5 = u*l, -7*l = -2*l - 3*f - 2 for l.
1
Let x(i) = 4*i + 49. Let u be x(-8). Solve -p + 1 = -3*p + g, 0 = -4*p - 3*g - u for p.
-2
Suppose 205*t = 201*t + 40. Solve 0 = 2*y + 2*d + t, 5*y - 4*d = -0*d + 11 for y.
-1
Let o = -1976 - -2006. Solve -3*q + 9*h - 7*h + 7 = 0, 5*h = -2*q + o for q.
5
Suppose 46 + 2 = 12*t. Solve -3*m - 8 = -t*d, -d + 2*m = 4 - 6 for d.
2
Let m(b) = -2*b + 3. Let z be m(2). Let n be 10 + (-1 - 1 - z). Let p be n/3*38/6. Solve 3*a + p = 2*c, a - 3*c + 28 = 2*c for a.
-3
Let k be -14 - 0 - (5 + -7). Let n be (6/k)/(2/(-12)). Solve n*m - m = -3*i + 8, 3*m - 14 = -5*i for m.
-2
Let h(t) = -5*t - 7. Let l(s) = 4*s - 10. Let i be l(2). Let b be h(i). Solve b*z + 17 = m, -2*m + 2*z + 3*z = -30 for m.
5
Let v be (-4)/(-2) + 74/2. Let q = 45 - v. Solve -4*l + 2*d - 24 = 0, -q*d + 8 = -l - 5*d for l.
-4
Let t(d) = -d + 1. Let x be t(-5). Let n be 5546/1770 + 2/(-15). Solve 3*w + n*a + 12 = -w, -2*w = 5*a + x for w.
-3
Let g be (-52)/(-16)*4 + -5. Solve -2*k = -g, -h - k = -0*k for h.
-4
Let t = 15 + -12. Suppose 3*d - 12 = t*h, -3*d + h = -d - 4. Solve -5*x - c = -2*c + 1, d = -4*x - 2*c - 12 for x.
-1
Let l(i) = i**3 - 9*i**2 + 4*i - 6. Let u be l(9). Suppose 6*d + u = -24. Let o be ((-8)/12)/(6/d). Solve -4*v = 2*q - 7*v + 13, 3*v = -5*q - o for q.
-2
Suppose 0 = -4*z - 3*c + 172, 2*z - 7*z - 3*c = -212. Suppose w = -3*w + z. Let f = 12 - w. Solve 0 = 3*b - 5*v - 0*v - 34, -4*b = -f*v - 22 for b.
3
Let x = -1391 - -1394. Solve r + 5*k = x*k, -3*r = 3*k for r.
0
Let c be (-665)/(-28) + 2*10/16. Solve 5*w = 5*i + c, w = -4*w - i + 13 for w.
3
Let w be 2/(-5) - 64/(-10). Suppose 2*u - 4 = w. Suppose 5*r = 10*r - 2*d - 4, 3*r = -d + 9. Solve 5*n - 35 = u*z, -z + 18 = -r*n + 6*n for n.
5
Let l be -5 + ((-2)/6)/(1/(-21)). Solve 5*a + 6*k - 17 = 2*k, -20 = -l*a + 5*k for a.
5
Suppose 0*p = -2*p. Suppose 2*h + 6 = p, -l - 2*l + 12 = h. Solve 3*t = -4*c + 3, 0 = -t + l*t - 4 for c.
0
Let c = 13 - 8. Let f be c - 1/(-2)*-2. Let r be 5*-1 - (-7 - -199)/(-16). Solve f*z = 4*q - 3 - 9, 3*z + r = 5*q for q.
-1
Suppose 5*b + 2 = 2*v, -v = -2*v + 1. Suppose -7 = -8*c + 1. Let t = c + 4. Solve 2*n - 2*r - 2 = 10, -t*n + 2*r + 24 = b for n.
4
Let y(x) = 2*x**3 + 79*x**2 + 38*x - 29. Let s be y(-39). Solve 2*g = 3*f - s, -3*g + 8*f = 3*f + 17 for g.
1
Let c be (-52)/(-12) - ((-114)/(-18) + -4). Solve c*x = 4*k - 8, -5*k + 5 = 2*x - 7*x for x.
2
Let x(h) = 44*h + 3. Let f be x(3). Let l = f + -135. Solve 2*j - 2*g + 4 = 0, 4*g = -l + 16 for j.
2
Suppose 4*k = 54 - 2. Suppose -2 = -o + 2*o + 5*w, -4*o + k = -w. Suppose 6 = -y + o*y. Solve 2*g - 14 = y*m + 4, -5 = 2*m + g for m.
-4
Suppose -4*y + p - 3 = 2*p, -p = -2*y - 9. Let j = 5 + y. Solve -4*i - j*n + 25 = 2, -2*i - 21 = -5*n for i.
2
Let h(a) = 25*a - 26*a + 2 - 3. Let x be h(-1). Solve 3*n = -3*z - 27, x*z - 2*z + 2 = -3*n for n.
-4
Suppose 62*d - 36*d - 104 = 0. Solve -v + 3*p - d = 0, 0 = 3*v + 2*p - 2 - 8 for v.
2
Let t be (-10 - (-9 - -7))/(-4). Solve -4*h - t*x = -2, x + 1 = 6 for h.
-2
Suppose -11*q + 8*q = 45. Let u = 20 + q. Solve -g = 5*p + 10, -5*p + u = -10*p for g.
-5
Suppose -6 = 11*r - 14*r. Suppose o + 43 - 26 = -5*d, -3*d = 12. Solve -3*z - r*k = -3, 3 = 4*z - o*k - 1 for z.
1
Let h = -5 - -9. Let q(w) = 6*w + 5. Let f be q(0). Suppose f*m = h*n + 141, -n + 2 = m - 19. Solve -2 - 10 = -2*p - 4*d, -5*d + m = 0 for p.
-4
Let m(z) = -z**2 + 2*z + 37. Let p be m(7). Suppose 0 = 3*x - f + 1, -9*x + 10*x - p = -2*f. Solve -4*n + l = -x*l + 17, 27 = -4*n + 3*l for n.
-3
Suppose 5*o - 10 = -2*b + 14, 3*b + 2 = 2*o. Suppose -43*p + 36*p + 112 = 0. Solve 3*r - 4*c = -b*r, p = r - 4*c for r.
-4
Let j = 38 - 57. Let g = j + 25. Suppose 9 - 41 = -4*a + 5*m, -3*m - g = 2*a. Solve 0 = -5*k + 5*u - 10, u - a*u = 0 for k.
-2
Suppose -2*v - 2 = 0, 0 = z + z + 4*v - 8. Suppose -2*k - 2 - z = 0. Let x be ((-3)/(-2))/((-2)/k). Solve -r + 1 = -3*c, 1 = r - x for c.
1
Let p = 1170 + -1164. Solve -p*g + 4 = -8*g, v - 11 = 5*g for v.
1
Let t be 21*10*(-3)/(-210). Solve 0 = -t*i + 2*c - 22, -4*i - 9 = -c + 12 for i.
-4
Suppose p - 106 = -4*x - p, -30 = -x + 3*p. Suppose 4*y - 2*z - 90 = 0, x = 4*z + 7. Solve -5*m - y = 2*k, 0 = 6*m - m + 25 for k.
0
Let d(a) = 2*a + 3. Let g be d(0). Let i(q) = -q**g + 5*q**2 - q**2 + 6*q + 0*q**2. Let p be i(5). Solve 2*k = 3*k + 4*y, 0 = -k - p*y + 1 for k.
-4
Let b be -3*2/(-10)*10. Suppose -2*z - b = -6*z - 3*w, 0 = -2*z - 5*w + 10. Suppose -4*x + 5*x = z. Solve -2*o - 2*a - 12 = x, 3*o + 5*a = 3 - 31 for o.
-1
Suppose 3*r = 7*r - 12. Suppose w - 2 = y, -6*w = r*y - 3*w - 24. Solve 0 = -5*j - 0*j + 4*c - y, -3*j = 3*c + 18 for j.
-3
Suppose -69*s + 55*s = -28. Solve 3*b = 5*x - 20 + 3, -2*x = -s*b - 6 for b.
1
Let q = -2 + 9. Let m = q - 4. Solve -4*u - x + 13 = u, -5*u + m*x + 21 = 0 for u.
3
Suppose 4*u + 5 = 2*b - 7, 0 = 5*b + u - 63. Let s be (b/(-18))/(3/(-9)). Solve 4*g - j = -g + 21, -g = s*j - 13 for g.
5
Let o(u) = 2*u**3 + 3*u**2 - 4*u + 4. Let q be o(0). Solve -2*z + 14 = -2*d - q*z, -d = 4*z + 22 for d.
-2
Let k be ((-12)/22)/(37/(-407)). Solve 17 = 5*l + g, k*g = 2*g + 8 for l.
3
Suppose 0 = 5*u - 10, -8*b + 4*b + 30 = 5*u. Solve 29 = 3*y - b*d, 0 = -5*y + 2*y + 2*d + 17 for y.
3
Let u be (8 + (-2 + -5 - -2))*1. Suppose i + i = 10. Solve -5*l - 10 = u*o, 5*l + 2*o + i = -5 for l.
-2
Let t = 