b*q for q.
-4
Let w(a) = -a**3 + 2*a - 1. Let i be w(1). Let q(m) be the second derivative of m**4/12 - m**3/6 - 2*m**2 + 8*m. Let y be q(-2). Solve y*k + 2*k = i for k.
0
Let q be (3 - 3)/(1 - 2). Solve q = -3*w + 7*w + 8 for w.
-2
Suppose 8*q = 3*q. Solve q*f + 2*f + 8 = 0 for f.
-4
Suppose -5 = -3*x - 2*x, 37 = 4*y - 3*x. Suppose -4*b = -m - 0*b + 2, -5*m - 4*b + y = 0. Solve 3*h = -m*h - 10 for h.
-2
Let o = 43 + -19. Let f = o - 9. Solve -r - f = -6*r for r.
3
Suppose 0 = 5*f - 3*r - 24, 5*f - 2*f + 5*r = -6. Suppose -u + 7 - 2 = 0. Suppose 0 = -o + u*o - 80. Solve -h - f*h = -o for h.
5
Let m = -30 + 39. Solve -3*p = -0*p + m for p.
-3
Suppose -2*d + 21 = -a, 6*d - 2*d + 4*a = 12. Let w = -5 + d. Solve -2*v + 5 = -w*v for v.
-5
Let o be (-24)/(-9)*(-3)/(-2). Suppose 0 = -0*d - d + 2. Suppose 0 = t + d*t. Solve 0 = -p - t - o for p.
-4
Let w(d) = -6*d**2 - d - 1. Let n be w(-1). Let g = 8 + n. Solve -3*u = g*u for u.
0
Let l be -3 - ((-1)/(-1) + -8). Suppose 0 = -5*b + 16 + l. Solve k + 3 = b for k.
1
Let d(n) = n**2 - n. Let y be d(-1). Let c(v) = v**3 - 4*v**2 - 2*v - 9. Let k be c(5). Solve 4*s = y*s - k for s.
-3
Let y = 5 - 3. Suppose -2*w = y*t - 5*w - 10, -2*w = -4*t + 12. Let c be 0 + 2 - (-1 + t). Solve -v = 6 - c for v.
-5
Let p(f) = -f**2 + 14*f - 12. Let n be p(10). Solve 5*d + 3 = n for d.
5
Suppose -x = -3*c - 115, -2*x + 635 = 3*x - 3*c. Suppose 25 = z + o + 3*o, 0 = 4*z + o - x. Solve -5*t - z + 8 = 0 for t.
-5
Let k = 2 + 1. Suppose -k*z = -7 - 2. Solve 0*f + 3*f = -z for f.
-1
Let w = 3 - 2. Suppose -2*h = 2*j - 5*j + 19, 0 = 3*j + h - 4. Solve -j + w = d for d.
-2
Let x be 3/5*(15/(-3) - -10). Solve -2 - 4 = x*t for t.
-2
Let i(h) = -3*h + 3*h + 2*h - 1. Let y be i(-1). Let r be 28/12 - 2/y. Solve -18 = -5*t - r for t.
3
Let i(r) = r**2 - 9*r. Let h be (6/(-4))/(2/(-12)). Let y be i(h). Solve 0 = -3*m - y*m for m.
0
Suppose -8 = -5*i + 2. Let w = 58 - 33. Suppose 3*q = a - i*q - w, -4*a + 49 = -3*q. Solve -a = -d - 4*d for d.
2
Suppose 4*d - 4 = 4. Solve -5*a = -d*a - 15 for a.
5
Let z = 49 + -46. Solve -2 + 5 = z*x for x.
1
Suppose -8*c + 21 = -c. Solve c*f = 12 - 6 for f.
2
Suppose -4*f + 6 = 2*k - 14, 0 = -2*k + f + 5. Suppose -9*u = -k*u. Solve -4 + u = -4*c for c.
1
Let w be (4/(-3))/((-2)/3). Solve 0 = -3*a - w*a - 20 for a.
-4
Suppose f + 14 = -0*f. Let u = f + 20. Suppose -188*o = -191*o + 21. Solve -o*r + 3 = -u*r for r.
3
Let j(m) = m**3 - 9*m**2 - 10*m + 3. Let u be j(10). Solve -u*a - 7 = 5 for a.
-4
Let m(d) = -2*d - 16. Let n be m(-11). Let p = n - 7. Let w be -4 + 5 - (-3 - p). Solve -q - 8 = -w*q for q.
4
Suppose 3*o = -o + 4*n + 100, -3*n + 13 = o. Solve -5*r - 2 + o = 0 for r.
4
Let k(q) = -q**2 - 2*q + 7. Let a be k(-3). Solve -1 = -c - a for c.
-3
Let a = 15 + -8. Suppose -6*p = -5*p + 15. Let d = p + 28. Solve d = 4*t - a for t.
5
Let u = 7 - 10. Let d = -2 - u. Solve -5*p - 4 = d for p.
-1
Let b be 6 + 4/(-3)*15/(-10). Solve -4*t = -b*t + 12 for t.
3
Let b(q) = -q - 2. Let x be b(-3). Let r(c) = -c**2 + 13*c - 20. Let w = -27 + 38. Let j be r(w). Solve -t - j = -x for t.
-1
Suppose -4*w + 25 = -3*a, 3*a - 5 - 6 = -5*w. Solve w*p - 7 = 9 for p.
4
Let u(n) = n**2 + 2*n + 3. Let g be u(-3). Suppose g*z - 15 = z. Solve 4*r = -13 - z for r.
-4
Let a(b) = b + 4. Let v be a(-4). Solve v*d = 2*d + 6 for d.
-3
Let v be ((-8)/(-28))/(2/28). Solve -z + 1 = v for z.
-3
Let n be ((-216)/(-40) - 3) + (-4)/10. Solve -n*x - 1 = -x for x.
-1
Let p = 0 + 31. Suppose j - 6*j = 5*x, -4*x - 2*j = 0. Let r be -3 - (x - 2 - 7). Solve p - r = -5*k for k.
-5
Let b(v) = v**2 - v - 9. Let a be b(4). Solve -2*z = a*z + 5 for z.
-1
Let g be 36/21 + (-4)/(-14). Suppose 0 = 4*f + 5*l - 2, -3*f + 16 = f - g*l. Let v = -3 + f. Solve 3*j + v = -3 for j.
-1
Suppose -3*o + 0 = 5*k - 9, 4*k = 12. Let z be o*(-3)/(-6) - -2. Let u(y) = 5*y**2 + 2*y - 1. Let q be u(z). Solve 2 = 2*v - q for v.
4
Suppose -2*b = -4*b - 2*i - 6, -16 = -3*b + 2*i. Solve -2*z - b = 4 for z.
-3
Suppose 0 = 5*z + 2*b - 23, -5*z + b = -b - 7. Let x be (-16)/(-3) + (-3)/9. Suppose 0*j - 5*j = x*r + 5, 4*r + 3 = -z*j. Solve -6 + r = 3*p for p.
-2
Suppose 2*w + 15 = -5*c + 7, -4*c + 5*w = -20. Suppose -i + 3 = -c*i. Suppose -2*r + i = -5*k, 0 = 2*r - 0*r + 3*k - 11. Solve -14 = -r*g + 2 for g.
4
Let m be ((-42)/(-9))/(4/36). Suppose -3*z + m = 3*z. Solve 0 = -3*d - z + 1 for d.
-2
Suppose -4*c = -12 - 0. Solve 2 = c*d - 7 for d.
3
Let h = 11 + -7. Suppose 10 = 2*a + h. Solve -4*o = 1 + a for o.
-1
Suppose 2 = -3*q - 10. Let s be 6/10 - q/10. Let d = 1 - 1. Solve d = v + 4 - s for v.
-3
Suppose -5*k = -k. Suppose -4 = -4*a - k. Let h be (0*(-2)/(-4))/2. Solve -m = -h + a for m.
-1
Let t = 64 + -14. Let r be 40/t*(-10)/(-4). Let z be r/(-8) + 50/8. Solve -15 = p - z*p for p.
3
Let t be (-8)/5*(-1 - 9). Suppose 0*g = -3*g + 9. Solve 0 = g*a - 4 + t for a.
-4
Suppose b = 5*b - 5*n, 2*n = -3*b. Solve b*j = 2*j - 8 for j.
4
Let x be ((-1)/(-4))/((-4)/(-16)). Let c be (2 - (3 - x))/2. Solve 5*q + 15 = -c*q for q.
-3
Let c be (-51)/(-4) - 42/56. Suppose -l + 2*b = 5, -19 = -5*l + 4*b - 5*b. Suppose 0 = 2*g + 4*v - 14, g + 3*v = c - l. Solve -7*f - 8 = -g*f for f.
-2
Let v(p) be the third derivative of p**4/24 - p**3/2 - p**2. Let n be v(7). Solve -n = f - 7 for f.
3
Let s(n) be the third derivative of n**6/120 - 11*n**5/60 - n**4/24 + 2*n**3 + 4*n**2. Let o be s(11). Solve -q - 1 = o for q.
-2
Let d(a) = -a**3 + 7*a**2 + 8*a + 4. Let i be d(8). Solve 2*f + i + 0 = 0 for f.
-2
Suppose 0 = -5*i - 4*k - 109, 5*i = 5*k - 2*k - 102. Let g = i - -47. Solve 5*l - g = -6 for l.
4
Let y be (0 - 2)/((-6)/(-9)). Let a = y - -6. Solve a*t + 2*t = 15 for t.
3
Let t = 19 + -19. Solve -5*v + t + 15 = 0 for v.
3
Suppose 0 = 3*b + s + 446, 0 = -3*s - 0*s - 6. Let k be (b/6 + -2)*-3. Suppose -5*r + 25 = -k. Solve -6 + r = -5*u for u.
-3
Suppose -j + 5*z = 0, 3*z = 5*j - z - 21. Solve c + 3 - j = 0 for c.
2
Suppose 0 = b + 3*b - 12. Solve b*k = -2*k for k.
0
Let i be (-30)/(-4) - (-1)/(-2). Let k = -5 - -10. Solve i + k = 3*c for c.
4
Let x(y) = -y**2 + 4*y - 4. Let p be x(3). Let r be p - -1 - (-8 + 3). Let w be (r - (2 - 1)) + 2. Solve -m = -w*m - 10 for m.
-2
Let f = 6 + -5. Solve -1 = -c + f for c.
2
Suppose 4*a = -4*j - a - 20, -3*a = -4*j + 12. Solve -10*i + 5*i + 5 = j for i.
1
Let s(l) = -l**3 + 4*l - 4. Let f be s(-4). Suppose -d + f = 3*d. Solve 0 = -4*c + 9 + d for c.
5
Let c(t) = t + 1. Let a be c(1). Solve 3 = h + a*h for h.
1
Let u = 2 - -2. Let z(y) = y**3 - y**2 + 2*y + 1. Let f be z(2). Let g be (24/f)/((-2)/(-3)). Solve u*q = -g - 0 for q.
-1
Let k be (-4 - -3)*1 + 1. Let f = 34 - 21. Suppose 5 = -2*x + f. Solve 12 = -k*s - x*s for s.
-3
Let j = -10 - -10. Suppose 4*b - 4*k - 12 = j, 2*b + 3*k = 4*b - 7. Solve -b*n = -1 - 1 for n.
1
Let s(o) = o**3 + 20*o**2 - o. Let w be s(-20). Solve 4*j - 4 = -w for j.
-4
Let i = 21 - -5. Suppose 5*x + i = 3*a - 0*x, -3*a + 2 = x. Let d be a/8 - 4/16. Solve d = 3*k - 5*k + 10 for k.
5
Let i be 6/(-9)*(-30)/4. Solve g = i*g for g.
0
Let z = 9 + -4. Suppose 5*u - 2*u + a = -29, -z*u = a + 47. Let w be (-1)/3 - 21/u. Solve 0 = -4*c + 6 - w for c.
1
Let f be (-2 + 4 + -2)/(-1). Let o be (-2)/(-4) + (-7)/14. Suppose -2*r + 4 = -o*r + 4*u, -2 = u. Solve r = -f*l + 2*l for l.
3
Suppose 12*m - 16*m + 8 = 0. Solve -d - m = 2 for d.
-4
Suppose 66*n = 75*n. Solve -3*v + 7*v = n for v.
0
Suppose -4*o - 4 = 4*c, 3*o + 1 = -7*c + 3*c. Solve -q + 1 + c = 0 for q.
3
Let g be 3 + -1 - -1 - -12. Suppose 0*n = -n + g. Suppose -n = -2*q - 5. Solve -5*r = 5 + q for r.
-2
Let z(y) = 4*y**3 + y - 1. Let h be z(1). Solve h = -5*x - 6 for x.
-2
Suppose 2*a - 6*a = 0. Let n(x) = -3*x - 14. Let j be n(-8). Solve -5*r = j - a for r.
-2
Let n(l) be the first derivative of -l**4/4 + 11*l**3/3 - 9*l**2/2 - 9*l - 6. Let d be n(10). Solve 2 + d = 3*b for b.
1
Let y(t) = -t + 2. Let u be y(2). Suppose -3*w = -u*w - 3. Let h be ((-6)/(-4))/(w/2). Solve -h = -f + 2 for f.
5
Suppose -486 = 5*x - 156. Let y be ((-2)/4)/((-2)/(-60)). Let q be y/25 - x/10. Solve -4*k = -q*k for k.
0
Let s be (-1)/(1/(-20)*-2). Let z be (-1)/(-3) - s/6. Solve 0*f = -z*f + 4 for f.
2
Let w(k) = k**2 - 9*k - 7. Let r(x) = -2*x + 4. Let q be r(-3). Let u be w(q). Solve 2*i = u*i + 2 for i.
-2