 2*t = -v for l.
1
Suppose 25 = 5*r, -2*y - 6 = 4*r - 26. Solve 20 = -2*x + 5*b, y = x - b + 4*b - 12 for x.
0
Suppose 0 = -21*f + 24*f + 3. Let x = f - -5. Solve 4*b - 4 = -x*u - 32, 1 = -u + 2*b for u.
-5
Let o(d) = -2*d + 17. Let g be o(7). Solve -3*w + 8 = 5*r, r + g = 5*w - 1 for w.
1
Let v = 4 - 47. Let z = -40 - v. Solve -4*p - 4*f = 8, -z*p - 4*f - 3 = 8 for p.
3
Suppose 0 = -o - 4*o. Suppose -10*u + 36 = -6*u. Solve -4*j + 3*r = -o*j - 12, -3*j - 2*r = -u for j.
3
Let p be (-67)/(-5) + 4/(-10). Let h(l) = 2*l**3 - l**2 + 4*l - 4. Let y be h(2). Let i = -13 + y. Solve -3*v = i*m - 3, 0*v = -3*m + v - p for m.
-3
Let s(r) = -4*r - 31. Let o be s(-9). Solve -2*u - 1 = 2*v + u, o*v + u = 17 for v.
4
Suppose 3*f - 5*i = 5, -2*f = -2*i + 7*i + 5. Suppose f = -5*q - k + 7, 2*k + 12 = -q + 4*q. Solve -2*n = q*m, 4*n - 4 = -0*n for m.
-1
Let w be 2 + 4 + (7 + -5 - -1). Solve -3*c + 6*c + 5*s = 1, -c = -3*s + w for c.
-3
Suppose d + 2 + 16 = 0. Let s be (4/12)/((-2)/d). Solve 0 = -s*i - 0*x - 2*x + 7, -5*i + 5*x = -45 for i.
5
Suppose -446*n + 454*n - 56 = 0. Solve 2*z + 3*h - 18 = 0, 12*z + n = 9*z + 4*h for z.
3
Suppose 0 = 2*q + 5*p - 35, -5*q = 3*p + 2*p - 125. Let z = q + -10. Solve -2*u + 10 = -0*r - r, 0 = -5*u + z for r.
-2
Let h = 569 + -566. Solve -1 = -h*q + c, 0 = -3*q - 0*c - c - 7 for q.
-1
Suppose 0 = -6*x + 264 - 150. Solve -3*f = 2*m - 7, -f + 6*f - 4*m = x for f.
3
Let m be (166/14 - 11)*(-28)/(-6). Solve -5*s - 2*r = -15, m*s - 4*r - 25 = 3*s for s.
5
Let v be ((-5)/(-4))/((-3)/(-12)). Suppose 0 = 5*w + 5*m, -3*w + 0*w - 10 = v*m. Solve 3*q + 2*q = -5*t + 50, -w*t = -4*q - 5 for q.
5
Suppose 5*l + 5*q = -10, -5*l - 1 = 4*q + 5. Solve 0 = -2*g + l*n + 2, -4*g + 7*n + 36 = 11*n for g.
5
Let y(n) = 8*n**3 - n**2 + 2*n + 3. Let m be y(0). Solve b = m*z - 5, 3*b + 0*z = -5*z + 27 for b.
4
Suppose 3*v - 17 = -11. Solve -2*i + v*c - 7 = 3*i, -4*i = -3*c for i.
-3
Let o be 4/(-14) + 198/7. Let y = 28 - o. Solve 5*x - 22 + 8 = -4*r, y = -2*x - 5*r + 9 for x.
2
Let p be (-416)/260*5*1/(-2). Solve -p*z - 4*r = z + 17, -5 = -z - 5*r for z.
-5
Suppose 0 = -5*v, -3*o + 5*v - 20 = -4*o. Let t = 24 - o. Solve 3*k - t*b + 20 = 0, 15 = k - 0*k + 3*b for k.
0
Suppose 5*y = 7*y + 3*v, y = 3*v + 9. Solve a + 5*o = -24, a + y*a + 5*o = -36 for a.
-4
Suppose -15*t = -12*t + 4*b - 32, 3 = -3*t + 3*b. Solve -12*q + 8*q - t = -2*x, 5*q + 12 = -x for q.
-2
Let q(k) = 3*k - 6. Let l be q(5). Suppose -2*r - 1 = -l. Solve 0 = f - 4*u + 16, -u + 4 = -r*f - 0*u for f.
0
Suppose 35*s = 43*s - 24. Solve k = -5*y + s*k - 4, 3*y - 9 = 5*k for y.
-2
Let z be 102/5 - 6/15*1. Suppose 12 - z = -4*g. Solve -g*d + 0*f = -3*f, -4*f = 0 for d.
0
Let f(z) = -z**3 - 7*z**2 - 2*z - 14. Let v be f(-7). Let l be (v/5)/(2/(-2)). Solve 0 = -5*j + 5*a, 3*a = -j - l*a + 12 for j.
3
Let b(k) = k**2 - 6*k - 1. Let p be b(7). Let c = -8 + 10. Suppose -c = -2*l + 4. Solve 0 = -2*y + p*y + 4*h + 20, -l*h = -2*y - 5 for y.
-4
Let g be (-207)/(-345)*10/3. Let s(f) = -3*f + 1. Let h be s(-1). Solve -5*y = -2*y + 2*l - 3, g*l - 6 = -h*y for y.
3
Let n be 7 - ((-5 + 10)/1 + -2). Solve k - 1 = g, -n*k - 17 = g + 2*g for k.
-2
Suppose 2*d - 24 = -2*d - 2*u, d = 4*u + 15. Suppose d*h - 2 = 12. Solve 12 = b - 5*r, -h*b - 9 - 6 = 3*r for b.
-3
Let m(d) = -2*d**2 + 14*d - 17. Let r be m(5). Solve -3*p - 4*b - b + 22 = 0, -2*b = r*p - 16 for p.
4
Let l be (-11)/(-891)*9 + 2/(-18). Solve l = -4*r + 3*c - 15, r + c = 3*r + 5 for r.
0
Suppose 3*m - 3*a - 75 = 0, -4*m + 101 = 22*a - 25*a. Solve -4*j - 16 = 22*v - m*v, 0 = -2*j + 4*v - 10 for j.
-3
Suppose 40*s + 4*r - 8 = 36*s, 3*r + 24 = 3*s. Solve -7*j - 34 = -s*z - 10*j, 5*j - 40 = -5*z for z.
5
Let m be ((-72)/30)/(2/(-5)). Suppose m*v - 54 = -0*v. Let x be 3/v - (-186)/9. Solve -3*d + 4*l = -l - 1, -5*d - x = 3*l for d.
-3
Suppose 10*i = 3 + 17. Solve 5*d - 3*p + 22 = i, -26 = d - 5*p for d.
-1
Let z(b) = 3*b**2 - 6*b - 6. Let j be z(-1). Suppose -5*t = -3*s - 6, j*s - 5*t = -2*s. Let i = 4 + 8. Solve -d + 4*v = 4*d - 16, 3*d - s*v - i = 0 for d.
0
Suppose -u - 1 = -4. Let s = 12 + -4. Let f = s + -6. Solve -3*g = 3*j - 6, -4*j + f*j + 7 = u*g for g.
3
Let q(t) = -6*t - t**2 + 0*t + 28 - 11 + 12. Let u be q(-9). Solve -3*y - w = u*w + 12, 2*y - 4*w - 16 = 0 for y.
0
Let l = 384 + -356. Solve -4*d - l = -3*q, -4*q = q + 2*d - 12 for q.
4
Let g be 30/(-4)*(-4)/(-3). Let z = -5 - g. Suppose 2*q - q - 4 = 0. Solve -3*d + 0*w + 2*w = -z, 0 = q*d - 2*w - 4 for d.
-1
Let h be -1*(-6 + 3 - -3). Solve 0 = x - 2*i - h - 4, 0 = 4*x + i + 11 for x.
-2
Suppose -2*m = -k - 2, -3*k = 3*m - k - 17. Solve 0 = -p - 3, m*x = 5*p - 2*p + 12 for x.
1
Let c = -287 - -307. Suppose 0 = 2*p + 3*p - 10. Solve 4*d = c, 16 = 3*u + 4*d - p*d for u.
2
Let x be -3*(22/(-3) - -1). Let g be 14/231 - (-13718)/1254. Solve -3*o + g = m, -m - x = -3*m - 5*o for m.
2
Let f = -1 - -23. Let n = f - 14. Solve -l = j + n, 1 = -2*j - 5 for l.
-5
Let a(i) = -i + 2. Let p be a(-3). Let k = -7 - -17. Solve p*t + k = 2*q, -4 = 4*q + 16 for t.
-4
Let r be 6/33 - (-42)/11. Suppose 0 = -r*u + 4 + 16. Solve -u*v = 5*y, 0 = -y - v - 4*v - 12 for y.
3
Let q(o) = -o**3 - 5*o**2 + o - 9. Let m be q(-5). Let c = 5 - m. Solve -2*w = -4*w + 5*b + c, 0 = w - 2*b - 7 for w.
-3
Let o = 11 - 6. Suppose -7*u + 48 = -99. Suppose -o*n + u = -14. Solve -21 = -5*s + 4*g, 2 = -5*g + n for s.
5
Suppose 20 = -5*j + 85. Let k(l) = 5*l + 6 - 3*l - 3*l. Let d be k(6). Solve -b + d*b - j = -4*n, -5*n + 17 = -b for n.
4
Suppose 7*u - 19 - 37 = 0. Let b = u - 4. Solve 3*j + b + 2 = 0, 5*j + 10 = -2*l for l.
0
Let b be 93/21 - (-2)/14*-3. Suppose 5*c = 4*h - 37, -b*h + 2*c + 1 = -21. Solve -5*q + 12 = -4*f, -h*f + 8 = f for q.
4
Let h = 12 + -1. Suppose -h*z + 16*z = 40. Let l be z - (-3 - -9 - 2). Solve 10 = -q + 5*q - 2*f, 0 = 2*q + l*f - 30 for q.
5
Let q(i) = -12*i - 28. Let a be q(-3). Solve 0 = -c - 5*t - 4, 5*c = 3*t - a*t - 20 for c.
-4
Suppose -62*p + 58*p + 8 = 0. Solve -p*z = -5*h + 17, -4 = z - 4*h + 3*h for z.
-1
Suppose 0 = 2*g - 6, -4*g + 13 - 1 = -3*f. Let y be (4/5)/(f - 6/(-15)). Solve -n - y*a = 4*n + 6, -4*n + 3 = -a for n.
0
Let r be (-7)/14*-6 + (-168)/2. Let g = 86 + r. Solve -m + 4*m = g*a - 7, -2*m - 4*a = 12 for m.
-4
Let y(n) = 30*n**2 + 5*n + 5. Let b be y(1). Solve 2*r = -3*i - 2*r - 5, 4*i - 4*r = b for i.
5
Suppose 20 = -0*i - 4*i. Let u(y) = y**2 + 6*y + 7. Let k be u(i). Suppose k*t = -t. Solve t = -5*q, 0 = 5*f - 5*q + 4*q + 15 for f.
-3
Let s(h) = h**3 - 12*h**2 + 12*h - 9. Let p be ((-44)/(-6))/((-6)/(-9)). Let i be s(p). Let o = 43 + -37. Solve -5*q = 2*v - o, 8 = -5*v + 3*v + i*q for v.
-2
Suppose 3*c - 4*y = 19, -2*c - y = -3*c + 6. Solve 3*o = 2*a - 19, 2*o - 34 = -c*a + 5*o for a.
5
Suppose -2*i + 13 = 5. Solve 0*x - 3 = i*x + 5*f, -4*x + 2*f = -18 for x.
3
Let u be (1/(-3))/((-28)/168). Suppose 0 = -2*b + 6*b - 16. Solve -2*r + 5*x - 17 = 0, 0 = 3*r + u*r + b*x - 7 for r.
-1
Let j(c) = -c + 1. Let s(i) = 2*i + 12. Let g(o) = -j(o) - s(o). Let w be g(-18). Solve w*d - 2*v = -0*v - 25, 0 = 3*d - 5*v + 15 for d.
-5
Let f(l) = -l**3 - 2*l**2 + 7*l - 4. Let o be f(-4). Let c = -28 + 31. Solve 4*w + a = -o*w + 4, c*a + 3 = 3*w for w.
1
Let y(d) = d**3 - 11*d**2 + 24*d + 2. Let v be y(8). Solve -v*g + 6*g - 8 = 4*s, 2*s = -4*g + 14 for g.
3
Suppose j = f - 2, 2*j - 2*f = -3*f - 4. Let q be 8/(-1)*(-6 - j). Suppose q = c + 3*c. Solve -5*o - 3*z = z - 31, -c = -4*o + z for o.
3
Let a = 41 - 27. Suppose -a*s = -17*s + 75. Solve 5*r = 3*z + s, 0*z + 19 = -5*z - 3*r for z.
-5
Suppose 0*s + 3*n - 99 = 4*s, 57 = -2*s - n. Let o = s - -31. Solve -2*x - 4 = -3*q, q = -q - o*x + 24 for q.
4
Let y(l) = l**3 - 42*l**2 - 235*l + 6. Let r be y(47). Solve -2 = p + n - r, 0 = -5*p - n + 20 for p.
4
Let l = -291 + 296. Solve -3*c - 19 = -l*b, 2*c - 7 = -3*b + 6*c for b.
5
Let l = -164 - -166. Solve 2*o + 10 = l*w, 4*w + 3*o - 14 = o for w.
4
Let p be 9*1/4*4. Let h(s) = s - 19. Let r(d) = 3*d - 43. Let q be r(22). Let v be h(q). Solve 2*n - 12 = 3*c + 2*c, -p = v*c - n for c.
-2
Suppose y - 3*a - 18 = -3, 0 = 5*y + 2*a - 24. Solve 7*p + 8 = y*p + 4*u, 3*p = 4*u for p.
4
Let g(y) = y**2 + 2*y + 4. Let b be g(0). Solve 0*k = -k + i, k = 2*i - b for k.
4
Let g be -4*3/18 + (-16)/3. Let d(z) = z + 8.