m = 4*k - 0*k for k.
2
Suppose 3*v - 8*v + 30 = 0. Solve 0*g + v = -2*g for g.
-3
Let c(l) be the second derivative of -l**4/12 - 3*l**3/2 + 4*l. Let m be c(-9). Solve m = -5*w - 33 + 13 for w.
-4
Suppose 2*o = -1 + 5. Let u(w) = -2*w - 7. Let j be u(-5). Solve -j*c - o*c + 25 = 0 for c.
5
Let v = -45 + 81. Let k be (v/(-30))/((-1)/5). Suppose i + 10 = k*i. Solve 0*h = -i*h for h.
0
Let u be (2 - -4)*2/6. Suppose 9 = 3*k - 3*l - 9, -u*k = 3*l - 2. Suppose k*y - 53 - 27 = 0. Solve y = 2*m + 2*m for m.
5
Let r be (-16)/6*114/(-4). Let l = r - 44. Let m = l - 16. Solve 0 = 3*o + o - m for o.
4
Let h = 59 - 56. Solve 0*w = h*w for w.
0
Let c(p) = p + 1. Let g be c(-5). Let m be (2/g*0)/(-2). Let h = m + 0. Solve -2*r + 0*r + 6 = h for r.
3
Let g be (-3)/18*2*-6. Suppose -t + 12 = g*t. Suppose 0 = t*k - 2 - 2. Solve 0 = -3*f + k + 11 for f.
4
Let y(c) = -2*c - 12. Let l(w) = -w - 1. Let s(t) = -3*l(t) + y(t). Let u be s(12). Solve -h = u*h - 12 for h.
3
Let w(q) = q**3 + 4*q**2 + 4*q + 2. Let c be w(-2). Let k = 2 - c. Suppose v + k*v - 1 = 0. Solve -v - 4 = l for l.
-5
Let u(t) = t - 3 + 0 + 5. Let f be u(11). Let s be 6/39 + (-2)/f. Solve s = -d - d for d.
0
Let l(u) = -u**3 + 2*u**2 + 5*u - 4. Let t be l(3). Suppose 0 = -2*w - 3*w + 5*b + 20, w - 4*b - 1 = 0. Suppose -w = -t*k + 1. Solve -o + 20 = k*o for o.
5
Suppose 0 = 5*u + 3*v - 37, u + v = 4*v + 11. Solve u = -a + 5 for a.
-3
Suppose 5 + 5 = 2*c - 2*k, 3*k + 10 = 2*c. Solve 5*y + 0 - c = 0 for y.
1
Let q = -3 - -3. Solve q = 3*c + 2*c - 20 for c.
4
Let y be 0/(2/(-2)*-2). Let k(n) = -n**2 - 3*n + 40. Let x be k(5). Solve -o + y*o = x for o.
0
Let r(c) = -c**2 - 3*c. Let z be r(-2). Suppose z*q = t + 4*t - 16, -4*t - 5*q - 7 = 0. Solve t - 1 = g for g.
1
Let m(z) = 8*z + 32. Let k be m(-4). Solve x + k*x = -4 for x.
-4
Let o = 4 + -4. Suppose o = 4*x + m - 21, -4*m = -x - m + 2. Let n(j) = 5*j - 5. Let z be n(x). Solve i = -3*i - z for i.
-5
Let r(s) = -s**3 - s + 15. Let m be r(0). Suppose 3*q = t - 5*t + 12, m = 5*t - 5*q. Solve 15 = -t*c - 2*c for c.
-3
Let p = 21 + -34. Let c(d) = -d**3 + 2*d - 19. Let x be c(0). Let b = p - x. Solve 5*t - 4 = b for t.
2
Let q = 17 - -17. Solve q = 4*w + 14 for w.
5
Suppose 4*u - 51 = -5*f - 0*u, 4*u - 9 = f. Solve 5*j - 6 = f*j for j.
-3
Suppose 11 + 5 = 2*h. Solve 3*o = o - h for o.
-4
Let h = -6 + 4. Let c be ((-5)/(-3))/(h/(-12)). Suppose 5*l = 5*k - 15, -5*k + 2*l + 2 = -c. Solve -4*o + k*o = 2 for o.
-1
Suppose 4*j + 2*o + 5 = 7*o, 5*j - 3*o = -3. Solve 3*i + 12 = -j for i.
-4
Let o = 7 - 5. Suppose 4*n = 3*n - o. Let p be (n + 0)*(-1)/1. Solve -6 = -p*d + 2 for d.
4
Suppose 0 = 7*f - 3*f - 80. Solve -2*z = 2*z + f for z.
-5
Suppose -28 = -4*o - 4. Suppose 3*t = -2*t. Suppose t = -5*k + 2 + 8. Solve 0 = c + k*c - o for c.
2
Let t be (-1 + 2)*1*15. Let x = -7 - -13. Solve x*q + t = 3*q for q.
-5
Suppose -3*l + l + 2 = 2*m, -3*l - 2*m + 2 = 0. Suppose -i = -3*i + 8. Solve l = -i*r + 11 + 1 for r.
3
Suppose 3 = 5*z - 27. Let h = z - 7. Let u be 1*(h - (2 + -16)). Solve 12 + u = 5*k for k.
5
Let h(f) = -f**2 + 10*f + 5. Let b be h(10). Suppose -2*n = -2*r - 12, -7*n + 2*n - b*r = 10. Solve -p = n*p for p.
0
Let a be (-2 - -3) + 6 + -2. Solve -3*r = 2 - a for r.
1
Suppose 4*n - 24 + 16 = 0. Solve 2*h + n = 12 for h.
5
Let w be ((-20)/(-25))/(6/15). Solve j = w*j for j.
0
Suppose -5*o = -o - 3*i - 9, -i = 3. Let w = 5 - 2. Solve -2*r - w*r + 20 = o for r.
4
Let v be (0 - (-2 - -2))*2/4. Solve -6*p + 4*p + 2 = v for p.
1
Let m(n) be the second derivative of -n**4/12 - 5*n**3/6 + 3*n**2/2 - 2*n. Let o be m(-5). Solve -o - 3 = -2*s for s.
3
Suppose 5*f = 3*p + 30, 2*p = -f - 8 + 1. Suppose 0*r - 9 = -r. Solve f*z + r = -0*z for z.
-3
Suppose -2*u - 3 = -u. Let f = -1 - u. Solve -x + f*x - 5 = 0 for x.
5
Let b be (-6)/15 + (-85)/(-25). Let n(x) = -x**3 + 5*x**2 + 2. Let q be n(4). Solve 0 = -3*d - b + q for d.
5
Suppose 5*t = -4*a - 22 + 111, -5*t + 97 = 2*a. Let l be 1/(-2 - t/(-9)). Solve -l*o + o = -8 for o.
4
Let g = 8 - 6. Let z = 2 + g. Solve 3*b - z*b = 1 for b.
-1
Let r = 5 + -12. Let g = r - -10. Solve g*y - 11 = -2 for y.
3
Suppose -10*r + 3*r + 175 = 0. Solve r - 5 = 4*o for o.
5
Let i = 4 + -2. Suppose 0 = 5*b + i*h - 40, -2*b - 2*h + 22 = -0*b. Solve 2*z = b*z - 4 for z.
1
Let a(b) = -b**3 + 1. Let z be a(1). Suppose 2*j = m + 11, -j + z*j + m = -7. Solve -j*s - 6 - 14 = 0 for s.
-5
Let i(p) = -p**2 + 12*p + 3. Let j be i(12). Let h = j - -1. Solve -16 = 4*y - h for y.
-3
Suppose 2*i + 49 = -3*x, 3*x + 2*i - 41 = 6*x. Let m be (-1 + x/(-6))*2. Let s(z) = z**2 + 3*z + 7. Let u be s(-6). Solve -m*b + 8*b = u for b.
5
Suppose -3*q + 8 + 1 = 0. Solve q*o - 4 = -o for o.
1
Let k be 4/3*((-15)/(-3) + -2). Solve -8*w + k = -4*w for w.
1
Let m(r) = -r**3 + 4*r**2 + 6*r. Let i be m(-10). Suppose -4*o = -9*o + i. Let v be 2/8 + o/16. Solve 2 = -3*h + v for h.
5
Suppose 4*b = t, -3*b + 4*t = -7*b. Suppose b*m + 6 = 2*m. Let x(g) = g**2 + 2*g + 3. Let q be x(-3). Solve -s + m*s + q = 0 for s.
-3
Let g(j) = j**2 + 2*j + 3. Let i be g(-3). Let r be 2/(-2) + (i - -3). Solve -r = 4*t - 0*t for t.
-2
Let g(i) = -i**3 - 2*i**2 + 1. Let x be g(1). Let s be (-6)/(x - 0) + -3. Solve s = t - 4*t - 9 for t.
-3
Suppose 0 = -i - 0*i + 8. Suppose 3*l + i = 23. Solve -l*v + 12 = 2 for v.
2
Suppose 9 = 5*o + j - 3, 3*o - 4*j = -2. Solve 6*t + 4 = o*t for t.
-1
Let s be 2/14 - (-20)/7. Solve p = 2 - s for p.
-1
Let s(c) = c**2 - c - 42. Let a be s(-6). Solve a = t + t - 4 for t.
2
Let j = -101 - -105. Solve 6 = -6*n + j*n for n.
-3
Let p = 9 + 5. Let s be p/4 + 4/8. Solve 9 + 7 = -s*a for a.
-4
Let a be 6/(-9) + (-14)/6. Let p = 11 + a. Let n = p + -4. Solve -t = n*t for t.
0
Suppose 4*t - 6 - 2 = 0. Solve -t*j + 8 = -4*j for j.
-4
Let w = -22 + 21. Let l(h) = -h**3 - h**2 - h. Let f be l(w). Solve -f = 4*i + 7 for i.
-2
Let w(z) = -z**3 + 7*z**2 - 4. Let g be w(7). Let d = 6 + g. Let b be 24/4 - (d + -1). Solve -b*p + 20 = -0*p for p.
4
Let j = 50 - 50. Solve i + 3 = -j for i.
-3
Let h be 7 + (-6 - (-1)/(-1)). Suppose -q - 2 = -2*q. Suppose -3*t = -t - q. Solve h*s - s = -t for s.
1
Let k be (-2 + 1)*(-19 + 1). Suppose 4*u - 40 = -u. Let h = 10 - u. Solve k = 5*i - h for i.
4
Suppose 0 = r - 3, l + 3*l = -2*r + 26. Solve 0*b - l*b - 15 = 0 for b.
-3
Suppose 2*r + 5*b = 27, 0 = -r - 2*b - 3*b + 21. Solve 0 = 5*p - r*p + 1 for p.
1
Let m be (2/(-4))/(1/(-10)). Suppose -z + 12 = m*o, 2*o = -4*z - 2*o + 16. Solve 0 = -z*g - g + 15 for g.
5
Let t = -7 + 10. Solve -t*z = z for z.
0
Suppose -7*m + 15 = -4*m. Let z = 11 - m. Solve 3*g - g - z = 0 for g.
3
Suppose 2*d - o = 17, 2*d - 3*o - 26 = o. Let z = d + -4. Solve -1 + z = 2*h for h.
1
Let p be 3/(-6)*-6 - 0. Solve 0 = j - p + 1 for j.
2
Let s(w) be the third derivative of 1/60*w**5 - 1/8*w**4 + 0 + 3*w**2 + 0*w + 0*w**3. Let f be s(5). Solve 0 = 4*b + f - 30 for b.
5
Suppose 3*i - 2*b - 54 = 0, 90 = 5*i + 2*b + 2*b. Let c(n) be the second derivative of n**4/3 - n**3/6 + n**2/2 - 2*n. Let x be c(1). Solve -x*o + i = 6 for o.
3
Let m be (-6)/(12/(-4)) + -14. Let s = -8 - m. Solve -s*c - 12 = -c for c.
-4
Suppose -3*c = c - 8. Suppose -210 = -7*x + c*x. Let f be (-2)/10 - x/(-10). Solve -f*o + 8 = -8 for o.
4
Suppose 4*i + 20 = -4*r, 0*i - 5 = -3*i + r. Solve 16 = 4*b - i for b.
4
Let h = 2 - 0. Suppose -b - 3 = -h*b. Let q(x) = x**2 - 9*x. Let i be q(9). Solve b*u - u - 8 = i for u.
4
Let o(l) = 0*l**2 - 1 + 2 - l**2 - l. Let g be o(-1). Solve k - g - 1 = 0 for k.
2
Suppose 9 = 5*z - 6. Solve -z*l = -2 + 5 for l.
-1
Let g(s) = -s + 1. Let h be g(-1). Suppose -5*f = i - h*f - 7, 3*i - 4*f - 8 = 0. Suppose 5*m - 12 = i*m. Solve -p = 2*p - m for p.
4
Suppose -4*v + 0 - 4 = 4*s, 0 = 3*s - 4*v - 4. Solve s = 2*l + 7 - 1 for l.
-3
Let f(y) = -y**2 - 5*y + 3. Let g be f(-5). Suppose -g*w = -w - 10. Suppose -w*u + 6 = 4*a, 0 = -3*a - 0*u - 5*u + 2. Solve v + a = -0*v for v.
-4
Suppose -4*q + 50 = q - 2*a, 4*q - 40 = -3*a. Solve -3*z = -z - q for z.
5
Let v be 26/3 - 2/3. Let s be (v + 2 - 3) + -2. Solve 0 = s*u - 4 + 9 for u.
-1
Let r be (-1 - -9)*2/8. Suppose -4*u = -5*t + 26, t + r*u + 5 + 1 = 0. Solve t*f + 1 = 9 for f.
4
Suppose -9*i + 8*i = 0. Suppose i = 3*s + 12, 5*s - 3*s = 5*u - 13. Suppose -3*j + 2 = -u. Solve l + 2 = -