 of 45?
False
Let u be (8/(-2) - 0)*10/(-8). Let q(v) = 10*v**2 + 2*v - 15. Is q(u) a multiple of 11?
False
Let r(u) = -479*u - 24. Let j(t) = -2*t + 1. Let d(w) = -6*j(w) - r(w). Is d(1) a multiple of 39?
False
Let z(i) = -2*i**3 + 15*i**2 + 88*i + 7. Does 12 divide z(-5)?
True
Suppose 7*q + 18*q - 550 = 0. Suppose q*c - 4*c = 12960. Is c a multiple of 15?
True
Suppose 5*q + 25 = 3*l, -3*l - 3*q + 57 = -0*q. Suppose -l = -2*y + 1. Is y a multiple of 4?
True
Let p be (-2 + 5)/(4 - 3). Suppose 4*w - 8986 + 3114 = -2*u, -2*u + 4402 = p*w. Is 44 a factor of w?
False
Suppose 7*h - 5*z + 9329 - 70476 = 0, -2*z = -3*h + 26206. Does 16 divide h?
True
Let k(c) = 9*c - 32. Let g be (-43 - -69) + 1*(-3 + 0). Is k(g) a multiple of 20?
False
Let t = 112355 - 56968. Is t a multiple of 97?
True
Does 20 divide (6 + 149)/((-1)/(-108))?
True
Let s(y) = 2*y**3 - 7*y**2 + 2*y + 6. Let m be s(3). Suppose 5*v - 361 = -4*n, 7*n - 5*v - 311 = m*n. Does 7 divide n?
True
Let p = 548 - 136. Let q = 720 - p. Is q a multiple of 11?
True
Suppose h = 2*f, -3 = -f + 3*h + 2. Let v be (((-14)/6)/7)/(f/(-21)). Let p = v - -55. Does 8 divide p?
True
Suppose -17*o - 1665 = -53907 + 205. Is o a multiple of 3?
False
Let y be 18/12*(940 - 4). Suppose -2*n + 556 = -4*i, 6*i = -5*n + 9*i + y. Does 6 divide n?
True
Let h(c) = c**3 + 12*c**2 + 10*c + 11. Let g be h(-11). Let a(u) = -2*u**3 + 5*u**2 + 5*u + 2. Let x be a(-3). Let w = x - g. Is w a multiple of 12?
False
Is 105242/18 + ((-852)/54 - -16) a multiple of 8?
False
Suppose 0 = -5*q - 3*p + 4, 4*q - 7*q = 3*p + 6. Let i be (-8)/3*(-6)/4. Suppose 4*f = q*g + 281, -i*f + 231 = 4*g + g. Is f a multiple of 8?
True
Let s be (-6)/21 + 178/(-14). Let w = -1509 - -1454. Let p = s - w. Is p a multiple of 4?
False
Let w = 11582 + 23817. Is 55 a factor of w?
False
Let j be 4 + -6 + 9*2. Suppose 4*s - 5*z - j - 64 = 0, -20 = -s + z. Does 5 divide s*(-5)/2*(-11)/55?
True
Let c(u) = 12*u + 33. Let x be c(11). Let i = x + -253. Let h = i + 412. Does 42 divide h?
False
Let k(s) = -11*s**2 - 4*s + 7. Suppose -162*i + 167*i = 10. Let l be k(i). Let c = l - -92. Is 3 a factor of c?
False
Let a(g) = g**2 + 15*g + 30. Let k be a(-13). Suppose o + 125 = -2*f + 411, -125 = -f + k*o. Suppose d - 75 - f = 0. Does 12 divide d?
True
Suppose 4*p - 304 = -4*p. Let b(l) = l**3 - 40*l**2 + 83*l. Is b(p) a multiple of 32?
False
Suppose 3*v + 17988 = 2*r + 4554, 0 = 4*r + v - 26882. Is 84 a factor of r?
True
Suppose 2*v + v + 8 = 5*q, -5*q - 2*v + 3 = 0. Is 18 a factor of -46 + 303 + (-7 - (-1 - q))?
True
Suppose -114 = -5*t + 3*n, 81 = 3*t - 5*n + 19. Suppose 7*u - t*u = -1615. Is 19 a factor of u?
True
Suppose 5*f = 4*q + 12 + 10, 5*f = -q + 32. Let a be (-8)/(-2) - (-1200)/f. Suppose -3*h + a = h. Is h a multiple of 51?
True
Does 64 divide -6*((-33)/9*199 - 30/10)?
False
Suppose -4*b + 0*o = -4*o - 3924, -b = 5*o - 987. Suppose -8*r + 490 = -b. Is r a multiple of 9?
False
Let m = 1554 + -1023. Is m even?
False
Suppose 2*o - 18 = 3*n, n + 16 = -5*o + 9*o. Suppose 17*d = -o*d + 660. Is d even?
False
Let c(f) = 5*f + 20. Let m be c(-4). Suppose m = -263*g + 271*g - 12264. Is 68 a factor of g?
False
Let n = 207 + -186. Is (0 - -47) + n/21 a multiple of 12?
True
Let i = -6397 - -12304. Is 51 a factor of (i/11)/(-1 - -2)?
False
Let o be ((-6)/(-15))/(2/(-50)). Let r be ((-4)/3)/(o/45). Let u(s) = s**2 + 7*s + 7. Is 17 a factor of u(r)?
True
Suppose -5*a - 23 = -4*z + 85, -2*z + 4*a = -60. Suppose -3654 = -8*x + z*x. Let q = -154 - x. Does 7 divide q?
False
Suppose -3*x + z = -6*x + 7955, -3*z = 3. Is x a multiple of 13?
True
Let y be (1 - (-5)/(-1))*-988. Suppose 0 = 22*f - 74*f + y. Is f a multiple of 38?
True
Let l = -78 - -46. Let w = l - -38. Suppose -5*h + 440 = w*h. Does 8 divide h?
True
Let u = 59 + 16. Is 3 a factor of (2 + -1)/5 + 7935/u?
False
Let n(d) = 120*d + 950. Does 55 divide n(15)?
True
Suppose 52686 + 138481 = 99*r + 12373. Does 7 divide r?
True
Suppose 0 = n + 10 - 12. Suppose -8*y = -4*y + n*m - 554, -5 = -5*m. Does 6 divide y?
True
Let g = 85 + -5. Suppose 20*k - 18 = 17*k. Suppose 2*z = k*z - g. Is 10 a factor of z?
True
Let p(y) = -597*y**3 - 3*y**2 + 2*y + 5. Let f = 11 - 7. Let i(x) = 299*x**3 + x**2 - x - 2. Let k(b) = f*p(b) + 9*i(b). Does 43 divide k(1)?
True
Let t = -1 - -7. Let w(a) = -t*a + 96*a + 3 - 44*a. Is w(1) a multiple of 29?
False
Let i(z) = -16*z - 131. Let g be i(-8). Let v(l) = 75*l**2 - 4. Is 50 a factor of v(g)?
False
Let g(n) be the third derivative of 7*n**6/12 - n**5/15 + n**4/24 + 13*n**3/6 - 148*n**2. Does 22 divide g(3)?
True
Let v = 1 - 2. Let k be -18*(4/6 - v). Let y = -16 - k. Is y even?
True
Suppose 12 = 3*r, -3*s + 28 = s + 5*r. Suppose 2*u + 5*f - 670 = 0, -s*u + 5*f + 634 = f. Is 13 a factor of u?
True
Let p(j) = -j**3 + 5*j**2 + 2*j - 24. Let z be p(3). Suppose 4*n + 479 = 5*n + g, 4*n + 6*g - 1906 = z. Is 10 a factor of n?
False
Suppose 22*k = 19*k + 5*x + 19978, -2*x = 3*k - 19964. Is 64 a factor of k?
True
Let r(o) = 345*o**2 - 23*o - 7. Is 19 a factor of r(-4)?
True
Suppose 22*s - 46 - 64 = 0. Suppose -3*z - 5*y = -180, -s*z - 96 + 396 = 3*y. Does 4 divide z?
True
Suppose 0 = 75*z - 76*z - 364. Let y = -331 - z. Does 24 divide y?
False
Suppose -73*n = -51*n + 66*n - 3175392. Is 62 a factor of n?
True
Let o be (-12)/(-18) + 7/3. Suppose -3*v = -5*w + 25, -18 = -4*w + 13*v - 11*v. Suppose 4*s + a - 165 = 399, -w*s + 282 = o*a. Is s a multiple of 47?
True
Let p be ((-11448)/(-10))/(-2) + 6/15. Let g = 248 - p. Suppose -3*o = o - g. Is 20 a factor of o?
False
Let b(w) be the third derivative of -w**6/360 - 17*w**5/120 - 5*w**4/12 - 8*w**3/3 - 9*w**2. Let k(l) be the first derivative of b(l). Does 27 divide k(-12)?
False
Let j be (1*-3)/((-33)/154). Suppose -110 = 3*n - 47. Is (450/n)/((-2)/j) a multiple of 22?
False
Let y(k) = -23*k**3 + 27*k**2 + 233*k + 13. Is y(-10) a multiple of 13?
False
Let q = -27 + 12. Let c(y) = -3*y**2 - 8*y + 4. Let i be c(-6). Let z = q - i. Is 17 a factor of z?
False
Suppose 8*n + 200 = 3*n. Let x = n - -45. Suppose 4*m + x*f - 3*f = 338, -3*m = 5*f - 250. Is m a multiple of 17?
True
Is 20 a factor of 0 - ((-30 - 16781) + 9/(-1))?
True
Suppose 25*n - 4387 = 5*n + 2453. Is 6 a factor of n?
True
Let r = -9759 + 17936. Is r a multiple of 8?
False
Suppose -529*o = -526*o + 15, 2*v = -3*o + 1563. Is v a multiple of 4?
False
Let x = 9639 - 2532. Is 28 a factor of x?
False
Let s = -2201 + 4433. Is 10 a factor of s?
False
Let o = -622 + 640. Does 6 divide ((-828)/(-15))/2*60/o?
False
Let q(v) = v**3 - v**2 - v. Let a(y) = -4*y**3 - 12*y**2 - 12*y - 10. Let b(f) = -a(f) - 3*q(f). Does 17 divide b(-13)?
True
Suppose 0 = -2*i - 3*m - m + 19324, -2*i + 19336 = m. Is 28 a factor of i?
False
Let u(h) = -46*h**2 + 6*h + 12. Let v(i) = 46*i**2 - 6*i - 13. Let q(j) = 6*u(j) + 5*v(j). Let o be q(-1). Is 3*3/o + 326/5 a multiple of 13?
True
Let l be (-3 - -2 - 2) + 7 - 26. Let m = 24 + l. Suppose 2*j + 2*z = -0*j + 396, -j - m*z + 199 = 0. Is 17 a factor of j?
False
Let k(r) = -r**3 + 9*r**2 - 5*r + 6. Let d = -130 + 138. Does 5 divide k(d)?
True
Let p be 1/2*110 + -1. Let k = p - -49. Let g = -23 + k. Does 10 divide g?
True
Suppose 5*w + 4*m - 447 = 0, -2*w + m + 84 = -w. Suppose -w = -5*v - u + 22, -2*v + 5*u = -22. Does 7 divide v?
True
Let t(o) be the first derivative of 23*o**6/20 - o**5/30 + o**4/12 + 4*o**2 - 4. Let c(i) be the second derivative of t(i). Is c(1) a multiple of 12?
False
Let l be ((-3)/((-3)/(-4)))/(2/31). Let h = l - -185. Does 10 divide h?
False
Suppose -30 = -5*x, 4*x - 44331 - 54993 = -4*a. Is 72 a factor of a?
False
Suppose -78*l + 3*i = -82*l + 76388, -5*l + 5*i + 95485 = 0. Is 13 a factor of l?
True
Let c(m) = -43*m - 401. Does 25 divide c(-55)?
False
Let g be -1 + (-605 + 2)/3. Is 13 a factor of (-7 + 6)/(2 + 405/g)?
False
Suppose -2*q + 57 = 17*q. Suppose 252 = 3*d - 2*f - 2*f, -q*d + 5*f + 252 = 0. Is 14 a factor of d?
True
Let y(l) = l**2 - 34. Let r be y(-6). Suppose 730 = -5*c + 7*c - r*p, p = 2*c - 734. Is c a multiple of 49?
False
Let i(p) = -p**3 + 4*p**2 - 5. Suppose 2*z - 11 = -2*z - k, 5*z - k - 16 = 0. Let j be i(z). Suppose 2*m + 232 = j*m. Does 28 divide m?
False
Let t = 78089 + -42935. Is t a multiple of 21?
True
Let d(p) = p**3 - 3*p**2 + 7. Le