2/2 - 2*k. Let n be q(-5). Solve -x + n = -3*x for x.
-1
Let d(x) be the third derivative of x**5/30 + x**4/24 + x**3/6 + x**2. Let o be d(-1). Let k be 6/4*(-150)/(-45). Solve -o*l = -k - 1 for l.
3
Suppose y + 0*y = 5. Solve 4 + y = -3*n for n.
-3
Let z = -18 - -21. Solve z*q = -q + 16 for q.
4
Let v(x) = x**3 - 3*x**2 + 2*x. Let f be v(3). Solve -f + 3 = -i for i.
3
Suppose 3*u = -4*u + 84. Solve 0 = 5*y - u - 3 for y.
3
Suppose 0 = 3*y - 5*d + 10, -2*d + 15 + 15 = 4*y. Suppose w - 5*w - 25 = -y*z, 5*w - 4*z = -20. Solve w*l - 3*l = 0 for l.
0
Let j be (10/8)/((-2)/(-8)). Suppose -w = 2*b - 7, b - 2*b + 17 = -4*w. Suppose b*d + 5*p - p - 92 = 0, -5*d = -5*p - 65. Solve 6 - d = -j*y for y.
2
Suppose 3*c - u - 10 = 12, -c + 2*u + 4 = 0. Solve 16 = -c*z + 4*z for z.
-4
Let v(f) = -f - 4. Let y be v(-8). Solve b - 6 = y*b for b.
-2
Let o = -28 + 34. Solve -4*x = 2 + o for x.
-2
Let i(r) = -11*r - 2. Let c be i(-1). Solve 2*y - 3 = -c for y.
-3
Let g = 1 + 1. Let t = 4 - g. Solve t*u + 6 = 5*u for u.
2
Suppose -28 = -5*o + v, 6*o - 32 = 2*o + 4*v. Solve 0 = -3*p - o - 10 for p.
-5
Let b(l) = -l - 10. Let q be b(-14). Solve 0 = q*n - 1 - 7 for n.
2
Suppose 20*s - 16*s - 16 = 0. Suppose 0 = -f - 0*f + 3*x - 4, -5*f = s*x - 18. Solve -3*q = f - 5 for q.
1
Suppose 0 = -6*a + 8*a. Suppose -3*r = -0*r - 5*c - 11, a = 3*r + 5*c - 1. Solve g + 0 = -r for g.
-2
Let t be 33/3 - (0 + 4)/2. Solve -t = r - 4*r for r.
3
Suppose -3*g - 2 = -4*g. Solve g*m - 3 - 5 = 0 for m.
4
Let w = -16 + 19. Solve w*x - 1 = 5 for x.
2
Suppose -2*i + 1 = -3. Suppose -a - a = -i. Solve -a = 4*z + 11 for z.
-3
Let d(j) = -j**3 - 6*j**2 + 8*j - 1. Let b be d(-7). Let h = b + 13. Solve 0 = -h*p + 2*p + 9 for p.
3
Let r(s) = 2*s**3 - s + 6. Let l be r(0). Solve l = q + q for q.
3
Let b(i) = 4*i**2 - 2*i + 2. Let t be b(1). Solve -h + 15 = -t*h for h.
-5
Let j(a) = -a - 8. Let c be j(-11). Solve 3*b + 6 = -c for b.
-3
Let q be 0/((-3)/((-3)/2)). Solve q*s = s - 1 for s.
1
Let c(p) = p**3 + 2*p**2 + p + 1. Let j be c(-2). Let z = j + 3. Solve z*r - 6*r - 20 = 0 for r.
-5
Suppose 0 = -9*f + 4*f - 50. Let v be (f/4)/5*-6. Suppose -2 = h - v. Solve 0 = -k - h for k.
-1
Let k(l) = l**2 + 7*l + 6. Let b be k(-6). Suppose b = -3*r + 10 - 1. Let p = 8 - r. Solve p*f = 10 + 10 for f.
4
Let v be ((-6)/4)/((-8)/(-16)). Let z(i) = -i**3 - 3*i**2 + 4. Let c be z(v). Solve 8*k - c*k + 8 = 0 for k.
-2
Suppose -7 = -10*x + 43. Solve -4 + x = l for l.
1
Let h(n) be the second derivative of n**3/6 - 7*n**2/2 + 8*n. Let f be h(7). Solve -3*d + 12 + f = 0 for d.
4
Suppose 0 = -y, 3*k - 7*k = y. Solve k = b + b - 10 for b.
5
Let d = -5 - 4. Let t = -9 - d. Solve -k = -t - 2 for k.
2
Let k be (-24)/(-60) - 36/(-10). Solve k*s - 5 = -25 for s.
-5
Suppose -2*d - 1 = -3*u + 2*u, -3*d - 3*u + 3 = 0. Let f = 2 - 0. Solve d = f*t - 4 - 0 for t.
2
Let t(i) = 3*i - 6. Let s(o) = 7*o - 13. Let q(k) = 2*s(k) - 5*t(k). Let d be q(4). Solve -5*c - 11 - 14 = d for c.
-5
Suppose -2*x + 18 = h, -6 = -x - h + 2*h. Solve -4*d + 2*d = -x for d.
4
Let c = 58 + -43. Solve 2*m = -m + c for m.
5
Let a(b) = -3*b**3 - 3*b**2 - 12*b - 2. Let f(d) = -8*d**3 - 10*d**2 - 35*d - 5. Let m(g) = -11*a(g) + 4*f(g). Let i be m(8). Solve i*j = -j - 3 for j.
-1
Let b(t) = -t**3 - 2*t**2 - 3*t - 1. Let y be b(-2). Suppose y = 4*u + u. Solve 1 = -a - u for a.
-2
Suppose -10 = -2*g + 4*g, -3*p + 5*g = -28. Solve p = -4*j + 5*j for j.
1
Let i be (-6)/3*4*1. Let r = 13 + i. Suppose 0*p = r*p. Solve 3*g + p = -9 for g.
-3
Let b be ((-4)/(-2))/(5 - 6). Let y = b - -8. Let r = y + 1. Solve r*u - 3*u - 8 = 0 for u.
2
Let u be -2*(-6)/(-20)*-25. Let z be (-92)/(-20) + 6/u. Suppose 0*n = -5*w + 5*n + 45, 38 = 4*w - 2*n. Solve z*f = -15 - w for f.
-5
Let s = -15 - -24. Suppose -4*r + s*r - 100 = 0. Solve 5*q + 0*q = r for q.
4
Suppose -2*t - 2*t = 0. Let u(q) = q**2 - q + 4. Let l be u(t). Solve 2*c - c + l = 0 for c.
-4
Let h be (-10)/55 - (-2)/11. Solve -2*c + 3*c = h for c.
0
Let c(y) = y**2 - 9*y - 7. Suppose z + z + 44 = 4*k, -4*k = 4*z - 32. Let d be c(k). Solve d*r - 9 + 0 = 0 for r.
3
Let r(q) = 2*q - 1. Let x be r(3). Suppose 30 = x*c - 300. Let p be c/10 - (-8)/20. Solve -3 = z - p for z.
4
Let t(m) = -2*m - 8 + m + 0*m. Let l be t(-11). Solve -l = -u - 5 for u.
-2
Let j be -27*(-3)/3 - -3. Suppose 6*u - j = u. Solve -u*r = -r - 25 for r.
5
Suppose 2*o - 4*o + 10 = 0. Suppose -17 = -o*m - 7. Let j = 1 - 1. Solve j = -d + m - 5 for d.
-3
Let r = 21 - 5. Let x(g) = 2*g + 4. Let w be x(-2). Solve w = 4*j - 0 + r for j.
-4
Suppose -42*n + 43*n - 4 = 0. Solve -n*r + 5 = 1 for r.
1
Let t(i) = -9*i**2 + 4*i**2 - 2*i + 5*i + 3 + 4*i**2. Let w be t(3). Suppose -4*h + 4*d + 4 = 0, -h - 3 = -0*h + 3*d. Solve -w*s + h*s = 6 for s.
-2
Let b = -12 - -19. Suppose -1 = -4*y + b. Solve -y*i - 3*i + 25 = 0 for i.
5
Let s(z) = -z**2 - 7*z + 5. Let a be s(-7). Solve -3*j + a = 2 for j.
1
Suppose 64 = -4*k - 3*b + 175, 2*b + 133 = 5*k. Solve 12 - k = 3*r for r.
-5
Let g be (-595)/20 + 9/12. Let a be (-4)/(-24) + g/(-6). Solve a*p = -0*p for p.
0
Suppose b + 3*s - 1 = 0, 4*b + 6*s - 11 = s. Let i = 5 - b. Suppose -2*h - i = -5. Solve 0 = -3*u + h*u - 1 for u.
-1
Let n(x) = x**3 - 3*x + 2. Let z be n(2). Suppose -f + 0*f = 3*a - 42, 5*a = -f + 70. Let t(v) = v**2 - 13*v + 6. Let y be t(a). Solve z*o + 0*o = -y for o.
-5
Let x(g) = g**3 - 9*g**2 - g + 4. Let b be x(9). Let o = b - -5. Solve l + o = -3 for l.
-3
Suppose -56*i = -53*i - 57. Let f be (8/(-3))/(-2)*3. Let s = f - 3. Solve -5*a - i - s = 0 for a.
-4
Let j be 4/(-6) + 11/3. Suppose 0*i + 4*d = -5*i + 25, -j*d = 0. Suppose b - 2*b = -l - 1, l - i = -b. Solve b = 3*g - 0 for g.
1
Let f be (0 + 1)*-1 + 3. Suppose f*b = 3*b - 5. Let u = -1 + b. Solve -u*w - 19 = 1 for w.
-5
Let o = 1 + -1. Let j be o + (25 - 6/(-3)). Solve -4*k - j = -11 for k.
-4
Let i = -49 - -54. Solve i*h + 7 = -3 for h.
-2
Let j = 119 - 117. Solve j*u - 16 = -6 for u.
5
Suppose 4*k - 5*k = 0. Suppose -v + 3*w + 8 = 0, v + 4*w + w + 8 = k. Solve -v*c = -3 - 3 for c.
3
Let z(j) = 3*j**2 - 29*j + 3. Let y(o) = o**2 - 10*o + 1. Let m = -4 + 15. Let u(p) = m*y(p) - 4*z(p). Let l be u(5). Solve -l*x = x for x.
0
Suppose -25 = -5*z - 5. Solve k = z*k - 3 for k.
1
Suppose -33*o + 24 = -25*o. Solve -4*w + o = -3*w for w.
3
Suppose -9 = m - 1. Let n(j) = -2*j**2 + 7*j - 6. Let x(b) = b**2 - 7*b + 7. Let y(o) = 2*n(o) + 3*x(o). Let s be y(m). Solve -3*k + s = -2 for k.
1
Suppose -q = 3*j - 56, 5*j - q = 3*j + 29. Suppose 0 = 2*a + 4*u + 4, -4*a - 2*u = -5 - j. Let r = -6 + a. Solve 0 = -o - r*o - 15 for o.
-5
Let d(s) = s + 10. Let z be d(-7). Let f = 26 + -5. Suppose -4*v + 24 = 5*w, -3*w = w + 5*v - f. Solve -w = z*b - b for b.
-2
Let r be (-7)/(21/(-72)) - 0. Let z = r - 16. Solve -z = 5*y - y for y.
-2
Suppose 2*l + 15 = 4*j + 43, 0 = -3*j - 4*l - 10. Let g be 60/(-8)*8/j. Let m be (18/10)/(3/g). Solve 3*w + m = 5*w for w.
3
Let q be (1 + 0)/(1/5). Solve -q*v - 5 = 5 for v.
-2
Let v(d) be the first derivative of d**2 - 7*d - 3. Let i be v(5). Solve i*q + 2*q = -25 for q.
-5
Let h = 76 + -72. Solve p = 2*p + h for p.
-4
Let x be 2/(-10) + (-84)/(-20). Solve 0 = -4*n - 24 + x for n.
-5
Suppose 20*r = 16*r. Solve -x + 0*x - 1 = r for x.
-1
Let p(v) = 5*v + 14. Let w be p(-2). Solve j - w*j + 15 = 0 for j.
5
Let r be 8/6*9/6. Solve -4*a - 6 = -r for a.
-1
Let c(l) = -2*l**2 - 7*l + 1. Let w be c(-3). Solve w*u = u + 15 for u.
5
Let z(q) = -q**3 + 6*q**2 - q + 8. Let d be z(6). Suppose -3*p + 36 = -p + 4*i, 2*i = -d*p + 26. Let w = -8 + 8. Solve -a + 3*a + p = w for a.
-4
Let b = 5 - 3. Let a(j) = j**3 - 4*j**2 + 5*j - 4. Let w be a(3). Suppose w*i + b*i = 0. Solve -4*n + i*n = 0 for n.
0
Suppose 2*b - n - 4 = 4, 3*b + 3*n - 30 = 0. Suppose -1 = u - b, -5*c + u = 20. Let z = c - -6. Solve l = z*l + 4 for l.
-2
Let w be 2/4 + 58/4. Let f = 2 + 24. Suppose 6 = -5*y + f. Solve y*i = i - w for i.
-5
Suppose -2*g + 16 = 5*w, 4*g + 4*w = 29 - 9. Solve 0 = -2*f - g*f for f.
0
Suppose 0*n = -2*n + 10. Solve 0*j = -n*j + 25 for j.
5
Let i(u) = u + 14 - u**2 + 7*u - 3. Let k(a) = 7*a - 5. Let y be k(2). Let j be i(y). Solve 4 = j*w - 6 for w.
5
Suppose 0*y = y - 9. Let g = y - 6. Solve g*r + r = 0 for r.
0
Let z(y) = y**2 + 4*y - 3. Let v be z(-4). Let