+ k = -2*b for z.
-2
Suppose 4*r - w - 3 = 0, -2*r + 6*r + 3*w = 23. Solve 5*y + 4 = -0*x - r*x, 2*x = -3*y - 4 for y.
0
Suppose t = -3*r - 21, -2*t + r - 15 = 6. Let g be (4 - 5)/(2/(-4)). Let u be 1/g*t/(-3). Solve u*c = 5*h + 20, 3*c + c + 3*h - 14 = 0 for c.
5
Suppose 4*p + 3 = 19. Solve -5 = -z + p*v + 12, -5*v = 25 for z.
-3
Let a be (-4)/10*(-9 + 4). Solve 0 = 2*y - 5*y + 5*n - 3, -a*y - 7 = -5*n for y.
4
Let r(p) be the second derivative of 5*p**3/6 - p**2/2 - 3*p. Let j be r(1). Suppose -j*q = -0*q - 48. Solve -b + l + 3 = 0, -3*b + 28 = 4*l + q for b.
4
Suppose -5*r - p + 28 = 0, -3 = 2*r + 2*p - 19. Solve -a + r*j = -6*a + 5, -a + 11 = -4*j for a.
3
Let s be 88/16 + 1/2. Let w = 9 - s. Solve -2*p = -m - 6, w*m - 4*p = -0*m - 14 for m.
-2
Let j(g) = g - 2. Let o(a) = a**2 - 2*a + 1. Let b(f) = -3*j(f) - 2*o(f). Let y be b(0). Solve y = 4*n, -n = 3*t + 4*n + 1 for t.
-2
Suppose -4*y = -13*y + 18. Solve -t = y*p - 4, -4*t + 2*t - 5*p + 12 = 0 for t.
-4
Suppose 0 = -3*h + 3*z + 1 + 2, -5*z = h - 19. Solve 4*r + 18 = -f - 1, -f = r + h for f.
1
Let o = -12 + 9. Let p(v) = -3 - v - 1 + 1. Let f be p(o). Solve -3*z + 4*i + 3 - 2 = f, 0 = 4*z - 5*i - 1 for z.
-1
Let w(d) = 6*d. Let p be w(1). Let m be p*((-3)/(-9) + 0). Suppose -i + 8 - m = 0. Solve -4*g + i = -14, 0 = 2*k - 3*g + 11 for k.
2
Suppose 5*p = 5 + 15. Solve z + 3*w - 4*w = -3, p*z = -w - 2 for z.
-1
Suppose 2*x + 6 = 0, -3*x - 3 = 2*s - 2. Solve s*i = i + 3*g - 3, -5*i = -g + 17 for i.
-4
Suppose -4*i + 12 = 4*u, 4*u - 2*i + 3 = 21. Let b be (3/(-6))/(1/(-10)). Solve b*y - 5 = -20, 4*c = 4*y + u for c.
-2
Let o(r) = r**3 + r + 1. Let s(k) = -4*k**3 - 3*k**2 - k + 1. Let h(v) = -3*o(v) - s(v). Let f be h(-3). Solve 3*a + 10 = -f*g - 2, -10 = -a + 4*g for a.
-2
Suppose -p + 3*p = -12. Let q = p - -6. Solve 0 = -i, -2*k = -q*k - 3*i - 10 for k.
5
Suppose -3*b + 2*f + 7 = -4*b, -4*f + 7 = -b. Let k(o) = o**2 - 7*o + 2. Let n be k(b). Suppose -3*y = 2*y - n. Solve 14 = -q + 3*h, 0*q = -2*q + 4*h - y for q.
-2
Let o(q) = q - 5. Let d be o(6). Let u be (6/2)/((-15)/(-40)). Suppose 9*i = u*i + 5. Solve 0 = -3*j - w + 11 - d, -i*j + w + 22 = 0 for j.
4
Let a be (140/50)/(1/10). Solve -3*k - k = -2*u + a, 0 = -2*k - 10 for u.
4
Let y(a) = 10*a**2 - a + 3. Let x(v) = -5*v**2 - 1. Let c(w) = -9*x(w) - 4*y(w). Let z be c(2). Solve -4*n - k = -11, 4 = n + 5*k + z for n.
4
Let b = -4 + 7. Solve 0*s = s + 5*w - 13, b = w for s.
-2
Suppose 0*y = -y - 2*f + 3, -2*f + 8 = 2*y. Solve 2*u + h = 7, 10 = y*u + h + 4*h for u.
5
Suppose w - 6*c = -5*c + 10, -4*w - 4*c = 0. Solve -3*l + 0*l = 5*q - 3, w*l = -4*q + 5 for q.
0
Let w(a) = a**3 - 12*a**2 - 14*a + 17. Let o be w(13). Solve -5*h = -o*p + 3*p - 9, -8 = 2*p - 5*h for p.
1
Suppose -z = 5*h - 27, 0*h + h - z - 3 = 0. Let d = 2 - 6. Let s(t) = t**2 + 3*t + 1. Let u be s(d). Solve 2*g - 18 - 5 = -5*q, -20 = -h*g - u*q for g.
-1
Let d = 0 - -24. Solve 0*f + 4*f - d = 4*l, -3*f + 10 = -l for f.
2
Suppose -v + 5 = -0*v. Solve 3*k + 3*f - 12 = 0, -3*k - 20 = -k - v*f for k.
0
Suppose -2 = -2*y, -7 = -4*r - 0*y + 5*y. Let w = 10 + -4. Suppose -15 = -w*u + u. Solve r*b + 7 = v + v, 2*b - 4 = -u*v for v.
2
Let z = 8 + -4. Suppose 0 = b - 2*b - 2*y + 15, -4*b - z*y = -60. Solve -3*d + w - 2*w = b, -2*d + 5*w - 10 = 0 for d.
-5
Let h(u) = 6*u + 3. Let c be h(-2). Suppose 5*l - 30 = 40. Let n = c + l. Solve 3*f + n*s - 26 = 0, 5*f + 10 = -4*s + 36 for f.
2
Let g(o) = 0*o**2 + 5*o**2 + 6 - 7*o - 3*o**2. Let j be g(4). Suppose -j = -4*q + 6. Solve -2*p = -d - q - 2, -3 = d - p for d.
0
Let w(q) = -q**2. Let i(k) = k**3 - 9*k**2 + 4*k. Let g(h) = -i(h) + 3*w(h). Let r be g(5). Solve -r*l - p + 10 = -10, 4*p = 20 for l.
3
Let y = 59 - 52. Suppose 5*k = -4*m + 14, -7 = 3*m - k - 4*k. Solve 0 = 4*l - i + m + 4, 0 = l - 3*i - y for l.
-2
Suppose -43 = 4*g - 59. Solve -4*m = g*j, m - 3*j - 10 = 2*m for m.
5
Let a(b) = -b**2 - 2*b + 13. Let v be a(-4). Solve -4*p - 5 = 3*o, o - 3*o - p = -v for o.
5
Let m be (3 + 1*-6)/((-3)/12). Suppose -4 - 8 = -3*a. Solve 4*n = -a*o - 8, -3*n - 3 + m = 0 for o.
-5
Let i = 115 + -111. Solve 0*v + 4 = 4*v, -i*h = -2*v - 2 for h.
1
Let n(o) = -o**2 - 3*o. Let z be n(-3). Suppose -h - 4 = -2*h. Solve z = -4*l - h*t + 24, -l + 0 - 14 = -3*t for l.
1
Let p(s) = 5*s - 13. Let f be p(3). Solve 2*j + 5*o = -0*j + 29, f = -4*j + 2*o for j.
2
Let c = -8 + 9. Suppose -4*w + 3*i = -1, w + c = -0*i + i. Solve -5*m = w*t - 41, -3*m = -4*m + 5 for t.
4
Let i be 7 + 2/4*-4. Suppose 3*f - i = 1. Solve f*p - 2*k = 0, p - 5*k + 4 = -2*p for p.
2
Suppose 2*t - 5*t + 45 = 0. Suppose 0 = 5*r - 0 - t. Solve r*s + 2*i - 1 + 8 = 0, -3*s + 5 = 5*i for s.
-5
Let x = -6 + 6. Solve 0 = 5*i + 3*t - x*t, 19 = 2*i + 5*t for i.
-3
Let o be (-2)/7 + (-48)/(-21). Solve 7 = o*k + y - 4, 4*k - 28 = -4*y for k.
4
Suppose 2*u - 2*o = -6*o + 40, 5*o - 92 = -4*u. Solve 2*n = -4*a + u, a - 1 = 4 for n.
4
Let k = 2 + -1. Let t be 0/(-1*2 + k). Suppose w + t - 3 = 0. Solve 2*v - v + w*y = 2, 5*v + 6 = y for v.
-1
Let l be 1 - 2 - 9/(-3). Suppose 4*y = -j - 5 + 3, -l*y - 4 = 0. Solve -5*v + j + 5 = -3*f, -2*v + 4 = -f for v.
1
Let m = -6 + 9. Let k be (m + (-21)/6)*-6. Solve -k*z - 10 = 4*x, 2*x - 5 = 5*z - 3*x for z.
-2
Let k = 27 - 12. Let r be ((-24)/k)/((-6)/15). Solve -r*v - 3*s + s + 16 = 0, -2*v + 3*s = 0 for v.
3
Suppose -5 = g - 2*g. Let s be ((-18)/(-10))/(2 + (-9)/5). Let x(j) = j + 8. Let o be x(-6). Solve 9 = -g*c + d, -d = o*c + 2*c + s for c.
-2
Let a = -59 - -63. Solve 4*q = -k, -9 = -3*k + a*k - 5*q for k.
-4
Let v = -1 - -2. Suppose -k - 2 = -2*q + 2, q - k = v. Solve 0 = -q*x - 3*s - 9, -1 = 3*x - s - 0 for x.
-1
Suppose 2*i = -2*i + 124. Let h = i - 21. Let g be ((-16)/6)/(h/(-15)). Solve j = 5*x - 6, -x + 0*x = 5*j + g for x.
1
Suppose 6*c = 11*c - 20. Suppose c*q + q = 10. Suppose q + 2 = y. Solve -2*l = 2*l - 5*z - 8, z = y*l - 8 for l.
2
Suppose -5*i + 0 = 2*u - 6, 3 = u - i. Solve 0 = -2*v - 5*f + 6, u = 5*v + 2*f - 12 for v.
3
Let v = -88 - -143. Let o = -35 + v. Let n(q) = -q**2 - 8*q - 5. Let y be n(-7). Solve 4*u + o = -3*m, -3*m - 7 + y = u for u.
-5
Let q = -33 + 38. Solve b + 2*y + 14 = 0, 13 = b + 2*b - q*y for b.
-4
Suppose -5*q + 18 = -2*q. Suppose 3*z + 0*z = 42. Solve -q*r - z = -4*r - 2*o, 0 = 5*o - 25 for r.
-2
Suppose -4 = i - 2*i. Let l be (i/6)/(3/18). Solve -l*g + 16 = -2*o, -19 = -7*g + 2*g + 3*o for g.
5
Let u be -4 - (4 - 2) - -1. Let p = u - -4. Let s be (-3)/p - (-2)/(-2). Solve -5*k = -r + 12, -5*k - s*r - 8 = -2 for k.
-2
Suppose 0 = 3*g - g. Solve 2*i + 26 = 4*s, -4*i - i - 15 = g for s.
5
Let q be (-2)/(-4)*0/(-2). Let u(f) = -f + 20. Let s be u(q). Solve -2*y + l = -4, 4*y - 6*l + l = s for y.
0
Let v be 9*10/15*2. Solve -5 = 3*z + 2*p, -2*z + 4*p - v = 18 for z.
-5
Suppose -3 = -2*o + 3*m + 6, -o - 3*m = 0. Suppose -o*b + 8 - 2 = 0. Suppose 0*j = -j + b. Solve -4*x - 2 = j*z, -11 - 3 = x - 4*z for x.
-2
Let b(w) = w**3 - 5*w**2 - 4*w - 9. Let t be b(6). Solve -20 = -5*p, 0 = -5*x - t*p - 0*p - 13 for x.
-5
Let w(t) = t**2 + 4*t + 3. Let i be w(-4). Suppose -3*u + 3 = -i. Suppose 2*s - 16 = -4. Solve -6*p + p + 14 = -3*q, -u*q - s = 0 for p.
1
Suppose 0 = -7*c - 9*c + 48. Solve -c*n = -4*i + 27, 0 = -i - 0*i + 2*n + 13 for i.
3
Let r(m) = 2*m**2 + 40*m - 27. Let h be r(-21). Suppose 0 = -4*o + o + 6. Solve 4*q = y - o*y + 16, -h = -3*q for y.
-4
Suppose -b - 2*w - 3 - 4 = 0, b - 18 = 3*w. Solve -4*p + 2*l - 2 = 0, -b*p - 6 = -l - 2*l for p.
1
Let b(i) = -i + 8. Let q be b(-8). Suppose 5*x - q = 3*k, 0 = -k - 0*k + 3. Solve -x*p - 19 = 5*f - 4*f, 2*p = 3*f - 11 for f.
1
Suppose -5*j + 14 = -2*l, -3*l - 3 = 3*j - 8*l. Suppose 0 = -2*y - y + 66. Solve 2*m = -4*s + y, -s + j*s = 4*m + 11 for s.
5
Let f(l) = -l**3 + 4*l**2 - 3*l + 1. Let k be f(3). Let a(h) = 4*h**3 + 2*h**2 - 2*h + 1. Let w be a(k). Solve -4*p + w*m = -11, p - 2*m - 14 = 3*m for p.
-1
Let c(x) be the second derivative of x**4/12 - 2*x**3/3 + 5*x**2/2 - x. Let d be c(4). Solve -d*i = 2*t - 30, 0*t + 5*i - 40 = -4*t for t.
5
Suppose 0 = 10*z - 12*z + 4. Solve -z*w = c + 6, -4*c = -c + 12 for w.
-1
Let n be 2/(-12) + 124/24. Let q be n + 5 + 1/(-1). Suppose -5*w + 16 = -q. Solve w*d - 15 = 2*t, -3*t = 4*d - 0*t + 11 for d.
1
Let x(h) = -29*h - 3. Let s be x(-