. Solve p = -3*y + y for y.
-1
Suppose 3*r - 8 - 7 = 0. Suppose -k - 4*c = -8 - 1, 5*k + r*c - 60 = 0. Let z = k + -8. Solve -h + z = -2*h for h.
-5
Let i be ((-56)/(-35))/((-4)/(-10)). Suppose -i*c = 4*r - 4, 5*r - 5*c = -4*c + 17. Suppose r + 12 = 5*l. Solve 6*v = 3*v + l for v.
1
Let a be (-118)/10 - (-3)/(-15). Let k = -8 - a. Solve 3 + 1 = -k*h for h.
-1
Let g be (13/(-26))/(1/(-4)). Solve o = 3*o + g for o.
-1
Let m = 2 + -2. Solve m = -5*u + u + 4 for u.
1
Let b be (-12)/9*3*-1. Suppose -14 = -b*x + 2. Let u be (-111)/(-15) - x/10. Solve -4*z = -u*z for z.
0
Let u(a) be the first derivative of a**3 + a**2/2 + a - 4. Let n(k) = k**3 + 5*k**2 + 3*k - 5. Let f be n(-4). Let b be u(f). Solve -r = b*r + 16 for r.
-4
Suppose y + 27 = -2*y. Let v = y - -13. Solve 5*o - 11 = v for o.
3
Suppose 17 = l + 13. Solve -l*o + 2 = -2*o for o.
1
Let n be (-4)/10 - (-36)/15. Solve n*f - 1 - 1 = 0 for f.
1
Suppose 23 = 4*o + 3*v - 4*v, 4*o - 8 = -4*v. Solve -2*d - 3*d = o for d.
-1
Suppose 0 = -2*z + z - 10. Let s = z + 18. Solve 4*c = 8 + s for c.
4
Let n(q) = q**2 + 12*q + 5. Let w be n(-12). Solve -w*f + 0*f = 10 for f.
-2
Let x(k) be the third derivative of k**6/60 - k**5/60 + k**4/8 - k**3/6 + 6*k**2. Let b be x(1). Solve a - 4 = -b*a for a.
1
Suppose -21 = -4*b - 5*d, 3*d - 6*d + 19 = 4*b. Solve -b*p - 1 = 7 for p.
-2
Let j(m) = -m**2 - 11*m. Suppose 7*y - 2*y + 55 = 0. Let l be j(y). Solve l*a = 4*a for a.
0
Suppose 4*d + d = 3*n + 15, 6 = 2*d - 4*n. Suppose j + j - 6 = 0, l - 6 = -2*j. Let q = l - -2. Solve q*b - 5 = d*b for b.
-5
Suppose -6 = 3*h + 3*w, 5*h - 7*w + 3*w = -19. Let v(a) = a**3 + 4*a**2 + 4*a - 1. Let q be v(h). Let z = q + 8. Solve 2*m - z + 0 = 0 for m.
2
Let m(b) = 2*b**2 + 4*b + 4. Let o be m(-3). Let g = o - 2. Let p be -2 - (-4)/(g/10). Solve 9 = -p*w - 6 for w.
-5
Suppose 4*q - 618 = -118. Suppose -3*o + q = 2*o. Solve -2*a = 3*a + o for a.
-5
Let y be ((-90)/(-21))/(1/7). Suppose -y = -4*u - 10. Solve 0*i = u*i for i.
0
Let n = 2 - 0. Let w(j) = j + 1. Let f be w(n). Solve 0 = -0*c - f*c - 3 for c.
-1
Let z = -107 + 111. Solve -4*d = -0 + z for d.
-1
Suppose 3*o - 6 = 4*b, 4*b + 0*o + o - 2 = 0. Suppose -1 + 5 = u. Solve w + b = u for w.
4
Suppose 2*w - 4*b - 16 = -2*w, -2*w + 28 = 3*b. Solve -4*d - 12 = w for d.
-5
Suppose -2*i = 5*g - 15, -3*g + 4*i = g - 12. Solve -g*w = -w for w.
0
Suppose 3*y = 4*y - 5. Suppose 0 = 2*a - 2*i, 3*a - y*i - 2 = -12. Let g(q) = q**3 - 6*q**2 + 6*q - 2. Let s be g(a). Solve 2 = s*h - 7 for h.
3
Suppose 4*l = -l, 3*j = 5*l. Let q be j - (-1)/((-2)/(-4)). Solve -1 = o - q for o.
1
Let v(j) = j**3 - 3*j**2 - 3*j + 5. Let i be v(4). Solve 0*l = -3*l - i for l.
-3
Suppose -j + 3*b = 3, 0 = 5*j - 10*j - b - 79. Suppose 12 = 2*f - 0. Let p be f/5*j/(-3). Solve -p = 5*a + 4 for a.
-2
Let r be (-6 + 1)*(0 - -1). Let b be r/(-1) + 6/(-2). Solve b*p + 4 = -0*p for p.
-2
Let a be (-2)/(-5) - 261/15. Let q = 21 + a. Solve 0 = g - q*g - 15 for g.
-5
Let b(j) = -j**2 - 6*j - 1. Let n be b(-5). Let m be n/(-14) - (-30)/7. Suppose -2*f - 3*f = -5. Solve f - m = 3*k for k.
-1
Suppose 3*b - 21 = -3*a, 3*b + 5*a = 26 + 3. Suppose r - b = -7. Let w be r/14 - 32/(-14). Solve 0 = s + w*s - 12 for s.
4
Let x be 2/((-2)/(-8)*4). Solve 0 = -2*l + 6 - x for l.
2
Let i = -51 + 53. Solve -i*w + 1 = -w for w.
1
Suppose -r - 1 = -5. Let g be 6/r - (-15)/(-10). Let j be (0 - -2)/(-2) - -2. Solve g = -b - j - 2 for b.
-3
Let u(m) = 5*m - 5. Let a be u(4). Suppose 0 = -2*d + 5*l + a - 6, 18 = 2*d - 2*l. Solve 0 = -5*q - d - 3 for q.
-3
Suppose 5*z - z + 12 = 0. Let i be 3*((-8)/z)/2. Solve 4*y + 0 = i for y.
1
Suppose 12 = -3*q - 0*q, 5*g - 4*q = 21. Suppose g = 4*c - 35. Solve 0 = -3*k - 0 + c for k.
3
Suppose -4*w = -15 - 5. Let c = -3 + w. Let p = 29 + -13. Solve -c*q + 6*q = -p for q.
-4
Suppose 0 = 3*p - 3*l - 12, -4*l - 8 = -3*p - 3*l. Suppose p*v + 3*v = 20. Solve 0*w + v = -w for w.
-4
Let z be (-3 - 0) + (1 - -6). Let s be (2 + 0)/(4/22). Solve s - 3 = z*h for h.
2
Let w(k) = -k**3 + 3*k**2 + 6*k - 6. Let t = -2 + 6. Let v be w(t). Let f be (3 - (-34)/(-6))*-3. Solve 2 = v*c + f for c.
-3
Suppose -1 = -4*a + 7. Solve 6 = 2*g - a for g.
4
Suppose 2*w = 2*a - 6*a + 30, -5*a = -2*w - 6. Solve -5*i + 18 + w = 0 for i.
5
Suppose 3*k - 8*k = -25. Let d be (k/(-2))/((-4)/8). Solve -2*p = -d*p + 3 for p.
1
Suppose -2*g + 8 = 2*g - 2*i, 3*i = 0. Let u = 5 - 4. Let h = u + 2. Solve h*v = 10 + g for v.
4
Let y be 1 + 0 + 2 + -2. Solve 5*n = 21 - y for n.
4
Suppose -4*h + 3 = -13. Suppose -2 = h*d + 3*j - 8*j, -2*d = -2*j. Suppose -d*b - 2*b = 0. Solve b*p = -p + 4 for p.
4
Let u be ((-10)/(-6))/5*9. Suppose 0 = -u*s + 3 + 6. Suppose -i + s = -0. Solve 0 = -r + i*r - 8 for r.
4
Let a(w) = w**2 - w - 22. Let l be a(-6). Solve 0 = 7*d - 3*d + l for d.
-5
Suppose 2*u + 3*u + 5 = 0, -5 = v + 3*u. Let p be 4 + (v - -1) + -3. Solve -a - 2 = -p for a.
-2
Suppose 0 = 5*v + 1 - 16. Let b be 19/76 + (-38)/(-8). Suppose -4*j + 9*j = -b*u - 5, -v*j + 5*u + 21 = 0. Solve j = r + 6 for r.
-4
Let x be (-16)/88 - (-4)/22. Solve 2*k = -x*k + 8 for k.
4
Let c be 2/(-7) - (-5)/(-7). Suppose -2 = 4*z + 5*f + 6, 4*z - 5*f = 32. Let d = c + z. Solve -1 = -d*r + 3 for r.
2
Suppose 9 = i + 2*i. Suppose 2*g + i*m - 3 = -2*g, 0 = 2*g + 3*m - 3. Solve g*u - 8 = 4*u for u.
-2
Let c = 12 + -7. Suppose 0 = k - c*i - 20, -k - 2*k + 21 = -2*i. Solve 0 = k*d - d + 4 for d.
-1
Let a(d) = -d - d**2 + 2*d - 4 + 5*d. Let y(h) = 4*h**2 - h - 1. Let l be y(-1). Let b be a(l). Solve b*n - 5 = -n for n.
1
Let p be ((-12)/8)/((-6)/28). Let w(a) = a**3 - 5*a**2 - 3*a - 5. Let o = 13 + -7. Let j be w(o). Solve 5*x = p + j for x.
4
Suppose -4*s + 8*s = 0. Solve 6 = -2*f - s for f.
-3
Suppose 2*m = -5*k + 2, m - 4*k - 1 = -k. Solve 3*i = -5 - m for i.
-2
Let f = 2 - -3. Suppose -1 = -a - 5*x - 5, -f*a + 4*x = 49. Let b = -4 - a. Solve b = -5*v - 0 for v.
-1
Suppose -l + 4*n = l - 34, 29 = 4*l + 5*n. Suppose 0 = 7*s - l*s + 12. Suppose 0*k = -o + 3*k + 1, s*k - 15 = -3*o. Solve -w = o*w - 25 for w.
5
Let j be -9 + 4 - (-2)/(-2). Let b = -2 - j. Suppose -4*x + 3*d = 5*d - 8, 0 = -b*x + 4*d + 32. Solve -x*m = -3*m - 2 for m.
2
Suppose 2*h - 22 = k, -4*k + 2*h + 0*h - 106 = 0. Let u = -12 - k. Suppose q - 4*l = -3*q + u, -3*l - 6 = 3*q. Solve 0 = -2*r - q - 1 for r.
-1
Suppose -37 = -5*n + 3. Let s be (0 - 1 - 0)*-2. Suppose -3*w = -s*w - n. Solve -3*k = -w*k for k.
0
Let s(r) = -2*r - 4*r**3 + r + r**2 - 91 + 90. Let w be s(-1). Solve 0 = -w*p + 4 + 21 for p.
5
Let s be 1/(-6) + (-185)/(-30). Let m be (8 + 0 + 1)/(-1). Let t = 11 + m. Solve s*j = t*j + 4 for j.
1
Let y(a) = -a - 8. Let t be y(-10). Solve 0 = -4*r - 10 - t for r.
-3
Suppose 0 = -3*p + 7 + 5. Let z = -20 + 19. Let h = z + p. Solve -h*q = -q + 6 for q.
-3
Let x be (-128)/22 - (-2)/(-11). Let g(m) = m**2 + 5*m - 5. Let d be g(x). Suppose -16 + d = -3*n. Solve 20 = v - n*v for v.
-5
Let a(s) = 7*s - 1. Let f be a(1). Suppose 4*v + 3*m - 9 = f*v, -3*m + 6 = -3*v. Solve v + 12 = 3*z for z.
5
Let j be 16/28*14/4. Suppose -m - 4*c - 28 = -2*m, j*m = 3*c + 36. Solve 0 = l + 3*l + m for l.
-3
Let a = 4 + -4. Let u = a + 3. Suppose 0 = -l - 5*z + 15, -u*z = -l + 4*l - 57. Solve -l = -w + 5*w for w.
-5
Suppose 2*l = 2*w + 2, 3*w = -5*l + 4*w + 13. Solve -l*j = -2*j - 1 for j.
1
Let v(c) = -c**2 - 4*c + 3. Let a be v(-6). Let o(g) = g**2 + 10*g + 16. Let w be o(a). Solve 2*l = w*l for l.
0
Let m(q) = 2*q**2 - 2. Let z(v) = -v**3 + 4*v**2 - 2. Let d be z(4). Let u be m(d). Solve -p - u = p for p.
-3
Suppose 20*g = 19*g. Solve g*s = 5*s + 15 for s.
-3
Let o(y) = -3*y - 2. Let q be o(-3). Let f(m) = 29*m**2 - 4*m - m - 2 - 28*m**2. Let n be f(q). Solve 0 = -5*i + 8 + n for i.
4
Suppose f - 4*f = -105. Let d = f - 11. Solve -d = 3*z - 9 for z.
-5
Let a(h) = -h**3 - 5*h**2 - 6*h - 6. Let s be a(-4). Let o be 6/(0/3 - -2). Solve -1 = -s*t - o for t.
-1
Suppose 0 = 4*r + r - 20. Suppose 0 = q + r*q. Let p(x) = -x**2 - x + 7. Let f be p(q). Solve 20 = f*a - 2*a for a.
4
Let r = 3 + 3. Suppose 4*z = r*z - 4. Suppose -3*u - 4*h = z*u + 6, 3*h = -u - 10. Solve 1 + u = g for g.
3
Let h(y) = -y**3 - 7*y**2 + 5*y - 6. Let k be h(-8). Suppose -2*n + n - m = -5, -2*m = 5*n - 22. Suppose -n*z + k = -z. Solve l - z*l = 15 for l.
-3
Sup