6 divide a(-6)?
True
Suppose -2*p - p + 5*q - 14 = 0, -5*p + 18 = 2*q. Suppose -4*u - 4*c = -67 - 109, -3*u + p*c = -137. Is 10 a factor of u?
False
Suppose 2*n = 15 + 7. Does 2 divide n?
False
Suppose -b + 9 + 1 = -3*j, 2 = -3*j + 5*b. Let g(n) be the first derivative of -n**3/3 - 3*n**2 + 3*n + 1. Is 4 a factor of g(j)?
False
Suppose -5*f + 612 = f. Does 10 divide f?
False
Is 50/(-15)*((-3)/1 + -27) a multiple of 4?
True
Let d(f) = -2*f**3 - 5*f**2 - 4*f - 1. Is 20 a factor of d(-3)?
True
Does 14 divide (3 + -69)/(-1 - (-1 + 2))?
False
Let z = 10 - 5. Suppose -2*j = v + 4*v, z*v + 3*j + 5 = 0. Suppose -y - 9 = -v*y. Is y a multiple of 9?
True
Let a = 31 + 23. Is a a multiple of 10?
False
Let y(c) = c - c + 3*c - 2 - c**2 + 3*c. Let m be y(5). Suppose 0 = m*k, 5*g + k - 75 = -4*k. Is g a multiple of 15?
True
Let b = 28 + -1. Let y be (7/14)/(1/2). Suppose -37 = -3*d + g, 2*d + y = g + b. Is d a multiple of 11?
True
Let h = 14 + -9. Let o = h - 0. Does 5 divide o?
True
Let m be 12/66 + 4/(-22). Suppose 0 = -o + 5*c + 29, -o + 2*o + 4*c - 2 = m. Is 3 a factor of 14/(-21) + o/3?
False
Suppose 2*m + 3*c - 137 = 2*c, 5*m = 4*c + 310. Is 33 a factor of m?
True
Suppose 177 + 375 = -4*k. Does 4 divide (-2)/(-5) - k/30?
False
Suppose 30 = -p + 6*p. Suppose -p = -0*q - q - 3*m, -52 = -2*q + 2*m. Does 10 divide q?
False
Let d = -343 + 557. Is 10 a factor of d?
False
Let m(c) = -79*c + 3. Is m(-2) a multiple of 16?
False
Suppose -15 = -3*t - 0*t. Suppose -t*c = -7 - 23. Suppose -4*h + c = -6. Is 3 a factor of h?
True
Let t be 0/(-1) - (2 + -5). Suppose 0 = -t*d - 2*a + 4, -3*a - 2*a - 4 = 4*d. Suppose 4*x = -d*z + 44, 7*z = -x + 2*z + 31. Does 3 divide x?
True
Suppose -4*n - 3*p = -p - 36, 5*n - 35 = -5*p. Suppose -1 = -3*i + n, -3*i = 5*z - 37. Let o = z - -43. Does 15 divide o?
False
Suppose -w + 193 = -i, -2*w - w + 4*i + 582 = 0. Is 19 a factor of w?
True
Is ((-3)/6)/((-4)/192) a multiple of 19?
False
Is 53 a factor of (1113/(-6))/7*-2*7?
True
Let d(p) = -3*p - 12. Let o be d(-5). Suppose 5*y + o - 48 = 0. Does 5 divide y?
False
Let o = -31 + 34. Let b(h) = h**2 - 3*h - 4. Let a be b(4). Suppose 82 = o*v + u + 12, -2*v - 3*u + 42 = a. Does 9 divide v?
False
Let k(o) = o**3 - 2*o**2 + o - 3. Let q be 1/(1/(2 + 1)). Does 9 divide k(q)?
True
Let j = -67 - -145. Does 26 divide j - (-5 + 3 - -2)?
True
Let n = 52 + 190. Is n a multiple of 48?
False
Suppose -3 - 2 = -5*u. Is 12 a factor of 0 - (-35*u - 1)?
True
Let y = 6 + -19. Let j = 18 + y. Is 2 a factor of j?
False
Let w(m) = 32*m**2 + 1. Is w(1) a multiple of 2?
False
Let l = -53 + 110. Is l a multiple of 21?
False
Is 7 a factor of (-105)/10*(-4)/6?
True
Let k(v) = v**3 - 8*v**2 + 6*v + 1. Let f be k(9). Suppose 0 = 4*o + 4*s - 96 - f, 0 = -5*o + 5*s + 340. Does 21 divide o?
True
Let v = 11 + 1. Suppose 9*h - 8*h - v = 0. Does 12 divide h?
True
Suppose b + 4*b - 495 = 0. Is 33 a factor of b?
True
Is (-6)/(-4)*104/6 a multiple of 13?
True
Let b(p) be the second derivative of 25*p**3/6 - 3*p**2 - 4*p. Let i be b(8). Suppose 0 = -4*r + 3*g + i, 10*r - 242 = 5*r + 4*g. Is 21 a factor of r?
False
Does 27 divide (-1304)/(-12) + (-4)/6?
True
Suppose 3*v - 654 = -4*n + v, -v - 663 = -4*n. Does 33 divide n?
True
Let h(c) = -23*c**3 - 4*c**2 - 2*c + 6. Does 35 divide h(-2)?
False
Let g be 1/(1 - 2) - 9. Suppose 4*c + 0*b + 37 = 3*b, 2*b = 3*c + 28. Is 12 a factor of g*(3 + 66/c)?
True
Let c(k) = -k**3 + 46. Does 23 divide c(0)?
True
Let g = -9 - -10. Let u(k) = 26*k - 2. Is 6 a factor of u(g)?
True
Let l = 7 + 41. Is 16 a factor of l?
True
Suppose u - 2*m - 12 = 0, 5*m = u - 19 - 5. Suppose c + 3*x - 13 = 0, 5*c = -u*x + 55 - 1. Is 10 a factor of c?
True
Let k = 54 + -21. Does 9 divide k?
False
Let b be (-1)/(-1) + -1*1. Suppose b = -3*a - a. Suppose a = -2*m + 4*t - 1 + 3, -3*m - t = -17. Is 2 a factor of m?
False
Suppose 16 = 4*z + 3*y - 0*y, 16 = 4*z - 4*y. Suppose -n + x - 81 = -3*n, -4*x = -z. Is n a multiple of 20?
True
Suppose 390 = 9*z - 3*z. Is z a multiple of 13?
True
Let d be (-21)/(-14)*(-2)/(-3). Let r be (7 - d)*(-6)/(-9). Does 11 divide (-66)/(-24)*r/1?
True
Suppose 0 = 2*v + 2*v + 56. Let u = v - -32. Is u a multiple of 6?
True
Suppose -4*l + 23 + 0 = 3*d, -5*l + 25 = 3*d. Let p(y) = 3*y - 5. Let r(g) = 2*g - 3. Let b(v) = d*p(v) - 7*r(v). Does 2 divide b(7)?
False
Let m(i) = -4*i + 3. Let b be m(2). Suppose 0*z - 2*z + 188 = -3*y, -5*y = 5*z + 330. Is 14 a factor of (y/(-10))/((-1)/b)?
False
Suppose -9 = 3*b + 24. Does 3 divide b/(-1) - (2 - -2)?
False
Let o be (-3)/(3/(-8)) - -3. Let j = 13 - o. Is j even?
True
Suppose 2*n - 42 = 78. Is n a multiple of 12?
True
Let y(j) = j + 3. Let r be y(-7). Let x(i) be the second derivative of -i**4/12 - 7*i**3/6 - 3*i**2 - i. Is x(r) a multiple of 3?
True
Let h(v) = v**3 + 7*v**2 + 3*v + 1. Suppose -9 = -4*t - 29. Is 18 a factor of h(t)?
True
Let i(t) = -23*t + 1. Let j be i(1). Let u be 2*j/(-12)*-12. Does 7 divide 6/(-4)*u/6?
False
Let a = 76 + -43. Let z = 141 - a. Let n = z + -66. Does 15 divide n?
False
Let f be ((-6)/8)/(1/84). Suppose 0 = -3*w - 2*w + 4*l + 567, 3*l = -4*w + 435. Let s = f + w. Does 24 divide s?
True
Suppose -4*f + 3*d = -225, -3*f - 49 = -3*d - 214. Is f a multiple of 12?
True
Does 25 divide 8/(-64) + (-1203)/(-24)?
True
Suppose 302 - 212 = 3*v. Is 3 a factor of v?
True
Let g = -1 - -3. Suppose -f - 4*k = -3, -g*k + 38 = 5*f - 13. Is f a multiple of 4?
False
Let q = 9 - -1. Is q a multiple of 10?
True
Let s = 47 - 134. Let l = 135 + s. Does 12 divide l?
True
Suppose 4*q - 32 = -k - 2*k, 7 = -q + 3*k. Let g(u) = -7 - 3*u - 4*u + q. Is g(-5) a multiple of 11?
True
Let h(t) = -t**3 - 2*t**2 - 17*t - 6. Does 10 divide h(-4)?
False
Suppose -3*c = 2*z - 51, -c + 8 - 47 = -2*z. Suppose 2*x - x - z = 0. Does 13 divide x?
False
Suppose -3*k = s - 0*k - 12, 0 = -3*s + k - 4. Suppose -2*x - 17 = 5*v, 4*v = -x + 2 - 18. Suppose -2*g = -3*o + 21, s = -2*o + x*o + 2*g - 4. Does 3 divide o?
False
Let p(y) be the second derivative of y**5/20 - 7*y**4/6 + 2*y**3 + 15*y**2/2 - 2*y. Let z be p(13). Suppose -q - z*q = -72. Is q a multiple of 12?
True
Let k = 8 + -5. Let a(f) = -28*f**k + 5 + f + f**2 - 4 - 2*f**2 + 9*f**3. Is a(-1) a multiple of 9?
True
Let h(c) = c**2. Let u be h(6). Let s = u - -18. Does 18 divide s?
True
Suppose 0 = -3*z + 2*t - 7 - 8, -3 = -4*z - 5*t. Let w = 1 - z. Is 4 a factor of w?
True
Suppose -42*r = -47*r + 100. Does 5 divide r?
True
Let y(o) be the first derivative of -o**6/360 - o**5/10 + o**4/8 - o**3 - 1. Let s(l) be the third derivative of y(l). Is 8 a factor of s(-10)?
False
Let y(h) be the second derivative of -h**5/20 + h**4/12 + h**3/6 - 3*h**2/2 - 2*h. Let a be y(-3). Suppose 9*r = 4*r + a. Does 6 divide r?
True
Let w = -2 - -4. Suppose 3*p + h = 26, -w*p = h - 4*h - 21. Does 8 divide p?
False
Suppose -5*f + 26 = 4*b, 2*b - 14 = -7*f + 4*f. Suppose f*g + 2*g = -48. Is 13 a factor of (-103)/(-4) + (-3)/g?
True
Suppose i - 5*i + 4*n + 172 = 0, -3*i + 113 = 5*n. Is 4 a factor of i?
False
Let d = 42 - -25. Is 32 a factor of d?
False
Let j = -20 - -33. Is j a multiple of 8?
False
Let l = 595 + -240. Does 24 divide l?
False
Suppose 5*h = 3*w + 87, 3*w + 2*w + 95 = 5*h. Is 3 a factor of h?
True
Let c(t) = 9*t + 3. Does 31 divide c(12)?
False
Suppose -9 = -4*v - 1. Suppose -252 - 183 = -5*r + 3*g, -v*r = 2*g - 190. Suppose 5*o = 2*o + r. Is 15 a factor of o?
True
Suppose 0 = -4*i - 0 + 12. Suppose -2*v = -4*z - 4*v + 206, i*z = -3*v + 147. Let d = z + -15. Is 14 a factor of d?
False
Let l(b) = b**3 - 2*b**2 + 3*b + 1. Is 4 a factor of l(3)?
False
Suppose 6*p - 3*p - 39 = 0. Suppose 4 = -f + p. Does 8 divide f?
False
Let h be 1/5 - 1164/(-30). Let u = -17 + h. Is 11 a factor of u?
True
Let v = -2 - -4. Suppose 2*g = -v*g + 160. Let w = g - 28. Does 10 divide w?
False
Suppose -q + 2 = y - 3, 3*y = 2*q. Let z(p) = -5*p - y + 2 + 3*p. Is 5 a factor of z(-5)?
True
Let x(f) = f**3 - 10*f**2 + 3*f + 30. Is x(10) a multiple of 5?
True
Does 20 divide ((-150)/9)/(-1)*(-36)/(-15)?
True
Is -3 + (-6 - 3)*-1 even?
True
Suppose -l - 2*l - 9 = 0, 2*k = 2*l + 30. Is k a multiple of 3?
True
Let n = -18 - -34. Suppose -4*u + 16 = -3*u + 5*r, -r + n = u. Is 16 a factor of u?
True
Suppose -5*p + 10 = -5. Suppose 3*b + 3 = k - 8, -2*k + p