w?
False
Suppose -5*c = -4*c + 1. Suppose -6*p = -p - 2*f - 29, 3*f = 4*p - 19. Let y = p + c. Does 6 divide y?
True
Suppose 4*n + 5*m = 61603, 5*n - 76991 = -30*m + 28*m. Does 9 divide n?
False
Is 63 a factor of -5*90/(-35)*(-82320)/(-45)?
False
Let x(l) = 281*l**2 + 59*l - 86. Does 302 divide x(15)?
True
Let q(r) be the third derivative of -r**6/120 - r**5/4 - r**4 - 4*r**3/3 + 36*r**2 + 2*r. Does 4 divide q(-14)?
True
Let d(o) be the third derivative of o**5/60 - 7*o**4/24 + o**3 - 3*o**2 - 21*o. Suppose 4*x = -0*x - 60. Does 14 divide d(x)?
True
Suppose 107*x + 59232 = 22*x + 158682. Is 26 a factor of x?
True
Suppose 579 = 3*g - p - 103, 3*g - 2*p = 680. Is g a multiple of 6?
True
Let x be ((-860)/(-1))/((-5)/(-20)). Let p = x - 2390. Suppose -13*b + p = -6*b. Is 30 a factor of b?
True
Let u(l) = 89*l**2 - 87*l + 165. Is u(2) even?
False
Let y = 52 - 43. Let o be -1 + -3*(-12)/y. Suppose -6*h - o*h = -216. Is 9 a factor of h?
False
Suppose -999 = -11*y + 244. Suppose -d = -436 + y. Suppose -d = -3*p + 181. Is p a multiple of 24?
True
Suppose -2*j + 2*n + 14 = 0, -2*n - 9 = 2*j - 3. Suppose 3*l = 8 - 14. Is 11 a factor of (j/3)/(l/(-177))?
False
Suppose -5*s + 1656 + 624 = 0. Let w = s - -969. Is 89 a factor of w?
False
Let v(x) = -x**3 - 3*x**2 - 3*x + 3. Let m be v(-2). Let z(i) = -i + 0*i - 6*i - 12 - m*i. Is 2 a factor of z(-2)?
True
Let r = 288 + -268. Suppose 0 = 3*o + v - r, 0 = -o + 2*v + 10 + 6. Is o a multiple of 3?
False
Let b = -16 - 35. Suppose 2*d - 65*d - 445 = 2201. Let x = d - b. Is 3 a factor of x?
True
Let i be (-1366)/(-1) - (-13 + 4)/(-9). Suppose -c - 4*c + i = 0. Does 16 divide c?
False
Suppose f + 4*f + 5*i - 5 = 0, -f - 3 = -3*i. Suppose 4639 = 4*o - 5*b, -o - 3*o - 4*b + 4612 = f. Is o a multiple of 30?
False
Suppose 216*l = -452678 + 9004116 + 2846234. Is 11 a factor of l?
True
Suppose 24*l = 2210 + 694. Suppose -185 = -5*r + 5*x, -2*r - r + 5*x = -l. Is 14 a factor of r?
False
Suppose 31*j + 18*j - 23*j - 463970 = 0. Does 6 divide j?
False
Let u(t) = t**2 - 33*t + 48. Let x be u(25). Let q = -141 - x. Does 11 divide q?
True
Let f be ((-1)/2)/(1/6*-1). Suppose -5*c - 4*v = -v - 279, f*c - 4*v - 150 = 0. Is 27 a factor of (0 - c)*2/(-2)?
True
Let k = -51 - -53. Let j(b) = 0*b**2 - 2*b**k + 38 - 11*b - 31. Does 12 divide j(-5)?
True
Let f(t) be the third derivative of -41*t**4/24 + 15*t**3/2 - 4*t**2. Let j(s) = -20*s + 22. Let a(d) = -2*f(d) + 5*j(d). Is 13 a factor of a(-5)?
False
Let s = -6 + -4. Let n be (130/(-10))/((s/4)/5). Let z = n - -1. Is 11 a factor of z?
False
Let z = -1581 - -1586. Let b = -15 - -28. Let u = b + z. Is 9 a factor of u?
True
Is 2 + 5 + 1 + -2 - -2990 a multiple of 7?
True
Let c(i) be the third derivative of -9*i**4/8 - 2*i**3/3 - 17*i**2 + 2. Suppose o + 3 = -1. Is 35 a factor of c(o)?
False
Is -20*2/12*(0 + (-10260)/25) a multiple of 4?
True
Suppose -2*b - 72 = -5*b. Let q be (-1 + (-6 - -1))*(-56)/b. Let z = q - -6. Is 20 a factor of z?
True
Suppose -83*i + 195*i = 85120. Is i a multiple of 8?
True
Suppose 21*n = -283*n + 585200. Is 25 a factor of n?
True
Let f(d) = -9*d - 22. Let q(s) = -3*s + 1. Let x(l) = -f(l) + 2*q(l). Is x(0) a multiple of 6?
True
Let q(t) = 36 + 10*t - 16 + 31 + 5 - 5*t. Does 3 divide q(2)?
True
Suppose 0 = 3*j - 49 - 8. Let n = 79 - j. Suppose n = 3*d - 21. Does 27 divide d?
True
Suppose -597240 = 13*t - 66*t + 25*t. Does 21 divide t?
False
Let g = 612 - 609. Let u(r) = 93*r**2 - 25*r + 3. Is u(g) a multiple of 17?
True
Suppose g + 0*g - 5 = 0. Suppose 4*s - m - 2*m = 20, 5*m + 25 = g*s. Suppose -c - s*j = -42, -c + 3 + 33 = 3*j. Is c a multiple of 21?
False
Let y = 8296 - 5177. Is y a multiple of 10?
False
Suppose 386 = -9*x + 116. Does 7 divide 15/18*6 - 1*x?
True
Let n = 1804 + -1780. Let r(h) = h**3 + 7*h**2 - h - 3. Let s be r(-5). Let p = s - n. Is 14 a factor of p?
True
Let b(h) be the second derivative of h**5/20 - 11*h**4/12 + 2*h**2 + 13*h. Let o be b(11). Suppose 0 = f + 3*f - o*s - 168, f - 30 = -5*s. Is f a multiple of 8?
True
Let u(s) = 14*s**2 - 6*s - 6. Let r be u(-3). Suppose 603 = -r*z + 141*z. Is 8 a factor of z?
False
Let t(q) = 203*q**2 - 64*q + 4. Is t(5) a multiple of 10?
False
Let q(i) = -2*i + 4808. Is q(-104) a multiple of 88?
True
Let j(a) = 3*a**2 + 47*a + 883. Is j(-33) a multiple of 15?
False
Let o(y) = 20*y**2 + 4*y - 29. Let j be o(6). Let g = j + -292. Is g a multiple of 67?
False
Suppose 0 = -v - 5*w - 21, 3*v = -0*v - 5*w - 13. Suppose -v*n + 14 = -22. Suppose -4*c = -n*c + 320. Is 16 a factor of c?
True
Let d(y) be the third derivative of y**5/10 - 31*y**4/24 + 5*y**3/6 - 8*y**2. Let b be 1 + 9/(-15)*20/(-2). Is d(b) a multiple of 8?
False
Let o(s) = 7*s**2 - 123*s + 403. Is o(-25) a multiple of 91?
False
Let j be (3/(-9))/((-62)/12 - -5). Let n be (5/(-15))/(j/150) - 2. Is 12 a factor of (-133)/(-2) + n/(-54)?
False
Suppose -100*u - 296824 = 118*u - 240*u. Is u a multiple of 2?
True
Suppose -172*i + 166*i + 54 = 0. Is (1 + 723/i)/(28/42) a multiple of 4?
False
Suppose 3*i = 3*k + 3, 0 + 3 = -3*k + 4*i. Let y be 539/11 - (k - 0). Suppose g = 2*v + y, -g - 3*v + 10 + 15 = 0. Is g a multiple of 10?
True
Let a(z) = 16*z**2 + 6*z - 16. Let g be a(-8). Suppose -g = -6*x - 186. Is 43 a factor of x?
True
Let k be 0 - (1 + (4 - 3)). Let c be ((-110)/20)/((0 - k)/4). Does 26 divide ((-2)/c - 0) + 1384/11?
False
Let m be (-21)/2*((-50)/(-15) + 10). Let i = 148 - m. Is i a multiple of 18?
True
Let m = 55149 - 21539. Is m a multiple of 51?
False
Suppose 3*t - 2*t - 460 = -2*y, -3*t - y + 1410 = 0. Is t a multiple of 16?
False
Let l(t) = t**3 + 2*t**2 - 22*t + 25. Let n = -748 - -755. Is l(n) a multiple of 39?
True
Let f(d) = 1957*d - 5. Let g be f(5). Is (g/25)/4*5 a multiple of 13?
False
Let r(t) = t**3 + 19*t**2 + 20*t + 38. Let m be r(-18). Is 27 a factor of (228/(-95))/(m/(-45))?
True
Suppose 0 = -3*l + 2*v + 138291, l + 4*v + v - 46080 = 0. Is 21 a factor of l?
True
Suppose 2*z - 276 = -5*a + 923, 709 = 3*a - 4*z. Let u = a - -1004. Does 24 divide u?
False
Is 100 a factor of (11349/(-97))/(2/(-84)*2)?
False
Suppose 2*u + 78 = -5*o + 3*u, -4*u - 33 = 3*o. Let h = o - -103. Suppose -4*l + 2*n + h + 78 = 0, -3*l + 127 = -n. Is 4 a factor of l?
True
Let s(a) = a**3 - 7*a**2 + 2*a - 2. Let f be (7 - 3) + -3 + 7. Let z be s(f). Is z*1/5 - 18/(-45) a multiple of 16?
True
Let w = 7631 + -2327. Is 8 a factor of w?
True
Suppose c - 10*c = 9. Let g(p) = -4*p + 3. Let t be g(c). Suppose 155 = 5*r + j, -t*j = -4*r - 3*j + 148. Does 8 divide r?
True
Let h be ((-44)/8)/((-1)/2). Let f = h - 29. Is 44 a factor of (27/f)/((-3)/352)?
True
Let w(z) be the first derivative of 81*z**4/4 + z**2/2 - 3. Let s be w(-1). Let f = s - -135. Is 20 a factor of f?
False
Suppose -11*s + 82*s - 2166786 = -123*s. Is 17 a factor of s?
True
Let p be (-21)/(-14)*10/3. Suppose 0 = -p*a + 15, 3*g - 479 - 811 = -3*a. Is 28 a factor of g?
False
Let b(h) = -22*h - 43. Let x be b(-3). Suppose 19*t + 2752 = x*t. Is 16 a factor of t?
True
Let r(m) = -201*m**3 - m - 1. Let y be r(-1). Is 8 a factor of y/4 + 1/((-36)/(-27))?
False
Let c(b) be the third derivative of b**6/360 - b**4/12 + 7*b**3/3 + 2*b**2. Let n(o) be the first derivative of c(o). Does 10 divide n(-8)?
False
Let w = 130 - 121. Let v be 1*177 - (-1 + w - 5). Suppose -q = -v + 42. Is q a multiple of 13?
False
Let c(z) = -935*z - 1989. Is 68 a factor of c(-7)?
True
Let v be 14/(-3)*(-6)/(-4). Let z = v - -13. Is 6 a factor of ((-1)/(-2))/(z/144)?
True
Suppose -9*l + 9246 = -5*w, -4*w + 649 + 351 = l. Does 31 divide l?
False
Let i(z) = 6*z**2 - 22*z + 19. Let m be i(9). Suppose 431 = 3*c - m. Is 29 a factor of c?
False
Let r(o) = -118*o + 7100. Is r(8) a multiple of 162?
True
Let c = -8513 - -19363. Does 155 divide c?
True
Suppose -5*v = -2*n + 12, 0*n + 3*v - 24 = -4*n. Is 3 a factor of (-108)/(-5) - ((-36)/15)/n?
False
Suppose -2*g - 54346 = 20*g - 232326. Is g a multiple of 20?
False
Suppose 62 = 6*l - 4*l - 4*s, -15 = 5*s. Suppose 184 = -d + 4*f, 3*d + 5*f = -l - 578. Is 3/(-4 + d/(-48)) a multiple of 9?
True
Does 11 divide (-316)/237 + (10/40)/(6/31592)?
False
Suppose -4*t - t = -5*a - 20, -3*t - 5*a + 12 = 0. Suppose t*j = 41*j - 14504. Does 8 divide j?
True
Suppose -119*h + 30 = -446. Let w be (-173)/((0 