, 0 = -m*f - 0*f + 3*i + 8 for f.
-2
Let m(t) = t**3 - 21*t**2 + 53*t + 437. Let z be m(16). Let n = 10 + -7. Solve 5*a = n*h + 5 + 8, -5*a = -z*h - 5 for h.
4
Suppose -17*r + 112 - 61 = 0. Solve 5*z + 2*c = -0*c + 30, r*c = -z + 19 for z.
4
Let y(h) be the third derivative of -h**5/30 + 5*h**3/6 - 14*h**2. Let r be y(0). Solve 0 = -5*v - 3*t, -2*v - v = r*t for v.
0
Let a be (8 - 5)/(2 + (-42)/30). Solve h = 10*w - a*w - 20, -w = -3 for h.
-5
Let f(b) = -7*b - 131. Let r be f(-19). Solve 3*x = -5*s - r, -5*s + x + 13 = -1 for s.
2
Let p(o) = -2*o + 26. Let u(a) = a**3 - a**2 + 3*a + 1. Let v be u(2). Let j be p(v). Solve j*f - 17 = -n - 0*f, 5*n = 2*f - 25 for n.
-3
Let i be (-96)/54 + 4/(-18). Let c(y) = -20*y - 3 + 19*y + 6. Let u be c(i). Solve 4*v + 4*t + 8 = -t, u*t + 2 = -v for v.
-2
Let m = 199 - 126. Suppose -74*i + 16 = -m*i. Solve u - 4 = -2*k, -5*u + i = -3*k + 48 for k.
4
Let s(z) = -4*z**2 - 3*z + 3. Let u be s(2). Let t = u - -7. Let d = -7 - t. Solve d*r + 20 = 3*m, -r - 3*r = 5*m + 16 for m.
0
Let d(n) = 87*n + 92. Let q be d(-1). Solve -l - 4*l = c + q, 5*l + 4*c + 5 = 0 for l.
-1
Suppose 196*p = 194*p + 10. Suppose 0*v = -2*v + 2. Let m be v + 13 + -1*2. Solve -z - p*s = -24, 2*s + m = 2*z + 3*s for z.
4
Let n = -13 + 5. Let d be 4/5*(-20)/n. Suppose -2*u = d*u - 20. Solve 0 = -u*a - x + 6*x + 25, 0 = -2*a + 5*x + 10 for a.
5
Suppose 14*i - 145 + 565 = 0. Suppose 66 = -w + 3*w. Let c = w + i. Solve -3*u + 12 = -b, 4*u = c*b - b + 14 for b.
3
Suppose -a - 22 = -4*a + 5*w, w = 3*a - 26. Let u be (-18)/(-15)*15/a. Let y be 0/1 - (1 + -1). Solve 2*p - 3*r + 0*r + 12 = y, -u = -r for p.
-3
Let t(i) = -2*i**2 - 47*i - 64. Let g be t(-22). Solve g*l = -2*r - 10, 4 = -2*l - r - 2 for l.
-1
Suppose -76 = 9*q - 5*q. Let i = -19 - q. Solve i = -2*z + 4*z - 2*v + 6, 9 = 2*z + 3*v for z.
0
Suppose -71*y = -67*y - 660. Let x = -151 + y. Solve 0 = 4*z - i + x, 3*i - 4 = 3*z - i for z.
-4
Let b be (-3)/(6/8) + 2 + 18. Solve -2*r - b = -0*n - 2*n, 3*n = -3*r - 6 for r.
-5
Suppose -4*x + 21 = -3*s, 5*x - 16 = -2*s + 16. Let a be 3 + x/7 + (-7)/(-49). Solve -a*w - 5*k = -0*k - 7, w + 5 = k for w.
-2
Suppose -10*p - 8*p + 72 = 0. Solve -p*o = -3*x - 23, 5*o = x + 11 + 15 for o.
5
Let m(i) = -4*i - 17. Let c be m(-5). Suppose -r = 3*u - 2*r - 9, -3*r = c*u + 3. Solve 5*a - k + 6 = -2, -u*a - 4*k + 10 = 0 for a.
-1
Let l = 3 + 0. Suppose -3*u + l*t = -75, -2*u - 2*t = -5*t - 49. Suppose -u - 2 = -7*r. Solve r + 1 = y + 4*g, -4*y + 5*g = 22 for y.
-3
Let s(y) = -y**3 - 2*y**2 + 15*y + 3. Let k be s(-5). Solve -3*f - 3*b + 3 = 2*f, 0 = 3*f + k*b - 3 for f.
0
Let c(b) = -10*b - 54. Let x be c(-6). Suppose 6*j - x = 3*j, 4*a + j = 10. Solve 0 + 11 = d + a*s, -s = -5*d + 11 for d.
3
Let t = 601 + -598. Solve -2*m + 5 = t*z + 1, -m = -4*z + 20 for z.
4
Suppose -25*u + 42*u = 34. Solve 0 = 5*f + d + 25, -u*d = -f + 4*f + 15 for f.
-5
Let r be (-358)/(-6) - 2/3. Let o be -3 + 2 + (-43 + 2)/1. Let i = o + r. Solve -i = 5*q + 2*p, -2*p + 5 + 23 = -4*q for q.
-5
Let m(q) = 3*q - 15. Let v be -18*(4/6)/(-2). Let k be m(v). Solve 0 = -3*d + 2*y - 23, -d = -4*d - 3*y - k for d.
-5
Let h be (5 - (2 - -2))*1*3. Solve -5*x = -4*z - 40, -13 - 4 = -h*x + z for x.
4
Let u(b) = b**2 - 22*b + 110. Let n be u(7). Solve -t - 4*t + 2*v - 14 = 0, -n*t = 2*v + 6 for t.
-2
Let i(h) be the first derivative of -3*h**2/2 - 13*h - 3. Let t be i(-6). Solve 3*d + w = 8*d + 23, 31 = -4*d + t*w for d.
-4
Let p(h) = 2*h - 43. Let w be p(36). Solve 2*l - w = 3*i - 8*i, 23 = -l + 5*i for l.
2
Let g be 4 + (3/(-9) - -1)*-6. Solve 2*a - 8 = g, -y - a - a = -6 for y.
-2
Let d(y) = y**2 - y. Let x be d(1). Suppose 8*i - 6*i - 10 = x. Suppose -28 - 27 = -i*a. Solve -3*l - 3*q - 4 - a = 0, -q - 5 = 5*l for l.
0
Suppose 0 = -15*s + 17*s. Let v = 3 + s. Suppose -4*n + j - v + 16 = 0, 0 = n - 3*j - 6. Solve 5*x - 3*k = -10, n*k - 20 = -k for x.
1
Let u = -42 + 42. Suppose 4*d + u = 20. Solve 4*n - 4*z + 4 = 0, -d*n + z = -3*z for n.
4
Let m = 237 - 236. Solve 5 = -3*f - 4*a, -5*f - 14 + m = 2*a for f.
-3
Let o(s) = s**2 + 22*s. Let y(g) = -g**2 + 11*g - 10. Let v be y(12). Let z be o(v). Solve -m - 6*q + 9 = -q, z = -3*m + 2*q + 10 for m.
4
Suppose -66*k + 71*k = 20. Suppose 0 = 5*r + n - 41 - 1, 4*n - 24 = -4*r. Solve k*b - 4*w = -24, -2*b + 2*w - 7*w + r = 0 for b.
-3
Suppose -4*f + 5*o = -45, -4 + 19 = 2*f - o. Suppose -f*a + 3*a = -12. Solve -2*n = 2, a*g + 8 = 2*g - 4*n for g.
-1
Let x = 3 + 7. Let k be 4/x*(0 + 10). Suppose 0 = 6*v - 9*v - 5*t - 15, 2*v = t + 3. Solve 0*d - 4*b + 12 = 4*d, k*d - 2*b - 6 = v for d.
2
Let x be (-44)/11*6/(-8). Suppose 9 + 0 = 3*m. Suppose 3*f = -m*z - 0*z, -2*f = z - 3. Solve n + n = 4*b + 6, -x = 4*n - f*b for n.
-3
Let f be 3*(2/3 - 0). Suppose 15 = 5*q - f*q. Let u be 6*((-14)/(-4) - 3). Solve u*l + 0*d + 3*d = 15, 4*l - q*d = -25 for l.
0
Suppose 0 = 3*n - 0*n - 21. Suppose y = -2*h + 4*h - 1, -n = -4*h + y. Suppose 10 = -h*o + 22. Solve 0 = 5*q + 2*c - 3, c + o*c = 3*q + 23 for q.
-1
Let x = 5 + -6. Let c(l) = -l. Let h(z) = -z + 2. Let a(n) = x*h(n) + 2*c(n). Let s be a(-4). Solve -s*m - 3*m + 2*q + 28 = 0, 5*m = -q + 16 for m.
4
Let q(p) = 3*p - 3. Let k be q(9). Suppose 0 = -5*f - 9 + k. Suppose -f*j = j - b - 104, 4*j + 2*b - 92 = 0. Solve 0 = -5*v - 5*z - j, 4*v + 2 - 6 = 2*z for v.
-1
Let a(j) = -12*j**2 - j. Let z be a(-2). Let k be z/(-6) - (-4)/(-6). Suppose -23*n - 365 = -503. Solve 0 = i - m - k, n*i = i + 3*m + 29 for i.
4
Suppose 16 = 4*s, -28 = -z - 3*z - 3*s. Let g be (24/21)/z*7. Solve -2*w - g*a - 21 = a, -5*a = 25 for w.
-3
Let d be (0 - -1)*(-1 - -1). Solve d = -b + l + 7, 0*l + 18 = 3*b - 2*l for b.
4
Let a be (-74 - (-1 - 2))/(2 - 3). Let n = 79 - a. Solve -5*f + 15 = 0, -g + 5*f - 4 - n = 0 for g.
3
Suppose 2*g - 11 = -a, -6*g + 8 = -4*g + 4*a. Suppose 0 = -g*q - 4*q + 50. Solve -3*z = -7*z + 4*w - 20, -q*z + 11 = 4*w for z.
-1
Let g(o) = -2*o - 2. Let z be g(-2). Let j be (-1 + z)*-2 + 9. Suppose 8*l - 20 = 4*l. Solve -2*i + j = -l*w, 0 = -i - 7*w + 2*w - 19 for i.
-4
Let s be 54/15*((-4)/12 + 2). Solve 4*t + 3*j = 27, -3*t + s*j - 11 = 2*j for t.
3
Let s(c) = 2*c**3 - c - 3. Let x be s(2). Let o be x/(-22) - 21/(-2). Solve g - 5*m + o = -0*m, g - 10 = -5*m for g.
0
Let i be ((-24)/(-12) - -13)*(-8)/(-12). Suppose -4*t + 2*m = -26, 5*t + m + 15 = 58. Solve j = 5*h + i, j + 4*h = 5*j + t for j.
-5
Let j be (3 + -2)*(-4)/4. Let b(m) = 6*m**2. Let a be b(j). Let n be 32/a + 8/12. Solve 0 = -2*c - n*s + s - 3, -2*c - 13 = -5*s for c.
-4
Let s be 5/((-10)/(-12)) + 1. Suppose k - 3*p + 6*p = -4, 0 = -5*p - 15. Solve -k*n = i + 13, -i - 2*i + n = s for i.
-3
Let s(d) = 44*d - 612. Let p be s(14). Solve 0 = -y - p, -2*g - 28 + 8 = 3*y for g.
-4
Suppose 3*k - 35 = -26. Suppose 3*n = -w - 0*w, -k*w + 2*n = 0. Solve -7*f - 4*c = -3*f - 28, w = -3*c + 15 for f.
2
Let s = 12 + -12. Let l = s + 0. Let n(v) = 2*v + 14. Let k be n(-6). Solve 0 = -o, l = g - 4*g - k*o for g.
0
Let j(a) = a**3 - 31*a**2 - 183*a + 108. Let l be j(36). Solve 7 = -0*i + 5*i + 3*f, -4*i - 2*f + 4 = l for i.
-1
Suppose -4*d - 11 = -3*g, -12 = -g - 3*g + 4*d. Suppose -2*y = -g - 7. Solve 0*r - 10 = 3*f - 5*r, 8 = -f + y*r for f.
0
Let n(a) = a**2 - 2*a + 3. Let b be (1/(-1))/(16/(-32)). Let k be n(b). Suppose -2*i + i + j = -1, 5*j + 5 = i. Solve i*v - 2*v + 3 = 3*d, k*v + d = -6 for v.
-3
Let r(n) be the first derivative of n**3/3 + n**2/2 - 1. Let d be r(-2). Let c be (-12)/9*(-135)/30. Solve 0*b + 5*b = -10, 5*f - d*b = -c for f.
-2
Suppose -31*j - 34 = -36*j + 4*y, -4 = 4*y. Solve -4*w - 6 = -2*i, -j*i + 4*i - 3*w = 8 for i.
-1
Let n be ((-64)/(-80))/(2/15). Solve -4*v = -5*u - 15, u - 3*u + 5*v = n for u.
-3
Let d(q) = -q + 32. Let v be d(-22). Let f = v + -44. Solve -4*w - 5 = -3*x - 15, f = x + 2*w for x.
2
Let h(d) = 13*d**2 - 3*d - 1. Let b be h(-2). Suppose 6*l - 51 = b. Solve 4*f = v - l, 2*v + f - 16 = 4*f for v.
2
Suppose -4*i + b = -104, -5*b + 52 = 2*i - b. Solve 0 = -5*r - 5*x + 9 + i, -3*r + 3*x = -9 for r.
5
Let r(q) be the first derivative of q**4/4 + q**3/3 + q**2/2 - q + 5. Let m be r(1). Suppose m*w - 5*w + 6 = 0. Solve 3*v = 0, 0*i - w = 2*i + 4*v for i.
-1
Let d = 10 + -6. Let x be ((-36)/(-6) - 1)*(-24)/(-5). Solve 25 = 5*q - 3*o, x = q - 