 20 = -0*o for s.
-3
Suppose -d = -18 + 6. Suppose 0 = 4*m + 8 + 32. Let z = d + m. Solve 5*y - 5*a - 5 = 0, -z*y - a = -6 + 13 for y.
-2
Let l(u) = -u**3 + 4*u**2 + 5*u + 1. Suppose 6*c - 25 = c. Let o be l(c). Let k be 3*10/6*o. Solve -s - 27 = k*r, -3*r = -5*s + r + 10 for s.
-2
Let k(d) = -2*d**3 - d**2 + 4*d + 5. Let w be k(0). Solve -2*j + 23 = -w*x, x = 4*x - 4*j + 25 for x.
-3
Let a be ((1 + 5)/6)/(4/16). Solve -2*v + 14 = a*p, 0*v - 4*p = -3*v + 1 for v.
3
Suppose 13*m - 54 = 4*m. Suppose -10 = -5*g - 0*g + u, 3*g = 2*u + m. Solve -18 = g*a - 6*l + 2*l, 4*a - 5*l = -21 for a.
1
Let w = 1193 + -1189. Solve 4*u + 2*f - 5*f + 10 = 0, 0 = 3*u + w*f - 5 for u.
-1
Let f be 0*((-14)/(-12) - (-40)/(-60)). Solve 0 = -z - r, z - 5*r = -f*r - 6 for z.
-1
Let o(y) = -5*y + 77. Let g be o(15). Solve 4*h + 3*d + 2*d - 29 = 0, -2*d = -g*h - 8 for h.
1
Let r(d) = d**3 + 15*d**2 - d - 1. Let o be r(-15). Let w = o + -12. Solve -3*h = -4*x, -3*h - 18 = w*x - 0*x for x.
-3
Let m be (2/3)/(2/36). Suppose o - m = 3*v, -2*o - 3*v = -0 + 3. Solve 0 = -u + 4*f - 6, 2*u + o*f - 1 = -2 for u.
-2
Let d(n) = n**3 + 23*n**2 - 25*n - 22. Let s be d(-24). Suppose -g + 3*m = 2*m + s, 4 = m. Solve 0 = -0*b - 3*b + 9, -5*w + 31 = g*b for w.
5
Let p = 212 - 207. Solve 4*g - 2*y - 2*y + 36 = 0, -3*y = -p*g - 37 for g.
-5
Suppose 0*a + 7*a = 21. Let x = a + -7. Let s(m) = m**3 + 3*m**2 - 4*m + 3. Let h be s(x). Solve o - 6 = -v, h*o = 2*o + 5 for v.
1
Suppose -5*z + 3*a - a + 56 = 0, 28 = 4*z + 4*a. Let j(p) = 6*p - 2. Let u be j(1). Solve 5*d = 3*f - z, -3*f = -u*f - 2*d + 7 for f.
5
Let t be ((-24)/20)/(3/(-10)). Let f be (-6)/t*16/(-6). Suppose -f*l = -5*l. Solve -7*c = -2*c - 2*k - 1, l = 4*c - 3*k - 5 for c.
-1
Let d be 119/(-153) - (-4)/(-18). Let y be 87*1/18 + d/(-6). Solve -s = -i + 2*s - 7, 0 = -i - s + y for i.
2
Suppose 5*r - 53 - 4 = 2*u, -24 = u - r. Let b be 4 - (u - (3 - 4)). Solve 3*z = -3*s + b, 19 = -5*z + 44 for s.
3
Suppose 5*r + 9 = 2*r. Let z be 0/(r/(15/5)). Suppose 0 = 3*k - 2 - 4. Solve z = x + 5*f + 19, -3*x + 5 + 6 = -k*f for x.
1
Suppose 0 = -z + 3*o + 41 - 33, 5*z - o - 26 = 0. Solve -5*i - z*p + 10 - 40 = 0, -p = -5*i - 12 for i.
-3
Suppose 12*j - 5 - 19 = 0. Solve 3*q + 4*g - 18 = 4*q, q + g - j = 0 for q.
-2
Suppose 14 + 46 = -5*y. Let o be (90/(-27))/(y/(-9) - 2). Solve f - o*f = 4*d - 16, -5 = -5*d for f.
3
Suppose 6*p - 4*p = 6. Suppose -3*h + 12 + p = 0. Solve 2*q + h*r + 18 = 0, 0*q + 5*q + 26 = -3*r for q.
-4
Let n(v) = v**2 - 3*v + 2. Let i be n(2). Let p = 506 - 501. Solve -4*a + 4*w = 8*w - 20, i = p*w - 10 for a.
3
Let c be ((-92)/12)/(2 - 15/9). Let i = c - -25. Solve -i*p + q = 5, -p + 4*q + 10 = -3*p for p.
-3
Suppose 3*p + 4*i - 6 = 0, 5*p - 10 = 7*i - 4*i. Let s = -7 - -22. Let v = 16 - s. Solve 5*b - u = 20, v = -p*u + 11 for b.
5
Let t be (3 - 3)/(12/6). Solve 6 = -2*s, t*d - 22 = 5*d - s for d.
-5
Let u(b) = -b**3 + 6*b**2 - 6*b + 10. Let m be u(6). Let x = 28 + m. Solve -x*g + 4 = -6*g, r - 3*g = 8 for r.
5
Let d(k) = k**2 + 5*k + 6. Let i be d(-5). Let r be (1 + -3 + i)*1. Solve 5*y = -4*s + 12, r*s - 3 = 3*s + 5*y for s.
3
Let t = 20 - -19. Let c = t + -34. Solve -4*y + 2*a + 7 = a, c*y - 4*a = 6 for y.
2
Suppose -q - 5*w + 35 = 0, -4*w = -2*q - 3*q + 30. Let z be 6*(2/q - 209/(-330)). Solve z*o + 5*a + 9 = -6, o + 4*a = 0 for o.
-4
Let c be (-10)/(-6)*((-923)/65 - -16). Solve -h + 2*g - 5 = 0, 4*g - 2 = 3*h + c for h.
5
Suppose -49*n + 45*n + 20 = 0. Solve -4*v = -n*r + 27, 4*r - 4*v - 12 - 12 = 0 for r.
3
Let g(l) be the first derivative of -l**2/2 + 11*l + 29. Let q be g(8). Solve 4*z - 18 = 2*p, q*z = -0*p + 4*p + 16 for p.
-1
Let j(y) = 20*y + 171. Let r be j(-8). Solve 5*p + 38 - r = q, q + 4*p + 18 = 0 for q.
2
Suppose 3*o - 20 = 5*v, -8*o - 2*v = -4*o - 44. Solve m + o = 2*r, 2*r = 2*m + 7*r - 25 for m.
0
Let j be 5/((-15)/8)*3/(-4). Solve -j*m + g - 3*g = 20, 2*g = -4*m - 30 for m.
-5
Let p(g) = -g**3 - 15*g**2 + 15*g - 12. Let o be p(-16). Let t(a) = -a**3 - a**2 + 8*a - 4. Let f be t(-4). Solve -o*d = 2*q - 12, -3*d = 4*q - q - f for d.
2
Let o be 0 + 1*-1 - -11. Suppose 0 = 4*j + 4*d - 20, -18 = -3*j + 145*d - 149*d. Solve -t = -4, 0 = j*b - 4*t + 2 + o for b.
2
Suppose 0 = -2*p + 4 + 14. Let k be (2 - 0) + -1 + 3. Let t = p - k. Solve -3*z - w + t = -5, -z - 2*w + 10 = 0 for z.
2
Suppose 0*q = -2*q + 6, -3*q - 3 = -4*m. Solve -m*j - 6 = -a, -4*a - 3*j = -a + 18 for a.
-3
Let t(s) = 4*s**2 - 8*s - 3. Let c be t(-3). Let j = -55 + c. Solve -23 = f - 6*f - 2*w, j*w = f + 5 for f.
3
Suppose 0 = t + c, t = 27*c - 32*c - 16. Solve 5*u + 13 + 12 = 4*b, -t = -b - u for b.
5
Suppose -3*z + 12*d - 7*d + 2 = 0, -6 = -3*d. Solve -l = 3*w + z + 1, -3*l - 3*w - 9 = 0 for l.
-2
Let h be 0*(3 - 4 - (-12)/9). Suppose 2*j + 0 - 4 = h. Solve n + 6 = 4*k + 1, -2*k - j*n = -10 for k.
2
Suppose 2*n - 8 = 0, -i - 5*n + 52 = i. Let p = -16 + i. Solve -5*v = 4*h + 8, p = -3*h + h - v + 2 for h.
3
Let c(q) = -2*q - 16. Let w be c(-8). Suppose w = 4*i - 4, -2*i + 14 = -2*f + 4. Let t be (1 - 6)*f/5. Solve 0 = -0*h + 2*h + 4*a + 2, t*h + 5*a - 2 = 0 for h.
3
Let h = 28 + -25. Let f be 11/(-33) - (-1)/h. Solve f = 4*w, 5*w - 2*w = -3*g - 12 for g.
-4
Suppose 15 = -4*a + 63. Let b be a/3 + 6/(-3). Solve -r + b*j = -14, 50 = 5*r - 3*j + 15 for r.
4
Let a = 233 + -233. Solve 0 = -h - 4, a - 3 = o + h for o.
1
Let m be 10/(-35) - (-9)/7. Suppose -4*y + 2*w + 70 = 0, -4*w - 39 = -2*y - m. Let h = y + -17. Solve -3*r = -4*q - 6*r + 13, 3*q + 4*r - 15 = h for q.
1
Let j(a) = 4*a - 37. Let c be j(10). Solve -3*x - c*n = 0, -2*x - 3*x - n = 20 for x.
-5
Let h = -349 + 386. Solve 5*s - 38 = -3*q - 8, 5*q = -4*s + h for q.
5
Let g be 1 + (-10)/8 + 342/24. Let h = -5 + 12. Solve -5*w - 3*a = -0*w + h, g = -5*w + 4*a for w.
-2
Let i(j) = 5*j**3 + 2*j**2 - 3*j + 1. Let z be i(1). Solve 12 = -0*g - z*g - 4*u, 0 = 4*g + 3*u + 10 for g.
-4
Let w be (2 - 2) + 42*(-2)/(-4). Suppose 13*h = 6*h + w. Solve -b - h*x + 15 = -4*b, 0 = x - 2 for b.
-3
Let y be (-14)/77 - ((-12)/(-11))/(-6). Solve -w - 2 = -y*c - 2*c, 2*w - c = -1 for w.
0
Suppose -14*i - 3*i + 867 = 0. Let r = i + -40. Solve -5*h - 2 = 23, r = -2*a - h for a.
-3
Suppose -13 = 2*m - 27. Let o(l) = -l**3 + 7*l**2 + 4. Let i be o(m). Solve -i*v = f - 4, -f + 2 = -4*v - 2 for f.
4
Let y = 7 + -5. Suppose y*m + 40 = 5*t + 3*m, 3*t - 5*m + 4 = 0. Let b be 12/(-10)*25/(-10). Solve -b*p - 3*d = p + 16, 3*p = -d - t for p.
-1
Let o(b) = -2*b**2 + 31*b - 87. Let a be o(4). Solve 31 = -2*f - 4*v + 9, -a*f - 7 = -2*v for f.
-3
Suppose -f = 4 + 6. Let t(u) = u**2 + 6*u + 5. Let x be t(f). Solve -5*k + 35 = 2*i, 2*i - x = -3*i - 4*k for i.
5
Let k be 69 - 74 - 1*-30. Solve -5*f - k = -2*q, 3*f = 5*q + f - 31 for q.
5
Let q = -997 - -1000. Solve 5*x = 5*a - 15, -4*a + q = 5*x - 0 for x.
-1
Suppose 4*d + 2*n - 18 = 0, 5*d - 3*n = 7*d - 15. Solve s + 2*s - 4*f - 18 = 0, -d*f = -3*s + 15 for s.
2
Let v(l) = l - 1. Let t be v(5). Suppose 25 = t*u + 9. Suppose -3*f - u*o - 12 = 0, 3*f + o + 15 = -4*o. Solve -2*s - 3*s - 3*y - 4 = f, -5*s - 2*y = 6 for s.
-2
Suppose -17 = 4*v + 3. Let q(o) = -o - 1. Let f be q(v). Solve i + 4*b - 12 = -2, -3*i + 6 = f*b for i.
-2
Let k be 4 - 11/(66/(-12)). Let i(o) be the first derivative of o**2 - 9*o + 1. Let h be i(k). Solve 3*v - h*q = -6, 5*v = -3*q - 20 - 6 for v.
-4
Suppose -3*k - 7 - 35 = 0. Let z be 6/(-42) + (-44)/k. Solve 0 = 3*r + w - 2*w - 1, 5*r = z*w + 7 for r.
-1
Let s = -440 - -481. Solve -u + 0 - 11 = 4*w, -5*u + s = -4*w for w.
-4
Let w(s) = -4*s**3 - s**2 + s - 3. Let g be w(-2). Suppose 0 = -g*d + 24*d. Let m(i) = i - 3. Let v be m(5). Solve 0 = 3*h - 9, -v*f + 5*h - 14 + 3 = d for f.
2
Let l be ((-324)/(-24) + -13)/(2/24). Suppose 4*s - 4*h = 20, -s + 5 = 5*h - h. Suppose s*t = t. Solve t = -i + l*i, 2 = m + i for m.
2
Suppose 6*i = 112 + 2. Let l be (-164)/10 - 6/(-15). Let u = i + l. Solve 3*j + 27 = -3*n, -2*n - 14 = -u*j + 4*j for j.
-4
Let r(c) = c**3 - 5*c**2 + 2*c + 5. Let g be r(4). Let p be ((-56)/g)/(9/27). Let q be 31/7 + (-24)/p. Solve -u + 7 = -q*i - 2*u, 0 = -2*i + 5*u + 13 for i.
-1
Let x be -4*(-7)/(-21)*-3. Solve -5*m = -x*f, -4*m - f = 3*f + 36 for m.
-4
Suppose 3*i = -4*a - 156, -5*a - 84 - 111 = 4*i. Let c = a - -43. Solve -3*k = 2*