20 = -3*m, 2*a - 39 = -5*m - 15. Suppose 0 = -2*c + m*t - 10 + 32, -c + 17 = -4*t. Solve 6*k + c = k for k.
-1
Suppose -v + n = -9, -2*v - 2*n - n = -3. Suppose 0 = 3*p - v. Suppose -4 = o - 12. Solve -p*h = -0*h - o for h.
4
Let b be 0/(4/(8/6) - 1). Solve b = -3*j - j + 12 for j.
3
Suppose -3*o = -2*x + 2*o + 15, 115 = 5*x + 3*o. Suppose 12 - 2 = 5*d. Suppose 15 = -5*z, -d*z = 3*q + 2*z. Solve -x = l + q*l for l.
-4
Suppose 3*d = -3*r, 3*r - 28 = 4*d - 0*d. Suppose b = -3*b + r. Suppose j = 7 + b. Solve -z - j = -3*z for z.
4
Let v(o) = -o - 16. Let u be v(-20). Solve s + u*s = 10 for s.
2
Let g(m) be the second derivative of -m**3/3 + m**2/2 + 2*m. Let h be g(-1). Suppose -n + t = -3*n + 5, -n + 16 = -4*t. Solve h*x - n = 8 for x.
4
Suppose 5*n - 3*o = 1 - 4, -3*n - 2*o = -2. Solve 0 = -2*s - 4 - n for s.
-2
Let i(m) = 2*m + 23. Let y be i(-10). Suppose y*d = -0*d. Solve -a - 5 = -d*a for a.
-5
Suppose a - 2 = 4*c, 0 = 3*a + 2*c + 2*c - 6. Solve a = 4*r + 6 for r.
-1
Suppose 3*h - 35 = -5. Suppose 5*n = 3*n + h. Solve -d + n*d = 8 for d.
2
Suppose -4*f = -5*i - 23, -f - 4 + 3 = i. Let k be (-8 + (3 - 3))/(-2). Solve -b = -f*b + k for b.
4
Suppose 5*s - 20 = 0, -4 + 8 = 2*j + s. Solve 0 = 3*h - j - 15 for h.
5
Suppose i + 2*j - 1 = 3, 14 = 2*i + 2*j. Let a be 119/35 - (-6)/i. Solve 0 = l + a - 3 for l.
-1
Let v(z) = 6 + 0*z - 12 - z. Let k be v(-6). Let m(i) = i**2 + 10*i + 13. Let d be m(-9). Solve -d*p + 6*p = k for p.
0
Suppose 14 = 3*r - 1. Solve -1 = -4*j - r for j.
-1
Let m be -6*((-30)/9 - -3). Solve -m*d = -6*d - 20 for d.
-5
Let a(p) be the second derivative of -p**5/20 + p**4/2 + p**3 + 9*p**2/2 + 3*p. Let k be a(7). Solve -4 = -k*f - 0 for f.
2
Let r(z) = z - 1. Suppose -4*i + l = 2 - 31, 0 = l + 1. Let m be r(i). Solve m = -4*c + c for c.
-2
Suppose 0 = 2*k - 2. Solve 0 = -3*p - 5 - k for p.
-2
Let n(u) = u**2 + 8*u + 7. Let w be n(-7). Suppose w = 3*h + v + 2, -v + 21 = h - 5*v. Solve 0*s - s - h = 0 for s.
-1
Let j be ((-3)/2)/((-3)/12). Let k(b) = 5*b + 8. Let o(m) = -m. Let a(p) = k(p) + 6*o(p). Let v be a(j). Solve v - 6 = -2*q for q.
2
Let m be (-4)/(-18) + (-416)/(-72). Let d = m + -6. Solve -4*o + 3 - 23 = d for o.
-5
Let i be (64/48)/((-8)/(-18)). Solve -1 = -i*l - 7 for l.
-2
Suppose 0 = -m + 2*s + 12, 0 = -m + 2*m + 2*s - 24. Let k = 22 - m. Solve k*a - 3 = -7 for a.
-1
Let s be (2 + -3)*1 - -6. Solve 2*p + 5 = -s for p.
-5
Let j(l) = -9*l - 1. Let y be j(-1). Suppose -3*h + 6 = -i, -i = -0*h - 5*h + y. Solve 0 = 3*d + h - 7 for d.
2
Let u(i) = i**3 + 16*i**2 - 17*i. Let o be u(-17). Solve o = 3*j + 3 - 9 for j.
2
Let z be 7/1 + (-4 - -1). Let y be (-3 - 1)*(-2)/z. Solve 8 = -2*u + y for u.
-3
Suppose -4*b + 7 = r - 7, -5*b + 28 = -4*r. Let z = b - 2. Suppose 5 + 0 = h. Solve z*j + 15 = h for j.
-5
Let r = -6 + 3. Let l(o) = -o**3 - 4*o**2 - 3*o - 1. Let g be l(r). Let h be (0/2)/(g - 0). Solve k + h*k = -3 for k.
-3
Suppose 2 - 12 = -5*o. Let b be (0 + -6)/(-1*(-6)/(-9)). Solve o*j - b = -j for j.
3
Let v(s) be the first derivative of 5*s**2 + 3 - 7*s + 1/3*s**3. Let d be v(-11). Solve -d*g = -g for g.
0
Let m = 8 + -6. Solve m = -k - k for k.
-1
Let y = -3 + -1. Let l = -2 - y. Let u be (-1)/(l*2/(-24)). Solve 1 = -5*z + u for z.
1
Suppose 5*l + 4 = -1. Let i be (1 - 1) + l + 2. Solve 5 = 2*k + i for k.
2
Suppose -y = -5*k + 81, 0*k = k + 3*y - 13. Let g be -56*-10*1/(-8). Let m be 4/k - g/8. Solve -4*u + 5 = -m*u for u.
-1
Let t be 1/(-1)*0/4. Let b(l) = -3 + 7 + l + 4 + t. Let c be b(-6). Solve -2*s + c = -s for s.
2
Let w = -7 - -15. Solve 0 = -w*v + 5*v + 9 for v.
3
Suppose 2*s - 14 = 3*s + 3*j, -j = 4. Let b be 1/(5/s)*-5. Solve 3*a = -b - 4 for a.
-2
Suppose -2 = -x - 0*x. Suppose -p = -3*b - 4*p - 51, 4*p + 8 = -b. Let a = b + 30. Solve -x*j - a = 3*j for j.
-2
Suppose -5*j = -2*j - 6*j. Solve -4*y - 5 + 1 = j for y.
-1
Suppose 8 = 2*c + 2. Suppose k - 17 = 3*b, 2*k - b - 2 = -c*b. Solve k*q - 5 = -0 for q.
1
Let i(p) be the third derivative of 0 + 5/6*p**4 + 0*p - 2*p**2 + 0*p**3. Let y be i(1). Solve 2*l = 6*l + y for l.
-5
Let d(y) = -y**2 + 2*y - 5. Let o(u) = -1. Let f(v) = d(v) - o(v). Let t(i) = -i + 1. Let n(z) = -f(z) - 6*t(z). Let g be n(-5). Solve g = -2*m - 3 for m.
-3
Let m(r) = 2*r**3 + 2*r - 2. Let o be m(1). Solve -u = -o*u - 2 for u.
-2
Let y be 0/((-1)/1 + 2). Let p(x) = x + 5. Let m be p(y). Solve -m = o - 2*o for o.
5
Suppose -2*p - 3*f = 3, -4*f - 4 = 4*p - 5*p. Solve p = -c - 2*c + 12 for c.
4
Suppose -q - 12 = -3*r, -5*q + q - 4 = -r. Solve -6 - r = -2*a for a.
5
Suppose 4*g - g = 39. Let l = -8 + g. Solve -l*v = -v for v.
0
Let a = -4 - -6. Solve a*w + 3*w = 0 for w.
0
Let b = -5 + 7. Suppose -2*y = -2*m - 36, -b*y = -2*m + 5*m - 36. Solve -y = -5*i - 3 for i.
3
Let k be 0 + ((-6)/3 - 4). Let l(d) = -d**2 - 6*d + 8. Let w be l(k). Solve -7*m + w = -3*m for m.
2
Let y(j) = -j - 4. Let r be y(-6). Suppose 2*t - r = 4*t. Let h be 2 + (t + 2)/1. Solve -h*g - 8 = 4 for g.
-4
Let g = -1 - 5. Let z(n) = -n**3 - 5*n**2 + 5*n - 3. Let i be z(g). Suppose -i*b + 2 = -2*b. Solve 3*p + b = 2*p for p.
-2
Let q = -7 + 15. Solve 4*n = 2*n + q for n.
4
Suppose 2*c - 2 = -u - 3, -3*c = u + 4. Suppose -3*o + 6*o - 21 = 3*l, l = -3*o + u. Solve -2*f = o*f + 15 for f.
-3
Suppose 0*o - 3*o - 18 = -3*f, 5*f + 3*o + 10 = 0. Solve -f = -4*x + 3 for x.
1
Let q(x) = x**3 + 9*x**2 + 8*x - 2. Let b be q(-8). Let k be 1 - -11 - (-2)/b. Let v = -8 + k. Solve -v = z + 1 for z.
-4
Let u be (3 - (-1 + 10))*-1 + -1. Suppose -4*s = -4 - 8. Solve u = -s*m + 2*m for m.
-5
Let m(i) be the first derivative of i**4/4 - 4*i**3 + 6*i**2 - 3*i - 3. Let a be m(11). Solve 3 - a = -u for u.
5
Let h = 16 - 8. Let l = h - 6. Let s = 0 + l. Solve -5*c = s + 3 for c.
-1
Let j = -38 + 43. Solve -j*f - 1 = -4*f for f.
-1
Let c be (-7)/(-2)*6/21. Solve 0 = -2*v + 7 + c for v.
4
Suppose -2*q + 5*q + 2*r = 19, 5*r - 10 = 0. Solve 9 + 6 = -q*x for x.
-3
Suppose 5*z = 3*q + 3, 0*z - q - 1 = 2*z. Solve 0*b + 2*b = z for b.
0
Suppose 2*o = 7*o. Let m = o - -4. Suppose 0*u - z = -5*u + 100, -m*z = 0. Solve 9*i = 4*i - u for i.
-4
Let k(u) = -u**2 - 5*u - 2. Let f be k(-4). Let p be 18/63 + (-2)/7. Solve p = m - f*m + 3 for m.
3
Let i(f) = 2*f**2 - 3*f - 2. Let p be i(-2). Let u = p - 8. Solve 2*k + 2*k = u for k.
1
Let q = 0 - -8. Solve -2*w - 2*w + q = 0 for w.
2
Let v = -2 + -6. Let q be 1 + 3 + v + 8. Solve 4*a - 16 = -q for a.
3
Suppose 0 = 4*v + 5*t + 3, -5*v = -4*t - 26 - 1. Solve -6 + 0 = -v*b for b.
2
Let j be 2/1 - (0 - -2). Solve j = -0*m - m - 5 for m.
-5
Let g = 4 - 0. Suppose -27 - 21 = -g*j. Suppose -24 = -15*p + 7*p. Solve -p*b + 0*b = j for b.
-4
Let o be ((2/6)/1)/(2/48). Solve -5*l + o = -12 for l.
4
Let c(i) = -i**2 - 10*i - 7. Let t be c(-8). Let k(r) = r**2 - 8*r - 7. Let v be k(t). Suppose p = -2*p - 6, -v*y = -4*p - 20. Solve 0 = -n + y*n for n.
0
Suppose -h + 0*h = -4. Solve -l = -h - 1 for l.
5
Let j be (-14)/(-2) - (7 + -6). Solve t + j = 3*t for t.
3
Suppose 0 = 3*g - 5*x + 9, 2*g - 3*x + 0 = -5. Suppose 0 = -o - 2*o + 3*v + 6, -o + g = 4*v. Solve -5 = -o*r + 3*r for r.
-5
Let p be (-1 - (-5 + 3)) + 6. Let x = p - 7. Solve -z - 3*z - 16 = x for z.
-4
Let q = -13 + 32. Let t = q + -9. Solve t = -3*k - 2 for k.
-4
Suppose -4 = -0*v - 2*v. Let x be 0 + v - 0/1. Suppose -3*i + 0*g + 25 = -x*g, 3*g - 15 = -3*i. Solve 2*u - 1 = -i for u.
-3
Let y = -2 + 4. Suppose -y*a + 12 = -4. Solve -2*d - a = -2 for d.
-3
Suppose 0*o - 4*o + 12 = 0. Suppose -u + o = -2. Suppose -25 = -u*d, -t = 2*t + 5*d - 25. Solve t = -4*z + 3*z for z.
0
Let d(r) = -r + 5. Let o be d(-7). Suppose 5*m = 3*m + o. Let h = m - 5. Solve -5*q - h = 19 for q.
-4
Suppose 2*i + 6*i - 64 = 0. Solve i = -4*r - 4 for r.
-3
Let b(j) = -12*j**3 + j**2 + j + 2. Let v be b(-2). Suppose -2*y + 20 = 2*y. Suppose 0 = y*x - v + 25. Solve 0 = 2*r - 5*r - x for r.
-5
Let p(t) = 1 - 5*t - 2 + 0 + 21*t. Let w be p(1). Solve -5*b + 0*b = -w for b.
3
Suppose 3*b + i - 2*i = 21, -i + 15 = 3*b. Suppose 0 = 3*j - 6, v + j = 6*v + 222. Let y be ((-3)/b)/(2/v). Solve -4*z = -3 + y for z.
-2
Suppose -2 + 5 = -4*n - 3*j, -4 = 4*n + 4*j. Let w be 1 + 1/1 - n. Let m be -1 - (w + -6)*2. Solve m*q - 2*q = 15 for q.
3
Let d = -13 - -13. Solve -j - j - 10 = d for j.
-5
Let r(t) = -t**2 