5*h - 3*p = -6*h + 424. Is h a multiple of 43?
True
Let i(q) = -2*q**3 + q**2 + 5*q - 10. Let p be i(3). Does 12 divide (-2754)/(-90)*p/(-6)?
True
Let z be (-121)/(-847) - (2 - 349/7). Let w be (-1)/(2/122*-1). Let o = z + w. Is o a multiple of 27?
False
Suppose -3*g - 3*d = 69, -73 = 3*g + d - 12. Let z = 168 + g. Is z a multiple of 14?
False
Suppose -13*w + 34 = -96. Suppose w*h + 26796 = 38*h. Is 29 a factor of h?
True
Let w(z) = 5*z**2 - 18*z + 435. Let o be w(7). Let c be (-1*2)/(4/758). Let u = o + c. Does 35 divide u?
True
Let a(n) = n**3 + 18*n**2 - 24*n - 90. Let x be a(-19). Suppose 5*y = -2*h + 2584 + 2269, -2918 = -3*y + x*h. Is 13 a factor of y?
False
Let i be (-1 - 140/(-25)) + 10/25. Let d(r) be the third derivative of 5*r**4/12 + 5*r**3/3 + 7*r**2. Is 30 a factor of d(i)?
True
Is (-5 + 1341/36)/((6/224)/1) a multiple of 86?
True
Suppose 0 = -3*o + 3*d + 74616, -2*o + 339*d = 335*d - 49760. Is o a multiple of 70?
False
Suppose -8*m + 19321 + 14037 = 11862. Is m a multiple of 5?
False
Is 55 a factor of 360/(-2)*(-8)/(-140)*(-127 - -85)?
False
Suppose 53*m - 639 = 1216. Let z be 0/(-1) + -3 - 25. Is 8 a factor of ((-150)/m)/(3/z)?
True
Let z = 321 - 130. Suppose z = m - 5*o, -4*m + 4*o + 997 = m. Does 41 divide m?
False
Suppose -h + 1498 = a, h + 16*a - 1526 = 19*a. Is 13 a factor of h?
False
Is (((-2129)/(-10))/(4/(-30)))/(4344/(-28960)) a multiple of 5?
True
Let w be 647 - ((-12)/(-9))/(8/6). Suppose 12*z - w = 11*z + 3*h, 5*h = 0. Is 19 a factor of z?
True
Suppose 7*c - 24258 = -14*c + 28158. Does 13 divide c?
True
Let b = -1286 - -3946. Does 7 divide b?
True
Suppose -46637 - 200982 = -64*x + 233469. Does 14 divide x?
False
Suppose -857 = 2*l - 6147. Is l even?
False
Let v = 374 + 76. Suppose -96 = 3*b - v. Let h = b + -49. Does 12 divide h?
False
Let j = -6336 + 15056. Does 8 divide j?
True
Let x = -61 - -70. Suppose -143 + 980 = x*d. Is d a multiple of 35?
False
Let v = -1498 - -2906. Let p be ((-15)/12)/((-4)/v). Suppose 2*a + 3*j = 315, -2*a - a = -2*j - p. Does 10 divide a?
True
Suppose 0*g + g + 123 = 0. Let i(a) = 2*a**3 + 6*a**2 - 11*a + 32. Let d be i(4). Let q = d + g. Does 38 divide q?
False
Let n be (-6 - 182) + (-2 + -3)/1. Let p = 241 + n. Is 9 a factor of p?
False
Let z(n) = n**2 - 69*n - 17974. Is 65 a factor of z(-132)?
False
Let m(k) = 2*k**2 - 35*k + 9*k**2 - 22 + 37*k. Is m(-6) a multiple of 27?
False
Let c be -4 + 136 + (-1 - -1). Suppose -2*k + 0*k = -5*x + c, 3*x - k = 80. Suppose -x*h + 23*h = -160. Is h a multiple of 16?
True
Let b(k) be the second derivative of 11*k - 36*k**2 + 0 - 4/3*k**3. Is 16 a factor of b(-23)?
True
Let c(d) = -4*d - 8. Let p be c(-3). Suppose 4*w - p = 6*w. Does 4 divide w/(23/6 - 4)?
True
Suppose 2*x - 2 = -3*j + 5*j, 0 = -j - 3*x + 15. Suppose 0 = j*v - 1650 - 198. Is v a multiple of 44?
True
Suppose -3*n = -5*a - 9 - 6, -5*n + 25 = 5*a. Let z be a/(-3 + 4) - -180. Suppose 5*i - d = 3*i + z, -i - 5*d + 90 = 0. Does 15 divide i?
True
Suppose 2*h + 2*s + 2 = 8, 4*s = -4. Suppose h*t + 268 = 8*t. Let y = t - 37. Does 30 divide y?
True
Let j(t) = t**3 - 20*t**2 - 24*t + 8. Let a be j(21). Let x = -101 - a. Let p = x - -64. Is p a multiple of 18?
True
Let j(z) = -1698*z + 410. Is j(-3) a multiple of 64?
True
Suppose -3*j - 2424 = -3*i, -5*i + 10*i = -4*j + 4076. Suppose -i = -4*t - 4*a - 0*a, 2*t - 405 = -3*a. Is t a multiple of 17?
True
Let o(m) = 48*m**2 + 887*m - 14104. Is 28 a factor of o(16)?
True
Suppose 14*b + 177499 = -11*b + 1210724. Is b a multiple of 82?
False
Suppose w - 6*k + k = 42, 2*w + 4*k - 70 = 0. Let y = 40 - w. Suppose 6*b - 315 = y*b. Does 15 divide b?
True
Let c be (-6)/4*8*7/(-21). Suppose -6*y = -c*y - 3182. Is y a multiple of 37?
True
Suppose 123*s - 65*s = -181*s + 1139552. Is 16 a factor of s?
True
Is (-495)/9*192/(-1) a multiple of 60?
True
Suppose 4*f - 3*f + 4 = 0. Let l be f - (61/(-5) + 2/10). Suppose -i = -l*i + 301. Is i a multiple of 7?
False
Let j(g) = -401*g**3 - 54*g + 5. Is 34 a factor of j(-5)?
False
Suppose 9*b - 13*b + 830 = 3*j, -5*b + 3*j + 1024 = 0. Let w = 25 - 102. Let h = b + w. Is 38 a factor of h?
False
Let g(z) = 15*z**2 + 7*z + 16. Let x be g(-3). Suppose x*m = 133*m - 891. Does 6 divide m?
False
Suppose 14*j + 50950 = 5*m + 9*j, 3*j + 6 = 0. Is m a multiple of 36?
True
Suppose 2833*s = 2841*s - 320. Does 10 divide s?
True
Suppose 4*n + v = 5691, 8374 = 5*n - 4*v + 1255. Is 2 a factor of n?
False
Suppose -4*n + 4*v + 108 = 0, 4*n + 0*n - 148 = -4*v. Let j be n/(-1) + (5 - 7). Let c = j + 38. Is c even?
True
Let b be -36*2 + (0 - (1 - 1)). Let r = -181 - b. Let j = 223 + r. Does 19 divide j?
True
Let z(g) = 8*g**2 + 63*g + 141. Is z(-9) a multiple of 111?
True
Suppose -g + 4*g + 2*z = 12, -4*z + 16 = 2*g. Suppose 2*w + 1244 = g*q, w = 2*q + q - 1876. Is 23 a factor of q?
False
Let h(g) = -78*g - 1871. Is 15 a factor of h(-39)?
False
Is (-10 + -5 - -26) + 10178 a multiple of 13?
False
Let b(i) = 3*i**2 + i + 6. Let g be b(-5). Let n be -3 - (2/(-3)*3)/(16/48). Suppose -4*o - 5*z = -231 - g, n*z = -5*o + 387. Is 16 a factor of o?
False
Suppose -11 + 11 = 5*f, -3*f - 26376 = -3*g. Is 28 a factor of g?
True
Let f(h) = 20*h + 383. Let i(s) = -19*s - 195. Let g be i(-10). Is 45 a factor of f(g)?
False
Let t be (7 + -4)/(-9)*-6. Suppose -2*d + 598 = q, -1204 = -t*q + 3*d + d. Is q a multiple of 25?
True
Suppose 3*i - 3 = 3. Suppose -4 = -5*j + r, i*j + r + 0 = -4. Suppose -3*t = -j*t - 21. Does 7 divide t?
True
Suppose -5*d + 23 = -2*y, -5*y - 11 = -d + 4*d. Let i(o) = -38*o + 48. Does 17 divide i(y)?
False
Let g(o) = -424*o - 1768. Is 24 a factor of g(-60)?
False
Suppose -195*q = -223*q + 56924. Does 22 divide q?
False
Does 4 divide (52047/12)/((-2)/(-4)*(-66)/(-44))?
False
Let z be ((-3)/(-2) - (-1188 + 5))*2. Let i = z + -1613. Is i a multiple of 84?
True
Suppose d - 4*d = -4*p + 602, -3*p + 401 = -2*d. Is -7 + 1 - 1 - d a multiple of 10?
False
Let y = -3 - -16. Suppose 5 = 29*n - 28*n. Suppose -n*s = f - y, s - 5*s = -4*f + 100. Is f a multiple of 23?
True
Suppose -7*p - 1863 - 10590 = 0. Let i = -1167 - p. Does 36 divide i?
True
Let x be 114 - (1 + -1) - (39 + -41). Let q = 174 - x. Does 15 divide q?
False
Suppose 3*k + k = -4*y + 1720, 0 = -4*k + 8. Let o = y - 271. Is 40 a factor of o?
False
Let o(q) = -6*q**3 + 2*q**2 - 2*q + 1. Let b be o(1). Let j be (6/5)/(b/125). Let a = j + 156. Is a a multiple of 14?
True
Let d be 16/(-8)*6/(-4). Suppose -2*c - k + 2409 = 2*c, 0 = -d*c + k + 1812. Is c a multiple of 67?
True
Let u = 48614 - 33157. Is 13 a factor of u?
True
Is (630360/1122)/((-8)/(-132)) a multiple of 15?
True
Let j be (-618)/(-126) + 4/42. Suppose 0 = -2*w + g + 115, 0 = w - 4*w + j*g + 155. Let d = -11 + w. Does 11 divide d?
False
Suppose -v - 4*z - 245 - 474 = 0, 0 = 4*v + 4*z + 2912. Let t = -474 - v. Is t a multiple of 28?
False
Let p(f) = 37*f**2 + f + 2. Let y be 3 - ((-8)/8)/1. Is p(y) a multiple of 13?
True
Let p(v) = -v**3 + 18*v**2 + 3*v + 7. Let y be p(18). Let x = y + -51. Is 13 a factor of (2/x*2)/((-9)/(-2385))?
False
Let q(b) = 3*b**2 - 222*b - 2054. Does 3 divide q(-9)?
False
Let w(c) = 4*c**3 - 5*c**2 + 8*c + 4. Let z be w(3). Let m(g) = 5*g**2 + 29 + g**3 - 2*g**2 + z - g**2 + g. Does 10 divide m(0)?
True
Suppose 2*z + 6 = o, -4*o + 2*z + 24 = 3*z. Suppose o = -d - 15. Let r = d + 78. Does 10 divide r?
False
Let v(s) = -s**3 + 14*s**2 + 14*s + 17. Let a be v(15). Suppose a*t - 7 + 35 = 0. Let x(l) = l**3 + 13*l**2 - 19*l - 18. Does 13 divide x(t)?
True
Let o = -14677 + 19879. Is o a multiple of 18?
True
Let u be (-4)/30 + 460/75. Is 10 a factor of (((-416)/u)/(-8))/((-3)/(-90))?
True
Suppose 0 = -2*p - 4*m + 12, -2*m = -2*p + 3*m - 15. Let f be p + 6 + 0 + -3. Suppose -2*j = -5*v - 315, -f*v = 5*j + v - 738. Is 30 a factor of j?
True
Suppose -51922 = -3*d - 2*c, 3*c = 2*d + d - 51897. Does 168 divide d?
True
Suppose 3*k - 7*k + 644 = 0. Let x = k - -16. Suppose 7*o - 103 - x = 0. Is 10 a factor of o?
True
Let k(s) = 2*s**2 - 2*s + 3. Let c(f) = -2*f**2 + 4*f + 1. Suppose -6*i - 8 = -2. Let d be c(i). Is k(d) a multiple of 21?
True
Let q = 23 - 23. Suppose 9*c = 7 + 56. Suppose -c*r = 2*h - 3*r - 90, 4*h - 2*r - 130 = q. Does 22 divide h?
False
Let y = -2044 - -13562. Is 26 a factor of y?
True
Let k be