 5*k = 3*p + 20. Solve n + p = u for u.
5
Let c = 17 + -13. Solve -2*y + 6*y + c = 0 for y.
-1
Suppose -3*c + 0 = -9. Suppose 0 = 2*q + c*q. Let w be q + 2 - (1 + -4). Solve -w*s = 10 + 5 for s.
-3
Let v(w) = -10*w**2 - 3*w. Let s be v(-2). Let j = -24 - s. Solve -3*r + j = -5 for r.
5
Suppose 4*n + 5 - 1 = a, -5*a + 2*n + 92 = 0. Suppose 0 = -5*x - o + 4, 0 = -4*x - 5*o + a. Solve 0 = -2*d - x*d + 6 for d.
3
Suppose 5*b = -3*l + 6, -2*b + 0*b + 4 = 2*l. Suppose b*a = -2*a. Suppose -5*w + 26 = -4*i, -w + 2*w + 5*i + 18 = a. Solve -w*m - m = 0 for m.
0
Let k = -22 - -24. Solve p = 3*p + k for p.
-1
Suppose -3*p + 4*i + 4 = -7, -4*p - i + 2 = 0. Let j(h) = h**2 - h + 1. Let n be j(2). Solve -n*b + 4 = p for b.
1
Suppose -3*s = -17*s + 56. Solve s*v - 10 = -v for v.
2
Suppose 5*i + 3*p = -p + 8, -2*p + 6 = 3*i. Let r be (2 - 4/i)*0. Suppose 0*k + 2*k = 0. Solve k = f - r*f for f.
0
Let a(s) = -5*s + 3*s + 1 - 19*s. Let l be a(-1). Solve l = 4*h + 6 for h.
4
Let b(x) = -x**3 + 7*x**2 - 6*x + 1. Let w be b(6). Let a be 1*0*w/3. Solve a*c = c - 1 for c.
1
Let d = -8 + 11. Let n(k) be the second derivative of k**5/20 - k**4/3 + 2*k**3/3 - 3*k**2/2 + k. Let q be n(d). Solve x + 4 + 0 = q for x.
-4
Let v = 27 - 6. Suppose -w - 4*g = -v + 3, -g = -5*w + 6. Solve -p = w*p + 12 for p.
-4
Let v(o) = 4*o + 5*o**2 - 2*o**2 - 1 - o**2. Let m be v(-3). Solve -m*l = 7 + 3 for l.
-2
Let n(q) = q**2 + 3*q - 6. Let f be n(-5). Suppose -f*i + 11 + 9 = 0. Solve i*x + 13 = -12 for x.
-5
Let l(i) = -i**3 + 7*i**2 - 7*i + 6. Let r be l(6). Let y be 2 + r + 3/3. Solve 11 = -2*k + y for k.
-4
Let v be 4/(-14) + 120/28. Let h be 10/v + (-4)/8. Suppose 0 = -h*i - 0*i + 6. Solve -z + 0 = i for z.
-3
Let s be (-2)/(-7) - 90/21. Let f(b) = 2*b**3 - 2*b**2 - 3*b. Let z(g) = g**3 + g**2 + g + 1. Let j(v) = f(v) - 3*z(v). Let o be j(s). Solve 2*c = o + 1 for c.
3
Let y(b) = 6*b**2 + 0*b**2 + 7 + 0*b**3 + b**3 + 6*b. Let n be y(-5). Solve -6 - n = 2*u for u.
-4
Suppose 5*z - 2*z = 6. Suppose -2*c - 6 = c, 5*n + 2*c - 61 = 0. Suppose -z*v + n = 3. Solve v*g - 12 = g for g.
3
Suppose 0 = -c - 5*n + 27, 4*c + 1 + 1 = 2*n. Suppose -y - 7 = -r + 2*y, 5*y = -c*r + 3. Suppose 0*a + a - r = 0. Solve 0 = -a*s + 5*s - 5 for s.
5
Suppose k + 3*u - 17 = 6*k, 2*k - 2*u + 10 = 0. Let a = k - -1. Solve 5*b + 15 - 35 = a for b.
4
Suppose 2*y - 5 = 7. Solve -y*c + c - 20 = 0 for c.
-4
Let b = -62 - -72. Solve -5*d = -10*d + b for d.
2
Suppose 4*z + 15 = o, 0 = -3*o - 0*z - 3*z + 45. Solve -2*t + o = t for t.
5
Let i be -4 - (0 - (-1)/(-1)). Let q = i - 5. Let h be 26/7 - q/28. Solve 8*y - h*y = -4 for y.
-1
Let g = -4 - -4. Solve 2*r - 7*r + 15 = g for r.
3
Suppose -4*r = 3*n + 16, 3*r + 0*r = -n - 7. Let f = 0 - n. Suppose -5*x + 42 = -2*h, 0 = f*x - h - 3*h - 36. Solve 7 = -5*q - x for q.
-3
Let o = 55 + -23. Suppose 2*h - o = -5*p - h, -2*p + h = -4. Solve p*u = -u - 15 for u.
-3
Let r be 1*2/2 - -2. Suppose -q - 12 = -r*q. Let c be 60/33 + (-2)/(-11). Solve 4*b + c = -q for b.
-2
Suppose -l - 3*m = 1, -1 = m - 0*m. Solve 1 = l*n + 3 for n.
-1
Let u(p) = p**3 - 3*p**2 - 3*p - 2. Let g be u(4). Suppose -h = -4*k + 10, -2*k + g = -h - h. Solve -h*l = 3*l for l.
0
Let g(n) = -n**3 + 3*n**2 - 3*n + 3. Let u be g(3). Let i = u - -8. Solve -k - i*k - 15 = 0 for k.
-5
Let b(m) = m**2 - 3*m - 1. Let y be b(4). Solve k + y = 2 for k.
-1
Let i be -4 + (4 - (-10 - 2)). Let a be 4/6 - 24/(-18). Suppose -a*x + 9 = x. Solve 0*t = x*t - i for t.
4
Let v(f) = f**2 - 4*f + 1. Let w be v(3). Let o = w + 5. Solve o*y + 2 = -1 for y.
-1
Let b(m) = m - 6. Let z be b(9). Solve -z*q = -15 - 0 for q.
5
Suppose 0 = -5*u - o + 15, -13 + 4 = -2*u - o. Solve -x - 1 = u for x.
-3
Suppose -5*k = s - k - 25, -2*s - 2*k + 20 = 0. Solve 3 + 22 = -s*b for b.
-5
Suppose 4*b = 0, -4 - 4 = t + 2*b. Let d(p) = -p - 8. Let v be d(t). Solve -4 = -2*g - v*g for g.
2
Let n be 3 + (2 - -2 - (-1 + 4)). Solve -a - 2 = -n for a.
2
Suppose 1 = -i + 22. Suppose -5 = 5*a - 2*x - i, a + 1 = -x. Solve 0 = -2*s - a for s.
-1
Suppose -4*g + 5*z = -2*g + 4, -2*g + z = -4. Solve -10 - 5 = -g*o for o.
5
Let g be ((-2)/(-4))/((-6)/60). Let q(d) = -d - 2. Let w be q(g). Solve -2*k + w - 5 = 0 for k.
-1
Let j be (-2 + 0)*21/(-14). Solve -m - j + 8 = 0 for m.
5
Let u(n) = n**3 + 8 - 4*n - 7*n + 3 + 1 - 9*n**2. Let d be u(10). Solve 4 = -r + d*r for r.
4
Suppose -40 - 32 = -12*p. Solve p = k + 2 for k.
4
Suppose -13 = -3*v - 7. Solve 0 = v*f - 3 - 7 for f.
5
Let v = -136 - -80. Let o be v/(-12) + 2/(-3). Solve -o*r = -9*r - 25 for r.
-5
Let p be (-3)/((-2*1)/2). Let q = 15 - 12. Let n(h) = h**3 - 3*h**2 + h. Let i be n(q). Solve 0 = -3*x + i + p for x.
2
Let r be -1*(-2 + -24 + 1). Let p be (6 + -36)/(1*-2). Suppose 3*t - p + 3 = 0. Solve t*a + a + r = 0 for a.
-5
Suppose -b + 11 = h + 12, b - h - 1 = 0. Solve -3*q = -b*q for q.
0
Suppose -4*o + 12 = -o. Let a be o/(-2) + 9 + 4. Solve -a + 5 = 3*s for s.
-2
Suppose 3*i = 4*i. Let d be -3 + i + 7 - 1. Solve -d*c - c = 8 for c.
-2
Suppose 2*t - 8 = -t + f, -2*t + 20 = 3*f. Solve t*j = 4 - 20 for j.
-4
Let n = 29 + -20. Solve -n = -3*l + 6 for l.
5
Let u be (-287)/(-14) + (-2)/4. Solve -3*j - u = j for j.
-5
Suppose 2*p - 4*t = -14, 5*p - 3*t - 25 = -8*t. Let s = 21 - p. Solve -4*z - s = -0*z for z.
-5
Let h(s) be the first derivative of s**4/4 + s**3/3 + s**2/2 + 9*s - 4. Let q be h(0). Solve 0 = -y - 2*y + q for y.
3
Let r(t) = t**2 + 3*t - 6. Let n be r(-5). Let v be 7 - (16 - 4)/n. Let y(k) = 3*k**3 + 1. Let c be y(1). Solve 0*z = c*z + v for z.
-1
Let j = 32 + -12. Solve 2*b + j = -3*b for b.
-4
Let h = 2 - -1. Suppose 0 = -h*g - 8 + 17. Let z(c) = -c**2 - 4*c + 5. Let l be z(-4). Solve l = g*i - 4 for i.
3
Let g = 9 - 1. Solve g = -7*l + 9*l for l.
4
Let s be (0 - 1)/((-3)/12). Solve 10 = s*m - 2*m for m.
5
Let s = -19 - -24. Solve 0 = -5*x - s - 0 for x.
-1
Let n be ((-10)/3)/((-14)/3 + 4). Solve 20 = -n*s + s for s.
-5
Let n = -18 - -26. Let m = 11 + -7. Solve 12 = m*y - n for y.
5
Suppose 0 = -5*h - 0*h + 10. Solve 15 = 7*x - h*x for x.
3
Let o = 8 + -8. Let j = 4 - o. Solve -j*u + 7*u = 15 for u.
5
Let h be (2 + (-20)/6)*-3. Let b = 14 + -14. Solve b = -2*x + 3*x - h for x.
4
Suppose 0 = -2*l - 5*t + 30, l = -5*t - 0*t + 10. Suppose 4*c - c + l = -4*v, 2*c - 2*v = 10. Solve 4*i - 10 - 10 = c for i.
5
Let y be (7/4)/((-2)/(-8)). Let g(h) = 6*h**2 + 1 + 3*h**3 + 16*h - 4*h**3 - 7*h. Let p be g(y). Solve -2*m = 3*m + p for m.
-3
Let i(w) = 8*w**3 - 5*w**2 - 7. Let l(n) = 4*n**3 - 3*n**2 - 4. Let b(k) = -3*i(k) + 5*l(k). Suppose -3*g = 2 + 1. Let v be b(g). Solve 0 + 10 = -v*o for o.
-2
Let f(h) = 2*h**3 - 7*h**2 + 9*h + 1. Let k be f(2). Solve k = -4*y - 5 for y.
-3
Let u(v) = -12*v + 4. Let j be u(-3). Suppose 0 = -3*d + 3*p + 2*p + 60, j = 2*d + 2*p. Suppose d = 3*x - 4. Solve 2*y + 0*y + x = 0 for y.
-4
Let w(g) = 6*g**2 + 3*g + 2. Let k = 0 - 2. Let q be w(k). Solve -4*a + 0 = -q for a.
5
Suppose 0 = -0*f - f + 4. Let g = f + 2. Solve -m - g = m for m.
-3
Let v = 1 - -1. Solve 2*i - v = -6 for i.
-2
Let b(j) = j**3 + 6*j**2 + 5*j + 4. Let y(h) = -h**2 + 3*h - 2. Let o be y(3). Let r be (-86)/18 + o/9. Let m be b(r). Solve -m = p + p for p.
-2
Let u be (-379)/(-13) - (-10)/(-65). Suppose d + u = 3*d + 5*o, -d + 4*o = 18. Solve 6*c = d*c for c.
0
Let d(c) = 3*c. Let h be d(-2). Let o be 21/49 + h/14. Solve o = 4*x + 2 + 18 for x.
-5
Let c(v) be the second derivative of -v**3/6 - v. Let t(o) = o**2 + 7*o - 11. Let u be t(-8). Let z be c(u). Solve z*w + w = 0 for w.
0
Let n be 2 - 0 - 3/(-3). Suppose -2 = -2*d + 4*d - n*m, 4*d - 5*m + 2 = 0. Solve 0*z - d*z = -10 for z.
5
Let i be (-8)/(-3) + (-2)/(-6). Let g = i + 5. Suppose g = 4*x - 0. Solve -3*d + 10 = x*d for d.
2
Let f(z) = -z**2 - 10*z - 7. Let p be f(-10). Let s be p*1*2/(-2). Let i = -1 + s. Solve 2*y = -y - i for y.
-2
Suppose 0 = -6*k + k. Let m(w) = -w**3 + 8*w**2 + 4. Let u be m(8). Solve -2*b = -k*b - u for b.
2
Let i = 3 - 3. Suppose -5*t + 7 - 2 = i. Solve a - t = -3 for a.
-2
Let c(u) = -4*u - 1. Let n be c(-2). Let p = -1 + 1. Suppose a - k - 4 = 0, 4 = k - p*k. Solve 0 = -3*f + n + a for f.
5
Let f(l) = -2*l**2 + 9*l - 2. Let n be f(4). Solve -1 = -n*k + 1 for k.
1
Suppose -2*l = 0, m + l = 2*l + 9. Solve -m = -0*g - 3*g for 