s 84 divide a?
True
Let t(p) = 6*p**2 + 0 + 0 - 6*p - 1. Suppose -558 = -72*x - 198. Does 17 divide t(x)?
True
Let k(m) = m**2 - 4*m + 2. Let w be k(2). Let n be -4 + 2 - -5 - w*183. Suppose -216 = -3*u + n. Does 13 divide u?
True
Let n = 37 + 65. Suppose n = -4*l + 14. Let h = 2 - l. Is 6 a factor of h?
True
Suppose 7 = -4*k - 5. Let g be 15/20 - (162/(-8))/k. Let z(r) = -r**3 - 3*r**2 + 7*r - 4. Is z(g) a multiple of 10?
False
Suppose 5*x - 10 = 0, 0 = y - 5*x - 0 + 28. Does 6 divide (-3*(-490)/63)/((-1)/y)?
True
Let h(c) = 13*c**2 - 2*c - 5. Let z be h(5). Let o = z - 184. Suppose -j + o = -0*j. Is j a multiple of 24?
False
Let v = 5898 - 4580. Let n(o) = o**3 - o**2 - o + 230. Let q be n(0). Suppose -8*b = -v + q. Is 34 a factor of b?
True
Let z(a) = 20*a - 28. Suppose -u = 4*y - 14, 3*u + 22 = 3*y + y. Let i be z(y). Is (i/3)/2 + (-1)/(-3) a multiple of 3?
True
Suppose -4*c + 4*z = -120, 5*c + 2*z - 185 = -0*c. Suppose 113 = h - c. Does 37 divide h?
True
Let o(x) = 89*x**2 + 21*x + 55. Is 287 a factor of o(-12)?
False
Suppose 2*b - 9 = -a - 3*b, 0 = -2*a - 3*b - 3. Let h be ((-5)/(-3))/((a/9)/(-2)). Suppose -5*c = 3*r - h, 5*r - 2*c + 13 = 73. Is 5 a factor of r?
True
Suppose n + 71 = -2*x, -266 = -3*n + 7*n + 2*x. Let u = 67 + n. Suppose -4*c = -u*r - 36, -4*c - r + 5*r = -36. Does 9 divide c?
True
Let s(u) = 3*u**2 - 56*u - 5. Let d(w) be the third derivative of w**6/24 - w**5/15 - w**4/6 + 2*w**3/3 - 8*w**2. Let o be d(2). Is s(o) a multiple of 25?
True
Let a = 82 - -16. Let i = -214 + 223. Suppose a = -i*l + 566. Does 13 divide l?
True
Suppose 279*p = 283*p - 8. Suppose 2*l - 5*y = 1085, -7 = p*y - 5. Is 12 a factor of l?
True
Let k = 91 + -283. Let a = 280 + k. Is a/(-6)*(-2 - (3 + -2)) a multiple of 4?
True
Suppose 31*u - 2312 + 49 = 0. Suppose -6*y + 260 = -y. Let h = u - y. Does 21 divide h?
True
Suppose -h - 3*p = -5, 0 = 4*h - 5*p + 7 - 27. Let q(j) = -j**2 + 8*j - 10. Let i be q(h). Suppose -i*y = 0, -574 = m - 3*m - 4*y. Is 16 a factor of m?
False
Let n(v) = 7*v - 71. Let s be n(12). Suppose -s*f + 5729 = -8*f + 2*r, f + 5*r - 1155 = 0. Is 12 a factor of f?
False
Let h(c) = c**3 + 28*c**2 + 27*c - 49. Let q be h(-27). Let a = q - -321. Does 17 divide a?
True
Let r = 172 - -68. Suppose 9*b - 768 = r. Does 8 divide b?
True
Let k = -370 - -2308. Let c = k + -815. Is c/3 - (-4)/6 a multiple of 55?
False
Let h(q) = 22*q - 157. Let c be h(7). Is 6 + c + 840 - (-3 - -6) a multiple of 30?
True
Is 75 a factor of 3153 - (-6 + -114)/(-8)?
False
Suppose 0*j - 31 = 5*j - 3*m, 0 = j + m + 3. Let z be (j + 4)*(-2 - -2). Suppose 3*b + 5*x - 146 = z, 2*b + 5*x = 79 + 25. Is b a multiple of 13?
False
Let w(u) = 404*u + 4. Let i be w(2). Suppose -55*r = -59*r + i. Does 12 divide r?
False
Let z be ((-63)/(-7) + -12)*(-146)/2. Suppose x = 61 + z. Is x a multiple of 10?
True
Suppose 0 = 3*h - 5*h - 4*u + 92, 2*u = 2*h - 80. Suppose 53*a - 13497 = h*a. Does 19 divide a?
False
Let v be -13 + 7 + 9 + 0. Suppose 566 = f + 5*s, -4*f + 493 = -v*s - 1817. Is f a multiple of 12?
True
Suppose 5*v - 3*k = -43, k + k + 52 = -4*v. Let u = v + 13. Suppose -4*l - 4*q = -152, -2*l + 37 = -u*q - 31. Is 12 a factor of l?
True
Suppose -h + 4*h = 12, 4*a = 3*h + 60. Suppose 171 = 5*m - 4*t, 4*t = 2*m - a - 48. Does 12 divide m?
False
Suppose -4*p - 21 = -5, -4*l - 5*p + 600 = 0. Suppose 4*r + 20 = 0, r = n + 4*r - l. Does 34 divide n?
True
Suppose 5*q - 184 = 2*n - 6*n, -146 = -4*q - 2*n. Let z = q - -571. Is z a multiple of 17?
False
Let l(g) = 41*g + g**2 + 0*g**2 + 29 + 13*g - 78*g. Let y be l(23). Suppose 44 = y*z - 88. Is z a multiple of 2?
True
Let h = -3164 - -23444. Is h a multiple of 169?
True
Suppose 0 = -4*k + 7 + 21. Suppose 0 = 5*c - k*c + 222. Is c a multiple of 35?
False
Suppose 7712 = -101*w + 653102. Is 18 a factor of w?
True
Let x(i) = -35*i**2 + 6*i - 10. Let g be x(2). Let a = g - -196. Is a a multiple of 17?
False
Let d be (-22 - -6)*1/(2/(-20)). Suppose 5*c + d = 5*u, 5*u - 4*c = -3*c + 156. Is 4 a factor of u?
False
Let o be (-4)/(-14) - (-240)/42. Let s be (-3)/o*4 + 0 + -1. Is s*(-18)/(-5)*-1*5 a multiple of 15?
False
Is 132/(12 - 1664/144) a multiple of 2?
False
Let x = -51 + 55. Let q(j) = 24*j + 3. Let r be q(x). Let f = 180 - r. Is 27 a factor of f?
True
Let y be 315 + (0 - 0)/(-4). Suppose 0 = 2*x + 115 - y. Is x a multiple of 4?
True
Suppose 6*t - 98 = -80. Suppose 4*f + 4*g = 296, -151 = f - t*f + g. Does 5 divide f?
True
Suppose -6686*r = -6687*r + 5229. Does 28 divide r?
False
Suppose -5*k + 75 = -l, k - 2*l + 11 = 35. Suppose -k - 26 = -10*g. Suppose -86 = -5*s + g. Is 12 a factor of s?
False
Let z = -233 + 459. Suppose -624 = -p - z. Is 11 a factor of p?
False
Is 242 a factor of 19/76*1*-24110*6/(-5)?
False
Suppose 2*l = 4*l + 1086. Let c(f) = -f**3 - 4*f**2 - 13*f - 21. Let u be c(-2). Does 11 divide 28/(-12) - u - l/9?
False
Let d = -231 - -235. Is 1*26*(d - (-135)/18) a multiple of 60?
False
Let v = 37 + -33. Suppose -98 = -3*d + v*r, d - 2*r + 198 = 6*d. Is 19 a factor of d?
True
Let j(r) be the third derivative of r**6/120 + 4*r**5/15 - 17*r**4/24 - 52*r**3/3 + 3*r**2 + 25*r. Does 12 divide j(-14)?
False
Suppose b = -b + 16, -24652 = -d + b. Does 9 divide d?
True
Let s = -49 - -71. Suppose -20*v = -s*v + 718. Is 13 a factor of v?
False
Let z be 1 + (1 - -1) + 99. Let r = -83 + z. Is r a multiple of 19?
True
Let u(h) be the third derivative of 19*h**4/12 - 8*h**3/3 - 41*h**2. Does 7 divide u(3)?
True
Let o be 4/6 + (-672)/9. Let t = o - -73. Is 34 a factor of 202/6*3*(2 + t)?
False
Suppose -3*q + 4*y = -402, 0*q - q = y - 127. Let k = 109 - q. Let m = k + 32. Is 7 a factor of m?
False
Let y = 4 + -2. Let s be (-2 - 2472/(-56)) + (-2)/14. Suppose -y*k + 4*k - s = 0. Is 4 a factor of k?
False
Suppose 10*z + 10040 = 33560. Does 112 divide z?
True
Let x be ((-72)/(-45))/(1/10). Let i be (130 - 2)/4 - 2. Is 3 a factor of (x/(-5))/((-6)/i)?
False
Suppose -2*y + y - 478 = 0. Let i = -319 - y. Suppose -3*t = -3*o - i, t - 2*o + 86 = 3*t. Is 3 a factor of t?
True
Let q(x) = 2*x**2 - 2*x - 56. Let w be q(6). Is 7 a factor of ((-321)/w)/((-3)/8)?
False
Suppose -9530 = 62*w - 72*w. Is w a multiple of 68?
False
Suppose -5*g + 4101 - 501 = 0. Is g a multiple of 4?
True
Suppose 2*f + 6 - 18 = 0. Suppose -3*r = -f*r + 9. Suppose r*n = 9*n - 420. Is 14 a factor of n?
True
Suppose 3*k - 4923 = -3*q, 4*k - q = 8*k - 6573. Is k/6 - 2/(-2) a multiple of 25?
True
Suppose -2*a + 6 = 0, -a = 2*d - 2 - 9. Let u(l) = -l**3 + 11*l**2 - l + 4. Does 8 divide u(d)?
True
Suppose 66*i + 342633 - 1160329 = -26*i. Does 60 divide i?
False
Suppose 3*q + 8 = s - 4, 5*s + 4*q + 16 = 0. Suppose b + 825 = 3*b + 3*o, 3*b + 3*o - 1245 = s. Is 20 a factor of b?
True
Let g = 3 - -1. Suppose 5*z - z = 3*b + 4767, -2*z + g*b + 2396 = 0. Does 66 divide z?
True
Suppose -9*h = 5*h + 4204 - 14578. Is h a multiple of 77?
False
Let f(y) = 4*y**3 + 2 + 25 - 20 - 3*y**2 - 7*y. Is 18 a factor of f(4)?
False
Suppose 2*v = 5*v - 27. Let d be ((-831)/v)/(8/(-24)). Suppose 2*n = 5*a - d, 3*a - a - 122 = -2*n. Is a a multiple of 13?
False
Let u be -5*5 + (-30)/10. Let x be (-3 + u/(-12))*-3. Suppose 0 = -x*f + 119 + 1. Is f a multiple of 20?
True
Suppose 0*g + 397 = g - 2*z, 2*z - 776 = -2*g. Let t = g - 271. Is t a multiple of 8?
True
Let l(z) = z**3 - 11*z**2 - 6. Let y be l(11). Let v(q) = 0*q + 2*q**2 + 2*q - 6 + 11 + q. Is v(y) a multiple of 15?
False
Suppose -8*j + 7*j = -a - 5450, -j + 5462 = 3*a. Is 4 a factor of j?
False
Let p(i) be the third derivative of -i**6/120 + i**4/12 - i**3/3 - 3*i**2. Let y be p(1). Let a = y - -4. Is a a multiple of 3?
True
Suppose 6*w - 11 = 19. Suppose -168 = w*m + 97. Let n = m - -149. Does 16 divide n?
True
Let w = -5960 - -11223. Does 12 divide w?
False
Let h = -735 + 405. Let i = h - -399. Is 8 a factor of i?
False
Suppose 0 = 12*t - 24*t - 12. Is 20 a factor of (-59 + t)*(51 + -52)?
True
Suppose 14*x - 66521 = -19593. Is 34 a factor of x?
False
Suppose 0*y = -4*y - 4, -w = -4*y + 2. Let i(u) = 16*u**2 - u - 54. Is i(w) a multiple of 28?
False
Let c(x) = -x**3 - 24*x**2 + 4*x + 102. Let s be c(-24). Does 9 divide (-6)/(-4) - (-279)/s?
False
Let a be ((-576)/27)/(-2) + (-4)/6. Suppose -11*w = -a*w - 638. Is w a multiple of 29?
True
Let a be