- k*n = 1 for n.
1
Let l(j) = -7*j**2 - 15*j - 27. Let u(v) = -2*v**2 - v + 1. Let p(m) = l(m) - 3*u(m). Let y be p(-5). Solve 4*a + a + y = 0 for a.
-1
Suppose -3*t + 0*f = 2*f, -3*f = 9. Suppose 2*z + t*z - 16 = 0. Suppose -z*p = -5*i + 27 - 3, 4*i = -5*p + 11. Solve -i*q + 6*q = 8 for q.
4
Let w be ((-16)/20 - 0)/(2/(-10)). Suppose -2*m + 0*m + 12 = 0. Suppose w*g - m = g. Solve g = -4*h + 3*h for h.
-2
Suppose -253*b + 243*b = 0. Solve b = -14*o + 3*o - 33 for o.
-3
Suppose 0*s = 3*s - 18. Let i(y) = -9*y + 6*y + 1 + 4*y + s*y**2. Let t be i(-1). Solve t*v = 2*v - 16 for v.
-4
Let n(b) = -b**3 + 6*b**2 + 6*b - 3. Let g be n(7). Let r be g*((-3)/3 - -2). Let l = r - -12. Solve l*j + 3 = 5*j for j.
1
Let c be (-66)/(-9) - 2/6. Let i = c - 7. Suppose 4*f - 5*z = -2, 5*f - 5*z + 6*z - 12 = 0. Solve f*k - 2 = -i for k.
1
Suppose 200 = 4*n + 2*a, -2*n + 25 = 3*a - 71. Suppose n*i - 50*i - 2 = 0. Solve 0*c - 6 = -i*c for c.
3
Let p = 4 - 4. Suppose -5*j - a + 4*a + 4 = 0, p = -4*j + 5*a - 2. Suppose -5*b = -0*b + 4*n - 45, -j*b + 30 = 4*n. Solve b*k = k for k.
0
Let w(a) = -a**3 + 12*a**2 - 14*a - 9. Let n be w(8). Solve 3*q = -141 + n for q.
-2
Let y(t) = -4*t + 4*t**3 + 5 + t + 4*t - 5*t**3. Let i be y(0). Solve -2*v = -3 + i for v.
-1
Let x be (-1)/(((-12)/27)/(-4)). Let q = x + 9. Let p = q + 0. Solve -3*i - i = p for i.
0
Suppose -2*s - 3*y = -25, -s = 12*y - 13*y. Solve 28 - 3 = -s*m for m.
-5
Let k(w) = -2*w**2 - 11*w - 15. Let j be k(-3). Solve j = 12*m + 3*m + 45 for m.
-3
Suppose 14*s = 15*s - 2. Suppose 0 = -0*p - p - s*p. Solve -2*l + p*l = 6 for l.
-3
Let i = 211 + -203. Solve 9 = q + i for q.
1
Suppose 157 = 13*m + 53. Suppose m = 2*s - s. Solve -3*n + 4 = -s for n.
4
Let d = -107 + 98. Let x be 1*(d/(-3) - -7). Solve -x*f + 2 = -9*f for f.
2
Let w be (-2)/(-4) + -55*2/(-20). Solve p - 7 = -w*p for p.
1
Let b be 1*5*(107 + -106). Let g(r) = 2*r - 3. Let j be g(4). Suppose -7*l + 10 = -3*l - j*f, 5*f = -2*l - 10. Solve d = -l*d - b for d.
-5
Let a(k) = 5*k**2 + k. Let q be a(-1). Suppose 2*h - q = -2*h. Solve -p + 0 = -h for p.
1
Suppose -2*l + 101 = m, -96 = -6*l + 4*l + 4*m. Solve 6 = 53*c - l*c for c.
2
Let t be -2 + 4/((-12)/(-21)). Suppose -t*s + 40 = 5*n, 20 = 8*n - 4*n. Solve 0 = s*f + f for f.
0
Let t(m) = 2*m**2 - 4*m + 3. Let p(v) = 5*v**2 - 10*v + 7. Let r(d) = 3*p(d) - 7*t(d). Suppose 5*s = 4*s + 3. Let x be r(s). Solve -b + 4 = x for b.
1
Suppose 57 - 21 = 3*t - 3*j, 20 = -5*j. Solve 2*q + 2*q = t for q.
2
Suppose 642 = 2*f + 2*d - 236, f = -3*d + 439. Solve 4*z - f = -423 for z.
4
Let d be 2/(-9)*-12 + 8/6. Solve 16 = 6*g + d for g.
2
Let q(t) = t**2 + 3*t + 3. Suppose 5*m = 4*m - 3. Let h be q(m). Solve 0 = -5*y + h - 13 for y.
-2
Suppose 4*n = -2*b + 16, -n - 22 = -4*n - 4*b. Solve n*r - 1 = r for r.
1
Suppose 18*a - 525 = -7*a. Solve 5*s = -2*s + a for s.
3
Let r be -1*(-20)/5 + -34. Let j = r + 34. Solve -j*l + 3*l - 2 = 0 for l.
-2
Let w(r) = 81*r - 324. Let u be w(4). Solve 5*n - 25 = -u*n for n.
5
Let s = -300 - -308. Solve -3*a + s = -7 for a.
5
Let v(c) = -2*c - 4. Let f(j) be the third derivative of -j**5/10 + j**2. Let g be f(1). Let u be v(g). Solve 5*a - a - u = 0 for a.
2
Suppose 6 = i + 3. Suppose 5*o - 22 - i = 0. Let n = 9 + -5. Solve -n = -o*c + 3*c for c.
2
Let b = 63 - 61. Suppose -4*l = -4*s - b*l - 2, s + 4*l - 22 = 0. Solve 4 = -3*u - s for u.
-2
Suppose -12 = -g + 13*p - 10*p, 0 = -5*g - 4*p + 60. Let o = -2 - -5. Solve 3 = -o*v - g for v.
-5
Let d(f) = f**2 - 5*f + 6. Let h be d(4). Let x be 1 + 34 + 5 + -4. Suppose -3*s = 3*s - x. Solve 5*w - h*w = -s for w.
-2
Suppose -18 = -5*j + 52. Let i = j + -5. Solve -3*p - i + 21 = 0 for p.
4
Suppose 4*u = 3*f - 97, 5*u + 114 + 17 = 4*f. Suppose 2*s + s = f. Solve 5*z + s = 3 for z.
-2
Suppose -2*q - 26 + 3 = -5*g, 5*g + 2*q = 7. Suppose g*l = -2*o - 5, o + 2*l - 2 = -3*o. Solve h = -0 - o for h.
-2
Let q be (-11)/(-2) + (-2)/(-4). Let w = -1255 + 1300. Suppose -3*r - q + w = 5*n, 31 = 3*n - 2*r. Solve 0*m + 3*m = -n for m.
-3
Suppose -7*x + 3*x + 16 = 0. Suppose -s - 14 = -3*w, 0*w + 2*s + x = -2*w. Solve 12 = -3*f - w for f.
-5
Let u(m) = m - 2. Let v be u(2). Let t be (v + 1/(-1))*-5. Suppose -8 = -5*s + 7. Solve 0 = 2*z + s + t for z.
-4
Let w(h) = h**3 - 6*h**2 - 17*h + 15. Let r be w(8). Solve -r = 5*q - 32 for q.
5
Let g(d) = d**2 + 3*d - 13. Let i be g(-6). Suppose 4*w + 2 = i*y + 2*w, 0 = -4*y - 2*w + 16. Solve y*v = -v for v.
0
Suppose 0 = 7*w - 31 + 17. Solve -w = -3*t + 5*t for t.
-1
Suppose 3*y + 4*x = -56, y - 6*x + 22 = -4*x. Let n be (48/y - -3)/((-2)/(-30)). Solve 0 = 4*q - n - 3 for q.
3
Suppose -a + y + 9 = 0, -2*y - 27 = -3*a - 0*a. Solve -8*s - 5 = -a*s for s.
5
Let u(g) = 4*g. Let s be u(-9). Let f be ((-18)/s)/(1/4). Let t(c) = 2*c - 28. Let v be t(15). Solve -v*j = f*j - 4 for j.
1
Let f(q) be the third derivative of q**4/24 - q**3/3 + q**2. Suppose -6*d = -19 - 11. Let l be f(d). Solve -i = l*i + 16 for i.
-4
Let p = 1380 + -1373. Solve 20 = 2*s - p*s for s.
-4
Suppose 2*g - 4 + 24 = 4*o, 2*o - 22 = 4*g. Let k be (o/6 + -1)*-4. Let r = 7 - 1. Solve -2*s + k = r for s.
-2
Let f(o) = 13*o - 25. Let s be f(3). Suppose 16*h - 66 = s. Solve -t + h = -0 for t.
5
Let a be (3/((-27)/96))/((-5)/15). Suppose 16 - a = -2*s. Solve 2*y - 4*y = s for y.
-4
Let x = -729 - -733. Solve x*u + 4 = -0 for u.
-1
Let q be (-8)/6 + (-72)/108. Suppose c = 4*a + 12, -c + 2 = 3*a + c. Let l be (-8 + 4/q)/a. Solve 0 = -3*r - 7 - l for r.
-4
Let c be 4 - 0/(-3 - -8). Suppose 4*a = 5*k + 7, -c*k - 11 = -6*a + a. Suppose 3*v - k - 79 = 4*i, 2*v + 2*i = 30. Solve 2*q + v = -2*q for q.
-5
Let i(j) = -3*j + 1. Suppose -h + 2*p = 2*h - 13, -5*h = -p - 24. Let v be i(h). Let q = -12 - v. Solve 2*y - q = -0*y for y.
1
Let q be 1888/(-28) + (-6)/(-14). Let y = q + 71. Solve -g = -y*g - 9 for g.
-3
Let t(l) = 5*l - 3. Let c be t(1). Suppose 2*a + c = -g, -5*g - 3*a = -2 - 9. Solve -n + 0 - g = 0 for n.
-4
Let o(b) = -5*b**3 + 5*b**2 - 14*b - 18. Let w(f) = -9*f**3 + 10*f**2 - 27*f - 35. Let s(j) = -11*o(j) + 6*w(j). Let a be s(-6). Solve 0 = q + 4 - a for q.
-4
Suppose 22*s = 11*s + 319. Solve 27*v = s*v - 4 for v.
2
Suppose 5 = -3*n + 17. Let i(o) = o**3 - 17*o**2 - 18*o. Let c be i(18). Solve c = h - n*h - 6 for h.
-2
Let r(j) = -j + 14. Let y be r(12). Suppose -3*k - y*k = 2*t + 28, 10 = -k + 4*t. Let m be 45*(2 - (-10)/k). Solve 0 = -6*g + g - m for g.
-3
Let r be (-1)/(-7) - 897/(-91). Solve -x = x - r for x.
5
Let w(k) = -4*k**2 - k + 12*k**2 + 1 - 8*k**2 + 5*k**3. Let d be w(1). Solve 5 = d*n - 15 for n.
4
Suppose -5*x = -2*f - 24, -4*x - 4*f - 1 = -9. Solve h = x*h + 3 for h.
-1
Let q = 246 - 225. Solve q = 4*o + 1 for o.
5
Let m be 3/3*8/2. Suppose -2*s + 1 = 5*b + 8, -1 = -m*s - 5*b. Solve -s = 6*v - 4*v for v.
-2
Let p = -2 - -5. Let s(v) = -2*v - 3. Let x be s(-5). Suppose 4*z = i + 8, 8 = -3*z + x*z + i. Solve -z*t + 7 - p = 0 for t.
2
Let z be 2 + (95/(-20) - 2/8). Let l be z/2*(-16)/6. Solve l*c + c = -25 for c.
-5
Let k = -51 - -59. Suppose -k = 4*n, -4*h + 2*n - 6*n + 12 = 0. Solve -2*f + 3 = -h*f for f.
-1
Suppose -152 = -6*k - 56. Solve k = 5*i + 1 for i.
3
Let o be 6/2 - (7 + -4). Suppose -2*g + 2*h - 10 = o, g = -5*h + 4*h - 13. Let t = g + 13. Solve 3*r = 13 - t for r.
3
Suppose -5*b = 2*q - 6, -5*b - 3*q = -0*q - 9. Let n = -6 - -11. Suppose b*i = -5*a + i + 25, 0 = -n*i - 25. Solve -a*k - 1 = -21 for k.
5
Let k(s) = 5*s**3 + 13*s**2 + 13*s + 12. Let w(d) = d**3 + d**2 + d + 1. Let j(v) = -k(v) + 4*w(v). Let o be j(-8). Solve 4 = -g - o for g.
-4
Let j(o) be the first derivative of 17*o**4/4 + o**3 - o - 10. Let v be j(1). Solve 0 = -5*f + 6 + v for f.
5
Let z = 152 - 126. Let v = 64 + -27. Let f = v - z. Solve 0 = -3*b + f - 2 for b.
3
Suppose 0*x + 7*x = 2*x. Suppose a = -5*m + 2*m - 4, 4*a - 3*m - 59 = x. Let v be (-85)/(-15) + 2/(-3). Solve -4*b - v = a for b.
-4
Suppose 6*t - 1336 = -1336. Solve -2*j + t = -2 for j.
1
Let t(r) = 2*r + 7. Let y be t(-6). Let c = y - -7. Let w be 11*(-3)/((-3)/c). Solve -5*x - w = 3 for x.
-5
Let w = 12 - 25. Let q be 4 + w - (-2)/(-2). Let m = 35 + q. Solve -3*f - 2*f = -m for f.
5
Let l(m) = -3*m**3 + m. Let x be l(-1). Let b = -7843 - -7843. Solve 2 + b = x*z for z.
1
Let x(n) = 3*n - 6. Let l be x(