 = -3*k + p*f + 14, f + 12 = 4*k - f. Solve 7*h - k*h = 20 for h.
4
Suppose 2*d = 7*d. Solve 0*u + 3*u - 12 = d for u.
4
Let b be (35/(-14))/((-2)/4). Solve -b*x = 2 - 7 for x.
1
Let r(d) = -d**3 - 7*d**2 - 6*d + 3. Let m be r(-6). Suppose -20 = -p - 2*s, 2*p = 4*p - 4*s. Solve f - p = m*f for f.
-5
Let x = 0 + -7. Let p = -4 - x. Let j be (-14)/(-4) + 18/12. Solve 2*c + p = j for c.
1
Let r(m) be the first derivative of m**3/3 + m**2/2 - 5. Let w be r(-2). Solve -w*q - 1 = 7 for q.
-4
Let x(s) = -s**2 - 6*s - 5. Let q be x(-4). Let b be (-5 - -3) + 8 - q. Suppose -8*w + 10 = -b*w. Solve -3*o + w*o + 1 = 0 for o.
1
Let b be (3 - 1) + (0 - -1). Let u be 0/(5 - 8/4). Let h = b + u. Solve -2*c - 15 = h*c for c.
-3
Let f(g) = g**3 - 9*g**2 - 10*g + 12. Let z be f(10). Solve 0 = q - 5*q + z for q.
3
Let s = 4 + -7. Let x = -1 - s. Solve -q = x*q + 6 for q.
-2
Let c = 64 + -48. Solve 0 = 5*j + c - 36 for j.
4
Suppose 0 = 4*u - u - 24. Let o be 4 + -8*(-2)/(-4). Solve -2*q = -o*q + u for q.
-4
Suppose v - 5*v + 20 = 0. Suppose 24 + 30 = o. Suppose -2*x = -4*r - o, 4*x - 56 - 2 = -2*r. Solve v*j - x = -2 for j.
3
Suppose 2*a + 7 + 31 = k, k - 101 = 5*a. Let i = -4 - a. Solve -5*t = i + 3 for t.
-4
Let m be (-6)/(-36) - (-166)/12. Suppose o + m = 3*o. Solve -3*g = -o - 5 for g.
4
Let g(t) = -t**3 - 14*t**2 - t - 13. Let v be g(-14). Solve v = d - 0 for d.
1
Let q(j) = -2*j**2 - 8*j - 8. Let y be q(-4). Let f = 8 + y. Solve -l - 3 = -f*l for l.
-3
Let v be (-2 - -2 - 1)*2. Let t = v + 2. Solve t = -0*h - 4*h + 12 for h.
3
Suppose -8*w - w = -18. Solve w*y - 12 = 6*y for y.
-3
Let d(f) = -4 + 2 - 4*f + 2. Let w be d(-1). Solve 0 = -w*a - 17 + 5 for a.
-3
Suppose 5*f - 28 = f. Let n = -3 + f. Let o be 1/4 + 1245/60. Solve -n*b - o = -5 for b.
-4
Suppose -32*s = -29*s - 12. Solve 2*m + s = 2 for m.
-1
Suppose 0 - 4 = -2*a. Suppose 14 = 4*r + 5*g + 1, 5*r - 6 = 4*g. Let n be (1 + r + -5)*-2. Solve 3*v + n = -a for v.
-2
Let f(g) = g**3 - 3*g**2 - 2*g - 2. Let x be f(4). Suppose 0 = -5*t + 42 + 3. Solve x + t = 5*c for c.
3
Let f be 2*(2/4 + -2). Let t be f*1 - (-4 + -2). Solve -t*v - 3 = 12 for v.
-5
Let q be -2 + (-2)/(1 + 1). Let l = q + 5. Solve -l*v + 6*v = 0 for v.
0
Suppose -10 = -6*c + 2*c - 5*j, 17 = 3*c - j. Let r be 1 - c*(-3 + 2). Solve -3*x = 6 + r for x.
-4
Let o = -18 + 22. Solve d - o*d - 3 = 0 for d.
-1
Let u be (-21)/(-12) + 2/8. Let c(v) = v**3 - 2*v**2 + 2*v - 2. Let t be c(u). Solve -5 + t = -g for g.
3
Suppose 5 = -3*s + 47. Suppose 3*w - 13 = -4*z, 0 = -4*z - w - w + s. Suppose 7 - 16 = z*i + 3*a, 6 = -2*a. Solve i*j + 20 = 4*j for j.
5
Suppose -31*t = -29*t - 4. Solve -11 + 5 = t*z for z.
-3
Let f = -4 - -6. Suppose -5*g + f = -8. Solve -8 = g*d + 2 for d.
-5
Let i(n) = -2*n. Let s be i(-1). Solve -5 = s*k + 5 for k.
-5
Suppose -2*p + 7 = -5*q + 22, -4*q + 12 = 0. Solve p = -t - 4*t + 5 for t.
1
Let n be ((-8)/(-5))/(32/80). Suppose 2*u + n = 8, -5*d = u - 17. Solve -d*z - 3 + 15 = 0 for z.
4
Let q = -1 - -4. Suppose -5*o + 35 = -2*w, 0 = -6*w + 2*w. Solve -q*k + 5 = -o for k.
4
Let a = -1 - -7. Suppose -q - 2*q = -a. Suppose -q*r = -4*r. Solve -o + 2*o = r for o.
0
Let u(x) = -2*x + x + 4*x + 5*x**2 - 4*x. Let b be u(1). Solve 5*s = 16 + b for s.
4
Let x(t) = 2*t - 6. Let d be x(4). Solve n + 0 = d for n.
2
Let b be 1 - (1 - 3)/2. Suppose -5*h - b*a + 3*a + 45 = 0, -h + 4*a + 28 = 0. Suppose 4*d - h = 0, m = 4*d - 6*d + 4. Solve g = -m*g for g.
0
Let o(p) = p**3 + 6*p**2 + 4*p + 5. Let w be o(-3). Solve -w = -9*f + 4*f for f.
4
Let d be 130/35 - 4/(-14). Suppose 3 + 9 = d*h. Solve 0 = -0*o - h*o for o.
0
Let x = -148 + 151. Solve x - 18 = 5*l for l.
-3
Let r be (-2 + -6)/(-6 - -4). Suppose 0 = -2*b - 1 + 5. Suppose 8 = 2*u - 4. Solve r*v - b*v = -u for v.
-3
Let g(s) = -s**2 + 10*s + 3. Let r be g(10). Let y = -1 + r. Solve -w - 3 = y*w for w.
-1
Let o(t) = -2*t**2 + t + 15. Let a be o(0). Suppose 0*c = 5*c - a. Solve c*b = -2*b + 15 for b.
3
Let o(c) = c**3 + 8*c**2 + 6*c - 4. Let n be o(-7). Let f be 0 + (n - (2 + -2)). Solve -3*g + f = -6 for g.
3
Suppose -4 = -d - 0*d. Solve -d*t + 2*t - 8 = 0 for t.
-4
Let c = 18 + -22. Let d = -2 - -3. Let p = d - c. Solve -6*r + r - p = 0 for r.
-1
Suppose 0 = -4*v + 21 + 11. Solve -3 = 5*q - v for q.
1
Let j be -1 - (-6 - -1*1). Let s be (0 + -2)*1/(-2). Suppose 2*u + s = 7. Solve -u*q - j = q for q.
-1
Suppose 0 = -10*g + 6 + 4. Solve -2*k - g = -k for k.
-1
Let c = -10 - -10. Suppose 0 = 4*f - 2*q - 8 - 18, -5*f + 3*q + 34 = c. Solve 0 = 3*s + 7 + f for s.
-4
Let v(w) = w**3 + 17*w**2 + 3. Let m be v(-17). Solve m*u = 3 + 3 for u.
2
Let l be (-3)/((-10)/8 - 2/8). Solve -3*b = -l*b + 1 for b.
-1
Suppose 20 = 6*r - 34. Let s(i) = -2*i**2 + 2*i + 1. Let c(w) = 3*w**2 - 2*w - 1. Let d(a) = 3*c(a) + 4*s(a). Let o be d(-3). Solve -o*t + r = -t for t.
3
Let i be (24/(-10))/(24/80). Let a = i + 10. Solve 3*p = a*p - 4 for p.
-4
Let y = -14 - -9. Let w be (-2)/y*(0 + 5). Let a = 23 + -20. Solve 0 = a*x - w*x - 2 for x.
2
Suppose w - v = 5, -w - v - 5 = -4*w. Solve n + 9 - 6 = w for n.
-3
Suppose -3*c = -4*x - 19, 3*c = x - 6*x - 17. Let m = 6 + c. Solve -4*d + 13 = -m for d.
5
Suppose -3*w = -4*f + 2*w, 3*w = 0. Solve 3*v + 2*v = f for v.
0
Suppose -4*y - 3*k = 6, -4*y - 9 = 5*k + 1. Suppose 5*j = -y*j + 10. Solve 1 + 5 = j*b for b.
3
Let u(h) = 2*h**3 + 16*h**2 - h - 4. Let f be u(-8). Suppose 8*j - 3*j - 10 = 0. Solve f - 6 = j*y for y.
-1
Let s = 3 + 5. Suppose -2*c - 2*c = -s. Solve -c*q = 6 + 4 for q.
-5
Let t(c) = c**2 - 4*c + 7. Let j be t(5). Let l = j + -7. Solve g = l*g for g.
0
Let d = -5 - -9. Suppose -3*k + d*s + 16 = -2*k, -2*k = 5*s + 20. Let j = 5 - k. Solve -i = -2*i - j for i.
-5
Let i be (6 - 12)*2/(-6). Solve -1 + 7 = -i*y for y.
-3
Let d(u) = u**3 + 7*u**2 + 6*u + 2. Suppose 8 + 10 = -3*s. Let j be d(s). Suppose -f + 3*z + j = 0, 2*z - 13 = -3*f + 4. Solve 0 = -5*t + 20 + f for t.
5
Let q(d) = -d + 2. Let p be q(5). Let z be (4 - -2)/2 + p. Suppose z = -f - 2*f. Solve f*s = -s for s.
0
Let s(x) = -x - 1. Let g be s(-4). Let w be (-1)/3 + 13/g. Let y be ((3 + -1)*1)/1. Solve -w*r - y = 6 for r.
-2
Let b = 256 + -152. Suppose 0*r + 3*r - 75 = -3*t, -5*t = 4*r - b. Let s = r + -15. Solve 3*o = o + s for o.
3
Suppose 3*w - 31 = -x, -4*x - x + 4*w = -60. Solve 0*f + 4*f - x = 0 for f.
4
Let l be 24/84 - 4/14. Solve l*g = -5*g for g.
0
Let w = 0 - -2. Suppose -n + 2 = i, 0*i - w*n - 4 = -2*i. Solve i*j = j for j.
0
Suppose 4*p + 8 = 3*w, w + 2*p = -p + 7. Suppose 5*t = w*t. Solve -2*l - 3*l + 10 = t for l.
2
Suppose 0 = 4*q - 2*q - 2*c, 3*q = 5*c - 8. Suppose -d + q + 5 = -2*u, 4*u = -12. Suppose -d*y = y - 36. Solve -y = 3*p - 0 for p.
-3
Let l(j) be the second derivative of -j**3/6 - j**2/2 + 2*j. Let y be l(-5). Let b be -1*1 + (y - -4). Solve -3*a - 4 = -b*a for a.
1
Let r be 3/15 - 21/5. Let i be r/18 + 260/36. Solve -i*n + 3*n = -16 for n.
4
Let a = -144 + 149. Solve -a*v = 1 - 6 for v.
1
Suppose 2*c = -3*b - 16, 2*b - 3*b = -3*c - 2. Let u = b + 7. Suppose 0 = -u*k - k. Solve f - 2 + 6 = k for f.
-4
Suppose 2*v + 48 = -v. Let s = -14 - v. Solve f - s = -0*f for f.
2
Suppose q = -3*v + 14, -3*v + 3*q - 9 = -v. Solve -2 = -p - v for p.
-1
Let a be 1 + 3 - (-3 - -5). Suppose 3*v - 2 = a*v. Suppose -v*y = -y. Solve y*o + 3*o = -9 for o.
-3
Suppose -5*j + 44 = 3*o - 81, j = 5*o - 171. Suppose 2*g = -3*h + 11 + 14, -4*h - 3*g + o = 0. Solve h*q = -17 - 3 for q.
-4
Suppose -2*v - 4 = l + 4*l, -5*v = -5*l + 10. Solve p = -l*p + 1 for p.
1
Let j(b) = 4*b**3 - 10*b**2 + 6*b - 3. Let t(q) = -3*q**3 + 9*q**2 - 6*q + 2. Let x(z) = -4*j(z) - 5*t(z). Let m be x(-6). Solve 0 = m*u - 0*u for u.
0
Suppose 2*c + 3*p - 25 = 0, 0*c - 3*c + 4*p = 5. Suppose -i + 2 = -5. Let o = i - c. Solve o*a = a for a.
0
Let y(f) = 3*f**2 - 2*f - 3. Let s be y(-2). Let t be 3*3/((-18)/(-4)). Let z = s + t. Solve 4*n = -n + z for n.
3
Let l(q) = -q**2 + 10*q + 3. Let i be l(10). Solve 0*m + m + i = 0 for m.
-3
Suppose 0 = -4*w - q + 13, 0*q = w + 2*q - 12. Solve -2*v - w*v = 20 for v.
-5
Let m(u) = -3*u - u + 0*u - 4. Let q be m(-2). Solve -11 = -3*k + q for k.
5
Let d(k) = -k**2 + 8*k - 15. Let i be d(5). Let j be 5 - 3/2*2. Solve i = 2*u + j + 8 for u.
-5
Let p be 1/(-4 + (1 - -2)). Let j be (1 - (p + -4)) 