 - r*h = -13, 0*u + 2*u - 4 = -2*h for u.
-1
Let o be (-3 - -2) + (1 - -12). Suppose 2*s + j - 3 = -2, -2*s + j - 1 = 0. Solve 4*m + 16 = 5*g, 3*m + 4*g = -s*m - o for m.
-4
Let z(v) = v - 2. Let a = 7 + 6. Let q = a - 9. Let d be z(q). Solve -i + f + 10 = d*i, -4*i = -f - 15 for i.
5
Let t = -7 - -16. Suppose 3*n + 4*p = n - 16, -2*n + p + t = 0. Solve -4*z - 12 = 5*w, n*w = 7*w + 20 for z.
2
Let c = 2 + -2. Let t be c/3 + 0 + 3. Solve -3*d - t*h - 3 = 0, 0 = 3*d + h + 16 - 5 for d.
-5
Let u = 3 + -1. Suppose -c = 3*m - 3, u*c - 9 = 4*c + m. Let v be (c/(-2))/(-3) + 1. Solve 3*p - 7*p = 3*a - 4, v = -4*a + p - 1 for a.
0
Let n(a) = -a - 1. Let g be n(1). Let t be g - -5 - (2 + -4). Solve -t*c - v = 5, -4*c = -4*v - v + 33 for c.
-2
Let m = -12 - -16. Solve -4 = -5*c + 3*f, 3*f + 1 - 15 = -m*c for c.
2
Suppose -h + 3 = -0*h + q, -4*h - 3*q = -14. Suppose 0 = -h*n - a + 20, 1 - 5 = -n + 4*a. Solve t - 4 = -k, n*t - 16 = -0*t - 2*k for t.
4
Let g = 5 + 0. Suppose u - 2*u - 2*i = 1, 3*u + 1 = -g*i. Let w be (u/9)/((-1)/(-12)). Solve 0 = w*j + 4*v + 16, 2*v + 2*v - 29 = 5*j for j.
-5
Let u be (1 - 0)*4/2. Let v = -3 - -11. Let a(f) = f**2 - 5*f - 6. Let s be a(6). Solve u*b - 2*z - v = 0, 6 = -3*b - s*b - 3*z for b.
1
Suppose -5*r - 3*g = -19, -2*r - 2*g + 16 - 6 = 0. Suppose 2*z + r*z = 20. Solve -3*c = 4*p - 5, -z*p + c + 10 = 6*c for p.
-1
Suppose -3*z = -10*x + 5*x + 38, 5*x + 2*z = 33. Let g(p) = -p**2 + 8*p + 1. Let u be g(x). Let b = u + 6. Solve 0 = 5*v + s - 8, -3*s + b = -2*v + 7*v for v.
1
Let o = -15 - -10. Let a = -2 - o. Solve 2*f = -y - 3, 3*f - 1 = -a*y + 7*y for f.
-1
Suppose 4*d + 72 = 2*j, 191 - 65 = 4*j + d. Suppose 5*x - 3*b = j, 60 = 5*x + 5*b + 20. Solve -4*w - 12 = 4*l, l + 2*w + x = 2 for l.
-1
Let t = -71 + 74. Solve t*d = -0*d - 5*s + 9, 0 = 4*d - 4*s + 20 for d.
-2
Let i = 6 - 0. Suppose 2*j = 5 + 1. Suppose -3 = -u + j. Solve -4*a + 3*h = -u - 13, h = a - i for a.
1
Let n(q) = q**3 - 11*q**2 + 23*q + 11. Let s be n(8). Solve -2*t = t - s*p - 3, -3*t = 3*p - 21 for t.
4
Let i(f) = -2*f - 12. Let p be i(-6). Solve 2*z + 2*l - 16 = p, -2*z - l + 3 = -8 for z.
3
Let n be 1/4*2*0. Suppose 19 = 5*k + x - n*x, -5*k - 3*x + 27 = 0. Solve -3*d - 2 = 2*u + 1, -d = k*u - 6 for d.
-3
Let w be (-12)/(-1*9/12). Suppose -w = -2*f + 8. Solve 0 = 2*b + 6*y - 2*y - 18, -b + f = 3*y for b.
3
Let v(s) = -s**3 + 5*s**2 - 5*s + 4. Let w be v(3). Let a = 11 - w. Solve -5*x - 2*j = -x + 26, -a*j = 3*x + 27 for x.
-5
Let r(j) = j**2 + 4*j + 6. Let w be r(-3). Solve -w*o = -3*a - 6, -1 = o - 0*o - 2*a for o.
5
Let v = -9 + 15. Solve 2*p - 5*s = v + 14, -p = 5*s + 20 for p.
0
Suppose 0*m = -m + 414. Let s be (-4)/(-22) - m/(-22). Solve -4*o + 3*j - s = 0, 2*o = 7*j - 3*j - 22 for o.
-1
Suppose 2*w = 6*w - 56. Suppose 2*c = 5*c - 12. Let o(y) = -y - 1. Let s be o(-5). Solve 2*z + 0*d + s*d = w, c*d - 29 = -5*z for z.
5
Let r = 86 + -68. Solve 2*s + 2*s = 5*b + r, -4 = s + 3*b for s.
2
Suppose 4*g = 7*g. Suppose g = -4*n + n + 12. Solve 16 = n*m - 0, -5*y - 1 = m for y.
-1
Let i = -55 - -70. Solve -3*d - i = 2*f, -2*f + 6*f - 3 = 5*d for f.
-3
Let v(a) = a**3 + 4*a**2 - 6*a - 5. Let b be v(-5). Suppose 3*r + h - 2 = 0, -2*r - 2*r - 6 = -3*h. Solve -w + 5*z - 9 = r, b + 1 = z for w.
-4
Let r(j) = j**2 + 11*j - 2. Let b be r(-12). Let w be b*((-6)/(-4) - 0). Solve 4*f + 5*y = w, 0 = 4*f - 2*f + 2*y - 8 for f.
5
Let z be 68/(-8) - 2/4. Let c(w) = -5*w**2 - 2*w - 2. Let d be c(-2). Let l be (-29)/z - (-4)/d. Solve 3*n - 5*b + 20 = 0, -l*n - 2*n - 20 = -5*b for n.
0
Let j(l) = l**2 + 1. Let m be j(-1). Solve -3*o - 2 + 14 = -3*z, -3*z + 13 = m*o for o.
5
Suppose 5*f + 3 - 23 = 0. Let k be (-5 + (f - 5))/(-2). Solve -3*m + 2*m - o = 0, -32 = -k*m + 5*o for m.
4
Let s be ((-2)/4)/((-7)/28). Suppose 5*k + 5*x = 2*x + 93, 5*k = 3*x + 87. Suppose k = 2*p + 4. Solve 0 = j - 5*c - p, s*j = -j - 2*c + 4 for j.
2
Let y = 27 + -21. Solve u - 4 = -5*l + 10, 0 = 3*l - y for u.
4
Suppose -2*d = -0*d - 20. Solve -5*g - d = -5*f + 20, 4 = -4*g for f.
5
Let m(w) = -3*w - 2. Let z be m(4). Let t be (4*-1)/(z/21). Solve p - 1 = -3*q, -5*p - 31 = -t for q.
2
Let t(q) = q**2 - 7*q - 2. Let m(b) = -6*b**2 + 36*b + 11. Let g(n) = -2*m(n) - 11*t(n). Let j be g(-5). Solve 0*l + 15 = -3*l - 4*v, l - 5*v - 14 = j for l.
-1
Let n(l) = -9*l**2 + l. Let b be n(1). Let z = b - -16. Solve -t - 3*q - 1 = 3, 4*t + 4*q = z for t.
5
Suppose 2*w - 5*v = -18, v + 16 = 4*w + 4*v. Let o be 1/(3*w/12). Solve 2*t + 6 = 2*x, -3*x + o*t - 3*t = -7 for x.
2
Let o = 13 - 10. Solve -2*w = -6*w - 3*l - 1, 2*w - o*l - 13 = 0 for w.
2
Let q(i) = 13*i**2 + i. Let a be q(1). Let k = 7 + -4. Solve 0 = -3*t + k*g - 15, 0 = t - 5*g + a - 5 for t.
-4
Let l = 22 + -19. Solve l*h - r = -3*r + 19, 23 = 5*h - r for h.
5
Let f = -21 + -33. Let t be f/(-10) + (-4)/10. Solve 0*b + b + 2*g - 1 = 0, 4*b + t*g = -2 for b.
-3
Suppose -14*h = -0*h - 56. Solve h*c + 4 = -4*w, 0 = -3*c - 15 - 0 for w.
4
Suppose -2*s - 5*o + 3*o + 14 = 0, 5*s = -3*o + 25. Suppose -12*a + 32 = 20. Solve -y + s*v + 0 = -a, 0 = -3*y + 4*v + 7 for y.
5
Suppose -3*g + 5 + 4 = 0. Suppose q - 80 = -g*q. Suppose y + 4*y = q. Solve 2*p = p + 2, 4*b + y = 4*p for b.
1
Let p(t) = t**3 + 13*t**2 + 12*t + 5. Let b be p(-12). Solve 5*f + 4*m + 16 = 0, f - b*m = -6*m - 3 for f.
-4
Suppose 2*h = 3*h - 3. Solve 11 = -4*k + h*q, 3*k + 3*q + 18 = 2*q for k.
-5
Let a = 16 + -11. Let l = 4 - 2. Suppose -5*o = -4*y - l*o + 23, -a*o = -y + 10. Solve k + y*z = z + 6, 3*z - 5 = -k for k.
2
Let x(i) = -i - 2. Let q be x(-6). Suppose 0*f + 25 = 5*f. Suppose -f*p + 14 + 11 = 0. Solve p = -z + h, -14 = z - q*h + 3 for z.
-1
Suppose -45 = -r - 3. Let v be r/9 + 2/6. Suppose -v*p - d + 5 = -17, 5*p = -3*d + 16. Solve -1 = -2*k - o, 0 = 3*k - p*o - 0*o - 8 for k.
1
Let s(j) = 34*j + 1. Let y be 0/(-2) - (-2)/2. Let m be s(y). Solve -2*k = 5*u + 35, 2*k + 2*k + m = -3*u for u.
-5
Suppose -4*n - n + 40 = 0. Let t be (0 + -13 + 2)*-1. Suppose 0*p - 3*p + 15 = 0. Solve -a = 5*j + n, p*a + 1 + t = 3*j for j.
-1
Let w be ((-6)/(-7))/((-2)/(-42)). Suppose 0 = -4*c + 20, w - 6 = -3*j + 3*c. Suppose 0 = -4*i + 17 - j. Solve f = -0*f - y - 3, i*f = 2*y for f.
-1
Let y(q) = 2*q**2 - 9*q + 9. Let x be y(4). Solve -1 = -5*g - j, 2*g - 24 = -2*g + x*j for g.
1
Let t = -2 + 2. Suppose 3*r = -2*j - 12, 0 = 2*r - 5*j - 11 - 0. Let c be 1/r + 77/14. Solve t = -3*a - 5*b - 5 + 4, -15 = c*a - 5*b for a.
-2
Suppose 4*x = 8 - 0. Suppose t + x*d + 8 = 4*t, -5*t + 9 = d. Solve 0 = -f + 5*q + 1, 2*q = -t*f - q - 11 for f.
-4
Let p be -1*12*3/(-6). Let b = p - 3. Solve t + 0 + 19 = -3*n, -b*n - 35 = 5*t for t.
-4
Let c be 1/(1 + 0*2/(-8)). Solve -2*d = 3*a + 5, 0 = -4*d - 5*a + c - 8 for d.
2
Let x = 0 - 13. Let p be (x/(-3))/(3/9). Solve n - 2*r - 3 = 0, -2*r = 3*n + 3*r + p for n.
-1
Suppose -4*q = -3*q + 3*p - 14, -4*q = -4*p + 8. Suppose 0*g = -2*m + 4*g + 6, -3*m - q*g + 17 = 0. Solve 6*k - 2*k + 40 = -4*d, 4*k = m*d + 5 for k.
-5
Let y(l) = -l**3 + 8*l**2 - 6*l - 4. Suppose 4*x - 28 = -0*x. Let j be y(x). Solve 0 = -3*h + h + g + 7, 1 = h - j*g for h.
4
Let q = 4 - 2. Let j be (2/(-4))/((-2)/8). Suppose -5*s - 16 = 3*m, 3*m - 2*s = j*s + 29. Solve 3*v = -2*h + m, h = -0*h + q*v + 5 for h.
3
Let i(n) = -3*n - 2. Let a(s) = s. Let w = -5 - -3. Let z be a(w). Let x be i(z). Solve -b = 4*l - 7, x*l - 1 - 5 = -2*b for l.
2
Let k(a) = a**3 - 8*a**2 - 7*a - 12. Let m be k(9). Solve -4*q + t - 8 = -q, -q = 3*t + m for q.
-3
Let c(g) = 5*g - 1. Let x be c(1). Let f be -7 + -1 + (-5)/(-5). Let i = f - -17. Solve -3*w = -0*v - 2*v - i, -x*w - 10 = 2*v for v.
-5
Let x = -83 - -195. Suppose -x = -8*l + 4*l. Solve 2*d = -5*k + l, 4*d = 5*k - 2 - 2 for d.
4
Let j = 6 - 4. Let g = -2 + j. Solve 5*c - x = 14, 2*c - 5 = x - g*x for c.
3
Let g = 2 - -4. Suppose 20*q = 21*q. Solve 2*u - 5*u - j + g = q, -5*j - 30 = -5*u for u.
3
Let n be 4/(32/(-12))*-2. Solve 4*x - l = 1, -11 - 4 = n*l for x.
-1
Let w = -8 + 11. Let g = -63 + 19. Let b be g/(-10) + (-45)/(-75). Solve -b*d = -w*p, 5*d + p = d for d.
0
Suppose -4*b = 2 - 66. Solve -2*w - 4*k = 12 + 6, -4*k - b = 4*w for w.
1
Let k = -8 - -21. Let x(t) = t**2 - 14*t + 15. Let l be x(k). Solve 0 = -l*h + 3*d + 13, -h - 2*d = 2*d - 1 for h.
5
Let j = -5 - -