4*a - s = 3 for a.
-2
Let j be (0/(-4))/(12 + -7). Solve 8*x + 2 = 4*d + 10*x, j = 3*d + 2*x - 1 for d.
1
Suppose 0*s - 5*p - 23 = -s, 2*p + 2 = -2*s. Let i be 20/(-6)*s/(-2). Let b(g) = -20*g - 1. Let o be b(-1). Solve -3*q = 5*y + 4, -y + 5 = i*q + o for q.
-3
Let p = -372 + 374. Solve j + a - p*a = -2, -5*j = -4*a + 5 for j.
3
Suppose -14 = -37*v + 60. Solve -v*t = -o - 0*t - 6, -3*t + 6 = -3*o for o.
2
Let y(q) = -q - 20. Let b be y(-15). Let j be 5/b - (-20 + 1). Let k = j - 12. Solve -5*h + w - 2 = k, 0 = 3*w + 6 for h.
-2
Let o = -31 - -53. Let w = -22 + o. Let t be (2/4 - w)*8. Solve 0 = b - 5*b - t*r, 5*b = 5*r for b.
0
Let l(s) = s**2 - s - 1. Suppose -5*m = -2*o + 1 - 10, 4*m - 12 = 0. Let x be l(o). Solve -2*y + 0*y = -f + 6, 0 = x*y - 4*f + 21 for y.
-1
Let b be (6 - -2 - 2)*55/66. Suppose 0 = -5*i + 21 + 39. Suppose -4*s - i = 0, k + 2*s + 4 = -s. Solve 0*a + j - b = -k*a, -3*j = -5*a - 15 for a.
0
Let q be (-3 + (2 - -2))*-29. Let r = 34 + q. Solve j = 2*j - r*w - 6, 5*j = 3*w + 8 for j.
1
Let o(l) = 9*l - 24. Let t be o(4). Let f be -4 - (-240)/56 - t/(-7). Solve -2*r = 4, -4*d = -r - 2*r + f for d.
-2
Suppose 0 = -5*j, -4*j + j - 39 = 3*y. Let n = y - -17. Suppose 0*k - 2*k = n*m - 18, m = -5*k + 18. Solve 4*p + 10 = -3*g + k*p, -5*g - 4*p = 5 for g.
-5
Let n = -80 + 84. Solve -2*q = q + 3*a + 3, 0 = -4*a + n for q.
-2
Let v = -3 - -3. Suppose n = -s + 5, -5*s + 26 - 1 = v. Let b = 413 - 408. Solve -4*i + 3*r + 2*r = 36, -i + b*r - 24 = n for i.
-4
Suppose 31*w - 15*w = 32. Solve 2*z = 3*z - 5*b + 5, w*b = -2*z + 14 for z.
5
Let p(y) = -y + 6. Let m = -23 + 29. Let l be p(m). Solve -4*j + 1 = c - j, l = -2*j + 2 for c.
-2
Let y be (-1)/2 + (-135)/(-30). Let k(u) = u**3 - 6*u**2 + 6*u + 5. Let f be k(5). Suppose 13*x - f*x = 0. Solve 0 = -y*q - 2*c + 8, 4*q = -c - x + 10 for q.
3
Suppose 107*y - 101*y = 66. Solve -2*c - 3*p = y, -18 = -2*c + 7*c - 2*p for c.
-4
Suppose -4*h + l + 27 + 16 = 0, 4*h - 40 = 4*l. Let o = h + -8. Let d be (-5 - 0)*12/(-30). Solve -12 = -d*i - 5*m + m, -4*i + o*m = 9 for i.
0
Let x be ((-140)/42)/(1/(-6)). Let o = x + -15. Solve 2*p - 9 = -3*v + 4*p, -o*p = 4*v - 35 for v.
5
Let i = 331 - 328. Solve 2*m - 15 = i*u - 0*m, 4*m = -2*u + 6 for u.
-3
Suppose 4*f + 8 = -2*j - 8, -4*j - 17 = 5*f. Suppose c + 13 - j = 0. Let i = 12 + c. Solve 4*p + 9 = -d, 4*p + i = p + 5*d for p.
-2
Let p be (-2 - (-3 + 0))*17 + 4. Suppose -96 = -4*f - o, 3*f - 42 - 43 = -4*o. Let d = f - p. Solve -3*j = -0*k + d*k - 16, 0 = 3*j - 6 for k.
5
Suppose o = -5*t - 20, 7*o - 2*t + 15 = 12*o. Solve -4 = 2*l - f, o = -5*l + 3*f - 3 for l.
-4
Let n be -3 + -4 + 0 + 9. Solve -3*i + 4 = -7*i - n*v, -4*i - v = 0 for i.
1
Let j = 14 + -10. Suppose -10*h + 37 - 17 = 0. Solve -4*p + h*p + j*g = 18, 3*g = 4*p + 11 for p.
1
Suppose 16*m - 268 = 18*m. Let j be m/(-26) - 16/104. Solve 0 = j*a + 10, 3*a + 14 - 3 = k for k.
5
Let c = 2457 - 2441. Solve -5*f = -l + c, 5*f = 2*l - 0*l - 12 for f.
-4
Let w be 3/2 - (-63)/(-18). Let k be w - (-1 - (-9)/(-3)). Solve 0 = -4*c + 5*c + q, 5*c + k*q = 0 for c.
0
Suppose 2*x - 25 = 2*r - 9, 5*x + 4*r - 4 = 0. Solve 4*y + d = x*d + 7, -4*d - 14 = -3*y for y.
-2
Let j(l) = -2*l**2 + 6 + 2 - 4 + 3*l**2 - 7*l. Let z be j(7). Let f = -4 + 5. Solve -2*i = c - f, 1 = -z*c - i - 2 for c.
-1
Suppose 18 = n - 18. Suppose -n*s + 16 = -32*s. Solve -4*b + 2*f - 8 = 0, -s*b + 0*f = 2*f + 16 for b.
-3
Let m(g) = -g**2 + 31*g - 228. Let n be m(12). Let u = 1 + 1. Solve v - r + u = -n, -v - 6 = -2*r for v.
2
Let p = -13 + 17. Suppose 3*i = -3*v + 15, 16 = -v + 3*v + p*i. Solve -d + 1 = -v*d - 5*b, 5*b + 2 = -2*d for d.
-1
Let k(p) = 40*p + 365. Let j be k(-9). Suppose -4*l + 7 = -4*x + l, -5*l + 13 = -x. Solve -3*a + a + j = -3*b, -2*b = x*a for b.
-1
Let p = -366 + 372. Solve -3*m - 5*z + p = -7, 3 = -2*m - z for m.
-4
Let d be -1 + 2/6 + (-119)/(-21). Let f be (90/(-27))/(d/(-18)). Solve 3*v + f + 2 = -c, -3*v + 5*c - 2 = 0 for v.
-4
Suppose 0 = 5*f - 4*y - 23, 10*f = 15*f + 3*y - 9. Let w be (-30)/4*2/(-3). Suppose -3*g + 37 + 8 = 0. Solve 3*n - 5*x = f - 4, -5*x = w*n + g for n.
-2
Suppose i = 4*i - 5*k, -4*k = -5*i. Suppose 17*q - 21*q = i. Suppose q = -f - 5 + 10. Solve o - 4*o - f*d - 40 = 0, 5*o - 2*d = -15 for o.
-5
Let c = 22 - 20. Suppose 3*k - 3 = c*o, -o - 2*k + 2 = 3*o. Suppose o*g - 7 = 4*g + 5*m, -5*g + 4*m + 22 = 0. Solve -2*t - 6 = -g*q, 0 = -6*t + t + 5 for q.
4
Let p = -24 - -22. Let w be (((-1)/(-3)*0)/(-1))/p. Solve w = -3*u + m + 4*m + 25, -m - 5 = -u for u.
0
Suppose -8*p = -7*p - 2. Let s(g) = g**2 + 5*g + 4. Let c be s(-4). Let w be (-98)/(-4) + 12/(-8). Solve c = -p*a, -5*m - a + 2 = -w for m.
5
Let c = -27 + 43. Suppose 8*u - 3*u + 5*r = -5, 4*u - r = c. Solve -5*o = -u*t + 10, -t = -5*o + 4*t - 20 for o.
1
Suppose 5*h - 25 = -0*u - 3*u, 3*h + 72 = 4*u. Solve 6*d = 3*d - 3*l - u, -3*d = 5*l + 19 for d.
-3
Suppose 63*b = -2*s + 67*b + 8, 2*s - 3*b = 7. Solve 0*r = s*p - 4*r + 18, 0 = 4*r - 16 for p.
-1
Suppose -6*v + 3*v + 2*k + 4 = 0, 0 = -3*v - 4*k + 10. Solve -5*i - v*a - 3 + 20 = 0, i = a + 2 for i.
3
Let c be 25/9 - 2/(-9). Suppose 2*o + 15 = -3*m - o, -4*m = o + 11. Let d be 5/15 - 1/(-6)*m. Solve 2*w + 10 = 2*t - 4*t, -3*t + c*w - 9 = d for t.
-4
Let v be 984/(-33) - (-6)/(-33). Let q be (-8)/6*v/(-20). Let r be (q/(-4))/(3/12). Solve -4*b + r*b + 10 = o, -o - 14 = -4*b for o.
2
Let r be 7/147*7*9. Solve -3*n + 9 = u, -r*u = -4*u + 2*n - 11 for u.
-3
Let a(c) = 3*c + 26. Let x be a(-8). Let u(l) = -l + 1. Let z be u(-4). Suppose 0*w = w - z. Solve 25 = -w*q, -x*i = -i + q + 9 for i.
-4
Suppose -5*m - 7*m = -5*m. Suppose -8*o + 24 = -m. Solve -12 = o*k + h, -5*k + h - 19 = 9 for k.
-5
Let w = -14 - -16. Let s(d) = d**3 + d**2 - 3*d + 3. Let p be s(w). Let k(j) = j**2 - 9*j + 6. Let r be k(p). Solve -5*t - r = -2*h, 3*h = t - 5*t + 9 for t.
0
Let n(v) = v - 17. Let q be n(13). Let o = q + 6. Let i be (26 - o)*(-2)/(-3). Solve g - l = -2*g - i, 2*g + 5*l = -5 for g.
-5
Let b(h) = 2*h**3 + 26*h**2 + 81*h + 13. Let o be b(-8). Solve o*p = m + 26, m = -0*p - 3*p + 14 for m.
-1
Let v(b) = b + 6. Let c be v(-3). Suppose -4*l + 9*l + 2*x - 4 = 0, -c*l - 3*x + 6 = 0. Solve -3*s + a + 2 = -l*s, 0 = 4*s - 3*a - 6 for s.
0
Let s = 0 - -2. Let c(o) = -9*o + 15. Let g(k) = 4*k - 8. Let a(l) = -3*c(l) - 7*g(l). Let z be a(8). Solve -2*q + 4*q - 12 = 4*p, -z = -s*q + p for q.
0
Let i(q) = 4*q**3 - q**2 - 2*q + 2. Let h be i(1). Suppose -6*r + r - 8 = -4*l, -2*l = h*r - 4. Solve 3*p - 2*j - 4 = 2, 4*p - l*j = 6 for p.
0
Let t = 14 + -9. Let w be t + (12*1)/4. Suppose b = 5*b - w. Solve b*p = 6*p + 3*s - 3, p + 3*s - 3 = 0 for p.
0
Let y = -374 - -377. Solve 0 = y*a + j - 20, -2*j - 5 = -3*j for a.
5
Let u(n) = -n**3 + 22*n**2 + 1. Let b be u(22). Let r be (0 - -1)*(-2 - (-2)/b). Solve -3*d + 2*d - 2 = 4*x, x - d + 3 = r for x.
-1
Let q be 2 + (-8)/(40/(-15)). Solve 5*s = -y + 13, 3*y - q*y - 10 = -2*s for s.
3
Suppose 3*d - 42 = -12. Suppose -10*o = -13*o + 3. Let t be (3/2*o)/((-2)/(-4)). Solve 0 = -5*k + 4*y + d, -y - 3 - 3 = -t*k for k.
2
Let x(y) = y**2 + 5*y + 7. Let f be x(-5). Suppose -2*z + f*d = 3*d - 10, 4*z = d + 13. Solve -3 = t, -t = z*p - 2*p + 3 for p.
0
Let c(g) = 18*g**2 + 18*g + 5. Let a be c(-1). Solve -8 + 30 = a*j - r, 5*r = 5*j - 30 for j.
4
Suppose -4*s = -4*p + 52, -2*s - 42 = -3*p + 2*s. Suppose -9*t + 8 = -p. Solve 4*y = 4*v - 4, y + 6 = -t*v + 17 for v.
4
Suppose 4*z - 3*u - 3 = 9, 2*z - 6 = -2*u. Solve 3*j - 7 = -4*x, 18 = -x - z*x + 2*j for x.
-2
Let t(j) = j**2 - 17*j + 3 + 0 - 16*j + 35*j. Let x = -5 + 3. Let a be t(x). Solve -d - a = -5*f - 0*d, 2*f + 4*d - 10 = 0 for f.
1
Suppose 20 = -j - 4*j. Let m(y) = -y - 2. Let g be m(j). Suppose 5*z = -4*s + s + 36, 4*s = z + 2. Solve g*x = -z*u + u, -u + 18 = 4*x for x.
5
Suppose 0 = 3*d - 2*d - 16. Suppose -d = -2*l - 2*l. Solve -l*m + 25 = -3*o, 3*o = 2*m - 0*o - 17 for m.
4
Suppose -7*f + 2*o = -4*f - 4, -3*o = -2*f + 1. Let q be (6/9)/(6/27). Solve 2*c - 5 = 5*r + 3*c, -3*r = f*c + q for r.
-1
Suppose 8*j + 40 = 4*j + 4*w, j - 3*w + 6 = 0. Let o be ((-32)/j)/(2/6). Solve -4 = 3*k + 3*i + i, k = -3*i - o for k.
4
Let p be 407/5 + -3*6/45. Suppose 84*v - p*v = 6. Let n(i) = i**3 + 5*i**2 - 7*i - 6. Let f be n(-6). Solve -x -