2*f - 3*t - 9 for f.
-3
Suppose 9*p + 3*n - 19 = 4*p, 4*p + 4*n = 12. Solve -p*g + 19 = 3*w - 4, 3*w - 11 = -2*g for w.
1
Let j be (-6)/(-9)*1*-6. Let p be (-145)/(-45) - j/(-18). Solve 3*i - b = 6 + 10, -p*b = 3 for i.
5
Let k be 4/(-14) + (-46)/(-14). Let a be ((-8)/(-6))/(k/9). Suppose -3*y = 5*q - 29, -4*y + 0*y + 3*q = 0. Solve -y*g + 7*g - b = 1, -2*g = -a*b - 18 for g.
-1
Suppose 4*b = -4*m - m, -3*m - 32 = -4*b. Suppose 0 = 6*o - 2*o - 8. Solve -o*u + 2*k = -k + b, -4*k + 4 = -2*u for u.
-4
Let m = 160 + -158. Solve 4*q - 2 = 5*x + 1, -x - 3 = -m*q for x.
1
Let c = 44 - 34. Solve 0*p - d = -3*p + 10, 0 = -5*p - 5*d - c for p.
2
Let q = 3 - 0. Let i be (-2)/(-2)*(-3 + q). Suppose i = 6*n - 4*n - 4. Solve -z = 0, -3*x = -7*x + n*z - 4 for x.
-1
Let g be -3*(-2)/(-3)*2. Let k be (-3)/6 + 18/g. Let p = k + 14. Solve -5*f - 3*n = p, 5*n + 15 = 5*f - 0 for f.
0
Let p be (-6 - -5)/(2/(-4)). Suppose p*h - 70 = 3*h. Let v be 4/5*h/(-4). Solve 2*x - 2*a + v = 3*x, 0 = 5*x - 5*a + 5 for x.
4
Let z = -90 + 94. Solve 0 = -2*b - z*r + 2*r - 12, 8 = -4*r for b.
-4
Suppose 11*j = 3*j + 8. Solve -3 = -o + 4*i - 2*i, -i = -3*o - j for o.
-1
Suppose -5*z - 2*l + 12 = 0, 5*z + 3*l - 13 = -0*l. Solve -5*i = 2*n - 10, z*i = n + 3*i + 1 for n.
-5
Let n = 5 - 3. Solve -5*t + 1 = 3*x - 5, -2*x + 4 = -n*t for t.
0
Let b = -3 + 15. Suppose -18 = -5*x + b. Solve -4*p - 2*v = 4, -x*v - 17 = 3*p - v for p.
1
Suppose 3*m + 3 = 18. Solve -21 = -j - 4*j + 2*b, -27 = -m*j + 4*b for j.
3
Suppose -2*n = -7*n + 20. Suppose -4*k + 12 = -0*k. Solve -k*m + p = n*p - 27, 2*m - p = 3 for m.
4
Let k be (-6 - -5)*0/1. Suppose -3*x + 2*u - 5*u = k, -4*x + 6 = 2*u. Solve x*j - 6 = 3*p, 2*p + 10 = 4*j + j for j.
2
Let j = 34 + -32. Solve r + j*f - 8 = 0, 0 = -4*r + f - 5*f + 24 for r.
4
Suppose -4*s = 2*r - 8, 4*r + 10 + 6 = 0. Solve -4*b - 2 = 4*v + 2, 4*b = v - s for v.
0
Let r be (-4)/7 - (-425)/119. Solve -3 = -4*h - u, -18 = r*h + 4*u - 4 for h.
2
Let k be (-5 - 0)*3/(-5). Let x(r) = -9 - r + 0*r**2 + r**2 + 10. Let f be x(3). Solve -k*q + 2*b + f = 0, -2*b + 19 = q - 6*b for q.
-1
Let i be -1 - (-2 + 0) - 2*-1. Solve 0 = 3*x + 3*l - i, -2*x + 4*l = l - 7 for x.
2
Let n(r) be the first derivative of -r**3/3 - 2*r**2 - r - 1. Let g be n(-3). Suppose 0*u + 10 = g*u. Solve -2*f + 4*d + 4 = 0, 0*d - d - 1 = u*f for f.
0
Let n = -16 + 19. Solve -12 = c + 5*o, o - n = 5*c - 21 for c.
3
Suppose 4*a = 6*a - 8. Suppose 2*u - 2*w = -w + 11, w + 27 = a*u. Solve 2*p = 4*n + 2, 3*p = -u - 1 for n.
-2
Let a be (-3 - (1 - 2))*-2. Solve w - 9 = a*d, 4*w + 4 = 24 for d.
-1
Let b(m) = -m**3 - 7*m**2 + 7*m - 8. Let y be b(-8). Suppose v + 4 = 3*v. Suppose -v*a = -0*a. Solve a = g - 4, -r - 4 = -2*g - y*g for r.
4
Suppose 0 = 5*f + 5*z - 55, -f + 5*z - 12 = 7. Suppose -5*r + 6 = -2*r. Solve -n = r*q + 9, n - 2*q + 3 = f for n.
-3
Suppose 0 = -b - 0*b + 8. Solve -c = 2*k - 3, 0 = 5*k + 2*c - 0*c - b for k.
2
Suppose 0 = 2*f - 6. Solve 3 = -3*g, 4*a + 1 = f*g - 8 for a.
-3
Let q be (-22)/(-132) - (-29)/6. Solve 5*d + q - 17 = 3*r, -3*r = 2*d + 12 for d.
0
Let p be (-6)/((-8 - 2)/5). Solve 5*t = p*g + 7*t - 16, 0 = 5*g - 2*t for g.
2
Let v be 2/(-1) - (-3 + -9). Let u(n) = n**2. Let j be u(0). Solve 2*a + 5*l = -v, j = -4*a - a - 5*l - 10 for a.
0
Suppose 6 = -2*r + 2*k, r + 0*r = 4*k - 9. Let j = 4 + r. Suppose z + 5 = -4*q - 4, 4*z - j*q - 21 = 0. Solve 3*o = -3*a + 11 - 29, z*o - a = -10 for o.
-4
Suppose -2*o + 13 = -13. Let r = -13 + o. Solve -5*v - 3*g = 12 + 7, g - 2 = r for v.
-5
Let o(x) = x - 9. Let m be o(11). Solve -5*n - 25 = -m*z - 3*z, 4*z = -n + 5 for n.
-3
Let c = -13 - -20. Let y = c + -5. Solve -4*d + 20 = -4*f, -y*f - 2 = 2*d - 0 for f.
-3
Let n = 13 - 7. Let k(w) = w**3 - 5*w**2 + 5*w. Suppose -2*p + 3*p - 4 = 0. Let x be k(p). Solve 4*j - 2*g = -n, 2*g - 5 = x*j - g for j.
-2
Let q(z) = 2*z + 22. Let o be q(-11). Suppose 5*a + 5*c = 28 - 3, -2*c = -4*a - 10. Suppose o = -d + 2 - a. Solve -2*f + 2*h = 0, 0 = -3*h + 1 + d for f.
1
Let b(s) = -s - 3. Let n be b(3). Let d(o) be the second derivative of o**3/6 + 4*o**2 + 3*o. Let y be d(n). Solve -y*m + 15 + 5 = 4*u, -4*u + 4 = -2*m for u.
3
Let a(k) = -4*k**3 - 2*k**3 + 3*k**3 + k**2 + k. Suppose -5*p - 3*z - 8 = 0, p - z = -0*p. Let u be a(p). Solve -2*x = 3*f - 1 + u, 0 = -4*f + 2*x - 12 for f.
-2
Let u(c) = c**3 + 5*c**2 + 4*c + 3. Let i be u(-4). Solve -3*y = i*j, 3*j = -2*j + 10 for y.
-2
Let a be 2 + (-5 - -1) - 1. Let i be 7 + (-5)/(5/a). Solve 31 = -5*m + 2*m - 5*p, -i = 2*p for m.
-2
Let p(h) = -7*h + 10. Let v be p(-9). Let z = -3 + 5. Suppose -5*m + 2*b + v = 0, -m + b = -z*b - 25. Solve -2*l + 6*l - m = 3*c, 0 = -c - l - 2 for c.
-3
Suppose -3*z = -5*f - 29, 4*f + 3 + 13 = 0. Suppose 19 = 2*g - 5*b, -g + 3*b = z*g - 17. Solve 0 = g*o - k + 9, 0*o + 4*o = -4*k - 24 for o.
-5
Suppose -4*g = -2*g + f - 3, -5*g = -5*f - 30. Solve -g*j = 2*y - 6, -4*y - 3 = -5*j + 7 for y.
0
Suppose -7*o + 2*o = -45. Let v(k) = 9 - 1 - o*k + 0 + k**2. Let a be v(8). Solve h = j - 1, 2*h + j - 4*j + 2 = a for h.
-1
Let q = -41 - -60. Suppose 0 = -n + 5 + 9. Suppose 0*h + n = 5*h + 2*w, -2*h + w + 2 = 0. Solve -h*r - 3*r = -3*i + q, i = -4*r - 5 for r.
-2
Suppose -5*j - 30 = -4*z + 2, 3*z - 4*j - 25 = 0. Let x = z - 0. Solve -3*n - 18 = -x*y, 4*y - 3 = -n + 6 for y.
3
Let f(o) = -o**2 + 3*o + 7. Let i be f(4). Suppose -11 = -i*y - l, 3*y + 0 = l + 1. Solve -y*m + n + 8 = 0, 8 = n + 3*n for m.
5
Let p(g) = 5*g + 4. Let l(f) = -1. Let m = -1 + -2. Let o(y) = m*l(y) - p(y). Let b be o(-1). Solve -2*z = b*u - 2, u - 5*z - 19 = 3*u for u.
3
Let v(w) = -w**3 + 3*w**2 + 4*w. Let u be v(4). Let m be 1/(3 - (-21)/(-6)). Let d be (-5)/m*(-224)/(-35). Solve -4*i + d = 0, -3*o + u*i = -i - 8 for o.
4
Let w(u) = -u**2 + u + 43. Let z be w(-6). Let h(r) = r**2 + 6*r + 6. Let l be h(-6). Solve 4*a = 3*x + l, 2*x + z + 3 = a for a.
0
Let m(u) = -u - 1. Let z(p) = 2*p + 2. Let q(j) = -6*m(j) - 5*z(j). Let f be q(-3). Let b = -6 - -8. Solve -c + 2*a + b = 0, f = -3*c - 4*a - 6 for c.
-2
Suppose -2*f + 7*f - 70 = 0. Suppose p = 4*r - 1 - f, 2*p - 5 = r. Let b = -3 + 6. Solve -b*x - 1 = -r*h, -4*h - 2*x + 0*x + 14 = 0 for h.
2
Let m be 0*-2*(-1)/4. Let s = 3 - m. Solve -4*f + 1 + 20 = t, 3*f = 3*t - s for t.
5
Let u(k) = -k**2 + k + 4. Let q be u(0). Solve 0 = -2*v - 2*m - 16, q*v + 2*m = -18 - 4 for v.
-3
Let s = 14 - -1. Solve 14 = 2*o - 4*x, -3*x = -2*o + 2*x + s for o.
5
Suppose 4*d + 5 = -w - 0, 2*d - 5*w - 25 = 0. Let n be 85/17 - (d - -3). Solve -4*v + o = 3*o - n, 0 = 5*v + 3*o - 1 for v.
2
Let z be -1 + 2 + 1 + 2 + -2. Solve z*u + 2*s - 4 = 0, -2*s = -3*u - 0*s + 11 for u.
3
Let t = 33 - 31. Solve -4 + 2 = -m, -j = -t*m for j.
4
Let q(g) = g**2 - 7*g + 7. Let j be q(6). Let n = j - -4. Suppose n*x - 3 = 2*x. Solve -2*s + 2 - x = -f, -5*f - 5 = s for f.
-1
Let s be (-6)/15 + (-13)/5. Let n = -17 + 16. Let c = n - s. Solve -4*d + c*d + g + 11 = 0, -g + 24 = 5*d for d.
5
Suppose -14*s = -8*s - 18. Solve 4*w + s*r - 29 = 0, 0*r - 2*r = 4*w - 26 for w.
5
Suppose -5*o + 175 = 5*f, -f = 3*o - 6*f - 65. Solve o = -5*g - n - 3*n, 5*n + 27 = -g for g.
-2
Let n(l) = 2*l + 2 - 5*l - l. Let h(k) = 3*k - 2. Let m(u) = 3*h(u) + 2*n(u). Let g be m(4). Solve -2*y = -4*o + 2 - 4, 5*o - g*y + 2 = 0 for o.
0
Let j be (-2)/(-6) - 220/(-15). Suppose 5*v = j - 0. Solve -5*r = 5*a - 5, 2*a + v*r = a + 3 for a.
0
Suppose -2*x + 9*x = 35. Suppose 4*t = 12 + 4. Solve 4 = -3*r + 2*r - x*p, 2*r = 2*p + t for r.
1
Let y(t) = -t**3 + 15*t**2 - t + 20. Let x be y(15). Suppose -h + x + 0 = 0. Solve -4*c = 3*o, h*c - 3*o - 4 = 23 for c.
3
Suppose 0 = 2*c - c - r, r = 3*c. Suppose -d + i + 3 = -c, -i + 7 = 4*d. Solve d*o + 4*z = -1 + 11, 4*z = -o + 9 for o.
1
Let b(v) = -v**2 - 3*v + 8. Let k be b(-4). Solve -5*l - r + 14 = 0, 3*r + r - 24 = -k*l for l.
2
Suppose 4*g + 5*a - a - 48 = 0, -g + 17 = 2*a. Solve 3*x - g = 2, -5*x + 19 = 4*d for d.
1
Let g(k) = k**3 + 8*k**2 + 6*k - 6. Let x be g(-7). Let s be 1 - (3 - 2)/(4/4). Solve 0 = -3*o + v + 20, -2*v - x - 9 = s for o.
5
Let p be 4/(-14) - 23/(-7). Let j = 453 - 450. Let i(y) = 3*y**3 - y**2 - y + 1. Let c be i(1). Solve -p = 4*g + 3*w + c, -j*g + 12 = -3*w for g.
1
Suppose -3*l + l + 22 = 5*a, 0 = -a + 4*l + 22. Solve b + b - a = 