 Let w be j(3). Let p(v) = v**3 - 4*v**2 - 6*v + 7. Let d be p(5). Solve -3*u = -4*t - 0 + 5, -w*t = d*u + 8 for u.
-3
Let z(p) = 3*p**2 + 2*p + 2. Let s be z(-2). Let u be (1 - s)*1/(-3). Solve y + 0*y = -u*w + 12, -3*w + 9 = 0 for y.
3
Let b(v) = v**3 + 8*v**2 + 2. Let d be b(-8). Solve 5*s - d*t = -23, 3*s - t + 19 = -2*s for s.
-3
Suppose -3*b + 2*z = -10, -2*b - 10 = 5*z - 4. Suppose 0 = -3*s, 3*g + 0*g = -s + 78. Let p = g + b. Solve -3*d + 40 = -5*h + 3, -2*d + 4*h = -p for d.
4
Let d(z) = -z + 7. Let m be d(5). Suppose 0 = 5*p + 4*x - 8, 4*p + x - 8 = -3*x. Solve -3*q - 2 = -q - m*n, 2*n = p for q.
-1
Let l(v) = -v + 10. Let p be l(7). Solve -p*a - 9 = -4*i + i, a - 3 = -i for i.
3
Suppose -2*q + 5 = -3. Suppose q*y + 1 = 9. Let c be 4/3 + (-6)/(-9). Solve -j = j + 2*p + c, j + 10 = y*p for j.
-4
Let d(z) = 0 + 12 - 2 + 2*z. Let r be d(-5). Solve 9 + 11 = 5*p, r = -5*v + p - 19 for v.
-3
Let l = 56 + -78. Let u = l + 23. Solve u = -4*x + x + v, 4*x - 3*v = -8 for x.
1
Let g be (-2 - -8)*(-2)/(-4). Let v be ((-38)/g)/((-5)/(-15)). Let k be v/(-10) - (-3)/15. Solve -4*r = 5*w + 12, 2*r = k*w - 0*w + 20 for w.
-4
Let f(v) = -6*v**2 - 1 + 5*v**2 + 5 - v + v**3. Let y be f(3). Solve 0 = -4*q - 3*w + y, q + 2*w - 4 = 2 for q.
4
Let r(f) = -3*f - 8. Let j be ((-14)/(-4) - 2)*-4. Let i be r(j). Suppose -3*y + i = 2*y. Solve -12 = 3*v, 0 = 3*m - 5*v + y*v - 6 for m.
-2
Suppose 2*h + 7 = 11. Solve h*b + 2*j = 4, j = b + 5 - 13 for b.
5
Suppose -22 = 4*z + 22. Let u = -8 - z. Let a = u + -1. Solve -a*p + 16 = 5*l, l - 3 + 1 = 0 for p.
3
Suppose -4*t + 3 + 33 = 0. Suppose 0 = -4*z - 5*y + 36, -z + 3 = 2*y - t. Solve -4*c + z*n + 8 = 0, -2*c - 4*n = -3*n - 10 for c.
4
Let p be 3 + (-4)/(-1)*3/4. Solve -2*d - 3*j + p = -10, 5*d - 2 = 2*j for d.
2
Let g(i) = i**3 - 3*i + 2. Let n be g(2). Let p = n - 4. Suppose p = w - 5*m + 2*m - 16, w - 5*m = 24. Solve -4*j = -w*q + 24, 3*q = 2*j - 6*j + 4 for q.
4
Suppose -6*y + 2*y = -20. Suppose 5*k + p = 5*p + 13, -5 = 2*k - y*p. Solve 2*m = 3*x - 15, 0 = x - 2*m - 0*m - k for x.
5
Let z be 10/2*(-4)/(-10). Solve -4*f - 11 = -2*s - 33, -2*f - z*s + 2 = 0 for f.
4
Suppose 0 + 6 = 3*g. Suppose -4*c - 9 + 3 = -2*f, 3*c - 5*f = -22. Solve 5*a = -2*z + c, 2*z + 0 = -g*a - 2 for a.
1
Suppose -12 - 6 = 3*t. Let x = t + 1. Let n be ((-2)/x)/(2/10). Solve q = n*k + k - 5, -2*k = -q - 3 for q.
1
Let t(a) = a - 3. Suppose -10 = 3*v - 2*v. Let m be -5*-3*(-2)/v. Let i be t(m). Solve h + 1 + 12 = -3*l, i = 4*l - 5*h - 8 for l.
-3
Let p = 1 + 1. Let i be (0 - 0) + 1 + p. Solve 3*t - 1 = k - 2, i*t + 3*k = 3 for t.
0
Let m be (1/(-3))/(2/(-12)). Suppose -f = 4*f + 25, 5*n - 5 = -f. Solve 2*t = 3*x - 0 + 1, -n*x + 2 = -m*t for x.
-3
Let g be -1 - -1 - -2*3. Suppose a = 17 - 5. Suppose -2*y + 8 = 0, 2*d + a = d + 4*y. Solve 5*i + g = 4*l, -8 = -d*l + 2*l + 5*i for l.
-1
Suppose p = -p - r + 3, 4*p - 3*r = 21. Solve 5*y - 8 = -p*t, -y = -5*t + 2*y - 32 for t.
-4
Suppose 0 = 4*f + 4*o, 0*f - f = 3*o. Solve 3*u - u + v - 9 = f, 2*v + 2 = 0 for u.
5
Suppose -a + 3*a - 5 = c, -4*a = -4*c - 16. Suppose -h + a = -2. Solve -z = -h*m - 7, -m = -z - 3 + 6 for z.
1
Let j(k) = k + 5*k + 3*k**3 - 5*k**2 - 4*k**3. Let z be j(-6). Solve 3*s + 15 = z, -3*n - 2*s + s + 4 = 0 for n.
3
Let y be 3/(1/(0 - 1)). Let o(p) = 2*p**2 - 4. Let n be o(y). Solve 4*g = 3*i - n, -18 = -2*i + i + 4*g for i.
-2
Let k(h) = h**3 - 12*h**2 - 14*h + 11. Let u be k(13). Let r be 3/u + 6/4. Solve 3*b + 3 = -4*g - 9, -4*g - 2*b - 8 = r for g.
0
Let l = -4 - -7. Solve 4*v - 5*a = -13, 4*v + 12 = 3*v + l*a for v.
3
Suppose 5*f - f - 8 = 0. Solve f*c = 2*g - 8, g = -c - 3*c - 6 for g.
2
Suppose 3*n - 47 = z, -4*n + 8*z = 3*z - 48. Solve -12 = 3*q, q = -r + 5*q + n for r.
1
Suppose 5*m - 22 = -4*r, 6*m - 4*m = 3*r - 5. Let x be (9 + (-2 - -2))*1. Solve m*f + 7 + 2 = i, 0 = 3*f + x for i.
3
Suppose 0 = w - 4*w - o + 16, -8 = -w - o. Solve 6*q - 2*q = v - 9, -w*v = -2*q - 22 for q.
-1
Suppose -8*w + 12 = -5*w. Solve w*p + 4 = -3*c - c, -c = -5*p - 23 for c.
3
Let n be (-4)/(-14) - (-515)/35. Solve 0 = -4*h + 5*i + n, 3*h = -2*h + 4*i + 21 for h.
5
Let r be (96/12)/(1 + 1). Solve -x = -4*s + r, -2*x = -2*s + x + 2 for s.
1
Suppose k = -3*a + 15, 2*a - 3*k = a + 5. Suppose -3*f + 21 + 0 = a*h, -6 = -3*f. Solve h*t - 5*t = l + 11, 5*t = 3*l - 22 for t.
-5
Let k(m) be the first derivative of -m**3/3 - m**2 + 6*m - 4. Let h be k(-3). Solve -4*b + 13 = -a, 0*b - h*a = 2*b - 17 for b.
4
Suppose -5*j + 107 - 37 = 0. Solve -u + 2*v = -10, -j = 3*u - 4*u + 3*v for u.
2
Let s(b) = -3*b - 1. Let p be s(-2). Solve n - p - 9 = -4*h, 8 = 4*n + 4*h for n.
-2
Let r(d) = -d**3 - 6*d**2 - 3. Let v be r(-6). Let f be v + -2*(-6)/2. Solve 2*s - 5*u = 13, 0 = -f*s - 3*u - 2*u + 7 for s.
4
Suppose -4*c + 106 = 86. Suppose -3*y - 2 + 8 = 0. Solve -4*a - 10 = 2*p, c*a = -y*p + 4*p + 10 for a.
0
Suppose 0 = 5*s - 32 + 2. Solve 4*x + 3*p = 11, -s*p = -5*x - 2*p - 25 for x.
-1
Let k be 4/(-18) - (-47)/9. Suppose -5*w + w = -3*d - 28, k*w = 2*d + 28. Suppose -w*s = -12 - 8. Solve -3*u - 3 = 0, -5*n = s*u + 5 + 5 for n.
-1
Let h be (-1278)/(-42) + 9/(-21). Let y = h - 20. Solve -2*u = 2*w + y, 3*w = -4*u + 9*u + 1 for w.
-3
Suppose -2*a = -0*a - 8. Suppose m = -m + a. Solve -3*t - 2*i = -4, -2*t = -4*t + m*i - 14 for t.
-2
Let f be 27/6*(-1 + (-15)/(-9)). Solve 6 = f*s - 5*m, s - 2 = -3*m + 6*m for s.
2
Suppose 5*i + 2 = -93. Let t = i + 21. Let l be (2/4)/((-2)/(-12)). Solve l*q + t = -p + 2*q, 0 = -p - 3*q for p.
-3
Suppose 4*t = -t + 15. Let v = -9 - -11. Let m be v - (-2 + 1)*9. Solve -3*d - m = w, d = -w - 2 - t for w.
-2
Suppose 2*l - 35 = -3*l. Suppose l = s + 2. Solve 5*b + s*n = -20, -n - 4 = -5*b - 18 for b.
-3
Let m(y) = 2*y + 4. Let q be m(0). Solve -u + 4*u - 5*k = -2, 4*k - q = 0 for u.
1
Let i = 100 - 96. Solve -i*o + 5*o - 2*m = 12, -12 = 3*m for o.
4
Let b be ((-12)/(-14))/(3/14). Solve 0 = b*s + n - 8, -2*s - n = -3*n - 4 for s.
2
Let v(m) = m + 9. Let h be v(-7). Solve 3*o - 6 = h*g, -6*o = -g - 3*o - 9 for g.
3
Let n be (-1 - -2 - 4)/(-1). Suppose 2*u = 2*b + n*u, -b = 3*u. Let y = 4 - b. Solve 4*w + y*m - 28 = -0*w, 0 = 3*w + m - 15 for w.
4
Let b be 8/36 + 32/18. Suppose 26 = 3*y - 5*h, b*y - 6 = y + h. Solve -m = -4*r - y*m - 1, 3*m = -3 for r.
0
Let k be 11 - 2/4*-6. Let a = 18 - k. Solve -2*y = -a, f - 6*f - 3*y = -31 for f.
5
Suppose 5*l = -5*j, 4*j - 3*l - 12 = -l. Solve -3*c + 12 = 0, -j*x + 4*c - 5 = 3 for x.
4
Let f(b) = -b**3 - 10*b**2 - 10*b - 4. Let k be f(-9). Solve -2*y + 0*s = -k*s + 18, -5*y = 3*s + 14 for y.
-4
Let g = 22 - 70. Suppose 377 = -5*h + 32. Let i = g - h. Solve 0 = 5*j + f - i, -2*j - 3*f - 7 = -j for j.
5
Let t = 3 - -2. Suppose -g + x = -t, 2*g = -0*g - 2*x + 2. Solve 0 = 4*p - 2*y + 10, 2*p + g = 2*y - 7 for p.
0
Let f = 2 - -3. Let i be 1 + (2/(-1) - -3). Let p be f/15*6/i. Solve 4*d - 10 = m, -m + 0 = -d + p for m.
2
Suppose k = 5*k - 8. Suppose k = c + 2*b, 3*b = -5*c + 15 - 5. Solve -4*j = -7*j, j = -2*l - c for l.
-1
Let h be (5 - 11)/(3/(-2)). Let j(d) = d**2 - 2*d. Let s be j(2). Solve s = g, 2*g = h*m + 19 - 7 for m.
-3
Let z = -17 + 38. Solve -s = -5*k + 27, -3*s - z = -4*k + k for s.
-2
Suppose 3*t = -0*t - 5*h + 16, 0 = 3*t - 3*h. Solve 5*k + 1 = x, 0 = -2*x - 2*k - 0 + t for x.
1
Let d = -27 - -41. Let b = 24 - d. Solve -5*j - 10 + 0 = -2*a, 4*j + b = 2*a for j.
0
Suppose 6 + 6 = 3*w. Let u be (14/(-2 + w))/1. Solve -3*l + u = -2*o - 0*o, -3 = 5*l + 4*o for l.
1
Let j = 7 - 6. Suppose g - 3 = j. Solve 2*p + t - g = 0, 5*t + 19 = 4*p - 3 for p.
3
Let s be 2/(-3) + 22/6. Let l be (-2)/(((-12)/(-69))/(-2)). Solve g = 5*f + l, 0 = -s*g - 0*f + 5*f + 19 for g.
-2
Suppose -o + 4 = -2. Let n(i) = -2*i - 11. Let p be n(-8). Suppose y + o*t - 3*t = -p, -31 = -4*y + 5*t. Solve -4*q + y*u - 2 + 10 = 0, 4*q - 13 = 5*u for q.
-3
Suppose 0 = -5*z - y + 4 + 1, -2*y - 16 = -3*z. Solve 0 = -z*n + 3*u - 21, -1 = 5*n - 2*u + 24 for n.
-3
Suppose 61 - 1 = 15*h. Solve -h*f + 6 = j + 21, -4*f = -2*j + 30 for j.
5
Suppose 0*d + d = 0. Let k(c) = 5*c + 0 + d - c**2 - 1. Let u be k(3). Solve 0 = u*i + x + 11, -2*i - 2*x - x = -6 for i.
-3
Let p(c) = -c**2 + 4*c. Suppose 0*x = o - 4*x - 23, -2*x - 10 = 0. Let h be p(o). Let y be (-3)/((-6)/4) + h. Solve 3*s +