(3). Is 37 a factor of 185/u*((-31)/w + -5)?
True
Let d = 108540 - 71172. Is 346 a factor of d?
True
Let t(j) = 68 - j**3 + j**2 + 0*j - 64 - 18*j. Does 20 divide t(-5)?
False
Suppose 10 = -5*k + 3*g + 2*g, g = -2*k - 7. Let o be -1*k*(-3 - -4). Does 4 divide o + -2 + -2 + 19?
False
Suppose 7*l - 3024 = 2975. Is l a multiple of 17?
False
Suppose s + 1249 = 4*y, 3*s = -3*y - 0*s + 948. Let z = y - -47. Does 18 divide z?
True
Suppose -35*w = 109*w + 45*w - 1148553. Does 5 divide w?
False
Suppose -7*q + 8*q - 9 = 0. Is 21 a factor of q*((-14)/(-6))/((-2)/(-26))?
True
Suppose 21*m - 24 = 17*m. Suppose 6351 = m*s + 1491. Does 81 divide s?
True
Suppose -11*f = 5*q - 6*f - 35840, -5*q - f = -35852. Does 71 divide q?
True
Let b = -197 - -149. Is (b/18)/(2/(-96)) a multiple of 24?
False
Suppose 6*l + 70 = 13*l. Suppose l*g - 505 = -185. Suppose 2*s + 0*n + n = g, 4*s - 92 = 5*n. Is s a multiple of 18?
True
Is (-1904)/(-14)*(170/4 + -2) a multiple of 36?
True
Suppose 4*j + 2854 = p, 2*j - 11340 = -4*p - j. Is 6 a factor of p?
True
Suppose -20 = -u + 11*h - 12*h, 5*u = h + 106. Suppose 5*n = -9 + 144. Let y = n + u. Is 48 a factor of y?
True
Let o be 847/154 + 2 + (-3)/2. Suppose 2*p - 4*c = 338, -o*p + c - 514 = -9*p. Is p a multiple of 18?
False
Let t = 316 + -332. Is 40 a factor of (t/3 - -5) + (-5100)/(-18)?
False
Suppose -n + 20930 = 5*d, -5766 + 1556 = -d - 5*n. Is d a multiple of 31?
True
Does 43 divide (-88)/220 - (1 - 52266/15)?
True
Let i(f) = 4*f**2 - 33*f - 20. Let h be i(8). Let w = h - -280. Does 21 divide w?
True
Is 13 a factor of 17 + -12 - ((-71154)/45 - (-4)/20)?
True
Let f(i) = -i**3 - 5*i**2 + 7*i + 10. Let a be f(-5). Let w = a - -179. Does 16 divide w?
False
Suppose 4*p - 27 = 3*p - n, 0 = 2*p - 3*n - 39. Let j = 0 + p. Is j a multiple of 6?
True
Suppose 0 = 4*a + 4*d - 1128, 5*d + 1380 = 5*a - 0*d. Let o = a - 98. Is o a multiple of 15?
False
Let z = -25 - -32. Let v(o) = o**3 - o**2 - 6*o + 1. Let d be v(4). Let u = d - z. Is 6 a factor of u?
True
Suppose -6160 = -4*n + 2*w, -1681 = -2*n + 4*w + 1387. Is n a multiple of 212?
False
Let j(u) be the third derivative of 347*u**5/60 + u**4/6 - u**2 + 3*u. Is j(-2) a multiple of 60?
True
Let y(s) = -4*s**2 + 26*s - 12. Let a be y(6). Suppose a = -7*m + 1909 + 1556. Is 33 a factor of m?
True
Suppose -5*r + 2*g + 44516 = 0, -2*r - 2*g - 17804 = -4*r. Is 12 a factor of r?
True
Suppose -28 = -11*w + 38. Let t(m) = -w*m**3 + 23 - 3*m - 17 - 6*m**2 + 4*m**3. Is 10 a factor of t(-4)?
True
Suppose -22*w + 8560 - 376 = 0. Is w a multiple of 6?
True
Suppose 5*m = -a + 28053, -56*a + 61*a - 11235 = -2*m. Is m a multiple of 17?
True
Let i(p) = 994*p - 225. Is i(9) a multiple of 27?
True
Suppose 10449 + 9837 = 7*q. Is q a multiple of 46?
True
Suppose 0 = 2*k - 5*c - 31, -c = -2*k + 4*k - 13. Suppose k*u - 6 = 10. Suppose -u*i + 214 = -s, -5*i + 5*s + 649 - 104 = 0. Is 15 a factor of i?
True
Let t be ((-1)/(-4))/((-8)/(-96)). Let i = 17 - t. Suppose i*s = 11*s + 240. Is 10 a factor of s?
True
Suppose -4*j - 4*m + 3*m = -20, -j + 2 = m. Suppose -j*f + 690 = -474. Does 22 divide f?
False
Let r(y) = y**3 - 8*y**2 + 25*y - 125. Let l be r(7). Is (1685 - l/1) + 6 a multiple of 13?
True
Suppose -15*l = -12*l - 27. Suppose -2*j + 7*j = 10, z + 2*j - l = 0. Suppose -89 = z*y + 5*p - 424, -4*p - 380 = -5*y. Does 12 divide y?
True
Suppose -35 = 3*x - 50, -3*a - 9 = -3*x. Suppose 13*t + a*t - 18000 = 0. Does 30 divide t?
True
Suppose 166*y = 165*y + 4. Let i be 4*-1*(15/y)/(-3). Suppose -5*l + 5*w + 200 = 0, 0 = -2*l - 2*w + 69 - i. Does 4 divide l?
True
Let v(f) = 0*f**2 - 7*f + f**3 + 0*f**2 + 3*f**2 + 0*f**3 + 2. Let t be v(-5). Let b = 76 + t. Is 12 a factor of b?
False
Let w = -620 + 709. Let f = w - -1081. Is f a multiple of 9?
True
Suppose -3*a = 2*j - j + 4638, a - 4*j + 1533 = 0. Let c be a/30*(-7 + 1). Let g = c + -173. Is g a multiple of 29?
False
Let m(y) = y**2 + 56*y + 80. Is 28 a factor of m(-86)?
True
Let q(y) be the third derivative of -y**5/60 + y**4/6 + 28*y**3/3 - 4*y**2 + y. Is q(0) a multiple of 28?
True
Let w(n) = -36*n**3 + 3*n + 1. Let g be w(-1). Suppose g*s - 19*s - 5115 = 0. Is 31 a factor of s?
True
Let m(k) = 3*k**2 + 4*k - 2. Let i be ((-84)/(-15))/((-1)/(-5)). Suppose o + 1 = 2*n + 14, 2*n - 4*o + i = 0. Does 5 divide m(n)?
True
Let s be 107 - (-4 + 12/6). Suppose -12*c + 11 = -s. Is c a multiple of 5?
True
Let u(m) = m**2 + 0*m**2 + 4*m - 5 + 4 + 4*m**2 + 12*m**3. Let t be u(-2). Let i = t + 148. Does 7 divide i?
True
Suppose 0 = u - 5*v - 12, 4*u - 5*u + 8 = -4*v. Let f(c) = -16*c + 12. Is f(u) a multiple of 11?
False
Let c(m) = -4*m - 1. Let d(l) = -413*l - 28. Let n(a) = 5*c(a) - d(a). Is n(1) a multiple of 13?
True
Let f = 58 + 1882. Is f a multiple of 3?
False
Suppose 7 - 63 = 7*o. Let h be o/12 + (-44)/(-12). Suppose h*q = 484 - 139. Is 15 a factor of q?
False
Let n = -15483 + 26823. Is n a multiple of 30?
True
Suppose 5*l - 1 = v - 4*v, -3*l - 7 = -2*v. Does 3 divide (4 + 1)*l/((-5)/93)?
True
Let q = -111 - -196. Suppose 4*n - q = 5*a, -2*n - 6*a + 4*a + 38 = 0. Does 20 divide n?
True
Let u(q) = -175*q**3 + 4*q**2 - 5*q + 2. Let a be u(1). Let n = 774 + a. Is n a multiple of 50?
True
Let h = -67039 + 108519. Does 34 divide h?
True
Suppose 9*x - 32*x + 194474 = -9*x. Does 17 divide x?
False
Let a be (-71)/2*2 - 1. Let m = -72 - a. Suppose 5*b - 2*r - 143 = m, b - 7 = -0*b - 5*r. Is 3 a factor of b?
True
Suppose -56*q = 26*q + 155*q - 3300936. Does 15 divide q?
False
Is 75/(-225)*(-2)/(3 - 340545/113517) a multiple of 174?
False
Let d(n) = 86*n - 2071. Is 312 a factor of d(48)?
False
Does 5 divide (16318 - -1) + 10/(-70)*-21 + -7?
True
Suppose v + 8051 = 4*a - a, -5*a + 13418 = -2*v. Is 7 a factor of a?
False
Let u(a) = a**2 - 12*a + 11. Let z be u(11). Suppose 4*t + 346 = 3*g + 123, z = -5*t - 20. Let d = 91 + g. Is d a multiple of 31?
False
Suppose 3*a = 5*h + 39, 54 = -4*h + 2*a + 22. Is 1287 + (0/(-6))/h a multiple of 39?
True
Suppose 0 = -5*w - 2*h - 586, 0 = -2*w + 4*h - 2*h - 226. Let a be (w - 4)*(-5)/10. Let k = a + -16. Does 12 divide k?
False
Let h be 1/(-2)*(-64 + 64). Suppose -9 = -3*g, 2*j - g - 377 - 1588 = h. Is j a multiple of 12?
True
Let w = 1023 + 12274. Does 12 divide w?
False
Let u(r) be the third derivative of r**5/60 + r**4/4 - 22*r**3/3 - 50*r**2. Is u(-20) a multiple of 7?
False
Let z(i) = 2*i**2 - 20. Suppose x = 2*m, 0*x - 5 = -5*x + 5*m. Let v(k) = 2*k**3 - 3*k**2 + 4. Let o be v(x). Is z(o) a multiple of 18?
True
Is (-321 + -1)*(-7808)/448 a multiple of 65?
False
Let k(n) = -n**3 + 5*n**2 - 3*n. Let v be k(4). Let l be 4*(4 - (-105)/(-28)) + 4. Suppose 86 = 2*r - v*o, -3*o - o = l*r - 229. Is 15 a factor of r?
True
Let i(m) = 118*m**3 - 7*m**2 - m + 57. Is 6 a factor of i(4)?
False
Suppose 7*h + 119*h = 40*h + 1046448. Is 6 a factor of h?
True
Is -144*((-14)/3 - 148/222) a multiple of 32?
True
Let z = -106 + 210. Suppose -295 = -l + 4*x + z, -3*x + 2041 = 5*l. Suppose -6*n - 59 = -l. Is n a multiple of 15?
False
Let n = -55 + 59. Suppose 278 = -5*d + n*d. Let o = 410 + d. Does 12 divide o?
True
Suppose 0 = -45*b + 43*b + 42. Let y(j) = j**3 + 8*j**2 - 5*j - 16. Let k be y(-8). Suppose 0 = -b*v + k*v - 96. Is 18 a factor of v?
False
Let j = -5921 + 8976. Is 13 a factor of j?
True
Let g = -224 - -226. Let n(i) = i**3 + 5*i**2 - i - 3. Let b be n(-4). Suppose -2*h = s - b, 0*h = g*s - h - 54. Is 2 a factor of s?
False
Let j(b) be the first derivative of b**5/30 + 41*b**4/24 + 2*b**3 - 9*b**2/2 - 20. Let u(n) be the second derivative of j(n). Does 26 divide u(-22)?
True
Let q(h) = 19*h + 55. Let c be (-84)/(-27) - (-7)/(-63). Is 16 a factor of q(c)?
True
Let t(g) = g - 20. Let d be t(23). Suppose -f = j - 28, f = d*j + j - 122. Is j a multiple of 6?
True
Let j(u) = 17 + 0*u + 4*u + 2*u + u**2. Let m = 142 + -153. Does 24 divide j(m)?
True
Suppose -13*v + 73080 = 4284. Does 28 divide v?
True
Let x = -347 + 721. Let c = -348 + x. Is c a multiple of 13?
True
Suppose 2*o - 1303 = -3*n + 626, 5*n = 3*o - 2865. Does 80 divide o?
True
Suppose 2*d = 2, 4797 = -2*b - 2*d + 58749. Is b a multiple of 206?
False
Let d = -104 + 40. Let h = 8 - d. Suppose -12*a = -9*a - h. Is a a multiple of 4?
True
Let z = -646 - -310. Let w = 1192 + z. Is w a multiple of 