 + p. Is 11 a factor of w?
False
Does 13 divide (0 + -1)/(19/(-741))?
True
Let o = -1 + 8. Suppose -v + o = -13. Is v a multiple of 12?
False
Let v be 19/(-7) - 4/14. Let x(d) = -d + 1. Let r(i) = -7*i + 7. Let u(y) = r(y) - 5*x(y). Is 7 a factor of u(v)?
False
Let y(q) be the first derivative of -q**2 - 5*q + 1. Let d be ((-48)/(-40))/(1/(-5)). Does 3 divide y(d)?
False
Let t(g) = 6*g**2 + 0 + g - 2 + 4 - g**3. Suppose 0*k - 6 = -2*k. Does 13 divide t(k)?
False
Suppose -2*q + 2912 = 11*q. Is q a multiple of 7?
True
Let s = 13 - -17. Suppose -4*l = -7*l - s. Let q = 0 - l. Is q a multiple of 10?
True
Suppose -3*s = -5*r - 9, 2*s - 3*r = -2*s + 23. Let t be 58/s - 6/24. Let k(p) = p**3 - 7*p**2 + p - 2. Is 5 a factor of k(t)?
True
Let b(y) = -y**2 + 3*y + 1. Let a be b(2). Suppose 0 = 4*u - 4*l - 76, -2*u = -4*l + l - 38. Let o = u - a. Is o a multiple of 8?
True
Let t(r) = r**3 - 4*r**2 - 4*r - 1. Let b be t(5). Suppose -8*l + b*l = -168. Is l a multiple of 21?
True
Let g(k) = -k**3 + 6*k**2 + 7*k. Let d be g(7). Suppose 4*u = -d*u + 36. Is u a multiple of 3?
True
Suppose -3*g = 4*v - 17, g - 4*v - v = -7. Is (-72)/((-2)/(4/g)) a multiple of 12?
True
Suppose -3*w - 2*w = -5*m, -m + 9 = 2*w. Suppose -3 = -m*b + 2*b. Is 2 a factor of b?
False
Suppose -z + 108 = z. Is (z/(-4))/((-5)/10) a multiple of 27?
True
Is 28 a factor of (-2)/((-6)/(-41)*1/(-3))?
False
Let v = 69 + -59. Is v a multiple of 10?
True
Let t = -192 + 340. Let f = t - 95. Suppose 5*x - 3*o - 73 = 0, -3*o + f = x + 3*x. Is 5 a factor of x?
False
Let t = 35 - 31. Suppose 115 = 2*n - 5*u, u + 2 + 177 = 3*n. Suppose -t*p = p - n. Does 12 divide p?
True
Suppose -3*u + 225 = 5*s, 0 = 4*s + 4*u - 77 - 111. Does 21 divide s?
True
Let r(d) = d**3 + 11*d**2 + 7*d - 6. Is 8 a factor of r(-10)?
True
Let r(v) = -v**3 + 9*v**2 + v - 15. Let c = 16 - 9. Is r(c) a multiple of 23?
False
Suppose 3*g + 5*j + 60 = 3*j, 0 = -3*g - 3*j - 60. Let h = 80 + g. Does 23 divide h?
False
Is 133/3 - 10/(-15) a multiple of 15?
True
Suppose 2*y - 37 = -0*y - w, -3*y - 5*w = -45. Does 10 divide y?
True
Let n = 3 - 7. Let d = n - 4. Let f(j) = -j**2 - 13*j - 12. Does 22 divide f(d)?
False
Suppose 9 = -2*z + 15. Suppose -y + z = 2*y, -y = 2*v - 57. Is 11 a factor of v?
False
Let k = -16 + 11. Let t(l) = l**2 + 4*l. Is t(k) a multiple of 2?
False
Let i be (-8)/12 + 11/3. Does 19 divide (-3 + i)/1 - -46?
False
Let c(z) = 3*z**2 - 6*z - 3. Suppose -3 = 6*y - 3*y. Let o(d) = d**3 - d**2 + 1. Let s(a) = y*c(a) - o(a). Is 4 a factor of s(-4)?
False
Suppose 2*k - 117 - 33 = 0. Does 15 divide k?
True
Let j(s) = 3*s - 7. Let d be j(4). Suppose -d*w = -4*y - 3*w + 218, -5*w = 25. Is y a multiple of 18?
False
Suppose 12*z - 250 - 170 = 0. Does 7 divide z?
True
Let c = 8 + -5. Let x(k) = -k**2 + 4*k**2 + 4 - k**c - 3*k - 5*k**2. Is 11 a factor of x(-3)?
True
Let s = -7 + 6. Let j be 1 - (4/s + 2). Is 7 a factor of 3/(j/13) - -1?
True
Let j be (8/5)/((-6)/(-45)). Is (-534)/(-9) - j/9 a multiple of 13?
False
Suppose -73 = -7*a + 137. Is 10 a factor of a?
True
Let c = 33 - 25. Is 6 a factor of c?
False
Suppose -2*l - 4*y = -8, -2 = -5*l + 2*y + 6. Let v(z) = z**3 - 4*z**2 - 4*z + 1. Let f be v(5). Let b = f + l. Is 4 a factor of b?
True
Let o be (-204)/(-9) - 4/(-12). Suppose -3*b + 5*b - o = 5*y, -4*y - 49 = -5*b. Is 3 a factor of b?
True
Let q(b) be the third derivative of b**4/24 - b**3/3 - b**2. Let w be q(5). Is ((-3)/(-2))/(w/20) a multiple of 5?
True
Suppose u + 2 = 0, -5*h + 6*u = 2*u - 1898. Is 23 a factor of h?
False
Let o(r) = 9*r - 55. Does 14 divide o(12)?
False
Let o(w) = 2 + 7 - 15 + 6*w**2 - 6*w. Is o(-3) a multiple of 20?
False
Suppose -2*b + 126 = -3*n, 0 = 4*b + 3*n + n - 252. Suppose 0 = -15*s + 12*s + b. Is s a multiple of 7?
True
Let l be 1/1*(-3)/1. Is 5 a factor of -3 - 16*(l - -1)?
False
Suppose -3*f + 4*f - 16 = 0. Does 4 divide f?
True
Let k be 0/(-2) - -18 - 3. Suppose 3*g - t + 3 - 4 = 0, -3*g = 3*t + k. Does 21 divide (-16)/g*28/8?
False
Let s = -111 + 306. Is s a multiple of 39?
True
Let v = -20 - -12. Let p = v + 18. Is 4 a factor of p?
False
Let i = -77 + 122. Is 11 a factor of 20/12*(i + 0)?
False
Suppose -2*k + 3*k = -6. Let q be k/(1 + 10/(-4)). Suppose q*s = 61 + 3. Is s a multiple of 16?
True
Does 11 divide ((-4)/3)/((5/(-390))/1)?
False
Let b(g) = -g + 9. Let v be b(9). Suppose v*d = -2*d + 4. Suppose 0 = -n + 4*n - 2*h - 23, -17 = -d*n + h. Is 3 a factor of n?
False
Suppose 1500 = -4*f + 9*f. Suppose 0*k - f = -5*k. Does 13 divide k?
False
Let z(o) = -o**3 + 3*o**2 + 6*o - 1. Suppose 72 = -4*d + 2*v + 30, 9 = -3*d - 3*v. Let k = d + 12. Does 6 divide z(k)?
False
Let w(t) be the third derivative of t**4/4 + 7*t**3/6 + t**2. Is 15 a factor of w(3)?
False
Let m = 55 + -24. Suppose m = x - 52. Suppose -7*n + 2*n = -2*z + 47, -3*z + x = 5*n. Is z a multiple of 16?
False
Let m(a) be the third derivative of -a**4/24 + a**3/6 + 3*a**2. Let p(r) = 2*r - 2. Let x(d) = 7*m(d) + 3*p(d). Is 5 a factor of x(-9)?
True
Suppose 0 = -2*c + 173 - 59. Let d = c + -20. Is d a multiple of 23?
False
Suppose 3*b - 11 = 13. Suppose -t + 2*v - 5 + 13 = 0, -4*t = 2*v + b. Suppose 0 = -t*q - 4*q + 52. Is q a multiple of 13?
True
Let r(t) = t - 2. Let x(k) = k - 3. Let h(l) = 2*r(l) - 3*x(l). Let z be h(7). Let i = z + 20. Is 9 a factor of i?
True
Suppose 5*j + s = 22 + 74, 3*s - 28 = -2*j. Does 7 divide j?
False
Let h(y) = 2*y**2 - 2*y - 2. Let v be h(3). Suppose -v*w + 5*w = -35. Does 2 divide w?
False
Let o = -3 - -7. Suppose -o*p = 3*q - 2*q - 14, 0 = 4*q - p - 73. Does 6 divide q?
True
Suppose d - 12 - 13 = 0. Suppose -p - d = -6*p. Does 4 divide p?
False
Let x = 8 + 20. Let d = 11 - 7. Suppose 0*t - x = -d*t. Does 7 divide t?
True
Let g be -5 + (-2)/(-1) + 22. Let h = g - 12. Is 7 a factor of h?
True
Let w be 2/4*(-1 - -5). Suppose -w*u = j + 5, -7 = 3*u - 2*j + 18. Is (1 + -3)/(1/u) a multiple of 5?
True
Let v = -39 + 66. Suppose 0 = -6*s + 3*s + v. Suppose s = -3*f + 27. Is 3 a factor of f?
True
Let l(z) = -z**2 - z - 4. Let c be l(-5). Let d = -14 - c. Is d a multiple of 3?
False
Suppose k + 0*k = -12. Let u = k + 15. Is u even?
False
Does 13 divide (-10)/20*(0 + -124)?
False
Suppose -4*a - 108 = 2*i, 3*i - 38 = 3*a + 52. Let t = 70 + a. Does 21 divide t?
True
Suppose -7*v = -8*v + 48. Let t = 80 - v. Is 8 a factor of t?
True
Let j(w) = w**3 - 4*w**2 + 5*w - 2. Let u be j(3). Suppose -y + 3*y - 4*k - 14 = 0, -u*k + 1 = y. Is 5 a factor of 0 + y + (2 - 0)?
False
Let j be (-4)/(-12) - (-2)/(-6). Suppose j = 5*w - 2*y - 24, -5*w = -0*w - 4*y - 28. Does 2 divide w?
True
Let m be 2/(-3 + (-412)/(-136)). Suppose 0*d + 2*d = m. Does 7 divide d?
False
Let x = 3 - -2. Suppose 2*u - 48 = -4*s - 8, 5*s - x*u - 20 = 0. Is s a multiple of 8?
True
Suppose i - 4*m = -0*m + 14, -4*m = 4. Let r = -18 + i. Let d = 0 - r. Is d a multiple of 3?
False
Let k = 0 - 0. Suppose k = 5*y - 5*a, 3*y = -a + 30 - 10. Is (y + -4)/(2/36) a multiple of 9?
True
Suppose -5*r + 0 + 20 = 0. Suppose r*c = -8, 3*i - 3*c = 2*i + 82. Is 20 a factor of i?
False
Let h = -39 + 60. Is h a multiple of 4?
False
Suppose 141 + 3 = 2*o. Is o a multiple of 12?
True
Suppose -3*i + 3 = t, -2*t - 5*i = -0*i - 6. Suppose -56 = -t*x + x. Is x a multiple of 14?
True
Let q = 27 + 13. Is q a multiple of 10?
True
Is 12 a factor of 9/(-12)*-12 - -3?
True
Suppose 2*z - 11 + 3 = 0. Suppose -11 = -u - 4*d + 5, z*u - 8 = -2*d. Suppose -j + 6*j = p - 1, u = 5*p + 4*j - 150. Does 13 divide p?
True
Let a(r) = 47*r**3 + r. Let q be a(1). Let n be 5*(-3)/((-45)/q). Suppose -l - n = -2*h, -5*l - 24 = -3*h - l. Is h a multiple of 5?
False
Let w(p) be the second derivative of 0 - p**2 + 3*p + 1/3*p**3. Is 2 a factor of w(3)?
True
Let t(m) = -7*m**3 - 2*m**2. Let d be t(-2). Let v = 72 - d. Does 12 divide v?
True
Let x be 3 - (2 - -3)/1. Is (-13)/x - (-3)/(-6) a multiple of 3?
True
Suppose -3*n = 117 + 102. Let i = n - -47. Let q = i - -46. Is 10 a factor of q?
True
Let v be (4/6)/((-7)/(-21)). Suppose -4 - 40 = -v*n. Is 11 a factor of n?
True
Suppose -3*g + 78 = 2*i + 2*g, -3*i - 5*g + 107 = 0. Does 12 divide i?
False
Let s be -1*4/(16/(-20)). Suppose 0 = s*i + 3*f - 68, -3*f + 4 = f. Is 13 a factor of i?
True
Suppose 9 + 11 = 4*n. Let i(l) = 2*l. Is 8 a factor of i(n)?
False