
4
Let m(f) = 2*f**2 - 10*f + 15. Let b be m(5). Suppose -5*t - 45 = -5*s, -4*t - b = -t. Solve 0 = -s*x + x - 6 for x.
-2
Let w be (-117)/(-57) + (-26)/494. Solve w*t = 5*t + 5*t for t.
0
Let u(b) be the second derivative of b**4/12 + 7*b**3/6 - 9*b**2 + 10*b. Let q be u(-9). Let i be (-195)/(-27) + 2/(-9). Solve q = 2*g + i - 1 for g.
-3
Let w(f) = f**2 + 10*f + 5. Suppose -3*s = 5*h + 20, 2 = -h + 4. Let y be w(s). Solve y = -2*d + d for d.
-5
Let u(c) = -2*c**2 + 21*c + 15. Suppose 6 = 2*m - 16. Let n be u(m). Let i be 2*((-90)/(-4))/3. Solve q - i = -n*q for q.
3
Let l(f) = f**3 + 9*f**2 + 8*f + 3. Let n be l(-8). Suppose -5*h + 60 = -0*h. Suppose -n*k = k - h. Solve -4*u + k*u = 0 for u.
0
Suppose 0 = 3*q, -3*l - 1 = -4*q - 4. Solve -2*t + 1 + l = 0 for t.
1
Suppose 18 = 6*w - 7*w. Let o = 28 + w. Solve -4*n + 2*n + o = 0 for n.
5
Let s = -12 + -79. Let p = s + 95. Solve 0 = k + p - 6 for k.
2
Let d(v) = v**3 + 20*v**2 + 9*v + 221. Let p be d(-20). Solve p*r - 42*r = 2 for r.
-2
Let m = 283 - 276. Solve -3*w = -m*w + 8 for w.
2
Let v(g) = g**2 + 2*g - 5. Let a be v(-4). Suppose 0 = -2*s + a*s + 4, -2*j + 10 = -5*s. Let t be 8/j*(-35)/14. Solve -t*u = -u + 9 for u.
-3
Suppose -4527 = -4*k - 4491. Solve 10*o - k*o + 2 = 0 for o.
-2
Let c(j) = -4*j + 4. Let i be c(6). Let w = 25 + i. Let s(r) = -2*r + 10. Let m be s(w). Solve m = 4*p - 0 - 8 for p.
2
Let y(q) = 3*q**3 + 21*q**2 + 26*q - 6. Let o(h) = h**3 + 7*h**2 + 9*h - 2. Let n(x) = 7*o(x) - 2*y(x). Let c be n(-3). Solve 4 = 3*j + c for j.
1
Let i be 35/6 - 10/(-60). Suppose 8*v - 5*v = i. Solve 0 = 6*d - v*d - 12 for d.
3
Let z = 64 - 50. Solve 0 = -5*u - 1 - z for u.
-3
Let k = 253 + -242. Solve 4*o = -5 - k for o.
-4
Let r = -14 + 26. Suppose r = 10*f - 4*f. Let q be 1 + 4 + -5 + f. Solve 0 = q*h - h - 5 for h.
5
Let g = -208 - -208. Solve -25 = -g*l - 5*l for l.
5
Suppose 3*z - 2 = 4*i - 66, -z - 32 = -2*i. Suppose 3*v - a = 14, -3*v + i = -v - 2*a. Suppose -1 = 2*q - v*q. Solve q = -4*p - 11 for p.
-3
Let g be 48/84*(-70)/(-4). Solve y - 6*y + g = 0 for y.
2
Let b(o) = o**2 + 12*o - 16. Let n be b(-14). Let w be 3/12 + (-15)/n. Let s(h) = 3*h**2 + h + 1. Let m be s(w). Solve -5 = m*p + 1 for p.
-2
Let y = -25 + 29. Suppose -5 = -y*c - 5. Solve -2*o + 7*o + 15 = c for o.
-3
Let n(i) = i**2 + 5*i - 4. Let u be n(-6). Let v = -83 + 89. Let b be (-1)/2*(-9 - (v - 3)). Solve -l = u*l + b for l.
-2
Let h = -16 + 13. Let y be h/(-1 + (-2)/(-8)). Suppose 0 = 5*v - 20 - 10. Solve -v = -y*l + 6 for l.
3
Let f be 189/28 + 2/8. Suppose -2*p = -f + 3. Suppose 3*b - 6 = -p*d + 4, 4*d = -2*b + 4. Solve -b*t = t for t.
0
Let v(s) = 0*s - 4*s + s**2 + 4 - 2*s**2. Let j be v(-5). Let o be (-11 - (-4 - -2))*j. Solve 2*w = -w + o for w.
3
Let p = 22 - 18. Suppose -5*c + p*c + 20 = 0. Let d = -20 + c. Solve d*i - 16 = -4*i for i.
4
Suppose 2*z + 4*h + 10 = 0, -4*z + 6*h + 16 = 2*h. Let u be 4/(-8)*-2 - z. Solve l = -u + 5 for l.
5
Suppose 0 = 13*l - 17*l + 32. Let r be (-2)/((-12)/(-135)*(-20)/l). Solve 3*i = -6 - r for i.
-5
Let j = -1774 - -1786. Solve -j = 3*o - 6*o for o.
4
Let d = -197 - -197. Solve d*g - 2*g = 4 for g.
-2
Let n(h) = -h**2 + 6*h + 7. Let r be n(7). Let z = r + 0. Suppose 6*c - 92 = -17*c. Solve -c*p - 1 - 3 = z for p.
-1
Suppose -3*s + 4*s - 2 = 0. Let q(b) = 3 + 0 + 0 - b**s - 2. Let j be q(-1). Solve j = 2*w - 8 for w.
4
Let v = -423 + 462. Solve 6*j + 9 = v for j.
5
Let z = 0 + 0. Suppose 0 = 5*p - 12*c + 17*c - 5, 0 = -p - 2*c. Suppose 0 = -n - z + p. Solve -n*o + 12 = o for o.
4
Suppose -4*k + 39 = -45. Solve k*v - 1 - 41 = 0 for v.
2
Suppose -4*y + 16 = -2*n, 3*n - 12 = -3*y + 5*n. Solve -y*a = -6*a for a.
0
Suppose -2*h + 2*p = 4*p - 46, 2*h - 3*p = 41. Let o = -16 + h. Let l(g) = -g**3 + 5*g**2 + 6*g. Let f be l(o). Solve -2*s = -f*s for s.
0
Let d = -431 - -446. Solve -l = -6*l - d for l.
-3
Let z = 1863 + -1861. Solve z*q + 18 = -4*q for q.
-3
Let c(b) = -b**3 - 41*b**2 - 39*b + 42. Let t be c(-40). Solve t*g - 8 = -0*g for g.
4
Suppose -5*w - 15*w + 300 = 0. Solve -6*j + 3 = -w for j.
3
Let h be 54/81 + (-2)/3. Let z(q) = q + 5. Let r be z(-5). Solve r*g + g = h for g.
0
Let i(k) be the second derivative of -k**3/6 - 2*k**2 - 10*k. Let r be i(-6). Solve -3 = -r*u + 3*u for u.
-3
Let n(v) = -2*v - 7. Let y(p) = -p - 9. Let q be y(-15). Suppose -d + 4*f = 22, q*d - d = -f - 26. Let u be n(d). Solve 0*z = u*z + 25 for z.
-5
Let j(y) = y**3 + 16*y**2 + 13*y - 19. Let s be j(-15). Solve 8 = 13*q - s*q for q.
4
Let w be 2/(-8) - 102/8. Let a = w + 6. Let s = -3 - a. Solve s = 3*r - 5 for r.
3
Suppose -s - 12 = -4*c, -8 = 2*c - 3*s - s. Suppose c*y = -y + 5. Solve y = -3*r - 2 for r.
-1
Let l(y) = -y - 13. Let x be l(-15). Suppose -4*a - x*r - 4 = 0, -2*a + 3*r = 2*a - 6. Solve a = -2*j + j - 2 for j.
-2
Let o be (-15)/2*(224/(-20))/(-7). Let x be -1 - -3 - 3*(-8)/o. Suppose 0*m - 3*m = 3*h - 18, -4*m = h - 15. Solve x = -c - m*c + 16 for c.
4
Let h be 2/9 - (-76)/(-18). Let u(o) = -o - 4. Let x be u(h). Let i(q) = q**2 + 15*q + 18. Let g be i(-14). Solve x = -g*c + 12 + 4 for c.
4
Let r(g) = 43*g - 78. Let l be r(2). Solve -l*c + 12*c - 12 = 0 for c.
3
Let p(j) = j**2 - 2*j - 96. Let u be p(11). Solve -u*s = -0*s + s for s.
0
Let o be 4/2 + (-2)/((-12)/6). Let g = o + -3. Solve g*k = -2*k + 10 for k.
5
Let q(k) = k**2 + 5*k - 3. Let u be q(3). Suppose -u = 4*p - 69. Solve 2*g - p = -g for g.
4
Let i = 27 - 18. Let t = 10 - i. Solve -2*s - 3 = t for s.
-2
Suppose 0 = -4*b + r + 22, 17*b + r - 32 = 12*b. Solve -b*t = -9*t - 12 for t.
-4
Let p(t) = -t + 9. Let q be p(-10). Suppose -q = -2*r - 11. Solve r*i - 1 = -9 for i.
-2
Let h(w) = -w**2 - 5*w + 109. Let s be h(-13). Solve 2 = s*a - 3 for a.
1
Let q be 1/(-2)*126/7. Let h(b) = 6 + 7*b + b**2 + 0*b**2 + 0*b**2. Let o be h(q). Solve -5*i - o + 9 = 0 for i.
-3
Suppose -2*p = -16*s + 15*s - 12, -5*s = 4*p - 10. Solve -4*l + 1 = p for l.
-1
Suppose -165 = -45*u + 34*u. Solve 15 = 10*o + u for o.
0
Suppose 4*a - 58 = 50. Let k = -27 + a. Suppose 6*g - 2 - 22 = k. Solve 3 = -o + g for o.
1
Let f be 8/12 - (-646)/57. Solve -f*k - 2 + 14 = 0 for k.
1
Suppose -2*w = z, 0 = -3*z - 5*w + 3 - 0. Solve z = -9*r + 3*r for r.
-1
Let s be 15 - 87/6 - (-1)/(-2). Solve s = -2*v + 36 - 40 for v.
-2
Let m(r) = -2*r + 3. Let z be m(0). Suppose -3*a = -5*u - 38, 0 = a - 0*a + z*u - 22. Solve -5*j - a = -j for j.
-4
Suppose 4*m = g + 24, -2*m + m - g + 1 = 0. Let z = -28 - -23. Let l = m - z. Solve -d + l = d for d.
5
Suppose 5*r + 20 = 8*r + 2*b, 2*b = 2*r. Solve -r*c + 0*c = -8 for c.
2
Let n be (-2 + 1)*(-5)/5. Let f(v) = 40*v**3 - v**2 + 1. Let m be f(n). Solve -5*r - 15 = -m for r.
5
Let u(t) = t + 21. Let o be u(0). Suppose 7*l = 6*l + o. Let m be (-3)/l - 6/(-42). Solve m*v = -v - 4 for v.
-4
Let n be 1/(-2) + 0 + (-2)/(-4). Suppose -t - 3*l - 2 - 5 = n, 5*t - l - 29 = 0. Solve t + 4 = -3*j for j.
-3
Let l(j) be the third derivative of -j**4/24 + 5*j**3/6 - 9*j**2. Let p be l(-6). Suppose -p*h + 15 = -6*h. Solve h = -i - 1 for i.
-4
Let w = -77 + 82. Suppose -2*r - w = -7. Solve q = -r - 3 for q.
-4
Let z(c) = -c**2 + c + 1. Let m(w) = w**3 - 6*w**2 - 3*w + 6. Let a(n) = m(n) - 2*z(n). Let k be a(5). Suppose -1 = -3*p + 2*p. Solve 0 = -k*h + 9 - p for h.
2
Let d be -2*3/(-6) + 1. Let p be (-2 - -1)/(0 - (-3)/(-6)). Solve -d = -p*o - 0 for o.
1
Let t(c) = 2*c**2 - 18*c - 40. Let z be t(11). Solve 0*k + 3*k = z*k for k.
0
Suppose 0 = 22*j - 46 - 20. Solve 2 = -j*d + 14 for d.
4
Suppose 0 = 6*r - r + 20. Let g be ((-3)/r)/(1/4). Suppose q = -4*l + 55, 23 - 78 = -g*l + 2*q. Solve l = 2*u + u for u.
5
Let q(w) = -w**3 - 7*w**2 - 6*w + 2. Let d be q(-6). Let t be (-2 + 3)*0/d. Suppose 2*c - 4*u = -2*c, t = 3*u. Solve c = -4*f + 4 for f.
1
Let g be -3*5/(-15) + 53. Let r = -46 + g. Solve r = -2*j - 0 for j.
-4
Suppose o = -7*o + 160. Suppose 111*m = 110*m + o. Solve m = 3*p + p for p.
5
Let g(i) = 11*i + 351. Let m be g(-31). Solve -o + m = o for o.
5
Let f = -3 - -6. Suppose 3*w + 2*a + 2 = 0, -f*w - 6 = 2*w + 2*a. Let l be 2/4 - 5/w. Solve -z - 6 = -l for z.
-3
Suppose 65*w + 24 = 69*w. Solve -5 = w*a + 19 for a.
-4
Suppose -4*s = -3*p, -3*s = 16*p - 18*p. Solve 4*o + 65 - 61 = s for o.
-1
Let y(z) = z + 2. Let t be y(0). Let i(w) = w**2 + 3*