
2
Let s be 16/(-40) - (-68)/(-5). Let f = s + 14. Solve f*w = -3*w for w.
0
Let d(a) = a**3 + 13*a**2 + 11*a - 9. Let n be d(-12). Solve 0 = -n*s + s + 4 for s.
2
Suppose 0*j - 4*j - 4 = 2*d, 4*d - 3*j + 41 = 0. Let g = 13 + d. Solve 4*o - 3*o + g = 0 for o.
-5
Let o(y) = y**3 - 8*y**2 + 9*y - 10. Let r be -3 - (-11 - (2 + -3)). Let l be o(r). Let k be -1 + l + 1 + -1. Solve s = -k*s + 4 for s.
1
Suppose 22*w = 18*w. Solve -3*z - 11 + 2 = w for z.
-3
Let g = 28 + -24. Solve -g = -a - 5 for a.
-1
Suppose 3*j = 5*j - 2*k - 8, -3*j - 2*k = -27. Suppose 1 = -j*v + 8*v. Solve -5 = p - v for p.
-4
Let j = 20 - 12. Let a = 4 - 4. Suppose -4*g - j = -a*g, n - 11 = 4*g. Solve n*q + q = 16 for q.
4
Suppose 5*q + 0*q = -3*s - 3, -4*s + 10 = 2*q. Solve 0 = -2*p + s for p.
2
Suppose -4*p - 3*s + 0 - 7 = 0, -15 = 3*s. Let b be (4/(-2))/p + 1. Solve 3*l + 2*l - 20 = b for l.
4
Suppose 0 = 3*u - 7 + 1. Solve -u*f = 2 + 2 for f.
-2
Suppose -31 = -2*k - 5*c, -3*c = -2*k + k + 21. Let p = k + 18. Suppose -4*a = -a - p. Solve -6*j = -3*j - a for j.
4
Suppose 27 = 4*v + 5*n - 0, -2*v - 5*n = -1. Solve 1 - v = -3*x for x.
4
Let j = -30 - -34. Solve -j*y = -y for y.
0
Suppose 7*q = 5*q. Let p = 17 + -5. Solve -5*i + i + p = q for i.
3
Suppose -9 = -3*y + 3. Suppose -1 = -y*v + 7. Solve -s + v = -0*s for s.
2
Let z be (5/3)/(4/(-12)). Let g be 2/z - 92/(-5). Suppose -3*w - 6 = 5*a - g, 2*w = -5*a + 8. Solve -5*q - 2 = -w*q for q.
-2
Let c be (-3 - (-5)/2)*2. Let l(u) be the first derivative of -u**3/3 - u**2/2 + 3. Let n be l(c). Solve 2*w + 10 = -n*w for w.
-5
Let v(g) = -g**3 - 5*g**2 - 3*g + 4. Let r(y) = y. Let p be r(-3). Let l = -1 + p. Let h be v(l). Solve h = -5*o + o + 12 for o.
3
Let i be 3/((42/(-20))/(-7)). Let z be (-4)/i - (-48)/20. Suppose -z*o = -4*o. Solve -3*s = -o*s + 3 for s.
-1
Let n(v) = 4*v - 6*v - v**2 - 3 - 5*v. Let q be n(-5). Suppose 0 = 2*o - 1 - q. Solve 15 + 1 = o*p for p.
4
Suppose 3 = -x - 4*b + 17, -x = -2*b - 2. Let w(h) = -h**3 + 7*h**2 - 6*h + 4. Let y be w(x). Let i be 6*(-1 + 6/4). Solve -i*v + v = y for v.
-2
Let u be (212/(-6))/(3/(-9)). Suppose 3*m = u - 19. Let a(w) = w + 1. Let b be a(8). Solve -m = -5*v - b for v.
4
Suppose -4*n + 3 = 5*f, -5*f + f - 5*n - 3 = 0. Suppose 3*r + 10 = u, 3*r = f*u + r - 51. Suppose -5*z + 56 + u = 0. Solve -3*t = -0*t - z for t.
5
Let m = 94 - 91. Suppose 3*n = 6 + 3. Let p(a) = a**3 - 2*a**2 - 3*a + 2. Let x be p(n). Solve x*u = -m*u - 25 for u.
-5
Let h(z) = -2*z + 4. Let w be h(-5). Let c = w - 2. Solve 3*o - 3 - c = 0 for o.
5
Suppose 0 + 9 = 3*n. Solve -7*v + n*v = 20 for v.
-5
Suppose -8 - 8 = -4*p. Let n be 9/(0 - (-3)/p). Solve -4*t + t = n for t.
-4
Let y be -5*(2 - 34/5). Let v(s) = -s**3 + 6*s**2 - 4*s - 1. Let l be v(5). Suppose y = -t + l*t. Solve -4*m + t = -2*m for m.
4
Let x = 52 - 48. Solve -x*l - l = -5 for l.
1
Let i be 82/3 + 4/(-12). Suppose -p = -4*p + i. Let x be (-8)/(-6) - (-6)/p. Solve 0 = -4*n + 3*n - x for n.
-2
Let s = -52 + 52. Solve s*z = z for z.
0
Suppose 4*n - 18 = -2*n. Solve n*f - 2*f - 3 = 0 for f.
3
Suppose 3*c + 2*i - 3 = i, 15 = -4*c + 5*i. Suppose 2*j - 8*j + 18 = c. Solve -j*x + 0*x = 12 for x.
-4
Let y be 0/2 + (3 - -6). Let z be (-7)/(-3) - (-6)/y. Solve 0 = z*b - 5*b for b.
0
Suppose 0 = -3*d + 20 + 16. Solve 6*u - 2*u = d for u.
3
Suppose 4*c + 4*l = -7 + 27, -5*c + 11 = -2*l. Solve -z = -1 - c for z.
4
Let j = -1 - -21. Let d be (15/j)/(2/(-8)). Let y be -6*(d - 5/(-2)). Solve 0 = i + y - 4 for i.
1
Let v = -3 + 3. Suppose -3*b + b = -j - 1, -b - 5*j - 16 = v. Let y be (-1 - (4 - b))/(-2). Solve -h + y*h = 8 for h.
4
Let i(l) be the third derivative of l**7/5040 - l**6/180 + l**5/60 - 2*l**2. Let f(k) be the third derivative of i(k). Let t be f(6). Solve -t*q - 4 = -2 for q.
-1
Let t(l) = l**3 - 6*l**2 + 5*l - 22. Let j be t(6). Solve -j - 2 = 2*o for o.
-5
Let y be 3/1 - 8/(-8). Let t = 5 - 2. Solve y = t*r + 1 for r.
1
Let a(y) = y + 1. Let d(v) = -9*v + 6. Let w(h) = 6*a(h) - d(h). Let i be w(1). Solve 6*n - n = -i for n.
-3
Let n = 7 + -5. Suppose -3*q - 3 = -0*q. Let a be -1*2/(n/q). Solve -m - a = -6 for m.
5
Suppose -1 = -5*r - 21. Let t be (r + 5)/(1/3). Solve -1 + t = -w for w.
-2
Let z be (-56)/(-9) - 6/27. Suppose -3*f - f = 0. Suppose f*h = 2*h. Solve h = -2*p - p + z for p.
2
Suppose 7*b - 25 = -5*u + 2*b, 2*u - 25 = -5*b. Suppose -2*y + u + 2 = 0. Solve -y = -5*w + 4*w for w.
1
Suppose 7*p - 2*p - 30 = 0. Suppose 5*x + 1 = p. Solve -x = t - 6 for t.
5
Suppose -5*v + 11 = 1. Solve 2*i = v - 10 for i.
-4
Suppose -9*r = -7*r - 36. Let p be r/36*(-1 + 1). Solve p*q = -q for q.
0
Let i = -69 + 69. Suppose -4 = -2*b + 3*f + 2, 5*b - 6 = 3*f. Let z = 5 - b. Solve i = z*u - 0 + 25 for u.
-5
Let c be (-141)/(-15) + -5 + (-4)/10. Suppose -2*k + 6*k - 3*o = 23, -5*o - 25 = -5*k. Solve 3*v - k - c = 0 for v.
4
Let w(o) = -2*o**2 + 7 + 3*o**2 - 2 - 5*o - o. Let h be w(5). Suppose h = 2*b - 7*b + 5. Solve 5*z + 4 = -b for z.
-1
Let h = -3 - -5. Let t = 7 + -12. Let b be (-12)/t - (-2)/(-5). Solve -h*o - b = -0*o for o.
-1
Let a(q) = -q**3 - 4*q**2 - 3*q + 2. Let n be a(-2). Solve -4*o - 10 - 10 = n for o.
-5
Let s = -110 - -113. Solve s*h = -2*h - 20 for h.
-4
Let o = 38 + -34. Solve o*w = 1 + 15 for w.
4
Suppose 0 = -7*c + 11 + 17. Solve 4*i - 8 = c for i.
3
Suppose -f = -2*f, -5*l - 3*f - 55 = 0. Let j = l - -14. Solve j*h = -h - 8 for h.
-2
Let d(s) = -s + 2*s**2 - s**3 + 4*s**2 - 9*s**2 - 3. Let k be d(-3). Solve k = o + 3*o + 4 for o.
-1
Let d be (-1 + -2)*(-8)/(-2). Let u be (0 - 10)*d/10. Solve -3*f + u = f for f.
3
Let b(x) = -x**2 - 7*x + 10. Let s be b(-7). Suppose -s = -5*k + 10. Suppose 2*r + 6 = k*r. Solve 2 + r = -5*m for m.
-1
Suppose -3*d + 13 = 4. Solve d*x + 2 - 5 = 0 for x.
1
Suppose -3*k = 2*u + k - 48, -2*k + 8 = 0. Suppose 17*o = u*o + 3. Solve -2*b = -o*b + 3 for b.
3
Let h = 4 - 5. Let u = h - -6. Solve q + 12 = u*q for q.
3
Let c be 12/(-4*1) - -3. Suppose -5*h + 40 = 3*g, c*h + 5*g = -2*h + 35. Solve -2*m - h = 3*m for m.
-1
Suppose -31 - 9 = -3*p + 4*u, 2*p = 3*u + 28. Suppose 4 + 4 = 2*j. Suppose 2*m - j*z - 6 = 4*m, m + 9 = -4*z. Solve -m*c = -p*c for c.
0
Let q be ((-12)/(-8))/((-6)/(-40)). Solve 4*w + 2 = q for w.
2
Let m(k) = k - 5. Let r be m(5). Let p be 3 - r - (3 - 0). Solve 5*o - 2*o + 3 = p for o.
-1
Let l = -14 + 9. Let s = l - -5. Solve s = -3*d - 2*d for d.
0
Let a be 2/(0 - (-4)/6). Suppose 4*n + h - 12 = 0, -n - h + 8 = n. Solve a*x - n = -5 for x.
-1
Let k(f) = -f**3 + 5*f**2 - 5*f + 2. Let u be k(4). Suppose -3*y + 22 = -2*b - 5, 3*b - y + 23 = 0. Let l = u - b. Solve -l*q + 3 = -3*q for q.
3
Suppose 0 = -4*l - 2*d + 14, 2 = -0*l - l + 5*d. Solve l*s + 15 = 8*s for s.
3
Let r(n) = n - 7. Let l be r(5). Let t be (5/l)/((-3)/6). Suppose 3*w - 4*d - 5 = -15, -3*w - t*d + 26 = 0. Solve 2*y = -w*y - 8 for y.
-2
Let x be 3 + (-12)/(-4) - 2. Let u(m) = m**3 + 3*m**2 - 5*m - 4. Let i be u(-4). Solve i = b - 1 + x for b.
-3
Let m be 1/(-1*(-2 - -1)). Let s be 9*(1 - (-1)/(-3)). Let x be (-2)/s - 4/(-12). Solve x*y = -y - m for y.
-1
Let w(u) = -3*u - 7. Let z be 1 - ((-1)/(-1) - -3). Let c be w(z). Solve t = 2*t - c for t.
2
Suppose -5*f + r - 41 = -2*r, r + 23 = -2*f. Let i be (-68)/f + 2/10. Solve -i*p = -2*p + 10 for p.
-2
Let g(r) = -4*r - 24. Suppose -v + 2*v = 6. Let h(k) = k + 1. Let x(y) = v*h(y) + g(y). Let f be x(12). Solve f*p + 15 = 3*p for p.
-5
Let o = 85 + -57. Let y = o + -26. Solve -w + 1 = y for w.
-1
Let s(y) = y + 7. Suppose -m = 2 + 1. Let x be s(m). Suppose -x*g = -22 + 6. Solve -g*q + q = -3 for q.
1
Let f be (-14)/4*(2 - 0). Let y = f - -11. Suppose -12 = 4*j + 4*l, 0 = -5*j + l - 8 + 23. Solve 2 = j*p + y for p.
-1
Suppose 5*y - 5*z + 5 = 0, 0 = -3*y - 4*z - z - 43. Let j = 11 + y. Suppose 4*r - 2*d - 2 = 0, -4*r = -5*r + j*d - 22. Solve r = -l + 5 for l.
2
Let y be (-56)/(-42)*(2 + 1). Solve -24 = -y*g - 8 for g.
4
Let h(g) = g**3 + 6*g**2 + 3. Suppose -w - 4*k = -12, -5*w + k + 54 + 27 = 0. Suppose -w - 2 = 3*o. Let j be h(o). Solve -j*r - 1 = 2 for r.
-1
Suppose 0 = 2*g + 9 + 5. Let p = g + 16. Solve -3*l + 0*l = p for l.
-3
Let y(z) = z**3 - 11*z**2 - 11*z - 6. Let r be ((-12)/9)/(-2)*18. Let b be y(r). Solve x + b = -x for x.
-3
Let f(p) = -p**3 - 14*p**2 + 13*p - 26. Let k be