c a multiple of 19?
False
Suppose -38 = -2*s + 3*u, -4*u + 150 = 5*s + 32. Does 4 divide s?
False
Let z(p) = -30*p + 4. Let t be z(-4). Suppose 3*v + v = t. Is 12 a factor of v?
False
Let l be (-2)/(-6) + 207/27. Suppose l - 3 = o. Suppose -v - 4*v + 5*k = -130, 2*k = -o*v + 102. Does 11 divide v?
True
Let b(u) = -u**3 + 7*u**2 + 8*u + 1. Let z(p) = -p + 15. Let n be z(8). Let w be b(n). Suppose w = 5*k - 8. Is 13 a factor of k?
True
Let t = -11 + 3. Let o(v) = -6*v - 9. Let c be o(t). Suppose 3*k = -3*z - k + 50, -c = -2*z + 3*k. Does 9 divide z?
True
Let a(j) = 4*j**2 + 7*j + 6. Let p be a(-4). Suppose -9 = m - 4*q, -p = -3*m - 3*q - 9. Is 2 a factor of m?
False
Suppose -22 + 103 = 9*l. Is l a multiple of 9?
True
Let h(j) = j**2 - 7*j - 12. Let g be 12 - (0 - -3)/1. Does 3 divide h(g)?
True
Let j be (74/(-4))/((-1)/2). Let t = j - 20. Suppose -2*u + 47 = t. Is 13 a factor of u?
False
Suppose 5*h + 4*k - 336 = h, -3*k + 173 = 2*h. Let z = -44 + h. Suppose 0 = 2*x + 3*x - z. Does 7 divide x?
True
Let i(g) = -g**3 + 2*g - 1. Is i(-3) a multiple of 5?
True
Let z(n) = n**2 + 6*n - 9. Let g be z(-7). Let i be 7 - ((-5 - g) + 6). Suppose f - 14 = -i*m, m - 2*f + 2 - 1 = 0. Does 3 divide m?
True
Let c be (-88)/(-14) + 4/(-14). Let x be 1*(c*-1 + 1). Is 17 a factor of (-1 - -10)/((-1)/x)?
False
Let b(a) = -2*a**3 - 4*a - 4. Is 13 a factor of b(-3)?
False
Suppose 0 = 7*c - 2*c - 15, 4*c = 2*v - 100. Is v a multiple of 6?
False
Let u be (-48)/(-21) + (-4)/14. Let h(t) = -u - 2 - 3*t - 5*t + 3. Does 7 divide h(-1)?
True
Suppose -3*n = -2*n - 3*f - 7, -5*n - 19 = 3*f. Let q be n/8 + 3/12. Suppose 0 = 2*j + 3*w - 41, -3*j - 5*w + 3*w + 59 = q. Is 11 a factor of j?
False
Suppose -2*q - 742 - 8 = -2*m, 5*q = -5*m + 1925. Is 2/(-7) - m/(-7) a multiple of 17?
False
Let o = -67 - -99. Is o a multiple of 16?
True
Suppose 3*c = 13*c - 490. Is 36 a factor of c?
False
Suppose 0 = 2*x - 21 - 19. Is 4 a factor of x?
True
Suppose 4*j - 5 = 3*j. Suppose 3*i = -0*t - 3*t + 159, j*i + 2*t - 265 = 0. Is i a multiple of 22?
False
Let s = -54 + 28. Let t = s - -53. Is t a multiple of 15?
False
Let r(f) = 33*f. Is r(3) a multiple of 11?
True
Let k(a) = 2*a. Let t be k(1). Let x(l) = l**2 + 7*l**t - l + 4*l. Is 13 a factor of x(-2)?
True
Does 8 divide -3 - (21*-1 + -3)?
False
Let t = -66 - -105. Let h be (6/(-4))/(12/(-32)). Suppose h*v = 117 + t. Does 13 divide v?
True
Let u(c) = -c + 4. Let s be u(0). Is 13 a factor of 3/6 + 122/s?
False
Let v(c) = -4*c + 4. Let r be v(5). Let b be 3/2 - (-8)/r. Suppose -l + b = -5. Is l a multiple of 2?
True
Let v be ((-12)/4 + 3)*-1. Suppose h + 3*h - 48 = v. Is h a multiple of 8?
False
Suppose -6*v = -4*v - 3*u - 358, -3*v + u + 551 = 0. Does 21 divide v?
False
Let k = 2 - 3. Is 11 a factor of (0 + 1)/(k/(-15))?
False
Suppose -3*t + 5 = -7. Suppose -4*g = 5*i - 7, -g + 2*i + 17 = t*g. Is g a multiple of 3?
True
Let k(i) = 7*i**2 - 3*i - 2. Is 5 a factor of k(-1)?
False
Is (-56)/(-6)*(-12)/(-8) a multiple of 13?
False
Suppose 550 = 3*a + 5*q, 3*q + 928 = 5*a - 0*q. Is 20 a factor of a?
False
Suppose -m = -17 - 16. Suppose 0 = 3*f - m - 78. Is f a multiple of 18?
False
Suppose 2*r = 4*h + 6, -5*h - 3*r - r + 12 = 0. Is h*(-2)/(-4) + 20 a multiple of 7?
False
Suppose 5*w = w. Let o be ((-3)/2)/(3/(-4)). Suppose w*u - o*u + 36 = 0. Does 18 divide u?
True
Suppose -5*f = -42 - 88. Is 8 a factor of f?
False
Suppose 3*r - 240 = -0*r + 3*v, -5*r - 5*v = -400. Suppose 0 = m - 5*m + r. Is 10 a factor of m?
True
Let a(u) = -4*u - 3. Let p(i) = i + 1. Let j(l) = a(l) + 5*p(l). Let o be j(0). Suppose 2*q = -o*y + 50, 10 = 3*y + 2*y. Is 13 a factor of q?
False
Let n be 6/(-12) + (-2)/(-4). Suppose 2*t - 4*t + 34 = n. Is 16 a factor of t?
False
Let x be 42 + (-3)/((-6)/(-4)). Let z(l) = l + 10. Let p be z(10). Let c = x - p. Is c a multiple of 10?
True
Let j(w) be the first derivative of -w**4/4 + 8*w**3/3 - 2*w**2 + 3*w + 2. Is j(7) a multiple of 12?
True
Suppose 0 = -2*b + 10 - 4, -5*b = -h + 65. Is 20 a factor of h?
True
Let z be (-3)/2*6/(-9). Is 4 a factor of (1/z)/((-11)/(-143))?
False
Let z(j) = j + 17. Let w(d) = -d**2 - 10*d - 6. Let u be w(-9). Let g be (-9)/u + 1*-6. Is 8 a factor of z(g)?
True
Let f = 2 + 10. Is f a multiple of 12?
True
Let s(x) = -25*x. Let w(a) = a - 1. Let z be w(-2). Let n be s(z). Suppose n + 9 = 2*o. Is o a multiple of 18?
False
Let w be 2 - (-4)/(8/6). Let u(g) = -g**3 + 9*g**2 + g - 6. Let n be u(9). Suppose -n*f + 47 = w*y, 5*f - 4*y - 17 = 49. Does 14 divide f?
True
Suppose 6*t = 749 + 1243. Is t a multiple of 25?
False
Suppose 12*o - 1285 = 3119. Does 74 divide o?
False
Suppose 0 = -4*x - 219 - 13. Is 16 a factor of x*3/(-6) - 2?
False
Suppose 0 = m + 3*p - 90, -m + 2*p + 80 = 7*p. Is m a multiple of 14?
False
Let j = -7 - -32. Suppose 0 = u - 0*u - j. Is u a multiple of 25?
True
Suppose -5*n + 4*q + 2 = 0, n + 4 = 3*q - 0. Suppose 5*m + 5*i = 20, -2*m - 3 = 5*i - 2. Suppose c + n = m. Does 5 divide c?
True
Suppose 1057 = 5*t + 287. Is 11 a factor of t?
True
Suppose -4*u + 2 = -14. Suppose 0 = 5*x - x + 2*g - 112, -5*g + 124 = u*x. Is 13 a factor of x?
True
Let c(n) = 41*n**2 - n. Let y be c(1). Suppose -3*s + y = 4*u, 0*s = -5*s - u + 95. Does 10 divide s?
True
Suppose 3*i = 3*v - 57, -2*i - 3 = 4*v - 97. Is v a multiple of 6?
False
Suppose -3*n + 109 = 4*g, 4*n - 6 - 18 = -g. Does 7 divide g?
True
Let a(f) = -2*f**3 + f**2 + 3*f - 3. Is a(-3) a multiple of 10?
False
Is 20/50 + 1336/10 a multiple of 9?
False
Suppose -2*r = -3*r + 5*m + 10, 50 = 5*r - 3*m. Is 7 a factor of r?
False
Let k = 178 - 124. Is k a multiple of 11?
False
Let j(f) = -f**3 + 16*f**2 - 12*f - 20. Let q be j(15). Suppose -h = -2*h + q. Does 7 divide h?
False
Is 27 a factor of (-53 - 1)/((-2)/3)?
True
Suppose 0 = 4*n - n - 6. Suppose -n*x + 15 = -7*x. Does 14 divide ((-2)/1)/(x/42)?
True
Suppose -26 = -z - 2*y + 13, z - 38 = -y. Is z a multiple of 31?
False
Let o be (-3)/9 - (-130)/(-6). Does 4 divide ((-7)/2 - -3)*o?
False
Suppose -5*k = 3*c + 2, 3*c = 4*k + c - 16. Suppose k*b - 48 = -4*r - b, 3*b = 4*r - 72. Is 6 a factor of r?
False
Let b(o) = o**2 - 3*o + 4. Let f be b(4). Let q be f/6 + 10/15. Does 13 divide (7 - q)*(-39)/(-5)?
True
Suppose 0 = -10*a + 5*a + 140. Suppose -5*l = -2*s - 130, 2*s + a = l - 6. Does 6 divide l?
True
Suppose -8 = 6*r - 10*r. Let y = -6 - -9. Suppose -6*p = -3*p - y*z - 87, 6 = -r*z. Is p a multiple of 13?
True
Let t(q) = q**2 - 6*q - 4. Let l be t(7). Suppose 3*z - 2*z + 5*b = 11, -17 = -l*z + b. Suppose -4*f = -z*f + 3*p + 32, 9 = f - 5*p. Is 10 a factor of f?
False
Let c(i) = -2*i**3 - 5*i**2 - 8*i - 8. Does 24 divide c(-4)?
True
Suppose l - 12 = -0*l + 2*q, 51 = 2*l + 5*q. Is l a multiple of 18?
True
Suppose -4*n - 97 = -3*l - 0*l, -2*n = -3*l + 95. Is 8 a factor of l?
False
Suppose 1 = l - 1. Let x = l - 1. Is -1 + (2 - (x - 6)) a multiple of 5?
False
Let f = 8 + 4. Is 6 a factor of f?
True
Suppose 3 = -4*y + 2*b + 7, -y + 4*b - 6 = 0. Let f = y + 16. Is 7 a factor of f?
False
Let p(h) = -25*h + 3. Does 26 divide p(-3)?
True
Suppose u + 40 = -3*u. Let o = 19 + u. Does 3 divide o?
True
Let g = -120 - -219. Let s = g + -41. Does 20 divide s?
False
Let u(c) = c**3 + 4*c**2 - 6*c - 2. Does 8 divide u(-3)?
False
Let v(q) = 12*q - 6. Let k be v(8). Is 6 a factor of k/(-4)*(-12)/15?
True
Let k be 1/2 - (-3)/(-6). Suppose k = -d - d + 12. Suppose -3*u + 3 + d = 0. Is 2 a factor of u?
False
Let k(w) = -2*w**3 - 5*w**2 + 5*w + 6. Let v = -5 - -1. Is k(v) a multiple of 17?
True
Let j = 2 + 0. Suppose j*s - 33 = 3*w - 0*w, -4*w = -3*s + 52. Is 19 a factor of s?
False
Suppose -5*s + 2*r = -29, -5*s - 4*r = r - 50. Suppose 0 = o - 25 - s. Does 26 divide o?
False
Suppose 6*s = s + b + 160, 5*s - 4*b = 145. Is s a multiple of 11?
True
Suppose 3*i - 7*i + 3*s = -212, -5*i + s + 265 = 0. Suppose -3*r + 1 = -4*l + i, 0 = l - 3*r - 4. Is l a multiple of 8?
True
Let f = 4 + 3. Does 7 divide f?
True
Suppose 32 = u + 5*t, 44 + 41 = 2*u + 3*t. Let p = u + -23. Is p a multiple of 8?
True
Let q = 50 - 150. Let k be (-20)/11 - (-4)/(-22). Is 13 a factor of (4/8)/(k/q)?
False
Suppose 50 = 8*z - 30. Does 7 divide z?
False
Let x be 6/12 + (-638)/4. Let l = -112 - x. Is l a multiple of 14?
False
Let u(i) = i**3 + 6*i**2 + 6*i + 2. 