= -7*j. Let w be 2*((-4)/8)/(0 + 1). Is 36 a factor of (j - w)*(6 + -15)?
True
Suppose -n = -3*u - 0*u - 8, 3*u + 13 = 2*n. Let c be ((-2)/(-7))/((-15)/(-105)). Suppose -c*p - 6 = 0, n*p + 40 = d - 0*d. Is d a multiple of 4?
False
Suppose 59*u - 506736 = -7*u - 26*u. Is 118 a factor of u?
False
Let n(b) = -47*b + 3. Let v(f) = -f**2 - 9*f - 18. Let o be v(-7). Let y be n(o). Let m = 326 - y. Does 12 divide m?
False
Suppose -5*t - 2*p + 94 = -34, 0 = -3*t + 4*p + 56. Is 29 a factor of t*282/12 - (5 + -1)?
False
Let n = -60935 + 88202. Is (1*-1)/(n/2727 - 10) a multiple of 16?
False
Let q = -414 + -26. Let m = 556 + q. Is 6 a factor of m?
False
Suppose 11 = -5*z + 1, 2*j + 62 = -z. Is 168/j + 6 - (-166)/10 a multiple of 10?
False
Let j(q) be the first derivative of -q**4 - 2*q**3/3 + 3*q**2/2 + 3*q - 91. Is 7 a factor of j(-4)?
False
Suppose 3*p - 12 = 0, -z + 3 = 3*p - 14. Suppose -25 = q - z*q + 3*h, -3*q + 22 = h. Suppose -q*y - 99 = -414. Is 41 a factor of y?
False
Let z(y) = -164*y - 1. Let g be z(-1). Suppose 0 + 3 = -o, -3*f + 2*o - 315 = 0. Let i = g + f. Is i a multiple of 11?
False
Let k(m) = -36*m - 4*m**3 + 55*m - 7*m**2 - 28*m + 5*m**3. Let o be k(9). Suppose l = -4*s + o, -2*l + l + 76 = 5*s. Is l a multiple of 19?
False
Let a(h) = 172*h - 355. Is a(11) a multiple of 26?
False
Suppose 71*h = 75*h - 3*n - 12780, -2*h + 3*n = -6396. Does 38 divide h?
True
Suppose q - 2*q + 5 = 0. Does 12 divide 0 + (q - (1 - 104))?
True
Suppose -3*o = -2*i - 11, -3*o = -5*i - 0 - 5. Suppose -5*h - 4*z = -3788 - 208, -2 = i*z. Does 38 divide h?
False
Suppose 8*z + 14*z = 5*z + 18513. Does 9 divide z?
True
Let r(q) be the first derivative of -2*q**3/3 - 4*q**2 - q + 16. Let j be r(-11). Let s = -59 - j. Does 12 divide s?
True
Suppose -30*k - 321 = -27*k - 2*i, 5*k + 4*i + 557 = 0. Let p = k - -321. Is 22 a factor of p?
False
Let l = -369 + 90. Let v = l - -604. Does 29 divide v?
False
Let d be 1/(-1 + 0 - 0) + -1. Let r be (3 + -1)*(4 + d). Suppose -f = -r*f + 66. Is f a multiple of 12?
False
Suppose -2*f + 2*c - 96 - 128 = 0, 5*f - 4*c + 563 = 0. Let d be 5 + f/20 + 118/8. Suppose 0 = r - y + 6*y - d, -r + 34 = -5*y. Is r a multiple of 4?
True
Let l(m) = -m**3 - 6*m**2 + 14*m - 8. Let f be l(-8). Suppose 0 = 3*t - 0*t - 15. Suppose 4*a = 3*p + 594, f + 736 = t*a - 3*p. Does 50 divide a?
True
Let l(u) = -17*u**2 - u + 1282. Let c be l(0). Let q = 2688 - c. Does 13 divide q?
False
Let l(j) = -11*j**2 - 318*j - 11. Is 5 a factor of l(-26)?
False
Let g = 11571 + -3197. Is g a multiple of 79?
True
Let l be 36/1*(-1 + 10/6). Suppose u = 0, 171 = c - 5*u + l. Is 5 a factor of c?
False
Let h(w) = -w**2 - 30*w + 61. Let k be h(-30). Suppose 2700 = 67*x - k*x. Is x a multiple of 10?
True
Suppose w - 4*x = -620, 16*w - 1214 = 18*w + 5*x. Let v = w + 812. Is v a multiple of 5?
True
Let n = -1856 + 3534. Is 59 a factor of n?
False
Let z(g) be the first derivative of -g**3/3 + 2*g**2 - g + 5. Let f be z(2). Suppose -4*b - 5*t + 56 = -2*b, -56 = -2*b - f*t. Is 9 a factor of b?
False
Let k = 3503 + 9457. Suppose -97*b = -121*b + k. Is 36 a factor of b?
True
Let k(w) = 83*w**2 - 27*w - 6. Let g(y) = 28*y**2 - 9*y - 2. Let l(s) = -8*g(s) + 3*k(s). Let a = -536 - -538. Is 8 a factor of l(a)?
True
Suppose s + 3 - 8 = 0. Suppose s = 5*g - 25. Suppose 253 = g*w - 53. Does 8 divide w?
False
Suppose -6*u - 28 = -13*u. Suppose -u*c + 473 = 3*h, h + 0*h = -5*c + 176. Is 20 a factor of h?
False
Let x be (392 - 2) + (-2 - 2)/2. Let g = 401 - x. Is g a multiple of 2?
False
Let q = 7130 + -5748. Does 3 divide q?
False
Suppose -16*d - 43*d + 44268 = -8*d. Is d a multiple of 62?
True
Let y be ((-3)/6)/((-6)/(-636)). Let r = y - -173. Suppose -5*b = -b - r. Is b a multiple of 6?
True
Let d be 2 + 2 + 33 + -2. Suppose 3*r = 6*r + 42. Let w = r + d. Is w a multiple of 21?
True
Is -549*5*38/(-665)*49 a multiple of 14?
True
Let y(o) = -25*o + 22. Let j be y(-3). Let h = j - 72. Is h a multiple of 25?
True
Let g(a) = -a + 4*a - 4*a + 38. Let z be 7 + 4 + (17 - 35). Does 3 divide g(z)?
True
Let q = -173 + 196. Let h = q - -33. Is h a multiple of 43?
False
Let i(o) = -380*o - 1764. Is i(-9) a multiple of 2?
True
Let r(b) = 3*b - 83. Let g be r(0). Let l = g + 85. Suppose l*j = 9*j - 1113. Does 15 divide j?
False
Let k(h) = 10*h**2 + 26. Suppose -3*n = 5*p + 35, -10*p - 5*n = -12*p - 14. Let m be k(p). Let v = -216 + m. Is v a multiple of 12?
True
Let w(s) = s**2 - 6*s + 36. Let y be w(5). Let r = y + 36. Suppose k - r = g - 214, -4*g + 612 = 2*k. Is g a multiple of 13?
False
Let i(f) = f**2 - 5*f - 82. Let y be i(-7). Suppose 3*j + 2*w - 457 = -y*w, w = -3*j + 454. Does 24 divide j?
False
Let k be (-32)/20*(-5)/4*2. Suppose -5*z + k*z = -2. Suppose -45 = z*p - 189. Does 8 divide p?
True
Suppose v + 80*g = 78*g + 50547, -2*g = -4*v + 202178. Does 11 divide v?
True
Suppose 1774 - 4582 = -24*l. Is l a multiple of 14?
False
Let w(g) = 13*g + 87. Let d(x) = 39*x + 263. Let v(z) = -4*d(z) + 11*w(z). Let b be v(0). Does 7 divide 112/5*b/(-38)?
True
Suppose -3*s + 12 + 24 = 0. Let p = -366 - -359. Let t = s + p. Is 2 a factor of t?
False
Let u = 47447 - 27706. Is u a multiple of 12?
False
Let y(d) be the third derivative of -d**5/30 - 5*d**4/24 + d**3 + 30*d**2. Let g be y(2). Is 18 a factor of (56/g)/((-2)/63)?
False
Let n(c) = -3*c - 19. Let y = 74 + -82. Let f be n(y). Suppose -f*h + 2*o = 4*o - 1148, 0 = -3*h - 2*o + 692. Is 38 a factor of h?
True
Let g(c) = c**2 + 11*c - 9. Suppose 4*d + 73 = -5*m, 2*m = -2*m - 20. Let l be g(d). Suppose -2*a = -2*s - 2*s + 172, 0 = -l*s - 5*a + 103. Is 6 a factor of s?
False
Let d = -74 + 79. Suppose -8*j = -d*j - 108. Is 15 a factor of j?
False
Suppose -y = 4*y + 375. Let a be (-128)/3*348/232. Let p = a - y. Is 7 a factor of p?
False
Suppose -3*n - 4*s - 641 = -0*n, -3*n + 3*s - 627 = 0. Let x = -167 - n. Is 11 a factor of x?
True
Let x(f) = 56*f**2 - 132*f + 1628. Is 92 a factor of x(14)?
False
Suppose -47286 = -5*d - 3*b, 4*b - 37840 = 5*d - 9*d. Is 4 a factor of d?
False
Let x(z) = 10*z - 55. Let t be x(6). Suppose -t*f - 1527 = -5172. Is f a multiple of 81?
True
Suppose -4*n = -5*g + 12054, g + 82*n - 2394 = 87*n. Is g a multiple of 24?
False
Let f(n) be the third derivative of n**6/120 - n**5/30 - 7*n**4/24 + 2*n**3/3 + 2*n**2. Let g be f(-4). Let p = -28 - g. Is 5 a factor of p?
False
Let j = -18904 - -19504. Does 6 divide j?
True
Let g be (-1 - (-9)/6)*(3 - 3). Suppose g = 52*x - 43*x - 6003. Is x a multiple of 27?
False
Suppose 7532 - 13633 = -6*t + 12319. Is t a multiple of 10?
True
Let q = 1456 - 2725. Let r = q - -2189. Does 23 divide r?
True
Suppose 5*r + 2*g - 4496 = 0, 6039 = 5*r - 3*g + 1533. Is 18 a factor of r?
True
Let i(l) = -87*l**2 + 3*l. Let p be i(1). Let k = 88 + p. Suppose -f = 2*u - 8, k*f - 4*u = -0*f + 8. Is 4 a factor of f?
True
Suppose l + 2303 = 3*i + 2*l, 761 = i + 2*l. Let x = -489 + i. Is 5 a factor of x?
True
Suppose 243 - 218 = -25*z. Is 55 a factor of (-72)/(-12) + (1368 - z)?
True
Let h(z) = 46*z**2 - 6*z + 3. Let t(p) = p - 6. Let g be t(3). Does 34 divide h(g)?
False
Suppose 0 = 3*z + 2*p - 3120, -2*z - p = -3*p - 2080. Suppose 727 = -y + z. Does 16 divide y?
False
Let c = 2431 - 2334. Let d be 3/(-12) - 1181/(-4). Suppose -c - d = -8*m. Is 49 a factor of m?
True
Suppose -232*o - 155465 + 705537 = 0. Is o a multiple of 28?
False
Let j = 25566 + -15844. Is 15 a factor of j?
False
Let g = 17251 + -8213. Is 12 a factor of g?
False
Suppose 8714 = 3*r - 4*w, 0*w - w + 11587 = 4*r. Does 69 divide r?
True
Let a(f) = -f**2 + 8*f - 12. Let b be a(8). Is 11 a factor of (-620)/(-14) - b/(-42)?
True
Suppose -28 = -2*i + 4. Let b be (-24)/(-6) + (0 - i). Does 9 divide (-93)/(-2)*b/(-9)?
False
Suppose -5*h + 2*h - 6*h = 0. Suppose h = 4*u + x - 967, -5*u + 4*x + 1235 = -0*x. Is u a multiple of 28?
False
Let a = 950 + 325. Is a a multiple of 15?
True
Let x be 18/(-7)*(20/(-3) + 2). Suppose 13 = t - x. Let i = 75 - t. Does 13 divide i?
False
Suppose 2359*f = 2358*f + 8573. Does 34 divide f?
False
Let m(u) = -5*u - 181. Let c be m(-38). Is 24 a factor of 1054 + -2*c/(-18)?
False
Suppose 7*l - 2 + 282 = 0. Let k be 24/l + ((-526)/(-5))/2. Is (2 - (-3)/(-1))/((-2)/k) a multiple of 5?
False
Does 12 divide 6*15/((-120)/(-5696))?
True