4*l + 3*v + 489 = z*v, -2*l + 3*v = 249. Let h be 4/3*l/(-16). Solve h = -k - k for k.
-5
Suppose -n - 7 = -0*g - 2*g, 5*n + 2*g = 25. Let a be 15/(-5)*(-4)/n. Solve -4 = 2*k - a*k for k.
2
Suppose 0*a + 9 = a + 2*m, -5*a + 4*m + 17 = 0. Solve 16 = l - a*l for l.
-4
Let x(m) = -7*m + 3*m + 6 + 2*m + 3*m. Let i be x(-5). Solve -5*k + 4 = -i for k.
1
Suppose -6*i = -i - 5. Suppose -5*y - 5*p + 110 + 95 = 0, -5*y = -5*p - 215. Let j = y - 26. Solve j - i = -3*g for g.
-5
Suppose 8 = -5*h + 9*h. Solve -o + 3 = h*o for o.
1
Let o(y) = 3*y**2 + y - 1. Let g be o(-2). Solve 4*h - 3 = g for h.
3
Let c(u) = 2 + 2*u**3 + u - 6*u - 3*u**3 + 5*u**2. Let n be c(3). Let q be (-15)/(-6) - ((-6)/(-4))/(-3). Solve 0 = n*w - q*w - 2 for w.
1
Let d(z) = -5*z**3 - 2*z**2 - 9*z - 3. Let g(j) = -6*j**3 - 2*j**2 - 10*j - 4. Let p(f) = -7*d(f) + 6*g(f). Let w be p(2). Solve w*a - 16 = 7*a for a.
-4
Let m(v) = v + 13. Let t be m(-9). Suppose 3*i - 41 = -4*u - 16, 0 = -t*i + 3*u. Solve -2*a - i = -3*a for a.
3
Let x(b) be the second derivative of -b**3/6 - b**2/2 - 2*b. Let p be x(-5). Suppose -p*u + 24 = q, 5*u + q = -q + 33. Solve -4 + 24 = u*m for m.
4
Let o(g) = -g**3 - g**2 - g. Let s be o(-2). Suppose -2*x + s + 4 = 0. Suppose -5*b - 4*i + 33 = 0, 3*b = -5*i + 11 + 14. Solve -x*q + b = -0*q for q.
1
Suppose -a - 1 = -7. Let k = 0 + a. Solve 2*r = k*r + 4 for r.
-1
Suppose -4*l - 16 = -q - 4*q, -q = -2*l - 2. Solve 4*h + q = -0*h for h.
-1
Let n be 5 - 2 - ((-1)/1 - -4). Solve n*j = -4*j + 16 for j.
4
Suppose -3*b = -6*b + 6. Suppose b*x - 1 = 3. Let o = x + 0. Solve o*m = 4*m - 2 for m.
1
Suppose 3*t + 2*t = 0. Suppose -3*q + 11 = j - 2, t = 5*q + 2*j - 21. Suppose -q*z + 15 = -10. Solve 0*i + z = i for i.
5
Let z(b) = b - 7. Let k be z(8). Solve 2*d - 3 - k = 0 for d.
2
Suppose -14 = -3*j - l, -2*j + 13 + 2 = -5*l. Solve -4*f - j + 21 = 0 for f.
4
Let s = 14 - 2. Solve -2*g + s = -5*g for g.
-4
Let u(i) = -i**2 - 10*i + 15. Let r be u(-11). Let h(z) be the first derivative of z**2 - 6*z - 3. Let p be h(r). Solve p*m - 3*m + 1 = 0 for m.
1
Let m = 5 - 2. Suppose -m*z = -4 - 5, 2*a + 5*z = 15. Let n = -183 - -185. Solve 2*x + n*x + 20 = a for x.
-5
Suppose 2*b + 9 = -b - 3*p, 2*p = -8. Let g = 4 + b. Solve g*c + 4 = 14 for c.
2
Let u(v) = 4*v + 16. Let w be 6/(-4)*28/(-6). Let k(m) = -m - 5. Let r(p) = w*k(p) + 2*u(p). Let l be r(7). Solve 0*c + l*c = -12 for c.
-3
Let k be -5 + (-5 - -3)/(-1). Let s be k + ((-27)/(-3))/3. Solve s*g + g = -3 for g.
-3
Let x = 30 + -53. Let u = x + 43. Solve 3*d + d - u = 0 for d.
5
Suppose -32*m - 40 = -40*m. Solve 3*i - m*i = 2 for i.
-1
Suppose 8*h = 4*h. Solve 0 = -h*v + v + 5 for v.
-5
Suppose u + 1 = 2*a - 2, 5*u + a = 18. Let h(p) = -p + 2. Let j be h(0). Suppose j*i - u - 13 = 0. Solve -3*b + i*b + 5 = 0 for b.
-1
Let y(j) = -j**2 - 8*j + 13. Let l be y(-9). Suppose l*h - 6 = 2. Solve h*n - 5 = -3 for n.
1
Suppose 3*a = -o + 8, -5 = -5*o - 25. Suppose 2*w + 4*t = -28, -3*t - 11 = -w - 0. Let i = a - w. Solve -4 - i = -4*c for c.
3
Suppose 2*u - 25 = 3*s, 2*u - 15 = 2*s - s. Let v be -1 + u + 2 + -1. Let f = 2 + 1. Solve w + v = f for w.
-2
Let w(z) = z**3 + 3*z - 11. Let n(r) = -3*r**3 - 8*r + 34. Let p(k) = 4*n(k) + 11*w(k). Let m be p(0). Solve -s = 2*s - m for s.
5
Suppose -p + 2 + 2 = 0. Let l = p - 8. Let c = 7 + l. Solve c*o - 2*o = -5 for o.
-5
Suppose -5*l = -5 - 5. Suppose l*x + 0 = 4. Suppose x*i - 6 = -2. Solve 8 - i = -2*u for u.
-3
Let a(s) be the second derivative of -s**5/20 + 5*s**4/12 + 7*s**3/6 - s**2/2 + s. Let u be a(6). Solve -u*v = -19 + 4 for v.
3
Let y be (-2)/(-1) - -2*1. Suppose 3*v - 3 = 0, -g + 5*g - 5*v = -9. Let c be 0*(-1)/(-3)*g. Solve c = -2*q + y + 4 for q.
4
Let m(f) = -f**2 + 14*f + 16. Let w be m(13). Suppose 0 = 4*n - 2*a - 28, -4*n - a - w = -9*n. Solve n*y + 9 = -11 for y.
-4
Suppose -4*k - 8 = -0. Let j be 3*((-2)/k + 0). Solve 6 + 9 = j*b for b.
5
Suppose -2*i - 1 + 11 = 0. Solve o + 4*o - i = 0 for o.
1
Let b be 25/(-5)*(2/(-1) + 0). Solve 5*l + 5 + b = 0 for l.
-3
Let c = -89 - -99. Solve -c = -10*x + 5*x for x.
2
Suppose 0 = 4*w - 52 - 4. Let v be 4/14 + (-4)/w. Let z(r) = -r**3 + 5*r**2 - 4*r + 3. Let u be z(4). Solve -u*k = -v*k for k.
0
Suppose -3*j = l - 16, -3*j + l + 3*l - 4 = 0. Solve j = q + q for q.
2
Suppose -4*d = -6*d. Let o = -28 + 32. Solve -o*h + 20 = -d*h for h.
5
Let o be (-9 + 0)*1/(-3). Let j(n) = -n**2 + 3*n + 2. Let d be j(o). Solve -2*y - d = 2 for y.
-2
Let n be 1 - ((-8)/(-4))/2. Solve 0*i + 3*i = n for i.
0
Let f = 7 - 7. Suppose f = -4*q + 2*q + 6. Solve q = -0*o + o for o.
3
Let v be ((-6)/(-4))/(18/60). Solve -v*z + 5 = -0 for z.
1
Suppose 3*j = m + 2, 8*j = 11*j + 5*m + 10. Solve j*s - s = -1 for s.
1
Suppose 2*j + 7 = 1. Let o = 0 - j. Solve -3*t + 0 + o = 0 for t.
1
Let y be 2/((4/(-5))/(-4)). Let g be 6*(-1)/(-2)*1. Let d = y + g. Solve 0 = 4*m - 5 + d for m.
-2
Suppose 0 = -f + x + 13, 3*f - 3 = -4*x + 15. Solve -y = -6*y + f for y.
2
Suppose -4*o + t = -13, 2*t + 1 = -2*o - 5. Suppose -2*i + i = o. Let y be 0/1*(-1)/i. Solve y + 2 = j for j.
2
Let o = 11 - 4. Let g = 23 - o. Suppose 0 = -2*m + b - 4, m - 4*b + g = 4*m. Solve -j + 2*j = m for j.
0
Let g(p) = -p**2 + p. Let s be 2/(-7) + (-20)/28. Let h(y) = 2*y**2 + 2*y + 3. Let l(i) = s*h(i) - 3*g(i). Let z be l(6). Solve -j - 6 = -z*j for j.
3
Suppose -8 = h - 5*h. Solve -4*k = -14 - h for k.
4
Suppose -2*w + 0*z = z - 5, -5*z + 25 = 5*w. Suppose w = -r + 3*u + 12 - 2, u + 6 = 3*r. Solve 0 = -3*m - r - 8 for m.
-3
Let r be (-2)/(-3)*(-174)/(-4). Let h = 40 - r. Let g be (-1 + 0)*-2 + 3. Solve -h - g = -4*y for y.
4
Let o = 1 + 0. Suppose 16 = 4*p, -1 = 5*q - 2*p + 7. Let y be q - -1 - (-2)/o. Solve -6*z = -y*z for z.
0
Let u = 6 + -6. Suppose 24 = 2*g - u*g. Solve 4*k = 8*k - g for k.
3
Let l = -9 - -15. Solve 4*u = u - l for u.
-2
Let d(i) = i**2 - 8*i + 5. Let v be d(5). Let h be 4/v*10/(-2). Suppose q + 2 = h*q. Solve -q*p = -p - 5 for p.
5
Let a be 10/(-45) + (-2)/(-9). Suppose 0 = -2*h - a*h. Solve 0 = 2*v - h + 2 for v.
-1
Suppose 0*d = -5*d - 25. Let h = d - -5. Solve h*l = 4*l for l.
0
Suppose 4*p = -5*p + 4*p. Solve -j + p*j = -4 for j.
4
Let w(n) = -n - 9. Let s be w(-12). Suppose 23 = 3*i - m, -3*i = 4*m - 1 + s. Solve 3*o = i + 6 for o.
4
Let o(j) = j**3 + 7*j**2 - 9*j - 6. Let s be o(-8). Solve -s*d = -0*d + 2 for d.
-1
Suppose 8 = 4*w - 0*w. Suppose 0 = 2*c + w*f - 16, 4*f = 4*c + c - 76. Solve 0 = -k + 5*k - c for k.
3
Suppose -2*l - 5*t = -l - 10, 0 = 3*l - 2*t - 30. Let d be ((-12)/(-10))/(3/l). Solve -8 = d*x - 0*x for x.
-2
Let f(p) be the second derivative of -p**4/12 + 5*p**3/6 - p**2 + 2*p. Let n be f(4). Solve -b = 1 + n for b.
-3
Suppose 0 = 9*x - 11*x + 24. Solve 4*k - x = k for k.
4
Let z(v) = v**2 - 4*v. Let q be z(4). Let s(m) = m**2 - 4*m + 1. Let a be s(4). Let g be 28/3 + a/(-3). Solve q*u + g = -3*u for u.
-3
Let j = 2 + 1. Solve 2*d + 1 = j for d.
1
Suppose -4*m + 3*m + 22 = 4*j, -5*m = 3*j - 25. Solve 4*z - 10 + m = 0 for z.
2
Suppose -5*a + 74 + 161 = 0. Suppose -a = -5*x + 3*w, 0*x + 6 = -2*x - 5*w. Solve 2*d + x = -1 for d.
-4
Suppose -4*a = 3*v + 4, a + v = -v - 6. Let b be 6/9*(-12)/(-1). Let j be (b/6)/((-3)/(-9)). Solve -j + a = d for d.
-2
Let j(x) = 4*x**3 - 2*x**2 - 2. Let n be j(2). Suppose 0 = -z - 5*y + n, 2*y + 4 = 5*z + 2. Suppose -z*u = -6*u + 12. Solve -2*g - u*g = -15 for g.
3
Suppose 3*z - 4*g = -7, -2*g - 7 = 5*z - 10*z. Solve 4*q - 19 = -z for q.
4
Let f(y) = y + 14. Suppose 4*m + 41 = -t, -3*m - 9 = -2*m - t. Let c be f(m). Solve -2*j + c*j - 2 = 0 for j.
1
Let r be (-132)/(-9)*(-6)/(-4). Suppose -3*l - 15 = 0, -2*c - 52 = 6*l - 2*l. Let g = r + c. Solve -4*q = 2 - g for q.
1
Let b = 36 - 34. Solve 0 = -0*t - t + b for t.
2
Let g(u) = 2*u - 3. Let h be 1 + 6/(-2) - -6. Let j be g(h). Solve -j*d = -4 - 16 for d.
4
Let j = -5 + 8. Suppose j*u = 9 - 0. Solve 0 - u = -a for a.
3
Let m(g) = -g - 1. Let u(s) = 5*s + 9. Let r(d) = 4*m(d) + u(d). Let x be r(-3). Solve x*p - 8 = 2 for p.
5
Let d(i) = -i. Let v be d(-2). Let n be (-4)/(-14) + (-136)/(-14). Suppose 0 = -s - 4*t + v*t + n, -2*t = 2*s - 12. Solve s*u + 4 = -2 for u.
-3
Suppose -t + 3*z = 4, 3*t + z + 0*z = 8. Solve t*h = 3*h for h.
0
Let r = 3 - 3. Suppose -d + 3*m - 3 - 1 = r, 2 =