4*y = -30. Let r be (-3 + 0 - -2) + y. Solve 15 = -2*b + r*b for b.
5
Let d(p) = -4*p. Let h be d(-4). Let r = -12 + h. Solve -8 - 8 = r*k for k.
-4
Let s be -6*2*21/(-12). Let a = -11 + s. Suppose 6*m - a = 4*m. Solve 6*g = m*g + 5 for g.
5
Suppose -3*l = 2 - 8. Solve l*w + 4 = -2 for w.
-3
Let x(d) = -d - 3. Let i be x(-9). Solve -i*p = -2*p for p.
0
Suppose 8 = m + m. Let q be (2/m)/(1/6). Solve -2*t = t + q for t.
-1
Suppose 2*g = -5*y - 20, -5*y - 4 = -4*y + 3*g. Let q be y + 10 + (-3 - -1). Solve 0*t = 2*t + q for t.
-2
Let i be ((-2)/(-6))/((-2)/(-30)). Let z(u) = -u**2 + 6*u + 1. Let a be z(i). Let v = a + -4. Solve -3*t + t = -v for t.
1
Let q(a) = a - 9. Let z be q(10). Let h = 2 - z. Solve -2*j + h = -j for j.
1
Let t(v) be the second derivative of -v**3/3 - 5*v**2/2 + 4*v. Let l be t(-5). Solve 0 = -3*g + l*g + 6 for g.
-3
Let u be (-2)/(-3*2/15). Suppose 4*o = 20, -2*p + u*o - 5 - 6 = 0. Suppose 0 = p*z - 3*z. Solve 0 = g - z*g - 1 for g.
1
Suppose 0 = 5*c - 21 - 9. Solve y - c = -y for y.
3
Let c = 76 + -2. Suppose x - 4*n = 6*x - 79, -n - c = -5*x. Solve 0*v + 3*v = -x for v.
-5
Let l(d) = 5*d**3 - 2*d**2 + 2. Let b be l(2). Suppose -3*x - b + 4 = 0. Let k = 26 + x. Solve 5*c + 4 = -k for c.
-4
Let n(p) = p + 1. Let g be n(11). Suppose 0 = -3*r + 4*a - 29, 3*r + 4*a - g = -1. Let t be (-2)/(((-18)/(-15))/r). Solve -3*c + t = -8*c for c.
-1
Suppose 0 = -x + 3*c + 11, 3*x - 5*c - 31 = 6. Let d = x + -10. Solve 16 - d = 3*y for y.
4
Let c = -12 - -12. Suppose 5*n = -c + 10. Solve 16 = n*k + 2*k for k.
4
Suppose -2*k + 7 = 4*l - 25, 5*l + 2*k - 40 = 0. Solve 4*u = l + 12 for u.
5
Let q(c) be the first derivative of -c**2/2 + 12*c + 10. Suppose k + 4*k = 60. Let m be q(k). Solve m = h - 2 for h.
2
Suppose -q + 2 = -0. Solve -3*p - 4 = q for p.
-2
Let d be (-8)/16 - (-10)/4. Suppose d*j = -0*j + 8. Solve 0 = -j*h + h - 3 for h.
-1
Suppose 0 = -k + 3*k - 6. Suppose v = -3*f + 13, 5*f + k*v = f + 19. Let s(a) = a - 7. Let n be s(7). Solve 2*q - f*q + 2 = n for q.
1
Suppose q + 15 = 3*a, -6*q + 2*a - 26 = -4*q. Let o = q - -17. Let i be (-16)/(-4) - (1 + 0). Solve -i*c = -o*c + 6 for c.
3
Let v(r) = 9*r**2 - 1. Let x be v(1). Suppose -x*n = -5*n - 18. Solve t = n - 3 for t.
3
Suppose s + 25 = 4*b, s - 7 - 16 = -4*b. Suppose -k - 20 = -b*k. Suppose d + 2*d = -k*i + 32, 4*d = -4*i + 32. Solve -i = -2*w - 0*w for w.
4
Let d be 3 - (6/(-27) - 7/9). Solve 0 = -z - d*z for z.
0
Let n(d) = -d**3 + 6*d**2 + 7*d + 10. Let f be n(7). Solve 5*i = f + 5 for i.
3
Let a(h) = -h - h**2 + 1 + 2*h**3 - h**3 + 0*h**3. Let d be a(2). Solve -d = 3*m - 0*m for m.
-1
Let p = -7 + 14. Suppose 4*k - p = 1. Let i be -1*6*k/(-4). Solve 8*c = i*c - 20 for c.
-4
Suppose 0*u = u - 40. Suppose -u = -4*y - y. Solve -3*w + 5*w + y = 0 for w.
-4
Let o = -13 - -7. Let w = o + 6. Suppose -11 = -2*l - q, -5*l + w*q + 32 = q. Solve 3*i - l = 5 for i.
4
Let m(n) = -n**3 + 8*n**2 - 6*n - 5. Let o(r) = -9*r - 2. Let x be o(-1). Let g be m(x). Solve -u - g*u = -9 for u.
3
Suppose 5*h + 33 = 4*s, 2*s - 24 = 2*h + 2*h. Suppose 4*i - s*i = -2. Let u be 2 + 2/1*i. Solve u = w - 4*w for w.
0
Suppose 3*o + 10 + 8 = 0. Let z(n) = n + 14. Let l be z(o). Solve 2*a - 2 = l for a.
5
Let r be 15/8 + 3/24. Solve y = -r*y for y.
0
Let v be -4 - (10/25 - 47/5). Solve 0 = -u + v for u.
5
Let z = 16 + -13. Solve 2 = -k - z for k.
-5
Suppose 5*k + 17 - 3 = -p, -5*k - 17 = -2*p. Let a be (-20)/k*(-1 - -4). Suppose -j + 0*j = -1, 0 = 3*d + 5*j - 23. Solve -d*x + 2*x = -a for x.
5
Suppose 13 = -5*y + 38. Suppose -2*h + 3 = 4*q + q, -y*h - q + 19 = 0. Suppose -h*u - 3 = -7. Solve -3*v + u + 5 = 0 for v.
2
Suppose 7 = 2*n - 5*n - x, -x = 4*n + 11. Let m = n + 6. Solve -p + m - 3 = 0 for p.
-1
Suppose 8*k = 6*k + 2. Suppose s + 5*r + 7 = 2*s, r - k = -s. Suppose -9 = -0*u - u. Solve u = -s*l - 1 for l.
-5
Let g = -17 + 25. Let l be (-4)/(-10) + (234/15)/6. Solve -l*q = -q + g for q.
-4
Suppose 0*v + 171 = v. Suppose 5*i + d + 3*d - v = 0, 3*d - 172 = -5*i. Suppose g + 4*g = i. Solve 4*p - 5 = g for p.
3
Let u be 1 - ((-13)/(-65) + (-8)/(-10)). Solve 3*x - x - 8 = u for x.
4
Let l(m) = 5*m**3 - 36*m**2 - 11*m - 22. Let v(a) = 2*a**3 - 12*a**2 - 4*a - 7. Let n(g) = 3*l(g) - 8*v(g). Let d be n(-12). Solve -2 - 2 = -d*h for h.
2
Let z = 19 - 14. Solve z = -d - 0*d for d.
-5
Suppose 7*l + 2*l = 117. Solve -3*y - l + 4 = 0 for y.
-3
Let f be (-6 - -1)/(1/(-2)). Let z = -16 - -4. Let m be z/f*(-35)/14. Solve 0*x - 3 = -m*x for x.
1
Suppose -2*i - 5*l = 3*i - 5, 3*i + l - 1 = 0. Solve i + 4 = 2*x for x.
2
Let c = 38 + -35. Solve -9 = -3*x - c for x.
2
Suppose -3*x = 7*w - 2*w + 8, -2*x + 2*w = -16. Let m = x - 2. Suppose 5*y + m*b = 4*y + 8, 3*y - 18 = -3*b. Solve q = 3*q - y for q.
2
Let b(m) = m**2 - 3*m + 6. Let r be b(0). Solve r*c = -0*c - 30 for c.
-5
Let j(d) = -4*d + 16. Let l be j(4). Solve l*x = -4*x for x.
0
Suppose -2*a - 3*a = -2*a. Suppose 0 = -4*v + 18 + 30. Solve a = -3*c - c - v for c.
-3
Suppose -3*y + 87 + 15 = 0. Suppose l = -l + y. Solve 4*h - l = -1 for h.
4
Suppose -t + 14 = 5*r, -2*r - 6*t + 24 = -t. Let l(j) = j + 1. Let f(b) = b - 4. Let n(x) = -f(x) + 2*l(x). Let k be n(-6). Solve k = -w + 4 - r for w.
2
Let r(v) = v**3 - 4. Let f be (-18)/(-10) + (-11)/(-55). Let q be r(f). Solve q = -s + 6 for s.
2
Let g = 2 + -4. Let w be -6*(1 + 3/g). Suppose 0 = -0*i - w*i + 9. Solve 0 = -0*v - i*v + 12 for v.
4
Let t = 54 - 53. Solve -2*k = t - 7 for k.
3
Suppose 1 = -4*z + 9. Suppose -4*w - b = -w + 7, 4*w + 2*b + 12 = 0. Let s = z - w. Solve s - 1 = -x for x.
-2
Let t(n) = -2*n - 13. Let u be t(-9). Suppose u*i - 49 - 31 = 0. Suppose 3*d + d = -l + 17, -i = -2*d - 2*l. Solve -q - 8 = d*q for q.
-2
Let d = 20 - 10. Let o = 10 - d. Solve o*t - 9 = 3*t for t.
-3
Let c be 6/(-6) + 1*3. Suppose -3 - 29 = -5*h + 3*v, -32 = -4*h - 4*v. Suppose 3 - h = -c*o. Solve o*y = -2*y + 4 for y.
1
Let z(f) = 4*f**2 + 0*f - f - f**2 - 2*f**2. Let w be z(1). Solve 4*l + 0*l + 20 = w for l.
-5
Let v(h) = h**3 + 4*h**2 + 4*h + 3. Let b be v(-2). Let d = b + -3. Solve 0 = -q - 2 - d for q.
-2
Let v(i) = -i**3 + 6*i**2. Let r be v(6). Suppose -2*w = -4*q + 44, r*q + q + 2*w = 11. Solve 9 = -5*l - q for l.
-4
Let r be (19 - 3)/4 + -1. Solve 0 = -r*u + 5 - 11 for u.
-2
Suppose -2*k - 15 = -2*l + 5, l + 3*k = 30. Solve z = 6*z + l for z.
-3
Suppose -2*d + 4 - 2 = 0. Let u be d/(-2) + (-18)/(-4). Suppose 0 = i + 95 - 108. Solve -3*a - u = -i for a.
3
Let b be 0/(4 + -1 + -1). Suppose b = -3*p + 5*q - 6, -2*p - 1 = q - 10. Solve p*h = h for h.
0
Let u be -9*(-2)/3*28/42. Solve -u*v - 4 = 8 for v.
-3
Let t(p) be the third derivative of -p**5/60 + p**4/24 - 2*p**2. Let x be t(1). Suppose -d - 8 = -5*d. Solve x = -q - 3 - d for q.
-5
Suppose p = 3*p + 2. Let o(g) = g**2 - 2*g - 1. Let r be o(p). Solve 3 = -r*q - 5 for q.
-4
Let a(m) = m**2 + 2*m + 3. Let x be a(-2). Suppose 0 = 5*j - 9*j + 36. Suppose -3*y = -4*t - 60, j*y = 4*y + t + 83. Solve o - y = -x*o for o.
4
Suppose 3*j = 4*x - 11, 0*j - 3*j + 29 = 4*x. Solve x*i = i for i.
0
Let j = 9 + -7. Solve j = -2*u + u for u.
-2
Let k = -7 + 8. Let d be 7/21 + k/(-3). Let n = 2 + 1. Solve d = -l + n*l for l.
0
Suppose 3 = 3*n - 4*y - 21, n - 5*y - 19 = 0. Let x = 0 + -5. Let c = 5 + x. Solve c = -z - n*z + 5 for z.
1
Let j(i) = -i + 11. Let y be j(8). Suppose -9 = -y*p - 3. Solve 4 = -p*n - 0*n for n.
-2
Suppose -3*t = -t. Let g(i) = 9*i**2 + t*i**3 - 11*i + 1 - 11 + i**3. Let s be g(-10). Solve s = -m - 1 for m.
-1
Let p = 116 - 104. Solve 2*b = -2*b - p for b.
-3
Let d be (9/(-12))/(2/(-8)). Suppose -d*l = -7*l. Let h = 3 + 0. Solve -h*o + 6*o - 12 = l for o.
4
Let i = -1 + 1. Suppose -4*o + 16 = 0, i = -4*v + o + 3*o - 4. Let z be (-5 + v + 6)*2. Solve 0*m = -2*m - z for m.
-4
Suppose -p + 2 = -s, -2*s + 4*s = -5*p + 24. Solve -f + 15 = s*f for f.
5
Suppose 0 = -4*g + 3*t + 30, 0 = 2*g + 4*t - 1 - 3. Suppose 2*h = g*h. Solve h = -3*u - u - 4 for u.
-1
Let i = 3 - 0. Let s(l) = 5*l**2 - 3*l + 1. Let a be s(i). Suppose -3*m - a = -2*q, -4*q - 4*m + 63 = m. Solve 5 - q = -4*j for j.
3
Let p = 14 - 11. Solve 5 + 1 = -p*f for f.
-2
Suppose 0 = 4*w - 7*w - 9. Let l be (-3 - w)*1*-1. Solve l = -i - 3*i + 4 for i.
1
Let f be (5/20)/((-2)/(-32)). Solve f*p - 10 = 6 for p.
4
