Let n(s) = -s + 25. Let u be n(5). Suppose 4*r + 4 - u = 0. Solve z = -r*d - 3*z + 20, t*z - 4 = 0 for d.
3
Let k = 225 - 217. Solve 0 = 5*w + 4*u + k, -w + 5*u - 2*u = -6 for w.
0
Suppose 17 + 3 = -4*i. Let d be 0 - (-2)/i - 374/(-85). Solve 3*y = f - 8, -3*y + 2*f = d*f + 11 for y.
-3
Let m(g) be the second derivative of -g**3/6 + 29*g**2/2 - 23*g. Let b be m(8). Solve t + t = -3*s + b, -t = -3 for s.
5
Let d(q) be the first derivative of 2*q**2 - 10*q + 29. Let f be d(6). Solve 3*o - 19 = -2*v, -2*v + 6*v = 2*o + f for v.
5
Suppose -4*p + 3*d = 6, -3*p - 5*d + 10 = -7*p. Suppose -i = -11*i + 90. Suppose p*l - 18 = -i*l. Solve 0 = l*u + 2*r - 12, -r + 0 = -2 for u.
4
Let t = 1435 + -1432. Solve 5*v - 6 = -5*g + 29, -g = -t for v.
4
Let r(l) = -2*l**2 + 9*l - 7. Let v be r(3). Suppose -5*x - g + 54 = v*g, -5*x + 2*g = -39. Solve -d + u + x = 6*u, 4*u - 4 = 0 for d.
4
Suppose -70 - 42 = -16*i. Solve 8*u - 2*m + 5 = i*u, 5*m - 13 = 3*u for u.
-1
Let y = 328 + -325. Solve 2*b + 3 = 5*m, -m - 2*b = y - 6 for m.
1
Let a be 5*(-3)/3*-1. Let p(l) = -l**2 - 6*l + 4. Let k be p(-8). Let i = 16 + k. Solve -b + u = -a, 3*u - i*u = 1 for b.
4
Suppose 0 = -2*g + j - 173, -2*j + 94 = -g + 3. Let y = 91 + g. Suppose 0 = -4*z + 23 - 7. Solve 3*r - z*m + 31 = 0, 2*r - y = -0*m - 4*m for r.
-5
Let o(v) = -22*v - 2. Let s be o(-3). Let n be 18/4*s/144. Suppose g = 0, -g - n*g - 6 = -2*k. Solve -3*c + 3*x + k = 0, -2*c - x = 4*x - 9 for c.
2
Suppose -2 = 3*h + 4*u, 5*u + 18 = -0*h + 4*h. Suppose 0 = -2*o + 3*w + 13, 5*o + 3*w + h*w + 5 = 0. Solve 2*q + 4 = o*s, q + 4*s = 2*s + 7 for q.
1
Let b be (-19 + 1)/((-33)/22). Solve -3*g = 4*k - 4, 0*g - b = -3*g for k.
-2
Suppose 4*g = 12 + 8. Solve -n - 1 = -d - 2, 11 = -n - g*d for n.
-1
Let w = 1532 + -1528. Solve -2*v + w*v - 12 = 4*n, 4*v - 9 = 3*n for v.
0
Suppose 781*b - 783*b - 1 = -y, -4 = -3*y + 5*b. Suppose -15 = -5*t - 0. Solve t*u = -y*n - 18, u - 6 = -0*u + 5*n for u.
-4
Let t(z) = z**3 - 7*z**2 - 11*z. Let r(n) = n**3 - 8*n**2 - 12*n. Let x(q) = 4*r(q) - 5*t(q). Let c be x(4). Solve -2*l = -g + 10, c = -3*l - 5*g - 3 for l.
-5
Let r be 1/(5/(-15)) - -21. Let w be 2 - r/(9/3). Let o be 1/(5/(-60)*w). Solve 3*g + 11 + 7 = -o*m, -2*m = 4*g + 14 for m.
-5
Let c(n) = 46*n + 3. Let p be c(0). Solve s - p = 3*f, 5*f - s + 2*s = -13 for f.
-2
Let v = -5 + 7. Suppose v*t - 2*s - 4 = -t, t - 5*s + 16 = 0. Let u(d) = 8*d + 34. Let w be u(-4). Solve -2*x - 8 = w*f, -x - t*f = -2*f + 8 for x.
0
Let y(g) = -g**3 + 6*g**2 - 4*g - 3. Let k be y(5). Let h(v) = -k*v - 4*v - 1 + 4*v + v. Let z be h(-3). Solve 0 = -d - i - 4*i - 6, -z*d - 5*i = 7 for d.
-1
Suppose -n = -5 + 3. Let s be (-6)/8*(-108 + 104). Solve 14 = -n*m + 5*i, 5*m + 2*i = s*i - 12 for m.
-2
Let u(z) = -2*z + 10. Let r be u(-4). Suppose r*k - 25 = 13*k. Let i be (-402)/(-16) - (-11)/(-88). Solve -2*q = 3*q - k*n - i, n = -3*q - 1 for q.
1
Suppose w = -8*w + 207. Let h = -21 + w. Suppose 7 = h*i - 9. Solve -2*j + 5*n + 2 = 32, -4*j - 3*n = i for j.
-5
Suppose -24 = 5*a - 4*y, -2*y - 5 = 3*a + 5. Let s = a - -14. Suppose 34*n = 2*n + 224. Solve 0 = -4*t + 2*l - 8, 0 = -5*t + 3*l - n*l - s for t.
-2
Suppose -12*y = -13*y + 5. Suppose y*t = -5*f + 30, 0 = t + 2*t + 5*f - 20. Solve 4*x - h = -4 - 19, t*x + h = -22 for x.
-5
Let g be 187/9 - 118/(-531). Suppose -3*b + 3 = 2*j + 1, -3*b - 6 = 0. Solve j*i = -a - g, 3*i = -a - 18 + 2 for i.
-5
Suppose -3*t = -y + 6, 4*y + t - 16 = 5*t. Suppose -10*q + y*o + 6 = -7*q, 0 = q - 4*o + 13. Solve -2*k = 2, -2*k + q*k + 1 = -r for r.
4
Suppose 32 = -d + 4*u + 8, -84 = 4*d - 4*u. Let v = d - -29. Solve -5*p - v = -0*p - f, -5*p + 2*f = 13 for p.
-1
Suppose 2*n = 5*n - 12. Suppose 5*u = 71 + 34. Solve n*r = 9 - u, 4*k - 3*r = -11 for k.
-5
Suppose 172*a = 176*a - 8. Solve 7*k - 5 = -3*h + a*k, -3*h - 3 = 3*k for h.
-5
Let p = 25 + -23. Let s be (((-24)/9)/p)/(3/(-9)). Solve 0*b = -3*b + 5*f - 10, s*b - 6 = -3*f for b.
0
Let l = 8 - 6. Suppose -3*t - 2*s = -27, 9 = 3*t - 6*s + 2*s. Suppose -2*k + 2*o = -2, -2*k = -7*k + 3*o + t. Solve -k*a = l*x - 10, -5*x + 5 = 2*a - a for a.
5
Suppose -20*j - 18*j + 228 = 0. Solve 2*z + 10 = -3*z, -2*n - 2*z = -j for n.
5
Let w be (2/(-5))/(1/(-15)). Let a = -118 - -121. Suppose -j + t = 5*t - 10, w = a*t. Solve -k + 1 = -z + 5, -5*k + j*z = 11 for k.
-1
Suppose -85*s = -65*s - 60. Solve y + 17 = -5*w, -2*w + y = -s*y + 20 for w.
-4
Let m(z) = z + 6. Let o be m(-8). Let l be (o/(-8) - 3)*-8. Solve -5*v - 23 = 2*s + 2, 0 = 5*s - v + l for s.
-5
Let u be (-1 + 6/4)*-8. Let t be 4 + -2 + u + 2. Suppose -4*i + i + 12 = t. Solve 3*x + 2*r = -2, r - 8 = i*x + 2 for x.
-2
Suppose -t + 5*i = -11 - 4, -2*t = -2*i - 14. Solve j + 4*k = -3*j + 20, 2*j - 3*k + t = 0 for j.
2
Let d = -14 + 16. Let a(p) = d + p + 3 - 8 + 0*p. Let h be a(6). Solve 0 = 4*s + 3 - 7, -4*f - h*s = -3 for f.
0
Let j(c) = -12*c - 24. Let f(h) = -3*h - 6. Let a(b) = -9*f(b) + 2*j(b). Let d be a(-3). Let g be (-3 - 8/3)*d. Solve -3*y + g = 2*p - 6, 5*p = 4*y for y.
5
Let k = -8 + 12. Let y = 12 + k. Let x be 1/(3 + y/(-6)). Solve -4*f = d - 17, -x*f + 2*f + 5*d + 20 = 0 for f.
5
Let v be (-1)/(-1*1)*(-13 + 9). Let f be (2/6*1)/(v/(-72)). Solve 0 = -5*k - 2*u + f, -3*k + u = 4*u for k.
2
Let p be (-2)/5 - (-1456)/(-35). Let s be 1/(p/48 + 1). Solve 2 = 5*r - c - 2, -3*r - 5*c = -s for r.
1
Let l(z) = 4*z. Let d = 0 + 1. Let s be l(d). Let i be (-2 - 4)*(40/(-15))/4. Solve s*r = 5*v - 31, -i*r + 0*r - 13 = v for v.
3
Suppose 61*m - 56*m - 25 = 0. Solve 3*d + 34 = -m*o, 11 = -3*o + 3*d + 5 for o.
-5
Let l(o) = o + 20. Let h be l(-18). Suppose -3*k + 5*k - 20 = 0. Let p be 12/k*5/2. Solve -3*j + h*j = -p*i + 12, -2*j + 11 = i for j.
3
Let g be 1/(-1)*(-135)/(-9). Let c be (g/(-6) - 2) + 10/(-20). Suppose -2*v + 7*v - 33 = -2*b, 0 = 3*v + 2*b - 23. Solve -v*u + q = 4, c*q + 2 = -u - q for u.
-1
Suppose 0 = 2*i - 4, l - 16*i + 8 = -11*i. Solve -2*h = l*h + 5*u + 5, 0 = h + u + 2 for h.
-5
Suppose -62*b + 69*b - 14 = 0. Solve 3*t + 4*q - b = 3*q, -2*t = 4*q + 2 for t.
1
Let g = -270 - -285. Solve -4*k - 3*v + 6 = 3, v = 4*k - g for k.
3
Suppose -3*a = -9*a. Suppose z + a*z - 8 = 0. Let b be (3/6)/(1/z). Solve -3*f + b*g - 17 = 0, 3*g - 15 = -5*f + g for f.
1
Let n be (-11 + 1)/(14/(-35)). Suppose 0 = -4*r + n + 3. Solve -2*i + 3*g - 1 + 14 = 0, -i = -2*g - r for i.
5
Let k(w) be the second derivative of 2*w**3/3 - w**2 - 7*w. Let f be k(2). Solve -11 = -4*q - r, -2*r + f*r + 4 = -4*q for q.
4
Suppose 2*b - 3*j + 7*j + 20 = 0, -4*j - 20 = 4*b. Suppose 9*k - 4*k - 45 = b. Solve 20 = -4*a - 2*f, -k = 3*a - 2*f - 1 for a.
-4
Let y = -34 - -49. Suppose 3*k - 3 = y. Suppose 0 = -2*i + k*i - 20. Solve 3*f + 25 = i*o + 5, -f - 2*o - 3 = 0 for f.
-5
Let v(x) = -54*x**2 + 1. Let d be v(-1). Let i = d + 61. Solve b - 4*l = -3*l + i, 4*b - 20 = l for b.
4
Let f be 54/14 - (-288)/(-336). Suppose -3 = l - 2*l. Solve -5*w + 25 = -f*t, -4*t = -w + l + 19 for w.
2
Let t = -10 + 28. Suppose -3*l - 52 = -5*l. Let s = -23 + l. Solve 5*z + 2*b + t = s*b, 3*z + 4 = 4*b for z.
-4
Let z = 11 - 8. Suppose 15 = -z*n, -n + 10 = 3*x - 0*n. Solve -4*w = 3*b - 6*b + 3, -w = -x*b + 5 for b.
1
Suppose -2*w = 4, 3*c + 3*w + 13 = 238. Let n = c + -72. Solve 0 = -5*p + 5*f - 0 + 30, 0 = -n*p + 4*f + 28 for p.
4
Let p(k) = 16*k + 336. Let o be p(-21). Solve 2*v = -o*r - r - 3, r = -v for r.
3
Let i(r) = 2*r**2 - 2*r - 7. Let t be i(3). Solve -4*y + 12 - 1 = q, -5*y - t = -5*q for y.
2
Let h = 22 + -22. Suppose h*c + 5*c - 15 = 0. Suppose x + x = 20. Solve -5*d - 15 = -2*q + x, q = c*d + 14 for d.
-3
Let c(r) = r**3 - 9*r**2 + 2*r. Let j(m) = m**3 - 8*m**2 + 2*m + 1. Let s(l) = 3*c(l) - 4*j(l). Let x be s(4). Solve 5*t - 5 = g, -x*g - 20 = 3*t - 0*t for g.
-5
Let i = 69 + -65. Suppose i*w - 40 = -w + p, -4*w + 32 = 2*p. Solve -4*o = 5*d + 2 - w, 2*d + o = 0 for d.
-2
Let k(o) = 2*o - 17. Let n be k(10). Suppose 4*l - 29 = -2*s - 1, 2*l + n*s = 22. Solve l*a + 2*c + 2 = c, 4*c - 8 = -4*a for a.
-1
Suppose 0 = 4*n - 4 - 16. Suppose 5*v + 2*s = -30 - 28, 47 = -4*v - s. Let f = 14 + v. Solve 0 = -f*m + 5*t, -m - n*t = m for m.
0
Suppose -3*v - v - 64 = 0. Let j = -11 - v. Solve -6 = -3*k, 4*k = -3*r + j*k + 10 for r.
4
Let k = 117 + -115. Solve -2*p - 12 = -m - k, p + 5 