divide j?
False
Suppose -4*o - 2*u = -46, 3*u = -0*u - 9. Is o a multiple of 7?
False
Let s(n) be the third derivative of -11*n**4/24 + n**3/6 - n**2. Suppose 0*y + 5*y + 5*t = -15, -2*y + 4*t = 0. Does 11 divide s(y)?
False
Suppose y - 5 = -4*n, 5*y - 2*n = -3*n + 6. Let g(p) = 14*p**3 + 2*p**2 - 1. Does 5 divide g(y)?
True
Let q = 6 - 8. Is 9 a factor of 46*(1/q - -1)?
False
Let c(z) = 4 - 4 - 4 + 2*z. Let b be c(5). Suppose -b*v - 5*a + 90 = -3*v, 4*a = -v + 30. Does 15 divide v?
True
Suppose -3*i + 8 = -i. Let b be 64/28 + i/(-14). Suppose 13 = -b*j + 3*j - 2*y, 4*y = 5*j - 89. Does 21 divide j?
True
Suppose 0 = -2*h - p + 135, -66 = -h - 2*p + p. Does 23 divide h?
True
Let c(m) = 2*m - 19. Let y(n) = -15*n + 153. Let h(i) = 33*c(i) + 4*y(i). Does 17 divide h(11)?
True
Suppose o - 1 = 3. Suppose -6*y + 11*y = -5*l + 5, o*l = 5*y + 49. Let c(u) = 5*u + 8. Is c(l) a multiple of 14?
False
Suppose 0*l - 3*l = -12. Suppose 0 = d + 3 - 8. Suppose r - 3*c - 5 = -0*r, -3*c + d = l*r. Is r a multiple of 2?
True
Suppose 0*s - 4*s + 20 = 0. Suppose 16 = l + 4*n, l = -s*n - 6 + 25. Is 4 a factor of l?
True
Is 10*(30/4 + 4 + -7) a multiple of 5?
True
Let u(i) = -2*i**2 - 3. Let p be u(4). Is (-745)/p + 4/(-14) a multiple of 14?
False
Let d = 9 - 7. Suppose 5*g + 4*f - d*f = 51, 4*f - 47 = -5*g. Is g a multiple of 4?
False
Let i(s) = 3*s**2 - 7*s + 22. Does 16 divide i(-7)?
False
Suppose -2*x = -6*x + 56. Let q = 19 - x. Does 5 divide q?
True
Suppose 5*c - 48 = 2*c. Is c a multiple of 8?
True
Let b(d) = -35*d**2 + 13*d + 9. Let u(c) = 9*c**2 - 3*c - 2. Let a(o) = 2*b(o) + 9*u(o). Does 3 divide a(-1)?
True
Let a(f) = 2*f - 30. Suppose 3*z + 2 = 26. Let w(y) = -y + 10. Let d(u) = z*w(u) + 3*a(u). Does 4 divide d(-7)?
True
Suppose 48 = b + 4*b + 4*j, 0 = -5*b - j + 57. Let d = 3 - 3. Suppose d = z + z - b. Does 3 divide z?
True
Is (21 + 1)*(-9)/(-18) a multiple of 8?
False
Let h be (-6)/10 - 14/10. Let i(j) = -j**3 - 2*j**2 + j - 1. Let g be i(h). Does 10 divide -1 - (-2 - (-78)/g)?
False
Let r(p) = p**2 + 4*p - 3. Let a be r(-5). Suppose a*s - 36 - 30 = 0. Is s a multiple of 16?
False
Let s be (-1135)/(-45) - 2/9. Suppose -5 = -t, 3*c - 7*c + 5*t = s. Suppose c*q = 2*q - 40. Is 12 a factor of q?
False
Suppose -13*k + 349 = -275. Is k a multiple of 28?
False
Let f be (-18 - 0)/((-6)/9). Let m = -12 + f. Does 12 divide m?
False
Suppose -16*y + 2013 = -867. Does 12 divide y?
True
Let x = -45 + 99. Is x a multiple of 23?
False
Is 23 - ((-3 - 0) + 2) a multiple of 12?
True
Let y = 6 - 2. Let u(v) = v**3 - 3*v**2 + 2*v - 6. Is 10 a factor of u(y)?
False
Let z(h) = -32*h - 75. Is z(-6) a multiple of 9?
True
Let n = 10 + -6. Let i be (-1)/n - 1/(-4). Suppose i = -7*s + 2*s + 90. Is s a multiple of 18?
True
Does 5 divide (-3 - (-21)/6)*4*15?
True
Let u = -232 - -386. Is 8 a factor of u?
False
Suppose -12 = -6*r + 4*r. Is 6 a factor of r?
True
Suppose 5*w = -13 - 2, 3*x - 5*w - 6 = 0. Is 3 a factor of -27*(x - 24/(-9))?
True
Suppose -6 = 2*k - 30. Let h = -7 + k. Suppose -j = o - 9, h*j + 2*o = 4*o + 52. Does 10 divide j?
True
Suppose 24 = 2*d - 66. Suppose -3*v = d - 303. Suppose -2*a = -k + 14, -3*k = k + 2*a - v. Is k a multiple of 10?
True
Let k = -2 + 10. Does 9 divide (1/2)/(k/192)?
False
Let p(m) = m**3 - 3*m**2 - m + 4. Suppose -r = -f + 4*f + 1, 5 = 5*f - 5*r. Suppose 4 = -4*v - f, w = 2*v + 6. Does 8 divide p(w)?
True
Let t = 3 + 10. Let g = t + -8. Suppose 58 = g*v - 117. Is 14 a factor of v?
False
Let y(z) = 3*z**2 + 3*z - 11. Does 29 divide y(12)?
False
Suppose 0 = s + 4*s - 70. Does 14 divide s?
True
Let f(y) = 13*y + 4. Suppose g = -s + 6, -5*s + 24 = 4*g - 4. Is f(g) a multiple of 17?
False
Suppose 2*y + 345 = 3*x + 5*y, y + 349 = 3*x. Does 58 divide x?
True
Let j(f) = -f**2 + 19*f - 47. Is 7 a factor of j(14)?
False
Let x be (-48)/(-5)*10/(-3). Let g = 2 - x. Is g a multiple of 14?
False
Suppose 0 = l + t - 6*t + 25, 5*l + 2*t - 10 = 0. Suppose -z + 7 = -2*s, l + 1 = s + z. Does 3 divide 3 + s + 10/2?
True
Let z(d) = -3*d**3 - 8*d**2 + d - 4. Is 14 a factor of z(-4)?
True
Let u = -1 + 1. Suppose 0*q + 5*h = q - 22, 4*q - h - 107 = u. Is 12 a factor of q?
False
Is 4 + -1 - -83*3 a multiple of 18?
True
Let w(o) = -o**3 + 9*o**2 - 6*o - 11. Let l be w(8). Let i(b) = 18*b + 4. Is 27 a factor of i(l)?
False
Let j be (3 - -1)/(2/29). Suppose 0 = 3*g - j - 8. Is 20 a factor of g?
False
Is 16 a factor of -1 + 1 + -2 - -18?
True
Let y = -9 - -11. Suppose -124 = -y*u - 50. Is 17 a factor of u?
False
Is 2 a factor of 3/(5/6 + (-11)/22)?
False
Let k(q) = -q**2 - 11*q - 5. Is 5 a factor of k(-6)?
True
Let z(y) = 3*y - 4. Let i be z(-2). Let f(g) = g**2 + 9*g + 3. Is f(i) a multiple of 13?
True
Let m = 49 + -24. Is m a multiple of 9?
False
Let h = 2 - -3. Let p be (4/6)/(h/15). Does 9 divide p/(-4) - 35/(-2)?
False
Let o(f) = -19*f - 2. Let k = -6 + 8. Suppose -k*n + 1 = 5. Is 16 a factor of o(n)?
False
Suppose 4*z - 188 = -4. Suppose -3*i - 165 = 2*i. Let h = z + i. Is h a multiple of 13?
True
Suppose -3*s - 5*d = -2*s + 17, -d = -3*s + 13. Suppose s*f = -4*g + 46 + 19, 0 = -3*f - 5*g + 70. Does 10 divide f?
False
Let g(a) = 116*a**3 - a**2 + 1. Let x be g(1). Suppose 0*s = 4*s - 2*f - x, 4*s + f = 110. Is s a multiple of 19?
False
Let f be -2 + 6 + 1 + 0. Suppose 23 = -f*z + 4*z. Let l = z - -40. Is 17 a factor of l?
True
Suppose 3*f = -f + 16. Suppose -15 = l + f*l. Let v = 15 - l. Does 13 divide v?
False
Suppose 2*w - 9 = -2*l + 33, -3*l = -4*w + 70. Is 3 a factor of w?
False
Let o = -2 + 11. Let y = o + 23. Is y a multiple of 8?
True
Let h(c) = 64*c + 1. Let v be 2/2*6/6. Is 25 a factor of h(v)?
False
Let h(k) = k**3 + 7*k**2 + 8*k + 8. Let o be h(-6). Let t be (-2)/(3/(6/o)). Is ((-9)/(-12))/(t/40) a multiple of 15?
True
Let p(o) = -30*o. Let x(f) = f - 1. Let c be x(0). Does 10 divide p(c)?
True
Suppose -26*r + 390 = -20*r. Is r a multiple of 5?
True
Suppose -6*u - 52 = -7*u. Suppose 0 = -q + 5*q - u. Is 4 a factor of q?
False
Let y(x) = -x**3 - 26*x**2 - 23*x + 60. Is 4 a factor of y(-25)?
False
Suppose 2*c - 23 = 9. Does 13 divide c/(2*3/6)?
False
Let c be 2*(2 - 7/2). Is 14 a factor of (8/6 - c)*9?
False
Let j = -5 + 7. Is 8 a factor of (1/j)/((-2)/(-32))?
True
Let a = 25 + -13. Is a a multiple of 4?
True
Suppose -3*w - 9 = -0*w. Let s be (-28)/w - 8/(-12). Is (-2 + 3)/(1/s) a multiple of 10?
True
Does 25 divide (92/(-20) + 1)/((-4)/110)?
False
Let t be 3 - (0 + 0 - 0). Let i(a) be the first derivative of a**4/4 - a**3 + 3*a**2/2 - 7. Is i(t) a multiple of 4?
False
Let g = 42 + -26. Does 16 divide g?
True
Let a be ((-63)/5)/(4/(-20)). Suppose -4*g - g - 4*v = -73, 0 = -5*g + v + a. Is g a multiple of 13?
True
Let w = 3 - 0. Suppose -p + 34 = -g + 4*g, 59 = 2*p - w*g. Let m = p + -19. Does 5 divide m?
False
Let g(r) = -r**3 + 3*r**2 + 4*r + 4. Let o be g(4). Suppose -36 = 6*b - o*b. Is 19 a factor of 48/b*(-114)/8?
True
Let l = 8 - 2. Does 3 divide l?
True
Let y(m) = -m**3 - 12*m**2 - 13*m + 14. Is y(-11) a multiple of 9?
True
Let r(u) = 0*u**2 + u**2 + 5 - 6*u + 0*u. Let p be r(6). Suppose m + p*f - 21 + 8 = 0, -f = 0. Is m a multiple of 11?
False
Suppose 2*d = 7*d - 30. Is 6 a factor of d?
True
Let q = -19 - -12. Let k(c) = c**2 + 5*c - 7. Let g be k(q). Suppose -g + 2 = 2*o + 5*u, -o + 5*u = -35. Is 10 a factor of o?
True
Let k = 464 + -182. Is 14 a factor of k?
False
Let v(w) = 4 + 2*w - w**3 + 5*w**2 - 4*w + 6*w**2. Let g be v(5). Suppose -3*y - y + g = 0. Is y a multiple of 18?
True
Let w(n) = n**3 - 4*n**2 + 2*n + 4. Does 3 divide w(5)?
True
Let b(q) = -q**3 + 5*q**2 + 3. Let m be b(5). Suppose 3*u - 78 = -5*d, -2*u + 2 = -0. Let j = d - m. Does 6 divide j?
True
Let s(a) = -a**3 + 8*a**2 - 6*a - 8. Suppose -6 = -2*d + 6. Does 6 divide s(d)?
False
Suppose 13*l + 10 = 18*l. Is (-95)/l*(-40)/50 a multiple of 15?
False
Suppose 2*f = 2*y + 2, 8*y - 3*y = 3*f - 11. Let c = 46 - y. Does 12 divide c?
False
Let r(o) = 3*o**2 + 19*o - 21. Let t(w) = w**2 + 9*w - 10. Let h(d) = 2*r(d) - 5*t(d). Is 8 a factor of h(9)?
False
Suppose 4*m - 285 = -41. Is 12 a factor of m?
False
Suppose 0 = -v + 4*v - 24. Suppose -3*b = z - v - 1, -b + 47 = 4*z. Is z a multiple of 4?
True
Suppose -2*q + 5 = -1. Suppose -k - a + 30 = -24, 2*k + q*a = 106. Does 14 divide (-1)