 Is v a multiple of 7?
False
Suppose 0 = -5*m - 1 - 4. Is 7 a factor of 3 + m - 7/(-1)?
False
Let u(t) = -4*t**2 - 13*t + 12. Let q(l) = 5*l**2 + 12*l - 11. Let z(i) = 3*q(i) + 4*u(i). Is z(-15) a multiple of 15?
True
Let p be -1 + -1 + 4 + -2. Suppose -m + 0*m + 3 = p. Is 9 a factor of 18/m - (-3 - 0)?
True
Is 22 a factor of 0 - -11*6 - 0?
True
Let f(m) = 10*m**3 - 2*m - 1. Let q be f(-1). Let r = 24 + q. Is 15 a factor of r?
True
Suppose 0 = -2*l - 0 + 6. Suppose l*k + 348 = 2*j, -20 = -5*k - 0. Suppose -25 = -5*q + j. Does 16 divide q?
False
Let u = 6 + -7. Let j be u - (2*-2 + -1). Suppose 9 = j*z + w - 0*w, 0 = -3*z - w + 6. Is z a multiple of 2?
False
Let c(n) = -n**3 - 8*n**2 + 9*n + 7. Let f be c(-9). Let j(a) = 9*a - 2. Let t be j(f). Suppose o = -3*m + t, 2*m - 4*o + 44 = 4*m. Is 19 a factor of m?
False
Let u = 124 + -58. Does 33 divide u?
True
Let b(d) = -3*d - 3. Let x be b(-2). Let h = 97 + -5. Suppose 7*n = x*n + h. Is n a multiple of 23?
True
Let a(u) be the third derivative of u**6/120 - u**5/10 - 5*u**4/24 + u**3/2 + 2*u**2. Is a(7) a multiple of 17?
True
Suppose 17 + 8 = -5*t. Let n be (-4)/14 - (-260)/28. Let i = t + n. Is 3 a factor of i?
False
Let g(t) = -10*t + 9. Is g(-4) a multiple of 9?
False
Suppose 4*t + 22 = -2. Is 7 a factor of 5/(15/t) + 9?
True
Let q(r) = -r**3 - 9*r**2 - 9*r - 2. Let p be q(-8). Does 8 divide ((-416)/(-24))/(4/p)?
False
Let n(r) = -r - 9. Let g be n(-7). Let w(j) = -j**3 + 3*j + 1. Let s be w(g). Suppose 8*b - 47 = 3*b - s*k, b + 13 = 5*k. Is b a multiple of 7?
True
Suppose 5*w - 3*s = 676, 3*w + 0*s - 405 = 2*s. Suppose 0 = 4*q + 20, -3*h + w = 5*q - 0*q. Is 15 a factor of h?
False
Suppose 3*x - 57 = -2*d, -d + 17 = -3*x + 2. Suppose 2*k + k = d. Let c = k - 2. Is c a multiple of 3?
True
Suppose -2*s - 3*n = n - 14, 2*s + 2*n = 24. Suppose r = 2*r - s. Is r a multiple of 8?
False
Let l = 316 + -222. Is 9 a factor of l?
False
Suppose 5*c - c = 0. Let t(l) = -l**3 - l**2 - l - 2. Let b be t(c). Let n = b - -20. Is n a multiple of 11?
False
Let w be 2154/27 - 6/(-27). Suppose -3*m = m - w. Let z = -1 + m. Is 19 a factor of z?
True
Let i be 26/6 - (-4)/(-12). Suppose -3*a + l = -i*l + 8, -5*a - l + 24 = 0. Suppose -11 = -d - 5*g + 23, a*d = 4*g + 40. Is d a multiple of 5?
False
Let p(h) = h**2 - 5*h + 5. Let b be p(5). Let o be 6/(-8) + (-12)/48 + 13. Suppose -2*v - b*y = -32, o + 14 = 2*v + 2*y. Does 5 divide v?
False
Let n = -8 - -13. Suppose -3*r = -n*w + r - 21, -4*w + 12 = 4*r. Is 9 a factor of (-3 - w)/(8/(-84))?
False
Is 15 a factor of 93 - ((-15)/5)/(-1)?
True
Let y(k) = -k**2 + 23*k - 14. Let t be y(10). Suppose 5*c = 74 + t. Does 19 divide c?
True
Suppose d - 2*d = 0. Suppose 250 = -d*b + 5*b. Does 25 divide b?
True
Let b(f) be the second derivative of f**5/20 - 5*f**4/12 - 7*f**3/6 + 7*f**2/2 + 2*f. Let p be b(6). Let t = 12 + p. Is t a multiple of 5?
False
Is 4/(-24) + (-266)/(-12) a multiple of 22?
True
Let t be (-18)/4*(-3 + 1). Is t/(0 + 1/2) a multiple of 6?
True
Let b = -15 - -30. Let w be 1 + (-5)/(b/(-6)). Suppose 5*f - p - w*p - 80 = 0, 2*p + 22 = f. Does 11 divide f?
False
Let b = 181 + -117. Is b a multiple of 17?
False
Let y be (1 - 1)/(2*1). Suppose y = k - 4*k + 15. Is k a multiple of 5?
True
Suppose 2*q - 74 + 30 = 0. Does 2 divide q?
True
Let h = 301 - 79. Is h a multiple of 18?
False
Let l(x) = 12*x**2 + x. Let m(d) = -d**3 - d**2 + 3*d + 3. Let y(w) = -w**3 - 6*w**2 + 6*w - 9. Let o be y(-7). Let c be m(o). Does 7 divide l(c)?
False
Is (12/(-22))/(-3) - (-2139)/33 a multiple of 12?
False
Let l = 0 + 3. Suppose 4*u - 15 = -v, -v - l*u + 18 = -0*v. Let n = v + -15. Is n a multiple of 8?
False
Suppose 0 = 5*g - 3*c - 105, -5*c - 1 = -g + 20. Let z = -23 - -14. Let x = g + z. Is x a multiple of 6?
True
Let p = 29 + 28. Let y = p - 33. Is 10 a factor of y?
False
Let h(d) = 12*d**3 - 4*d. Is 11 a factor of h(2)?
True
Let o(l) = l**3 + l**2 - 9*l - 2*l**3 - 8 - 8*l**2. Let a be o(-6). Suppose -d + 3*s = -a, 2 = -d + s + 12. Is 6 a factor of d?
False
Suppose 0 = -2*g - g + 6. Suppose 4*f - 10 = -f + 3*c, g*c = 2*f. Does 5 divide f?
True
Let r = -29 + 34. Is 14 a factor of 42/r*35/14?
False
Is (10/15*-30)/((-2)/4) a multiple of 11?
False
Suppose 2*g - 98 = 3*w, -5*g + 240 = -g + 5*w. Is g a multiple of 25?
False
Suppose 12 = o + 2*o. Let h = o - 2. Suppose -2*f + 3*f = h. Is f a multiple of 2?
True
Suppose -40 = v + 4*w, 5*v - w = -105 - 95. Suppose -o = -5*o + 3*f + 248, 0 = -2*f. Let u = o + v. Does 11 divide u?
True
Let p(c) = 2*c + 4. Let h be p(-4). Let s = h + 36. Is s a multiple of 11?
False
Suppose 4*g = -2*s + 3*s - 1, -g - 2*s = 7. Let r(k) = -21*k + 1. Does 8 divide r(g)?
False
Suppose 17 = y - 161. Is 21 a factor of y?
False
Let x(p) = -p**3 + p - 2. Let q be x(2). Let t = 2 + 13. Let g = q + t. Is 4 a factor of g?
False
Let a(s) = 3*s**3 - 2*s**2 + 2*s - 1. Let p be a(1). Suppose 0 = 3*k + p*k - 40. Is 4 a factor of k?
True
Let z = -4 + 7. Suppose 7 + z = -2*n. Let l(v) = v**3 + 5*v**2 - 5*v - 1. Is 10 a factor of l(n)?
False
Suppose 3*m - 10 = 2. Does 8 divide m/2*(-138)/(-12)?
False
Suppose -3*o = -o - 10. Suppose 5*y = 3*b - 83, 0 = -o*b - 4*y - y + 165. Is 14 a factor of b?
False
Let z = -7 + 13. Suppose z*i = 3*i. Suppose 2*k - 10 = 4*k, s - 2*k - 20 = i. Is s a multiple of 10?
True
Suppose 155 = -3*m + 2*k, -120 - 139 = 5*m - 4*k. Let q = -9 - m. Is q a multiple of 12?
False
Suppose -2*n + 13 = -239. Does 13 divide n?
False
Suppose -3*r - 4*q = -36, -5*r - 3 = -2*q - 63. Is 2 a factor of r?
True
Suppose 6*b - 160 = 164. Is 6 a factor of b?
True
Let t be -27 - (2 - (-2 + 5)). Let n = -12 - t. Does 7 divide n?
True
Let b = -13 - -21. Suppose b = 2*v, 2*f - 5*v - 26 - 6 = 0. Does 16 divide f?
False
Let a(h) = 3*h**3 - h - 13. Let y(q) = -16*q**3 + 5*q + 66. Let u(s) = -11*a(s) - 2*y(s). Is 11 a factor of u(0)?
True
Let h be ((-102)/4)/(1/8). Let l be ((-1)/(-3))/((-4)/h). Suppose q = l - 6. Is q a multiple of 11?
True
Let q(y) = -64*y + 4. Is 7 a factor of q(-2)?
False
Suppose -5*q + 32 = 2*m, 4*m - 10 = -0*q - q. Let s = q - 7. Is 9 a factor of (-1)/(((-3)/(-54))/s)?
True
Suppose -d + 16 = -5*j + 3*j, -2*j + 5*d - 24 = 0. Let b = 12 + j. Is 4 a factor of b?
False
Suppose -4*r + 30 = -42. Suppose 3*q = d - r, q - 23 = -d + 3. Does 12 divide d?
True
Suppose -3*q + 3 = -3. Let c be ((-1)/q)/(4/(-8)). Is -7*(-3 - 2)*c a multiple of 13?
False
Let d(s) = -s**2 + 6*s - 5. Let i = 0 - -4. Does 3 divide d(i)?
True
Suppose -5*s - 3*i = -31, 0*s - 3*s + 19 = 2*i. Suppose -459 = -3*b + q, 0 = -0*q - s*q. Suppose 3*c - 35 = -2*m + 44, 5*c = -4*m + b. Does 16 divide m?
True
Let z = -193 + 273. Does 22 divide z?
False
Let n(j) = -j + 11. Let p be n(9). Suppose -p*y + 3*y - 5 = 0. Suppose -3*o = -6*o - 2*a + 59, 3*a = -y*o + 99. Does 8 divide o?
False
Suppose i + 22 = 5*w + 53, 0 = 2*i - 5*w - 37. Is i a multiple of 2?
True
Does 14 divide (-28*63/(-72))/(1/8)?
True
Does 7 divide 42/9*((-648)/(-21))/4?
False
Is 5 a factor of (-412)/(-20) + 6/(-10)?
True
Let d(n) = n**2 + 4*n + 3. Let l be d(-5). Let h = -52 + 62. Let v = h - l. Is 2 a factor of v?
True
Let n be (-2)/(-4)*0/(-1). Suppose n = o - 3*o + 6. Suppose -6*i + 2*i - 30 = -o*m, -m + 3*i + 15 = 0. Does 4 divide m?
False
Suppose y - j - 9 = 0, 4*y - 31 = -0*y + 3*j. Suppose 3*z + y*g + 5 = 0, -3*g = -6*g + 3. Is 12 a factor of (0 - -21 - z)/1?
True
Suppose 0 = -v - 3*o + 2, -4*o = -3*v + 65 - 7. Is 7 a factor of v?
True
Let k(a) = -81*a - 2. Let z be k(-2). Does 20 divide (8/(-10))/((-4)/z)?
False
Let q(i) = 7*i**2 + 7*i - 5. Let g(x) = -4*x**2 - 3*x + 2. Let o(u) = -5*g(u) - 3*q(u). Is 3 a factor of o(-5)?
False
Let m(q) = -q**3 - 2*q**2 + 6*q + 5. Let u be m(-5). Suppose -3*a + a = u. Let z = a - -41. Is z a multiple of 16?
True
Let m be (-4)/12 + 24/(-9). Let l(s) = s**3 + 4*s**2 + s + 2. Does 4 divide l(m)?
True
Suppose 0 = r - s - 36, 4*r - 3*s = 2*s + 144. Does 8 divide r?
False
Suppose -5*o - 4*v + 40 = 0, 0 = 2*o - 3*v - 4 + 11. Suppose 0 = o*l - 12 - 24. Is 3 a factor of l?
True
Let t be (20/6)/((-8)/(-12)). Let j(n) = -3*n + 11. Let f(a) = 2. Let h(w) = 14*f(w) - 2*j(w). Does 14 divide h(t)?
False
Suppose 3*r + 10 = -5*m, -r + 8 + 17 = -4*m. Does 12 divide -12*m/((-60)/(-33))?
False
Suppose -3*p + 13 = -227. 