Suppose 13*l + 890 = 17*l + 2*d, -d - 1102 = -5*l. Suppose -3*q - 4*v = -185, v + 4*v = 3*q - l. Is q a multiple of 13?
False
Let a(o) = -11*o + 348. Does 41 divide a(0)?
False
Suppose -5*k + 24 = -r, 0 = k + r - 0*r. Suppose k*h = -3*h + 525. Is h a multiple of 15?
True
Is 1*(-3 + 3/(18/6312)) a multiple of 8?
False
Let q = 174 + -86. Suppose 3*f - q = -4*j - 35, -j + f = -15. Is 9 a factor of j?
False
Suppose 2*y - 3*y - 745 = 5*r, 0 = -2*r + 4*y - 276. Let n = -11 + r. Let q = -80 - n. Is q a multiple of 26?
False
Let r(a) = -28*a - 6. Let b(k) = 27*k + 7. Let h(s) = -5*b(s) - 4*r(s). Does 12 divide h(-4)?
False
Suppose -4*g - 3*y + 57 - 3 = 0, 3*g - 3*y = 30. Let v = -26 + g. Let a = v + 50. Is 15 a factor of a?
False
Is 25 a factor of (4641/(-9) + 5)/(16/(-24))?
False
Suppose -1728 - 207 = -15*s. Does 6 divide s?
False
Let y(o) = -o + 18. Let b = -19 + 18. Let a(x) = 6*x**2 - x - 1. Let t be a(b). Is 6 a factor of y(t)?
True
Suppose -2*r - 312 + 450 = 0. Is 69 a factor of r?
True
Suppose -3*s - 6 - 15 = 0. Let j(f) be the first derivative of -3*f**2 - 6*f - 1. Is 11 a factor of j(s)?
False
Let q = -23 - -29. Suppose -36 - 162 = -q*i. Is 3 a factor of i?
True
Let l(s) = 9*s**2 - s + 1. Let i be l(5). Suppose -10*o = -99 - i. Does 9 divide o?
False
Suppose -5*m + 2105 = -4*r, -2*r - m - 893 = 156. Is (r/6)/((-2)/4) a multiple of 35?
True
Suppose 33*o - 40273 = 71696. Is 35 a factor of o?
False
Let h = 267 - 107. Is (-4 + h/6)*3 a multiple of 17?
True
Suppose -109 = g - 5*h - 434, 2*g - 580 = -4*h. Is g a multiple of 30?
True
Let d(i) = 11*i**2 + i - 1. Let q be d(1). Let b = -5 + q. Does 2 divide (b/12)/((-2)/(-24))?
True
Suppose 4*a + 2*n - 62 - 388 = 0, 4*n + 20 = 0. Is a a multiple of 5?
True
Let a(s) = -5*s + 14. Is 30 a factor of a(-5)?
False
Let u = 179 + -51. Is 16 a factor of u?
True
Let c(i) be the first derivative of 5*i**4/4 - i + 4. Let m be c(1). Suppose m*n = -4*x + 188, -3*x - n + 131 = -3*n. Does 12 divide x?
False
Suppose -z + 283 = -4*i, 5 + 4 = 3*z. Is 13 a factor of i/(-28)*(-284)/(-10)?
False
Suppose -4*d = -0*d - 48. Suppose 2*w = 5*w - d. Suppose 5*t = 4*n + 248, -w*n + 148 = 5*t - 84. Does 24 divide t?
True
Let q be (-4)/(-3 - 1)*-4. Is 5019/77 - q/(-22) a multiple of 26?
False
Suppose -44*w = -51*w + 217. Is 3 a factor of w?
False
Let c(u) = -9*u + 3. Let o(x) = -x**2 - x. Let m(k) = c(k) - 2*o(k). Is m(6) a multiple of 3?
True
Suppose 0 = -a + 248 + 624. Is a a multiple of 8?
True
Let d(y) = y**2 + 11*y + 15. Let k be d(-10). Suppose 3*l = -v + 43, -k*v + 33 = 3*l - 2*l. Is 7 a factor of l?
False
Is 28 a factor of 15/(-9) + (-5884)/(-6) + 1?
True
Let t be 2*((-203)/(-2))/(-7). Let i = 37 + t. Does 2 divide i?
True
Let r = -285 - -644. Suppose 0*p + 270 = 3*l - 2*p, -4*l + r = -3*p. Is l a multiple of 34?
False
Let y = 133 + -52. Does 9 divide y?
True
Suppose 0*w = -w + 4*s + 830, 3*w = -4*s + 2554. Is 3 a factor of w?
True
Let b be (-115)/20 - 1/4. Is b/10 - (616/10)/(-1) a multiple of 10?
False
Let b(v) = 11*v**2 + 16. Is 26 a factor of b(-6)?
False
Let c = 500 - 454. Does 46 divide c?
True
Suppose 4481 = 4*c + c + 2*x, 0 = -5*c + 5*x + 4495. Is c a multiple of 23?
True
Let n be ((-6)/10)/(14/70). Let f be n - (-3 + (3 - -1)). Does 3 divide (-4 + 1)*16/f?
True
Suppose 17*w - 4228 = 26695. Is w a multiple of 55?
False
Let o = -39 - -82. Let q = 91 - o. Is 8 a factor of q?
True
Suppose -y + 27 - 6 = 3*o, 4*y = 0. Suppose o*q = 6*q + 44. Is q a multiple of 22?
True
Suppose 6*l - 4*l - 756 = 0. Suppose 0 = 9*o - 0*o - l. Does 14 divide o?
True
Let m be 3 + 0 + 6 - 3. Suppose 4*j - j - m = 0. Suppose -162 = j*k - 5*k. Is 18 a factor of k?
True
Suppose -4*n - 368 = -d + 34, -4*n + 1628 = 4*d. Does 40 divide d?
False
Let i = 33 - 31. Suppose -i*u = -27 - 33. Does 30 divide u?
True
Let y = 31 - 21. Suppose 23*g - 25*g = -y. Is 5 a factor of (-2 + -2 + g)*29?
False
Let c be (-7 + 3)*(14 - 1). Let i = c - -86. Is 7 a factor of i?
False
Let n be 2 - (0 - 1)*-3. Let o be ((-35)/20)/(n/(-8)). Let u = 50 + o. Does 18 divide u?
True
Suppose 2*l - 20 = -4*q, l - 6*q + 2*q = -8. Suppose v - 10 = k, 5*v + 2*k + 9 - 52 = 0. Let a = v - l. Does 5 divide a?
True
Let t(r) = r**2 + 3*r - 2. Let i be t(-4). Suppose 350 = -3*g - i*g. Let w = -36 - g. Does 17 divide w?
True
Let z(u) = -5*u**3 + 2. Let s be ((-6)/(-15))/(5/50). Suppose 0*x + 2*x + s = 0. Is z(x) a multiple of 14?
True
Let y = 30 - 26. Suppose -y*i + 31 = -9. Is 8 a factor of i?
False
Suppose 5*y + 42 = 3*k, 5*y + 4*k + 18 - 4 = 0. Let c(i) = -i**3 - 5*i**2 + 5*i - 5. Let u be c(y). Is u/4 + (-159)/(-4) a multiple of 20?
True
Suppose 0 = -3*m - 4*j + 862, 41*j - 1154 = -4*m + 38*j. Is 32 a factor of m?
False
Suppose -8*q + 6*q + 78 = 0. Let v = q + 105. Is v a multiple of 12?
True
Let z = 9 + -11. Let a = 3 - z. Does 4 divide a?
False
Suppose 5*d = d + 2*u + 22, 4*d - 31 = 5*u. Suppose 2*f + 278 = -4*c, -5*c + d*f - 56 = -4*c. Let r = -26 - c. Is r a multiple of 11?
False
Let q be ((-5)/(-2))/(18/4 - 4). Let d be (3/4)/((-1)/(-36)). Suppose d = b + q. Does 7 divide b?
False
Suppose -6538 = -10*k + 7902. Does 15 divide k?
False
Suppose 0*a = -4*a - o + 49, 3*a + 4*o - 40 = 0. Let y = a + -7. Suppose -y*d = -2*c - 2*c + 93, -15 = 3*d. Is c a multiple of 17?
True
Suppose -4*d + 439 = -1. Let o = d - 58. Does 4 divide o?
True
Suppose -18*t = -66813 + 7395. Is t a multiple of 14?
False
Suppose u = 5*o - 40 - 71, 0 = 5*o + u - 109. Suppose 0 = -f + 6*s - s - o, 4*f - 2*s = 2. Suppose 679 = f*t + 271. Is 29 a factor of t?
False
Let v(y) = 10*y - 270. Is 8 a factor of v(31)?
True
Let m = 67 + 30. Is m a multiple of 3?
False
Suppose 0*h + h = -4*r - 1, -4 = 4*h. Let a(g) = -g**3 + g**2 + 45. Does 5 divide a(r)?
True
Let c(u) = u**3 + 16*u**2 - 18*u - 17. Let d be c(-17). Suppose d = 4*h - 56 - 80. Is 17 a factor of h?
True
Is -3 + -1 + 196*4 a multiple of 20?
True
Suppose 2*g = -0*g - i + 20, 0 = -2*g + 3*i + 20. Suppose 5*t - g = 4*t. Is ((-18)/(-5))/(t/25) a multiple of 5?
False
Let t(q) = q**3 + 16*q**2 + 21*q + 17. Let g be t(-14). Suppose 0 = -l + 37 + g. Is l a multiple of 28?
False
Suppose 0 = -5*y + 4236 - 1026. Does 27 divide y?
False
Let t(k) = 2*k**3 + 23*k**2 - 18*k + 8. Is 5 a factor of t(-12)?
True
Suppose d + 636 = 3*w, 3*w - 4*d - 1053 = -2*w. Does 3 divide w?
True
Suppose -6*m - 128 = -14*m. Is m a multiple of 16?
True
Let c(y) = -2*y - 16. Let f be c(-8). Suppose 4*w + 3*j - 7*j - 368 = f, 3*j = w - 82. Suppose 5*r - w = 33. Does 15 divide r?
False
Let s(x) = -141*x + 78. Is 12 a factor of s(-6)?
True
Let m = -44 + 50. Is 35 a factor of 59*2 - (-3 + m)?
False
Let c = 383 - 143. Suppose p = 3*p - c. Does 20 divide p?
True
Let b = 1478 - 863. Does 68 divide b?
False
Let w(f) = -3*f**2 - 38*f - 16. Let i(x) = x**2 + 13*x + 5. Let o(t) = -8*i(t) - 3*w(t). Suppose 4*l = 2*a - 5*a - 45, 3*l = -9. Is o(a) a multiple of 19?
True
Suppose -5*c = 25, 13 + 17 = 5*x - 4*c. Let s(o) = 4*o - 6. Let r be s(4). Suppose -r = -x*l + l. Is l a multiple of 6?
False
Suppose -3*y = -0*g + 2*g, -4*y = -3*g. Suppose g = v + 13 - 97. Does 12 divide v?
True
Let p be (1 + (-58)/6)*(16 + -46). Suppose 4*h - p = -16. Is 11 a factor of h?
False
Let s be (-62)/(-93)*45/2. Let z be ((-6)/4)/((-2)/24). Suppose -s = -3*c, -2*c - 4 = -b + z. Does 8 divide b?
True
Let k = 27 + 6. Let h(x) = -x**2 - 5*x + 4. Let n be h(-5). Suppose p - k = -3*s + 4*p, -62 = -n*s - 5*p. Is 13 a factor of s?
True
Let m(x) = x**2 + x + 26. Let q be m(0). Suppose -4*o + 5*o = q. Is 26 a factor of o?
True
Let c(g) = 382*g - 93. Is c(8) a multiple of 13?
False
Let t = 1566 + -991. Is t a multiple of 23?
True
Suppose 3*f + 2*i - 824 = 0, 686 = 5*f + i - 678. Does 16 divide f?
True
Suppose -4*b - 2*x = -150, b + 5*x + 45 = 3*b. Suppose -5*i + 10*i = b. Suppose 10*h = i*h + 33. Is h a multiple of 11?
True
Let t = 31 + -28. Is (158/(-6))/(t/(-9)) a multiple of 12?
False
Suppose 0*n = n + 7. Does 14 divide n*-2*(-3 - -4)?
True
Let l(g) = -52*g - 19. Let n = 82 - 87. Is 17 a factor of l(n)?
False
Suppose 6*g = -2*h + 5*g + 332, g - 668 = -4*h. Is 8 a factor of h?
True
Suppose -1898 = -3*f + 4*b, 5*b - 499 = -f + 140. Is 13 a factor of f?
False
Let v be 418/6 + 2/(-3). Let w be ((-5)/(15/(-6)))/((-2)/(-277)). Suppose t + 4*b - 