
Suppose -2*d = -5*c - 43, 2*c = -0*d + 5*d - 55. Solve -4*u = -u - d for u.
3
Let i be (-2)/(-3)*(-6)/(-2). Let t(w) = w**2 - w + 1. Let f be (-5)/25 - (-22)/10. Let o be t(f). Solve -i*n - o = -n for n.
-3
Let x(u) = -u**3 + 6*u**2 + 9*u - 10. Let z(m) be the second derivative of m**4/2 + m**2/2 + m. Let i be z(-1). Let w be x(i). Solve 4*c - 3*c = w for c.
4
Suppose 3*v + 23 = 5*g + 4*v, 3*g + 4*v - 7 = 0. Suppose -9 = 3*c - 0*c - g*s, -c - 13 = -5*s. Solve c*t = 5*t + 12 for t.
-4
Suppose 17 = x - 2. Let q = x - 18. Solve 3*s = q - 16 for s.
-5
Let y be 2*2 + (-15 - -13). Solve -6 = -y*s - 0*s for s.
3
Suppose 2*d + 2 = 4. Suppose -5*h + 11 = d. Solve 3*p = p - h for p.
-1
Suppose -3*m + 3*u = -9, 29 + 4 = 5*m + u. Let z = 2 + 0. Let l(y) = 2*y**2 - 9*y + 2. Let i be l(6). Solve z*c - m*c = -i for c.
5
Let r = 6 + -4. Suppose 0 = -r*n + g + 2*g + 12, 0 = 5*n + 2*g - 11. Solve c - n = -4 for c.
-1
Let m(b) = 2*b + 48. Let x be m(-22). Solve j = -x + 3 for j.
-1
Suppose -n + 8 = -0*n. Let b(a) = a**2 + 2*a - 1. Let o be b(1). Solve n = -o*j + 2 for j.
-3
Suppose -3*x + 4 + 2 = 0. Solve -x*z - z + 9 = 0 for z.
3
Let t(g) be the third derivative of g**4/12 - 5*g**3/6 - 3*g**2. Let m be t(4). Solve -m = 5*u - 18 for u.
3
Let t = 18 - 16. Solve 0 = 4*d - t*d - 4 for d.
2
Suppose -4*s - 3*q = -2*s - 7, 5 = -5*q. Solve -4 = 6*w - s*w for w.
-4
Suppose 28 = 2*n + 2*n - 4*z, -n = 5*z + 23. Suppose 6*f - n*f - 12 = 0. Solve -2*b - 5 = -f for b.
-1
Let a = -1 + 1. Let c = -1 + a. Let b be (c + 0 - -3) + -2. Solve -5*y = -b*y - 5 for y.
1
Let y be -3 + 6 - (2 + -1). Solve -6*z = -y*z for z.
0
Let o = -21 - -30. Suppose -4*i = -j + o + 2, -4*j = -5*i - 22. Suppose -6*f = -3*f. Solve -7*a + j*a + 4 = f for a.
1
Suppose 32 = 4*b + r + 3*r, 4*r - 25 = -3*b. Let u(t) = -t**3 + 8*t**2 - 6*t - 3. Let v be u(b). Solve -3*h - h = v for h.
-1
Let k(u) = 20*u**2 + 11*u + 5. Let g(t) = 7*t**2 + 4*t + 2. Let i = 10 + -4. Let p(y) = i*k(y) - 17*g(y). Let n be p(4). Solve -v = n - 2 for v.
-2
Let q be (-49)/(-21) + 2/3. Suppose -q*x + 8*x = 5. Let t = 3 - -1. Solve -x = t*d + 3 for d.
-1
Let q = 21 - 15. Let n be (0 + -3)/(q/(-8)). Let d be 1/(-1) + (7 - n). Solve 6 = a + d for a.
4
Let z(u) = u - 2. Let n be z(5). Let s(w) = -10*w - 1. Let b be s(-2). Let x = b + -12. Solve -x*m = -n*m - 4 for m.
1
Suppose -6*t + 26 = 14. Solve 7*c - t*c = -20 for c.
-4
Let y = -23 + 38. Solve 0 = 2*a + 3*a - y for a.
3
Let s(q) = 0*q**2 + q - 6 + 3*q**2 - q**3 - 4*q**2. Let o be s(0). Let g = o + 8. Solve -1 - 3 = g*p for p.
-2
Let o be (-19)/(-6) + 6/(-36). Suppose 2*d = -o*d. Let k = 3 + d. Solve -1 = k*y - 7 for y.
2
Suppose -32 = -5*b + 3*c, 2*b - 3*b = -c - 8. Solve 11 = b*t + 3 for t.
2
Suppose 4*a - 11 = 3*r, 3*r = 2*a - 2*r - 9. Solve a*c - 10 = -0*c for c.
5
Let n be 1/(-2 + (-15)/(-7)). Suppose -n*k = -5*k - 4. Solve 3*t - 10 = -k*t for t.
2
Let r = 17 - 16. Solve -2 - r = z for z.
-3
Let x(m) = -m**2 + 7*m - 4. Suppose -3*q + q + 14 = 0. Let y be x(q). Let a = y + 6. Solve a*n + 0*n - 6 = 0 for n.
3
Suppose -d + 10 = -2*d + 3*g, 4*d - 3*g = 5. Let k = 4 + -1. Suppose 0 = -4*y + k + d. Solve 0*s + y*s = -6 for s.
-3
Let h be (-375)/5 - (2 - 1). Let n be h/10 + 2/(-5). Let b = n + 12. Solve 4 = 5*y - b*y for y.
4
Let j be ((-18)/10)/(65/(-25) + 2). Solve 8 - 2 = j*y for y.
2
Suppose 0 = 2*k - 5*k + 5*l - 62, -l - 52 = 4*k. Let y be -2 + (-7)/(k/12). Solve 0 = y*s + s - 15 for s.
3
Let r = 6 + -4. Suppose 0 = -4*m - 12, -4*o + 26 = -r*m. Solve -o*u + 5 = -0*u for u.
1
Let p(r) = 5*r**2 - 5*r + 2. Let a(q) = -4*q**2 + 4*q - 3. Let f(g) = -4*a(g) - 3*p(g). Let s be f(0). Solve 4 + s = 5*u for u.
2
Let m be (2 - (-3)/(-2))*0. Let h = 7 + -5. Suppose m = -3*g - h*g + 20. Solve -g = -4*y - 8 for y.
-1
Suppose 4*l - 68 = -5*x, 60 = 3*x + 2*l + 20. Suppose -8 = -5*z + x. Let j = z + -1. Solve 0 = 3*t + j - 15 for t.
4
Let x = -13 + 18. Suppose 2*r = 6*r. Suppose r*o - 30 = -x*o. Solve 18 - o = -3*v for v.
-4
Let l be (-4)/(-6) + 22/3. Suppose -5*j + 25 = 0, 2*j + l = c + 4*j. Let b be (21/c)/(3/(-4)). Solve 4*v - b = -6 for v.
2
Suppose h + 2*a = -6, a + 15 + 2 = 3*h. Let x = 9 - h. Solve 0*i + i + x = 0 for i.
-5
Let o = -4 + 5. Let k be 6/(2 - o/2). Solve -k*f + 8*f + 4 = 0 for f.
-1
Suppose 4*y + 7 = -1. Let n = 2 - 1. Let w be (-2 + n)*(y + 2). Solve w*x + 2*x = -2 for x.
-1
Suppose -2*q - 3*q = -320. Let r = -34 + q. Suppose 0 = 5*o + 3*g - 4*g - 14, -r = -5*o + 5*g. Solve 4*d - 10 = o*d for d.
5
Suppose -12 = 6*r - 10*r. Solve 0 = a - r*a for a.
0
Suppose 6 = -4*j + 5*l - 16, 0 = -2*j + l - 8. Let a be j/(-6)*2 + 3. Solve 0 = a*k - 4 - 4 for k.
2
Suppose -u = -3 + 5. Let h(n) = 2*n**2 + 2*n. Let z be h(u). Solve -4*q = -z + 12 for q.
-2
Suppose 0 = j - 5*z - 27, 5*j + z - 51 - 6 = 0. Suppose -2*m + 5*s - 3*s = 10, 0 = m - 5*s + 25. Solve -3*b + 0 - j = m for b.
-4
Suppose -5*b + 12 = -33. Suppose -2*s + b = s. Let t be (5 + -25)*2/(-8). Solve t + s = -4*g for g.
-2
Suppose 5*o = 4*n + 23, -n + 6 + 1 = 3*o. Suppose -5*p = o - 28. Suppose -p*y + 35 = -0*y. Solve 20 = y*t - 2*t for t.
4
Suppose -16*a = -20*a + 8. Solve -3*b + 8 = a for b.
2
Let z = 2 + -8. Let t be 36/(-42)*(z - 1). Solve -2*v - t = v for v.
-2
Suppose 3*p - 3*h + 5*h = 8, h = -p + 3. Let g(s) = s**2 - 4. Let f be g(3). Let n = 7 - f. Solve -n*z = p*z for z.
0
Suppose -5*h - m + 61 = 0, 0 = 5*h - 3*h + 4*m - 28. Solve 5*v - h = v for v.
3
Let q be 10/2 + 3*7/(-21). Solve -q*l + 3*l + 2 = 0 for l.
2
Let k = 6 + -4. Solve -k*p + 4 = 2 for p.
1
Let m = -5 - -6. Suppose m + 1 = 2*k. Solve 3*f + k - 7 = 0 for f.
2
Let n(v) = 5*v**2 - 1. Let r be n(1). Let s(x) = 22*x**2 - 6*x + 2. Let u be s(r). Let h be u/27 + (-4)/18. Solve l = -3*l + h for l.
3
Suppose 4 - 16 = -3*v. Let b = v + -5. Let d be 1/b*(-8 - -3). Solve 3 + 2 = d*g for g.
1
Let p = -7 - -2. Let s = -4 - p. Suppose -5*g + r - 6 + s = 0, 10 = -4*g + 2*r. Solve g = b + 3*b + 4 for b.
-1
Suppose 0*v = v - 19. Suppose 4*c - v - 5 = 0. Solve c = -f + 1 for f.
-5
Let j be (0 - 1*14)/(-2). Let o(g) = -3*g**2 - 20*g + 7. Let p be o(-7). Solve 3*b + 4 - j = p for b.
1
Let o(y) = -y**3 + 3*y**2 + y. Let s be o(3). Solve -s*w = -5*w - 8 for w.
-4
Let k(s) = 2*s**2 - s - 3. Let a be k(2). Solve 0 = -a*c - 0*c + 6 for c.
2
Let f = 144 + -141. Let u(o) = o**3 + 5*o**2 - 8*o - 7. Let a be 2/(2/(12/(-2))). Let w be u(a). Solve 0 = f*z - 2*z - w for z.
5
Let l(s) = 5*s + 75. Let v be l(-12). Solve -5*u + 8*u + v = 0 for u.
-5
Let i be 186/9 + 4/(-6). Solve -2*c - i = 2*c for c.
-5
Let r = -2 + -6. Suppose 5*q - q = 64. Let a = r + q. Solve -3*p - 23 = -a for p.
-5
Let o(h) = 2*h**3 - 3*h**2. Let g be o(2). Suppose i = -g*i. Solve r = -i*r - 2 for r.
-2
Suppose -3 - 33 = 3*l. Let f = 27 + l. Solve -5*b + 0 = f for b.
-3
Let f(o) = o - 1. Let w be f(6). Suppose -5*n - 7 = -4*a, -4*n + 4 = a + 18. Let g = w + a. Solve -g*s = s + 8 for s.
-2
Let u be (-84)/(-98)*(-14)/(-4). Solve -c + 16 = u*c for c.
4
Suppose 0 = -a - 2, -3*a = -5*m - 32 + 3. Let h(i) = i**2 + 6*i + 2. Let l be h(-3). Let d = l - m. Solve 12 = -d*r + 3*r for r.
4
Suppose 3*d - 4*d = -3. Solve -6 = -d*t + 9 for t.
5
Let l = -1 + -1. Let v be (l + 6)*(-1 - -2). Let s be (v/6)/((-1)/(-3)). Solve -d = 5 - s for d.
-3
Let w(j) = 1 - 5 - j + 2. Let o be w(-2). Solve -r - 2 + 3 = o for r.
1
Let q = 16 - 10. Suppose t = 3*t - 22. Let y = t - 8. Solve y = -3*j - q for j.
-3
Let d = 8 + -12. Let l be 1/(10/d - -3). Suppose 4 = 3*c - 29. Solve -l*w - c = -3 for w.
-4
Let v be -2 - -5 - (-3)/(-9)*0. Solve 2*q - 2 = v*q for q.
-2
Let v = -6 + 8. Solve 0 = -2*f + 12 - v for f.
5
Let u = 12 + -8. Solve u = 4*g + 24 for g.
-5
Let z be 18/(-4)*(-22)/33. Solve -z*s - 7 = 8 for s.
-5
Suppose 0 = s + 4*i - 4, 0 = s - 5*s - 4*i + 4. Let n be s + (2 - 1 - -1). Suppose -5*b = -0*b - 30. Solve 2*a = b + n for a.
4
Suppose -6*k + 3*k = -15. Suppose 9 = k*x - 11. Solve 0 = x*s - 2 - 2 for s.
1
Let p(a) = -a - 1. Let n be p(5). Let h be (8/(-3))/(4/n). Solve -4*i + 4 = -h for i.
2
Let w(x) = x**2 + 8*x - 1. Let u be w(-7). Let z(l) be the third derivative of -l**5/60 - l**4/3 + l**3/3 - l**2. Let q be z(u). Solve -2*m = q*m - 12 for m.
3
Let x be ((-4)/4)/((-1)/5). Suppose 0 = l + 2*j + 5, -4*l + 0*l + x = 3*j. Solve -l*v - 10 = 