 first derivative of k**2 - 10*k - 2. Let s be n(g). Solve -a + s = -0*a for a.
4
Suppose 20 = -4*i, 4*w + w = 2*i + 20. Solve -w = -l + 1 for l.
3
Let z = -3 - -11. Suppose -3*k - 4 = z. Let s be 14/2 - (-8)/k. Solve -p = 4*p + s for p.
-1
Let a(g) = 3*g**2 - g. Let b be a(1). Solve f - b = 1 for f.
3
Let d(n) = -n**2 - 10*n + 3. Let u be d(-10). Suppose 3*l - 2*v = -1, 4*l + 2*v - 7 = u*v. Solve -f = -l*f + 6 for f.
3
Let z(h) = -h**3 - 2*h**2 + h + 1. Let p be z(-3). Suppose 2*w = -1 - 3. Let m = w - -5. Solve 1 = -m*q + p for q.
2
Let w(n) = -n**3 + 8*n**2 + 9*n + 12. Suppose -50 = -5*l - 5. Let f be w(l). Suppose q - 2 = 3*k + 4, -4*q + 16 = -4*k. Solve 0 = q*v + f + 3 for v.
-5
Let g = 8 + -13. Let m = -1 - g. Solve 0*a = -a - m for a.
-4
Let a be (-1 + (-17)/(-2))*(-62)/(-93). Solve -7 = -4*s + a for s.
3
Suppose 56 = 4*l - 2*l. Suppose 3*x = 9, -2*j - 2*x - 10 + l = 0. Solve -3*t - j = -0 for t.
-2
Suppose 4*a = 2*a. Solve a = 2*h - h for h.
0
Let g be 6/6 - (-3)/1. Solve j + 0 = g for j.
4
Let z(f) = f**2 - 5*f + 2. Let p be z(3). Let u be (2/(-5))/(1/(-5)). Let y be (-6)/p*(4 - u). Solve y = v - 1 for v.
4
Let m be (-18)/(-5) + 4/10. Suppose -m*i = -i. Solve 16 = 4*p - i*p for p.
4
Let s = 29 - 17. Suppose -64 + 20 = -2*w. Let f = w - 22. Solve 2*p + p + s = f for p.
-4
Let u(s) = -s**3 - 15*s**2 + 17*s + 20. Let h be u(-16). Solve -h*w = -w for w.
0
Suppose -2*r - 15 + 3 = -5*d, r = -2*d + 12. Solve -2*g + d = 2*g for g.
1
Suppose -5*s = z + z - 6, -5*z = 5*s. Let u be (5/z + 2)*-12. Solve -d = -u*d + 20 for d.
4
Let b be 1 + 7 - (-5 + 7). Let x be (-4)/b*(-6)/4. Solve -4*s + x = -3 for s.
1
Let f(q) = 5*q - 2. Let x be f(7). Suppose -2*b = -14 + 4, -x = 4*u - 5*b. Let v be (2 + u)/1 + 2. Solve -v*d + 3 = -3*d for d.
-3
Let p be 3 + (-2 - 3/3). Solve -6*y + y - 20 = p for y.
-4
Let m(d) = d**3 + 6*d**2 + 7*d + 4. Let t be m(-4). Let k = -3 - -7. Let i be (k/6)/((-4)/(-42)). Solve 3*l = i*l + t for l.
-2
Let w(i) = i**2 - i + 2. Let b be w(0). Suppose 0*v + 5*u - 105 = -3*v, 0 = -b*v - 4*u + 68. Suppose 2*y - 6*y = -v. Solve 3*s + y + 5 = 0 for s.
-5
Let s(q) = -3*q - 1. Let t be s(-2). Suppose -t*h = -8*h. Solve -3*d + d = h for d.
0
Let b = -1 - -4. Solve -2*p + 5*p = b for p.
1
Let s(t) = -t**3 + 2*t**2 - 3*t + 2. Let h be s(3). Let p be (-1 - -5)*(-12)/h. Solve r - p + 5 = 0 for r.
-2
Let d be 0/(-2)*1 - 0/1. Solve d = 3*p - 6*p + 9 for p.
3
Suppose v - 8 + 0 = -4*g, -3*v - 4 = -2*g. Solve 4*h + h - 5 = v for h.
1
Let h = 10 - 10. Let u = h + 3. Solve 0 = -u*r + 6 - 3 for r.
1
Let i be (22 - 2)/2 + 2. Suppose i = w + 3*w. Solve -4 = -w*b + 2 for b.
2
Let b be 1*-1*(-3 - -3). Let d = 125 + -109. Solve m - 5*m - d = b for m.
-4
Let h(i) = 3*i**2 - 2*i - 2. Let y be h(2). Let f(a) = a**3 - 6*a**2 + 2*a - 7. Let v be f(y). Solve -v*p - 7 = 8 for p.
-3
Let x be ((-42)/35)/((-2)/5). Solve -x*y + 5*y = -4 for y.
-2
Suppose 30*i - 29*i - 3 = 0. Solve -i*x - 25 = 2*x for x.
-5
Suppose -3*o - 4*h - 4 = -5*o, -5*o - 2*h = 14. Let f(q) = -2*q. Let b be f(o). Suppose -v + b = 2. Solve -v = k - 0 for k.
-2
Suppose -2*u = 4*l + 4, u - l - 12 = -4*u. Solve -o = u*o for o.
0
Suppose -2*g + 1 = -17. Suppose -2*k + g = -3. Solve -2 + k = 4*z for z.
1
Suppose -3*j = 2 - 11. Suppose 0 = -w + j*i + 11, -7*i - 2 = 2*w - 5*i. Let g be 2 + w + (-1 - 1). Solve 0 = 2*a - g + 8 for a.
-3
Let f(a) = 3*a**2. Let x be f(-1). Suppose 2*l = -2*q + 10, 5*q = -4*l + 1 + 21. Solve -x*b = q*b - 10 for b.
2
Let j(v) = -3*v**3 - v**2 - v - 1. Let d be j(-1). Suppose 4*l - l - 12 = 0. Suppose r = l*r. Solve r = -2*h - d*h for h.
0
Suppose 5*z - 22 = 3*z + 2*b, 0 = 3*z + 5*b - 65. Let p = 21 - z. Solve -k - k - p = 0 for k.
-3
Let x be 0/2 + 3 + 1. Let y be x/(-2) - (-8)/2. Suppose -3*w = -d + 4*d, y*w = -3*d. Solve 3*o - 5*o + 4 = d for o.
2
Let o(w) = -2*w**3 + 33*w**2 + 17*w + 13. Let r be o(17). Solve 4*x + 1 - r = 0 for x.
3
Suppose -4*p = 5*y + 88, 3*p - 4*p + 23 = -y. Let a = -17 - y. Solve -8*g + 15 = -a*g for g.
3
Let y be (-3 + 3)/(0 + 2). Solve y = -2*x + 2 + 2 for x.
2
Let x be 2/4*0 - 0. Solve p + x = -4 for p.
-4
Let t be (0 - -3)/(1/(-2)). Let r(s) = -s**3 - 7*s**2 - 5*s + 6. Let f be r(t). Solve f = -m - 0*m for m.
0
Let m(o) = o**3 + 6*o**2 + 6*o + 7. Let d(a) = -a**2 - a + 1. Let c(h) = d(h) - m(h). Let y be c(-6). Solve y = g - 3*g + 2 for g.
1
Suppose 3*c = 7*c - 160. Suppose -4*i + c = -0*i. Solve -i = -0*d - 2*d for d.
5
Let o(l) = l**3 - l + 11. Let x be o(0). Let c(h) = h**2 - 10*h - 11. Let f be c(x). Suppose k + 4*k - 10 = f. Solve -k*j + 8 = -4*j for j.
-4
Let n(s) = s**2 - 8*s + 2. Let d be n(8). Let i be (3 + -5)*(-20)/d. Solve -8*r = -3*r - i for r.
4
Suppose -5*j - 5 + 25 = 0. Suppose -4 = -j*h - 0. Solve 6 - h = -u for u.
-5
Suppose -13 - 9 = -v. Let u = 1 + 2. Suppose -v - u = -5*x. Solve z = x*z for z.
0
Let z(s) = -s + 9. Let j be z(5). Solve -j*g + 0 = -4 for g.
1
Let c(s) = -s**3 + 4*s**2 + 2*s + 5. Let x be c(3). Let m = x - 20. Solve m*r = -r - 2 for r.
-2
Suppose -10 = 5*r - 0. Let s be 0 - -2 - (-3 - r). Let m be ((s - 3) + 0)/3. Solve -q = -m*q for q.
0
Suppose 5*x - 17 = n, -n - n + 3*x = 13. Let u be -1*2*n/4. Solve 3*r + u = 10 for r.
3
Suppose 10 = 8*l - 6. Solve -13 - l = 3*j for j.
-5
Suppose 2*t + 2*n - 6 = 4*n, -3*n = 5*t - 7. Let o be -4 + t - (-1 + -6). Let c = 5 - o. Solve c = h + 4 - 3 for h.
-1
Suppose 5*k - 28 = -4*h + 3*h, -k + 5*h = 10. Solve 0*p + 20 = -k*p for p.
-4
Suppose -1 = t + 3. Let f = t - -4. Suppose -4 = 3*m + 2*v, f*m - 4*m + v + 2 = 0. Solve -2*i - i = m for i.
0
Suppose -q - 7 = -6*u + u, 5*u = -4*q - 3. Let a be 2 - (0/q - -1). Solve -p - a = 1 for p.
-2
Let d = -12 + 14. Solve d*z - 12 = -z for z.
4
Let c(j) = 3*j**2 + j - 1. Let w = 21 - 20. Let a be c(w). Solve a + 12 = -3*m for m.
-5
Let t(a) = -a**2 - 6*a - 3. Let p be t(-5). Let f be (p/(-3))/(5/(-45)). Solve 0 = 3*q + 9 + f for q.
-5
Let i be ((-5)/(-5))/(1/1). Suppose 2*n - 3*n = -3. Solve -i - n = -4*p for p.
1
Let d = -5 - -9. Suppose d*f - 2 = 6. Suppose 52 = 4*k - 0*k - 4*r, f*r + 15 = k. Solve 3*n + k = -1 for n.
-4
Let o(d) = -d**2 + 7*d + 10. Let l be o(8). Suppose 0 = -3*g - 5*z + 2, 0*z + l*z = 4*g - 20. Solve 0 = -g*m - m for m.
0
Let h(y) = -y**2 + y + 5. Let o be h(0). Suppose o*f + 4 - 14 = 5*c, 8 = f + 2*c. Solve -4*a - f = 4 for a.
-2
Suppose 4*s - 45 = -2*d + 5, 72 = 3*d + 3*s. Let i = -21 + d. Solve -i*r = 2*r + 12 for r.
-3
Let l be (-3)/(2*(-2)/4). Let t(c) = c. Let d be t(l). Let o = d + 1. Solve 3*x + x = -o for x.
-1
Let y be (-4)/(-2) + 0 + -1. Suppose -2*i + y = -7. Suppose i*v - 14 = -2*d, d + 3*v + 3 = 4*d. Solve 0 = -2*r + d*r + 5 for r.
-5
Let k be (-10)/(-1 - 1)*1. Suppose -7 = -k*s + 203. Let c = s - 22. Solve 3*m + c = -m for m.
-5
Let h(u) = 3*u**2 - u - 11. Let n be h(-2). Solve -13 = n*w - 4 for w.
-3
Let g be 0/(3/1 + -7 + 3). Solve 0 = -j - g - 4 for j.
-4
Let q = 16 + -22. Let r be (-20)/q*30/25. Solve r = 4*f - 0 for f.
1
Let v(q) = -q**3 - 11*q**2 - 11*q - 6. Let j be v(-10). Solve 8*h = j*h + 8 for h.
2
Let h(c) = c**3 + 2*c**2 - 4*c - 1. Let y be h(-3). Let i = 11 + -10. Solve y*x + 7 = -i for x.
-4
Suppose 0 = -4*j + b + 2*b, 5*j - 3*b = 0. Solve -2*g + 4 + j = 0 for g.
2
Let c(k) = -5*k - 22. Let u be c(-5). Solve u*y = 8*y for y.
0
Suppose 6*g + 5 = 3*l + g, 0 = -2*l + 5*g + 5. Solve -4*p = -l - 16 for p.
4
Let s = 12 + -9. Solve 0 = s*a + 2*a for a.
0
Suppose 3*d + k = 3, 2*k - 15 = -4*d - 3*k. Solve -3*j + 4*j = d for j.
0
Let q be 5/((-5)/2) - -2. Let d(f) = f**2 + 8*f + 3. Let z be d(-9). Suppose -4*o - z = -5*u, q = -o - o + u. Solve o*p = 5*p - 3 for p.
1
Suppose 3*g = -3*s + 15, -3*g - 4*s + 1 + 14 = 0. Suppose -5*p + g*l = 25, -3 = -5*p + l - 8. Solve -v - v + 6 = p for v.
3
Suppose -37*q + 12 = -31*q. Solve 0 = -5*s - 8 - q for s.
-2
Let t = 59 - 41. Let n = 19 - t. Let y be (5/2)/((-1)/(-2)). Solve 3*o - y = n for o.
2
Suppose -4*l - 17 = -4*q + 3, 5*l = -15. Suppose 2*u + 4*p + 7 - 25 = 0, 0 = -3*u + p + 6. Solve 0 = -q*d + u*d - 1 for d.
1
Suppose -3*q - 30 = -36. Solve 0*x + q*x - 8 = 0 for x.
4
Let j be 1 + (0 - 4/2). Let f = 4 - j. Solve -f*r + 9 = -11 for r.
4
Suppose 8*a - 8 = 7*a. Let d(x) = -x**2 - x + 3. Let w be d(0). Solve -w*g + g = a for g.
-4
Suppose f - 2 + 5 = 0. L