 4*k + 5*t = -148. Let u = k + 13. Let h = u + 34. Solve h*r - 10 = 0, 2*x = -3*r + r - 2 for x.
-3
Let a = -9 + 15. Let t = 17 - a. Let k = t + -9. Solve k*v = l - 3, 3*l = -3*v - 2*v + 20 for l.
5
Let u(b) = b**3 + 14*b**2 + 14*b + 16. Let j be u(-13). Let z = 5 - 4. Let k be z/(-3) + 49/3. Solve 0 = j*x + 6, 0 = -4*i - 0*x - 2*x - k for i.
-3
Let y = 2 + 6. Let v(x) = -x**3 + x - 6. Let r be v(0). Let i be ((-9)/r)/((-9)/(-60)). Solve 5*d = -5*b + i, 2*d + 3*d + 3*b = y for d.
1
Suppose 0 = 618*l - 630*l + 84. Suppose d - 2*d - 5*f + 18 = 0, 0 = -d - 2*f + 9. Solve -2*m - d*a = l, -10 = -4*m + 3*a - a for m.
1
Suppose 0 = -0*g - 20*g + 240. Solve -2*s - 2 + 10 = 0, l + 2*s = g for l.
4
Let y = -23 - -39. Let x = y + -16. Suppose x = 19*w - 21*w. Solve 4*l - 10 = 3*h, 4*l - 12 - 4 = w for h.
2
Suppose -1 = p - 14. Let j = 1 - p. Let n = -8 - j. Solve n*k + 5*w - 3 = -0*w, 5*w - 6 = -3*k for k.
-3
Suppose 0 = -b + 2*r - 4 - 2, 0 = 3*r - 12. Let k = 777 - 773. Let p(n) = 2*n**2 + n. Let j be p(1). Solve -1 = -m + j*l, -k*m + 6 = -l + b for m.
1
Suppose 42 = -20*f + 41*f. Solve -p = 3*a - 0*p - 3, 8 = a - f*p for a.
2
Let g(k) = -k + 12. Suppose 0 = -2*m + 7 + 7. Let q be g(m). Let z(s) = s**3 - 6*s**2 - s - 40. Let d be z(7). Solve -d*f = f + 4*c + 1, f = q*c + 6 for f.
1
Suppose 113 + 277 = 78*a. Solve -2*d - d + 2*w = -19, -a*d + 3*w = -30 for d.
3
Let y(v) = 7*v + 17. Let a be y(-6). Let i = -20 - a. Suppose t - i*d + 16 - 45 = 0, 5 = -d. Solve 3*c + 3*k + 4 = 5*c, 0 = -4*c - t*k + 8 for c.
2
Let n be -7 + 6/(3 - 6) + 28. Solve -q + 3*q - 2*i = -2, 5*q = -i + n for q.
3
Let i(q) = q**2 + 15*q + 2. Let w = -4 + -12. Let o be i(w). Solve -2*z = -5*a + o, -a = 4*a - 20 for z.
1
Let z(x) = x**2 + 17*x + 69. Let y be z(-13). Solve -16 = -4*m, -7 = 2*g + m - y for g.
3
Let u be ((-8)/(-6))/((-13)/(-468)). Let k = u - 42. Solve k = 5*q + 3*b + 25, 0 = -q + 2*b - 9 for q.
-5
Suppose 21*m - 54 = 9. Solve 4*v + 5*d + 26 = 0, -m*v - 2 = -5*d - 0*d for v.
-4
Suppose 4*t = -4, -5*y + 2*t = -2*y - 26. Solve o + 0*o + y = 5*k, -2*o - 3 = 3*k for o.
-3
Let v be (-47)/2 - (-9)/18. Let n = v + 18. Let k = n - -8. Solve -2*f = -2*y + 1 - k, -3*f = 2*y - 8 for y.
1
Let p be (-6)/(-21) + (-52)/(-14). Suppose -3*w = -3*b - 5 + 2, -p*w = -b - 10. Solve 0 = 4*l - 2*v - 16, -l - 4*v - 8 = -w*l for l.
4
Let t = -570 + 600. Solve 0 = 4*w + 5*k + 5, 0 = -4*w + w + 3*k + t for w.
5
Let i be 40/100 - 156/(-10). Let t be 3/7*(-9 + i). Solve 0 = -t*j, -2*j - 12 = -3*l + 2*j for l.
4
Suppose 26 = 5*i - 9. Let q = -4 + i. Solve -20 = o + 5*y, o + q*o = -2*y - 26 for o.
-5
Let y = 20 + -16. Suppose 2*f - 3*f + 4*c = 3, 5*f = 5*c + 15. Solve -f*o - 1 = d, -2*o = 2*o + y*d - 12 for o.
-1
Suppose v = 15*u - 11*u - 21, -10 = -5*u - 2*v. Solve -3*n = -5*c + 22, -5*c = 5*n + 6 + u for c.
2
Let s(j) = -j**3 + 8*j**2 + 2. Let l be s(8). Let b be -30*10/4*(-12)/60. Suppose 15*t - b = 10*t. Solve -q - t*q - 18 = l*y, -q + 4*y = -18 for q.
-2
Let a(s) = -s**2 + 18*s - 14. Suppose -16 + 7 = -3*j. Suppose 0 = -j*o + 14 + 37. Let h be a(o). Solve h*r - 5 = 7*r - c, 0 = -3*r + c - 4 for r.
-1
Suppose -16*u - 41 = -3*g - 12*u, 3*u - 63 = -4*g. Solve 5*d - g = -3*n - 2*n, -n - 4*d + 18 = 0 for n.
-2
Let b be 182/((-4)/8 + 25/10). Let a be 1*(-2)/12 + b/42. Let l be (-1)/4 + 98/8. Solve 4*c - l = -5*q, a*q = -c - c + 6 for q.
0
Suppose -5*l + 76 + 54 = -5*s, 0 = 4*l + 4*s - 88. Suppose -4*b + 12 = 5*f, -2*f - 2*b = -6*b - 16. Solve -f*q = 2*z, -5*z = -0*q - 2*q - l for z.
4
Suppose 77 - 32 = 5*v. Solve -d = z + d + v, 6 = -2*z - d for z.
-1
Suppose -7 = 8*o - 23. Let a(z) = -z - 1. Let u be a(-7). Let c be 1/u - 34/(-12). Solve -c*d + 4*d - 11 = -o*v, -4*v + 20 = 0 for d.
1
Suppose -3*w = a - 7, 4*w - 4 = 3*a + a. Suppose 2*z + 44 = -w*x, x + 46 = -3*z + 3*x. Let s = z - -22. Solve 4*g + 8 = -h + 5*h, -g - h = -s for g.
1
Let s(j) = j**2 + 14*j + 27. Let d be s(-12). Solve 2*p - 10 = -d*t, -5*p + 9 = t - 3 for t.
2
Suppose 11*l + 13*l = 120. Solve 0 = -4*x + 3*k + 24 - 7, k = l*x - 24 for x.
5
Let a(h) = -h**2 + 5*h + 22. Let d be a(8). Let c be 1336/88 + d/11. Solve -4*n + 4 = -2*v, -5*n + 0 + c = 0 for v.
4
Let x(v) = -18*v + 185. Let r be x(10). Solve 3*d = 4*s + 8, s - 16 = -r*d + 5 for s.
1
Suppose -7 + 10 = v. Let p(t) = t - 1. Let l be p(v). Solve 3*f - l*f = n + 1, 4*f = 3*n + 1 for n.
-3
Let w(j) = -2*j**2 + 49*j - 23. Let x be w(24). Solve y + 30 = -y - 5*b, y - b + x = 0 for y.
-5
Let h be (2 - -10) + (-12)/4. Suppose 5*x = -5*q + 81 + h, 3*q = 5*x + 78. Solve -k + 5*w - 25 = 0, -q = -0*k + k - 4*w for k.
-5
Let s be (-88)/(-24) - 4/6. Suppose s*j + 3*x - 12 = 4*x, -1 = j - 2*x. Solve -j*l + 3*f = -20, 2*f + 7 + 5 = 3*l for l.
4
Suppose 0 = -0*q + q - 5. Suppose -3*t + t = -2*z + 18, 0 = -q*t. Solve -f + 2*a = 5, -f = 3*f + 3*a + z for f.
-3
Let i(a) = -3*a. Let m be i(-6). Let z be 4/m - (-16)/9. Let o = -325 + 330. Solve -o*l + 3*l + z = 2*f, -3*l + f = -7 for l.
2
Suppose 0 = -14*h + 11*h + 24. Let i be 0*((-2)/8 - 2/h). Solve 0 = 2*o - q - 3, -2*o + i*q + 18 = 2*q for o.
4
Let j be -2 + (-3)/(-6)*6. Let r = j + 1. Suppose -n = -2*n + r. Solve -2*w + 2*g + 14 = 0, -3*w + n*g + 29 = -3*g for w.
3
Let i be (14*(0 + 1))/(-1). Let v be (i/7)/((-4)/(-6)). Let w = v + 8. Solve 3*p - 9 - 6 = w*f, 0 = -2*p for f.
-3
Let m = 1 + 3. Suppose m*w - 72 = 4*d, 3*d - 19 = -3*w + 5. Solve i + 5*z = 2*i - 16, -i + w = -4*z for i.
1
Let v(c) = c**2 + 5*c + 1. Let i be v(-7). Let m = i - 10. Solve m*r - 3*u - 4 = 0, -17 = 6*r - r + 4*u for r.
-1
Let b = -24 - -25. Let z be (-2)/b*2/(-2). Suppose 3*g = 10 + z. Solve -3*m - 2*r - 4 = m, -g*r - 17 = -m for m.
1
Suppose c + z = 19, 4*c = 2*z - 0*z + 46. Suppose -2*s + 3*s = -5*w + c, 4*s - 24 = -4*w. Solve -4*b + 4*j - 8 = 0, 0 = -3*b - b - s*j for b.
-1
Let r(m) = 6*m**3 - 4*m**2 - 16*m + 19. Let w be r(1). Solve 5*n + 25 = -2*d, -4*n = w*d - n + 34 for d.
-5
Suppose 2*l - 10 + 2 = 0. Suppose -2*f + 7 = d, -5 = -l*f + d - 0. Solve -f*t = 0, 2*t + 2 = 2*r - 4*r for r.
-1
Let y = 1927 - 1924. Solve -n = 5*g + 5, -g - y*n = -6*n + 17 for g.
-2
Let f(z) = -z**2 + 3*z + 13. Let x be f(-2). Solve -w + 7*q + 19 = 2*q, -x*q - 9 = 0 for w.
4
Let g = 749 + -749. Solve -2*v = -c - 4, g + 6 = -2*v - 4*c for v.
1
Let y be 9858/2046 - (4/11)/(-2). Solve -3*a + 14 = -d, 28 = -y*d - 2*a + 3*a for d.
-5
Let q(t) = t**2 - 2*t + 3. Suppose 0 = 2*d + d - 4*j + 2, 0 = -5*d + 2*j + 6. Let m be q(d). Solve -m*l = -4*w + 2*l - 15, -l = 5*w - 3 for w.
0
Let v(x) = 5*x + 19. Let g be v(-3). Solve 18 - 4 = -g*q - f, 2 = f for q.
-4
Let j = -15 + 22. Suppose -a = j*a. Solve a*k - 3*s = -4*k + 14, 2*k + 3*s = 16 for k.
5
Let c(a) be the first derivative of -a**3/3 - 7*a**2 - 8*a + 13. Let y be c(-13). Solve -5*p + 10 = 4*q, -p - 4*p - 35 = -y*q for q.
5
Let k be (2/9)/(22*(-19)/(-3762)). Solve q = 3*n + 17, k + 20 = -4*n + q for n.
-5
Suppose -6*c - 12*c = -54. Solve -20 + 7 = -c*b + 2*v, -v = b - 1 for b.
3
Suppose -5*h = 2*g, 0 = -2*g + 3*g - h - 7. Let x = -538 + 552. Solve 0 = 4*o - 2*q + x, 3*q + 3 = g*o + 23 for o.
-1
Let h = 154 + -154. Solve -25 = -5*q + 5*k, 3*q + 5*k + 8 + 1 = h for q.
2
Suppose k = -4*k + 10. Suppose -2*y = 3*y - k*g + 69, -2*y - 4*g - 42 = 0. Let a be -3 + (-3 - y) + -1. Solve -a = 4*w - h - 2, h = -4*w - 10 for w.
-2
Suppose -4*w + 3*w = -6. Let r(m) = m - 4. Let g be r(w). Let s = 7 - g. Solve -k + 0*k - 9 = 5*n, -2*k + 12 = -s*n for k.
1
Let z(n) = 5*n**2 - 37*n - 18. Let y be z(8). Solve k - 2*p - 8 = 0, -y*k + 4*k + 2*p = -8 for k.
0
Let r(p) = -2*p**2 + 7*p - 4. Let f be r(2). Let n be (4 - 3 - 0)*3. Solve n*v = -3*i + 24, 3*v + f*i = -3*i + 32 for v.
4
Suppose -4*g + f + 52 = 0, 4*g - 5*f - 36 = 32. Suppose -v - g = 4*l, 0 = -3*v + 4*l - 0*l + 28. Solve 0 = -5*c - 15, 0*c + 4*c = -v*q - 12 for q.
0
Let x(n) = n**3 - 15*n**2 - 53*n - 13. Let o be x(18). Solve -c = -3*r - 1, 5*r + o*c = -9 - 6 for r.
-1
Suppose 0 = -v - 15 + 20. Suppose -h = -k - v, -5*k + 4*k - 1 = 0. Solve -3*y + 15 = 4*z - h*y, z = -y + 10 for z.
5
Suppose 0 = 3*d - 2*d + 6. Let k be ((-20)/d)/((-2)/(-3)). Let x be ((-6)/(-5))/(k/25). Solve -2 = -s, 4*s = 3*t + s + x for t.
0
Let p(k) = 6*k - 16. Let t be p(4). Suppose -48 + t = -8*z. Solve 4*d = -i - 0*i - 9, 4*d + z*i 