t p = 103285 + -50878. Is 9 a factor of p?
True
Let l = -536 + -140. Let y = 786 + l. Is y a multiple of 10?
True
Suppose 0 = -1534*a + 1519*a + 5490. Is a a multiple of 183?
True
Suppose 0 = -2*y + 5*d + 12228, -4*y + 9*d + 24420 = 5*d. Is 19 a factor of y?
True
Suppose 22230 = 5*g + 2*t + 5720, 5*t + 3275 = g. Is g a multiple of 10?
True
Is 8 a factor of 2885 + 6 + 11/(-1)?
True
Let r = 33 - 30. Suppose -r*w + 0*w = -9, 4*l - 158 = -2*w. Suppose -l = -4*i + 30. Is i a multiple of 3?
False
Let b = 6516 + 1430. Is b a multiple of 54?
False
Let h be (253 - 65)/((-2 - -3)*1). Suppose -a = -3*a + 3*o + h, -a + 92 = -o. Is a a multiple of 32?
False
Let l = -113 + 197. Suppose 0 = -2*t + 2*a + 52, -2*a = -4*t + 18 + l. Suppose -t = -n - 7. Is n a multiple of 18?
True
Suppose 35*h = 20188 + 10017. Does 4 divide h?
False
Suppose -3*a + 3*q = -24306, -a - q + 40510 = 4*a. Suppose 15*f - a = -1037. Is 63 a factor of f?
False
Let v(w) = -w**3 + 43*w**2 + 20*w + 119. Let n be v(43). Let p = n + -108. Does 67 divide p?
True
Let a = -176 + 246. Let m be 14 - (-54)/(66/(-11)). Let c = m + a. Is 25 a factor of c?
True
Let q(z) = -9*z - 14. Let l(a) = 4*a + 30. Let i be l(-8). Let v be q(i). Suppose -v*m = 4*m - 704. Is 22 a factor of m?
True
Suppose -5*u + 4*m = -213, -6*m = u - 10*m - 49. Let g be 2/3 - 98/3. Let y = u + g. Is y a multiple of 7?
False
Does 19 divide (-4 - 21/(-4))*(-4 - -7)*3272?
False
Let j = -16371 + 33898. Is 59 a factor of j?
False
Is 9 a factor of 1 + ((-1929)/6*-7)/((-3)/(-6))?
False
Suppose -3*h = d - 101, 13 = 2*h + 5*d - 76. Let a = h + 835. Does 17 divide a?
True
Suppose -3*x + 29815 = -108*l + 106*l, 0 = x + 5*l - 9961. Does 134 divide x?
False
Suppose o - 2*f = -44, -2*o - 92 = f - 14. Let h = 425 - o. Does 15 divide h?
True
Let c = 2539 - 713. Does 50 divide c?
False
Suppose -644*j - 153862 = -3*l - 642*j, l - 3*j - 51278 = 0. Does 8 divide l?
False
Let i = -7907 + 19145. Does 18 divide i?
False
Let h(m) = -m**2 + 13*m + 5. Let z(d) = d**2 + 5*d + 11. Let i be z(-2). Is 2 a factor of h(i)?
False
Let n(i) be the first derivative of i**3/3 + 13*i**2/2 - 11*i + 9. Let w be n(-14). Is 17 a factor of (-3)/(w + 188/(-62))?
False
Suppose 4*a + 192 = -2*c, -5*a + 2*c - 353 = -113. Is 7 a factor of ((-693)/4)/(60/a + 1)?
True
Let b be (10 + -9)/((-1)/(-4)). Let k(d) = -d**3 + 10*d**2 - 9*d + 11. Does 3 divide k(b)?
False
Is 38 a factor of (-3*(-117490)/120)/((-7)/(-28))?
False
Let j = 73 + -38. Suppose -j = -x - 6*x. Does 11 divide 33/(x/(-40)*-6)?
True
Suppose 0 = o - 6*i - 41160, 16*o - 18*o = 3*i - 82440. Is 101 a factor of o?
True
Let a be (-264)/(-54)*3*15/(-2). Let h = a + 115. Suppose -4*b - 340 = -h*u + b, -4*b = -16. Is 12 a factor of u?
True
Let c(h) = -51*h**3 + 5*h**2 - 63*h - 275. Is c(-4) a multiple of 27?
True
Let o(s) = 176*s + 447. Is o(8) a multiple of 16?
False
Does 21 divide (202/(-3))/(79/(-1185))?
False
Let g(y) = 5*y + 95. Let u be g(-19). Suppose 47*w - 39*w - 5456 = u. Does 14 divide w?
False
Let t be 2/1 + (2 - 1). Let b(k) = -2*k**3 - 3*k**2 + 16. Let a(v) = 3*v**2 + v - 13. Let c(m) = -3*a(m) - 2*b(m). Is c(t) a multiple of 13?
False
Let r(w) = 55*w - 5. Let d be r(-1). Let k = -108 - d. Is 15 a factor of (-1 + -1)*1 - k?
False
Is 32 a factor of (-18)/((9/(-16740)*2)/((-2)/(-8)))?
False
Suppose 4*m - 11 = -7*d + 8*d, -18 = -2*d - 2*m. Let k = -340 + 489. Suppose 0 = d*g - 809 + k. Is 12 a factor of g?
True
Let z be (-11 + -3 + (9 - 3))*8. Let m = 204 + z. Does 7 divide m?
True
Let i(b) = -15*b + 3. Let u be i(-3). Let g = 84 - -2. Let x = g - u. Is 9 a factor of x?
False
Suppose 10542 = 5*d - 6018. Is 48 a factor of d?
True
Let y be (-1)/((-5)/(-35))*1. Suppose -2*w = w - 6. Does 22 divide (-156)/y + w/(-7)?
True
Does 13 divide 52*21/18*(161025/38)/25?
True
Let y(q) = -q**2 + 5*q - 1. Let l be y(2). Suppose l*n + 9 = 179. Let v = 68 - n. Does 34 divide v?
True
Let f be ((-1)/3)/((-1)/(-30)). Does 26 divide (-2 + 62 - f)/((-1)/(-2))?
False
Let v(n) = -n**3 + 19*n**2 - 88*n - 16. Let h be v(10). Suppose 4*s = 2*c + 1106, -5*c + 832 = 3*s - h*c. Does 30 divide s?
False
Let g = 10355 - -2376. Does 11 divide g?
False
Suppose 6*f + 5 = 29. Let g be ((-14)/f - -3)*2 - 8. Does 6 divide 1/3 - 708/g?
False
Suppose 13*r - 24 = r. Let q(v) = 34*v**2 - 9*v + 17. Is 5 a factor of q(r)?
True
Suppose 62*a - 811147 = -132*a + 653747. Is a a multiple of 98?
False
Suppose w = 1 + 6. Let g = w + -507. Let s = g + 727. Does 42 divide s?
False
Let t = 14816 + 1287. Does 247 divide t?
False
Let t(v) = 4*v**2 - 23*v - 17. Suppose -5*f - 3*p + 7*p + 61 = 0, p = 1. Does 40 divide t(f)?
True
Let f be 4/6*3*1. Let r be 110577/465 + (-14)/5. Suppose -f*z + r = 55. Is z a multiple of 30?
True
Is 14962 + -23 - -19 - 26/2 a multiple of 24?
False
Let s(d) = d**2 + 10*d - 64. Let b be s(-15). Suppose -2*x + y = -588, -2*x - b*y + 588 = -6*y. Does 49 divide x?
True
Let t = -2119 + 4501. Is t a multiple of 24?
False
Let p(s) be the second derivative of -12*s**3 - 54*s**2 - 105*s. Does 5 divide p(-3)?
False
Suppose -3*l + 17 = -d, -5*l + 22 = d - 1. Suppose -4*t = -4*g - 92, -3*t = -l*g - 46 - 15. Does 9 divide t?
True
Let f(t) = t**3 - 8*t**2 + 4*t - 27. Let q(j) = -4*j + 51. Let z be q(10). Does 19 divide f(z)?
True
Suppose 2*p = c + 2884 + 8440, -5*c + 22620 = 4*p. Is p a multiple of 5?
True
Let p(j) = 3*j**3 - 7*j**2 + 3*j + 3. Let x be p(2). Suppose x*v - 1261 = 3159. Does 88 divide v?
False
Is 34 a factor of (-969)/114*-36*11?
True
Let u(a) = 72 - 487*a + 289*a + 201*a. Let o = 3 + -11. Is u(o) a multiple of 12?
True
Let m be 342/4*(1 + -11). Let f = m + 1965. Is 15 a factor of f?
True
Suppose -5*h - 5*s = 0, -5*h = -s + 5 + 1. Let f be -1 + 2 + (h - 144). Let x = -101 - f. Does 8 divide x?
False
Suppose j + 381 = 4*n, 2*j - 516 = -4*n - 126. Suppose 10*t - 4*a = 7*t + n, t + 4*a = 48. Is 3 a factor of t?
True
Suppose 2*l = -y + l + 8, 3*l = -2*y + 19. Suppose k + 754 = y*v - 2*k, -2*k = 5*v - 764. Is v a multiple of 8?
True
Let t(a) = 3*a - 4. Let r be t(-6). Let z = 499 + -498. Is 37 a factor of 4/22 - (1602/r - z)?
True
Let i(y) = 487*y**2 - 40*y - 56. Does 217 divide i(-7)?
True
Let h = -50296 - -75731. Does 110 divide h?
False
Let w be 4/(-4) - (-2 - 1 - -6). Let k be (-3 - 1 - -1)/(3/w). Suppose 4*u + 3*f = 35 + 112, -79 = -3*u + k*f. Is u a multiple of 7?
False
Suppose 21003 + 192317 + 623770 = 262*q. Is q a multiple of 4?
False
Let g(w) = 3*w**2 - 159*w + 4. Does 43 divide g(-29)?
True
Let p(y) = 26*y**2 - 15*y - 50. Is p(-2) a multiple of 12?
True
Let a be (1 - 2)*(10 + 0). Let s be (-1218)/4 - (-9)/(-6). Is (a/(-15))/((-2)/s) a multiple of 27?
False
Let k(b) = -5*b**3 + 19*b**2 + 2*b + 8. Let z be k(4). Let n(w) = -2*w**2 + 2*w + 1296. Is 72 a factor of n(z)?
True
Suppose 20 + 0 = 5*w. Suppose 0 = -3*k + 4*j + 1228, k + 1229 = w*k - 5*j. Suppose 3*a = -4*p + k, 6*p + 279 = 2*a + 11*p. Does 52 divide a?
False
Let a(c) = -c**3 + 35*c**2 + 17*c + 5. Let k be a(35). Let m = k + -504. Does 32 divide m?
True
Suppose -16 = -4*i, 5*i = -24*r + 26*r - 33632. Does 75 divide r?
False
Suppose -4*i + 16 = 0, -3*n + 0 = -i + 121. Let z be (-13)/(n/18) - 2. Suppose -z*c - c = -630. Does 42 divide c?
True
Let x be ((-60)/(-12))/(10/4). Suppose -x*o + 302 = 2*k, 33*k + 5*o - 609 = 29*k. Is 14 a factor of k?
False
Let b be 9*33*((-36)/9 + 13). Suppose -2*u + 5*v + b = 0, 2*v - 8 + 2 = 0. Does 14 divide u?
True
Let y = 7066 - 6355. Does 2 divide y?
False
Let y = 164 + -100. Is (-80)/y - (-101)/4 a multiple of 3?
True
Let z be ((-3)/6)/(2/844). Let n = z + 645. Does 62 divide n?
True
Let v(g) = -17*g**2 + 1148*g - 10. Does 26 divide v(59)?
False
Let n = 3537 + -3372. Does 37 divide n?
False
Suppose -4*n + 3*n - 3*t = -113, -n + 111 = 4*t. Let k = n - -507. Suppose -4*l = -k - 18. Is 23 a factor of l?
True
Let a(s) = 13*s - 6. Let t be a(2). Suppose 5*n - 5*l + 36 = -29, -2*n - l = t. Does 2 divide (-3710)/(-77) + 2/n?
True
Suppose -h = 3*l - 1989 - 3470, -27159 = -5*h + 2*l. Does 10 divide h?
False
Let s(k) = 1232*k + 7177. Is 15 a factor of s(26)?
False
Let o = 34 + 68. Suppose -2*v + 5*y - o = 0, -v - 42 = 2*y - 0*y. Is 4*(-5)/15*(v + 1) a multiple of 12?
True
Let l = -80 - 170. Let c = 279 + l. Is 10 a factor of c?
False
Let m = -4870 - -487