6?
False
Suppose -31526 - 218209 = -16*i - 59111. Is 141 a factor of i?
False
Is -1*(-15)/(210/256417) + 2/(-4) a multiple of 45?
True
Let b = -29 + 45. Suppose -b*y - 478 = -20*y - 2*k, 1 = k. Is y a multiple of 7?
True
Let c be (-7 + (-19)/(-4))*(-16)/6. Let z(x) = x**3 - x**2 - 14*x + 7. Is z(c) a multiple of 11?
False
Let a(s) = -s**2 - 11*s - 20. Let n be a(-2). Is 94 - ((n - -4) + -3) a multiple of 5?
True
Suppose 2*q - 3*v = 8, -5*q + 4*v = -6*q + 4. Does 7 divide (q/4 + -20)*(2 + -51)?
True
Let d = -4467 + 5810. Does 15 divide d?
False
Let j(c) = c**2 + 2*c + 4. Let i be j(0). Suppose i*v = 2*v - 5*h + 11, -2*v + 5*h + 1 = 0. Suppose 7 + 47 = v*z. Is 18 a factor of z?
True
Let y(n) = -n**3 + n**2 + 3. Let b be y(0). Suppose -b*q + 6*i - i + 726 = 0, 4*q - 2*i - 982 = 0. Does 16 divide q?
False
Suppose -133*m = -137*m - 2648. Let b = m - -779. Is 9 a factor of b?
True
Let j(d) = -95*d - 38. Let l be j(-5). Suppose 3*r = -5 + l. Does 9 divide r?
True
Let r(b) = -216*b**3 + 39*b**2 + 26*b + 36. Is 113 a factor of r(-5)?
False
Let c be (-16)/(-6) + 6*1/18. Suppose 0*t - 633 = -2*t - c*x, -3*t = -3*x - 957. Is t a multiple of 53?
True
Suppose 265 + 910 = -5*m. Let o be -1*(0 + (-3 - -112)). Let x = o - m. Is 57 a factor of x?
False
Suppose -84*s - 350865 = -291*s. Does 12 divide s?
False
Suppose 6482400 = 4*k + 196*k. Does 73 divide k?
True
Let h be (1674/12 + 5)*(-8)/(-4). Suppose -2465 = -2*w - h. Does 34 divide w?
True
Is ((-153)/(-6))/(1 + (-325)/326) a multiple of 27?
False
Is 16 a factor of (((-3)/(-2))/((-24)/(-119920)))/(1 - 0)?
False
Let r = 1779 - -8353. Is 190 a factor of r?
False
Does 4 divide (-2*(-21)/(-112) - (-6125)/120)*21?
True
Let b = -94 + 99. Suppose 5*l + 3*t = 2225, b*l - 10*l - t + 2215 = 0. Does 13 divide l?
True
Let n be ((-2224)/32)/(1 + 5/(-4)). Let k = -212 + n. Does 13 divide k?
False
Let s be 1/((2/(-8))/(-1)). Suppose -s*t + 7*t - 12 = 0. Suppose 0 = 4*a + t*v - 376, 0*v - 3*v = 2*a - 186. Does 10 divide a?
False
Let a(l) = -907 - 1261 + 1811 - 133*l. Is a(-15) a multiple of 18?
True
Let a = -582 - -603. Let u(q) = 19*q + 134. Is u(a) a multiple of 13?
True
Let i(b) = 3*b + 110 - 139 + b**2 + 2*b. Is 4 a factor of i(-11)?
False
Let u(a) = 3*a + 20. Let o be u(-6). Let v be -3 + (0/2 + 0)/o. Is 14 a factor of (v - 6/(-9) - 1)*-21?
True
Let y(f) = f**3 - 21*f**2 + 20*f - 14. Let g(n) = n**2 - n. Let b(j) = -6*g(j) - y(j). Let q(w) = 3*w + 306. Let r be q(-98). Is 32 a factor of b(r)?
False
Let k be 57/12 + (15/(-4))/5. Suppose 0 = 4*n - k*l - 450 + 154, -2*n + 142 = l. Let v = n + 43. Does 55 divide v?
False
Let y = 184209 - 111794. Does 47 divide y?
False
Let x(l) = l**3 - 6*l**2 + 3*l + 2. Let q be x(8). Let d(i) = -i**2 - 7*i. Let f be d(-5). Suppose f - q = -6*r. Is r a multiple of 6?
True
Let o = 2195 + -1883. Is 38 a factor of o?
False
Let w = -83 - -276. Let z = w + -122. Does 5 divide z?
False
Suppose -3*r + 98287 = 26104 - 86901. Does 47 divide r?
False
Suppose -14871 = -14*h - 605. Suppose -4*l + 1228 = 4*y, 4*y + 3*l - h - 207 = 0. Is y a multiple of 13?
False
Does 11 divide (-9400)/658*63/(-2)?
False
Let x be (-1)/10 - ((-3115)/50)/(-7). Is 59 a factor of ((-15)/x)/(((-56)/(-1239))/8)?
True
Let p(k) = 9*k**2 + 3*k - 4. Let w be p(1). Let i(v) = v**2 + 18*v + 45. Does 36 divide i(w)?
False
Suppose 8*t - 13*t = -90. Let v = 18 - t. Suppose 3*j - 39 - 24 = v. Is 3 a factor of j?
True
Suppose -h + 5*q - 22 = 0, -3*q + 21 = 2*h - 0*q. Is h*(-1835)/(-45) - (-4)/(-3) a multiple of 13?
False
Let d be (-620)/496 + 2/(16/34). Does 53 divide (0 - 12)/d*(-2 + -104)?
True
Let l = 11181 - 8509. Does 167 divide l?
True
Suppose 45 = 5*q - 160. Suppose -5*d = -1 + 21, -3*v + q = d. Let f = v + 14. Is 10 a factor of f?
False
Let n(g) be the second derivative of 3*g**5/40 + g**4/8 - 11*g**3/6 + 4*g. Let c(f) be the second derivative of n(f). Is c(2) a multiple of 5?
False
Let j be 257 - (-12 - -11)/((-1)/2). Suppose -11*v = j - 3401. Does 10 divide (-12)/(-21) + v/14?
False
Let u(q) = 120*q + 1. Suppose -7*j + 29 - 15 = 0. Is u(j) a multiple of 11?
False
Suppose -59*n + 17*n = -148474 - 83786. Does 7 divide n?
True
Let b = 13751 - 3419. Does 21 divide b?
True
Let k be (-76)/(-3 + (-340)/(-116)). Let h = k + -576. Is 62 a factor of h?
False
Let f(i) = 200*i**2 - 114*i + 1506. Is f(12) a multiple of 78?
True
Let f = 2484 - -1230. Is f a multiple of 112?
False
Suppose -66*v + 2072 = -59*v. Is 37 a factor of v?
True
Suppose -3*p - 76 = -m + 19, -3*p - 107 = 2*m. Is (-8310)/p + (-2)/(-11) a multiple of 21?
True
Let y(r) = -r**2 - 27*r + 130. Suppose -112 = 5*n + d, 2*n + 5 = 4*d - 31. Is 16 a factor of y(n)?
True
Suppose 4*z = u - 0*u - 4, 0 = -3*u - 2*z + 68. Suppose -5*c + u = q, 2*c + c - 12 = 2*q. Suppose -5*w = 3*f - 291, 249 = c*w - 4*f + f. Does 10 divide w?
True
Suppose -j = -5*z - 425, 4*z + 1198 = 5*j - 822. Let h(q) = -q**3 - 6*q**2 - 9*q + 2. Let p be h(-4). Suppose 0 = -p*d + d + j. Is 16 a factor of d?
True
Let d(u) = -u + 40. Let m be d(14). Suppose 0 = -22*a + m*a - 1056. Does 22 divide a?
True
Let y be (2 + -3)/((4/103)/(-4)). Suppose -7*o + y + 240 = 0. Suppose 0 = 52*u - o*u - 66. Does 11 divide u?
True
Suppose 112*t - 101*t = 12122. Is t a multiple of 32?
False
Suppose 104 = -2*y + 6*y. Let j = y - 26. Suppose j*l + 2*l - 238 = 0. Does 9 divide l?
False
Suppose 321*t = 1375312 + 1179848. Does 199 divide t?
True
Let y be 18/4*8/6. Suppose 0 = y*s + 301 - 1969. Is s a multiple of 17?
False
Let p = 3677 - 796. Suppose 9*i - p = 4886. Is 42 a factor of i?
False
Let l = 14 - 7. Let s be (-4)/(-18) + l/9*1. Let z(p) = 123*p**2 + p. Is z(s) a multiple of 31?
True
Let m = 2489 - 2445. Is m a multiple of 10?
False
Let h(t) = t**2 + 10*t + 12. Let z be h(-4). Does 10 divide (-456)/(-12)*(-9)/z*6?
False
Suppose -43*r - 896 = -47*r. Let j = 766 + -410. Let q = j - r. Is 22 a factor of q?
True
Let s be 1/(-1)*0/6 + 4. Suppose 2*t - s*d = 260, -4*t + 83 = -3*d - 432. Does 21 divide t?
False
Does 34 divide (-880336)/(-40) - (-169)/65?
False
Suppose 15*p - 2050 = -40. Let z = p + -51. Is z a multiple of 18?
False
Let i = -82 - 50. Let c be i/10*(-2 + -3). Does 3 divide (c/(-15))/(((-12)/5)/6)?
False
Suppose 35*k - 33*k - 11550 = -2*i, -28880 = -5*k - 4*i. Is 289 a factor of k?
True
Suppose -5*l + 3*k = 4*k - 91, 0 = 5*l + 2*k - 92. Suppose -8*z = -34 + l. Let b = 40 + z. Is b a multiple of 6?
True
Suppose 2*i - 43779 = 3*v, 0 = 4*i + 320*v - 318*v - 87502. Does 13 divide i?
True
Let i(h) = 10*h - 4. Suppose -4*c - 24 = -b - 0*c, -4*b - 4 = 4*c. Let w be i(b). Is (0 + 3/(-2))/(w/(-1680)) a multiple of 5?
True
Let w(r) = 179*r - 70. Let h be w(14). Suppose -h = 14*a - 26*a. Is a a multiple of 29?
True
Suppose 27*z = 154418 + 2682 + 3199. Is 92 a factor of z?
False
Let t(l) = 4*l**2 - 16*l + 7. Let z(u) = -9*u**2 + 32*u - 13. Let i(j) = -7*t(j) - 3*z(j). Does 25 divide i(10)?
True
Let q(c) = c**2 - 3*c - 33. Let z be q(20). Suppose 300 = 309*f - z*f. Is 10 a factor of f?
True
Suppose -4*h - 14 = -6. Is (284/5)/4 + h/10 a multiple of 8?
False
Suppose 0 = 3*l - 3*p - 7368, 2*l + p = -3*p + 4942. Is 23 a factor of l?
True
Let g(q) = 9*q**2 + 40*q**3 - 42*q**3 - 3 - 4 + 7*q. Let r be g(5). Suppose -o = -2, 0 = 7*c - 4*c - r*o - 60. Does 9 divide c?
False
Let q(m) = 3*m + 23. Let s be q(-10). Let a be 8740/35 + (-2)/s. Suppose 5*h = -2*x + a, 5*x + 0*h = -5*h + 610. Is x a multiple of 30?
True
Does 75 divide -14*18/84*-100?
True
Suppose 73*x = -5*c + 70*x + 113, -95 = -3*c + 5*x. Suppose -9 = 3*b, -c*b + 842 = 5*i - 24*b. Is i a multiple of 13?
True
Let v = -1656 - -3091. Does 145 divide v?
False
Let y be 100 + (-63)/15 + (-1)/(-5). Suppose -k = -3*x - y, 2*k - 197 = -0*k + 5*x. Is 33 a factor of k?
False
Let x = 3373 - 929. Is x a multiple of 60?
False
Let t(d) = 101*d - 248. Is t(58) a multiple of 51?
True
Suppose 6 = b - 83. Let i = b - 150. Let k = 101 + i. Is 9 a factor of k?
False
Suppose 52*o - 55*o - 84 = 0. Does 35 divide (150/4)/(2 - (-53)/o)?
True
Suppose 0*w - 5*w = -4*q - 1248, 0 = 2*q + 2*w + 606. Let i = q + 807. Does 25 divide i?
True
Let j(t) = 161*t**2 - 25*t + 120. Does 15 divide j(5)?
True
Let h = -177 - -123. Does 12 divide -4*h/(-60)*-20?
True
Let i(z) = 174*z**2 - 47*z + 37. Does 154 divide i(-12)?
