et i(t) = t**3 - 4*t**2 - 4*t + 5. Let r be i(5). Suppose -r + 5 = -u + 4*j, 3*j = 0. Solve 8 = -q + u*q for q.
2
Suppose -w = -2*w - 5. Let b(r) = -3*r - 11. Let y be b(w). Solve 5*c = -11 - y for c.
-3
Suppose 27 = -g + 31. Solve -u - 3 = -g for u.
1
Let b(x) = -4*x**2 - x**2 - 5 + 0*x - 2*x - x**3. Let w be b(-5). Solve 4*a - 17 + w = 0 for a.
3
Let c(u) be the second derivative of -u**5/20 - u**4/2 + 7*u**3/6 + 5*u**2 - u. Let g be c(-7). Solve h + 4*h = -g for h.
-2
Let b be (4/6)/(4/12). Suppose 5*t - 2*t - b*p = 6, -4*p = -3*t. Suppose -g = g - t. Solve -7 = 3*m + g for m.
-3
Let a be 42/35*10/4. Suppose -a*s + 13 = -32. Solve m = 4*m - s for m.
5
Suppose 5*i + 21 = -4*o, 0 = 4*i + 2*o - 3*o. Let v be i/2 + (-171)/(-6). Let r be 8/v - (-2)/(-7). Solve r*g + 3 = 3*g for g.
1
Suppose j + j = -2*t + 8, 5*j - 4*t = 20. Suppose -j*k = 12, x + 2*x = 2*k. Let z be (45/12)/(x/(-8)). Solve w + 2*w = z for w.
5
Let h(y) = y**3 - 8*y**2 - 10*y + 9. Let o be h(9). Suppose o = 4*s - 0*s. Let f be 1 + s - (-2 + 1). Solve 2*i + f*i + 20 = 0 for i.
-5
Suppose 0 = 4*c - 3*p - 35, -6*c + 5*p = -3*c - 40. Suppose 2*g - 2*h + 17 = -c*h, -5*h - 19 = g. Let a be g/14 - (-4)/14. Solve -3*q + 5 + 10 = a for q.
5
Suppose 5*d - 3 = 4*d. Suppose -4 = -z - d*k + 7*k, k = 2*z - 1. Let r = 2 + -2. Solve m - 2 + r = z for m.
2
Let k(v) = 2*v**2 + 3*v + 2. Let i(f) = -f - 13. Let u be i(-11). Let w be k(u). Suppose -4*r - r = w*h + 3, h + 3*r + 6 = 0. Solve -j = -h*j - 2 for j.
-1
Suppose -3*g - 12 = 0, 0*w + 2*g = 2*w - 52. Suppose w = 4*z - 2*s, -z - 2 = -5*s + 6. Solve -2*y + z = -3 for y.
5
Suppose 2*p - d - 13 = 0, -4*p - 5*d + 31 = -6*d. Solve 2*n + p = 5*n for n.
3
Suppose 17 - 1 = a. Let h = -10 + a. Solve -3*j + h = -j for j.
3
Let f(p) = -4*p - 2 + 5*p**2 + 7 - 3*p**2. Let q be f(4). Suppose i + q = 4*l, 2*l - 16 + 3 = 3*i. Solve 0 = -l*a + 19 + 6 for a.
5
Let y be 3 + 3 + 54/(-2). Let p = 25 + y. Solve -l - p = l for l.
-2
Let q be (564/(-13))/(-4) - (-4)/26. Solve 5*k = 1 - q for k.
-2
Let o = 13 + -10. Solve 3*b - o = 2*b for b.
3
Let f = 0 - -2. Suppose 6 + f = 4*b. Solve j + b = 4 for j.
2
Suppose 2*m - 4*n = -5*n, -2 = n. Solve 2*o = 7 + m for o.
4
Let b(w) = 2*w**3 + 2*w**2 - 3*w + 2. Let f be (1/2)/(1/4). Let a be b(f). Let g be 34/10 - 8/a. Solve 0 = 2*q - g - 7 for q.
5
Let v(o) = -4*o + 29. Let u be v(7). Solve 3*n + u = 13 for n.
4
Suppose 4*c = -0*c + 4. Suppose -i + 5 = c. Let q be (-14)/77 - i/(-22). Solve -w + 3*w = q for w.
0
Let w be (-373)/(-15) - 10/(-75). Let s = -11 - -17. Solve a - w = s*a for a.
-5
Let t be 1 - (3 + (-4)/2). Let i(h) = -9*h**2 - h**3 + t*h**3 + 2*h - 11*h. Let s be i(-8). Solve 0 = 4*a + s for a.
-2
Suppose -c + 14 = -2*n, -2*c - 3*c + 4*n + 40 = 0. Solve 20 = -c*l - l for l.
-4
Suppose 4 = -d + 2*d. Let x = d - 4. Let g be 2 + 0 - -8 - x. Solve -2 = 4*c + g for c.
-3
Suppose -4*x + 20 = -0*x. Suppose -2*m = h - 10, -x*m + 1 + 24 = -5*h. Solve -3*q + h*q = -6 for q.
2
Let f be 77/63 + (-2)/9. Solve 2*s = 3*s - f for s.
1
Let u be (18/(-15))/((-2)/5). Suppose -u*s = -4*s. Solve -7*b + 2*b = s for b.
0
Let j be (-18)/((2 - -2)/(-2)). Solve x = -2*x + j for x.
3
Let g(v) = v**2 + 9*v + 6. Let b be g(-9). Solve -b*y = -y for y.
0
Let t be (4 - 7 - -4) + 4. Suppose -b - 4*b + 3*f - 9 = 0, -5*b + 9 = 3*f. Solve b = -x + t*x + 20 for x.
-5
Suppose 3*r - 59 = 5*s + 93, -3*s + r = 88. Let u be (3/6)/((-2)/s). Solve -u*j + 4*j - 3 = 0 for j.
-1
Suppose 0 = -2*g - 5*z + 18, -2*g + z - 5 = -g. Let s = g - -5. Let m be 1 + (-1 - 1) - -3. Solve m*p = 6*p + s for p.
-1
Let i = 24 + -34. Let k be 6/i - (-72)/20. Solve -4 = -a + k*a for a.
-2
Let h be 21/(-6)*(-8)/14. Solve -h*t - 7 - 1 = 0 for t.
-4
Let k = 3 + 6. Suppose 0 = -r - 2*r + k. Suppose 6*y + r*v - 18 = 4*y, -2*y = 5*v - 26. Solve -3 = 2*i - y*i for i.
3
Suppose -23 = -2*k - 15. Let t be (-4)/(-6)*(-15)/(-10). Solve -k = a - t for a.
-3
Let z be ((-2)/(-3))/(2/30). Suppose 0 = 2*b - 8. Solve d - z = -b*d for d.
2
Let o = 28 + -24. Solve -5*g + o*g = 5 for g.
-5
Let c be (2/8)/(1/12). Solve 5*n = -7 - c for n.
-2
Let l(a) = a**2 - 3*a + 1. Let i be l(4). Solve 0*f - i = -f for f.
5
Let w be 1*(-3 - (-3)/1). Suppose -2*t = 2*y - 6, 3*t - 6*t + 9 = 5*y. Solve y*b + 3*b + 3 = w for b.
-1
Let w(c) = c - 11. Let p be w(13). Solve -3*u = -2*u - p for u.
2
Suppose -p - 5 = -2*r, 0*r = 2*r - 2. Let s be 7*(p + 2 + 2). Solve 4 - s = -k for k.
3
Let k(p) = p**2 + p + 6. Let x be (0/(-2))/(-10 + 9). Let v be k(x). Solve -v*j = -2*j - 20 for j.
5
Suppose 0 = -4*i - 0*f - 4*f + 16, -5*i - f + 40 = 0. Solve 4*m = i + 3 for m.
3
Let m(f) = -f**3 + 7*f**2 + 9*f - 6. Suppose p + 27 = 3*c, 3*p - 4*p = 2*c - 13. Let t be m(c). Suppose 3*y - 4 - 8 = 0. Solve 0 = -0*v + t*v + y for v.
-2
Let n be -4 + 1 - (3 + -6). Suppose n*x + 8 = 4*x. Solve -f + 3 = x*f for f.
1
Suppose 2*t + 1 + 9 = -3*o, -4*t = -2*o + 20. Let q = 4 - o. Solve q + 6 = 5*r for r.
2
Let y(r) = 2*r - 2. Let o be y(4). Suppose o*v - 15 = v. Solve x = v*x for x.
0
Let j be (-6)/10 + (-65)/(-25). Suppose 4*s = j*s + 12. Solve -k - s = 2*k for k.
-2
Let h be (-4)/(-18) + 142/9. Let y be (-3)/(-12) + 28/h. Let j(z) = z**3 + 3*z**2 - 4*z + 5. Let n be j(-4). Solve y*w = w - n for w.
-5
Suppose 2 + 0 = w. Solve -w*v - v = 9 for v.
-3
Suppose -4*o + 17 = -i, -2*i - 3*o - 4 = -5*o. Let x be -1*i/(-3)*5. Suppose 1 = h + 5*c, -x*h - 4*c + 7 - 2 = 0. Solve -3 - h = 2*n for n.
-2
Let z(r) = 2*r**2 + r + 1. Let k be z(-1). Let s = -25 - -31. Suppose 0*n = u - 5*n - 3, -k*u = 3*n - s. Solve -u*f = f + 4 for f.
-1
Suppose 0 = 9*z - 6*z - 3. Let a = -4 - z. Let c(y) = -y**3 - 4*y**2 + 3*y - 5. Let g be c(a). Solve 0 = -g*j + 13 + 12 for j.
5
Suppose -4*l - 1 = -2*t + 5, -9 = -3*t + 5*l. Let u be ((-2)/6 - -1)*3. Suppose 0 = -y + 2*h + 2, y - 5*h + 1 = -0. Solve t*o = u*o + y for o.
4
Suppose v - 1 = 2*p - 3, -3*v + 4*p - 4 = 0. Solve v = -4*i - 3 - 1 for i.
-1
Suppose 0 = -3*t + 2*t + 3. Let d(w) = -w + 5. Let l(v) = v - 4. Let g(x) = -6*d(x) - 7*l(x). Let r be g(-8). Solve -r = t*h - h for h.
-3
Let d(t) = t - 7. Let r(l) = -1. Let c(b) = -d(b) + 6*r(b). Let i be c(-4). Solve i*w = -0*w - 5 for w.
-1
Let y(u) = -u - 5. Let l be y(-7). Let t(f) = f**2. Let i be t(3). Suppose 3*r + i = 4*h - l*r, 2*h - 27 = -5*r. Solve -q = 2*q + h for q.
-2
Suppose 0 = 4*h - 5 - 3. Let k be (2 + -3 + h)/(-1). Let v be k/2*(-16)/4. Solve -2 = v*j - 0 for j.
-1
Let y be 2/4*-15*-2. Solve -d - y = -4*d for d.
5
Let m = 12 - -3. Let i = m + -5. Solve -i = t - 6*t for t.
2
Let w(y) = 2*y**2 + 4*y + 2. Suppose -1 = 2*k + 3. Let z be w(k). Solve -z*d = -5 - 3 for d.
4
Let m(x) = -x**2 - 6*x + 4. Let g be m(-6). Solve -g*c + 8 = -0*c for c.
2
Let v = -18 + 23. Solve 2 = v*o + 22 for o.
-4
Let a = 30 - 29. Suppose u + 8 = 3*u. Suppose 17 - u = 5*c - 4*v, -v = -5*c + 7. Solve -w + c = -a for w.
2
Let l(r) = 2*r - 6. Let w be l(5). Suppose -2*p - 3*p - 32 = 2*s, 5*s = w*p - 14. Let o = 9 + s. Solve 0 = 2*h + o*h + 20 for h.
-4
Let d(w) = w**2 - 19*w + 23. Let s be d(18). Solve s*o - o = -12 for o.
-3
Suppose -9 - 1 = -2*k. Suppose 0 - k = j, -2*j = 2*b - 30. Solve 0 = 5*m - b for m.
4
Let o = 1 + -5. Let p be -2 + o/((-4)/(-5)). Let r(v) = -v - 3. Let d be r(p). Solve -d*q - 3 = 5 for q.
-2
Let g = -110 + 111. Solve -g + 13 = 4*d for d.
3
Let w(z) = 2*z**3 + z**2 - z. Let i be w(1). Suppose 14*x + 20 = 3*g + 10*x, 3*g + 2*x = 44. Solve -2*a + g - i = 0 for a.
5
Suppose 0 = -y - 0*y. Let m = y + 2. Suppose -2*d = m*d - 56. Solve 4*k = 6 + d for k.
5
Let l be (-3 - -6) + (0 - 0). Let z = l - 0. Let c = 0 - -7. Solve -c = -z*u - 1 for u.
2
Let r(v) = -v**3 + 10*v**2 - 9*v + 4. Let a be r(9). Solve -x + a = -0*x for x.
4
Suppose -a - 2 + 4 = 0. Suppose -a*x = -6 - 0. Solve 0 = -4*s + x*s + 5 for s.
5
Suppose -4*h - 44 = -0*h. Let k = -7 - h. Solve 0 = -k*b + 4 - 20 for b.
-4
Let c be 1*4 - (1 + 2). Let w(d) = d**3 + d**2 - d - 1. Let j(z) = -z**3 + 3*z**2 - 5. Let a(r) = c*j(r) + 2*w(r). Let g be a(-5). Solve -g = 2*i - 1 for i.
-1
Let n = -28 + 21. Let y(u) = -u**3 - 7*u**2 - u - 6. Let j be y(n). Solve 2*q = 5 - j for q.
2
Let c(b) = 3*b - 9. Let s be c(9). Let w be (-4)/s - (-4)/18. Solve w*v = -v + 2 for v.
2
Let b(w) = -w**2 + 2*w + 3. Let q be b(0). Solve 2*i + q 