c - 2. Let q be v(5). Solve -6*m + 3 = -q*m for m.
1
Suppose -4*h + 1 = -7. Solve 3 = 3*m - h*m for m.
3
Let g be (1 - 5)/((-52)/39). Solve l = -0*l + g for l.
3
Let w be 0*((-7)/(-35))/(6/(-10)). Solve 3*j - 4*j = w for j.
0
Let x = 28 - 62. Let v be x/(-10) + 6/(-15). Solve 0 = v*q + 7 - 1 for q.
-2
Let j(k) = k**2 - 3*k - 10. Let o be j(5). Solve 6*c - c + 25 = o for c.
-5
Let m be 26/3 - 8/12. Let c = m - 6. Solve 0 = 3*f + c*f for f.
0
Suppose 0*b + 2*b - 4 = -2*m, -12 = 4*m. Solve 3*c = 2*c - b for c.
-5
Suppose -2*t + 12 = 2*t. Solve 3*w = -t + 6 for w.
1
Suppose -4*j = -s + 14, 4*s - 5*j - 14 = -3*j. Suppose s*m - 9 = -m. Suppose 5*l + 68 = m*v, 4*l = -2*v + 13 + 3. Solve 4*b + v + 4 = 0 for b.
-5
Let a(n) be the third derivative of -n**4/24 + n**3/6 + 5*n**2. Let l be a(1). Solve l = 2*w + w for w.
0
Suppose -5*d + 12 = -8. Suppose -t - 3*t + o + 7 = 0, 2*o + 6 = d*t. Solve t*r + 4 = -4 for r.
-4
Suppose -g - 1 - 10 = -4*r, 2*r - 8 = 0. Solve j = g - 3 for j.
2
Let s be 0/(-4 + 2) + 7. Let w = 104 - 100. Solve w*k - s - 13 = 0 for k.
5
Let b be (-1)/(-3) + 50/(-6). Let z be (-2)/(-8) - 70/b. Solve -4*y - 7 = z for y.
-4
Let a = 44 - 42. Solve -a*b = -b for b.
0
Let v(n) = -n**3 + 3*n**2 - 2. Let q be v(3). Suppose 3*s - 1 = -a + 1, 0 = 4*a + 4*s + 8. Let b = q - a. Solve b*l = -1 - 3 for l.
-2
Let w(i) = i + 3. Let k be w(-3). Suppose k*g + 2*g - 4 = 0. Solve g*a = -a - 15 for a.
-5
Suppose 2*a - 31 = 2*q + 3*q, -2*a - q + 1 = 0. Solve 2*j + a*j = 0 for j.
0
Let c be (-9 + 1)*(-6)/4. Solve w + c = -2*w for w.
-4
Let v(m) = m**3 + 8*m**2 + 7*m - 8. Let n be v(-7). Let c = -6 - n. Suppose -3*z = 4*l - 6*z + 15, 2*l - 2*z + 10 = 0. Solve l*s - c*s = 8 for s.
-4
Let i(a) = 6*a**2 - 4*a - 5. Let m(w) = -w - 1. Let f(h) = i(h) - 6*m(h). Let b be f(-1). Solve b*d + 10 = -0*d for d.
-2
Suppose 0 = -5*t - 5*l + 3*l + 4, 3*t = -l + 3. Solve t*v - 4 = -0*v for v.
2
Let f(n) = n + 2. Let w be f(-2). Solve w = -o + 5*o for o.
0
Let w(t) = 8*t**2 + 8*t**2 + t**3 + t - 31*t**2 + 11*t**2 - 2. Let h be w(4). Solve h*b = 4*b + 10 for b.
-5
Suppose -8 - 13 = -3*m. Solve -q + 3 = m for q.
-4
Let l be 2/9 - 156/(-27). Let r = 11 - l. Solve -f = -r*f for f.
0
Suppose -5*o = 5 + 20, w = o + 30. Let a be 40/w + (-4)/(-10). Suppose 3*u = -0*u. Solve u = 5*x - a*x + 6 for x.
-2
Let x(t) = t**3 - 6*t**2 + 6*t - 4. Let c be x(5). Let q = -1 + c. Let s be (-2)/(-20) + 414/460. Solve q = -j - s for j.
-1
Let h be ((-6)/(-4))/((-23)/(-10) + -2). Solve -4*r + 7 = -h for r.
3
Suppose 4*y - 26 - 10 = -3*s, 3*s - 6 = y. Let c = 14 - 0. Let n = 28 + -24. Solve n*j + y = -c for j.
-5
Let f = -6 - -8. Solve -2*x - 8 = f for x.
-5
Suppose 5*h - 2*y - 115 = 0, 3*h = 4*y + 21 + 34. Suppose -5*n + 2*n = 2*v - 3, 3*v + 1 = n. Let k be n/2*0/2. Solve -6*r + r - h = k for r.
-5
Suppose -2*v + 2 = -v. Let k be ((-2)/(-3))/((-6)/(-45)). Solve 0 = -a + k - v for a.
3
Suppose -n - l + 4 = 2*n, -4*l = -3*n - 1. Suppose 5*w = w + 88. Suppose -4*a - 3*p + w = 0, a - 4*a = -p - 10. Solve -a = -k - n for k.
3
Let v be (-24)/(-24) + (-1 - -2). Solve 2*t - v = -6 for t.
-2
Let h(n) = -n**3 - 5*n**2 + 8*n + 6. Let l be h(-6). Let b = l + 9. Solve b = -c + 1 for c.
-2
Let g = -11 + 18. Suppose 0 = 5*p + 3*z - 12 + 3, g = -p - 5*z. Solve 0 = -h - 1 + p for h.
2
Suppose -2*c + 5*c - 23 = -y, 0 = 2*c + 3*y - 20. Suppose -o - 20 = c. Let n be o/(-12) + (-2)/8. Solve -n*x = 3*x for x.
0
Suppose -3*m - 5*c - 19 = 0, 2*m - 4*m - 4*c = 16. Solve -s + 3 = m*s for s.
1
Suppose 16 = 2*u - 2*z, -5*z = 6 + 4. Suppose -a = -3*a + u. Suppose -q - q + 16 = 0. Solve -t - q = a*t for t.
-2
Let r = -63 - -66. Solve -k - r = -6 for k.
3
Let k = -1 + 1. Let r = -8 - -26. Suppose 0 = 5*m - r - 2. Solve m*a = -k*a for a.
0
Let f be 4/6 - (-20)/6. Let h(r) = r**3 + 8*r**2 + 7*r. Suppose 0 = t + t + 14. Let j be h(t). Solve f*s = -j + 16 for s.
4
Let z = 9 + -5. Suppose 3*l - 3*d = -3, 0 = -5*l + z*d - 3. Solve u - 5 = -l for u.
4
Suppose 22 = -3*m - 5*v, -v - 5 = -2*m + 2. Suppose 2*g = -6, 10 = 4*s + g + m. Solve 4*p = s*p for p.
0
Let x(d) = -5*d + 1 + 3*d + 3*d - d**2 + 0 - d**3. Let k be x(-2). Let r be (-2 + 6 - k) + 1. Solve 0 = y - 1 + r for y.
-1
Suppose 2*c + 0*c - 4 = 0. Suppose -r + 2*y = -c*y + 3, 2*r = 4*y + 14. Solve -r = 4*o + 3 for o.
-5
Let d be (-2)/5 - 7/(-5). Suppose -w = l, -d = 3*w + 5. Solve r + 3 = l*r for r.
3
Let c(l) = l**3 - 2*l**2 - l + 2. Let r(a) = a + 1. Let v be r(1). Let o be c(v). Suppose -5*d + 8 + 7 = g, 30 = 2*g + 2*d. Solve o*m - 3*m = -g for m.
5
Suppose 2*m = 5*m. Let l(o) = -o + 10. Let c be l(m). Solve 0 = -5*q - 0*q + c for q.
2
Let u = 88 + -88. Suppose -g = -l + 5, 0 = 4*l + 4*g - 4 - 8. Solve u = l*q + 4 - 0 for q.
-1
Suppose 2*u - 2*q = 8, -3*q + 2*q - 4 = 5*u. Let h = -8 + -4. Let n be 4*(75/h)/(-5). Solve n = 5*a - u for a.
1
Let z be (-3 - -2)/((-1)/2). Solve 2*y - y + z = 0 for y.
-2
Let i be ((-1)/2)/((-3)/30). Solve 0 = -2*f + i*f + 12 for f.
-4
Let t = 1 + 2. Solve -4 = j - t for j.
-1
Let l = 3 - 0. Let q = l + 0. Solve -q = 3*c - 15 for c.
4
Suppose -7*k - 5*k + k = 0. Solve 3*u + 5 + 7 = k for u.
-4
Let c = 13 - 8. Suppose 35 + c = 5*z + 4*m, 2*m - 14 = -z. Let q be ((-8)/(-6))/(z/6). Solve 0 = -q*v - 0*v - 6 for v.
-3
Suppose -2 = -5*u + 13. Let p = u + 0. Let t(j) = j**3 - 2*j**2 + 3. Let x be t(3). Solve x = o + p*o for o.
3
Let d be -2 - (-8)/(-4) - -4. Solve -l + 3 = -d*l for l.
3
Suppose 0 = 7*q + 2*q. Solve r = -q - 3 for r.
-3
Let m = -6 + 8. Let d = 78 - 75. Solve -d*z + m = -13 for z.
5
Let u(i) = -2*i + 22. Let y be u(5). Solve -y*r - 6 = -9*r for r.
-2
Let p = -1 - -2. Suppose -6*g = -2*g - 12. Solve t = -p - g for t.
-4
Suppose 0 = -4*y - 22 - 6. Let q = -7 - y. Solve -3*x + 3 - 6 = q for x.
-1
Suppose u = 2*u - 1. Let p be 3 - 2 - (u - 2). Suppose v = p*v. Solve v = -2*t + t + 2 for t.
2
Suppose 5*t - 5*v + 2 = -8*v, -4*v = -2*t + 20. Solve -t*g + g = 0 for g.
0
Let h be (2 - (-6)/1)*-1. Let o be 1/4 + (-110)/h. Let y be (-10)/35 - (-46)/o. Solve -y = 5*x + 2 for x.
-1
Suppose -5*c + 2*d = -26, -3*c + 3*d - 3 = -6*c. Suppose -3*q = x - 21, -3*x = c*q - 0*q - 33. Solve -q = 3*y - 0 for y.
-2
Suppose -c = 4*c + 15, -z + c = -5. Solve 0 = 4*k + 10 - z for k.
-2
Suppose 3*r - 5*r + 26 = 4*u, 5 = -2*u + 5*r. Suppose -u*j + 2*j - 12 = -5*t, 2*t + 20 = -5*j. Solve t*d - 3*d = 0 for d.
0
Let a(o) = o**3 + 6*o**2 + 6*o - 8. Let j be a(-6). Let t be (-1)/(-3 - j/16). Solve -t*z + 3*z - 5 = 0 for z.
-5
Suppose -2*u + u = -6. Let g be (1/2)/((-12)/96). Let f be (g/u)/((-14)/63). Solve f*l + 10 = 1 for l.
-3
Suppose -4*y + 15*y - 55 = 0. Solve 7 + y = 4*r for r.
3
Suppose 0 = k + 2*s - 4, 5*k = -2*s - 0*s + 12. Suppose -k*a = -0*a. Suppose 4*l + a = 12. Solve n - 2 = -l for n.
-1
Suppose 2*x - 6*x = -16. Suppose 15 = x*t + 3. Let w(k) = -k + 3. Let i be w(3). Solve i = t*c + 5 - 2 for c.
-1
Let k(x) = 3*x**2 + x - 5. Let b be k(-2). Solve 0 = -b*s + 30 - 10 for s.
4
Let s be (-2)/2 + -25 - -1. Let c = -11 - s. Solve -11 - c = 5*f for f.
-5
Let w = 122 + -122. Solve -z - 1 + 3 = w for z.
2
Let t(l) = -l**3 + 5*l**2 - 3*l + 2. Let u be t(4). Suppose -4*c = -c - 21. Suppose -4*m = -c*m + u. Solve -4*y + m = -2*y for y.
1
Let v be 28*3/12*-3. Let g = 23 + v. Solve 0 = -h - h + g for h.
1
Let g(o) = -o + 22. Let v be g(19). Solve -v*r + 6*r + 6 = 0 for r.
-2
Let r be (-16 - -10)*(-2)/4. Solve -12 = -3*b + r for b.
5
Let z(p) = -p**2 + 8*p + 6. Let v be z(8). Solve 0 = -v*q + 2*q for q.
0
Let h be (-7)/(14/4) - -3. Solve 4*d = h + 3 for d.
1
Suppose 5 = 3*f - 1. Suppose 2*n = -4*j + f + 2, -23 = -5*j + 2*n. Let i(u) = -2*u - 5. Let d be i(-6). Solve -j*y + d = -8 for y.
5
Let n be 2/(-2)*(-15)/(-6)*-2. Solve 2*b - n = -3 for b.
1
Let m = 17 + -24. Let u = m + 11. Let d(v) = v**3 + 5*v**2 - 17*v - 9. Let i be d(-7). Solve -4*r = u - i for r.
2
Let d(f) be the third derivative of f**6/120 + f**5/30 - f**4/24 + f**3/6 - f**2. Let g be d(-2). Let r(s) = -s - 1. Let l be r(-7). Solve -l*y = -g*y for y.
0
Let h be (-67)/(-13) + (-10)/65. Solve 0*p + h*p + 15 = 0 for p.
-3
Let c = 8 + -10. Let z be (1 + 1)/c*8. Let n be ((-7)/4)/(z/32). Solve -4*l = -1 - n for l.
2
Let h be 114/(-8) - 24/32. Let p be (-57)/h - (-3)/15. Solve -3*i - 2 - p = 0 for i.
-2
Let g = -4 - 