- f for j.
1
Let n be (-11)/(-5) + -1 - (-11)/(-55). Let g be (-5)/(-2)*8/10. Solve -a - n = g for a.
-3
Let f be 2*(-1 + 0)*-1. Let i = 208 + -193. Solve o + i = -f*o for o.
-5
Let w be ((1 - 0)*0/9)/2. Solve w = 2*s - 2 - 4 for s.
3
Suppose -h - 11 = 2*q, 5*h - 4*q - 4 - 11 = 0. Let g be h*(-2 + 3 + -1). Solve g = -f - 3*f + 16 for f.
4
Let f be (1*3)/(3/9). Let v(j) = -j**3 + 9*j**2 + 4. Let t be v(f). Solve m = -t*m for m.
0
Let g = 4 - 10. Let r = g + 6. Solve -5*y - 7 + 2 = r for y.
-1
Let l be ((-2)/6*2)/((-4)/12). Solve -2*t - l*t + 8 = 0 for t.
2
Let i be (2 + -2)/((-1)/1). Suppose 5*j + i*j - 10 = k, -3*k = j - 2. Solve k*u = 5*u for u.
0
Let q(l) = l**2 - 5*l + 5. Let j be q(5). Let m(t) = -2*t**3 + t**3 + 6*t**2 + 4 - t**2. Let o be m(j). Solve -w = w - o for w.
2
Let w(j) = 9*j + 47. Let b be w(-5). Let a = -3 - -6. Solve 5*v - a = b*v for v.
1
Suppose 3*v + 5*z = -17, 6*v - 25 = v + 5*z. Solve 2*f - v = -3 for f.
-1
Let g = 0 + 3. Suppose -y = 3*i - 7 + 2, 7 = 2*y + g*i. Solve -q = y*q for q.
0
Let i be (-26)/(-6) - (-4)/(-12). Solve f - i + 5 = 0 for f.
-1
Suppose 0 = -3*m + 5*l - 1, -4*m - 3*l + 10 = -4*l. Suppose -7 = -m*s - 2*g, 0 = -4*s + 3*g - 9 + 24. Solve s*o + 2*o = 0 for o.
0
Let x be (-12)/10*40/6. Let k = x - -11. Solve k = -2*m - m for m.
-1
Suppose -4*r + 3*r + 4*i + 30 = 0, 20 = -4*i. Suppose r = -3*d - 8. Let h = d - -7. Solve 2 + h = 3*c for c.
1
Suppose -18 = 6*z - 9*z. Let y(d) = d**2 - 6*d - 2. Let a be y(z). Let b be 0/(a/2 - 1). Solve -o - 1 = -b*o for o.
-1
Let b(s) be the second derivative of 0 + 1/12*s**4 - 3*s + 0*s**2 - 1/6*s**3. Let d be b(2). Solve -d*n + 6 = -0 for n.
3
Suppose b - l + 0 - 3 = 0, -b + 6 = -4*l. Suppose 0 = 2*w + b*z - 20, -z = w + z - 10. Let f be (-1)/1 + w - 1. Solve -g = g + f for g.
-4
Suppose 2*v + 8 = 4*z - 2, v + 2*z = 3. Let j(n) = -4*n - 1. Let f be j(v). Let d(q) = -q**2 + 5*q. Let p be d(4). Solve 0 = f*b + 2 + p for b.
-2
Let y(t) = t**3 - 3*t**2 + 2*t - 1. Suppose -3*b + 3*f = -18, 5*f - f = 2*b - 18. Let v be y(b). Solve -3*s - v = 1 for s.
-2
Let y = 7 + -4. Let w(o) = -2*o - 6. Let j be w(-4). Suppose 0*v = j*v. Solve v = 2*d + y*d - 25 for d.
5
Let u(r) = -r**2 + 3*r - 2. Let x be u(2). Solve -2*l + x = -2 for l.
1
Let c = -8 + 15. Let m(r) = r**2 - 6*r - 7. Let d be m(c). Let a be 2/((-6)/(-9) + 0). Solve d = -0*j + a*j - 15 for j.
5
Let k(v) be the first derivative of v**4/4 + 8*v**3/3 - 5*v**2 - 9*v - 4. Let u be k(-9). Solve u = -2*q - 2 - 0 for q.
-1
Let p be -1 + (-2 - -2) + 6/2. Solve 3 = -p*l + 1 for l.
-1
Let k(p) = -p**3 - 5*p**2 + 6*p + 4. Suppose -2*b + b + 30 = 0. Suppose 0*n - b = 5*n. Let u be k(n). Solve 0 = -c - u*c + 20 for c.
4
Let h be 9/(-4)*20/(-15). Solve h = -2*i + i for i.
-3
Let h be (-2)/4*0/(-10). Solve h = -y - 2*y - 12 for y.
-4
Let r be (-5)/10*2*12. Let k be (1/2)/((-1)/r). Solve 9 + k = 5*a for a.
3
Suppose 0 = -2*x + 2*u + 12, -4*x + 9*u = 4*u - 24. Let b be 3*1 + -5 + x. Solve -2*o + 2 = -b*o for o.
-1
Suppose 3*a + 4*i - 7 = 11, -5 = 2*a - 3*i. Solve a*j + 1 - 3 = 0 for j.
1
Let m(h) = h**3 - 7*h**2 - 8*h. Let t be m(8). Solve 3*g - 3 + t = 0 for g.
1
Let t(y) = y**2 + 11*y - 8. Let v be t(-12). Solve -o + v*o = 0 for o.
0
Let q be 12/48 + 190/8. Suppose 2*l = -2*l + q. Solve 4*r = 2 - l for r.
-1
Let g(n) = 3*n - n**2 - 3*n + 1 + 0*n**2 + 2*n**3. Let i be g(1). Let b = 5 - i. Solve -k - 2 = -b*k for k.
1
Let b be ((-24)/(-30))/((-6)/(-15)). Let i = 4 + -3. Solve b*m = 11 - i for m.
5
Let w(h) = h**3 - 3*h**2 + 2*h - 4. Suppose -15 + 0 = -5*u. Let j be w(u). Solve 0*y = j*y - 10 for y.
5
Let o(g) = g**2 + 15*g + 19. Let d be o(-14). Solve -d*s - 10 + 5 = 0 for s.
-1
Suppose 2*r + r = 15. Suppose 0 = -4*o - 12, r*z - 39 = -2*o + 10. Suppose z = 4*i + 3. Solve 4 = -i*j + j for j.
-4
Let c = 5 + -2. Solve -9 = -0*i + c*i for i.
-3
Suppose -l - 13 = -4*r, 4*l - l - 13 = -r. Solve -l*y - y - 20 = 0 for y.
-5
Let t be 3 - 0 - 3 - 0. Solve t = -3*j + 5*j - 10 for j.
5
Let r = 3 - 1. Let x = 31 + -6. Suppose x = g + 5*z, -5*g - 3*z = 2*z - 25. Solve -4*q + r*q - 4 = g for q.
-2
Let o(b) = -b**2 + 8*b + 12. Let l be o(9). Solve -n = -l*n for n.
0
Suppose -15*h = -10*h - 20. Solve h = a - 5*a for a.
-1
Let f(b) = b**3 + 12*b**2 - 13*b + 4. Let h be f(-13). Solve 12 = -h*i - 4 for i.
-4
Suppose -2*g - 1 + 5 = 0. Suppose -f + 2 = 0, -t + g*f = -0*f - 11. Suppose -4*l + 19 - 11 = 0. Solve -l*w = 3*w + t for w.
-3
Let z(k) be the third derivative of 3*k**5/20 - k**4/24 + 3*k**2. Let r be z(-1). Solve 0*v - r = 5*v for v.
-2
Suppose 7*m = m + 18. Solve s + 2*s - m = 0 for s.
1
Let p(x) = -x**2 + 4*x + 5. Let h be p(5). Suppose u - 3 = -h*u. Solve -4 = u*c - c for c.
-2
Suppose -4*p = 2 - 6. Let l = p - -3. Suppose 0 = l*g + g - 15. Solve -4 = -q - g for q.
1
Let c be (-1*5)/((-2)/10). Suppose -4*m - 70 = -d - c, m = -5. Let j be -10*(4/(-28) - 6/105). Solve -7*w = -j*w - d for w.
5
Let y be 2/(-8) - 117/(-36). Let l = y + -3. Solve -3 = -l*t + t for t.
-3
Let o be -5 - 3/(-2 - -5). Let g be (-1)/o + (-568)/(-48). Solve -7*r + 3*r = -g for r.
3
Let v be -12*2/(-3)*2. Suppose -o + 5*i = 16, -3*i = -o - 6*i + v. Solve -o - 8 = -4*k for k.
3
Let n(l) = -5*l - 4. Let r be n(-2). Solve 0*d - 3*d + r = 0 for d.
2
Suppose -15 = 2*b + 15. Let w = -10 - b. Let g(f) = -f. Let r be g(-3). Solve 2*x - w = -r*x for x.
1
Let w(z) = 5*z + 4. Let f be w(6). Suppose -5*v + 5*j - 4 = -f, 0 = -4*v + j + 15. Solve 15 = v*h - 0*h for h.
5
Let p(n) = n - 1. Let l be p(2). Suppose m - 4 = l. Let t = 1 + -1. Solve t = -m*v + 2*v for v.
0
Let w(m) = -m + 2. Let u be w(-5). Solve -3*q + 8 = -u for q.
5
Suppose -2*g = 3*g - 5*m - 15, 10 = 4*g - 2*m. Solve 0*l = 2*l + g for l.
-1
Let q(y) = -y**2 - 10*y - 11. Let o be q(-8). Suppose 3*w - 26 = -o*b, 4*w = -b - 0*w + 12. Solve b*s - s - 6 = 0 for s.
2
Let g(i) = i. Let a(n) be the first derivative of -n**2/2 - 7*n - 2. Let t be a(-9). Let w be g(t). Solve j - w*j + 5 = 0 for j.
5
Suppose 0 = -3*a - 3*y, -2*a = a + y - 4. Suppose 2*h = -4*z - 2, -a*h + 5 = 2*z - 7*h. Solve 3*c = -z*c for c.
0
Suppose -50 = -2*l - 4*c, -3*c + 50 = 3*l - 2*c. Solve i - l = 4*i for i.
-5
Let y = -17 - -25. Solve 5*n = 7 + y for n.
3
Let y(q) = 3 + 3 + q + 6 + 8*q - q**2. Let z be y(10). Solve 3*h - h - z = 0 for h.
1
Let v(k) = k**2 + 6*k + 10. Let d be v(-7). Solve 4*w - d - 3 = 0 for w.
5
Let x be (-36)/10 + 4/(-10). Let a = x - -27. Suppose -5*d + a = -17. Solve d = 5*z - z for z.
2
Let f = -111 + 114. Solve -s + 4 = f for s.
1
Let j(t) = -t + 12. Let s be j(11). Let l be (-5 - -7)*2*s. Solve -13 = -3*m - l for m.
3
Let w(a) = -2*a**3 + a**2 - a + 3. Let y be w(0). Solve -y*o + o = 0 for o.
0
Suppose g + 3 = 0, -5*i + 3*g = -g - 27. Solve i*n + 10 = -2*n for n.
-2
Suppose 5*o = -4*l - 3, o = -l - 3*o + 2. Let d be (-2)/((-5)/l - 3). Suppose 0 = 3*j + d*n + 4, 0*j + 1 = 2*j - n. Solve j = -5*m - 8 - 7 for m.
-3
Let i(a) = -12*a - 2. Let p be i(-1). Solve 0 = -6*j + j - p for j.
-2
Suppose 0 = l - 5*l. Let u be (l - -1)/((-2)/(-8)). Let f = -22 - -29. Solve f + 13 = u*y for y.
5
Let n(u) = -u. Let p(d) = -3*d + 9. Let a(f) = -2*n(f) + p(f). Let k be a(7). Let h(g) = -g**2 + 5*g + 3. Let z be h(5). Solve -k*j = -z*j for j.
0
Suppose 5*p - 3 = 12. Suppose -p = 2*c + 11. Let v = -4 - c. Solve 0*n - n - v = 0 for n.
-3
Suppose 5*h - 32 = 3*q, 8 = 3*h - 3*q - 16. Solve 0*y = -2*y + h for y.
2
Let f be ((-6)/(-5))/(4/30). Let l be -3 - (-7 + 1 - 1). Let r be (l/12)/(1/f). Solve r*q = 4*q - 5 for q.
5
Suppose 5*j + 6 = r - 5*r, -2*r + 3*j = -8. Solve 17 = -4*k + r for k.
-4
Let d be (-3)/6 + 11/2. Suppose d*m - 2*m - 6 = -3*y, -4*y + 11 = 3*m. Solve -13 = -y*h + 2 for h.
3
Suppose -2*c = -0*c + 32. Let q = c + 18. Solve -q*n + n = 2 for n.
-2
Let w(y) = 7*y**2 - y - 1. Let u be w(-1). Let h = u - 10. Let p be (-4)/h*(-3)/(-2). Solve 2*l + 10 - p = 0 for l.
-4
Suppose -4*i - 2 = -14. Suppose i*h = 2*h + 2*b + 84, 5*h + 5*b = 390. Suppose f + h = 5*f. Solve 0 = 4*c + c - f for c.
4
Suppose y = m - 3, -3*m + 3*y = -2*y - 7. Solve 0 = m*b + b + 20 for b.
-4
Suppose 0*g - 5*g + 40 = 0. Suppose -3*k = -g*k + 75. Suppose 15 = -4*c - f - 2*f, 0 = -3*c - 3*f - k. Solve 5*r - 5 = -c for r.
1
Let t be (3/(-12)*-4)/1. Let x(n) = 4*n**3. Let s be x(t). Solve 0