q = -3 + 3. Let u be ((-3)/(-4))/(9/24). Solve q = -u*c - 0*c - 4 for c.
-2
Let a = 21 - 15. Let y(g) = g**3 - 5*g**2 - 6*g. Let k be y(a). Suppose k = -6*l + 3*l - 12, 0 = -q + 2*l + 10. Solve 3*n = 4*n + q for n.
-2
Suppose -5*o + 26 = 6. Let p(x) = -x + 6. Let h be p(o). Suppose 2*j + 6 = 0, 0 = -8*b + 3*b + 5*j + 25. Solve -h*m = b*m for m.
0
Let l(z) = z - 4. Let c be l(6). Suppose -10 = 2*t - 5*r, 5*t + 5*r = r + 41. Let x = t + c. Solve x*q = 3*q + 16 for q.
4
Let b be (-7 - -12) + (-4 + 1)/1. Solve -15 = b*r + 3*r for r.
-3
Let v be (0 - 0)*2/4. Let s be 57/(-21) - 6/21. Let p = s - -8. Solve l = -v*l - p for l.
-5
Let j(y) = y**3 + 13*y**2 - 15*y - 11. Let w be j(-14). Solve -w*q - 5 = -2 for q.
-1
Suppose 2*n + 5*m + 4 = 0, 8 = -8*n + 12*n + 2*m. Solve 2 = n*d - 1 for d.
1
Suppose 6 = 6*t - 3*t. Solve 0 = -t*y - y for y.
0
Let t be 6/4 - (-3)/6. Solve -d = -t*d for d.
0
Suppose 3*m + j = 10, -5*m + 13 = -j - j. Suppose 7 = -m*c + 1. Let b be (-58)/(-5) - c/5. Solve -3*d = d + b for d.
-3
Let p = -14 + 19. Solve -1 = p*i - 6 for i.
1
Let h(t) = t**2 - t + 3. Let g be h(2). Solve g*f - 5 = 20 for f.
5
Suppose 3*r - 4*h + 5*h = 7, 23 = 5*r - 4*h. Let u(t) = -t**2 + 5*t - 2. Let q be u(r). Solve q*m - 2 = 2 for m.
1
Let r be (-2)/(-2 + 1 - -2). Let t = r - -7. Suppose -t*v - 3 = -33. Solve -q - v = -4*q for q.
2
Suppose -2*d - d = -60. Suppose -z + n - d = -6*z, 5*z = 4*n - 5. Solve 2*g - 4 = z*g for g.
-4
Let s(o) = 2*o**2 - 8*o. Let x be s(4). Solve x = 3*n - 4*n + 3 for n.
3
Let k = -1 - -1. Solve k = -x - 2 for x.
-2
Let j be (-12 - -11)/(2/(-36)). Let t be (-24)/j*(-1 - 2). Solve -t*b + 21 - 5 = 0 for b.
4
Let t(y) = -5*y + 4. Let u be t(2). Let l be (u/(-8))/((-11)/(-44)). Solve 1 = -l*v - 14 for v.
-5
Let l(n) = 3*n - 15. Let k(j) = j - 1. Let v(g) = 4*k(g) - l(g). Let a be v(-11). Solve a*s - 4*s + 16 = 0 for s.
4
Suppose 3 = 4*f - 5*f. Let s(r) = 41*r + 5. Let o(y) = -20*y - 2. Let l(k) = f*s(k) - 7*o(k). Let u be l(1). Solve 0*j + 4*j - u = 0 for j.
4
Suppose 3*b = -3*c + 15, -2*c - 10 - 5 = -3*b. Solve b*r = r - 4 for r.
-1
Suppose -62*b + 63*b = 2. Solve 2*q - 12 = -b*q for q.
3
Let r(s) = -2*s. Let y be r(-3). Suppose n = -4*n + 3*q + 12, 3*q + 12 = -3*n. Suppose 2*c + c - y = n. Solve -c*t - t - 9 = 0 for t.
-3
Let a be (-3 + 65/15)*3. Solve -s - a*s + 10 = 0 for s.
2
Suppose -2*c = -28 + 2. Let i be 4/10 + c/5. Suppose -t - i*t = -8. Solve t*o - o = 0 for o.
0
Let a(u) = u**3 + 5*u**2 - 5*u + 2. Let q be a(-6). Let d = q - -7. Solve 2*b = d*b for b.
0
Let h = 21 + -9. Suppose r = -3*r - h. Let j be 2 + r/(3*-1). Solve -u + j = -1 for u.
4
Let x(y) = -5*y**2 - 3*y - 3. Let i(g) = -4*g**2 - 2*g - 2. Let m(h) = 6*i(h) - 5*x(h). Let r = -8 - -5. Let j be m(r). Solve -2*a = -j*a for a.
0
Suppose -5*x + 2*a + 1 + 15 = 0, 0 = 5*x + 4*a + 2. Let i(h) = -4*h. Let j be i(0). Solve j = x*d - 7*d - 20 for d.
-4
Let v = -25 - -32. Solve 2*r = -3 - v for r.
-5
Let i(z) = -z**3 + 8*z**2 - z + 11. Let l be i(8). Solve l*a = 6*a for a.
0
Suppose g = -8*g + 18. Solve -10 + g = -4*x for x.
2
Let v = 158 - 154. Solve 2*u - v = 4*u for u.
-2
Suppose 3*d - 1 = -0*d + z, d - 12 = -2*z. Solve -n + 3*n + d = 0 for n.
-1
Let v = -13 - -16. Solve -v*s - 2 = -2*s for s.
-2
Let o be (-1)/(-2)*(-1 + 13). Let y = o + 1. Suppose y*c - 30 = 2*c. Solve 3*g = c*g for g.
0
Suppose 12 = 2*p - 0*p. Solve -2*l = l - p for l.
2
Let m = -87 + 89. Solve 7*u = m*u for u.
0
Let a(c) = c**3 + 4. Let b be a(0). Solve -b*f = -3 + 15 for f.
-3
Suppose 0 = 4*q - 49 - 23. Let p = -15 + q. Solve -11 = -p*d + 1 for d.
4
Let i be 0 - 3*(-2)/(-3). Let m = i + 8. Suppose -m = -2*s - 0. Solve s*g + 9 = -0*g for g.
-3
Let o = -20 + 30. Suppose 10*z - 5*z - o = 0. Solve 0 = -z*j - 3 + 5 for j.
1
Let z(l) be the second derivative of l**4/12 - l**3/6 - l**2/2 + 3*l. Let g be z(0). Let d = 10 + g. Solve 0 = 2*b + d - 1 for b.
-4
Let w = -3 - -4. Let c = 11 + w. Suppose 0 = l + 3*l - c. Solve o + l*o - 8 = 0 for o.
2
Let r be (-4)/7 + 17/((-119)/(-60)). Solve -c - r = c for c.
-4
Suppose -4*a = a + 15, -3*x - a = -3. Let n be 1 - ((-4)/x + 0). Suppose -2*g = -5*y - 7*g - 15, 0 = -2*y - n*g - 11. Solve -3 + 9 = -y*t for t.
-3
Suppose -19 - 5 = -6*r. Solve -r*x = -0*x for x.
0
Let n be ((-4)/2)/((22/4)/(-11)). Solve -2*q + n*q = 4 for q.
2
Suppose 8*r - 14 - 42 = 0. Solve -2*z - r = -3 for z.
-2
Suppose -4*q + 13 = a, 3*q = 4*q - a + 3. Solve -2*g = q*g + 20 for g.
-5
Let h(a) be the first derivative of -a**4/4 + 4*a**3/3 + 3*a**2 + 3. Let n be h(5). Suppose n*z = z. Solve z = -4*p - p for p.
0
Let q(r) = r**3 + 3*r**2 - 2*r - 1. Let l be q(-3). Let z be ((-1)/2)/((-1)/4). Suppose n + 5*h = 0, n + 2*h = -z*h. Solve n = -0*g + l*g - 10 for g.
2
Suppose 4*y + 17 - 25 = 0. Solve -3*x + y + 1 = 0 for x.
1
Let t be (-1)/3*(0 - 15). Suppose 0 = 10*b - 0*b - 80. Suppose t*l - b = l. Solve -l*a - a = -12 for a.
4
Let d be (1 - -1)/(2/3). Suppose 4*r - z = 22, 3*z = -r - 3*r + 14. Solve -y - r = -d for y.
-2
Let v = 5 + -2. Let c(t) = -11*t**2 - 24*t. Let j(k) = -4*k**2 - 8*k. Let z(y) = v*c(y) - 8*j(y). Let o be z(-8). Solve o*h + 5 = h for h.
5
Let d(o) = -2*o + 3. Let f be d(-4). Let w(j) = 4*j + 3. Let a(v) = 3*v + 3. Let k(p) = -3*a(p) + 2*w(p). Let h be k(-7). Solve h*n + f + 1 = 0 for n.
-3
Let x(q) = -q**3 + 4*q**2 + 2*q. Let l be x(4). Solve 0 = 4*z - l - 0 for z.
2
Let k = 15 - 6. Let r(d) = -d + 9. Let p be r(k). Suppose 4*u = -4*j + 88, 3*j - 69 = -p*u - 2*u. Solve q + j = -4*q for q.
-5
Suppose -4*f + 3*b + 4 - 8 = 0, f - 22 = -5*b. Solve -2*u - f = -u for u.
-2
Let y = 10 - -1. Suppose -2 + y = 3*u. Suppose u*k - 2*k = 5. Solve -20 - 5 = k*v for v.
-5
Suppose -f + 9 = 7. Solve 0 - f = j for j.
-2
Let m(l) = l**3 + 7*l**2 + 7*l + 8. Let q be m(-6). Let c = 5 - q. Let r(s) = -s**3 - 5*s**2 + 5*s - 4. Let p be r(-6). Solve -p*o - 1 - c = 0 for o.
-2
Let f = -56 + 57. Solve g - f = 2 for g.
3
Let q(i) be the second derivative of -3/2*i**2 + 0 + 2*i + 5/12*i**4 + 1/20*i**5 - 7/6*i**3. Let m be q(-6). Solve -9 = m*u + 6 for u.
-5
Suppose -o = 2*t - 0*t + 3, -9 = -4*t + 3*o. Let r = t + 10. Let z be (-4)/r - (-2)/5. Solve 3*h - h = z for h.
0
Let k(s) be the second derivative of s**3/6 + 3*s**2 - s. Let u be k(-4). Solve 2*f = -6 - u for f.
-4
Suppose -2*n + 10 = 2. Solve n*m + 3 = m for m.
-1
Let n be (50/(-15))/(4/(-6)). Solve 3*b - n = -2*b for b.
1
Suppose -r = -4*c - 0*r + 19, 2*c = 4*r + 20. Suppose 5 = 3*n - c. Solve -4*o + 5 = -n*o for o.
5
Let h = -30 - -32. Solve -2*c - 4 = h*c for c.
-1
Let g(y) = 6. Let j be 3 + 0 + -2 + 2. Let b(k) = k - 5. Let t(q) = j*b(q) + 2*g(q). Let l be t(5). Solve -2*d - l = 2*d for d.
-3
Let x be ((-2)/5)/((-1)/(-5)). Let f be 0/(x/3*3). Solve 3*g = -f*g + 9 for g.
3
Suppose 10*l - 7*l = 6. Solve l*u = -u + 6 for u.
2
Suppose -29 = 2*j - 37. Solve 0 = -3*b - j + 1 for b.
-1
Let w(l) = -l + 6. Suppose 3*i - 2*g = 2, -2*i - 3*i - 5*g + 45 = 0. Let o be w(i). Let m be o/2 + (-1 - -2). Solve -5*a - m = 8 for a.
-2
Let y = 14 - 9. Solve 3*c + y - 14 = 0 for c.
3
Suppose 5*z - 2 = 4*z. Suppose 2*r = -t + z, 5*t = 5*r - r - 18. Let o = 6 - 2. Solve -r*c - 2*c = o for c.
-1
Let n = 11 + -11. Solve -2 = -n*k + 2*k for k.
-1
Let m = 9 + -7. Let w be 0 + m - 0/(-4). Suppose -4*b + 4*k = 4, -2*b - k - w = -3. Solve b = o + 4*o for o.
0
Suppose -28 = -3*z - 4*k, 0*k + 45 = 5*z + 5*k. Suppose m - 5*m = -z. Solve 0 = -3*l - m - 1 for l.
-1
Let z be 152 + 2/(6/9). Let i = -40 + z. Let h be i/30 - 1/(-6). Solve -h*d + 5*d = 2 for d.
2
Let l be (-16)/20 - (-64)/5. Solve -4*f = -f - l for f.
4
Suppose 0 = a - 11 + 10. Solve -5*s + 4 = -a for s.
1
Let r be 11 + ((-2)/4 - 112/32). Solve 2*t - r*t - 25 = 0 for t.
-5
Suppose 1 = 2*h - 9. Solve -u - h = -0*u for u.
-5
Let w(z) = -z - 4. Let s(i) = 2*i**3 - i**2 + i. Let q be s(2). Suppose 0 = g - 2, g + 3*g - q = v. Let r be w(v). Solve -r*u = -0*u + 2 for u.
-1
Let s be (-32 - -43) + (-6 - -1). Solve s*u = 5*u + 3 for u.
3
Suppose 3*g = 4*j + 24, -3*j = 3*g - 2*g + 5. Suppose -m + 0*y = -2*y - 9, -6 = 2*y. Suppose -2*f + 2 = 5*n, m = -4*n + 5*f - 2. Solve n*x - 2*x = -g for x.
2
Let u(p) = 2*p**2 + 9*p - 18. Let a be u(-6). Solve a = -0*k - 5*k - 10 for k.
-2
Let k(i) = -i**3 - 5*i**2 + 2*i + 4. Let v be k(-5). Let d