 103. Suppose 0 = 2*p + w - 98, 8 = p + 4*w - r. Is p a multiple of 7?
True
Let o be (-2)/((-1 + -3)/4). Suppose w + 5 = 0, -2*h - h + 703 = -o*w. Let g = -161 + h. Does 14 divide g?
True
Let x(q) = 2*q**2 + 48*q + 21. Let v(o) = -o + 1. Let s(b) = 3*v(b) + x(b). Is s(-30) a multiple of 9?
False
Let w = 13 + -9. Suppose f - 2*y = 3 - 25, 4*f + w*y + 64 = 0. Does 7 divide (12/f)/((-4)/90)?
False
Suppose 28406 = 28*k - 9394. Does 90 divide k?
True
Let b = -1804 + 3695. Suppose -b + 7171 = 22*a. Is a a multiple of 10?
True
Let z(d) = 84*d - 33. Let a(v) = 169*v - 64. Let j(q) = 4*a(q) - 9*z(q). Is 19 a factor of j(-4)?
True
Let p = 67 - -45. Is (66/(-7)*-4)/(16/p) a multiple of 10?
False
Let d(p) = 3*p - 18. Let m be d(10). Let j = m + 45. Let c = -21 + j. Is c a multiple of 9?
True
Let x be 1/(5/(-5)) + -420. Let k = -180 - x. Let p = -81 + k. Is 25 a factor of p?
False
Let t = 19936 - 15436. Does 9 divide t?
True
Let q = 1 - 1. Let j(z) = 4*z + 312. Let b be j(-24). Suppose 0*i + 6*i - b = q. Is i a multiple of 5?
False
Suppose 0 = -4*a + 5*o - 0*o - 6053, -4*o + 7573 = -5*a. Let f = a - -2207. Does 65 divide f?
False
Let z(b) be the first derivative of b**4/4 + 23*b**3/3 + 41*b**2/2 - 20*b + 5. Is 25 a factor of z(-11)?
False
Suppose -3*x - 5 = 13. Let u be x*(3/2 - 2). Suppose -u*r - r + 374 = n, -10 = 5*n. Is r a multiple of 13?
False
Let p = -6551 - -9111. Does 20 divide p?
True
Let l be (0 - (-14)/(-10)) + (-10)/(-25). Let k be -3*(-2)/(-18)*(200 - l). Let m = 4 - k. Does 17 divide m?
False
Suppose 10*n + 9*n - 945 = 28182. Is 46 a factor of n?
False
Let z be 10 + (8/14)/((-6)/(-21)). Let f(r) = 2*r**3 - 23*r**2 - 14*r + 14. Let h be f(z). Is 44*3 + (-10 - h) a multiple of 17?
False
Let s(x) = 27*x - 14*x + 15*x - 7*x - 84. Does 14 divide s(10)?
True
Let s = -2841 + 7829. Does 44 divide s?
False
Let t be ((-4)/2)/((-18)/180). Let z be 1/7 - t/(-7). Suppose -5*x + z*x + 480 = 0. Does 48 divide x?
True
Suppose -47 = 3*s + 97. Let a = 141 - s. Is 21 a factor of a?
True
Suppose -93 = 2*d - 105. Suppose 16*t = d*t + 20. Suppose 420 = t*u - 3*m + 4, 5*u - 1061 = -3*m. Is 11 a factor of u?
False
Suppose -2*n - 14259 = -318*w + 313*w, -4*w = -2*n - 11406. Is 50 a factor of w?
False
Let v(s) = -22*s**3 - s**2 - 1. Let z be v(-1). Let y = 1108 - z. Does 8 divide y?
True
Let y = -177 - -66. Let a = y - 33. Let g = 396 + a. Is 36 a factor of g?
True
Let w(m) = m**2 + 12*m - 61. Let j be w(-16). Is 2 a factor of -6 - -2 - (j + -5)*30?
True
Let n(p) = 4*p + 96. Let l be n(-23). Suppose 4*j - 3*m = 84, j - 9 = -l*m + 12. Is 3 a factor of j?
True
Let v = 19208 + -8217. Does 13 divide v?
False
Let o = 244 + -168. Let x = -73 + o. Suppose -4*j + 71 = j + 4*y, 2*y = j - x. Is 11 a factor of j?
True
Let b be 1 + 1 - 3 - 5. Let r(s) = -s**2 - 5*s + 13. Let i be r(b). Is (-6 + i)/((-2)/(-78)) a multiple of 15?
False
Let d(y) = -2*y + 6. Let c(p) = -53 + p + 110 - 60. Let r(f) = -10*c(f) - 4*d(f). Does 12 divide r(-9)?
True
Let q = -54 - -66. Suppose 0 = -4*p + q, 0*p + 4*p = 3*h - 3. Suppose h*w - 8*w = -84. Is 7 a factor of w?
True
Is (-2 - 2)/(((-72)/18776)/9) a multiple of 55?
False
Let a(w) = -73*w + 79. Let r be a(15). Let v = 2182 + r. Is v a multiple of 31?
False
Let x = 573 + -610. Let s(y) = -6*y + 58. Does 8 divide s(x)?
True
Suppose -3*b + 189 + 207 = p, 0 = 5*b - 4*p - 643. Suppose 125*y + 228 = b*y. Is y a multiple of 6?
False
Let v(k) be the first derivative of 23*k**3/3 + 6*k**2 + 29*k - 27. Is 16 a factor of v(-5)?
True
Let q(h) = 117*h**3 - 12*h**2 + 4*h + 3. Is q(4) a multiple of 11?
True
Let y = -21 + 8. Let c(u) = 3*u**2 + 9*u + 9. Let x be c(-8). Let j = x - y. Does 20 divide j?
False
Let i(g) = 2*g**2 + 5*g + 1. Suppose -5*s - 3*t = -4*t + 10, 2*t = -2*s - 4. Let z be i(s). Is (z + (-12)/8)*-10 a multiple of 2?
False
Let h = -250 + 266. Let v(u) = u**3 - 16*u**2 + 21*u - 25. Is 21 a factor of v(h)?
False
Suppose -15*i - 11 - 4 = 0. Does 34 divide ((-4)/(-20) + i)/((-3)/570)?
False
Let y = 196 + -445. Suppose 0*i - 56*i = 5376. Let f = i - y. Is f a multiple of 40?
False
Let y(s) = 2*s**2 - 9*s - 45. Suppose -w + 15 = 4*a, -2 + 17 = 2*a - w. Suppose 5*q + 30 = -3*n, q + 1 = -2*n - a. Does 4 divide y(q)?
False
Suppose 0 = 2*u - 4*u - 3*x + 148, 356 = 5*u + 4*x. Is 22/(-55) + 53*u/10 a multiple of 20?
True
Let x = 15293 - 12407. Is 56 a factor of x?
False
Let a(h) = -h**3 - 57*h**2 + 727*h - 289. Is a(-69) a multiple of 10?
True
Suppose -3*i - 3*l = -15456, 5*i + 3*l - 16845 = 8929. Is 35 a factor of i?
False
Let c(a) = a**2 - 17*a + 66. Let n be c(14). Suppose -2*y + 13312 = n*y. Is 31 a factor of y?
False
Suppose 5*r + 1402 - 517 = 0. Let a = 314 + r. Suppose -3*x + 143 = -4*f, 0*f - a = -3*x + f. Does 15 divide x?
True
Suppose -61*w - 3580 = -51*w. Let z = w + 501. Does 13 divide z?
True
Let u(j) = 554*j - 5954. Is 19 a factor of u(18)?
False
Suppose 3*h - 7 = 5*i - 4, 2*h + 5 = i. Let a be h/(-14)*14/(-5 + 7). Suppose 10 = 4*b - a. Does 2 divide b?
False
Let t be 108/40 - 3/(-10). Suppose 5*w = -t*r + 1496, -4*r - r - w = -2508. Is 32 a factor of r?
False
Is 108 a factor of 1 - -6 - (1 + 5 + -12 + -4847)?
True
Suppose -2*p + 10 = 3*s, -3*p = 2*p + 3*s - 16. Let k be (1 + p)/(5 + (-7 - -1)). Is 13/(-5) - k - (-1038)/5 a multiple of 13?
True
Let h(b) = 1280*b + 26. Is h(1) a multiple of 4?
False
Let v(x) = 24*x**2 + 35*x - 242. Is 5 a factor of v(11)?
False
Suppose -5 = q - 0, -2*q + 1406 = 3*i. Suppose 5*x - 1307 + i = 0. Is 21 a factor of x?
False
Suppose -750*v = -763*v + 94512 + 90127. Does 39 divide v?
False
Let c(f) = -33*f + 8736. Is 56 a factor of c(0)?
True
Let k = 425 - 280. Let y = 400 - k. Is 17 a factor of y?
True
Suppose -6*q + 219 = -291. Suppose q + 275 = 2*g. Suppose 3*w - g = w + l, -4*l - 368 = -4*w. Is w a multiple of 44?
True
Suppose 0 = -9*q - 8*q + 3*q. Suppose -9*b + 14*b - 1830 = q. Is b a multiple of 31?
False
Let d = 71869 - 24838. Is 145 a factor of d?
False
Suppose -3*a = 2*o - 52 + 5, -5*o = -20. Suppose -692 = -a*f + 11*f. Suppose 0 = -2*y - l + 133, 7*y = 2*y + 2*l + f. Is 31 a factor of y?
False
Suppose 2*j - 2*d - d + 14 = 0, d - 8 = 4*j. Let s(q) = 5*q. Let r be s(-1). Does 19 divide 109/j*(4 + r)?
False
Let o(m) be the first derivative of -5*m**2 - 60*m + 4. Let s be o(-6). Suppose s = 11*k - 6*k - 205. Does 4 divide k?
False
Let i = -174 + 176. Suppose -19*p + 21*p = i*w - 538, -3*w + 2*p = -810. Does 18 divide w?
False
Let a(j) = -5*j - 48. Let n be a(-10). Suppose n*b = -0*b - 2*p, p + 12 = 3*b. Suppose b*d + 4*h - 726 = -66, 3*h = 3*d - 681. Is d a multiple of 16?
True
Let t(o) be the first derivative of o**4/4 - 7*o**3/3 + 17*o**2/2 + 15*o - 42. Is 7 a factor of t(7)?
False
Let a(i) be the first derivative of -i**5/20 + 17*i**4/12 + i**3/6 - 3*i**2/2 + 3*i - 6. Let l(b) be the first derivative of a(b). Is l(17) a multiple of 8?
False
Let l(p) = 5*p**2 + 13*p + 14. Let k be 8/14 + (-100)/(-70). Suppose 24 = -4*d + v, -5*v - 12 = -0*d + k*d. Does 25 divide l(d)?
False
Suppose 148 = -3*l + 7*l. Let h = l + -32. Suppose -81 = -y - 2*y + h*v, 0 = -4*y + v + 91. Does 17 divide y?
False
Let c(d) = 58*d**2 - 244*d + 1952. Is 58 a factor of c(8)?
True
Let a(f) = -10*f**3 + 3*f**2 - 72*f - 776. Does 100 divide a(-12)?
True
Let u(n) = n + 19. Let y be 3/(-5) + (4 - (-261)/(-15)). Let o be u(y). Suppose i = 2*v + 28, o*i = 3*v + 31 + 137. Is i a multiple of 6?
True
Let y(b) = 16 - 2 - 54*b + 51*b - 4. Let l(f) = 4*f**3 - 1. Let w be l(-1). Is y(w) a multiple of 18?
False
Suppose d + 8 = 5*s - 0, 5*d - 6 = 2*s. Suppose 361 = s*i - 199. Is 28 a factor of i?
True
Is ((-52)/3)/(7 + 5560/(-792)) even?
True
Let r(o) = -22 + 71*o - 17 + 139*o**2 - 142*o**2. Is 5 a factor of r(23)?
False
Let m(f) = 38*f**2 - 275*f - 5424. Is 96 a factor of m(-21)?
False
Let m be 3*(9 + (-6 - -6)). Suppose 12866 = m*k + 1823. Is k a multiple of 59?
False
Let r = -44 - -51. Suppose r*z = -3*z + 50. Suppose -4*d - 2*m = -7 - 55, -z*d + 85 = -5*m. Is d a multiple of 5?
False
Suppose 2*i = -4*s - 60, 0*s = 2*s + 3*i + 34. Let y = 25 + s. Is y a multiple of 3?
False
Let y(p) = 45*p - 36. Let f be y(12). Suppose 14*j + f = 6*j. Let v = j - -283. Is 14 a factor of v?
False
Let i(x) = -x**3 - 8*x**2 - 4*x - 6. Let z be i(-6). Let o(r) = 2*r