**2 + 3*z - 2. Let m be s(-4). Suppose t - m*k = 102, -2*t + k = 3*k - 198. Is t a multiple of 25?
True
Suppose 66 = 4*a - 34. Let s = 81 - a. Is s a multiple of 14?
True
Does 16 divide (-3200)/(-12)*(-51)/(-34)?
True
Let b be -2*(3 - 4 - 1). Suppose -b*v + 8 = -2*v. Suppose -y + 2*x = -10, v*y = x - 35 + 103. Does 18 divide y?
True
Suppose -51*r + 1873 = -1544. Is 12 a factor of r?
False
Let c = 94 - 34. Is c even?
True
Let t = 536 - 326. Suppose 5*p - t = 2*p. Is p a multiple of 15?
False
Let p = 213 + -163. Is p a multiple of 4?
False
Let l = 738 - 370. Is l a multiple of 8?
True
Suppose 12*k = 4740 + 4956. Is 12 a factor of k?
False
Let o(m) = 2*m**2 + 23*m + 1. Let w be o(-12). Is 12 + -1 - (13 - w) a multiple of 3?
False
Let t be 3 + 0 + 1*(-1 + 0). Suppose 0 = 4*d + t*o - 266, -8*d + 3*d + 328 = 4*o. Is d a multiple of 17?
True
Suppose 5*w + l + 91 = 0, -6 = 3*w - 3*l + 45. Let t be 12/8*82/3. Let v = t - w. Is v a multiple of 15?
False
Let r(o) = -4*o**3 + 10*o**2 + o - 4. Let z(l) = 3*l**3 - 10*l**2 - l + 4. Let w(n) = -2*r(n) - 3*z(n). Does 3 divide w(10)?
True
Let c(u) = -19*u**2 + 4. Let w be c(2). Is (-10424)/w + 2/9 a multiple of 29?
True
Let z = -4 + 9. Suppose -3*g + 350 = z*x, -4*g + 0*g + 4*x = -488. Suppose -16*o - g = -20*o. Is 6 a factor of o?
True
Let n = 40 + -27. Let v = n - 9. Does 26 divide ((-153)/(-12))/(1/v)?
False
Let w = 38 - 34. Let r(a) = 3*a**3 - 12*a**2 - 20*a - 1. Let m(i) = i**3 - 4*i**2 - 7*i. Let g(x) = 11*m(x) - 4*r(x). Is g(w) a multiple of 9?
False
Suppose t = -3*a - 117, 2*t - 4*a = -2*a - 234. Let d = t + 315. Is d a multiple of 22?
True
Let k(z) = -6*z**3 + 4*z**2 - 4*z - 9. Let d be k(-4). Suppose y = -x - 2*x + 99, -d = -5*y + 5*x. Does 12 divide y?
False
Let i(y) = -31 + 717*y - y**3 + 2*y**3 - 736*y - 2*y**3 - 15*y**2. Is 39 a factor of i(-14)?
True
Suppose 0 = 3*k + 4*u - 39, 2 = -5*u + 17. Is 3 a factor of (-11 + k)*(0 - 4)?
False
Let m = 0 - 63. Let n be (0 + 4)*m/14. Let i = n + 30. Does 8 divide i?
False
Suppose -5*b = 5, -2*h - b = -278 - 867. Is 22 a factor of h?
False
Let p = 50 - 36. Let m be ((-25)/20)/(2/(-8)). Let c = m + p. Is 11 a factor of c?
False
Suppose 11*w + 2611 = 18*w. Is w a multiple of 26?
False
Let t = -25 + 33. Let h(r) be the second derivative of r**3/6 - r**2 + 2*r. Does 6 divide h(t)?
True
Let j = -52 + 54. Suppose 5*h - 140 = 5*q, -j*q + 85 = 5*h - 69. Is h a multiple of 3?
True
Suppose -3*l + 308 = 5*p - 1850, 0 = 2*p + 2*l - 860. Suppose 7*x + 63 = p. Is 18 a factor of x?
False
Suppose 2*a - 4*q = 12, 5*q - 2 = -2*a + 1. Suppose x - 6 = -2*v, 4*x - a*v = -0*x + 12. Does 2 divide 2/x + 221/26?
False
Let h = 488 + -331. Let g = -22 + h. Is g a multiple of 14?
False
Suppose -4*w + 276 = -2*w. Let s = -66 + w. Is 4 a factor of s?
True
Suppose 4*x + 28 = -4*v + 904, 4*v + 916 = 4*x. Suppose 3*l - x = -l. Does 8 divide l?
True
Let i = -1865 - -2729. Suppose -4*v - 4*v = -i. Is 27 a factor of v?
True
Let j be (2 - 2)/(2/1). Let w(c) = -2*c + j*c - 4 - 1 - 8. Is w(-11) a multiple of 9?
True
Suppose -223*p + 231*p - 3520 = 0. Is 7 a factor of p?
False
Suppose -8568 = 7*l + 2*l. Is ((-3)/(-6))/((-7)/l) a multiple of 34?
True
Let h be 10 - (0 + -1 + -4). Is 12 a factor of h*(2/(-3) + (-143)/(-39))?
False
Suppose 0*z = 9*z - 4491. Is 16 a factor of z?
False
Suppose 388 = k - a, 0*k - 776 = -2*k - 5*a. Is 11 a factor of k?
False
Suppose 2*u = -3*r - 4 + 20, -r = -4*u + 4. Let n(m) = 8*m**2 - 6*m + 13. Let i be n(3). Let d = i - r. Does 26 divide d?
False
Suppose 11550 = 152*q - 138*q. Is q a multiple of 25?
True
Suppose 0 = -7*i + 5*i + 10. Suppose 5*a = -3*s + 3, i*a - a + 5*s - 5 = 0. Suppose a = -2*n + 15 + 45. Is n a multiple of 10?
True
Let i be (-35)/(-11) + (-2)/11. Suppose p + 128 = i*p. Is p a multiple of 14?
False
Let i(n) = 2*n**2 + 4*n - 4. Let q be i(-5). Suppose -o + q = -3*o. Let z = 24 + o. Does 3 divide z?
False
Let r be 39/15 - (9/5)/3. Is r/(-4) - (-90)/4 a multiple of 22?
True
Let q(l) = 11*l**2 - 4*l + 23. Is 70 a factor of q(6)?
False
Let x(t) = 9*t**2 + 4*t - 3. Suppose 13*z = 15*z - 6. Let p be x(z). Suppose -4*c = -3*d - p, -c - d + 30 = 2*d. Is c a multiple of 8?
True
Let g(f) = -f + 68. Let o be g(0). Suppose 5*w = 18 - o. Is w/(-25) - 263/(-5) a multiple of 14?
False
Let p(a) = a**3 + 13*a**2 + 2*a + 32. Does 24 divide p(-7)?
True
Let x = 1612 + -684. Does 8 divide x?
True
Let l = 448 + -350. Is l a multiple of 5?
False
Suppose -p - 84 = 4*t, -5*p + 164 - 680 = -4*t. Let g = -44 - p. Is g a multiple of 14?
True
Let g(d) = 3*d + 107. Let x be g(0). Suppose -3*v - 4*k = -x, 3*v - 3*k - 102 = -9. Does 14 divide v?
False
Let m = -15 + 327. Suppose -h - m = -2*r + 4*h, 0 = 3*r - 4*h - 468. Is 26 a factor of r?
True
Let u(x) = x**2 - 75*x + 49. Is 21 a factor of u(-34)?
False
Let f be (4/(-6))/((-1571)/1569 - -1). Suppose -f - 925 = -8*c. Is c a multiple of 21?
False
Suppose -4*r + 4*m - 604 = -8*r, r - 181 = 5*m. Does 12 divide r?
True
Suppose 4*h - 3*v - 6 = 0, 4 + 2 = -5*h - 3*v. Suppose h = 5*c - f + 78, -f - 54 + 4 = 3*c. Does 22 divide c/((-92)/22 - -4)?
True
Let v = 0 + 11. Suppose -5*t - 13 = -k + v, k + 5*t + 16 = 0. Suppose -h - 3*h + 92 = k*s, 0 = 2*s - 4*h - 34. Does 7 divide s?
True
Let z = -1287 - -2394. Is 41 a factor of z?
True
Let b(r) be the third derivative of -r**5/60 - 2*r**4/3 - 4*r**3/3 - 29*r**2. Let u be (-10)/(-15) + 41/(-3). Is b(u) a multiple of 31?
True
Suppose -83*v = -134580 - 164552. Does 91 divide v?
False
Let m(v) be the first derivative of v**3 + 2*v**2 - 5*v + 36. Suppose -28 = 5*k + r, 0 = -4*k + r + 1 - 18. Is m(k) a multiple of 10?
True
Let l be 76/133 + 515/(-7). Let b = 253 + l. Is b a multiple of 20?
True
Suppose -20*d = -616 + 96. Does 3 divide d?
False
Suppose -15*l - 3618 + 11253 = 0. Is 82 a factor of l?
False
Let y be (-1)/(-2) - (-3227)/14. Suppose -3*i + y = -102. Is i a multiple of 16?
False
Let x(l) be the third derivative of -5*l**4/24 + 5*l**3/3 - 5*l**2. Let b(w) = 3*w - 5. Let m(a) = 13*b(a) + 6*x(a). Is 14 a factor of m(4)?
False
Suppose 0 = 5*u - 6*u. Let g be -1 + (5 - (u + 1)). Suppose -g*v + 45 + 117 = 0. Is 18 a factor of v?
True
Let b = 4 + -1. Suppose b*i = 5*q - i - 652, 0 = 4*i - 8. Does 12 divide q?
True
Let z be 5 + (1 - (-5 - -4)). Suppose -2*p - 20 = -z*p. Suppose 0 = -p*v, -3*v + 12 = n - 80. Is n a multiple of 14?
False
Suppose -43*o = -55*o + 384. Is 3 a factor of o?
False
Suppose -2*c + 2*r - 23 = 17, -50 = 2*c - 4*r. Let i(w) = -2*w**2 - 35*w + 17. Does 23 divide i(c)?
True
Suppose 3*n - 3684 = -3*n. Does 37 divide n?
False
Let d(z) = z**3 - 15*z**2 - 17*z + 19. Let w be d(16). Suppose 4*h - w*r - 183 = 3*h, 5*r - 835 = -5*h. Is 18 a factor of h?
False
Suppose -55*j + 35012 + 13388 = 0. Does 10 divide j?
True
Suppose 10*a - 3 = 5*a + 3*z, 5*a + 5*z + 5 = 0. Suppose a = i - 146 + 47. Is i a multiple of 9?
True
Let z = -1280 - -1331. Is 3 a factor of z?
True
Let l(w) = -w**2 - 4*w + 4. Let k be l(-4). Let p be 14*(6 + 1 + -5). Suppose -3*g + p = -5*a, 2*g + 5*a = k*a + 10. Does 5 divide g?
False
Let h(i) = -i**3 - 6*i**2 + 3*i. Suppose j = -0 + 4. Let d(x) = x**3 + 5*x**2 - 2*x. Let w(l) = j*d(l) + 3*h(l). Is w(2) a multiple of 11?
False
Let n be (-4)/(-3 + -1)*-2 - -7. Suppose -n*q + 130 = -3*q. Is q a multiple of 13?
True
Suppose -5676 = -15*a + 2484. Is 8 a factor of a?
True
Suppose 8*d - 1084 = 4*d. Is d a multiple of 35?
False
Let q(m) = -m + 12. Let y be q(7). Suppose y*l = r + 130, -3*l - r + 100 = -6*r. Is l a multiple of 4?
False
Let b = 115 - 77. Is 5/(-2)*(-21)/15*b a multiple of 7?
True
Suppose -3*l - 3*x + 0*x = -351, 471 = 4*l + 3*x. Is l a multiple of 5?
True
Let n = 5 - 1. Let j(o) = -3*o**2 + o**2 + 5 + n*o + 3*o**2. Is j(-4) a multiple of 4?
False
Let j(r) be the first derivative of -r**4/4 + r**2/2 + 25*r + 5. Let a be j(0). Let n = 36 - a. Is n a multiple of 7?
False
Let q(t) = 4*t - 20. Let b(p) = -p - 2. Let o(i) = -4*b(i) + q(i). Does 4 divide o(3)?
True
Let p = 1326 - 993. Is p a multiple of 9?
True
Suppose 0*n - 2*u = -2*n - 2, 16 = -n + 4*u. Suppose 0 = -5*p - n*p + 693. Does 11 divide p?
True
Let o(r) = r**2 + 0 - 7*r - 13 - 4 + 3. Let s be o(12). Let z = s - 28. Is 6 a factor of z?
True
Suppose 69*m = 71*m - 656. Is m a multiple of 32?
False
Suppose -g