t l be t/((2 + -1)*j). Solve 2*x + l = -8 for x.
-4
Let q(w) = -w**2 + 6*w + 5. Let v be q(6). Suppose v + 15 = 5*f. Solve 5*n = f*n for n.
0
Suppose k - 16 = -6*x + 2*x, -k + 5*x - 2 = 0. Solve -3*z + z = k for z.
-4
Suppose 5*n - 7 = 18. Let o = -1 + n. Solve -f = -0*f + o for f.
-4
Let a(g) = g**2 + 2*g - 22. Let h be a(-6). Solve -h*v + 3*v = 0 for v.
0
Let v be 3/(1/(-50)*-6). Solve -2*b = 3*b + v for b.
-5
Suppose -2 = -76*w + 75*w. Solve -2*t - w*t = 0 for t.
0
Suppose 3*t = -0*t + 3*u - 9, -3*u = 2*t - 9. Suppose -5*x - r = -10, 3*x = 3*r - 0*r + 6. Solve x*s - 6 = -t*s for s.
3
Let j = 0 - -13. Suppose -3*y + j = -g, -3*y + g = -2*y - 7. Solve 5*r - y*r = -6 for r.
-3
Let f be 4 + -2 + 4 + -6. Let x(d) be the first derivative of -d**2/2 + 7*d + 1. Let k be x(5). Solve f = j + j - k for j.
1
Suppose 4 + 14 = 5*x + 4*l, -3*x + 10 = 2*l. Solve -3*g - x - 4 = 0 for g.
-2
Suppose -u = -0*u + 4*u. Solve u*t - t - 1 = 0 for t.
-1
Let x be (-2)/3 + (-21)/9. Let z = -8 - -5. Let j = x - z. Solve 3*r + r - 8 = j for r.
2
Suppose -f = -2*j + f + 14, -j + 5*f + 15 = 0. Let r = 10 - j. Suppose -40 = -3*a + a. Solve 0*p + r*p = -a for p.
-4
Suppose 13 - 3 = -s. Let a be 0 - 1 - s/5. Solve -2*t = -a + 3 for t.
-1
Let h(m) = 4*m**2 - 3*m - 3. Let b = -1 - -4. Suppose -4*i = -y + 5, -b*i = -0*i - 2*y. Let x be h(i). Solve 4*o = -x + 7 for o.
-3
Let s = 4 + 2. Solve j - s*j - 20 = 0 for j.
-4
Let t(v) = v**3 - v**2 - 3*v - 4. Let q be t(3). Suppose -q*r = 5*k - 15, -3*r - k + 7 = 4*k. Let x be (-2)/(-8) - (-60)/16. Solve -x*c + r - 16 = 0 for c.
-3
Let p(i) be the second derivative of 4*i + 1/10*i**5 + 1/12*i**4 + 0 + 0*i**2 - 1/6*i**3. Let a be p(1). Solve -2 = -a*z - 0 for z.
1
Let u be 8/3 - 42/63. Suppose -15 = -5*b + u*b. Solve -4*o - b + 25 = 0 for o.
5
Let j(r) = -r**3 - 6*r**2 - 2*r - 4. Suppose 3*x = -3*q - 15, -3*x - 2*x = -q + 31. Let p be j(x). Suppose 3*m - p*m = -10. Solve v + m = 4 for v.
2
Suppose -t - 10 = -2*x, -3*x + 5*x - 10 = -2*t. Let g(o) = o - 5. Let a be g(7). Let k = a + t. Solve k*h = 4*h for h.
0
Let g(q) = q - 9. Let k be g(9). Suppose -o + k = -7. Solve 1 = 3*n + o for n.
-2
Let x(l) = l**3 - 3*l**2 + l - 15. Let j be x(4). Solve -3*p = j + 4 for p.
-3
Let v(p) = -2*p - 1. Let s be v(-2). Suppose 0*k - 4*b = s*k + 16, 5*k + 2*b + 8 = 0. Let u = 1 - -3. Solve -u*m - 16 = -k*m for m.
-4
Suppose 0 = -5*k + 2*l + 2, -5*l + 12 = -2*l. Suppose 2*c - 4*h = -9*h, -4*c - 5*h = 0. Solve j = -c*j - k for j.
-2
Let b = 12 + -10. Suppose 2*r = 4*n + 26, 0*n = -4*r + 4*n + 32. Solve r*x - b = -8 for x.
-2
Let p(h) = h**2 - 9*h + 3. Let n be 21/(-28) - 78/(-8). Let z be p(n). Solve -1 = -z*t - 4 for t.
-1
Suppose -3*o - 54 = -0*o. Let d be 4*3/o*-3. Suppose 2 + d = m. Solve m*f - 18 = -6 for f.
3
Suppose 5*v = 2*c, 0 = -2*v + 2*c - 2 - 4. Solve v*m - 2 = -0*m for m.
1
Let u(s) be the first derivative of -s**3/3 - 3*s**2/2 + 2*s + 3. Let z be u(-3). Suppose -3 + 0 = -k. Solve -a - z = -k for a.
1
Let z be 3/(-9)*(4 - 7). Solve 3*g = 13 - z for g.
4
Let l(q) = q**3 - 17*q**2 - 19*q + 23. Let a be l(18). Let n(h) = -h - 3. Let r be n(-6). Solve a*y = 2*y - r for y.
-1
Let x be (-8)/20 - (-4)/10. Let j = -8 + 5. Let s be x + 27 + (j - -1). Solve 4*y = -y + s for y.
5
Let l(y) = -2*y - 1. Let r be l(-2). Let x = 0 + 1. Suppose -5*p = 3*w - 10, -5*p - 1 = 4*w - 11. Solve -p*f - x + r = 0 for f.
1
Let q be (20/(-3) + (-6)/(-9))/(-2). Solve 3*c - 6 = -q for c.
1
Suppose 3*g = -g. Solve 4*r + g*r = 0 for r.
0
Let j be 0*(1 + 1/(-2)). Let n be j - (-3 + (-4)/(-2)). Let y be 18/3 - (n - 1). Solve a = y*a - 5 for a.
1
Let m be 2/10 - 76/(-20). Let t = m + -2. Solve t*o - 25 = -3*o for o.
5
Suppose g - 25 = -4*g. Let d = 12 - g. Solve -5 = 4*u + d for u.
-3
Suppose 5*n = 5, 5*n - 3*n + 126 = -4*t. Let r = -30 - t. Solve -r*p = p - 12 for p.
4
Let p(b) = -b**3 + 7*b**2 + 7*b + 8. Let z be p(8). Suppose 5*w - 3*w = z. Let f = -2 - -3. Solve f = a - w for a.
1
Suppose 30*o = 27*o. Solve 3*l = -o*l - 3 for l.
-1
Let o be (9/(-2))/3*2. Let h = o - -6. Suppose x = -2*c - 2, h*x + 6 = c - 4*c. Solve -5*f + 0 + 15 = c for f.
3
Suppose 5*b = 4*z + 100, 5*b - 3*z + 5*z - 70 = 0. Suppose 5*l - b = 19. Solve -4*g - 1 = l for g.
-2
Let d(m) = 2*m - 3. Let q be d(3). Let r(x) = -x + 2. Let k be r(-3). Suppose -4*b - 2 = -k*b. Solve q*p - b*p = 0 for p.
0
Suppose 0 = 2*k - 2. Let f = k + 3. Solve 6 = -f*l - 6 for l.
-3
Suppose u - 48 = -5*g + 8, 2*g - 2*u - 32 = 0. Let q = g - 10. Solve 0 + 2 = -q*k for k.
-1
Suppose 9*b + 20 = 14*b. Solve -b*r + 4 = -8 for r.
3
Let v = -56 + 64. Solve y = -y - v for y.
-4
Suppose 1 - 6 = -d. Solve -11 = d*g + 4 for g.
-3
Suppose 5*x - 2*x = -15. Let q(t) = -2*t - 6. Let c be q(x). Suppose -c*l = -9*l + 10. Solve -2 = -l*i + 4*i for i.
-1
Let p be 3 + -6*24/9. Let f = 15 + p. Solve -2*r - f*r - 20 = 0 for r.
-5
Let m(r) = r**3 - 9*r**2 + 9*r - 6. Let v be m(8). Solve -v*c + c + 4 = 0 for c.
4
Suppose 5*y - r - 19 = 0, 18 + 4 = 5*y + 2*r. Solve -13 - 3 = -y*s for s.
4
Suppose 4*h - 13 - 23 = 0. Let l be (-2 - -1)*-19*1. Let a be (-3)/(-15) + l/5. Solve -a*d = -d - h for d.
3
Suppose 5*w = 35 - 0. Suppose -7 = -5*j + 4*h, -5*j - 2*h + 11 + 8 = 0. Solve j*v - w*v = 0 for v.
0
Let d = -24 - -46. Solve 4*w - d + 6 = 0 for w.
4
Let x = -15 + 26. Suppose 5*q + 2*g - x - 10 = 0, -2*q + 5*g + 20 = 0. Solve q*b - b = -12 for b.
-3
Suppose 5*u + 3*j = -11, -u + 3*u = j. Let l = u - -12. Let i = l - 8. Solve -4*v - i = -5*v for v.
3
Let y be 2/(-7)*(-4 + -3). Suppose y*b = -0*b + 12. Solve -a - b = -1 for a.
-5
Let i(u) = -u**3 + 6*u**2 + 4*u + 8. Let m be i(7). Let k = 19 + m. Solve k = -0*g - 3*g for g.
-2
Let i be (-2)/(-8) - 25/4. Let v be 30/4*(-4)/i. Let k = v - 3. Solve 3 - k = -s for s.
-1
Let t be (-18)/12*-4 - -2. Solve -4*y + 28 - t = 0 for y.
5
Suppose -f + 4 + 4 = 0. Let w = -96 - -101. Solve f*v - 3*v = -w for v.
-1
Let b(u) be the first derivative of 11*u**2 - 2*u + 6. Let s be b(1). Solve n + s = -4*n for n.
-4
Let a be 6/4*(-30)/(-9). Suppose -3*s + a = -19. Solve 2*v = -s - 2 for v.
-5
Let x = 5 + -1. Suppose -u = -x*a + 2*u + 21, a - 8 = -2*u. Solve 0 = o - 2 + a for o.
-4
Suppose 0*z + z = p - 12, 5*z - 4*p + 60 = 0. Let o be (-27)/z*8/3. Let d be 5 + (-2 - (0 - 2)). Solve -d*h - 4 = o for h.
-2
Let j(o) = -2*o + 16. Let f be j(0). Suppose -h + f = h. Solve h*y + 9 = 5*y for y.
-3
Let a(h) = -4 + 3*h**2 - h**2 - 3*h**2 - 2*h. Let i be a(-3). Let t = 10 + i. Solve 2*m + 5 = -t for m.
-4
Let c = 5 + -8. Let g be (8/(-6))/(1/c). Suppose -g*r = r. Solve -5*y + r*y = -20 for y.
4
Let r(z) = z - 1. Let s be r(1). Suppose u = -s*u + 3. Let k be 16/u - (-2)/3. Solve -4*f + 22 = k for f.
4
Suppose 0 = 2*x - 6*z + 2*z - 16, 3*z = -12. Let b = 10 - 8. Let c be (4 - b) + 0 + x. Solve -4*h = -c*h + 8 for h.
-4
Let k be (16/(-12))/(4/54). Let i be (k/(-1))/((-12)/(-12)). Solve 4*b - i = 2 for b.
5
Let t(n) = 7 + n - 6*n + 3*n - 3. Let l be t(2). Solve l = a - 4*a - 3 for a.
-1
Let n = 12 - 9. Suppose 7*j = n*j + 12. Solve j*r = 2*r - 1 for r.
-1
Suppose -2*f + 8 - 2 = 0. Let i be 0*(((-20)/6)/5 + 1). Solve i = -p + f for p.
3
Let s(r) = -r**3 + 22*r**2 - 21*r + 1. Let a be s(21). Solve a - 3 = x for x.
-2
Let a(y) = -y**3 + 6*y**2 - 4*y + 1. Let k be a(5). Let j(u) = -3*u - 6 + 8 + u**2 - 3*u + 2. Let r be j(k). Solve r*v + 9 = 1 for v.
-2
Suppose 0 = 4*d - 8 - 8. Suppose i = o - 7, -2*o + 3*o = -2*i + 1. Suppose 0 = -5*n + 3*p + 18, -o*n + 10 = -11*p + 6*p. Solve -n*w + d = -2*w for w.
1
Suppose 6*x - 4*x + 14 = 4*q, -4*q + 13 = -x. Let s(m) = m. Let b be s(q). Solve 0 = b*c - 4*c + 3 for c.
3
Let k = -11 - -1. Let d = k + 10. Solve 2*q - 3*q - 3 = d for q.
-3
Suppose p - 4*a = 7, 5*a + 5 = -p - 24. Let g = -9 - p. Solve g = 3*s - 0 + 3 for s.
-1
Let a be 2/(5/((-75)/6)). Let c be (-1 - -1)/(4 + a). Solve -2*q + 11 - 3 = c for q.
4
Let y(d) = d**3 + 5*d**2 - 15*d - 5. Let b be y(-7). Solve 0 = q - 6 + b for q.
4
Suppose 5*l + 9*z - 4*z - 20 = 0, 0 = -5*z + 20. Solve 4*a + 15 + 1 = l for a.
-4
Let i(h) be the third derivative of h**6/120 - h**5/6 + h**4/24 - 4*h**3/3 - 4*h**2. Let d be i(10). Let x = 0 + 0. Solve x = d*p + p + 6 for p.
-2
Let v(u) = -u**3 - u. Let w be v(0). Solve 0 = -w*o + 2*o + 8 for o.
-4
Let c = 9 - 5. Suppose 