 4. Let m be y(-4). Let d = 17 - 13. Solve d*g + 2 = -2, -f = m*g + 4 for f.
0
Suppose 10*d - 49 = 131. Solve -b + 3*a + 11 = 0, a - d = -2*b + 6*a for b.
-1
Let o(f) = f**3 - 3*f**2 + 3*f - 1. Let z be o(2). Solve -5*c + 3*m = -c - 3, 2*c - m = -z for c.
-3
Suppose -5*k - 25 = -5*r, 5*k - 10 = -3*r + 5. Let b be 3/(-15) + (-16)/(-5). Solve -3*d + 8*d - r*s = 25, 3*d - 15 = -b*s for d.
5
Let a(w) = -w + 6. Let f be a(3). Solve -f*s + 4*s + 16 = -3*q, -5*q = 2*s + 27 for s.
-1
Let z = 4 - 2. Let x be (-12)/(-1 - 0) - -1. Suppose 2*b + x = 3*p, 3*b + 3 = -3. Solve -3*c + z*c + p = w, -3*w - 1 = c for w.
-2
Suppose -3*a = -4*p - 49, 3*p - 42 = -3*a - 0*p. Let i(n) = 2*n**2 - 3*n. Let k be i(2). Suppose k*t + 3*t = a. Solve l = 4*l - 3*d + t, -5*d - 11 = -l for l.
-4
Let z be (10/(-3))/((-2)/3). Suppose -22 = 4*n - 2*y, -2*y + y = z*n + 45. Let w be (-9)/6*n/6. Solve -h - 2 = -r - 2*r, 0 = -3*r - w*h - 4 for r.
0
Suppose 0 = -r - 3*p + 5 - 3, -3*p = -r + 20. Let i(c) = 2*c - 14. Let o be i(r). Solve 0 = -v + 2*h - 0*h + 2, o = 3*v - 4*h for v.
4
Let m be (-88)/(-6) - 6/(-18). Solve m = 4*h - 5*v, -3*h + 11 = 3*v - 7*v for h.
5
Let u = 6 - 7. Let t be (u/3)/((-1)/6). Solve 0 = 3*n + 2*q - q + 8, -14 = 4*n + t*q for n.
-1
Suppose 2*d = 4*i, 9 = 4*i + d + 3. Let t(c) = -c**3 + 1. Let o be t(i). Solve 15 = 3*k - 3*n, k + 3*k - 3*n - 16 = o for k.
1
Suppose -4*v = -4 - 4. Suppose -3*l - 1 = -0*j + v*j, 4*l + 28 = 4*j. Solve 0 = 5*s - j*x + 6, -6 = -s + 2*x - 3*x for s.
2
Let l be 9/(9/14) - 0. Let i = l - 12. Solve 3*p + 3*t + i = -13, 0 = 4*p - 2*t + 14 for p.
-4
Let q be 4/32*-12*10/(-3). Suppose -29 + 4 = -p. Solve 6 = 2*f + 2*n - 0, -p = q*f - 3*n for f.
-2
Let g(a) = 36*a**2 + a + 1. Let u be g(-1). Suppose 0*z = -3*z + 6, 2*z - u = -4*n. Let y be (-4)/n - 11/(-2). Solve -12 + 1 = 5*f + 3*c, -y*c - 5 = 5*f for f.
-4
Let x(m) = m + 1. Let g be x(-1). Suppose 5*z = -4*q + 28, -q - 3*q + 8 = 0. Suppose 0*l = z*l. Solve u - 5*a - 10 = g, -u - 17 = -l*u + 4*a for u.
-5
Let m(x) = x**3 - 17*x**2 - 2*x + 39. Let w be m(17). Solve -2*p + 2 = -c, -w*p - 4*c + 23 - 5 = 0 for p.
2
Let c(l) = -l + 13. Let t be c(9). Suppose -5*k + g + 28 = 0, t*k - 2*g = 3*g + 14. Let z be (42/8)/(k/16). Solve -i + 5*w + z = 0, i + 0*i = -5*w - 6 for i.
4
Let y be -6*(-3)/(-6)*(-4)/6. Solve 0 = -k + 4*k + y*s + 3, -3*k - 3 = -4*s for k.
-1
Let n(s) = s**2 + 5*s + 4. Let h be n(-3). Let k = h + 6. Solve -2*y = a + 1 + k, -2*a - 8 = 3*y for y.
-2
Let b be ((-20)/(-12))/(1/3). Suppose -110 = -b*y - 0*y. Let r = y - 13. Solve 4*m - 36 = -5*i, r - 1 = 2*m for i.
4
Let l = 3 - 1. Suppose -l*u = -u. Let k be u/((3 + -2)*1). Solve 4*s - 2*f + 3*f - 9 = 0, 4*f + 12 = k for s.
3
Let q(g) = g**3 + 6*g**2 - 18*g + 5. Let t be q(-8). Solve -4*b + 0*p - t = -p, 0 = -3*b - 2*p - 2 for b.
-4
Let z be (16/(-2))/((-2)/1). Let o be 206/(-8) - 1/z. Let r = -17 - o. Solve 7 = 3*x + 2*t, -11 = -4*t + r for x.
-1
Let d be 0/(5 - (-1 + 4)). Solve d = 5*g - 10, v - 3*g + 2 + 2 = 0 for v.
2
Let x(w) = 4*w**3 - 2*w**2 - 2. Let j be x(2). Suppose 17 = -h - o, h + 3*o + 3 = -j. Let n = h + 18. Solve c = 2*c - 3*f + 1, n*f = 4*c + 11 for c.
-4
Suppose -6 + 21 = 5*r. Let o = 3 + 2. Solve c - r*q = -9, o*q - 16 + 1 = -2*c for c.
0
Suppose 5*p - 25 = 0, 0*j + p = -4*j + 105. Suppose 0 = -0*b - 5*b, 5*r - j = 2*b. Solve 4*u - s = -7, -3*s = -4*u - r*s - 22 for u.
-3
Suppose v + 3*v - z = 83, 3*z = 3. Suppose -v*r = -24*r + 12. Solve 8 = 3*s - i - 4*i, 2*s = -r*i - 24 for s.
-4
Let s(w) = -2*w + 2. Let y be s(6). Let q be 3*10/(-3)*-1. Let h = q + y. Solve 3*b = -3*m + 13 - 4, b - 5*m + 9 = h for b.
1
Suppose 2*j = -2*l - 9 + 35, 4*l - 42 = -3*j. Let h = -5 + j. Solve 0 = 2*u + h*g - 31, -5*g = 4*u - g - 32 for u.
3
Let g = -6 - -9. Suppose -2 + g = a. Solve -k + 3 = 5*j + a, 5*j = 0 for k.
2
Let v(t) = -t**3 + 16*t**2 + 38*t - 36. Let o be v(18). Let i(w) = 2*w + 4. Let p be i(3). Solve 4*g - 4*l - 6 = 22, 2*g + 4*l + p = o for g.
3
Suppose 0 = 4*j - 2*j + 12. Let q = -3 - j. Solve 5*x = -q*z - 23, 4*z + 3*x - 2*x = -8 for z.
-1
Suppose 2*g + 0 = 12. Solve 5*d + 5*v + g + 4 = 0, 3*d + 18 = v for d.
-5
Suppose 2*v - 2 = 4. Solve -22 = 5*k + v*p, 2*k + 5*p + 2 = -3 for k.
-5
Let o be -2 + (-1)/(1/10). Let z(m) = m**3 + 11*m**2 - 13*m - 5. Let k be z(o). Solve 4*w + 4 = -x - 2, -w = 3*x + k for w.
-1
Suppose 5*l = 3*l - 4, -l + 4 = 2*c. Let m(g) be the first derivative of -g**2 - 4*g - 1. Let h be m(-4). Solve h = -c*x - 5*p + 13, 2*x + 4*p - 8 = 0 for x.
-2
Let g = 26 - 22. Solve 0 = -n - g*i + 5, -2*i + 25 = 5*n - 7*i for n.
5
Let l = -24 - -27. Suppose 0 = -0*z + 4*z. Let h = 1 + z. Solve a = -4*w - 1, -8*w - h = -l*w + a for w.
0
Suppose -5*u + 26 = -3*l + 4, -18 = -3*u - 3*l. Suppose 2 = -b - 1, 2*k - 23 = 5*b. Solve v = -w, -u*w + 9 = -0*v - k*v for v.
-1
Let y(p) = -p**2 - 6*p + 4. Suppose 20 + 4 = -4*k. Let h be y(k). Suppose -3*m = -2*m - h. Solve -4 - 1 = -5*d + 4*l, m*d + 37 = -5*l for d.
-3
Suppose -4*k - 40 = -4*y, 4*y + 0*k = -k + 15. Solve -3*n - 2*l - y = 0, -2*l + 1 + 3 = 0 for n.
-3
Let s = -9 + 17. Suppose -3*r + 2*t - 2 = -15, r - 3 = 2*t. Solve r*m - 4*f + s = 0, -f - 6 = -4*f for m.
0
Let d be (-19)/(-2) - (-8)/16. Solve -d = -2*y + 4*h, 0*y - 5*y - 4*h = 31 for y.
-3
Let i = 13 - 9. Suppose 24 = i*r + 3*s, -r + 2*s + s = -6. Let d be (-3)/(-1)*(1 - 0). Solve -r = -d*q, 3*q - 18 = -5*g - q for g.
2
Let s(u) = 4*u - 56. Let n be s(15). Solve -3*v = n*i + 31, 4*v + 3*i + 2 = 6*v for v.
-5
Let l = -22 + 27. Solve -l*k - m + 30 = -5*m, -k - 4*m = 18 for k.
2
Let l be (4/12)/((-2)/(-24)). Let d = -2 + l. Solve -d*t + 4*t + 3 = z, 7 = -3*t + z for t.
-4
Let f = 108 - 108. Suppose 3*p + 5*m + 8 = 0, p - 2 = 2*m + 10. Suppose -2 = 2*h, -3*x - p*h + 14 = -9*h. Solve i + x*a = -f - 4, 4*i = -5*a - 2 for i.
2
Let v(k) = -k. Let d be v(-2). Suppose -q + d = 2*h - 7, -2*h = -2*q. Solve 3*a = 4*a + 5*t + h, -3*a + 10 = -4*t for a.
2
Let v be (-2 + 1)*0*2/4. Solve -3*r = -2*r - 3*g + 5, v = -4*r - 4*g + 12 for r.
1
Let x be (2/4)/((-8)/144). Let d = x - -13. Solve 5*i - d*l + 7 + 5 = 0, 12 = -2*i - 2*l for i.
-4
Suppose 9*p + 35 = 14*p. Solve 0 = 3*z - 0 - 3, z = -2*l - p for l.
-4
Let b(q) = -2*q**2 + 3*q + 4*q**2 + 0*q**2. Let k be b(-2). Suppose -7*r + 0*r = -14. Solve k*d - 5*f = -9, -2*d + r*f = -5*d - 4 for d.
-2
Suppose 5*t - 20 = t. Let f(u) = u**3 + 4*u**2 + 2*u - 2. Let w be f(-2). Let c = 4 - w. Solve 0 = 2*l - 3*g + t, l = -c*l - 3*g for l.
-1
Suppose -132*g = -129*g - 24. Solve 0 = -4*u - 2*d + g, -2*u + 3*u - d = -4 for u.
0
Let l be (1 - 1 - -3) + 0. Solve p - m = -p + l, m = -3*p - 3 for p.
0
Let g be -2 + 22 - (-1 - -1). Let m be (-2)/(-4) + (-5)/(-2). Suppose -12 = 3*o, -j + m*j - 3*o - 22 = 0. Solve j*x - 5*n = g, 2*x + 0*n = 5*n + 8 for x.
4
Let j = -8 - -18. Let o be 16/6*15/j. Let n(c) = c + 13. Let u be n(-8). Solve 4*y + 5 = b, o*y - u*b - 2 = 5 for y.
-2
Let m be 1 - (-2 - (-6)/(-1)). Solve 3*v = -2*a + m, 2*v + 2*v = -3*a + 13 for v.
1
Let b = -69 + 71. Solve 2*r - 12 = -b*i, 6*r - 2*i = r + 9 for r.
3
Let f(n) = -2*n. Let l be f(4). Let u = 6 + l. Let t = 4 + u. Solve -4 = 4*g - 3*a, t*a + 1 + 0 = -g for g.
-1
Suppose -3*d - 4 = 2*x - x, 4*x = -3*d + 2. Solve -3*j - 15 = 0, -5*j = k - x*k + 28 for k.
3
Let j(h) = 4 + 6 - 12 + 3 + 2*h**2 + 6*h. Let t be j(-3). Solve 7*b = -5*z + 2*b + 5, 0 = z + 2*b - t for z.
1
Let d be (-1*(-12)/15)/((-2)/(-15)). Solve -2*f + y = -15, -d*f + 3*f = -4*y - 35 for f.
5
Suppose 5*l = 7*l + 34. Let s = l - -34. Solve 4*v = -4*b + 28, -3*b + b = 3*v - s for v.
3
Let l(t) = -6*t**3 - 1. Let s(v) = -v**2 - v - 1. Let o be s(-1). Let x be l(o). Let m = 8 + -4. Solve -5*q + x*p = -0*p + 15, -5*p = m*q + 3 for q.
-2
Let k be 1*(-1)/(-1)*-5. Let w be 3 + 0/2 - 5. Let q = w - k. Solve p + 2*o = -7, -q*p - 4 = -6*p - o for p.
3
Let c be (1*-2)/(-2) + 1. Let w = -4 - -4. Suppose w*n = -4*n + 8. Solve -q - s - 3 = 0, -c*q + 2*s = n + 12 for q.
-5
Let j(q) be the first derivative of -q**2 - 2*q + 6. Let v be j(-2). Solve v = 2*n - 2*l + 5*l, -2*l = -n - 13 for n.
-5
Suppose 2*o + 4*k - 10 = 0, 5*k = 2*o + 4*k - 20. Solve -h + 0*h - 6 = -a, -4*h - o = a for a.
3
Suppose 0 = 12*y - y - 264. Solve -w - 5*r = y, 5*w = 2*r + 8 + 7 for w.
1
Let z = -25 + 31. Sol