ple of 10?
True
Is 5/15 - 231/(-9) a multiple of 26?
True
Let s be (3/6)/((-6)/(-12)). Let p be (0/(-2) + 4)*1. Suppose -y + u = -p*u + 5, y - 3*u = -s. Is y a multiple of 4?
False
Let p = 174 + -120. Is p/8 - (-12)/(-16) a multiple of 6?
True
Let r(d) = 5*d**2 - 6*d + 2. Does 11 divide r(3)?
False
Suppose 5*q = -2*x + q + 164, -3*x + 256 = -4*q. Is 12 a factor of x?
True
Let w = 48 + -138. Does 15 divide (12/(-10))/(3/w)?
False
Suppose 5*z - 3*z = 58. Is z a multiple of 23?
False
Let k(g) = g - 6. Suppose x + 5*d + 10 + 2 = 0, 4*d + 24 = x. Is k(x) a multiple of 2?
True
Let b be -3 + (0 - -1) - 2. Let x = -2 - b. Does 11 divide 44/x + 0 - 0?
True
Suppose n = 2*z - 22, 9 - 3 = 3*n. Does 4 divide z?
True
Let t be 23/7 - (-10)/(-35). Suppose -2*l = -t*l + 2. Suppose -4 + 6 = l*q, 0 = -5*s + q + 49. Is s a multiple of 10?
True
Let w = -436 + 788. Is w a multiple of 44?
True
Let z(o) = -15*o + 4. Let w(u) = 15*u - 3. Let s(k) = -5*w(k) - 4*z(k). Let f be s(-2). Suppose 5*t + 3*g - 2*g - 53 = 0, -3*g + f = 2*t. Does 7 divide t?
False
Let w(t) = t**2 + 7*t + 3. Let o be w(-7). Suppose -p - 18 = -o*y, 5*p = -y + 1 + 5. Suppose -2*v - 132 = -y*v. Does 12 divide v?
False
Does 11 divide 21/1 - (3 + -1)?
False
Suppose -12*u + 201 + 39 = 0. Is u a multiple of 20?
True
Suppose -3*q + 934 - 142 = 0. Is 44 a factor of q?
True
Let v be 8 + -2 + (-2 - 0). Suppose 5*b - 321 = -4*x - 91, -232 = -4*x - v*b. Is x a multiple of 25?
False
Let w = 29 + -15. Is w even?
True
Let z be 1 - 0 - 2/2. Suppose 2*l = -3*a, z = -0*l + 3*l - 4*a. Suppose -2*x = -l*x - 2*k - 46, -3 = 3*k. Does 11 divide x?
True
Let h = 295 - 202. Let p = -4 + h. Suppose -3*v - c = -p, -2*v - 4*c + 63 = -7*c. Does 15 divide v?
True
Let u(v) = -v**2 - 6*v - 6. Let y be u(7). Let r = 137 + y. Is 12 a factor of r?
False
Suppose 0 = 3*k + 3 - 30. Let y = 26 - k. Does 17 divide y?
True
Let s(p) = p**3 + 4*p**2 - 6*p. Is s(-5) a multiple of 5?
True
Suppose 0 = 29*d - 27*d - 438. Is d a multiple of 13?
False
Let a(k) = -k**2 - 25*k. Is a(-12) a multiple of 39?
True
Suppose 5*a - 21 = -2*a. Suppose 0 = -4*p + a*p + 5. Is p a multiple of 5?
True
Suppose r - 12 = -r. Is 6 a factor of r?
True
Let r be 3/(-12) + 61/4. Suppose -k = -4*k + r. Suppose 3*j = -5*c + 83, -3*j + c = -k*j + 67. Does 15 divide j?
False
Let z(p) = p**2 + 2*p - 12. Let c be z(-5). Is 1 + 30 + c + -1 a multiple of 11?
True
Let a be ((-6)/4 + 1)*4. Suppose -13 - 7 = -2*g. Let r = g - a. Is r a multiple of 6?
True
Let q(m) be the first derivative of -m**4/4 + 4*m**3/3 + 3*m**2 - 1. Is q(5) a multiple of 5?
True
Let j = -32 + 19. Suppose 3*b - 5*b + 56 = 0. Let u = j + b. Is u a multiple of 6?
False
Let y be ((-10)/(-2))/(-2 - -3). Suppose -2*q + 2*t + 4 = -0*t, -4*t - 8 = 4*q. Suppose q = y*r + 5*x, 4*x = 3*r - 4*r - 15. Does 2 divide r?
False
Let l be (2951/39)/((-2)/(-6)). Suppose -5*z + 2*u - 6*u + 231 = 0, 0 = 5*z + 3*u - l. Is z a multiple of 9?
False
Let y(v) = -v**3 - 15*v**2 + 11*v - 10. Is 14 a factor of y(-16)?
True
Let x(u) = -13*u - 6. Does 26 divide x(-8)?
False
Suppose 117 + 69 = 4*w - z, 3*w + 2*z = 134. Let s be w/14 + (-6)/21. Suppose 85 = -d + 5*d + s*t, -5*d + 107 = 4*t. Does 10 divide d?
False
Let d be 294/8 + (-3)/4. Let r = d - 8. Does 14 divide r?
True
Suppose 672 = 9*v - 2*v. Is 19 a factor of v?
False
Let n = -54 + 66. Is n a multiple of 3?
True
Let t(y) = -y**3 - 6*y**2 - 7*y + 2. Let r be t(-5). Let s = -7 + r. Does 5 divide s?
True
Is (56/42)/((-2)/(-33)) a multiple of 11?
True
Suppose -4*m = 2*h - 23 - 31, -m - 9 = -4*h. Let r be ((-2)/(-4))/(2/(-4)). Let z = r + m. Does 7 divide z?
False
Let t(b) = 7*b - 31. Is t(11) a multiple of 30?
False
Let s(i) = i - 1. Let q be s(2). Let z = q + 3. Suppose z*j = 4*w + 96, 5*w - 56 = -5*j + 74. Does 9 divide j?
False
Let q = -1 - -17. Let j = q + 15. Does 20 divide j?
False
Let f be 3/(1 - 2) + 1. Is 7 a factor of 1/f*(-42 - 0)?
True
Let r(f) = f**3 - 6*f**2 - f - 2. Let c be ((-21)/(-9))/(2/6). Let k be r(c). Suppose -i = l - 15, -5*i + 5*l = -k - 65. Is 18 a factor of i?
True
Suppose 4*o = -2*c + 3*c - 67, 2*c - 3*o - 134 = 0. Suppose q - 47 = 2*b, q + 4*b - b - c = 0. Is q/3 - 2/6 a multiple of 18?
True
Suppose p - 3 = -3*c, -24 = 4*p - 2*p - 4*c. Let z(g) = 3*g**2 + 7*g + 0*g**2 - 2*g**2 + 9. Is z(p) a multiple of 3?
True
Let r(f) be the third derivative of -f**5/60 + 5*f**4/24 + 2*f**3/3 - 3*f**2. Is 5 a factor of r(3)?
True
Is 1*(-4)/(-8)*30 a multiple of 3?
True
Does 6 divide 1/4 + (-99)/(-4)?
False
Suppose 0*c - 2*c = 0. Suppose c*g + 30 = 3*g. Is 10 a factor of g?
True
Let o = -89 - -163. Is 20 a factor of o?
False
Let p = 24 - 13. Is 11 a factor of (p/3)/((-1)/(-3))?
True
Let g(p) = p**3 + 8*p**2 - 9*p + 12. Is 4 a factor of g(-9)?
True
Suppose 2*b = -0*b - 70. Let z = 58 + -83. Let p = z - b. Is 4 a factor of p?
False
Let d(l) = -7*l - 2. Let m be d(-4). Suppose -7*n - 71 = -442. Let j = n - m. Does 27 divide j?
True
Suppose 52 = 5*p - 203. Is 18 a factor of p?
False
Let r(q) = -3*q - 5. Let l be r(-7). Let j be (-4)/(-18) - l/(-9). Suppose -j - 46 = -3*d. Is d a multiple of 8?
True
Suppose f + 0*s - 16 = -4*s, s - 4 = -2*f. Suppose -2*k + f*o + 14 = 3*o, 13 = -3*k + 4*o. Does 8 divide (k + -2)/1*-8?
True
Let w(n) = -n**2 + 5*n - 4. Let p be w(3). Suppose p*m = -m + 33. Let x = m - 7. Does 4 divide x?
True
Let t = -15 + 20. Is t a multiple of 4?
False
Suppose 2*d = -6 + 32. Let z = -6 + d. Suppose -121 = -5*c + 2*h, -c - h = z - 27. Is c a multiple of 9?
False
Let x(c) = 2*c - 7. Is 5 a factor of x(16)?
True
Let q be (-5)/15 + (-64)/6. Let l(g) = g + 14. Is l(q) even?
False
Let v = -17 + 66. Is 4 a factor of (-1 + 0)/((-7)/v)?
False
Let f = -2 - -2. Let h be 5 - ((-3 - f) + 3). Suppose 0*w + 110 = h*w. Does 9 divide w?
False
Suppose -2*g + 128 = 4*k + 2*g, 2*k - 67 = g. Does 7 divide k?
False
Let i = 29 - 4. Does 6 divide i?
False
Let u(q) = -2. Let x(s) = -s - 1. Let l(v) = 4*u(v) - 3*x(v). Is 11 a factor of l(6)?
False
Suppose -3*i - 4*a + 104 = 0, i + 0*a - 24 = -4*a. Suppose -5*p = -p - i. Does 10 divide p?
True
Let a(o) = 3*o + o - 6*o - 3*o + 6. Let q be a(-5). Let d = q + -15. Is d a multiple of 7?
False
Suppose 4*a - 4*w - 16 = -0*w, -2*w + 7 = 3*a. Does 19 divide -2*(a + 0 + -22)?
True
Let p(n) = 15*n + 1. Let y be p(3). Let c = y - 19. Does 9 divide c?
True
Suppose -3*g + 451 = 4*k, g - 18 = -3*k + 319. Suppose k = 4*i + r + 3*r, 5*i - 3*r = 132. Does 9 divide i?
True
Let g(r) = -9*r - 1. Is g(-5) a multiple of 29?
False
Let v(j) = -4 - 2*j**2 - 2*j**2 + j - 2*j**3 - 3*j. Let n be v(-3). Let h = n + -9. Does 4 divide h?
False
Does 15 divide (-1820)/(-21) + 2/6?
False
Let p be 4/18 + 18808/(-72). Is 1/4 - p/12 a multiple of 11?
True
Suppose 5*x + 395 = 3*l, -l + 4*x = -81 - 53. Does 26 divide l?
True
Let k(w) = w**2 + 2*w + 1. Let t be k(-3). Let r = 9 - t. Suppose 5*b = 4*u - 34 + 153, 5*b - 155 = -r*u. Is 12 a factor of b?
False
Let d be 2/8 - (-1779)/(-12). Let v = d + 212. Suppose -2*l + 0*l = -v. Is 16 a factor of l?
True
Suppose -10 = 2*r, 3*f = 3*r + 1 - 40. Let k = f - -26. Is 8 a factor of k?
True
Let d(h) = 12*h - 106. Is 41 a factor of d(17)?
False
Let h(u) = u**3 + 8*u**2 + 0 - 2 + 2 + 5 + 6*u. Let f be h(-7). Suppose -2*t - f = -54. Is t a multiple of 7?
True
Let m(r) = 2*r - 4. Let c be m(6). Let t be (-2)/c + (-23)/4. Does 7 divide (-104)/t - (-2)/(-6)?
False
Let c be 8/44 + (-42)/(-11). Let p be (24/10)/(c/(-40)). Is ((-3)/(-4))/((-3)/p) a multiple of 3?
True
Let v be ((-3)/5)/((-6)/150). Suppose -3*q = -8*q + v. Suppose -2*x - b + 35 = -4, 5*b - 41 = -q*x. Does 11 divide x?
True
Let v = -8 - -80. Does 9 divide v?
True
Suppose -5*m + 71 = 2*t, 9*m - 4*m - 2 = t. Is t a multiple of 19?
False
Suppose h = 4*j + 11, 4*h - 6 = h + 3*j. Let d(k) = k**2 + 1. Let u be d(h). Is (21 - (u - 3))/2 a multiple of 8?
False
Suppose -4*r - 8 = -0*r. Let f(l) = -l + 2. Let y be f(r). Suppose -84 = -5*d - y. Is 8 a factor of d?
True
Let c be 2*114 + 6/(-3). Let p = c + -148. Does 26 divide p?
True
Let y(o) = 18*o**2 - o + 2. Let k be y(2). Suppose b = -b + k. Does 13 divide b?
False
Let k(a) be the first derivative of -a**4/4 - a**3 + 7*a**2/2 - a - 3. Is k(-5) a multiple of 7?
True
Suppose 0 = -l - 2*s - s - 1, -7 = -l + 5*s. Suppose -2*w - 5*g + 1