 + 1/12*j**4. Let p be d(5). Solve p*n + n - 3*g = -9, -g = 4*n + 12 for n.
-3
Suppose -82 = -5*n + 143. Let f = n - 29. Solve 4*p + f = 3*a, -3*a + 2*p = -0 - 14 for a.
4
Let i be 1 - (17*-2 - 3). Let m be -1*i*(-2)/4. Let p = -4 - -6. Solve -3*o = 5*v + m, -3*v - 3 = -3*o + p*o for o.
-3
Let j(a) = 2*a + 0*a**2 - 3*a**2 + 4*a**2 - 1. Let c be j(-3). Let q be -2*(c + -2 + -2). Solve -2*f + 3*r - 10 = 0, r - q*r + 6 = 0 for f.
-2
Let a(t) = t**2 + 3*t - 1. Suppose v + 2*h + 12 = 0, 3*v + 1 + 3 = 2*h. Let w be a(v). Solve -n + 5*y = -2*n - w, 0 = -2*n + 2*y + 6 for n.
2
Let i = 30 + -19. Solve -2*t + x = -i, 10 = t - x - x for t.
4
Let y be (-20)/(-50) + 4/(-10). Suppose 3*a = 6 - y. Solve -3*v + 4*t + 8 + 3 = 0, 0 = v + a*t + 13 for v.
-3
Let f = 1 - -2. Solve f*v - 2*y = -0*v - 9, 3*v + 5*y + 30 = 0 for v.
-5
Let f(s) = 2*s**3 + 9*s**2 - 4*s + 3*s - s**3. Suppose 6*m = -26 - 28. Let w be f(m). Solve -3*g = w, -3*g - 7 - 12 = -5*z for z.
2
Suppose 1 = 3*f + 2*p - 16, 7 = -3*f + 4*p. Suppose f*v = -11 + 26. Solve 0 = -2*z - v*i, 0 = -z + 5*i - 6*i + 3 for z.
5
Suppose -5*h + 63 = 4*h. Solve 0 = 2*d + 3*s - 0*s - 13, 2*d - 3*s = h for d.
5
Let p(o) = 2*o**2 - o + 1. Let q be p(1). Solve -q = -2*t - 3*d, -5*d = -4*t - 3*d - 12 for t.
-2
Let g = -141 + 144. Solve -3*m + 3*r = -2*m - 17, 2 = -2*m - g*r for m.
5
Suppose a = 3*x + 4, 2*a = -3*x - x - 42. Let o = -18 - a. Let j = 7 + o. Solve 0 = -4*r - 4*f - 20, j*r - 2*f = 4*r + 20 for r.
-5
Let n(u) = u**3 + 12*u**2 - 15*u - 17. Let q be n(-13). Solve 0 = 3*w + 4*l + 3 - 8, 0 = 2*w - 3*l - q for w.
3
Suppose -g - g - 30 = 0. Let i = -7 - g. Solve 2*h - 12 = 5*j + 5*h, i = -5*j - 2*h for j.
0
Let t = 11 + -14. Let x be 1*t/6*-4. Let i be 111/9 - 1/3. Solve -2*h - 4*l = i, 4*h - x*l + 8 = -6*l for h.
2
Suppose -2*s + 0*s + r - 3 = 0, 4 = -s + r. Solve 0 = 4*u - q - 8, q + s - 3 = -u for u.
2
Let v(i) = 2*i**2 + 2*i + 2. Let g be v(-2). Suppose 2*q = -m + 61, 4*m - g = -q + 14. Solve 35 = -5*b - r + 4*r, 0 = 3*b - 4*r + q for b.
-4
Let x(q) = -q + 15. Let g be x(14). Let d be 21/(-35)*g*-5. Solve 0*m + 3*u + 9 = -d*m, -u - 5 = 2*m for m.
-2
Suppose -3*d - l + 18 = l, -2*l = -5*d + 14. Let i be 15 - (0/1 + -1). Suppose -t = 4*r - d, -4*t - i = -0*t. Solve 0 = -0*m - m - 1, a = r*m + 3 for a.
1
Let n = 8 + -6. Suppose -r - 1 = -n*k, -3*r - 3*k + 16 = 1. Suppose -2*l = 4*a - 4, -r*l + 2*a + a = -15. Solve l*t = 2*p + 22, 2*t + p + 9 = -2*p for t.
3
Suppose 0 = -4*t - 10*t + 28. Let l(y) = -y**2 - 4*y - 2. Let g be l(-3). Solve 2 - g = -k - t*d, -4*k = 4*d for k.
1
Let v(b) = -b**3 - b**2 - b + 2. Let j be v(2). Let y be (-188)/j - 2/(-6). Solve -8 = 2*w, 0 = 4*q + 3*w - 4*w + y for q.
-5
Let c(k) = k**2 - k - 10. Let w be c(-3). Solve -w*y = -2*n - 5 - 5, -4*y + 12 = 4*n for n.
-1
Let q = 4 - 2. Let r(t) = -t**2 + 11*t - 13. Let h be r(9). Solve 2 = c - 2*j + h, q*c = -3*j - 13 for c.
-5
Let x be 84/(-105) - (-18)/10. Solve -m - 5 = -x, -3*v + 2*m + 14 = 0 for v.
2
Let j = 7 - -1. Let r = -3 + j. Solve 2*y - 6 = r*o, -5*y - 18 = 3*o + o for y.
-2
Suppose 5 = h - 0. Suppose 0 = -7*q - 13 + 13. Let p be 3/(0 - 1/(-3)). Solve -h*j = 4*w, -j + 4*w - 3*w - p = q for j.
-4
Let b(i) = 2*i + 16. Let a be b(-8). Suppose a*r = 2*r - 8. Solve 3*s = -5*k + s - 30, k + 24 = -r*s for k.
-4
Let b(u) = -u**2 + 9*u - 18. Let g be b(6). Solve g = 6*y - 2*y + 5*a - 27, y = a for y.
3
Let b = 10 - 5. Let i be 4/14 + 26/7. Suppose i + 8 = 3*o. Solve -2*z + 18 = -b*k + k, 0 = -o*z + 20 for k.
-2
Let d(u) = u**2 + 4*u + 2. Let v be d(-4). Let g be ((-3)/v)/(7/(-14)). Solve 4*n - g*a - 10 = 0, 0 = n + 5*a + 12 - 3 for n.
1
Let j(d) = d**3 - 16*d**2 + 2. Let v be j(16). Solve -v*k = -2, -5*k + 0*k + 1 = 2*h for h.
-2
Suppose 54 - 174 = -3*y. Solve y = -5*m + 5*j, -2*m - j - 4 = -0*j for m.
-4
Let i(q) = 2*q**2 - 5*q + 3. Let v be i(5). Suppose -y - v = -4*j, 18 = 2*j - j - 3*y. Solve j = 2*t, 7 = 2*n - 0*n + 5*t for n.
-4
Let r(t) = 23*t**2 + 1. Let p be r(-1). Solve 20 + 5 = 5*g + 5*x, 0 = -5*g - 4*x + p for g.
4
Let q be 3/(-15) - 18/10. Let m be ((-2)/(-6))/(q/(-258)). Suppose -2*u + m = 11. Solve -5*c - u = y, 2*y - 4*y + 2*c + 16 = 0 for y.
4
Let w = -18 - -23. Solve -3*t + 2*s + 0 = -10, 2*s - 22 = -w*t for t.
4
Suppose 23 = 5*d - 42. Solve 3*y = -12, -u + 5*y + d = -2 for u.
-5
Suppose 4*u = -u. Solve x - m + 2 = u, 2*m - 14 = 5*x + m for x.
-3
Suppose j + l = 7, -6*l = -j - 4*l + 1. Solve 8 = -j*p + f, -5*p - 4*f = -0*p - 7 for p.
-1
Let f(h) = -3*h**3 - 2*h**2 - h - 6. Let d be f(-2). Solve 0 = p - 4*v - d - 8, -v - 5 = -p for p.
0
Let l(k) = 5 - 7*k**2 - 13*k + k**3 + 13*k. Let d be l(7). Let j = 10 - d. Solve 5*w = -5*b - j, 2*b = 2*w + 6*b - 4 for w.
-4
Let a(v) = -5. Let i(z) = z. Let k(c) = a(c) - i(c). Let q be k(-10). Solve -4*y + 9*y = -q*h, 2*y - 35 = 5*h for y.
5
Suppose -4*j + 7 + 1 = 0. Suppose j*s + 12 = 32. Solve 0 = -5*z - 4*l + 9 + 11, -z = 2*l - s for z.
0
Suppose 2*f - 4*h - 36 = -2*f, -3*f + 15 = h. Solve 0 = u - j + 6, -3*j = -u - f*j + 10 for u.
-2
Suppose -4*h = -i - 99, -h - 4*i = -0*h - 29. Suppose h = 2*b - 3*o, -b = 2*b - o - 20. Solve 15 = b*k, w - 3*k + 6*k - 7 = 0 for w.
-2
Let y be ((-14)/4 - -3)*-8. Let d = 5 + -7. Let n = d + 26. Solve -3*u + n = 3*p, 4*u - y*p - 7 = -3*p for u.
3
Let h be (-38)/(-5) - (-18)/45. Let c = h - 3. Suppose -5*v + 3 = -4*v. Solve c*x - 3*r - 19 = 0, 3*x + 11 = 4*x - v*r for x.
2
Suppose 469 = 21*q + 91. Solve 0 = 4*i - 12, 3*l = 4*i - 5*i + q for l.
5
Suppose a + 12 = -4*x, -x = -a + 14 - 6. Suppose 0 = -a*m + 2*m + 46. Solve -26 = -3*s + 4*q, 3*s - 3*q - m = -s for s.
2
Let n = -120 - -121. Solve -3*c + 2*p = -0*p + n, -3*p = 3*c + 6 for c.
-1
Suppose -2 = a + 2. Let x be a/6 - (-14)/3. Solve x*l - v + 3*v - 24 = 0, -13 = -3*l + v for l.
5
Let x = 3 - 1. Suppose -3*u + 5 = x*u. Solve u + 8 = -5*l + 2*v, -5*v - 15 = 0 for l.
-3
Let l be (3 - (-24)/(-9))*9. Solve -l*v + 5*u = -23, -3*v - u = v for v.
1
Let g = -5 + 10. Suppose b - n = 5, 5*b - 2*n - 2*n - 25 = 0. Let d = b - g. Solve d*v + 5*m - 9 = 4*v, 0 = v - 5*m + 21 for v.
4
Let g = -9 - -12. Suppose -5*n + 2*i = -15, 0*i + 4*i = -g*n + 9. Suppose 0*z - n*z = 0. Solve z = -2*l + 3*p - 2 - 0, -2*p = 0 for l.
-1
Let d = -24 - -18. Let h = 9 + d. Solve -5*b = -0*u + h*u - 25, 5*b = 5*u - 15 for b.
2
Let b be 4 + 4/(-12)*-3. Solve 3*t - 13 - 6 = b*a, -1 = -3*t - 4*a for t.
3
Suppose 0 = 4*g - 16, 0*g - 14 = -3*d - 2*g. Suppose 2 = 2*i + m, 3*i - m + 6 = d*m. Let l = i - -3. Solve -2*j - 22 = -3*u - 0*u, 0 = -l*j - u - 11 for j.
-5
Let u = -54 - -58. Solve 4*b - 3*i = -18, -i = 5*b - 3*b + u for b.
-3
Let c be (-1 + 1)/(18 - 16). Solve -5*o = 5*a - c*a + 40, -28 = 2*o + 5*a for o.
-4
Let t(v) = -v**3 - 12*v**2 - 11*v + 4. Let u be t(-11). Solve 0 = -r + 2*q - u, -3*r - 5*q - 1 = -0 for r.
-2
Let k(o) = o**3 + 9*o**2 - 10*o + 2. Let b be k(-10). Let y be b/(-2 + 28/13). Solve l - 2*v + y = 4*l, 5*l - 4*v = 29 for l.
5
Let j be 2*1 + (3 - 2). Let w = 0 + j. Suppose 4*n - 5*d - 45 = 0, -2*d - 15 = -0*n - n. Solve -v + 5 + w = 5*i, 2 = -4*i - n*v for i.
2
Let n = 9 + -7. Suppose 7*l - 30 = n*l. Let m = l - 3. Solve -2*o + 5*g - 17 = 2*o, m*g - 7 = 4*o for o.
2
Let z be 3 - 3/2*48/(-36). Solve -z*u = -m - 13 - 7, 5*m = -2*u + 8 for u.
4
Suppose -23 = g - 2*a - 3*a, 5*a = 4*g + 17. Suppose -2 = -g*m - m - 2*i, -m - 3*i = -3. Solve m = -c - y - 5, -4 = -2*c + 6*c - 4*y for c.
-3
Suppose 2*m + 0 - 12 = 0. Let p = 7 - m. Solve -4*s + 2*j - 2 = 0, -3*s - j + p = s for s.
0
Let s be (-4 - -3)*14/(-2). Let l be (4/5)/(s/35). Suppose -q = -4 + 2. Solve l*j = -q*f - 16, -2*j - 3*f + 11 = -3*j for j.
-5
Suppose -7*a + 6 = -4*a. Solve 0*k - 3*k + a*d = -10, 2*k - 5*d = 3 for k.
4
Let b = 3 - 6. Suppose 0 = 4*r - 5*r - 6. Let v = b - r. Solve 10 - 1 = 3*p + a, -7 = p - v*a for p.
2
Let o = 11 - 5. Suppose -57 = -5*i + 2*i. Suppose -2*f - i = -5*z, 0 = z + 3*f - 9 - 5. Solve z*y = 2*c + 17, -2*y + 0*y + o = 0 for c.
-1
Let t = -3 + 5. Let m be (-15)/(-6)*(t + 0). Solve 5*w - m = 0, 3*a + 3 = -4*w - 2 for a.
-3
Let o be (-3)/2*(-100)/(-15). Let t = 6 - o. Let u(g) = -g**3 + 7*g**2 - g + 9. Let l be u(7). Solve 4*r = -l*p + 10 - 34, 3*r + t = -p for r.
-4
Suppose -2*h - 2*h - 4*o = -32, h - 20 = -4*o. Solve h*d + 8 = -2*k, 4*d