-17*d + 39 = -12. Is h(d) a multiple of 5?
True
Suppose 76*p = 54*p + 49610. Is p a multiple of 9?
False
Let t be (-6)/(-14) + (-12840)/168. Is ((-24)/32)/(1/t) a multiple of 16?
False
Let j(h) = 3*h + 9 - 25 - 8. Let a(x) = 7*x - 48. Let v(f) = 3*a(f) - 5*j(f). Is 26 a factor of v(17)?
True
Let g be (-2156)/21*((-12)/(-8) + -3). Let v = -77 + g. Is 11 a factor of v?
True
Does 175 divide 1/(1 - 5343/5356)?
False
Suppose 3*c + 281120 = 35*c. Suppose 14*p - c = 7*p. Is 96 a factor of p?
False
Suppose 2*p - w - 6603 - 812 = 0, w - 3706 = -p. Does 11 divide p?
True
Let m(v) = -29*v - 10. Let p(c) = -c**3 + 7*c. Let z be p(-3). Suppose 11*u = 8*u - z. Is 16 a factor of m(u)?
True
Let u = -83 - -44. Let w = -39 - u. Suppose w = -6*m - m + 252. Does 12 divide m?
True
Let d(p) = -6*p**2 + 24*p. Let j be d(4). Suppose -4*q + 92 + 188 = j. Is 10 a factor of q?
True
Let q = 106 + -108. Let g be q*((-6)/(-4))/((-12)/(-8)). Does 14 divide 506/9 + g/9?
True
Let k(q) = q**2 - 3*q - 90. Let c be k(-8). Let n(d) be the third derivative of 3*d**5/5 - d**4/24 - d**3/3 - d**2. Does 25 divide n(c)?
False
Let o(b) = 8*b**2 - 3*b + 24. Let n = 92 + -97. Let r be o(n). Let l = -122 + r. Is l a multiple of 21?
False
Let x be (6 + 0)/(26/13). Let w(p) = -3*p**3 + 2*p**2 + 9*p + 32. Let s(a) = 2*a**3 - a**2 - 5*a - 16. Let t(j) = x*w(j) + 5*s(j). Does 16 divide t(0)?
True
Let s(z) = 4*z - 12. Let l be s(3). Suppose l = 2*t - p - 147, 3*t - 3*p = -2*t + 367. Let y = -42 + t. Is 8 a factor of y?
True
Let d = 5309 - 4385. Does 12 divide d?
True
Let d = -13780 - -8131. Does 20 divide d/(-84) - (-3)/(-12)?
False
Let u = -1023 - -8514. Is 227 a factor of u?
True
Let n(v) = 2*v - 18. Let u be n(15). Let m be 1 - 1 - (-18 + (-1 - -5)). Suppose m*p - 244 = u*p. Is 13 a factor of p?
False
Suppose 0 = 20*v - 25*v + 17*v - 74160. Is v a multiple of 15?
True
Let u be (0 - (-4)/2) + -96. Let j = 214 + u. Is 5 a factor of j?
True
Let k(w) = w**3 - 6*w**2 + 3. Let x be k(6). Suppose x*q - 6*q = -3*t + 1119, -4*q + 1829 = 5*t. Is 38 a factor of t?
False
Suppose -33*k - 128014 + 180469 = -203856. Does 16 divide k?
False
Let f(a) = 5*a - 4. Let o(d) = -4*d + 5. Let q(c) = -5*f(c) - 6*o(c). Let b be q(9). Let u = -13 - b. Does 3 divide u?
True
Let s(q) = -8*q**2 + 129*q + 17. Let h be s(16). Does 31 divide 1730/14 - h/(-77)?
True
Suppose -2*s + 4*f + 10888 = 0, -s + 21770 = 3*s - 5*f. Is 64 a factor of s?
True
Let k(d) = 2*d - 13. Let b be ((-38)/(-2))/(1 + 0). Let s be b + (1 - (-4 + 9)). Does 6 divide k(s)?
False
Suppose -3*w - 11*w = 210. Let a(b) = 2*b**3 + 30*b**2 - 17*b - 5. Does 21 divide a(w)?
False
Suppose -3*q + 4*c + 353 = 0, 0 = q - 0*c + c - 106. Suppose -154 = 2*z - 3*h - 50, 3*z + 156 = -h. Let i = q + z. Is 6 a factor of i?
False
Let l = 16 - 14. Let y be ((-2)/l + 2)*0. Suppose 3*k = 4*v - k - 112, y = -3*k. Does 7 divide v?
True
Let y(h) = h**3 + h**2 + 15. Let a be y(0). Let f(g) = -21 - 13*g - g**3 - a - 10*g**2 + 28. Is f(-9) a multiple of 7?
True
Let r(o) = -o**2 + 16*o + 23. Let j be r(17). Let h be ((-116)/j - -1) + (-2)/(-6). Let x = h - -135. Is 13 a factor of x?
True
Let m(f) = 1172*f**2 - 33*f - 46. Is 14 a factor of m(5)?
False
Let p(c) = -7*c**3 + 4*c + 1. Let q be p(-2). Let b = -73 + q. Let h = 44 - b. Is h a multiple of 17?
True
Suppose 20*l = -16*l + 27*l + 38457. Does 13 divide l?
False
Suppose -5*i + 20 = 0, 0 = -523*o + 522*o - 2*i + 62493. Does 54 divide o?
False
Suppose -137*s = -31*s - 1398776. Is s a multiple of 73?
False
Let b(w) = 3 + w + 135 + 0*w. Suppose 0 = 8*n + 80*n. Does 40 divide b(n)?
False
Let v = 765 - 605. Is 4 a factor of v?
True
Suppose -3*q = -4*p + 999, -2*p + 468 = -2*q - 30. Suppose s - 113 = 4*d + 7, p = 2*s - 2*d. Does 32 divide s?
True
Let o be 21*-2*((-22)/(-12))/(-1). Suppose -23*d = p - 24*d - o, -5*p + 409 = d. Does 9 divide p?
True
Suppose -4*h + 4*n = -16, -2*n + 6*n = 5*h - 18. Let x be 4/(h - 0/(-5)). Suppose -x*r = -5*z - r + 212, 4*z + 4*r - 160 = 0. Is z a multiple of 14?
True
Let f(o) = 52*o - 1214. Is 17 a factor of f(24)?
True
Let n = 35 + -53. Let l = n - 47. Let u = l + 87. Does 22 divide u?
True
Let g be 3/2 + (-2)/(-4). Suppose g*v = 8*v - 24. Is 10 a factor of 3/(v - 7)*-39?
False
Let t = 1085 - 504. Let v be (t/(-14))/(1*(-1)/2). Suppose -264 = -9*r + 6*r - 2*j, j = r - v. Is r a multiple of 24?
False
Suppose 88*n + 70390 - 1211886 = 7344. Is n a multiple of 80?
False
Let v = -7 - -12. Suppose 49 = 8*z - 7*z + p, -z + v*p + 31 = 0. Suppose 0 = k - z - 8. Does 6 divide k?
True
Let i be (7464/(-48))/((-2)/(-4)). Let j = -143 - i. Is 8 a factor of j?
True
Let v = 367 - -2007. Is 4 a factor of v?
False
Let z = 59 - 44. Suppose -13*a - 824 = -z*a. Is 31 a factor of a?
False
Suppose -2*k = g - 9, -9*g = -7*g - 6. Let n(z) = 23*z - 13*z**k + 30 + 17*z**2 + 32*z**3 - 18*z**3. Does 25 divide n(-15)?
False
Suppose 0*v = -2*j + v - 339, 354 = -2*j + 4*v. Let r = j - -329. Is 17 a factor of r?
False
Suppose -23184 = -2*u - o, -42 = -2*o - 26. Is 7 a factor of u?
False
Suppose -3*v + 59 = 5*z, -5*z + 7*z - 38 = -2*v. Let x be (v/(-36))/((-2)/(-4)). Let f(b) = -18*b - 1. Is f(x) a multiple of 4?
False
Let w be (2/4)/((-3)/(-114)). Let n = w + -16. Suppose 2*j = 2*h + 186, -5*h = n*j - 7*j + 373. Is j a multiple of 23?
True
Let q(l) = l**2 + 8*l + 14. Let u be q(-6). Let x be ((-4)/(-10))/(1/265). Suppose 0*d - 4*d = u*v - 98, -5*d + x = -3*v. Does 4 divide d?
False
Let g = 889 + -1649. Suppose 13*c = -54*c + 804. Is 7 a factor of g/(-57)*c/10?
False
Let g(o) = 4*o - 90. Let k be g(23). Suppose 3*i + h - 454 = 389, -566 = -2*i - k*h. Is i a multiple of 35?
True
Let x(q) = 345*q**3 + 4*q**2 - 8*q + 4. Is x(1) a multiple of 69?
True
Suppose 2*p + o - 15 = 0, 3*p + 2*o - 14 = 11. Suppose h + p*f = 6*h - 1725, 0 = 4*h + 5*f - 1398. Does 5 divide h?
False
Let f(i) = i - 2. Let n be f(4). Suppose -n*x = 25 - 53. Is x a multiple of 2?
True
Let q(b) = -b**3 + 10*b**2 + 13*b - 9. Let h be q(11). Let l(s) = -s**2 + 15*s + 8. Let t be l(15). Let x = t + h. Does 3 divide x?
True
Let k be 2/4*2*1. Let a(u) = u**3 + 18*u**2 - 15*u + 179. Let r be a(-19). Suppose -2*h + r = -4*m - 57, -m = k. Is 26 a factor of h?
True
Suppose 30 = 201*b - 196*b. Does 15 divide b - -6*(-166)/(-4)?
True
Is 41 a factor of (-3 + -530)*(-22 - (-36)/6)?
True
Suppose -m - 5*h = -4027 + 627, h + 17104 = 5*m. Does 10 divide m?
True
Let u(d) = -d**2 + 17*d - 13. Let g(x) = x + 44. Let l be g(-37). Does 7 divide u(l)?
False
Let i be (-5 - (-2)/1) + 3. Let q(b) = 21*b - 31 + i*b + 16. Does 15 divide q(5)?
True
Let n be 6/14 + 3127/(-371). Is ((n + 7)*-159)/3 a multiple of 39?
False
Let o(h) = 9*h**2 + 81*h + 793. Does 18 divide o(-10)?
False
Let n = 14552 - 1602. Is 70 a factor of n?
True
Let k be (-1)/(2 - (-67)/(-34)). Let m = k + 49. Does 11 divide (6/m)/(3/(-1980)*-3)?
True
Suppose 12*q + 47137 - 335834 = 113195. Is 313 a factor of q?
True
Suppose 0 = 3*h - g - 0*g - 386, 2 = 2*g. Let s = h + 119. Is 9 a factor of s?
False
Suppose -5*d + 21441 = 3*a, -135*d + 137*d = -5*a + 8603. Is 102 a factor of d?
True
Let r(b) = b**3 + 6*b**2 + 4*b + 8. Let g(n) = -n + 3. Let v be g(9). Let t be r(v). Does 24 divide (1 - (-20)/t)/((-3)/1668)?
False
Let f(m) = m + 50. Let s be f(-45). Let n(p) = 32*p + 96. Is n(s) a multiple of 16?
True
Let t(n) = 2*n**3 - 10*n**2 - n - 9. Let g(l) = 2*l**3 - 9*l**2 - l - 8. Let q(x) = -5*g(x) + 4*t(x). Let b be q(5). Let c = b + 224. Is c a multiple of 12?
True
Suppose 42*z - 50*z - 4*k = -24128, -3*z + 4*k = -9004. Is z a multiple of 9?
False
Let f(g) = 11*g + 11. Suppose 0 = y - 1, -2*h - y + 25 = 2. Is f(h) a multiple of 47?
False
Let t = 41 - 39. Suppose -l - 2*j = -15, -5*l - t*j + 10 = -5*j. Suppose -l = 2*h + 3*h, 0 = -i + 3*h + 141. Is 12 a factor of i?
False
Let m(c) = 66*c + 11. Let o be m(-16). Let r = o + 1913. Is 31 a factor of r?
True
Does 142 divide -3 + (3524/10)/(4/50)?
True
Suppose 0 = -4*s + 5*h + 14959 + 27270, 2*s = 2*h + 21114. Is 32 a factor of s?
False
Suppose -5*v + 3*h - 54 = 0, 22 = -5*v - 4*h - 46. Does 5 divide v*(4 - 434/21)?
True
Let f(j) = 766*j - 8734. Does 22 divide f(12)?
False
Suppose 2*i + 8*y = 5*y + 2312, -4558 = -4*i + 5*y. Is 2 a factor of i?
False
Suppose 73*p = -57*p + 1835600. Is p a multipl