Solve -11 = -m - 3*y, m - 3*y = -p*y + o for m.
2
Let t = 3 + -2. Let x = 3 - t. Solve 3*p + 3*q = 15, -5*q + 11 = -0*p - x*p for p.
2
Suppose 38 - 53 = -3*r. Solve i - 10 = 4*y, 2*y = -r*i + 3 + 3 for i.
2
Suppose 2*a = -2 + 12. Solve -3*i - n = 2, a*n = 5*i - 8 - 2 for i.
0
Let q = 10 + -8. Solve 6 = -q*w + 2*f, 5*w + 37 = -5*f + 2 for w.
-5
Let b = -5 - -9. Suppose y - 4*y = k - 3, 0 = 4*k - 3*y - 57. Let i be 0 + 0 + 1 + 0. Solve -m = b*s - i, 2 + k = 3*m + s for m.
5
Let j(q) = -q**3 + q. Let r be j(0). Solve 4*x - 20 = r, s - 35 = 4*s - 4*x for s.
-5
Let h(m) = m**2 - 6*m + 3. Let p be h(6). Let o be (-9)/p - (-20 - 2). Solve 2*f = -2*f + 3*t - o, 8 = 2*f + 2*t for f.
-1
Suppose 2*a - 7 = -d - 0, 2*d = 5*a - 13. Solve 2*w - 2 = 5*r, -a*r + 5*w - 5 = r for r.
0
Suppose -m - 29 = -4*a, -4*m + 5*a = 2*a + 64. Let t = m + 17. Solve 0 = -t*f - 5*n + 15, -5*f = -2*f - 5*n - 20 for f.
5
Let q be 0 - -78 - (5 - 8). Let n be 98/4*2 - 1. Let z = q - n. Solve 2*x - 2*j = 14, -4*j = 2*x - 7*x + z for x.
5
Suppose 4*g = -5 + 13. Let a(k) be the first derivative of 3*k**4/4 - k**3 + k**2 - 3*k + 1. Let q be a(2). Solve -s = g*s - 12, -i = 3*s - q for i.
1
Let u(a) = a**2 - 7*a - 2. Let o be u(8). Suppose 0 = o*p - p - 10. Let r = p + 3. Solve -2*s = 4*y - 20, -r*y = -2*s - s - 25 for y.
5
Let x be (-23)/(-3) - (3 + 20/(-6)). Let y be (-1 + 1/3)*3. Let u be (0 - 20)*(y - -1). Solve 2*c + 9 = -v, -2*v - x*c - u = -3*c for v.
-5
Suppose 39 = -5*i + 144. Let q(s) = -s**3 + 2*s + 5. Let a be q(0). Solve -4*g = -3*k - i, 15 + 12 = 4*g - a*k for g.
3
Suppose -15 = -5*v + q, 3*v - 11 = 4*q - 3*q. Solve 0 = 3*c + f - 0*f + 12, v*f = 3*c + 12 for c.
-4
Suppose -g + 0*g = 0. Suppose 0 = d - 5 - g. Solve -3*o - 30 = 2*p - 5*p, -d = -p for o.
-5
Let z(j) = 4*j - 2. Let r be z(7). Let i = r - 20. Solve -16 = 7*y - 3*y, w + i = -y for w.
-2
Let z be (3 - 3) + 9 + -4. Solve z*i + 5*t = 0, -2*t - 3*t - 9 = 2*i for i.
3
Let w = 3 - -22. Let k be (-4 - -8 - -8) + 2. Let f = 19 - k. Solve 4*h + 0 - 4 = 0, f*t - 5*h + w = 0 for t.
-4
Suppose 5*x = -0*x + 20. Let u be (-52)/(-14) + x/14. Solve -u*b = -4*c - 18 + 6, -5*b + 11 = -c for c.
-1
Let q(z) = z**3 - 13*z**2 - z + 15. Let l be q(13). Let u(h) = 2*h. Let k be u(l). Solve 2*g = 2*c + 8, 3*c - 4*c - k = -3*g for g.
0
Suppose 0 = b + 14 - 19. Solve 0 = -4*x - 0 - 8, b*g + 4 = -2*x for g.
0
Suppose -8 = -4*j - 0. Let c be (0/j)/(18/9). Solve 7 = -5*x + s, c*x - 2*x + 2*s - 6 = 0 for x.
-1
Let m = -7 - -7. Suppose 0 = -2*d + 5*d - t - 12, -2*t = m. Solve 0 = 5*f - 2*l + 2, -f + d = 2*f + 4*l for f.
0
Let d = 13 - 6. Solve 2*u = -4*b + 10, -3*b + u = -8 - d for b.
4
Let l = 0 - -3. Let f(h) = h - l*h + 2*h**3 + 2 - h**3 - 3*h. Let y be f(3). Solve 5*b - 4*r + 28 = 0, -b + 5*r - y = -0 for b.
-4
Let w = -37 + 43. Solve 5*b - 5*g = 0, -2*b - 3*g = -w*b + 2 for b.
2
Let w be (5/((-15)/6))/2. Let j(v) = 2*v**2 - 2*v - 1. Let u be j(w). Let i be 2*(-4)/(-10)*5. Solve 15 = -u*c, -4*t + 5*t + i*c = -18 for t.
2
Let z(l) be the third derivative of -l**4/24 + 5*l**3/3 + l**2. Let a be z(8). Solve 2*n - 5*b = -13, a*n - 2*b = -4*b + 8 for n.
1
Let k(c) = -c + 8. Let s be k(4). Let o = -5 - -8. Let i(w) = -w**3 + 4*w**2 - w. Let q be i(o). Solve -l - q = m + m, 2*l - 12 = s*m for l.
0
Let v = -11 + 13. Solve 5*n - v*x + 13 = -4*x, -n = 5*x + 21 for n.
-1
Suppose 0 = -n + 3, 5*n - 33 = -2*t + 10. Suppose 4*o = x - t, -x + 20 = 3*x - 4*o. Solve -2*w + 3*s = 3 - 4, -11 = x*w + s for w.
-4
Let n be 7 + (0 - 2) + -2. Let a(x) = x**3 - 3*x**2 + 2*x - 4. Let f be a(n). Suppose f*m - 2 = 4. Solve -3*g + 4*u - 1 = 0, 4*u = g + m*u + 1 for g.
-3
Let a(k) = k**3 + 4*k**2 - 15*k - 13. Let s be a(-6). Let p(w) = 2*w - 4. Let m be p(3). Solve 3*z + 21 = -3*n, -5*n = -7*z + m*z - s for z.
-4
Suppose -9 = -4*v + 3. Suppose 0 = -v*p + 6 + 33. Solve -4*y + 0*o + o - p = 0, -4*o = -3*y for y.
-4
Let k(f) = 0 + 6 - 4 + 2 + 2*f. Let b be k(2). Solve 3*r - 5 = -o + 3, r = -3*o - b for o.
-4
Let l be (7 - -3)*1 - -1. Let j = -8 + l. Solve 0 = 5*p - 5*t - 5, -2*t - j = -5*p + 5 for p.
2
Let q be -2 - ((-6)/2)/3. Let w = -9 + 4. Let z = q - w. Solve 2*i = 3*c - 1 - 5, 0 = 2*i + z*c - 8 for i.
0
Suppose 0*v = -5*v. Suppose -4*r + 2*r = 2. Let m be 2*r + 7/1. Solve m*t - 8 = 2*s - v*s, 2*t - 2*s = 8 for t.
0
Suppose 3*g - 10 = -1. Solve g*k = -4*p + 31, 3*k - 3 + 0 = 3*p for k.
5
Suppose q - 5 = 2*j + j, 0 = -5*j + 3*q - 3. Let h be 1/j + (-7)/(-3). Solve -5*t - l = -3, 4*l - 12 = -h*t + 5*t for t.
0
Suppose 0 = -8*i + 3*i - 170. Let y = -19 - i. Let b be y/(-2)*(-2)/3. Solve -3*w = z + 20, 0*w - 15 = -2*w + b*z for w.
-5
Let y(i) = -i + 9. Let x(o) = o - 8. Let b(s) = -6*x(s) - 5*y(s). Let v be b(1). Solve v*q + 3*w + 4 + 13 = 0, 4*q - w - 1 = 0 for q.
-1
Let l = 18 - 7. Let u be 333/54 + (-1)/6. Solve -5*v + 5*r - u = -1, -5*v - r - l = 0 for v.
-2
Let k be (0 - 1)/((-1)/4). Suppose 7 = 4*y - 5*d - 0, k*y + 2 = 2*d. Let b = y - -6. Solve -10 = -5*x, 2*r - b*x + x = -10 for r.
-2
Let f(m) = -m**2 - 8*m - 3. Let x be f(-7). Suppose 0*u - 36 = x*u. Let s = -4 - u. Solve 6 = -s*o + 3*y, o + 0*o + 5*y - 10 = 0 for o.
0
Let n = -2 - -4. Let c be (-132)/(-21) + (-4)/14. Solve 8 + n = 4*l + v, 0 = 4*l + 3*v - c for l.
3
Suppose 4*q - 2*f - 18 = -q, -q - 3*f = -7. Solve m + 5 = -q*w, 4 = -2*m - w - 6 for m.
-5
Let h(i) = 5*i**3 - 1. Let y be h(1). Suppose -s = -y*s + 9. Solve -s*o + 1 = -4*q + 2*q, -3*o = q + 14 for o.
-3
Let j(n) = -n**2 + 4. Let q be j(-5). Let y be ((-12)/7)/(6/q). Suppose -5*w = -5*l - 25, -9 = w - 2*w + 5*l. Solve -c - 16 = w*v, c - 20 = y*v - v for c.
0
Let j be (42/7 + -1)/(0 - -1). Suppose -2*u = 5*x - 39, -24 = -u + 5*x - 3*x. Solve 4*w + w + 1 = -3*v, j*w = 4*v - u for w.
-2
Let o(f) = -f + 3. Suppose 3*j + 12 = 4*m - m, 0 = -3*j. Suppose -m*a = -2*a. Let d be o(a). Solve -2*g = -4, -4*n - 9 = -9*n + d*g for n.
3
Suppose 4*i - 44 = -4*s, 0*s + 20 = 2*s + i. Let j(m) = m**3 - 10*m**2 + 11*m - 13. Let d be j(9). Let f = 5 + -3. Solve -d*v + s = 3*c, -f*c - 2 = v - 1 for c.
-2
Let l be (-1 + (-6)/(-4))*0/(-56). Solve l = c - 0*c + 3*g + 12, -5*c + 35 = -4*g for c.
3
Suppose f = 6*f - 10. Solve 0 = -3*p + f*l + 3*l + 19, -5*l - 23 = -p for p.
-2
Let z be (-3 + 2)/(-1) - -2. Let k = z - 3. Suppose k = 3*f - 22 - 20. Solve 3*d - f = 3*y + d, -2 = y + 2*d for y.
-4
Suppose 6*j = 1 + 17. Solve 9 = -5*y - 4*h, -j*h = -y - 2*h for y.
-1
Suppose 2*h = 4*h - 4. Let r = -47 + 80. Let c be 60/r + 2/11. Solve d = -y - c, 4*y - h*d = -4*d - 6 for y.
-1
Let c(b) = -b + 7. Let j(m) = 1. Let a(g) = c(g) - 6*j(g). Let y be a(0). Suppose 4 + y = t. Solve -3*q = -4*q - t, -w - 3*q - 12 = 0 for w.
3
Let g(o) = 4*o**2 - 1. Let i be g(1). Let u be (-6)/(-3)*2/1. Solve 2*s + 20 = -6*m + m, -u*m + s - i = 0 for m.
-2
Let a(l) = 3*l**2 + 1. Let j be a(-1). Solve 0 = j*x - 4*q, 3*q = -x + 8*q - 20 for x.
5
Let o be (0 - -2)*(3 - 1). Solve o*h + 6 + 4 = s, -4*s = -h + 5 for s.
-2
Suppose -3*n + 20 = n. Let a = n - 3. Suppose 0 = a*o + 3*o - 3*f - 30, -2*o = -2*f - 16. Solve 0*m - 3*h = -4*m, -o*h = 5*m + 27 for m.
-3
Let a(d) = d**2 - 7*d - 5. Let u be a(8). Solve -8 = u*t - 4*t + 4*n, 0 = -5*t - n + 19 for t.
4
Let o = 7 - 4. Let x = -2 + 5. Solve -4*j - 4 = 3*l, -x*l = -4*j - o - 1 for j.
-1
Let j be (1/2)/((-3)/18*-1). Solve -3*i + z - 4 = 0, j*i = -0*z - 2*z + 8 for i.
0
Let k(r) = -r**3 + 11*r**2 - 10. Let z be k(11). Let l = z + 15. Solve l*n = 25, -3*p - 31 = -4*n - 2 for p.
-3
Let a(t) be the second derivative of t**3/6 + 3*t**2 + t. Let p be a(-7). Let x = p - -2. Solve 3*q + 21 = -3*u, q - u = -2 + x for q.
-4
Let u(l) = 9*l + 5. Let j be u(1). Solve b = -x + 6*b, -2*x - j = 4*b for x.
-5
Let v = -10 - -25. Let p = -12 + v. Let m(l) = -l - 2. Let k be m(-5). Solve -g + 12 = -4*s + p, 12 = -s - k*g for s.
-3
Let f(u) = u**2 + 34*u + 8. Let o be f(-34). Solve -8 = -0*d - 4*d - n, -o = -4*d + n for d.
2
Suppose -5*w - 2*g = -w + 10, -3*g - 15 = 5*w. Solve 3 = -2*d - 2*i + 5, 4*d - i + 6 = w for d.
-1
Let a be (0/1 - -4) + -2. Let g(q) = 2*q + 2. Let c(w) = 2*w + 2. Let b(r) = a*g(r) - 3*c(r). Let m be b(-2). Solve -3*l - l + 2*t = 18, 5*t - 13 = m*l for l.
-4
Suppose 0 = -3*f + f + 40. Suppose 2*y - f = -6. Solve -2*d = -8, d - y + 1 = -x for x.
2
Let t(m) =