2*a + x + 48. Is a a multiple of 11?
True
Suppose -67 = -6*z + 113. Is z a multiple of 10?
True
Let c = 16 - 105. Let v = -35 - c. Does 18 divide v?
True
Suppose 12*r - 1710 = -3*r. Is r a multiple of 57?
True
Suppose -3*o - 3*x - 15 = -0*x, -o + 25 = -5*x. Suppose 4*n + o*n - 16 = 0. Is 27 a factor of 239/n + (-3)/(-12)?
False
Suppose -5*d = 6*c - c - 30, 5*c - 3*d = 54. Let a(q) be the third derivative of q**5/60 - q**4/6 - 2*q**3 - q**2. Does 14 divide a(c)?
False
Suppose 0 = -2*z + v + 15, 4*v = -5*z + v + 43. Suppose a - 5*t - 3 - 3 = 0, -a + 3*t = -z. Is a a multiple of 7?
False
Let b be 0 + 7/(21/6). Suppose -v + b*v = 15. Does 15 divide v?
True
Let a(o) = 3*o - 1. Let i be a(1). Suppose i*q + 2*q = -52. Let m = q + 59. Is m a multiple of 27?
False
Is 15 a factor of 2/(-3)*1314/(-12)?
False
Let g = 683 + -339. Is g a multiple of 43?
True
Suppose 4*x = -3*z + 113 - 45, 4*z + 3*x = 100. Is 12 a factor of z?
False
Let c be -234 + 1 + -1 + 0. Is ((-8)/(-6))/((-12)/c) a multiple of 10?
False
Suppose 2*h - 2 = 2. Suppose 0 = 3*i - 0*i + 3*f - 93, 5*f + 97 = h*i. Is 9 a factor of i?
True
Let z(s) = -2*s**3 - 3*s**2 + 4*s - 2. Let u be z(2). Is 15 a factor of (-436)/u + 8/44?
False
Let k = -49 + 85. Does 13 divide k?
False
Let k = 2 - -2. Suppose 0*h - 3 = k*g + 3*h, 23 = g - 4*h. Is g even?
False
Suppose -4*y + 10 = -2*y. Suppose -278 + 108 = -y*n. Is 11 a factor of n?
False
Let y = 14 - 2. Let f = y - -9. Is f a multiple of 18?
False
Suppose -4 = -z - 0. Suppose -z*q + 86 = -q + 4*y, -2*y - 8 = 0. Is q a multiple of 17?
True
Suppose 32 = 4*t - 4. Let q = t + 4. Does 4 divide q?
False
Let k(d) be the first derivative of d**3/3 - 3*d**2/2 + d + 3. Let w be k(4). Suppose -w - 5 = -2*n. Is n a multiple of 2?
False
Suppose -v + 6 = 3*s, -4*v + 4 = s + 2. Suppose v = -k - 0*k + 18. Is k a multiple of 9?
True
Let c = 5 - 9. Let w = -5 - c. Does 10 divide w/(-4) - 39/(-4)?
True
Let z = 24 - -28. Does 14 divide z?
False
Let m(p) = 36*p - 2. Is 6 a factor of m(4)?
False
Suppose 0 = -2*u + 5*u - 9. Suppose 0 = u*i - 105 - 30. Is 15 a factor of i?
True
Suppose 9 - 24 = -3*f. Suppose 2*t - 63 = f*t. Let p = t + 41. Does 15 divide p?
False
Let q(y) = 28*y - 2. Let o be q(2). Suppose -36 = -5*x + o. Is x a multiple of 6?
True
Let v(s) = -2*s**2 + 25*s - 28*s + s**3 - 4 - 4*s**2. Let l be v(6). Is 12 a factor of (l/(-8))/(4/64)?
False
Let m(q) = q**3 - q**2 + q + 4. Let c be m(0). Suppose 0*x = -c*x. Suppose x = -2*u + 22 - 6. Is u a multiple of 4?
True
Suppose -2*c - 5 = -5*y - 5*c, -3*c - 11 = y. Suppose 5*b + y*v = 3*b + 38, 3*v = 5*b - 134. Is 13 a factor of b?
False
Suppose -u + 2*u - 204 = 3*j, 0 = 5*u + j - 1004. Is u a multiple of 12?
False
Suppose 98 = -2*i + 1042. Is 59 a factor of i?
True
Let l be 9*(-2)/3 - -2. Is 9 a factor of l*(78/(-4))/3?
False
Does 25 divide ((-279)/(-124))/(2/200)?
True
Is ((-6)/8)/(51/(-272)) a multiple of 4?
True
Suppose -4*j - j + 228 = 4*c, -j - 114 = -2*c. Is c a multiple of 14?
False
Suppose -18*q + 19*q = 20. Is 20 a factor of q?
True
Let r = 21 + -16. Suppose -r*t + 2*q - q + 210 = 0, -4*t - 5*q = -168. Does 14 divide t?
True
Let u(s) = 12*s**2 + 9*s - 3. Is 19 a factor of u(3)?
False
Let k(f) = -8*f + f**2 - 2*f**2 - 6 + 0*f**2. Let n be k(-7). Does 6 divide n*-10*6/(-5)?
True
Is (11 - -2) + (-8)/4 + -2 a multiple of 8?
False
Let a be 2/4 + 31/2. Suppose 4*x = -0*x + 12. Suppose a = x*k - 8. Is k a multiple of 4?
True
Let v be 10/(-45) + (-86)/18. Let x = -3 - v. Suppose x*h + 4 = 3*h. Is 4 a factor of h?
True
Suppose -4*w = -6*w - 5*q + 113, 0 = w - 4*q - 50. Is 13 a factor of w?
False
Suppose -w = -5*w. Let m = 0 + w. Let q = 27 - m. Does 11 divide q?
False
Suppose 4*c = 5*t - t - 316, -c + 296 = 4*t. Is 15 a factor of t?
True
Let i = 286 - -6. Is i a multiple of 34?
False
Let w be (-2)/6 + 7/3. Suppose 0 = -w*v - o + 41, v - 4*o - 78 = -2*v. Does 6 divide v?
False
Suppose 4*v - 4*x = -5*x - 176, 0 = 2*v - 4*x + 88. Let u = 26 + v. Is (-104)/u - 6/(-27) a multiple of 6?
True
Suppose 130 = 2*m + 5*v, -4*m - v + 3*v = -260. Suppose 0 = -5*r - 0*r + m. Is 8 a factor of r?
False
Let j(o) = o**3 - 9*o**2 + 8*o. Let z be j(8). Suppose z = -0*k + k - 25. Is 8 a factor of k?
False
Let v(g) = g**3 - 11*g**2 - 25*g + 17. Does 5 divide v(13)?
True
Suppose 4*r = 4*l - 43 + 135, -5*r + 4*l + 111 = 0. Is 6 a factor of r?
False
Suppose 3*k = 3*q - 60, 4*k + k - 90 = -5*q. Let m = q - -21. Does 20 divide m?
True
Let x(s) = 2*s**3 + 24*s**2 - 17*s. Is x(-12) a multiple of 12?
True
Let h(v) be the second derivative of v**5/20 + 2*v**4/3 - v**3/6 + 5*v**2/2 + 4*v. Is h(-7) a multiple of 17?
False
Suppose 4*a - z = 12 + 395, 405 = 4*a - 3*z. Is 17 a factor of a?
True
Let w be -1 - (1 + -2 + -1). Suppose 0 = -3*c + 8 + w. Let s(r) = 4*r - 2. Is s(c) a multiple of 5?
True
Let h = 342 + -199. Does 13 divide h?
True
Let o(p) = -4*p**2 - 7 - 3*p**2 - p**3 + 2 - 4*p. Let g be (-13)/2 - (-2)/(-4). Does 14 divide o(g)?
False
Is (3 + -2)/((-6)/(-72)) a multiple of 3?
True
Suppose -5*o - 16 = -x - 2*x, -o = -x + 4. Let h(z) = 4*z**2 + z - 1. Does 17 divide h(x)?
True
Let s(r) = 2*r**2 - 3*r - 5. Let x be s(4). Suppose 10 = -f - 4*t, 3*t - 4*t = 4*f - 20. Is f/(-4)*(-20)/x even?
True
Suppose -11*k + 1992 = k. Does 5 divide k?
False
Let f = -1 - 0. Does 8 divide (-18)/(-3) + (1 - f)?
True
Let m(q) = 10*q - 8. Does 21 divide m(5)?
True
Suppose -4*x = -0*x + 32. Let v = 47 + x. Is v a multiple of 9?
False
Let n(u) = -u**3 + 6*u**2 + 4. Let r be n(6). Suppose -2*y + 40 = -3*z + 5*z, 82 = r*z + 2*y. Is (z/14)/(1/14) a multiple of 7?
True
Let v(k) = k**3 - 6*k**2 + 7*k - 2. Is v(6) a multiple of 20?
True
Let y(f) = -f - 4. Let n be y(-6). Let s = n - -29. Does 19 divide s?
False
Let z be 440/15*1*3. Suppose 2*c = 6*c - z. Does 10 divide c?
False
Let f(x) be the third derivative of x**6/120 - 2*x**5/15 + 11*x**4/24 - 5*x**3/6 - 2*x**2. Is f(7) a multiple of 16?
False
Suppose -2*g + 0*g - 64 = -4*l, 3*l = 3*g + 54. Does 11 divide l?
False
Let k be ((-10)/1)/((-3)/3). Suppose 3*c - 68 = k. Is 13 a factor of c?
True
Let i = -3 - -13. Is i a multiple of 5?
True
Does 8 divide (360/28)/((-2)/(-14)*1)?
False
Let t = -2 + 3. Suppose -11*d + 9*d - 8 = 0. Does 3 divide t*(-7)/(d - -3)?
False
Let i be (-6)/((-78)/(-75) + -1). Let u = -293 - i. Is 18 a factor of (-6)/(-24) - u/4?
True
Suppose -z + 3*z = 0. Suppose -4*v + 52 + 8 = z. Suppose 2*k - v = k. Is k a multiple of 9?
False
Let h = -15 - -53. Does 19 divide h?
True
Let s = 98 + 9. Does 36 divide s?
False
Let l(j) = 11*j + 3. Let k be l(6). Let q = -29 + k. Is 8 a factor of q?
True
Let v(a) = -3*a**3 + a**2 - 11*a + 9. Let k(f) = 2*f**3 - f**2 + 6*f - 5. Let p(o) = -5*k(o) - 3*v(o). Is p(2) a multiple of 3?
False
Let h = -116 + 72. Let m be (-2)/(-6) + h/(-12). Let l(f) = f**3 - 3*f**2 - 3*f + 3. Does 4 divide l(m)?
False
Let w be ((-62)/(-8))/(2/(-8)). Let c = w + 52. Is c a multiple of 7?
True
Let p be (-2)/6*21*-3. Let g = -1 + p. Is g a multiple of 7?
False
Let w(u) = -u**2 + 11*u - 18. Let m be w(9). Suppose 8 = 4*y, m = 2*f - 3*y + y - 60. Is 8 a factor of f?
True
Let n(u) = -3 - 2*u**2 + 4*u**2 - u**2 - u. Let m be -1 + 0 + (-54)/(-9). Is 9 a factor of n(m)?
False
Let r = -32 - -23. Let s be 39/r*1*-3. Let j = 3 + s. Does 12 divide j?
False
Suppose -4*c + 5 = -3*h - 0, 0 = -2*h + c. Does 18 divide (2 + -1)*(35 + h)?
True
Let n = -7 - -3. Let t(j) = -5*j + 4. Let o be t(n). Let v = -13 + o. Does 6 divide v?
False
Suppose -4*a - a + 570 = 0. Is 15 a factor of (a/(-9))/((-4)/6)?
False
Suppose 0 = 3*o - 369 - 345. Is 14 a factor of o?
True
Let l(b) be the first derivative of 3 - 4*b + 5/2*b**2 + 1/3*b**3. Does 7 divide l(3)?
False
Let u(k) = 2*k**2 - 2*k - 2. Suppose -4*y = -2*y + 4. Is 5 a factor of u(y)?
True
Suppose 0 = -0*p + 4*p + 2*y - 8, -6 = -3*p - 5*y. Let h be (-129)/(-27) - p/(-9). Suppose h*o - 27 - 133 = 0. Is 13 a factor of o?
False
Let x(h) = 63*h**3 + h**2 + h. Does 5 divide x(1)?
True
Does 15 divide (-39)/(-6)*(-12)/(-3)?
False
Let r be (-6)/8*1*4. Let w(x) = -6*x**2 - 3*x + 7. Let h(j) = -3*j**2 - 2*j + 3. Let v(l) = -5*h(l) + 2*w(l). Is 6 a factor of v(r)?
False
Let t(h) = -h**3 + 3*h**2 + 4*h - 6. Let x(u) = u**3 - 4*u**2 - 5*u + 7. Let l(v) = 3*t(v) + 2*x(v). Is l(-3) a multipl