 - 24 for f.
-1
Let s(l) = -l**2 - 20*l + 29. Let r be s(-21). Solve r*o + 13 = 13 for o.
0
Suppose -10*l - 2*l + 96 = 0. Let b(k) = 3*k - 22. Let j be b(l). Solve j*f = f + 3 for f.
3
Let k = 190 - 136. Suppose -2*w + k = -8*w. Let y(p) = -p**3 - 10*p**2 - 9*p + 4. Let x be y(w). Solve 0 = x*h - 6 - 2 for h.
2
Suppose 6*b = 10*b + 8. Let c(n) = n**2 - n - 2. Let w be c(b). Solve 1 = -5*h - w for h.
-1
Suppose -141 = -2*g - 21. Let b = g + -57. Solve -b*l = l + 4 for l.
-1
Let o = -2 + 4. Suppose -3*q = o*q. Suppose -2*c + 30 = -2*n, 2*c - 3*c + 2*n + 17 = q. Solve 5*g - c + 38 = 0 for g.
-5
Let x be -1 + 1 - (-3)/((-18)/(-12)). Solve -3*i - 5 = -x for i.
-1
Let z(l) be the first derivative of -l**2 + 19*l + 16. Let j be z(8). Solve 4*y = j + 1 for y.
1
Let s(a) = -a**3 + 5*a**2 - 2*a - 3. Let f be s(3). Solve -3*o = -f*o - 24 for o.
-4
Let w be 12/9*3/(-2). Let m be 3 + (-1 + -4 - w). Let i(u) = 2*u**3 - 3*u**2 + 2*u - 3. Let t be i(2). Solve m = -t*d + 10 for d.
2
Let c(o) = o**2 - 2*o. Let g be c(4). Solve -4*k + g = -6*k for k.
-4
Let p = 14 - -7. Let f be (-46)/(-7) + 9/p. Solve f*m = 4*m for m.
0
Let b = 107 - 101. Let h(d) = d**3 - 8*d**2 + 12*d + 2. Let v be h(b). Solve -4 + v = y for y.
-2
Let k(a) = -3*a. Let p be k(-4). Suppose 2*t = -t - 27. Let f = t + p. Solve -f*u = -u + 10 for u.
-5
Suppose 5*i = -6*i - 7*i. Solve i = 4*v + v for v.
0
Let l be (-6)/(-22) + 53508/429. Solve l*n = 120*n - 5 for n.
-1
Let t(p) = -p**3 - 2*p**2 - 59*p - 220. Let u be t(-4). Solve -54*a + u*a = 0 for a.
0
Let v(r) = r**2 - 4*r - 18. Let d be v(7). Solve -d*j + 1 = 13 for j.
-4
Let q = 26 + -16. Suppose 0 = -2*i - q + 14. Let a be (-18)/(-3)*i/6. Solve a*o - o = 0 for o.
0
Let m(y) = -3*y**3 - 4*y**2 - y + 2. Let a be m(-2). Let g(l) = l**2 - 13*l + 14. Let w be g(a). Solve t = -w*t for t.
0
Let f(v) = -v + 9. Let k be f(4). Suppose 4 = k*u - t - 3, 0 = -3*u - 5*t + 21. Solve 0 = 2*j + 8 - u for j.
-3
Let i = -11 + 17. Solve 39*m = 36*m - i for m.
-2
Let x(m) = m**2 + 14*m - 622. Let g be x(-33). Solve -49 = g*v - 54 for v.
1
Suppose -7*n = 7*n - 224. Solve 0 = 4*j - n for j.
4
Suppose -5*u - 5*r + 49 - 39 = 0, 3*r + 10 = 5*u. Solve 3*m = -5 + u for m.
-1
Let r be (-8)/10*((-12)/(-8) - 4). Solve -9 = r*q + 1 for q.
-5
Let y(v) = -v + 5. Let j be y(4). Let d be j/2*0/4. Let i be 5/(80/(-12))*-12. Solve 3*g = -d*g - i for g.
-3
Let t be ((-1)/11)/((-42)/924). Solve 0 = -t*s + 2 for s.
1
Suppose -7*f = -12*f + 15. Let g be 24/(-9)*9/(-4). Solve -f = -3*r + g for r.
3
Let r(h) = -h**3 - 4*h**2 - h - 2. Let t be r(-4). Suppose 0 = 9*s - 7*s + 298. Let z = s + 149. Solve z = 2*d - t for d.
1
Let o(v) = v**2 - 5*v - 2. Let h be o(6). Suppose -h*s + 68 = -4*c, 0 = 3*s - 0*c + c - 31. Suppose 6*q = 2 + 16. Solve w = -q*w - s for w.
-3
Let v be (-4)/(-10) - (0 + (-63)/5). Solve v*h = -19 + 6 for h.
-1
Suppose 4 = -1295*z + 1293*z + 2*o, 34 = 4*z + 2*o. Let c(s) = -2*s - 4. Let u be c(-5). Let h = u - 2. Solve -h*r - 1 = -z for r.
1
Let x = -153 + 155. Solve -x*t - 2 = -6 for t.
2
Suppose 0 = 2*k + k. Let b(x) = -x**3 - x**2 - x - 1. Let s be b(-1). Let n = k + s. Solve -j - 5 = -n for j.
-5
Let o be ((-57)/(-21) + -1)*(-1260)/(-40). Solve 0*j = 27*j - o for j.
2
Let w(x) be the third derivative of -x**6/120 + x**5/10 + x**4/12 - 3*x**3/2 + 25*x**2. Suppose 18 = -2*k + 5*k. Let i be w(k). Solve 6*u - i*u = 0 for u.
0
Suppose 3*x = -2*q - x + 18, -6 = q + 5*x. Suppose -2*u = -3*g + 3*u + 8, -5*g + 40 = 5*u. Solve -q = 5*d + g for d.
-5
Let l be (((-6)/3)/(-2))/((-2)/(-10)). Suppose l*x + 20 = 45. Solve 2*h + x = -1 for h.
-3
Let r(i) = 2*i**2 - 22*i - 40. Let j be r(13). Solve -j*p = -7*p + 20 for p.
-4
Let n = 478 + -474. Solve -n*i + 2*i - 2 = 0 for i.
-1
Suppose 11*n + 240 = 41*n. Solve -n = 7*u + u for u.
-1
Let c be 4*(2 - 10)/(-4). Solve 0 = -348*p + 352*p - c for p.
2
Let k be 12/21*(-7)/(-2). Suppose 0 = -k*a - 5*r + 2, a + r - 4 = -0*a. Let b be (4/a)/((-14)/(-21)). Solve -t - 2 = -b for t.
-1
Let a be 6/(-4)*(124/(-12) - 3). Suppose a*v - 22*v + 10 = 0. Solve v = -5*q - 10 for q.
-3
Let n = 2125 - 1975. Solve -4*p + 170 = n for p.
5
Let u be -1*(0/(2 - 0))/(-1). Solve -4*q + 19 - 7 = u for q.
3
Let g(k) = -k**2 - 66*k - 558. Let a be g(-56). Solve 0*b + a = -2*b for b.
-1
Let w(s) = s**3 + 6*s**2 - 16. Let z be w(-4). Solve -32*n + 36*n + z = 0 for n.
-4
Let j(x) = -x**3 + 18*x**2 + 24*x - 75. Let v be j(19). Solve -17*n + v = -21*n for n.
-5
Let g(a) = -a**3 - 3*a**2 + 2*a - 3. Let j be g(-4). Suppose j = -3*n + 14. Suppose 6*d - 18 = n*d. Solve -2*s + d = 2 for s.
2
Let q = -4 + -61. Let h = q + 43. Let z = h + 24. Solve z + 1 = -a for a.
-3
Suppose t - 2*t = -6. Let u = 224 + -224. Solve t*k - 3*k - 15 = u for k.
5
Let c(h) = 2*h - 12. Let l be c(7). Suppose -l*r = 3*p + 2*p, -4*r = -5*p. Solve -15 = -r*i + 5*i for i.
-3
Let u be (-22)/22*(0 + 0). Suppose -3*y + 3 = 2*x - 0*x, -2*x = -2*y - 8. Solve -2*d - x + 7 = u for d.
2
Let q(h) = 45*h - 5 - 42*h - 8. Let y be q(6). Solve -3 + 28 = y*x for x.
5
Suppose -f + 10 = 3*w, -5*f + 11 + 11 = w. Solve 0 = f*j - 2*j - 6 for j.
3
Suppose 190 + 6 = 28*i. Solve -5*v - 3 = i for v.
-2
Let f = -13 + 18. Suppose -3*t = -5*n - 5, 0 = 5*t - 7*n + 2*n - 5. Suppose -f*w + w = t. Solve -2 = -w*c + 2*c for c.
-1
Let q(l) = -l**2 + 21*l. Let c(m) = 3*m**2 + 2*m. Let v be c(-3). Let r be q(v). Let b = 5 + -5. Solve -y + r*y - 3 = b for y.
-3
Let a be 23 + 8/(-4 + 0). Let f = a + -30. Let h = f - -12. Solve 0*i = h*i for i.
0
Suppose 369 + 771 = 57*p. Solve -8*h + p = -3*h for h.
4
Let u(j) = -j**2 + 19*j - 55. Let o be u(15). Solve o*q = -13 + 8 for q.
-1
Let j be 16/6 - 2/(-6). Let x(u) = u**2 - 4*u + 5. Let q be x(1). Solve -j = r + q*r for r.
-1
Let k = 4 + -10. Let t be (k - -5) + (1 - -1). Let b be 33*t/3 + -4. Solve 4 = d + b for d.
-3
Let c be (((-483)/(-14))/23)/(3/4). Solve -4*t = -c*t for t.
0
Let i = -10 - -12. Suppose i*x = 4*h - 0*h - 16, -h - x - 2 = 0. Solve -6 = -n - h for n.
4
Suppose -l - 190 = -4*a, 3 + 139 = 3*a - l. Solve -a = r + 11*r for r.
-4
Let m be (6/4)/(5/200). Suppose -3*i = 2*i - m. Suppose 5*s = r + i, -2*r - 2 - 4 = -4*s. Solve 3*d = -s - 0 for d.
-1
Let f(m) = m + 16. Let k(i) = i + 16. Let c(l) = -3*f(l) + 4*k(l). Let n be c(-10). Solve 4*y + n = -6 for y.
-3
Let s = -16 - -17. Suppose -s - 2 = -y. Suppose y*v - 9 = 0, 9 = 5*t + 3*v - 0. Solve t = -5*n + 8 + 2 for n.
2
Let t be (-14)/(-14)*44*1. Suppose -5*q + 3*k + t = -3, 4*q = 5*k + 48. Let w(m) = m**3 - 6*m**2 - 7*m + 3. Let y be w(q). Solve 12 = y*h - 0*h for h.
4
Let s(n) = n**2 + 9*n + 15. Let r be s(-8). Suppose d + 5*l = -8, -r*d - l = -2*d - 80. Let o = d - 14. Solve 0*p + 9 = o*p for p.
3
Let o(l) = -l**2 - 13*l - 11. Let x be o(-12). Solve -3*m - x = -13 for m.
4
Let x(n) = -21*n + 3. Let b be x(0). Solve -8*d - 5 = -b*d for d.
-1
Let w = 6 + -2. Let c = 35 - 15. Solve c = w*d + d for d.
4
Let s(g) = -4 + 4*g**2 - 6*g - g**2 - 8*g**2 - g**3. Let x be s(-4). Solve -5*n + 6 + x = 0 for n.
2
Let r(w) = 53*w + 433. Let s be r(-8). Solve 5 + s = -14*i for i.
-1
Let y(m) = -m**2 - 26*m - 68. Let g be y(-23). Solve q = -g - 0 for q.
-1
Let a be (-6)/39 + (2 - 37/13). Let s = a + 4. Solve 0 = -3*m - 3 - s for m.
-2
Suppose -2*x - 2*l = -0*l + 2, 2*x - 28 = 4*l. Solve 2*v + x*v = -2*v for v.
0
Let m(g) = -2*g - 10. Let q = 59 + -64. Let y be m(q). Solve 3*a - 2 + 11 = y for a.
-3
Let r(o) = o**2 + 5*o + 5. Let f(x) = -x**2 - 2*x + 3. Let p be f(2). Let y be r(p). Solve 0 = -3*b + 2*b + y for b.
5
Let q = -18 - -21. Let n be q*(1/(-1))/(-1). Solve d + 2*d + n = 0 for d.
-1
Let r(u) = -u**3 + 18*u**2 - 73*u + 17. Let p be r(12). Suppose -2*g + 4*o + 6 - 4 = 0, 5*g - 2*o - 21 = 0. Solve g*w + p = 25 for w.
4
Suppose 0*j + j - 23 = 4*u, 0 = -4*u + 5*j - 19. Let n(c) = c + 4 + 0 + 3. Let o be n(u). Solve d - o - 2 = 0 for d.
3
Let v = 7 - 4. Let u(q) = -q**2 + 9*q - 10. Let p be u(7). Suppose 3*c = 4*n - 18, -p*c = -n - 0*n - 2. Solve -v*j + 12 = -n*j for j.
-4
Suppose -5*u - 72 = -4*o, 5*o - 16*u = -13*u + 77. Solve -2 = -5*n + o for n.
3
Let h(t) = 5*t + 20. Let r be h(-4). Suppose -f - 3*f + 8 = r. Solve 0 = -2*q - f*q for q.
0
Suppose 0 = -2*k + 5*g + 67, 3*k = -g - 2*g + 90. Solve 0 = -27*a + k*a - 20 for a.
5
Suppose 54*j = 