j, 4*d + 2*j - 59 = v*j. Is 13 a factor of d?
False
Let p(b) = 2*b**3 + b**2 + 3*b - 3. Let a(j) = 4*j**2 + j. Let r be a(1). Let m be ((-2)/5)/(r/(-25)). Is 21 a factor of p(m)?
False
Suppose -245 = -0*t - 5*t. Is t a multiple of 7?
True
Let o(w) = w**2 - 7*w + 24. Is 17 a factor of o(13)?
True
Let m be 10/(-4)*(-18)/15. Suppose -5*p = -m*u - 179, -3*p - u - 7 + 120 = 0. Is 16 a factor of p?
False
Let c be (7 + 2)*(-4)/(-6). Suppose 2*t + 3*j = -j - c, -3*j + 3 = 4*t. Is 23 a factor of ((-195)/t)/(1/(-1))?
False
Suppose -5*t + 274 = 4*r, -4*t + 0*t = -5*r - 211. Suppose 2*l = l + t. Does 23 divide l?
False
Suppose 4*t + 5*f = 104, -f = -0*f. Suppose j + j = t. Suppose 4*u - 3*u = j. Is u a multiple of 7?
False
Suppose -13 - 3 = -4*h. Suppose 2*r + h*o + 110 = 0, 2*r - 4*o + 68 + 2 = 0. Let x = r + 71. Is x a multiple of 13?
True
Let j = 22 - -3. Let p = 18 + j. Is 11 a factor of p?
False
Suppose -j - 22 = -3*j. Does 10 divide j?
False
Let d be -4 - 0 - 0/(-1). Let x = d - -6. Does 6 divide x/1 + (1 - -9)?
True
Suppose -198 = -5*q - w - w, 0 = -4*q + w + 161. Is 19 a factor of q?
False
Let k(z) = -40*z - 4. Let h be ((-10)/(-6))/((-3)/9). Let y be k(h). Suppose -4*p = -5*b + 164, 6*b + 4*p = b + y. Is 15 a factor of b?
False
Let k(s) = 1. Let c(y) = y**2 + 2. Let i(g) = c(g) + 5*k(g). Is 25 a factor of i(-5)?
False
Does 13 divide 338/10 + (-1)/(-5)?
False
Let h(m) = m**2 - 5*m - 6. Let o be h(6). Let f = 7 - o. Is 2 a factor of f?
False
Let p = -363 + 516. Does 12 divide p?
False
Let v be (7 - 1)/((-6)/4). Let p = 7 + v. Suppose -4*a + 0*a - 5*m + 87 = 0, p*a - m - 89 = 0. Does 14 divide a?
True
Let f be 0 + 4 - 0/(-3). Let u(r) be the first derivative of -r**4/4 + 4*r**3/3 + 3*r**2 - 4*r + 1. Is 13 a factor of u(f)?
False
Let w(t) = -4 + 1 + 16*t**2 + t + 3. Does 15 divide w(-1)?
True
Let d(b) = b + 18. Let g(t) = -t - 2. Let v(i) = -d(i) - 6*g(i). Let p(s) = 3*s - 6. Let l be p(4). Is 12 a factor of v(l)?
True
Let m(y) = -14*y**3 + y**2 + y. Let v = 1 + -2. Is 4 a factor of m(v)?
False
Suppose 0 = b - 15 - 9. Is 12 a factor of b?
True
Let h be (-4)/22 + 6/33. Suppose h = -4*c - 5*b - 22 - 9, -2*b - 26 = 5*c. Does 15 divide (-1 - (-82)/c)*-2?
False
Suppose -6*p + 11*p = 250. Is 10 a factor of p?
True
Let s be 26/8 - 1/4. Let g(n) = n**2 + n + 1. Let i be g(s). Let b = i - 6. Is 7 a factor of b?
True
Let g(z) = z + 6. Let a be g(-8). Let q be (-1 - 13)/a + -1. Suppose -85 = -q*t + t. Is 17 a factor of t?
True
Suppose -5 = 2*h + 1, 3*i - 45 = -5*h. Is 20 a factor of i?
True
Suppose 0 = -4*a - 6 - 10. Let t(q) = -9*q + 1. Does 15 divide t(a)?
False
Let m = 111 - 65. Does 11 divide m?
False
Let x(r) = -r**2 - 2*r + 1. Let s be x(-3). Is 3 a factor of s + 2/((-2)/(-5))?
True
Suppose -4*z + 470 = 5*b + z, -3*z = -5*b + 486. Does 14 divide b?
False
Let i(x) = 2*x - 2*x + 3 + 3*x + 0. Is i(6) a multiple of 8?
False
Suppose -135 = -5*n + l, 2*l + 36 = 3*n - 2*n. Suppose 0*y - 12 = -2*y - 2*m, 5*y = -4*m + n. Suppose -7 = -y*x + 19. Is x a multiple of 7?
False
Suppose 394 + 546 = 5*y. Is 41 a factor of y?
False
Let l = -15 - -29. Let m be 4/l + (-2)/7. Is 18 a factor of 52 - (0 - m) - 2?
False
Let g(p) = p**2 - 5*p - 26. Is g(12) a multiple of 5?
False
Let g be -76*(1/2 - 1). Is g/(5 - 3) - 0 a multiple of 14?
False
Let w = 41 - -61. Is w a multiple of 17?
True
Let z = -9 - -5. Is (-334)/z - 2/(-4) a multiple of 30?
False
Let v(c) = c**3 + 4*c**2 - 6*c - 4. Let u = 4 - 9. Let k be v(u). Does 7 divide (k/2 - 1)*-14?
True
Let f(t) be the second derivative of -t**7/840 + t**6/360 + t**5/120 + 11*t**4/24 + t**3/3 + 2*t. Let w(y) be the second derivative of f(y). Does 4 divide w(0)?
False
Let h(d) = -d**2 - 7*d + 1. Let y = -3 + 0. Let r be h(y). Let l = -8 + r. Is l a multiple of 5?
True
Let j be 0 + 8/2 + -1. Let f(a) = a**2 - 4. Let c be f(j). Suppose 4*h = -5*v + c, -2*h + v + 14 = 1. Is h a multiple of 4?
False
Let m(g) = -8*g + 2. Does 14 divide m(-12)?
True
Suppose -4*n = -3*d + 162 - 511, -5*n + 450 = -d. Let u = n - 37. Suppose -3*g + 4*g = u. Is 19 a factor of g?
False
Suppose -3*z = -0*g + 5*g + 7, z - 7 = -4*g. Let p = -5 - z. Suppose 5*b = 2*j + 1, -5*j - p*b + 61 = 14. Is 7 a factor of j?
True
Let d(x) = 3*x**2 + 9*x + 4. Does 19 divide d(4)?
False
Suppose 2*v = -2*x + 20, 4*x + 2*v = -2 + 38. Suppose 3*a = -5*m - 2, 3*a - x*a = 4*m + 12. Does 2 divide m?
True
Let z(a) = -2*a**3 - a**2 - 3. Let j(s) = -s**3 - 2*s**2 + s - 2. Let t(m) = -3*j(m) + 2*z(m). Let w be t(2). Suppose 0 = w*g - 4 - 22. Is g a multiple of 13?
True
Does 21 divide (2 - (-81)/12)*4?
False
Suppose 5*g - 2*g - 6 = 0. Let n be g/4*0/(-2). Suppose 2*p + 5 = -h + 16, n = h + 1. Is p a multiple of 6?
True
Let s(v) = -v**3 + 4*v**2 + 6*v - 7. Let y be s(5). Let g(j) = -j**3 - j**2 + 2*j + 2. Does 2 divide g(y)?
True
Let j = 8 + 16. Does 4 divide j?
True
Suppose 5*x = -k - 8, k - 4*x + 5 = -2*k. Let q(a) = -a**2 - 5*a - 3. Let r be q(-3). Does 6 divide (-2)/k + 16/r?
True
Let v be (-9)/(-15) - 994/(-10). Let p = 140 - v. Is p a multiple of 13?
False
Let h(k) = k**2 - 5*k. Suppose 4*a = 3 + 21. Is 3 a factor of h(a)?
True
Let q(m) = m - 2. Let g(v) = 2*v**2 - 3*v - 2. Let j be g(3). Is q(j) even?
False
Let y = 52 - 25. Is y a multiple of 9?
True
Let x = 4 - 3. Suppose -x - 15 = -4*a. Is 5 a factor of (1 + 0)*(a - -6)?
True
Let s = 2 + 1. Let t = -7 + s. Let m = 11 - t. Is m a multiple of 15?
True
Suppose 0 = -3*t - p + 5*p + 60, 5*p = 0. Suppose n = -3*n + t. Suppose 0 = 5*u + n - 155. Is 11 a factor of u?
False
Let p be (18/(-15))/(2/(-10)). Let s(z) = 4*z. Let q be s(p). Let o = q + -13. Is o a multiple of 11?
True
Let u(c) be the second derivative of c**4/6 - 13*c**3/6 - 7*c**2 - 4*c. Let h be u(11). Suppose 0 = 5*i - h - 0. Is 7 a factor of i?
False
Does 36 divide 5*24*(-2)/((-60)/63)?
True
Let c be (-2)/6 - 8/3. Let s(l) = -l**3 - 4*l + 1. Is s(c) a multiple of 20?
True
Suppose -5*k - 3*h = -9, 9 + 6 = -5*k + 5*h. Suppose k*a = -a - 1. Does 11 divide (-23)/a - (0 - -1)?
True
Let f(l) = -l**2 + 6. Suppose -j - j = 0. Is f(j) a multiple of 5?
False
Suppose u + 6 = 13. Let i = u - 15. Let m(h) = -h**3 - 7*h**2 + 6*h - 4. Is m(i) a multiple of 6?
True
Let n be (-38)/(-8) + (-5)/(-20). Suppose -4*s + 88 = -s - n*r, -2*r - 30 = -s. Is 13 a factor of s?
True
Let z(w) = -5*w**3 - 8*w**2 + 2*w - 5. Let s(r) = 14*r**3 + 24*r**2 - 6*r + 16. Let g(k) = -6*s(k) - 17*z(k). Let o be (-6)/(-5)*80/12. Does 2 divide g(o)?
False
Let x(n) = 3*n - 1. Let t be x(1). Suppose -t*g = -0*g, 4*u - 5*g - 16 = 0. Suppose 2*b = -u*a - 2*b + 112, -10 = 5*b. Does 15 divide a?
True
Suppose 0 = -5*u + 4*t - 15, 3*u - 5*u + 2*t - 6 = 0. Let r be 12/(-5)*30/(-4). Let j = r - u. Does 6 divide j?
False
Suppose 3*p - 63 = -3*c, 0 = -4*p + 2*c + 3*c + 39. Is 8 a factor of p?
True
Suppose -2 = -3*c + 1. Let a(i) = -2*i + i**2 + 3*i + 8*i**2. Does 5 divide a(c)?
True
Is 8 a factor of 104 + 0 + (-6)/3?
False
Suppose -7*l - 70 = -14*l. Does 10 divide l?
True
Suppose 2*l = 6*l - 80. Is l a multiple of 4?
True
Let y(w) = w**2 + w - 3. Let d be y(-3). Suppose 220 = d*n + 2*n. Does 22 divide n?
True
Suppose 0 = 123*x - 125*x + 252. Is x a multiple of 14?
True
Let q = -15 - -126. Is 14 a factor of q/4 + 4/16?
True
Suppose -509 = -8*o + 931. Does 16 divide o?
False
Let n = 29 - 25. Is 12 a factor of n/((-8)/(-90)) + 3?
True
Let t = -146 - -65. Let f be (-27 + 5)*4/2. Let a = f - t. Does 22 divide a?
False
Suppose j - 2*j + 5*d + 24 = 0, -j + 2*d + 15 = 0. Suppose -5*w = -21 - j. Suppose 4*g = 2 + w. Is g a multiple of 2?
True
Let z = 73 + -68. Does 2 divide z?
False
Is ((-27)/(-3))/(15/160) a multiple of 32?
True
Suppose 4*m + 16 = x, -4*x = -4*m - 0*m - 16. Let r be 6/m*(-32)/24. Suppose 2*d = -4*t + 4, 0 = 5*d - 2*t - r*t - 38. Is d a multiple of 3?
True
Let l(g) = -6 - 2 - 2 + 7 + 21*g. Does 15 divide l(3)?
True
Suppose 3*v = 2*c + 43, 4*v - 72 = -v + 3*c. Does 10 divide v + 1*(4 + -2)?
False
Suppose -5*u + 264 + 345 = -4*g, 5*g = 2*u - 230. Is u a multiple of 25?
True
Let p = 175 - 85. Is p a multiple of 18?
True
Suppose -6*g = -9*g + 45. Is g a multiple of 4?
False
Let a be 0 + 0*(-2)/8. Suppose -4*d + 3*o + o + 148 = a, 2*d + 4*o = 56. Is d a multiple of 17?
True
Let m = -67 - -42. Does 15 divide 4/10 - 1090/m?
Fal