Let z(t) be the second derivative of -2*t + 0 + 1/2*t**3 + 1/12*t**4 - t**2. Let v be z(-4). Solve -3*y = -v*y for y.
0
Let m be ((-1)/1)/(1/1). Suppose -2*s = 3*q + 17, 4*s - 16 = 3*q - 5. Let b = m - s. Solve j - 3 - 2 = b for j.
5
Suppose -15 = -2*d - 5*r, -2*d = d - 4*r + 12. Let m = d + 4. Let j(i) = i + 2. Let p be j(m). Solve y = p*y + 5 for y.
-1
Let q(x) = 2*x**2 - 4*x - 3. Let s be q(-2). Let j = -13 + 26. Let v = -10 + j. Solve 2 = -v*o - s for o.
-5
Let n be 84/30 + 1/5. Solve -12 + n = 3*r for r.
-3
Let z = -20 - -38. Solve 5*p + z + 7 = 0 for p.
-5
Let s be (-3)/6 - (-116)/(-8). Let f = -15 - s. Solve -y - 4 + 5 = f for y.
1
Suppose 2*j = j + 20. Suppose 0 = 5*l + 4*y - 26, 8*y = 3*y + j. Solve l*t - 1 = -7 for t.
-3
Suppose -3*k = k. Let s be -7 + 6 + k + 7. Solve -6*r - s = -3*r for r.
-2
Suppose -5*k - 2*h = -30 - 28, 31 = 3*k + 5*h. Solve k = 6*l - 3*l for l.
4
Let w(a) = 2 + 3*a**3 + 0*a - 4*a**2 - 2*a - 4*a**3. Let j be w(-3). Let p be 3 + j + (-2)/1. Solve p = -3*h + h + 4 for h.
2
Let y be (-2)/(-6)*(3 - (-3 - 6)). Solve 2*g = -y - 0 for g.
-2
Let g = 4 - 10. Let l be (-4)/g*(-63)/(-14). Solve h - l = -8 for h.
-5
Let p(k) = -k + 3. Let h = -1 + -4. Let i be p(h). Suppose -4 = 5*v - 14. Solve -v = -3*z - i for z.
-2
Let k = 21 + -15. Suppose s - 5*g + 3 = 0, -4*g = -0*s - 5*s + k. Solve -4*f - s = -10 for f.
2
Let d = 209 + -124. Let h(i) = i**3 + 6*i**2 + 8*i + 8. Let o be h(-4). Suppose 0 = -3*r + o*r - d. Solve r - 5 = -3*l for l.
-4
Let i = -42 + 44. Solve 4 + i = -3*c for c.
-2
Suppose 15*a = 4*a - 7*a. Solve a = -0*n + 5*n - 25 for n.
5
Let s be (0*3/9)/(-1). Let d(p) = -p + 5. Let k be d(s). Suppose -6 = z - 2, -k*i + 20 = -5*z. Solve -3*y + i*y = -3 for y.
1
Let n be (-2)/(-6) - 2/(-3). Let k = n - -3. Solve -2*j - k = -j for j.
-4
Let n = 99 - 95. Solve n*p - 3*p - 4 = 0 for p.
4
Suppose 5*n - 2*t + 2 = 53, 2*n - 15 = -t. Solve -n = -4*f + f for f.
3
Suppose -2*t = -0*t. Let z be (t - (-1 - -1))/(-2). Suppose -5*l - 9 - 11 = -4*a, 3*l + 3*a - 15 = z. Solve l = -5*s - 0*s for s.
0
Suppose -4*d + 2*d + 37 = -5*k, d = -5*k - 19. Solve d = -3*z - 3 for z.
-3
Suppose 0*j - 19 = 5*v - j, 0 = 5*v + 3*j + 3. Let y = -4 - v. Let t = 4 + y. Solve 25 = t*p + 2*p for p.
5
Suppose 0 = 2*p + 2*o - 16, 0 = -2*p + 4*p - 4*o + 14. Suppose 0 = -p*w + 19 + 8. Solve -w = -2*h - 1 for h.
4
Let s = 3 + -1. Let k(h) = -1 + 1 + 2*h**s + 0*h**2 + h - h**3. Let m be k(2). Solve -j - m = -0*j for j.
-2
Let l = -11 + 14. Let w = -1 + l. Let x(c) = -3*c. Let p be x(-2). Solve -4*y + p + w = 0 for y.
2
Let z = -4 + 22. Suppose -5*h - 3*c = -17, z = 7*h - 3*h - 2*c. Let r be 19/h - 2/(-8). Solve 0 = r*t - 4 - 1 for t.
1
Let t = -86 + 89. Solve t*g + g + 8 = 0 for g.
-2
Let o = 16 + -12. Solve -o = 3*l + 2 for l.
-2
Suppose 7 = 5*w - 13. Solve w + 8 = -3*x for x.
-4
Let u = 8 + -20. Let s = 15 + u. Solve 2*n = n - s for n.
-3
Let r(l) = -4*l**3 - l**2 - 2*l - 2. Let q be r(-1). Let b(u) = -u + 10. Let x be b(6). Solve q + 9 = x*g for g.
3
Suppose -5*v - 15 = -2*v. Let m = v + 7. Suppose 0 = m*c + 4*h - 24, -3*c + 2*h - 5 + 1 = 0. Solve 3 = -o - c for o.
-5
Let l be (24/28)/(12/56). Let y = 3 - -3. Solve -l*x = -y - 10 for x.
4
Suppose -5*o + 55 - 40 = 0. Solve 3 = -0*r + o*r for r.
1
Let r = 12 + -20. Let a(t) = -t**2 - 10*t - 13. Let q be a(-6). Let p = q + r. Solve p = 5*n - 22 for n.
5
Let j = 0 + 7. Let l = j + -2. Let w be (7/28)/((-2)/(-24)). Solve l*h + w + 2 = 0 for h.
-1
Let i = 3 + 0. Let c(g) = -g**2 + 4*g + 4. Let k be c(i). Suppose 5 + k = 2*q. Solve 4*s - 2*s = q for s.
3
Let h(s) = -4*s. Let k be h(-1). Let z be -2 - (1 - 1) - -22. Suppose 4*x + 5*f = 0, -5*f = -3*x - 2*x. Solve x*y = -k*y - z for y.
-5
Let x be -4*(-2 - 1/2). Solve 5*b + 0*b + x = 0 for b.
-2
Let o = 22 + -16. Let y be -1 + -6*3/o. Let h(w) = w**3 + 5*w**2 + 3*w - 2. Let d be h(y). Solve -2 + 6 = -d*i for i.
-2
Suppose -4*z + 2*z + 4 = 0. Solve 4*s = z*s for s.
0
Let g(x) = -x. Let w(i) = -5*i + 6. Let q(y) = 6*g(y) - w(y). Let h be q(-8). Solve 2*o + h = -0*o for o.
-1
Let b be (-198)/(-42) - 4/(-14). Solve b*g - 12 - 8 = 0 for g.
4
Suppose 3 = z - 1. Suppose 5*g + 0 = 25. Suppose -g*l = 8 - 33. Solve y - l*y = z for y.
-1
Suppose 4*g + 2*i = -2, -4*i - 15 = i. Let s = g + -1. Solve -4*z - 19 - 1 = s for z.
-5
Let a be 7 + (-3)/3 + -1. Suppose q + 7 = 2*q - 3*o, a*o = -25. Let b(k) = -k - 2. Let l be b(q). Solve -2*h + 2 = -l for h.
4
Suppose 112 = 4*g + 92. Solve 3*m + g - 20 = 0 for m.
5
Suppose 0*a + 3*a - 12 = 0. Let g(h) = -3*h**2 + 1 - 3 - 4*h + 4 + h**3. Let o be g(a). Solve o*y = -2*y for y.
0
Suppose 5*t = -q - 2*q + 27, 3*q = -3*t + 21. Let u = -13 - -7. Let l be 2/6 + (-16)/u. Solve q*v - 9 = l for v.
3
Let l = 15 + -13. Solve -l*i + 5 = -5 for i.
5
Suppose 2 = -x - 3*z + 13, 2*x = 5*z. Solve -3 - x = -2*j for j.
4
Let w(i) = i**2 - 6*i**2 - 3*i + 0*i + i**2 - i**3. Let x be w(-3). Solve x = 2*y + y for y.
0
Let k(v) = -v**3. Let r be k(1). Let c be r - (-1)/((-2)/(-8)). Solve -2*n = c*n + 25 for n.
-5
Let y = 3 - 1. Let g = y - 1. Solve g = 4*o + 5 for o.
-1
Let a be 1*(5 + (-3)/1). Let i be 84/(-8)*a/(-3). Solve -3*m + i = 1 for m.
2
Let n(h) = h + 10. Let u be n(-6). Solve 17 - 5 = u*l for l.
3
Suppose 2*v - 9 = 5*x + 4, -3*v - 4*x = -8. Solve 0 = 3*z - 2 - v for z.
2
Suppose 3*n - 5 = g, 5*n - 9 = 4*g + 11. Suppose n = p + p. Let b be p/1 - 3*-1. Solve 0 = 4*u - b*u - 5 for u.
5
Suppose 6*g + 10 = g. Let v be 1*g*1 + 2. Solve -2*j + 13 - 3 = v for j.
5
Let d(y) = -y**2 + 20*y - 9. Let o be d(19). Let i = -8 + o. Solve 0 = i*t + 3*t - 15 for t.
3
Let z be (3/(-2))/((-6)/(-60)*-5). Solve 7 = -z*w + 1 for w.
-2
Let r be -4*(2/12 - 6/9). Solve -r*m + 0*m = 2 for m.
-1
Let d(j) = -2*j**2 - j + 2. Let i be d(2). Suppose -u - 13 = -2. Let o = i - u. Solve 2*l - o = l for l.
3
Let x be 2 - (-3 + 2 - 1). Suppose -i + 0*i = -x. Solve i*q - 2*q = 8 for q.
4
Let t = -153 + 157. Solve t*o = -0*o for o.
0
Let r be -3 + 2 + -2 + 6. Let t = 0 + r. Solve 5 = 2*l - t*l for l.
-5
Let l = 0 - 1. Let v be l - 3*(-48)/9. Solve 0 = 5*u + v + 5 for u.
-4
Suppose 2*p - 5 = 5. Solve -3*t - 10 = -p*t for t.
5
Let t(w) = w**2 - 7*w + 9. Let a be t(6). Solve 0 = 9*i - 10*i + a for i.
3
Suppose -5 = -2*o + 1. Suppose i + 4 = -4*r, -i - 4*r + r = 3. Let f = i + 0. Solve f = -0*w + o*w for w.
0
Suppose -z + 5*z - 8 = 0. Suppose 6*k + 5 = k. Let t = 1 + k. Solve t = -0*d - z*d for d.
0
Let y be 9/36 - (-54)/8. Solve -2*r + 5 = -y*r for r.
-1
Let v be (0 - -6) + 1 + -3. Solve 3*h = 2*h - v for h.
-4
Let k(q) = q**3 - 19*q**2 + 16*q + 37. Let z be k(18). Solve 0 = d + z for d.
-1
Suppose 5*v - 18 = 2. Suppose -z + 5 = i + v*i, -i = -4*z + 41. Solve -k = 4*k - z for k.
2
Suppose -l + 15 = 4*b, -4*l - 44 = -4*b - 4. Suppose b*d - k - 19 = 0, k + 7 = 3*d - d. Solve d*f = f for f.
0
Suppose 0 = -4*j + 2*b + 4, 2*j - j + b = 1. Suppose -m - 3 = j. Let p = 3 - m. Solve s - p = -2 for s.
5
Let d be (4/5)/((-8)/20). Let m be (0/d)/((-16)/(-4)). Solve m*a = 2*a - 6 for a.
3
Let d be 20*(-1)/(-12)*9. Solve 0 = 5*t + 5 - d for t.
2
Let b = 16 - 28. Let n = -7 - b. Suppose -t + n*h - 10 = 0, 0*t + 4*t + 2*h - 48 = 0. Solve -2*g + t = -0 for g.
5
Let b(j) = j + 4. Suppose -3*w = 5*l + 27, 2*w + 6*l - 3*l = -17. Let y be b(w). Let c = y - -1. Solve 2*v - v = c for v.
1
Suppose 0 = -4*k + a + 2 + 6, -a = 4. Let i be 2/(-9) + 32/144. Solve i = d + k - 2 for d.
1
Let a(j) = -j + 2. Let l be a(-1). Solve -3 = 2*y + l for y.
-3
Let c(l) = 2*l + 6. Let o be c(-7). Let s = o - -11. Suppose -s*t + 34 = 4*v - t, -2*v + t = -7. Solve -3*b = -6*b + v for b.
2
Let x(c) = c**3 + 4*c**2 - 5*c - 1. Let d be x(-4). Suppose -3*h = 4 - d. Suppose 9 = -u + 25. Solve a - u = h*a for a.
-4
Suppose 16 = -3*b + 511. Let p = b - 71. Suppose -5*w + p = -46. Solve -4*f = -w + 12 for f.
4
Let n(d) = -d**2 - 10*d + 7. Let i be n(-9). Solve -3*g - g = -i for g.
4
Let h be 1/(-4) - (-17)/4. Let t be 1 - ((-16)/(-24) - 5/3). Let c be h/(-16) - t/(-8). Solve -3*q = -c*q for q.
0
Let m(y) = -y**2 + 12*y. Let z be 14 - 4 - 4/(-2). Let n be m(z). Solve -2*g - g + 9 = n for g.
3
Let r(d) = 2*d - 4. Let g be r(-3). Let j = -8 - g. Solve -j = 3*u - 5 for u.
1
Suppose 2*j = -j + 105. Let l be (j/15)/(2/6). Solve l = 3*d + 4 for