10 = 1435, 0 = -a + 3. Let l = -45 - -499. Suppose 1989 = 5*r + 5*o + l, -4*r + c = o. Is r a multiple of 45?
False
Let q = -130 - -269. Suppose -q*f + 130*f = -8100. Is f a multiple of 30?
True
Let w(k) = -17100*k**3 + 24*k**2 + 21*k - 3. Is w(-1) a multiple of 9?
True
Let w = 4542 - -8336. Does 47 divide w?
True
Suppose 3*l + 36 = 5*k + 216, 5*k - 4*l = -175. Does 17 divide (-12)/(-8)*(-4862)/k?
True
Let m = -374 + 381. Suppose 0 = -m*h + 3*h + 3212. Does 73 divide h?
True
Let q be (7 - (3 - 1)) + -1. Suppose -a + 300 = q*a. Suppose 2*i - a = -i. Is i a multiple of 4?
True
Let b be ((-6)/(-9))/(11/(-10824)). Let r = 142 - b. Is r a multiple of 9?
False
Does 14 divide 8/((-96)/18)*(-1356 - -2)?
False
Let f = 6665 - 3514. Is 63 a factor of f?
False
Let t(y) = -y**2 - 150*y + 170*y - 42 + 3*y**2. Is t(-16) a multiple of 15?
True
Suppose 404*u = 401*u + 3, 2*u + 3218 = g. Is g a multiple of 140?
True
Suppose 2*v - 41 = -3*n, 0*v - 53 = -3*n - 5*v. Let t(b) = -b**2 + 9*b + 671. Let s be t(-19). Suppose -n*p + 1635 - s = 0. Is p a multiple of 34?
True
Let z be 6/(-21) - ((-1250)/14 + -3). Suppose -3*g + 17 = 4*l, 4*g + 17 = 3*l + 2*g. Suppose 0 = -l*x + z - 12. Is 9 a factor of x?
False
Suppose -2*q + 3*k = -333, 550 = 3*q + 3*k + 13. Suppose q = 5*l - 11. Suppose 8*b - 35 = l. Is b a multiple of 7?
False
Let p = 23 + 41. Let t = -74 + p. Let h(i) = -7*i + 8. Is h(t) a multiple of 13?
True
Suppose 0 = -2*z + 8, -2*w = z - 21038 - 9650. Is w a multiple of 34?
False
Let m be (-3)/((8 + -4)/(-8)). Suppose -2*r = -3*t + m*t - 881, 2*r - 857 = 5*t. Is r a multiple of 23?
False
Suppose -x = -745 - 180. Suppose 103*l - x = 98*l. Is l a multiple of 28?
False
Let v(m) = 587 + 6*m - 299 - 296 + 5*m**2. Suppose -3*x = 1 - 13. Is 32 a factor of v(x)?
True
Let j(q) = -q**3 - 4*q**2 + 2*q + 6. Let i be j(-4). Let n be (-13)/156*8 - (-7892)/(-6). Is i/(4 - n/(-328)) a multiple of 16?
False
Let x be (-8)/(-10)*(-1)/((-2)/(-75)). Let w = x + 26. Let l = 74 + w. Does 11 divide l?
False
Let h(o) = -4*o + 2. Let u be h(0). Is 20 a factor of (-1)/((-3)/82) + u/3?
False
Suppose -6*q + 5*q - 8 = r, q + 5*r = -12. Let w(y) = 6*y - y**3 + 5*y**2 - 17*y**2 + 7*y**2 + 10. Does 22 divide w(q)?
True
Let a(x) = 47*x**2 + 7*x - 13. Let z be a(2). Suppose 1428 = 7*b + z. Is 13 a factor of b?
False
Let n = -2636 - -27823. Does 11 divide n?
False
Does 22 divide (((-2432)/20)/(-4))/((-27)/(-1485))?
True
Does 23 divide (56/98 - (-3200)/35)*475/4?
True
Suppose 0 = -12*d - 36*d + 98640. Does 7 divide d?
False
Let j be 29*(-12)/(-16)*-4. Let m = -363 - j. Let d = 463 + m. Is 17 a factor of d?
True
Suppose 2834 + 367 = 11*p. Let j = p + -232. Does 6 divide j?
False
Let m(f) = 3*f**2 - 8*f - 8. Suppose -5*y + y - 2*o = -6, 3*y - 2 = -4*o. Suppose q + 4*z - 24 = -0*z, -y*q - 5*z = -33. Is m(q) even?
True
Is (175490/30)/((-6)/54*-3) a multiple of 25?
False
Let m(a) be the third derivative of a**6/60 + 4*a**5/15 - 17*a**4/24 - 10*a**3 + 6*a**2 - 3. Does 5 divide m(-8)?
False
Is 17 a factor of ((-11079)/18 + 2)*-2?
False
Let b = 4834 + -4328. Is 4 a factor of b?
False
Suppose -u = -377 - 216. Suppose u + 1409 = 7*x. Is 13 a factor of x?
True
Suppose -w - 5*j = -8, 11 = 4*w + w - 4*j. Suppose -o + w*o - d = 339, -d + 681 = 4*o. Is 6 a factor of o?
False
Let u(i) = 4*i - 36. Let c be u(13). Suppose -c*d + 5990 = 230. Suppose -5*l + 460 = -5*b, 2*l + 4*b - d = -2*l. Does 21 divide l?
False
Let t = -2400 + 3510. Is t a multiple of 30?
True
Suppose 3*f + 3*c = 0, -c = -0*c. Suppose o - 99 = 4*m, f = -o - 2*m + 5*m + 98. Is 18 a factor of o?
False
Let s = -6923 + 14127. Is 15 a factor of s?
False
Is 2 - (-6 + -37896 + 18) a multiple of 19?
True
Suppose 98*n - 62*n - 1477980 = 0. Is n a multiple of 50?
False
Suppose 0 = -18*u + 112*u - 201160. Is u a multiple of 5?
True
Let p be 3 - 21/((-63)/6798). Suppose 16189 = 30*l + p. Is 16 a factor of l?
True
Suppose -v + 85400 = v + 4*u, -5*u + 42706 = v. Does 72 divide v?
True
Let j(x) = -2*x + 15. Let f be j(6). Suppose -z + f*z = z. Is 7 a factor of 42/(0 - -3) + z?
True
Does 37 divide -3 - 14 - 28740/(-6)?
True
Let u(m) = m**2 + 2*m - 1. Let b be u(-3). Let j be ((3 - -387)/(-5))/(3/b). Is 38 a factor of 8/j + (-1 - (-2485)/13)?
True
Suppose -6*f + 12434 = 4208. Does 10 divide f?
False
Let y = -8 + 18. Let q = -31 - y. Let i = q + 70. Is 12 a factor of i?
False
Let r(i) = 7740*i - 12. Is r(1) a multiple of 24?
True
Let r(a) = 30 + 510*a - 84 + 4 - 72 - 183*a. Is 38 a factor of r(2)?
True
Let b(r) = 75*r - 5. Let c(z) be the second derivative of -z**5/20 + 5*z**4/12 + 5*z**3/6 + 4*z**2 + 4*z. Let v be c(6). Is 29 a factor of b(v)?
True
Suppose -2*h + 74721 = -2*w + 23533, 5*h = 2*w + 127949. Does 68 divide h?
False
Let t(k) = 89*k**3 - k**2 + 2*k - 2. Let q be 30/(-6*(-3)/27). Let y = 46 - q. Is 10 a factor of t(y)?
False
Suppose 5*z + z + 555 - 44811 = 0. Is z a multiple of 87?
False
Suppose 94*y + 7*y - 268357 = 0. Is y a multiple of 69?
False
Suppose -878 = -2*w - 3*c, 0 = 15*c - 17*c - 4. Is w a multiple of 13?
True
Let g = -2241 - -6869. Is g a multiple of 98?
False
Let m(i) = -i**3 + 5*i**2 + 3*i + 24. Let h be m(6). Suppose -h*s + 368 = -40. Is 5 a factor of s?
False
Let a(g) = 2*g**2 - 10. Let z = -10 - -32. Suppose -n = u + 4*n - z, n = -5*u + 38. Does 22 divide a(u)?
True
Suppose 0 = 2*v + 10 - 14. Let c = 252 + -248. Suppose 24 = v*b + c*w, -4*w - 66 = -3*b - 0*w. Is 4 a factor of b?
False
Suppose 88*r + 145920 = 94*r. Suppose 94*y - 62*y = r. Is 38 a factor of y?
True
Suppose 6*t = -4*q + t + 1401, q = -2*t + 354. Let h = q - -557. Is h a multiple of 26?
False
Suppose 19*r + 19*r - 19190 = 0. Is r a multiple of 37?
False
Suppose 8*y - 272 = 176. Suppose 9885 = -y*a + 32733. Does 24 divide a?
True
Let c(p) = p**3 + 3*p**2 - 11*p - 1. Let q be c(-5). Let y = -7 + 12. Suppose z = q*z - y*g - 140, 138 = 3*z - 3*g. Does 9 divide z?
True
Let p be ((-10)/13)/(-5) - (-48)/26. Suppose 6*f = m + 3*f - 4, -m = p*f - 4. Suppose -4*j = -m*k - 6*j + 82, 4*k + 4*j - 72 = 0. Is 12 a factor of k?
False
Let r = 9247 - 3523. Does 177 divide r?
False
Suppose 37620 - 4120 = 20*b. Suppose z - b = -4*p, -3*p - 27*z + 1275 = -30*z. Is p a multiple of 35?
True
Suppose -4*c + 79 - 91 = 0. Suppose 5*d + 78 = -5*f + 4*d, 5*f = d - 72. Let l = c - f. Is 6 a factor of l?
True
Let x = -206 - -668. Let f = 571 - x. Is f a multiple of 11?
False
Suppose 3*n - 4*i = 4*n - 24, 3*i = 4*n - 96. Suppose -n = -a - 17. Does 27 divide (-6)/21 + 380/a?
True
Let y = 4464 - 1880. Does 136 divide y?
True
Suppose 4*t - 12158 - 7273 - 3997 = 0. Does 36 divide t?
False
Let c(d) = -d + 7. Let g be c(6). Suppose 13 = w + g. Suppose -15*o + w*o = -102. Is 6 a factor of o?
False
Suppose 0 = -6*a - 182 + 20. Let i = -24 - a. Let w(s) = 13*s**2 - s. Is 38 a factor of w(i)?
True
Let d(o) = -13*o**3 + 107*o - 12 - 126*o + 11*o**3. Is d(-8) a multiple of 11?
False
Let y(j) = -15*j**3 + j**2 - 4*j - 3. Suppose 12*o = -8*o - 40. Is 57 a factor of y(o)?
False
Suppose 0 = -h - 4*y + 3 + 3, -5 = -5*y. Let v be (14*3/18)/(h/78). Suppose 4*o - 26 + 278 = 3*u, 0 = u + o - v. Is 22 a factor of u?
True
Let m(t) = 357*t**2 + 40*t - 284. Is m(9) a multiple of 285?
False
Let z(g) = 1286*g**2 - 32*g - 86. Let k be z(-3). Suppose 57*m - k = 49*m. Is m a multiple of 13?
False
Suppose -222 = -28*i + 26*i + 2*r, 0 = 4*i + 5*r - 399. Suppose c = -0*c + 3. Is 13 a factor of 1 + 0 + (c - i)/(-1)?
True
Let g = 20 + -20. Let t be 0 + 2 + g + 6. Suppose -9*p + 3 = -t*p. Is 3 a factor of p?
True
Let l(n) = 56*n - 10. Suppose -c = -2, -2*c = -3*w - 6*c + 35. Is 19 a factor of l(w)?
True
Suppose 0 = 3*z + 3*m - 3823 - 2624, 5*z - m = 10745. Let k = z - 1509. Is k a multiple of 10?
True
Suppose 4*h - 2071 = -s, 4*s - 3*h = 2*h + 8200. Is 28 a factor of s?
False
Suppose -2*n + o = -29280, 15*o - 10*o = -5*n + 73230. Is n a multiple of 201?
False
Let f(h) = -h - 12. Let k(r) = 3*r + 6. Let s be k(-7). Let l be f(s). Suppose -l*q = q - 452. Is q a multiple of 19?
False
Let m(f) = -f - f**2 + 2 + 41*f**3 - 1 - 11*f**3 + 29*f**3. Let b be m(1). Suppose 0*t + 2*t = -2*p + b, 4 = -4*t. Is p a multiple of 5?
True
Suppose 0*f - 2 = -2*f. Let h be (-3 - -1) + (-2 - f). Does 2 divide (3 + 1 + -5)*h?
False
Suppose 0 = 2*v - 0*v - 30