pose 9*i + 3 = p*i. Suppose 83 = 4*a - 2*a - i*o, -3*a = -2*o - 122. Is a a multiple of 8?
True
Let y be (-2)/10 + 90699/(-105). Let j = y + 1157. Does 14 divide j?
False
Does 4 divide 1269 + -1 + -14 + 56/8?
False
Let r(s) = 7*s**3 - 58*s**2 - 8*s + 1. Is 89 a factor of r(12)?
True
Let y = 39459 + -20769. Is y a multiple of 10?
True
Suppose 21202 = -8*t + 61186. Suppose -47*g + t = -26*g. Is 7 a factor of g?
True
Let o(d) = d**3 - 33*d**2 - 70*d - 21. Let n be o(35). Is (46 + n)*12/2 a multiple of 30?
True
Suppose o - 4*c = 344, -13*o = -18*o - c + 1825. Let a = 23 + o. Is 16 a factor of a?
False
Let i(p) = -p**3 - 16*p**2 + 49*p - 32. Is i(-19) a multiple of 2?
True
Suppose -5*a + 4*z + 27 + 171 = 0, -132 = -3*a - 2*z. Let j = 151 + -145. Suppose a = j*h + h. Is h a multiple of 6?
True
Let q(d) = 10*d + 500. Is 5 a factor of q(-32)?
True
Suppose 1746 = -3*n - 4*m, 4*n - 1163 = 6*n + 3*m. Let j = n + 1302. Does 18 divide j?
False
Let l be (-5 - (-52)/6)/(3/9). Suppose -6*n + 37 = -l. Suppose -24*i + n*i = -320. Is i even?
True
Suppose -44*n = -15*n - 98136. Does 9 divide n?
True
Let q(k) = -k**3 - 8*k**2 + 66*k + 143. Is 5 a factor of q(-16)?
True
Let b = 17376 - 8598. Is b a multiple of 19?
True
Suppose 961810 = -73*k + 4256738. Is k a multiple of 14?
True
Suppose -93 + 12 = -9*y. Suppose 32 = -k + y*k. Suppose -t - 136 = -v - k*v, 4*v - 104 = -4*t. Is 2 a factor of v?
False
Suppose n + 16*g - 14*g + 4 = 0, -2 = 4*n + g. Suppose -2*s + 525 + 121 = n. Is 33 a factor of s?
False
Suppose -59400 = -999*k + 963*k. Is 10 a factor of k?
True
Suppose 2 + 2 = 2*s + 2*w, -4*w - 4 = 0. Suppose 0 = -5*n - s*t + 348, 0*n + 4*t = 5*n - 376. Let f = 124 - n. Is f a multiple of 19?
False
Let a(w) = -w**2 - 3*w + 4. Let h be a(-5). Let q = 12 + h. Is (q/5)/((-24)/(-800)) a multiple of 20?
True
Suppose -23*i + 830 = -25*i. Let a = -196 - i. Suppose 0 = 6*k - a - 33. Does 14 divide k?
True
Let h(u) = 3438*u - 11424. Is 48 a factor of h(8)?
True
Suppose 376 = -8*m + 4*m. Let v = m + 202. Suppose 0 = a + 8*a - v. Is a a multiple of 12?
True
Suppose -294 = x + 3*f + 2*f, 0 = -5*x - 4*f - 1449. Let d = x - -413. Suppose -5*r - n + 601 = 0, r + 6*n = 2*n + d. Is r a multiple of 30?
True
Let g = -87 + 93. Suppose -5*y + 2*n + 2970 = 0, 7*n - g*n - 1188 = -2*y. Is 18 a factor of y?
True
Let q(r) = 3*r + 53. Let b be q(-10). Let j = 104 + b. Suppose -2*l + 6*l - c = j, -l = -5*c - 27. Is 8 a factor of l?
True
Let g be 20/(-8)*(-98)/(-5). Let f = g - -837. Is f a multiple of 17?
False
Suppose 4*n = -4*f + 6*f + 83728, -6*f = 4*n - 83696. Does 10 divide n?
True
Let x(f) = -f**3 + 29*f**2 - 30*f + 37. Let q be x(28). Let p = 316 - q. Suppose 3*h - p = 25. Is h a multiple of 24?
True
Let v = 761 - 749. Let o(p) be the third derivative of p**6/120 - 3*p**5/20 - p**4 + 7*p**3/6 + p**2. Does 32 divide o(v)?
False
Suppose 0 = -1222*v + 1249*v - 294948. Is v a multiple of 26?
False
Suppose -1713 = 5*x + 632. Let s = 859 + x. Is 78 a factor of s?
True
Let o(j) = 151*j**3 - 2*j**2 - 2*j - 1. Let z be o(-1). Let a = 387 + z. Does 47 divide a?
True
Suppose 4*i - x = 2591, -5*i + 2*x = 828 - 4063. Let f = 1464 - i. Does 62 divide f?
False
Suppose -134*z - 161143 = -84*z - 67*z. Is 73 a factor of z?
False
Suppose -11*s - 13*s + 822816 = 8*s. Does 221 divide s?
False
Suppose 3*p - 2910 = 2*y, -p - 411*y + 413*y + 978 = 0. Is 6 a factor of p?
True
Does 34 divide 25215/(-123)*(-191)/5?
False
Let c be (-8)/(-6) + (-124)/12 + 9. Suppose c = 31*v - 50*v + 684. Is 9 a factor of v?
True
Let d(x) = 43428*x**2 + 30*x + 30. Is 53 a factor of d(-1)?
False
Suppose -37 - 59 = 4*k. Let n be 20/8*k/15. Is n/(-20) - (-299)/5 a multiple of 12?
True
Let s(j) = 7*j**2 + 4*j + 1. Suppose -17 = -3*o + 5*c + 5, 0 = 5*o + 3*c - 14. Let a be s(o). Let w = a - 64. Is w a multiple of 8?
False
Suppose -4*q + 70*c - 71*c + 9053 = 0, 0 = 4*q + 3*c - 9047. Is 8 a factor of q?
True
Suppose 2*j + 171994 = 4*x, -2*x + j - 2*j + 85991 = 0. Is 19 a factor of x?
True
Let p = -49 + 53. Suppose -2*v = 3*o - 979, -3*v - 1024 + 2465 = -o. Suppose 2*z - 5*z - p*b + 356 = 0, 2*b + v = 4*z. Is 30 a factor of z?
True
Suppose 4*q = v + 13120, 3*q - 2*v - 8181 - 1654 = 0. Is q a multiple of 13?
False
Let g = 662 - 354. Suppose 4*z + m + 4*m - 588 = 0, -m - g = -2*z. Suppose -4*v + 5*w + z = -15, 0 = -3*v - w + 111. Is v a multiple of 11?
False
Suppose 529*l = 445*l + 677237 + 90859. Is l a multiple of 11?
False
Is ((-5352)/(-4) - 0)*4 a multiple of 53?
False
Let c(t) = 20*t**2 - 9*t - 5. Let v(i) = -20*i**2 + 9*i + 5. Let y(q) = 4*c(q) + 3*v(q). Does 13 divide y(-2)?
False
Let k(f) = -2*f**2 + 29*f + 5. Let a be k(13). Does 17 divide (a/(-2))/((-12)/102)?
True
Let j = 23 - 15. Let c be j/6 + (-52)/3. Let n(x) = -2*x - 9. Is 4 a factor of n(c)?
False
Let a be 10/4*(3 + 22/(-10)). Suppose 4*h - a*h - l = 5, 0 = -4*l - 4. Suppose -3*r = -2*w - 489, -3*w - 653 = -2*r - h*r. Is r a multiple of 30?
False
Let s(m) = m**3 - 15*m**2 + 14*m + 2. Let k be s(10). Let a = 1612 + k. Is 68 a factor of a?
False
Let c(b) be the first derivative of 32*b**3/3 - 9*b**2 + 8*b - 26. Is c(4) a multiple of 8?
True
Let q be (33 + 7)/((-10)/(-55)). Suppose 4*x = -a + 6*a - 1205, 0 = -a + 5*x + q. Does 28 divide a?
False
Suppose 107*x = 44*x + 196812. Is 22 a factor of x?
True
Let j be (4/5)/(38/475). Suppose -j = 7*k + 11. Let z(b) = -6*b + 14. Does 32 divide z(k)?
True
Suppose 3204*g = 3193*g + 61380. Does 144 divide g?
False
Let l(j) = 8*j**2 - 11*j + 33. Let p be 42/21*1*4. Is l(p) a multiple of 65?
False
Let a(s) = -s**3 + 5*s**2 + 27*s - 15. Let k be a(8). Does 19 divide (-16)/12 - (-8391)/k?
True
Let p(h) be the third derivative of 0 + 1/2*h**4 + 1/3*h**3 + 1/12*h**5 + 0*h - 36*h**2. Is 45 a factor of p(7)?
False
Does 172 divide ((-10)/(27 + -7))/((-2)/10644)?
False
Is (-2)/18 + (-5512)/936 + 2166 a multiple of 15?
True
Let q(i) = 5*i + 12 + 19 - 1 - 3*i. Let u be q(-12). Suppose -633 = -u*c - 33. Does 14 divide c?
False
Let k(s) = 28*s - 242. Let y(d) = 9*d - 77. Let l(u) = 6*k(u) - 19*y(u). Suppose -2*a - 25 = 3*a. Does 13 divide l(a)?
True
Let q(z) = 41 - 169 + 55 + 19 - 8*z. Does 18 divide q(-12)?
False
Let z(f) = f**2 - 8*f + 20. Let b be z(4). Suppose 1164 = b*g - 180. Is g a multiple of 71?
False
Suppose -35*x - 11786 = -3*j - 39*x, -2*x + 11788 = 3*j. Is j a multiple of 47?
False
Suppose -21*z - 72441 = -305289. Suppose -36*g = -48*g + z. Does 33 divide g?
True
Let h(d) = -87*d + 302. Does 3 divide h(-2)?
False
Suppose -39*j - 6514 = -7630 - 11052. Does 6 divide j?
True
Suppose -34*w = 32*w - 33*w - 137016. Is 173 a factor of w?
True
Let s = -714 - -710. Is (-18)/(-3) - 8172/s a multiple of 14?
False
Suppose 0 = -26*q + 1774 + 7762 - 1164. Is q a multiple of 23?
True
Suppose 8013*u - 7996*u = 1836. Is u a multiple of 2?
True
Let v = 285 - 831. Let j = v + 560. Is 6 a factor of j?
False
Suppose -2*y - 8 = a, -2*y - 5 = 3. Let v be 9*26 + (a - 2). Suppose -3*f = f - v. Does 15 divide f?
False
Suppose 0 = -4*w + 3*j + 34596 + 55529, -5*w - 2*j = -112662. Does 203 divide w?
False
Let z = 19929 + -15865. Is z a multiple of 136?
False
Let y = -19389 + 19490. Is y a multiple of 20?
False
Let t be 7333 - -4 - (2 + -5). Suppose -3*w + 1 = -4*r - 14, -4*w - 12 = 0. Does 12 divide t/35 + r/(-21)?
False
Let g be 1*(4/14 + 299/(-91)). Let i be 3*(g + 510/(-9))*-1. Let b = -109 + i. Is b a multiple of 35?
True
Is 3 a factor of 27/360*-4 + 7/70*14983?
False
Let p = 118 + -98. Let d(m) = 4*m + 1. Is d(p) a multiple of 4?
False
Suppose 0 = -2*m - 5*p + 9*p + 390, -594 = -3*m + 3*p. Let a = m + -18. Suppose -t - 91 = -2*k, -a = -5*k - 5*t + 22. Does 4 divide k?
True
Let u(d) = 34*d**3 + 3*d**2 + d - 16. Let c be u(-3). Let g = c + 1320. Is 5 a factor of g?
True
Let t be ((-3)/(-6))/(2*(-3)/1740). Let q = t + 150. Suppose 7*r + q*r = 684. Is 19 a factor of r?
True
Suppose 2*m + 5*s - 45 = 0, m + 3*s - 21 = 2*s. Let c be 8/(-2)*(-25)/m. Suppose 4*g + 26 = 2*j + g, 0 = -5*j + c*g + 70. Is j a multiple of 16?
True
Let u be (-9)/12*-8*(-4)/(-12). Suppose -2*s + u*p = -2*p - 388, -s + 194 = 4*p. Is 14 a factor of s?
False
Let t = -402 + 450. Is 9 a factor of ((-264)/t)/((-2)/204)?
False
Let j be 2 + 1/(1/78). Let r be j/12*(-36)/(-30). Suppose -4*w + r*w - 10