 2*f + 15*f. Solve -z + 5*c = 3*z + 7, f = 5*z + 5*c + 20 for z.
-3
Let j be (24/40)/(2/20). Solve -3*k = 4*w + 18, j*k - 2*k - 7 = 5*w for k.
-2
Suppose o = 4*c + 2, -c + 2 = 1. Let d = -1 + o. Solve 0*v + 3*b + 5 = v, 5*b = -d*v - 35 for v.
-4
Let j(u) = -u + 15. Let f be j(11). Suppose f*c + 19 = b, 5*b + 0*b + c = 74. Solve -4*g - n + 5*n = -12, -3*g = -5*n - b for g.
0
Let k be ((-4)/(-12))/(2/6). Let q be 0 - -5 - k - -2. Suppose -a - 10 = -q*a. Solve 2*h - 6 = -4*v, -v + 3 = a*h - 3 for h.
3
Suppose -100*z + 127*z = 0. Let c be (-3)/((-30)/(-8))*-5. Suppose -3*b + 33 = -0*b. Solve z = -y + 3*v - c - 13, b = y + 4*v for y.
-5
Let z = -53 + 57. Suppose 13*i - 85 = -z*i. Solve t + 12 = 4*v, -i*v + 15 = -0*v - 4*t for v.
3
Suppose -3*x = -4*x. Let v be (1/(-4))/(1/80*-4). Solve -i + 0*i + r - 1 = x, 5*r + 15 = -v*i for i.
-2
Suppose -4 = -4*x + 4*d, -5 = -3*x + x - d. Let y be (2/(-10))/((-11)/165). Solve -4*j - x*k = 3*k - 23, -y*k + 15 = 3*j for j.
2
Let d(o) = -o**3 - 15*o**2 - 18*o - 32. Let x be d(-14). Solve 0 = 3*i - 2*a + 1 - x, 15 = -i - 5*a for i.
5
Suppose -d + 22 = 3*z, -2*z + 4 = 5*d + 11. Let q be z/3 - (-2 + 2). Suppose -q = p - 6. Solve -p*u + 3 = -2*l, -u - 3*l + 9 = -l for u.
3
Let o(t) = -68*t + 71. Let g be o(1). Solve -5*w - g*y = -2*y + 29, -2*y + 7 = -3*w for w.
-5
Let i(j) = 4*j - 16. Let f be i(5). Suppose -4*t + 4 = a, -f*t + 3*t = 3*a - 12. Solve p = -5*d - 18, 4*p = -t*p - 12 for d.
-3
Let a(j) be the first derivative of -j + 2*j**2 - 5 - 1/3*j**3. Let m be a(3). Solve 0 = 4*u - y - 9 + m, 4*u - 5*y = -13 for u.
3
Suppose -4 + 26 = 11*z. Suppose 4*l - 14 = -0*j + j, -z*j + 5*l = 16. Let d be (-38)/(-8) - 1/(-4). Solve 6 = p - j*k - 2*k, 0 = 5*p - d*k for p.
-2
Let y = -242 + 246. Solve -2*r - 12 = m - 6*r, -4*m + 32 = y*r for m.
4
Let d be 246/21 + 6/21. Suppose b - d = -5*b. Suppose b = -2*n + 3*n. Solve -2*y = -4*j + n*y - 24, -2*y = 5*j + 16 for j.
-4
Suppose -2*g - 5*p + 121 = 118, -3*g + 3*p + 15 = 0. Solve -16 = -g*n - 2*j, 2*n - 2*j = 2*j + 18 for n.
5
Suppose h + 5*d - 8 = -21, -3*d = -2*h. Let n be (h - 0) + 1 - -5 - -2. Solve 3*w = 5*b - b - 19, n*w - 4*b + 21 = 0 for w.
-1
Suppose 0*p = p - 15. Suppose -5*w + 0*w + 45 = 0. Suppose 0 = -w*u + 4*u + 45. Solve 2*r = x - u - 2, -4*r - 5*x = p for r.
-5
Let b(m) be the first derivative of -7*m**2/2 - 48*m + 11. Let p be b(-7). Solve 4 = -3*h + p, -3*k - 7 = -5*h for k.
-4
Let t(k) = k + 12. Let d be t(-9). Suppose -d*l - 2*l = c - 35, l = 4. Suppose -4*r + 5 = -c. Solve 0*b + 20 = -r*b - m, m - 5 = 0 for b.
-5
Suppose -u + 32 = 30. Suppose 5 - 14 = -3*m. Solve 3*d - 4 = -m*n + 17, 2*d - u*n = -6 for d.
2
Let g = -15 + 25. Let a be 60/25 + (-4)/g. Suppose -2*i + 13 = 3*u + a*i, 5*i - 11 = -2*u. Solve -u*k + 24 = 3*s, -5*k = -2*s - 0*k - 19 for s.
3
Let z(d) = d + d + 1 - 2 + 3*d. Let s be z(1). Solve -l - l - 4*x - 18 = 0, 0 = 5*l + s*x + 33 for l.
-5
Suppose -5*n = -0*s - 3*s + 65, 0 = -2*s + n + 34. Solve 2*p - 2*d + s = -d, -4*p - 25 = -d for p.
-5
Let j(s) = s**3 + 4*s**2 + s + 3. Let c be j(-4). Let g be -2 + 81/6 - c/(-2). Solve 2*p = -2*t - 10, -4*p - g = 2*t + 1 for t.
-4
Let n(d) = -d + 13. Let y be n(7). Suppose m + 20 = -4*h + 4*m, 0 = -4*h + 5*m - 12. Let u be (h/y)/((-2)/6). Solve -u*t = -2*a + a + 1, -5*t - 2*a = -2 for t.
0
Suppose 0 = -2*m - m. Suppose -10*w + 5*w + 10 = m. Suppose 2*s + 0*s - 20 = 0. Solve l - 3*a - 7 = 0, 0 = w*l - a - 3*a - s for l.
1
Let c = 398 - 396. Solve -c*s = p + 2*p + 19, -5*p - 27 = s for s.
-2
Let g = -556 - -563. Solve 2*z + 1 = 2*y - g, 5*z = 4*y - 15 for z.
1
Suppose 4 = -4*z, 8*z - 3 = -2*y + 7*z. Solve 8 = y*r, -r - 4*r = -4*c - 36 for c.
-4
Suppose 4*b - 15 = -b. Suppose -4*i - b*d + 3 = -i, 5*d = -2*i - 10. Suppose -7 = -4*u + 9. Solve u*l = i*x - 22, 5*x + 2 = 5*l + 27 for x.
2
Let z(y) = -13*y. Let i be z(-3). Suppose -f = -2 - 3, 0 = s + 3*f - i. Let b = -19 + s. Solve 4*d - 1 = -4*w + 15, b*d = 2*w + 6 for w.
2
Suppose -1 = -3*r + 4*r. Let u = 3 + r. Let k be (-11)/(-2)*4/u. Solve -t + 0*t + 13 = 4*o, -2*o + 3*t = k for o.
2
Suppose -1 = -3*q - 4*a, 3 = 2*q + a - 1. Solve y - 2*y - 12 = -4*f, -2*y + 9 = q*f for y.
0
Let t be 2 - ((10 - 0) + 2). Let q be (-2)/13 + t/(-65). Suppose -2 = -2*m - q. Solve -2*r + m = s - 4, 3*s - 11 = -4*r for r.
2
Let t = -636 + 652. Let c(k) = -k**3 - 3*k**2 - 3*k - 2. Let r be c(-2). Solve 0 = 5*g + m + t, r = 4*g + m - 0*m + 13 for g.
-3
Let y(g) = -g**2 - 6*g + 3. Let o be (-52)/12 + (-6)/9. Let i be y(o). Solve -4*b - 2*s = 2*s - i, 5*b - 5*s = 10 for b.
2
Let u(z) = -z**2 + 7. Let s be u(0). Suppose -2*m - s = 7. Let w be 16/4 + m + 14. Solve 0*b + 5*b + 2*k + w = 0, -b - 5*k = -7 for b.
-3
Let g = 135 + -131. Solve -2*m - 7*i = -9*i + 8, -i = -4*m - g for m.
0
Suppose m = 5*g - 7, 0 = -0*g + 3*g + 2*m + 1. Solve -p - 4*u - 13 = -g, 0 = -3*u - 9 for p.
0
Let k(h) = -h + 2. Let w be k(11). Let u = -30 - w. Let g = -17 - u. Solve 0 = -g*i + 4*c + 4, -5*i - 2*c + 5*c + 5 = 0 for i.
1
Let q(i) = -i**2 - 13*i + 13. Let b = -18 + 5. Let y be q(b). Suppose 0 = 4*c - y + 1. Solve g = c*n - 10, -3*n + g + 2*g + 18 = 0 for n.
2
Suppose 6*f - 17 = 7. Suppose -f*j + 0*j = -20. Solve -j*h + 3*o = 11 + 19, -3*o = 5*h for h.
-3
Let k = 363 - 358. Solve 4*r = -k*t + 3, 0 = -5*r - t - 0*t - 12 for r.
-3
Let z be -10 + -9 + 7 + 14. Let g be (-8)/(-3 - 1/(-1)). Let y(s) = -s**2 - 6*s + 2. Let t be y(-6). Solve 4*l + 2*m - t - 2 = 0, -4*m = z*l + g for l.
2
Let j(z) = z**2 - 14*z + 42. Let h be j(4). Suppose r - 1 = 3. Solve -h*g + 1 = 5*c, r*c - 12 = 3*g - 2 for g.
-2
Suppose 3*d + d = 2*c - 10, 4*d - 32 = -4*c. Let q be (-5 - -2)*4/6. Let k = c + q. Solve 5*n - 16 = n, 30 = 5*m + k*n for m.
2
Suppose -5 = -4*d + 7. Let i be d*-1*3/(-9). Let f = 3 + i. Solve x = f*w - 3 - 2, 3*w - 6 = 3*x for w.
1
Let k(r) = r**3 - 4*r**2 + 4*r - 8. Let j be (0 + -5)*12/(-15). Let x be k(j). Solve -4*w - w = -5*u, 5*w - u - x = 0 for w.
2
Let f = 1 + 1. Suppose 0 = 6*u - 7*u - 2. Let w be u/7 - (-112)/49. Solve 4*q + b = w*q + 6, 0 = -5*q + f*b + 15 for q.
3
Suppose -8*r = 12*r - 100. Solve 2*l + 0*l = -4*a - 20, a = 4*l - r for a.
-5
Suppose -117*z + 121*z = 0. Suppose 5*g - 20 + z = 0. Solve 2 + 14 = -5*s - g*l, 2*s = 2*l - 10 for s.
-4
Suppose 4*b = -3*a - 14, -b - a = -6*b - 27. Let d be (-5)/(-2)*(-4)/b. Suppose -n = d - 6. Solve -z - 3*z + 14 = 2*o, z = -n*o for o.
-1
Let c be (-7 - 6) + (-1)/(-1). Let t = 7 + c. Let k be 4 - (1 + 3) - t. Solve -2*z + 5*z = -k*m - 7, -2*z = -m + 9 for m.
1
Let t = 11 + -11. Suppose -3*l = -t*l + h - 6, 0 = -3*h - 9. Solve 5*m + 20 = -5*x, -5*m - 9 = 3*x - l*m for x.
-1
Let c = 4 - 1. Suppose -4*f - 7*g = -2*g - 26, f + 2*g - 8 = 0. Suppose 0 = 11*p - 66. Solve p*y - y + 1 = f*h, 4*h - y = -c for h.
-1
Let j = -386 - -390. Solve j*s - 3*r = -r - 28, 0 = 3*s + 3*r + 3 for s.
-5
Let a be (0*1/(-3))/1. Let y be (10/8)/((-1)/(-4)). Suppose a = 4*w - 4*b - 24, -3*w = -2*b + y*b. Solve 4*j = -j + 4*q - 1, -5 = w*j + 2*q for j.
-1
Let h = 9 + -4. Suppose -h*r + 40 = 5*l, -5*r = l - 4*l. Solve -7 = 5*o - o - 3*p, 0 = o - r*p + 4 for o.
-1
Let l = -14 + 23. Let w = 15 + l. Suppose 3*v = z - w, 8*z + 5*v = 3*z + 120. Solve -3*u = -5*d - 22, -2*u = 5*d + z + 3 for d.
-5
Suppose -5*q + 190 = -4*w - 245, -3*q - 3*w + 234 = 0. Let c = q + -72. Solve -3*u - c = -4*u - 5*o, u - o = -1 for u.
1
Suppose 3*r = 41 + 64. Let d be 465/r - 2/7. Suppose 4*z - 13 - d = 2*w, -5*z = -4*w - 40. Solve -3*v = 2*m - 11, -m + z*v - 10 = 1 for m.
1
Let c(n) = 20*n**2 + n + 2. Let f be c(-2). Suppose -3*l = l - f. Suppose 4*v - 5*t + 0*t - l = 0, -3*t - 12 = 2*v. Solve 8 = 5*d + x + 2, v = 4*d + 2*x for d.
2
Let a be (0 + 0)*(-5)/(-15). Solve 7 = -4*g - 2*j + 3*j, a = -2*g + 4*j - 14 for g.
-1
Suppose 8*b = -b. Solve b = -2*x - 4*y + 7 + 5, 3*y = -5*x + 16 for x.
2
Let p(h) = h**3 + 8*h**2 - 8*h + 13. Let g be p(-9). Suppose g*j + 25 = 45. Solve -3*y = -j*i - 12, 0 = -i + y + 2*y - 12 for i.
0
Let d be ((-4)/16)/(5/(-80)). Let l be (d - 66/9)/((-2)/3). Solve j - 2 = -l*n - 17, 5*n - 5*j = -45 for n.
-4
Suppose m + f - 6 = 0, m + 0*f - 4 = f. Solve 3*u = m*p - 0 - 29, 0 = 2*p - u - 11 for p.
4
Suppose -2 = 5*c - 17. Let x(f) = f**2 - 3*f**3 + 3*f**c - f**3. Let n be x(0). Solve j + 4*m - 5 = n,