1 = -2*d, -3*d = 15. Let a = f + p. Does 11 divide a?
False
Suppose 2*q + 9*j = 38337 + 47037, 5*j = 5*q - 213600. Does 113 divide q?
True
Is 20 a factor of 2388676/24 - 11/66 - -8?
False
Let f(z) = -12*z - 84. Let j be f(-8). Suppose 2*i - 3*p - 51 + j = 0, 0 = -i - 3*p + 24. Is 7 a factor of i?
True
Suppose 298 = 3*p - 242. Suppose -p = 7*s - 2*s. Is ((2 + -8)*2)/(6/s) a multiple of 8?
True
Suppose -r + 17760 = -49941 + 9321. Does 70 divide r?
True
Let m be (19/((-931)/70))/(4/(-14)). Suppose 11*i = 14*i - 5*b - 267, 69 = i + m*b. Does 12 divide i?
True
Let a be (5 - 220) + -1 + 0. Is 4*1 + ((-7)/(-1) - a) a multiple of 33?
False
Suppose -78*v - 18052 = -80*v - 5*j, 0 = v - 5*j - 9041. Is v a multiple of 150?
False
Let p(a) = -a**2 - 8*a + 3. Let g be 6/9 - 3/(-9) - -2. Let u be (-234)/30 - g/15. Does 3 divide p(u)?
True
Let p(o) be the first derivative of -2*o**3/3 + 4*o**2 + 12. Let k be p(3). Suppose -k = -2*b - c, -8 = -b + 4*c + 13. Is b even?
False
Suppose 3*o = -i + 24990, 3*o - 18*i + 17*i = 24990. Is 35 a factor of o?
True
Let y be ((-6)/15)/((-4)/30). Is (-16758)/(-30) + y - (-2)/5 a multiple of 17?
False
Let g = 187 - 99. Suppose 89*l = g*l + 108. Is l a multiple of 19?
False
Let g = 2024 - 1024. Suppose -13*y = -11*y - g. Does 20 divide y?
True
Let l be 200 - ((-2 - -6) + -2). Let d = l + -118. Is d a multiple of 16?
True
Let f = 17348 - 13546. Does 4 divide f?
False
Let t(p) = 2*p**2 + 8*p - 20. Suppose 5*u + 5*s + 40 = 0, 5*u - 6*s + 24 = -3*s. Let i be t(u). Suppose -w + 3*l + 377 = i*w, -w + 71 = -5*l. Does 5 divide w?
False
Let q be 29/((-2)/((7 - 0) + -3)). Let l = 4 - q. Is 6 a factor of l?
False
Suppose -11 = -y - 3*r, 0 = -3*r - 9 + 21. Let p be -3 - (-5)/(5/11). Is (202/p*y)/((-7)/84) a multiple of 41?
False
Suppose -y + 9044 = 6*y. Suppose 0*d = -4*d + y. Is d a multiple of 31?
False
Suppose i - 423 = 4*l, 3*i + 416*l - 420*l - 1293 = 0. Does 87 divide i?
True
Suppose 3*d - 413 = -188. Is 15 a factor of 5/(-2)*(7 - 4 - d)?
True
Let u = -22538 + 32750. Is u a multiple of 111?
True
Let i = -5 + -59. Let g = 67 + i. Suppose 5*x = 5, g*x = -5*c + x + 122. Is c a multiple of 8?
True
Let m(q) = -22*q + 234. Let d be m(10). Suppose d*u - 45*u = -21576. Is 7 a factor of u?
False
Let n(m) = -m**3 + 8*m**2 - m + 7. Let h be n(8). Let l be 8/(-20) - (h - (-51)/(-15)). Suppose -4*a + 336 = 5*y, -3*a - l + 1 = 0. Is y a multiple of 17?
True
Suppose -3*q - 3460 = -5*a, 4*q = 3*q + 5. Is a a multiple of 3?
False
Let o = 292 + -192. Let u = o + 325. Is u a multiple of 25?
True
Let i(z) = 217*z - 4765. Does 110 divide i(77)?
False
Let n = 1403 + -839. Suppose w - 7*w + n = 0. Suppose 4*a - 129 = -y, 2*y - 4*y - w = -3*a. Does 8 divide a?
True
Suppose 4*w - 81868 = -4*b, -8*b + 61393 = 3*w - 9*b. Is w a multiple of 12?
False
Let g be (-8)/(-10) - (-11)/((-110)/8). Suppose -33*y - 2590 = -4*b - 38*y, g = -b - 5*y + 655. Is 67 a factor of b?
False
Suppose 5*y - 123 = -2*u + 22, 32 = y + u. Suppose -y*x + 298 = 3*k - 28*x, 4*k + 4*x = 392. Is k a multiple of 33?
True
Let c be (-121)/(-4)*64/(-4). Is 20 a factor of 42/(-12) + 3 + c/(-8)?
True
Suppose -2*y - 3*n + 1423 = -6*y, 5*y - 5*n + 1785 = 0. Let f = -147 - y. Does 14 divide f?
False
Let v(x) = 16*x**3 - 145*x**2 + 16*x - 138. Is 11 a factor of v(16)?
True
Suppose 0 = 17*i + 7*i + i - 431325. Does 27 divide i?
True
Is ((-14)/(-4) + -6)/((-105)/352044) a multiple of 12?
False
Does 85 divide (-89)/((5878/(-534) + 11)*9/12)?
False
Suppose 0 = 2*l - 27 + 23. Let i = l + 3. Suppose 5*d = 7*d - i*r - 118, 3*r = 12. Does 23 divide d?
True
Suppose -14*w + 12*w = -66. Is 11/(w/18)*(-204)/(-8) a multiple of 14?
False
Suppose -3*m - 2*x + 1804 = 0, x + 4*x = 25. Suppose 2*k - 2*d - m = 0, 6*k + 5*d + 604 = 8*k. Does 15 divide k?
False
Suppose -3*i + 9*i - 48 = 0. Suppose -9*k = -12*k - q + 13, 3*k - 4*q = i. Is 4 a factor of k?
True
Suppose 591 - 577 = 7*o. Suppose o*y = -4*u + 2254, 2247 = 4*y - 3*u - 2305. Does 31 divide y?
False
Let k be (0/2)/(-3 - -5). Suppose k = 2*d - 2*d + 2*d. Is (-3)/(-1) - ((d - 2) + -27) a multiple of 16?
True
Suppose 2*v - 5*t + 33 = 5*v, 0 = -3*v - 3*t + 27. Let g(k) = -14*k**3 - 3*k - 2*k**2 + 1 + v*k + 4 + 0*k. Does 25 divide g(-2)?
False
Suppose -j + 1199 - 1207 = 0. Let a(p) = p**2 + 10 + 13*p + 3*p**2 - 2. Is a(j) a multiple of 32?
True
Let k(m) = -39*m + 37*m + 54*m**2 - 7 + 5. Is k(-5) a multiple of 54?
False
Suppose 4*o + 7321 = 4*x + 1885, 3*x = 2*o + 4082. Suppose -7*a + x = -799. Does 35 divide a?
False
Suppose 241*o = 249*o + 72. Is (2546 - 17)*(-3)/o a multiple of 16?
False
Suppose -n - 27 = -4*n. Suppose -n*t = -3*t. Suppose -2*l - 8 + 12 = t. Does 2 divide l?
True
Suppose 2*s - 30 = -3*s + i, 5*s + 3*i - 10 = 0. Let x be ((-15)/s*1/(-3))/(-1). Let t = 131 - x. Is 22 a factor of t?
True
Let c(u) = u**3 - 18*u**2 - 22*u + 53. Let v be c(19). Is 39 a factor of (-1)/v - (7485/(-12) - 0)?
True
Let k(c) = 16 + 5*c**2 - 5*c**2 - c**2 - 23*c. Is k(-23) a multiple of 8?
True
Suppose 0 = -p + 2*k + 43, p - 40 = k + 7. Let s be 2/(-3) - p/(-9). Does 6 divide 6/2 + -2 + s?
True
Let q be ((-25)/175)/(3/(-42)). Suppose 5*t - 744 - 696 = -q*f, t - 295 = f. Is t a multiple of 29?
True
Let j(o) = -o**3 + 4*o**2 + 2*o + 19. Let g be j(5). Is 13 a factor of (g*5631/(-12))/(-1)?
False
Suppose 0 = -23*m - 9 + 78. Suppose 454 = 5*o - 4*t - 211, -5*o + 665 = m*t. Is 19 a factor of o?
True
Suppose 0 = 3*i - 3*s, -12 = -i - i - 4*s. Is 29 a factor of (-50856)/(-88) - 10 - i/(-22)?
False
Let m(a) = -11*a**3 - 5*a**2 + 24*a + 48. Does 4 divide m(-6)?
True
Let v = -47 + 60. Suppose -u + v = 63. Let h = u + 78. Does 7 divide h?
True
Suppose 0*s - 7 = -5*i + 3*s, 13 = 4*i + 5*s. Suppose -i*b - 9 = -151. Suppose -b*f = -77*f + 276. Does 11 divide f?
False
Let g be (2476 - 4)*9/27. Suppose -c = 2*c - 5*o - 1244, 2*c - 2*o = g. Is c a multiple of 3?
True
Let a be (53 + -1)*(-19 + 2 + -1). Is (2*6/(-24))/(4/a) a multiple of 3?
True
Suppose -5*m - 1 = 3*h, -3*h - 4*m - 15 = -13. Is (18/(-24))/(h/1056) a multiple of 21?
False
Let d = -1047 + -954. Let p = d + 2804. Does 11 divide p?
True
Let k(w) = 5*w**2 + 35*w + 20. Let n(t) = -2*t**2 - 18*t - 10. Let l(f) = -3*k(f) - 7*n(f). Let a be l(13). Let q = a - -16. Is q a multiple of 22?
False
Let v(a) = -a**3 - 34*a**2 - 105*a - 99. Does 89 divide v(-34)?
True
Let l(d) = -6 + d**2 - 24*d**3 + 6*d + 15*d**3 + 10*d**3. Does 12 divide l(3)?
True
Let p = 35 - 48. Let f be (-515)/(-2) - p/(-26). Let i = 447 - f. Does 9 divide i?
False
Let c = 15296 + -12533. Does 60 divide c?
False
Let z(i) = i**2 - 9*i - 12. Suppose 0 = -h + 3*h - 24. Suppose -15*x + 168 = -h. Is 8 a factor of z(x)?
True
Does 26 divide (3 + -22)*(-7 + -111) - 6?
True
Suppose -13*k - 3 = -42. Is 3 a factor of (k/6 + 150/(-12))/(-2)?
True
Let k(y) be the third derivative of y**4/24 + 2*y**3 - 28*y**2. Let m be k(-16). Does 29 divide m/(-18) + -3 + 4773/27?
True
Suppose -5*s - 1 = -21. Suppose 0 = -n - 5*b + 2, -3*b - 2*b = s*n - 8. Suppose 112 = 2*y - 5*w, n*y = 4*w + 71 + 41. Does 14 divide y?
True
Let r = 4313 + 1464. Does 53 divide r?
True
Suppose 112*r + 37396 + 12214 = 134*r. Is 8 a factor of r?
False
Let c = -209 + 2067. Suppose c = -10*g + 5358. Is 50 a factor of g?
True
Let p = 1373 + 5721. Is p a multiple of 158?
False
Let r(i) = -329*i + 1967. Does 28 divide r(-61)?
True
Let k be 2/(-3) + (-244)/(-6). Let p(g) = -2*g - 4*g - g**3 + 50 - k - 6*g**2. Is 8 a factor of p(-6)?
False
Let h = -975 + 1010. Suppose -19 = -3*i - 5*p, 7 = i - 2*i - 5*p. Let j = h - i. Is j a multiple of 11?
True
Suppose 3*d = -b - 2*b - 12, -2*b = -5*d + 1. Let j be d*(1/1)/((-12)/(-84)). Is 7 a factor of (-345)/j + ((-12)/14)/3?
True
Let t = -109 + 383. Suppose 0 = 5*z - 5, -2*b - z - 103 = -t. Does 2 divide b?
False
Let o(y) = -y**3 - 3*y**2 + 3*y - 9. Let c be o(-4). Let i(q) = q**2 + 5*q + 3. Let a be i(c). Suppose 2*u = 2 + 6, 260 = 4*z + a*u. Is 31 a factor of z?
True
Let r be (83 - -1)*-3 + 0. Suppose -45*k + 17061 + 757 = -1082. Let x = r + k. Does 7 divide x?
True
Does 10 divide ((-128)/8)/((-30)/(-25))*-1167?
True
Is 15/((-105)/(-205849)) - 8 - -7 a multiple of 39?
True
Suppose -2*p + 6 = -4*p. Let j be (-5)/(20/(-12)) + p. Suppose j = 4*d - 0*d - 288. Does 12 divide d?
True
Let z =