 = 5718 - -1158. Is 58 a factor of j?
False
Let w = -3832 + 20432. Is 25 a factor of w?
True
Suppose -4*x = 3*w - 232, 10*w - 3*w - 2*x - 564 = 0. Is 4 a factor of 1216/w*20/8?
False
Let a be ((-10)/6)/5 - (-32)/6. Let k(g) = 4*g**2 - 5*g + 22. Let c be k(a). Let v = c + -85. Does 8 divide v?
False
Suppose 0 = 5*y - 6*p + 3*p + 62, 5*y + 60 = 5*p. Let a(f) = -4*f**2 + 5*f + 3. Let x(n) = 7*n**2 - 12*n - 5. Let h(j) = -11*a(j) - 6*x(j). Does 30 divide h(y)?
False
Suppose 17*m + 30 = 23*m. Suppose -u + 13 = 4*c - c, 0 = -m*c + u + 19. Suppose -4*g + 296 = -c*n + 2*n, -n = -2. Does 6 divide g?
False
Suppose -5*n - 32 = 558. Let v = 254 + n. Is v a multiple of 22?
False
Let f(m) = 3*m**3 + 15*m**2 - 51*m - 2. Let w be f(7). Suppose -g + 3*p + w = g, -g + 3*p + 707 = 0. Is 12 a factor of g?
False
Let x(a) = -2*a + 5. Let u = 134 - 43. Let g be (-350)/u + 4/(-26). Does 13 divide x(g)?
True
Suppose -31*x + 22*x = 27. Let l = -6 + 6. Does 13 divide (-2)/(-1 - x)*(-71 - l)?
False
Let v(i) be the first derivative of 0*i - 16 + 4/3*i**3 + 0*i**2. Is 2 a factor of v(-1)?
True
Let l(i) = 0*i**2 + 3 - i**2 - 7 + 2*i - 2*i**3. Suppose 0 = d - 13*d - 36. Is 5 a factor of l(d)?
True
Let v = -1295 + 2398. Does 128 divide v?
False
Let j(v) = -10*v**2 + 85. Let c(k) = 7*k**2 - 57. Let w(n) = -7*c(n) - 5*j(n). Let i be w(0). Does 13 divide 8/((-82)/i + -3)?
True
Suppose -3*d - 2*d - 5*t - 50 = 0, -2*d + 5*t - 48 = 0. Let n be d/(-4)*1292/119. Does 4 divide n - (-6)/(-2)*5/15?
False
Suppose -4*g + 8*k - 13*k = -207217, -5*g = k - 258995. Is g a multiple of 291?
True
Suppose 0 = 10*a - 9366 - 20614. Is 28 a factor of a?
False
Let h be ((-660)/21)/(11/(-77)). Let w = h - 56. Is w a multiple of 18?
False
Does 25 divide (2/8)/((-61)/15738)*516/(-9)?
False
Suppose 7*o = -7*o + 14322. Let w = o - 164. Is w a multiple of 51?
False
Let d(l) = 2*l**2 + 2*l - 10. Suppose -4*o - 6*f + 5 = -3*f, 4*o - 4*f - 40 = 0. Let q be 8/12*(1 + o). Is 7 a factor of d(q)?
False
Suppose 3*v = 49*q - 48*q - 48266, -5*q + 5*v = -241270. Is q a multiple of 74?
True
Suppose -25*j = -214*j - 65*j + 2077974. Does 120 divide j?
False
Let m(i) = 2*i**2 - 8*i + 18. Let c be m(4). Let b = 9 - c. Does 39 divide (-90)/(b/((-90)/(-4)))?
False
Suppose -13*y + 19*y - 58445 = -8201. Is y a multiple of 14?
False
Does 7 divide (-21)/4*68*-14?
True
Let d(k) = k**2 + k + 1. Let z(f) = -f**2 - 46*f - 22. Let c(g) = -3*d(g) - z(g). Let x = 742 - 723. Does 5 divide c(x)?
False
Let o(h) = 10*h + 33. Let t be o(-5). Is 10 a factor of (-508)/t + (-40)/(-340)?
True
Let k(y) = -2*y + 8. Let q be k(3). Suppose 0 = 3*g - q*g - 28. Is 2 a factor of g?
True
Let o be 2 - (-5 - 647)/(-2)*4. Let w = -522 - o. Is w a multiple of 15?
True
Let v = 7245 - 2973. Does 6 divide v?
True
Suppose -12*h = -14*h + 16034. Suppose -26*j + h = 1569. Is 13 a factor of j?
False
Is 279540/114 + -1*4/38 a multiple of 71?
False
Let g(c) = 2*c**3 - 12*c**2 - 20*c + 46. Let f be g(11). Let d = f + -154. Is d a multiple of 42?
True
Let c = 115 + 4. Is (66/(2 - -4))/(1/c) a multiple of 65?
False
Let i = -3029 + 4212. Does 13 divide i?
True
Let h be -4*2/20 - (-591)/15. Suppose 5*x - 37 = p, 3*p = -4*x - h - 53. Let d = p + 83. Does 4 divide d?
False
Let m = -10890 + 18864. Does 9 divide m?
True
Let w be -9 - -8 - -6 - (-15)/(-3). Suppose w = 23*j - 4612 - 4657. Is 39 a factor of j?
False
Let p be (0 - 33)*80/(-15). Let j = p + -125. Let t = 137 - j. Does 10 divide t?
False
Suppose 242*w - 153*w = -354*w + 22518133. Is 11 a factor of w?
True
Let c be (0 - 14/(-10)) + (-3)/(-5). Suppose c = s - 8. Suppose -4*b + 78 + s = 0. Is 16 a factor of b?
False
Let b(z) = 21*z + 4. Let v(s) = -s**3 + s**2 - 2*s - 62. Let k be v(0). Let t be k/(-22) - (5 - 228/44). Does 39 divide b(t)?
False
Suppose 42920 + 25435 = 9*y. Is y a multiple of 35?
True
Let c(j) = -5*j + 73. Let t be c(15). Does 4 divide (-2 + 0/3)/(t/188)?
True
Suppose 1564 = 10*s + 444. Suppose 4*p + s - 96 = 0. Let u(d) = d**2 + 2*d + 12. Does 9 divide u(p)?
False
Let a be ((-8)/(32/(-11)) + -3)*-16. Suppose 2553 = a*y - c - 0*c, y - 4*c - 627 = 0. Is y a multiple of 27?
False
Let l be (1 + -1 - 42/6)*5. Is (-555)/l - (-2)/14 even?
True
Suppose -2*v - 2*t + 344 = -5*t, -5*v + 3*t = -851. Does 44 divide v?
False
Suppose 5*d - 5789 = -2*a + 6024, 2*d - 5*a - 4760 = 0. Does 55 divide d?
True
Let d(i) = 10*i**2 - 124*i + 3406. Does 18 divide d(22)?
False
Suppose 421 = 26*s - 151. Suppose -6 = -z + 5*k, 0*z - 3*k = -3*z - 6. Does 30 divide z/s + 3656/22?
False
Does 41 divide 3/4 - 10/(1080/(-664119))?
True
Suppose 1330 = 30*r - 25*r. Suppose 1564 = 6*s - r. Is 5 a factor of s?
True
Suppose w - 11*y - 508 = -7*y, -5*w + 2489 = -3*y. Is 124 a factor of w?
True
Suppose 0 = -2*k + c - 1, 5*c + 19 = 2*k + 8. Is 8 a factor of ((-80)/(-24))/(k/(-48))?
True
Let i = -95 - -97. Is (-1630)/(-20)*-6*(-3 + i) a multiple of 13?
False
Let r be (9084/(-18))/(12/(-18)). Let j = r + -428. Is 21 a factor of j?
False
Let k = 541 - 247. Let a be (-446)/(-2) - (-16)/((-16)/5). Suppose -3*v + 76 = -5*z - a, -3*v = -3*z - k. Is v a multiple of 14?
True
Suppose 54*b - 28762 = 77888. Let z = b + -1048. Is z a multiple of 12?
False
Is 36 a factor of (595/(-2))/((-40)/320*4)?
False
Suppose -47332 = 5*d - 10*d + 3*d. Is d a multiple of 164?
False
Suppose 163*g - 110069 - 272391 - 1359032 = 0. Is 16 a factor of g?
False
Suppose 1075*j - 1086*j + 82764 = 0. Is 22 a factor of j?
True
Suppose 3*d + 6*r = 3414, -4*d = -5*r - 5013 + 435. Is d a multiple of 21?
False
Let o = -429 + 22488. Does 19 divide o?
True
Does 13 divide 4/2*2 + -21*32144/(-42)?
False
Let r(u) = u**2 + 10*u + 17. Let k be r(-9). Suppose -k = 2*b, 0 = 4*i - 6*b + 2*b - 668. Is 64 a factor of i?
False
Let x(k) = k**2 + 13 - 13 + 0*k**2 + 8*k. Let d be x(-8). Suppose d = 2*t - 5*t + 54. Is 6 a factor of t?
True
Let n(p) = p**3 - 17*p**2 - 12*p - 24. Let a be n(17). Let b = 255 + a. Is b a multiple of 20?
False
Suppose 53*b - 6668 = 116. Is 16 a factor of (b/(-10))/(55/(-4950))?
True
Let l be (-10)/(-36)*6*-3. Is 15 a factor of 1/(-3) - (l + 1936/(-3))?
False
Let q(i) = -12*i**3 - i**2 + 4*i + 6. Let c be q(-1). Suppose 15817 = c*l + 3922. Does 67 divide l?
False
Suppose -17*g - 4*m + 4934 = -16*g, 14769 = 3*g + m. Does 29 divide g?
False
Suppose -3*a = -360 - 315. Suppose 0 = -7*c + a + 97. Let f = -35 + c. Is f a multiple of 8?
False
Let g(l) = 4*l + 45. Let u be g(-11). Does 17 divide u/(-7) + (-66792)/(-231)?
True
Let g(l) be the second derivative of -32*l**3/3 - 57*l**2 - 28*l. Is g(-11) a multiple of 6?
False
Let g be 2/(-4) + 1/(16/7624). Suppose g = l - w, 2*l + 2*w + 348 = 1288. Is l a multiple of 43?
True
Suppose -5*j - 2*a + 26265 = 0, 3*j - 4066 - 11724 = 5*a. Is 7 a factor of j?
False
Suppose -4*c = 7*k - 5*k - 2742, -2*k - 673 = -c. Let t = 995 - c. Does 24 divide t?
True
Suppose 4*v - 34 = -254. Is ((-8)/10)/((-53)/v - 1) a multiple of 11?
True
Suppose 2*h - 7*t + 3*t = 16, -5*t = 5*h + 35. Let z be 2*(1 - 0) - 0. Is 7 a factor of (-1*(-29)/h)/((-1)/z)?
False
Suppose -4*r + 6 = -6*r, 4*c - r - 111 = 0. Suppose 0 = h + 6 - c. Is 38 a factor of ((-12)/(-10))/(h/15)*133?
True
Let k(v) = 3534*v - 122. Is 22 a factor of k(4)?
True
Suppose -8 = 5*b + 3*y, 1 = -4*b - 2*y + 5*y. Is 2 a factor of 12/((2*b)/(21/(-1)))?
True
Let c(x) = 49*x**2 - 30*x + 186. Is 10 a factor of c(7)?
False
Is ((-16)/(-3) + 0)/((-127390)/(-5790) + -22) a multiple of 4?
True
Suppose 58*r - 4407 - 68779 = 21*r. Is r a multiple of 86?
True
Let y be (4*(-6)/(-8) - 2)*4. Suppose 0 = -5*v - y*x - 3 - 1, 5*x + 5 = 0. Suppose 3*r + 5*n - 52 = 0, v*n = -5*r + 4*n + 99. Is 15 a factor of r?
False
Suppose l + 155467 = 5*h, -5*h + 11*l = 15*l - 155432. Is 14 a factor of h?
False
Suppose -72 = 2*k - 994. Suppose -k = -6*b + 139. Let w = b + -69. Does 31 divide w?
True
Let p(d) = -2*d. Let u(g) = -5*g - 1. Let a(y) = -6*p(y) + 2*u(y). Let l be a(3). Does 3 divide (-29)/((-1 - 3)/l + 0)?
False
Let p = -12188 - -18668. Does 10 divide p?
True
Suppose 3*w - u - 13807 = 0, -446*w + 447*w - 4585 = -4*u. Does 12 divide w?
False
Suppose -t + 5*t = i + 195, 5*t - 246 = 2*i. Suppose -6*c = -r - c + t, 12 = -3*c. Let f = r + -21. Does 2 divide f?
False
Let q be (-26 - 1)*((-16)/6 + 4). Let b be q + 17 + (1