 Is 11 a factor of x?
True
Let v be (6 - 1)*((-48)/(-10))/8. Suppose 0 = 14*u - v*u - 2068. Is 16 a factor of u?
False
Suppose -5*l + 5*v + 70 = 0, 3*l + 2*v = -4 + 26. Is -159*((-5)/l)/((-2)/(-4)) a multiple of 20?
False
Suppose -4*a - a + 3*x = -217, 3 = 3*x. Is 8 a factor of a?
False
Let f(d) = d**2 + 10*d - 11. Let g be f(-11). Suppose -u + 3*w = -15, -4*u + g*w - 5*w = -26. Is 2 a factor of u?
False
Let i(m) = -m**3 - 6*m**2 + 5*m - 8. Let d be i(-7). Let y(n) = -n**3 + 6*n**2 + n - 7. Let b be y(d). Let f(a) = 30*a**2 + a + 1. Is f(b) a multiple of 10?
True
Suppose 5*w = 5*m + 3405, -w - 677 = -2*w - 3*m. Is 37 a factor of w?
False
Suppose 2*w + v - 11 = 0, 0 = -w - v - 0 + 8. Suppose p = 5*t + 157, p + w*t - 453 = -2*p. Does 16 divide p?
False
Suppose -10*l + 6767 = -1933. Does 10 divide l?
True
Let r = 523 - 63. Is 20 a factor of r?
True
Suppose 24*i - 9306 = 3990. Does 8 divide i?
False
Let s = -266 + 886. Does 31 divide s?
True
Suppose 3*z + 0*f + 3 = 3*f, -10 = -2*f. Let y be (-286)/(-4) + (-6)/z. Let h = -33 + y. Is h a multiple of 12?
False
Let k(l) = -541*l**3 + l**2 + l. Let v be k(-1). Suppose 2*i = 5*a + v + 271, 0 = -4*i - 16. Does 8 divide a/(-10) + (-3)/(-5)?
False
Suppose -2*m + 51*b - 54*b = -3453, 0 = -4*m + b + 6913. Is m a multiple of 48?
True
Let v be (-1)/3 + (-88)/6. Let m = -11 - v. Suppose m*n = p + 112, 4*n + 5*p + 6 = 94. Is n a multiple of 18?
False
Let o = -107 - -151. Suppose 32 = -5*m - 4*b + 6*b, -4*m = 3*b + o. Let v(g) = -g**2 - 12*g - 10. Is v(m) a multiple of 11?
True
Suppose 3*a - 1471 = -5*h - 49, a = 4*h - 1141. Is 57 a factor of h?
True
Let h(w) = -1 + 18*w**2 + 38*w**2 - 7*w**2. Let m be (3/(-12))/((-9)/12)*3. Is 12 a factor of h(m)?
True
Let y = 69 + -126. Let h = y + 124. Does 17 divide h?
False
Let g(b) = b**2 - 5*b + 5. Let p be g(4). Let u be 36 + p + -4 + 7. Let v = 9 + u. Is v a multiple of 7?
True
Let a be (-1)/2*48/(-1). Suppose -b + 2*k - 20 = 5*k, 5 = -5*b + 4*k. Does 17 divide b/(20/a - 1)?
False
Suppose 7 = 4*s - 13. Suppose -4*t = -s*v - 229 - 61, 2*t = 3*v + 146. Does 12 divide t?
False
Suppose 7*p = -p. Is p + -3 + 5 - -139 a multiple of 13?
False
Suppose -935 = -22*l + 3223. Is 7 a factor of l?
True
Let v be 4 - (0 + 1 + 3). Suppose v = 2*a + 31 - 107. Is 5 a factor of a?
False
Suppose 0*a - 16*a + 32 = 0. Suppose 0 = -5*u + a*k + 1471, -7*k + 10 = -2*k. Is u a multiple of 31?
False
Suppose 144 = -3*q + 3*s, -q + 4*q + 5*s + 160 = 0. Let v = q - -88. Does 19 divide v?
True
Let y(f) = -3*f**2 + 10*f - 7. Let u be y(5). Is 18 a factor of -16 - -19 - u*2?
False
Suppose 3 + 5 = -2*z. Let y be 0*z/12 + 3. Suppose 0 = -y*a + 78 + 21. Is a a multiple of 18?
False
Let t(f) be the third derivative of f**6/120 + f**5/6 - 13*f**4/24 + 4*f**3/3 + 4*f**2. Let z be t(-11). Let d = -18 + z. Does 12 divide d?
True
Let u(s) = -s**2 - 7*s. Let j be u(-7). Suppose -6*v + 4*v + 4*t + 176 = 0, t - 4 = j. Does 19 divide v?
False
Let q(r) = 26*r**3 + 2*r**2 + r + 1. Let i be q(2). Let z = i + 153. Suppose 5*b = 4*h + z, 0 = -2*h - 0*h + 4. Does 32 divide b?
False
Suppose l = 5*y + 1752, -2*y - 3528 = -2*l - 0*y. Is l a multiple of 8?
False
Suppose 2*x + 80 = 3*b + 4*x, 2*x = 2. Suppose 4 - b = -u. Is u a multiple of 11?
True
Is 4 + -18 + 7 + 133 a multiple of 14?
True
Let h = 29 + -21. Let g(m) = m**2 - 7*m - 6. Let q be g(h). Does 22 divide 23/(q + 10/(-6))?
False
Let r(m) = 4*m**2 - 102*m + 74. Is 38 a factor of r(33)?
True
Suppose -4*x = 5*m + 20, x - 16 = 6*x + 4*m. Suppose 5*k - 15 = -x*k. Suppose -k*h + h + 50 = 0. Is h a multiple of 17?
False
Let m(y) = -2*y**2 - 16*y + 5. Let c be m(-7). Suppose 15*z + 32 = c*z. Is z a multiple of 8?
True
Let n = -602 - -1218. Is n a multiple of 56?
True
Let l be (-168)/(-70) - 2/5. Suppose 4*h + 20 = 0, l*p + 6*h - h - 51 = 0. Is p a multiple of 17?
False
Let y(i) = i**3 + i**2 + i - 5. Let m be y(0). Let x be (1/(11 + 2))/(63/819). Is 27 a factor of 31 - (x + (-2 - m))?
True
Suppose 3*q - 8*q - 12 = -2*i, 5*q - 6 = -i. Suppose 5*c + 4*z - 566 = 0, i*z + 8 = 8*z. Is c a multiple of 7?
False
Suppose -5*c - t = -4*t, 0 = -c + 5*t. Suppose 7 = 5*d - 8, c = -2*m - d + 13. Is m a multiple of 2?
False
Let p = 35 - 31. Suppose 0 = 9*m - p*m - 390. Is m a multiple of 13?
True
Suppose 2785 = 3*l - h - 2794, 0 = -4*l - 3*h + 7417. Is l a multiple of 51?
False
Let t(s) be the second derivative of s**4/12 - 5*s**3/3 + 3*s**2/2 + 11*s. Is 14 a factor of t(11)?
True
Let q = -2 + 1. Let f be -7 + q*(2 - 5). Is 3 a factor of ((-48)/f)/(9/6)?
False
Let l be -4 + (1 - 1) + 2. Let q(z) = -2*z**2 - z + 2. Let j be q(l). Is 5 a factor of (-146)/(-6) + j/12?
False
Let h be (4 + 0)/(-3 - -2). Let w(n) = -3*n**3 + 2*n + 5. Let d be w(h). Suppose -7*q = -4*q - d. Is q a multiple of 12?
False
Suppose 2*v - 2 = -0*v - 2*m, -m = 1. Suppose l + 156 = v*l - 4*w, -5*l + 4*w = -860. Suppose 5*u = l + 14. Does 19 divide u?
True
Is (-272)/((-6 - 34/(-6))*2) a multiple of 14?
False
Suppose 30 = 3*u - 9*u. Let j(i) = i + 11. Let a be j(u). Suppose 3*s + k = a*k + 313, -3*k - 107 = -s. Does 28 divide s?
False
Let p be 2 + (1 - -9)/5. Suppose -5*q + q - p*l = -992, 2*l = -5*q + 1246. Is 12 a factor of q?
False
Let y = 2068 - 477. Is 20 a factor of y?
False
Let c(t) = 17*t**2 - t - 4. Let l be 1/((3 + 0)/9). Let v be c(l). Suppose 0 = 2*g + 3*g + 2*a - v, -5*g + 5*a + 160 = 0. Is g a multiple of 15?
True
Suppose -10*z = -1318 - 2. Is 66 a factor of z?
True
Let k be ((-1010)/(-15))/((-2)/9). Let f be 8/20 - k/5. Let p = f - 28. Is p a multiple of 5?
False
Let k(x) = 3*x**2 + 22*x + 26. Is k(-18) a multiple of 13?
False
Let b(k) = -k**2 + k - 8. Let a be 10 - (3 + (-2)/(-2)). Let u be b(a). Is 0 + 1 - u/1 a multiple of 8?
False
Let f(t) = t + 6. Let w be f(-7). Is 29 a factor of w/(-3)*3*87?
True
Let l = 85 - 81. Suppose 2*u + u = 3*z - 96, -z + l*u = -20. Is z a multiple of 14?
False
Let v = -49 + 53. Suppose v*p - 692 = -3*w - w, 0 = 3*w - 2*p - 534. Is 22 a factor of w?
True
Let d(r) = -39*r**2 - 2*r + 1. Let q be d(2). Let b = -103 - q. Is 28 a factor of b?
True
Let b(j) = 3*j**3 - 13*j**2 + 3*j - 20. Does 19 divide b(6)?
False
Suppose -4*a + 12 = -8. Let b(h) = 14*h + 13. Let f be b(a). Suppose f = 4*k - 169. Does 9 divide k?
True
Let u = -1 + 3. Suppose -2*p - u*p = -4. Let m(z) = 56*z**2 - 2*z. Does 11 divide m(p)?
False
Suppose -5*g + 62 = 3*d - 0*d, d = -3*g + 34. Let v = 53 + -45. Let u = v + g. Is u a multiple of 3?
True
Is 15 a factor of (6/(-2) + 6)*120?
True
Suppose 8*p - 135 = -p. Suppose 5*c + 0 = p. Suppose 2*l + 64 = c*l. Is 16 a factor of l?
True
Let o(w) = -w**2 - 13*w + 11. Let s be o(-12). Suppose -2*i + 14 = f, -9 = 2*i - 3*f - s. Does 3 divide i?
False
Let q(j) = -5*j + 4*j**3 - 3*j**3 - 13*j - 6 + 2 + 6*j**2. Does 6 divide q(-8)?
True
Suppose 0 = f - 5*f + 16. Suppose d = f + 2. Is 2 a factor of d?
True
Suppose -6*d + 74 = -202. Is d/92*-1*(-222 - 0) a multiple of 11?
False
Let b be 13 - ((-10)/2 + 3). Suppose 4*d - b = 5*i, 2*i = i + 1. Suppose -2*c + d + 13 = 0. Does 9 divide c?
True
Let j = -45 - -50. Suppose 5*g = 4*w - 53, -j*g + 6 + 77 = 4*w. Is 5 a factor of w?
False
Let l be (2/(-4))/(3/(-18)). Suppose 0 = 2*h + l*p + 2*p + 18, -p - 18 = 4*h. Is 16 a factor of ((-14)/(-1))/((-2)/h)?
False
Let i = 23 - 20. Suppose -x + 133 = -4*f, i*x - f - 334 = -2*f. Let r = x - 57. Does 14 divide r?
True
Suppose -4*t + 5*a + 1 + 0 = 0, -t = -2*a - 1. Is 14 a factor of 5 - ((0 - 300) + t)?
False
Let h = -13 - -24. Suppose h*t - 4*t = 161. Suppose t + 41 = 4*q. Is 8 a factor of q?
True
Let d = 327 - -173. Is d a multiple of 25?
True
Suppose -48*g + 37*g + 3520 = 0. Is g a multiple of 8?
True
Suppose 5*g - 3*o = 9077, 5*o + 3794 + 1649 = 3*g. Does 28 divide g?
False
Is 8 a factor of (-48*112)/7*(4 - 5)?
True
Let v = 1388 - -1330. Is 9 a factor of v?
True
Let w(y) = y**2 - y + 43. Let j(q) = q**2 - 4*q + 3. Let v be j(3). Let s = v + 0. Is 21 a factor of w(s)?
False
Suppose 127 = d - 3*o, 3*o = d + 2*d - 411. Is d a multiple of 6?
False
Let z(v) = 14*v**3 - 2*v**2. Suppose 2*i + i + 22 = -5*w, -2*w - 12 = 2*i. Let k be z(w). Is 4 + k/(-4) + -4 a multiple of 28?
False
Is 1482/(0 + -5 + 7) a multiple of 57?
True
Suppose -n = 51 - 15. Let d = n + 76. Suppose -2*l + d = -48. Does 11 divi