 + (-12)/g. Suppose 3*k = -2*k + b. Is 20 a factor of k?
True
Let n = 60 - -487. Suppose 3*g + r + 2*r = 0, -3*r = -3*g + 18. Suppose -2*q + 504 = 2*f, 209 + n = g*f + q. Is 14 a factor of f?
True
Let x(r) be the first derivative of 4*r**3/3 + 25*r**2 + 21*r + 49. Does 25 divide x(-20)?
False
Let q be (-6)/4*512512/(-132). Suppose -25*h = -32*h + q. Does 52 divide h?
True
Let r be -45 - (-126)/(11 + -5). Let i(u) be the first derivative of -3*u**2 - 53*u - 1. Is i(r) a multiple of 13?
True
Suppose 2*n - 3760 = -14*n. Suppose 238*m = n*m + 2625. Is 56 a factor of m?
False
Let n be 0/58 - (3 - (1 + 0)). Does 26 divide n/16 - (-1803)/24?
False
Suppose 2*d + 22 = 60. Suppose -37 = -d*o + 1. Suppose -8*m + 5*m + o*u + 39 = 0, -5*m - 2*u + 49 = 0. Is m a multiple of 2?
False
Suppose -3*q - 24 = 3*h, -3*q + 24 = -4*h + 6. Let n(z) = 5*z**2 - 17*z - 51. Does 21 divide n(h)?
True
Suppose -5*b + 1 = 4*r - 3*r, -r - 5 = -b. Let y be r + (-3 - -4 - -4). Is (-1 - -8)/(1/y) a multiple of 7?
True
Suppose -569 + 2246 = 2*w + i, 4*w - 2*i = 3342. Is w a multiple of 31?
True
Let q(b) = -5*b**3 - 8*b**2 - 3*b - 5. Let z(w) = 4*w**3 + 9*w**2 + 4*w + 6. Let g(r) = -6*q(r) - 5*z(r). Is g(2) a multiple of 72?
False
Let k be 6/((-36)/84*1/2). Let t be 28/3*(-72)/k. Suppose 1168 = t*s - 8*s. Does 12 divide s?
False
Let l(p) = p**3 + 46*p**2 + 227*p - 18. Does 178 divide l(-28)?
False
Does 8 divide 65/(-7 + 2) - -3421?
True
Let g = -42 - -242. Let c = -103 + -4. Let p = g + c. Is p a multiple of 31?
True
Let m be (-3 + 9)*(-14)/42. Does 20 divide -4*(-1)/(m + 82/40)?
True
Suppose 0 = -3*w + 3*q + 150, 185 = 3*w + q + 15. Suppose -5*l = -4*k + 75, 5*k + 3*l = w + 11. Does 3 divide k?
True
Let l(v) = -v**3 - 12*v**2 - 103*v + 96. Is l(-20) a multiple of 13?
True
Suppose l + 342 = 5*k - 3*l, 134 = 2*k - 3*l. Let g = 343 - k. Is 44 a factor of g?
False
Let l(f) = 76*f**2 + 43*f + 1780. Is l(-20) a multiple of 45?
True
Let c(m) = 89*m + 259. Let z(d) = -29*d - 87. Let l(t) = -3*c(t) - 8*z(t). Is 18 a factor of l(-15)?
False
Let x(v) = -v**3 + 9*v**2 - 7*v - 5. Suppose 3*a - 4*a = -5*m + 30, -4*m + 24 = -3*a. Let t be x(m). Let r = -27 + t. Does 5 divide r?
False
Let z be -3 + 4/6 + (-400)/(-30). Suppose 0 = -6*c - z*c + 527. Is c a multiple of 10?
False
Let x(l) = l**2 - 2*l + 3. Let f(r) = r**3 - 14*r**2 - 3*r + 43. Let j be f(14). Suppose -3*p + j = -2*h + 15, -2*p = 0. Does 5 divide x(h)?
False
Let b = 77 - 41. Suppose 1416 + b = 3*i. Suppose -4*s = 5*y - i, 4*s - y - 165 - 295 = 0. Is 20 a factor of s?
False
Suppose 127 - 95 = 4*p. Suppose -4*j = -y - 22, -3*j - 2*y + 7*y + p = 0. Let v(h) = 37*h - 7. Is v(j) a multiple of 43?
True
Suppose 0 = -4*k - 6 - 38. Let o = k - -9. Does 7 divide (o/5)/(1/(-35))?
True
Let q = -8 + 13. Suppose 0 = 7*m - 129 - 109. Suppose q*g - 1 = m. Is g a multiple of 5?
False
Let g = -87 + 225. Suppose -3*i + y + 199 = 0, 3*i = i - 2*y + g. Is 12 a factor of i?
False
Let k be 6/18 - 5/(-3). Is 12 a factor of 1/(12/7434)*k?
False
Let s(v) = -843*v - 1560. Is s(-6) a multiple of 160?
False
Let o(w) = -164*w - 90. Let m(t) = 163*t + 82. Let x(f) = -5*m(f) - 6*o(f). Is 25 a factor of x(5)?
True
Suppose z - 5*z = -q, -4*q = 4*z. Suppose 20*n - 2*n - 4950 = z. Is 57 a factor of n?
False
Let v(g) = g**2 - 3*g - 23. Let t be v(-4). Suppose t*c + 2*f - 354 = 3*c, 0 = -2*c + 5*f + 326. Does 5 divide c?
False
Let j(h) be the second derivative of h**3/6 + 28*h**2 - 22*h. Suppose 3*v - 2*y = y - 12, -3*y + 12 = 2*v. Does 8 divide j(v)?
True
Let l = 325 - 325. Let r(g) = g**3 + 2*g**2 + 205. Is 10 a factor of r(l)?
False
Let w(o) = 2*o**3 - o**2 - 3*o + 26. Let n be w(0). Suppose 0 = -n*b + 29*b - 162. Is 6 a factor of b?
True
Let g = -53 + 81. Is (g + 0)/(7/63) a multiple of 18?
True
Let f(t) = 11*t - 20. Let s be f(2). Suppose -4*j - s*n + 262 = 0, -5*j - n - 3*n = -320. Is j a multiple of 11?
False
Let x be -63*((-2)/(-4) + (-465)/210). Let b = x + -97. Is b a multiple of 11?
True
Let n be (-2 - -6) + -3 - -1*2. Suppose q - 5*d + 121 = 2*q, -392 = -4*q + n*d. Let m = q - 53. Is m a multiple of 12?
True
Let x(k) = -3*k**3 - 65*k**2 - 64*k + 29. Suppose -7*z = -32*z - 525. Does 22 divide x(z)?
False
Let s = 41 + 27. Suppose -3*l = 5*c - s, 4*c - 26 = -l - c. Is 21 a factor of l?
True
Let h = -40 - -45. Let n = -123 + h. Let r = n - -163. Is r a multiple of 15?
True
Suppose 4*z = 5*m - 53, 3*z + 2*z + 37 = 3*m. Suppose -m*q + 14*q = 4*r - 932, 3*q - 672 = -3*r. Does 76 divide r?
True
Let n = 32 - -38. Let v(w) = 44*w**2 - 30*w + 8. Let x be v(1). Let a = n - x. Is a a multiple of 8?
True
Let m be (-303)/(-6)*(-12 - -18). Suppose -4*r = -c - 775, 2*c - m = -3*r + 292. Is 2 a factor of r?
False
Suppose 5*n - 1084 = -219. Let j = -143 + n. Is j a multiple of 30?
True
Let j(r) = 2*r + 126. Let b(l) = 2*l**2 + 28*l + 8. Let z be b(-13). Is 15 a factor of j(z)?
True
Let r(w) = 3*w**3 + 2*w**2 - w + 1. Let i be r(1). Let u(v) = 9*v + 4. Let b be u(5). Suppose -22 = -c + 2*o, -i*c - 3*o + b = -48. Does 5 divide c?
True
Let z = 119719 + -84181. Is 7 a factor of z?
False
Let m(z) = -79*z**3 + 5*z**2 + 67*z - 17. Is 67 a factor of m(-5)?
True
Suppose -645 = -5*r + 570. Is r/2*(5 + -3 + 2) a multiple of 12?
False
Let s(y) = 9*y + y**2 - 21 - y + 23. Let a be s(-8). Suppose -236 = -4*u + 4*x, -a*u - 4*x - 182 = -5*u. Is 18 a factor of u?
True
Suppose 3*d = -21*z + 25*z - 35907, d = -z + 8975. Is 24 a factor of z?
True
Let j be 1 + (-6 + 7)*-19. Is (-2)/j + 1509/27 a multiple of 8?
True
Let z be (0 - 12)*(-3 - (-52)/(-12)). Let b = z + 18. Is 52 a factor of b?
False
Suppose -16959 = -2*z - 3*j, 4*z - 28451 = -3*j + 5464. Is z a multiple of 26?
False
Let z = 22336 + -19732. Is 28 a factor of z?
True
Let c = 74 + -71. Suppose -h + 158 = -4*n, 5*n + 3*h - 6*h = -194. Is c - 2*1*1020/n a multiple of 8?
False
Let x(m) = -2*m**3 - 16*m**2 + 3*m + 299. Does 7 divide x(-15)?
False
Suppose 0*d - 2*d = 2*d. Suppose 21*w - 16*w - 1165 = d. Let j = -156 + w. Is j a multiple of 11?
True
Is 19 a factor of 2/(-6)*(-7240 + (-20 - -21))?
True
Let z(j) be the third derivative of -j**6/120 - j**4/6 - 3*j**3/2 + 218*j**2. Is z(-6) a multiple of 3?
True
Suppose 3*k - 435 = x + 4*x, -2*x + 3*k = 183. Let f = -5591 + 5598. Let s = f - x. Does 7 divide s?
True
Suppose 2*u - 24833 = -7*m, -m = 42*u - 40*u - 24779. Is u a multiple of 10?
False
Suppose 43*q - 2*m = 44*q - 16611, q = -4*m + 16611. Is 49 a factor of q?
True
Let o = -55916 + 99527. Does 76 divide o?
False
Suppose -w + 9883 = q, -41466 + 1933 = -4*w - 3*q. Does 4 divide w?
True
Let s = 2967 + -1727. Does 10 divide s?
True
Suppose 0 = -436*t + 434*t + 2106. Let h = -488 + t. Is 7 a factor of h?
False
Suppose 0 = -4*l - 3*j - 2647, 5*j + 2104 = -5*l - 1201. Let h = -551 - l. Is h a multiple of 25?
False
Suppose -g + 3*d = -17803, -2*d - 2 + 14 = 0. Does 80 divide g?
False
Let c(i) = i**3 - 17*i**2 + i - 19. Suppose -x + 20 - 3 = 0. Let j be c(x). Does 12 divide j*(-3 - 225/10)?
False
Let m = 10 - -49. Suppose -3*o - 47 = -m. Suppose -40 = -q - 5*p, o*q + 3*p - 29 - 46 = 0. Is q a multiple of 3?
True
Suppose -m = -3*s - 5105 - 2734, 30*m - 5*s = 235765. Is m a multiple of 10?
True
Let y be (-3328)/(-14) + 32/112. Let z = y - 187. Is 17 a factor of z?
True
Let r be (-1 - (-78)/18) + (-4)/(-6). Suppose -884 + r = -10*d. Is d a multiple of 5?
False
Let a = 340 - 243. Suppose 0 = -4*o + a + 1871. Does 18 divide o?
False
Let x(s) = 8*s**2 + 69*s - 446. Is x(25) a multiple of 21?
True
Let k(b) = b - 14. Let l be k(14). Let u be (1/1*l)/(19 - 18). Suppose q - 17 + 1 = u. Is q a multiple of 16?
True
Suppose 0 = 7*r - 8*r - 1076. Let g = -845 - r. Is g a multiple of 53?
False
Suppose 4*j - 1048 = 4*r, -1044 = 4*r - 3*j - 0*j. Let k = r - -758. Does 20 divide k?
True
Suppose -6162 - 2350 = -y. Does 21 divide y?
False
Let x(z) = -z**2 + 7*z. Let j be x(7). Suppose -5*t - 2*k + 109 = j, 11 = 9*t - 8*t + 4*k. Does 23 divide t?
True
Let u(p) = -p**2 + 11*p - 20. Let b be u(8). Suppose 5*q = -2*i + 9, 0 = b*q - 5*i + 7 - 34. Suppose 4*f + 3 = -q*j, 0 = j - 0*f + f. Does 3 divide j?
True
Let h(j) = j**2 - 19*j + 119. Let d be h(-23). Suppose 4*l - 3821 = -d. Is l a multiple of 19?
True
Suppose -4*f + 0*f = 132. Let o be ((-27)/4)/((-84)/1120). Let 