et i = 44 + -44. Solve -4*d + 9*d - 15 = i for d.
3
Let k be 5 + 0/1 + -3. Solve k*f + 10 = 7*f for f.
2
Let u(f) = 6 - f - 8 + 0 - 1. Let a be u(-7). Let p(c) = 7*c**2 - c. Let s be p(-1). Solve s = -a*t + 2*t for t.
-4
Let i = 6 + -3. Suppose 0 = -u - g + i, -6*g + 4*g - 14 = -3*u. Let b = 6 - u. Solve 0 = b*l - 6*l + 16 for l.
4
Let s(b) = b**3 - 3*b**2 + 3*b - 1. Let c be s(2). Let q be (-3 - 0/c) + 3. Solve 2*k + q*k = 0 for k.
0
Let p(t) = t**3 + 5*t**2 - t - 3. Let k be p(-5). Let u(j) = -j - 4. Let r be u(-4). Suppose 2*n + 1 - 5 = r. Solve -n = q - k*q for q.
2
Let f = -8 + 5. Let t be ((-4 - f) + 3)*2. Solve -5 = -t*h + 3*h for h.
5
Suppose -6*u + 4*u = 2*a - 16, -a + 14 = 3*u. Solve 3 + a = 4*i for i.
2
Let y be (2 - 4)*3/(-2). Suppose -5 = -y*x + 4. Solve -x = -5*s + 2 for s.
1
Suppose 2 = 5*d - 3. Let h be (0 + -1)/(1/(-3)). Suppose i - 3*f = -2*f + 2, 4*f + 8 = -3*i. Solve i = -2*q - d + h for q.
1
Let p(m) = 6*m + 4. Let t be p(3). Let l = -11 + t. Solve 9 = -4*r - l for r.
-5
Let g(r) = 2*r**2 - 2*r - 1. Let q be g(-1). Let f = q + -3. Let y(i) = -2*i - 12. Let v be y(-8). Solve -2*s = -v - f for s.
2
Let w(r) be the third derivative of r**5/120 - 5*r**4/24 - r**3/6 - 2*r**2. Let d(a) be the first derivative of w(a). Let t be d(8). Solve -t = -u + 1 for u.
4
Let y = 70 - 42. Suppose 0 = -3*h + 5*h. Suppose 4*p = -h*p + y. Solve 0 = 5*l - 2 + p for l.
-1
Let z be (-5)/(-2)*36/45. Let u be (z/(-4))/((-5)/20). Solve 0*n + 8 = -u*n for n.
-4
Suppose -l + 28 = 3*l. Solve -2 = 3*d + l for d.
-3
Suppose 3*f - 24 = -2*i, 7*f - 2*f + 10 = 0. Suppose 2*n + 3*c = -5, -n = -4*n + 3*c + i. Solve n*h - 3*h = 0 for h.
0
Let w be 5/(-2)*12/(-15). Suppose -m - 3*m = 0. Suppose w*b - b = m. Solve -l + 5 = -b*l for l.
5
Let w be ((-4)/(-2))/(4/6). Suppose -2*m + 6*m - 16 = 0. Suppose 0 = m*v - w - 13. Solve v*p + 18 = -2 for p.
-5
Let u be (-1)/(((-10)/(-4))/(-5)). Let a(t) = t**3 - 4*t + 1. Let s(f) = f**2 + 2*f - 5. Let x be s(-4). Let p be a(x). Solve 6*g - p = u*g for g.
4
Let d(g) = g**2 - g - 4. Let r be d(3). Let h = 4 - r. Solve 0 = -h*u - 0*u + 4 for u.
2
Suppose -1 = -w + 5. Solve 0 = -4*z - w + 26 for z.
5
Suppose 5*o - 6 + 27 = 3*c, -5*c - 4*o = 2. Solve 0 = -c*q + 5*q + 15 for q.
-5
Let x = -68 + 95. Let j(z) = 6*z**3 + z + 1. Let t be j(-1). Let r be (6/(-9))/(t/x). Solve -r*n + 7 = -5 for n.
4
Suppose 5*c = 3*a + 22, -5*c - 3*a + 18 = -2*c. Suppose 0 = o - 6*o. Solve -5 = c*y - o for y.
-1
Let f = -6 - -9. Let t(b) = -b**3 + 4*b**2 + b - 3. Let v be t(f). Let u = -24 + 45. Solve 3*g + v = u for g.
4
Let y = 8 + -5. Suppose 0 = -y*k - 2*u + 19, 3*k = -k - 3*u + 26. Solve -3 - 12 = k*g for g.
-3
Suppose 5*r - 2*r - 2*w = 54, 0 = -3*r + 4*w + 48. Solve -7*i + 2*i - r = 0 for i.
-4
Let c(i) = 2*i - 4. Let n be c(5). Let h(q) = -q + 7. Let s be h(7). Solve 3*p = -n - s for p.
-2
Suppose -4*z = -5 - 7. Suppose -7*p = -z*p. Solve p = d - 3*d + 4 for d.
2
Suppose 5*k = k + 28. Let s be k/2 - 1/2. Suppose 5*n + 20 = 4*v, -s*v = -4*v - 4*n + 5. Solve v = 5*t - 5 for t.
2
Suppose -6 = -4*q + q. Solve -3 = p - q for p.
-1
Suppose 0*d + 10 = d. Let v = 292 + -289. Solve -v*i + i = -d for i.
5
Suppose 11*f = 6*f. Let y be f + -2 - (2 - 4). Solve 2*j - 2 = -y*j for j.
1
Suppose -3*z = -0*z - 15. Solve z*v - 4 = 1 for v.
1
Suppose 15 = 4*u - 5. Suppose 0 = f - u*t + 23, -6*f + f - 10 = -4*t. Solve 0*l + f*l + 10 = 0 for l.
-5
Let w(q) = 5*q. Let f be w(2). Let m be ((-4)/f)/((-7)/210). Let u be ((-2)/(-6))/(1/m). Solve u*z + 4 = 20 for z.
4
Suppose b + 84 = -4*c - 0*b, -5*c - 94 = 4*b. Let t = c + 34. Solve -3*m + t = m for m.
3
Let a(m) = 2*m**2 - 2*m. Let h be a(2). Solve 2*x = x + h for x.
4
Suppose -t = -0*t. Solve t = -7*b + 3*b for b.
0
Suppose -5*k - 4*u - 27 = 0, -3*k - 12 = -4*k + 5*u. Let w be 1/k - 42/(-18). Solve 4*t - w*t = -6 for t.
-3
Suppose 4*v = 3*t - 12, t = -3*t + 2*v + 6. Suppose -2*w - w + 9 = t. Suppose -3*g = 5*b - 19, b + g + 1 = w*b. Solve 2*i - b = -0*i for i.
1
Suppose 2*z = 2*f, 0*z - z = 2*f. Solve 4*x + 2 + 14 = f for x.
-4
Suppose p - 4 = -1. Let u be (1 + p)*(-8)/(-2). Let f be ((-10)/2)/(1*-1). Solve u = m - f*m for m.
-4
Let o = -20 - -20. Solve o = 2*b - 0*b for b.
0
Suppose -6*u + 54 = 3*u. Solve 6 = 9*b - u*b for b.
2
Let g = 3 - 0. Let v be 0/(1 - 2/1). Let b(q) = -q. Let i be b(v). Solve i = -g*w - 0 + 6 for w.
2
Let b be (-30)/(-9)*3/(-2). Let k = b + 20. Solve -3*i = -8*i - k for i.
-3
Let v = 0 + 1. Let f = v + 6. Solve 0 = -f*h + 2*h + 25 for h.
5
Suppose 9*m = 2*p + 4*m - 30, -p + m + 9 = 0. Solve p*o = -1 - 24 for o.
-5
Let z(q) = -q - 10. Let g be z(-10). Solve -i + 0 - 2 = g for i.
-2
Suppose 5*o - 25 = -0*o. Suppose -y + 12 = o*s + 4, 0 = s + y. Let t be -1 - ((-8)/s - -2). Solve -2*v + v - t = 0 for v.
-1
Let k = -5 - -8. Suppose -k*u = -30 - 15. Solve -2*g - g - u = 0 for g.
-5
Let t = -112 - -115. Solve t*g + 12 = -3 for g.
-5
Let z be ((-6)/(-4))/(9/30). Suppose 9 = z*n - 6. Let r = 3 + n. Solve -r = 2*b + b for b.
-2
Let r(a) = a - 2. Let u be r(6). Solve -u = -b - 0*b for b.
4
Let r = -227 - -227. Solve r = -2*t + 6*t + 16 for t.
-4
Let y = -8 + 3. Let p = y - -10. Solve -3*x + p*x = 6 for x.
3
Let s(r) = -3*r - 9. Let u be s(-11). Solve 5*l + 4 = u for l.
4
Suppose -b = 2 - 7. Suppose 3*n - 2*m + 3*m = 19, 0 = b*n + 3*m - 37. Solve -n*p = -0*p + 25 for p.
-5
Let x = 33 + -26. Solve -m - 2 = -x for m.
5
Suppose 5*s = 2*g + 32, 25 = -5*g + 2*s - 55. Let q = 20 + g. Solve q*i - 4 = -0*i for i.
1
Suppose w - 2 = -0. Solve w*x - 3*x = -4 for x.
4
Suppose 7*s = 21 - 0. Suppose 0*x = x - 2*v + 6, -v = -2*x - s. Solve -4 + x = -4*u for u.
1
Let u be (27/(-6) - -3)/(1/(-2)). Solve -u*t - 15 = -0*t for t.
-5
Suppose 5*p - 3*r = 17, -3*p + 5*p - 18 = 4*r. Let a(w) = 4 + w + 0*w + 0*w + p. Let f be a(-5). Solve f = -0*b - 3*b + 12 for b.
4
Let k(m) = m**2 - 7*m - 8. Let o be k(8). Solve o - 12 = -3*b for b.
4
Let n(g) = -2*g - 11. Let p be n(-7). Let d = 1 - 2. Let v be -2 - (4/1)/d. Solve 2 = -v*c + p*c for c.
2
Suppose 0 = -0*w - w - 2. Let i be (w/1 - -2)/2. Solve -3*b + 0*b = i for b.
0
Let w be 1/((-3)/6) + 4. Solve -w*y = 2*y + 20 for y.
-5
Suppose -4*t + 19 = -3*g + 11, 5*t - g = 10. Solve 17 - 9 = -t*v for v.
-4
Let r(k) = k - 3. Let i be r(6). Suppose -i*g - 1 + 10 = 0. Solve -2*d + g*d = 2 for d.
2
Let q(s) = -s**3 + s**2 - s + 2. Let x be q(0). Suppose -3*o - 2 + 0 = -2*p, 2*p + x*o = 2. Suppose -2*v + 7 = -p. Solve v = -5*a - 1 for a.
-1
Let b = 111 + -105. Solve -5*i + 4 + b = 0 for i.
2
Suppose -4*n - 3 = -11. Let z be (-12)/(-9) - n/(-3). Suppose -5*o = -2*j + 5, -4*j + o + 2 = -o. Solve j = -z*r + r for r.
0
Suppose -3*a = -125 + 8. Suppose -n + 3*p = -4*n + a, 20 = 2*n + 5*p. Solve -3*j + n = -0*j for j.
5
Let h = 25 + -19. Solve -o = -4*o - h for o.
-2
Let j = 7 + -4. Let v = 5 - j. Solve -y = -v*y + 1 for y.
1
Suppose -m - 5 = 0, 0 = -5*y - 0*m - m - 10. Let v be -8 - -5 - (y + -8). Solve 4*b + v - 26 = 0 for b.
5
Let v = -10 - -20. Solve -2*b - v = 3*b for b.
-2
Let u = 2 - 0. Suppose 5*z + 0*x + 5*x - 90 = 0, 3*x + 106 = 5*z. Solve -2*d = u*d + z for d.
-5
Suppose -4*p = 4*m - 36, -2*m - 2*p - 3*p + 30 = 0. Solve -m*u - 11 = 4 for u.
-3
Let w be 6/9 - 11/3. Let u be (-6)/4*-2 + w. Solve u = -3*c + 5*c - 6 for c.
3
Let i = -5 - -5. Suppose i = -8*y + 9*y. Solve y = 3*v + v - 4 for v.
1
Let q(g) = -g**2 - 7*g - 7. Let j be q(-5). Suppose h + 0 = -2*p + 2, -5 = -j*p - h. Suppose -b - 2 = -p*b. Solve y - 3 - b = 0 for y.
4
Suppose -10 = -4*z - 38. Let y = z - -12. Solve 2 = 3*r + y for r.
-1
Let f = -22 + 26. Solve f*x = -2 - 14 for x.
-4
Let k = -1 + 6. Let h(c) = c + 1. Let x be h(4). Suppose 0 = -x*w - 0*w + 70. Solve 0 = k*t - w - 6 for t.
4
Let p be (-4)/14 - ((-592)/28)/4. Suppose -3*a + 6 = -0. Let h(v) = -v**2 - 7*v - 5. Let d be h(-4). Solve a = -p*b + d for b.
1
Let j = -82 + 84. Solve -4*b - 2 = j for b.
-1
Let m be 0/(-2) + -1 + 0. Let n be (-3 + 2)*21 + m. Let k = -11 - n. Solve -5*y + k = 36 for y.
-5
Let g(h) = -h**2 + 20*h + 2. Let v be g(20). Solve -4*y + v*y = -2 for y.
1
Let s(x) = 4*x**2 + 2*x + 1. Let d be s(-3). Let t be (-1)/2*(d - -5). Let o be 9*(-3)/t*4. Solve 26 = -4*n + o for n.
-5
Suppose -12 = -5*h + 4*o - 44, -5*o + 27 = -3*h. Let w be (10/(-4))/(h/8).