False
Let l(s) = -s**3 + 8*s**2 + 11*s - 18. Let v be l(9). Suppose 3*h - 5*i + 4*i = 9, -4*h + 3*i + 12 = v. Suppose 0 = -h*o - 3*o + 1152. Is o a multiple of 32?
True
Let a(r) = -r + 324. Is 13 a factor of a(12)?
True
Suppose 5*u - 3*l = -3, 16*u - 20*u + 2*l = 2. Suppose 3*d + 1963 = 4*n + 6*d, u = -n - 5*d + 495. Does 10 divide n?
True
Let s be ((-82)/3)/((-6)/(-45)). Let a = 106 - s. Does 3 divide a?
False
Let b = 51221 - 14884. Does 179 divide b?
True
Let x(s) = s**2 + 40*s - 1383. Is 10 a factor of x(-85)?
False
Suppose -3*i - 1 = r, 5 = -5*i - 0. Suppose r = k + 37. Is 37 a factor of (-8280)/k - 1 - 6/(-14)?
False
Let i = 212 + -102. Let m = i - -151. Suppose -m = -7*u - 2*u. Does 2 divide u?
False
Suppose 2*i - 2019 = -2*m + 7*i, m - 1010 = 3*i. Is 19 a factor of m?
True
Suppose -236*m + 90482 = -119*m + 14900. Is m a multiple of 16?
False
Let f(p) = -p**3 + 8*p**2 - 6*p - 7. Let j be f(5). Suppose 19*d = -1371 + 1447. Suppose d*n - 78 = j. Is 16 a factor of n?
False
Let k(r) = 2*r + 29. Let w be k(-25). Let l = -13 - w. Let m(y) = -y**2 + 13*y - 18. Is 2 a factor of m(l)?
True
Suppose 2*t + 28 = 38. Suppose 0 = -t*y - 5*c + 3920, -2*y + c = -c - 1572. Is 12 a factor of y?
False
Let c(a) = 2*a**2 - 30*a - 13. Let f(i) = -i**3 - 9*i**2 - 16*i. Let r be f(-6). Let z = r + 30. Does 18 divide c(z)?
False
Let r be ((-357)/9)/((-5)/15). Suppose 3*g = 4*v - r, 0*v + 5*g - 79 = -2*v. Does 32 divide v?
True
Suppose 5*t + 47 = -1578. Is (-12)/10*t/10 a multiple of 39?
True
Let u(t) = -2*t**3 + 8*t**2 + 13*t - 15. Let z be u(5). Suppose z = r - 3*w - 3 - 193, 5*r = 4*w + 980. Is 7 a factor of r?
True
Suppose -27452 - 2052 = -18*w - 6716. Is w a multiple of 8?
False
Let u(c) = -c**2 + 26*c - 8. Let d = 473 - 462. Is u(d) a multiple of 14?
False
Let f = 5762 + -2387. Does 15 divide f?
True
Let q be (((-448)/(-24))/8)/((-2)/(-6)). Suppose q*x - 1496 = 2844. Is 62 a factor of x?
True
Is (12 - -5946)*(-2)/(-4) a multiple of 138?
False
Suppose -j - 3*j - 164 = 0. Suppose -u = -a + 48, -4*u + 7*a = 6*a + 183. Let x = j - u. Is x a multiple of 4?
True
Suppose -2*j = -3*l - 7*j + 10, -5*j = -10. Suppose l = 3*f - 2*f - 36. Let x = 62 - f. Does 4 divide x?
False
Let l be (-566)/(-6) - 1*(-16)/(-12). Suppose 2*g + 92 = -2*g. Let y = l + g. Is y a multiple of 14?
True
Let c(k) = 6*k + 44. Let b be c(19). Let r = -28 + b. Let i = r - -2. Is 26 a factor of i?
False
Let v(n) = -n**3 - 5*n**2 + 13*n + 2. Let g be v(-7). Suppose -189 + 57 = -4*l. Is 18 a factor of l - (-2 - -1) - (-18)/g?
True
Suppose 7*p - 16 = 173. Let q = p + -22. Suppose 5*m - q*j + 3*j - 724 = 0, -4*m = j - 587. Is m a multiple of 17?
False
Suppose 45*k = 39*k + 2604. Suppose 5*s + 15*g - k = 16*g, -5*s + 2*g + 438 = 0. Is 3 a factor of s?
False
Suppose -4*c + 945 = c. Let u = -1013 - -890. Let m = c + u. Is 5 a factor of m?
False
Suppose -208 = -70*n + 68*n. Suppose 0 = 4*x + 31 + 65. Let z = n + x. Is z a multiple of 17?
False
Let t(b) = 63*b**2 + 2*b - 4. Suppose 0*j + 6 = 3*j. Let v be (-2)/(-6) - (22/(-6) + j). Is 29 a factor of t(v)?
False
Let i = -1069 + 1979. Does 2 divide i/26 - 0*(2 - 3)?
False
Let n be (-2)/3 - (-51)/9. Let u be (136/n)/((-1)/(-5)). Suppose -58*r + 62*r - u = 0. Is r a multiple of 17?
True
Is (-1602)/2670 - (-93986)/10 a multiple of 37?
True
Let r(m) = 8*m**2 - m. Let x be 7 - (-3 + 2)*0. Let a(i) = -i**2 + 9*i - 13. Let b be a(x). Does 3 divide r(b)?
False
Suppose 0*q - 1760 = -8*q. Suppose -4*z + 0*z + q = 0. Suppose 0 = -t - z + 90. Is t a multiple of 8?
False
Suppose -23*k - 2430 = 4*k. Is 3 a factor of (-4695)/k - (1 - 10/12)?
False
Let u be (-10)/(-4) - (-4)/(-8). Suppose w = u*p + 10, p = w - 2*p - 15. Let y = 15 - w. Is y a multiple of 6?
False
Let z(a) = -31*a**3 - a - 2. Let u be z(-1). Is 5 a factor of u/54*-33*-6?
True
Let b = -69988 - -99538. Does 75 divide b?
True
Let d(l) = 2*l**2 - 18*l + 31. Let a(t) = 3*t**2 - t - 2. Let x be a(-1). Does 3 divide d(x)?
True
Suppose -v = -2*k - 33194 + 109793, 4*k - 153233 = -5*v. Is 22 a factor of k?
True
Suppose -863 = -6*s - 3785. Let p = -312 - s. Is p a multiple of 16?
False
Suppose 25*y - 57 = 22*y. Suppose 0 = -7*m + 2*m + 5. Let u = m + y. Does 4 divide u?
True
Let q(a) = -9*a + 22. Suppose 4*t = 3*v - v - 36, -41 = 3*t - 5*v. Does 17 divide q(t)?
True
Suppose -91 = 3*d + a + 37, 3*d - a + 130 = 0. Let p be (47 - 46)/(4/(-284)). Let j = d - p. Does 7 divide j?
True
Let f = -13608 + 23928. Is 24 a factor of f?
True
Suppose -5*n = -4*a + 2, a - 6*n = -4*n + 2. Is a/7 + (440154/(-63))/(-9) a multiple of 16?
False
Let m(b) = 76*b**2 + 49*b - 459. Is m(11) a multiple of 12?
True
Let o(r) = -r**2 + 7*r - 15. Let u be o(4). Does 18 divide (u/2)/((-28)/2688)?
True
Suppose -233*y = -57*y - 5435634 + 561138. Is 16 a factor of y?
True
Let v(o) = -o**2 + 3*o + 10. Let j be v(0). Let u be 49 - (j/(-15))/((-2)/(-6)). Suppose i - 3*s - u = 0, -7*s + 4*s = -2*i + 114. Is i a multiple of 54?
False
Let v be (12043 + 3)*(-2)/(-4). Suppose -5*q - 5*w + 24653 = v, -4*w + 18634 = 5*q. Is 9 a factor of q/85 + (-6)/(-51)?
False
Suppose 0 = 2*y + 3*k - 9765, -19500 = -4*y - 123*k + 127*k. Does 19 divide y?
False
Let u(j) be the third derivative of -j**6/120 - j**5/6 + 11*j**4/24 + j**3/6 + 28*j**2. Let q be u(-11). Is 1*q/(-4) + (-661)/(-4) a multiple of 21?
False
Is ((-24)/4 + 3)*(2 - (-300)/(-18)) a multiple of 4?
True
Suppose 6*a - 7*a - 30 = f, 2*f - 102 = 4*a. Let i be (1/2)/((-1)/4). Is 5 a factor of 18/a*(0 + i + -34)?
False
Suppose -6*y + 3*q = -9*y + 18, 0 = 2*y + 5*q - 18. Is y/(2 - 0) - -311 a multiple of 38?
False
Let n(r) = -5*r - 162. Let k(m) = 7*m + 165. Let f(v) = -4*k(v) - 6*n(v). Does 7 divide f(-30)?
True
Let b = -63 + 72. Suppose u - 4*u + 3*f = -54, u - b = 4*f. Is u a multiple of 4?
False
Let k(z) = -z + 27. Let f = 39 - 19. Let a be 1/((f/(-52))/(-5)). Does 3 divide k(a)?
False
Let d(r) = -7 - 53 - 88*r + 70 - 133. Is d(-7) a multiple of 29?
True
Let v = -16335 - -32431. Is 67 a factor of v?
False
Let g(f) = 3*f**2 + 33 - 43 + 2*f - f**3 - 4*f - 10*f**2. Let r be g(-7). Suppose -r*n + 0*j - 5*j + 79 = 0, -2*j - 107 = -5*n. Is n a multiple of 2?
False
Let u(m) = -3 + 0*m**2 + m**2 - 10 + 12. Let f be u(-2). Suppose 48 = 4*o + f*k, o - 4*k + 6 = -1. Is 3 a factor of o?
True
Let t(u) = -836*u + 10982. Is 38 a factor of t(-17)?
True
Suppose -4*o - 5*s + 53 = 0, -s - 1 = 2. Suppose 16*h + 83 = o*h. Does 40 divide h?
False
Is 12 a factor of 42547 - (-1 - (29 - 13)*1/(-2))?
True
Suppose 7*f = -329 - 280. Let o = 251 + f. Does 41 divide o?
True
Let i(x) = -6*x + 1. Let s be i(-3). Suppose 4*v - s - 13 = 0. Suppose -21 = -h - v. Is h a multiple of 3?
False
Is 38 a factor of (-136 + -8)/(-16) - -4589?
True
Suppose -47582 - 127151 = -79*f + 91576. Does 14 divide f?
False
Let h(r) = 2264*r. Let p be h(-1). Let w be 3/15 - p/5. Let c = -279 + w. Does 21 divide c?
False
Let g(x) = 374*x**2 + 193*x - 931. Is g(5) a multiple of 17?
True
Let f = 94277 + -63696. Is 53 a factor of f?
True
Let l(n) = n**3 - 461*n + 3682 - 3674 + 459*n - 4*n**2. Suppose 5*z - 35 = -5*s + 5, -s + 28 = 5*z. Is 7 a factor of l(z)?
False
Suppose 8121120 = 42*c + 126*c. Is 7 a factor of c?
False
Let f = 70 - 78. Let n(t) = 2*t**2 + 11*t + 12. Does 13 divide n(f)?
True
Suppose -3*l + 41 = -4*u, 4*l - 6*l - 4*u - 6 = 0. Suppose 4*d + l*d = 0. Suppose 5*w + q - 1495 = 0, d*q + 2*q = -w + 308. Is w a multiple of 17?
False
Let i = -37 + 42. Let f = -8 + i. Let m(u) = -5*u**3 - 4*u**2 + 4*u + 8. Is m(f) a multiple of 19?
True
Suppose 4*i = -5*j + 9390, 2*i - 5641 = -3*j + i. Suppose -3*y + 56 = -j. Is y a multiple of 31?
False
Let u be (2 - -45)*(-18 + 1). Let j = -373 - u. Suppose -4*y + 0*y + c = -j, 3*c = 5*y - 529. Is y a multiple of 12?
False
Let c be 5/3*(-24)/(-20). Suppose 4*z - 249 = -z + 2*g, 0 = g + c. Is 5 a factor of z?
False
Is (1376268/36)/((-12)/(-9)) - (-5)/(-4) a multiple of 9?
False
Suppose 0 = -3*h + 4*z + 89970, 3*h = 7*h - z - 119973. Does 233 divide h?
False
Let b(z) = 8*z**2 - 21*z - 71. Let h = -226 - -217. Is 60 a factor of b(h)?
False
Let s(r) be the second derivative of 5*r**4/6 + 5*r**3/6 + 3*r**2/2 + r. Let p = -2195 + 2198. Does 12 divide s(p)?
True
Let k(d) = -10*d**3 - 3*d**2 + 10*d - 6. Let q(v) = 9*v**3 + 4*v**2 - 