Let n(p) = -p**3 + p - 1. Let u be n(-2). Suppose 4*x - 20 = -4*h + x, -x - 6 = -u*h. Let t be 2/9 + 88/9. Solve -h*a = -0*a - t for a.
5
Let v = -257 + 259. Solve 0 = v*h - 7 - 1 for h.
4
Let w(u) = -u**2 - 12*u - 1. Let t be w(-6). Let h(k) = -k**3 + 7*k**2 - 7*k + 11. Let j be h(6). Let x be (6/(-2) - 0)*(11 + -16). Solve t - x = j*z for z.
4
Let d = -12 - -7. Let v = -3 - d. Let w be 2/(-17) + (-8)/(-68). Solve w = -2*z + v for z.
1
Suppose 6*k - 50*k = -5*k. Solve k = -4*s - 8*s for s.
0
Let a(o) = 9*o**3 + 2*o**2 + o. Let v = -12 - -11. Let w be a(v). Let b = w - -10. Solve -b*y = -0*y - 10 for y.
5
Let i(l) = l**2 + 2*l + 1. Let u be i(0). Let m = 1 + u. Let z(f) = -f + 8. Let p be z(5). Solve -p + m = -o for o.
1
Suppose -4*j - 13*q + 9*q = -380, -365 = -4*j - q. Solve -72 + j = -6*m for m.
-3
Let d be (-1)/((2/(-14))/1). Suppose -147*u - 4 = -188 - 404. Solve u - d = 3*b for b.
-1
Let g(p) = p**3 - 9*p**2 - p + 13. Let v be -15*(1 + -3)/2. Suppose -5*i = -q - 3*i + v, -33 = -3*q + 2*i. Let z be g(q). Solve -z*r = -r + 9 for r.
-3
Suppose -3*c + 5*x + 70 = 0, -4*c - 2*x + 42 = -34. Solve -6*f - c = 4*f for f.
-2
Let s(m) = -m**2 + 102*m + 95*m - 201*m + 3*m**3 + 0 - 2*m**3 + 1. Let w(h) = h**2 - 2*h - 5. Let u be w(4). Let b be s(u). Solve -3*o - 22 = -b for o.
-5
Let j be (-3)/15 - 26/(-5). Let k(y) = -y - 3. Let n be k(-5). Suppose -4*p = -n*f - 10, p + 0*f = -2*f + 10. Solve -p*g + j = -7 for g.
3
Let m(i) be the first derivative of i**4/4 - 13*i**3/3 - 8*i**2 + 14*i + 2. Let u be m(14). Let t be u/(-4)*12/21. Solve 0 = -o - t*o + 12 for o.
4
Let l be (-39)/(-12) - (-4)/(-16 - 0). Let y be (-3)/9 - 4/l*-1. Solve y = -5*x + 6 for x.
1
Suppose -16 = -5*v - 3*x, 3*v - 3*x - 22 = 2. Solve -6 = v*b - 26 for b.
4
Suppose 4*i - 4*w - 24 = 0, -2*i = -3*i - w + 6. Let a(o) = o**2 - 8*o - 6. Suppose 16*g - 8*g = 72. Let f be a(g). Solve i = -f*z + 15 for z.
3
Let a be -1 + 20/12 + (-80)/12. Let h be ((-8)/a)/1*3. Solve -27 = -h*w - 7 for w.
5
Let k = -4 - -19. Let i be (24/108)/((-2)/(-36)). Solve -i*y + k = y for y.
3
Let a(k) = k**3 - 3*k**2 + 3*k - 1. Let u be a(4). Let q be 4/(-7)*(14 + -21). Suppose -q*b + u = -b. Solve b = -2*z - 1 for z.
-5
Suppose 6*r = 103 - 49. Solve -q = -r + 5 for q.
4
Let t = -1051 - -1076. Solve -t = -2*r + 7*r for r.
-5
Let g be 0 - ((2 - 6) + 7). Let x = 0 + -4. Let d be -2 - (g + (x - -3)). Solve k + 1 = -d for k.
-3
Let b = -11 + 11. Suppose b = -o - 0*x + 5*x + 89, -418 = -5*o - 2*x. Let j be 8/44 - o/(-22). Solve -8 = j*l - 20 for l.
3
Suppose -g + v = -49, g = -3*g + 2*v + 206. Let c = -45 + g. Solve -c = -5*q + 2*q for q.
3
Let n = 2097 - 2072. Solve 4*u + n = 9 for u.
-4
Let v be -2 + 3 + 21/(-3 + 4). Suppose -n = -2*f - 10, 4*n = 4*f - 2*f + v. Solve -c = n*c - 25 for c.
5
Suppose 5*r + 3*f - 9 = 0, 54*r - 53*r + 5*f = -7. Solve -6*l + r*l + 3 = 0 for l.
1
Let l = -494 + 496. Solve 0 = 10*y - l*y + 8 for y.
-1
Suppose -29*h + 1924 = -3*h. Solve -17*y + h = -11 for y.
5
Suppose -x + d = x + 61, 3*x + d = -84. Let g = x - -47. Suppose -40 = -5*c - 3*i, -2*i = -3*c - 5*i + 30. Solve -g - 2 = c*s for s.
-4
Let p = -38 + 40. Suppose 2*r = 4*x + 14, -5*r + p*x + 19 = -8. Solve 6 = -2*i + r*i for i.
2
Let i = 971 + -962. Solve 9 + 27 = i*a for a.
4
Let r = -94 + 98. Solve -2 = -2*l + r for l.
3
Let v(z) = -z + 8. Let r be v(9). Let x be -1*0/1*r. Solve x = 5*s + 1 + 4 for s.
-1
Suppose 0*i + 7 = i. Suppose 4*s = -3*z - 19, -5*z + 2 - i = 0. Let o be -4*(3 + s) + -1. Solve -10 + 1 = o*y for y.
-3
Suppose 13*g = 12 - 10 + 37. Let q be 0 + (0 - (-2)/2). Solve q = -x + g for x.
2
Let i(h) = 2*h - 89. Let o be i(46). Solve -o - 7 = -2*p for p.
5
Let q(a) = 10*a - 23. Let x be q(7). Let g = 48 - x. Solve -2 = -k + g for k.
3
Suppose -39 = -5*t + 5*c + 21, c = 4*t - 33. Suppose 4*j = 6*j + 6, -j - t = -2*d. Solve -d*q + 5 + 1 = 0 for q.
3
Let p(j) = 22*j - 367. Let n be p(17). Solve 2*a - 25 = n*a for a.
-5
Let n(m) = -m**3 + 12*m**2 + m - 8. Let r be n(12). Let j(h) be the first derivative of h**3/3 - 2*h**2 + 5*h + 4. Let i be j(4). Solve -i = 3*z - r*z for z.
5
Let r = 73 - 64. Suppose -r*d + 25 + 29 = 0. Solve -3*q + q = d for q.
-3
Suppose -4 = -y + 14. Let l be (5/2)/(3/y). Suppose -35*i = -37*i + 6. Solve 0*f - i*f = -l for f.
5
Suppose -3*a = -3*s, 16 = 2*a + 3*s + 6. Solve a*n - 3*n = 2 for n.
-2
Suppose 0*s = 4*s + 2*h - 6, 3*s + 5*h - 1 = 0. Let x = -10 + -5. Let o be 2/(-5) - 66/x. Solve -o*z = -2*z - s for z.
1
Let x be (-30*(-4)/4)/2. Let n = x - 13. Suppose 4*r + n*q = -2*q - 12, 5*q = 2*r - 22. Solve 0*w = w - r for w.
1
Let d be ((-3)/(-9))/((-1)/(-24)). Solve d*w = 4*w for w.
0
Let p = 6 - 4. Let s be 7*(194/70 - 3/15). Solve -4*d - p = s for d.
-5
Let a(p) = p**3 + 10*p**2 + 7*p - 12. Let d be a(-9). Suppose t = -d*t - 49. Let x = 2 - t. Solve 0*w = 3*w + x for w.
-3
Let i = 232 - 226. Solve -2 = 5*q - i*q for q.
2
Let z be -4*1*27/(-12). Solve -3*u = -6*u - z for u.
-3
Suppose 4*m = -15*k + 13*k + 22, -8 = 4*m. Solve 4*c - k = 1 for c.
4
Let c = 91 + -86. Let d be (1/2 + -2)*-2. Suppose c*x - 4 = d*x. Solve -q - x*q = -6 for q.
2
Let m = -154 + 250. Solve -m*n + 100*n + 8 = 0 for n.
-2
Suppose -i = -q + 12 - 4, 27 = 4*q + i. Solve a + 2 = q for a.
5
Let a = 914 - 910. Solve 3 = a*x - 5 for x.
2
Suppose -z - 2*z + 28 = 4*q, -4*q + 36 = 5*z. Solve -z*v - 63 + 51 = 0 for v.
-3
Let z = 372 + -370. Solve 10*w + 28 = -z for w.
-3
Let n = 96 - 94. Solve 3*h + n*h = -10 for h.
-2
Suppose 13*l = -2*l. Let s(b) = -b - 4. Let r be s(-6). Solve 0 = r*m - l*m - 6 for m.
3
Let y be (-16)/(-7) + (-8)/28. Suppose 3*b - 6*b = -3. Let q = 7 + b. Solve -3*u = -y + q for u.
-2
Let b(p) = 2*p**2 - 28*p + 89. Let a(n) = n**2 - 14*n + 44. Let q(l) = 9*a(l) - 4*b(l). Let h be q(10). Solve h = o + 6 - 1 for o.
-5
Suppose 4*h = -3*g + 3*h + 15, 2*g = 2*h + 2. Let f = -4 + g. Suppose f = -0*i + 5*i - 20. Solve 3*w - i*w = 0 for w.
0
Suppose -2*p = -62*z + 60*z + 74, -z + 31 = 2*p. Solve 30*b = z*b for b.
0
Let b be 7/((-14)/8) - -10. Suppose -4*p - 1 = l + b, 5*p = -15. Solve 0*q = l*q for q.
0
Suppose -2*u = g - 5, -u - u + 5*g + 23 = 0. Let s = -2 - -5. Suppose 0 = 4*y, 125 = 2*l + s*l + y. Solve 9*k - u*k + l = 0 for k.
-5
Suppose m - 18 = -3*v, -3*v = 3*m - 0*v - 24. Suppose m = 3*c + x + 2, 2*c - 5*x + 5 = 0. Solve c*f = -2*f for f.
0
Let f(w) = -2*w**3 + 19*w**2 + 10*w + 2. Let l be f(10). Solve 14*b - 44 = -l for b.
3
Let u be (-8)/(-4) + 0 - (-8)/4. Suppose -5*b + 25 = -5*f, -u*f - 29 = -b - 9. Solve -y + 5 = -b for y.
5
Suppose 3*f + 5 = w - 10, -4*f = 20. Let z be 0*(w - (-4)/(-8)). Solve 3*y + 2*y - 5 = z for y.
1
Suppose -2*l - f + 15 = 0, 0 = -3*l + 5*f + 1 - 11. Suppose -58 = -5*a + w, -5*w + 0*w = -5*a + 50. Let c = -23 + 25. Solve -l*r = -c*r - a for r.
4
Let f(m) = -18*m + 41. Let q be f(2). Solve 3*s + q + 4 = 0 for s.
-3
Let s be (-4)/(-10) - (654/10 - 2). Let a be ((-6)/(-27) - (-14)/s)/(-3). Solve -2*p - 1 - 1 = a for p.
-1
Let u = 11 - 13. Let f be 81/(-18)*u/3. Suppose -w + 28 = f*w. Solve -4*a + 13 = -w for a.
5
Let x be (-1)/((-3)/2 + 1). Let p = 9 - 18. Let y = p + 12. Solve -y*z - x*z = 10 for z.
-2
Suppose -x + 4*r - 1 + 8 = 0, 2*x + 5*r = 1. Suppose -32 = 2*k - 2*n, n = -x*k - 24 - 40. Let z = k + 28. Solve -u = u - z for u.
4
Let r = 416 + -409. Solve f - r*f = -4*f for f.
0
Suppose 0 = -0*s - 4*s + 68. Suppose 32*p + 377 = 3*p. Let y = s + p. Solve -8*z = -y*z - 20 for z.
5
Let w be -1 - 2*(-25)/10. Suppose w*g + 0 + 12 = 5*n, -n - g = -6. Solve l - 1 = n for l.
5
Let i be (1 + 0)*(11 + 2). Let a be i/(-3)*-2 + 12/36. Solve -2*w + 1 = a for w.
-4
Let n = -512 + 512. Solve -9*c + 8*c + 3 = n for c.
3
Let q(k) = 15*k - 15. Let h(b) = 7*b - 7. Let v(x) = -13*h(x) + 6*q(x). Let t = -728 + 728. Let g be v(t). Solve y + g = -0 for y.
-1
Let b(y) = y**3 + 5*y**2 - 4*y - 4. Let f be b(-5). Suppose -f = 7*n - 8*n. Solve 3*t = -t + n for t.
4
Suppose -22*t + 20*t - 11 = 3*d, -4*d = 20. Solve t*x + 15 = -13*x for x.
-1
Let r(h) = h**2 + 6*h + 2. Let o be r(-10). Suppose 0 = -31*t + 24*t + o. Solve 3*d = t*d for d.
0
Let k be -2*1/2 + 12. Let f(p) = p**2 - 11*p + 4. Let v be f(k). Let l(z) = -z - 6. Let o be l(-9). Solve -v*g + 3*g = -o for g.
3
Suppose 7 = 2*g - 1. Suppose -2*q + g = -6*q - 4*r, 4*