 x) + -5. Is 2 a factor of (4/q)/(4/(-30))?
False
Let a(o) = 3*o**2 - 21*o + 13. Let w(p) = 4*p**2 - 31*p + 20. Let k(c) = -7*a(c) + 5*w(c). Let m be k(-9). Is 16 a factor of 1 + m - -1 - -30?
True
Let a = -161 - -383. Suppose -3*j + a = -0*j. Is 23 a factor of j?
False
Suppose -3*k + 333 = 5*c, -k - 5*c = -2*k + 131. Is 42 a factor of k?
False
Let c = -83 - -123. Does 8 divide c?
True
Suppose -3*v + 5*h = -300, -276 = -5*v + 3*h + 208. Let k = v + -55. Is 20 a factor of k?
True
Suppose 9*j = 4*j + 10. Suppose -5*h + 38 + 27 = 5*c, -2*h = j. Does 7 divide c?
True
Suppose -2 - 14 = -4*g. Suppose b + 4*o = 5*b - 320, 3*b + g*o - 205 = 0. Does 19 divide b?
False
Does 3 divide 4/14*48 + 14/49?
False
Suppose 0 = -5*j - 2 - 3. Is 19 a factor of 1*j/(-2)*38?
True
Let i(z) = -z**2 - 13*z - 8. Let c be i(-7). Let w = -14 + c. Is 15 a factor of w?
False
Let s(j) = 5*j**2 - j. Let i be s(1). Suppose -i = 4*k - 16. Is k a multiple of 3?
True
Suppose -2*i = 2*h - 46, 0 = 5*h - 0*i + 2*i - 115. Let d = h + -8. Is d a multiple of 5?
True
Suppose -6*g = -12*g + 36. Is g a multiple of 3?
True
Suppose -12 + 2 = -5*i. Let j be (-696)/(-14) - i/(-7). Does 6 divide j/6 - 1/3?
False
Let u = -55 + 78. Does 6 divide u?
False
Suppose 50 - 8 = 3*f. Is f a multiple of 7?
True
Let r = 145 - 82. Does 21 divide r?
True
Let c = 49 - 29. Is c a multiple of 14?
False
Suppose -4*m + 2*l = 4, 2*l - 3 = 3*m - 2*l. Let w be (m + -5)/((-12)/16). Suppose w = 2*s + g, 3*g + 0 = -s + 9. Does 3 divide s?
True
Suppose -2 = -5*g - 5*n + 3, -2*g - 16 = -4*n. Is g - (0 - 2 - 10) a multiple of 5?
True
Let s = 132 + -60. Is 24 a factor of s?
True
Let r be (-22)/55 + 8/(-5). Does 5 divide (-4 + r)/2 + 8?
True
Let f = -2 + 5. Suppose 4*p - 3*q - 94 = -0*p, f*p = q + 73. Is 13 a factor of p?
False
Let r = -1 + 13. Is 3 a factor of r?
True
Suppose 5*i - 535 = 3*x - 7*x, x = 2*i - 214. Does 12 divide i?
False
Suppose -8 = s + 4*v + 1, -4*s + 3*v + 21 = 0. Suppose 125 - 26 = s*l. Suppose 4*k = h - l, 86 = h + h + 2*k. Is 24 a factor of h?
False
Let w = 36 - 22. Let b be (-7)/w - (-1)/2. Suppose b = 3*y - 2*x - 75, 4*y + 4*x - 126 = -6. Is 12 a factor of y?
False
Let d = -33 - -46. Does 7 divide d?
False
Suppose -27*r - 224 = -34*r. Does 4 divide r?
True
Let c = 6 + -4. Let o = -5 + c. Is (2 + o + -2)*-2 a multiple of 4?
False
Let w = 91 - 58. Let t = -13 + w. Does 10 divide t?
True
Let f(n) = n**3 + 4*n**2 - 4*n. Is f(-4) a multiple of 8?
True
Suppose -5*f + 16 = 4*v - 7, -5*v - 4*f = -31. Suppose -v*o + 5*o = -88. Suppose t - o + 0 = -2*c, 2*t = -c + 19. Is 9 a factor of c?
False
Let j(t) = t**2 - 8*t - 12. Is j(12) a multiple of 16?
False
Suppose -4*o + 2*a - 51 = -181, -3*a + 9 = 0. Suppose -2*u = -6 - o. Is 10 a factor of u?
True
Is 31 a factor of (-339 - 5)*-1 - 3?
True
Is 8 a factor of 0/(12/3) - -16?
True
Let i be 3*1*(-219)/(-9). Suppose -3*n - i = -6*n - 5*q, -2*q = -2*n + 54. Does 14 divide n?
False
Let q be (0 - -2)*-1 - 0. Let a(j) = -2*j**3 + j**2 - j**3 + 4*j + 2 + j**2. Is 13 a factor of a(q)?
True
Suppose -77 = -5*a + 53. Is 11 a factor of a?
False
Suppose 21 = 5*c + 1. Suppose 120 = 9*b - c*b. Is 18 a factor of b?
False
Let q = 254 - 91. Does 28 divide q?
False
Let p(i) = -i**3 - 15*i**2 - 16*i - 15. Is 13 a factor of p(-14)?
True
Let g be (3/(-2))/(9/(-60)). Let k be -2 + (1 - 2) + -33. Let d = g - k. Is d a multiple of 18?
False
Let t(m) = -5*m. Let z be t(-1). Let b = z + 5. Is 5 a factor of b?
True
Suppose 3*t + k - 663 + 229 = 0, 0 = -3*k + 15. Is t a multiple of 33?
False
Let s be 1 + 134 + -1 + -3. Let l = s - 93. Does 13 divide l?
False
Let b(c) = 22*c + 5. Is 20 a factor of b(3)?
False
Suppose -2*q + k + 9 = 2*q, 5*k = 2*q - 27. Suppose -4*j = -3*j - 4*u + q, -5*u + 59 = 4*j. Is 3 a factor of j?
False
Suppose 2*w - 24 = -5*f - 6, 0 = 3*f + w - 10. Let u(p) = p - 2*p**2 + 9*p**3 + f*p**3 + 4*p**3. Is u(1) a multiple of 14?
True
Let w = -7 - -11. Suppose -2*o = -4*u + 30, 34 = 5*u + w*o - 23. Is 3 a factor of u?
True
Let m be -1 - 3 - -34*2. Let d = m - 23. Does 12 divide d?
False
Let z = -5 + 8. Suppose -2*u - z*c + c = -22, 0 = -c + 1. Does 4 divide u?
False
Suppose 13 = 5*t + 3*p, -3*t + 2*p - 5 = -28. Suppose 3*l + 3*k = 52 + 119, t*l - k - 273 = 0. Is 10 a factor of l?
False
Let c(d) = -d**3 + 6*d**2 + 5. Let l(r) = r**2 + 8*r - 3. Let u be l(-9). Let t be c(u). Is 6 a factor of (1 - 7/(-5))*t?
True
Suppose -4*f + 5*w + 4 = 0, 0 = -3*f + 4*w + 2. Let a = f - -10. Is 5 a factor of a?
False
Let k be 27/((15/(-2))/5). Let g = k - -9. Is 16*(-3)/g*3 a multiple of 8?
True
Let z(w) be the third derivative of -w**6/120 - w**5/6 + w**4/3 + w**3/2 + 3*w**2. Is z(-11) a multiple of 12?
True
Let z be (-20)/(-2)*24/10. Let r(v) = -v**3 - 7*v**2 - 7*v - 1. Let g be r(-5). Let h = g + z. Is h a multiple of 8?
True
Suppose 2*z + 10*n - 119 = 7*n, -4*n = 3*z - 176. Does 13 divide z?
True
Let t(b) = -b**3 + 5*b**2 + 2*b - 6. Let k(o) = 5*o**2. Let n be k(1). Is t(n) even?
True
Let r(o) = -o**2 - 10*o + 14. Let c be r(-12). Does 8 divide (15/c)/(6/(-104))?
False
Suppose 7 = 3*x - 2, 3*x = -j + 14. Does 4 divide j?
False
Let m be 46/6 - 1/(-3). Let t be m*((-11)/(-4) - 0). Let j = t + -12. Is 5 a factor of j?
True
Suppose 0*q + q = 69. Does 18 divide q?
False
Let x(r) = -r**2 + 12*r - 10. Is x(7) a multiple of 3?
False
Let p(s) = 15*s + 3. Let j be p(3). Suppose j + 40 = 4*w. Is 15 a factor of w?
False
Suppose 3*o + 4*j = 422, 4*o + 4*j - 346 - 210 = 0. Suppose 4*s = -5*k + 71 + o, -5*s - 5*k + 260 = 0. Suppose 5*q = -10 + s. Is q a multiple of 4?
False
Let f(l) = -l**3 - 6*l**2 - 4*l - 6. Let m(x) = -x**2 - 2*x + 2. Let q be m(-4). Is f(q) a multiple of 13?
False
Let s(h) = h**2 - 4*h + 7. Let d be s(7). Let f = d - 7. Is 12 a factor of f?
False
Let i(q) = -q + 45. Does 8 divide i(-11)?
True
Let a = 3 + -2. Suppose -u + 3 = -1. Suppose i - a = u. Is 2 a factor of i?
False
Suppose 201 - 61 = -5*m. Let t = 40 + m. Is 5 a factor of t?
False
Let u(x) = x**2 + 6*x + 35. Does 13 divide u(-17)?
False
Suppose 4*l + 10 = 5*l + 2*m, -5*l - 3*m = -71. Does 3 divide l?
False
Let c be 0*((-9)/3)/6. Suppose w - 4*q - 76 = c, 4*q = -9 + 1. Suppose -7*s - 4*z + w = -4*s, -3*s + 5*z + 50 = 0. Does 14 divide s?
False
Let b(m) = -m**3 - 4*m**2 + 5*m + 5. Let d be b(-5). Suppose -6 = -d*t + 29. Does 2 divide t?
False
Suppose -x + 2*l = -6*x + 3, x + 3*l = -2. Suppose -i + 2*b - x - 5 = 0, -i = 4*b - 24. Suppose 5*n - 10 = 0, -i = -f + 3*n - n. Is f a multiple of 4?
True
Let c be (-1)/(2 - 502/250). Suppose -47 + c = 6*g. Does 2 divide g?
False
Let k(m) = -m**3 - 9*m**2 - 9*m - 6. Let z be k(-8). Suppose 31 = -z*i - 9. Is -2 - ((-2)/2 + i) a multiple of 19?
True
Let u(j) = -47*j + 1. Let n be u(-2). Suppose 0 = -5*l - x + 55 + n, 4*l - 2*x = 134. Is l a multiple of 29?
False
Suppose -5*j - 2 + 12 = 0. Suppose 0 = -i + j*i - 11. Is i a multiple of 11?
True
Suppose 3*o - 2*o = 4. Suppose 5*i = o*l - 61, 4*i + 5*l = -i - 25. Let k = 15 + i. Does 5 divide k?
False
Let z(u) be the first derivative of -u**3/3 + 66*u - 2. Let d be z(0). Suppose -m - 51 = -4*m + 2*g, -5*m = 3*g - d. Is 4 a factor of m?
False
Suppose -2*z = -0*z - 18. Suppose 65 = -4*l + z*l. Does 13 divide l?
True
Let k(a) be the third derivative of 5*a**4/24 - 3*a**3 - a**2. Let h(x) = -2*x + 6. Let z(s) = 8*h(s) + 3*k(s). Is z(-10) a multiple of 4?
True
Suppose -3*v = 2*h - 3, 2*h - 2*v + 7 = 5*h. Suppose 0 = 2*d + 6, -2*l + h = 3*l + 4*d. Is l even?
False
Suppose 0 = -4*g + 33 - 1. Let j be ((-12)/g)/((-3)/(-8)). Let f = 7 + j. Does 3 divide f?
True
Suppose 0*a + 27 = h + a, -2*a - 81 = -3*h. Does 9 divide h?
True
Let y(r) be the second derivative of -r**5/20 + r**4/6 - 5*r**3/6 - 2*r**2 - 7*r. Is 28 a factor of y(-3)?
True
Suppose 0 = -j - j + 12. Let q(o) = o**2 - o + 7. Is q(j) a multiple of 16?
False
Let k(g) = -10*g - 10. Let o be k(-10). Let j = -36 + o. Is j a multiple of 18?
True
Suppose -2*h + 36 = -34. Is ((-427)/h)/(1/(-5)) a multiple of 23?
False
Let q = 108 + -49. Is q a multiple of 6?
False
Let h(z) = -6*z**2 - 11. Let v(p) = -p**2 - 1. Let k(t) = -h(t) + 4*v(t). Is k(-5) a multiple of 15?
False
Let t = 42 - 9. Does 28 divide t?
False
Is 12/8*160/6 a multiple of 9?
False
Let q(z) = z**3 + 9*z**2 + 2*z + 11. Let x be q(-9). Su