+ 3*s - 7. Let p be a(-5). Let z be 6*((-40)/15 + p). Solve 0 = -x - z*x - 5*t - 19, -26 = -3*x + 4*t for x.
2
Let v be 1052/(-36) - 8/(-36). Let p = v + 32. Solve 3*f = 3*c + 6, 0*f + f = -p*c + 10 for f.
4
Let b = 6 - 2. Let d(x) = -x**3 - 24*x**2 - 22*x + 28. Let m be d(-23). Suppose m + 1 = 2*o. Solve o*l - 6 = -4*w - 20, b*w - 4*l = 0 for w.
-2
Let f be (1/5 - 1)*-10. Suppose -5*j + 2*n = -25, 0*n + 21 = 2*j - 3*n. Solve f*y + 25 = j*y - 2*i, -2*i = 0 for y.
-5
Suppose -4*g = -2*b - 92, -5*g + 2*b + 125 = -3*b. Let p = -7 + g. Suppose 0 = p*r - 12*r - 4. Solve -r*w + 2*f + f + 16 = 0, 5*f = w - 22 for w.
2
Let a be 2/4 + 196/8. Suppose -3*r + a = -2*r. Solve -5*y + 5*b + r = 0, -y = -0*y - 4*b - 11 for y.
3
Let l(o) = o**3 + 7*o**2 - 227*o - 9. Let t be l(12). Let r(m) = 2*m - 2. Let w be r(2). Solve -w*n - t*v + 6 = v, 0 = -3*n - 4*v + 11 for n.
5
Let w = 878 + -875. Solve -2*y = w*k - 11, 4*y + 13*k - 18 = 11*k for y.
4
Let d be -2 + (-5)/(5/18). Suppose 8*n + 23 = -17. Let i be (-1)/(d/(-12))*n. Solve -s - i*r = -2*s + 10, -6 = 2*r for s.
1
Let s be (-20)/(-45) - 20/(-36) - -4. Solve s*l - 17 = -4*w, -3*l - w + 25 = -6*w for l.
5
Suppose -13 = 4*l - 3*c - 6, 0 = 3*l + 4*c - 26. Suppose -4*p - 42 = 282. Let g = 91 + p. Solve 0 = -4*y + l*d - g, 3*y + 12 = -2*y + 3*d for y.
-3
Let c = -10 + 13. Let l be 0/((-6)/(-9)*-3). Suppose -2*y + l + 6 = 0. Solve -3*r + r - c*q - 10 = 0, y*r + 15 = 5*q for r.
-5
Suppose 4*o - l - l = 20, 16 = 4*l. Let a be (-12)/28 - ((-45)/o - -2). Solve -h + 2 + 13 = 4*v, 0 = a*v - 3*h - 35 for v.
5
Suppose -117 = -7*q - 6*q. Solve 3*l - 9 = -2*z, -q = -z + l - 4*l for z.
0
Let s(z) = -4*z - 4. Let f be s(-8). Let g be 436/f + 16/(-28). Solve 0 = 2*k - 4*l + 2*l, -5*l = -2*k + g for k.
-5
Let n(l) = 11*l + 230. Let c be n(-20). Let o be ((-3)/(-2))/(6/8). Suppose o*k + 0*k = c. Solve 4*d = -u - 1, 2*u = u + k*d - 1 for u.
-1
Let h(s) = -s**2 - 22*s - 60. Let f be h(-17). Solve -5*y - 10 = -5*r + 15, 0 = 5*r - 3*y - f for r.
5
Let o be 6/(-1) + (-3)/(-3). Let q = o - -1. Let k = -1 - q. Solve 4*d - 13 = -h, k*h - 14 = 5*h - 2*d for h.
-3
Suppose -66 = 64*f - 75*f. Solve 5*j = 2*t - 17, 4*j - f*j - 5*t = 1 for j.
-3
Let h = 7 + -5. Suppose 0 = h*x + x - 24. Suppose -5*b = -x*b. Solve b*a + a + 5 = 0, 0 = 2*t + 3*a + 5 for t.
5
Let f(n) = n**2 - 11*n + 34. Let z be f(5). Solve z*a - 4*r = 12, -4*a - 5*r = -28 + 7 for a.
4
Let y(o) = -o**2 - 5*o + 8. Let s be y(-7). Let z be (-7)/(-21) - 34/s. Suppose 3 + 17 = 4*n. Solve -z*h + 4*h + 10 = -4*f, 0 = -h - n*f - 2 for h.
3
Let z = 826 + -814. Solve 0 = 5*c - 2*c - 5*p + 15, -5*c = 4*p - z for c.
0
Suppose h - 5 - 5 = -2*y, -5*h + 20 = 4*y. Solve y*x - m - 14 = -38, 5*x = -5*m for x.
-4
Let m be (-3 + -3)/(3/(-2)). Let f be 0/(m*-1 + 3). Suppose f*u + 2*u - 13 = -d, -5*d = -u - 10. Solve d*y + 4*c - 13 = 0, -4*y - 1 - 23 = -5*c for y.
-1
Suppose 0*q - 25 = -4*q + c, -3*q - 5*c - 10 = 0. Suppose 0*f + 4*f - 16 = -q*a, 0 = 2*f - 5*a - 8. Solve -3*i - 3*o + 7*o - 20 = 0, -4*o + 20 = f*i for i.
0
Let u be (-6)/(-18) - (-76)/(-3). Let x = -19 - u. Let w be 36/27*x/2. Solve 0 = -5*r + 4*m - 3, -m + 3*m = w for r.
1
Let g = 41 + -38. Suppose 20 = g*k + 2*h - 4*h, -5*k + 5*h = -40. Solve p = -v + 1 - 0, -5*p + k*v = 4 for p.
0
Let t(w) = 21*w - 20 + 2*w**2 - 9*w - 3*w**2. Let z be t(10). Solve 0*k = 5*k + 4*x + 24, z = 5*k - 2*x + 18 for k.
-4
Let c(k) = -54*k + 324. Let h be c(6). Solve 3*f - 5*n + 0*n = 9, h = 5*n for f.
3
Let i be 45/55 - 4/(-22). Suppose 3*c = c + h + 3, -4*h = -4. Solve c*y + 9 = -4*v + i, 0 = -3*v - 9 for y.
2
Let q(s) = -9*s + 182. Let j be q(20). Solve 5*p - j*u - 18 = 0, -2*p - u + 3 = -6*u for p.
4
Let b(u) be the second derivative of -u**4/12 + u**3/6 + 7*u**2 - 12*u. Let o be b(4). Let w = 32 + -17. Solve o*x = 3*q + 12 + 3, -3*x + 3*q = -w for x.
0
Let k(h) = 5*h**3 + 3*h**2 - h - 2. Let m be k(-2). Let z be 74/14 + 8/m. Let n = -5153 - -5153. Solve 5*c - z = -3*f, n*c + 5*c + 2*f = 10 for c.
4
Let v be ((-45)/10 + 4)*0. Suppose v*m = -4*m + 12. Solve 3*n = m*w + 27, -1 = w - 2*n + 3*n for w.
-5
Suppose 2*c = 15 + 35. Suppose -2*g = 5*d - 0*d + 25, -4*g = -d - 5. Solve 2*m + 4*t - 20 = g, 9*m - 4*m + c = 5*t for m.
0
Let d be (-20)/50 + (-6)/10. Let u be (3 + -1)*d*-2. Suppose 4 - 24 = -u*o - s, -2*s = 4*o - 20. Solve 2*w = 3*y - 3, o*y = -3*w + 2*w + 5 for y.
1
Let j = 35 + -33. Suppose -j*w = 14 - 16. Solve -2*x + 5*y = -w, -3*y = 5*x - 18 - 0 for x.
3
Let d be 18/10*(13 + -58)/(-9). Solve a + 2*z + 0*z + d = 0, z + 1 = -4*a for a.
1
Suppose -f + 2*k - 1 = 0, -4*f - 96*k + 18 = -93*k. Solve -4*c - 4 = 2*b, f*b + 5*c - 3*c = -6 for b.
-2
Suppose -5*l - 4 = 4*s - 23, -3*s + 3 = 0. Solve 0 = -l*i - 4*r - 11, 3*i + i = -2*r - 8 for i.
-1
Let o(b) = -2*b**3 - 4*b**2 - 5*b - 5. Suppose 0 = 2*g - 5*x + 19, -4*x + 2*x + 6 = 0. Let h be o(g). Solve 0 = h*d - 2*y + 12, -y = -d - 0*y for d.
-4
Suppose 0 = 30*v - 8*v - 44. Solve v = k, k + 2 = -j - 1 for j.
-5
Let q(d) = -d**3 + 11*d**2 + 6*d + 77. Let h be q(12). Solve 2*a - u + h = 0, 2*u = 2*a - 0*a + 2 for a.
-4
Let z be (-798)/(-294) + 1 + 15/(-21). Solve q - z + 1 = 2*r, 3*r = 4*q + 7 for r.
-3
Suppose -2*q + 5 = -3*a + 8*a, 4*a - 37 = 5*q. Solve -y - 16 = -0*y + a*g, 0 = 3*y - 4*g - 4 for y.
-4
Let a(v) = -8*v + 3. Let x(g) = -7*g + 3. Let s(i) = 3*a(i) - 4*x(i). Let n be s(3). Let o = -7 + n. Solve -22 + 1 = 5*d - k, 0 = o*d + k + 7 for d.
-4
Suppose -35 = -o + 5*y, -2*o - 19 + 54 = -3*y. Solve -g = -5*p + 23, g = 3*g - p + o for g.
-3
Let v(j) = 3*j**3 + j**2. Let r be v(-1). Let t = r - -5. Let f(w) = w**3 + 8*w**2 + 2. Let x be f(-8). Solve -3*h + 4*h + 2*s = -t, x*s = 0 for h.
-3
Let m = 2 - 1. Let f = 842 + -840. Solve -r = 0, a = 2*r - m + f for a.
1
Let b = -950 - -952. Solve -4*a + m - 22 = 0, -3*a - 2*m - 7 = b*m for a.
-5
Suppose 0 = 8*c - 3*c - 15. Suppose -3 = 2*p + p - c*a, -a + 10 = -4*p. Let r = p + 7. Solve -m + 5 = -r*d, 0*m + 2*m + 5*d - 10 = 0 for m.
5
Suppose 0 = 2*y - 5*g + 3*g - 4, -2*g = 0. Solve -2*f = -4*f - 2*p + 4, -p = -y*f + 13 for f.
5
Let m(u) = u**2 + 21*u + 108. Let h be m(-8). Solve -h*v - 32 = 5*o, 5*v = 3*o - 3 - 0 for o.
-4
Suppose -7 - 11 = 4*q - 2*i, -2*i = 4*q + 22. Let f be (-18)/(-2)*q/(-15). Let j be 6/(2/1 - 1). Solve -4*y + 6 = -f*v, 4*y + 4 = -5*v - j for y.
0
Suppose -3*d + 3*f + 9 = -0*f, -4*d + 2*f + 6 = 0. Solve d = 5*a + 4*y + 10, 4*y + 29 = 9 for a.
2
Suppose 2*g = -12*g. Solve s - 4*c + 20 = g, -3*c = 5*s - 0 - 15 for s.
0
Suppose -5*i = 5*i - 20. Suppose -i*x = -5*c + 52, x + 27 = 3*c + 4*x. Solve 4*v + 4*w - 9 = 11, -2*v + 2*w = -c for v.
5
Let b be -4*(-4)/(-12) - (-95)/15. Solve 15 = 4*g - 0*z - z, -2*g = -z - b for g.
5
Suppose 5*x + 5*u + 15 = 0, 136*u = x + 134*u - 12. Solve -4*y + x*h - 7 = -17, 3*y + 3 = 5*h for y.
4
Let h be 0*2*(-4)/16. Suppose 3*k - k - 24 = h. Suppose q - 4*q = -k. Solve -3 = q*m - 3*w - 0, -7 = m - 2*w for m.
3
Let t = 18 + -11. Suppose -5 = -t*r + 72. Solve 4*w - r = 3*v, -5*v + 11 = 2*w + 38 for w.
-1
Let q be 2/8*(15 - 3). Suppose 11 + 19 = -5*a. Let d be 15/a*6/(-5). Solve -3*x - d = 2*w, q*w = w - 5*x - 5 for w.
0
Suppose 2*k - 19 - 13 = 0. Let o = k + -12. Suppose 3 = -o*v + 19. Solve -2*q - 10 = -v*h, -2*q - 1 = 2*h + 3*q for h.
2
Let r = 26 - 22. Suppose r*i + 4*i = 0. Solve 5*k - 12 = -2*m, m + k = -i*m for m.
-4
Let y = -41 + 16. Let u = y - -25. Solve -k + 4 = -2*j + j, u = 3*j for k.
4
Suppose o - f - 9 = 0, -5*o + 6*o + 7 = -3*f. Solve 1 - o = 3*w + 2*u, -3*w + u = -11 for w.
2
Suppose 0 = 3*y - 16 - 5. Suppose -5*s - 10 = -y*s. Suppose -z = -s*z + 16. Solve -5*g - 17 = u, -g - 3*g = -z*u + 28 for g.
-4
Let o be 16/56 + (-2)/7. Let g(n) = n. Let b be g(1). Let y(h) = 4*h**3 + h. Let u be y(b). Solve o = u*t + 3*a + 50 - 10, 3*t + 10 = a for t.
-5
Suppose 0 = 3*v - v - 10, -v + 11 = 2*o. Let b be o*2 + 12 + -14. Solve 2*l - 26 = b*d, 0 = -0*l - 4*l + 2*d + 28 for l.
5
Suppose -47*w + 192 = 4. Let d be (2 - (-11)/(-4))*-20. Solve -1 = -2*c + w*f - d, 0 = 3*f - 9 for c.
-1
Let y(w) = -5*w**2 - 195*w + 5. Let s be y(-39). Solve 40 = -12*p + 17*p + s*q, 0 = -5*p - 3*q + 34 for p.
5
Suppose 17 = 2*j + 3*f, -j - 5*f + 29 = 3*j. Let l be 4 + (-5 - -4) + j. Solve -4*m + 18 = m + l*n, 0 = -2*m + 5*n - 6 for m.
