c be h(5). Solve -c*a = -t*a for a.
0
Suppose -3*t + t = 80. Let w = -36 - t. Solve -j + w = 3*j for j.
1
Suppose -8*b - 90 = -17*b. Let w(o) = o + 5*o**3 - 2*o - 4 + 6*o**2 - 4*o**3. Let c be w(-6). Solve -c*r - b = -0 for r.
-5
Let o = 34 - 20. Let h = 20 - o. Suppose h*r = 4*r. Solve 3*x + 3 + r = 0 for x.
-1
Suppose 0 = -5*i - 2*y + 57, y - 4*y = -3. Solve 5*j = -1 + i for j.
2
Let o be (1*-122)/(-7 - -5). Let j = o - 57. Solve -j*r + 2 = -6 for r.
2
Suppose u = 29 + 3. Solve 8*m = -0*m + u for m.
4
Let f(u) = -u**3 - 30*u**2 + 2*u + 63. Let b be f(-30). Let o be (2*-1 - (2 - 4)) + b. Solve 0 = 4*q - o*q - 2 for q.
2
Let l(w) = -w**2 + 16*w - 43. Let d be l(11). Solve -d*y - 29 = 31 for y.
-5
Suppose 2*s = -0 - 12. Let l be (-6)/(-2) + (s - -13). Suppose 19 = 5*b + 2*z, 0 = -b - b + 3*z. Solve -b*m = -8*m + l for m.
2
Let s be 5/((-60)/(-16))*3. Solve -2 = -s*c - 10 for c.
-2
Suppose 0 = 4*v - 198 + 58. Suppose -5*y + v = 2*y. Solve p + y = 6*p for p.
1
Let o(b) = -25*b - 97. Let l be o(-4). Solve 33*j - l = 34*j for j.
-3
Let j(d) = 19*d - 36*d + 13*d. Let r be j(-1). Let k be 2/r*-2*0. Solve -3*c - 7 - 5 = k for c.
-4
Let u(k) be the first derivative of -k**4/4 - 14*k**3/3 - 15*k**2/2 - 18*k - 49. Let s be u(-13). Solve s*g - 4*g = 16 for g.
4
Let b = 8 - 5. Suppose -19 = -3*w + o, -4*w - 35 = -9*w + 5*o. Let s = w - b. Solve -n - s = 1 for n.
-4
Suppose -w + 11 = 4*x, 9 = -3*w - 6. Solve 72 = -x*f + 84 for f.
3
Let l be (69/(-18) - -4)/(-1)*-12. Solve 0 = u + 7*u - l*u for u.
0
Let g(r) = r**2 + r. Let p be g(-2). Suppose -3*a + 35 = 4*d - p*d, -a = 2*d - 25. Suppose w + 4*w - d = 0. Solve w*q - 12 = -q for q.
4
Suppose 0 = 2219*s - 2226*s. Solve s = 117*p - 119*p - 4 for p.
-2
Suppose 4*x = 17*x - 65. Solve x*n = 7*n for n.
0
Let i = 8 - 8. Suppose i*d - 5*d = -5. Suppose 0 = 5*n + 3*y, -3*n + d = y - 3. Solve 3*w + n = -9 for w.
-4
Let p = -92 - -83. Let b be (-15)/(-6) - p/(-18). Solve -b*t - 3 = -3*t for t.
3
Suppose 3*a = -12, -9*z + 2*a + 18 = -8*z. Solve -5*c = -z + 25 for c.
-3
Let i be (-1)/2*0 + 4. Let k = i - 4. Suppose 10*l = 14*l - 20. Solve -c - l = -k*c for c.
-5
Let y = -20 - -20. Solve y = 5*i + 48 - 58 for i.
2
Let i(y) = y. Let g(q) = q**3 - q**2 - q - 2. Let o be g(2). Suppose -6*k = -o*k - 72. Let j be i(k). Solve 0*b + j = 4*b for b.
3
Suppose 0 = -5*d - 5*w + 36 + 59, 0 = -4*w + 8. Solve -s = 13 - d for s.
4
Let a = 11 - 3. Suppose a*c - c = 0. Solve -4*m + 2*m = c for m.
0
Suppose 2*v = 4*w - 18, w - 6*w - 5*v + 30 = 0. Suppose 0 = 5*q - w - 5. Let l be 4/(-4) + 8/q. Solve l*u = 5*u + 6 for u.
-3
Let p(d) be the second derivative of d**4/12 - 10*d**3/3 - 9*d**2/2 - 49*d. Let v be p(21). Solve v = 2*g + 2*g for g.
3
Let y(q) be the first derivative of -q**4/4 - 4*q**3/3 - 2*q**2 - 2*q + 11. Let r be y(-4). Let u(h) = h**2 - 14*h + 6. Let o be u(r). Solve o*n = n for n.
0
Suppose 5*w - 28 - 52 = 0. Let t(u) = u - 11. Let d be t(w). Solve d*z = 9 + 6 for z.
3
Suppose -5*y - 3 = -2*j, 2 + 5 = 3*j - 5*y. Suppose j*u - 5*u - 4*n - 6 = 0, 0 = 4*u - n - 10. Solve -2 = m + u for m.
-4
Suppose 0 = -2*i + 5*d + 20, -3*i + 5*i + 2*d = 6. Let s = -13 + 18. Let p = -70 - -70. Solve -s*x = -p*x + i for x.
-1
Suppose 31 = 4*u + 3. Solve -2*t = -u*t - 20 for t.
-4
Let s(x) = -11*x - 7. Let z(b) = b + 1. Let q(h) = -s(h) - 6*z(h). Let m be q(1). Solve -m*r + 3*r = 0 for r.
0
Suppose -7*i - 8 = -3*i. Let h be 0*i/(-3*2). Solve -r + 5*r - 4 = h for r.
1
Suppose 2*c = -6*c + 16. Suppose -18 = -3*p - c*o, 2*p - 6 - 5 = -o. Solve 4 = -2*q + p*q for q.
2
Let s(v) = -6*v - 45. Let j be s(-8). Let z(l) = -l**3 + 2*l**2 + 5*l - 4. Let p be z(j). Solve 7 = p*g + 3 for g.
2
Suppose 391*b = 394*b - 15. Solve -4*c + b = -15 for c.
5
Let v(y) = 0*y + 9*y + 3*y**2 - 15 - 4*y**2. Let o be 54/15*5/3. Let s be v(o). Solve s*d - 6*d - 6 = 0 for d.
-2
Let b(f) be the second derivative of f**4/6 + 5*f**3/2 + 4*f**2 + 9*f. Let m be b(-7). Suppose -3*n = -m - 8. Solve n*w + 25 = -2*w for w.
-5
Let c = -144 + 147. Suppose -5*d = 0, 3*u + d - 53 = -17. Suppose -c*x = -x - u. Solve x - 16 = 2*h for h.
-5
Let m be -15*2/(-10)*2. Suppose 0 = -2*a - 3*z - 4, -4*a - 5*z + 2 = m. Solve 16 = -a*j - 0 for j.
-4
Let i(t) = 4*t**2 + 10*t - 8. Let z be i(-4). Solve 0*v - z = 4*v for v.
-4
Let w = -125 + 127. Solve -1 - w = -j for j.
3
Let z(q) = -3*q - 47. Let c be z(-19). Suppose -l - 2*l + 3*f = 0, 0 = -5*f + c. Solve -1 = h + l for h.
-3
Let t(r) be the second derivative of 3*r**5/20 - r**4/12 - 2*r**3/3 + r**2 - 6*r. Let j be t(2). Solve -j = 4*z - 6 for z.
-2
Suppose 5*z + 0*p - p - 29 = 0, 4 = -p. Suppose w + z = 8. Solve -i - w - 2 = 0 for i.
-5
Suppose 3*s - y = 18, 0 = -s - 5*y - 10. Suppose s*b - q = 62, -q = -3*b + 28 + 10. Solve -i = 3*i + b for i.
-3
Let l be 1/(-6) - (-97)/6. Suppose -2*s - 4*u = -3*s - l, -10 = -2*u. Suppose 18 + 6 = s*b. Solve b = -5*y - 9 for y.
-3
Let s be (36/16)/((-1)/4). Let y = s - -26. Suppose y = -6*q + 53. Solve 9 = -5*t - q for t.
-3
Suppose 4*s = -4*y + 2*s + 12, -6 = -3*s. Suppose -y*h + 3 = -1. Solve 11 - 3 = -h*n for n.
-4
Suppose t = w - 3, 5*t - 27 = 4*t - 5*w. Let v(c) = -c - 3. Let r be v(-4). Let p be (-2)/(-5) - 39*1/(-15). Solve p = -t*g + r for g.
-1
Let p = 169 + -160. Solve p = -i + 6 for i.
-3
Suppose -2*h - 32 = -6*h. Let c(o) = o**2 + 7. Let z be c(-3). Solve -h*y + 4*y = z for y.
-4
Let t(p) be the first derivative of p**4/4 - 8*p**3/3 - 4*p**2 - 9*p - 12. Let a be t(9). Solve a = -u - u for u.
0
Let d(i) = i**2 - 2*i. Let n be d(-1). Suppose -z - 12 = n*z + 2*a, -4*z - a = 10. Let u be z/16 - 4/(-32). Solve -2*v + v = u for v.
0
Suppose 4*l - 94 = 2*l. Let w = l - 32. Suppose 5*n - w + 5 = 0. Solve -n*t + 1 = -1 for t.
1
Let d be (-26)/(-39) + (-4)/(-3). Let y(w) = -w + 2. Let o be y(-3). Suppose v - o = -2. Solve -v*j = d*j + 25 for j.
-5
Let k be -3 - -14 - 3/3. Solve 4*l - k*l + 6 = 0 for l.
1
Let g(f) = 6*f - 152. Let i be g(28). Let l = 23 + -34. Let d = i + l. Solve d*z + 0 = 5 for z.
1
Suppose 5*j - 24 = -2*f, -2*f + 5*f = -2*j + 14. Suppose -5*r - 49 - 6 = -5*t, 48 = 4*t - 2*r. Solve 5*k = -t - f for k.
-3
Suppose 2*p + 24 = 2*b, 4*b = -117*p + 118*p + 48. Solve 0 = 10*x - 4*x - b for x.
2
Let m be -14 + 8 + 2 - -32. Solve 0 = -23*s + m*s + 10 for s.
-2
Suppose 3*q - 8 = b, 0 = -2*q - b - 3*b - 4. Suppose 1 = 2*y + p - 4, 0 = -2*y + q*p - 10. Suppose 3*n = 15 - y. Solve -n + 2 = 3*u for u.
-1
Let z = -1236 + 1273. Solve -8*d + z + 3 = 0 for d.
5
Let p(d) = -38*d - 377. Let v be p(-10). Solve -v = 11*h - 8*h for h.
-1
Let u(z) = z**3 + 3*z**2 + 4*z - 4. Let w(n) = -n + 1. Let h(o) = u(o) + 3*w(o). Let x be h(-2). Solve f - x = -0 for f.
1
Suppose 66*r - 604 = 716. Solve -9*m - r = m for m.
-2
Let d(y) = -y**3 + 4*y**2 + 5*y + 4. Let w be d(5). Let u(n) = -2*n**2 + 27*n - 6. Let a be u(13). Solve -v + w = a for v.
-3
Let j(t) = -t**2 - 4*t + 27. Let p be j(-9). Let l be 8/18*5 + 4/p. Solve -y = -0*y + l for y.
-2
Let t(n) = -n**2 - 13*n - 16. Let s = 10 - 23. Let m be t(s). Let q = -13 - m. Solve q - 2 = o for o.
1
Suppose 38*t = 37*t + 3. Suppose -2*m = -3*m. Let o(i) = -i**2 + i + 3. Let d be o(m). Solve -d*h - t = -2*h for h.
-3
Suppose -4*z = -b - 21, 0 = 3*z + 4*b - 5*b - 17. Let w be ((-64)/6)/(z/(-6)). Let k = 2 - 2. Solve 5*a - a + w = k for a.
-4
Let s be 2/3*(-52 - -58). Solve -s*r + 10 = -6*r for r.
-5
Let l be ((-3240)/63)/(12/(-56)). Solve 3*s + 252 = l for s.
-4
Suppose 13*o + 3 = 10*o. Let p be (15 - 1)*o/(-2). Solve -15 = 2*z - p*z for z.
3
Suppose 4*k + c - 28 = 16, 0 = 3*k - c - 26. Suppose 0 = -2*v - 0*v + k. Suppose -f + 2*l + 5 = 0, f + 15 = 4*f + v*l. Solve -f = w - 2 for w.
-3
Let y be -6 - 5/(-1) - -4. Solve -y*x + x = 0 for x.
0
Suppose 220*j - 205*j = 75. Solve 0 = j*r - 10 - 5 for r.
3
Suppose 3*b + 2*o - 67 = 0, -2*b + 46 = o + o. Let s be ((-7)/(b/(-24)))/2. Solve -s*z + 0 = 12 for z.
-3
Let v = 5 + -5. Suppose -7*r + 26 + 2 = v. Solve m = -r*m for m.
0
Let o(w) = -w + 17. Let f be o(10). Suppose -4*m = -2*g, 9 + f = 2*m + 3*g. Solve m*q + 2*q - 4 = 0 for q.
1
Suppose 2*y = 8 - 4. Let d be (-1)/2*y + -2. Let r be 1*(14 - (6 + d)). Solve 1 + r = 4*b for b.
3
Let f = 256 + -147. Solve -3*v + f = 106 for v.
1
Suppose 0 = -f - 4 - 1. Let w be (-5)/(-2) + f/(-10). Solve 