, 4*p - w - 314 = w. Is 13 a factor of p?
False
Let w(j) = j**2 + 6*j - 4. Is w(-11) a multiple of 18?
False
Does 12 divide (81 - 1)*(-7)/(-7) - 0?
False
Let g = 227 - 102. Is 25 a factor of g?
True
Suppose 3*q = -2*q - 10. Let l be ((-3)/(-4))/(q/(-48)). Suppose 0 = 3*g + 3*r - 39 - l, -3*r = 9. Is g a multiple of 18?
False
Let i = 48 - 92. Let g be -10 - ((-12)/(-2) - 3). Let r = g - i. Is 12 a factor of r?
False
Let q = 20 + 1. Does 5 divide q?
False
Suppose -3*h = -2*r - 3*r + 16, -8 = h - 3*r. Let z be 27/(-6)*h/(-3). Is 6 a factor of (-30)/z + 0 - 0?
False
Let u(k) be the third derivative of -1/10*k**5 - 1/4*k**4 + 0 - 1/120*k**6 - k**2 + 0*k + 1/3*k**3. Does 6 divide u(-5)?
False
Suppose -4*w = 4*z + 16, 4*w + 3*z + 9 + 5 = 0. Let l(g) = 361 - 11*g - 359 - 4*g. Does 15 divide l(w)?
False
Let c be 2/(-2) + 86/2. Let b = 2 - c. Is (0 + -1)/(2/b) a multiple of 10?
True
Suppose 3*u = 2*x + u - 146, 0 = 5*x - 4*u - 364. Is 18 a factor of x?
True
Suppose 3*h - 2*h - 5 = 0, 2*k - 5*h - 29 = 0. Let z = -6 + k. Suppose 0 = -3*r + 6 + z. Is 9 a factor of r?
True
Let p = 5 + -1. Suppose 0 = p*a + 5 - 49. Is a a multiple of 11?
True
Let p = 194 - 406. Let r = -137 - p. Does 18 divide r?
False
Let r be 24 + (0 + 12)/4. Let y = r - -39. Is 18 a factor of y?
False
Let d = -89 - -173. Suppose -3*o + 12 = -d. Is 16 a factor of o?
True
Let b(g) be the first derivative of 2*g**3/3 + 4*g**2 + 10*g - 1. Is 12 a factor of b(-7)?
False
Let o = -2 - -4. Is 3 a factor of o + 3 - 0/(-5)?
False
Let r be (27/18)/(2/4). Suppose 18 = 5*w - r*w. Does 9 divide w?
True
Let z be 472/16 + (-2)/4. Let n = 41 - z. Does 12 divide n?
True
Let k(g) = -g**3 + g**2 + 4. Let w(z) = z + 1. Let d be w(9). Let p = d + -10. Does 4 divide k(p)?
True
Let x be -2*2/5*-5. Let b = 3 - 1. Suppose -b*v + x*v = 28. Does 6 divide v?
False
Let l(c) = 2*c**2 + 3*c + 6. Is l(-6) a multiple of 15?
True
Let u(s) = 6*s**2 - s**2 + 35*s**2 + s. Let t be u(1). Suppose -7*v = 3*m - 3*v - 59, -2*m = 3*v - t. Is 11 a factor of m?
False
Let o = -2 - -4. Let q(l) = -l**3 - l**2 + l - 1. Let p be q(1). Does 3 divide ((-4)/o)/(p/3)?
True
Let a(n) = 2*n**2 - 5*n - 4. Let s be a(4). Let k = 29 + 25. Suppose -s - k = -2*l. Is l a multiple of 22?
False
Let i = 40 + -13. Does 16 divide i?
False
Suppose r - 45 = 40. Let h = r - 26. Does 15 divide h?
False
Suppose 3*a - 35 + 5 = 0. Is -3*(1 + a/(-3)) even?
False
Let z = 96 + -37. Does 16 divide z?
False
Let y be ((-3)/2)/3*0. Suppose 0 = -y*w + 2*w - 5*t - 53, w - 23 = -t. Is w a multiple of 8?
True
Let y be ((-8)/(-12))/((-4)/(-30)). Suppose -90 = 2*a - y*a. Is 15 a factor of a?
True
Let r(h) = -h**3 - h - 9. Let l be r(0). Is 15 a factor of (-2408)/(-63) - (-2)/l?
False
Let y be (-2)/8 + (-245)/(-20). Suppose -3*b = -y, 4*l - 2*b - 20 = -4*b. Suppose 7*o = l*o + 164. Is 14 a factor of o?
False
Let v = 12 + -8. Does 5 divide ((-2)/v)/(2/(-36))?
False
Suppose -17*a - 12 = -20*a. Let z be 2 + -1 - (-1 + -1). Suppose -z*i = -a*i + 43. Does 22 divide i?
False
Let a(n) be the third derivative of -13*n**6/120 + n**5/30 + n**4/12 + n**3/6 - 4*n**2. Is 12 a factor of a(-1)?
False
Does 12 divide (1/((-1)/(-16)))/(10/15)?
True
Is 22 a factor of 265/3 + 1/(-3)?
True
Suppose 5*h - 1557 = -122. Is 29 a factor of h?
False
Suppose -3*d + 18 = -0*d. Suppose -2*y - d + 14 = 0. Suppose -h = 4*i - 21, 0 = -h - y*h - i + 29. Is h a multiple of 3?
False
Suppose 28 = -4*k - 20. Suppose -8 + 58 = 5*c. Does 5 divide (k/c)/((-4)/30)?
False
Suppose -5*l + 3*k + 107 + 27 = 0, 5*l + 3*k = 146. Suppose -5*x = -25, -2*x - l = -c - 5. Is 33 a factor of c?
True
Let b(h) = 3*h - 4. Let r(s) = s - 2. Let q(z) = 2*b(z) - 5*r(z). Let v be q(0). Suppose -v*x = x - 12. Is x a multiple of 4?
True
Let p(j) = j**2 - 2*j + 3. Let m be p(2). Let w be (-9 + m)/3 - -72. Suppose -4*b + 102 + w = 0. Does 15 divide b?
False
Suppose g + 47 = -5*d - g, -5*d - 43 = -2*g. Let r(u) = -u - 3. Is 2 a factor of r(d)?
True
Let j(p) = 9*p - 12. Let a(x) = -14*x + 18. Let o(v) = -5*a(v) - 8*j(v). Let r be o(-5). Let q = r - 1. Does 15 divide q?
True
Let u(t) = t**3 - 12*t**2 - 6*t + 6. Does 26 divide u(13)?
False
Suppose -3*d + 0*d = -33. Let s be d/2 - 3/6. Suppose -3*z + 30 = -4*f + f, -s*z - 2*f = -78. Does 14 divide z?
True
Suppose 2*x = -m + 233, 4*m = -0*x + 4*x - 448. Is 17 a factor of x?
False
Let i(s) = -2*s**2 - 8*s - 3. Let u be i(-3). Suppose -2*y + 35 - u = 0. Is 4 a factor of y?
True
Suppose 3*o - 51 = 3*q, 4*q + 5 = -5*o - 27. Let y(j) = j**3 + 13*j**2 - 4*j + 5. Is y(q) a multiple of 25?
False
Suppose z - 5*y - 7 = 0, 0 = -4*z + y + 4*y + 13. Let u(d) = d**3 - d**2 + 2*d - 4. Let w be u(2). Is 19 a factor of 55 - (2 - w)/z?
False
Let m(y) = 3*y**2 + 2*y + 4. Suppose 3*d - 2*o = 2*o - 3, -2*d - o - 13 = 0. Let n = 8 + d. Is m(n) a multiple of 15?
False
Let n(y) = -y**2 + 14*y + 3. Is 12 a factor of n(9)?
True
Let q = -2 - -4. Is (1 - 37)*(-1)/q a multiple of 9?
True
Suppose -6*a - 4*h = -4*a - 2, 3*a + h = -22. Is (30/a)/((-4)/66) a multiple of 21?
False
Is 10 a factor of 3/((-48)/(-44) - 1)?
False
Let k be 4/(-6)*(-21)/7. Suppose 5*o = 3*i - 5*i - 11, 5*i - k*o = 16. Suppose 24 = i*g - 0*g. Does 10 divide g?
False
Suppose -2*c - 2*c - 4*l = -588, -5*c + 714 = -2*l. Suppose -4*p - c = -0*p. Does 6 divide (1/2)/((-3)/p)?
True
Suppose 4*d + 1 = -5*r - 6, r + 13 = 5*d. Let k be 3 + (d + -1)*1. Let w = k + 4. Is w a multiple of 3?
False
Suppose 8*v = 5*v + 237. Suppose 5*u - 71 - v = 0. Does 12 divide u?
False
Suppose f - 55 = -5. Suppose 3*b + 3*m + f = 263, m = 3*b - 201. Is b a multiple of 18?
False
Let x(d) = -d**2 + d. Let s be x(2). Let z(p) be the second derivative of p**4/4 + p**3/3 + 3*p**2/2 - 7*p. Is 11 a factor of z(s)?
True
Suppose 3*b - 13 = 35. Is b a multiple of 3?
False
Let m = 47 + -35. Is 4 a factor of m?
True
Let b be 187/51 + (-4)/6. Suppose -10*d + 378 = -b*d. Is d a multiple of 22?
False
Is (2/(-6))/((-3)/423) a multiple of 14?
False
Let i(y) = -53*y**2 + 2*y + 1. Let n(x) = -x + 8. Let l be n(9). Let z be i(l). Is 13 a factor of z/(-4) + (-2)/4?
True
Let p be (-48)/(-22) - 28/154. Suppose -4*q + 136 = -4*y, 24 = p*q + 3*y - 54. Does 12 divide q?
True
Is -1*4 + (105 - 8) a multiple of 20?
False
Let x = -5 + 2. Let o be 0 - (-3)/(x/(-1)). Is 20 - o/(2/(-4)) a multiple of 21?
False
Let k be (0/(0 + 2))/(-1). Suppose -5*q - 2*x = -40, -2*q + 2*x = -k*q - 16. Does 8 divide q?
True
Suppose -q = -3*n - 22, 4*q - 30 - 58 = n. Is 3 a factor of q?
False
Let q = -19 + 39. Suppose 0 = -3*n + o + 72 + q, 3*o = -5*n + 144. Is n a multiple of 10?
True
Suppose 3*x = -x + 8. Let i be ((-1)/(-2))/(x/88). Suppose 0 = -5*g - 3*w + 71, -i = -g + 4*w + 6. Is 16 a factor of g?
True
Suppose 2*l - 240 = -0*l. Is 15 a factor of l?
True
Let l(v) = 2 - 1 + 8*v - 2 + 3*v. Is 10 a factor of l(1)?
True
Let m(q) be the second derivative of -q**5/20 + 7*q**4/12 + 7*q**2/2 - q. Let z be m(6). Suppose 5*s + 4*b - z = 2*s, -4*b - 9 = -s. Does 8 divide s?
False
Let v(k) = -k**3 + k - 2. Let u(d) = d**3 - d + 2. Let b(w) = -2*u(w) - 3*v(w). Let f be b(2). Let l = f - 0. Is l a multiple of 8?
True
Let o(s) = s**3 - 5*s**2 - 5*s - 1. Let i be o(6). Suppose 37 = 3*p + 5*g - 15, 0 = g - i. Does 9 divide p?
True
Let g(q) = -q**2 - 6*q + 3. Is g(-3) a multiple of 3?
True
Let k(o) = o**2 + 9*o. Let w be k(-8). Does 3 divide ((-6)/w)/((-6)/(-48))?
True
Let j be (-6)/15 - (-408)/(-5). Let f(u) = -u**2 + 3*u - 21. Let i be f(7). Let n = i - j. Is n a multiple of 11?
True
Suppose -i = -6 + 1. Suppose -3*s - 2*y = 2*s - 39, -5*s + 45 = i*y. Is 7 a factor of s?
True
Let y(i) = i**2 + 2*i - 8. Let n = 5 - 2. Suppose 4*w + 2*c + 28 = 0, 0 = 5*w - n*c + 8*c + 40. Does 6 divide y(w)?
False
Suppose c - 135 = -2*c. Suppose -3*b + 4*q = 2*b - c, 5*b = -3*q + 45. Does 3 divide b?
True
Let a = 5 - 0. Let g(o) = 4*o**2 - 7*o + 5. Does 15 divide g(a)?
False
Is 10 a factor of (-202)/(-10) - 8/(-10)?
False
Let r(j) = -j**3 - 3*j**2 - j. Let v be r(-3). Is 13 a factor of (-111)/9*v*-1?
False
Let i(n) = n**3 + 8*n**2 + 3*n - 10. Let f be i(-8). Let c = -22 - f. Does 12 divide c?
True
Let h be 82/26 + 16/(-104). Let z(t) = -2*t**3 - 2*t**2 + 1 + t**3 + 6*t**2. Is z(h) a multiple of 4?
False
Let s(l) be the second derivative of -l**3/3 + 2*l**2 + 