2 - 2*z. Let g be p(3). Solve x*t + j*t + g = 0 for t.
-1
Suppose 0 = -x + 5 - 4. Solve -3*m + x = 4 for m.
-1
Let m(g) = g**3 + 6*g**2 - 4*g + 5. Let s be m(-7). Let j(y) = y**3 - 7*y**2 - 4*y + 6. Let q be j(7). Let i = s - q. Solve -i*n + n = 0 for n.
0
Let q = -61 + 66. Solve -x = -q*x - 20 for x.
-5
Let w = 38 + -35. Solve 0 = -0*u + w*u - 12 for u.
4
Let u(b) = -b + 5. Let x be u(0). Solve 6 = -x*r - 9 for r.
-3
Suppose 3*a + 16 = -20. Let h be 4*2*(-3)/a. Let j = h + -1. Solve -4*r - j = 7 for r.
-2
Suppose 3*f - 5*f = -44. Suppose m + f = 3*m. Suppose -3*x + m = -t, -19 = -3*x - t + 6*t. Solve x*w - 9 = 6*w for w.
-3
Let j(x) be the first derivative of x**4/4 + 5*x**3/3 + 2*x**2 + 5*x - 5. Let w be j(-4). Solve w*i + 11 - 26 = 0 for i.
3
Let x(j) = -j**3 + 11*j**2 - 10*j + 2. Let y = -23 - -33. Let z be x(y). Suppose -g + 2 = z*m, 4 = -5*m - 2*g + 9. Solve 5*a = 6 - m for a.
1
Suppose -b - 2*b = 0. Solve -2*o + 5*o - 9 = b for o.
3
Let r be 8/(-6)*(-6 - -3). Solve r*i + 6 = -6 for i.
-3
Let c be 6 + 2/(-1) + -8 + 4. Solve c = -3*q - 0*q + 9 for q.
3
Suppose 2*v + 11 = 15. Suppose 0 = k - v*k + 12. Solve 0 = -a - 3*a - k for a.
-3
Let q be -3*3/(-18)*10. Solve -q*h = -3*h - 4 for h.
2
Let z(h) = 6*h**2 - 4*h**2 - 1 + 10*h**2. Let i be z(-1). Suppose -x + 2*x = -4*w + 13, 5*w + 3*x = i. Solve -w*p + p = -6 for p.
2
Let l(v) = -v**2 - 3*v + 4. Let x be l(-3). Suppose 5*y = 5*u - 15, u - x*y = -0*y - 3. Solve -2*m = -u*m for m.
0
Suppose 2*x = -4*d - 14, x + 0*x = 2*d - 3. Let j(i) = i**2 + 6*i + 5. Let o be j(x). Solve -y = 5 - o for y.
-5
Let x(t) = -t**2 - 6*t + 4. Suppose -21 + 9 = 2*k. Let n be x(k). Solve 0 = -g + n*g for g.
0
Suppose -a + 6 = 2*a. Solve 2*v = -a*v + 8 for v.
2
Let b(t) = -t**3 - t - 3. Let x be b(0). Let o = -2 - x. Solve o = u + 4 for u.
-3
Suppose -9*w + 11*w = 18. Solve -4*n + w = -3 for n.
3
Suppose 5*p = 3*k - 20, p - 4*p + 17 = 4*k. Solve -3*w = -4*w + k for w.
5
Suppose 5*x - 31 = 4*l, -22 - 4 = -2*x + 5*l. Suppose 8 = 2*r - 5*p, -4*p = -x*r - 3 + 15. Suppose j + 7 = -r*b + 1, -4*j = -2*b - 12. Solve j = 3*w - 1 for w.
1
Let u(m) = 2*m - 7. Let p be u(7). Suppose p*j + 18 = 4*j. Let k = j - -8. Solve -f + 2*f = -k for f.
-2
Suppose -10 = 2*g - 3*g. Suppose -6 = c - g. Solve -5*l + c + 16 = 0 for l.
4
Let v(o) = -3*o**2 + 5*o + 5*o**2 + o**2 + o**2. Let w be v(-5). Suppose -4*m = m - w. Solve 4*n + m = -n for n.
-3
Let t be (10/3)/(2/(-3)). Let v be (-2)/(1/t*2). Solve 0*z - 15 = v*z for z.
-3
Let s = 2 + 0. Let p be ((-1)/(-1))/(s/4). Let i be 1/3*(28 - 1). Solve -3 = p*v - i for v.
3
Let k = 5 + -2. Suppose 3*l + 3*m = -3, m = 3*l + k*m - 1. Solve 6 = l*z + 18 for z.
-4
Suppose -16 = -4*d + 20. Suppose -3*z + d = x - 9, 0 = 2*x + 4*z - 34. Solve 3*a + 0 = -x for a.
-5
Suppose 25 = -5*o, 3*n - 4*o + 2*o = 22. Let a = n + -5. Let j = a + 2. Solve j = 3*c + 4 for c.
-1
Let c(j) = j**3 - 6*j**2 + 3*j - 14. Let t be c(6). Solve 0 = 3*o + o + t for o.
-1
Let u = -46 - -47. Solve 0 = -t + u - 6 for t.
-5
Let w(j) = -j**3 - 12*j**2 - 2*j - 10. Let d be w(-12). Let y be 10/45 - (-2)/(-9). Solve 3*g - 2 + d = y for g.
-4
Let j = 2 - 0. Solve j*h = -2*h - 4 for h.
-1
Let z(x) = x**2 + x. Let v be z(0). Solve v*q = q + 4 for q.
-4
Let u = 9 + -7. Suppose -u*z + 6*z - 8 = 0. Solve 0 = 3*w + z*w - 10 for w.
2
Let k(m) = -2*m + 16 + 2*m - m. Let g be k(9). Solve -5*r + 2 - g = 0 for r.
-1
Suppose 0 = 4*i + i - 25. Solve -j + i = 2 for j.
3
Suppose 0 = 2*n - 4*n + 4. Suppose -4*f - 2 = n. Let j = -1 - f. Solve j = g - 3*g for g.
0
Let t = 14 - 8. Solve 2*f + t + 0 = 0 for f.
-3
Let r be (26/2 - 1)*1. Suppose -4*c + 0*c = -r. Solve -3*z = c + 12 for z.
-5
Let m be ((-1)/3)/(8/48). Let d be (-4)/m + -1 + 1. Solve 0 = 5*q - 3*q - d for q.
1
Let a(s) = -s**2 + 7*s - 5. Let n be a(5). Solve -n = 2*r + 5 for r.
-5
Let t(o) = o**3 - 3*o**2 - 8*o + 2. Let q(d) = -2*d**3 + 6*d**2 + 17*d - 4. Let f(i) = -3*q(i) - 7*t(i). Let v be f(4). Solve c + 1 + v = 0 for c.
-3
Suppose 3*k + 5 = 5*g, 14 = 5*k - 3*g + 1. Let j = k + 2. Let l = -3 + j. Solve 2*o - 4 = l*o for o.
-2
Let y = 0 - 0. Suppose 5*a - z + 2 = 0, y = -a - z - 1 + 3. Solve -3*o + o + 8 = a for o.
4
Suppose c - 35 = -3*q, c + 3*q = -2*q + 45. Let a = c - 14. Solve -4*l + a = -2 for l.
2
Suppose -4*k - 35 = -4*c + 1, c + 4*k = -16. Suppose -c*r = -6*r + 6. Let d = -15 - -21. Solve -r*w - 12 = -d*w for w.
4
Suppose -3*u - 12 = 4*o, -3*u + 12 + 18 = -3*o. Let c = o + 14. Solve 0*a - 2*a = c for a.
-4
Let f be (-60)/(-90) + 26/6. Solve 5 + 0 = -f*a for a.
-1
Suppose 4*s + 0*s = 48. Let z = 20 - s. Solve 2*u - z = -0*u for u.
4
Let z be (-3 + 2)/(-3) + (-20)/(-3). Solve 0 = -2*k + 1 - z for k.
-3
Suppose -5*n - 10 = 0, k - 3*n + 1 = -5. Let f = 88 + -61. Let z = k + f. Solve c + 4*c - z = 0 for c.
3
Suppose 0 = 10*w - 5*w - 30. Solve t + w = -2*t for t.
-2
Suppose 27 + 23 = 2*u. Solve -4*r - u = r for r.
-5
Let d(i) be the first derivative of -i**3/3 - 5*i**2 - 2. Let y be d(-8). Solve 0 = -2*z - 2*z + y for z.
4
Let v(b) = b**2 - 5*b - 8. Let g be v(7). Solve -5*d - 21 = -g for d.
-3
Suppose 3*f = 7 + 2. Suppose -2*b + 3 = -f. Solve -b*a = -a for a.
0
Let l = -7 + 9. Solve -l = -r - 1 for r.
1
Let k = 2 - 1. Let r(a) = a + k - 1. Let v be r(4). Solve 1 = p + v for p.
-3
Let l be (1 - 2)*(3 + -3). Let w be 3 + (l + 2)*-1. Solve 0 = -3*y + 13 - w for y.
4
Let v(u) = u**3 + 5*u**2 - 7*u - 4. Let w be v(-6). Let y = -6 + 22. Let f be y/9 - (-4)/18. Solve -4 = w*n - f for n.
-1
Suppose 0 = 4*w - 4*n + 4, 2*n + 7 = w + 4*w. Let o = 58 + -24. Let u = -14 + o. Solve -2*q = w*q + u for q.
-4
Let b = -2 - 0. Let f = b + 17. Solve c + f = -2*c for c.
-5
Suppose 0 = -2*c + 10 - 6. Solve -3 = h + c for h.
-5
Suppose a - 6*a = 5*l, 2*a - l = 3. Solve -a = 4*s + 11 for s.
-3
Suppose 5*u - 164 + 39 = 0. Solve 0 = -2*y - 3*y - u for y.
-5
Let x be (-4 - -3)/((-1)/4). Solve -x - 5 = -3*s for s.
3
Let j be (-1 + 1)*(-4)/(-12). Suppose -i + 0*i = j. Solve i = 2*d + 2*d for d.
0
Let v(f) = -2*f - 1. Let c be v(-1). Solve -4*k - c = -13 for k.
3
Suppose 47 = -4*b + w, 5*b - w + 33 + 25 = 0. Let t(j) = 7*j + 1. Let x be t(2). Let h = b + x. Solve 0 = 2*q - q + h for q.
-4
Let h(f) be the third derivative of -f**5/60 + f**3/6 - 2*f**2. Let s be h(-1). Suppose 2*l + k - 16 = -l, s = 2*l - 2*k. Solve 0 = v - 5*v + l for v.
1
Suppose -2*j = -5*h - 26, 4*h - h = -12. Let i(k) = k - 1. Let z be i(j). Let w(d) = -d**2 - 7*d + 1. Let l be w(-6). Solve 0 = -o - l + z for o.
-5
Let q(l) = -3*l + 2. Let r be q(0). Solve -4*m + r*m = 0 for m.
0
Let v(o) = o**3 - 4*o + 3. Let y be v(2). Suppose -18 + y = -c. Solve 2*l + c = -l for l.
-5
Let j(c) = -2*c**3 + 4*c**2 - c + 2. Let d be j(2). Solve d = 4*b + b for b.
0
Let g(b) = -b**2 + b. Let t be g(2). Let p = 2 + t. Solve -k + 6*k - 20 = p for k.
4
Let s = 15 - 15. Solve s = i + 4 - 0 for i.
-4
Suppose 5*y - 20 = -a, 0 = 4*a - 3*a - 3*y - 20. Let i(w) = -w**3 + 4*w**2 + w + 2. Let o be i(4). Solve 0 = t - o*t + a for t.
4
Suppose -b + 0 = 3. Let q be (4/6)/(b/(-9)). Suppose -19 - 6 = -j - 3*t, -4*t - 10 = -q*j. Solve -5*x + j = -2 for x.
3
Let u(h) = -h**3 - 14*h**2 + 2. Let t be u(-14). Solve t*o - 20 = -3*o for o.
4
Let w(g) = -g + 1. Let o be w(-1). Let r be 10*o/(-10)*-2. Let p be (6/21)/((-2)/(-14)). Solve -r = -p*c + 2 for c.
3
Let h(k) = 2*k**2 + 4*k. Let r be h(-3). Solve 2*q = -0*q - r for q.
-3
Let k = -6 + 4. Let t be 0*(k/(-4) + 0). Solve 5*h = -t*h for h.
0
Let s(y) = y**3 - 6*y**2 + 5*y + 3. Let x be s(5). Let t(h) = -h. Let v be t(-2). Solve x*c + v*c + 10 = 0 for c.
-2
Suppose 0 = 2*s + 3*p - 5*p - 18, -3*s = -4*p - 26. Solve c - s + 14 = 0 for c.
-4
Suppose u - 2*x - 23 = -6*x, -2*x = 4*u - 22. Solve -3*n + 3 = -u for n.
2
Let k = -2 + 8. Let r = k - 4. Suppose -2*v - 2*v = -p - 6, -4*p = -3*v - r. Solve 0 = -v*n + 3*n for n.
0
Suppose -13*c = -15*c. Let o be c - (3 + 0 - 3). Solve 2*f = -o*f - 4 for f.
-2
Let v(x) = -x**3 + 7*x**2 + x - 5. Let q be v(7). Let a = 6 - q. Solve p - 1 = a for p.
5
Let k be (-80)/(-14) - 4/(-14). Suppose 3*c + 13 = -2*s, 0 - 5 = -c + 4*s. Let w be (4/c)/(k/(-9)). Solve 0 = -f - 0*f - w for f.
-2
Suppose 8*j = 3*j + 5. Solve 0*g - j = g for g.
-1
Let k be (0 - 0)*4/(9 - 1). Solve k = -q - q + 6 for q.
3
Let s = 5 - 