pose -62 = -3*o + 4*v, 0 = -o + k*o - h*v - 40. Does 14 divide o?
False
Let z(m) = 11*m**3 - m**2 - 2*m + 4. Does 28 divide z(2)?
True
Let v(o) = -2*o + 21. Let h be v(9). Suppose -h*i + 89 = -91. Is 15 a factor of i?
True
Let r(y) = -y**3 + 9*y**2 - 9*y + 8. Let w be r(8). Does 11 divide 130 - w - (1 + (-1 - 2))?
True
Let y be (0 - 6/4)*30/(-45). Let s(q) = 9*q**2 + 3*q - 3. Does 9 divide s(y)?
True
Let z(l) = -2*l**3 + 36*l**2 - 2*l + 68. Is 45 a factor of z(16)?
False
Let u(h) = 2*h + 96. Let c be u(0). Let z = 31 + -35. Is 50/z*c/(-30) a multiple of 17?
False
Let m(z) = z - 9. Let v(o) = -6*o + 45. Let n(w) = 24*m(w) + 5*v(w). Is n(-6) a multiple of 15?
True
Let z = -51 - -59. Suppose z*q - 558 = 394. Is 17 a factor of q?
True
Let w be 1325/15 - 1/3. Suppose -8 = -2*f + w. Is f a multiple of 17?
False
Suppose -11*w + 1142 = -530. Is w a multiple of 9?
False
Suppose -2*m + 6 = 3*w, 0 = -4*w + 3*w + 4*m + 2. Is w*22*3/(-12)*-6 a multiple of 4?
False
Suppose 3*z + 11 = -22. Let p = -4 - z. Is 3 a factor of 10/(-5) - -1*p?
False
Let q(x) = 4*x**2 + 4*x - 90. Let m be q(7). Suppose 3*p + 2*p = 25. Suppose 2*v + p*l = 56, l + m = v + 3*v. Is v a multiple of 11?
True
Let m(u) = u**2 + 9*u + 4. Let a(z) = -z**2 - 9*z - 9. Let b be a(-9). Let w be m(b). Suppose -3*c + 144 = w*t, t + 129 = 5*c - 2*c. Is c a multiple of 14?
False
Suppose -27*k = -7589 - 8395. Is k a multiple of 8?
True
Suppose c + 5*h = 29, c = 4*c + 4*h - 32. Suppose 3*f + u - 5 = 6, c*u + 41 = 5*f. Suppose 3*l + r - 66 = 2, 3*l - f*r = 56. Does 5 divide l?
False
Suppose -7 = -h + 3*s + 11, -2*s = h + 7. Suppose 5*u = h*o + 60, 0 = 3*u - o + 3*o - 17. Let r = u - 3. Is r a multiple of 6?
True
Is (94 + 0)/(5/50) a multiple of 39?
False
Let z(g) be the second derivative of -5/2*g**3 + 0 - 7/6*g**4 - 4*g + 1/20*g**5 + 7*g**2. Does 7 divide z(15)?
True
Is (-28)/98 + (-2580)/(-14) a multiple of 8?
True
Suppose 584 = 11*x - 472. Does 2 divide x?
True
Let v = -29 - -35. Let g(y) = y**3 - 4*y**2 + 9*y + 8. Let m be g(v). Suppose 0 = 2*h - 12 - m. Is h a multiple of 36?
False
Let n = 146 + -74. Does 10 divide n?
False
Let y(r) = 57*r**2 - 4*r + 5. Suppose -q = 21*q - 44. Is 9 a factor of y(q)?
True
Let l(i) = 17 + 9 - 3*i + 9 + 12. Is l(-15) a multiple of 7?
False
Suppose -3*d - 2*u = -0*d - 305, -5*u = 10. Let o be (-3)/4 + d/4. Let h = -13 + o. Is h a multiple of 6?
True
Suppose 7*m + 15 = 6*m. Let n be 2/3 - 185/m. Let b = 20 - n. Is b a multiple of 7?
True
Suppose 0 = -2*a + 7 + 1. Let k = 71 + -13. Suppose 0 = 3*x - 3*o - 111, a*x + 2*o - k = 102. Is x a multiple of 14?
False
Let l = 147 + -16. Does 37 divide l?
False
Let w = -9 + 11. Suppose -2*u - 4*t + 9*t = -76, -w*t = 4. Let f = u - 8. Is f a multiple of 13?
False
Suppose 0 = -2*z + 2*g - 3*g + 269, 4*z - 532 = 4*g. Suppose 3*i - 601 = z. Does 36 divide i?
False
Suppose 2*q = 2*f, f + 3 + 6 = 4*q. Suppose -120 + 42 = -f*a. Is a a multiple of 13?
True
Let r be 239/4 + 7/28. Suppose 0*j = -2*j + r. Is j a multiple of 15?
True
Suppose -2*v + v - 2*m = -56, m + 137 = 2*v. Let r(i) = -i + 14. Let f be r(10). Suppose 26 + v = f*a. Is a a multiple of 20?
False
Suppose -d + 223 = 2*c - 613, 5*d = 2*c - 812. Is 32 a factor of c?
True
Let d(i) = 32*i**2 + 17*i - 63. Is d(3) a multiple of 28?
False
Let q = 382 + 110. Does 66 divide q?
False
Suppose -30*o + 150 = -45*o. Let v(p) = p**2 + p**2 - 6 - 5 + 7*p. Is v(o) a multiple of 28?
False
Let f be (16 - 2)*2/2. Let m = 75 + -63. Suppose r - f - m = 0. Is 13 a factor of r?
True
Suppose 0 = 5*z - q - 949, -z + 195 = 5*q - 0*q. Suppose -2*r + z = 5*u, 4*u - 2*r - 152 = -r. Does 6 divide u?
False
Suppose -657*x + 661*x = 1792. Is x a multiple of 16?
True
Suppose 3*k = 5*h - 20, -h + 18 = -3*h - 4*k. Let v = 0 + h. Suppose -v = i - 5. Is 4 a factor of i?
True
Suppose f = -4*l + 2*l + 435, -2*l + 426 = -2*f. Suppose 216 = 4*q - l. Does 36 divide q?
True
Does 65 divide 5*310 + (-188)/(-94)?
False
Let d = 223 + 130. Does 15 divide d?
False
Let o = 204 - 202. Suppose -l + 2 = -4*v, 0*l - l + 3 = -3*v. Let j = l - o. Does 2 divide j?
True
Suppose -x + 2*y + 23 = 3*y, y + 77 = 3*x. Suppose -125 = 5*k + c + 2*c, 0 = -5*c - x. Is 36 a factor of 109 + 0 - (-22)/k?
True
Let x(o) = o + 14. Suppose 4*h - q = -27, -h - 6 = -2*h - 4*q. Let c be x(h). Let y = 7 + c. Does 11 divide y?
False
Let g(r) be the third derivative of -r**4/24 + 5*r**3/6 + 2*r**2. Let x be g(0). Is 328/x + 6/(-10) a multiple of 16?
False
Let p = 2957 + -2090. Is 82 a factor of p?
False
Suppose -179 + 69 = -5*v. Let j = v + -19. Suppose -53 = -5*i - j*s, 3*s + 0 = i - 25. Does 3 divide i?
False
Let p(q) = 7*q**2 - 11*q + 32. Is 26 a factor of p(8)?
False
Let b(g) = g**3 + 5*g**2 - 8*g + 4. Let j be b(-6). Let h = 3 + j. Suppose -m - h = -59. Is m a multiple of 20?
True
Let x = -499 + 1363. Is 27 a factor of x?
True
Let l be 6/(-1 + -2 - (-18)/4). Suppose -l*r + 5*r - 7 = 0. Is 5 a factor of r?
False
Let n(i) be the second derivative of -1/3*i**3 + 0 + 3/2*i**2 + i - 1/20*i**5 + 7/12*i**4. Is n(6) a multiple of 9?
True
Let x be (-342)/(-12) - 1/2. Suppose 2*k = 3*a - 17, -x = -4*a + 3*k + k. Let p = 2 + a. Is 5 a factor of p?
True
Suppose 2*h + 0*h = -368. Let q = h + 274. Is q a multiple of 15?
True
Let v(q) = -140*q - 12. Does 9 divide v(-5)?
False
Suppose 0 = -h + 3*h - 4*k - 20, 2*k + 10 = -4*h. Suppose -4*y + 5*t = -3*y - 31, -3*t - 15 = h. Is y even?
True
Suppose -2*y = -3*w + 47, 3*y - y = -8. Suppose -2*q + 3*a = 1, 0*q + w = 4*q - a. Is -6*((-64)/q - -2) a multiple of 28?
True
Suppose -2614*p = -2603*p - 7854. Does 31 divide p?
False
Suppose 2*u - 63 = -u. Suppose 0 = -5*h - u + 111. Is 18 a factor of h?
True
Let s = -5 + 2. Let k(a) = 4*a - 6. Let v(n) = n + 1. Let l(m) = -k(m) - 5*v(m). Does 14 divide l(s)?
True
Let u = 4 + -2. Let v be (u/4)/(8/944). Suppose 5*i - 4*m - 142 = -1, -2*i + v = m. Is 10 a factor of i?
False
Suppose -13 = 2*i - 23. Suppose -5*s - o = -280, -2*o - 6 = -i*s + 274. Does 8 divide s?
True
Suppose 3*l - 7 = 8. Suppose -l*d + 10*d = 525. Is 13 a factor of d?
False
Let u(c) be the second derivative of c**3/3 - 7*c**2 + 2*c. Let d be u(7). Does 9 divide 0 + 3 - (-29 - d)?
False
Let s(f) = -95*f**2 - 3*f + 4. Let k(o) = -o + 1. Let x(a) = 4*k(a) - s(a). Let n be x(-1). Suppose -5*w = -11*w + n. Is 4 a factor of w?
True
Suppose 23*p - 20*p - 782 = -5*s, 1310 = 5*p + 5*s. Is p a multiple of 33?
True
Suppose -4*w = -57 - 35. Suppose 5*d - 17 - w = 0. Is d a multiple of 6?
False
Let d(o) = 5*o**2 - 3*o - 48. Does 2 divide d(-7)?
True
Let g(t) = -160*t + 2. Let n(k) = -319*k + 4. Let b(f) = 5*g(f) - 2*n(f). Let w be b(1). Let l = w + 232. Is 18 a factor of l?
True
Let j(u) = -4 - 1 - 91*u + 4. Let t be j(-7). Is 2/8 - t/(-16) a multiple of 20?
True
Let y be (-1 - -2)/((20/(-15))/(-4)). Is (201/y + 0 + 1)*1 a multiple of 17?
True
Suppose -13 + 15 = 2*t. Let g = t + 2. Suppose -2*a + 195 = g*s, 5*s - 4*a = -a + 306. Does 21 divide s?
True
Let g(a) = 3*a**3 - 2*a**2 - 2*a - 1. Let j be g(3). Let z = j - 39. Is z a multiple of 3?
False
Let t(x) = x**3 + 4*x**2 + 4*x + 7. Let q be t(-6). Let y = -57 - q. Is 13 a factor of y?
False
Let r(o) be the first derivative of o**6/360 - 7*o**5/120 - o**4/8 - 4*o**3/3 - 5. Let c(g) be the third derivative of r(g). Is c(8) a multiple of 5?
True
Let s(p) = -2*p - 20. Let x be s(-15). Let y be 28/(-70) - (-424)/x. Suppose y = 2*c + h, -5*h - 7 - 3 = -c. Is 10 a factor of c?
True
Suppose -4819 = -u - 4*v + 5120, -49695 = -5*u + 5*v. Let x = 5349 - u. Is 31 a factor of x/(-75) + (-8)/(-10)?
True
Suppose 10580 = 9*i + i. Is 13 a factor of i?
False
Let m = -11 + 27. Let b be m/4 - (-2 + 2). Suppose b*q - 30 = 130. Is 20 a factor of q?
True
Suppose 4*t = -4 - 4, 4*b = -t + 34. Suppose b*z - 311 = 85. Is z a multiple of 41?
False
Suppose -3*w - w + 28 = 0. Let z(b) be the first derivative of 9*b**2/2 - 9*b + 44. Does 9 divide z(w)?
True
Let b = -116 - -143. Is 27 a factor of b?
True
Suppose 5*u + 5 = 0, -j + 5*u + 206 = -4*j. Let z = 113 - j. Is 46 a factor of z?
False
Suppose 382*q + 3072 = 385*q. Is q a multiple of 5?
False
Suppose -4*z = -428 - 1740. Suppose 4*n - 50 = z. Is 32 a factor of n?
False
Let w(a) = -17*a**3 + 2*a**2 + 2*a + 1. Let d be w(-1). Is 30 a factor of 1346/d - (-