t**3 - 2*t**2 + 3*t - 5. Let k be i(-4). Solve k = d + f*d for d.
5
Let v(t) = -t**2 - 10*t. Let b be v(-10). Solve b = -0*w - 4*w for w.
0
Suppose 0 = 2*v + 2*v - 8. Suppose -v = 3*l - 8. Solve l*b + 3*b = 0 for b.
0
Suppose 0 = -4*i + 2*i - 40. Let m = -14 - i. Solve -5 = m*t - t for t.
-1
Let g(t) = -7*t - 38. Let l be g(-6). Solve m = l - 3 for m.
1
Let g = 0 - -5. Suppose -6*p = p - 28. Suppose -4*o + g*q + 24 = 0, -p*o - 6*q = -7*q - 8. Solve 4*b - 21 = -o for b.
5
Let u = 18 + -29. Let i be 1/4 + u/(-4). Let t be ((-3 - -3) + 0)/2. Solve -3*r = -t - i for r.
1
Suppose 3*r - r = 4. Suppose -y = r*y. Let c be y - (5 + 1)/(-3). Solve -w + c = -1 for w.
3
Let v(b) = b**2 - 4*b - 1. Let n be v(4). Suppose 4*g = -s + 128, -3*s + 160 = 5*g - 8*s. Let u be g/2 - (n + 3). Solve -3*j - u + 5 = 0 for j.
-3
Let b be 2/6 - 144/(-54). Solve b*u = -2*u - 10 for u.
-2
Let p(m) = m + 3. Let s = -6 - -6. Let z be p(s). Suppose 5*j + z*g = 14, 0*j = 5*j - 3*g - 26. Solve c + 0*c = j for c.
4
Let b be 4/2 - (-2 + 6). Let f(o) = o**3 + 3*o**2 + 2*o + 3. Let a be f(b). Suppose -a*j - 20 = -5*j. Solve -2*i + 0 + j = 0 for i.
5
Let d = -2 + 7. Solve -d*r = -19 - 6 for r.
5
Suppose -3*t = -5*i + 29, 3*t + 1 = -2*i - 0. Suppose -4*o = -20, -r - i*o + 13 = -9. Let x(m) = m**2 - 1. Let c be x(-2). Solve -r*a + c = -3*a for a.
-3
Let m be (5/(-2) + 2)*0. Solve -3*a = -m*a - 6 for a.
2
Let x = -6 - -21. Suppose x - 27 = -2*a. Solve 2*l - a*l = -20 for l.
5
Let v be (3 - -2) + (0 - 0). Let x = v - 5. Solve 2*j + x - 8 = 0 for j.
4
Let w = -34 + 43. Let r(d) = -d + 1. Let k be r(-2). Solve -4*f = -k - w for f.
3
Suppose 5*b + 24 = 3*t, -6*b - 4*t + 3 = -3*b. Let j be ((0/1)/b)/1. Suppose -6*u + 4*u - 8 = -3*z, 4*u + 4 = j. Solve h = z*h for h.
0
Let v(f) = 7*f + 35. Let n be v(-5). Solve n = 9*d - 4*d + 25 for d.
-5
Let m(t) = -9*t - 2. Let n be m(-1). Let j = -5 + n. Solve -2 + 6 = j*r for r.
2
Let b = 7 - 3. Suppose -8*o + 12 = b*f - 4*o, 3*f - 27 = 3*o. Solve 3*u - u + f = 0 for u.
-3
Suppose -19 + 7 = -2*y. Solve -2*l + 0 = y for l.
-3
Let w be 19/7 - (-22)/77. Solve 0*s = w*s - 15 for s.
5
Let x be ((-54)/(-24))/((-3)/(-4)). Solve -20 = -x*n - 5 for n.
5
Let i(j) = -j + 2. Let h be i(4). Let d be (-12)/30 - h/5. Solve 2*n + d + 2 = 0 for n.
-1
Suppose -2*a + 5 + 1 = 0. Solve 0 = a*p + 2*p - 5 for p.
1
Suppose -2*g = -6 - 2. Suppose -5*c = -5*y + 20, -y + 12 = -5*c - 0. Suppose 66 - 70 = -n. Solve y*w = n + g for w.
4
Suppose 0 = -2*d + 7 + 3. Solve 2 = -d*u + 7 for u.
1
Let i = -8 + 11. Suppose -16 = -i*t + 5. Solve t - 32 = -5*b for b.
5
Suppose -2*b - 41 = -53. Let z(d) = -d**3 + 5*d**2 - 5*d + 6. Let y be z(4). Solve -4 + b = y*w for w.
1
Let k = 38 - 38. Solve z + 0*z + 3 = k for z.
-3
Let y be 5 + -1 + (12 - 10). Solve -5*k + y*k = 0 for k.
0
Suppose 2*c + 0*c + 2*l = -2, -2*l = -5*c + 30. Solve -p = c*p + 5 for p.
-1
Let o = 6 - 5. Solve 2*y = y - o for y.
-1
Let k(a) = a**3 + 5*a**2 + 7*a + 2. Let h be k(-2). Solve -g - 1 = -h for g.
-1
Let i be 5*(-1)/(10/(-12)). Suppose -5*b - i = -26. Solve 2 = -b*y - 18 for y.
-5
Suppose 0 = 3*i + 4*n + 3 - 16, -i + 2*n + 1 = 0. Solve i = -3*b - 0 for b.
-1
Let h be (10/(-25))/(1/(-5)). Let m(t) = -h*t - 2 + t + 0*t. Let d be m(-5). Solve 0 = -d*j + j + 6 for j.
3
Suppose 0 = -4*p - 79 - 5. Let i = -21 - p. Let d(m) = 3*m - 7. Let u be d(5). Solve -4*k = -i*k - u for k.
2
Suppose 4 = 2*x - 4, -x = -5*z + 11. Suppose 7*f = z*f. Solve -5*c + 10*c - 25 = f for c.
5
Let d = 19 + -15. Solve -d*v = v + 5 for v.
-1
Suppose -2 = -4*o - 3*v + 17, 3*o - 3*v = 9. Solve -o*i = -1 + 9 for i.
-2
Let h be 32/4 + -8 + (4 - 0). Solve -6*j + 4*j - h = 0 for j.
-2
Suppose -3 = 2*a - 5*a. Let i be a*(5 - (-2)/(-1)). Solve 0 = t - i*t + 10 for t.
5
Suppose 0 = 2*l + 2*l. Suppose 4*h - 2*f + 50 = 0, l*h + h = -f - 17. Let r = h + 21. Solve -r = o - 2 for o.
-5
Let w = -6 + 6. Suppose w = -0*o - 5*o + 30. Solve -o = 2*s - 2 for s.
-2
Suppose 0 = 4*v + 8 + 8, -2*g - 8 = 3*v. Solve 0 = -g*q + 3 + 5 for q.
4
Let k(f) = -f**2 - 7*f - 3. Let u be k(-6). Solve -b + u*b - 4 = 0 for b.
2
Let z(o) be the second derivative of -o**4/12 - 2*o**3/3 + 5*o**2 - 9*o. Let y be z(-5). Solve 3*w + y - 2 = 0 for w.
-1
Suppose 0*i = 5*i. Let v be 3/9*i - -10. Solve 2*r = -v + 2 for r.
-4
Let v = -8 + 2. Let s = v - -6. Solve -w - 4*w - 15 = s for w.
-3
Let b be -2*(6/(-4) + 1)/1. Solve -2 = 3*p + b for p.
-1
Let z be 14/28 + 6/4. Solve -z - 6 = 4*r for r.
-2
Let t(m) = m**3 + 6*m**2 + 4*m + 4. Let s be t(-4). Solve -s = 3*q + 2*q for q.
-4
Let t be -1 - ((-1 - -1) + 2). Let j = 5 + t. Suppose -32 = -2*z + j*l, -l + 2 = 3. Solve -z = -s - 2*s for s.
5
Suppose 0 = 10*g - 15*g + 20. Solve -3 = g*k - 11 for k.
2
Let v be ((-2)/6)/(3/(-63)). Suppose v*y - 2*y = 15. Suppose -2*a - 3*a = -10. Solve -y*m = a*m - 25 for m.
5
Suppose 0 = -f - 2*f + 6. Let i be 0/3 - (-10)/f. Suppose 0 = y - 4*w, 1 = 2*y - i*w - 2. Solve 5 = -3*g + y*g for g.
5
Suppose 7 = -4*z + 19. Suppose -m = 2*f + z, m + 3 = -9*f + 4*f. Solve j = -f*j + 2 for j.
2
Let q(o) = o**2 + 3*o - 3. Let y be q(2). Let x = 28 - 10. Solve 5*s = y + x for s.
5
Let p = -70 - -73. Solve 2 = p*j + 5 for j.
-1
Suppose 1 + 7 = 2*q. Solve -c = -q*c for c.
0
Let k(i) = -i**2 - i - 12. Let t be k(0). Let x be 8/t - 4/(-6). Suppose x*s = -4*s. Solve 2*y + y + 15 = s for y.
-5
Let g be (-8 - 1) + 1*3. Let p(x) = -x - 6. Let b be p(g). Suppose -2*y + 2 + 4 = b. Solve -2*f = y*f + 25 for f.
-5
Suppose -3*n - 3*c = -0*c - 6, 2*n = 4*c + 22. Solve n*d + 20 = d for d.
-5
Let s(r) = r - 4. Let a be s(5). Let j be 0 + a - (7 - 9). Solve 0 - j = m for m.
-3
Let r be (-40)/(-32) - 6/(-8). Solve 0 = -w + r*w for w.
0
Suppose -11 + 17 = 2*k. Solve 10 = k*v + 1 for v.
3
Let f = -99 - -105. Solve -x + 3*x = -f for x.
-3
Suppose -4*l = -l + 12. Let u be (-9)/((15/l)/5). Solve 4*m - 8 - u = 0 for m.
5
Let d = 30 + -21. Suppose -2*k = k + d, -i - 5*k = 3. Let q be ((-3)/i)/(1/(-20)). Solve f = q*f for f.
0
Suppose 0*x + t - 17 = -3*x, -5*t + 10 = 0. Solve -2*h = -x*h + 6 for h.
2
Suppose 3*f = 3 + 9. Let h be (3/f)/(7/56). Let j be ((-4)/h)/((-2)/21). Solve -j + 2 = -g for g.
5
Let z be 2 + 0/((-1)/1). Suppose -4*o - 4*y = 0, -3*o - 2*o + 16 = y. Suppose z*v = 4*f + 5*v + 3, -o = -3*f + 4*v. Solve -3 = -x - f for x.
3
Suppose 0 = -5*f + 7*f - 10. Let c(p) = 5*p - 2. Let k be c(3). Solve -f*b + k = -12 for b.
5
Let o = 2 - 0. Suppose -3 = h - o*h. Let p be h*8*2/12. Solve n = -0*n + p for n.
4
Let p(q) = q**2 + 9*q - 26. Let t be p(-12). Solve 3*a + 2*a = -t for a.
-2
Let l = 13 - 9. Suppose l*p = -2*p. Solve -2*r + 5*r + 3 = p for r.
-1
Let m = -3 + 6. Suppose 4*b = -4*a + 8, 2*b = -0*b + 4. Solve a*y = y - m for y.
3
Suppose -2*j - j = 4*h - 29, -3*j - 3*h = -24. Solve 0 = -j*i - 2*i + 10 for i.
2
Suppose 3*n = -u - 10, 2*n - 16 = 6*n. Suppose -u*s - 5 = 4*v - 27, 4*v = -3*s + 25. Solve -k = -1 - s for k.
4
Let o = 2 + -2. Suppose 2*i + 2*u - 10 - 28 = o, i - 13 = -4*u. Let s = i - 13. Solve -2*q + s = -0 for q.
4
Let z = -73 + 4. Let k be 6/(-21) - z/21. Solve k*n + 12 = -0*n for n.
-4
Let g(k) = -k**3 + 8*k**2 - 9*k + 15. Let y be g(7). Solve -3*s + 2*s = y for s.
-1
Let w = 30 + -43. Let p = -13 - w. Let s be (-2 + 4)*1 + -2. Solve p = q + 3 - s for q.
-3
Suppose 0 = -5*x + 15. Suppose 21 = d - 3*g, -2 = d - x*d - 4*g. Solve -m + d = 2*m for m.
3
Suppose 19*k - 8 = 17*k. Suppose 9*v - k*v = 30. Solve 4*p = -v + 26 for p.
5
Let r(q) = -q + 10. Suppose 5*h = -4*n - 1, 3*n - 28 = -0*n + 2*h. Let g be r(n). Suppose 16 = -2*t + 4*c, 0 = -5*t - 0*t + g*c - 10. Solve 0*m = -m - t for m.
-2
Let l(g) = g. Let o be l(4). Suppose -4*b + 24 = o*p, p + 6 = 2*b + 3*b. Suppose 38 = 3*a + 4*u, -4*a = -3*a + u - 11. Solve -b*n - n = -a for n.
2
Let o = -20 + 22. Solve 3*z = -o*z for z.
0
Let z(y) = y**3 - 7*y**2 + 7*y - 5. Let q be z(6). Solve -q = 2*o - 11 for o.
5
Suppose 4*r + 4*v - v - 56 = 0, 0 = -5*v + 20. Let l = r - 8. Suppose 4*b = 4*p + 12, -4*p + l*p + 5*b = 15. Solve 4*x + 1 + 11 = p for x.
-3
Let g = 7 - 5. Suppose 0 = 2*t + g*t - 12. Solve 4*p + t = -17 for p.
-5
Let f(c) = c**3 - 4*c**2 + 4*c - 1. Let k be f(3). Solve 1 = -3*v - k for v.
-1
Let y(o) be the second derivative of -1/20*o**5 - 1/2*o**2 + 1/2*o**4 - 2/3*o**3 - 4*o + 0. 