-t*k = -2*k + 4 for k.
-1
Let k be 12/16 + (-29)/(-4). Let f be -1*4/k*-6. Solve 8*t = f*t + 15 for t.
3
Suppose 4*k = 5*j - 0*k + 1, -2*k = -8. Solve 0 = 2*g - 5*g + j for g.
1
Let d(w) be the third derivative of w**6/120 - w**4/24 + w**3/3 + w**2. Let t be d(0). Suppose 4*s = 3*s. Solve 0 = -t*a - 6 - s for a.
-3
Let j be 22*(2 - 6 - 0). Let k = 60 + j. Let i be k/(-5) + (-6)/(-15). Solve 3*s + i = 15 for s.
3
Let s = -9 - -12. Suppose -20 = -5*c + 5. Suppose -3*f = -4 - c. Solve f = -s*g - 0*g for g.
-1
Let n(c) = c**3 - c**2 + c + 2. Let i be n(0). Suppose -5*a + 3*a = j - 22, 47 = 3*a - i*j. Solve -a = -2*y - 5 for y.
4
Let f = 23 - 18. Suppose -z + 4*c + f = 0, -4*z - 3*c + 2*c + 20 = 0. Solve -z*a - 9 = 1 for a.
-2
Let v(b) = -b**2 + 5*b - 1. Let g be v(3). Solve -g*c + 1 = 6 for c.
-1
Let u(a) = 2*a - 9. Let m be u(6). Suppose -3 = -o + 2. Suppose -2*j - v + 1 = -j, -o*j + 21 = v. Solve 0 = k + m - j for k.
2
Let c be (1 - 5)/12*0. Solve 8 + c = 2*o for o.
4
Suppose -4*o + 1 = -3*q - 13, o + 2*q - 9 = 0. Suppose o*z = 16 - 1. Solve -z*u - 22 = -7 for u.
-5
Let t = 168 + -166. Solve 7 = -t*u - 1 for u.
-4
Suppose -4*d + 2*n - 50 = -3*n, -4*d - 2*n = 36. Let r be (-3 - -4)/((-2)/d). Solve 9 = -r*o - 6 for o.
-3
Suppose -6 = -2*r - 4*s, 4*r - 12 = 2*s - s. Solve 12 = r*h + 3*h for h.
2
Let c(g) = -g**3 - 2*g**2 + 2*g. Let p(k) = -k**3 - 6*k**2 + 8*k + 4. Let w be p(-7). Let s be c(w). Solve -s*x = 2*x for x.
0
Let z(y) = -2*y**2 + 5*y - 2. Let h be z(3). Let i be 7 + h - (-1 - 1). Suppose -20 = -i*w - 2*g, 0 = w - 2*w + 2*g. Solve w*r - 2 = 14 for r.
4
Suppose 4*l = 2*l + 4. Suppose -4*a = -l*a. Suppose 2*z = z + 24. Solve a = 5*k - 4 + z for k.
-4
Suppose -2*g + 3*d = -0*g + 1, 0 = -3*g + d + 9. Solve g*o - 14 = -2 for o.
3
Suppose 2*y = 2*a - 20, -2*a + 5*y = -17 - 15. Let m(j) = -j**3 + 12*j**2 - 20*j - 6. Let q be m(10). Let r = a - q. Solve -r = -7*i + 3*i for i.
3
Let f(r) = r**3 - 13*r - 4*r**2 + 17 - 5 - 7*r**2 + 0*r**2. Let o be f(12). Solve o = -5*y - 2 - 13 for y.
-3
Suppose 0*i = 4*i - 20. Suppose 0 = o - 3, i*o = -2*r + 3*r + 15. Solve 0 = -r*h + 4*h for h.
0
Suppose -2*x + 3*x = 0. Suppose -5*a + 14 = 3*c, -c = 3*a - 0 - 6. Suppose -5*h + 5*d = -35, -2*d + 4 = 3*h - 2. Solve x = c*q - 5 - h for q.
3
Suppose 4*n + 12 = -2*h, -2*n - 6 = -h + 6*h. Solve h = -y - 2 + 4 for y.
2
Let k(o) = -2*o - 10. Let i be k(-5). Solve i = -2*p + 5*p - 3 for p.
1
Let j be 0/3*(-8 - -4)/(-4). Solve j = -4*k + 5*k - 4 for k.
4
Let g = 0 - 0. Suppose 0 = 2*q - 5*u - 7, 0 = -5*q + 20*u - 23*u + 33. Solve g = -q*r + r - 5 for r.
-1
Let u be ((-30)/9)/(2/(-3)). Let i be 18/4*(-1 - u). Let z be (6/(-9))/(6/i). Solve 5 = z*c - 1 for c.
2
Suppose -7*j - 30 = -j. Let b(x) = -x**3 - 6*x**2 - 7*x - 10. Let p be b(j). Solve 1 = -p*v + v for v.
1
Let q be (-65)/(-15) - (-6)/9. Solve 0 = q*y + 5 - 0 for y.
-1
Let g(h) = -5*h + 1. Let y(a) = a - 2. Let n be y(1). Let c be g(n). Suppose 0 = 2*w - c*w. Solve w = -6*r + 2*r for r.
0
Suppose -4*g + 4 = -4. Solve 1 = g*f - 3 for f.
2
Let x be (-32)/(-6)*3/2. Solve 4*w + x = -0*w for w.
-2
Let x(q) = -q**3 + 16*q**2 - 14*q - 15. Let g be x(15). Suppose 0 = 3*d + 1 - 16. Solve t - 2*t + d = g for t.
5
Let p be ((-24)/(-4))/(4 - 3). Solve -a = -p*a - 5 for a.
-1
Let r = -8 - -11. Suppose r*p - 2*p = 4. Solve -d - p*d + 15 = 0 for d.
3
Let y(l) = 1 - 2*l - 4*l**2 + l + 5*l**2. Let s be y(2). Solve f + 4 = s for f.
-1
Suppose 26 - 14 = 3*l. Solve -2 + l = -y for y.
-2
Let r(l) = -l**3 + 7*l**2 - l + 5. Let y be r(7). Let g be -3 + (-6)/y + 2. Solve -3*u + 1 = -g for u.
1
Suppose 7 = -5*d + 17. Solve -2 = -4*b + d*b for b.
1
Let i(o) = -o**2 + 7*o + 10. Let q be i(8). Let l(z) = -z**3 - 11*z**2 - 10*z + 7. Let r be l(-10). Solve -r*t = -q*t for t.
0
Let z = 14 + -9. Let c = z + -2. Solve c*v = -0*v for v.
0
Let t = -6 - -13. Suppose 85 = 5*d - 0*d. Let u = 44 - d. Solve 0 = -5*n - t + u for n.
4
Suppose 4*l - 12 = -2*j, -79 = -4*j + 2*l + l. Solve -4 = -4*i - j for i.
-3
Let u = 14 + -46. Let g = 28 - u. Suppose -w + 4*w = g. Solve -w = 3*l - 8*l for l.
4
Suppose 8 = 4*w - 2*q, 3*w + 3*q - 12 - 3 = 0. Suppose 36 = y + w*y. Solve -2*g = -5*g + y for g.
3
Let c(i) = 2*i**2 - 3*i + 1. Let j be c(2). Let z(u) = 4*u + 3 - j*u - 4. Let q be z(5). Solve -2*f + 0*f = -q for f.
2
Suppose -2*p + 6*p - 4*g = 8, -4 = -3*p + g. Solve -2*w + 3*w - p = 0 for w.
1
Let t(m) = -8*m + 6. Let p(x) = -x. Let o(y) = 10*p(y) - t(y). Let v be o(-5). Let r be (-30)/(-9) - (-1)/(-3). Solve -z + v*z = r for z.
1
Let i(p) = -p**2 + 4*p + 3. Let z be i(4). Suppose -3*u + 20 = 5. Solve -10 = -z*h + u for h.
5
Let c be ((-48)/(-10))/(22/55). Solve 3 = 3*h - c for h.
5
Let t(j) = -2*j**3 + 7*j + 7. Let s be t(-1). Suppose 5 = 3*r - 1. Let y be 2/4*2*r. Solve -s*q - y = -0 for q.
-1
Let t = 8 - 5. Let w be (t/6)/(2/4). Let b(p) = 2*p**2 - p + 1. Let j be b(w). Solve -j*r = -1 + 9 for r.
-4
Suppose 12 = -2*j - g - 4*g, -j + 12 = -2*g. Solve 0 = j*c - 0*c + 8 for c.
-2
Let c(f) = f**3 - f**2 + 2*f - 1. Let h be c(1). Solve -4 = x + h for x.
-5
Let b(h) = h + 4. Let u be b(-3). Let c be u/(-4) + 25/4. Let g = c - 3. Solve 5*w = g*w - 4 for w.
-2
Let p(a) = a**3 - 5*a**2 - 5*a - 6. Let q be p(6). Solve q*w + 5*w + 5 = 0 for w.
-1
Suppose l = -5*n + 15, -4*n - 2*l = -n - 16. Let c be 3 - 1/n*2. Suppose 0 = 3*j - 8*j. Solve j = 3*f + c*f for f.
0
Let v be (-4)/(6/(6 - 3)). Let n be v/(-6 - 0)*9. Solve i - 1 = -n for i.
-2
Suppose 4*z + 3*a = 13 + 31, 0 = 2*z + 3*a - 28. Solve -r = r - z for r.
4
Suppose 2*z - 3*z = 0. Suppose z*i = -i. Solve -5*k - 5 = -i for k.
-1
Let h = -8 - -14. Solve 2*n = h - 0 for n.
3
Let x = 17 - 12. Suppose 0 = 2*b + 4*z + 10, 4*z = -x*b + 5 - 0. Solve 0 = 3*w - 8*w + b for w.
1
Let c = -5 + 7. Suppose -c*t = -t. Let n(z) = z**2 + z + 4. Let r be n(-3). Solve -2*y + r = -t*y for y.
5
Suppose -2*u = 5*x - 83, -x - 3*u + 42 = x. Suppose 3*s + 6 = x. Solve s*c = c for c.
0
Let o = -9 + -24. Let h = o + 13. Let u be (-5)/h + (-14)/(-8). Solve 0*p + u*p = 0 for p.
0
Suppose 0*i = i + h - 5, 4*i + 25 = 5*h. Solve i = t + 10 - 6 for t.
-4
Let j(y) be the first derivative of y**4/4 - 4*y**3/3 + 2*y + 6. Let m be j(4). Solve -m*x = -3*x + 1 for x.
1
Suppose 0 = -5*j - 21 + 51. Suppose -d + 2*z = j*z - 22, 0 = 5*d - 4*z - 14. Solve 3 = -3*c - d for c.
-3
Suppose -3*p - 4*x = -6*p + 23, 0 = 5*p - 2*x - 43. Solve 8*i - p*i = 4 for i.
-4
Let a be 1/(-3)*(5 + -8). Let o be a*(-1)/1*-3. Suppose -19 = -o*j - 4. Solve -7 - 3 = -j*l for l.
2
Let d(z) = -3*z + 1. Let f be d(-2). Solve 3*a + f = 19 for a.
4
Let j(f) = -f - 5. Let b be j(-11). Suppose b = 5*w - 4*z - 14, 4*w + 4*z = -20. Solve w*p + 2*p + 6 = 0 for p.
-3
Suppose 0 = -3*t + 5*a + 109, 5*t - 2*a = -41 + 191. Suppose -t = 2*d - 5*f, d = 4*f - 3 - 17. Let l be (d/3)/((-5)/15). Solve v - 9 = -l for v.
5
Let o(p) = -6*p. Let c be o(-1). Suppose c*g + 8 = 10*g. Suppose m - 1 = g. Solve 0*k = k + m for k.
-3
Let s(y) = y**2 - 8*y + 10. Let n be s(7). Let c = n + 5. Solve -2*d - 2*d = -c for d.
2
Suppose q = -2*q. Let x be (4 + 1)/(4/4). Suppose -x*t - 4*a + 1 = -1, t + 3*a = -4. Solve q = 2*s - t for s.
1
Suppose -3*w - 70 = 5*o, -w + 79 - 6 = -4*o. Let s = 26 + o. Solve 0 = 3*q - 0*q - s for q.
3
Let n be 3/(-2 - 1) - -1. Suppose n = -0*j + 2*j + 32. Let k = 4 - j. Solve 0 = 3*g - 7*g - k for g.
-5
Let a be 3 + (3 - 3) - 3. Solve -2*s + 7*s - 5 = a for s.
1
Let t be (12/9)/((-4)/(-6)). Let x be -1 - 1 - (-10)/2. Solve -t = -x*a + 1 for a.
1
Suppose 4*l - 14 + 2 = 0. Suppose -l*s = -3 - 15. Solve -4*o = -2*o - s for o.
3
Suppose -r = -2*r + 3. Solve -r*k - 4 = -1 for k.
-1
Suppose -v + 15 = -2*r, 5*v + 5*r = -0*v. Suppose -5*l = -3*t - 25, -v*t = -l - 0*l + 5. Solve z - l*z + 20 = 0 for z.
5
Let v(w) = -w**3 + w**2 + w + 5. Let r be v(0). Suppose -5 + 0 = -h, r*d - 5*h + 20 = 0. Solve -3*s = -d + 4 for s.
-1
Let x(k) = -2*k**3 - 2*k - 1. Suppose -5*s - 9 - 4 = -4*o, -1 = -s - o. Let v be x(s). Solve 0 = p + 7 - v for p.
-4
Suppose -4*p + 18 = 3*i, 4*p - 20 = -i - 3*i. Suppose 2*t - l - 1 = -0*l, -11 = i*t - 5*l. Suppose -3*k = -2*k - 4. Solve 0 = -3*g + t*g + k for g.
4
Let l(k) = k + 6. Let b be l(6). Solve 4*s + b = s for s.
-4
Let b(m) = m**2 + 7*m - 30. Let s be b(3). Solve i = -s*i +