 Let m be (-12)/((-4)/8*3). Let t = m - v. Solve -5*z + t*n = 31, 0*z - 5 = 3*z + n for z.
-3
Let c be -1 - (-8)/((-32)/(-12)). Solve 4*p + 4 = 3*f, 5*f = -5*p + c*f - 5 for p.
-1
Let j = 10 + -4. Let z be 32/5 - j/15. Solve -4*t - 2*l = 0, -4*l = -4*t + 18 + z for t.
2
Let t = -31 - -31. Let r be (-3 - -2)/((-3)/6). Let a be r*(3 - 2) - -1. Solve a*h = -t*u + 4*u - 1, 0 = -3*u - 6 for h.
-3
Let o be (-11 - -11)/((-2)/(-1)). Solve u + 2*h - 12 = o, -5*u = -2*u - h - 8 for u.
4
Suppose 4 = -4*q + 28. Let r be -2 + (0 - -2*q). Suppose -3*y - 3*f - 6 = 0, r = 2*y + y - 5*f. Solve y = b + 1, -4*b + 16 = 4*j - 0 for j.
5
Let u(v) = v**3 - 10*v**2 + v + 7. Let t be u(10). Let h = t - 12. Solve -6 = -q - p, -4*q + h*p = -1 + 4 for q.
3
Let l(c) = -c + 17. Let w be l(11). Solve p + 0*p - 3 = 0, 2*p = 5*r + w for r.
0
Suppose 3*h + 5 = 2*a, 0 + 1 = h. Solve 2*y + a*p + 3 = -1, 12 = 2*y - 4*p for y.
2
Let y(a) = -a + 26. Let k be y(12). Solve 2*d + g = -5, -1 = -d - 4*g + k for d.
-5
Let a(d) = -d**2 + 15*d - 13. Suppose 2*n = n + 10. Let y be a(n). Suppose 2*q + 52 = 3*l - 0, -y = -2*l - q. Solve 0 = -4*w + 3*v + l, -4*w = v - 4 - 6 for w.
3
Suppose y + 3*y - 17*y = 0. Solve y = w - 4*q + 10, 7*w - 4*w + 2*q = -2 for w.
-2
Suppose 3*q + 2*l - 12 = 0, 20 = 3*q + 2*q - 3*l. Solve 0 = j - 5*t + 11, -q*j - 3*t - 2 = -2*t for j.
-1
Let x be (-1)/1 + 2 + -2. Let u = x + 1. Let t be -1 + (-1 - u - -4). Solve z + 3*j - t = -4*z, -4*j + 8 = 4*z for z.
-2
Let l(s) = 2*s - 8. Let o be l(5). Let t(d) = 2*d - 2. Let y be t(o). Solve y*m = -2*r - 8 + 2, 0 = 2*r - 5*m - 1 for r.
-2
Let o(l) = l**2 + 2*l - 1. Suppose -2*q = -6*q + 4. Let h be o(q). Suppose 3*b + b = -4, 5*w = h*b + 17. Solve -5*c + a = -10, -2*c + w*a = c - 18 for c.
1
Let k be (-2)/((-2)/(-1))*-2. Suppose 5*h - 7*g + k*g = 0, -2*h = -g - 4. Solve -3*j - 2*j - 3 = -h*o, 0 = 3*j - 3 for o.
2
Let t(o) = -2*o**2 + 3*o - 2. Let q(w) = w**3 + 4*w**2 - 4*w + 7. Let f be q(-5). Let l be t(f). Let k = -2 - l. Solve -4*i - z + 21 = 0, -z - k - 2 = -i for i.
5
Suppose 5*w = 3*k - 20, 0 = 2*k + k + w - 14. Solve 4*p - 8 = -4*d, k*p = -4*d - 5 + 13 for d.
2
Let r be (0 + -1)*(0/(-2))/(-4). Solve -3 = -2*s + n - 2*n, 2*n - 2 = r for s.
1
Let v be 1*(-8)/(8/(-2)). Solve v*f = -3*l - f + 12, -5*f - 5 = 0 for l.
5
Suppose 3*p + 20 = 5*i, -5*p + 0 = 2*i - 8. Solve g + 1 = -j - 3*j, p = -3*g - j + 8 for g.
3
Let w = -35 + 37. Solve 15 = -5*d - 5*t, -d - d = -w*t + 14 for d.
-5
Suppose 0 = -2*y - 1 + 3. Let a be y + (2 - (1 + -2)). Solve -5*z - 23 = -s, -7*s - 4*z - 26 = -a*s for s.
-2
Suppose -3*y = 3*t + 2*y + 8, -3*y - 12 = 0. Suppose t*k = 10 + 10. Solve 3*b - k*n = -0*n - 23, -b = -2*n + 9 for b.
-1
Suppose 5*d - 31 = 3*a, -3*d + 4*a = -4*d - 3. Solve 0*r = r + 2*g - 3, -d*r = -g - 15 for r.
3
Suppose -6*a + 19 = -5. Solve 8 = -4*k - 2*d, k = -2*d - 3 + a for k.
-3
Suppose 7*t = 2*t - 5*g - 5, 3*t = 3*g + 21. Solve -s = w - 8, -s - t*s = 3*w - 28 for w.
4
Let c(l) = -l**3 + 5*l**2 - 4*l + 4. Let a be c(4). Solve -5*x + 14 = -3*m - 3, a*m = 2*x - 18 for x.
1
Let h = 220 - 217. Solve 2*o + 3*v = -h*o + 20, 7 = 2*o + v for o.
1
Let t = -5 + 1. Let f(h) = -h - 1. Let q be f(3). Let v = q - t. Solve -5*j + 15 = 0, -4*y + 9*y + 5*j = v for y.
-3
Let m = -146 - -158. Solve -a + m = -3*n, -16 = 3*a + 5*n - n for a.
0
Let f(k) = -k + 2. Let n be f(1). Solve 2*v + n = 5*q - 0, 0 = -q + 2*v + 5 for q.
-1
Let x(h) = -h**2 - 6*h + 4. Let l be x(-4). Let d be ((-30)/l)/((-2)/4). Let i = 7 - d. Solve -i*w - 5*t + 20 = 0, 0*w + w = -3*t + 12 for w.
0
Let m(d) = -d + 2. Let p be m(-3). Suppose 2*c + 3*c - 15 = -5*q, 0 = -2*c + 3*q + 1. Solve 8 = c*x - 2*y, 0*y + 30 = 5*x + p*y for x.
5
Let q = 58 + -54. Let s = -51 - -72. Solve -q*i - o = s, -3*i + 5*o - 7 = 3 for i.
-5
Let f(y) = -y**2 + 18*y - 30. Let z be f(16). Suppose -2*d - 5 = -15. Solve 5*a + o = 4 - d, z*a = 2*o - 10 for a.
-1
Let n = 62 - 59. Solve 3*w = 5*z - 11, -2*z + n*w + 5 = -3 for z.
1
Let m be ((-13)/(-2))/(6/(-12)). Let r be 26/39 - m/3. Solve 5*v - 2*v - r*i = -28, 14 = v + 3*i for v.
-1
Let y(m) = 6 - 5 - 1 + 1 - 4*m. Let j be y(1). Let w be (j/3*0)/2. Solve g - 5*g - 2*i = 0, w = 5*g - i for g.
0
Let r = -4 + 6. Let a be 2/r - 2*-1. Solve -4*k = y - 21, -y - 27 = -a*k - 4*y for k.
4
Suppose 0 = -3*w + 4*w. Let g be (-2)/((-2)/(-4)*-2). Let d = g - w. Solve 2*x = -5*l + 19 + 4, -13 = -d*x - 3*l for x.
-1
Let d(v) = -v + 3 - 3 - 1. Let r be d(-6). Solve 0 = -r*i - 4*c + 20, 0*c = -c for i.
4
Suppose 4*j - 91 = -5*t + 10, j = -2*t + 26. Let m = j + -20. Solve -m*u + 3 - 17 = -2*i, -4*u - 5*i = -7 for u.
-2
Let n be (2 + -4 - -5)/1. Solve -n*t + t - 3*b - 17 = 0, b + 3 = 0 for t.
-4
Let o(h) = -h**3 + 11*h**2 - 4. Let s be o(11). Let t be 4/2 - 2 - s. Solve r = 2*r + n - t, -r + 3*n = 0 for r.
3
Let q = 31 - 28. Solve 4*r - 3*o - 22 = -o, q*r - 5*o - 27 = 0 for r.
4
Suppose 3*r = 5*b - 21, 4*b - 20 = -0*b + 4*r. Let l = -8 + 17. Suppose -11 = -4*v - 3*g + 4*g, 0 = -3*g - l. Solve -v*z = 2, 0 = h - b*z - z - 4 for h.
0
Suppose -3*v + 2*u + 6 = 4, 0 = v + 2*u + 2. Suppose 2*x + 4*j = 22, v*j = 5*x - j - 66. Solve c + 4 = 4*t - 7, c - x = -2*t for t.
4
Let o = -35 - -40. Solve 0 = 2*l + o*w, -3*l - 2*l = -w + 27 for l.
-5
Let d be 1 - (-5 - -5) - -3. Solve 0 = -d*n + 5*o + 1 - 9, 5*o = 0 for n.
-2
Let f = -3 + 4. Suppose -3*i - 2*v + 11 = 4, -5*i + 29 = -v. Let k = 10 - i. Solve 4*z - 2*t + 3 = f, 3 = -k*z + 3*t for z.
0
Let w(x) = -x**3 + 13*x**2 + x - 11. Let y be w(13). Solve y*k - 23 = 5*l - 2*k, -4 = -2*l - 5*k for l.
-3
Let v(x) = x**3 + 7*x**2 - 2*x. Let y be v(-7). Let i = -1 - -2. Solve a = -4*d - y, 5*d + a + 18 = i for d.
-3
Suppose a = 4*a - 252. Let p be (-21)/35 + a/15. Solve n = -v - 0*v - p, -n = -5*v - 7 for v.
-2
Let j = 0 + 0. Suppose -9 = 5*o + 6. Let v = -2 - o. Solve 2*m - 7 + 2 = d, d + v = j for m.
2
Suppose -5*w - 2*m = -68, -8 = -3*w + 4*w - 5*m. Let h(g) = g**2 + 5*g - 10. Let k be h(2). Solve 2*u = -s - 3*s - w, -k*u = -4*s - 36 for u.
4
Suppose 4*g = -1 - 7. Let c be (-9)/g - 2/4. Solve -3*x = -c*x + 5, 5*z - x + 30 = 0 for z.
-5
Suppose -10 = -3*s + 29. Let b = 21 - s. Solve -q = -3*k - b, -3*q - k - 20 = k for q.
-4
Let b = -3 - -9. Let z(m) = m - 2. Let d be z(b). Let i = 7 - d. Solve -5*p - 19 = i*c - 4*p, 4*p - 4 = 4*c for c.
-5
Let g be ((-20)/(-45))/(6/27). Solve -f + 11 = 5*k, g*k - 5*f - 22 = 4 for k.
3
Let n(j) = 45*j**3 + j + 1. Let a be n(-1). Let p be (a/(-18))/((-2)/(-4)). Solve 5*z = -3*i - 23, -4*i - p*z = -8 + 32 for i.
-1
Let t(o) = o**3 + 3*o**2 - 4*o. Let w be t(-4). Solve -k + y - 2 = -7, w = 5*y + 5 for k.
4
Suppose 0 = -2*s + 4*s - 5*d - 40, s - d - 23 = 0. Solve 3*o = 5*n + s, 7 = -3*n + 4*o - 8 for n.
-5
Suppose 9 = -5*h - 11. Let x be (-10)/h*14/5. Let w = 0 - 0. Solve 3*b + 25 = 4*s, -4*s - b - 2*b + x = w for s.
4
Let b be 4 - (0 + 3 - 1). Solve 3*r = -b*j, 2*r = -2*j + r + 4 for j.
3
Let q(w) = 4*w**2 + w + 1. Let u be q(-3). Suppose -7 = -4*k - 3*c, -5*k - 5 = -3*c - u. Let x be 3/(-2) + 14/k. Solve -x*t - 7 = -l - 3, -5*l - 4*t = -6 for l.
2
Let h(u) = -u**2 + 2. Let a be h(0). Let g(q) = q**2 - 2*q + 3. Let t be g(a). Solve 2*c - 4*n = -n + 9, n + t = 0 for c.
0
Let h(y) = y**3 - 2*y**2 - 1. Let i be h(2). Let p be (i + 6/4)*0. Let w be (0 - p/(-3))/2. Solve w = -2*m - g - 10 - 3, -4*g - 37 = 5*m for m.
-5
Suppose 88*y - 24 = 82*y. Solve y*c - 4*s + 11 = -1, 5*c = 2*s - 3 for c.
1
Suppose -a - 6 = 2*d + 4*a, -3*a - 14 = -4*d. Let l be (-124)/(-10) + 6/(-15). Suppose 2*t + 2*t = l. Solve -d*m = -t*w + 6, -2*w + 10 = -2*m + 4 for w.
0
Suppose -5*m = -m + 24. Let l = -3 - m. Solve 3*j + l*t - 5*t + 2 = 0, -5*t + 5 = 3*j for j.
0
Let k(f) be the second derivative of -1/12*f**4 + 0*f**2 + 2*f - 4/3*f**3 + 0. Let g be k(-6). Solve 2*u + 3*n + 8 = 1, -3*n - g = -3*u for u.
1
Let l(s) be the second derivative of -s**3/6 - 5*s. Let n be l(-5). Solve 2*i + i = -5*j + 17, 5*i - n*j - 15 = 0 for i.
4
Suppose -4*u + 9 = -u. Let l = 0 - -4. Suppose -n = -3*n + l. Solve 5*m = -3*a - 22, -2*m = -u*a + n*m + 23 for a.
1
Suppose 5*q + 4*w - 1 = -7, 2*w = -q - 6. Solve 4*x - 20 = x + 5*j, -2*j - 8 = q*x for x.
0
Let n = -12 + 14. Let h = 5 + 3. Suppose 2*b + 5*x = x + h, -3*x - 5 = -4*b. Solve -b*o + 5*o = 2*u - 23, 13 =