 multiple of 89?
True
Let p = 13 - 8. Let z be (-1 + p)/((-1)/(-6)). Suppose 6*o - 5*o = z. Is o a multiple of 8?
True
Suppose 4*a = f + 2753, -2*f - 1839 - 911 = -4*a. Is a a multiple of 13?
True
Let o(t) = -6 - 24 + 16*t - 4 + 1. Does 6 divide o(8)?
False
Suppose -5*g + 3*p = -56 - 57, 5*g - 4*p - 109 = 0. Suppose 0 = -0*y - 5*y - g. Let b(w) = -w**2 - 8*w + 2. Does 7 divide b(y)?
False
Suppose 7*j - 4*j + 12 = 0. Let x be (-4)/j*3 + -3. Suppose x = y - 4*c - 69, y = 4*y + c - 259. Does 27 divide y?
False
Let r(t) be the third derivative of 13*t**5/60 + t**4/12 + t**3/3 + 3*t**2 + 2*t. Does 16 divide r(-4)?
False
Suppose 0 = 3*c + 4*p - 35, -16 = -3*p - 1. Suppose 4*i - 2*q = c*i - 65, 3*i + q = 175. Does 13 divide i?
False
Is ((-5)/20*22 - -5)*-1452 a multiple of 22?
True
Let r(x) = x**2 + 3*x - 21. Let c be r(-16). Suppose 0 = 3*j - b - c, j = -4*b - 42 + 126. Is 6 a factor of j?
False
Let s(z) = -3*z**2 + 11*z + 5. Let n(m) = 12*m**2 - 45*m - 21. Let y(p) = -5*n(p) - 21*s(p). Is 7 a factor of y(-5)?
True
Let s(h) = h**3 - 25*h**2 + 8*h - 140. Is s(25) a multiple of 3?
True
Suppose 0 = 17*k - 19*k + 1530. Is 74 a factor of k?
False
Let d = -35 + 70. Suppose 175 = 5*a + d. Suppose 70 + a = 3*l + o, -5*l - 4*o + 161 = 0. Is 16 a factor of l?
False
Suppose 38 = 5*n + y, -5*n + 46 = -3*y - 0*y. Let i(k) = k**2 - 3*k - 6. Let s be i(n). Suppose 4*q + 2*j = 92, 0 = 3*q - j - 45 - s. Is q a multiple of 25?
True
Let y(b) = 7*b**2 - 7*b + 4. Let a(q) = -6*q**2 + 6*q - 3. Let j(v) = -6*a(v) - 5*y(v). Let d(h) = -h + 3. Let k be d(6). Is j(k) a multiple of 5?
True
Is 29 + (0 - 1) + 3 a multiple of 29?
False
Let v = -90 - -72. Does 23 divide (-16)/((-2)/v - (-2)/(-6))?
False
Let k be (3 - 5)*(2 - 4). Suppose o = k*d - 185, 2*d + 5*o = 17 + 48. Is d a multiple of 9?
True
Let r(n) = 3 - 10*n + 0*n**2 - 6*n**2 + 7*n**2. Let j be r(10). Suppose -j*q + q + 54 = 0. Is q a multiple of 11?
False
Let k(n) be the third derivative of 3/8*n**4 - 1/120*n**6 + 0 - 1/30*n**5 + 5/3*n**3 - 13*n**2 + 0*n. Is k(-6) a multiple of 25?
True
Let o(j) = 3*j**2 - 1. Let y be ((-32)/(-12) - 4)*3. Let s be -6*(y - (-27)/6). Does 4 divide o(s)?
False
Let p(a) = -29*a**3 - 6*a**2 - 9. Does 8 divide p(-3)?
True
Suppose -o + 3 = -2. Suppose -h = -5*x + 8, -o*h - 6*x + 2*x = -18. Suppose -5*b + 94 = -2*f, 3*b + 2*f - 86 = -h*b. Does 9 divide b?
True
Suppose 0 = 2*k - 3*k. Let q be 2 + 4 + (1 - 3). Suppose -q*i + i + 18 = k. Does 6 divide i?
True
Suppose 0 = 4*z - o - 1598, 3*z + 6*o - 2*o = 1189. Does 33 divide z?
False
Let p be 1/(-4) - (19 + (-4932)/(-48)). Suppose 5*o = -3*g + o - 212, 0 = g + 4*o + 76. Let l = g - p. Is 18 a factor of l?
True
Suppose 6*p - 26 = 4. Suppose -p*k = -0*k - 15. Suppose 3*s = -k*r + 21 + 45, s = 4*r - 68. Is 9 a factor of r?
True
Suppose 18*w = -3617 + 39887. Does 20 divide w?
False
Let u(n) = 2*n**2 + 10*n + 3. Let h be u(-5). Let s be -3 + h + -1 - -2. Let j(l) = 23*l + 3. Is j(s) a multiple of 13?
True
Let g = 22 - 17. Suppose -5*l + 151 = -0*l - 4*b, b - 156 = -g*l. Let r = -23 + l. Is 2 a factor of r?
True
Let i be -2 + 2 - 0 - 4. Let p be (1 - 2) + 0 - i. Is 19 a factor of (-99)/5*(-10)/p?
False
Suppose 2*x - 8 = -4*u, u - 14 = x - 3*u. Let q(p) = -2*p**3 - 4*p**2 - p + 2. Let l be q(x). Suppose 5*s = 10, 4*o - 26 = 2*o + l*s. Is o a multiple of 12?
False
Suppose 0 = 2*m + m + 3*k - 30, 0 = 5*m - 2*k - 71. Suppose 3*d - m = 2. Suppose -3*l = a - 309 + 1, -2*l + 194 = -d*a. Is 28 a factor of l?
False
Suppose -2*h = -h. Suppose h = 4*o - 0*o - 20. Suppose 0 = 5*x + 6 + 4, 3*d - o*x = 91. Is 16 a factor of d?
False
Let l be 2/(1 - (-9)/(-15)). Suppose 0*y + 1804 = 5*y - 4*o, 5*o = 3*y - 1085. Suppose -u = l*u - y. Does 12 divide u?
True
Suppose 27*l - 20 = 23*l. Suppose 4*i - 12 = -l*g + 16, 0 = 3*i + 2*g - 14. Suppose 5*b = i*b + 399. Is b a multiple of 29?
False
Does 8 divide 8 - ((-4)/(32/40) + -1447)?
False
Let f = -25 + 27. Let y(x) = -2*x - 5 + 18 - f. Is 11 a factor of y(0)?
True
Let w(s) = -208*s + 530. Is 38 a factor of w(-8)?
False
Let u(r) = 2*r - 39. Let z be u(19). Does 23 divide -1*z/(-3) + (-139)/(-3)?
True
Let s(w) = -31*w + 55. Is s(-6) a multiple of 6?
False
Let p(u) = -u**3 + 7*u**2 - 5*u + 6. Let m be p(7). Let o = m + 77. Is 24 a factor of o?
True
Let d(h) = -h**2 + 62*h + 329. Does 6 divide d(49)?
True
Suppose -9*d + k + 6595 = -4*d, 4*k = 3*d - 3940. Does 22 divide d?
True
Is 12 a factor of (0/(-4) - -2) + 58?
True
Suppose 2*u + 3*p = 21, 3*u - 4*p = -8*p + 31. Does 8 divide u?
False
Let x = -16 - -16. Let f(h) = 2*h - 9*h + x*h - 11. Does 8 divide f(-8)?
False
Let d(w) = w**3 + 25*w**2 + 82*w + 32. Is 23 a factor of d(-21)?
False
Does 30 divide ((-32)/(-12))/(4/84)?
False
Let a = 1336 + -1328. Let b(x) = 0 + 3 + 2*x + 10. Is 9 a factor of b(a)?
False
Suppose 1535 = 3*g - z, -z - 7 + 2 = 0. Is g a multiple of 34?
True
Suppose -709 = -2*z + 301. Does 4 divide z?
False
Suppose 0 = 4*l + 50 + 2. Let r = 27 + l. Is r even?
True
Let l be 3/1 - -4 - 3. Let q be (-48)/(-20)*350/l. Let d = q - 129. Is d a multiple of 26?
False
Suppose -276*q + 279*q - 2088 = 0. Is 12 a factor of q?
True
Let d = 7 + -4. Suppose -6*o + d*o = 3*b + 3, 5*o = -4*b - 7. Suppose -22 = -0*m - b*m. Is 11 a factor of m?
True
Suppose -35 = 3*f + y, 3*y = -f - 2*f - 33. Is (-1005)/f + -5 - (-2)/8 a multiple of 21?
False
Does 5 divide (50/3)/(11/33)?
True
Let f(g) = 188*g**2 + 3*g + 4. Let z be f(-1). Suppose z + 130 = 11*c. Is c a multiple of 2?
False
Let o(p) = -2*p**2 - 5*p + 4. Suppose -3*n = -0*n + 9. Let s be o(n). Does 29 divide (s - -8)*(-56)/(-6)?
False
Suppose 8*b = 5*b + 153. Let v = b + 6. Let l = -38 + v. Is l a multiple of 19?
True
Let m be 2/11 - 3776/(-44). Let k(r) = r**3 - 7*r**2 - 13*r + 1. Let t be k(9). Let q = m - t. Is 17 a factor of q?
False
Suppose 4*h - 9*h - 240 = 0. Let a = 92 + h. Is a a multiple of 7?
False
Let k(j) = 4*j**2 + 2*j - 2. Let g be k(1). Suppose 5*u = -g*t + 476, 0*t = -t - 1. Does 12 divide u?
True
Let o(f) be the first derivative of -4*f**3 + 5 - 6*f**2 - 1/4*f**4 + 7*f. Is 11 a factor of o(-11)?
False
Suppose -5*a - 2*w = -588 - 355, 3*w - 753 = -4*a. Is a even?
False
Let p = 210 - 12. Is 18 a factor of p?
True
Let r(v) = -v**3 - 5*v**2 - 5*v + 4. Let g be r(-3). Suppose 3*u - 85 = -4*i - g, 0 = -5*u. Is 7 a factor of i?
True
Suppose -3*f = 2*w - 15, -3*w + 5*f - 7 + 1 = 0. Suppose 0 = w*s - s + 10. Let x = s + 19. Does 14 divide x?
True
Suppose -56 = g + z, 3*g + 115 = 2*z - 53. Let q = g + 296. Is q a multiple of 12?
True
Let o(l) = -24*l**3 + 2*l**2 + 2*l - 6. Is o(-2) a multiple of 38?
True
Suppose -n - 1230 = -5*u - 339, 2*u - n - 354 = 0. Let h = -108 + u. Does 19 divide h?
False
Suppose 0 = d - 4 + 5. Let m(n) = 2121*n**3 - n**2 - n. Let c be m(d). Is 14 a factor of c/(-28) + 2/8?
False
Suppose 36*o = 35*o + 44. Is o a multiple of 44?
True
Let x(r) = -22*r + 242. Does 31 divide x(-19)?
False
Let q = -1006 + 1561. Is 11 a factor of q?
False
Let v = -99 + 101. Does 17 divide v/2 - (2 - 258/3)?
True
Let l(f) = -f**3 - 12*f**2 - 92*f + 17. Is 9 a factor of l(-10)?
False
Suppose 12*k = 14817 + 7647. Does 18 divide k?
True
Let s be 12/(-42) + 4/14. Suppose s*r + 105 = 7*r. Is 3 a factor of r?
True
Let j be 7/14*(11 - 1). Suppose 20 = j*p + 2*w, p - w + 6 = 3. Is 9 a factor of 0 - (-45 - p - -3)?
False
Suppose -j - 83 = -k + 1, 5*k - 256 = 3*j. Let g = j + 156. Suppose 0 = -s + g - 15. Does 12 divide s?
False
Let j(w) be the second derivative of w**3/6 - 11*w**2/2 + 2*w. Let z be j(8). Let c(o) = 6*o**2 + 3*o + 7. Is c(z) a multiple of 26?
True
Suppose 31*r + 3 = 32*r, 3*i - 4401 = 3*r. Is i a multiple of 15?
True
Is (64/(-8))/2 + 3 + 1141 a multiple of 59?
False
Let h = -467 + 1202. Is h a multiple of 35?
True
Let q(h) be the third derivative of -3*h**4/8 + 3*h**3 - 7*h**2. Does 5 divide q(-8)?
True
Suppose 5*u - 4*h - 3072 = 0, -2*u = h - 625 - 609. Is 31 a factor of u?
False
Let o(s) = -s**2 - 4*s + 8. Let h be o(-5). Suppose -72 + 12 = -h*r. Is r a multiple of 8?
False
Let j(h) = -5*h + 2. Suppose 0 = -5*a - 10, 2*i - 2*a - 36 = 6*i. Does 5 divide j(i)?
False
Let b(i) = 34 + 0*i**2 - 28 + i + 16*i**2. Does 12 divide b(2)?
True
Let s = 469 + -299. Does 4 divide s?
False
Let h = -42 - -33. Let c(y) = -3*y + 42.