-4*z + 35 = 23, z = -t*f + 7 for f.
1
Let k = -10 + 14. Suppose -5*p + 5 = -k*p. Suppose -p*c - 26 = d - 3*d, -5*c = -5*d + 35. Solve 5*x - 2 = -d*j + 14, -5*x = -5*j for x.
2
Suppose -33 = -3*h - 9. Let j be (h/(-10) - 0/(-4))*-5. Solve 0*i - j*t = 5*i + 25, t + 2 = 3*i for i.
-1
Let j(d) = -44*d + 485. Let r be j(11). Solve -3*p = -q + 3 - r, -5*p - 2 = -2*q for p.
-2
Let p be (14/14)/(27/(-15) + 2). Solve -p*t - 40 = -5*z, 5*t + 0*z = -z - 10 for t.
-3
Let i = 73 - 141. Let m = -66 - i. Solve 7 = -m*x + 5*g + 2, -2 = -2*g for x.
0
Let i = -104 - -104. Let t be 1 + (-5 + i)/(-5). Solve h = 3*s - 4, t*s - 4*s = -4 for h.
2
Let m = -69 + 76. Solve -4*o = -2*v - 4, o = -0*o + 2*v + m for o.
-1
Suppose -26*d = 12*d - 190. Let c be (16/12)/((-2)/(-3)). Solve u + 12 = -5*g, g - d = -2*u - c for u.
3
Let c = -1 - 2. Let o be 5 + -3 + (-60)/c. Solve -3*r + 2*p - 2 = -o, r + 5*p = -16 for r.
4
Suppose -8 + 11 = x. Suppose -a - x*a = 5*p - 28, 0 = 3*p - a - 10. Suppose 7 = p*f + q, q - 2*q = f - 1. Solve -w = -o + f, -4*o + 0*o = 0 for w.
-2
Let m = 50 - 35. Suppose -5*q - 5 = -2*w, 0 = -4*w + w + 5*q + m. Let i be (w/(-15) + -1)*-3. Solve g + 5*a - 3 = 0, 0 = -i*g - 5*a - 3 + 18 for g.
3
Let j be (-29)/(-4) - (-21)/28. Solve 5*o + 24 = c, 0*o - 2*o + j = 4*c for o.
-4
Let q be ((-112)/20)/((-4)/10). Suppose 4*t - 22 = -q. Solve 4 + 2 = 4*i + 3*h, 3*i + t*h = 5 for i.
3
Let w be 3/12 + 60/16. Let q(b) = b**3 - 7*b**2 + 2*b - 9. Let c be q(7). Let v = 14 + -10. Solve c*d - 2 = n, v*d - n = -w*n + 13 for d.
1
Suppose 8 = 5*i - 2. Suppose -152 = 6*n - 56. Let a be (5/(-2))/(8/n). Solve -i*o - 9 = 3*s, 0 = o + a*s + 10 - 2 for o.
-3
Let k(c) = -2*c. Suppose 2 - 3 = -l. Let r be (l/(-2))/((-7)/(-14)). Let n be k(r). Solve 0*i + 13 = p + 2*i, -n*i = -4*p + 2 for p.
3
Let d(p) = 3*p**3 + 29*p**2 + 15*p - 17. Let f be d(-9). Solve 0 = -5*y - 5*g - 3 - 7, 2*g + f = 0 for y.
3
Let j = 47 - 33. Let b be (-18)/(-42) + 22/j. Suppose -5*g + 2 = 3*r, 3*r - 3*g = -b + 20. Solve -4*y = 12, r*n + 2*y - 6*y = 24 for n.
3
Let b be 2/8 + (-6)/(-8) + 8. Suppose -6*c + b = -2*c + z, 3*z = 2*c - 15. Let r be (-20)/(-12)*(4 - 1). Solve 0*m + 20 = 2*y + 4*m, -r*y - c*m = -22 for y.
2
Suppose 5*n - 3*m = -71, 0*n - 3*n = m + 51. Let s = -13 - n. Solve -5*r = 0, 0 = 6*f - s*f - 5*r + 12 for f.
-4
Suppose -4*l + 3*l - j = -7, 4*j = 3*l + 7. Let o = -4 + 8. Solve t - o*b = -0*t - 8, 0 = 5*t - l*b + 23 for t.
-4
Let d = 10 + -7. Suppose h = 5*r + 8, -d*h = -r - r - 11. Let s be r - (-17 + (-4)/(-1)). Solve 2*z + 11 = -a, z + 3*z + s = 0 for a.
-5
Let h = 74 + -46. Let z be 13/5 - h/(-70). Solve 4*a - 15 = -0*a - z*k, k = 4*a + 5 for a.
0
Let r(a) = a**2 + 2*a - 4. Let n be r(-5). Suppose 1 = 6*y - n. Solve -9 = -y*f - 5*s, 0*f = -f + 4*s - 2 for f.
2
Let y(p) = -5*p + 9*p + 8*p + 23 - 2*p + p**2. Let j be y(-7). Suppose -j + 17 = 3*n. Solve -3*t - 4*d = -19, -7 = -n*t + 4*d + 14 for t.
5
Suppose -21 = o + 5*s, 22*o - 17*o - 15 = -s. Solve g + 4*n = -n - o, 2*g + 3*n + 8 = 0 for g.
-4
Let i(l) = l**2 + 8*l + 10. Let f be i(-7). Let s be 3*(2 + 32/(-6)). Let u be 3/((-11)/s + (-2)/4). Solve -2*v + 25 = f*x + 9, 2*x = -u*v + 29 for x.
2
Suppose -4*w = 5*h - 57, 5*w - 10 = 3*h + 15. Solve -d + 1 = u, d = 5*u - 3 - w for d.
-1
Let a = 31 + -37. Let t be 4/a - ((-69)/9 - -5). Let d be 48/9 + 2/(-6). Solve d*i + t*w = -0*i, -4*i + w - 13 = 0 for i.
-2
Let t be (-2 + -1)*4/(-6). Suppose -4*l + 5*n - t*n = 14, -23 = 5*l - n. Let h be l + 8 + (0 - -2). Solve 2*a - 3*a - k = -1, 2*k = -h*a + 2 for a.
0
Let m(q) = 2*q + 32. Let w be m(-14). Suppose -5*y = -4*y + 2*s - 7, 0 = -w*y + s + 19. Solve 2*v - 14 = 3*h - 4*h, -4*v - y*h = -40 for v.
5
Suppose 5*m + 43 = 3*k, 2*m - 38 = -4*k + 2. Solve a + 4*i = -k, a - 1 = -3*a - i for a.
1
Suppose -3*u + 2 = 4*m - u, 4*m + 3*u - 3 = 0. Let t be (-3 - -17)/1 + 0 + m. Solve 5*z + t = 2*j, -4*j - z - 3*z = 0 for j.
2
Let i = -164 - -169. Solve -4*g - u = -22, -i*g - 2*u - 19 = -48 for g.
5
Let p = -1338 + 1343. Solve n = -4*d + 20, -p*d = -5*n - 3*d + 12 for n.
4
Suppose j = 3*d + 6 - 15, 3*d + 3*j = 21. Suppose b - 2*z = -4, -b + d*z - 2 = 3*z. Solve 3*u + w - 5*w - 7 = b, -5*w = -10 for u.
5
Suppose 0 = -x + 11*x - 30. Solve 3*c = -2*p + 10, 2*p - 2*c + 7 = -x for p.
-1
Let q = 0 - 0. Let y(u) = -u**3 - 13*u**2 - 24*u - 16. Let m be y(-11). Solve i + 3*v + m = q, -3*v - v - 8 = 0 for i.
0
Suppose -2*g + 37 = -h, -g = 3*g + 4*h - 92. Let q be -15*(-2)/6*1. Solve b - q*b + g = 0, d + 6 = 2*b for d.
4
Let b be -3 + (-7 - (4 - 4)). Let r = 10 + b. Suppose -3 = -n + 3. Solve r + 4 = -d + v, -3*d - n = 3*v for d.
-3
Let u = -372 + 222. Let r = -150 - u. Let d = -5 + 24. Solve r = 3*w + 2*w + 3*b - d, w - 3*b - 11 = 0 for w.
5
Let g be (3/2)/3*8. Suppose 35*v - 2352 + 2247 = 0. Solve 5*s - g*n = 25, s - v*s = -2*n - 10 for s.
5
Let i(r) = 7*r + 15. Let g(v) = -1. Let k(t) = -3*g(t) + i(t). Let u be k(-2). Solve 2*n - 1 = 2*a + 1, 2*n - u*a - 12 = 0 for n.
-4
Let u be ((-6)/(-4))/((-21)/(-56)). Suppose 0 = 2*b - 3*l - 28, -u*b + b + 42 = -5*l. Let a = -12 + b. Solve 0 = -i - s - a*s - 20, 15 = -3*s for i.
-5
Let p(q) = -q**3 + 2*q**2 + 2*q + 4. Let v = -13 - -35. Let f = v + -19. Let u be p(f). Solve -9 - u = 5*m + 2*g, -2 = m - 2*g for m.
-2
Suppose 456 - 444 = 3*b. Solve -f + 2 = -y, -y = -b*f + 7 - 2 for f.
1
Let g be 0 + 6/(-15)*-5. Solve 8 = 3*j + 5*v, -j + 2*j - 3*v = -g for j.
1
Let a = 3 + -3. Let t(l) = 4*l**2 + 6*l + 12. Let r(p) = 5*p**2 + 5*p + 13. Let y(k) = 3*r(k) - 4*t(k). Let z be y(-7). Solve a*u = z*u - 15, 1 = 2*c - u for c.
2
Let l = -74 - -60. Let v = l + 18. Solve -r = 3*k - 12, 2*r = v*k + 7*r - 27 for k.
3
Let l(t) = -14*t - 80. Suppose 2 - 8 = w. Let m be l(w). Solve d - 4 = -v, m*v + d + 16 = 5*d for v.
0
Let s(w) be the third derivative of -w**4/24 + 5*w**3/3 + w**2. Let a be s(7). Suppose 0 = -164*n + 168*n - 8. Solve -2*l - a = z, l + z = 3 - n for l.
-4
Let p(z) = 4*z**3 - 5*z**2 + 6*z. Let x be p(1). Solve 2*d - 4 = -2*g, -4*g = x*d - 6*g - 3 for d.
1
Let y(g) = 4*g**2 + 21*g + 9. Let q(p) = -2*p + 11. Let o be q(8). Let f be y(o). Solve 3*b - 4*c + 3 = 0, f*b + 5*c - 2*c = 21 for b.
3
Suppose 2*p = 4*n - 17 - 3, 2*n + 4*p = 0. Solve -n = i - 3*m + 13, 4*i = 2*m - 28 for i.
-5
Let a(g) = 5*g - 3. Let f(t) = -9*t + 7. Let h(x) = 11*a(x) + 6*f(x). Let i = -17 + 10. Let b be h(i). Solve -k - 8 = 5*v, -v - b*k + k = 0 for v.
-2
Let i be -10 + 12 + -1*3. Let t(n) = -n**3 + n. Let j be t(i). Solve 3*l - 3*c - 15 = 0, l - 2*l + 2*c + 7 = j for l.
3
Let q(y) = -y**2 - 6*y + 23. Let z be q(-9). Let o be (z - (-91)/28)*(0 + -4). Solve 0 = 5*s - o*u + 21, 3*s - 15 = 6*s - 3*u for s.
-3
Let l(y) = 8*y**2 + 103*y - 11. Let z be l(-13). Solve z*n = -5*d - 3*n - 10, -4*d + 3*n + 6 = 0 for d.
0
Suppose 579 = 75*u + 54. Solve -m + 5 = 0, 9*a + u = 6*a - m for a.
-4
Suppose 0 = 3*c - 15, -23 = -2*z - 0*z - 3*c. Solve z*v - x + 1 = 0, 4*x = 4*v + x + 3 for v.
0
Let z(i) = 10*i**2 - i - 2. Let o be z(-2). Let r = -35 + o. Let m be ((-48)/(-9))/(2/9). Solve -q + 3 + r = -3*s, -m = 5*q + s for q.
-4
Suppose -145 + 70 = -15*c. Solve 0 = c*h - 20, 4*q + h + 2 - 10 = 0 for q.
1
Suppose -20 = -4*y + 4*n, -13*n - 17 = -4*y - 10*n. Solve y*d - 2*r = 1 + 7, -d - 2*r + 1 = 0 for d.
3
Suppose 22*u = -4*j + 27*u + 57, 3*u - 44 = -j. Let k be 2/4 + (-18)/(-4). Solve k*x - i = -j, 0 = 4*x - i - i + 16 for x.
-5
Suppose -236*g = -238*g + 2. Solve -q - o + 2 - 5 = 0, q + 3*o = -g for q.
-4
Let u(r) = r**3 + 12*r**2 - 13*r - 4. Suppose 2*p + 2 = -24. Let v be u(p). Let b = 0 - v. Solve j + 3*o - 4 = 0, -2*j = -b*o + 6*o + 4 for j.
-5
Let t be ((-20)/6)/(2/(-3)). Let z(i) = 18*i - 233. Let m be z(13). Solve -5*w = -w - 3*j - 10, -t*w - 3*j - m = 0 for w.
1
Let w = -2 - -2. Let j be -5 + 1 - (-7 + 7 + 1). Let b = w - j. Solve -2*o - 2 = -x - 3, b*o - 2*x - 2 = 0 for o.
0
Let m = -148 + 146. Let z(s) = 12*s + 30. Let y be z(m). Solve -4*p + 5*a - 21 = 0, -y*a = -p - a - 24 for p.
1
Suppose 0 = -5*c - 0*c + 5*d + 120, 0 = 4*d + 4. Suppose c*r = 19*r. Solve 2*x + z - 26 = -3*z, r = 3*z - 12 for x.
5
Suppose 0 = -i - 2*i + 12. Suppose f = -4*f + 10. Solve 0*t + 12 = 4*t - i*g, 3*t - 9 = -f*g for t.
3
Suppose -3*v = -3*z, 0 = -3*v + 4*z - 2*z. Suppose v - 8 = -4*i. Su