
-4
Let z(a) = -a + 3. Let f be z(-1). Solve f*h = -h - 5 for h.
-1
Suppose -9*f = -3*f - 6. Let d be (-8)/(-3) - f/(-3). Solve -2*h + d*h = 5 for h.
5
Let s(h) = h**3 - 5*h**2 + 8*h - 11. Suppose -11*u = -2*u - 36. Let t be s(u). Solve 3 = t*w - 2 for w.
1
Suppose 0 = z - 4*g + 11, 2*g - 13 = 2*z - 3*z. Suppose 0 = -z*h + 12 - 2. Suppose -2*l = -8, -4*x - 9*l + 84 = -4*l. Solve -6*k + x = -h*k for k.
4
Let c(k) = k**2 + 5*k + 1. Let z(h) = -3*h**2 - 14*h - 2. Let q(v) = -7*c(v) - 2*z(v). Suppose 46 = -5*n + 16. Let a be q(n). Solve -2*s + 5 = -a for s.
4
Let z = -201 - -236. Solve -48*p - z = -55*p for p.
5
Suppose 2*b = -3*g + 8 - 3, 2*b + 5 = -g. Solve 5*c + 10 = g for c.
-1
Suppose 16 = 20*y - 16*y. Solve -y*b = b - 15 for b.
3
Suppose 0 = 6*k - k - 2*n + 18, n = k + 3. Let c be 1 + 10/2 + k. Solve c*h - 4*h = -2 for h.
1
Suppose -4*i = 4 - 16. Suppose s - i = -0*s. Suppose -4*r = -11*r - 162*r + 338. Solve -s*l + r = -4 for l.
2
Suppose 1173 = 69*t - 1035. Solve 0 = 8*o - 0*o - t for o.
4
Let n be (-4)/(-7)*(-7105)/(-290). Solve -6 = 4*o + n for o.
-5
Let o(p) = p**3 + 3*p**2 - 4*p. Let b = 62 - 66. Let u be o(b). Solve 2*k + k - 15 = u for k.
5
Let p be (-2223)/(-117) + (-2)/2. Solve 0 = 14*g - 20*g + p for g.
3
Let j(c) = -2*c. Let b be j(0). Let m be 0 + 2*2/(-4). Let r be m + 5/((-5)/(-14)). Solve -5*l + r - 3 = b for l.
2
Suppose 2*w = 6*w + 5*q - 20, 3*w + 5*q = 20. Suppose -2*u = u - 12. Suppose u - 19 = -o. Solve w = s - 6*s - o for s.
-3
Suppose o = 5*u - o - 70, 13 = -u - 5*o. Suppose -4*v = -b + u - 67, -54 = -3*v + 5*b. Solve 3*x + 1 = v for x.
4
Let q(h) = 2*h**3 + 13*h**2 + 4*h + 1. Let i be q(-6). Solve 0 = -i*n + n - 12 for n.
-1
Suppose -2*l = 4*l. Let o = 3 - l. Solve 6*a = o*a - 9 for a.
-3
Suppose 0 = -g - 5*c - 10, 2*g - 4*c + 5 - 13 = 0. Solve 4*f - f = g for f.
0
Suppose -2*t + 4*k - 34 = 0, -5*k - 38 = -5*t - 103. Suppose 0 = -2*c - 3 - 3. Let f = c - t. Solve 4*s + f + 2 = 0 for s.
-2
Suppose -3*n + d = -30, 23*d - 19*d = -4*n + 24. Solve -2*c = n*c + 55 for c.
-5
Let d = -32 + 34. Let h be 0*((-21)/9 + d). Solve o + h*o + 5 = 0 for o.
-5
Let c(i) = -4*i - 12. Let v be c(-5). Suppose 0 = 3*q + v*q - 11. Solve b + 1 + q = 0 for b.
-2
Let z(n) = n**3 - 8*n**2 + 9*n - 14. Let d be (2/6)/(2/12) - -5. Let a be z(d). Let k = -8 - -14. Solve -2*l + k*l - 8 = a for l.
2
Suppose 4*b + 13 = 37. Let c be (-2*5)/(-2)*3. Solve 0 = b*x - x + c for x.
-3
Let t be (-54)/12*8/6. Let p(o) = -2*o - 7. Let r be p(t). Suppose 2*l + 76 = 3*v, 0*v + 3*l = v - 30. Solve -v = r*f + 1 for f.
-5
Let y(w) = 2*w**2 - 11*w - 10. Let g be y(7). Solve 18 + 26 = -g*h for h.
-4
Let h be 8/12 + 14/(-3). Let o = h + 7. Suppose -4*k + f + 6 = 0, -o - 3 = -k - 2*f. Solve -w - k*w = -15 for w.
5
Suppose 288 + 981 = 27*t. Solve -48*p + t*p + 4 = 0 for p.
4
Let j be (-4)/(-2) - (1 + 26). Let h = 58 + j. Let g = 45 - h. Solve 3*a = -a - g for a.
-3
Suppose -2*w - 21*o + 26*o - 11 = 0, 0 = 4*w - 5*o + 7. Solve -3*h + w*h = 3*h for h.
0
Let f = 0 + 3. Let m = -214 - -215. Solve p - f = -m for p.
2
Let g be (((-64)/(-6))/2)/((-48)/(-144)). Solve g*f = 11*f + 10 for f.
2
Let w = 375 - 372. Solve -7 = w*v + 2 for v.
-3
Let m = -3 + 13. Let y be (3 - -2)/(25/m). Solve 4 = y*s - 2 for s.
3
Let w(g) = g**3 + 16*g**2 + 5*g - 15. Let q be w(-15). Let x be q/(-27)*((0 - 1) + 0). Solve -36 + 11 = -x*b for b.
5
Let c = -347 - -351. Solve 1 = -c*p + 5 for p.
1
Let d(j) = j**3 - 12*j**2 + 3. Let k be d(12). Suppose 5*m - 4*z - 16 = 0, -5*m = 3*z + z + 16. Solve -k + m = -x for x.
3
Let h be (-28)/(-5) - 15/25. Let r(f) = 8*f - 4. Let i be r(h). Let k be (i/(-21))/((-2)/7). Solve z + k = -z for z.
-3
Let r(j) = 2*j**3 + 62*j**2 + 60*j + 21. Let g be r(-30). Solve g*l + 0*l = -84 for l.
-4
Let i be 8/(-2 + (-3 - -4)). Let x = i - -12. Suppose 0 = -x*q + q + 9. Solve -k + 2 = -q*k for k.
-1
Let n(f) = -18*f - 417. Let x be n(-25). Solve 0 = 39*i - x*i + 18 for i.
-3
Let x be 295/25 - (-16)/(-20). Solve x*z + 4 = 7*z for z.
-1
Suppose -5*z = 4*p - 64, 3*p = 2*z + 8*p - 29. Let o(b) = -45*b**3 - b**2 + b + 2. Let l be o(-1). Let q = -40 + l. Solve -q*u = z - 37 for u.
5
Let t be (12/16)/((-2)/(-8)). Suppose -16 = -4*r - 0*r. Let h be 3 + -3 - r*-1. Solve -t*z - 2 - h = 0 for z.
-2
Suppose 5*c - 1 = -1. Let n be (-2)/(-2) + (c + -1 - -3). Solve -n*d + d = 8 for d.
-4
Let o = -4 + 6. Suppose -v - 85 = -14*v - 59. Solve v*u + o*u = 16 for u.
4
Suppose 7*x - 28 = 6*x. Solve 18 = 10*l - x*l for l.
-1
Suppose -3*u + 19 = -2. Suppose 12 = 4*w - u*w. Let h(p) = -p**3 - 4*p**2. Let n be h(w). Solve -1 = -f - n*f for f.
1
Suppose 4*k - 37 = -3*m, -m + k + 7 = -10. Let y = -41 - -45. Suppose -2*j - 2*j = -5*g + 22, 4*g = -y*j - 4. Solve g*b = -5 + m for b.
5
Let n be 7 + ((-6)/(-2) - 6). Suppose 5*k = -n*g + 5, -7*k = 2*g - 2*k + 5. Suppose 0 = 4*b - g*b. Solve b = -2*o - 3 + 1 for o.
-1
Let j = -1628 + 1638. Solve 0*s - j*s = s for s.
0
Let l(a) = -a**3 + 0*a**2 + 2*a**2 + 0*a**2. Suppose 5*x - m + 5 = 0, m + 25 = 6*m. Let i be l(x). Solve o + 3*o - 8 = i for o.
2
Suppose -2*y + 0*y + 24 = 0. Let g(s) = s**3 - 13*s**2 + 12*s + 13. Let c be g(y). Solve 5*o - 2 = c for o.
3
Let y = 647 - 639. Solve 0 = -32*x + y*x for x.
0
Let o(n) = n**3 + 4*n**2 + 2*n. Let q be o(-3). Let p(b) = -4*b**2 - 8*b + 13. Let i be p(-6). Let f = 98 + i. Solve 0*j = -q*j + f for j.
5
Let o be (-6)/(-15) + 678/5. Suppose o = -2*b - 2*b. Let s be b/(-12) - (-12)/72. Solve -s*v - v = 0 for v.
0
Let n be ((-18)/(-45))/(2/10). Suppose -n*r = 5*p - 42, -3*r + 5 - 2 = 0. Solve -3*h + h + p = 0 for h.
4
Let k(o) = 2*o**3 - 10*o**2 - 10*o - 10. Let p be k(6). Solve -2*d - 20 = p*d for d.
-5
Let y be 4*-10*2/(-16). Suppose y*x + 1 = 4*l, -x + 4 - 17 = -4*l. Solve l*w = -w - 10 for w.
-2
Let s(h) = -h + 2. Let j be s(-3). Suppose 0*g + 3*o - 13 = -g, g - 21 = j*o. Let k = -10 + g. Solve i + 5 = k*i for i.
1
Let l(w) = 43*w - 231. Let r be l(6). Solve 0 = p + 8*p + r for p.
-3
Let t(s) be the third derivative of -s**4/12 - 5*s**3/3 - 7*s**2. Let z be t(-6). Solve l + l = z for l.
1
Suppose 2*g - 2 = -0. Let i be (-2 - (g + 2))*-1. Solve i*v = v for v.
0
Let f(s) = 10*s + 62. Let z be f(-6). Suppose -4*b + h = -33, 3*h + 34 = z*b - h. Solve -4*w = -b*w + 6 for w.
2
Let t(p) = -p**3 + 9*p**2 - p + 11. Let k be -37*(-1 + -3 + 3). Suppose 5*g - k = 8. Let a be t(g). Solve o - 6 = -a*o for o.
2
Let o be (16/3)/(-2 - 32/(-12)). Solve 0 = 4*u - 4 - o for u.
3
Let q = -1658 + 1724. Solve q*s - 9 = 63*s for s.
3
Let z = 30 - -2. Let v be ((-12)/15)/(2 - z/15). Solve 3*j - j + v = 0 for j.
-3
Let f = -21 + 11. Let c = -10 - f. Suppose 8*b - 3*b - 4*n = 10, -b + 3*n + 2 = c. Solve -3*z + 5*z = b for z.
1
Suppose 4*f - 18 = -10. Suppose y - r = 7, -4*r + 11 = -f*y + 35. Solve u - y = -5 for u.
-3
Suppose 16 = n + h, -n - 3*h = n - 30. Let u = 33 - n. Let m = -18 + 21. Solve -2*x = m*x - u for x.
3
Suppose 18 = 2*o - 56. Let i = o - 34. Solve -t - 2 = i for t.
-5
Let p = 26 - 36. Let k be ((-12)/p)/(33/55). Suppose 3 = -2*y - 4*b + 21, -2*b = -2*y - 6. Solve 3*v + y = -k for v.
-1
Let t = 47 - 48. Let p be 12/2 + (-1 - t). Solve 1 = g + p for g.
-5
Suppose -2*t + 2 = -o, 133*t - 130*t - 10 = 5*o. Solve -2*r + 12*r + 50 = t for r.
-5
Suppose -q = -2*q + 2*n + 3, -4*q + 28 = -4*n. Solve 10*h - q*h = 4 for h.
-4
Let s(r) = r**3 - 9*r**2 + 8*r + 6. Let g be s(8). Suppose 0 = 4*c - c - g. Suppose 0*z + 31 = c*z - 5*l, -2*z - l = -1. Solve -2*w + z = w for w.
1
Let t(p) = p**2 + 3*p - 15. Let k be t(-6). Suppose -3 - k = -x. Solve -11 = -z - x for z.
5
Let m(f) = -2*f**3 + 6*f**2 + 6*f - 7. Let y be m(5). Let x be 2/(-11) + (-14)/y. Let a = -3 - -6. Solve x = -5*u + a*u + 10 for u.
5
Let s(n) = -4*n - 10. Let f be s(-5). Suppose f = 11*t - 6*t. Let o be t/2 + 6/6. Solve o*g + 0 = 2 for g.
1
Let p = -43 + 51. Suppose 0 = -a - a + p. Solve -4 = -2*d + a for d.
4
Let n(h) = -4*h**2 + h + 2. Let x be n(2). Let t be (10/6)/((-10)/x). Suppose 2*a + 2*a - 26 = -q, -t*q + 37 = 5*a. Solve 0 = 2*b - q*b for b.
0
Suppose 2*c - 5*d = 29, -c + 0*c + 5*d = -7. Suppose -2*s + c = -s + 5*n, 0 = 3*s - 4*n + 10. Suppose 2*f + s = 3*f. Solve f*p = -0*p - 4 for p.
-2
Suppose -21*j + 605 = -25. Solve 6*f + j = 6 for f.
-4
Let i(d) = d**3 + 20*d**2 + 17*d 