3 = 1 for m.
-3
Let g be 2/((-2)/16*-2). Let u be 2 - (-1 + 0)/1. Suppose m = -u*m + g. Solve 3*x + m = -10 for x.
-4
Let y be 3 - (-3 + 3/3). Let o be (y/15)/((-1)/(-15)). Solve o*w + 4 + 1 = 0 for w.
-1
Let z = -1 + 1. Suppose 3*t + 3*r - 15 = z, r - 5*r = -3*t + 1. Solve 6 = -0*w + t*w for w.
2
Let a = -5 - -7. Solve 7*n - a*n - 5 = 0 for n.
1
Let s(v) = -5 - 12*v - 2 - 4 - v**2. Let h be s(-11). Solve -x = -h*x - 5 for x.
5
Let r be -1*((-15)/(-5) - (3 - -2)). Solve 7*n - r = 6*n for n.
2
Suppose -s - 52 = -4*k, -5*k + 64 = 4*s - 5*s. Let z = k - 8. Suppose -11 = -j - 8. Solve -j*r = -z - 2 for r.
2
Suppose 0 = -28*f + 37*f - 18. Solve f*s = 6*s + 20 for s.
-5
Let w = 9 - 6. Suppose 0 = -4*a - 8, 21 = 2*n + n - w*a. Solve -n*j = 10 + 10 for j.
-4
Suppose k - 23 = 5*y, k + 4*y - 8*y = 19. Suppose k*q = q. Suppose -5*a = -q*a - 50. Solve -h - h = -a for h.
5
Let b be 2/(-2)*(-1)/1. Let k(f) = 3*f**2 - 11*f + 2. Let s(t) = -7*t**2 + 23*t - 5. Let q(p) = -9*k(p) - 4*s(p). Let a be q(-7). Solve a*n + b = -7 for n.
-4
Let q(h) = 0*h + 1 + 0*h + h + 5. Let b be q(-6). Solve b = -2*o - 12 + 4 for o.
-4
Let n = -2 + 5. Suppose m = n*m. Solve m = 3*w + 3 for w.
-1
Let c be (1*50)/(1/2). Suppose 2*z - c = -3*z. Let l(b) = -b - 6. Let y be l(-6). Solve y*w + z = -5*w for w.
-4
Suppose -4*x + 3 = -5. Suppose -6 = -x*g + 2. Solve 0 = -0*v - g*v for v.
0
Suppose -4*r = q - 11, -3*q = 3*r - q - 12. Suppose 0 = 3*j - 4*j + r. Solve -j*u = -3*u - 4 for u.
-4
Suppose 8 + 2 = 5*z. Solve 4*h + 8 = z*h for h.
-4
Suppose 0*d = 2*d - 10. Suppose -d*o + 9 = -1. Suppose -o*i + 8 = 2*i. Solve -i = -4*r + 14 for r.
4
Let g = 0 + 2. Suppose g*h - 4*h = 4, 0 = 3*i + h - 7. Solve -z = -0*z - i for z.
3
Let t = 28 + -11. Let f = t + -15. Solve f*z + 0 = 2 for z.
1
Let m(f) = -5*f**3 + 3*f**2 + 3*f + 11. Let j(d) = -6*d**3 + 3*d**2 + 3*d + 12. Let l(k) = 6*j(k) - 7*m(k). Let v be l(-3). Solve -c = -v*c for c.
0
Let n = -10 - -5. Let g be 1 + -3 - (n + -1). Suppose -l - g*l = 0. Solve l*z - 2*z = -10 for z.
5
Let a(k) = 7*k + 12. Let z(o) = 3*o + 6. Let q(m) = -2*a(m) + 5*z(m). Suppose 0 = p - w + 4*w - 3, p - 3*w = -9. Let v be q(p). Solve 0*j = -j + v for j.
3
Let g = -43 - -55. Solve 0*l - 3*l + g = 0 for l.
4
Let w = -3 - -4. Solve 0 = g + w - 3 for g.
2
Let p(u) = u**2 - 13*u + 16. Let b be p(11). Let f = b - -21. Solve -d = 4*d - f for d.
3
Let l(d) = d**2 - d. Let u be l(0). Suppose 5*z - 19 = 2*y, u = z + 5*y - 25 + 5. Solve -5*b + 5 = -z for b.
2
Let h be (2/3)/((-8)/156). Let o = -10 - h. Solve -2*l + 5 = o*l for l.
1
Let g = 33 + -27. Solve -b = -g*b + 5 for b.
1
Let h be ((-4)/6)/((-14)/63). Let a(n) = -n**3 - 6*n**2 + 8*n + 9. Let k be a(-7). Suppose 0 = k*j + 2*j - 5*u - 32, -2*j = u - 16. Solve -h*s = -j*s for s.
0
Let d be (-2 - 1)*1*-3. Let x = d - 5. Suppose c = -3*c + 8. Solve x*t - c + 14 = 0 for t.
-3
Suppose c + c = 4*s - 20, 0 = 3*s - 15. Solve 4*b + c = -12 for b.
-3
Let b = -5 + 10. Solve 0 = -2*m + m - b for m.
-5
Let a(j) = j**2 - 3*j - 4. Let f(u) = u**2 - 4*u - 1. Let l be f(5). Let r be a(l). Suppose -3*i + 2 + r = 4*x, -i - 2 = 0. Solve 3 = x*s + 11 for s.
-4
Suppose g - 2 = 2*j - 8, 3*g + 2*j = 22. Suppose -4 = -g*c + 16. Solve -c*p + 8 = -p for p.
2
Let n(u) = u**2 + 11*u + 2. Let f be n(-11). Solve -f*d = -d - 5 for d.
5
Suppose -32 = -5*k + p, 3*k - 11 + 1 = -4*p. Let d = -4 + k. Solve -y - 5 = -d for y.
-3
Let h(w) = 2*w - 6. Let b be h(5). Suppose -4*o + 109 = 5*u, 0 = u - b*o - 4 - 37. Solve 2*s = 7*s + u for s.
-5
Suppose x + 5*c = -8 - 15, -c = -4*x - 8. Let k be -2 - -1 - -3 - -1. Let b = k + x. Solve 4*f + b = 12 for f.
3
Let w be 0 - (-1 + -2 - 2). Solve w*i = -4 - 6 for i.
-2
Let m be -4*-1*(-3)/(-6). Let c(o) = 6*o**2 + o**3 - 8*o - m + 2 - 5. Let w be c(-7). Solve w*v = -3*v for v.
0
Let o be 96/10 - (-4)/10. Let z(k) = 9*k - k**2 - o - 2*k + 2*k. Let d be z(7). Solve -3*q - 1 = -d*q for q.
1
Suppose -4*g - 10 + 14 = 0. Solve -g = 2*w + 3 for w.
-2
Suppose 0 = 2*w - 0*m - m - 5, -2*m = 2. Let s = 9 + -9. Solve 0 = -s*p + w*p - 6 for p.
3
Let h be (7/(-14))/(2/(-4)). Let y be h/(-1) - (1 + -9). Let o(d) = -d**3 + 7*d**2 + d + 5. Let m be o(y). Solve -s + 4*s + m = 0 for s.
-4
Suppose 51 = 17*b - 0*b. Solve -2*l - b*l = 10 for l.
-2
Suppose -5*k + 15 = -0*k, -4*k = q - 12. Solve q = -0*p - 2*p + 6 for p.
3
Let b(o) = -o - 8. Let y = 1 + -9. Let a be b(y). Solve -4*k = -a*k - 12 for k.
3
Let a be (2/(-4))/((-2)/12). Suppose 0 = -2*c + 4*s - 14, -a*c + 2*s - 22 = -7*c. Solve c + 0 = -l for l.
-3
Suppose 3*x - 8*x = 0. Let w = 4 + x. Solve g = -1 - w for g.
-5
Let y = -30 + 35. Solve 20 = -a + y*a for a.
5
Let x(z) = -14 + 2*z**3 + 4 - z - 3*z**3 + 10*z**2 + 13*z. Let h be x(11). Let f be (-1 + (h - 1))*-12. Solve -f = 5*o - o for o.
-3
Let h = -1 - 2. Let c be (-9)/h - -2 - 2. Solve c*o - 2 = -8 for o.
-2
Let f = 78 + -71. Solve 0 = 2*p + 3 + f for p.
-5
Let z(a) = a**2 + a + 4. Let h be z(0). Let f = -4 + h. Let q = 2 - f. Solve -4 = q*n + 2*n for n.
-1
Suppose -5*s + 3*c = -22, -9 = -3*s + c + 1. Solve -s*z = 3*z for z.
0
Let f = -22 + 31. Let g be (-6)/((15/6)/(-5)). Suppose 0 = -3*j - f + g. Solve 5*r - 14 - j = 0 for r.
3
Let o(v) be the first derivative of -v**4/4 - 4*v**3/3 - v**2/2 + 3. Let i be o(-4). Solve -4*q - i = -0 for q.
-1
Let v be (-2)/(-3) + 1/3. Let z be (-3 + 3)/(-3 + v). Suppose z*y + 2*y = 12. Solve -c + y*c = 0 for c.
0
Suppose -13 = -3*n + 20. Let o(t) = t**3 - 11*t**2 + 1. Let r be o(n). Let q be (r/3)/((-2)/(-18)). Solve -q*d = -2*d for d.
0
Suppose -2*o = -0*o - 3*b - 11, -3*b = -3*o + 15. Suppose -5*s = -10, -s + 0*s = -o*u + 26. Solve l - u = -3 for l.
4
Let n = -10 + 3. Let k(g) = -g + 8. Let b be k(n). Solve -8*m = -3*m - b for m.
3
Suppose -5 = -4*f + 7. Let n(u) be the third derivative of -u**6/120 + u**5/20 + u**4/12 - u**3/3 + u**2. Let a be n(f). Solve a*m + m = 0 for m.
0
Suppose 13*u = 7*u + 6. Solve -u = -2*x + 7 for x.
4
Let a(r) = -r**3 + 5*r**2 + 2*r - 7. Let d be a(5). Suppose -2*b - d*b = 15. Let z be -3 - (-16 - b/(-1)). Solve -2*y - 2*y = -z for y.
4
Suppose 0 = -5*u, n + 2*u = -4*n + 15. Let f(s) = s. Let z be f(n). Solve -5*a = -z*a for a.
0
Let h = 102 + -93. Solve 2*u = 3 - h for u.
-3
Let x = -14 + 7. Let c = x - -9. Solve -m - m = c for m.
-1
Let r(g) = -6*g**2 + 3*g + 3. Let q be r(-2). Let s be (q/6)/(1/(-2)). Solve 0 = 5*c - 1 - s for c.
2
Suppose 5*l - 6 = 2*l. Suppose 2*b + 2*k - 46 = -l*b, -b + 9 = 3*k. Solve 2*d + 2*d + b = 0 for d.
-3
Let x be 0/(-1) + (-5)/(-10)*0. Solve 0 = -x*z - 2*z - 6 for z.
-3
Let f(p) = -p**2 - 9*p - 13. Let i be f(-6). Suppose 2*q + 6 = i*q. Let x = 10 + -7. Solve 0 = q*c - x*c - 4 for c.
-4
Let k(c) = 7*c + 184. Let p be k(-26). Let l be (-4)/10 + 6/(-10). Let r be (0 - -1)*(l - -8). Solve x - r = -p for x.
5
Suppose -3*z = -2*c - 22, 3*c + 27 = 3*z - 0*c. Suppose 2*p - 2 = -3*v - 8, z*v + 8 = p. Solve -3*x + 6*x - 15 = p for x.
5
Let i be 0 - -6*2/4. Suppose 3*t + t = 8. Suppose c + r = 2, -4*c = 5*r - 0*r - 5. Solve -t*a + i*a = -c for a.
-5
Let d be (-1)/(-4 - (-35)/10). Suppose 5*r - 34 = -9. Solve d*u = u - r for u.
-5
Suppose 5*t = 4*d - 0*d + 27, t - 4*d = 15. Let a = 15 - t. Solve -2*j = j - a for j.
4
Suppose 0 = 5*r + 2*p + 6, 0*r + 6 = 4*r - 2*p. Solve r*a = -5*a + 15 for a.
3
Let c be (1 + 1)*30/12. Let l be 3/c + 24/10. Suppose -15 - 1 = d + 4*v, 5*d + l*v = 5. Solve d = -3*p - 2 for p.
-2
Suppose -2*n - 2*v = 2, -2*n + 17 = 2*n - 3*v. Solve l = n*l for l.
0
Let w(o) = -o**3 - 7*o**2 - 7*o - 1. Let v be w(-6). Solve 0 = -3*p - 2*p + v for p.
1
Suppose -3*t - 2*l - 4 = 0, 0*t + t = -4*l - 8. Solve -2*f + 15 - 5 = t for f.
5
Suppose 2*y = 3*y + 9. Let b(t) be the third derivative of t**6/120 + 2*t**5/15 - 5*t**4/12 - 3*t**3/2 - 2*t**2. Let p be b(y). Solve 0*o + o + 3 = p for o.
-3
Let w(l) = 2*l. Let p be w(7). Let b be p/2 + -4 + 1. Solve g + b*g = -10 for g.
-2
Suppose 2*x + 2 = -4. Let p be 3/(x/(-2)) + -4. Let a be (6/18)/(p/(-18)). Solve 7*w = a*w + 16 for w.
4
Suppose 4*m - 20 = -m. Suppose 2*o = m*y, -y - 3*y + 28 = 5*o. Solve -f + 2*f = -y for f.
-2
Let d be 335*5/150 - 1/6. Solve 4*p = 1 + d for p.
3
Suppose 3*x - 4 = 5*x. Let q be ((-10)/(-45))/(x/(-18)). Solve u - q - 3 = 0 for u.
5
Suppose 0*h + 16 = 4*h. Solve 3*b =