 p(-1). Let h = f + 3. Solve -3*l + l - 2 = h for l.
-1
Let g be (3/(-4))/((-1)/4). Solve -g*h + 6*h = 3 for h.
1
Suppose 0 = -2*j + 8. Suppose -5*q - 2*t = -37, 0*q + j*t + 7 = -q. Solve -4*v + 7*v = q for v.
3
Suppose -3*f + 0 = 6. Let i be 238/63 - f/9. Solve 2*s + i = 2 for s.
-1
Let a(o) = 3*o - 11. Let w be a(5). Suppose -w*c = -14 - 2. Let p be ((-21)/(-2))/(3/4). Solve -p + 2 = c*u for u.
-3
Let m = -13 - -18. Let w = -50 - -51. Solve -w = -m*q + 4 for q.
1
Suppose 0 = -4*a + k + 3, -2*a - a + 1 = -k. Solve -a*r + 15 = r for r.
5
Let b(i) = 4*i - 7. Let u be b(9). Suppose 7*k + 5*h = 3*k + 56, 0 = -5*k + 4*h + u. Solve -3*q + k = -0*q for q.
3
Let k be 1*(1 - 10/2). Let f be -4 - -1*(0 + 0). Let l be (-2)/f*k/(-2). Solve 0 = 5*d + 4 + l for d.
-1
Suppose 24 = 2*r - 528. Suppose 4*a - 2 + 22 = -4*h, 4*h + 27 = -5*a. Let d be r/14 - 2/a. Solve w = -4*w - d for w.
-4
Let t(n) = n**2 + n. Let s be t(3). Suppose -m - m - s = 0. Let v be (-8)/m*(-27)/(-6). Solve -j = -v*j + 10 for j.
2
Let x(j) = -j**3 - 7*j**2 + 8*j + 5. Let r be x(-8). Solve 10 + 10 = -r*p for p.
-4
Let j(x) = -x**2 + 13*x + 15. Let p be j(13). Solve -p = -5*g + 2*g for g.
5
Let y be ((-24)/(-21))/(-4) - 531/(-21). Solve -3*v - y = 2*v for v.
-5
Let p(f) = f**3 - 2*f**2 + f + 2. Let s be p(2). Let a be s/((-36)/(-15))*15. Solve 2*y + 3*y = a for y.
5
Suppose -o + 4*f + 12 = 0, -10 - 8 = -2*o + 5*f. Solve 3 = -o*i + i for i.
-1
Let m = 2 - 2. Suppose -3*a + 4*a = m. Solve 2*c - 6 = -a*c for c.
3
Let l = 58 + -33. Suppose -8*s + 3*s = -l. Let q = 8 - s. Solve -q*d + 15 = 2*d for d.
3
Let k(h) = h**3 - 11*h**2 + 5*h - 8. Let r(s) = -s**3 + 12*s**2 - 6*s + 8. Let i(b) = 4*k(b) + 3*r(b). Let f be i(8). Solve -2*x + 6*x - f = 0 for x.
2
Suppose 4*z = -4*f + 56, -31 = -3*f + 3*z + 35. Suppose -d - 2*y + 8 = -0*d, 3*d + 4*y = f. Solve -9 = -m - d*m for m.
3
Let w(n) = n**3 + n**2 - n + 2. Let z be w(-2). Let j(s) = 2*s + 21. Let k be j(-9). Solve z*a = -k*a for a.
0
Let l(t) = -4*t - 27. Let y be l(-8). Solve y = -5*v - 5 for v.
-2
Let y(d) = -2 + 6 + d - 2*d. Let x be y(2). Suppose -2*h - 3*v + 11 = 0, 0 = -4*h + 3*v - 7*v + 24. Solve -h*z + x*z - 15 = 0 for z.
-3
Let a be (1/(-3))/(4/(-24)). Let g(p) = p**2 - 4*p - 1. Let f be g(5). Suppose f = -k, 2*k = -y - a + 9. Solve -y = -2*w - w for w.
5
Let q(k) = 4*k**2. Let c be q(-1). Let j(m) = -m**2 + 1. Let r be j(-1). Solve -p - c = -r for p.
-4
Let o be (-2)/(-5) + 8/5. Let a be o/8 - 18/8. Let g = a + 6. Solve 0 = -g*b + b + 9 for b.
3
Let l = -68 + 72. Suppose -3*p = -5*p - 6. Let h be (-7)/p + 2/(-6). Solve 2*k - l*k + h = 0 for k.
1
Suppose 23*q = 14*q + 13*q. Let o be (0/2 - -2)/1. Solve o*c + 0*c = q for c.
0
Suppose -5*v - 10 = -2*u, 0 = -u - v - 2. Solve u*n = 5*n + 25 for n.
-5
Let d(u) = 2*u - 23. Let t be d(13). Solve t*g + 0 = -3 for g.
-1
Suppose -3*d + 2*i + 23 = -2*i, 13 = d - 4*i. Solve 0 + d = -t for t.
-5
Let c = -3 + 9. Suppose -p + 4*p - 51 = 0. Let k be p/2 - 3/c. Solve -k*t = -3*t - 20 for t.
4
Let m be (-58)/(-18) + (-6)/27. Suppose 0 = -5*p - 4*v + m + 15, v = 2. Solve x = p*x - 5 for x.
5
Suppose -4*p + 4*d - 36 = 0, 4*p - 8*p - 4*d - 20 = 0. Let v = p + 10. Solve 0 = -v*s + 4*s + 5 for s.
-5
Suppose 224 = 5*m + 3*p, -3*m + 2*p + 49 = -93. Suppose -6*f + f + 4*k = -m, 0 = 5*f - 5*k - 50. Let j be ((-1 - 0) + 3)*2. Solve -2*z = -j*z + f for z.
3
Let h(o) be the second derivative of -o**5/20 + 5*o**4/6 - 5*o**3/3 + 9*o**2/2 + 3*o. Let v be h(9). Suppose v = -3*u + 6*u. Solve 4*a - a - 12 = u for a.
4
Suppose 5*z - 79 = 86. Let m(s) = s**3 + 12*s**2 - s - 10. Let p be m(-12). Suppose 3*x = -4*q + 45, -3*q - p*x = -0*x - z. Solve y + 4 = q for y.
5
Suppose 0*i = -2*i - 4, 3*i = 5*k - 16. Let t be 6/(-27) - (-56)/9. Solve -2 = k*g - t for g.
2
Let y = -4 + 5. Solve x - 3 = y for x.
4
Suppose 5*d + 2*k = -0*d + 25, -2*d - 5*k = -10. Let l(t) = 8*t**2 - 2*t - 1. Let j be l(-1). Let q be (-6)/j*(-9)/2. Solve q*z = d - 2 for z.
1
Let u(h) = -21*h**3 - 4*h - 5. Let b be u(-1). Solve 11*s = 15*s + b for s.
-5
Suppose -d - 7 = -4*z, 0 = 4*z + z - 20. Let o = d - 3. Suppose -3*t + 18 = -3*x, -t + 4*x - 10 = -25. Solve -o*g + 3*g = -t for g.
1
Suppose 24 = 2*c - 8. Let z = 16 - c. Solve -2 = -l - z*l for l.
2
Suppose -1 + 6 = o. Suppose -o*n + w = -123, -3*w + 2*w = 5*n - 127. Solve -5*c + 0 + n = 0 for c.
5
Let d = -6 + 8. Suppose d*p + 3 = 13. Suppose 3*y + 12 = 3*v, -2*v + 6*v + 20 = -5*y. Solve 0 = -v*r - p*r + 15 for r.
3
Suppose -3*u + 6 = 0, p = -3*u + 1 + 9. Suppose -4*g + 5*a + p = 21, 1 = 3*g - a. Solve -g = -v + 2 for v.
4
Let v(k) = k**2 + 9*k + 26. Let j be v(-6). Solve 0 + j = 4*s for s.
2
Suppose 0 = -f - 0*l - 5*l + 28, -10 = -2*l. Let m be f/12 - 11/(-4). Suppose 2*h = -2*d - m*d + 18, 0 = 4*d - 2*h. Solve -10 + 2 = d*b for b.
-4
Let y(b) = -b**2 - 7*b - 6. Let q be y(-4). Suppose -n = -3*n. Solve n*w - q = -2*w for w.
3
Let t be (-2)/(-5 - 9/(-3)). Let u = 2 + t. Solve -u*n = 2 + 13 for n.
-5
Suppose 5 - 15 = 5*f. Let m be 0 - f - (0 - 2). Solve -m*o - o + 25 = 0 for o.
5
Let c = 67 + -67. Solve c*d = -5*d + 15 for d.
3
Let k be (-8)/6*(-15)/(-10). Let a be 2 + (k - 1)*-1. Solve 2*c + 3 = -a for c.
-4
Let n(j) = -2*j + 24. Let i be n(11). Solve i - 3 = y for y.
-1
Suppose 4*p - 16 = 2*n, -2*p + 1 = -3*p - 2*n. Let r = p - 6. Let x = r - -5. Solve -s + x = -2 for s.
4
Suppose 4*h + 2 = p - 2, 1 = -h. Let d(v) = v**2 - v - 6. Let q be d(p). Let j = 10 + q. Solve j*b = -b for b.
0
Let j be (8/7)/((-20)/(-70)). Solve 0 = -j*l - 0 + 4 for l.
1
Suppose -2*n = 3*n + 4*v - 3, -4*n = -4*v - 24. Let s = 2 - 5. Let a be 3/n + (-9)/s. Solve 0 = a*r - r + 6 for r.
-2
Suppose 2*q = -c + 26, 0 = c + 4*q + 25 - 61. Suppose 2*o + w + c = 5*w, 3*o + 2*w = 8. Suppose o = d + 2*d - 9. Solve 15 = d*s - 8*s for s.
-3
Let f = -1 - -5. Let s be (-4)/(-6) - 5/(-15). Let p = f + s. Solve 0 = p*y - y + 8 for y.
-2
Let d = 88 - 86. Solve -5*x - 3 - d = 0 for x.
-1
Suppose -11*q + 200 = -q. Solve q - 5 = -3*d for d.
-5
Let k be -2 - 2/(1 - 3). Let h(d) = 2*d**2 - d - 1. Let l be h(k). Suppose 0*a = -2*a + 6. Solve a*g = l*g for g.
0
Suppose -2*p + 4*p - 4 = 0. Solve 6 = -4*a + p*a for a.
-3
Suppose 3*f - 11 = -2*g + 7, -35 = -5*g - 5*f. Solve 2*r = g*r + 3 for r.
-3
Let r(k) = -4*k - 8. Let x be r(-8). Suppose 5*c + 3*v + x = 9, -4*v - 20 = 0. Let w be (1 + c)/(4/12). Solve 6 = -3*z - w for z.
-3
Suppose s = 5 - 1. Let y be 19 + 1 - (1 + -1). Suppose s*m - 11 = -5*q - 6, 2*q - 2*m = y. Solve 3 = 4*j - q for j.
2
Let o(u) = 2*u - 12. Let b be o(5). Let y = 2 + b. Solve y = -3*w + w - 4 for w.
-2
Let k = -1 + 6. Let y(h) be the first derivative of -h**2/2 + 7*h + 1. Let z be y(k). Solve 2*g = g - z for g.
-2
Let f(k) = -k - 2*k**3 - 16 + k**3 + 13 + 2*k**3 - 2*k**2. Let m be 2 - (-4 + 2)/2. Let b be f(m). Solve g = -b*g + 12 for g.
3
Suppose 6*i = 51 - 27. Solve -5*j = -i*j - 4 for j.
4
Suppose q + 45 - 14 = 5*y, -y = 4*q - 23. Solve -4 = i - y for i.
3
Let b be (-40)/(-3) + 2/(-6). Let q be 5/((-3)/((-9)/3)). Let p = 7 - q. Solve p*c = 3 - b for c.
-5
Suppose -4*m = -v - 33, -4*m - 4*v = v - 27. Solve -2*y - 2 = m for y.
-5
Let q be 3/(2 + 0 + -1). Solve 2*s + 1 = -q for s.
-2
Let x(m) = -m**3 - 5*m**2 + 5*m - 6. Let f be x(-6). Let u(n) = n**3 + 7*n**2 + 5*n - 3. Let r be u(-6). Solve r = p - f for p.
3
Let l(d) = 4*d**2 - 3*d - 2. Let u be l(-2). Solve u = 2*q + 2*q for q.
5
Let a(l) = -l**3 - 4*l**2 + 4. Let g be a(-4). Solve -g*x + 15 = 3 for x.
3
Suppose -7*o + 7 + 0 = 0. Solve -o = 4*p - 17 for p.
4
Let c be (-3)/9 - 3/(27/(-30)). Solve 0 = -4*y - c - 13 for y.
-4
Suppose -4 - 4 = -4*w. Suppose -5*j + 2*j + o = -41, 5*o - 3 = -j. Suppose 4*c = 5*k - 42, 5*k - j = -c + 14. Solve f + w*f = k for f.
2
Suppose 2*b = b - 16. Let w = b + 16. Solve w*x - 2*x = -4 for x.
2
Let i = -36 + 38. Solve -1 - i = 3*v for v.
-1
Let c = 89 + -84. Solve -c*w - 44 = -19 for w.
-5
Let u be (8/24)/(2/12). Solve -q - 6 + u = 0 for q.
-4
Suppose 5*s + r - 17 = -0*s, 0 = -s + 5*r - 7. Solve s*t + 4 = -t for t.
-1
Let d = 24 + -22. Solve -d*j = j for j.
0
Let h(b) = -b**2 + 8*b + 3. Let s be h(8). Solve 0 = y - s - 0 for y.
3
Let n(w) = -w**3 - 3*w**2 + 3*w + 1. Let z be n(-4). Solve -a - z = -6*a for a.
1
Let n = 9 + -14. Let i = 0 + 5. Let m b