 = -5*a. Let h = k + y. Solve -4*v - h*z - 20 = -2, 0 = 4*v + 3*z + 23 for v.
-2
Suppose 0 = -4*t + 4, 2*t - t = 2*v + 1. Solve 4*b = 16, v*b + 6 = -2*m + 2*b for m.
1
Suppose 5*q + 0*q - 24 = 4*o, 0 = 4*o + 4. Suppose -2*f = -3*v + 17, -v - 2*f + 7 = -4*f. Solve p - 16 = -v*m, m + 2*p = -0*m - q for m.
4
Let s be (0/2 - -2)/2. Suppose 4*f - s = 3*o - 0, 0 = 4*o - 4*f. Solve -3*j + o = -4*n, 6 = 5*n - 4 for j.
3
Suppose -4*x = -2*m - 84 - 62, 2*x + 5*m = 67. Suppose 3*t = -4*v + 12, -6*v + 2*v = -3*t - x. Let f = v - 2. Solve f*p = l + 2*l + 25, 5*l = -5*p + 5 for l.
-3
Suppose -3*l + 18 = 4*y, y = 5*l + 1 - 8. Solve 0 = j - 2*x + l, -2 + 8 = -3*j + 3*x for j.
-2
Suppose l = 2*l - 2. Suppose q - 6 = -l*q. Suppose k = -a + 33, -q*a + 4*k = -0*k - 48. Solve -z - 2*z - a = 3*d, 5*d + z + 30 = 0 for d.
-5
Let y be 24 + 2*-1*-1. Let m = -12 + y. Let f be 1/3*(2 - 2). Solve -4*u + f*v + m = -2*v, -5*v = -5 for u.
4
Suppose a + 2*r = -2*r + 4, -2*a - 5*r = -5. Let f be (6 - a)/2 - 3. Solve -n - 16 = 2*n + 5*p, -2*n - 2*p - 8 = f for n.
-2
Let g(q) = -q**3 + 3*q**2 + 6*q - 2. Let z be g(4). Let n be z/12*(1 - 1). Solve 2*j + n*j = -4*l + 18, -5*l = 3*j - 23 for l.
4
Suppose 67 = 4*t - 57. Suppose 9 = -3*u + 4*p + t, -2*p + 16 = 3*u. Let k be 6/(-9) - (-2)/3. Solve m + k - 4 = 0, -u = -2*n + m for n.
5
Suppose 0 = -2*v + 104 + 22. Let n = 59 + -36. Let d = v - n. Solve 5*k + 9 = -5*l - 1, -5*l + d = -5*k for l.
3
Let r = 18 - 16. Solve -15 = s - 7*a + 2*a, 2*a - 18 = -r*s for s.
5
Suppose -3*g + 56 = 4*b + 19, -120 = -5*g + 5*b. Solve 0*a + g = -3*a + 5*r, 4*a - 5*r = -22 for a.
-3
Let c be ((-33)/(-22))/(3/16). Solve -d - k = -c, -d = d - 4*k + 8 for d.
4
Let d = -3 - -12. Let t be 3/d*-22*-3. Solve -4*y = -2*g + 3*g - 14, 3*g = 4*y - t for g.
-2
Let d(b) = 3*b**2 - 3*b + 2. Let s be d(2). Suppose 0 = -o - 4*o, -4*y + 2*o = -s. Solve -5*r = 0, -y*r + 0*r - 15 = 5*c for c.
-3
Suppose -5*y - 70 = -2*s, 5*y - s + 80 = 3*s. Let q be (y/10)/(9/(-60)). Suppose 0 = -w - w + q. Solve 2*f = -2*o, w*o + 7*f + 5 = 4*f for o.
-5
Let i = -22 + 24. Let v be (-42)/14 + (6 - -1). Solve -g + 6 = 3*l, v*l + i*g = -3*g + 8 for l.
2
Let c = 10 + -10. Solve 6*f - 2*f + 16 = -h, -2*f - 2*h - 2 = c for f.
-5
Let c(f) = 2*f + 32. Let x be c(-15). Solve -2*n - x*t - 9 = n, 4*n + 3*t = -11 for n.
-5
Let j = 2 - -1. Solve 4*n + 8 = -4*d, -d + j = -2*n + 11 for d.
-4
Let t be ((-12)/16)/(1/(-8)). Suppose -5*x = -2 - 8. Let r = t - x. Solve r*b = 6*b - 2*c + 2, 2*c = -b - 7 for b.
-3
Let o = -166 - -184. Solve 0 = 4*s + 21 - 1, -2*d = 4*s + o for d.
1
Suppose -2*f = -4*s + f + 3, s - 12 = 3*f. Let l be (1 + (-7)/3)*s. Solve -r + l = 0, 5*x + 2*r - 18 = 3*x for x.
5
Let z(k) = k**3 - 13*k**2 + 12*k + 3. Let w be z(12). Solve w*x - 4 = -o + 12, 3*o - 12 = 0 for x.
4
Suppose 2*k + 5*i - 43 = 0, 2*k + 2*i - 28 = -0*k. Let j = 13 - k. Solve -31 = -j*g + 4*m - 3, 3*m = -2*g - 11 for g.
2
Suppose -2*k + 2 = -14. Suppose k*f = 3*f. Solve d + n - 1 = f, -d + 2 = 2*n - 2 for d.
-2
Let d = 6 + -1. Let m be ((-10)/30)/(2/(-78)). Let q = m + -10. Solve d*k = q*j - 14 + 33, 4*j - 2*k + 2 = 0 for j.
2
Suppose -8 = -0*j + 2*j. Let v be (j/12)/(1/(-9)). Solve 15 = v*k - 6*k + 4*r, -k + 2*r - 5 = 0 for k.
-5
Let h be 152/36 + (-2)/9. Solve -2*g + 3*n = -13, h*g - 4*n = -6*n + 2 for g.
2
Suppose 4*p - 2*c = 6, -3*p + 0 + 2 = -2*c. Solve -k - k - 20 = p*n, 15 = 4*k - 3*n for k.
0
Let p(q) = -2*q**2 - 5*q - 5. Let m(o) = -o**2 - 4*o - 4. Let a(x) = 4*m(x) - 3*p(x). Let z be a(3). Solve -3*f + 2 = 4*d - 2, -z = -5*f - 3*d for f.
4
Let k = 1 + 1. Suppose -3*a - 2 = -o - 0*a, o - 2 = k*a. Solve 2*v = -4*x + 6, 6*v + o*x - 1 = 3*v for v.
-1
Let n be (-30)/(-8) + (-27)/36. Solve 0 = 5*b + 5*o + 25, -2*b - 2*o = -n*o - 2 for b.
-1
Let l(x) = x**2 - 6*x + 17. Let a be l(7). Solve -3*t + 4*g = a, -23 = 2*t - 4*g - 3 for t.
-4
Let p be (4 - (-96)/(-18))*3/(-2). Solve 5*m = 4*o + 2*m - p, 4*o - 6 = m for o.
2
Suppose -5*i + 37 = -3. Solve 0 = 4*v + 2*n - i, n = v - 0*n + 4 for v.
0
Let f = -5 + 5. Suppose -2*u - 14 = -2*i - f*i, -5*i - 4*u = 1. Suppose 16 = q + 3*q. Solve -2*g + k + q = 0, 5*k - i*k + 8 = -g for g.
0
Suppose -2*c + 8 = 4*x, 5*c + 0*x - 65 = 5*x. Let h be 48/c + (-1)/(-5). Suppose 5*b - 31 = -11. Solve 0 = 2*y + u + h, 5*y + b*u + 10 - 2 = 0 for y.
-4
Suppose -3*d + d - 2 = 0. Let p be -3 + 6/2 + -2. Let k be (p - -1)*1 - d. Solve -4*i - 15 = q, 5*i - 4*q + 33 + 12 = k for i.
-5
Suppose -63 = -13*w - 180. Suppose -5*m + 28 = -432. Let h be m/9 + 2/w. Solve -r + 5*s = h, -5*s + 19 = -3*r - 1 for r.
-5
Suppose o + 19 = 3*t - 3*o, -t + o + 5 = 0. Solve 5*i - t = -3*s + 2*s, -16 = 4*i + 5*s for i.
1
Suppose 23 = -3*k - 1. Suppose 3*s + 2*n = -9, 6 = -2*s - 2*n + 3*n. Let r = s - k. Solve -4*p + 1 = -r*m, -7 = 4*m + 5*p + 2 for m.
-1
Suppose -4*q - 4*k + 18 - 6 = 0, q = -4*k + 3. Suppose -168*t = -174*t. Solve 3*l - 6*l - q = t, -8 = -3*w - 4*l for w.
4
Let n be ((-4)/(-10))/(2/(-30)). Let a(g) = -2*g - 10. Let t be a(n). Solve -3*f = -l - 4, 4*f - l = t*l + 2 for f.
2
Suppose 4*l = 4*p - 16, 0 = -2*p + 4*p - 5*l - 8. Suppose 1 = -0*r + r. Let a be 1 + (3*4 - r). Solve -p*y - a = 3*d, -3*d - 2*y + 2 = 8 for d.
0
Suppose 0 = 7*r - 12 - 9. Solve -r*q + 3*m - 6 = -0*q, 2*m - 8 = -2*q for q.
1
Let j be (-20)/4*(-4)/10. Suppose -j*r + 13 = 3. Solve -r*i + 5*b = -25, -i = -5*i + 5*b + 24 for i.
1
Let j(h) = -3*h**3 + 2*h - 3*h**2 + 4*h**3 - h**2. Let q be j(4). Solve -3*w + g = q, 2*w + 2*g = -g + 13 for w.
-1
Let u = -26 - -26. Suppose -6*p + 10 + 8 = u. Solve g - 18 = p*y - 6*y, -1 = -2*y + 3*g for y.
5
Suppose -r + 4*r = 12. Suppose 2*m - 4*m = -r. Suppose n - 45 = -m*n. Solve 2*p - 4*f + 1 = -n, 2*p + 3*f - 12 = 0 for p.
0
Let y(z) = z + 6. Let u be y(-10). Let m(b) = -b**2 - 6*b - 3. Let s be m(u). Solve -4*l = 4*d - 24, 20 = -7*d + 2*d + s*l for d.
1
Suppose -2*d - 10 = -s, -s + d - 4*d - 15 = 0. Solve 3*r + 3*j - 1 = -4, -r - 5*j + 3 = s for r.
-2
Let m = -7 - -12. Solve j - 8 = -3*l, 4*j + m*l - 13 = 2*j for j.
-1
Suppose 5*i = 13 + 2. Suppose 4 = -w + i*w. Suppose o + 10 = 3*o. Solve -m - o*d = w, 5*m - 2*d + 10 = -7*d for m.
-2
Suppose 5*h + 3*o - 14 = 13, 4*o = -h + 19. Let r be ((-1)/(2/(-4)))/(-2). Let y = 2 - r. Solve -7*d + 3*z + 3 = -y*d, -h*d - 2*z = 19 for d.
-3
Let d be -1 + -1 + 15 + -2. Let l = d + 1. Solve -l = 3*v, -4*v - 16 = -2*i - v for i.
2
Let b(n) = 4*n - 13. Let l be b(4). Solve 3*f - 6 = l*x, 0 = -3*x + 5*f - 3 + 1 for x.
-4
Let f = 9 - 10. Let r be (f - -1) + (-280)/(-8). Solve 5*b - r = -0*b - 2*x, 0 = -b + 4*x - 15 for b.
5
Let k = -24 - -31. Solve -2 = -2*o + 4*o, -2*m + k = -3*o for m.
2
Let t = -8 - -13. Suppose -3*b + 6 + 9 = 0. Solve 3*n - 16 = g + g, -t = b*n + 3*g for n.
2
Suppose 13 - 10 = 3*w. Suppose 0 = -2*q - 4, 0 = -p - 2*q + 7*q + 14. Let z be (w + 3)/(p/4). Solve -4*b + 18 = 2*x, -z*x - 2*b = x - 5 for x.
-1
Suppose w - 1 = 2. Let m(h) = -2 + 0*h - 2*h + w*h. Let i be m(4). Solve 2*t - 4*u - i = -u, 5*t + u - 5 = 0 for t.
1
Let o(k) = -k. Let z be o(-3). Solve -5*f - z*l + 11 = -l, -2*f - 2*l = -2 for f.
3
Let q = -30 + 32. Solve 4*x = 2*n + x + 4, -x = -q*n for n.
1
Let u be 3/6 + 6/4. Let i be 2/(-4) - (-15)/u. Solve l - 4*l = 4*j + i, 5*j + 1 = 4*l for l.
-1
Suppose -2*p + 7 = -1. Let z(g) = 2*g**2 - 4*g - 5. Let i be z(p). Solve 5*a = -5*v + v - i, v = -a - 2 for v.
1
Suppose 0 = 2*g + 18 - 4. Let r = -5 - g. Solve 6*z + b = r*z + 5, -5*b = 3*z + 9 for z.
2
Let o(p) = p**2 + 10*p + 17. Let x be o(-9). Solve -x - 19 = -4*w + 5*y, 21 = 2*w - 5*y for w.
3
Suppose 2*n - n - 2 = 0. Suppose 4 = 4*c, -n*z - 3*z = -4*c - 46. Suppose 2*a + z = 5*o, 0*o + 3*o = -3*a + 6. Solve -3*m - j = -o*j + 19, -3*m - 3*j = 3 for m.
-5
Suppose -3*s + 2*a + 4 = 0, -5*a - 10 = -3*s + 2*s. Suppose s = 4*d + d. Solve 0 = b + z + 9, d = z + 2 + 3 for b.
-4
Suppose 0 = 4*i + i + 10. Let a = -19 - -23. Let o = i + a. Solve -o*u - 3*f + 12 = -f, 5*u - 26 = -4*f for u.
2
Let p(z) = -z + 7. Let b be p(3). Suppose -214 + 46 = -b*x. Suppose 5*m - 3*r - x = 124, -38 = -m - r. Solve -5*k + y = -11, -9 + m = 2*k + 5*y for k.
3
Let w = 9 + -15. Let s = w - -9. Solve -2*r + s*i - 8 = -3, -2*i = -10 for r.
5
Let q be (-1 + -2)*(1 + -2). Let a = q + 0. Suppose 0 = -4*z - 14 + 82. Solve 3*o