n = -30 - -35. Suppose 0 = 4*v - 2*q - 4, 4*v - n - 3 = q. Solve -v*s = -7*s for s.
0
Suppose 4*a + 2*k - 24 = 0, 4*k = 4*a - 0*k - 48. Solve 14 = x - a*x for x.
-2
Let r = 279 - 276. Solve 0 = -r*d + 4*d + 4 for d.
-4
Suppose -6*g + g + 13 = y, 0 = -2*g + 10. Let a be y/8*(-14)/(-6)*-2. Solve a*b - 2*b - 15 = 0 for b.
3
Let w(z) = 2*z**2 - 17*z + 31. Let u be w(7). Solve -7*i - 11 = u for i.
-3
Let v(s) = s**2 - 3*s - 5. Let t be v(4). Let w be (2 + t)/(1/6). Let j(r) = r**2 + 7*r + 9. Let l be j(-6). Solve n + l = w for n.
3
Suppose 9*t - 11 = 8*t - 4*s, 0 = 4*t + 4*s + 16. Let g(z) = 0*z**2 + 0*z - 9*z + 1 - z**2. Let v be g(t). Solve 3*k = v + 5 for k.
2
Let d(z) = -z**3 + 5*z**2 - z. Let v be d(3). Suppose -v = -5*r, -3 = -j + 4*r - 9. Solve l + l = -j for l.
-3
Let f(y) be the first derivative of -y**4/2 - y**3/3 - 8. Let t be f(-1). Suppose x - t = 1. Solve -3*j = x*j for j.
0
Suppose 0 = 3*v - i + 1, -5*v - i - 14 = -15. Solve v = 3*n - 43 + 49 for n.
-2
Let s be ((-2)/3)/(-1 - (-25)/30). Solve -s = g - 1 for g.
-3
Suppose -5*x - 21 = -h, -5*h - 2*x = -1 + 31. Let d(g) = g**3 + 5*g**2 + 5*g + 4. Let w be d(h). Solve w = 4*f + 7 + 5 for f.
-3
Suppose z + m - 51 = 6, -4*m = 2*z - 122. Solve -7 = 12*v + z for v.
-5
Suppose -5*p - 10 = 0, -i = -4*i - 4*p + 16. Suppose i*m = 3*m. Solve m*j = -2*j for j.
0
Let f(s) = -39*s + 747. Let z be f(19). Solve z*n + 13 - 25 = 0 for n.
2
Suppose 0 = n + 1 - 0. Let m(i) = -i + 12. Let p be m(12). Let z = p - n. Solve -5*h + z + 19 = 0 for h.
4
Let w(t) = 4*t**2 + 8*t + 6. Let n be w(-4). Solve 3*r = -41 + n for r.
-1
Let j(i) = -i + 1. Let n be j(5). Let g = n - -8. Suppose 2*f - g = -0. Solve -8 = -0*d - f*d for d.
4
Let u be ((-1)/(-2)*-34)/(1/(-1)). Solve 2*r + u = 21 for r.
2
Suppose -20 = k - 2*k + 4*j, 2*k - 4*j = 40. Let f(z) = 2*z + 3. Let g be f(1). Solve -d + g*d = k for d.
5
Let y be (5/2)/(1/4). Let c = -221 + 225. Suppose -5*h + y = l - 14, -4*l - c = -5*h. Solve -h*f - 8 = -2*f for f.
-4
Suppose -47 + 15 = -4*i - 4*n, -4*i - 2*n = -26. Let o = 23 + 19. Let f = 42 - o. Solve i*h - h + 16 = f for h.
-4
Suppose 15 = -5*o - 2*f, 2*o + 4*f = -13 - 9. Let w be -5*(-3 + 4)/o. Solve 0 = 7*j - w*j for j.
0
Let i(t) = t - 11. Let m be i(5). Let v be (-210)/(-20)*(-4)/m. Solve -v = -3*u + 2 for u.
3
Let a be 2/2*(-13 - -3). Let q be 16/(-28)*35/a. Solve 0 = 3*h - 17 + q for h.
5
Let w(h) = -h + 1. Let y be w(0). Suppose -3*n - x = -11 - y, -x = 3. Solve 0*z + 10 = -n*z for z.
-2
Let g be 2/(-4)*4/(-1). Suppose -7*c + 5*a + 30 = -2*c, 3*c + 5*a = 10. Let m be 2/c - (12/(-20) - 2). Solve 0 = p + g - m for p.
1
Let t(n) = -3*n**3 + 14*n**2 + 11*n - 27. Let g be t(5). Suppose 3*z - 2*d + 0*d - 46 = 0, -4*z + 56 = -4*d. Suppose s - z = -s. Solve 4*p + g = -s for p.
-3
Suppose 4*z - 341 + 329 = 0. Solve 4*h = -z*h - 21 for h.
-3
Let x = -16 - -18. Let m be (-28)/(-12) + x/3. Suppose -1 = m*u - 4. Solve v + u - 6 = 0 for v.
5
Suppose -5*s = -2*p - 2*p + 24, 2*s + 24 = 4*p. Let q = -2 + -2. Let n = p + q. Solve 3*z = 4*z + n for z.
-2
Suppose -r + 34 = 2*m, 2*r = m - 2*m + 11. Solve m*h - 20*h = -2 for h.
2
Let q(h) be the second derivative of -h**6/720 + h**5/30 - 5*h**4/12 + h. Let m(o) be the third derivative of q(o). Let g be m(-5). Solve -2*k - g = k for k.
-3
Let c(m) = m + 6. Let k be c(6). Suppose -4*x - 2*q + 48 = 0, q = -2*q - k. Solve 6 = -4*p - x for p.
-5
Let m(b) = -b**3 + 4*b**2 - b + 4. Let k be m(4). Let w = 290 + -288. Solve w*g - 4*g = k for g.
0
Let o(x) = -x**3 - 7*x**2 - 5*x. Let q be o(-6). Let a be (-112)/(-21) - 4/q. Solve a + 4 = 5*w for w.
2
Let f(s) = -s**3 - 10*s**2 + 2*s + 15. Let c be f(-10). Let t be (-301)/(-35) - (-3)/c. Let y = 10 - t. Solve 0 = 2*w - 4*w - y for w.
-1
Suppose 0 = -y - 3*o - 9, 2*y + 5*o = -5 - 9. Let m be 0/(y - 4 - -4). Solve m*b + b - 3 = 0 for b.
3
Let a = 210 - 46. Suppose -162*y - 4 = -a*y. Solve 0 = y*m + m - 3 for m.
1
Suppose -22*z = -67*z + 90. Solve -12 = z*b + 2*b for b.
-3
Suppose r - t = -3*r + 10, -5*r - t = -17. Solve r*y - 16 = 7*y for y.
-4
Suppose k - 5*k - 12 = -p, 24 = -5*p - k. Let s be p/((-16)/(-3))*-4. Solve -s*n = 2*n + 25 for n.
-5
Let m be (18/6 - 9) + 14. Solve m*h - 7 = 15*h for h.
-1
Let d = -34 + 34. Suppose d = 5*b - 3*b - 4. Solve 0 = -b*q - 2*q for q.
0
Let q(y) = -y**3 + 10*y**2 - 7*y + 16. Let s be q(9). Let l = s - 31. Solve 15 - l = -3*x for x.
-4
Let t be (20/28)/((-1)/(-7)). Solve t*i = -0*i for i.
0
Let y(b) = -b**2 - 35*b - 191. Let u be y(-7). Solve 0*q = 5*q + u for q.
-1
Let i(d) = d**3 - d - 1. Let y(h) = 6*h**3 + 6*h**2 + 2*h. Let k(t) = 5*i(t) - y(t). Let z be k(-5). Solve -z*a - 3 = -6*a for a.
3
Suppose -4*y = 3*y - 35. Let n be -10*y/10*-2. Solve 3*g + 1 - n = 0 for g.
3
Let r = -1098 - -1110. Solve -v = -7*v + r for v.
2
Let q be (2 + 0 + -3)*(0 - 9). Let s be 5 + -2*q/6. Solve -n = -s*n for n.
0
Let g = 349 - 347. Solve -g*s - 2 = 4 for s.
-3
Let o = -565 + 596. Solve o = 4*j + 11 for j.
5
Suppose 15*r - 11*r = 12. Suppose 4 = 3*m - 2*b, r = m + 3*b + 9. Solve m = 2*j + 3*j + 5 for j.
-1
Let f(r) = -r**2 + 25*r + 3*r**2 - 4 - 4. Let q be f(-13). Let w(x) = -x**2 + 4*x. Let b be w(4). Solve -q = y - b for y.
-5
Let d(n) = n**3 - 14*n**2 + 18*n - 48. Let o be d(13). Solve 0 = 2*v + o - 7 for v.
-5
Let t = 2 + -6. Let n = t - -5. Let d(l) = l**3 + 56*l**2 + l + 59. Let w be d(-56). Solve 11 + n = w*j for j.
4
Let z(p) = p**3 - 11*p**2 + 8*p + 25. Let l be z(10). Suppose 14 = 3*d + l. Solve 0 = -3*y + 6 - d for y.
1
Suppose 7*b = 88 + 59. Let y = -1 + b. Let i = -20 + y. Solve -5*q + 10 = -i for q.
2
Suppose -q + 4 - 3 = u, -4*q - 20 = -2*u. Solve 0 = u*a + 4 + 16 for a.
-5
Let n(m) = -m + 4. Let s be n(4). Let o(t) = t**3 - 7*t**2 + t - 4. Let p be o(7). Let a be 66/24 + p*(-1)/(-12). Solve c = -s*c - a for c.
-3
Suppose 37*w + 8*w - 450 = 0. Solve -w = 6*g + 2 for g.
-2
Suppose -x = -53 + 47. Let y = x - 2. Solve -y*i = i - 15 for i.
3
Let w be (-1)/(-1) + 8/(-4). Let m be 4 + (4/(-1) - w). Let g be m - (-2 + 0) - 0. Solve -g*n - n = 0 for n.
0
Let i = 13 - -5. Suppose i = 4*l + 2. Solve 0 = g - l*g + 12 for g.
4
Let t be 3 + 3 - 4 - -4. Let o(c) = 2*c**2 - 15*c + 23. Let i be o(t). Solve -3*f = -2*f - i for f.
5
Let i be 5/(-2)*304/(-95). Suppose 0 = -3*h + i*h + 5, 4*a - 7 = -h. Let s be -3 - -1 - (-1 + -1). Solve -a*u - 9 + 3 = s for u.
-3
Let o(j) be the second derivative of 4*j**3/3 - 23*j**2 + 2*j - 33. Let v be o(6). Solve -y = -v*y for y.
0
Let p = -1692 + 1734. Solve -38*t - 12 = -p*t for t.
3
Suppose -103*z + 24 = -97*z. Solve 0 = -7*w + z*w for w.
0
Suppose 5 = r + 4*r. Let v(j) = 10*j**3 + j**2. Let u be v(r). Solve -5*n + 9 + u = 0 for n.
4
Let i = 54 + -22. Suppose 0 = -4*q - 5*t + 13, -2*q - 6*t = -5*t - 11. Let d(v) = 2*v**2 - 4*v - 1. Let u be d(3). Solve u*c = i - q for c.
5
Suppose 66 = 24*s - 13*s. Solve s*y = 8*y for y.
0
Suppose 5*z = 2*m - 7*m + 45, -3*m + 22 = 2*z. Let u = 2 + m. Let y be 11/3 + (-4)/u. Solve -y*r + 0*r = 0 for r.
0
Let v(n) = n**2 - 3*n - 2. Let g be v(5). Let z be (-28)/(-16) + 2/g. Let k be (-22)/33 + z/3. Solve 3*a = 6 - k for a.
2
Let j(z) = -z**2 + 4*z + 3. Suppose -2*y + 12 = y. Let c be j(y). Suppose -3*u = -0*u. Solve u = -q - c*q for q.
0
Let q(a) = 1 + 5 + 5*a**2 - 4*a**2 - 3*a - 4. Let p be q(5). Let z be (2 + p/(-8))*14. Solve -2*k = -z*k + 5 for k.
1
Let y(u) = -u**3 + 4*u**2 + 2*u + 4. Let l be y(4). Suppose 4*k + 20 = 4*z, 2*k - 6*k - 55 = 3*z. Let d = 12 + k. Solve d*x - l = 5*x for x.
-4
Let l = -72 + 74. Suppose -7*u = -l*u - 15. Solve 0 = k - 0 - u for k.
3
Let f be ((-3)/3)/((-1)/10). Let n be (6/f)/((-1)/(-5)). Suppose 33 = 9*t - 3. Solve -n*v = -t - 2 for v.
2
Let s be 2 - -5 - (5 + -1). Suppose -4*y + 6 = 2*o, -49 = -s*o + 3*y + y. Solve 2*f + 1 - o = 0 for f.
5
Let x(f) = 69*f**2 + 5 + 72*f**2 - f**3 - 6*f - 148*f**2. Suppose -5*d = 25 + 5. Let z be x(d). Solve z = -w + 3 for w.
-2
Let z(q) = -3*q**2 + q**2 + 6*q**3 + 0*q**3 + q**3 + 1. Let p be z(-1). Let b = 10 + p. Solve 0 = b*r - r for r.
0
Suppose 4*i - 22 = -4*q + 2*q, -i = 2*q + 2. Let s = -2 + i. Suppose 2*c = 3*k - 1 - 8, 6 = 2*k - 3*c. Solve 3*j - s*j - k = 0 for j.
-1
Suppose 0 = -2*n - 4*f + 16, -14 - 2 = -2*n + 2*f. Solve -n*b + 4*b - 4 = 0 for b.
-1
Let y = 134 - 134. Let