20 = o*d for d.
5
Let o(s) = -s - 5. Let y be o(-5). Suppose y = 2*p + 3*p. Suppose p = -4*d + 4 + 4. Solve d - 10 = 4*h for h.
-2
Let v(p) = p**2 + 3*p - 24. Let h be v(-7). Solve -h*o = -o for o.
0
Let s(h) = -h**2 + 4*h + 22. Let g be s(7). Solve 4*q - 3 = g for q.
1
Suppose -r + 6*r - 12 = -4*y, 5*r = -y + 18. Solve -2*c + r*c = 6 for c.
3
Let o be 4/(-18) - (-14)/(-18). Let g be (-1 - o)*2/(-2). Solve g*i = 2*i for i.
0
Let g(c) = c**2 + 6*c + 3. Let h be g(-6). Solve i + 2*i - h = 0 for i.
1
Let b be ((-1)/(-1))/(1 - 0). Suppose -21 = -4*i - 5. Solve 15 + b = i*k for k.
4
Suppose -2*r + 0*r - 2*w = -16, -4*w + 35 = 5*r. Solve 11 - r = 4*k for k.
2
Let m(n) = n**2 + 7*n + 1. Let t be m(-4). Suppose -u - 64 = -4*u - 5*k, 4*u - 77 = -5*k. Let g = u + t. Solve -7*f = -g*f for f.
0
Let q(h) = -3 + 4*h + h**2 + 0 - 8*h - 4. Let s = 15 - 9. Let n be q(s). Solve -n*j + 0*j = 20 for j.
-4
Let m(r) = 2*r**2 + 3*r - 4. Let i be m(-3). Solve i*x - 5 = -0 for x.
1
Suppose 17 - 7 = 5*t. Let w be (10/4)/(3/6). Suppose -2*r + 7 = t*y + y, 3*y + w*r = 13. Solve 2*x = -y - 1 for x.
-1
Suppose 4*c - 4*r - 22 = -6, 3*r = -c + 12. Solve -3*a = -0*a - c for a.
2
Let n(l) = 5*l + 1. Let f be (0 - 3)/(9/(-6)). Let d be f - (0 - (-2 + 1)). Let i be n(d). Solve 0 = -m + i*m - 5 for m.
1
Let t = 17 + -17. Suppose 0 = -t*r + 6*r. Solve -2*j - j = r for j.
0
Let a = 15 + -12. Solve a*j + 3 + 3 = 0 for j.
-2
Let v(u) = u**2 - 4*u - 7. Let s be v(6). Suppose 3*h + 4 = 10. Let b = s - h. Solve 0 = 2*i - 5 - b for i.
4
Let k = 3 - 5. Let z be (k/(-2)*0)/1. Suppose 0 = 5*p - 10 - z. Solve -p - 4 = 2*h for h.
-3
Let u(w) = w**3 + 3*w**2 - 5*w - 2. Let h be u(-4). Suppose h*p + 3 = p - 4*j, -3*j - 3 = 0. Solve -3*t = 2 + p for t.
-1
Let n(l) = 7*l - 3. Let m be n(1). Solve -m*y + 0*y = 16 for y.
-4
Let o(b) = b**2 + 7*b + 7. Let p be o(-5). Let x be 2 - 0/(0 + p). Let l be -3 + 2 + x + 3. Solve z + 25 = -l*z for z.
-5
Let v = 0 - -2. Suppose 0 = v*h - 5*h + 6. Solve 2*s = h + 8 for s.
5
Suppose 4*p - 5 = 11. Suppose 0 = p*k - 20. Suppose -3*t = -l - k, -4*t + 4*l = -2*t. Solve -3*b + t*b - 2 = 0 for b.
-2
Suppose -4*y - 6*y + 70 = 0. Solve 4 - y = h for h.
-3
Suppose -37 = -3*p + u, -3*p + 17 = 3*u - 8*u. Solve 5*t = -4 + p for t.
2
Suppose 2*u = 3*u + 4. Let v be ((4 + -4)/u)/(-2). Solve v = -5*h + 2*h for h.
0
Suppose -1 + 6 = q. Suppose q*c - 2*c = 0. Solve 0*j - 4*j = c for j.
0
Suppose 0 - 4 = -o. Suppose o*m = m. Solve m*t - 3*t = -15 for t.
5
Let o be -1*(-2 - -3) + 3. Solve o*t = t for t.
0
Let h = 8 + -5. Solve 0 = 2*d - h + 1 for d.
1
Let d(l) = 2*l**2 + 4*l + 3. Let g be (-10)/3 - 1/(-3). Let h be d(g). Let m be 2/(-14) + h/63. Solve -8 = -m*y - 2*y for y.
4
Suppose -3*g + 2 - 14 = 0. Let r(c) be the third derivative of c**6/120 + c**5/12 + c**4/8 - 2*c**3/3 - 5*c**2. Let y be r(g). Solve q + y*q = -4 for q.
-4
Suppose g = -3 + 13. Let k be (g/(-3)*3)/(-2). Suppose -4*d = -k + 1. Solve -v = -4 + d for v.
3
Let c be 4/(-14) + 8/28. Solve -5 = 5*g - c for g.
-1
Suppose -2*l = -a - 14, -3*a = -3*l - 0*a + 24. Suppose -4*q = -g + 23, l*q - 1 = -3*g + q. Solve 15 = -g*f + 2*f for f.
-3
Suppose 0 = -2*q + 7*q. Solve 5*x - 3*x + 2 = q for x.
-1
Suppose -15*v = -18*v. Solve v*y + 4 = y for y.
4
Suppose 7*w - 72 = 3*w. Let q be w/(-1) + (-8 - -11). Let o be (-39)/q + (-6)/(-15). Solve o*m = 4*m for m.
0
Suppose -2*f = -6*f - 4. Let i(p) = -2*p - 3. Let u be i(-1). Let j = u - f. Solve -3*h + 12 + 3 = j for h.
5
Suppose 3*o + 30 - 30 = 0. Solve o = 5*k - 12 + 2 for k.
2
Let x(c) be the first derivative of c**3/3 - 3*c**2/2 - 3*c - 4. Suppose -30 = -2*h - 3*h. Let r be x(h). Solve 6*d - d = r for d.
3
Suppose i = -2*r + 11, 3*r - 5*r + 95 = 5*i. Let z = i + -14. Let w = -13 + 16. Solve z = -w*m + 1 for m.
-2
Let a(v) = 4*v - 23. Let w be a(7). Solve -w*s = -3 + 23 for s.
-4
Let i(n) = n**2 + 4*n + 3. Suppose d + 4 = -0. Let x be i(d). Suppose 3*s - 5*j - x = -8, -5 = -5*j. Solve 7*g - 4*g + 9 = s for g.
-3
Let c(l) be the first derivative of l**3/3 - 3*l**2/2 - l + 2. Let t be c(4). Solve -f = t*f for f.
0
Let j = -24 + 29. Solve -2*a = 3*a + j for a.
-1
Let a = -3 + 14. Suppose 5*r - 4 = a. Suppose g = -0*g + r. Solve -g*q = -0*q for q.
0
Let o = -11 - -23. Let t = -9 + o. Solve 0 = -t*l - 2*l - 5 for l.
-1
Let j = -7 + 10. Suppose -j*i - 6 = -3, 0 = 2*a + 3*i - 5. Solve -m + 9 = -a*m for m.
-3
Suppose -3*z + z + 4 = 0. Let m(t) = -t + 7. Suppose 5*g = -3*n + 1, -3*n + 5*g = -0*g - 41. Let o be m(n). Solve z*d + o = -10 for d.
-5
Suppose -40 = -5*a + 4*v, 0*a = -5*a - 3*v + 75. Let g(j) = j**3 - 8*j**2 + 13*j - 6. Let h be g(6). Solve 3*c - a = -h*c for c.
4
Let g be (-91)/(-21) + (-1*3)/9. Solve -g*j + 29 - 9 = 0 for j.
5
Let i(j) = j + 6. Let c be i(-6). Solve 0 = k - 2 - c for k.
2
Suppose -h + 6 = 4. Suppose -4*q - 3*f = -19, 0*f + 15 = 5*q + h*f. Solve -v = q - 4 for v.
3
Let t be ((-20)/12)/(1/(-3)). Suppose -5*j + 4*u + 20 = u, 29 = 4*j - t*u. Let h = j - -1. Solve 5*p + 3 = -h for p.
-1
Let u(r) = r**2 - 7*r - 10. Let z be u(9). Let f = 0 + 1. Let b be ((0/f)/(-2))/(-1). Solve -4*g - z = -b*g for g.
-2
Let v(z) = 3*z**3 + 3*z**2 - z. Let j(h) = 10*h**3 + 9*h**2 - 4*h. Let i(o) = 2*j(o) - 7*v(o). Let a be i(-3). Solve a*n - 2 = n for n.
1
Let v(t) = t - 2. Let c be v(7). Solve -17 - 3 = -c*w for w.
4
Suppose -5*w - 2*z = -0*w, -4*w - 3*z = 0. Let b(n) = n**3 - n + 4. Let s be b(w). Solve -12 = 2*d - s for d.
-4
Let s = -7 - -12. Suppose 4 = -p, s*p = -3*m - 0*p - 20. Solve m = g + 4*g for g.
0
Let v(p) = p**3 + 15*p**2 + 6. Let o be v(-15). Suppose 0 = -5*u - 2*n + 18, -o*n = -4*u - 4*n + 18. Solve -u = -3*c - 19 for c.
-5
Suppose s + 6 = 8. Suppose 0*y + 80 = 4*y. Solve -s*b + 6*b = -y for b.
-5
Suppose -t = -0*t. Let m = 5 + t. Solve m*q - 20 = q for q.
5
Suppose 45 = 2*c + 5*n, -c + 2*n + 24 = c. Solve 4*f - c = -f for f.
3
Suppose 0*x = v - 3*x + 7, 5*x = -v + 17. Solve -v = -k + 3 for k.
5
Suppose 2*h + 3*h = -35. Let k = -2 - h. Solve -3*o - k = 10 for o.
-5
Let i(f) = -f**3 - f + 27. Let c be i(0). Let j = c + -25. Solve -6 = j*b + b for b.
-2
Suppose 0 = 3*l + 4*s + 22, 2*l = 4*s - 5 - 3. Let f(v) = -v - 1. Let k be f(l). Solve 0 = -2*g + k*g + 3 for g.
-1
Let t(a) = -a**3 - 2*a**2 - 3*a - 2. Let h be t(-2). Suppose -h*w = -w. Suppose -23 = -4*s - z - 8, w = s - 5*z - 30. Solve -s + 17 = 3*f for f.
4
Let q(b) = b**3 + b**2. Let t be q(-1). Suppose 3*k + 9 - 24 = t. Suppose 0 = -2*a + a. Solve -k*m + 1 + 9 = a for m.
2
Let x be 0/((-4 - -2) + 3). Solve x = 5*u - 3*u + 4 for u.
-2
Let z(m) = -m**3 + 3*m**2 + 3*m - 6. Let y be z(4). Let t be 24/10 + y/25. Let r = 0 + 4. Solve 0 = -r*b + 6 + t for b.
2
Let b be 1/(-2)*(-11 + 11). Let a(t) be the third derivative of t**6/120 + t**5/20 - t**4/4 - 5*t**3/6 + 2*t**2. Let l be a(-4). Solve b*h = l*h - 6 for h.
2
Suppose 5 = -3*v - q, -4*v = -v - q - 5. Solve 2*g = -v*g for g.
0
Let o(u) = u**3 + 6*u**2 + 4. Let f be o(-6). Solve -f - 8 = -3*w for w.
4
Let c(p) = -p + 12. Let v be c(10). Let j be (0 - v/4)*10. Let w be 1/(-2)*(1 + j). Solve 7*h - 20 = w*h for h.
4
Suppose -3*n + 5*h + 10 = 0, -4*n + 3 = 2*h + 7. Let u(t) = -t**3 + 8*t**2 + 9*t + 3. Let o be u(9). Suppose o*m = 5 + 10. Solve v + m = -n*v for v.
-5
Let z(m) = -11*m**3 - m**2. Let j be z(-1). Let v be -2*12/(-8) + (-9)/3. Solve 2*n = -v*n + j for n.
5
Let a(k) = -2*k - 8. Let w be a(-6). Suppose -w*v + 4 = -3*v. Suppose 0 = 4*z - 0*z. Solve z*p = v*p for p.
0
Suppose -s + 7*w + 23 = 2*w, 3*s - 3*w = 21. Let v = s + 2. Let z(o) = -2*o**2 - 19*o - 6. Let t be z(-9). Solve -2*c + t*c - v = 0 for c.
5
Suppose o + 17 = 5*u, 5*o + 8 = o. Suppose c + 4*n - 7 = u*n, 4*c - 4*n = 4. Suppose -c*x - 2*w = -0*w - 10, 0 = -4*x - w + 13. Solve x = v + 5 for v.
-1
Suppose 3*t = -4*i - 162, -209 = 4*t + 2*i + i. Let f = t + 72. Let y be 12/(-4)*f/(-3). Solve -y = -4*s - 6 for s.
4
Let y be (2*-1)/(7/(-14)). Solve y*c = 2*c for c.
0
Let j be (6/(-3))/(3 - 44/12). Solve -j*k + 0 = 6 for k.
-2
Suppose 3*z - 29 = -5*m, 2*z - 2*m - 2 + 4 = 0. Let n(x) = x**2 + 2*x - 1. Let a be n(z). Suppose 4*o - 16 = 4*v, 5*v = -3*o + 6 + a. Solve o = -3*q - 1 for q.
-2
Let i(o) = 2*o + 2. Suppose 2 = 4*q + z, q - 6 = -4*z + 2. Let s = 3 + q. Let f be i(s). Solve j = -j + f for j.
4
L