- l - 2 for i.
2
Suppose -2*k - 4 = 2*p, 6*k - 3*k - 18 = 5*p. Let d(y) be the first derivative of y**2/2 + 5*y - 2. Let c be d(p). Solve -12 = w + c*w for w.
-4
Let r(g) = g**2 + 7*g + 6. Let p be r(-6). Suppose -b = -p - 3. Solve -5*l = -12 - b for l.
3
Let n(s) = -s**2 + 7*s + 6. Suppose 0 = 3*x + 15 - 42. Let q be (3 - 5) + x*1. Let j be n(q). Solve j*w - 12 = 2*w for w.
3
Let q(n) = -n**3 + 2*n**2 + 3*n + 2. Let b be q(3). Suppose -s = 0, -99 - 3 = -b*f - 5*s. Let y be f/4 + (-9)/12. Solve y + 0 = 4*h for h.
3
Let k be (-1)/2 - 3/(-2). Let x = -4 - -8. Solve -x*h + k = 5 for h.
-1
Let o be -3 + (-2 - -8) + -3 + 1. Solve o = -4*n - 11 for n.
-3
Let m be ((-8)/6)/((-2)/(-6)). Let p be (-6)/4*m/(-3). Let c = 5 + p. Solve 2*o = -c + 13 for o.
5
Suppose 5*h - 5 - 5 = 0. Suppose -4*g + 42 = 10. Let w be g + (-2 - (-2 + 2)). Solve 0*q = -h*q - w for q.
-3
Suppose -14 = -2*f - 4. Solve -f*y + 4 = -16 for y.
4
Suppose -2*s - 4 = -12, -2*s - 52 = -5*q. Solve -4*j + q = -4 for j.
4
Suppose -5*w + 3*k = -3, 5*k + 2 = -w - 3. Solve w = -5*d - 0*d + 15 for d.
3
Let q = -9 + 9. Solve q = -2*k - 2*k for k.
0
Suppose 81 = 3*h - 21. Suppose -v + 2*n = -24, 5*v - 2*n = 3*n + 100. Suppose 2*z = h + v. Solve r + z = 6*r for r.
5
Suppose -5*u + 10 = -0. Let k(h) = h**2 + 9*h + 14. Let a be k(-8). Let i = a - u. Solve -11 = i*z + 1 for z.
-3
Let o = 14 - 8. Let h = o + -4. Solve 0 = 5*i + h - 7 for i.
1
Let h(m) = -2*m - 14. Let d be h(-10). Solve -d*s = -2*s for s.
0
Suppose a - 20 = 6*a + 5*s, -5 = s. Let m be (-6)/(-6)*(4 + 1). Solve -a = -2*v - m for v.
-2
Let k = -23 - -28. Solve -r + k*r + 4 = 0 for r.
-1
Let x be 330/77 - (-2)/(-7). Solve 0 = -k + x*k + 9 for k.
-3
Let t = -94 - -113. Solve 0 = 5*x - 6 - t for x.
5
Let o be ((-20)/(-25))/(36/(-20) + 2). Let t be -4*-1*4*1. Solve -4*i = -t - o for i.
5
Let m(k) = -k**2 - 6*k + 3. Let x be m(-6). Suppose 0 = x*h + h. Solve h*s - 4 = -s for s.
4
Suppose 3*r = -0*r + 6. Suppose r*z - 6 = -0. Solve 3*v + 3 = -z for v.
-2
Suppose -33*n + 35*n - 10 = 0. Solve -n - 1 = -2*h for h.
3
Suppose x = -0*x - 5. Let f be (30/x)/(-2*1). Solve z + 2 = f*z for z.
1
Let v be 3 - (1 + 0)/1. Let f be v/(-3 - -1)*0. Suppose -q - 4 - 1 = 3*x, -3*q + 24 = -4*x. Solve f*i = i + q for i.
-4
Let c = 9 + 2. Suppose -5*l + 4*z = -17, 4*l + 1 = 2*z + c. Solve g = l + 2 for g.
3
Let z = 37 + -34. Solve -l - z*l = 0 for l.
0
Suppose -26 = 2*x + 2*l, -33 = -3*x + 4*x + 5*l. Let c = 3 + x. Let b be (-3 + -2)*2/c. Solve 0 = i - b*i for i.
0
Let a(c) = 2*c + 4. Let j be a(-3). Let d = j - -7. Solve -d*b + 13 - 38 = 0 for b.
-5
Suppose -3*b + b = -18. Suppose -36 = -3*h - b. Solve h + 6 = 3*s for s.
5
Suppose 0 = -2*y - 10, -35 + 10 = -5*g + 3*y. Solve -8 + 4 = g*j for j.
-2
Suppose j - 5*j + 20 = 0. Suppose 2*b + 50 - 14 = 5*y, 21 = y - j*b. Solve -3*n = -y*n + 12 for n.
4
Suppose 2 - 4 = -h. Suppose -z + h = m + 4, -6 = m + 3*z. Let o(k) = k**2 + 3*k - 1. Let i be o(-4). Solve m*s - i = -3*s for s.
1
Let l(p) = p**3 + 4*p**2 + 2*p. Let a be l(-3). Solve 0*h = a*h for h.
0
Let r(o) = -3*o + 4. Let h be r(-2). Solve 5*x - 25 = -h for x.
3
Let m(q) = -q**2 + 3*q. Let y(r) = r. Let g be (-3)/(-2)*4/3. Let k be y(g). Let z be m(k). Solve z*f - 5 = -1 for f.
2
Suppose 45 = -3*h - 5*k + 12, -k = 2*h + 22. Let b(r) = 5*r**2 + 3*r + 1. Let l be b(-2). Let t = l + h. Solve 0 = -5*x + t + 21 for x.
5
Let q be -26*(0/2 - 1). Let g = q - 16. Suppose -s = -2*s + g. Solve r = -r - s for r.
-5
Suppose -2*y + 3*d = -24, -3*y = -5*d - 40 + 2. Solve -c + y = 2*c for c.
2
Let h(j) = -j**3 + 8*j**2 + j - 8. Let q be h(8). Solve 3*p - 5*p + 2 = q for p.
1
Let m(b) = b**2 - 5*b - 6. Let j be m(6). Solve j = -0*h + 3*h - 9 for h.
3
Let z = -2 - -4. Let u be ((0 + 0)/(-1))/z. Let k be 5 - (1 + u/2). Solve k*w + 4 = 16 for w.
3
Let i(a) = a**3 - 4*a**2 - 4*a - 5. Let n be i(5). Let p be (n - 2)*(-1)/1. Suppose -p*u = u. Solve 3*v = -u*v for v.
0
Suppose 5*w + 7 + 8 = 0. Let y be (4/w)/(2/(-3)). Suppose -b = y*b. Solve 2*f + 8 - 2 = b for f.
-3
Let o = -69 + 76. Solve -4*g = -o*g - 3 for g.
-1
Let i be (-3)/((-2 - 1) + 2). Suppose -i*a = -a - 8. Let l(w) = -w**2 - 4*w - 3. Let f be l(-2). Solve a = -g - f for g.
-5
Let w(l) = -11*l**3 + l**2 + 3*l - 4. Let r(a) = 5*a**3 - 2*a + 2. Let c(h) = 13*r(h) + 6*w(h). Let k be c(4). Solve 3 = k*d - 1 for d.
2
Let c(k) be the second derivative of k**4/12 + k**3/2 - k. Let j be c(-4). Solve 0 = j*w - 7*w + 6 for w.
2
Suppose 55 = 5*k + 35. Solve -7 + k = m for m.
-3
Suppose 0*i = -2*i + 4. Solve -i*t - 8 = -4 for t.
-2
Let p(o) = -o**3 - 3*o**2 + 5*o + 4. Let r be p(-4). Solve -2*m = -r*m for m.
0
Let p be (-6)/((-18)/69) + 2. Solve 8*z - 3*z - p = 0 for z.
5
Let d be (0/2 - -7) + -2. Suppose 0 = f - 6*x + 2*x + 1, 2*x + 13 = d*f. Solve 0*y - f*y + 3 = 0 for y.
1
Let b be (-18)/(-10)*20/6. Suppose -b*d = -d. Solve -u + 3 + 2 = d for u.
5
Let w be (-4)/14 - (-80)/35. Suppose -2*y = -3*a + 1 + 11, -w*a - y = -1. Solve q + a = -q for q.
-1
Let z = -27 - -29. Solve -d + 6 = z for d.
4
Let o = -8 - -8. Suppose -4*q + o*q = -40. Solve -4*c = -6*c + q for c.
5
Suppose 4*z + 29 = 1. Let r = 10 + z. Solve 0 = -r*m - m for m.
0
Suppose 0*j = -j + 3*l, -j - 4*l = -7. Solve j*c + 0 + 12 = 0 for c.
-4
Let x(q) = q**3 + 10*q**2 - 5*q - 14. Let k be x(-10). Let i be (-58)/(-18) + (-8)/k. Solve i*w = w - 4 for w.
-2
Let y(c) = c**2 + 10*c - 8. Let l be y(-11). Suppose -l*m = m - 16. Solve -m*u + 20 = u for u.
4
Let m(j) = -j**3 - j**2 - j - 1. Let i be m(-1). Let g = -2 + 4. Suppose -g*x - 2*t = 0, 3*x - 3*t = 23 + 1. Solve i = d + x*d for d.
0
Let j(a) = a**2 + 11*a + 2. Let i be j(-11). Solve -r - 1 = -i*r for r.
1
Let o(c) = c**2 - 3*c + 4. Let g be o(1). Solve 4*y = g*y for y.
0
Suppose -2*c + 2*x = 5*x + 14, -5*x = 4*c + 24. Let a(l) = 3*l**3 - 1. Let y be a(c). Let p = -4 - y. Solve -h - 3*h = p for h.
0
Let s = 4 - 1. Solve s*j = 2 - 5 for j.
-1
Suppose -k + 3*i = -3, k + 3*i - 3 = 4*i. Solve y - k*y - 8 = 0 for y.
-4
Let v(k) = -k**2 + 19*k - 10. Let x be v(18). Suppose q + 2*u - x = 0, 0 = -2*q - 0*u - 2*u + 10. Solve -5*r + q = -3 for r.
1
Let d(n) = n**2 - 9*n + 12. Let c be d(9). Let k be 32/14 - 6/21. Suppose y = -5*p - 1, -2*p + k*y + 2 = -6*p. Solve 4*v - v - c = p for v.
4
Let j(l) = 7*l - 7. Let h(z) = 6*z - 6. Let s(c) = -6*h(c) + 5*j(c). Let m be s(7). Let f be (-37)/(-2) + 9/m. Solve -3 = 5*d + f for d.
-4
Let f be 2*9/6 - 1. Suppose 0 = -f*x - x. Solve x = -2*i + 8 for i.
4
Let b be 2*-1 - (-4)/2. Solve b = 3*a - 6 - 9 for a.
5
Suppose -5*a = -3*g - g - 6, -5*g - 1 = -3*a. Let z(s) = -s + 6. Let j be z(6). Solve -6 = -j*q - a*q for q.
3
Let b(m) = -17*m**2 + m. Let l be b(-1). Let n = l + 18. Solve -5 + n = d for d.
-5
Let r be (2*2)/(2 + 0). Solve r*g - 4 = g for g.
4
Suppose 3*s + 32 = 7*s. Suppose -2*j + 16 = -s. Suppose 4*q - j = p, 3*q - 7 = -5*p + 2. Solve 0*m = -q*m - 9 for m.
-3
Let s(p) = -p**3 - 9*p**2 + 4. Let h be s(-9). Let y be h/7*14/4. Solve -x = y - 4 for x.
2
Suppose 0*n - n + 7 = 0. Solve -5*p + 17 = n for p.
2
Let x = 3 - 3. Suppose -2*q + q = x. Solve 3*i - 7 - 5 = q for i.
4
Let p be (4 + 2)/(-2) - -3. Solve 0 = -p*y - 3*y for y.
0
Let x = 7 - 9. Let c be (3 + x)/(1/4). Solve 16 = c*q - 0 for q.
4
Suppose 5*j = 15 - 0. Solve 0 = j*x + 7 - 1 for x.
-2
Let s be -20*(-2)/4*1. Solve -s = -v + 3*v for v.
-5
Let k(u) = u**3 + 5*u**2 + 4*u + 3. Let s be k(-4). Suppose -c + m = -s*c, -5*c - 5*m = 0. Solve 0 = q - c*q - 3 for q.
3
Let n = -2 + -2. Let u = n - -17. Solve -4*p - u - 3 = 0 for p.
-4
Suppose -4*k + 5*k - 2 = 0. Solve k*g - 2 = 4*g for g.
-1
Suppose -3*s - 3 = -4*s. Suppose -3*t - 5 = -20. Solve t*c + s = -2 for c.
-1
Suppose -2*z = -14 + 8. Let b(o) be the first derivative of -o**4/4 - 4*o**3/3 - o**2/2 - 2. Let d be b(-4). Solve z*k + 8 = -d for k.
-4
Let m = 6 + 0. Solve 2*p - m = -0*p for p.
3
Let s be 9/(-1)*20/6. Let b be (s - 0)*6/(-15). Suppose -3*x + b = 2*l, 0*x + 3*x - 4*l + 6 = 0. Solve -x*j - 2 = -0 for j.
-1
Suppose 0 = -4*b + 4*u, -4*b = -5*u + 1 - 0. Solve 2*j - 7 = b for j.
4
Let r(h) = h**3 + 10*h**2 - 2*h - 10. Let i be r(-10). Solve -m - m = i for m.
-5
Suppose 0 = -2*z + 4*b - 1 - 9, 4*b - 25 = -z. Suppose -3*t = 2*t - 5. Solve z*f + 9 = -t for f.
-2
Let z(w) = -w**2 - 4*