for r.
0
Suppose i = 4 - 4. Suppose -c + i*c + 1 = 0. Suppose 3*w - 41 = -4*d, 0 = -2*w - 2*d + c + 25. Solve -18 = -2*p + 2*n - 0*n, 0 = -3*p - n + w for p.
5
Let h(r) = -r**3 + 11*r**2 - 13*r + 35. Let c be h(10). Let z be (6 - c) + -1 + 2. Solve -j = -z*t + 1 - 0, -j = 5*t - 13 for t.
2
Let w be (85 + -79 + (-67)/11)*-22. Solve 0 = p - 3*b - w, 346*p = 350*p - 5*b + 6 for p.
-4
Suppose 196*s - 12 = 193*s. Solve -t - s*x = -3, -5*x + 3*x = 5*t + 21 for t.
-5
Let a = 1829 - 1212. Let v = a + -614. Solve -v*i - 13 = -c, 2*c + 2*i + 1 + 5 = 0 for c.
1
Suppose 31*s - 219 = -2*s - 40*s. Suppose -6*w + 10*w = -16. Let y(g) = -4*g. Let p be y(w). Solve -2*v - 6*l + p = -3*l, -s*v = -4*l + 10 for v.
2
Let j(k) = 4 + 26*k**2 - 1 - 24*k**2 - 2*k**3 - 3*k - 6. Let o be j(-1). Let r be ((-6)/5)/((-6)/20). Solve -o = -3*g - 8*d + 4*d, -r*d = -g - 20 for g.
-4
Let k(g) = 3 - 31*g + 30*g + 3. Let l be k(-8). Let n be 36/l - (-12)/28. Solve 0 = -3*s + 3*j + 12, s + 12 = -3*s - n*j for s.
0
Let y be ((-6678)/(-84))/(12/16). Let m be -2 + (0 - 0) + 112. Let l = m - y. Solve o + 5*z + 5 = -l*o, -o + 5*z - 19 = 0 for o.
-4
Let j(z) = -4*z - 69. Let g be j(-18). Suppose -23 = -4*s + y, g*s + 4*y = 14 + 8. Solve -t - s*n = -n - 20, -5 = -4*t + 5*n for t.
5
Suppose 118*d + 3*q = 123*d + 15, -4*d + 10 = 2*q. Solve 3 = -2*t + 3*z - d, 5*t + z = -16 for t.
-3
Let u = 7230 + -7227. Solve 0 = -b - u*s - 8, -3*s = -3*b - 2*s - 4 for b.
-2
Suppose -2*h = w - 53, 5*h + w - 60 = 80. Suppose 2 = -h*l + 30*l. Solve -4*d + 4*x - 18 = -2, d + x = l for d.
-1
Let z(o) = -o + 10. Let c be z(5). Suppose 28 = c*r + 4*u, 0 = -4*r - r + 3*u + 14. Let m = -4981 + 4984. Solve -r*k + 1 = 2*w - 3*k, 3*k = -3*w + m for w.
0
Let n(i) = 35*i**2 - 4*i - 4. Let g be n(-1). Suppose 31 = -k + g. Solve 3*z = 3*t - 12, k*z - t + 3 + 1 = 0 for z.
0
Let p(h) = -10*h - 77. Let v be p(-8). Let o = 0 - -4. Suppose -3*n = -o*a - 7, 2 = n - v. Solve -6 = a*f, c + c + 10 = -2*f for c.
-2
Suppose -4*h + 5*s = -65, s = -36*h + 31*h + 45. Solve 3*o - 2*o - 4*w = -h, o - 5*w + 12 = 0 for o.
-2
Let q(n) = n + 5 + 2 + 0 + 7. Let y be q(-11). Suppose 0 = y*d - 0*x - 4*x - 16, 0 = -5*d + 4*x + 24. Solve -3*i = 4*k + 17 - 41, 31 = 5*k + d*i for k.
3
Let u be (-603)/12 + (-35)/(-28). Let l = -52 - u. Let x(h) = -h**3 - 2*h**2 + 2*h + 2. Let d be x(l). Solve -f = -d*c - 2, 2*f + 3 = -3 for c.
-1
Let v be ((-20)/12*1)/(86/(-84) + 1). Solve -66*t + v*t = q + 3, t = -2*q - 6 for t.
0
Let l(i) = -7*i**3 + i**2 + 8*i**3 - 4*i**2 - 10*i + 13. Let s be l(6). Let d = 64 - s. Solve 0 = -y + d*z - 15, -y - 20 = -5*y - 4*z for y.
0
Let a be (-2 - -2)/(-5) - 46. Let w = 52 + a. Suppose 0 = 2*k - 0*k - w. Solve 3 = s - k*j - 5, -s - 8 = j for s.
-4
Let l = 16085 + -16077. Solve 18*w - 21*w - l = t, w - 3*t = -6 for w.
-3
Suppose -k = -u - 6 + 1, -3*k - u = -15. Solve -5*j - 16 = 3*l, k*j + 11*l = 7*l - 13 for j.
-5
Suppose 48*c + 2*p = 53*c - 71, 7 = p. Solve -18 = -w - 3*f, -w - f = -5*f + c for w.
3
Suppose 9*y = 10*y - 5. Let h be (-1 + 2)*7 + -272 + 289. Solve -g = r, 2*g - y*r = -r - h for g.
-4
Suppose -2*n + 12 = -214*s + 217*s, 4*s - 16 = 4*n. Solve 9*l - 13*l + 4 = n, -5*l + 8 = -x for x.
-3
Suppose 145*t - 576 = -38*t + 39*t. Solve 4*m + 134 = -t*f + 174, 0 = 2*f - 2*m for f.
5
Let d(q) = 3*q**2 - 42*q + 41. Let s be d(13). Solve -2*t + 2*o - 31 = 7*o, s*o + 13 = -t for t.
-3
Let t = -3485 - -3516. Solve n - 10 = 3*q, -t*q + 34*q + 18 = 3*n for n.
4
Suppose -3*z + 16 = 5*z. Suppose -2*v + 4*x - 2 + 0 = 0, z*v + 6 = 5*x. Suppose 4*o - v*o + 12 = 0. Solve -2*b + s - 6*s + 9 = 0, -4*b + o = -4*s for b.
2
Let w = -3985 - -3992. Solve -2*r - 17 = w*y - 4*y, -y + 3*r = -9 for y.
-3
Let p = -2564 - -2569. Solve -2*y - 11 = -4*h - p, 2*y + 2*h = -12 for y.
-5
Let k = 2941 + -2937. Solve -2*t + 4 = -v, -v - k = v - 2*t for v.
0
Let y(p) = -37 + 6*p - 4 + 0*p + 2*p**3 - 7*p**2 + 15. Let h be y(4). Solve 0*n - n = -5*q + h, -2*n + 5*q - 18 = 0 for n.
-4
Suppose -a + 2*h = -4, 3*a - 48 = -3*h - 0*h. Let n be (15/6)/((-6)/12). Let j be (0 - -3) + 4 + n. Solve a = 4*l + j*m - 10, l - 3*m = -5 for l.
4
Let r be (-6)/(-12)*-12*32/(-12). Let q = 5 + r. Solve -4*c = 2*u - c - 10, 0 = 5*u - 4*c + q for u.
-1
Suppose -3*k + 4*k - q - 5 = 0, -4*k + 20 = 3*q. Solve -3*v = a - 10, -18*v - k*a = -19*v - 2 for v.
3
Suppose -31 = -4*r - 2*l - 25, -4*l = -r + 15. Suppose r*o = 4*d, 3*d = 7*d - 5*o. Solve -3*m - 6 = d, -2*w + 5*m + 1 = -5 for w.
-2
Let r be 4/14 + ((-16)/28)/2. Suppose r*c + 4*c = 16. Solve -5*s - 4 = u, 0 = 3*s - 6*s - u - c for s.
0
Let m be -2 + 5 + -5 - -88. Suppose 2*z - 4*v + 168 = 0, -29 = -2*z - 2*v - 191. Let n = z + m. Solve -2*j + 3*h + 0 + 8 = 0, -n*h = 16 for j.
-2
Let p be ((-2)/4)/((-427)/70 + 6). Solve 0 = -4*t - 60*b + 56*b - 4, p*b = -4*t - 3 for t.
-2
Suppose 3 - 42 = -49*p + 59. Solve 14 = x + 5*q, -p*q + 10 = 4 for x.
-1
Let i(k) = -9*k + 5. Let t be i(-25). Let a = t - 228. Solve 4*j + o - 15 = -0*o, -15 = -a*j + o for j.
5
Let c be ((-70)/(-56))/((-15)/(-72)). Solve -2*n - t - 4*t - 6 = 0, 5*n = -2*t + c for n.
2
Suppose -41*w - 2*w = -31 - 184. Solve -w*u + 43 = -4*q + 8, 2*q - 5*u = -25 for q.
-5
Let k(a) = -39*a + 13. Let z be k(-1). Suppose 142*f + z = 155*f. Solve 3*d - 10 = -2*q, 2*d + 0 = -f*q + 4 for d.
4
Suppose -8 - 16 = -4*u. Suppose 457*d + u = 460*d. Solve -d*n + t - 6 = 5*t, 4*n - 2*t = 8 for n.
1
Suppose 0 = p + 4, -2*d - 5*p + 2 = 14. Let q = 235 + -233. Suppose b + 7 = q, -3*b + 10 = 5*k. Solve 2*v - k = -5*c, 2 - d = -2*c for v.
0
Let c = -35 - -39. Suppose -22 = k + 2*a, -4*k = -2*a + c*a + 82. Let x be 8 + (-9)/((-45)/k). Solve 2*f - 7 = w, x*f - 3*w - 23 = -8 for f.
3
Let g = -2430 - -2443. Solve -78*x - g = -79*x + 3*i, 5*x = -3*i - 7 for x.
1
Suppose -159 - 5 = 2*t - 2*u, -5*u - 58 = t. Let l be 65/t + 69/18. Solve -4*n + 4*w - 8 = 0, 4*n + w = l*w - 10 for n.
-3
Let h = -8 + 3. Let t be (9/12)/(42/(-112)). Let s be h*t/(20/6). Solve 0 = -3*p + g - s - 5, 2*g = -2*p - 16 for p.
-4
Let o = 57 + -282. Let x be 1/(-5) - 720/o. Let b = 27 - 12. Solve m + d - b = x*d, -d = 5 for m.
5
Suppose -71*y + 132 = 2*t - 73*y, 2*y = -5*t + 309. Suppose 5*g - 92 = 4*v, 0 = -2*g + 5*g - 5*v - t. Solve 0*q + 15 = 3*h + 3*q, g = 4*q for h.
1
Let f be 0 - 1 - 63/(-3). Suppose f*y - 15*y = 5. Let w be 3/(-15) - 16/(-5). Solve 3*m = 4*n - y, -3*n + w = -0*m - 3*m for m.
-3
Let b be (-1 - -5)*(102/24 + -2). Let s be -2 + (-1*1)/(b/36). Let k be 10 + (s*2/(-6) - 4). Solve 0 = n + q, -2*n + 5*q - k = n for n.
-1
Suppose 3*a - 38 - 4 = 0. Let j be (-220)/a + (-6)/21. Let g be j/(-12) - (-6)/9. Solve -2*k = 3*q - 13, -4 = -g*q + 6 for k.
-1
Let p = 7110 - 7106. Solve 0*c = -p*c + n + 8, 4*c + 8 = -3*n for c.
1
Let z be (12 - (-572)/(-48)) + 429/36. Solve -b = 5*x - 5*b - 35, x + z = -3*b for x.
3
Suppose -2*y = 5*j - 35, 5*y + 26*j = 31*j. Suppose -3 - 2 = -y*h. Solve -5*o + 3 + 2 = 0, 3*a - h = -o for a.
0
Let n(a) = a**2 - 38*a + 75. Let i(u) = 3*u**2 + 8*u + 20. Let w be i(-4). Let p be n(w). Solve -4*z + 2 = 5*h, -p*z - 12 = -5*z + 3*h for z.
3
Let f(g) = -2*g**2 + 7*g + 17. Let i be f(8). Let c be (-33)/i + 3/(-5). Solve -3*x + 1 - 10 = c, 2*y = 2*x + 14 for y.
4
Let t(c) = -4*c + 8. Let o(x) = -29*x + 80. Let h(l) = -o(l) + 6*t(l). Let v = 18 - 11. Let j be h(v). Solve 0*i - i + 3 = -3*n, 4*n + 4 = j*i for i.
0
Suppose -18*w = -4*w + 126. Let p be w + 16 + (-12)/3. Suppose 5*v = 3*r + 85, -3*v = -2*r - 3*r - 35. Solve 0 = -4*l + p*q - v - 6, 5*l + 29 = 2*q for l.
-5
Let t(a) = -4*a + 92*a**2 + 5 - 93*a**2 - 3. Let j be t(-4). Solve 0 = -4*n + 4*o, -5*n + n + 8 = -j*o for n.
4
Let v be 3 + (-3 - (-4 + 0)). Let l(a) = 79*a + 10984. Let f be l(-139). Solve -5*m + i + 5 = -f*i, v*m = -2*i - 22 for m.
-3
Let c(m) = m**3 + 8*m**2 - 9*m - 86. Let a be c(-7). Suppose -a = -12*g + 10. Solve i = 4*f - g + 2, 0 = 3*i - f + 3 for i.
-1
Let i be ((-6)/7)/((-72)/(-112)) + 19/3. Solve 3*t - t + i*h = -28, 9 = 3*t - h for t.
1
Suppose -30*l + 47*l - 85 = 0. Solve -3*c = 3*h - 3, 29*c = h + 26*c - l for h.
2
Let u(a) = -a + 30. Let v be u(-13). Let g = v - 37. Let d be -3 + 1 - g/3*-4. Solve -s = -2*z - d*s - 5, -z - 8 = -3*s for z.
-5
Let m = 97 + -106. Let k be m*39/(-12) - (-12)/16. Solve 5*z + d - 3*d = -k, 5*z