62 = -5*p. Suppose 0 = 6*d - d + 20. Let t = d - p. Is 3 a factor of t?
True
Let j(l) be the third derivative of -3*l**4/8 + 7*l**3/3 - 23*l**2. Does 21 divide j(-15)?
False
Let k = 485 - 368. Is k a multiple of 39?
True
Let r(k) = 6*k**3 - 41*k**2 + 31*k + 51. Let t(x) = x**3 - 8*x**2 + 6*x + 10. Let d(v) = 2*r(v) - 11*t(v). Is d(-6) a multiple of 16?
True
Let v(d) = 2*d + 0*d - 3*d - 1 + d**3 - 4*d**2. Suppose -3*f + 11 = 4*w, -5*w + 6*f + 13 = 10*f. Does 8 divide v(w)?
False
Let x = -1 - -1. Suppose -1188 = -5*c - u, 0 = -c - 5*u + 103 + 125. Suppose x = -3*r + r + c. Is r a multiple of 32?
False
Suppose 0 = -4*r - 64 - 48. Let q = 55 - r. Is 16 a factor of q?
False
Let b(m) be the second derivative of 23*m**5/60 + m**4/24 + 5*m**2/2 - 2*m. Let x(a) be the first derivative of b(a). Is 18 a factor of x(-1)?
False
Let b(h) = -h**3 - 10*h**2 + 14*h - 19. Let v be b(-12). Suppose 0 = 3*x - v - 34. Does 15 divide x?
True
Let l be ((-510)/(-2))/3 - -1. Let k be -1*l/(-4)*2. Suppose -3*r + k = 5*d, r + 19 = d - r. Is 11 a factor of d?
True
Let r = 70 + -35. Let p = r + -29. Is p a multiple of 6?
True
Suppose 302*t - 845 = 289*t. Is t a multiple of 2?
False
Suppose -6 = 11*m - 28. Suppose -3*x + 7 = -2, x + 13 = 4*b. Suppose i + m*i - b*j - 212 = 0, -2*i + 145 = j. Does 15 divide i?
False
Suppose -2*l = 4*t - 478, l + 3*t - 1209 = -4*l. Is l a multiple of 9?
True
Let f(m) = 2*m**2 + 3*m + 3. Let t be f(-2). Suppose -2*l - 3*q + 24 = 0, 0*q - 17 = -3*l + t*q. Is 3 a factor of l?
True
Let f(s) be the second derivative of -s**4/6 + 9*s**3/2 + 21*s**2/2 + s - 2. Is f(14) even?
False
Suppose 0 = 3*x + 9, s + 79 = 4*x + 1097. Is 50 a factor of s?
False
Suppose 5*s + 5*i = -0*i + 10, 0 = -3*i - 6. Suppose -1 = -a - s. Is (-6 - 3)/(a/20) a multiple of 12?
True
Let h(s) = -s**3 - 7*s**2 - s + 1. Let m be h(-7). Let n(b) = b**2 - 8*b + 1. Let i be n(m). Is 2/(i/12*3) a multiple of 6?
False
Let y = 529 + -229. Does 10 divide y?
True
Let u(p) = -33*p**3 + 2*p**2 - 3*p - 3. Is u(-2) a multiple of 6?
False
Suppose 5 = 5*w - 250. Is 2 a factor of w?
False
Suppose 0 = -5*u - 2*d + 510, 3*u - 301 = -3*d + 5. Does 5 divide u?
False
Suppose -56008 = -17*s - 1642. Does 41 divide s?
True
Let p(b) = -b**3 + 9*b**2 - 11*b + 19. Let l be p(8). Let f be -2 - (-3 + 2) - -33. Is 8 a factor of (-10)/4*f/l?
True
Suppose -5*r = -5*f + 25, 0 = r + 2*r. Suppose 4*m + 8 = 6*y - 2*y, -f*y = 4*m - 1. Is 4 a factor of y/(-2) - (-31)/2?
False
Let t(i) be the second derivative of -35*i**3/6 + 14*i. Let o be t(2). Let j = -39 - o. Does 8 divide j?
False
Let k(m) = -29*m**2 + 2*m - 8. Let w(c) = 28*c**2 - 2*c + 7. Let v(q) = 5*k(q) + 6*w(q). Suppose 2*a + 5*a - 7 = 0. Is v(a) a multiple of 23?
True
Let i = 5 + -5. Suppose -b + 5*q + 64 = i, -302 = -4*b - 2*q - q. Is 32 a factor of b?
False
Let l be 12*(4 - (-9)/(-6)). Let n be l/7 + 14/(-49). Suppose -n*u = -5*b + 240, 6*b - 2*b - 192 = 2*u. Is 15 a factor of b?
False
Let d(f) = -4*f + 5. Let x be d(2). Let b(m) = -m**2 - 3*m. Let c be b(x). Let v(l) = l + 72. Is 22 a factor of v(c)?
False
Let b = -115 - -118. Suppose 3*w + 96 = 3*h, 4*h = -b*w + 78 + 78. Is 15 a factor of h?
False
Let b(j) = j**2 - 8*j - 2. Let n be b(9). Let x be n*14*(6 + -5). Suppose 418 = 5*v + x. Is v a multiple of 16?
True
Suppose -5*g + 199 + 59 = 2*i, 5*i - 628 = -4*g. Does 4 divide i?
True
Suppose 3*z - 143 = -7*a + 3*a, 2*a + 31 = z. Is z a multiple of 41?
True
Suppose 7*y = -6859 + 17352. Is 7 a factor of y?
False
Suppose 2*o - 1823 = -d - 513, 3934 = 3*d + 5*o. Is 26 a factor of d?
False
Suppose 5*r + 69*c - 66*c = 4272, 3*r = c + 2552. Is 9 a factor of r?
False
Suppose -45*k + 3027 = -42*k. Does 14 divide k?
False
Suppose 5*x + r - 99 = 0, 10*x - 4*r + 96 = 15*x. Is x a multiple of 8?
False
Suppose -3*n + 61 + 128 = 0. Suppose -4*h - 11 = -n. Is 4 a factor of h?
False
Let p be (-13)/(3 + (-20)/6). Suppose 8*q = -p + 143. Is q a multiple of 8?
False
Suppose 4*y - 2*y = 3400. Suppose -7*f + 2*f = y. Is (-15)/(-35) - f/7 a multiple of 20?
False
Let o = -41 - -46. Suppose -4*u = 0, -6 + 0 = -a - o*u. Does 3 divide a?
True
Let t(r) = r**3 + 14*r**2 + 11*r - 3. Let w = 22 - 35. Is 3 a factor of t(w)?
False
Let o = 11 - -2. Let q = 18 - o. Suppose -q*k + h + 200 = -4*h, -k = 2*h - 28. Is 12 a factor of k?
True
Suppose -24*s + 6318 = -114. Is s a multiple of 24?
False
Suppose 3*n - 2*f - 25 = 0, -4*f - 11 + 3 = 0. Suppose n*o = 6*o + 42. Does 6 divide o?
True
Suppose 11*g - 1415 = 7572. Is g a multiple of 43?
True
Suppose -1 = 4*c - 17. Let i(a) be the third derivative of -a**6/120 + a**5/15 + 5*a**4/24 - 2*a**3/3 + 3*a**2. Does 16 divide i(c)?
True
Let j be -4 + (-52)/(-12) + 13/(-3). Is 3 a factor of 8/j + 2 - -9?
True
Let x be ((-5)/(-4))/(1/(-4)). Let g(r) be the second derivative of r**4/6 - 3*r**3/2 - r**2 + 364*r. Does 35 divide g(x)?
False
Let z(t) = 17*t**2 + 18*t**2 - 41*t**2 + 7 + t. Let r be z(-5). Let o = -46 - r. Does 17 divide o?
True
Suppose 0 = 2*n + n - 4*g - 12, -3*n - 3 = g. Let y be (1 - -15)/((-2)/(-5)). Suppose n = -z + 5*z - y. Is z a multiple of 9?
False
Let f be (-1380 + 2)/(-5 - (2 - 5)). Let t = f - 414. Is t a multiple of 25?
True
Is -13 + 7 - (-417)/(-1 - -4) a multiple of 6?
False
Let d(q) = -28*q**3 - 2*q**2 + 3*q + 2. Let x be d(-2). Let j = x - 60. Does 10 divide j?
False
Let u be -3*4/(-6) + 3. Suppose -u*v + 391 = -64. Is v a multiple of 13?
True
Let u = 68 + 152. Suppose u = -4*j + 8*j. Is 9 a factor of j?
False
Suppose 5*g - 39 - 1 = 0. Let f(l) = -10*l + 3*l**2 + 4*l**2 + g - 8*l**2. Is f(-6) a multiple of 8?
True
Let k(m) = 20*m**2 - 2*m + 1. Let i be k(1). Suppose 0 = 3*b + i - 1. Does 7 divide 6/4*(-44)/b?
False
Let z(a) = -a**3 + 11*a**2 + 9*a - 20. Does 7 divide z(11)?
False
Suppose -2*m - t - 4*t - 20 = 0, 2*m = 3*t + 12. Suppose 5*k - 15 = m, -3*k + 3 = w - 4*w. Suppose 5*y = w*y + 21. Does 3 divide y?
False
Suppose -4*t - 3*f = -834, -5*t - f + 1052 = -2*f. Is t a multiple of 6?
True
Let v(a) = a**3 + 6*a**2 - 7*a - 7. Let x be v(-7). Suppose 2*p - 5*k + 4*k = 39, 0 = -3*p + 5*k + 62. Let r = p - x. Is 13 a factor of r?
True
Suppose j = 2*j. Let x(b) = b**2 + 0*b + 2 + 31 + b. Does 11 divide x(j)?
True
Suppose -85 = -10*m + 35. Suppose -56 = -m*b + 10*b. Does 2 divide b?
True
Suppose 0 = g - 18 - 17. Suppose 4*s - 3*s = g. Is 7 a factor of s?
True
Let w(d) = d**3 + 11*d**2 + 10*d + 3. Let p be w(-10). Suppose -t = -x + 121, -5*t = -p*x - t + 367. Is 39 a factor of x?
True
Let j(v) = -v - 1. Suppose 3*d - d - 10 = 0. Let h be j(d). Is 9 a factor of 2/1*(-99)/h?
False
Let y be ((-8)/12)/2*-36. Let z(u) = u**2 - 11*u. Is z(y) a multiple of 4?
True
Let g(n) = -5*n**3 - 10*n**2 + 12*n - 18. Let r(z) = -z**3 + z. Let f(d) = -g(d) + 4*r(d). Is f(-8) a multiple of 35?
True
Let z = -485 + 592. Is z a multiple of 11?
False
Suppose 5*b - 117 = g, -66 = -3*b - 0*b + 2*g. Is (b/(-9))/(1/(-3)) a multiple of 3?
False
Let u = 395 - 217. Let m = u + -127. Is 8 a factor of m?
False
Let t be 4 - (-7)/((-7)/(-692)). Is 10 a factor of -5 - (-111)/21 - t/(-14)?
True
Does 28 divide (136 - 1) + (-29 - -34)?
True
Let j be 1*12/(3 - -1). Suppose -5*o + j*o = -212. Is o a multiple of 30?
False
Suppose -38 + 14 = -4*n. Suppose -2*s + 34 = -n. Is 7 a factor of s?
False
Suppose 2*k - 286 = -5*q, 5*q = 2*k - 0*k - 266. Is 70 a factor of k?
False
Let k(f) = 7*f - f + 11*f - 10 + f**2 + 0*f. Let r be k(-18). Suppose -r*c = -10*c + 36. Is c a multiple of 6?
True
Let c = 335 - 211. Is 4 a factor of c?
True
Let r(p) = 3*p**2 + 4*p + 2. Let c be r(-2). Suppose 7*u - c*u - 63 = 0. Does 7 divide u?
True
Is 14 a factor of (-2 - (-4557)/(-2))*-2?
False
Suppose 15*b + 246 = 5721. Is 27 a factor of b?
False
Suppose 0 = -21*h - 12*h + 4884. Does 10 divide h?
False
Suppose -6*b + 444 = 2*q - b, 4*q - 844 = b. Is 53 a factor of q?
True
Let a = -2034 + 3456. Is a a multiple of 9?
True
Suppose 1401 - 71 = 3*k + 4*n, -2*k - 3*n = -888. Is k a multiple of 6?
True
Let k be 6/(-21) + (-2)/(-7). Suppose 4*p + g + 24 - 153 = k, -3*p + 118 = 5*g. Is 26 a factor of p?
False
Let f(i) = 84*i**2 + 2*i - 2. Let c(r) = r**3 + 5*r**2 + 4*r + 1. Let n be c(-4). Does 17 divide f(n)?
False
Is 11 a factor of 1467 + 1 - (5 + 3 - 3)?
True
Suppose 5*x = -11*z + 10*z + 3394, -4*x + 