 10 for a.
2
Suppose 5*j + 5*m = -70, -5*m - 14 = -0*j + j. Let a = 19 + j. Solve 8 = -a*n + 3*z - 5, 5*n + 5*z + 5 = 0 for n.
-2
Let g(f) = -f - 3. Let y be g(-4). Let k = 3 - y. Suppose 15 = 5*z - 5. Solve -q - k*m - 19 = -6*q, 5*q - z*m = 23 for q.
3
Let t(g) = -g + 1. Let m(j) = -j**2 - 6*j + 9. Let v be m(-8). Let i be t(v). Solve -r - 2*z = i, 3*z + 6 = -4*r - 1 for r.
2
Let k(o) = -o**2 - 3*o + 19. Let i be k(-6). Solve 3*m + 3*u + 0 = 3, 4*m + u = i for m.
0
Let r = 7 - 7. Let a be (-11)/(2/2 - 2). Suppose 0 = -4*d + 3*p + 2*p + a, 0 = 5*d + p - 21. Solve r = h - 2*q - d, -3*h - 5*q + 0*q = 10 for h.
0
Let o be (-15)/3*((-24)/(-10) + -3). Solve 3*h = 3*r - 12, 2*r + o*r - 2*h = 5 for r.
-1
Suppose 4*y - 4*g - 3 = 5, 5*y = -3*g + 2. Solve 5*a - y + 9 = -4*d, 4*a - 4*d - 8 = 0 for a.
0
Let t(l) = l**3 + 11*l**2 + 10*l - 2. Let d be t(-10). Let h = 3 + d. Suppose -2*v - h = 5*m - 6, 0 = v + 5. Solve 3*k + 2 = 2*c - 0, 4 = m*c - 5*k for c.
-2
Suppose 4*b = -345 + 353. Let x be 2/(4 + -2) + 1. Let h be (1*x)/((-2)/(-13)). Solve 0 = -b*n - t - h - 0, 2*t - 14 = 4*n for n.
-5
Let x = -6 - -10. Let y be (-22)/(-10) + 7/(-35). Suppose -x*c + y = -6. Solve u - 10 = 5*v, c*v = -3*u + 7*v for u.
-5
Let d(v) = v + 6. Let y be d(7). Solve 4*u - 5*w - 4 - y = 0, 0 = 4*u - 3*w - 7 for u.
-2
Suppose 4*k - 3*k = 2*o + 12, -6 = 2*o. Solve r - k = 2*q, 5*q - 4*q + 2*r = 7 for q.
-1
Suppose 2*b - b - 5*a - 20 = 0, -2*b + 32 = -2*a. Suppose 0 = -5*x - b, 0 = 4*r + 5*x + 22 - 7. Let c = 6 - 3. Solve 5 = -5*y + c*d, r = -3*d + d for y.
-1
Let l be 2 - (-5)/15 - (-1)/(-3). Solve -2*a - 16 = l*t, 5*a + 3 = -2*t - 25 for t.
-4
Let r(m) = -m**3 + 10*m**2 - 5*m + 9. Let x(f) = -f**2 - 1. Let s(o) = -r(o) - 6*x(o). Let h be s(3). Solve -k = h*v + 3, -2*k + 3*v = 2*v - 1 for k.
0
Let m be (-6)/39 - (-12)/78. Suppose 0 = -l + 2*z + 2*z - 14, -3*l = -3*z + 6. Solve -l*v - 2*o + 3 = 1, m = v + 5*o + 15 for v.
5
Suppose 2*o - 4 = -2*o - j, -2*j = -2*o + 12. Solve o*m = 4*g, 5*g + 7 - 20 = -4*m for g.
1
Let t = 327 + -191. Suppose 2*s = 6*s - t. Suppose s = 5*v + 14. Solve v*o + 14 = -2*n, -2*n - 10 = -4*n + 2*o for n.
1
Let a(q) = -q**3 + 9*q**2 - 9*q + 10. Let y be a(8). Solve 5*l = -2*s - 0*s - 13, -1 = y*l + 5*s for l.
-3
Let d be 3/9*(5 + -2). Solve v = -x + d + 6, -2*x + 3*v + 4 = 0 for x.
5
Let a(j) = 2*j**2 - 2*j. Let v be a(-3). Let o = 24 - v. Solve 2*r = 2*i + 14, -2*r - 2*r + 3*i + 23 = o for r.
2
Suppose -4*r + 6 = -r. Solve 0*j - 3*k = -2*j - 10, r*j - 6 = -k for j.
1
Let y = 6 + -18. Let v = -7 - y. Solve -5*g - v*u + 0*u = 5, -3*g - 8 = 4*u for g.
4
Suppose -3*z + 4*z - 1 = 0. Suppose -5 = 2*m + 5*i, -2*i - 3*i = 15. Solve m*k = -t - 4*t, z = k + 2*t for k.
-1
Let c be 2 - 2/2*-1. Let j = 8 - c. Solve 2*v = -3*k + j*k - 6, 13 = 4*v + k for v.
2
Suppose -3*r = 9, 4*m - r - 37 + 6 = 0. Let u be (-1 - -1)/(2/2). Let j be -1 + 5 - (0 + u). Solve -j + 21 = 3*d - 4*t, -3*d + m = -2*t for d.
-1
Let x(n) = 3*n + 1. Let f be x(1). Suppose 0 = -6*v + 5*v. Let z = -7 - -7. Solve -3*d = -2*j + 6, v*j + f*j + d - 12 = z for j.
3
Let v be (-4)/(-26) + 63/13. Suppose -f + 0*f = -v. Solve 0 = 5*n - f*a - 25, 2*n + 3*n = a + 21 for n.
4
Suppose 0 = -d - 2*d + 6, -16 = -4*m - 4*d. Suppose -3*u - 12 = -3, -m*w + 3*u + 19 = 0. Solve -v = -z - w, 0 = 5*z - 7*v + 3*v + 24 for z.
-4
Let h(c) = c**2 + 17*c - 14. Let w be h(-18). Solve -w*o + 18 = 2*s, -4*o + 2*o = -s - 11 for s.
-1
Suppose 5*t - 4 - 6 = 3*z, -5*z + 3*t + 10 = 0. Solve -5*w - 2*n = -0*w + 17, -3*w - z = -4*n for w.
-3
Suppose -h + 4 = 5*t - 5, 2*h + 2 = 0. Solve i + v = 2, -t*i - v + 0 = 1 for i.
-3
Let p be 1/(-6) - 52/(-24). Suppose -p*s = -3*u + 10 - 29, 5*s + 3*u = -5. Solve 3*l = s*b, -l = 1 - 3 for b.
3
Suppose 5*z - 269 = -64. Let x = z - 23. Solve -w = -3*m - 2*m - 22, 5*w - x = 2*m for m.
-4
Let b = -44 + 48. Solve b*y + 6*z - 35 = z, 3*y = 2*z + 9 for y.
5
Let a = 10 - -22. Solve -17 = -4*u + 2*s - 3*s, 4*u = 4*s + a for u.
5
Suppose -34 = -2*w - 3*d, 47 - 124 = -3*w + 2*d. Solve -v + 13 = -3*h, 3*h = -2*h + 2*v - w for h.
-3
Let h = 16 + -13. Solve -o - 2*o + 17 = 4*f, -19 = -5*f - h*o for f.
2
Suppose 18 = -j + 3*j. Suppose -35 = 3*y + 4*f, -3*y + 3*f - 16 - 5 = 0. Let r = y + 15. Solve 5*c - j = -t, 5*c + r*t - 21 = 2*t for c.
1
Let z(i) = 5*i + 20. Let m be z(-4). Solve 3*j + 0*g + g + 13 = m, 3*j + 2*g = -14 for j.
-4
Let s(c) = c - 1. Let m be s(5). Solve -5*r = -m*u - 16, 13 + 12 = 5*u + 5*r for u.
1
Suppose 8 - 23 = -3*y. Let w be 0/(0 - 2*1). Let t = 14 + 3. Solve m + y = w, 4*b - t = -5*m - 62 for b.
-5
Let g(y) = -y**3 - 7*y**2 + 9*y + 12. Let p be g(-8). Solve 4*b - 25 = p*c + 7, b = -4*c - 12 for b.
4
Suppose -25*m + 148 = -21*m. Solve -5*r - m = 4*d, -d = r + 4 + 4 for r.
-5
Let v = 5 - 2. Let i(u) = u**3 - 7*u**2 + 7*u - 6. Let l be i(6). Solve -v*m = -5*h + 8, 4 = -l*h + 4*h - 3*m for h.
4
Let t = -5 + 14. Let p be t/6*1*6. Let o be 15/6 - p/(-6). Solve 4*w + 2 = -v - 13, o*v = 20 for w.
-5
Let n = -31 - -35. Solve n*t + 2*s + 8 = 2*t, -5*t - 15 = 4*s for t.
1
Let s be (-1)/((2/3)/(-2)). Let o be (-86)/(-18) + 22/99. Solve 5*y - o*c - s = -4*c, -y - c = 3 for y.
0
Let o(v) = v**2 - 10*v + 9. Let r = 21 - 12. Let x be o(r). Suppose -n + 3 = -x. Solve -a - 2*a - 4*l = n, 5*a = 2*l - 5 for a.
-1
Suppose -5*t - 2*o + 5 = 2*o, 4*t + o - 15 = 0. Solve t*c - c = 2*a - 14, 0 = -5*c - a - 14 for c.
-3
Let c be 3 + 1*(11 - 2). Let k = c + 5. Solve 0*n - 2*n + 7 = -5*u, k = -2*n - 3*u for n.
-4
Let y = 12 + 23. Let w be (8/(-1))/((-4)/12). Let i = y - w. Solve -2 = -2*p - 2*g, 4*p - g - i = -2 for p.
2
Suppose 0 = -y + 6 + 42. Let b be 1/(4*3/y). Solve b*o = 5*z - 4, 4*o + 4 + 0 = -z for o.
-1
Let f = 9 - 1. Let m(g) = g - 2. Let v be m(f). Let h be 32/24*(0 - -3). Solve -h*p + 16 = 0, -v = 3*u - p + 4 for u.
-2
Let h be 3/9 - 136/(-6). Let x(w) = -6*w**3 - w**2 + w + 1. Let q be x(-1). Solve s = -4*s - q*z + 40, -4*z + h = s for s.
3
Let y(x) = 2*x**2 + 6*x - 3. Let i be y(4). Suppose -i - 97 = -5*r. Solve -m - 12 = 2*l, 4*l + 6*m + r = m for l.
-5
Suppose -2*t = -4*c - 20, -2*c - 25 = 3*c. Suppose -5*b = -t*b - 20. Solve -b*a = 6*w - 4*w - 16, 0 = 2*w - 2*a + 14 for w.
-2
Suppose -4*r + 115 = 95. Solve -2*f + 15 = -r*m + 2*f, m + 4*f - 21 = 0 for m.
1
Let p = -15 - -19. Solve -n - 28 = -5*t, 4*n - 6 = -p*t + 2 for t.
5
Let p(t) = -t. Let c be p(-5). Solve 5*s + c*b + 40 = 0, s + b - 2*b + 2 = 0 for s.
-5
Let d be 10*9/(-3)*-1. Suppose -2*x + 10 = 2*f - 0*f, 0 = -5*x. Suppose f*s = -0 + d. Solve -3*l + 4 = p, 0 = -3*l + p - 4*p + s for l.
1
Suppose -h = 2*h + 255. Let a be (0 + 1)/((-5)/h). Solve 2*p + a = 5*t, -2*p + 3 = t - 2*t for t.
5
Let t(a) = 10*a + 1. Let s(m) = 29*m + 3. Let c(k) = 4*s(k) - 11*t(k). Let l be c(3). Solve -5*h - 3*z = -l, 3*h + h - 23 = -5*z for h.
2
Let r = -5 + 17. Suppose -20 = 4*h, -2*p - 4*h - r = -0*p. Solve -8 = c - p*n, 0*n - 14 = 4*c + 2*n for c.
-4
Let k(q) = -3*q. Let n be k(0). Solve -5*b + 6*l - 3*l - 1 = 0, -4*b + 5*l + 7 = n for b.
-2
Let w = 21 + -17. Solve 2*u - 5*d = -19, -u = -w*u - 2*d for u.
-2
Suppose -15 = 5*a - 5*y, -a - 3*a - 4*y = -28. Suppose 15 = f - a*k - 0*k, -4*k - 40 = -4*f. Solve -5*h - 2*p = -7*p + 20, -f*h + 20 = 3*p for h.
1
Let v(c) = 2*c**2 - 2*c. Let a be v(-2). Suppose t - a = -3*t. Let d be 2/(1 + t/(-6)). Solve -d*f = -n + 5*n - 24, 0 = -2*f + 8 for n.
2
Let n be (1 + 7)*(-6)/(-2). Let o be n/10 + (-6)/15. Solve o*c - l = 15, 3*c - c - 20 = 2*l for c.
5
Let s = 46 + -43. Solve 3*k + 20 = 4*n, s*n - 2*n = -2*k + 5 for n.
5
Let g = 0 - -1. Suppose -2*f = -0*f. Let r = g + f. Solve -3*h = k + 2*h + 5, 4*k = -h - r for k.
0
Let s(b) = -4*b - 1. Let n = -1 - 2. Let y be s(n). Suppose -3*q = -15, 2*a - 7 = -2*q + y. Solve a*z - 2*r = -12, 3*r - r + 24 = -5*z for z.
-4
Let c = -6 + 10. Suppose 2*t + 8 = c. Let b = t + 4. Solve -2*s = 5*h + b - 21, -3*h + 2*s + 5 = 0 for h.
3
Let n(o) = -o + 8. Let f be n(6). Suppose -4*j - 1 = -5*j. Let t be ((-6)/4 + 1)*-6. Solve -f*z - t*a + 2 = -6, a - j = z for z.
1
Suppose -3*l = -6*l. Solve l = 6*b - 3*b - w + 20, 5*w = -b + 20 for b.
-5
Let f be (0 + 4)*10/8. Solve 5*w - 5*l - 15 = 4*w, f*w = -4*l - 12 for w.
0
Let m(h) = h - 1. Let g be m(5). Suppose 2*y + 0 = g. Let q be (-2)/(y - 1) + 14. So