u - j*u - 7. Let w(a) = -10*a + 1. Is w(q) a multiple of 16?
False
Let t(k) = 2*k**3 - 2*k**2 - k - 4. Is t(3) a multiple of 2?
False
Suppose 2*s = s + 12. Suppose 4*z = s - 4. Suppose z*i - 14 = -2*i + k, -5*k = -5*i + 10. Does 2 divide i?
True
Let a(p) = -9*p + 30. Does 2 divide a(3)?
False
Let y = -31 - -19. Let v be 22/(2 - 1)*-2. Let c = y - v. Is c a multiple of 16?
True
Let v(g) = g**2 + 10*g - 3. Let u = 7 + -19. Does 20 divide v(u)?
False
Let o = 204 - 10. Suppose o = 5*d - 2*u + 3*u, 0 = -4*d - u + 156. Is d a multiple of 14?
False
Let i(d) = 10*d - 3*d**3 + 2*d**3 + 9*d + 4 - 9*d**2 - 10*d. Does 2 divide i(-10)?
True
Let l = 118 + -48. Suppose -2*h - l = -7*h. Is h a multiple of 14?
True
Let t = -161 + 245. Is 21 a factor of t?
True
Suppose 0 = -5*k + 186 + 234. Is 14 a factor of k?
True
Suppose -5*d + 4 + 21 = 0. Is 22 a factor of (-2 - -1)/(d/(-330))?
True
Let q = -6 - -31. Let r = 47 - q. Is 2/(-11) - (-576)/r a multiple of 12?
False
Let v be -1 + 5 + (1 - -1). Let m(j) = j**2 - 8*j + 3. Let y be m(v). Let k = 16 - y. Is k a multiple of 16?
False
Let u(h) be the second derivative of 0 - 1/20*h**5 + 0*h**2 - 5/6*h**3 - 5/12*h**4 - 3*h. Is 2 a factor of u(-4)?
True
Suppose 2*y = 6*y + 16. Let j(m) = -2*m - 3*m**2 + 4*m + 4*m**2 + 2. Is j(y) a multiple of 10?
True
Let g(k) = 4*k**2 + 16*k + 10. Is g(-11) a multiple of 35?
False
Let j(y) be the third derivative of 0 + 0*y - 11/6*y**3 + 1/60*y**5 - 7/24*y**4 + 2*y**2. Does 3 divide j(9)?
False
Suppose 0*f - f = 0. Let g be f + 34 + 1 + -2. Suppose -4*h + g = 5. Does 7 divide h?
True
Let o(u) = u - 1 - 9*u + 2*u. Is 16 a factor of o(-9)?
False
Let f(z) = z**3 + 12*z**2 + 11*z + 15. Is f(-11) a multiple of 13?
False
Suppose -2 = 3*s - 8. Let x(q) = -q**3 - 2*q - 2. Let f be x(-2). Let t = f - s. Is 4 a factor of t?
True
Let k(y) = y**3 + 3*y**2. Is 8 a factor of k(3)?
False
Suppose 2*f + 2 = 0, -3*z = f - 5*f - 19. Suppose 6*t - j - z = 3*t, -25 = -4*t + 5*j. Suppose t = -5*m + 21 + 9. Does 3 divide m?
True
Let s(u) = u - 1. Let z be s(-2). Let p be 9 + z/(-3)*1. Is (6/p)/((-2)/(-10)) even?
False
Let u = 78 + -29. Let t = -25 + u. Does 15 divide t?
False
Let w be (2 + -1)/(1/2). Suppose -w*s = 2*s - 132. Does 14 divide s?
False
Suppose 2*u + 32 + 46 = 2*c, 230 = 5*c + 2*u. Let b(y) = -y**2 - 7*y - 2. Let j be b(-6). Suppose 0*i + j*i = c. Is 4 a factor of i?
False
Let b be (-4)/10 - 6/(-15). Suppose b*h - 9 = 3*h. Let a = h - -16. Is a a multiple of 13?
True
Let t = -1 - -3. Suppose u - 2*u - t*o + 12 = 0, -10 = -5*o. Let b = u + -3. Does 5 divide b?
True
Let j(n) = n**3 + 16*n**2 + 32*n + 1. Is 15 a factor of j(-13)?
False
Let f(t) = -3*t**2 - 3*t + 2*t**2 - 2 + 4. Let c be f(2). Let p(q) = q**2 + 8*q + 12. Is p(c) a multiple of 11?
False
Let d(w) = -w**3 - 9*w**2 - 6*w - 5. Let m be d(-7). Is 10 a factor of m/(-3) - (-9)/(-27)?
True
Is 21 a factor of 14/(-3)*(-243)/18?
True
Let r be 3/(-6)*(-3 + 5). Is -21*(0 - 2 - r) a multiple of 15?
False
Let a = -40 + 29. Let x(u) = u**3 + 12*u**2 + 9*u - 13. Is 9 a factor of x(a)?
True
Let u be ((-65)/5)/(2/(-6)). Suppose 3*a + 3*k = u, -2*k - 2 = -0*k. Is a a multiple of 5?
False
Let s = 56 + -49. Is s a multiple of 7?
True
Let q(w) = -w**2 + 13*w - 19. Does 7 divide q(8)?
True
Suppose -2*r = -0*t + 2*t - 82, -199 = -5*r - 3*t. Is 21 a factor of r?
False
Let g = 19 - 33. Let s = -26 - g. Let p = 2 - s. Is p a multiple of 14?
True
Let x = 1 - 0. Let f(o) = 3*o**3 + o - 1. Let s be f(x). Does 5 divide (1 + 9)/(s + -2)?
True
Let v = -1 - -4. Let d(b) = -4*b**2 - 3 + b**2 + 4*b + b + b**v. Is d(4) a multiple of 11?
True
Let p(g) = -4*g + 17. Let w(y) = -y - 1. Let a(n) = p(n) - 5*w(n). Is 10 a factor of a(0)?
False
Let v be (6/2)/((-4)/(-8)). Suppose v*a = a + 45. Is a a multiple of 3?
True
Is 6 a factor of (-300)/10*(-8)/6?
False
Suppose 5*l = -0*l + 495. Suppose -3*j + l = 39. Does 10 divide j?
True
Let w(r) = -r**3 - 11*r**2 - r + 16. Let o be w(-11). Let c = -5 - -7. Suppose -3*x - o = -5*n - 0*x, c*n + x - 2 = 0. Does 3 divide n?
True
Let j(u) = u**2 + 6*u. Let t be j(-5). Let d = 19 + t. Does 6 divide d?
False
Suppose 0 = 5*y - 5, 0 = -q - 2*q + 2*y + 1. Let x be (2 + -1)*(2 - q). Is 13 a factor of 2/(x/90*4)?
False
Suppose -5*s = -3*f - f + 16, 3*s - 12 = -3*f. Suppose 2*r - 48 = -f*o, 0*o - 5*o + 20 = 0. Suppose 0 = -3*k - k + r. Is 2 a factor of k?
True
Let l = 38 - 13. Does 9 divide l?
False
Let z(i) = i**3 + 8*i**2 - 11*i - 4. Does 14 divide z(-9)?
True
Let q = 4 - -53. Is 19 a factor of q?
True
Let p(k) = 2*k**2 - 2*k - 1. Let r be p(2). Let o be 20/r - 2/3. Is o/27 - (-70)/9 a multiple of 3?
False
Let i be (0 - (-32 - -2)) + 0. Suppose 0 = -2*j - 3*j + i. Does 4 divide j?
False
Let d be 24/(-56) - (-790)/14. Let w = d - 24. Does 12 divide w?
False
Suppose 0 = -4*p - p + 40. Suppose g - p*f + 9 = -4*f, 0 = 5*g + f - 18. Suppose -4*k + g*s + 85 = 0, 3*k - 60 = -0*k + s. Does 19 divide k?
True
Let s = -3 - -5. Suppose -6*t - 4*f + 24 = -s*t, -4*t + 18 = 2*f. Suppose t*c - 13 = 2. Is c a multiple of 2?
False
Suppose -11 = 2*h - 3*h. Is h a multiple of 9?
False
Let b = 44 + -23. Suppose 17 = p - b. Let t = p - 19. Does 8 divide t?
False
Is 24 a factor of 9/(-2)*(-44 - -18)?
False
Suppose -2*m + 16 = -6*m. Is -1 + 14 - (1 + m) a multiple of 8?
True
Suppose -4*q = -q - 18. Does 8 divide 346/18 - q/27?
False
Suppose -53 = -5*x + 4*a, -5 - 1 = 3*a. Suppose 0 = -5*n - s + 115, -4*s = -x*s - 25. Is 15 a factor of n?
False
Suppose -l = -6*l - 750. Let c = 217 + l. Suppose -5*y + 113 = -c. Is 17 a factor of y?
False
Suppose 0 = -u + 4*q + 52, -q + 2*q - 323 = -5*u. Is u a multiple of 16?
True
Let p = 17 + 39. Does 6 divide p?
False
Let i be (-886)/(-12) + (-2)/(-12). Suppose i = 6*c - 4*c. Is 27 a factor of c?
False
Let a(z) be the first derivative of -z**4/4 + 10*z**3/3 - 4*z**2 - 4*z + 2. Suppose 0*h = -5*h + 45. Is a(h) a multiple of 2?
False
Let o = 12 + -7. Suppose 0 = -o*z - 5*a + 175, 2*z + a = -z + 115. Is z a multiple of 10?
True
Suppose 2*t - 2 - 4 = 0. Suppose 41 = t*w - 124. Is 11 a factor of w?
True
Suppose -f + 28 = -2*m + 143, -2*m = -2*f - 110. Does 5 divide m?
True
Let t(m) = 11*m - 43. Let z(l) = -5*l + 21. Let w(f) = 4*t(f) + 9*z(f). Is 10 a factor of w(0)?
False
Let v(j) = -j**3 + j**2 - j + 4. Let q be v(0). Suppose q*p = f - 28, 2*f + 112 = 6*f + 2*p. Is 28 a factor of f?
True
Let q(l) = -2*l - 14. Let j be q(-8). Suppose -j*b = 2*y - 0*y - 72, -b + 30 = -y. Is 20 a factor of b?
False
Suppose 3*m - 55 - 8 = 0. Suppose -b - 30 = -k, k + 4*k - b - 170 = 0. Let n = k - m. Is 7 a factor of n?
True
Suppose 962 = 8*a + 5*a. Is a a multiple of 17?
False
Suppose -5*o = -2*f - 1 - 0, 5*f + 3*o - 13 = 0. Let l(s) = 4*s**2 - 3*s**2 - 3*s**3 + 3*s - s + 0*s**f - 1. Is 8 a factor of l(-2)?
False
Let u = -2 + 2. Suppose u = -3*z - 3*a + 41 + 16, -4*z + 4*a + 84 = 0. Does 10 divide z?
True
Let g(t) = -t**2 + 6*t - 3. Let d be g(5). Suppose d = -4*p - 2. Is 4 a factor of (6/p)/(6/(-8))?
True
Suppose 0 = -3*w + 6*w - 339. Is w a multiple of 24?
False
Let x(d) = -4*d - 6. Let t(o) = 2*o + 3. Let v(a) = 7*t(a) + 4*x(a). Is 5 a factor of v(-4)?
True
Suppose 2*l - 120 = 16. Suppose 4*p + 0*p = l. Is 13 a factor of p?
False
Let l be 3 - 0/(6/2). Suppose -l*u + 7 + 20 = 0. Is u a multiple of 9?
True
Suppose i - 22 = -b, 4*i - b - 88 = -4*b. Does 13 divide i?
False
Let z = 5 - 7. Does 3 divide 1*(-1)/z*14?
False
Let r be ((-1)/(-2))/(2/168). Let i be 21/15 - 3/(-5). Suppose -4*f = 3*m - r, -20 = -i*f + 5*m + 14. Is 12 a factor of f?
True
Suppose 0 = 3*l + 21 + 12. Let o = l + 2. Is 2 - o/(0 - -3) a multiple of 5?
True
Let i = 77 - 228. Let o = -101 - i. Is 15 a factor of o?
False
Does 13 divide ((-120)/14)/(22/(-154))?
False
Let u(n) = 3*n - 3*n + 18 - n**3. Is u(0) a multiple of 11?
False
Suppose -g - 2*g + 12 = 0. Let v = 4 - g. Suppose v*j = -j + 12. Does 7 divide j?
False
Suppose q - 110 = -2*a, 5*a - 555 = -5*q - 0*q. Suppose -q = -2*l - 2*l. Suppose -2*v + 5*c + l = 4, -c = -5*v + 83. Is 17 a factor of v?
True
Let c = 107 - 64. Is 21 a factor of c?
False
Let m(j) = -j + 137. Is m(0) a multiple of 15?
False
Let n = -192 + 276. Is 8 a factor of n?
False
Suppose 24 = -5*b + 6*b. Suppose -a = 2*a - b. Let f = a + 0. Is f a multiple of 4?
True
L