= k*r + 5*v for r.
-5
Suppose -1 = -4*h + 3*v + 3, -24 = -3*h - 3*v. Let b = 5 + -3. Let l be (3 - b) + (1 - 0). Solve -i + 13 = -l*k, -4*k - h = 5*i + 1 for k.
-5
Suppose -10*p = -6*p - 5*v + 12, -5*p - v + 14 = 0. Solve -2*h + 2 = -h, p*h + 5 = 3*d for d.
3
Let y = -28 + 46. Let v = 23 - y. Solve -3*s = k - 11, -5*k + 11 + 4 = v*s for s.
4
Let l be (-12)/(-66) + 224/(-22). Let r = l - -15. Suppose -4*a - r*f - 19 - 1 = 0, -a + 4 = -f. Solve 4*k - 5*t - 6 = -a*k, -4*k = -2*t - 12 for k.
4
Let y(s) = -15*s - 163. Let o be y(-11). Solve 2*z + o = 0, -9*z + 1 = 5*p - 5*z for p.
1
Let r be 3 + (1 - (-3 + 2)). Let b(t) = -2*t - 6. Let y(u) = -u**2 - 4*u - 7. Let q be y(-3). Let h be b(q). Solve -h*n = 2*n - 16, 3*x - 11 = -r*n for x.
-3
Suppose 0 = 3*q + 10 - 19. Solve 2*s - 13 = q*f + 4*s, -3*s = -3*f - 3 for f.
-3
Suppose -3*y - b + 28 = 0, 0 = y - 2*b + 23 - 44. Solve -d - 4*k = 11, -4*d + 0*k - 5*k - y = 0 for d.
1
Suppose -8*d = -5 - 11. Let h be (-6)/((-1)/(d/4)). Solve -s = -3*q - 7, 5*s = 2*q - 14 - h for s.
-5
Suppose 4*l = -5*h - 0*h + 62, -2*h = l - 26. Solve 4*v = -p - h, -4*v = 3*p + 16 + 2 for p.
-2
Let c be 80/(-3) + 2/3. Let f be -3 + 1 + (-4 - c). Solve -r = -4*p + 16, -4*r + 5*p = -0*r + f for r.
0
Suppose -68 = -5*z - 12*z. Solve -4 = -z*b + q, -4*b + 4 = -5*q - 16 for b.
0
Suppose -y + 8 = y + 3*i, 3*y = -3*i + 12. Suppose 0 = -2*f - y*k + 28, 7*f - 2*f + 5*k - 45 = 0. Solve -3*l + f*a = -3, 12 = 4*a - 0 for l.
5
Suppose 0 = -399*g + 386*g + 247. Solve o - 6*x + g = -3*x, 4*x = -o + 16 for o.
-4
Let f be ((-252)/16)/(-7) + (-60)/(-80). Solve 0 = 4*j - 5*j - 2*i + 5, -f*i = 3*j - 9 for j.
1
Let u = -1 + 5. Solve -u*p = 2*r + 8, 5*r + 4*p + 14 = -6 for r.
-4
Let f = -199 + 142. Let j = f - -65. Solve 0 = 2*g - j, -x + 3*g - 14 = 0 for x.
-2
Let v = 40 - 40. Suppose 0*z + 2*z = -2, -3*z = 3*d - 12. Suppose -d*f = 2*s + 7 + 10, -5*f = 4*s + 9. Solve 0 = 3*x - t + 5, v = 5*x - s*t + 8*t + 14 for x.
-2
Let g(k) = -2*k**3 + 3*k**2 + 9*k - 3. Let n be g(4). Let s be (-2 - 1)/(-6) + n/(-2). Solve -s = 3*u - 2*d - d, -2*d - 2 = 4*u for u.
-3
Suppose 12*x + 3*x + 120 = 0. Let p = x + 8. Solve p = 2*v - k + 2 + 3, 5*k = 5*v for v.
-5
Let g be (-18)/(-126) - 12/(-14). Let y = 0 + g. Solve 4*v = -4*j - 12, -3*j = v + y - 0 for v.
-4
Let m = -314 - -317. Solve 4*d = -u + 7, -4*u - 12 + 1 = m*d for u.
-5
Suppose 4*u + 14 = 3*y - y, -4*y = -3*u - 23. Solve -1 = a - 5*j - 4, -y*j = 0 for a.
3
Let s(c) = c**2 + 0*c**2 - 18 + 0*c**2 + 22 + 6*c. Let y be s(-6). Suppose -2*g = 2*g - y*o - 12, g + 4*o = 8. Solve 0 = 5*m + 20, 2*d = 5*d - g*m - 16 for d.
0
Suppose -h - 15 = -5*r, -3*h = -5*r - h + 10. Suppose 4*f + 2*w = 9 + 7, 20 = 5*f + r*w. Solve 3*a - 4*n - 3 + 12 = 0, 1 = f*a - n for a.
1
Let q = 85 + -69. Suppose -i = 0, -4*k + q = 5*i - 10*i. Solve 3*f + c = 2*f - k, c = -5*f - 24 for f.
-5
Suppose -68*h + 77*h = 252. Solve 35 = 5*l - 5*s, -8 = -4*s - h for l.
2
Suppose -w + 2*u + 6 = 0, 3*w = -3*u - u + 8. Suppose 2*d + 1 = 7. Solve -4*c + 0*x = d*x + 2, c + 3*x = w for c.
-2
Let d = -8 - -6. Let z be (0/d)/(23/(-23)). Solve z = i - 4*m - 2, 3*i - 5*m + 1 = -0*m for i.
-2
Let b = -29 - -29. Suppose l + 22 = 3*r + 6, b = r + 5*l. Solve m = -n - 4*n, m - r*n = 0 for m.
0
Suppose -3*o + 3 = -2*o. Let s = -61 + 161. Let d = s + -96. Solve -o*y + 5*x + 12 = 0, 2*y + 2*x - 4 = d*x for y.
-1
Let t be 9/(27/57) - 8. Let n(y) = y**3 + 4*y**2 + y - 1. Let v be n(-3). Suppose o - v*o = -124. Solve 2*i + 5*d + o = 0, -i - 2*d = t + 2 for i.
-3
Suppose -5*f + 10*f - 55 = 0. Let u(r) = 2*r**2 - r + 6. Let i be u(-5). Suppose -i = -3*b - 16. Solve -5*s + f + 14 = 0, b = 5*c + s for c.
2
Let v be (8/1 - 2)/2. Suppose 0 = -3*s - q + 84, 0*q + 3*q + 84 = v*s. Let d be (-2)/(-8) + 189/s. Solve 3*t = t + j + d, t = -j + 8 for t.
5
Let l = 254 + -239. Suppose -5*d - 37 = -z, d + 4*z + 9 + 11 = 0. Let i be 2/d + 2/8. Solve -p = -4*j - i*j + l, 14 = 2*p + 3*j for p.
1
Suppose -20 = 8*i - 52. Solve p + 0*b + 5 = -i*b, 2*p - 4*b = -10 for p.
-5
Suppose 36*g + 10*g = 8*g. Solve 4*x = -3*t + 1 - 5, x + 2*t - 4 = g for x.
-4
Let l = 111 + -107. Let j be 6/l*8/6. Solve -3*t + 0*z = -z - 6, j*z = 5*t - 10 for t.
2
Suppose 16*j = 2*j + 140. Solve -j = 5*s, -1 + 3 = 3*d + 5*s for d.
4
Let f(p) = -2*p**3 - 85*p**2 + 132*p + 4. Let o be f(-44). Solve -17 - 3 = o*h, 40 = -5*y - 3*h for y.
-5
Suppose 2*q = -q + 12. Let o = 41 - 28. Suppose o - 3 = 5*w. Solve 3*b = -q*z + 27, 1 + 3 = 2*b - w*z for b.
5
Let j(y) = -y**3 + 4*y**2 + 30*y - 117. Let n be j(4). Solve -8*d + n*d - 1 = -4*z, 0 = 3*z + 4*d - 24 for z.
4
Let a = 140 - 140. Solve -u + r + 1 + 7 = 0, -5*u + 3*r + 34 = a for u.
5
Let r be 11/(-33)*(-15 + 0). Let j(l) = l**3 - 6*l**2 + 9*l - 17. Let k be j(r). Solve 0 = -3*c + 5*h + 10, 4*c = -h + k*h + 18 for c.
5
Let j(p) = 11*p - 35. Let l be j(4). Solve -4*q - w = l, 5 = 4*q - 2*w - 1 for q.
-1
Suppose 0 = -0*x - 7*x + 21. Solve -5*b + x*u - 4*u = 4, b + 4*u = -16 for b.
0
Suppose 0 = 6*o - 8*o + 3*f + 7, 4*o - 25 = -5*f. Solve -v - j + 9 = 0, 0 = o*v - j - 4*j - 5 for v.
5
Let h(i) = -2*i + 19. Let b be h(6). Suppose -b*s + 31 = 17. Solve 0*v + s = 4*v + 3*k, 5*v - 3*k + 11 = 0 for v.
-1
Let d = -8 + 26. Let y = d - -19. Solve 5*b = 4*q + 3 + y, 13 = -q + 2*b for q.
-5
Suppose -b + 2*p + 3*p = 28, p = -2*b - 34. Let s = -10 - b. Solve 2*g = 5*l - 4 + 5, 4*l + 2*g = -s for l.
-1
Let i be 2/(-3) - (12 + 689/(-39)). Solve -5*n + 17 = 4*l, -i = -4*l + 3*n + 4 for l.
3
Suppose o - 2 = 2. Let d = -48 + 48. Suppose y + 3*b + 1 + 5 = d, 0 = 4*y - 5*b - 44. Solve o*p - 16 = -4*g + 4, 2*p = -g + y for p.
1
Let w = -75 + 39. Let h = 57 + w. Let x = 26 - h. Solve 27 = -3*c - 5*z, -3*c + 4*c - 11 = x*z for c.
-4
Let m be (15/(-6)*-30)/((-3)/(-2)). Let h = 50 - m. Solve -k - 2*y = k + 6, -2*k + y - 3 = h for k.
-2
Suppose -2*a = -5*a + 6. Let x be 1 + 3/(-9) + (-33)/9. Let s be (-8 + 2)*a/x. Solve 3*h - 13 = j - 0*j, 5*h = s*j + 17 for j.
2
Let c(o) = -3*o + 18. Let t be c(6). Suppose t = -0*w - 5*w. Solve -5*h = w, 4*u - 5*h + 12 = u for u.
-4
Suppose -l + 16 = -4*x, -4*x = 4*l + 399 - 383. Solve -y - 2*c + 11 = l, 12 = 4*y + 2*c - 8 for y.
3
Suppose 0 = 4*b + 4*x - 1 - 23, 2*x - 6 = 0. Solve 0 = 2*k + 5*g + 29, 3 = k + b*g - 4*g for k.
-2
Suppose -5*p = -2*z + 2, -28 = -4*z + 3*p - 5*p. Solve 3*d + 4 + 2 = 4*k, -2*k - 3*d = z for k.
0
Let f(b) = -b**3 - b**2 + b - 40. Let p be 0/(2 + -4 + 0). Let u be f(p). Let o be 3/((-92)/u - 2). Solve 3*a + o = v, 10 = 5*v + 4*a - 2 for v.
4
Let h(j) = 19*j**2 - 9*j. Let i be h(1). Solve 0 = -g - 2*t + 7*t + i, g + 4*t = 1 for g.
5
Suppose 5*b = 2*f + 33, -6*b = -3*f - b - 37. Let a be 8 + 3 + f + 3. Solve 2*c - 5*d = -11, 2*c - 6*d + 2*d = -a for c.
-3
Let a be (50 - 50)*(1*-1)/1. Solve 3*p - 5*p + 4 = 2*w, a = 3*w + 5*p - 2 for w.
4
Suppose -5*g + b + 42 = 0, -11*b + 12*b - 3 = 0. Solve 3*m + 0*m + 5*i - 6 = 0, g = -2*m + i for m.
-3
Let m be (-15)/((-24)/(-9) + -3). Suppose -8*p + m - 13 = 0. Solve 0 = p*h - l + 25, 0*h = -5*h - 5*l for h.
-5
Suppose -189 = -4*q - 141. Solve w - 5*x - 15 = 3*w, 4*w + q = -4*x for w.
0
Suppose -2*v + 3*d - 2 = 8*d, d = 2*v + 14. Let z be 4/(3/v*-1). Solve 0 = 3*g - r - z, -2*g - 3*g = r - 24 for g.
4
Suppose -39*k + 48 = -147. Solve -k*v = -b + 15, 5*b - 18 = 3*v + 13 for v.
-2
Suppose -t - 2*t = 5*r + 15, 3*t = 2*r - 15. Solve 0 = -5*v + 25, r = -6*g + 3*g - 3*v + 3 for g.
-4
Suppose -51 = 68*y - 323. Solve 8 = -2*k + 4*k, 0 = -y*d - 2*k - 12 for d.
-5
Let i be 0 + 2 - (1 - -1). Suppose -x + 27 = 2*k, -3*k + i*k + 63 = -3*x. Solve -v + 12 = -4*s, s - v + k = -4*s for s.
-4
Suppose -b = -4*z, 5*z = 3*z - 2*b. Suppose -3*s - 3*w = z, 5*w - 7*w = 0. Solve s = -j - 5*v - 3, 2*v = -3*j + v + 5 for j.
2
Suppose 4*z = 3 + 9. Solve 6 = z*m - 3*h, h = -5*m + 2*h + 10 for m.
2
Suppose 4*p + 72 = -b, 0*b = -p - b - 15. Let l = -29 - p. Let m be 6/l - (-288)/80. Solve -w + 7 = a, a = -0*w + w + m for a.
5
Let z = 473 + -466. Suppose 0*o + 2*u = 4*o - 14, o + 14 = 4*u. Suppose 0 = -4*i + z*i - o. Solve -5*f = -3*s - 4, i*f = 2*s - 0*s for s.
2
Let j = 0 + 4. Suppose 4*p = 2*p + 10. Suppose -p*k + j*k = -2. Solve -12 - k = -2*s - 3*u, -4*s + 12 = 2*u for s.
1
Suppose 3*o + p = 26, -5*p - 50 = -4*o - o. Suppose -86 = -