
Let t be (-174 - 1) + 4 + -7. Let k = t + 105. Let j = 249 + k. Is 41 a factor of j?
False
Suppose 28*p - 760 = -5*k + 23*p, 0 = -5*k - 4*p + 760. Is 76 a factor of k?
True
Let l(j) = -5*j**2 - 24*j + 38. Let n be l(-6). Suppose w = -2*y + 1077, 541 - 1621 = -2*y + n*w. Is y a multiple of 11?
True
Suppose -3*u + 614 = -36*b + 40*b, -4*u + 464 = 3*b. Is 19 a factor of b?
True
Suppose 16 = 4*b - 0. Is 11 a factor of (-1)/b - (-1 + 1229/(-4))?
True
Let n be -2*28/(-8) - -178. Let k = n + -52. Does 15 divide k?
False
Let w(o) = -6*o + 599. Let y be w(0). Let n = -357 + y. Is 28 a factor of n?
False
Suppose 70 = -14*f + 19*f. Suppose -f*l + 8 = -10*l. Suppose 3*m = k + 62, 5*m - 3*m - 28 = -l*k. Is 19 a factor of m?
True
Suppose -4*f + 12433 = i, 797*i + 2*f - 12439 = 796*i. Is 19 a factor of i?
True
Let w be (2 + 35)/(1/2). Suppose 79*t = w*t. Suppose t = -2*m + 11*m - 612. Is 5 a factor of m?
False
Let y be (-1 + 38/3)/((-15)/(-19440)). Suppose 37*p = -5*p + y. Is p a multiple of 20?
True
Suppose -10*d - 15 = -265. Suppose -20*a - 5*j = -d*a + 1375, 4*j + 544 = 2*a. Is a a multiple of 11?
False
Let i(r) = 2*r**2 - 98*r + 3752. Does 108 divide i(92)?
True
Let d(s) = s**2 - 5*s - 4. Let n be d(-1). Suppose -12 = -n*b - 4. Suppose w - j - 449 = -b*w, -4 = -4*j. Is w a multiple of 26?
False
Does 132 divide (580 + -52)/((-87)/93 - -1)?
True
Let t(q) = 2737*q - 249. Does 13 divide t(4)?
True
Does 50 divide (-352)/(-48)*(531 + -2 - 4)?
True
Does 19 divide ((3484/(-12) - -6)*-6)/(4/6)?
False
Let c(h) = -4*h + 20. Let b be c(4). Suppose -11*q + 2093 = -b*q. Does 64 divide q?
False
Suppose 3*n = -f + 545, -3*n + 1653 = -11*f + 14*f. Let w = 1006 - 667. Let x = f - w. Is x a multiple of 27?
False
Suppose -12 = -5*r - 2*x, x - 8 = 3*r + 6*x. Suppose -8*s + 3*s + 40 = 0. Suppose 3*z + r + s = 0, 2*p - 5*z = 74. Is 9 a factor of p?
True
Let j(l) = -l**3 - 12*l**2 + 12*l. Let h = 17 - 16. Let a(g) = -g. Let y(x) = h*j(x) + 2*a(x). Is y(-13) a multiple of 20?
False
Let v(n) = n**2 - 27*n + 82. Let r be v(36). Suppose -3*l + 2*g - g = -622, 2*l = 5*g + r. Is l a multiple of 8?
True
Let j(o) = 22 + 20 + o - 2 + 17. Suppose -4*s - 4 = 0, 0*x = -5*x + 4*s - 51. Is j(x) a multiple of 23?
True
Is 5/((-25)/(-4966)) + (-109)/545 a multiple of 2?
False
Let l(p) = -4*p - 11. Let u(s) = -1. Let j(x) = -l(x) - 4*u(x). Let c be j(-8). Let w = 16 - c. Is 11 a factor of w?
True
Suppose -51 - 345 = -12*m. Suppose 5*u - m = -38. Does 4 divide (u + 49)*(-2)/(-3)?
True
Let b(n) = 2*n**2 - 11*n - 25. Let l be b(-8). Let y = -67 + l. Is y a multiple of 7?
False
Suppose -65*n + 4001311 = 12*n + 1171022. Is 22 a factor of n?
False
Let i(z) = -44 - 42 + z**3 + 84 + 4*z**2 - 9*z. Let s be i(-4). Let p = s + 2. Is 4 a factor of p?
True
Suppose 466*i - 88682 = 455*i. Does 58 divide i?
True
Let v = 189 - 191. Does 12 divide (-3)/(v/(-10) - (-2360)/(-10300))?
False
Let v be (-57)/(-11) - (-20)/(-110). Suppose -v*k - 6 = -7*k. Does 6 divide (33/44)/(1/20) - k?
True
Let l be (-54)/(-72) - 13 - 3/4. Let f(a) = 6*a**2 - 5*a - 36. Is 11 a factor of f(l)?
False
Let n(r) be the third derivative of r**6/60 - r**5/15 - r**4/6 - 3*r**3/2 - 29*r**2. Is n(4) a multiple of 13?
True
Let x(b) = 5*b**2 - 1694*b - 31 + 32*b**2 + 10*b**2 + 1695*b. Does 17 divide x(-5)?
True
Let r be 9/6*2 + -1. Let p(b) = 7*b**2 - 4 + 7*b**2 + 9*b**2 - 8*b**r. Is p(-2) a multiple of 43?
False
Suppose c + 4*l = 5*c - 20, -c - l + 5 = 0. Suppose -3*h - c - 15 = p, 0 = -4*p - 20. Is 21 a factor of h - -108 - (-1 - (-1 - -2))?
True
Let n(a) = 117 + 27*a - 8*a - 11*a - 12*a. Is n(18) a multiple of 15?
True
Let i(q) = 27*q**2 - 21*q. Let c be i(9). Let x = c - 1137. Is 21 a factor of x?
True
Suppose -9623913 + 1857520 = -186*l + 4124959. Is l a multiple of 44?
True
Let v(u) = -7*u + 3. Let q be v(-5). Suppose 0 = -15*f + 11*f + 28. Let w = q + f. Is 9 a factor of w?
True
Let x be 351/2 - (-27)/18. Suppose x = 20*v - 243. Is v a multiple of 21?
True
Let d(h) = 20*h + 9. Let s(u) = -20*u - 9. Let z(c) = -3*d(c) - 2*s(c). Let p be z(-4). Suppose -4*q + p = -29. Is q a multiple of 25?
True
Does 6 divide (292462/4609)/((-2)/(-198))?
True
Let k(z) = 4*z**3 - 46*z**2 + 28*z + 21. Is k(16) a multiple of 3?
False
Let g = -274 + 299. Let a(f) = 2*f**2 - 14*f - 144. Is 18 a factor of a(g)?
True
Suppose 0*b - 4*o = b + 173, -3*b - o = 563. Let u be (-714)/b - (-2)/9. Suppose u*z + 0*z - 304 = -2*r, 3*r - 456 = 3*z. Is r a multiple of 37?
False
Suppose 2*k + 15 = 7*k. Suppose -5*d = -3*c - 32, 0 = -3*c + k. Suppose i = d*i - 396. Is i a multiple of 31?
False
Let w = -56651 + 112763. Is 97 a factor of w?
False
Let a(v) = 4*v**3 - 48*v**2 + 115*v - 25. Is a(15) a multiple of 25?
True
Suppose -w - 2*w + 1113 = -3*i, 1463 = -4*i - 3*w. Let n = 120 - i. Does 32 divide n?
False
Suppose -h + 13 = 2*t, -4 = -t - t + 2*h. Suppose -x - 54 = -3*i - 3*x, 4*x + 12 = 0. Suppose -i - t = -m + 2*c, -3*m + 5*c = -70. Is 13 a factor of m?
False
Let u = -234 + 136. Let z = u + 143. Let j = -24 + z. Does 2 divide j?
False
Suppose 0 = -2*r + 41672 + 3178. Is 25 a factor of r?
True
Suppose 0 = 10*j - 7*j + 6. Let y be (41/(-3))/(j/(-6)*-1). Let q = y + 27. Is 4 a factor of q?
True
Suppose -6*v + v + 8 = 4*r, 2*v + 6 = 3*r. Suppose 2*s - 1 = -i, -5*i - 22 = -s + r*s. Suppose 4*l = 4*y - 248, 0*y - 234 = -4*y - s*l. Is 6 a factor of y?
True
Suppose -18 = -0*d - 6*d. Suppose -5*l - 631 = -z - d*z, -2*l - 482 = -3*z. Suppose -5*i + 7*i - z = 0. Is 39 a factor of i?
False
Suppose 4*g = m + 3970, -7*g + 3962 = -3*g + 3*m. Suppose -g = -6*f + 712. Is f a multiple of 8?
False
Let u(i) = -2*i**2 + 19*i + 32. Let g be u(-8). Let v = g + 382. Does 51 divide v?
False
Is 49 a factor of -39*(-3053)/5 - (-81)/135?
True
Suppose 29*q - 67306 = -13*q + 1047332. Is 18 a factor of q?
False
Suppose -5*n = 3*b - 41, 7*b - 2*n = 3*b + 20. Let w = 8 - 8. Suppose w = b*k + 2*k - 567. Is 12 a factor of k?
False
Let u(f) = 1627*f + 2562. Is u(13) a multiple of 38?
False
Suppose 0 = -7*f + 4*f - 12. Let t be -1 - 2*4/(-8) - f. Suppose 0 = 3*y - t*h - 245, -14 = -y - 2*h + 51. Does 27 divide y?
False
Let k = 663 - -1424. Does 22 divide k?
False
Let h = -22 - -47. Suppose -h = -2*t + 15. Is (-1 + -19)*4/t*-4 a multiple of 8?
True
Let o = 61 + -63. Let z be o/5 - (-1)/((-10)/(-184)). Let y(j) = 7*j - 3. Is 14 a factor of y(z)?
False
Suppose 2*n - 2761 = -2*w + 5*n, 5*w - n - 6883 = 0. Suppose -2*m = -2*r - w, 0*m - 2064 = -3*m - 5*r. Does 80 divide m?
False
Let v = -77 - -110. Let m = v - 31. Suppose m*o - 56 = -6. Is o a multiple of 11?
False
Suppose 5*u - 5 - 15 = 0. Suppose 316 + 232 = 2*z - u*p, 0 = -5*z - 2*p + 1382. Is 12 a factor of z?
True
Let x(p) = -8*p - 80. Let d be x(-10). Suppose -381 = -2*s + 3*q, -2*s + 2*q - 7*q + 341 = d. Does 7 divide s?
False
Let j(c) be the third derivative of 19*c**5/30 - c**4/4 - c**3/3 - c**2 + 1. Is 6 a factor of j(2)?
True
Let c(w) = -65*w**2 - 14*w + 19. Let q be c(-5). Let a = q - -2981. Is 17 a factor of a?
True
Suppose -2*b = 5*u - 41577, -2*b - 24 = -6*b. Is u a multiple of 17?
True
Does 19 divide (5507375/175 - -9) + (-6)/(-21)?
False
Let s be -3*(-4)/(-3) + -6. Let p be (7 + s)/((-3)/(-2)). Is (-19)/((-2)/(4 + p)) a multiple of 2?
False
Suppose 0 = 3*b - 4*v - 35446, 2 = 2*v - 8. Is 3 a factor of b?
False
Let c(m) = 19*m**2 + 10*m - 4. Suppose 9*l - 6 = 30. Is 17 a factor of c(l)?
True
Let t be ((-9)/(-27))/((-1)/(-3)) - 1. Suppose t = 4*i - 139 + 39. Suppose -g = 4*o - i, 5*o = 3*g - 4 + 14. Does 5 divide g?
True
Let i = -15 + 18. Let w be i*-1*1757/(-21). Suppose -4*v = -5*q + 324, v = -4*q - 4*v + w. Is q a multiple of 24?
False
Let s(g) = g**2 - 41*g - 820. Is s(92) a multiple of 16?
True
Let f(m) = 22*m**3 - 4*m**2 - m - 63. Is f(6) a multiple of 16?
False
Let o be (-18)/12*1*-4. Suppose -o*b = 4*b - 20. Is 12 a factor of (108/(-42))/(b/(-168))?
True
Let i = 61 - 59. Suppose -2*j + j + i = 0. Suppose 0*r - r + j*o + 29 = 0, 83 = 4*r + 3*o. Is 14 a factor of r?
False
Let n(m) = 2955*m - 4190. Does 72 divide n(3)?
False
Suppose 0 = -76*v + 64*v + 3084. Does 86 divide v?
False
Let q = 116280 - 51508. Does 54 divide q?
False
Let w = 1583 - -570. Is 10 a factor of w?
False
Let j be 7/42 - 3183/(-18). Let n = j - 31. Is 6 a factor of n?
Fals