 be w(7). Let h(x) = -25*x - 1. Is h(k) a multiple of 12?
True
Let b be (-170)/15*18/12. Does 60 divide 7*(-1440)/(9 + b)?
True
Suppose 1023 = -5*g - 2*r, -5 = -5*r - 0. Let h = 637 + g. Does 8 divide h?
True
Let z(n) = 18*n**2 + 16*n + 25. Let f be z(-9). Let i = f + -443. Does 8 divide i?
True
Is 12*((-259)/28 - -9) - -18595 a multiple of 56?
True
Suppose 0 = -5*k + 84 - 354. Let i = 115 + k. Suppose -5*v = -249 - i. Does 31 divide v?
True
Let u(t) = t**3 - 6*t**2 - t + 5. Let m be u(6). Let z be (-1)/m - 16/(-8). Suppose -z*p + 1660 = 7*p. Is 29 a factor of p?
False
Suppose 36 = -8*f + 11*f. Suppose f*g = 5*g - 49. Let z(x) = x + 10. Is z(g) a multiple of 3?
True
Let r(c) = c**2 - 15*c - 927. Is 6 a factor of r(42)?
False
Suppose -26*i = -27*i + 4. Suppose 144 = v + 3*p, 3*v - i*v = -4*p - 116. Does 22 divide v?
True
Let q(v) = -26*v - 1. Let y(i) = -50*i**2 + 3*i - 2. Let g be y(1). Let t = g + 47. Is 17 a factor of q(t)?
True
Let i(y) = y**2 + 14*y + 3. Suppose -4*l - 5*w = -109, 0*l = -4*l + 3*w + 69. Suppose -3*p = -l - 3. Does 30 divide i(p)?
False
Let t = -7716 - -12359. Is 81 a factor of t?
False
Let x = -129068 + 193998. Does 230 divide x?
False
Let a = 60 + -44. Suppose b + 60 = a*b. Suppose -3*j - b*c + 445 = 0, 5*j - c - 790 = 2*c. Is 49 a factor of j?
False
Let y(n) = -6365*n - 493. Does 83 divide y(-7)?
False
Suppose -3*y - 5*p + 11 = 0, -y + 2*p = 5*p - 5. Let o be 3 + 1/(-1) + 1. Suppose 5*t + 13 = z, y*t + 106 = z + o*z. Is z a multiple of 7?
True
Let i(z) be the first derivative of 4*z**3 - z**2/2 + z + 9. Let f be i(-1). Suppose -125 = -2*s - 3*j - f, -s = -2*j - 38. Is 16 a factor of s?
True
Let k = 33 + -32. Suppose -j - k = 0, -3*m - j = 4*j - 1. Does 9 divide (m + -16)/((-8)/68)?
False
Let v = 93 - 88. Suppose z - 117 = 2*i, -3*z - v*i + 2*i + 387 = 0. Is 9 a factor of z?
False
Let x = 277 - 265. Let k(f) = f**2 + 2*f - 15. Is k(x) a multiple of 41?
False
Suppose 0 = 4*l + 3*t - 18, 0 = -l - 5*t + 8 + 5. Suppose 5*j = -5*q + 1390, 0*j + l*j - 830 = -4*q. Let z = j + -143. Is 38 a factor of z?
False
Let o(f) = 7*f**3 - 19*f**2 + 17*f + 68. Is 157 a factor of o(10)?
True
Let q = -22927 - -24466. Is 106 a factor of q?
False
Let b(y) = 71*y**2 - 32*y + 29. Let x(d) = 24*d**2 - 11*d + 10. Let z(l) = 6*b(l) - 17*x(l). Let p be 10*(-9)/54 + (-22)/(-6). Is z(p) a multiple of 8?
False
Suppose -2*l - 162 = -42. Let j = 60 + l. Suppose -5*x - 4*p + 33 = -207, 2*p - 10 = j. Is x a multiple of 7?
False
Suppose 4*h = 3*a - 4, h - 4*a = -3*a. Is 17 a factor of -102*h*(-4)/(-24)?
True
Suppose -4*l - 2*k = -13 - 1, -5*l + 16 = 3*k. Let u = l + 14. Suppose 21*c - 228 = u*c. Is 19 a factor of c?
True
Let n(y) = -326*y + 4292. Is 4 a factor of n(6)?
True
Suppose 4*i + 2*h + 5758 = 0, -4643 - 2592 = 5*i - 5*h. Let v = i + 2126. Is 17 a factor of v?
False
Let v(r) = 4*r**3 + r**2 + 23*r - 14. Let f be v(7). Suppose 26*j = -6*j + f. Is 7 a factor of j?
True
Let d(b) = 223*b**3 - 6*b**2 - 11*b + 13. Let o(j) = 112*j**3 - 3*j**2 - 6*j + 7. Let u(s) = 6*d(s) - 11*o(s). Is u(1) a multiple of 4?
True
Let u(l) = 13*l - 17. Let y(p) = -p**3 + 7*p**2 + 2*p - 5. Let x = -26 - -33. Let d be y(x). Is u(d) a multiple of 10?
True
Suppose -3*t = -12, -4*j + 0*j = t - 84. Let u be (32/j)/(2/5). Suppose -4*x = u*x - 600. Does 15 divide x?
True
Let v(y) = -y**2 + 138*y + 25. Let g be v(42). Suppose -7*t + g + 4028 = 0. Is t a multiple of 15?
True
Let s be -136 - (-6)/(4/(-4)). Let h = s + 266. Is 22 a factor of h?
False
Let v(z) = -3*z + 21. Let k be v(7). Suppose 2*b + k*c + 4 = 2*c, 0 = 2*b + 2*c. Is 19 a factor of ((-8)/16*24)/(b/2)?
False
Is 6 a factor of (-70)/(50/5) + (1791 - -4)?
True
Let v be -3 - (-172)/22 - 2/(-11). Suppose 225 + 390 = v*b - 3*p, -140 = -b + 4*p. Suppose -137 = -3*f - f + 5*k, 4*k = -5*f + b. Is 14 a factor of f?
True
Let h = -7167 + 9048. Is h a multiple of 33?
True
Let x(y) = -28*y + 39*y**2 - 61*y**3 - 13 + 62*y**3 + 105*y. Is x(-36) a multiple of 51?
False
Let k be 29 - (-30)/3 - 1*-1. Let r = 115 - k. Is r a multiple of 44?
False
Suppose -2*i + 41 = -4*j + 621, 4*i = -3*j + 457. Suppose y + 564 = j. Let g = -212 - y. Does 34 divide g?
False
Let w(a) = -8*a**3 - 28*a**2 - 180*a - 104. Is w(-14) a multiple of 16?
True
Suppose 2*t = -14*t + 80. Suppose -t*m + 691 = -429. Does 16 divide m?
True
Let f(c) = -19 + 38*c - 20*c + 39*c - 8 + 31*c. Is 13 a factor of f(1)?
False
Is 196/3*((-648)/(-360))/((-3)/(-365)) a multiple of 28?
True
Suppose 207*k - 480492 - 362236 = 319370. Does 32 divide k?
False
Let t(v) be the second derivative of v**5/20 - 7*v**4/12 - 13*v**3/6 + v**2 - 8*v. Let u be t(10). Is 19 a factor of (u - 1)*18/54?
True
Let o(i) = -2*i**3 - i**2 - 57*i + 2054. Does 11 divide o(0)?
False
Let n = 7352 + -3761. Does 127 divide n?
False
Let k = -142 - -433. Suppose 7*t = -1523 + k. Is (-5)/((-60)/t)*(-6)/4 a multiple of 9?
False
Let b(k) be the first derivative of -k**4/4 + 5*k**3/3 + 8*k**2 - 14*k + 22. Let m be b(7). Suppose m = 3*i - 12*i + 792. Does 44 divide i?
True
Suppose -75*z + 82*z = 4704. Let t = z - 450. Is 12 a factor of t?
False
Suppose -u - 3*y = -9, -3*u - y = -0*y - 11. Suppose 3*p + 3 = 2*o + u*o, -4*p = -4*o + 4. Suppose -2*w - 34 + 218 = o. Does 19 divide w?
False
Let d(l) = -4*l**3 - l. Let f be d(-1). Suppose -4*n + 272 = -f*y, 0 = -0*n - n - 4*y + 89. Let a = n - 49. Does 24 divide a?
True
Let d be 42/(-9) - 10/(-15). Let n be 2 + 90/25 + d/(-10). Is (-2*1 + (-105)/n)*-2 a multiple of 13?
True
Let w(t) = 49*t + 17. Let r be w(-4). Let a = 322 + r. Is a a multiple of 7?
False
Let c(r) = 2*r + 9 - 15*r**2 + 5*r**2 - 4 + r**3. Let s be 1/(-3) - (-1426)/138. Is 25 a factor of c(s)?
True
Let b = 718 + -771. Is (b + -6)/((-2)/2) a multiple of 59?
True
Suppose 2*o - 16 = -c - 3, -o + 2*c = 6. Suppose -53 = -o*w + 475. Suppose 9*k - 10*k + w = 0. Is k a multiple of 21?
False
Suppose 0 = -32*t - 132770 + 369186. Does 4 divide t?
True
Let r = 23601 - 9978. Is r a multiple of 57?
True
Let y be (1/4)/((-6)/(-560))*3. Let b = 334 + -265. Suppose -b*d - 333 = -y*d. Is d a multiple of 14?
False
Let k(u) = -113*u + 616. Let z(f) = 37*f - 205. Let h(i) = -6*k(i) - 17*z(i). Is h(19) a multiple of 15?
True
Let v be (-1)/4 + (15370/8 - 6). Suppose -13*i = -10253 - v. Does 14 divide i?
False
Suppose 62*x + 317*x + 138*x = 697950. Does 50 divide x?
True
Suppose 31*d - 180*d + 15049 = 0. Let l(s) = -3*s**2 - 1. Let p be l(1). Let u = p + d. Is 12 a factor of u?
False
Let c = 61 + -83. Let p = c - -24. Suppose 5*k + 20 = 0, 0 = p*o - 11*k + 8*k - 222. Does 12 divide o?
False
Let u(g) = 2*g**2 - 15*g + 91. Does 5 divide u(28)?
False
Let d be 21/(-14) + -1 + (-23462)/(-4). Suppose 16*z - d - 5049 = 0. Is 22 a factor of z?
True
Suppose 42 + 30 = 12*w. Suppose 5*k - w*s + 3*s - 2620 = 0, 0 = 3*k - 3*s - 1572. Does 16 divide k?
False
Let c(a) = -59*a - 23. Suppose -2*m + 3*i + 15 = -5*m, -2*m - 3*i = 12. Does 14 divide c(m)?
True
Suppose -23 + 11 = -3*b. Suppose y + b = 0, -84*s + 89*s - 3638 = 2*y. Is 51 a factor of s?
False
Let v be 1500/(-16)*(-28)/7. Let w = 555 - v. Suppose -16*b + w = -11*b. Does 7 divide b?
False
Suppose 2*g = -2*j + 24, -j - 6 + 30 = 4*g. Let c = 95 - j. Does 7 divide c?
False
Suppose -s = -4*s - 9, 4*s = 2*k - 3340. Suppose 390 - k = -14*r. Does 7 divide r?
True
Let u(b) = -b**3 - b**2 + 7*b - 11. Let o be u(2). Let y(h) = 21*h + 0 + 5 + 17 + 3*h**2. Is 19 a factor of y(o)?
True
Does 3 divide (4 + 8096)/9 - (9/(-3) - -3)?
True
Suppose -t + 111 = -5*o - 4762, -3*t + 14586 = -4*o. Is t a multiple of 119?
False
Suppose k - 11*k + 1480 = 0. Suppose -3*b + 266 = -k. Is b a multiple of 11?
False
Let x(t) = 7*t**3 - 725*t**2 - 28*t + 38. Is 17 a factor of x(104)?
False
Suppose -5*k + 2*c + 3921 = 0, -919*c - 791 = -k - 922*c. Is 6 a factor of k?
False
Let b(u) = 17*u**3 - 14*u**2 - 37*u - 6. Does 15 divide b(9)?
True
Let y = 141 + -142. Let u be 4/10*y - 72/(-5). Suppose 0 = 16*n - u*n - 100. Is n a multiple of 25?
True
Let s(x) = -x**3 - 14*x**2 + 12*x - 20. Let m be s(-15). Let n = m - -1. Is (-4)/n + (-1765)/(-65) even?
False
Let w = 5435 + -2000. Suppose -w = -5*u - 3*m, -2*u + 664 = -u - 4*m. Does 38 divide u?
True
Let j = 15 - -45. Let n(t) = 8*t**2 + t - 27. Let g be n(-5). Suppose -g = -2*s - j. Do