 10 = 0 for a.
1
Let w(s) = s**2 - 5*s + 6. Suppose 4*u - 2 = 10. Let m be w(u). Solve y = -z - 0 + 6, m = -2*y + z + 3 for y.
3
Suppose 12 = 30*p - 78. Solve 0 = -2*y - p*d - 7, -5*d - 1 = -2*y + 16 for y.
1
Let j(h) = h**3 - 10*h**2 - 10*h - 8. Let s(u) = -u + 16. Let r be s(5). Let t be j(r). Solve 0 = -3*i + 4*d + 2, t*d = 6*i - 2*i - 5 for i.
2
Let d(x) = 2*x**3 - 32*x**2 + 30*x + 10. Let u be d(15). Solve 0 = -4*h - u + 30, -5*h + 28 = 3*c for c.
1
Suppose 25 = 5*p + 5*f, -p + 4 = 4*f + 5. Solve -2*o + 4*d = -p - 1, -5*o + 20 = 4*d for o.
4
Let o = 19 + -8. Let p = o - 8. Let x(g) = g**3 + 6*g**2 - g - 6. Let f be x(-6). Solve f = -p*n - 3*l - 0*l - 15, 0 = -4*n - 2*l - 18 for n.
-4
Suppose -10*n = -3*n - 56. Let i be (-1 - n)*(0 + 1/(-3)). Solve 12 = -i*f, 3*v = -4*f + 2*f - 17 for v.
-3
Let g be (0/3 - -4) + -18. Let v = 19 + g. Solve -v*o = -o - 5*a - 12, -a = o - 3 for o.
3
Suppose 35 = -177*i + 184*i. Solve -5*j - 12 = 8, i*v = -4*j - 36 for v.
-4
Suppose 3*j - 2*j - 59 = -2*i, -3*j = 2*i - 69. Let g = -5 + i. Solve -5*w + g = -3*u, 5*w + 2*u - 12 = 3*w for w.
5
Let w = -103 - -121. Solve 9 = -4*m + p - 1, -3*p = 4*m + w for m.
-3
Suppose 15 = -r + 3. Let w be (64/r)/4*-3. Solve 0*g = 3*h - w*g + 3, -4*h - 5*g = -27 for h.
3
Suppose -4*v - 4 = 28. Let w be (-3)/(((-9)/(-4))/9). Let z be (v/w)/((-2)/(-6)). Solve 0 = 5*i - d + 7, i - 4 = -z*d - 1 for i.
-1
Let y = -147 + 151. Solve -y*z = -2*d + 26, -5*d = -4 - 11 for z.
-5
Let o(f) = -f**3 + 6*f**2 - 5*f + 5. Suppose -26 = k + k + z, 3*k + 5*z = -32. Let p = k - -19. Let w be o(p). Solve 2*m + m = 6, -5*i + w*m = 0 for i.
2
Suppose 19*a + 27 = 28*a. Solve 0*s + 3*s - a = -2*r, -s - 12 = 5*r for s.
3
Let s = 869 + -589. Suppose 0 = -5*x - 3*x + s. Solve 3*q - x = 4*r, -3*r - 6*q + 2*q + 5 = 0 for r.
-5
Let r = 45 - 40. Solve 0 = -o + p + r, 0*o - 3*o - 13 = 4*p for o.
1
Let p(z) = -z + 5. Suppose -3 - 15 = -2*i. Let l be p(i). Let x = l + 28. Solve 0 = -5*g - 5*v - 40, -x = -g + 4*v - 7 for g.
-3
Let n(z) = 4 - 3 + z**2 + 3 - 2*z - 2*z**2. Let v be n(-3). Solve -2 = -3*d - 2*w, -2*d + 6*d - w + v = 0 for d.
0
Let g be -8*1*(-1)/2. Suppose -5*z = 3*i - 3, -25*i + 28*i = -4*z. Solve -b + 0*j + 17 = g*j, -2*b + z*j = -1 for b.
5
Let p(c) = -23*c + 579. Let r be p(25). Solve -5*t = -r*v - 4*t - 19, -v - t - 1 = 0 for v.
-4
Let n = -1 - -4. Let w = -43 + 39. Let r be w/4 - (1 + -4). Solve 2*o = -r, -7*p - n*o = -5*p + 7 for p.
-2
Let f = 65 + -93. Let b be ((-1)/(-2))/(2/f). Let a(z) = z + 10. Let w be a(b). Solve -m = -6*m + w*y, -4*m = -3*y for m.
0
Let c(o) = 37*o - 32. Let b be c(1). Solve 0 = 4*n - b*d - 7 - 3, 5*n = 2*d + 4 for n.
0
Suppose -38*f + 29*f + 135 = 0. Solve -3*d - f = 2*d, 5*b - 5*d = 40 for b.
5
Let t(k) = -k**2 + 10*k + 9. Let q = 14 - 5. Let l be t(q). Solve 4*n + 0*i + 2*i = -l, 2*n = 2*i for n.
-3
Let z = 1409 + -1400. Solve -d + 13*t = 9*t - z, -12 = 5*d - t for d.
-3
Let a be 2 + (0 - -4 - 37). Let l = -28 - a. Solve -5*b + o = -27, -6 - 1 = -l*b - 4*o for b.
5
Suppose 0 = 5*i - 2*l - 2*l + 92, i = -3*l - 7. Suppose -3*o - 8 = -17, -73 = -2*w - 3*o. Let g = w + i. Solve -3*t = -4*q + 5, -2*q + g = 3*t - 9 for q.
5
Suppose 8*x - 5 = 7*x. Suppose 32 = -f - 4*c, -x*f = -f - 3*c + 147. Let w be (-820)/f - (-4)/18. Solve -4*h - w = -2*h - 5*r, -h - 13 = -3*r for h.
-4
Suppose 5 = x + 1. Let c = x + -4. Let j(b) = -3*b - 5. Let a be j(-7). Solve -12 = 5*s - 3*m - 0, s + 4*m - a = c for s.
0
Let c be (9/(-27)*0)/((-2)/1). Let l be (-1 - c)*1 + 2 - -2. Solve -v + 5*j = l*v + 9, j + 1 = -2*v for v.
-1
Suppose l + 8 = 2*h, 4*h + 4*l + 10 = h. Solve 4*n + 3*w = h, -n - 3*w = -5 - 0 for n.
-1
Suppose 5*g = -0*g - 25, -4*v + 4*g = 32. Let d = -22 - v. Let o be ((-36)/14)/(d/42). Solve -2*l = 4*t + 12, -t - 4*l = -5*t - o for t.
-3
Let w = -10 + 14. Suppose 1 = -3*j - w*h - 3, 0 = 4*j + h + 1. Suppose j = -2*l - 3*l + 55. Solve 32 = -4*f + 5*t, 5*t = 3*f + 40 - l for f.
-3
Let p = 55 - 51. Suppose t = -h + p, -2*t + 3*t = 3*h - 4. Solve t = -2*j + g + 3*g, 0 = -2*j - 5*g + 25 for j.
5
Let b(k) = k + 15. Let j(s) = 6*s + 75. Let z(u) = -11*b(u) + 2*j(u). Let f be z(18). Solve -f*h - 7 = a - 3*a, 36 = -4*h - 4*a for h.
-5
Suppose -95*q + 96*q = 4. Solve -3*u + 2*j = -4*u - 10, -4*u = q*j + 28 for u.
-4
Let y be 2*(-3)/(-42) - 1280/(-56). Solve 4*w + 5*r = -y, -9 = 3*w - 3*r + 4*r for w.
-2
Suppose 2*d + 1 + 7 = 0. Let m(b) = -3*b - 3. Let u be m(d). Let a be ((-12)/4)/(u/(-60)). Solve 0*p - 36 = -5*p - 4*h, -a = -5*h for p.
4
Let n = -100 - -104. Solve n*t - 2*a = 0, 2*t + a - 7 = -3*t for t.
1
Let i(p) = -34*p - 162. Let f be i(-5). Solve -4*x + 2*d = 4*d - 24, 0 = -4*d + f for x.
5
Let c(i) be the third derivative of i**6/120 - 7*i**5/60 + i**4/4 + 2*i**3/3 + 12*i**2. Let f be c(6). Solve -2*a - 3*a - f*w - 33 = 0, 2*a = w - 8 for a.
-5
Let j = -11 - -14. Suppose 8*z + 15*z - 736 = 0. Solve 3*c + 5*v = z, -v - 3 = -j*c + 5 for c.
4
Let y(o) = 4 - 5 + 6*o - 3*o. Let a be y(3). Let s be 24/16 + (-1)/(-2). Solve -a = -f - 4*m, -2*f = s*f + m - 17 for f.
4
Let v = -11 + 16. Let f = 60 + -37. Let g = f + -19. Solve 0 = -4*i + g, 2*i - 1 = 3*b - v for b.
2
Suppose -2*m - 2*m + 5*g = 20, -5*m + 4 = g. Suppose m = -2*j + 10, o - j - 8 = 12. Solve 3*s - 2*k + o = 0, -3*k = -4*s - 23 - 12 for s.
-5
Suppose -6*q = -42 + 18. Solve 9 = 2*t + 1, 5*s + 36 = q*t for s.
-4
Let j be 111/185 + 3/(-5). Solve -4*p - 3*a - 11 = j, 3*a - 2 - 5 = 5*p for p.
-2
Suppose -2*j = -4*v - 22, 6*j - 3*v = 2*j + 29. Suppose j*p = 10*p. Let k(m) = -2*m. Let q be k(p). Solve q = -4*r + 5*w, -3*r + w = 6*w for r.
0
Let d be ((-4)/3)/(((-40)/(-6))/(-10)). Solve -2*s - 2*s - 16 = 3*k, k + d = 2*s for s.
-1
Let m(j) = j**3 - 6*j**2 + 4*j - 9. Let y be m(6). Let z(i) = -i**2 + 4*i - 1. Let o be z(6). Let g = o + y. Solve 11 = 3*f + g*k, -2*f = -5*f + 3*k - 9 for f.
1
Suppose 148*o + 18 = 150*o. Suppose 0 = -6*c + 3 + o. Solve -5*b + 8*s = 3*s + 35, -c*s + 26 = -5*b for b.
-4
Suppose 144 - 79 = 13*v. Solve 10 = -v*h, -10 = -t - 4*t + 5*h for t.
0
Let f = 89 - 78. Solve -4*p + 7*p = -2*j - f, j = -4*p - 13 for j.
-1
Let l(w) = w**2 - 5*w - 2. Let g be l(6). Suppose -n - 2*n + 72 = -2*h, g*n = 4*h + 136. Let y = h - -33. Solve 4*q = -12, 0 = y*u - 0*u - q - 3 for u.
0
Let m = 7 - 2. Suppose -2*d - 1 = -q - m, 4*q = -4*d + 8. Suppose -2*c - 21 = -3*i, i - 4*c = -0*i + 17. Solve 22 = d*z + 5*k - k, z = i*k - 10 for z.
5
Let k(p) = p**2 + 6*p - 9. Let c be 20/25 - ((-21)/5 - -3). Let q be k(c). Solve -4*n - 18 = -2*m, -2*m = -0*n + n + q for m.
-1
Suppose 4*j = -i + 19, 4*i - 49 = -i + 3*j. Solve 0*q - q + i = -2*y, 22 = -5*y - 3*q for y.
-5
Let u(c) = -c**3 - 52*c**2 - 194*c - 96. Let n be u(-48). Solve 12*l - 8*l + 4*b + 8 = n, -3 = 3*b for l.
-1
Suppose 0 = -39*r + 41*r + 6. Let d be (r - -3)/(-2)*(-1)/(-2). Solve d*g = -2*g - p, -3*p + 7 = -g for g.
-1
Let g = -307 + 315. Solve z + 3*z + g = i, 4*z + 5*i = 16 for z.
-1
Let d(c) = c**2 + 16*c - 80. Let k be d(-20). Solve 0 = 5*w - 3*p + 34, -w + k*p - 20 = -5*p for w.
-5
Let a(n) = -n**2 - 61*n - 421. Let q be a(-8). Let v(z) = z**2 + 3*z + 2. Let r be v(-5). Solve 2*m + 2 = -q*t - r, 3*m + 3 = 0 for t.
-4
Suppose 8*r - 45 = -7*r. Let m be r - 18/30*5. Solve -5*f + 3*c - 10 = 0, -f - 9 = -m*f - 2*c for f.
1
Let b be (-49 + 44)*(-9)/15. Let y(f) = f**2 + 6*f + 5. Let m be y(-6). Solve m*s = b*g, -3*s + 7*s = -5*g for s.
0
Let l = 973 - 948. Let y(w) = -w**2 + 4*w - 1. Let v be y(2). Suppose -3*n + v*k + 0 = -3, -2*n + 3*k = 2. Solve 3*s = -2*q - 9, -n*q = -0*s - 2*s - l for q.
3
Suppose 18 = 2*l - 2*h - 3*h, -2 = -2*l - 3*h. Suppose 4*d - l = 3*a, -a = -d - 8 + 9. Solve -5*i + 2*s + 13 = 0, -5 + d = s for i.
1
Let u = -74 + 76. Solve -u*h - 5*f + 4 = 31, 4*f = 4*h - 16 for h.
-1
Suppose 0 = -3*b - 0*c - 2*c + 71, -4*c - 111 = -5*b. Solve -3*y = -k + 17, -b = -3*k - 0*y + 2*y for k.
5
Let i(c) = 2*c + 10. Let x be i(-4). Let r be (-4)/x - (2 + (-2 - 3)). Solve 0 = m + a - r, 3*m - 3 = m - a for m.
2
Let m(s) = -s**2 + 5*s + 6. Let j be m(7). Let y be (2*2)/((-16)/j). Suppose 3 = 4*c + 15, -y*c + 3 = 3*v. Solve -2*k = -v*t - 7 + 3, 0 = -t for k.
2
Suppose -2*t - 94 = -104. Solve -3*c - m = -17, 2*c - 3*m = -2 - t for c.
4
Suppose 2*g - 2 - 8 = 0. Suppose -24 = -g*q - 