.
0
Suppose 0 = -4*v + 4*f, 4*v - 2*f - 8 = -2. Suppose 3*m - 36 - 18 = -3*c, -3*m + 46 = c. Solve -2 + m = v*o for o.
4
Let q(d) = 2*d + 12. Let m be q(-5). Suppose -m*u = -2*h - h - 28, 44 = 4*u - 3*h. Solve 0*r + 2*r = -u for r.
-4
Let z(h) = h**2 + 6*h. Let r(b) = -5*b - 1. Let c(s) = 3*r(s) + 2*z(s). Let f be c(4). Solve -f = -3*v - 8 for v.
3
Suppose -2*r = -4*r + 8. Solve -r*x + 1 + 7 = 0 for x.
2
Let o be (-10 - -11)/(1/2). Suppose -o*x - 2 + 6 = 0. Solve -x*c + 0*c - 8 = 0 for c.
-4
Suppose 5*t + 4 = 24. Solve 0 = 5*j - 3*j + t for j.
-2
Let m = 2 - 0. Solve 4*r + 2 = -m for r.
-1
Let o(s) be the first derivative of -s - 1 + 3/2*s**2. Let u be o(1). Solve d - 7 = -u for d.
5
Let k = 1 + -1. Solve k*i + 16 = -4*i for i.
-4
Suppose 0 = 4*s - 8 - 32. Suppose -v + 5*b = 20, 4*b - 23 + 7 = -3*v. Suppose 0 = -5*j - v*j + s. Solve j - 3 = -r for r.
1
Suppose -3*o + 42 = 2*k, -12 - 9 = -3*o + 5*k. Let h be -1 + (o*-1)/(-2). Solve -2*j - 3*j = h for j.
-1
Let w(k) be the second derivative of -k**7/2520 + k**6/720 - k**4/4 + 2*k. Let v(i) be the third derivative of w(i). Let c be v(0). Solve 1 = -c*m + m for m.
1
Let v(g) = g**2 - 11*g + 13. Let r be v(10). Let d(b) = -b**3 - b**2 + 4*b. Let n be d(-3). Suppose n = -2*p + r*p. Solve -4*f = -2*f - p for f.
3
Let g(z) = -z + 8. Let q be g(5). Suppose -3*y + y = -3*v - 15, q*y = -2*v + 16. Solve -2*b = -0*b - y for b.
3
Let m(a) = -a**2 + a**3 + 2 - a + 5*a - 5*a. Let y be m(0). Solve 4 = -2*q - y*q for q.
-1
Let r(h) = h**2 - h - 2. Let s be r(-1). Solve s = 4*t - 3 + 7 for t.
-1
Let b be (-1)/3 - 26/(-6). Suppose -3*p = 2*v + 3*v + 80, 16 = -v - b*p. Let x be ((-3)/(-2))/((-12)/v). Solve -x*f = -3 + 1 for f.
1
Let b(m) = -m**3 - 5*m**2 - 6*m - 5. Let p be b(-4). Let i = 0 - 1. Let q be 0/i - (2 - p). Solve 2*a - q = -3 for a.
-1
Let j = 2 - 12. Let y be 4/8 + j/(-4). Solve -c - 8 = y*c for c.
-2
Let a(o) = o**3 - 5*o**2 - 5*o + 9. Let k be a(6). Let l be (-3)/5 - (-249)/k. Solve 2*v + l = -2*v for v.
-4
Let l = 26 + -24. Solve -l*m + 9 = m for m.
3
Let a(h) = h**2 - 13*h + 26. Let r be a(11). Solve -r*o + 3 = -5 for o.
2
Let b be (-3)/(-1 + (-3)/6). Suppose -3*z = b*f - 11, 5*z - 3*f - 4 = 8. Suppose z*u + 2*u - 40 = 0. Solve 3 - u = -5*r for r.
1
Let a(j) = -2*j**2 - 4*j - 3. Let o be a(-1). Let s(u) be the first derivative of -3*u**4/4 + 2*u**3/3 - u - 1. Let t be s(o). Solve 0*p = p + t for p.
-4
Suppose 4*l - 4 = 3*l. Suppose -20 = -2*p - l*r, p = -4*p + 5*r + 50. Suppose -p = -4*j - 2. Solve -k = -j + 6 for k.
-4
Suppose -2*l = 2*k - 8, -3*k + 2*l = 6*l - 14. Suppose 3*c + 27 + 5 = w, -5*w = 5. Let r = 21 + c. Solve -k*a + r = -4*a for a.
-5
Let i = 47 - 44. Solve 2 = -b - i for b.
-5
Let k be (8 + -4)/(-2 - -1). Let r = k + 6. Solve 0 = -5*w + r*w for w.
0
Let q = 41 - 23. Suppose -5*m = -3*p + 29, -3*m - q = -3*p + p. Let u be 11/4 + (-1)/m. Solve 0*n = -u*n + 15 for n.
5
Let o be -1 + (3/(-5))/(12/(-120)). Solve -o = 4*t + 11 for t.
-4
Suppose 32*q + 30 = 37*q. Solve 3*u = -3*u - q for u.
-1
Suppose j - 2*j = -9. Let i(a) be the third derivative of -a**4/12 - a**3/3 - 2*a**2. Let z be i(-2). Solve z*p - j = -p for p.
3
Let v = 17 + -10. Let o be (-8)/(-28) - (-33)/v. Let q be (o - 2)/3*5. Solve -4*i = -q*i + 3 for i.
3
Let l = 22 + -19. Solve 6 = -l*z + 6*z for z.
2
Let q(o) = -o**2 + 9*o - 11. Let l be q(9). Let f = l + 18. Solve 0 = 2*v - f*v + 10 for v.
2
Suppose 4*m - 4 = 5*j + 2, m = 2*j. Suppose 6 = 5*l - m. Solve y = -y - l for y.
-1
Suppose g = 5*g. Solve g = 3*p - 2 - 4 for p.
2
Suppose -20 = 8*h - 13*h. Solve -h = 3*x + 8 for x.
-4
Suppose 0*m - 2 = -m. Suppose d = -m*d. Suppose d*o = o - 10. Solve -o = -0*h - 2*h for h.
5
Suppose -2*j = 3*b + 5 + 1, -4*b + 3 = -j. Let y = -4 + j. Let v = y - -12. Solve -v*c + 2*c = -12 for c.
4
Let d = 30 - 18. Let r(h) = -h**3 + 12*h**2 + 12. Let s be r(d). Solve 5*z + s = z for z.
-3
Let g = 5 + 4. Suppose -g = -v - 0*v. Suppose -s + 0*s = -v. Solve t - 4*t = -s for t.
3
Suppose 4*f = -3*i + 60, 4*f - 2*i - 62 = -2. Let b = f + -2. Let x = -8 + b. Solve r + x = 2*r for r.
5
Let j be ((-18)/(-7))/(4/28). Suppose -2*t - 3*h = -5*t + j, 3*t = -5*h + 18. Solve -m - t = m for m.
-3
Let w(l) = 2*l. Let u be w(-3). Let p = -4 - u. Let s = -1 - -6. Solve -p*y - s = -1 for y.
-2
Let x = 27 - 21. Solve 3*f + x = 3 for f.
-1
Suppose -t = -5*t. Suppose -3*x + 4*m - 40 = -5*x, t = 5*m + 10. Suppose -3*c - c + x = 0. Solve -4*i + c = 2 for i.
1
Let d be (7 + 2 + -4)*-1. Let v = 10 + d. Solve k - v = 2*k for k.
-5
Suppose -5*z = 3*f - 85, z - 46 = -2*f + 3*z. Let b = -19 + f. Solve 0 = 2*t - b - 4 for t.
5
Suppose 3*n + 8*n = 3*n. Solve 3*m + 0*m + 3 = n for m.
-1
Suppose 3*f - f + 4*s = -16, 3*s + 15 = 0. Suppose -f*n + 4*y = -22, n + y + 4*y = 25. Solve 2*g = 5*g + n for g.
-5
Let p(u) = 2*u - 8. Let y be p(5). Let v(b) = b**3 - 5*b**2 + 2*b + 3. Let q be v(4). Let h = -3 - q. Solve 16 = -y*j - h*j for j.
-4
Let k = 20 - 5. Solve k = 6*q - q for q.
3
Let d(c) = 3*c - 13. Let s be d(6). Solve -5*a - 10 = -s for a.
-1
Suppose -4*g + 5*i + 24 = i, 4*g - 17 = -3*i. Let n(s) = s**2 - 6*s + 2. Let p be n(g). Let a be (0 - 0) + (p - -5). Solve a*z + 20 = -2*z for z.
-5
Suppose -3*i = -a - 3, -3*a - 2 = 3*i - 17. Solve i*y - 4*y + 10 = 0 for y.
5
Let n(a) = a**2 + 6*a - 11. Let m be n(-8). Suppose -m*j + 10 = -3*j. Solve -q + 0 = -j for q.
5
Let l = 5 - -3. Let m(b) = -2*b - 9. Let i be (-7)/1 + (1 - 0). Let x be m(i). Solve -l*y + 15 = -x*y for y.
3
Let b = 0 - -4. Suppose -13 = -3*n - 3*z - b, 2*z = 2. Solve 27 = 5*x + n for x.
5
Let j be 3/(-6) - (-9)/(-6). Let z be (j/(-8))/((-3)/(-12)). Let t be 6 - (-2 - (z - 0)). Solve 2*l + 1 = -t for l.
-5
Let z = 2 - -5. Suppose -10 = -5*j, -2*u - u - 2*j + z = 0. Solve 6 - u = 5*p for p.
1
Suppose 2*u - 7 = -1. Let k = 22 - 22. Solve q - u - 1 = k for q.
4
Let o be (1*-2)/(6/(-9)). Suppose -o*z + 16 = 2*q, 3*q = 4*z - 2*q - 6. Suppose -z*s + 20 = 0, -4*f + 0*s + 32 = 4*s. Solve -f*n = -0*n - 12 for n.
4
Let j = -8 - -106. Let w be 4/(-14) + 224/j. Let s = 1 + 2. Solve 0 = 5*o - s - w for o.
1
Let a = 128 - 108. Solve 4*m - a + 12 = 0 for m.
2
Suppose 3*i + 4*x - 14 = 5*i, i + 5*x = 21. Let y(j) = -1 + 4*j**2 + 9*j**3 + 2*j - 3*j**2 - 3*j**2. Let u be y(i). Solve u = -4*a + 8*a for a.
2
Suppose -z - 6 = 2*z. Let o = z - -7. Suppose -5 = -5*x + 10. Solve x + 22 = o*r for r.
5
Let n = 4 + -39. Let f be (17 - 2)*(-14)/n. Solve r = 4*r - f for r.
2
Suppose -2*g = 2*w - 8, 2*g - w - 2*w + 12 = 0. Suppose 0 = -t - g - 7. Let z = t + 11. Solve -z*d - 9 = -d for d.
-3
Let r be 92/28 - 2/7. Solve 0 = r*v + v - 4 for v.
1
Suppose -3*d + 7 + 11 = 0. Solve 0 = -4*l + 2 + d for l.
2
Let w(q) be the first derivative of 5*q**2/2 - 5*q + 8. Let k be w(5). Solve -3*d = 2*d + k for d.
-4
Suppose -3*t - 3 = -4*l - 2, 8 = 2*l. Suppose 8*p + t*d - 19 = 5*p, d + 7 = 3*p. Suppose 3*k - 3*w = 24, 4*k + 2*w - 5 = -p. Solve -m - 1 + k = 0 for m.
2
Let b(f) = -f + 15. Let q(j) = j**2 - 9*j. Let v be q(10). Let t be b(v). Let r = 5 - 3. Solve r*d + 5 + t = 0 for d.
-5
Let p = 1 + 3. Suppose -12 = 3*v - p*v. Let i = v - 5. Solve 18 = 5*f - i for f.
5
Let u(n) = -n**2 - 6*n + 2. Let q be u(-6). Suppose -2*l + 3*b = -16, -q*b - 10 = -0*l - l. Suppose h = -l*h. Solve 5*x - x = h for x.
0
Let o = 2 + 5. Let m(a) = -a**3 + 4*a**2 - 3*a + 1. Let j be m(3). Let q = 2 + j. Solve -q = -d - o for d.
-4
Suppose -3*j = -11 - 1. Solve 5 = -j*u - u for u.
-1
Suppose y = 0, -3*h - 2*y - 13 + 16 = 0. Solve -k + 0*k - h = 0 for k.
-1
Let l = 218 + -211. Solve -9 = -2*x - l for x.
1
Let v(l) = -l**3 - 2*l**2 - 2*l - 2. Let s be v(-2). Suppose 0*i + 16 = s*i. Solve -i = 4*w + 4 for w.
-3
Let u = 24 - 16. Let o = 6 - 2. Suppose -5*m + 4*q = -o, -3*q + q = 3*m - 20. Solve -m*n + u*n = 0 for n.
0
Let v be (-3)/(-3*(-1)/(-4)). Solve 3*c - 2 = v*c for c.
-2
Let s(y) = -y + 5. Let p be s(4). Let c be -1 + (13 - -2) + p. Solve c = 4*w + w for w.
3
Suppose -4*v + v - 15 = 0, -27 = -4*c - v. Let w be 5 + (0 - 1) - 0. Let f(q) = q**2 + 5*q. Let p be f(-5). Solve p*t = -w*t - c for t.
-2
Let b(y) = y + 9. Let h(s) = -s**2 - 2*s + 2. Let t be h(-3). Let a be (3/1 + 2)/t. Let o be b(a). Solve 4 = o*x - 4 for x.
2
Let t be (1/1)/(3/6). Solve l + t = -3 for l.
-5
Let x(j) = -