y = -v - 5*d, 2*v + 3 = d. Let r be (v/4 + 13)*1. Solve -4*z + r = 4 for z.
2
Let g(z) = -2*z + 23. Let p be g(10). Solve p*f + 4 = 2*f for f.
-4
Let s(f) = f**3 - 5*f**2 + 7*f - 4. Let t be s(2). Let h be -3 + (t/5 - (-128)/20). Suppose -9 = -5*m + 2*z, -5*m + 18 = -4*z + 5*z. Solve 0*i + m = -h*i for i.
-1
Let i be ((-12)/(-2))/(28/3 - 9). Solve 6 - i = -3*r for r.
4
Let f(g) = g**3 - 7*g**2 + 12*g - 28. Let d be f(6). Solve j + j - d = 0 for j.
4
Suppose -5*c + 41 = 2*i, -4*c - 6*i + 2*i + 28 = 0. Let o(k) = -k**2 + 9*k + 7. Let g be o(c). Solve 1 + g = -2*t for t.
-4
Suppose 4*u = -4*c - 1120, 1395 = -8*c + 3*c - 4*u. Let g be (10/(-6))/((c/(-30))/(-11)). Solve -t + g - 7 = 0 for t.
-5
Let s(g) = g**3 - g**2 + 2*g + 1. Let t be s(2). Let y = t - 6. Suppose 0 = y*o - 12 - 21. Solve -o = -4*x - 3 for x.
2
Suppose -1 + 9 = 4*m. Let f(y) = -24*y - 68. Let h be f(-3). Solve m*l - 3*l = h for l.
-4
Let s be -4*(5/(-2))/5. Let z be 5*(-16)/(-20) + 2. Solve -z = -s*l - l for l.
2
Suppose -3*l = -4*w - 40, -5*w = 3*l + 4 + 19. Let t be ((-440)/(-154))/((-2)/w). Solve o + t = -4*o for o.
-2
Suppose 0 = -4*j - j + 3*t + 132, j = 3*t + 24. Let y(x) = 3*x - 78. Let n be y(j). Solve 4*f + n + 9 = 0 for f.
-3
Suppose -2*j + 2 = 0, 3*j = -2*q + j + 12. Let d(n) = 2*n - 5. Suppose 4 = -0*u + u. Let v be d(u). Solve -q*w - v = -2*w for w.
-1
Suppose -323 = 43*o - 495. Suppose -3*u - 13 = -p + 7, 0 = -5*u. Solve -o*f + 0*f + p = 0 for f.
5
Suppose 5*t - 14 - 6 = 0. Suppose b - 8 = -3*d + 8*d, t*b = -3*d + 9. Suppose b*i - 2 = i. Solve 3*z - 10 = -i for z.
3
Let v(d) = -3*d**3 + 9*d**2 - 10*d + 5. Let m(i) = -i**3 - i**2. Let b(k) = -2*m(k) + v(k). Let o be b(10). Solve 0 = 4*j - o*j - 5 for j.
-5
Let q be 6*((-8)/(-6))/2. Let g(x) = -x**3 + 6*x**2 + x - 3. Let r be g(6). Suppose t = -r*k + 2, -k + 6 = 5*t - 4. Solve -4*c - q + k = 0 for c.
-1
Let h be (-81)/(-4) - (-3 - 36/(-16)). Suppose f - 4 = -s + 2, -4*f + h = 3*s. Solve -6*r + f*r = 0 for r.
0
Suppose 46 = 28*s - 10. Solve -s*n = -0*n for n.
0
Let m = -24 - -27. Suppose 3*r - 3 = 9. Suppose -3*p + 5 = 2*q - 23, 0 = -p - r*q + 26. Solve 0 = 6*u - m*u - p for u.
2
Suppose 0 = 4*u - 0 - 40. Let y be (-8)/u*160/(-64). Solve y*g = 4*g + 8 for g.
-4
Suppose 15*z + 700 = 65*z. Solve -15*w = -w + z for w.
-1
Let u be (-48)/(-2)*(-5)/(-4). Let b be 4/u - (-248)/(-60). Let s be (-3 - -3)*(b + 3). Solve s = 3*j + 2*j for j.
0
Suppose -5*l + 2*l = 36. Let b = -7 - l. Suppose j = -4*j + 3*w + 5, 5*j - w - b = 0. Solve 3 = r + j for r.
2
Suppose 90 = -k - 5*n, 4*n - 9 = 7*n. Let g = 77 + k. Solve 0 = -6*c + g*c for c.
0
Let k be ((22 - 12) + -5 + 0)/1. Solve -5*c + k = -15 for c.
4
Suppose -4*o + 10 = 46. Let t(z) = -z**2 - 10*z - 6. Let i be t(o). Let b = -1 - -1. Solve -c - i*c - 12 = b for c.
-3
Suppose 5*n + 0*q - 2*q = 40, 21 = n - 3*q. Let w be (15/n)/(3/(-6)). Let k = w - -8. Solve -k*i + 0 = -9 for i.
3
Let j(r) = 2*r + 17. Let q be j(-7). Suppose q*y - 1 - 8 = 0. Solve -y = -5*n + 7 for n.
2
Let a(n) be the first derivative of -n**3/3 - 5*n**2 - 15*n + 26. Let d be a(-7). Solve 10*h - 8 = d*h for h.
2
Let r(q) = 112*q - 4. Let x be r(1). Let h = 120 - x. Solve 0 = -2*l + 6*l - h for l.
3
Let r(t) = t**3 - 7*t**2 + 2*t + 5. Let m be r(7). Let w be 1*(m - 3)/4. Suppose -w*x + 3*x + 4 = 0. Solve 0*v + x*v = 8 for v.
2
Let a(t) = t - 4. Let f be a(-5). Let z(j) = 2 - 11 + 2 - 13*j - j**2 + 3*j. Let h be z(f). Solve -1 - h = c for c.
-3
Let f be (-34)/10 + (-5)/25*-2. Let k be (-1 - (2 + f))/1. Solve k*y = 5*y for y.
0
Let l = -94 + 111. Suppose -18*r = -l*r. Solve -25 = -r*u + 5*u for u.
-5
Suppose 6*b + 12 = -i + 2*b, 2*i + 2*b - 6 = 0. Let k(d) = -21*d - 1. Let n be k(-1). Solve -i*j - n = -3*j for j.
-4
Let i(q) = q**2 - 3*q - 2. Let t be i(4). Suppose -t*z - 84 = -8*z. Solve -4*n = z - 2 for n.
-3
Suppose y - 2*n - 2 = -7*n, -y - 3*n = -2. Solve -3 - y = f for f.
-5
Suppose 0 = -2*k + 5*z - 6, 3*z = -113*k + 112*k + 19. Solve -k*s = -4*s - 6 for s.
2
Let y = 26 - 23. Solve y*c + 13 = -2 for c.
-5
Suppose -3*f - 3*d + 4 = -2, -5*d = 10. Suppose -1 + 65 = f*p. Suppose p = 2*t + 2. Solve 1 = 3*o + t for o.
-2
Suppose 25 = h + 3*c + c, -5*h - 3*c = -40. Suppose -a + 3 - 1 = -3*k, -2*k - 10 = -h*a. Solve -5*u - 5 + 20 = k for u.
3
Let i(f) = 3*f - 4. Let z be i(3). Suppose 0 = -z*n + 3*j + 9, -12 = 3*j + j. Solve n*y - 4*y + 16 = 0 for y.
4
Suppose -3*p = 4*l - 9, 3*l - 5*p + 15 = -0*l. Suppose 0 = -3*f + 3*k + 27, 10 = -4*k - k. Solve f*j - 3*j = l for j.
0
Let b be ((-34)/(-8))/(332/(-16) - -21). Solve -7 = -6*d + b for d.
4
Let y be ((-3)/(-2))/((-24)/32). Let r be (5 - 1)/(y/(-5)). Let d be 6/15 - (-196)/r. Solve -d = 5*u - u for u.
-5
Suppose y + 10 = 2*m, -y + 20 = 2*m + m. Solve 0 = m*z - 11*z - 5 for z.
-1
Suppose -3*z - 3*z + 30 = 0. Suppose c - w + z*w = 1, -w - 21 = -4*c. Solve c = -4*u - 11 for u.
-4
Let a = 133 - 126. Suppose -5*l + 2*l + 5*t = -7, 3*l - 47 = -5*t. Let o = l + -9. Solve 5*s - a - 8 = o for s.
3
Let v(n) be the third derivative of 5*n**4/24 + 2*n**3/3 - 7*n**2. Let q be v(-4). Let p = -15 - q. Solve -2 - p = -l for l.
3
Let a(i) = -2*i + 33. Let w be a(16). Suppose -w = 3*u - 2*g, 5*g + 0 - 28 = -u. Let z = 0 + 0. Solve z*j = j + u for j.
-3
Let a = 57 + -54. Solve w = -a*w + 20 for w.
5
Suppose w - 5*q = -4*w + 55, -5*w - 5*q + 15 = 0. Suppose -4*l + 20 = 3*b - 3, 3*l = 5*b - 19. Solve 8*u = w*u - l for u.
-2
Let f(m) = -4*m**3 + 5*m**2 - 3*m - 3. Let j be f(3). Let y = j + 75. Solve y*q - q + 5 = 0 for q.
5
Suppose -2*h = -2 + 10, 2*z + 14 = -4*h. Let d be 6/(-30) + z/5. Suppose 4*k + 4*k - 32 = 0. Solve -4 = -k*p - d*p for p.
1
Let y = 633 + -633. Solve 8*c + y*c = 40 for c.
5
Let i(d) = 5*d + 3. Let a be i(-1). Let f be (4 + a)*1/2. Solve 5*l - 9 = f for l.
2
Suppose -3*z + 6 = -4*f, 0 = 3*f + 3*z - 4 - 2. Solve f = 5*k - 7*k - 10 for k.
-5
Let i(j) = -j + 1. Let a be i(-4). Suppose -a*l - r = 4*r - 55, -5*r = -15. Solve -3*y = -l*y - 10 for y.
-2
Let u = 132 - 118. Solve 0*x - u = 7*x for x.
-2
Suppose -4*g + 20 = -7*l + 9*l, 2*l + 10 = 2*g. Solve g*i = -53 + 58 for i.
1
Suppose 73 - 304 = -11*s. Solve 15*c = s*c + 6 for c.
-1
Let a(c) = -9*c + 2. Let g be a(1). Let m be (-139)/g + (-4)/(-28). Let n = 25 - m. Solve -2*s = -s - n for s.
5
Let k = -18 - -29. Suppose u = -3*b + k, -5*b + b = u - 15. Let n = 9 - 3. Solve b = y + n for y.
-2
Let q = 8 - 5. Let n(z) = -z**2 + 5*z - 4. Let j be n(q). Suppose 0 = -3*l + 2*y - 2, -j*l = 2*l - 5*y + 12. Solve -3*g = l*g - 15 for g.
3
Suppose -26*q = -9 - 121. Solve -q*o = -5 - 15 for o.
4
Let m = 24 + -6. Suppose d = c - 5 - 0, 5*d + m = -2*c. Let f be 2/c*(7 - 5). Solve 2*z = -0*z + f for z.
2
Let c(i) = -i**2 + 7*i + 170. Let g be c(17). Solve -13*n + 9 + 17 = g for n.
2
Let a be (-1 + -5 + 2)*(-3)/6. Solve -a = 5*h - 22 for h.
4
Let x = -952 + 963. Solve x*j + 32 = 10 for j.
-2
Let j(b) = -b + 4. Let i be j(4). Let z(x) = x**3 + 4*x**2 - x - 3. Suppose -4*t - 13 = 3. Let g be z(t). Solve i = -3*h - g + 10 for h.
3
Suppose 0 = -h - 28 + 34. Solve -3*r = -9*r - h for r.
-1
Let q be (3*-4)/3 - -5. Suppose 3*c = -3*b + 5*b - 3, -4*b - c = q. Solve b = 2*k + k + 12 for k.
-4
Suppose -3*s + 8*s = 0. Suppose s = 3*x + 9, -x + 61 = 4*o - 4*x. Solve -3*z = o - 1 for z.
-4
Suppose -7 = 3*w + 4*u, 0*u - 30 = 5*w + 3*u. Let z = w - -14. Solve p = -4*p - z for p.
-1
Let t(h) = 2*h**2 + 5*h + 3. Let w be t(-3). Let l be w/(-45) - 154/(-30). Suppose 0 = -l*b + 4*y + 24, -4*b - 5*y = -b - 7. Solve 3*v + b = 2*v for v.
-4
Suppose -a = -6*a + 75. Suppose -5*t + 50 = -a. Let r(l) = l**2 - 12*l - 8. Let z be r(t). Solve -z*i = -12 - 8 for i.
4
Let n(h) = -h**3 - h**2 + 3. Let d be n(0). Let b be 2 - (d + -6)/3. Solve 6 + b = -3*v for v.
-3
Suppose 4*w = -4*d + 16, 2*w + 0 = 5*d + 8. Suppose d = -2*c - 3*c + 10. Suppose l = -4*q + 3*q + 6, 2*l - 5*q = -c. Solve p + l*p = 15 for p.
3
Let t be (119/(-51) - (-1 - 2))*3. Solve -j = 3 + t for j.
-5
Suppose 19 = -2*d + 5*t, 0 = -d - 4*t + 17 + 6. Let l be 0 + (-7 - (-2 + -1)). Let f be (9 - 9)*2*1/l. Solve -d*o = -f*o - 3 for o.
1
Let m be (4 - 0) + (0 - 1). Let d(s) = -s**2 - 2*s + 2. Let x be d(0). Suppose 45 = x*p + 3*p - 5*j, 5 = 5*p + 3*j. Solve -m*y + 2 = -p for y.
2
Let d(k) = -k**2 + 21*k - 17. Let 