01 = 0. Does 12 divide m?
False
Suppose -3*w - 4*u = 15 - 7, 2*u + 14 = -4*w. Let k be (w + 5)/(1/4). Suppose -2*s + 2*q = -8, q - 19 = -4*s + k*q. Is s a multiple of 7?
True
Let h be (4 - 1 - 4)*-40. Is 10 a factor of (7 - 13)*h/(-6)?
True
Let k(z) = z**3 - 19*z**2 - 2*z + 5. Let n be k(19). Does 4 divide n/2*(4 + (-3 - 3))?
False
Suppose 3*c - 239 = j, -29 = -3*c - 2*j + 222. Let v(g) = -g + 2. Let b be v(-7). Suppose c = a + b. Is a a multiple of 19?
False
Let v(z) = 58*z + 655. Is 19 a factor of v(29)?
True
Let t = 13 + -11. Suppose -x - 492 = -3*s, -s + t*x - 831 = -6*s. Suppose -7*a + 2*a = -s. Is 11 a factor of a?
True
Let f(h) = -22*h - 3. Let u = -16 - -8. Let x be (-3)/(2/(u/(-3))). Is 22 a factor of f(x)?
False
Let c(s) = s**2 - s. Let l be c(0). Suppose l = -5*b - 3*h + 8, 3*b - 4*h - 24 = b. Is (16/2)/b + 64 a multiple of 33?
True
Suppose 11 = 4*b - 9. Suppose 47 = v - 0*v - b*x, x = -v + 53. Is 23 a factor of v?
False
Let r(a) be the third derivative of a**4/8 + 3*a**3/2 - 8*a**2. Does 12 divide r(9)?
True
Suppose -53*v + 3*v = -55450. Does 12 divide v?
False
Suppose -9*d = -12*d + 51. Does 17 divide d?
True
Suppose 5*r - 8 = 12. Suppose -3*h - 4*f + 114 = f, -5*f + 152 = r*h. Let l = 56 - h. Is 9 a factor of l?
True
Let l be (-3 - -5)/(8/28). Let f(s) = s**2 - 4*s + 17. Does 14 divide f(l)?
False
Let o be 10/(-2) + -2 + 2. Let t be (35 - 28)*1/((-1)/(-2)). Let h = t + o. Does 3 divide h?
True
Let a(i) = 9*i**2 + i. Let r be a(-1). Suppose 9*x = 7*x + r. Is x a multiple of 2?
True
Suppose 2*f - 77 = 59. Suppose 14*v = 15*v - f. Is v a multiple of 20?
False
Let u be (-165)/(-2)*4/5. Let x = 126 - u. Is 15 a factor of x?
True
Suppose 0*n + n + 1530 = 2*m, -2*m + 1534 = -2*n. Is m a multiple of 55?
False
Let d(w) = -13*w + 50. Let o(r) = 2*r - 18. Let h be o(4). Is d(h) a multiple of 32?
False
Suppose -4 = -2*u + 2*k - 2, 3*k - 3 = 0. Suppose 5*v - u*a - 2*a - 64 = 0, -v + 2*a + 14 = 0. Is v a multiple of 12?
True
Suppose 0 = -6*t + 502 + 1322. Is t/2 + 0/(-16) a multiple of 19?
True
Suppose -3*f - 8 = -2*u + 12, f + 4 = 0. Suppose -u*b = -2*x - 278, 2*b + 2*b = 3*x + 277. Is b a multiple of 14?
True
Suppose 2*g = -j + 983, -g - 4*g = -20. Is 65 a factor of j?
True
Let o(l) = -518*l**3 - 2*l**2 - 3*l. Does 81 divide o(-1)?
False
Suppose 196 = 3*p + p. Suppose 0 = -w - 3*n + 41, -2*w + w - n = -p. Is 17 a factor of 8*1/(-2) + w?
False
Suppose 11*k - 345 = 458. Is k a multiple of 9?
False
Suppose 0 = -4*x + 2*x + 26. Suppose 3*j - 2 - x = 0. Suppose -j*r + 8 + 87 = 5*w, r - 13 = 5*w. Is r a multiple of 9?
True
Let q be ((-10)/(-6))/(((-85)/1170)/(-17)). Suppose 2*s + 2*s - 59 = -p, -s + q = 5*p. Is 12 a factor of p?
False
Let g(d) = 18*d + 14. Let f = 49 + -42. Does 28 divide g(f)?
True
Let m = 23 - -351. Is m a multiple of 34?
True
Suppose 2*b - f = -2*b + 38, -4*f = b - 1. Suppose 0 = b*r - 14*r. Is (3 + r)/((-24)/(-88)) a multiple of 11?
True
Let y = 22 - 2. Suppose 47 = h - v, -h = -4*v - 30 - y. Does 8 divide h?
False
Let b = -237 - -243. Is b a multiple of 3?
True
Let t = 12 + -18. Let z be ((-64)/t)/((-2)/(-3)). Suppose -12*m - 128 = -z*m. Does 11 divide m?
False
Let n = -32 - -34. Is 16 a factor of n/9 - 1430/(-45)?
True
Is 21 a factor of 8/(-12) + 40480/60?
False
Let x = -35 - -97. Let z = x + -26. Is z a multiple of 18?
True
Let v = 207 - 297. Does 51 divide 2*((-2241)/v + (-3)/(-5))?
True
Suppose -3*y + 5 = -37. Let s = 102 - y. Is s a multiple of 16?
False
Let k(s) = -7*s - 6. Let y be k(-24). Suppose 0 = 5*g - 3*r - 803, g - 2*g + 2*r + y = 0. Does 16 divide g?
True
Suppose 14*x - 9*x = -70. Let a = x - -13. Is 12 a factor of (-18)/(a/4*6)?
True
Let j(s) be the third derivative of 2*s**5/15 + s**4/8 + 5*s**3/6 + 6*s**2. Let m be j(-2). Suppose -3*a + m = -2*a. Is 31 a factor of a?
True
Suppose x + 2*w = -3, -4*x + 6 = -3*w - 4. Suppose -h = -x - 100. Is h a multiple of 30?
False
Suppose 4*z + 7 = -89. Is 538/6 - (-16)/z a multiple of 8?
False
Let h be 2/10 + 90/50. Suppose 2*k = -h*k - 8. Does 3 divide (-8)/(-3)*(-9)/k?
True
Let f = -399 - -429. Does 30 divide f?
True
Let g(x) = 347*x - 187. Does 36 divide g(5)?
True
Let c(i) = 6*i**2 - 6*i + 6. Let n be c(4). Suppose -5*f + j + 175 = 0, 2*f + 2*j = 4*f - n. Does 13 divide f?
False
Let v(d) = -209*d - 605. Is v(-16) a multiple of 11?
True
Let p(z) = z**3 - 4*z**2 - 2*z - 5. Let r be p(5). Suppose -2*m + 5*i + 5 = 6*i, 2*m + 5 = -3*i. Suppose m*b - 2*l = 31 - 6, -2*b + 3*l = -r. Is b even?
False
Let q(w) = 9*w**3 - 5*w**2 + 20*w - 152. Is 13 a factor of q(6)?
False
Let k = -14 + 18. Suppose -k*d = -4, -d - 3*d + 784 = -4*a. Is (2/(-3))/(2/a) a multiple of 17?
False
Suppose -39200 = 27*f - 47*f. Is f a multiple of 14?
True
Suppose -5*h - 8 = -7*h. Suppose -i = h*x - 48, -181 + 71 = -2*i - x. Does 8 divide i?
True
Let r = -317 - -812. Let v = r - 254. Does 47 divide v?
False
Suppose 130 = -y + 36. Let o = -17 - y. Is o a multiple of 12?
False
Let y = 97 + -37. Suppose 3*k = -y - 27. Let c = k - -51. Does 8 divide c?
False
Let b(k) = 25*k**2 - 2*k - 71. Is b(-5) a multiple of 3?
True
Suppose 4*r + 123 = a - 1077, 0 = 3*a - 5*r - 3593. Is a a multiple of 16?
False
Let g(z) = 2*z**2 - 7*z + 3. Let x be g(5). Suppose i + 6*s = s + x, 5*i + 5*s = 30. Is 15 a factor of 1*(i + 8*7)?
False
Suppose -6*t + t = 60. Is 16 a factor of 1*(-16)/12*t?
True
Suppose -3*d - r - r + 248 = 0, -4 = 2*r. Suppose d = 5*o - 76. Suppose -3*s = -o - 25. Is s a multiple of 19?
True
Let k = -2 - -8. Suppose -10*b + 13*b = -k. Is b/9 - 3015/(-81) a multiple of 37?
True
Is 8 a factor of ((-3)/5)/(12/30)*-160?
True
Let j(l) = 44*l**3 - 2*l**2 - 2*l. Let r be j(2). Suppose -9*g = -4*g - r. Does 34 divide g?
True
Is 798*-3*(-1)/6 a multiple of 9?
False
Let i = 190 + -159. Does 31 divide i?
True
Let a = 136 + -32. Does 6 divide (a/(-10))/((-4)/50)?
False
Let i = 1410 - 978. Is i a multiple of 31?
False
Suppose 2*v - 4 + 0 = -2*l, -2 = -v. Suppose 4*g + 2*g - 300 = l. Is 5 a factor of g?
True
Let r(n) = 7*n + 2 - 7 + 2. Does 5 divide r(2)?
False
Let t(d) = -d**3 + 11*d + 7. Let q be t(4). Is (-14)/(-56) - 166/8*q a multiple of 27?
True
Suppose -2*o - b + 59 = -0*o, 3*o = -3*b + 93. Is 4 a factor of o?
True
Let m(r) = r**3 - r**2 - r. Let u(b) = 6*b**3 - 2*b**2 - 5*b - 2. Let g(i) = -4*m(i) + u(i). Let k be g(-2). Let v = k - -69. Is v a multiple of 15?
False
Suppose 3*w = -3*u + 6, -4*w + 5*w - 2 = -4*u. Suppose 4*r - 4*k = 108, 38 = w*r - 3*k - 12. Is r a multiple of 3?
False
Let n be 3*((-80)/(-3) + -3). Suppose n = 2*c - 71. Let x = c - 34. Is x a multiple of 19?
False
Suppose 4*p - 5*z = p + 10, 3*z - 2 = p. Let i(y) = 7 - 16 + 6 - p*y. Is i(-3) a multiple of 9?
True
Let f = -173 - -179. Is 6 a factor of f?
True
Let v(m) = m - 33. Let i be v(28). Does 5 divide ((-6)/(-2))/(i - (-512)/100)?
True
Let w(o) = o**2 - 2*o - 7*o - 2*o + 14. Let u be w(10). Suppose 5*n = u*h - 2*h + 96, 0 = 5*n + 4*h - 78. Is n a multiple of 18?
True
Let v be 0/((-5 + 1)/(-4)). Suppose v = -3*x + 23 - 2. Let u = 6 + x. Is 13 a factor of u?
True
Let j(c) be the third derivative of c**5/30 + 13*c**4/12 + 2*c**3 + 19*c**2. Does 12 divide j(-15)?
True
Let l = -677 + 1342. Does 5 divide l?
True
Let n = -439 + 488. Is 2 a factor of n?
False
Let i be (20/(-3))/(46/(-24) + 2). Let p = -3 - i. Is p a multiple of 11?
True
Let n be 3 + -8 + -4 + 156 + 3. Suppose 3*y = 6*y + 2*u - 324, 197 = 2*y - 5*u. Let z = n - y. Is z a multiple of 22?
True
Let o(l) = -l**3 - 5*l**2 - 6*l + 2. Let i(z) = -z**3 - 6*z**2 + 9*z + 9. Let x be i(-7). Is o(x) a multiple of 16?
True
Suppose -15 = -4*z + b, 2*z + b + 10 = 5*b. Let o = 11 - z. Let y(c) = 2*c**2 - 6*c + 3. Is y(o) a multiple of 27?
False
Let g = -11 + 23. Let v = g + -13. Let s(n) = -23*n - 2. Is 20 a factor of s(v)?
False
Suppose 0*o + 2800 = 4*o. Suppose 0 = 4*u + 10*u - o. Does 8 divide u?
False
Suppose a - 2*f + 499 = 4*a, -5*f = -3*a + 527. Let y = a + -67. Does 12 divide y?
False
Let n be (-654)/9 + 1 - 1/3. Let b(y) = 114*y**3 - y**2 + 1. Let w be b(-1). Let d = n - w. Is d a multiple of 14?
True
Let g = 737 - 597. Is 3 a factor of g?
False
Let p = -157 - -337. Suppose 5*g = -50 + p. Is 18 a factor of g?
False
Let j(f) = -3*f + 20. Let k be j(10). Suppose 2*c = -4*u + u - 59, -3*c - 90 