= 5*a - 22, -5*a - p*l = -6 - 21 for a.
5
Let y be 15/4 + 7/28. Let x = 6797 + -6791. Solve b = r, -r = y*b + x - 1 for r.
-1
Let n = -325 - -527. Let p = -197 + n. Solve 2*a + p*m = -18, -m + 2 - 1 = 5*a for a.
1
Let v(t) = -2*t**3 + 21*t + 30. Let j be v(-2). Solve 5*i - u + 11 = 0, -j*i + 7 + 1 = -5*u for i.
-3
Suppose 4*w + 39 = -h - 4, -4*w - 49 = 3*h. Let i(x) = 4*x**2 + 40*x + 9. Let s be i(w). Solve 4*y + s = 2*j - 3*j, -5*j - 24 = -y for j.
-5
Let i be (119 - 125) + 8 + -2. Solve -l + i*a - a = -4, -5*a = -15 for l.
1
Suppose -494 + 329 = -15*q. Solve q*p + 4*i = 12*p - 11, 0 = 6*p - i + 3 for p.
-1
Let u = -1644 + 1649. Solve -2*s + 2*m = 6, s - u*m = -14 - 1 for s.
0
Suppose -3*d - 70 = -79. Let c be (-2 + 0)*7/14 + d. Solve 4*w - 19 = -x, 2*w - 14 = -4*x + c*x for x.
3
Suppose -7197 = -13*m - 606. Let c = 513 - m. Solve 5*p = 2*q + 10, 2*p + 6 = -2*q + c*p for q.
5
Suppose 0 = 72*u - 64*u - 1440. Let s = 184 - u. Suppose -3*y - 5*a + 33 = -y, 2*a = y + 6. Solve l - s = 2*l + p, -y = 2*l + p for l.
0
Let w be (-12)/(-6)*-1*26. Let s = w + 54. Solve 5*v + 24 = -z, 2*z - s*v = 3*z + 12 for z.
-4
Let k(f) = -3*f + f + 0*f - 9 + f. Let t(o) = o**3 + 10*o**2 + 8*o - 18. Let i be t(-9). Let c be k(i). Solve 0 = -4*a - 2*m + 26, c = 2*a + 2*m - 6 - 10 for a.
5
Let n(t) = -4*t**2 + 27*t - 12. Suppose -y - 12 = -18. Let v be n(y). Solve 2*q + 6 = -b, -q - 3*b = -3*q - v for q.
-3
Suppose -5*z = 3*n - 20, 4*z - 6*n + 2*n = -16. Let m(j) = -j**2 - j + 2. Let f be m(z). Solve -4*u + f*g = -g + 8, 5*u + 2*g = -10 for u.
-2
Suppose 4*j + 18 = 2*g, -4*g + 21*j + 15 = 20*j. Let k be ((-8)/(-3))/((-14)/(-21)). Solve 2*l + k*z + 1 = 3, g*l - z = -11 for l.
-3
Let k(x) = -5*x - 14. Let r be k(-4). Suppose -r*h + 52 + 74 = 0. Let u = 118 + -115. Solve 25 = 5*m - 2*l, -2*m + u*l + h = -0*l for m.
3
Suppose 5*h - 5*x - 20 = 0, 65*h = 67*h - 3*x - 9. Solve -43*o = -3*k - 45*o - h, 3*k + 3 = 3*o for k.
-1
Suppose 3*p - 4*q - 69 = 36, 0 = 2*p + 4*q - 70. Let x be (-60)/(-28) - 5/p. Solve -i = 4*k - 4, -5 = -3*k - 4*i - x for k.
1
Let o(a) = 2*a**3 - 3*a**2 + 2*a - 10. Let f be o(5). Let w = 178 - f. Solve 5*k + 2*x = 0, -k - w*x = -2*x for k.
0
Suppose 2*k = 4*k + 52. Let z be 252/52 + (-4)/k. Suppose 16*l = 3*l - 509 + 561. Solve 20 = l*y + y - t, 0 = -z*y - 5*t + 20 for y.
4
Suppose -5*p + 222 = 3*a + a, 0 = -3*a - 6. Let t be (p/(-299))/((-1)/13). Solve -4*d + 10 = -5*g - 0*d, t*d = 2*g + 6 for g.
2
Suppose -4*x - 168 = -53*t + 49*t, 3*x = 4*t - 162. Solve -5*p - 15 = 0, -2*j + p = t - 37 for j.
-1
Let f = 25337 - 25335. Solve -p + f*k + 9 = 10, 0 = -3*p + 5*k for p.
5
Let d be -6*(-28)/4*(-2)/(-4). Let x be 3*12/(-9) + d. Suppose -4*s + 5*t + x + 11 = 0, -3*t - 6 = 3*s. Solve 0 = -5*b + 2*b - s*r + 19, -4*b = r - 17 for b.
3
Suppose 21*w = 25*w - 24. Suppose 9*j - w*j - 105 = 0. Suppose -7*a - j = -14*a. Solve 0 = 2*r + a*s + 7 - 17, -r + 8 = 4*s for r.
0
Let b = -2704 + 2710. Solve 0*w + b = 4*j + w, -12 = -4*j + 2*w for j.
2
Suppose 8*j = -7*j + 270. Solve 105*x + m = 100*x + 23, 4*x + m - j = 0 for x.
5
Let s(n) = n**3 - 3*n**2 + n - 10. Let o be s(4). Suppose -2*x - 7*c = -2*c + o, 0 = 2*x + 2*c - 2. Solve -4*g - 2 = 3*t, -4 = -x*t + 6 for g.
-2
Let y be (2 - (-1)/(-2))*2. Suppose -d - 4 = -y*d. Let m = 26600 + -26593. Solve 2*p + 7*i - 6*i = -5, d*i = -p - m for p.
-1
Suppose 18*r - 24*r + 654 = 0. Suppose 0 = -16*o + r - 29. Solve 4*b - 4*t = -20, 3*b = 3*t - o*t for b.
-2
Let b(l) = l**3 + l**2 + 2*l + 7. Let a be b(0). Suppose w + 6 = 4*t, 2*w - 3*t = -3*w + 4. Solve -y - 5 = -a*z + w*z, 0 = 5*y for z.
1
Suppose -h = 4*o + 15 - 76, 2*o - 31 = -h. Let m(p) = -p**2 + 12*p + 8. Let a be m(o). Let b = a - -55. Solve 5*k + 25 = 0, 2*r - b = -0*r + 2*k for r.
4
Suppose 162 = 2*r - 4*x, 4*x + 434 - 462 = 0. Solve 4*v + b = r - 118, 5*v = 2*b - 19 for v.
-5
Suppose -2*s - 458 = -466. Solve s*r = 3*m - 2, 15*m - 18*m + 9 = 3*r for r.
1
Let n(q) = q**3 + 6*q**2 + 2*q + 15. Let i(w) = 6*w + 48. Let s be i(-9). Let d be n(s). Solve 6*l + 11 = -4*a + l, 0 = d*a + l for a.
1
Let q = 42 - 33. Suppose -2*s - 3 - q = -2*m, 3*m + 3*s = 30. Suppose -3*c = 2 - m. Solve -5*g - c*v + 21 = -5*v, 3*g + 4*v - 1 = 0 for g.
3
Suppose 3*a = 3*n - 144, a + 77 = 2*n - 16. Let l = -39 + n. Suppose 7*x - 9*x = -l. Solve x*q + z + z = 5, -10 = 2*q - 2*z for q.
-1
Let q = 1139 + -1134. Suppose -y - 2*v + 14 = v, -3*y + 5*v - 28 = 0. Let p be (y - 8)/(-3) + 2. Solve p*l = q*t + 5, -4*t - l + 0 = 4 for t.
-1
Let f(i) = -5*i**2 - 42*i + 3. Let h be f(0). Let s(r) = r**2 + 6*r + 5. Let a be s(-5). Solve 4*p - h*n + 27 = 0, -3*n + a*n + 12 = p for p.
-3
Suppose -u + 7 = 4*v, -3*u - 5 + 13 = -v. Let f(y) = y**2 - y**2 - u + y**2 - 2. Let s be f(-3). Solve -4 = s*b + 2*d, 4*d + 8 = -0*b - 2*b for b.
0
Suppose 2*f - 5*a - 53 = 0, -4*f + 2*a = -0*a - 98. Let g = f - 24. Solve -2*h - 30 = h + 3*o, -4*h + 4*o = g for h.
-5
Suppose -i - 9 = 0, 0*j + 139*i + 4 = j + 140*i. Let y = -2 + 5. Solve y*p + 23 = -4*s, -3*p - s = s + j for p.
-1
Let k = 176 + -216. Let x be ((-150)/k)/((-6)/(-8)). Solve x*c - 15 + 5 = b, -3*b - 15 = 0 for c.
1
Let y be ((0/4)/5)/(-3). Let m be (y/2 - -15) + 3. Suppose -15*q = -m*q. Solve b + 2*o = -7, q = 4*b - 0*b + 2*o + 16 for b.
-3
Let d be (30 - 1)*(-102)/17. Let h = -171 - d. Let r(j) = j**3 - 7*j**2 - j + 10. Let u be r(7). Solve 0*f = -2*f + x + 7, -h*f + u*x = -12 for f.
3
Let p be (60/(-8))/(-5)*160/6. Suppose 0 = 2*v - 4*h, 9*v + p = 13*v + 2*h. Solve m + 6 = b, -2*b = -3*m - 8 - v for b.
2
Suppose -134*v = -67*v + 184*v - 1255. Solve q = -2*h + 10, v*h + 2*q - 23 = -0 for h.
3
Let w = 1019 - 1010. Solve r = -4*x + 12, 0 = -2*r - w*x + 7*x for r.
-4
Let o be (-1683)/(-1377) - ((-32)/72 - 4/(-6)). Solve -5*z + 2 = 3*t + o, 2*t = -4*z + 2 for z.
2
Let z = 1 - -12. Let d(j) = -z + 15 + j + 11. Let n be d(-10). Solve 4*i + 4*y - 5*y = -5, -n*y = -5*i - 15 for i.
0
Let x be ((-78)/8 - -9)*24. Let g be (-189)/x - (-2)/4. Solve -g = -2*v + 5*q - 1, -4*v - q + 20 = 0 for v.
5
Let k be 26/4 - 33/22. Suppose k*z - 29 - 46 = 0. Let m be -1*(-27)/z + (-2)/(-10). Solve -10 = -2*f + 5*d, m*f - f = -d - 2 for f.
0
Let l = 6 + -6. Let r(v) = -v**3 - 2*v**2 - 4. Let m be r(-3). Suppose l = -m*p + 16 + 24. Solve -5*w + 4*w - 5*s = 17, 4*w = -5*s - p for w.
3
Suppose -47*b - 5*o = -52*b + 5, b = -4*o + 11. Solve b*k - 1 = -4*j, 0*k = 3*k - 5*j - 19 for k.
3
Suppose -21*s + 20*s + 4 = 0. Let r(q) = q**2 - 14*q + 45. Let x be r(s). Solve x*b - 4*w = w + 10, 3*b - 4 = 4*w for b.
4
Suppose 2*n - n - 7 = 0. Suppose -5*z = 3*r + 36, -r + 10 - 12 = 5*z. Let v(q) = -22*q - 369. Let i be v(r). Solve 0 = i*s - 4*x + 2 + 1, -4*x = -s - n for s.
1
Let j be (-72)/(-7) + 54/(-189). Let w = 75 + -45. Let y = w + -26. Solve a = -3, j = -4*f - y*a - 2 for f.
0
Suppose -3*t = -3*i - 108, -3*i - 2*i = 5*t - 140. Solve 5*j = -3*a + t, -2*j + 5*a - 13 + 1 = 0 for j.
4
Let o(q) = -95*q + 1047. Let k be o(11). Solve k*n + 6 = n + 3*y, -n - y + 6 = 0 for n.
3
Let o be 2/(-9) - 2465/(-765). Solve t + q + 7 = -0*q, -6*t - o*q = 33 for t.
-4
Suppose 3*z + z - 222 = -70*z. Solve -g + z = -5*y, -520*y - 2 = -516*y - g for y.
-1
Let f be 5/(-2)*(-18)/15. Suppose -w + b = -b + f, 0 = w - b. Suppose 54*h = -756 + 918. Solve 0 = -h*d + w*x + 15, 4*d - x = 2*x + 20 for d.
5
Let s = 28644 - 28641. Solve 27*g - 1 = 28*g, 3*w = -s*g for w.
1
Suppose 3*t - 72 = 5*k, -5*k + 96 = 4*t - 3*k. Let l be (t/16)/(2/4). Solve 0 = -5*d + 2*n + 24, 5*n - 6 = -l*d - d for d.
4
Let t = 553 + -550. Solve -v + 0*v = -3*f - 13, 14 = t*v - 4*f for v.
-2
Let b = -52 + 50. Let y be (-5)/b - (-2)/(-4). Suppose -y*g - g = 0. Solve 0 = 5*q - 4*h - 31, 3*q + g*h - 25 = 4*h for q.
3
Let u be (12/10)/((-136)/80 + 2). Solve 4*m = 4*o + 36, 21 - 10 = o + u*m for o.
-5
Let n = -15043 - -15046. Solve 4*k - 2*v - 24 = -3*v, -k + n*v + 6 = 0 for k.
6
Suppose -5*c - 2*b + 2 = 0, -4*c + 5*b = -5*c + 5. Suppose -3*j = 5*q - j - 100, -j = 3*q - 60. Solve c = -3*r + l - 5 + 21, q = -5*l for r.
4
Let s = -120 - -117. Let b(o) = -2*o**2 - 6*o. Let n be b(s). Solve -c - 4*i + 15 = 0, -3*i + 16 - 1 = n for c.
-5
Let y(c) = -c**3 + 30*c - 8. Let t be y(-9). Let w = t - 445. Solve p - 3*o = 2, 2*p - w*p + o - 3 = 0 for p.
-1
Let l = 355 + -592. Le