t s be 2/g + (-290)/(-6). Let w be (s/20)/((-1)/(-5)). Solve 5*f - w = f for f.
3
Suppose 0*a + a = -1. Let o = a - -1. Solve -n + 2 = -o*n for n.
2
Let p = -2 + 4. Suppose 0*h = -5*l + h + 22, 0 = p*l + h - 13. Suppose 0 = -2*j + 7*j. Solve 0*o - l*o = j for o.
0
Let b be 6*4/(-18)*-3. Solve b = 2*k - 4 for k.
4
Let m(t) = -t**3 + 8*t**2 + t - 7. Let l be 4/((-6)/(-4) - 1). Let s be m(l). Suppose -4*n = -0*n - 20. Solve -s - 4 = -n*h for h.
1
Suppose 4*g + g + 3*i = 2, -i + 4 = 5*g. Let j be (-1)/(-1)*g + 1. Solve -4*y = -j*y + 10 for y.
-5
Suppose 0 = -4*g - 20, 0 = 4*u + 3*g + 27. Let p be (-1)/((-70)/(-24) + u). Solve -3*n - n = -p for n.
3
Suppose 13 = 2*p + u, -19 = 2*p - 5*p - u. Solve -p*s = -3*s + 15 for s.
-5
Let l(w) = -w + 6. Let t be l(5). Let c be t*(3 + -2 - -2). Let g be (-4)/(-6)*(6 - c). Solve -3*r + g = -r for r.
1
Suppose -2*z + 32 - 30 = 0. Solve -3*i = -4*i + z for i.
1
Suppose 25 = 2*v + 5*a, -1 = -3*a + 8. Let d(i) = 0*i**3 + 1 + 2 - v*i**2 + i**3 - 6*i + 0. Let u be d(6). Solve 2*h = -u*h - 20 for h.
-4
Let x(a) = -16*a - 16. Let n(j) = -3*j - 3. Let w(m) = 33*n(m) - 6*x(m). Let h be w(-2). Suppose 0 = d - 0*d. Solve d*i + h = -i for i.
-3
Suppose -2*a = -17 + 5. Let q be (1 - 0)/((-2)/a). Let s = q + 3. Solve 2*v = -s*v for v.
0
Suppose 0*q + f = -2*q + 11, 0 = 5*q + 3*f - 27. Let s = -3 + 4. Suppose 3 = 2*l - s. Solve 0*v - q = -l*v for v.
3
Let p = 3 + 0. Suppose 0*g + 12 = p*g. Let q be 7 + 3/(1 - g). Solve -q*b + 3*b + 15 = 0 for b.
5
Let b(n) = -n**3 - 3*n**2 - n - 3. Let r be -4 - (2 - 0 - 3). Let p be b(r). Let k(f) = 3*f**3 - f**2 + f - 1. Let z be k(1). Solve 3*c + z + 1 = p for c.
-1
Let f = -28 + 33. Solve -f*c + 1 = -19 for c.
4
Let m(t) be the third derivative of -t**5/60 + t**4/8 - t**3/6 - t**2. Let v = 6 + -4. Let l be m(v). Solve -2*z + 7 + l = 0 for z.
4
Suppose 0 = -l - 5*n + 8 + 19, n + 17 = 3*l. Solve 3*d = 5 + l for d.
4
Suppose 0*m - 39 = 3*m. Let a = -10 - m. Solve -a*p + 2 = -1 for p.
1
Let w(b) = -b**2 + 9*b - 8. Let s be w(6). Suppose 0 = z + 3*g, g = -5*z - 2*g. Let m = z + 5. Solve m*d + s = -0*d for d.
-2
Suppose 2 = -0*k + k. Solve -6*l = -k*l for l.
0
Let j = 2 + -4. Let y be 0 + j/(-4)*2. Suppose 2*t = -l + y, -5*l + 2*t - 3*t + 50 = 0. Solve -4*h - l = 5 for h.
-4
Let c(q) = -q**2 + 3*q + 10. Suppose d = -i + 12 - 1, 3*i - 2*d - 18 = 0. Let z be c(i). Let v be -1 - 2 - z/2. Solve 3*g - v = -g for g.
3
Suppose -8*j + 15 = -3*j. Suppose 2*g + 16 = j*t, t - 10 = 4*g - g. Suppose 49 = t*l - 3*x + 8*x, -2*l - 5*x + 37 = 0. Solve l = -k + 3*k for k.
3
Suppose -2*g + 0 = -3*h - 1, 2 = g. Solve 0 = -v - 3 - h for v.
-4
Suppose -5 + 17 = 3*v. Let y be (-1)/((12/(-15))/v). Solve y*o + 14 = -11 for o.
-5
Let h be (-10)/(-40) - (-3)/4. Solve 3*f + h = -2 for f.
-1
Let k be 21/(-2)*(-4)/6. Let o = -4 + k. Let r be (-6)/o + 5 + 1. Solve -r*y = -8 - 12 for y.
5
Suppose -3*u = -11 + 5. Solve u*a = -a + 12 for a.
4
Suppose -2*v + 9 = 5*x, v - 2*v = -2*x + 9. Solve 3*n - x = -0*n for n.
1
Let s(h) = -2*h + 7. Let p be s(5). Let x = p + 8. Solve x*d = 3 - 18 for d.
-3
Suppose -4*b - 19 = -31. Let l(d) = -d**2 + 0*d**2 - 2 + d + 4*d. Let y be l(b). Solve y*n = 2*n - 6 for n.
-3
Let n be 2*(-3)/2*3. Let c = 11 + n. Suppose y + 2*i = 4*y, 0 = -y - 5*i. Solve y*v = c*v - 6 for v.
3
Let l(x) = -x**3 - 10*x**2 - 10*x - 5. Let o be l(-9). Let a(z) = z - 4. Let i be a(o). Solve k - 2*k - 1 = i for k.
-1
Let f = 10 - -10. Suppose -2*v = -f - 0. Let h(d) = d**3 - 9*d**2 - 11*d + 11. Let r be h(v). Solve 0*g - g = -r for g.
1
Suppose 0 = -2*r + 4*r + 22. Let b = r - -16. Let g = 23 + -20. Solve g*m + b = -4 for m.
-3
Suppose 0 = z - 2. Solve z = 3*d - 7 for d.
3
Suppose 2*g - u - 25 = 0, 3*g - 3*u - 20 = 2*g. Solve 5*f + 9 = -g for f.
-4
Suppose w - 1 = -0*w + 4*z, 0 = w - 2*z - 7. Let l = -8 + w. Solve 0 = l*n - 9 + 24 for n.
-3
Let p(b) be the first derivative of b**2/2 + 2*b - 1. Let y be p(2). Solve y*s = -s + 25 for s.
5
Suppose -3*b + 20 = b. Suppose 0 = -4*c + 3*k + 20, -4 = -2*c + b*k + 6. Solve -c*o - 9 = 6 for o.
-3
Let c(g) = g**2 + 2*g - 3. Let b be c(-3). Suppose -5*m + 2*m = 6. Let o = b - m. Solve 0 = -2*i - o - 2 for i.
-2
Let n(z) = z**2 + 7*z + 4. Let d be n(-5). Let l(c) = 3*c**3 + 8*c**2 - 2*c**3 - 9 - 8*c - 3*c**2. Let y be l(d). Solve y*j = j + 8 for j.
4
Let w(d) = 14 - 2 + 1 - d. Let v be w(8). Let b = v + -3. Solve 0 = -3*z - b*z + 15 for z.
3
Let d = 34 + -18. Let a = d - 11. Let m = 0 + 2. Solve a*i - 3 = m for i.
1
Let z(m) = m**2 + 12*m - 9. Let o be z(-13). Solve 2*d - 6 = o*d for d.
-3
Suppose 5*n + 3*h - 10 = 0, -2*n + 1 + 3 = 5*h. Solve -x = n - 7 for x.
5
Let a(c) = 8*c. Suppose -5*h = 5*i - 5, 3*i - 3*h = -2*i + 5. Let v be a(i). Solve -4*s - v + 24 = 0 for s.
4
Let s = -36 - -40. Solve -q - 1 - s = 0 for q.
-5
Let g be (-3)/(1 - (-2)/4). Let q be 18/(-9) - (0 + g). Solve q = 3*f - 4*f + 4 for f.
4
Suppose 2*q - 5*q = 0. Suppose q = 4*o - 7*o. Suppose i = -3*i + 4*w - 8, i - 4*w = -14. Solve -i*c - 3*c = o for c.
0
Let s be 2/8 + 3/(-12). Suppose s = -3*x - x + 4. Solve -x = -p - 0 for p.
1
Let h(t) = t**2 + 11*t + 13. Let p be h(-10). Let i = 14 + -11. Solve i*k - p - 6 = 0 for k.
3
Suppose -2*j + 2 = -j. Suppose r - 5 = -o, 3*r = 3*o - 17 + j. Suppose 4*w + 12 = r, -4*m + 9*m - w = 23. Solve 5 = -k - m*k for k.
-1
Let t(v) = -v + 14. Let a be t(10). Solve r - a*r = 9 for r.
-3
Let k(y) = y**2 - 4*y - 2. Let g(s) = s + 1. Let m be g(4). Let t be k(m). Solve t = f + 1 for f.
2
Suppose 1 = w + 7. Let u = w - -12. Solve 0 = 4*c + 2 - u for c.
1
Suppose 3*o - 15 = -0*o. Let p(t) = -t**2 + 8*t - 7. Let a be p(6). Suppose 0*q = 3*q - 9, a*k = -2*q + 36. Solve k = n + o for n.
1
Suppose -14*s + 9*s + 25 = 0. Suppose 6 = 4*t - t. Suppose -t*b + 12 = 2*b. Solve -p + b = s for p.
-2
Let h be (-4)/(-6)*(14 + -5). Suppose -h*a + 2*a = -12. Solve -a*j = -0*j for j.
0
Let h(k) = -2*k + 26. Let b be h(12). Solve 0 = -b*j - 5 + 1 for j.
-2
Let v = -33 + 41. Solve -v = 6*k - 2*k for k.
-2
Suppose -18 = -3*h - 6. Let u = 8 - h. Let o(z) = z**2 - z - 10. Let k be o(-5). Solve 0*j + u*j = k for j.
5
Let g(j) = 6*j + 2. Let w(r) = -17*r - 6. Let f(z) = 8*g(z) + 3*w(z). Let h be f(-2). Solve 6*q + 2 = h*q for q.
-1
Let u = -42 - -42. Solve u*p = -p for p.
0
Suppose -3*b + 3*y = 0, -b = -5*y + 13 - 5. Solve 0 = -b*l + 3*l for l.
0
Let f(d) = -d**3 - 3*d**2 + d + 3. Let i be f(-3). Solve 3 = -i*a - a for a.
-3
Let s(h) = h**3 + h - 4. Let q be s(0). Let k = 2 + q. Let y be (0/2)/(k - -1). Solve -7*d + 2*d = y for d.
0
Suppose 0 = -s + 1, 4*t + 4*s = 2*s - 2. Let z be (3 - 2) + (2 - t). Solve 0 = -z*h - h - 20 for h.
-4
Let k be (-3)/(27/(-12))*-6. Let m be (-4)/k - 3/(-2). Let b = m + -2. Solve b = -2*u - 0*u for u.
0
Let x(n) = 5*n + 4. Let m(d) = -3*d - 2. Let j(v) = -7*m(v) - 4*x(v). Let k be j(8). Solve 0 = 2*i + k + 4 for i.
-5
Let f be 119/21 - (33/9 - 3). Solve 10 = f*s + 25 for s.
-3
Suppose 85 + 25 = 10*f. Solve 0 = -l - 6 + f for l.
5
Let r = 17 + -15. Solve -a = r*a + 12 for a.
-4
Let d = -1 + 1. Suppose 2*v = -d + 8. Solve u = 5 - v for u.
1
Let c = -19 - -12. Let y = c - -10. Solve -5*d + y = -7 for d.
2
Suppose 5*f + 2*n - 4*n + 4 = 0, -6 = -3*n. Let c be (-142)/8 + 3/(-12). Let k = -13 - c. Solve 5*l = -f + k for l.
1
Suppose 0*y + 4 = y. Let w = y + 0. Suppose 3*p + 4 = w*p. Solve 1 + 7 = p*k for k.
2
Let t = 17 - 18. Let j = t - -21. Solve -2*g - 2*g - j = 0 for g.
-5
Let r = -32 - -44. Solve 2*u - r = -2*u for u.
3
Suppose -7*h + 21 = -0*h. Solve h*n + 0*n = -6 for n.
-2
Suppose -3*q - 4*v = -81, -2*q - v = -0*v - 49. Solve -q = -5*u - 3 for u.
4
Suppose 2*n - 10 = -4*j, n - j = -0*n - 7. Let m be (1 + -1)*(n - -2). Solve m = q + q for q.
0
Let o = -13 + 11. Let s be ((3 + -3)/(-2))/o. Solve 3 = -s*j - 3*j for j.
-1
Let y be ((-3)/6)/((-3)/24). Suppose -y*t = -0*t - 8. Solve t = l - 1 for l.
3
Let t(o) = -o**2 + 7*o + 10. Let m(c) = -2*c + 2. Let n be m(-3). Let w be t(n). Suppose -h + w*h = 0. Solve -2*u - 10 = -h*u for u.
-5
Let a(r) = 88*r**2 + 32. Let q(j) = 8*j**2 + 3. Let i(w) = 3*a(w) - 32*q(w). Let x be i(1). Solve -4 = 3*c + x for c.
-4
Suppose 5*q + 7 = 3*f - f, 4*q = -2*f - 20. Let i = f - -9. Solve i*l + 0 = 5 for l.
1
Suppose 8*h + 5 = 3*h. Let i be h + 4 - (1 + 2). 