se -4*k = -2*w + 30, k = 3*w - 19 - 1. Suppose 5*v = -0*v + 15. Suppose 0*t = v*t. Solve w*a - 2*a - 3 = t for a.
1
Let h(m) = 2*m + 19. Let w be h(-9). Solve 0 = -a + w for a.
1
Let t = 50 - 30. Solve -3*z = -t + 8 for z.
4
Let r(n) = n**2 - 6*n - 3*n**2 + n**2. Let l be r(-7). Let z = 8 + l. Solve 3 = u - z for u.
4
Suppose -d + 2 = -2. Let b be (-3)/(-15) - (-363)/(-15). Let p = -12 - b. Solve d*k - p = k for k.
4
Let w(z) = -2 + 4 + 3*z - 3. Suppose 3*c + 7 + 12 = -5*h, 3*h + 17 = c. Let k be w(c). Solve 3*g - k*g = 0 for g.
0
Suppose 3*g + g = 20. Solve -g - 3 = -2*j for j.
4
Suppose -2*j + j + 14 = -3*p, -5*p - 10 = 5*j. Let a be j - (3 - (5 + -2)). Solve 6 = -a*u + 4*u for u.
3
Let l be ((-1)/2)/((-2)/12). Suppose 8*c + 9 = 11*c. Solve l*r + c = -0*r for r.
-1
Let s(h) = -h**2 + 6*h + 5. Let r be s(6). Suppose -r*o - 3 + 23 = 0. Suppose o*m = u + 3, -2*u + 3 = 5*m - 4*m. Solve -3*k + u = 13 for k.
-4
Let n(g) = -2*g**3 - 2*g**2 - 4. Let w be n(-2). Suppose -c = c - 30. Solve -i - w*i = c for i.
-3
Let u = 4 - 2. Let h be ((-10)/(-12))/(6/36). Solve -u*s = 3*s + h for s.
-1
Suppose -2*r + 2 = -r. Suppose r*n = v + 7, 3 = 2*n - 3*v - 6. Solve -2 = a - n for a.
1
Let w be ((-15)/6)/((-2)/4). Solve 0 = -2*s + s + w for s.
5
Suppose 1 = q - 0. Let p(g) = 2*g + 1 + 1 - 10 + 0*g. Let r be p(6). Solve -3*i - q = -r for i.
1
Suppose -2*s - 2*s - 163 = c, 0 = 5*s - 4*c + 188. Let m be ((-9)/6)/(6/s). Let p = m - 5. Solve -p*f - 2 = 3 for f.
-1
Suppose -2*z - 4 = -2*w, 0 = -3*w - 3*z - 0*z + 6. Solve -w*y - 3 = 3 for y.
-3
Suppose t + 6 = 2*w, 4*t + 0*t + 2*w = 16. Let q = 0 - -1. Let h = 3 + q. Solve -4*y = -t*y + h for y.
-2
Suppose -3*f + 102 = 42. Solve f = -3*m - m for m.
-5
Let r = 5 + -5. Let m(u) = -6*u + 44. Let y be m(7). Solve r = -y*w - w - 3 for w.
-1
Suppose -2*z + l = -8, 0 = z + z + l. Solve -z*x + 7 = -1 for x.
4
Let h(d) = -d**3 - 5*d**2 + 7*d - 8. Let s be h(-6). Let c = -10 - s. Solve 0 = c*y + 4 - 0 for y.
-1
Let q(m) = 3*m**2 + 3*m**3 + 0 - 3 - 2*m**3 + 1. Let s be q(-2). Let f be (s - 1) + (-2)/(-2). Solve -t + 1 = -f*t for t.
-1
Suppose 21 = 4*q + 3*t, -4*q + 22 = 2*t - 0*t. Suppose 0 = -z + 9 - q. Solve z*s = -0*s for s.
0
Suppose -2*b - 19 = y + 3*b, 4*y - 29 = b. Solve -y*p = -3*p for p.
0
Let z(s) = -3*s - 13. Let j(q) = -q - 4. Let w(i) = 7*j(i) - 2*z(i). Let p be w(-2). Suppose p = b + 2*b + 4*m + 10, -b - m = 2. Solve -u = 3 + b for u.
-5
Let s(v) = -v**3 - 6*v**2 + 8*v + 6. Let o be s(-7). Let h = 0 + o. Let z be h*(-1 + 1)/3. Solve 1 = g - z for g.
1
Let k be -3 - (-2 - (-3 + 9)). Solve k*r + 24 = -1 for r.
-5
Let j = 18 + -16. Solve 0 = -n - j + 3 for n.
1
Suppose 5*t = c + 4 + 6, 5*t + c - 10 = 0. Suppose -t*o = 3*o. Suppose o = b + b. Solve 0 = l - b*l + 3 for l.
-3
Let r(a) = 5*a**3 - 1. Suppose 5*z - o = 2 + 3, -3*z - 5*o + 3 = 0. Let x be r(z). Let s be (-2)/4 + 10/x. Solve s*f - 3*f - 1 = 0 for f.
-1
Let p be (5/3)/((-1)/12). Let g = p + 25. Solve -v + g*v - 16 = 0 for v.
4
Let j(m) = m**2 + 13*m - 29. Let b be j(-15). Solve -3*l + b = -8 for l.
3
Let r(x) be the third derivative of x**4/12 - x**3 - 2*x**2. Let h be r(5). Solve 0*b - 2*b - h = 0 for b.
-2
Suppose 0*z + 4*z = -2*u, -4*u + 5*z = 0. Solve u*b = -5*b + 15 for b.
3
Let w be 2/(-1) - (2 + -4). Let s = 57 + -55. Solve -3*v - s*v = w for v.
0
Suppose 0 = 5*j - 3*o - 15, o + 6 = 5*j + 1. Suppose g - 44 = -3*g. Suppose 4*n - 4*l - l + g = 0, -2*n + 2*l = 4. Solve -3*m + 8 + n = j for m.
3
Suppose h - 1 = 2*i, 3*h - h - 2 = 0. Solve 0 = 3*t - i*t for t.
0
Let c be -9*((-2)/6 + 0). Suppose -c = -0*t - t. Solve -4*m - t = -19 for m.
4
Let d(l) = -l**3 - 2*l**2 - 2*l - 1. Let m be d(-1). Suppose -w + 2*w = m. Let p = 1 + w. Solve o = -4 - p for o.
-5
Suppose -5*c + 48 = -32. Let y = c - 8. Solve -5*u + 7 = -y for u.
3
Let o = -7 + 7. Solve -m + o = -2 for m.
2
Suppose 2*g - 9 = g + 3*y, -5*y + 5 = 5*g. Suppose 5*a + 0*r - 65 = 5*r, -2*r - 12 = -a. Solve a = -g*h + 2 for h.
-4
Let h be (3 - 4)/((-1)/3). Suppose -h*w + 6*w = 27. Solve -5*d + 6 = -w for d.
3
Let c(t) = 2*t**2 + 3*t. Let a be c(-4). Solve -a = 8*d - 4*d for d.
-5
Let w(q) = 3*q**2. Let p be w(-1). Let i = 20 + -13. Suppose -2*j = -i*j. Solve j = -0*a - p*a - 9 for a.
-3
Let x be -1 + -2 - (3 - 9). Suppose -2*t + x*t = -3. Let m(n) = n**2 + 3*n + 4. Let i be m(t). Solve -p = -0*p - i for p.
4
Let i be ((-8)/(-10))/(1/5). Suppose 0 = 2*k - 7*k + 20. Suppose 0 = -u - 4*o + 12, -o - k*o = -i*u + 90. Solve -4*h - 4 = -u for h.
4
Let l(y) = -y**3 + y**2 + 1. Let z be l(0). Suppose z + 5 = k. Suppose -4*o + 18 = k. Solve -o - 7 = 5*g for g.
-2
Let o = 1 + 3. Let a be (-3)/(2 + 11/(-4)). Suppose 4*j - 96 = -0*j + s, 16 = a*s. Solve o*y - 9*y = j for y.
-5
Let x be 6/18 - (-70)/6. Solve -x = -y - 3*y for y.
3
Suppose -3 + 6 = x. Solve 4*w - 3*w = x for w.
3
Let a(m) = 6*m - 1. Let t be a(1). Solve -f - 3 = -t for f.
2
Suppose 0 = q + 3 - 3. Solve q = 2*s - 4 for s.
2
Let a = 1 - -2. Suppose -4*m + 2*c - 7*c + 57 = 0, -c = a*m - 29. Solve m = 2*p - 0*p for p.
4
Suppose u + g = -0*u + 12, 12 = u - 4*g. Solve -6*m = -2*m - u for m.
3
Let h be 9/(-6)*8/(-6). Let k be h/(-4) + (-56)/(-16). Suppose 5*b - b - 20 = 0. Solve 0 = k*f - b*f - 4 for f.
-2
Let z(i) = i**2 + 2*i. Let g be z(-2). Suppose g = -5*w - 5*b + 20, 5*w - b - 16 = 2*w. Solve -22 + 7 = w*h for h.
-3
Let k be (1/(-1) - 1) + 13. Let n = -6 + k. Suppose n*i = 3*i. Solve i*b = 3*b + 15 for b.
-5
Let s(x) = 3*x**2 - 5*x + 3. Let l be s(4). Suppose 13 = -a - 4*n, l = a + 4*a - 4*n. Solve a*g = -g for g.
0
Suppose -2*j - d - 3*d + 20 = 0, j = -5*d - 5. Let g be 220/14 - 6/(-21). Suppose -3*y + 4*k + 28 = 0, -4 + g = -3*k. Solve -a - y*a = j for a.
-4
Suppose a - 5*x - 20 = 0, 14 = 4*a + 3*x + 3. Solve -1 = a*f + 24 for f.
-5
Let a(s) = -3*s**3 + 14*s**2 + 3*s + 14. Let c(n) = -7*n**3 + 29*n**2 + 6*n + 29. Let h(d) = -9*a(d) + 4*c(d). Let m be h(-10). Solve m = -5*f - 5 for f.
-5
Let s(o) = o**2 - o + 1. Let m(n) = -n**3 - 5*n**2 + 5*n - 4. Let p be m(-6). Let x be s(p). Solve 0 = -r - x*r + 12 for r.
3
Suppose -w + 3 + 6 = 4*d, 4*d + 5*w + 3 = 0. Suppose m - d*m = -2. Let h be 6 - -2*(0 - m). Solve h*c + 10 = 9*c for c.
2
Let r be (-1 + (-3)/(-6))*-4. Let d(s) = -s**2 + 8*s - 5. Let h be d(7). Solve -2 = -h*p + r for p.
2
Suppose -4*d + 51 = -45. Suppose 3*c = -3*p + 4*c - d, p = -2*c - 1. Let z = 5 - p. Solve z = 2*s + s for s.
4
Let k = -7 - -12. Let n = -179 - -189. Solve -5*u - k = -n*u for u.
1
Let i = 37 - 22. Solve -5*v = -2*v + i for v.
-5
Let q be 2 + (-34)/(-3)*6. Let b be (q/21)/(4/6). Suppose 3*m + 8 = -m + 3*x, 19 = -m + b*x. Solve 2*u - 5 + m = 0 for u.
2
Suppose -2*h - o = -4*o + 29, 0 = -2*o + 6. Let a be ((-1)/(-2))/(1/(-4)). Let q be h/(-2) - (3 + a). Solve -10 - 6 = q*i for i.
-4
Let k(y) = -y + 5. Let z be k(3). Solve z*b + 9 = -1 for b.
-5
Suppose 30 = 9*r - 6. Solve 8 = -r*w - 4 for w.
-3
Suppose 0 = g - 0*g - b + 1, 4*b = 3*g + 7. Suppose -g + 43 = 5*x. Solve 0 = -0*f - 4*f + x for f.
2
Let v be (-15)/(-2)*(4 - 2). Solve 7*h - v = 4*h for h.
5
Let x = 6 + -12. Let u = -6 - x. Solve -3 = -u*j + j for j.
-3
Suppose -c - 3 = -3*f - 0, 4*f - c - 5 = 0. Let q = f - 0. Solve 5*s - q*s = 0 for s.
0
Let b = -3 - -1. Suppose 3*h = -6, -3*n + 21 = -h - 2*h. Let j = n + b. Solve -j*a = -0*a + 12 for a.
-4
Suppose 0 = -o - 5*c + 70, -5*o = 4*c - 99 - 167. Suppose o = y + y. Solve -4*j + 9*j = -y for j.
-5
Suppose 7 + 35 = 7*q. Solve -v + q = v for v.
3
Let v(x) = -5*x - 5. Let j(n) = 4*n + 6. Let d(l) = -7*j(l) - 6*v(l). Let k be d(9). Solve 0*a = -3*a + k for a.
2
Let h(o) = -o**2 - 7*o - 5. Suppose -8 = 4*u, 31 = -5*x - u + 3*u. Let b be h(x). Let r(i) = -i - 3. Let n be r(b). Solve 2*l + n*l - 4 = 0 for l.
1
Let r be 7/(-2)*4/(-2). Suppose -5*i + y - 3 = 0, 4*y - 5 = 5*i + r. Solve -2*j - j = i for j.
0
Let v(d) = 6*d + 2 + 6*d**2 - 10*d**3 + 9*d**3 + 2. Let p be v(7). Let t = 5 + p. Solve -5*f = t - 27 for f.
5
Let r(g) = g**2 - 5*g + 5. Let w be r(4). Let i = 3 + w. Solve 0*j + 2*j - i = 0 for j.
2
Suppose 2*g + v = 4*g + 5, -3*g + 2*v - 10 = 0. Solve 3*a - a - 4 = g for a.
2
Let z = 6 + 2. Solve 4 = -3*w - z for w.
-4
Suppose -2*z + f + 5 + 6 = 0, z - f - 8 = 0. Let q = z + 2. Suppose -20 = -5*i + q. Solve 0*v + i = -5*v for v