 -11 - k for l.
5
Let o be (-2)/4 - 151/(-2). Suppose -4*h - h = -o. Solve 0 = -4*w + w - h for w.
-5
Suppose 0 = -22*f + 17*f + 60. Solve 3*k - f = -k for k.
3
Let h(r) = r + 1. Let m be h(-1). Suppose f = 3*g - 12, 8 = -m*f + f + g. Suppose -f*a = -2*y + 11, y + y + 5*a = 3. Solve 0 = -y*s + 2*s - 6 for s.
-3
Let u = -24 + 47. Suppose 4*c + 17 = -n, n - 4*c - u = -0*c. Suppose 0 = t - 5*a - 11, 0*a + n*a - 3 = -t. Solve r - t = -r for r.
3
Suppose 0 = -0*q - 2*q - 4*h - 6, -2*q - 2*h = 0. Solve a + q*a = 0 for a.
0
Let d(k) = -k**2 + 6*k - 2. Let j = 36 + -11. Suppose y - j = -4*y. Let g be d(y). Solve -5 = -2*c - g*c for c.
1
Suppose 7 = 3*c - 4*c. Let h = 14 + c. Solve 3*m + 4 = h*m for m.
1
Suppose -c + 3*w - 1 = 0, 2*w = -0*c + c. Solve -j - 7 + c = 0 for j.
-5
Let b be -2*((-2)/4 + 0). Let q(m) = m**2 - 2. Let w be q(2). Solve s - b + w = 0 for s.
-1
Let g be 1/3 - (-11)/(-33). Solve g*r = -5*r for r.
0
Let g(v) = -v**3 - 10*v**2 - 17*v - 5. Let k be g(-8). Solve -3 - 9 = k*m for m.
-4
Suppose -2*f + 18 = -0*f - 4*x, -f + 4*x + 17 = 0. Let a = 16 + -11. Suppose 3*t - 8 = u, -4*t = -5*u - 0*u + 4. Solve u = -a*y - f for y.
-1
Let i be -6 - (-2)/((-4)/(-4)). Let c be i/4*(0 + 0). Solve -d + 2*d - 4 = c for d.
4
Suppose -3*v - j + 47 = 0, -v + 2*j - 2 = -6. Suppose 4*z - 19 - 1 = 0. Suppose -c + z*u - 8 = 0, 3*c - u = -4*u + 12. Solve -3*r + v = c for r.
4
Let q(l) = 2*l**2 - 4*l + 1. Let x be q(2). Solve 5*p + x = 16 for p.
3
Suppose -4*u = -3*u. Suppose 5*n + 2*h + 3 = 0, 5*n + 3*h + 5 + 2 = u. Solve -5 + n = -s for s.
4
Let z(l) = -l + 9. Let b be z(6). Suppose -3*s - 9 = 3*m, -2*m = -m - b*s + 15. Let q be -2 + 14*(-3)/m. Solve 0 = q*g - 14 + 39 for g.
-5
Suppose -4*o = -0*o. Suppose 3*a + 4*u - 25 = -2*a, -2*a + 2*u + 10 = o. Solve 0*f = -5*f + a for f.
1
Let c(a) = 3*a + 3. Let s be c(2). Solve s*h - 15 = 14*h for h.
-3
Let k(n) = n**2 - n + 6. Let r be k(0). Let f = 6 - r. Solve f = 4*t - 16 for t.
4
Let h(p) = p**3 + 7*p**2 + 1. Suppose -3*m = -3*c - 27, -1 = m - 3. Let j be h(c). Solve j = 2*z - 1 for z.
1
Suppose 0 = 4*o + 4. Let f(k) = 20*k. Let i be f(o). Let h = 32 + i. Solve h = -0*x + 4*x for x.
3
Let r(q) = 3*q**2 - 1. Let f(p) = -p**3 - p - 1. Let d be f(-1). Let i be r(d). Let y(c) = 3*c**2 - 3*c - 3. Let u be y(3). Solve -u = 3*x + i*x for x.
-3
Let n = -10 + 16. Suppose -4*u = -2 - n. Suppose -u*w + 5 + 9 = 5*h, w = -5*h + 12. Solve h*s = -s + 9 for s.
3
Let n = -4 - -6. Suppose 0 = n*k - k. Suppose k = 2*c + 6 - 22. Solve 4*v = 2*v - c for v.
-4
Suppose 3*i = 4*c - 25, 0 = -5*c + 4*i - 0*i + 32. Solve 0 = 5*a - c + 24 for a.
-4
Suppose -3*t = s - 4, 3*s = -5*t + 13 + 3. Suppose 4*i = s*i. Solve -2*l = -i*l - 8 for l.
4
Let g = 6 + -2. Let o = -11 + g. Let u be -18*o/((-63)/(-6)). Solve 2*j + u = 5*j for j.
4
Let a(f) = f**3 + 19*f**2 + 4. Let d be a(-19). Solve 9*m = d*m - 10 for m.
-2
Suppose 0 = -4*m + 4, 4*u - 3*m = -4*m + 1. Let z = -4 + 6. Let w(t) = 19*t - 28. Let f be w(2). Solve u = 7*s - z*s - f for s.
2
Let m = 148 - 148. Solve m = 7*p - 4*p - 15 for p.
5
Suppose -4*g - 34 = -114. Let o be g/70 - (-2)/(-7). Solve h - 2*h = o for h.
0
Let x(l) = -l**3 - 3*l**2 + 2*l + 7. Let b be x(-4). Solve -3*r + 8*r = b for r.
3
Suppose -2*o - 3 = 3*z, 0 = o + 3*z - 5*z + 12. Let g(f) = -f**2 - 7*f - 3. Let w be g(o). Solve -1 + 4 = w*q for q.
1
Let r be ((-1)/(-3))/((-13)/(-975)). Suppose -2*i + 3*p = 3*i - r, 5*p - 20 = -4*i. Solve i*u = 4*u - 4 for u.
-4
Suppose 2*x - 4*x + 4 = 0. Solve -16 = x*q - 6 for q.
-5
Let m be 715/20 - 1/(-4). Let z = -21 + m. Solve n + 2*n = -z for n.
-5
Let a be 2/8 + (-33)/(-12). Suppose 10 + 10 = 4*v + 5*c, -a*c = -2*v - 12. Solve -2*d - d = v for d.
0
Suppose 23 = q - 10. Suppose 3*z = i, -i + 4*i = -2*z - q. Let k = -7 - i. Solve 5*t + 3 = -k for t.
-1
Let i(m) be the second derivative of -m**3/3 - 4*m**2 - 7*m. Let r be i(-4). Solve r*u + 10 = 2*u for u.
5
Let m(t) = -t**2 - 4*t + 3. Suppose s - 2*s - 3 = 0. Let d be m(s). Solve -3*a = -d*a + 15 for a.
5
Let j(n) = -n**3 + 11*n**2 - 15*n - 22. Let p be j(9). Solve -v + p - 2 = 0 for v.
3
Let j(c) be the second derivative of -c**5/20 - c**4/2 + 3*c**2/2 + c. Let p be j(-6). Let g = -2 - -6. Solve p*v = g*v - 3 for v.
3
Let x be (2 - 12/5)*-30. Solve -5*k + x = -3 for k.
3
Suppose r = 2*r. Suppose r = -7*v + 5*v. Solve m + 0*m + 5 = v for m.
-5
Let n(b) = -10*b - 2*b + 3*b. Let c be n(-1). Suppose -4*r + c + 3 = 0. Solve 20 = x + r*x for x.
5
Let z = -23 - -9. Let s = 29 + z. Let g = s + -7. Solve -a = a - g for a.
4
Let w(n) = -5*n**2 - 6. Let c(x) = -4*x**2 - 7. Let b(i) = 5*c(i) - 6*w(i). Let y be b(-2). Suppose y = 5*g - 44. Solve g = -5*j - 3 for j.
-4
Let j(b) = b**3 + 2*b - 4. Let f be j(2). Solve 3*c = -c - f for c.
-2
Let s = -12 + 15. Let k = 5 - 1. Suppose -6 = -s*i, w = -k*i + 3 + 5. Solve w = -b - b for b.
0
Let z(w) = -5*w + 1. Let u be z(-3). Suppose -u = -4*k - 0*k. Solve 0 = -q - k*q for q.
0
Let h = -12 + 12. Solve 0 = -h*n + n - 4 for n.
4
Let t be (-1 + -21)*(-2)/4. Suppose -3*u = 3*f + 2*u - 33, 0 = f + 3*u - t. Let b = 16 - f. Solve 0*g = b*g for g.
0
Let n be (-4)/6*(0 + -3). Suppose n*u = -4*a + 138, 5*a + 0*u = -5*u + 185. Let j be 8/a + (-30)/(-8). Solve -t - j*t = -20 for t.
4
Let d be 0/(2 + (-3 - -2)). Let b be 1/2*(7 + -1). Suppose b*j - 12 + 57 = 5*z, 4*j + 38 = 3*z. Solve d = 2*q - z + 4 for q.
1
Let c = 10 - 8. Let w(h) = h**3 - h**2 - h. Let k be w(c). Solve -4*l + k*l - 4 = 0 for l.
-2
Suppose 0 = v - 5. Solve -2*j - v = 5 for j.
-5
Let z(b) = -5*b**3. Let s be z(-1). Suppose 0 = -5*k - 15, 4*k + 23 + 14 = s*v. Solve -v*a + 0*a = 25 for a.
-5
Let v(c) = c**3 + 5*c**2 + 4*c. Let k be v(-3). Suppose -5*t + 4*h + 36 = 0, 0 = -5*t - k*h + h. Suppose 0 = t*n - 2*n. Solve -3*f + n*f = 0 for f.
0
Let p be 12/7 + (-4)/(-14). Suppose 3 = 3*i, -d - 2*d = p*i - 17. Solve 3*f = -2*f - d for f.
-1
Let o be 319/99 + (-4)/18. Solve 5 = 2*m + o*m for m.
1
Let c = 1 - 6. Let l(d) = 5*d + 4*d**2 + 4 + d**2 - 4*d**2. Let v be l(c). Solve -v = -f + 3*f for f.
-2
Let p = -1 + 4. Let c be ((-24)/(-10))/(3/10). Solve -p*d = -d + c for d.
-4
Suppose -4*u - 3*s = -21, -3*u - 2*s + 23 = 8. Let r be 0 + 60/u*1. Let c be r/6 - 2/6. Solve l = -0 - c for l.
-3
Let r(f) = f**3 - 3*f**2 + 3*f - 3. Let n be r(3). Solve -c - n = 2*c for c.
-2
Suppose 5*v - 4 = -4*o, v + 6 - 4 = 2*o. Solve -y = -v*y + 1 for y.
-1
Suppose 4*d - 5 + 1 = 0. Let l = 4 - d. Solve -3*z + l = -6 for z.
3
Let j = 88 + -76. Solve j = 2*k + 2*k for k.
3
Let n = -9 + 6. Let g = 5 + n. Solve -g = 3*t - 4*t for t.
2
Let i(p) be the first derivative of p**2 + p - 2. Let y be i(7). Let l be (4/(-10))/((-2)/10). Solve 7*b - y = l*b for b.
3
Let r be 8/(-24) + 16/3. Solve 3*m - r*m = -2 for m.
1
Let y = 11 - 8. Suppose 3 + 0 = 4*v - 3*f, -5 = -3*v + 5*f. Solve y*i + 3 = -v for i.
-1
Let d(u) = 17*u - 28. Let m be d(2). Let n = -2 - -3. Suppose -3*i + 13 = n. Solve 8 = -i*s + m*s for s.
4
Let k(h) = -h**3 - 6*h**2 - 7*h - 7. Let l be k(-5). Suppose -4 = l*r - 10. Solve -4*q - 10 = r for q.
-3
Suppose 5*z - 10 = 2*z - 4*q, 2*z + 4*q - 8 = 0. Solve z*f + 9 = -f for f.
-3
Suppose 9 = 8*a - 5*a. Solve -3*l - 3 = a for l.
-2
Suppose -2*d - 2 = 2*b, 3*d + 3*b - 8*b = 21. Let z = -453 - -457. Solve z*s = d*s - 10 for s.
-5
Let t(x) = x**3 - 2*x**2 + 2*x. Let h = -1 + 4. Let y be t(h). Solve y = -4*m + m for m.
-5
Let r(w) = w**2 - w + 1. Suppose y + y = 2. Let a be r(y). Let b(u) = 6*u**3 - 2*u + 1. Let z be b(1). Solve 0 = -z*d - a + 6 for d.
1
Suppose 2*n + 8*l - 3*l = 6, 4*n = 4*l + 40. Let r(d) = d**3 - 9*d**2 + 9*d - 1. Let b be r(n). Suppose 0 = 2*x - b*x + 15. Solve x*t - 5 = 2*t for t.
5
Let p be 6/(100/176 - 2/(-11)). Suppose 4*o + 5 = 5*o. Solve 0 = -o*a - p - 2 for a.
-2
Let q = 7 - 5. Let b be 40/18 + q/(-9). Let h(p) = -p + 5. Let z be h(5). Solve z = b*d - 0*d for d.
0
Suppose 8*u - 8 = 4*u. Solve -4*c + 8 = -u*c for c.
4
Suppose 7*x - 5 = 2*x. Let m be x - (-8)/((-4)/(-2)). Suppose -4*w + 3 = 3*v - 14, -20 = -m*w - 5*v. Solve w*r - 9 = -4 for r.
1
Let z be ((-6)/18)/((-2)/54). Suppose 0 = 4*r - 5*r + z. Solve 0*c = -3*c - r for c.
-3
Let o(q) = -q**3 + 3*q - 6. Let a be o(-3). Solve -a = -x + 4*x for x.
-4
Let l = 10 + -4. Let c = 18 - 13. Solve l = -c*z + 2*z 