 + 9*p + 1. Let y be v(9). Solve -2*h = 5 - y for h.
-2
Suppose 2*i - 5*i + 3*b = -3, 0 = -5*i - 3*b - 3. Solve 4*a + i*a - 12 = 0 for a.
3
Suppose -2*f - l = -3, f - 3*f = -l - 9. Let n be 3/(f/(-2)) + 6. Suppose 0 = m + 2*k - n, 0 = 3*m + 2*k - 9 - 3. Solve -g + 15 = m*g for g.
3
Let d(x) = x**3 + 6*x**2 - 4*x - 4. Let l be d(-6). Solve y = 6*y - l for y.
4
Suppose 3*u - 9 = -4*x, -6*u = -x - u + 8. Solve 2*m - x = m for m.
3
Let b be (0/(-3) - 1)*0. Suppose b = -7*k + 4*k. Solve -v + k - 4 = 0 for v.
-4
Let q be 3*(-1*2 + 3). Let c = q + -3. Solve c = -j - 1 - 2 for j.
-3
Let o(j) = -2*j**2 + 4*j - 6. Let c be o(-5). Let i = -41 - c. Let z = i + -19. Solve -2*y = -6*y + z for y.
4
Let h be -4*1*(-24)/32. Solve -1 = -2*q + h for q.
2
Suppose -k + 4*k + 5*m = 27, -8 = -5*k + 4*m. Let h = -32 + 38. Solve -h*t - 8 = -k*t for t.
-4
Suppose -2*o + o + 33 = -5*m, 0 = -o - 2. Let w(n) = -n - 3. Let x be w(m). Suppose x*i = i. Solve 5*v = -i*v for v.
0
Let u(v) = -v**3 + 6*v**2 - 3*v - 1. Let r be u(5). Let n be (-1 + 0)*(0 - 0). Suppose -4*h - h + 10 = n. Solve r = -o - h*o for o.
-3
Suppose 0*i - 5*f + 160 = 5*i, -4*i + 5*f + 110 = 0. Let y be (-2 - i/(-8))*4. Let r be (-2)/(-4 + 18/5). Solve r*o - 8 = y for o.
3
Suppose 0 = -5*b + 4*b. Solve 3 + b = -u for u.
-3
Let c = -80 + 83. Solve c*d = -d + 12 for d.
3
Let g(c) = -c**3 + 11*c**2 - 10*c. Let b be g(10). Suppose b = 4*d - 8*d. Solve -m - 3*m = d for m.
0
Let g = -4 + 7. Let z = g + -1. Let c = z + 1. Solve h + c = 6 for h.
3
Suppose 9*k = 89 + 1. Solve -5*t + 7*t = k for t.
5
Suppose 5*q + 2 = 6*q. Suppose -27 = -c - q*c. Solve 0*o + c = 3*o for o.
3
Let b = 43 - 39. Solve t = b*t - 6 for t.
2
Suppose -6*o - 4 = -2*o, 0 = f - 4*o - 5. Let w be (0 - 1)*(f - 2). Solve 0 = -3*s + w + 2 for s.
1
Suppose 2*f + 2 = -6. Let q be (4/(-3))/f*3. Suppose 5*z + 5 + 10 = 5*d, 5*z - q = -3*d. Solve -2 - 2 = -d*x for x.
2
Let a be 15/(-20) + 46/8. Suppose t - 2*j - 9 = 3*j, -4*j - a = -3*t. Let i be t/(-1) - 5/(-5). Solve 0 = i*x - 6 + 2 for x.
2
Let t(h) = h**3 + 9*h**2 + 6*h - 11. Let o be t(-8). Suppose 0 = o*p - 3*p - 10. Solve -3*g = -8*g - p for g.
-1
Suppose r - 8 = -4*r - 4*g, 3*g - 6 = -2*r. Suppose 5*l = -r*l + 10, -l = -4*k + 10. Suppose -k*f + 24 + 33 = 0. Solve -5*p = f + 6 for p.
-5
Let z = 0 + 4. Suppose -5*n + 21 = -z. Solve -w + n = 3 for w.
2
Suppose -d + p + 4 = 0, -3*d - 3*p + 22 = 4. Let q = -2 + 5. Solve q*u = d*u + 6 for u.
-3
Let n = -9 - -13. Suppose 3*h + 2*c - n*c = 16, 23 = 4*h - c. Solve -3*a - h - 6 = 0 for a.
-4
Let n be 4/(((-4)/2)/(-2)). Let j = 13 + -7. Let x be ((-40)/j)/(2/(-3)). Solve -n*o = -2*o + x for o.
-5
Suppose 2*o = 4*w - 14, 2*o + 3*w - 12 - 9 = 0. Solve 0 = -o*l + l + 4 for l.
2
Suppose -p + 5*w - 5 - 10 = 0, -p + 25 = 3*w. Let i(g) = 11*g - 5 + g**2 - 12*g**2 - 2 + g**3. Let l be i(p). Solve l*z = 2*z - 3 for z.
-3
Let j be (24 - -1)*1 - 2. Suppose -5*v - j = -3. Let q be 4*-1*6/v. Solve -q = 3*t + 9 for t.
-5
Suppose 0 = -12*r + 22 + 38. Solve -r*i = 6 - 26 for i.
4
Suppose -3*k = -15 + 3. Solve k*v - 1 - 3 = 0 for v.
1
Let y be 2 - (-14 + 3 + -3). Solve y = 2*i - 6*i for i.
-4
Let n be (4 - 2)*(9/6 - -1). Solve 3 + 2 = n*c for c.
1
Let u be (-2 - (1 + -1))*-2. Let s be 3/18 + 29/6. Suppose s*j = 15 + 15. Solve u*c + j = 18 for c.
3
Suppose -b + 48 = 4*f, -2*b = -12 + 4. Solve f + 9 = 4*m for m.
5
Let u = 33 - 45. Suppose -60 = -4*f + 4*v + 28, -v - 126 = -5*f. Let i be f/6 - (-4)/u. Solve i*g = -0*g + 16 for g.
4
Let w = -39 + 43. Solve -w*a = -8*a + 8 for a.
2
Let t(g) = g**3 + 5*g**2 - 5*g + 8. Let l be t(-6). Suppose -5 = -l*y - 3. Solve -y = -3*x - 13 for x.
-4
Let w be (-45)/(-35) - (-2)/(-7). Let d(j) = -j - 7. Let v be d(-11). Solve -i - w = -v for i.
3
Let i be (2/(-6))/((-1)/(-39)). Let o = i + 15. Solve -o = -0*s + 2*s for s.
-1
Let s be (-9 + 12)/(6/4). Solve 0 = -p + s for p.
2
Suppose -4*q + 28 = 2*j, -4*q = -0*q - 20. Solve f = -j*f + 20 for f.
4
Let m be 1 + 0 - (1 - 12). Let y = m + -9. Solve 2*v = y*v for v.
0
Suppose 2*p - 6 = -0*p. Let m be -2 - ((-6)/(12/4) - 0). Suppose m = p*s + 2*s - 10. Solve -s*j = -0*j - 4 for j.
2
Suppose -3*k + 20 = 2*t, 3*k + 0*t = -t + 16. Suppose 6 = k*y - 42. Suppose -5*r + 10 = a - 5, 2*r - 6 = -2*a. Solve 2*c + c - y = a for c.
4
Let z(h) = -2*h**2 + 28*h + 15. Let r be z(14). Solve j = -4*j - r for j.
-3
Suppose 0 = -0*k - 2*k + 4. Suppose -3*b = 4*n - 18, -2*n + 4*n = -3*b + 12. Solve 0 = -0*h - b*h - k for h.
-1
Let m(t) = 17*t. Let h be m(-2). Let p = h + 49. Solve 0*y = 3*y - p for y.
5
Suppose -q + 11 = 4*h, -2 = 2*q - 3*h - h. Suppose -2*d = -4*d + s + 32, q*s = 3*d - 48. Solve -7*b - d = -3*b for b.
-4
Suppose 2*t + 24 = 4*t. Let y be 0/(-2) + 0 - 0. Let v(r) = -r**2 - 3*r + 3. Let g be v(-3). Solve y = g*u + u - t for u.
3
Let h = 4 - 13. Let d = h + 15. Let g(w) = -w + 6. Let k be g(d). Solve a - 3*a = k for a.
0
Let r(y) = -y + 5. Let u be r(4). Solve -x + u = -0*x for x.
1
Suppose 0 = 5*b + 15, n - 5*b = 10 + 10. Solve 6*m - 3 = n*m for m.
3
Let m be (-3)/(12/(-8))*1. Solve -4*x = -m*x + 10 for x.
-5
Suppose 0 = -0*f + f + 5. Let g = f - -10. Suppose 5*i = 3*i. Solve -g = -i*v - v for v.
5
Let z = 75 - 49. Suppose -6*s = -2*s. Solve -5*i - z + 1 = s for i.
-5
Suppose -4*o - 1 + 21 = 0. Suppose 2*t = -7 + 19. Suppose n + o - t = 0. Solve 4*z = 9 - n for z.
2
Suppose 4*v = 8*v - 12. Solve 2*o - 20 = -v*o for o.
4
Let x(q) be the third derivative of q**4/24 + 7*q**3/6 + 3*q**2. Let f be x(-6). Solve -f + 5 = -c for c.
-4
Let f(b) = -b**2 - 12*b - 23. Let d be f(-9). Solve d*j = -0*j - 16 for j.
-4
Let w(u) = -u**2 + 12*u - 7. Suppose -2*m + 4*m - 20 = -2*a, 8 = m + 3*a. Let d be w(m). Solve c + c = -d for c.
-2
Suppose 0*k = r + 4*k + 13, 0 = 4*r - 2*k - 20. Solve r + 0 = -q for q.
-3
Suppose 0 = -5*z - 2*x + 8, -4 = -3*z - 3*x - 1. Suppose 3*j + z*l = -0*l + 29, -2*j = 2*l - 20. Suppose 0*m - 3*m = 0. Solve m*q - j = 3*q for q.
-3
Let v(h) = h**3 - 5*h**2 + 4*h - 4. Let a be v(4). Let m(s) = s**2 + 4*s - 2. Let c be m(a). Let r be (-3)/(0 - (-1 - c)). Solve -r*l + 7 - 1 = 0 for l.
2
Let n(g) = g + 1. Let h be n(1). Let m(q) = q**2 - 18*q - 20. Let p be m(20). Let i = 10 + -7. Solve -i*c = h*c + p for c.
-4
Let l be 6 - (4 + -1 + 1). Suppose 3 = z - 12. Solve -l*f - f = z for f.
-5
Let b(q) = -3*q + q - 7 + 2. Let y be b(-4). Let w be ((-2)/2)/(1/(-10)). Solve k + w = y*k for k.
5
Suppose -7*m + 4*m = -18. Solve 5*j = 2*j + m for j.
2
Suppose -t + 10 = -2. Solve -2*u = u - t for u.
4
Let f = -25 - -45. Let n(z) = -6*z**3 - 2*z**2 - 2*z - 1. Let w be n(-2). Let a = w - f. Solve -4*l + a - 3 = 0 for l.
5
Suppose -29 = -5*w - p, 2 = -2*p - 0. Suppose 3*i - l - 3 = 0, 0*i = 2*i - 4*l + 8. Solve 0 = -s + i - w for s.
-4
Suppose 0 = -3*l + l - 2*y, 0 = 4*l - y - 15. Solve 0 = -3*s + 2*s - l for s.
-3
Let s(z) = -z**3 - 2*z**2 - 2*z. Let d = -1 + -1. Let a be s(d). Suppose w = a*w. Solve 2*u + w = 10 for u.
5
Let n = -22 + 24. Solve -q - 2 = n for q.
-4
Suppose 2*q + 5 = 5*k - 0, 5*q = -4*k + 37. Suppose 4*p + q*i = 3, -5*i - 32 = -7. Solve -p = 2*b + 1 for b.
-4
Suppose -4*r = -0*r. Solve r*i - i = 3 for i.
-3
Let g(m) = -m**2 - 2*m + 1. Let z be (3/1)/(6/(-4)). Let s be g(z). Suppose 0 = -3*w + s + 8. Solve -w*b + 0 = 3 for b.
-1
Suppose 2*h = 4*h + 10. Let b be 3/h + 26/10. Let j = b + 3. Solve -2*x - j + 1 = 0 for x.
-2
Let n = 7 - -5. Let z be 14/3 - (-4)/n. Solve 0 = -0*m - m + z for m.
5
Let c(f) = -f**2 - 12*f - 11. Let v be c(-10). Solve -u - 2*u - v = 0 for u.
-3
Suppose 0 = 8*z - 3*z + 4*r + 42, z = 3*r + 3. Let g be (-1 - 1 - z) + 0. Solve 6 = 2*q - g for q.
5
Let c = -9 + 12. Solve -6*j = -c*j + 6 for j.
-2
Let a = -17 + 9. Let w = -5 - 0. Let g = w - a. Solve -10 = g*r + 2*r for r.
-2
Let j be -1 + 13/5 - 24/(-60). Solve 4*x - 6*x = j for x.
-1
Let q be (-14)/1*3/6. Let k = -3 - q. Let l = -4 + k. Solve 2*u + 3 + 5 = l for u.
-4
Let n be ((-16)/20)/(2/(-10)). Let j(a) = -a**2 + 4*a. Let m be j(n). Solve m = -6*g + 3*g - 6 for g.
-2
Let w = -63 + -15. Let f = w - -54. Let j = -9 - f. Solve 0 = -2*r + 5 - j for r.
-5
Let i = -8 + 7. Let a be ((-1)/i + -1)/3. Solve a = -5*z - 38 + 13 for z.
-5
Let a(d) = -2*d - 6. Let t be a(-4). Suppose -5*p + 7*p + k - 4 = 0, -4*p = 3*k - 4. Suppose 5*s =