lve t - 18 = 4*c, y*t = c + 4*t - 5 for c.
-5
Let v(q) = 2*q**2 + q - 12. Let z be v(3). Suppose 0 = 10*u - z*u - 2. Solve -3*w = u*t - 3*t + 12, 2*t + 3*w + 3 = 0 for t.
3
Let m(a) = 0 - 2 - 5 + 2*a + 1. Let c be m(7). Solve -5*s + u + 22 - c = 0, -3*u + 12 = 3*s for s.
3
Let d(y) = y**3 + 11*y**2 + 8*y - 13. Let v be d(-10). Suppose 0 = 2*t + 3*n + 1, 0 = 2*t - v*t - n + 17. Solve w = t*q + 13, -3*q - 2*q = -5*w + 35 for w.
5
Let i = 556 + -551. Solve 1 = 2*x + i*p, -5*x + 4*p + 8 - 22 = 0 for x.
-2
Suppose 0 = 4*m - 20 + 8. Suppose 0 = -n + m*j + 4, 5*n - 2*j + 0*j = 7. Solve 2*c - 7*c + 4*o + n = 0, -2*c + 3*o = -6 for c.
-3
Let m = 1269 - 1267. Solve -3*c - 16 = -5*x, 0 = 2*x - 8 - m for c.
3
Suppose -69 + 13 = -4*j - 2*o, 4*j - 56 = -5*o. Suppose -2*p - j = -9*p. Solve -3*z - 15 = 3*f, 0*f + p*f + 19 = -5*z for z.
-3
Let w = 56 + -53. Suppose 0 = -4*j - d + 7, -3*j + 2*j + 5 = -w*d. Solve 5*t + 19 = 4*b, 0*t - j*t - 3 = 3*b for t.
-3
Let n be (18/18)/(3/24). Solve -a = 3*p + n, a + 12 = -3*p - p for a.
4
Let i be 2580/(-140) - (-6)/14. Let s = i + 23. Solve -6*x + 1 = -5*x - b, 4*b = s*x - 2 for x.
-2
Let n be (-1*(43 - 4))/1. Let y = -15 - n. Let b = y - 19. Solve -r + 6 = -f + 2, b = 3*r + 4*f for r.
3
Let s be 1/3 - (-3)/(-9). Suppose -2*q + 7*q + 5*r - 5 = s, 2*q + r - 5 = 0. Solve 4*w + 4*t - t - q = 0, 2*t + 8 = 0 for w.
4
Suppose -20*g + 2*o + 28 = -16*g, 5*g + 3*o - 13 = 0. Solve 2*k = p - 3, 0 = p - g*p + k - 16 for p.
-5
Suppose -25*a = -7*a. Solve a = -2*p + 4*y - 16, -3*y - 1 + 0 = 5*p for p.
-2
Suppose g - 92 = -g. Let o = -8 - 17. Let m = g + o. Solve 5*t - 2*t = -b - 11, 0 = -5*t + b - m for t.
-4
Let a be ((-2 + -5)/(-7))/(3/3). Solve 0 = 2*g + 2*t - 4, -t = -0*t - a for g.
1
Suppose -5*s - 1 = -f - 12, 4*f - 4*s - 4 = 0. Solve 2*r - 6*r - f = 0, 0 = 4*k - 5*r - 17 for k.
3
Let h(v) = v**3 + 4. Let t be 0*(3 - (-4)/(-2)). Let d be h(t). Let m be 18/d + 9/(-6). Solve b + 0 + 11 = 5*f, m*b = -2*f + 18 for b.
4
Suppose -2*b - x - 3 = -0, 2*x + 6 = 0. Let l = -5294 - -5294. Suppose -4*n = k - 37, 2*k + 0*k = 10. Solve -4*t = -4*v - b*t - n, l = 3*v + 3*t - 6 for v.
0
Let a(k) = -7*k**2 - k**3 - 4*k - 11*k + 0*k**2 - k**2. Let f be a(-6). Solve -4*l + 2*l + 4*j + f = 0, -2*l - 3*j = 10 for l.
1
Suppose -15*o = -8*o - 28. Let h(s) = 8*s**3. Let u be h(1). Let k(f) = f**3 - 5*f**2 + 4*f + 4. Let a be k(4). Solve o*v + 0*t + t = 14, a*t - u = 0 for v.
3
Let t be (-4)/22 - 1876/(-154). Let w = -7 + t. Suppose d + 3 = 4*b, 3*b - 5*b = -2*d + 6. Solve i = 3*z - 2 - 0, -b*i + w*z - 3 = 0 for i.
1
Let n = 13 + 0. Let l = -9 + n. Solve 3*i + 4 - 2 = l*p, 3*p - i + 1 = 0 for p.
-1
Let j(d) = -d**3 + 3*d**2 + 7*d - 7. Let n be j(4). Solve n*q + 2*s + 7 = 0, 0 = 2*q + 3*q - 5*s for q.
-1
Suppose -2*m + 5*r = -0*r - 6, -3*m = -2*r - 9. Solve -l - 2*l + 8 = -q, 0 = 3*q + m*l + 12 for q.
-5
Let n = -90 - -44. Let p = 50 + n. Solve -q - 8 = -c - 3, p*c + 10 = -2*q for c.
0
Let v(q) = -q**2 - 8*q - 7. Let m be v(-5). Let p = 7 - m. Let d = p - -5. Solve 8*z = 4*x + 4*z - 8, 0 = -5*x - d*z + 28 for x.
4
Suppose 9*w - 27 = 9. Suppose -5*o + 4 = -w*u, -5*o = -u - u - 12. Solve -d = 3*b + u*d - 32, -5*d + 16 = -b for b.
4
Let c = -18076 - -18082. Let k = -2 + 4. Solve -w + 7 = -k*n, 3*w - 2*n = w + c for w.
-1
Let o = 20 - 5. Suppose -h + 41 = o. Solve 2*t + h = 6*t + 5*b, -2*t = -4*b for t.
4
Let o = -160 + 76. Let y = -84 - o. Solve -8 = -4*t + 2*n + 3*n, 3*t - n + 5 = y for t.
-3
Suppose -4*o + 16 = -0*o, 3*u = -2*o + 68. Suppose 17*b - 21*b + u = 0. Solve 2*v = q + v + 7, -5*v + 15 = b*q for q.
-2
Suppose 154 = -4*n + 170. Solve -f = 2*a - 7*a - 17, -13 = n*a - f for a.
-4
Suppose 32*b - 16 = -2*f + 31*b, f = b + 8. Solve f*v - 4*v - 32 = 3*w, v - 13 = 2*w for w.
-4
Let y(m) = 209*m + 418. Let l be y(-2). Let n = 1 - 1. Solve 2*c = -3*g - n*g + 9, l = 4*g + 2*c - 12 for g.
3
Let x be 2730/150 + (-8)/(-10). Solve -4*h - x = c - 6, 0 = 3*c - h for c.
-1
Let y = 77 + -109. Let v = -22 - y. Solve -4*r = m + 3 - 1, -5*r - 5*m = v for r.
0
Suppose -3*m + 1 = -5. Let d = -233 - -238. Solve z = m*b - 2 + d, 5*b + 4*z + 27 = 0 for b.
-3
Suppose -5*c + z = -55, -3*c - 2*z + 18 + 28 = 0. Suppose 2*n + c = -12. Let o = -6 - n. Solve -2*x = -2*i - o, -2*i + 2*x = 6*x for i.
-2
Let s be ((-8)/(-14))/(82/(-28) + 3). Solve -4*r + 16 = j, 3*r - 7 = s for j.
-4
Suppose 2*u + 2*i = 3*i - 3, 5*u - 2*i + 6 = 0. Let q = 5 - u. Solve -2*s - q*t + 21 = 0, 0*t - 2*t = s - 9 for s.
3
Let u be (-6)/21 + 3 + 90/21. Solve -v + 2*h + u = 0, 2*v = 2*h - 7*h + 5 for v.
5
Suppose 5*j + 5*f - 31 = 2*j, 5*j = f + 89. Let b = 19 - j. Solve -1 = -3*h - 0*i - i, -b*i + 5 = 3*h for h.
-1
Suppose 3*n = -5*s - 1, -s - 13 + 8 = 0. Solve 5*m + 3*j - 3 = 19, 0 = m - 3*j - n for m.
5
Suppose -32*c - 796 + 1020 = 0. Solve -f - 3 = 2*j - c, 0 = 3*j - 3 for f.
2
Suppose -2*c = -3*c + 3. Suppose 6 - 8 = -z. Suppose -l + 6 = z. Solve 0 = -5*k - 3*i - 8, -4*k - c*i - l = -0 for k.
-4
Let y be (-2)/3 - (-112)/24. Suppose -a + y = -6. Suppose -u = -2*p - a, -5*p = -5*u - 3*p + 26. Solve -4*k - 16 = -4*s - 0*s, -3*s - 9 = u*k for k.
-3
Let i = -485 - -488. Let b be 1 - (-1 - 2*3). Suppose b = i*s + 2. Solve -3*f = s*q + 15, -2*q - 12 = -2*f + 4*f for f.
-3
Let q = -18 + 14. Let i = q + 7. Solve 2*s = -5*p - 2, -3*s = -0*p + 2*p + i for s.
-1
Let o(c) = -c**3 - 3*c**2 - 3*c - 9. Let w be o(-3). Let k be -7 + 10 - (-2 - 7). Suppose -10*x - 4 = -k*x. Solve -x*a - 2*j - 4 = w, 5*a - j + 3 = 17 for a.
2
Suppose 3*f = -0*f - 21. Let h = f - -9. Suppose -4*d + 4 + 4 = 0. Solve 5*k + 4*b = -h, 0*k - d*b = 2*k + 2 for k.
2
Suppose 5*b = -5*z + 25, 0 = 5*z + 3*b - 5 - 18. Solve -4*t + 26 = 3*j, 0 = -4*j + 5*t - z - 13 for j.
2
Let c be (6/(-4))/((-12)/(-176)). Let g = -17 - c. Suppose -m = -g*m. Solve -3*x + 4 = 2*i, 2*i = x - m*i - 12 for x.
4
Let i be 5/2 + 51/34. Solve -2*c = 4*m - 2, -2*c - i*m + 1 = -m for c.
-1
Let t(i) = -i**3 - 2*i**2 + 6*i - 4. Let r be t(-4). Let n be (r/(-5))/(10/(-25)). Solve 5*f = 2*q - 17, 4*q + f + n - 3 = 0 for q.
1
Let z be 18/(-48) - (38/(-16) - 0). Solve -3*r - 21 = -5*q - 2, z*r + 10 = 2*q for q.
2
Let o be 2 - ((6 - 32) + 1). Solve 5*d - o = 2*t, -t - 4*t + 4*d = 25 for t.
-1
Suppose 3*i = 4*d + 23 + 6, 0 = i + 4*d + 17. Let b = 41 - 20. Solve 0*q + b = 4*q + i*v, 0 = -2*q + 3*v - 3 for q.
3
Suppose 228 = c + 2*c. Suppose c + 24 = -5*n. Let r = n - -24. Solve -x + s - 3 = r, 4*x + 4 = -4*s for x.
-4
Let c be 32/(-14) + (-4)/(-14). Let x be (-4)/(-10) + c/5. Suppose 5*o - 2*o + 3*r - 12 = x, -4*r + 7 = o. Solve -k + 0 = y - 9, 2*y - o*k = -7 for y.
4
Suppose 0 = -u + 5*u - 88. Suppose -5*j + u - 4 = -f, -5*f + 18 = 2*j. Solve 0 = -2*y + j*q + 6, 5*y = 2*y + 5*q + 7 for y.
-1
Let n(q) = -6*q - 92. Let r be n(-16). Solve -7 = r*i - 5*a + 4, i - 16 = -5*a for i.
1
Let h(x) = x**2 - 6*x - 24. Let o be h(-3). Suppose -4*n - 4*z + 12 = 0, -4*z + 4 = 2*n - 6. Solve m - p = -5*p + n, -o*m - 2*p = 7 for m.
-3
Let v be 0 - ((4 - 3) + 0) - -1. Suppose -65 = -5*k - 5*m, 4*k + 2*m + 27 - 85 = v. Solve -3*o + 20 = 2*a, -k = 4*o - 9*o + a for o.
4
Let u = 5 + -5. Let v be ((-10)/6)/(20/(-24)). Solve 0*t = -5*k - 2*t + 6, -3*k - 4*t - v = u for k.
2
Let h = 56 + -38. Let c be 2/8 + (-82)/8. Let t be 1/(h/c - -2). Solve -2*g - 1 = -t*i - 12, g - 1 = i for g.
-2
Suppose k = -3*v + 6, -v + 4 = 3*v. Let h be 25 + 6 + (-70)/5. Let d = h - k. Solve 5*s - s + 2*u = d, -4*s = 5*u - 5 for s.
5
Let r = 1 - 1. Let k = -130 + 145. Let w be (9/k)/((-6)/(-20)). Solve -2*n - w*i + 6 + 0 = r, n + 17 = 4*i for n.
-1
Let y(h) = h**2 - 13*h + 26. Suppose n + 33 = 4*n. Let d be y(n). Solve -2*f - 5*r = -r + 14, 2*f = d*r + 2 for f.
-3
Suppose 4*b - 21 = 2*r - 9, b + 2 = -2*r. Solve 0 = -2*t + 4*p - 19 + 3, 2*t + b*p = 14 for t.
2
Let c(x) = x**3 + 5*x**2 - 5*x + 5. Let j be c(-5). Let z be (-15 - 0) + 5 + -4. Let b = z + 18. Solve 5*d + f + j = 0, 4*f + 25 = -b*d + 3*f for d.
-5
Let b be -1 - 35/7 - -10. Solve -17 - 24 = -4*c - 5*f, -2*c + b*f - 12 = 0 for c.
4
Suppose -142 = 4*v - 150. Suppose 0 = -2*z - 0*z + 8. Solve h + 0 - 5 = -2*c, v*h = z*c - 14 for c.
3
Let l(n) = -2*n**3 + 13*n**2 + 10*n - 5. Let k be l(7). Suppose o + 6 = k. Solve m + 5*t = -o, m + 9 = 4*m + 2*t for m.
5
Let j be (-1 - -2)*