 = c + 5 for k.
-2
Let s = 153 + -148. Solve 4*q + s*h = -27, 0 = 4*q - 2*h + 5 + 1 for q.
-3
Let y(q) = -q**3 + 15*q**2 - 16*q + 31. Let x be y(14). Let p be 0/(0 + -1 - 2). Suppose p = 5*o - 9*o. Solve 3*a + x = -o*a, -3*a + 2 = 5*i for i.
1
Let j(t) = 6*t**2 + 20*t + 40. Let m be j(-2). Solve -4*d - 3*h + 4*h + m = 0, 5*d = 2*h + 33 for d.
5
Let c(y) = 8*y - 45. Let z be c(6). Suppose -z*s = -4*h, -4*s + 2*h + 4 = -6. Solve -5*w = 3*q - 3, -q + s = 4*w + q for w.
3
Suppose -55 - 53 = 6*j. Let w = j - -20. Suppose -2*p - w*p + 16 = 0. Solve -p*r = -9*r + 4*a + 17, -3*a = r + 8 for r.
1
Let u(p) = -p**2 - 6*p - 2. Let f be u(-5). Let y = -438 + 442. Solve -11 - y = 4*h - m, -3*h - f*m = 15 for h.
-4
Suppose 70 = 26*w - 34. Solve 2*t - 24 = -3*t + 2*d, -4*t + 8 = w*d for t.
4
Let i be (4*1)/(-4 + 3). Let b = -1 - i. Suppose -3*g + 21 = b*x, -x = -2*x - 5*g + 23. Solve x*t = t - j + 4, -j = -2*t for t.
1
Let u be (-3 - -1)/2 + (1 - -4). Solve u*i - 2*x + 6 - 28 = 0, i + x - 1 = 0 for i.
4
Let c be (51/(-18) - -3) + (-639)/(-54). Solve -3*o = 2*o + 3*s + 16, -c = 3*o + s for o.
-5
Let j be (7/(-2))/((-2)/4). Let v = -75 + 87. Let w = v - j. Solve w*s = 2*t - 21, 3*s + 7 = t - 5 for t.
3
Let s be ((-4)/14)/((-17)/238)*2. Solve 12 = -u + 3*f, 0*f = -3*u - 2*f + s for u.
0
Suppose -5*v - 3*l + 26 = 0, 0 = -4*v + l - 0*l + 14. Suppose -4*y = -f, 2*f - y = v*y. Solve 3*o + q - 1 = f, q = -3*o - 2*q - 3 for o.
1
Let l = 587 + -573. Solve -l = -5*i - 3*o + 26, 2*o - 25 = -3*i for i.
5
Let g be -6*((-35)/(-10) + -4). Let r be (-12)/(-20)*((-15)/(-1))/g. Solve 3*l - 2*l - 4*i + 11 = 0, -r*i = -l - 7 for l.
5
Let l be (0 - 0)/((-675)/135). Solve -3*z - 11 = -4*r + 9, -2*r - 3*z - 8 = l for r.
2
Let j = 1 - -2. Let z = j + 3. Suppose -4*o = 5*b - 14 - 9, 3*b = o + 7. Solve -o*g + 9 = f, z = g + g for f.
3
Suppose 1 - 13 = -6*j. Suppose 7*g - 4*g + x - 7 = 0, j*g + 2*x = 6. Let o be 56/9 - (-8)/(-36). Solve -g*f + o = -3*k, -k = 2*k + 4*f + 24 for k.
-4
Let h = 15 - 10. Suppose -h*f - 4 = -6*f. Solve f*k + 5*y + 1 = 2, 3*k - 21 = 3*y for k.
4
Let b(p) = p**2 + 16*p - 34. Let h be b(-18). Solve -n - 2 = h*r, -11 + 5 = n - 2*r for n.
-4
Let b(v) = -v**3 + 5*v**2 + 16*v - 6. Suppose -1 + 8 = h. Let s be b(h). Let d = s - 5. Solve 4*z = -d*x + 1, -5*z + 6 = -4*z - 5*x for z.
1
Suppose 0 = -3*h - 2*a + 45, -2*h + 30 = -3*a + 2*a. Suppose 3*n + 2*t = 14 - 5, 5*n - t = h. Solve n*k + 3 = 2*g + 5, -21 = -g - 4*k for g.
5
Let x = 188 + -185. Solve g + 1 = -x, 4*o = -5*g - 28 for o.
-2
Suppose -25*m = -24*m - 5*x + 6, 2*m = x + 6. Solve -4*u + n = -2*u + 4, m*u + 6 = n for u.
-1
Let t be (-21)/(-6) + 1 - (-10)/20. Solve -3*z + 4*s + 3 = -3, -2*z = -3*s - t for z.
-2
Let s = -966 + 968. Solve -s*z - 2*f - 1 = -7, z = -4*f for z.
4
Suppose -2*n - 5*t + 6 = 0, -5*t = -4*n + 14 - 2. Let z(s) = s - 8. Let g be z(6). Let f = -2 - g. Solve 4*m + 4*c - n = 1, f = 5*m - 3*c + 19 for m.
-2
Let b = 13 + -8. Suppose j = 2*j. Suppose j = 3*k - 4 - 2. Solve -5*m + 3 + k = 0, 5*m = -b*x + 5 for x.
0
Let x be (2 - -3) + (5 - 4). Let o = 10 - x. Suppose l - 4*z - o = 0, 2*l - 3*z - 8 = -2*z. Solve 2*k - 16 = -2*a + 7*k, l*k + 18 = -a for a.
-2
Let f(g) = 2*g + 4. Let n be f(7). Let y = -18 + n. Suppose 5*p + 4*q - 40 = y, 4*p + 3*q - 10 - 21 = 0. Solve -20 = p*d, 2*d + 23 = 3*h + 1 for h.
4
Let s be (-56)/(-4) + 2 + -4. Suppose -4*h = -2*n - 0*n - s, 0 = -5*n + 20. Solve 5*b = z + h + 8, -5*z = 4*b + 7 for b.
2
Let v(r) = -17*r**2 - 9 - 13*r**2 + r + 31*r**2. Let l be v(-6). Let q = 25 - l. Solve q*u - 2*z = -10, -6*u + 3*z = -11*u + 4 for u.
-1
Let b(l) = 40*l - 120. Let n be b(3). Solve 5*j - 10 = n, 6*j - 3*j = -d + 5 for d.
-1
Suppose -9*o = -10*o. Suppose o = 2*u - t - 63 + 14, 0 = u - 4*t - 14. Solve 2*s - u = -5*q, -5*s = -2*s - 9 for q.
4
Suppose -3*u = 5*a - 26, -a - 2*u = -0*u - 1. Suppose f + 0*f = 15. Let i(t) = t - 13. Let h be i(f). Solve 2*q + a = -y - 0, h*y = 3*q + 7 for q.
-3
Suppose -12 + 2 = -5*i. Suppose -2*w + 6*h - 2*h + i = 0, -3*w + 21 = 3*h. Suppose -w*o + 2 = -18. Solve o*c = 3*j - 3 + 2, -c - 4 = 0 for j.
-5
Let a(i) = 2*i + 1 + 0 - 4*i**3 - i. Let f be (2 + -5 + 1)/2. Let y be a(f). Solve m + 5*q - y = -15, m + 7 = -3*q for m.
-1
Let w be 2/(-11) - 4/(-22). Suppose -606*z = -605*z. Solve w = 2*j + 8, 5*m - j + z = 4 for m.
0
Let y(c) = 8*c. Let h be y(1). Let f = 8 - h. Let v = -8 - -14. Solve a + 9 = x + 3*a, -4*x - 2*a + v = f for x.
-1
Suppose 9 = 5*y + 4*s, 3*s - 69 + 56 = -5*y. Solve -l + 2*m = 10, 0 = l + y*m - m - 8 for l.
-4
Let s be (5/2)/((-1)/(-2)). Let d(y) = y**3 + 6*y**2 + 3*y - 4. Let v be d(-2). Let o be (-1 + 13 + 1)/1. Solve f + v = 4*j - o, -s*j = 5*f - 5 for j.
4
Let r(y) = -y**2 - 10*y + 1. Let k be (-88)/66*18/4. Let d be r(k). Solve 4*z - 7 = -t, -z + 6*z - 2*t - d = 0 for z.
3
Suppose -9*z + 8*z = -2. Let n(s) = 3*s - 2. Let d be n(z). Solve -3*r = 3*x - x - 14, d*x = -2*r + 20 for r.
2
Suppose -d + 34 + 1 = 3*j, -3*d = -3*j + 27. Suppose -3*l = n - 9, -j - 4 = -5*l + 3*n. Solve -3*q = -l*k + k - 2, -2 = 4*k - 5*q for k.
2
Let b be -2*-2*26/8. Suppose 15*p = 20*p + 50. Let a = b + p. Solve f = 5*u - u + 1, -2*f = a*u - 2 for u.
0
Suppose 0*k - k + 3*g = 4, -5*k - 5*g + 20 = 0. Let b be -14 - -5 - (-18 - -3). Solve 3*v + 2*l + b = 2*v, k*v - 3*l = 16 for v.
2
Let y(n) = 10*n + 137. Let a be y(-11). Solve -5*s = 5*i - i - a, 4*i - s = 9 for i.
3
Let j(x) = 2*x**3 - 5*x**2 + 4*x + 1. Let y be j(3). Suppose 7*l - y = -1. Solve 5*z + 3*r = -16, 3*z + 1 + l = r for z.
-2
Let u be 0*(7 - (-66)/(-11)). Solve 5*f - 3*t - 6 - 10 = 0, 2*f + 2*t - 16 = u for f.
5
Let l(b) = 7*b + 12. Let s(c) = -c - 1. Let t(n) = l(n) + 6*s(n). Let k be t(-4). Solve -k*j + 3*o - 18 = -4*j, 0 = 5*j + o - 19 for j.
3
Let w(s) = -2*s - 46. Let k be w(-25). Solve -r = -3*r - k*h - 2, -4*r - 15 = -3*h for r.
-3
Suppose -41 = -3*r + n, -9*r - n + 50 = -5*r. Solve 5*l + 6 = -4*c + 27, r = 3*c + l for c.
4
Suppose d - 3*d = 0. Suppose 2*s + 0*s - 10 = d. Let n be 3/(-2)*-1*12/9. Solve -3*t - 5 = s*b + 1, 0 = -n*t + 6 for b.
-3
Suppose -5 = -3*a + 4. Suppose -a*m + 4*m = 2. Solve -2*r = -2*q - q + 4, 0 = -5*r - m*q - 10 for r.
-2
Suppose 2*a = 6 - 2. Suppose -5*n = 2*z + 10, -4*z + 2*n = -a*n - 8. Solve b = 2*y + 10, b - 5*b - 2*y + 10 = z for b.
4
Let y(u) = 0*u + 3*u - 5*u - 4 + 11 - u**2. Let b be y(-3). Solve 8*j = -b*n + 3*j - 11, 2*j = -n - 2 for n.
-4
Let v(j) = -j**3 + 10*j**2 - 10*j + 8. Let n be v(10). Let q = 97 + n. Solve 0 = -4*f - q*t + 21, 2*f + 4*t = 3*f for f.
4
Suppose 6*t = 7*t - 3. Solve 0 = -j + 2, -x - 4*j = -t*j - 1 for x.
-1
Suppose 3*u = 5*u + 4. Let p(y) = y**2 + 2*y + 2. Let r be p(u). Suppose -4*d + 5 = -5*d, -3*z - d = 5. Solve -4*i - 2*m + 12 = z, r = i - 3*m + 4*m for i.
4
Suppose 0 = p - 5*p - 2*k + 12, 5*p + 2*k = 13. Let b be p + (-6)/(-9)*6. Suppose -a = -b*a + 16. Solve -2*s - 6 = -2*v + a, 5*s - 20 = -4*v for v.
5
Let t = -23 + 28. Let a = 11 + -8. Suppose a*x - 18 = -4*b + 6, 0 = -4*x + 16. Solve -b*s + 2 = -2*z - 11, t*s = 5*z + 30 for s.
1
Suppose 19*x = 74*x - 825. Solve 0*s + x = -s - 3*g, -5*s + 2*g - 7 = 0 for s.
-3
Suppose -2*z - 5 = -3*f, -4*z - 7 = -2*f - 9. Solve -k + 8 = k, -f*k = 3*d - 6 for d.
-2
Let x be 40/5*3*1/12. Suppose p + 3 = 1, 2*p = x*w - 28. Solve -3*n - 3*d + 6 = -6*n, -w = n - 3*d for n.
3
Let p = 46 - 69. Suppose -x = -2*u + 17, -5*x - 5*u = 82 + 33. Let s = x - p. Solve 2*l + 2*z = 2, s = 4*l + 5*z - 1 for l.
2
Let u(z) = -z**2 + 6*z - 3. Let x be u(5). Let s = -185 - -190. Suppose x*w = 6*w + 5*l - 35, 0 = 4*w - 5*l - s. Solve 4*g = -3*q - q, g - 6 = w*q for q.
-1
Suppose 313 - 308 = 4*c + 3*a, -4*a - 4 = 0. Let z be ((-1)/(-1))/((-2)/(-6)). Let q be 6/(-3) + z - -1. Solve q*k - 11 = k + 3*p, -4*p = -c*k + 12 for k.
-4
Suppose -10 = -3*z - 2*z - 5*d, 0 = -3*z + d + 22. Solve -z*s = -3*s + 4*i + 22, 2*i = 4*s for s.
-2
Let o = 941 - 938. Solve 2*p - 4*t + 16 = 0, -3*p - o*t + 11 = -1 for p.
0
Let o = 142 - 137. Solve 8 = -m + 2*p - o, 2*m = -4*p + 14 for m.
-3
Let j be 10/(4/(-2))*(69 + -70). Solve 8*g - 3*g = y - 25, 0 = -y + g + j for y.
0
Suppose -114*g = -111*g - 6. Solve -5*a = r + 16, -6*r + 3*r + g*a = -20 for r.
4
Let f(s) = -10*s - 37. Let i be f(-4). Let b(t) = t + 5. Let q be b(0). Suppos