2 a factor of (19 + -1)*w/9?
True
Let f be -7 - (2 + -5) - 6. Let x be 54/f + 12/30. Let j = x + 16. Is j a multiple of 11?
True
Let z = -115 - -117. Let u(a) = 12*a**2 + a + 2. Is u(z) a multiple of 24?
False
Is 51 a factor of (-6908)/(-66)*(-27)/(-6)?
False
Let v be (9/(-3))/((-3)/2). Suppose -11 = -4*b - 5*w + 6, -5*b - v*w + 17 = 0. Suppose -b*l + 142 = 52. Does 10 divide l?
True
Let z(k) = 3*k**2 + 868. Does 4 divide z(0)?
True
Let k(a) = 8*a**2 + 24*a - 182. Is 21 a factor of k(14)?
True
Suppose 3*q + 393 = u, -2*q - 2*q = 2*u - 826. Is 9 a factor of u?
True
Suppose 0 = 2*p - 3*p. Suppose 4*x = 3*v - 90, 3*v - x - 52 - 38 = p. Suppose -2*k - 3*y + y + v = 0, k + 3*y - 7 = 0. Is k a multiple of 19?
True
Let x(f) = f**2 + 6*f + 13. Let o be x(-3). Suppose 4*m - o*g - 376 = -116, 2*g = -2*m + 130. Is m a multiple of 5?
True
Suppose -83 + 33 = -10*h. Suppose 0 = 5*y - f - 954, -5*f + 196 = -4*y + h*y. Is y a multiple of 8?
False
Let r(c) be the first derivative of -c**5/60 + 3*c**4/8 + 5*c**3/2 + 7*c**2/2 - 3. Let a(d) be the second derivative of r(d). Does 6 divide a(7)?
False
Let y(h) = -12*h**2 - 4*h - 1. Let p be y(-2). Let n = p + 90. Is 7 a factor of n?
True
Let x be (76/(-6))/((-320)/105 - -3). Suppose -4*k + x - 10 = 0. Is k a multiple of 13?
False
Is 14 a factor of (-45)/(-10)*(-20344)/(-36)?
False
Suppose 0 = 3*m - 4*o - 2 - 23, 31 = 5*m - 4*o. Suppose -20 = -m*l + l. Does 7 divide l?
False
Let b be (10 + -7)/(((-3)/4)/(-1)). Let l(u) = 3*u**2 + 3*u - 1. Is 10 a factor of l(b)?
False
Let n = 5 - 13. Let v(w) = w**3 + 9*w**2 + 2*w - 26. Does 3 divide v(n)?
False
Suppose 2*b = 2*z - 870, 2*z = z - 5*b + 465. Does 20 divide z?
True
Suppose 0 = 14*d - 10*d - 332. Suppose 137 = -d*r + 84*r. Is r a multiple of 8?
False
Suppose -5*n + 4*n + 3 = 0. Let f be (-42)/(-5) - n/(-5). Let y(l) = -l**3 + 9*l**2 + 7*l + 7. Does 35 divide y(f)?
True
Let b be 201/4 + (-1)/4. Suppose -2*s + 0*s + 2*n = -20, -n = 5*s - b. Let l = 1 + s. Is l a multiple of 11?
True
Does 14 divide (136/(-3))/((-14)/147)?
True
Suppose -5*x + 65 = -0*s + s, 2*x - 4 = 4*s. Let l = x + -3. Suppose 5*h - 124 = 4*j, -25 = -4*j - l. Is h a multiple of 10?
False
Suppose 0 = d - 2, -2*v = 3*d - 131 - 73. Does 11 divide v?
True
Suppose -a - 2*u = -263 - 131, 0 = -5*u + 10. Suppose -2*b = -5*p - 411, 5*b + a = -7*p + 2*p. Let w = p - -116. Is 7 a factor of w?
True
Is 18 a factor of 333/2*(-324)/(-729)?
False
Let o be (-12 - 6)*1/(-3). Suppose 14 - o = 2*p. Suppose -2*v + 38 = 2*t, 4*t - 76 = -p*v + 3*t. Is v a multiple of 10?
False
Let i(q) = -3 + 3*q - 3*q - q + 0. Is 2 a factor of i(-9)?
True
Let a be 11 - (-2 + (4 - 1)). Suppose 2*f + 3*h - a = h, -2*f + 2*h - 2 = 0. Suppose 5*l = -4*y + 161, 0 = f*y - l - l - 58. Is 14 a factor of y?
False
Suppose -15*b + 12*b + 1032 = 3*x, -4*x = -5*b + 1720. Does 8 divide b?
True
Let f(x) = 43*x**2 + 13*x + 8. Does 15 divide f(-3)?
False
Let l(c) be the second derivative of -c**5/20 - c**4/4 - c**3/2 - c**2/2 - 5*c. Let n be l(-3). Suppose -n*a + 3*a = -245. Does 10 divide a?
False
Let m be (-3 + 2)/((-1)/(-2)). Let d = 26 - m. Is d a multiple of 7?
True
Let i(m) = m**2 + 4*m + 4. Let n be 2/(-3) - 10/3. Let w be i(n). Suppose w*g - 2*r - 10 = 3*g, g - 5*r = 22. Is 2 a factor of g?
True
Let i(g) = -4*g**3 - 2*g**2 - g + 1. Let w be i(-1). Suppose w*m = 2*c + 3*m - 348, 870 = 5*c + 4*m. Is 29 a factor of c?
True
Let p = -163 - -305. Suppose 5*v = 5*k - 760, -3*v + 152 = 2*k - p. Is (k/3)/2 + 1 a multiple of 13?
True
Suppose 468 = 5*m + 4*k - 740, 5*k = -15. Does 4 divide m?
True
Suppose -293 = -3*u - h, -4*h + 192 = 2*u - 0*h. Is u a multiple of 4?
False
Suppose 4*h = 5*t + 330 - 6980, -4*h - 1330 = -t. Does 38 divide t?
True
Let t = -329 - -986. Does 20 divide t?
False
Suppose 2*x - 12 = -2*x. Let d = -48 + 50. Suppose 0 = a + d*r - 32, -50 = x*a + 3*r - 161. Is 14 a factor of a?
True
Let l(j) = 2 + 24*j**2 + 0*j + 0 - 23*j**2 - 2*j. Let u be l(2). Does 30 divide 47 - 1/(1/u)?
False
Let r = -507 + 1155. Is 60 a factor of r?
False
Let l(f) be the third derivative of f**2 + 2/15*f**5 - 5/24*f**4 + 0*f + 1/120*f**6 - 2/3*f**3 + 0. Is 25 a factor of l(-8)?
False
Suppose -4*v + 5*d + 914 = 0, -2*v + 685 = v - 4*d. Does 11 divide v?
True
Let t be 1/((-10)/(-4) - 2). Suppose 4*u + 31 - 3 = -t*v, 0 = -2*v - 4. Let j = u + 18. Is j a multiple of 6?
True
Suppose 3*x - 26 = 4*z - 0, 2 = 2*z. Let b = -110 + 168. Suppose -2*l = -b + x. Is l a multiple of 8?
True
Suppose 101 = h + 5*s + 26, s = 2*h - 117. Is h a multiple of 5?
True
Let z(d) = 0*d - 2 + 3*d**2 + 0*d**2 + 3*d. Let q be z(-3). Suppose 3*r = -v + 19, 3*r + 4*v - q = r. Is 6 a factor of r?
True
Is (-2656)/(-28) - -1 - 6/7 a multiple of 5?
True
Suppose -5*p - 465 - 375 = 0. Let t = -118 - p. Is 10 a factor of t?
True
Suppose 5*u = 20, -62 = -0*n - 3*n + 4*u. Suppose 0 = a - 40 - n. Is a a multiple of 11?
True
Let y(v) = v**2 - v + 4. Let p be y(0). Is 7 a factor of p/26 + (-2534)/(-91)?
True
Let q(y) = 5*y**3 + 5*y**2 - 21*y + 7. Is q(4) a multiple of 76?
False
Let n(z) = 48*z - 439. Is n(15) a multiple of 9?
False
Let q = -11 + 5. Let t be (-57)/q + (-4)/(-8). Is -35*((-34)/t - -3) a multiple of 11?
False
Let w = -449 - -445. Let p(n) = n**3 - 3*n**2 - 3*n + 2. Let f(s) = s**3 - 2*s**2 - 3*s + 2. Let c(j) = 7*f(j) - 6*p(j). Does 5 divide c(w)?
False
Let j(p) = -4*p**3 - 2*p**2 - 6*p - 4. Is 12 a factor of j(-4)?
False
Let a(l) = l - 11 + 5 - l**3 + 10*l**2 + 4 - 5. Let x be a(10). Let z(r) = 8*r**2 - 2. Is 11 a factor of z(x)?
False
Suppose 20*i = 3*p + 17*i - 711, 5*p = -2*i + 1192. Does 2 divide p?
True
Let h(a) = -2*a**2 + 67*a - 171. Is 5 a factor of h(29)?
True
Suppose 3*q - 101856 = -45*q. Does 19 divide q?
False
Is (-2499)/6*84/(-49) a multiple of 28?
False
Let s be 393/9 - 2/(-6). Let b be 143/s - 2/8. Suppose -b*n = -n - 24. Is n a multiple of 6?
True
Suppose -5*b + 6*b = y + 274, 5*b - 1370 = -y. Is 50 a factor of b?
False
Suppose 2*b - b - 5 = 0, -30 = -j - 3*b. Let s be (-26)/((-20)/j - -1). Does 2 divide (s/(-9)*3)/(-2)?
False
Let r(g) = -38*g**2 - 42 + 36*g**2 + 18 - 27*g. Is 12 a factor of r(-12)?
True
Let b(w) = -3*w - 10 + 0 + 41 + 2*w. Is 3 a factor of b(13)?
True
Let s(a) = a**3 - 12*a**2 + 14*a - 16. Let z be s(11). Let c = 49 - z. Does 8 divide c?
True
Let f = -18 - -52. Let h = 57 - f. Does 23 divide h?
True
Let c(r) = -r**2 - 4*r + 5. Let m be c(-4). Suppose -2*s + 3 + m = 0. Is s - ((-2 - -2) + 2) even?
True
Suppose 4*v + 258 = 7*v. Let q = v - 19. Suppose 2*u = -0*i + 2*i - 110, -5*u - q = -i. Does 13 divide i?
True
Let s = -14 - 2. Let p(h) = -h**2 - 15*h + 16. Let f be p(s). Suppose 0 = -5*w - f*w + 110. Is w a multiple of 13?
False
Let x = 37 - 53. Does 15 divide -6*840/x*(-2)/(-6)?
True
Does 7 divide 7/(-2)*-19*2?
True
Let q(r) be the first derivative of -r**3/3 - 3*r**2 - 5*r + 6. Let p be q(-5). Suppose -4*s + p = -120. Is 10 a factor of s?
True
Suppose 0 = -19*t + 38*t - 4256. Is 67 a factor of t?
False
Let v be -3 + (-6)/(18/(-195)). Let s = v - 35. Is s a multiple of 9?
True
Is 76 a factor of 12/8*343/21*46?
False
Let s(c) = -c - 1. Suppose 2*f + 21 = -3*d, 4*d + 7 = -5. Let x be s(f). Does 21 divide ((-2)/x)/(11/(-990))?
False
Let a(v) = v**3 + 6*v**2 + 5*v + 2. Let f be a(-5). Let u be 4/(-6) - 56/(-21). Suppose -i = -5*l - 85, -u*l = f*i + 2*l - 114. Is 13 a factor of i?
True
Let z(w) be the first derivative of -9*w**2/2 + 4*w + 14. Is z(-8) a multiple of 19?
True
Let o(n) = -10 - 13 - 1 + 15 + 2*n. Is 19 a factor of o(14)?
True
Suppose x = -6 + 14. Let v = x - 3. Suppose h - 1 = 0, v*y + 2*h + 0*h - 72 = 0. Is y a multiple of 7?
True
Let d(b) = -2*b**2 + 2*b - 1. Let t(f) = -f**2 - f + 1. Let x(g) = -d(g) - 2*t(g). Let n be x(-1). Suppose -n*a + 2 = -2*a. Is a even?
True
Let b be (-12)/(-20) - (-14)/10. Let q be -3*(b + -3) - 3. Suppose q*j = j - 30. Is 11 a factor of j?
False
Suppose -4*p + 46 = 2*z, -22 = -4*p - 4*z + 34. Let b = 13 - p. Does 6 divide ((-3)/2)/(b/(-64))?
True
Let t be 0 - 1 - (-17 + 14). Let y be 15*(-1 - -3)/t. Suppose 0 = y*r - 18*r + 186. Is 15 a factor of r?
False
Suppose 0 = -2*u - 3*u - 2*k + 4596, 2 = -k. Does 56 divide u?
False
Let d(m) = -m**3 + 5*m**2 - 4*m. Let p be d(3). Let j be 4/(-6) - 1165/(-15). Suppose -3*f + s = p*