 m*h - v = -h for h.
2
Let b be 12/(-9)*(-27)/(-6). Let w(k) = 3*k**2 - k**2 - k**2 + 6*k. Let h be w(b). Solve h*n = -4*n for n.
0
Suppose -3*a = -5*l + 13, 0*l - 4*a = -3*l - 1. Suppose 5 = -5*t, -i = i - l*t - 11. Suppose 0 = 3*w - 0*w - 6, -i*w = -f. Solve 0 = 3*p - f*p + 12 for p.
4
Let p be -1*(34/(-1))/2. Solve -3 = -4*q + p for q.
5
Let l be (-30)/4*(-12)/15. Let s(b) = b + 5. Let p be s(0). Solve l*x - p = x for x.
1
Suppose -5*z + 4*q + 7 = q, -5*z + q - 1 = 0. Let t be (4/5)/(z/(-5)). Solve -t*y + 3 = -y for y.
1
Suppose x + 3*x + 7 = 3*y, -x - 1 = 0. Solve -3*i + 2 + y = 0 for i.
1
Let w = -6 - -13. Suppose 4*h + 0*m - 23 = -3*m, -h - m = -w. Let d = 6 - h. Solve 2*g + 12 - d = 0 for g.
-4
Let m(h) be the third derivative of 1/6*h**4 - 2/3*h**3 + 0 + 0*h - 4*h**2. Let x be m(6). Solve 0*z = 5*z + x for z.
-4
Suppose 5*f + 15 - 15 = 0. Solve -2*q - q = f for q.
0
Suppose 3*b - 7 = -4*y - 0*b, 0 = 5*b - 5. Let c be 1/(-1 + (-4)/(-3)). Let s = 6 - 2. Solve c*r + s = y for r.
-1
Suppose -5*y + 5 = -5*q, 4*y + 2*q = -y + 19. Solve 2*x = y*x for x.
0
Let z be (3/2)/(54/72). Suppose 0 = d + 2*d - s - 3, z*d = 2*s + 2. Solve 0 = -3*p + d - 4 for p.
-1
Suppose -5*u + 4*u = 0. Suppose 0 = -5*o + 5 - u. Solve 0 = n - 2 + o for n.
1
Let p be (-2)/7 - (-2)/7. Let s be 0 + (p - (3 + -4)). Let k(l) = 4*l**3 + l - 1. Let z be k(s). Solve -16 = 8*a - z*a for a.
-4
Let h be (2/(-2))/((-1)/5). Let s = 6 - 4. Suppose 0 = -h*l + 5*u + 40, l = -u + s - 0. Solve -l = t - 6*t for t.
1
Let w(d) = 0*d + d**2 + 0*d**2 + 3 - 4*d. Let v be w(5). Let t be 10/4*(v + -2). Solve -y - t = -4*y for y.
5
Let l = -42 - -47. Solve 0 = l*h + 10 for h.
-2
Let g = 132 - 132. Solve g = -t + 3*t for t.
0
Let y(l) = l**2 + 2. Let c = 0 + 0. Let o be y(c). Suppose 0 = -5*f + 5*d - 2 - 3, 2*d - 2 = f. Solve o*b + 0*b + 10 = f for b.
-5
Let f be (2 + -3)*0*(-4)/(-16). Solve 2*n = -f - 4 for n.
-2
Let z = 13 - 9. Let b be z/8*-2*-8. Solve 25 = -b*l + 3*l for l.
-5
Let o = 56 + -53. Solve o*c = -0*c for c.
0
Let b = -51 + 71. Solve -4*q = -8*q - b for q.
-5
Suppose 3 + 47 = 5*g. Suppose 0 = -s - 0*f - 2*f - g, -4*f = 8. Let z be (-4)/(-6) - (-4)/s. Solve -5*v - 17 + 2 = z for v.
-3
Let w(r) = 0*r + 6*r + r**2 + 2*r + 11. Let k be w(-9). Solve -5*f = -5 - k for f.
5
Suppose -6 = 17*r - 20*r. Suppose -3*q + 17 + 22 = 0. Suppose 4*b = a + 22, 2*b + 3*a = 4*b - 16. Solve r = b*h - q for h.
3
Let u(s) = -s**2 + 2*s - 2. Let r be u(2). Let w be (90/40)/(r/(-8)). Solve -5*a = 11 + w for a.
-4
Let a(g) be the second derivative of -g**4/12 - 2*g**3/3 - 3*g**2/2 + 28*g. Suppose 15 = 2*h - 7*h. Let q be a(h). Solve q = 5*f + 8 + 7 for f.
-3
Let l = -276 + 281. Suppose 0 = 4*i - 2*i + 2*j, 3*j = -15. Suppose -3*f = i*c - 5 - 20, 2*c = 4*f + 10. Solve f*d + d + l = 0 for d.
-5
Let m = 0 + 3. Solve 6*k = 3*k + m for k.
1
Let u be -3 - -6*(-1)/(-1). Let x = 4 - u. Solve x = 2*i - 3 for i.
2
Let h(x) = 2 - 1 + 1 - x**2 + 8*x + 2. Let o be h(8). Solve -o*j - 12 = -j for j.
-4
Let g(l) = l + 23. Let c be g(-15). Solve -5*j - c = 12 for j.
-4
Suppose 0 = -a + 4*a - 3. Let v = -9 - a. Let p = 25 + v. Solve -2*y - p = 3*y for y.
-3
Let t = 6 - 4. Suppose 0 = -u + 2*x - t, -u + 0*u + 5*x - 8 = 0. Suppose 3*y - q - 10 = 0, 4*q + u = y - 5. Solve y = -f - 0 for f.
-3
Let h = -35 + 37. Solve -2 = -h*n - 4 for n.
-1
Let g(y) = y**3 + 6*y**2 - 7*y + 7. Let b be g(-7). Solve -2*f - 25 = -b*f for f.
5
Let s(k) = k**3 + 5*k**2 + 5*k + 3. Let f be s(-5). Let d = f - -31. Suppose z - d = -2*m + 2, -5*z = -3*m - 3. Solve 0 = z*v - 8*v - 15 for v.
-3
Suppose -5*o = 4*s - 0*o - 45, 0 = -2*s - 3*o + 23. Suppose 4*b - s = -2. Let g(c) = -c**3 + 4*c**2 + 4*c + 5. Let v be g(5). Solve b*y + 11 - 1 = v for y.
-5
Suppose -11 = -n + 3*a, 7 = -n - 5*a + 2*a. Solve -n*q = 1 + 5 for q.
-3
Let r be 3 + ((-34)/2 - 2). Let n = r - -23. Solve -n*d = -2*d - 5 for d.
1
Let c(n) = 3*n - 3. Let r be c(3). Solve 2 = -d + r for d.
4
Let u be 3*8/12 - -1. Suppose u*x - 20 = -2*x. Solve 4*r - 16 - x = 0 for r.
5
Let t = 29 + -4. Suppose 5*f - 25 = t. Suppose 2*k - f = -3*k. Solve -6 = k*m - 2 for m.
-2
Let j be ((-2 + 2)/3)/(-1). Suppose j*z = 5*z. Solve -8 = -2*x - z*x for x.
4
Suppose 5*s - 5 - 5 = 0. Let d be 37/4 - 1/4. Suppose s*l - d = -3*p, -4*p - 6*l + 10 = -4*l. Solve -2*y = -y - p for y.
1
Let f be 0/(-2) - (-6)/1. Let o be f*(-2)/(-2)*-1. Let k be 2/o*(-2 - 7). Solve 4 = k*r + r for r.
1
Let y(o) = o**3 + 5*o**2 - 6*o - 1. Let u be y(-6). Let g be u/((-12)/15)*-4. Let j = g - -7. Solve 6 + 4 = -j*n for n.
-5
Suppose 28 = 5*b - 12. Suppose i - 2 = b. Solve 0 = 5*m - 0*m + i for m.
-2
Let l(q) be the first derivative of -q**2 - 2*q - 18. Suppose a = 5*y + 20, 0*a = 3*a - 15. Let v be l(y). Solve 4*j = -0*j + v for j.
1
Let d = 18 + -7. Suppose 2*v = d - 1. Solve -1 + v = 4*m for m.
1
Let u(z) = z**3 - 7*z**2 + 7*z - 6. Let j be u(6). Solve -4*w + w - 3 = j for w.
-1
Suppose 3 = 2*p - 5. Suppose -33 = -p*w + 15. Solve o = 4*o - w for o.
4
Suppose -5*r + 20 + 5 = 0. Suppose 0 = -r*c + k + 31 + 3, 2*c - 3*k = 24. Solve c*m = 3*m for m.
0
Suppose -w = -0*w. Solve -4*h + 0 + 16 = w for h.
4
Suppose 5*l = -3*n + 37, -6 = -l + 3*n + 5. Suppose -m + l = 3*t + m, -3*m = -3. Solve t*z - 4 = 6 for z.
5
Let b be ((-14)/(-8))/((-5)/(-20)). Suppose -3*j + b + 5 = 0. Solve -j + 1 = -f for f.
3
Suppose 0 = -3*m - 37 + 238. Suppose -2*f + 47 = -3*f. Let l = f + m. Solve -l = v - 6*v for v.
4
Suppose n = -2*r - 25, 2*r + 6*n = 3*n - 27. Let u be -12 + 11 + (0 - r). Suppose 2*i - 4 = 2. Solve i*g = -u + 2 for g.
-3
Let a(q) = -q**2 - 21*q + 10. Let k be a(-21). Solve s = 6*s + k for s.
-2
Let f be 22*2/(-8)*-2. Suppose -3 = -2*g - 1. Suppose 2*j + 3*z + f = 0, -j + 3*j + g = -z. Solve -1 = j*m + 7 for m.
-4
Suppose -2*w + 12 = w. Suppose w*l = -5*d + 17, 0*d - 2*d - l = -5. Solve d = 2*m - m for m.
1
Suppose -3 = -s + 1. Suppose 0 = y + s*n, -5*y - n = 2*n. Let f = -6 + 6. Solve i + f - 1 = y for i.
1
Let a be ((-18)/10)/(21/(-140)). Solve 0 = -0*v - 3*v + a for v.
4
Let x = -13 + 19. Let k be (-30)/20*(-8)/6. Solve -k*w - 4 = x for w.
-5
Let u(q) = q**3 + 17*q**2 - 17*q + 19. Let j be u(-18). Solve -j + 5 = 4*f for f.
1
Let x = 30 + -30. Solve 5*n + x + 5 = 0 for n.
-1
Let h be (-6)/((-9)/(-3)) - -9. Suppose 3*v - 1 = -3*l + h*v, 0 = 2*v - 4. Let j = 12 + -10. Solve j + l = i for i.
5
Suppose 0 = 3*l - 5 - 4. Suppose -4*g = 4*o - 52, -3*o - l*g - 27 = -6*o. Solve -5*h - 1 = -o for h.
2
Suppose 5*c - 3*v = 6, 4*c - 4*v + 10 = -9*v. Suppose 3*n + 2*z = -0*n + 8, 3*n + 4*z = 4. Solve -n*h + c*h - 16 = 0 for h.
-4
Let t(f) = -f - 4. Let i be t(-6). Let h(z) = -3*z - 5 - z**3 + i - z - 3*z**2 + 0. Let n be h(-2). Solve -3*l + 16 = n for l.
5
Let x(v) = -v**3 - 7*v**2 - 2*v + 5. Let q be x(-7). Suppose -q + 2 = -f - 3*b, -5*b = -f - 23. Suppose 2*z = 4 - 2. Solve d - f*d = -z for d.
1
Let w be (-4)/((-5)/(5/2)). Solve 0 = -0*k + w*k - 2 for k.
1
Let p(o) = -1 - 2*o - 4*o + 3*o. Let b(i) = i**3 + i**2 - 1. Let f be b(0). Let j be p(f). Solve 0 = j*g + 3*g for g.
0
Suppose -91 = -7*s + 21. Solve 13*d + s = 9*d for d.
-4
Let c(z) = z**3 + 8*z**2 + 8*z + 12. Let w be c(-7). Solve -q + 0 = -w for q.
5
Suppose -24*h + 14 = -22*h. Solve h = -2*p + 1 for p.
-3
Suppose 6*g = 11 + 31. Solve -g*q - 12 = -3*q for q.
-3
Let c be 5/4 - 1/4. Solve 3 = -2*v - c for v.
-2
Let a = 9 - 4. Suppose 2*s = -l + 14, -2*s + 22 = a*l - 2*l. Solve -l*d + 9 = -7 for d.
4
Let s = -11 - -16. Let h = -35 - -25. Let q be (-1 - -7)*(-5)/h. Solve q = -c + s for c.
2
Suppose -2*c - s = -1 - 1, 2*s - 4 = 4*c. Suppose c*q = -4*q + 36. Suppose 2*d - 23 = -0*r + 5*r, r = -d + 1. Solve d*z = z + q for z.
3
Let m be 1*6 + -2 + 1. Let a be (3/m)/(4/20). Suppose -a*o = 2*o - 40. Solve -h - h + o = 0 for h.
4
Suppose 0 = 2*w - 0*w - 6. Suppose -w*p + 3*j + 30 = 0, 0 = -0*p + 4*p - 3*j - 35. Solve -q - 1 + p = 0 for q.
4
Suppose -b = -0 - 1. Suppose c + 4*h = 0, h + 0*h = -b. Suppose 37 = c*y - 59. Solve 0 = 5*j - y + 4 for j.
4
Suppose -14 + 2 = -4*z - 5*b, -b + 9 = 3*z. Suppose -5*g - a = -0*g - 27, -g + z*a - 1 = 0. Suppose 2*x + 1 = 5. Solve -g*s + x = -8 for s.
2
Let d(u) = 2*u + 2. Let y be d(-1). Solve -15 = -y*w - 5*w for w.
3
Let r be ((-3)/(-2))/((-6)/(-8)). Solve 3*k + 25 = -r*k