 3*g, 0 = -f + s*g + 7 for f.
3
Let s be -1*(1695/(-75) + 2/(-5)). Let u(i) = i**2 + 7*i + 6. Let r be u(-7). Let m be (2/r)/(3/27). Solve m*d + 9 + 12 = -3*t, -t + s = -5*d for d.
-5
Let h be (-5)/(-10) - 26/(-4). Let b = h + 5. Suppose 4*p - b = p. Solve -4*a + 2*a = 5*z + 15, p*z = -5*a - 29 for z.
-1
Suppose -6062*b + 6063*b - 4 = 0. Solve -4*u = b*y + 4, 4*y - 2*u = -15 - 1 for y.
-3
Let g(r) = -r**3 - 7*r**2 - 10*r - 8. Let i be g(-6). Let m be 5/4 + (-4)/i. Let x be 8/(m - 0) + -3. Solve -4*u + z - 18 = -4, x*u = 5*z - 10 for u.
-4
Let v be 1/6 + (-348)/(-72). Suppose 3*c - 9 = -l + 2, v*c - 23 = -4*l. Solve b + 12 = 2*b - c*d, -18 = -3*b + 3*d for b.
3
Suppose -138 - 170 = -14*l. Solve 2*m = -4*y + l, -27 = 2*y - 6*y - 3*m for y.
3
Let h be (33/3)/1 - 3. Let p = -3 + h. Let v(d) = d**3 + 5*d**2 - 6*d + 6. Let t be v(-6). Solve -4*s = -t*s + 10, p*s - 29 = -2*l for l.
2
Let c(g) = 0*g - 32 + 26 - g. Let v be c(-6). Solve 3*j = -s + 15, v = 4*s - j - 2*j for s.
3
Suppose -9 = 3*d, 11 = -3*l + 4*l - 3*d. Let o be 43/2 + l/4. Solve 3*z + z + o = 2*h, -3*z = h + 9 for z.
-4
Suppose 12*u - 155 = 25. Solve 3*m - 12 = -4*v, -5*v = -12*m + 8*m - u for v.
3
Let f(s) = -s - 1. Let o(b) = 4*b - 3. Let m(j) = -f(j) + o(j). Let z be m(1). Solve -4*d + z = -5*q - 2, 3*d + q = -1 for d.
0
Suppose 5*f - 54 = -h, -5*f - 10 + 52 = -2*h. Solve c = -5 + f, 0 = 2*u - c + 3 for u.
1
Let x = 25 - 5. Suppose -x = 46*i - 51*i. Solve i*h = -4, 2*h + 17 = 5*u - 0*h for u.
3
Suppose 4*z = 5*z + 18. Let v be ((-2)/(-3))/((-6)/z). Solve -4 = h, f + h - 9 = v*h for f.
5
Suppose 2*p + 17 = -117. Let x = -64 - p. Suppose 3*s + 2*s = 15. Solve -2*m + 13 = s*m - u, 3*u + 3 = -x*m for m.
2
Let m be ((-12)/(-14) - 0)/((-24)/(-112)). Solve -2*o - m*v = -2, -3*o + v = -2*o - 4 for o.
3
Let v be (6/(-8))/(9/(-12)). Solve -3*j - x + v - 7 = 0, -9 = 5*j + 2*x for j.
-3
Let b = -3059 - -3080. Let l(x) = -x**2 + 4*x - 1. Let z be l(2). Solve 2*d + b = 5*d + 2*f, z*f = 5*d - 16 for d.
5
Let o(h) = -h**2 - 4*h + 14. Let g be o(8). Let f = g - -82. Solve -4*x = -n + 17, -x + 5*x - 4*n + 20 = f for x.
-4
Let b(q) = -q + 12. Let r(d) = d**2 - 6*d - 7. Let c be r(6). Let o = c + 14. Let n be b(o). Solve n*j = 3*j, 4*f - j = 0 for f.
0
Let t be (-10)/60*0*1. Solve 0 = 5*b - s - 4 - 13, 3*s - 9 = t for b.
4
Suppose b + 0*v - 2*v = 6, -4*v = 2*b - 36. Suppose 5*g + 2 = b. Solve 5*i - 5*p = -g*p - 5, i - 5*p = -1 for i.
-1
Let x(m) be the third derivative of 5*m**2 - 2/3*m**3 + 0*m + 1/24*m**4 + 0. Let y be x(6). Solve -k = 4*v + 21, -3*k - y*v - 9 = 4 for k.
-1
Let b be ((-90)/(-27))/(15/18). Suppose -f + 33 = b*m + 2, 0 = -m - 2*f + 13. Solve m*u + 5 = 2*u - k, 0 = -4*u - 4*k - 4 for u.
-1
Let f be (17/153)/(1/18). Solve -5*c = 15, -f*s + 4*c + 8 = 4 for s.
-4
Let b be (-1 + 0)/((-41)/10 + 4). Suppose 4*c - 20 = -q, -4*q - 3*c + b + 18 = 0. Solve -4*r = -q*x, 3*x - 4*r - 1 = -0*x for x.
-1
Let g(i) be the first derivative of i**2/2 - 9*i - 46. Let r be g(9). Solve f + 23 = 5*b, 2*f + 1 = b - r for f.
2
Let y = -1 - -3. Let k = y - -2. Suppose -v + 6*v = 2*m - 15, -3*m + 11 = 4*v. Solve -g - 3 = -k*i - 13, 0 = m*i + 2*g + 19 for i.
-3
Let f(b) = -b + 1. Let d be f(-3). Suppose -2*z - 2 = -d*z. Let j be 3*z*(-112)/(-21). Solve 0 = 2*g + 2*a + 10, -j = -g + 6*g - 4*a for g.
-4
Suppose 2*m - 5*w - 16 - 7 = 0, -4*w - 32 = -5*m. Solve -m*k - 12 = -2*v, -2*k - v + 6*v - 6 = 0 for k.
-3
Let t be 57/19 - (1 - 2). Solve 2*j + 7 = f + 4*f, t*j - 28 = -4*f for j.
4
Let k(j) = -2*j**3 + j**2 + j - 2. Let m be k(-2). Suppose -75*o = -69*o - 24. Solve o*w - m = l + 1, 2*w = 4*l + 12 for l.
-1
Suppose -54*u + 49*u = -10. Solve -u*k = -10*p + 8*p, 5*k + 5*p - 50 = 0 for k.
5
Suppose -5*r - w = -0*r - 11, r + w = -1. Solve -r*m - 15 = 0, 3*t + m + 2*m + 24 = 0 for t.
-3
Let l = -41 - -37. Let k be 1/(((-12)/9)/l). Solve -4*m - 4*v = -0*m - 20, 4*m + k*v - 17 = 0 for m.
2
Let z = -2455 + 2475. Solve 5*k - z = -2*o - 3*o, 3*o = -4*k + 16 for k.
4
Let q(g) = 5*g + 10. Let z(w) = w + 2. Let d(n) = 2*q(n) - 11*z(n). Let p be d(-13). Solve c + p = -5*y - 6, 5*y = 5*c - 5 for c.
-2
Suppose -k = -2 - 0. Suppose 12 = -4*p, 4*t = -2*p + 5 - 15. Let o be -1*(-1 - -1 - (t + 6)). Solve k*d - 40 = o*v + 5*d, -5*v - 15 = -2*d for v.
-5
Let h be (-2 - -2 - 0)*-1. Let d(w) = 0*w + h*w - w - 5. Let m be d(-5). Solve k + 2 = -c - 3, -k + 4*c + 15 = m for k.
-1
Let z be (-1)/(26/(-4) - -6). Suppose -g - a + 4 = 0, 0 = 5*g + 4*a - 0*a - 16. Solve 0*f = -z*f + 4*p + 8, -4*f - 3*p + 16 = g for f.
4
Suppose -4*v + 4 - 16 = 0, 0 = 4*n + 4*v - 212. Let u = 58 - n. Solve -u*s - 4 = 2*s, -4*k + 7 = -3*s for k.
1
Let r(v) = 4*v + 25. Let m be r(-5). Solve -c - 4*b + m - 11 = 0, 0 = -2*c - 3*b - 2 for c.
2
Let o(k) = -k**2 + 3*k + 2. Suppose 4*y = 4*c + 4, c - 7*y + 5*y = -5. Let t be o(c). Solve 5*b + h = 3*h - 3, -t*h - 1 = -b for b.
-1
Let s be (-224)/(-12) + -12 + (-1)/(-3). Solve 0 = 5*p - 6*y + y - 5, -4*y = -3*p + s for p.
-3
Let f(k) = k**3 - 9*k**2 + 8*k. Let c be f(8). Suppose c*d = 5*d - 10. Suppose 46 = 6*x + 28. Solve x*a = -2*s - d*s - 27, 2*a = -10 for s.
-3
Let x be 675/18 - (-3)/2. Let b = x + -34. Solve 0 = -b*w + 25, 3*a - 2*w + 18 = a for a.
-4
Suppose -6*w + 4*w + 66 = 0. Let k = w - 32. Solve -n + k = 2*t, 0 = -5*t - 2*n - 0*n + 3 for t.
1
Let w(p) = 3 - p + 10 + 2. Let i be w(9). Solve 2*k - 14 = -3*l, -5*l + 4*k - i = -0*l for l.
2
Let o(g) = 7*g**2 - 101*g + 45. Let a be o(14). Solve 4*q - 2*q = -a*h + 3, 3*h - 3 = q for q.
0
Let u be -5*15/(-25)*(-3)/(-3). Solve 3*w = -4*t + 14, 0 = 2*w - u*t + 13 + 6 for w.
-2
Let j = -257 - -260. Solve 32 = j*n + 4*v, 3*n = 5*n - 2*v + 2 for n.
4
Let z(p) = p**2 - 2*p. Let a be z(1). Let t be (a/3)/(((-14)/7)/24). Solve 8 = 2*x + 2, 0 = -t*r + 4*x - 24 for r.
-3
Let v be (12 + -5)/((-27)/(-27)). Solve 5*l - 13 = 2*o, 7*o + v = 6*o + 3*l for o.
-4
Let z = -97 + 102. Suppose 2*j = -0*a + z*a - 88, -36 = -a + 5*j. Solve -u + 0*q - 12 = -2*q, 2*u - 2*q = -a for u.
-4
Let q(k) = k**2 - 25*k + 84. Let p be q(21). Solve -5*u + 20 = p, 0 = 5*n + u + u - 23 for n.
3
Let f = -1 - -1. Suppose 3*x - 4*o + 21 = 0, -2*o = -2*x - x - 15. Let a be ((-7)/x)/(-7)*0. Solve a = -f*n + 3*n + g, 5*n - 5*g - 20 = 0 for n.
1
Suppose 3 = 5*u + 3*g, -36 = 3*u - 2*g - 34. Let p = -3 - -5. Solve u*v - 27 = -5*t - v, -p*v + 19 = 3*t for t.
5
Suppose g + 3*o = 3, -3*g - 2 = -o - o. Let v be 96/40*(2/4 + 2). Solve 0 = r + 1 - v, g = -4*t - 2*r - 6 for t.
-4
Let f(x) = -x**2 - 15*x + 156. Let g be f(7). Solve -5*i + 20 = 4*j + 4, g*i = 8 for j.
-1
Suppose -5*d = 5*y - 90, 4*d + 21 = 6*d - y. Solve 0 = 2*x + 5*a + d, 3*x - 3*a = x - 5 for x.
-4
Let h(m) = -m**3 + 11*m**2 - 15*m - 22. Let l be h(9). Solve 5*u - l = -2*w, 4*u + 5*w + 13 = -0*u for u.
3
Suppose 0*d - 27 = -3*d. Solve i + 4*z = -d, -4*i - z + 2 = -7 for i.
3
Let w(v) = 4*v**2. Let h = -18 + 19. Let t be w(h). Solve 4*m - 5 = 3*m - t*q, -20 = -4*m + 2*q for m.
5
Let w = 30 - 26. Suppose -12 + w = -3*v + 2*f, -4*v = f - 18. Let o be (-2)/((-2)/(-6) + -1). Solve l + 2 + 6 = -v*h, -h = o*l - 9 for h.
-3
Let l(z) = -23*z**2 - 141*z - 15. Let r be l(-6). Solve -5*t - r*h - 9 = -1, 3*h = 4*t + 1 for t.
-1
Suppose -2*l = -1 - 9. Let s be (-22)/5 - (-84)/(-140). Let k be 45/5*s/(-15). Solve -3*g - 8 = 3*t - l*g, -3*g = -k*t - 12 for t.
0
Let c(s) = 7*s**2 - 24*s - 5. Let f(m) = -10*m**2 + 36*m + 7. Let u(o) = 7*c(o) + 5*f(o). Let a be u(12). Solve 4*r = -5*g, a*g + 5*r - 41 = 4*g for g.
-4
Suppose m + 5*m - 30 = 0. Suppose m*t = 3*t. Solve t*r = -3*y - r - 4, 0 = 2*y + 2*r + 8 for y.
0
Let m be (-1)/(-2) + 3/2. Suppose 0 = -2*u + 5*v + 25, -m*u = v - 8 + 1. Suppose 4*r - 4 = 3*r. Solve -3*a - r = a - 2*n, u*a - 3*n + 7 = 0 for a.
1
Let w(a) = 5*a - 20. Let l be w(5). Suppose -3*h + l*d + 4 + 14 = 0, -2 = 4*h + 2*d. Solve 3*q - 5*y + 19 = -0, 3*q + h = -4*y for q.
-3
Let r = 366 + -362. Solve 0*q = r*q + 3*d - 6, q - 3*d = 9 for q.
3
Let x(f) = -5*f**2 - 32*f - 8. Suppose q - 6 = 2*q. Let w be x(q). Solve -9*c = g - w*c + 13, -4*c - 8 = 2*g for g.
2
Let o(w) = -w**2 + 6*w - 3. Let z be o(3). Let x = 18 + -10. Let g = 65 + -63. Solve -g = 2*i + 4*y - z, 0 = -i - 5*y + x for i.
-2
Let o be ((-30)/(-8) - 4)/((-1)/8). Suppose 0 = 3*b - 3 - 9, 5*l - 5*b