45)/(-75) - 66/(-990) a multiple of 188?
False
Let q = -191 - -191. Suppose 3*j = 4*a + 487, q = -2*j - j - 2*a + 463. Does 5 divide j?
False
Suppose 18218 = 4*i + 5*s - 37167, 0 = 2*i + 5*s - 27705. Is 20 a factor of i?
True
Suppose -3*x + 3 = 0, 5*x - 73 = d + 410. Is 15 a factor of (5 - d) + -1 + 2?
False
Suppose 0 = -98*f + 149*f - 754851. Does 44 divide f?
False
Let u = 9 + 39. Suppose -u*h + 188 = -49*h. Does 16 divide 4/(-12)*h + 6/(-9)?
False
Let o be (-4963)/21 + -2 + (-21)/(-9). Let r = 260 + o. Is r a multiple of 17?
False
Let n be (29844/180)/(1/(-5)). Let s = n - -1362. Is 26 a factor of s?
False
Let t = 330 + -315. Suppose -t*a - 3612 = -36*a. Is 43 a factor of a?
True
Let n = 6015 + -5186. Is 7 a factor of n?
False
Suppose s - 7 = 5*r + 2*s, 3*s = 2*r - 4. Let d be -2 + (1 - 2) - (r + 2). Let b = 12 - d. Is 2 a factor of b?
True
Let o(t) = -98*t**3 + t + 2. Suppose 4*z + 0*s = -s + 14, 4*z + 3*s = 18. Suppose z*a + 9 = -6*a. Is o(a) a multiple of 28?
False
Let g(w) = 242*w - 2219. Is g(39) a multiple of 23?
False
Let w(q) be the second derivative of q**3/3 - 5*q**2 + 280*q. Suppose 3*m - m - 18 = 0. Is w(m) a multiple of 5?
False
Let a(w) = -w**3 + 15*w**2 + w - 23. Let s be a(15). Let l be (-2997)/s + 3/8. Let p = l - 221. Is p a multiple of 18?
False
Suppose -2*u - 5*b - 100 = -5*u, -b + 120 = 5*u. Suppose -49*o + u = -44*o. Does 12 divide (3 + o)/(1*3/27)?
True
Let x = 106 + -73. Let h = 36 - x. Suppose 0 = h*s - 0*s - 93. Is 22 a factor of s?
False
Suppose 2*g - 2*n = 1122 + 1510, 0 = 5*g - 4*n - 6578. Let v = g - 750. Is v a multiple of 38?
False
Suppose 4*v + 2*w = 900, 5*v + 185 - 1307 = -w. Let s(q) = -q**3 - q + 3. Let a be s(5). Let f = a + v. Is 23 a factor of f?
False
Suppose 4*m = 5*j + 19990, -4*m + 3*j - 29 + 20031 = 0. Is 65 a factor of m?
True
Let k be (-790)/(-3) + (-38)/(-57). Let y = 26 - k. Is 31 a factor of y/(-4) + 33/22?
False
Let w = -633 + 680. Suppose 48*a = -d + w*a + 414, 5*a = d - 438. Is 39 a factor of d?
False
Suppose 4*y + 3*b - 78 = 0, 13*y - 73 = 10*y + 5*b. Is 21 a factor of y?
True
Let h(m) = 17 - m - 2 - 7*m - 7*m**2 - 9 + 27*m**2. Does 30 divide h(-8)?
True
Suppose 13*g - 1280 = -7*g. Suppose -61 = -r + g. Is 35 a factor of r?
False
Is 62 a factor of ((-105)/(-6) - 2)/(166/33200)?
True
Let f(c) = 4*c**3 - 334*c**2 - 49*c - 438. Does 9 divide f(84)?
True
Let f be 93 - 4/8*6. Let s = 12 + 114. Suppose 3*r + f = 2*u, s = 5*u - 5*r - 109. Does 10 divide u?
False
Suppose 28 = -3*q - 5*n, 3*q + 21 + 3 = -3*n. Is (-508)/q*(-2 + 8) a multiple of 23?
False
Let z = 5155 + -3068. Suppose -314 = -4*m - 4*n + 1778, 3*n - z = -4*m. Does 7 divide m?
True
Let w = -70 - -76. Suppose -18*k = -w*k + 108. Let r = 68 - k. Does 7 divide r?
True
Let h(w) be the second derivative of -w**4/12 - 10*w**2 - 3*w. Let z(s) be the first derivative of h(s). Is z(-15) a multiple of 5?
True
Is ((-6)/(-2))/((-318)/(-129638)) a multiple of 2?
False
Suppose 0 = 3*a + 2*x + 10 - 0, 2*a + 5*x + 25 = 0. Suppose a = 4*c - 4*y - 804, -4*c + 399 = -2*c - 3*y. Does 4 divide (c/9 - 2) + (-6)/9?
True
Suppose 3*y = 5*q - 221081, -4*q - 14*y = -11*y - 176908. Is q a multiple of 37?
False
Let g be -4 + 8*(-10)/(-5). Suppose -g*m + 126 = -9*m. Suppose -3*v + 29 = -b - m, -b + 49 = 2*v. Is v a multiple of 6?
True
Suppose 4*q - 8*q + 20 = 0. Suppose q*w - 4*w - 5 = 0. Let p(x) = x**2 + x - 6. Does 6 divide p(w)?
True
Let n(v) = -v**3 + v**2 + 113. Let d be n(0). Let u = d + 286. Is u a multiple of 19?
True
Is 6 a factor of (-293 + 301)*((-1961)/2)/(-1)?
False
Suppose 30 = -4*q + 5*q. Suppose 3*o + q = 8*o + 5*u, 5*u - 22 = -o. Let l(y) = 9*y**3 - 2*y**2 - y - 2. Does 15 divide l(o)?
True
Suppose 4*k - 5*f + 7 = 0, 2*k + 4*f + 8 = 8*f. Suppose 9*t = 3*u + 13*t - 544, 4*u - 696 = k*t. Is u a multiple of 22?
True
Suppose -6*t + 18 = -3*t. Suppose 0 = -f - t + 4. Let b = 24 - f. Is 26 a factor of b?
True
Suppose -3*s + 6*p - 7*p - 8 = 0, -12 = 3*s - 3*p. Is (12717/21 - s) + 40/(-70) a multiple of 19?
True
Let k be (((-100)/6)/(-5))/(24/(-108)). Does 67 divide -134*((-1425)/(-10))/k?
True
Let p(y) = 2*y**2 - y - 12. Let z be p(-3). Is 242 + 0 - (-8 + z) a multiple of 33?
False
Let l(u) = -12*u**3 - 2*u**2 + 4*u - 1. Let t(o) = -o**3 - o - 1. Let y(a) = -l(a) - 3*t(a). Let d = 157 - 155. Does 42 divide y(d)?
False
Let o be 1/(((8/178)/2)/(-2)). Let p = 338 - o. Let t = p - 168. Does 52 divide t?
False
Let s(l) = 3809*l**2 + 19*l - 38. Is s(2) a multiple of 5?
False
Is 15/3 + (4323 - (9 - -1)) a multiple of 34?
True
Let a(w) = 361*w**2 - 18*w + 5. Let u be a(4). Suppose -4*k = -12, -u = -4*d + 8*k - 7*k. Is d a multiple of 17?
True
Let w(a) = a - 10. Let l be w(15). Suppose -1140 = -3*u - 2*b - b, 1900 = l*u + 4*b. Is 19 a factor of u?
True
Suppose -l + 3*l - 24917 = 5*u, -3*u = -3*l + 37371. Is 18 a factor of l?
True
Let s(o) = o + 2. Let u be s(1). Let k = u + 0. Suppose 7*d - 20 = k*d. Is 5 a factor of d?
True
Let a = 2493 - -9196. Is a a multiple of 54?
False
Is 39277/2*108/378 a multiple of 24?
False
Let y = 389 - -106. Let m = y + -447. Is m a multiple of 5?
False
Let v(x) = -x**3 - 23*x**2 - 2*x + 23. Suppose -148 + 44 = -4*c. Let a(m) = 2*m - 75. Let n be a(c). Is 14 a factor of v(n)?
False
Is 5*-1 + (-11 - -13306) a multiple of 77?
False
Suppose -19*y - 64260 = -25*y. Suppose -2*p - 7*p + y = 0. Suppose 24*i + p = 29*i. Is 17 a factor of i?
True
Let c(j) = -j**2 - 6*j + 98. Let a be c(0). Let b = -104 + a. Is (-548)/b - 2/6 a multiple of 13?
True
Suppose 4*r = 20, -4*r + 890 = -5*h + 2*h. Let s = 1177 + h. Is s a multiple of 19?
False
Suppose 30*k - 66 - 24 = 0. Suppose 0 = -k*b + 5*a + 42, -2*a + 42 = 3*b - 3*a. Does 14 divide b?
True
Let c be 662/(-3 - (2 + -3)). Let n = c - -379. Does 3 divide n?
True
Is 4 - (36/162 + (-26007)/27) a multiple of 4?
False
Suppose -116*c - 10336467 + 1169427 = -692*c. Is c a multiple of 92?
False
Suppose 0 = -32*s + 5958 + 14746. Let c = -184 + s. Is 11 a factor of c?
False
Let w = -6090 - -9130. Is w a multiple of 40?
True
Let q(j) = -10*j + 2*j**2 + 2 - 3*j**2 + 9*j + 3*j**2 + 20*j. Let r(u) = u**2 - 10*u - 11. Let s be r(10). Is q(s) a multiple of 14?
False
Let o = 5662 - 4024. Does 91 divide o?
True
Let f = 487 + -314. Let n = 135 + f. Is n a multiple of 11?
True
Suppose 118 = 8*y + 6. Suppose -13*x + y*x = -4*v + 48, 0 = -5*x + 2*v + 306. Is x a multiple of 2?
True
Let p(c) = c**2 + c - 1. Let s be p(-9). Suppose h = -3*q + 148, -q = -3*h - h - s. Suppose -2*m + 5*j + q = -m, 0 = 4*m + 5*j - 129. Does 30 divide m?
False
Suppose 4*z - 3*h = 73, -3*h = 2*h - 25. Suppose z = -2*d - 32. Is ((-4)/1 + 7 - d) + -2 a multiple of 7?
True
Suppose -2*l + 41 = 3*q, 5*q = 3*l + 7*q - 74. Suppose 3*i = 2*w + 236, -2*i + 0*i = w - 162. Let k = i - l. Does 9 divide k?
False
Let r(b) = -12*b**3 - 2*b**2 - 1. Let a be r(-2). Let p be (56/32)/((-5)/(-20)). Suppose a = u + p. Is 16 a factor of u?
True
Suppose -3*v = d - 3061, 38*v = -3*d + 35*v + 9207. Does 99 divide d?
False
Suppose 5*r + 8715 = 2*k, -8*k + 11*k - 13069 = 4*r. Is 65 a factor of k?
True
Suppose 158*r = 345027 + 145879. Is r a multiple of 118?
False
Suppose 5*z + 1015 = -2*c, -2041 = 7*c - 3*c - z. Let h = c + 837. Is h a multiple of 18?
False
Let f = -191 - -1895. Is f a multiple of 4?
True
Let m = 1552 - 745. Let x = -183 + m. Does 12 divide x?
True
Let s = 17021 - 5885. Is s a multiple of 192?
True
Let s = 2368 - 1906. Does 11 divide s?
True
Suppose -u + 85 = -5*p, 0 = 3*p + 2*u + 41 + 10. Let i be p/((35/(-190))/7). Suppose -6*f + i + 92 = 0. Is 32 a factor of f?
False
Let s be 3/(-4)*(-40)/15. Suppose 0 = -p - 3*u + 160, -4*p + 478 = -s*u - 232. Does 13 divide p?
False
Let x = 15735 + -14186. Is x a multiple of 133?
False
Let j = 24236 + -17304. Is j a multiple of 4?
True
Let m(s) = 115 + 150 - 33 - 39 + s. Does 21 divide m(-5)?
False
Suppose -6*g + 28 = -10*g. Is 70 - g/(7/4) a multiple of 37?
True
Let u(h) = -h**3 + 68*h**2 + 92*h + 698. Does 64 divide u(69)?
False
Let z(n) = n**3 + 21*n**2 - 10*n - 15. Let a(w) = -2*w**3 - 41*w**2 + 21*w + 28. Let g(v) = -3*a(v) - 5*z(v). Does 17 divide g(-6)?
False
Let n = 6439 - 4528. Suppose 10*b = 3*b + n. Does 39 divide b?
True
Suppose -110 = 5*b - 380. Let p be b/72 - 338/(-8). Let i = 50 - p. Is 7 a fa