Let n(h) = -h**2 - 13*h + 3. Let r be n(-13). Solve 0*a - 3*w - 1 = a, -r*a = -3*w - 9 for a.
2
Suppose h = -4*j - 16, h = 4*j - 0*h + 16. Let q be (-9)/6 + (-18)/j. Solve 3*m - 3*u + 6 = -u, q*u - 10 = 5*m for m.
-2
Suppose 7*o - 11*o = -12. Solve 4 = -5*p + o*m, 5*p = 2*p + 5*m + 4 for p.
-2
Let g(f) = f**2 - 13*f + 18. Let v be g(12). Let o = v - 5. Let c be 4*-1*(o + -7). Solve 2*d + 21 = t + 9, 4*t - 2*d - c = 0 for t.
4
Let i(t) = 3*t - 6. Let o = 23 - 15. Let m be i(o). Suppose 0 = 5*n - 2 - m. Solve -2*s + 5*r + 11 = s, 0 = 3*s + n*r + 25 for s.
-3
Let a = -142 + 146. Solve -4*s + 22 = i + 5, 0 = -a*s + 5*i - 13 for s.
3
Let a be (-95)/(-35) + 4/14. Suppose -b = 5*i + 2 - 17, 15 = a*b. Solve -v - i*l = -7, -4*v + 4*l - 2 = 18 for v.
-1
Let c = 0 - 1. Let f(v) = -v**2 + 1. Let s be f(c). Solve -3*u - 8 = m, -2*u + m + 0 - 12 = s for u.
-4
Suppose 30 = -b + 37. Solve -24 = 5*i + o, 5*o = -2*i + b*i for i.
-4
Let b = -13 + 16. Suppose -2*l + 67 = 3*g + b*l, 0 = 5*l - 25. Solve 4*y = -x + 11, -x - g = -2*x - 5*y for x.
-1
Suppose -2*y + 7*y - n - 52 = 0, -5*y - 4*n + 42 = 0. Let q = -5 + y. Solve -q*m - 6 = -7*m, 3*h + 4*m = 6 for h.
-2
Let o be -1*(-7)/(-7) - 2*-1. Solve -4*l + 2*m - 1 = o, 4*l + 3*m = -17 for l.
-2
Let f(v) = -2*v + 34. Let i be f(17). Solve j - m = i, -2*j - 6 = j - m for j.
-3
Let w(v) = -7 + 4 - 1 + 2*v. Let u be w(3). Solve 2*a = -4*p + u, -a - 31 = -2*p + 4*a for p.
3
Let p = -2 - -12. Solve 7*x + p = 2*x, -15 = 3*g + 3*x for g.
-3
Let t = -7 + 12. Suppose -7*p + 4*p + 15 = 0. Let g(k) = -k**3 - k**2 + 28. Let w be g(0). Solve -20 = -p*q + 5*d, d = t*q + 4*d - w for q.
5
Let a = 40 + -40. Solve 0 = -a*w + 5*w - 4*z + 10, -5*w + 25 = 3*z for w.
2
Suppose 2*z - k = -10 - 7, 5*z - 2*k + 40 = 0. Let i = 13 + z. Suppose -5*q + u + i = 0, -2*u + 9 = u. Solve -q*g - 3*b + 3 = -5*g, 2*b - 2 = 3*g for g.
0
Let d be (6 - 2) + 0/(-2). Let w(l) = 2*l**2 - 3*l - 2. Let y be w(-3). Suppose 3 = b - y. Solve -2*v - z = 2*z - 8, d*v - 5*z = -b for v.
-2
Let v = -18 - -19. Let b = v + -1. Solve b*m + 25 = -2*m + 5*c, 0 = m + 4*c - 20 for m.
0
Suppose -5*d + 5*p + 25 = 0, -15 - 10 = -5*d - 4*p. Solve -3*t + d - 2 = 0, -5*k - 4*t = 16 for k.
-4
Let t = 12 + -4. Suppose -j + 2*o + t = 0, 0 = -5*j - o + 3*o + 48. Solve 4*l - 3*x = -14 - 21, -4*l - j = 2*x for l.
-5
Let j be (15/6)/((-3)/(-6)). Solve 0*l + 2*l + 6 = -4*q, -6 = -j*q + 2*l for q.
0
Suppose -w = 2*g + 4*w - 36, -2*g + 22 = -2*w. Suppose 40 = 5*z - a - 3*a, -2*z - 2*a = 2. Solve -3*t + 8 = 3*u - g, 4*u + 12 = z*t for t.
5
Suppose -2*n - 10 = -5*z, -2*z - 15 = 3*n - 5*z. Let m(a) = -2*a - 4. Let w be m(n). Suppose w = 2*d - 4. Solve -3*i - 22 = -2*t - d, -3*i + 5*t - 29 = 0 for i.
-3
Let l(w) = 11*w**2 + 2*w - 3. Let k be l(2). Solve t = -3*m + 10, -t - k = 4*t - 4*m for t.
-5
Let o(g) = 6 - g**2 - 4 - 4 - 5*g. Let h be o(-4). Solve 0 = 4*z - 0*z - f - 9, h*f - 18 = -4*z for z.
3
Suppose -v + 5*b - 12 = 19, -4*v - 4*b = 4. Let z = -3 - v. Solve 0 = 2*l + h - 4, z + 5 = 2*h for l.
0
Let g be -9*(-2)/3 - 3. Suppose -g + 12 = 3*t. Let r = 1 - 1. Solve y - 14 = -t*y - f, r = 5*y + f - 17 for y.
3
Suppose -c + 9*c = 16. Suppose 9 = 5*o - 1. Solve -2*b + 0 = -c*t - 2, -t = o for b.
-1
Let m be 2/7 - (-76)/28. Let b = -1 + m. Suppose 0 = -6*o + 12 - 0. Solve 0 = o*w - 5*w - 3*t - 6, -5*t = -b*w + 24 for w.
2
Suppose -3*i = -o, 0*i + 2*i = 2. Let h(z) = 2*z - 4. Let y be h(o). Suppose y*s - 12 = -2*s. Solve -10 = -s*x - 2*x + 3*k, -x - 2*k = -15 for x.
5
Let r(t) = 3*t - 1. Let f be r(1). Let v(c) = -c + 4. Let u be v(4). Let p = f + u. Solve 2*y - d = 10, 0 = -4*y + p*d + d + 24 for y.
3
Suppose 0 = -4*o + 12. Solve 5*g - 2 - 3 = -o*r, 5 = -5*r - 5*g for r.
-5
Let q be (-3 + (-16)/(-1))/1 + 0. Solve -v + 8 = -c, 5*v - 2 = q for c.
-5
Suppose -2*g + 8 = -2. Solve -a = -2*a - g*w - 23, -w - 5 = 0 for a.
2
Suppose 0 = -4*o - 4*h - 4, 2*h = 2*o - 3*o - 5. Solve -1 = -j, -o*j = 4*u - j - 18 for u.
4
Let l(d) = -d + 15. Let k be l(10). Solve 2*y + 3*h + 10 = -0*h, 0 = 2*y - k*h - 22 for y.
1
Let s(j) = -3*j**3 - j**2 - 2*j - 2. Let f be s(-1). Suppose -f*k = k - 9. Solve 10 = -5*l + y, 5*l = k*l - y + 3 for l.
-1
Let t be (-27)/(-5) - (-4)/(-10). Solve 4*z + 10 = -6*f + f, 5*f - t = -z for f.
2
Let f(y) = y**2 + 7*y + 6. Let n(g) = -5*g**2 - 34*g - 31. Let p(a) = 11*f(a) + 2*n(a). Let o be p(-9). Solve 5*w + o*i = 2, 0 = w + w - 4*i + 16 for w.
-2
Suppose 2*n - 80 = -0*n. Let c = 65 - n. Let p be (-2)/5 - (-110)/c. Solve 2*f = 5*r - 15, 5*r = -p*f + r + 12 for f.
0
Suppose 2*w = -0*w + 6. Suppose w*v + 18 - 33 = 0. Let p = 12 + -7. Solve 2*u = o - v*o - 12, u = p*o + 29 for u.
4
Let m = 33 - 31. Solve 3*o + m*c - 23 = 0, -3*o + c - 4*c = -27 for o.
5
Let y(h) = h + 8. Suppose 0 = 2*o - 0 - 16. Let w = o + -14. Let m be y(w). Solve x + 16 = -c + 5*x, -6 = -4*c + m*x for c.
4
Let f = -16 + 4. Let z be (-2)/6 + (-4)/f. Solve -3*m - 3*b - 13 = -8*m, 3*b + 3 = z for m.
2
Suppose 30 = 4*t + 2*k - 0*k, 0 = 5*k + 25. Solve 0 = -3*u + 5*m + t, -2*u = 3*m + 2 + 4 for u.
0
Let z be 1*7/(-1)*1. Let c be (-63)/z + (-6)/(-2). Solve 0 = w - 4*h - c, 2*w - 3*h - 9 = -3*w for w.
0
Let m(d) = d**3 - d**2 + d + 2. Let g(y) = -y**3 - 14*y**2 - 12*y + 13. Let a be g(-13). Let j be m(a). Solve 4*b - q - 4 = q, -j = -q for b.
2
Suppose 0 = 4*x - 12, -6*m + 5*x + 10 = -m. Solve m*q + 3 = -4*k - 3, 12 = -2*q - 4*k for q.
2
Let g(a) = 13 + 3*a + 8*a**2 + 6*a - a**3 - 6. Let i be g(9). Suppose -i + 57 = 2*v. Solve -4*d - d = 5*o, o - v = 4*d for o.
5
Suppose 1 = g - 2. Let s be (-1)/g - 16/(-3). Suppose 0 = -s*w - 3*m - 2*m + 130, -4*m + 48 = 2*w. Solve 0 = j + 3*j - 4*o + w, 0 = 5*j + 4*o - 1 for j.
-3
Suppose -2*x = -4*x + 10. Let f be (4 - 2)/(-4)*-6. Suppose n = 3*n. Solve n = l + 2*q + f*q - 4, 0 = -x*l + 5*q + 20 for l.
4
Suppose -6*f = -2*f - 20. Suppose -4*c = f*m - 0*m - 29, -2*m + 4*c = -6. Solve -2*w + 1 = 3*i + 6, -5*w + 50 = -m*i for w.
5
Suppose 4*g + 3*y - 2 = 0, -4*y - 12 = -4. Suppose 4*u - 8 = g*u. Solve 0*x + u*s - 6 = -2*x, x = -s for x.
-3
Let s(j) = -j + 2. Let d(a) = -2*a + 1. Let i(h) = 2*d(h) - 3*s(h). Let f be i(-4). Solve 4*t + 5*y = 17, 4*y + f*y = -t + 7 for t.
3
Let z = -22 - -49. Let t = -11 - -25. Solve -4*b + 5*v + 46 = t, z = 5*b - 3*v for b.
3
Let l(d) = -4*d - 1. Let a be l(-1). Suppose -2*b + 12 = 5*q + b, 5*b = -a*q + 4. Solve -3*p = 2*m - 4*p, q*m + 4*p = 22 for m.
2
Let d(f) = f**3 + 11*f**2 + 10*f. Let m be d(-10). Solve -3*v + 8 = 4*i + v, 5*i - 5*v - 20 = m for i.
3
Let z = -10 + 15. Let g = z - 0. Suppose 0 = -2*b + 12 + 34. Solve 2*r = -g*o + b, 0*o = o + 5*r - 23 for o.
3
Let u = -2 - 0. Let i = u + 7. Suppose 5*m = 10, 0*q + 30 = 4*q + i*m. Solve -4*b + 12 = -3*b - 5*k, q*b - 5*k = 0 for b.
-3
Let p be 2*(300/(-8))/(-5). Solve -16 = 3*f - 4*y - y, 3*y = p for f.
3
Let m be 1/(-3) - (-164)/6. Suppose 2*a - 23 - 3 = 4*y, 4*y = -16. Suppose -5*v - 25 = -p, -p - 5*v = 3*p. Solve 3*s - 4*d - m = p, s = -a*d - 21 for s.
4
Let h be (-3 + 1)/(2/(-4)). Solve -h*a - 5*r = 10 + 31, -a - 5*r = 29 for a.
-4
Let a = 26 + 5. Suppose -b - b - 38 = 0. Let f = a + b. Solve o = -2*o - f, -2*n - 4*o = 18 for n.
-1
Suppose -r + 5*b = -4*r + 25, 0 = 3*r - 3*b - 57. Solve -r = -3*s - 0*s - 3*c, -s - 3*c = -9 for s.
3
Let q(c) = -c**3 - 4*c**2 + 3*c - 4. Let f be q(-5). Suppose f = m - 2*m. Let t = 4 - m. Solve -5*z = -d - 19, -4*d = 2*z - t - 2 for d.
1
Let k(o) = -5*o**2 - 4*o - 2. Let d(s) = 25*s**2 + 21*s + 11. Let p(g) = -2*d(g) - 11*k(g). Let i be p(-2). Solve -5*u = r - i, 13 - 4 = 3*u for r.
1
Suppose 0 = 5*r - 1 + 21. Let i be (-8)/r - 5 - -6. Solve -2*w = -8, 2*d - i*w = 2*w - 12 for d.
4
Suppose g = -4, 4*g = -4*o + 50 - 2. Solve 0 = v + 3*v + 2*d - o, 4*v - 2*d - 24 = 0 for v.
5
Let h(a) = -a**3 - 7*a**2 + 9*a + 8. Let o be h(-8). Let v be (7 - 6/2) + 1. Let n = v - 0. Solve o = -x + f - 7, n*x - 2*f + 3*f + 5 = 0 for x.
-2
Suppose -q + 1 = z + 2, 4*q = -16. Suppose -b = i + z*i + 6, 0 = 4*b - 5*i - 18. Solve 0 = -b*n + 5*n, -3*n = m - 2 for m.
2
Let z be -2*2/(-16) - 105/(-12). Solve -3*d - 3*j = z, -2*d = 3*d - 2*j + 22 for d.
-4
Suppose -4*p = -2*d - 28, 2*p - d - 18 = d. Solve 0 = -0*o + 4*o + 5*t + 17, p*o = t + 15 for o.
2
Let d(z) = 2*z + 32. Let t be d(-15). Solve -t*r