f = -5. Solve 0 = -x*l + 5*m + 11, 7*l - m - 16 = 2*l for l.
3
Let s(n) = 7*n**3 - 5*n**2 - 3*n + 3. Let t be s(2). Let b(i) = -2*i + 82. Let c be b(t). Solve -u - 3*w = 8, -3*w = -u + 2*w + c for u.
1
Suppose 0 = -4*c - 5*c + 27. Let v = 9 + -9. Suppose 6 = c*n - v. Solve 0 = 5*x - 4*q - 29, -8 - 5 = -n*x + 3*q for x.
5
Let l = 181 + -173. Let m be (l + 45/(-9))*2. Solve -m*o + 3*o + 1 = 2*p, -2*p = 4*o for p.
2
Suppose -35*p + 1656 = -39*p. Let h be ((-1)/(-3))/((18/(-3))/p). Solve 11 = 5*b - d - 6, 5*b = -d + h for b.
4
Let p be (-70)/(-6) + 7/21. Suppose 0 = d - p. Suppose 0 = 9*k - 6*k - d. Solve -g + 12 = 2*m + k*g, 3*m - 13 = -5*g for m.
1
Let p = -213 + 231. Let v be p/(-72) + 2/8. Solve -4*i + n = 11, v = -4*i + i - 2*n - 22 for i.
-4
Let i be ((-58)/(-6) - 10)/(3/(-36)). Solve 3*p = i*u - 11, -4*p + 3 = 7 for u.
2
Suppose -2*r = -r + 1. Let h be (18 - 23)/(r + 0). Suppose -8 + 23 = 5*i. Solve -4*v - 4*u = 8, v - i*v + 2 = h*u for v.
-4
Let w = 1784 - 1780. Solve 0 = w*v + q + 23 - 26, 3 = 5*v + 2*q for v.
1
Let s be ((-40)/(-24))/((-55)/(-264)). Let b be (-8 + 1)/(-2 + 3). Let p = b + s. Solve 4*c + 2*f = -10, 0 - p = -5*c + 2*f for c.
-1
Suppose 20*f - 23 - 77 = 0. Let g be 5 - (-1)/f*-5. Solve 3*y = g*y + 2*k - 4, 2*y = -3*k + 8 for y.
4
Let k(p) = -p**3 - 5*p**2 + 13*p - 5. Let y = -168 + 161. Let c be k(y). Solve 5*s + 0 = c*v - 2, 2*s = 0 for v.
1
Let d be 3*20*(-15)/(-36). Suppose 12*q - d*q + 169 = 0. Solve 0 = 4*u - u - 5*j - 35, 3*j = -5*u + q for u.
5
Let o be -2 + (7 + -4 - 2). Let l be (6 - -12) + (-2 - -1)/o. Suppose 4*y - h - l = -y, -10 = 2*y + 4*h. Solve -y = b + 3*c, 0*b + c = -4*b - 1 for b.
0
Suppose 6*r - 4*r = -10. Let a(k) = -6*k - 1. Let x(w) = 17*w + 2. Let j(y) = -8*a(y) - 3*x(y). Let f be j(r). Solve 4*b = 2*l + 6, l - 2*b = -4*l + f for l.
5
Suppose 212*h - 216*h - 5*x = -35, 2*x = 14. Solve h = -b - g + 2, -162*g - 10 = 4*b - 164*g for b.
-1
Suppose 5*g = g + 20. Let x(i) = i**3 - 10*i**2 - 9*i + 52. Let v be x(8). Let k be 37/v - 26/(-8). Solve -3*r + k = -m - 2, g*r - 9 = m for m.
1
Suppose 131*v = 197*v - 1077 + 219. Solve 0 = -3*o + 6*o - 4*m - 16, -m - v = -3*o for o.
4
Let i be 0*((-88)/16 - -5). Let l be (2 - (-4)/8)*(-4 - -6). Solve 5*n = l*m - 5, -2*m + i*m + n = 0 for m.
-1
Let h(k) = 8*k + 285. Let l be h(-44). Let d = l - -72. Solve -4*a = 1 - 9, d*o = a - 17 for o.
-3
Suppose -1611 = -3*l - 504. Suppose 0 = -2*s + 4*s - 8. Let d be s/(48/l) + 6/24. Solve -2*t = 2*v, 4*t = 5*v + d + 14 for t.
5
Let p = 948 + -939. Solve -2*v = -z - 0*z, -3*z = 3*v + p for v.
-1
Let m be (-1)/((-8)/6)*(-5856)/(-549). Solve -u = -3*f + m, 0*f = -3*u + f for u.
1
Let q(i) = i**3 + 48*i**2 + 90*i - 74. Let f be q(-46). Let r(d) = -7*d + 126. Let a be r(f). Solve a = 4*b - 4, 3 = -2*n - 4*b - b for n.
-4
Let f = 342 + -341. Let o be (-31)/(-3) + (5/(-15) - f). Solve 0 = 5*y - 2*r + 4, 5*y + 1 + o = 5*r for y.
0
Suppose 2*v = -5*l - 95 + 118, 2 = 2*l - v. Solve 31 = l*f + 4*d, -f + 24*d = 21*d + 7 for f.
5
Suppose y - 24*n - 48 = -29*n, 0 = 4*y - 4*n - 24. Solve -13 = 2*k - b, -5*b + y = -k - 16 for k.
-4
Suppose 38*z - 40*z = 21*z - 115. Solve -50 = -3*a + 8*a - z*f, 6 = 2*f for a.
-7
Suppose -5*v = -5*h - 15 + 135, 3*v + 116 = 5*h. Solve 5*i + 14*l - 15*l = 19, -2*i = -4*l - h for i.
3
Let i = -2746 + 2760. Solve 0 = 3*p + g - 11 + i, -2*p + 5*g = 2 for p.
-1
Suppose -9*p = 3*p - 13*p + g + 22, 0 = -g. Solve 4*o + 2*f - p = 0, 30 = 5*o - 4*f + 7*f for o.
3
Let q be (2 - 0 - -2) + (-9 - 13). Let i(l) = l + 36. Let m be i(q). Suppose 5*u + m = 6*u. Solve 3*s + 33 = 4*h + 1, -2*h + u = -2*s for s.
-4
Suppose 2*x + 3*x - 166 = 4*g, -3*x + 3*g = -102. Solve 6*v + x = -2*h, -20*h = -3*v - 15*h + 21 for v.
-3
Let v be (1 + 25)/2 + -12 + (17 - 9). Solve -1 - 2 = -3*b + 4*p, 2*b = 5*p + v for b.
-3
Let x = 75 + -71. Let v be (-5)/(-20)*x*0. Suppose 3*p - 5*h - 47 = v, p + 8 = -5*h - 3. Solve m + p = 5*t, -4*t + 4 = -5*m + 1 for t.
2
Let p(o) = o**3 + 9*o**2 + 5. Let h be p(-9). Let c(d) = -d**2 + 70*d - 441. Let w be c(63). Solve -3*l = 2*i + 19, 2*l + h*i + 31 = -w*l for l.
-3
Suppose -5*k + 7 = -8. Let s(b) = 4*b + 10. Let r be s(-4). Let p be (10/(-6) + (-4)/r)*0. Solve 4*x + k*j + p*j = 3, 4*j - 11 = -3*x for x.
-3
Suppose -r - 2*p = 4, 12 + 4 = 5*r + p. Suppose -8 - 4 = -r*a. Let w = -777 - -779. Solve -2*g + 2*t - a*t = -2, -2*g + 5*t = -w for g.
1
Suppose -b + 3 = -5*s + 4*s, -4*b + 15 = -5*s. Let z(o) = 4*o - 3. Let n be z(1). Let y be 116/29 - 1/n. Solve b = 4*i + y*m + 25, -i - 8 = 4*i - 4*m for i.
-4
Let n be 9/(-36) - -461*1/4. Suppose 0 = -16*c - 3 + n. Solve 0 = -2*v - x - 5, 0 = -0*v - 2*v + x - c for v.
-3
Let g = 34627 + -34224. Solve 4*f - 8 = -g*w + 405*w, -f + 22 = -3*w for f.
-2
Suppose 16*t - 10*t = 942. Suppose 0 = -2*a + 4*a + 3*b - t, 4*b = 5*a - 381. Suppose a = 14*u + 21. Solve d - u*q = -5, -2*d + q - 6*q = -3 for d.
-1
Let g(u) = 5*u**2 - u - 8. Let o be g(-2). Let z = 9 + -5. Suppose -3*b + o = z*a, 4*b = 3*a + b. Solve -3*i - 3*f + 4*f + 2 = 0, 5*i = -a*f + 18 for i.
2
Let k = 262 + -86. Suppose -4*h - k = -0*h. Let t = 49 + h. Solve 0 = 2*f + 4*v - 5 - t, v = 4*f + 25 for f.
-5
Let g be (-12)/(-27) + 40/(-360) + (-80)/(-3). Solve 5*f - 2*d + 23 = 0, 3*d = -18*f + 23*f + g for f.
-3
Let k be (0 + (-1)/2)*-6. Let x(h) = 7*h + 43. Let d be x(-7). Let z be (0/(-2 - d))/((-16)/(-4)). Solve 13 = k*a + 4*u, 4*u + 0*u - 16 = z for a.
-1
Let r(d) = 7*d**2 + 1057*d + 3. Let g be r(-151). Solve -h + 27*c - 31*c = -1, 0 = 3*h + c - g for h.
1
Let u = 4 - 0. Let f be 20/30*(405/20)/(63/42). Solve 5*c - 10 = -d, -2*d = u*c - d - f for c.
1
Let h be (-35)/20*(-2)/1*1048/917. Suppose -3*u - 3*o = 2*o + 9, 2*u + 2 = -2*o. Solve h = -u*i + 4*c, i = -2*i + 2*c - 10 for i.
-4
Let y = 221 + -66. Let s = y - 153. Solve 2*j + 1 + 7 = s*q, q = 5*j + 20 for j.
-4
Suppose 8 = 4*u - 0. Let x(i) = 3*i**2 + 32*i + 17. Let q be x(-14). Suppose q = -3*o + 166. Solve -r - 5*f + 11 = 0, u*r - 4*f + o = -3*r for r.
1
Suppose -3*g - 47 = -5*r, -154*r - 2 = -156*r - 3*g. Solve -2*p = -r*p + 25, 3*l = -5*p + 25 for l.
0
Suppose 17 = y + 5*b, -4*y - 2*b + 8 = -3*y. Let n = 2924 + -2922. Solve 3*z - 7 = 2*q, -y*z + n - 10 = 5*q for q.
-2
Let r = 22 + -15. Let c be ((-28)/(-8))/r*40. Suppose -c*f = -15*f. Solve -i - 4*i = -5*l - 5, f = -2*i - 3*l + 12 for i.
3
Let t(r) = -2*r**3 + 20 - 21*r + r**3 - 12*r - 19*r**2. Let k(l) = -l**2 - 6*l - 17. Let s be k(0). Let b be t(s). Solve -3 = 3*n + 3, -5*n = -b*u + 10 for u.
0
Let n = 1640 - 1627. Solve 18*d - 3*w = n*d, -2*d - 5*w = 0 for d.
0
Suppose 17*d + 83 = 185. Solve -w - 8 = -d*w + 4*c, 3*w - 5*c + 3 = 0 for w.
4
Suppose -2*l = -i - 3*l + 8, -2*i - l = -12. Let p = -44 + i. Let u = p + 40. Solve 0 = -5*s - 3*a - 21, u = 3*s + 2*a + 13 - 0 for s.
-3
Let s be (-6)/(-111) - 8/148. Solve 2*w - 5 = -5*f, s = -3*f - 0*f + 2*w + 3 for f.
1
Suppose -241*y - 20 = -237*y + 4*x, -4*x - 38 = -5*y. Suppose 2*m - m + 1 = -q, -3*m + 4*q + 32 = 0. Solve y*r - 2 = -2*j, -m*r + 4*j - 3*j - 1 = 0 for r.
0
Suppose 15 = 6*x - x. Let q(h) = 40*h - 4597. Let f be q(115). Solve 0 = -w + o + x*o + 13, -9 = -w + f*o for w.
-3
Let o(d) = d**3 - 25*d**2 - 28*d + 77. Let y be o(26). Let v(k) = 5*k - 125. Let l be v(y). Solve 2*t + p - 1 = l, 2*t - 2*p - 8 = t for t.
2
Let w be 1*-34 - (-1)/(-2)*-4. Let m be 8/6*(-72)/w. Let t be (m - 20/6)/(7/(-84)). Solve -2*k + t*i + 22 = 0, 0 = 3*k - 8*k + 4*i + 25 for k.
1
Let p(g) = 3*g**2 + 7*g - 13. Let n be p(-8). Let m be n*(14/3 + -4). Suppose 4*f = -m + 102. Solve -f*j = 2*i + i, 20 = -4*i for j.
3
Suppose h + j - 4*j + 2 = 0, 0 = -h - 2*j + 13. Let y = -435 - -485. Suppose -y = -12*u + 2*u. Solve -3*r + 0*c + h = 2*c, -2*c + u = 5*r for r.
-1
Suppose 5*g = 3*g - 0*g. Let w = -25 + 28. Solve g = -w*y + 3*t + 1 - 22, 9 = y + 3*t for y.
-3
Suppose 8*r = -2*r + 40. Let p = 15 - 12. Let i be p/(-12)*-2*r. Solve -x + 0*o = i*o, -5*o = -10 for x.
-4
Let j be (2/(-3))/((-12)/90). Suppose 3*d = 2*q + 5, j*q + 6 = 31. Solve 3*n - 5 + 3 = d*x, n + 2 = 3*x for n.
4
Let c = -292 + 489. Let v = c + -82. Suppose s + 5*t = -1, 0*s + 5*t + v = 5*s. Solve u + 3*k = -s, 0 = -3*k - 8 - 7 for u.
-4
Suppose -5*g = 0, 2*h + 2*g + 2*g - 8 = h. Solve -6 = -3*n, 4*c + 5*n = h*n + 6 for