
Suppose -2*h = -3*h - 3. Let r be (-5)/h - 8/(-24). Solve -r*q - 1 - 9 = 0 for q.
-5
Suppose 6*f - 50 = 46. Let p = 16 - f. Solve p = -w + 1 for w.
1
Let g be (-26)/(-39)*30/4. Let i = 2 - -2. Let b be 8 - ((-9)/(-3) + 1). Solve -g*y - b = -i*y for y.
-4
Suppose -3*b = -7*b - 4*w, 0 = 4*w + 16. Let u be (-4)/3*3/(-2). Solve u*k - b = 4*k for k.
-2
Let r(q) = q**2 - 16*q + 5. Let j be r(14). Let y = 26 + j. Let k be -7 + 8 + 0/(-2) + 1. Solve 17 = y*o + k for o.
5
Suppose 0 = v - 2*m, 3*v - 2*m - 14 = -6. Solve w - 9 = v*w for w.
-3
Let h be 6 - (-1 - -1) - 6. Solve -6*p + 4*p = h for p.
0
Let v(a) = 159*a**3 - 2*a**2 + 1. Let b be v(-1). Let d = b - -160. Solve -20 = -5*s - d for s.
4
Let a be 9/(-36) - 111/(-12). Solve -a + 7 = 2*w for w.
-1
Let t(q) = 4*q + 2. Let o be t(1). Suppose -p + 9 - 3 = -w, p + 3*w - o = 0. Solve -5*c - p = -21 for c.
3
Suppose 4*z = 8*z - 4. Let s be (1 - (-6)/3)*1. Suppose -5*h = -3*x + 34, 2*h + s - 2 = -3*x. Solve x*i - 2*i = z for i.
1
Let v be (56 - (5 + -10)) + -11. Solve -v + 22 = 7*c for c.
-4
Let t(z) = 7*z**3 - 2*z**2 + 7*z - 12. Let w be t(2). Solve -2*o + 12*o = w for o.
5
Let w(q) = 2*q - 8. Let p = 11 + -5. Let f be w(p). Suppose -u + c = -f, -5*u + 2*u + 20 = 5*c. Solve -r + 1 = u for r.
-4
Let a be (10/(-6))/(2/(-6)). Suppose 0 = 5*o + p - 4*p + 12, 2*o - p = -a. Let x be ((-13)/(-5) + o)*-5. Solve 4*v + 14 = x for v.
-3
Let w(m) = -m**2 + 2. Let r be w(-3). Let o(n) = -5 - 2 - n + 3. Let c be o(r). Solve 4*q + 5 = -c for q.
-2
Let p(b) = b - 8*b**2 + 5 + 7*b**2 + 0*b**2. Let h be p(0). Solve h*t - 4 = t for t.
1
Let u = 49 + -45. Solve 4*v - 5*v = u for v.
-4
Let n be 12/(-78) - 108/(-26). Solve n*i + 4 + 12 = 0 for i.
-4
Suppose -j + 7 = -0*j. Suppose 3 + j = 5*y. Suppose -d - 7 = -2*m, y = m + d + 3. Solve -6 = -m*a + 4 for a.
5
Let j = 16 + -6. Suppose -4*o - j = 2*p, -2*o + p + 3 = -2. Solve -m + 4 = -o*m for m.
4
Let h(c) be the third derivative of -c**5/60 + c**4/6 + c**3/3 + 7*c**2. Let s be h(3). Solve s*a - 2 = 18 for a.
4
Suppose -10 = 2*v - 7*v. Suppose 0 = 9*l - 11*l - x, x = v*l. Solve 0*g - 5*g - 15 = l for g.
-3
Suppose -3*y + 36 = 2*q, -3*q - 6*y + 9*y = -24. Suppose 0*g - 4*g = 8. Let t be -1 + (0 - (g + 1)). Solve t = -3*r - r - q for r.
-3
Suppose 2*f - 44 = -2*v - 2*v, 2*f + 37 = 5*v. Let o be v*(8/6 - 0). Let y be 1 + o*1/2. Solve -13 = -4*l + y for l.
5
Suppose -5*p + 2*o + 45 = 10, -2*p + 43 = 5*o. Solve 0 = -p*i + 10*i + 4 for i.
-4
Let b = 0 + 23. Suppose -b = -3*i - 5*j, 3*j - 19 - 8 = -4*i. Let m(t) = t**2 - 6*t + 2. Let s be m(i). Solve -s*d + 1 + 1 = 0 for d.
1
Suppose 26 - 32 = -3*l. Solve 16 = l*p - 6*p for p.
-4
Let z(n) = n**2 + 11*n - 3. Let d be z(-10). Let f = d - -13. Suppose 3*i - 6 = -f*i. Solve -3*s = -i - 1 for s.
1
Let f be 30/(-195) - (240/39)/(-1). Solve c + f = -c for c.
-3
Let d(g) = -8*g - 3*g + 9*g - 3*g**2 + 5*g**2. Let x be d(2). Suppose 5*q + 3 = -p, -4*p - p = -x*q + 15. Solve r - 4 = -q*r for r.
4
Let u(j) = 11*j + 5. Let g be u(0). Solve 0 = -g*b - 12 - 8 for b.
-4
Suppose 0*a = -3*a + 81. Let q(f) = -f**2 - 12*f - 10. Let d be q(-13). Let s = a + d. Solve -4*o - 4 = s for o.
-2
Let h(i) = i**2 + 3*i - 9. Let u be h(-5). Suppose -u + 3 = x. Suppose 3*z = -4*l - 3, x*l - z - 1 = -l. Solve l*w = w + 2 for w.
-2
Let m = -2 + 5. Suppose -4*o + 14 = -l - l, 5*l + 3*o - 17 = 0. Let a be (-4)/((-24)/(-30)) + 9. Solve m*s = -l + a for s.
1
Suppose 2*o = -m + 20, -2*o = 5*m + 2*o - 100. Solve 47*h = 51*h + m for h.
-5
Let g be (8 - 4) + 1/(3/(-6)). Let i be (10 - 0)*(2 + g/(-2)). Solve i = -w - w for w.
-5
Let x(h) = -h**2 - 7*h - 1. Let y be x(-6). Suppose -y*k + 6 = -4. Solve -3*j = k*j - 10 for j.
2
Let k = -1 + 5. Suppose 0 = -k*m + 47 - 15. Let i be -4 + 1/(1/m). Solve -s + 5 = i*s for s.
1
Let j = -5 - -2. Let s = j + 8. Let q(i) = -i**3 + 7*i**2 - 8*i - 3. Let y be q(5). Solve -s*c + 32 - y = 0 for c.
5
Let m = 8 - 19. Let a = m - -43. Let p = 35 - a. Solve 0 = b + p + 1 for b.
-4
Let z(x) = x + 1 - 66*x**2 + 126*x**2 - 51*x**2. Let s be z(-1). Solve 2*i + s = -i for i.
-3
Suppose -5*b + 3*w - 160 = -6*b, 4*b = w + 666. Solve -6*i + b = 190 for i.
-4
Let l = -33 - -45. Let v = 44 - 39. Solve 2*g - l = v*g for g.
-4
Let v be ((-6)/18)/((-4)/348). Solve v = 11*k + 7 for k.
2
Suppose 8*s = 9*s - 3*h, 3*h = 6. Solve -s = -3*a - 18 for a.
-4
Let a(p) = -p**3 - 8*p**2 + p - 21. Let h be a(-8). Let y be h/(-6) - (-23)/138. Solve -3*c = y + 4 for c.
-3
Let f(z) = z**3 + 10*z**2 - 11. Let o be f(-9). Let c be (10/(-7))/((-20)/o). Solve 0*p - c = 5*p for p.
-1
Let u be 84/(-10)*25/(-10). Solve -6*h - u = h for h.
-3
Let p(n) = 2*n - 61. Let i be p(35). Solve -1 = -2*v - i for v.
-4
Let d(b) = 15*b - 148. Let f be d(10). Solve 78 - 72 = f*o for o.
3
Let r = 4 + 70. Let a = -49 + r. Let p(b) = b + 2. Let i be p(3). Solve 0*c - i*c = -a for c.
5
Let v(q) = -q - 10. Let c be v(-12). Suppose c - 17 = -3*o + t, -3*o - 3*t + 3 = 0. Let u be 2 - -1 - (o - 1). Solve u = -5*s + 6*s - 3 for s.
3
Let s(u) = 34*u**3 + 3*u**2 + u - 1. Let n be s(-1). Let c be ((-11)/n)/((-1)/(-12)). Solve -c = 2*l - 4*l for l.
2
Let o be (-25 - (-3 + 1))/(-11 + 10). Solve 0 = o*q - 19*q - 12 for q.
3
Suppose 702*j + 60 = 707*j. Solve -z - 3*z = j for z.
-3
Let r = -102 - -105. Solve -w = -0*w + r for w.
-3
Let u be ((-4)/(72/(-27)))/(2/4). Let q be ((-6)/4)/(6/(-8)). Solve q*w + 5 = -u*w for w.
-1
Let d(h) = 2*h**3 + 23*h**2 + 9*h - 1. Let g = 0 + 11. Let j(y) = y**3 + 12*y**2 + 5*y. Let n(t) = g*j(t) - 6*d(t). Let u be n(-6). Solve v = -u*v + 3 for v.
3
Let m = 606 + -578. Solve -4*u - 20 = -m for u.
2
Let b be 1 - (-3 - -2)*11. Suppose -b = -3*i + u, 2*i - 3 = -2*i - 3*u. Let p = -1 + i. Solve p*k + 6 = 4*k for k.
3
Let o be 7/(-2)*(8 - 7)*-6. Solve -3*t = 4*t - o for t.
3
Suppose -2*f - 3*f + 20 = 0. Suppose -f*k + 3*k = -9. Suppose -k = -t - 2*t. Solve 0 = -t*y - y for y.
0
Suppose n = 2*l + 7, n - 38 = -3*n - 2*l. Solve 6 = 7*v - n*v for v.
-3
Let i be 4/(-16)*2*(-16)/2. Solve 0 = -i*n - 9 + 1 for n.
-2
Suppose -55*s - 55 = -66*s. Solve 3 = -s*k + 23 for k.
4
Suppose 0 = -5*u + 35 - 5. Let x be (-5)/(45/u)*-6. Suppose 0 = x*q + 4*o - 11 + 3, 19 = 5*q - 4*o. Solve -3*b = -q - 0 for b.
1
Suppose 0 = -5*t + 3*r + 102, 5*t + 0*r = 2*r + 98. Let i be 8*3/3*1. Suppose -i*n - t = -11*n. Solve -2*u - 12 = -n*u for u.
3
Let o(c) be the first derivative of c**4/4 + 4*c**3 + 11*c**2/2 + 6. Let j = 14 + -25. Let b be o(j). Solve b*z + 25 = 5*z for z.
5
Suppose 0 = -4*u + 19 - 7. Let d(t) = 8*t**2 - 7. Let i be d(u). Suppose v = -4*v + i. Solve v = 5*c - 12 for c.
5
Let m = -7 - -7. Suppose m = x + 6*x - 21. Solve 0*b - x*b - 12 = 0 for b.
-4
Let f(m) be the third derivative of -m**6/120 + m**5/60 + m**4/24 + 5*m**3/2 - 7*m**2. Let h be f(0). Suppose -a = -6*a + h. Solve 0 = -a*z - 2*z - 10 for z.
-2
Let u be (3/2 + -7 + 4)*-4. Suppose -6 = -2*t - x - 0, 4*x = t + u. Solve -t*n = 2*n - 8 for n.
2
Suppose 0 = x - 4 - 3. Let f be (-38)/(-8) + x/28. Suppose 0 = q + 6 - 8. Solve q*n = -3*n + f for n.
1
Let c = -86 + 88. Let k(p) = p + 1. Suppose 0 = -3*x + 21. Let r be k(x). Solve -r = 2*y + c*y for y.
-2
Let h be 2/(-10) - (-55)/25. Let a be -2*(3 - h)*-1. Let j = -2 - -12. Solve -j = -a*i + 4*i for i.
-5
Let q = 8 - 5. Suppose -f = -2*f + 24. Suppose -8*z = -4*z - f. Solve -o + z = -q*o for o.
-3
Let z be ((-45)/(-18))/(40/32). Solve z = 2*l - 2 for l.
2
Let a(b) = -b**3 + 12*b**2 - 10*b - 5. Let q be a(11). Suppose -q + 2 = -2*m. Solve -c + m*c = 0 for c.
0
Let u be (4/(-10))/((-2)/60). Let i be (-3)/(5/((-40)/u)). Suppose -24 = -i*g - 0*g. Solve 4*f + g - 4 = 0 for f.
-2
Let u = -3 + 7. Let d be (-6)/14 - ((-126)/(-49) + -5). Suppose d*s - 5*p - 40 = -3*s, -5*s + u*p + 39 = 0. Solve -4*a + 23 = s for a.
4
Let j be ((-3)/4)/(9/(-48)). Suppose -1 = -r - j*s, r + 2*s = 3*s + 6. Solve r*c = -3 - 12 for c.
-3
Let q(k) be the first derivative of -15*k**4/4 - k**3/3 - 3*k**2/2 - k - 42. Let p be q(-1). Solve 0 = -2*v - 2*v - p for v.
-4
Let p = -24 + 22. Let h be 24/(-18)*(p - 1). Solve -h*d - 18 = 2 for d.
-5
Suppose -3*a + 4*l + 51 = 0, a + 2*l - 25 = -18. Solve -10*p + a*p - 12 = 0 for p.
4
Let y be (23 - 24)/((-2)/8). Solve 0 = -y*f + 4 - 0 for f.
1
Let q(g) = 5*g + 4. Let w(j) = 9*j + 8. Let