e of 16?
False
Suppose -10485 = 6*r - 2799. Let z = -655 - r. Is z a multiple of 18?
False
Let u(t) = -2*t**2 - 51*t + 29. Let n be u(-26). Suppose n*r = 684 + 852. Does 33 divide r?
False
Let d(f) = 4*f**3 - 2*f**2 + f. Let b be d(1). Suppose -b*i - 371 = -5*m, 5*i - 3*i + 298 = 4*m. Let a = -46 + m. Is a a multiple of 7?
False
Let l be (1 - (-1 - -2))/((-33)/33). Suppose 4*o - 11*x - 210 = -9*x, l = 2*o + 2*x - 96. Does 6 divide o?
False
Suppose 0 = -2*f - 3 + 7. Let r be (-60)/(-3)*f/(-16)*-4. Suppose -w - 558 = -r*w. Does 11 divide w?
False
Let x(j) = 8*j - 30. Let t be x(5). Suppose -n - 3*k + 2 = -t, 0 = -2*k + 6. Is (93/(-9))/((-1)/18*n) a multiple of 11?
False
Let i be (-6)/(-27) - ((-46418)/(-18))/(-1). Suppose u = 5*u + 4, -4*w - u = -i. Let f = w - 333. Does 52 divide f?
True
Let p(k) = 1075*k**2 - 250*k - 250. Is p(-1) a multiple of 15?
False
Let j be (2/(-4))/(24/(-11184)) - 5. Suppose -60 + j = 2*b. Does 26 divide b?
False
Let y be ((-2)/3 + 4)*3. Suppose 0 = y*f - 7*f + 66. Let o = f - -105. Is o a multiple of 20?
False
Let t = 99 + -198. Is 23 a factor of (-30)/(9 + -12 - t/34)?
False
Let q = 1504 + 536. Does 68 divide q?
True
Let k(v) = -7*v**2 - 65*v - 16. Let c be k(-9). Suppose -2*t - 1 = -3*t, 3105 = 5*m + 5*t. Suppose c*p - 8 = 0, 0 = -y - 2*y + 4*p + m. Is 13 a factor of y?
False
Suppose -5*h = 4*w - 52, 5*w = -4*h - 15 + 62. Let u be (2 - h)*(-276)/(-8). Let n = u + 292. Does 17 divide n?
True
Does 12 divide 104221/78 + -2*20/(-48) + 1?
False
Suppose -s = 3*h - 30, 4*s - 2*h = 3*s + 50. Let b = 2083 - 1963. Let u = b - s. Does 13 divide u?
True
Let x = 169 - 164. Suppose 0 = -x*h + 330 - 30. Is 6 a factor of h?
True
Is 3/((-72)/20) - (-24978707)/1014 a multiple of 13?
False
Suppose 3*h = -j - 2*h + 315, 4*j - 1260 = -5*h. Let d be (-100)/15*(-10)/(-4)*9. Let y = j + d. Is 17 a factor of y?
False
Does 22 divide -7 - (-13 - 101013/44 - 2/8)?
False
Let d(v) = v**3 + 20*v**2 + 31*v + 169. Let m be d(-16). Let s = -627 + m. Is 13 a factor of s?
False
Does 41 divide (634/3)/(-25 + (-15385)/(-615))?
True
Let u(y) = y - 3. Let v be u(7). Suppose h - 3*h = v. Is (-638)/(-8) + h/(-8) a multiple of 40?
True
Let x be 10/35 + (2 - (-144)/(-14)). Let z = -14 - x. Is 21 a factor of (z/5)/3 - 3798/(-45)?
True
Let t(v) = v**3 - 8*v**2 - 11*v + 27. Let a be t(9). Suppose 0 = -a*p - 242 - 703. Let d = -82 - p. Is d a multiple of 6?
False
Let r(l) = -14*l + 159. Let n be r(11). Suppose c - 5*c + 116 = -n*k, -5*c + 3*k + 145 = 0. Is c a multiple of 3?
False
Is 39 a factor of 1441900/340 - ((-57)/51 + 1)?
False
Let z be 30/(-6*7/(-56)). Suppose z*g - 21377 - 1183 = 0. Does 12 divide g?
True
Suppose 15*t - 20*t - 4*h + 7 = 0, 5*h + 1 = -3*t. Suppose 38*b = -t*b + 45100. Does 55 divide b?
True
Let a be (-4)/(-6)*1*60/8. Suppose -7*z + 8*z = r - 692, 2*r - 1356 = -a*z. Is r a multiple of 16?
True
Is 19 a factor of (-314415)/(-10) - (180/(-24) - -11)?
False
Suppose 4*k = -2*g - 0*g + 72, -5*g = -k - 213. Suppose 19*j + g*j - 3538 = 0. Is 58 a factor of j?
True
Suppose 0 = -96*j + 93*j - 5040. Is 5/(-2)*j/8 a multiple of 17?
False
Let b = -83948 - -121356. Is 167 a factor of b?
True
Let r(x) = -x**3 - 3*x**2 + 5*x + 7. Suppose 18 = -2*l - 2*h, -2*l + 5*h + 4 = -6. Let j be (-1)/l + 26/(-5). Does 11 divide r(j)?
False
Let j(q) = -q**2 - 7*q - 1. Let b be j(-6). Let i = 9 - b. Suppose -1 + 3 = -r, -2*k + 424 = -i*r. Does 52 divide k?
True
Suppose 0*a - 4*a - 112 = -5*b, 5*a = 3*b - 75. Is 3 a factor of b/8*(-5 - -161)/2?
True
Suppose 4*j - 5724 = 2*i - 428, 5*j - 5*i = 6625. Does 21 divide j/9*(2 + -5)/(-1)?
True
Suppose -5*w - 5*n = -1525, -n = -4*w - 0*w + 1215. Suppose 539*m - 538*m - w = 0. Is m a multiple of 19?
True
Suppose 106*m + 66265 - 279690 = 429571. Does 20 divide m?
False
Let v = -237 + 162. Let y be (30/v)/(3/5)*-3. Is 7 a factor of (15 + -18)/(y/(-10))?
False
Let s = -18157 - -20180. Does 17 divide s?
True
Suppose -1225*x + 618*x + 618*x - 220 = 0. Does 5 divide x?
True
Suppose 0 = -7*k + 5*k - 10. Let o be (0 - -4)*(-4 + 9)/5. Does 3 divide k/30*3 - (-30)/o?
False
Let a = 25565 + -9422. Is 16 a factor of a?
False
Let m(p) = -p**3 + 61*p**2 - 35*p + 553. Does 13 divide m(59)?
False
Let b = 342 + -348. Is 3 a factor of 70 + -2*1/(-12)*b?
True
Let u(y) = -5*y**2 + 22*y + 102. Let p(r) = 7*r**2 - 23*r - 101. Let a(d) = 3*p(d) + 4*u(d). Does 14 divide a(-13)?
False
Suppose 0 = -4*h - 1078 + 1318. Is 14 a factor of h?
False
Let k be -4*(-3)/(12/5). Is (-2)/(-3)*((-172)/(-8) - k) a multiple of 11?
True
Is (-613578)/(-105) + 16/(-10) a multiple of 31?
False
Let a(h) = -h**2 - 4*h + 14. Let f be a(-6). Suppose f*q + q = 144. Suppose 21 = 3*s - q. Is s a multiple of 23?
True
Let d = 236 + -232. Suppose 1371 = 3*a - d*n - n, -3*a = 3*n - 1347. Does 14 divide a?
False
Suppose -12*l = -2*l - 40. Let j be 4*l/72 - (-68)/18. Suppose -3*o + 51 = 5*i - 26, j*i - 60 = -4*o. Does 16 divide i?
True
Suppose 6*u - u = 1395. Let a = u - 208. Does 11 divide a?
False
Let m(z) = 14*z + 7128. Does 2 divide m(-153)?
True
Does 8 divide (-76)/6*-433 - 410/615?
False
Suppose 281*o - 14454 = 279*o. Is o a multiple of 125?
False
Let g(m) = 81*m**3 - m**2 + 2. Let x be (-58)/12 + (-1)/6. Let v be (1 - (-3 - x))*-1. Is g(v) a multiple of 15?
False
Let b = -395 - -1974. Let u = b - 627. Does 28 divide u?
True
Let w(q) = 265*q + 4. Let v be w(1). Let c = v + -233. Is 20 a factor of c?
False
Suppose -3*v - 3*m = -18, -1 = m - 5. Suppose -480 = -4*g - 3*r, 5*r + 150 - 53 = g. Suppose -x - v*s + g = -3*s, -x - 5*s = -99. Is 9 a factor of x?
False
Let i be ((-4)/(-8))/(2/(-156)). Let a = i - 184. Is 7 a factor of a/(-9) + (80/36 - 2)?
False
Let j be (-36)/(-8) - 1/2. Suppose 4*p - t + 6*t - 63 = 0, 4*p - j*t - 72 = 0. Is p a multiple of 2?
False
Suppose -34156 = -14*q + 39428. Does 34 divide q?
False
Suppose -706 + 154 = -8*z. Let m = -81 + z. Is 2 a factor of 4/6 + (-4)/m + 6?
False
Suppose 0 = -94*p + 43048 + 47170 + 32546. Is 38 a factor of p?
False
Let g = 575 + 1360. Does 5 divide g?
True
Let v(s) = 2*s. Let m be v(-6). Let d = 293 - 289. Is 0*d/m - -70 a multiple of 35?
True
Let t(q) = 3*q**3 - 3*q**2 + 3*q - 4. Let c be t(3). Let z = -57 + c. Suppose i - 267 = -3*b + 281, z*i = 4. Is 14 a factor of b?
True
Suppose -9*a - 24017 + 425 = -3*h, -15688 = -2*h - 4*a. Is 6 a factor of h?
False
Let h = 52 - -12. Suppose -y + h + 31 = 0. Suppose 0 = -8*f + y + 193. Is 7 a factor of f?
False
Let j(l) = l**2 + 7*l + 10. Let f be (-5*(-12)/40)/((-9)/(-42)). Is 12 a factor of j(f)?
True
Suppose 39*c - 30*c = 9. Let i = c - -29. Is 3 a factor of i?
True
Let u(s) = -2*s - 1. Let l be u(-5). Let p(h) = 6*h + 20. Is 37 a factor of p(l)?
True
Let k(d) = 10514*d**2 - 10509*d**2 + 7*d - 24 + 13*d. Is k(-12) a multiple of 57?
True
Let r(x) = -2*x**3 - 29*x**2 + 4*x + 30. Let p = 105 + -120. Is r(p) a multiple of 13?
True
Suppose 2*o - 2*w = -6*w + 1418, 12 = -3*w. Let d = o + -454. Suppose -11*h = -56 - d. Does 29 divide h?
True
Let d(w) = 40*w**2 - 2*w + 6. Let n be d(2). Let s = -1 + 21. Suppose -23*r + n = -s*r. Is 8 a factor of r?
False
Let b = 2941 + 2463. Is 17 a factor of b?
False
Let x(i) = 3044*i**2 + 109*i - 217. Is x(2) a multiple of 19?
False
Suppose -3*x = 3*l - 12, 0 = -4*x - x + l - 4. Suppose 0 = -5*t, x = -5*v + 7*t - 4*t + 100. Is v a multiple of 10?
True
Let i(b) = b**2 + 4*b + 1. Let u be i(-4). Suppose 6 = -q - u. Let j = -5 - q. Does 2 divide j?
True
Let c be (0 - (-1 + 0)) + 25. Let f(d) = -2*d**2 - 22*d + 58. Let a be f(3). Is (-594)/a + 4/c a multiple of 2?
False
Suppose 0 = -5*a + 2*o + 1611, -2*o = 5*a + 848 - 2447. Let i = 942 - a. Is 22 a factor of i?
False
Let i(r) = 6*r**3 + 8*r**2 + 206*r - 1560. Does 17 divide i(8)?
True
Suppose 0 = -29*n - 17*n + 6578. Does 11 divide n?
True
Let d be ((-4)/(-2))/((-18)/(22 + -13)). Does 5 divide (-3 - d)*(-1592)/(-64)*-4?
False
Suppose 294 = 27*s - 13*s. Is 61 a factor of (-3)/(-21)*-2 + 6621/s?
False
Suppose -373*s + 365*s = 32. Let m(a) = 12*a**3 - a**2 + a + 1. Let h be m(-1). Does 2 divide s/2 - 143/h?
False
Suppose 4*z - 12*p - 69722 = -11*p, -3*p = -3*z + 52296. Is z a multiple of 221?
False
Let j(x) = x + 77. Let n be -1 + -5 - -18*11/33. Does 11 divide j(n)?
True
Let b = 7276 - 5498. Is 195 a factor of b?
