). Let u(j) = j**2 + 3*j + 1. Let o be u(d). Solve -o*g = -g for g.
0
Let b(m) = -m**2 - 2*m - 1. Let x be b(-2). Let o = x - -2. Solve -5 = -3*d + o for d.
2
Suppose -3*p = -7*p + 16. Solve -p = 3*j - j for j.
-2
Suppose -v - 3 = -5. Solve -v = 2*r + 4 for r.
-3
Let i(q) = -q**2 - 12*q - 7. Let s be i(-11). Solve 0 = -s*f - 15 - 5 for f.
-5
Suppose -12 = -2*w - w. Let h = -86 - -91. Solve w*f + h + 3 = 0 for f.
-2
Suppose 0*f - 3*f + 12 = 5*t, f - 4 = 0. Suppose -s = -t*s - 1. Solve -5*c - 4 = s for c.
-1
Let k(h) = -2*h + 16. Let z be k(8). Solve r + 2 + 1 = z for r.
-3
Let o = -7 + 3. Let i = 8 + o. Suppose -u - 3*u = 3*f - 17, i*f = -u + 14. Solve 2 = f*l - 2*l for l.
2
Let g(z) = -12*z + 38. Let l be g(3). Let v be -2 + 5 + (0 - 0). Solve l*s = -1 + v for s.
1
Suppose -d + 4 + 2 = 0. Solve p + p = d for p.
3
Let z(g) = g - 3. Let t be z(5). Suppose 2*s + 2 = 5*v - 0, -t*s = -8. Solve -v*u - 16 = -6*u for u.
4
Suppose 2*m - 34 = -3*i, 4*m + 0*m - 5*i = 24. Suppose 0 = 5*v - m - 4. Let h(z) = -z**2 + 8*z - 8. Let s be h(6). Solve v*d - 11 = s for d.
5
Suppose 0 = -2*n - 1 - 1, 0 = q - 2*n - 7. Let c(z) = -z**3 + 6*z**2 - 3*z - 6. Let r be c(q). Solve 2*a - r*a = -4 for a.
2
Let g(k) = -8*k + 1. Let u be g(-1). Let m be (-14)/(-2) + -5 + 5 + -3. Let j(l) = l**3 + 9*l**2 + 9*l + 9. Let o be j(-8). Solve -m*h = -u + o for h.
2
Let a(j) = 2*j**2 + 1. Let h be a(0). Solve 2*p - h - 3 = 0 for p.
2
Let o(q) be the third derivative of q**4/24 - 3*q**3/2 + 2*q**2. Let w be o(9). Suppose -v + 3*r + 20 = 0, -3*v - 2*r + 5 = -w. Solve -v*z + 1 = 26 for z.
-5
Let x be 42/15 - 1/(-5). Solve 0 = -g + 2*g - x for g.
3
Let x(o) be the first derivative of -o**3/3 - 2*o**2 - 4*o + 1. Let u be x(-3). Let f be (0*(-3)/(-6))/u. Solve -4*k - 12 = -f*k for k.
-3
Suppose 0 = 3*m - t - 14, m - 3 = 4*t - 13. Solve -2 + m = -4*p for p.
-1
Let s(f) = -f**2 - 13*f - 10. Let c be s(-12). Suppose 4*m - 6 - c = 0. Solve -4*t = -m - 6 for t.
2
Suppose -r + 10 = -6*r, -4*r = 5*q - 42. Suppose 0 = 5*j - q - 5. Solve j*p = p for p.
0
Suppose -4*v + 93 = 5*r, -3*v + 75 = 2*v - 2*r. Let j = v - 12. Suppose w + 2 = -j*t, t + 5 = 2*w + 2*t. Solve -w*k + k = 10 for k.
-5
Let t(p) = -3*p - 4*p + 7 + 2*p + 4*p. Let x be t(5). Suppose -3*b - x*b = -5. Solve -3*w - 2 = b for w.
-1
Let h(o) = o**3 - 6*o**2 + 3*o - 15. Let a be h(6). Solve a*v = -2*v for v.
0
Let v be 4/(-10) - (-34)/10. Let c = v - 1. Solve c*o + 2*o - 12 = 0 for o.
3
Let p be 8 + -2 - (-1 + 1). Let c(d) be the third derivative of d**6/120 + d**5/15 + d**3/3 - 2*d**2. Let i be c(-4). Solve -4*u + p = -i for u.
2
Let f = -4 + 6. Let v be (10/(-15))/(f/(-9)). Suppose -v + 13 = 5*q. Solve 4*u = q*u for u.
0
Suppose 3*t + 2*k = 15, -26 = -5*t + k - 4*k. Let a = 13 - t. Solve -o = o + a for o.
-3
Suppose 3*i = -5*y + 4 + 6, -5*y = 5*i. Solve 15 = y*s - 0 for s.
3
Suppose -21 = -2*h - 5. Let v(a) = a**3 + 8*a**2 + a + 8. Let u be v(-8). Suppose 3 = y - u. Solve -t + h = -y*t for t.
-4
Suppose -3*z = -4*g - 3, -2 = z - 3*z + 5*g. Let p be (1 - z - 0)/(-4). Solve 5*y + 24 - 9 = p for y.
-3
Let l be 0 + (-1 + 4 - -1). Solve 0 = -l*v + 1 + 3 for v.
1
Let y = 7 - 5. Solve 3*s + y + 1 = 0 for s.
-1
Let x(k) = k**2 + 3*k - 7. Let q be x(-6). Let z be q - (-3 + 2 - -1). Solve 2*b = -z + 1 for b.
-5
Let y(q) = -q + 1. Let t be y(-1). Solve t = -j - 2 for j.
-4
Let w be 2/(-5) - 2/(-5). Suppose 2*o = 11 - 7. Let v be w + -2 + o + 4. Solve -2*y + v*y = -10 for y.
-5
Let b be -1 - 0 - (-3 - -2). Let k be -1 + (-3 - -4 - -4). Solve -k*t + 8 = -b*t for t.
2
Suppose 0 = -12*k - 5 + 41. Solve 2*l = -k*l - 20 for l.
-4
Let f be (-4 - 28/(-3))*6. Solve 5*a = -7 + f for a.
5
Let l(h) = h**3 + 7*h**2 - 7*h + 10. Let q be l(-8). Suppose 0 = -5*y - q*a - 0*a + 27, 4*y - 5*a = 15. Suppose -y*d + 9 = -16. Solve -d*v - 17 = -2 for v.
-3
Let c(y) = y**3 - 8*y**2 + 7*y + 8. Let g(a) = a**3 - 7*a**2 + a. Let b be 5 - (-2 + 0) - 0. Let n be g(b). Let p be c(n). Solve 0*s - 4*s = -p for s.
2
Suppose -20 = -3*q - 11. Solve 0*z - 3 = -q*z for z.
1
Let x(w) = -w. Let j(f) = -f. Let t(g) = -2*j(g) + 3*x(g). Let i be t(-1). Solve i = -o - 0 for o.
-1
Let d = -4 + 6. Let g be ((-4)/(d/(-2)))/1. Let k = -94 - -94. Solve -2*r + 0*r + g = k for r.
2
Let y be (7 - 6)/((-2)/(-14)). Let p = -5 + y. Solve -x - p = -0*x for x.
-2
Let z be (-1)/(-3) - 56/(-12). Let l = z + -5. Suppose 15 = -0*j + 3*j. Solve 20 = -j*y - l*y for y.
-4
Let p = -12 + 14. Solve -2*z - 6 = p for z.
-4
Suppose 0 = -i + 5*i - 28. Suppose 4*o - i = 5. Solve m = -o*m for m.
0
Suppose -r + 6*r + 10 = 0. Let l = 2 - r. Suppose l*q - 11 = -3. Solve 0 = -q*f + 4*f - 6 for f.
3
Let o(j) be the third derivative of j**5/30 - j**4/8 + j**3/3 + 4*j**2. Let b be o(2). Solve 4*u = 2*u - b for u.
-2
Let s be (24/(-3))/(4/(-10)). Solve -2*v + s = 2*v for v.
5
Suppose 0 = -9*n + 4*n. Let a(p) = -2*p - 2. Let f be a(-2). Suppose d = 4*s - 4, -5*s + s + 20 = d. Solve n*j - d = f*j for j.
-4
Suppose 0 = 4*k + 2*g - 12, -8*k + 4*k = -4*g - 36. Solve k*n + 20 = n for n.
-5
Let f(h) = -h**3 - 4*h**2 + h + 1. Let w be f(-5). Let r be w - ((-18)/(-2))/3. Let g be 2*(-15)/r*-3. Solve -g = z - 0*z for z.
-5
Let a be 3/2*(-2)/(-3). Let r be 18*a + (0 - 2). Solve -5*w - r = 4 for w.
-4
Let k(h) = h**2 + 6*h - 3. Let o = -10 - -3. Let v be k(o). Suppose -2 = -a - 0. Solve -v = -a*c + c for c.
4
Suppose 0 = -v - 3*f + 12, v + 7 = -4*f + 23. Solve -6*k + k + 5 = v for k.
1
Let v = -14 - -14. Solve 12 = -v*f - 3*f for f.
-4
Suppose 2*w + 8 = -2*o, 0 = 4*w - 5*o - 23 + 3. Let h(t) = t**3 + t**2 - t + 3. Let u be h(w). Suppose -y + 12 = u*y. Solve 3*p + y + 0 = 0 for p.
-1
Suppose -6*n + 2*n + 32 = 0. Let h be 57/12 - (-2)/n. Solve 3*t = h*t - 6 for t.
3
Let g be ((-2)/1)/((-7)/14). Suppose -2*d - 1 = g*y - 5*y, 2*d = 4*y - 16. Suppose -3*l + d*c + 2 + 17 = 0, -3*c - 21 = -3*l. Solve -l*w + 9 = -6 for w.
3
Suppose -5*o + 29 = -6. Suppose o*g - 2*g = 0. Suppose -c = -g*z + z - 3, 2*z - 3 = c. Solve -z*t = -4*t for t.
0
Let y = -1 - -3. Let i = 8 - 13. Let a = 6 + i. Solve 3*n = y*n - a for n.
-1
Let a = 3 - 2. Suppose a = 2*d + 3. Let r be d*(-21 - (0 - 1)). Solve -b = -5*b - r for b.
-5
Let t(g) = -3*g + 2*g - 3 - 4*g + 6*g. Let m be t(6). Solve -m*q + 2 = -4*q for q.
-2
Let x(z) = z**2 - z - 1. Let d be x(3). Suppose 5*c - 4*c = d. Solve 0 = -2*b + c*b for b.
0
Suppose -2*x - 17 = 5*u, -10 = -10*x + 5*x - 2*u. Solve 4 = x*r + 16 for r.
-3
Suppose -4*s + 14 - 6 = 0. Solve k + s = -2 for k.
-4
Suppose 0*a = 5*a - 20. Suppose -3*j + a*j = 6. Solve -j + 21 = -3*t for t.
-5
Let x be (-8)/(-10)*(-2 - 19/(-2)). Solve 0 = -g + 4*g - x for g.
2
Let x(b) = -6*b + 5. Let u(h) = 5*h - 4. Let j(k) = 7*u(k) + 6*x(k). Let n be j(0). Solve -6 - n = 2*c for c.
-4
Let q(j) = 6*j + j + 2*j - 3*j + 3 - j**2. Let x be q(6). Solve 3*m + x = -0*m for m.
-1
Let f be (-1)/(-3 + 2/(-8)*-10). Solve 3*d + 15 = -f*d for d.
-3
Let u be 5*1 + (-15)/5. Suppose h = -p + 6, -p - u*h = 2*h - 9. Solve 2*s - p + 13 = 0 for s.
-4
Let n be 1/(3/3*-1). Let x be 3 + -3 + (1 - n). Solve -7 = -x*i + 3 for i.
5
Let u(g) = -g**2 - 9*g - 11. Let z be u(-7). Solve 0 = z*f + 2*f for f.
0
Let f(k) = -3 - k**2 - 9*k - k**2 + 3*k**2 - 6. Let h be f(10). Solve 0 = y + h for y.
-1
Let u be (-8)/(-28) + 38/14. Suppose -u*x = -5*x + 8. Solve 3*g - x = 5 for g.
3
Suppose -3*a + 3 + 9 = 0. Let z be 18/4 + 3/(-2). Solve 19 = -a*b + z for b.
-4
Let c be 2/(-3) + 16/24. Solve 2*y - y = c for y.
0
Suppose -j + 3*j - 30 = 0. Suppose -3*h - 3 = -j. Solve 11 = 5*u - h for u.
3
Let v(b) = b + 1. Let w be v(5). Solve -2 = -4*o + w for o.
2
Suppose -t + 3*t = 38. Suppose t = -0*u + 2*u + 5*p, 2*u - 3*p = -5. Solve -5*n = 12 - u for n.
-2
Let f = 40 + -38. Solve -f*x - 8 = 2*x for x.
-2
Suppose g + 2 = 2*g. Suppose -c - 3 = 4*d, 4*c + 2*d - 6 = g*c. Solve 0 = -c*o + o + 12 for o.
3
Let i be (-2)/4 + 3/2. Let a be (-4)/(-2) - (-2 + i). Solve 2*o - 1 = -a for o.
-1
Let t be ((-2)/(-7))/((-4)/(-56)). Solve 3*g - t = -10 for g.
-2
Let u(i) = i**2 - 2*i - 3. Let v be u(3). Solve v = -2*t - 3 - 1 for t.
-2
Let r(m) = -m**2 - 9*m + 2. Let o be r(-9). Solve o*k + 2*k = -8 for k.
-2
Suppose 2*a + 2*a + 64 = 0. Let n = 18 + a. Solve q - 3 = n*q for q.
-3
Suppose -2*x + 45 = x. Let d(b) = -b**3 + b*