Let p = 105 + -100. Suppose 0 = -4*d + 12, -p*h - d - 87 = -8*h. Does 20 divide h?
False
Let j = 27 - -6. Is 2/(-6) + 1562/j a multiple of 15?
False
Let f(v) = -v**2 + 1. Let z be 25/(-20) + 3/12. Let s be f(z). Does 18 divide ((-108)/(-3))/2 + s?
True
Let k(l) = 23*l + 4. Let f be k(4). Let y = f - 64. Is 3 a factor of y?
False
Let u(g) = -6*g + 28. Suppose -3*a + 5*n + 12 + 17 = 0, -4*a + 3*n = -24. Suppose 0 = -2*i + a*v - 31, 2*i + 3*v + 11 = i. Is u(i) a multiple of 16?
True
Let u = 10 + -16. Let n be 3/(3/u*-3). Is 334/10 - n/5 a multiple of 12?
False
Suppose -3*o - 526 = -d, o + 3*o = d - 521. Is d a multiple of 55?
False
Let p(z) = -z**3 + 9*z**2 + 4*z. Let l be (-4)/6 - (-23)/3. Let n be p(l). Suppose -2*j - 4*w = -j - 22, -5*j = 4*w - n. Is j a multiple of 13?
True
Suppose -2*w = -q - 985, -4*q - 1576 = -3*w - 106. Is 39 a factor of w?
False
Let s be (285/12)/((-1)/(-4)). Let d(w) = w**2 + 10*w + 56. Let m be d(-6). Let t = s - m. Does 19 divide t?
False
Let r(f) = -2*f**2 + 53*f + 74. Does 12 divide r(25)?
False
Suppose 2709 + 1511 = 5*o. Does 11 divide o?
False
Suppose 8*k + 3*h - 2649 = 4*k, 0 = 5*k + 5*h - 3310. Suppose 43 = -10*z + k. Does 23 divide z?
False
Suppose 2*b + 40 = b - 2*t, -3*t = 2*b + 85. Let o = 12 - b. Is 19 a factor of o?
False
Let h be 18/(-30) - 188/20. Let f be ((-55)/(-22))/(h/(-8)). Suppose -6*n + 244 = -f*n. Is 26 a factor of n?
False
Suppose 8*i - 13*i + 407 = 4*h, -5*i = -2*h - 389. Does 6 divide i?
False
Let n be 1/(-3) + 6/(-9). Let c(t) = -3*t**3 + t + 1. Let o be c(n). Suppose o*j - j = 2*s + 90, -5*j = 4*s - 243. Does 14 divide j?
False
Let t = 19 + -12. Does 7 divide ((-4)/14*9)/((-1)/t)?
False
Suppose d - 4*h - 1325 = 0, 33*h = 3*d + 28*h - 3989. Does 31 divide d?
True
Suppose 4*h = 1024 + 648. Does 38 divide h?
True
Let k be 1*(-3 + (0 - -2)). Let t be (-6 + 3)/(k/2). Suppose 38 = t*q - 4*q. Does 5 divide q?
False
Let c = -46 + 221. Is c a multiple of 35?
True
Suppose -3*a = -2*a - 3. Suppose 8 = a*d - 7. Suppose 5*z = -t + 83, 7*z - 2*z - d = 0. Does 12 divide t?
False
Let c = -14 - -17. Is 28 a factor of ((-2)/c)/((-8)/336)?
True
Let p(l) = -l**2 - 16*l + 40. Let k be p(-18). Let s(n) = 2*n**2 + 3*n - 4. Does 14 divide s(k)?
False
Suppose 39*f - 2*f = 37518. Is 42 a factor of f?
False
Let b = -1050 + 1746. Does 8 divide b?
True
Let a = -315 - -623. Let v be (-4)/5 - a/(-10). Let u = 32 - v. Does 2 divide u?
True
Let b = -266 + 354. Is 6 a factor of b?
False
Let c(v) = v + 5. Let a be c(-3). Suppose 3*t - 74 = a*t. Is t a multiple of 37?
True
Let x(v) = v**2 + 6*v - 4. Let b be x(-8). Let s(c) = -52*c - 11*c**2 + 3 + c**3 + 41*c + 5 + 8. Is 7 a factor of s(b)?
True
Suppose -8*w = -5*w - 51. Let c(f) = 23*f - 9*f + 1 + w*f. Is 24 a factor of c(3)?
False
Let o(z) = -z. Let r be o(-1). Suppose -4 + r = -j. Suppose 2*d - 2*y = -0*d + 4, 14 = j*d + y. Is d a multiple of 3?
False
Let j(y) = 15*y**2 - y - 5. Does 101 divide j(13)?
False
Let h(d) = d**3 + 4*d**2 - 2. Let y be h(-4). Let q be (29/y)/(1/(-2)). Suppose -r = 2*u - 5, -5*u + r + q = -2*r. Is u a multiple of 4?
True
Is 194 - 1 - (2 + 8 + -13) a multiple of 2?
True
Let i be ((-3)/(-3))/((-1)/(-107)). Suppose 58 = 5*o - i. Is 26 a factor of ((-160)/30)/((-2)/o)?
False
Suppose -3*h + 5*w + 261 = w, -2*w + 435 = 5*h. Is h a multiple of 4?
False
Suppose 2*w = -w + 15. Suppose -3*d = -w*y + 454, 0 = -5*y - d + 3*d + 456. Is y a multiple of 21?
False
Suppose 2*i = -2*i + 8. Suppose 0 = k - 3*x + 4*x - 67, i*x + 201 = 3*k. Does 10 divide k?
False
Suppose -3*i = a - 18, 2*i - 16 = -2*i. Let t(p) = p**3 - 7*p**2 + 7*p - 7. Let s be t(a). Is (-96)/(-9) + s/(-3) a multiple of 4?
False
Let z = 64 + -18. Is z a multiple of 10?
False
Let u = 4955 - 630. Does 25 divide u?
True
Suppose -227 = -4*b + 3*b + 3*u, 0 = 2*b + 2*u - 470. Is b a multiple of 28?
False
Let h(s) = -11*s**3 - 6*s - 37. Is 35 a factor of h(-4)?
False
Let g = 2479 + -1423. Is g a multiple of 88?
True
Let c be (3 - 6/2)/1. Suppose -6*n + 10*n - 8 = c. Suppose n*s = -3*u + 98, 5*s + 29 = 2*u - 11. Does 11 divide u?
False
Let i = -10 - -15. Suppose 0*l = -i*u - 2*l - 10, -2*u = -4*l - 20. Suppose -y - 3*r + 46 = u, 0 = -5*y + 2*r + r + 194. Is 10 a factor of y?
True
Suppose -20*f + 4543 = -1677. Is f a multiple of 13?
False
Let t = 914 - -634. Is 13 a factor of t?
False
Suppose -2*d + 0*d + 2*z + 1682 = 0, 4209 = 5*d - z. Is 19 a factor of d?
False
Let k be 23 - (0 + (-4 - -3)). Let j = -16 + k. Is j a multiple of 3?
False
Suppose 114 = 4*z - 266. Suppose -5*y + z = 10. Does 11 divide y?
False
Let m(g) = g**3 - 15*g**2 + 4*g + 13. Let q be m(16). Suppose 4*f + q = 7*f. Is 15 a factor of f?
False
Suppose 9 = -d + 12, 3*i + d - 609 = 0. Does 23 divide i?
False
Let w = 84 + -13. Let v = -52 + w. Does 17 divide v?
False
Let t(r) = 10*r**3 + 2*r - 4. Is 17 a factor of t(2)?
False
Let i(t) = 5*t**2 + 2*t - 1. Let y be i(2). Let w = 29 - y. Suppose 0 = -4*f + 86 - w. Does 4 divide f?
True
Suppose y = -4*y + 3*w + 603, 2*w + 602 = 5*y. Does 25 divide y?
False
Let i(x) = 2 + 8 - x + 0 + 5. Let v be ((-7)/3)/((-3)/9). Is i(v) a multiple of 6?
False
Suppose 5*g = 3*p + 2871, 13*g - 2*p - 2874 = 8*g. Is 16 a factor of g?
True
Suppose -6*b = 1 + 23. Let d be ((-404)/16)/(1/b). Suppose 3*r - 7 = d. Is r a multiple of 25?
False
Suppose 6*p - p - 4*o = 280, -2*p = 3*o - 89. Is p a multiple of 22?
False
Suppose -4*k + 4 = 0, 5*g + 2236 - 7910 = -4*k. Is 45 a factor of g?
False
Let w = 116 + -113. Suppose -6*m = -11*m - 20, -76 = -w*k + 4*m. Is k a multiple of 10?
True
Let t(d) = -d**2 + 3*d. Let x be t(2). Suppose -j = -x + 7. Let a(n) = n**2 + 2*n - 2. Does 13 divide a(j)?
True
Let j be (-126)/(-12) - 1/2. Let p be 1190/(-25) - 4/j. Let k = -24 - p. Is 12 a factor of k?
True
Let r(a) = -a**3 - 5*a**2 + 3*a + 9. Let s be r(-6). Let w be ((-9)/s)/((-2)/24). Suppose -4*f = w, -3*q = q - f - 161. Does 10 divide q?
True
Let m = 2 + -18. Let f be m*(3 - (-18)/(-8)). Is (0 - 3)/(f/40) a multiple of 3?
False
Let f(r) = -2*r**2 + 5*r - 4. Let g be f(3). Let c = -30 + g. Let v = 12 - c. Does 15 divide v?
False
Let h(x) = -x**2 - 19*x - 31. Let l be h(-17). Let f be 0/(2/2) - -4. Suppose l*p - 74 = f*c, -5*p + 137 = -2*c - 5. Is p a multiple of 4?
False
Suppose 8 + 2 = 5*y. Suppose y*v + 4 = 4*v. Suppose 5*p = -3*s + 36, -3*p = v*p - 4*s - 22. Is p a multiple of 6?
True
Let t be (-106)/(-4) - (-5)/(-10). Suppose 2*k + t = 96. Suppose 10 + k = 3*l. Is 5 a factor of l?
True
Let t(a) = -2*a**3 + 46*a**2 + 27*a + 29. Is 10 a factor of t(23)?
True
Suppose -12 = 7*f - 10*f. Suppose -t = f*t - 3*z - 505, -2*t = -2*z - 198. Does 13 divide t?
True
Suppose 5 = n + 4*u, -n = 2*u + u - 4. Let k be (3 - (n - -3))*-1. Does 6 divide k - (26/(-1) + -4)?
False
Let c(w) = -w**3 + 13*w**2 - 6*w - 15. Let z be c(10). Suppose 13*b = z - 69. Is 4 a factor of b?
True
Let d(l) = -l**3 + 3*l**2. Let t = 0 - -3. Let c be d(t). Suppose -5*v + 25 + 25 = c. Does 5 divide v?
True
Suppose -7*o = -6*o - 44. Suppose -4*s + 4*c + 52 = 0, -3*s + o = -3*c + c. Does 6 divide s?
True
Let o = -18 - -25. Suppose o*z - 610 = 2*z. Is z a multiple of 50?
False
Let c = -24 + 26. Let u = 16 + c. Does 4 divide u?
False
Suppose f = 2*x - 35, -2*x + 3 = 2*f - 35. Does 36 divide (-23)/((-3)/(-2)*(-6)/x)?
False
Suppose -9 = h - 4*h. Let n(u) = -20 + 14 - 3*u + 2*u + 4*u**2 + 2*u**2. Is 19 a factor of n(h)?
False
Suppose 5*k = -2*y + 28, 3*k - 24 = -0*y - 3*y. Is 106/8 + k/(-16) a multiple of 4?
False
Suppose 2*o = o + 1. Suppose 2*f + o = 5. Is (-3 - f) + 3 + 50 a multiple of 8?
True
Suppose 0*g + 66 = -3*g. Let o = g + 14. Is 8 a factor of (o + 9)/(2/56)?
False
Suppose -6*x = 201 - 633. Let m = x + -2. Is m a multiple of 10?
True
Let n(p) = -310*p + 343. Is 4 a factor of n(-3)?
False
Let f be (6/(-2) + 3)*1. Let q(g) = 7*g**3 - 2*g. Let m be q(2). Suppose 3*c + 204 = 2*l + m, l + c - 71 = f. Is l a multiple of 15?
False
Let y(x) be the second derivative of 7*x**5/10 + x**4/6 + x**3/6 + 2*x. Let m be y(-1). Is 13 a factor of 1 + 0 - (m + -1)?
False
Suppose 2*f = 9 + 11. Suppose -3*j + 4*t + 355 = f, j = -2*t + 125. Is 10 a factor of j?
False
Suppose -5*x - 18 = -8*x. Suppose o - 32 = -n + x*o, -4*o = 20. Let y = 31 - n. Does 6 divide y?
True
Suppose 5*f - 4*c = 3