3*x + 3*t - 2655 = 0. Is x a multiple of 2?
False
Suppose -113 = -11*g - 399. Is 16 a factor of ((252/(-3))/3)/(2/g)?
False
Suppose 2*v - 260*n + 264*n - 32134 = 0, -80413 = -5*v + 3*n. Is 34 a factor of v?
False
Let z = -608 - -611. Suppose 0 = 32*h - 33*h - 1, 3783 = 5*u - z*h. Does 12 divide u?
True
Let q(t) = 6*t + 23. Let f be q(3). Suppose 24*x - f*x + 16371 = 0. Does 78 divide x?
False
Let b be 3/((36/224)/3). Let c = -215 + 175. Let s = c + b. Is s a multiple of 4?
True
Does 77 divide (9 + -7 - 0) + 17325 + -18?
False
Let h be (-2)/(-5) + (-83)/(-5). Suppose -4*g - 4 = -2*g + 2*s, -g - 12 = -s. Let c = h - g. Is 23 a factor of c?
False
Suppose -5*m + 0*m - 886 + 3756 = 0. Is 82 a factor of m?
True
Suppose -10*s - 163*s + 15*s = -563902. Does 43 divide s?
True
Let s = 53 - 57. Let x be 0 + 2 + s + 5. Is 31 a factor of (0/x)/1 + 123/3?
False
Let j = -8169 - -8664. Is 165 a factor of j?
True
Let k be 3052*((-5)/15 + (-7)/6). Let m = 0 + 2. Does 11 divide k/(-42) + 1/(m/4)?
False
Let r(v) = -3*v**3 + v**2 - 9. Let j(s) = 16*s**3 - 5*s**2 + 46. Let f(t) = 2*j(t) + 11*r(t). Let x be f(0). Is 42 a factor of (1*x/4)/(3/(-144))?
True
Let x = -285 - -539. Let p = 380 - x. Does 21 divide p?
True
Let m(f) = f**3 + 5*f**2 - 6*f + 2. Suppose -h = h + 10. Let a be m(h). Suppose -31 - a = -3*y. Is y a multiple of 11?
False
Suppose -107 = -11*z - 52. Suppose z*m + 54 = 2*c, m - 6*m - 105 = -5*c. Is c a multiple of 3?
False
Let d = 529 - 440. Suppose -92*m + d*m = -2268. Is m a multiple of 14?
True
Suppose -3*m = -9, -m - 558 = -2*x + 411. Is x a multiple of 17?
False
Suppose -419*q - 87340 = -5*c - 414*q, -4*c - q = -69862. Does 142 divide c?
True
Let m(d) = 2*d - 13. Let u = 50 + -41. Let g be m(u). Suppose -3*y = -6*y + g*o + 225, -2*o = -3*y + 225. Does 13 divide y?
False
Let v(t) = 7*t - 18. Let d = -55 - -73. Let w = 31 - d. Does 7 divide v(w)?
False
Suppose 15*j - 2*a = 19*j - 46738, a + 70087 = 6*j. Is j a multiple of 22?
True
Let y(p) = -p**3 + 4*p**2 + 16*p - 21. Let d be y(6). Let u be ((-9)/d - -74)/(-1). Let t = u - -168. Is 6 a factor of t?
False
Let s = 38 + -28. Suppose -15*t + 10 = -s*t. Suppose 28 - 8 = t*d. Is 3 a factor of d?
False
Suppose -5 - 4 = -3*z. Suppose 21*p + 68 = 215. Suppose i - z = p. Is 7 a factor of i?
False
Suppose 36 = 7*u + 1. Suppose -5*p = u*j - 3080, 3*p + 4*j - 577 = 1269. Does 14 divide p?
False
Let a = -462 + 498. Suppose -3*r = 4*w - 447, -2*r - 5*w + 450 = r. Let t = r + a. Is t a multiple of 24?
False
Let c(v) = -3*v - 2*v**3 - 3*v**2 - 3 - 2*v**2 + v**3 + 0*v**2. Suppose -22*r - 10 = -20*r. Is c(r) a multiple of 7?
False
Suppose -r + 5 = -0*r. Suppose r*c = 8*c + 6. Is 33 - -2*c/(-4) a multiple of 5?
False
Let i = -503 + 893. Suppose 2*r - 62 - 700 = -4*h, 0 = 2*h + 4*r - i. Does 3 divide h?
True
Suppose -37*p = -26794 - 19345. Does 41 divide p?
False
Suppose 694 = 8*v - 82. Suppose -v + 67 = -5*f. Suppose 0 = 12*w - f*w - 240. Is 4 a factor of w?
True
Let d(h) = -2*h**2 - 83*h + 14582. Does 23 divide d(0)?
True
Suppose 0 = 3*j - q - 415, -3*j - 3*q = -164 - 235. Suppose 0 = 14*r - j - 3153. Is r a multiple of 47?
True
Let g(j) = 3*j**2 - j. Let s be g(1). Let u = 85 + -47. Suppose -y + s*r + 12 = -8, 0 = 3*y + 5*r - u. Does 16 divide y?
True
Let t(g) = -409*g - 1158. Is t(-18) a multiple of 44?
True
Suppose 37*m + 11*m = 34*m + 58520. Is m a multiple of 44?
True
Suppose 8*c - 794 = 206. Suppose 130*r - 765 = c*r. Is 17 a factor of r?
True
Let m(y) = 15*y**2 - 8*y - 6. Let f be m(-3). Let x = f + -28. Is x a multiple of 23?
False
Let w(v) = v. Let y(n) = -68*n + 136. Let i(r) = -85*w(r) - y(r). Is 11 a factor of i(-12)?
False
Let g(c) = 670*c - 218. Is 10 a factor of g(3)?
False
Suppose -60*z + 80726 + 100294 = 24540. Does 183 divide z?
False
Suppose 2*h + 196 = -3*h - 2*v, 5*h + 198 = -v. Let s be (-1)/(h/(-45) + -1). Suppose 4*n - s*n + 275 = 0. Is n a multiple of 29?
False
Let h(f) = 3*f**2 - 22*f + 11. Let s be h(7). Let t(b) = 4*b**3 - 4*b**2 - 6*b - 8. Does 11 divide t(s)?
False
Suppose 0 = 8*y + 8*y - 76816. Is y a multiple of 6?
False
Suppose q - 3*q = 0. Suppose 5*r - 3*w + 2 + 43 = 0, 2*w - 10 = q. Does 30 divide r/51 - 7760/(-68)?
False
Suppose -114404 = -65*p + 15401. Is 4 a factor of p?
False
Let r be 105/28 - (-5)/20. Suppose 4*g = -c + 119, 2*g + r*c - 72 + 16 = 0. Is g a multiple of 4?
False
Let g(r) = -98*r - 39. Let x(h) = 1665*h + 665. Let q(z) = 35*g(z) + 2*x(z). Is q(-8) a multiple of 51?
True
Suppose -3*g - 17 = 10. Let u be 3/g*(2 + 106 + 3). Let p = u + 77. Does 20 divide p?
True
Suppose -2128*j + 2*f = -2129*j + 13895, 4*f = 5*j - 69517. Does 184 divide j?
False
Let c = 3544 + -1255. Does 21 divide c?
True
Does 23 divide (7 - (0 - -4))/((-12)/658280*-5)?
False
Let u(d) = 51*d - 36*d + 59 - 6. Is u(6) a multiple of 10?
False
Is 13/4*651372/93 a multiple of 16?
False
Suppose -10*p + 5*p + 5400 = 0. Suppose s + p = 5*s. Does 9 divide s?
True
Suppose 0 = -9*r + 17 + 10. Suppose -r*k = -5*b + 335, -5*b + 5*k + 300 = 9*k. Does 2 divide b?
True
Let n(k) = -k**3 - 9*k**2 + 416*k + 134. Does 83 divide n(-31)?
False
Let o be (-12075)/(-60) + (-15)/12. Let d = o + -172. Does 3 divide d?
False
Let u = -46 + 51. Suppose -u*s - 11 + 26 = 0. Suppose 5*f + 4*t - 63 = -0*t, 9 = -s*t. Is 5 a factor of f?
True
Suppose 0 = 6*a + 347 - 365. Let b(y) = -38*y. Let v be b(-3). Is 24 a factor of (a - v/(-9))*(4 - 1)?
False
Does 5 divide (-12 - (15 - 39)) + (1 - -15017)?
True
Let j = 26783 + -17744. Is j a multiple of 33?
False
Suppose -22*b = -18*b - 2212. Let d = b + -321. Does 15 divide d?
False
Let z(p) = p**2 + 2*p - 23. Let u(d) = 2*d**2 + 18*d + 8. Let w be u(-9). Does 13 divide z(w)?
False
Let a(q) = q**3 + 6*q**2 + 2*q + 25. Let s(o) be the first derivative of -o**4/2 - 4*o**3 - 5*o**2/2 - 51*o + 18. Let r(v) = -5*a(v) - 2*s(v). Is r(-7) even?
True
Let t(m) = -m**3 - 12*m**2 - 2*m + 83. Let f be t(-11). Does 31 divide (-2*12152/f)/((-3)/(-3))?
True
Let k = 539 - 505. Suppose k*b = 698 + 10862. Does 9 divide b?
False
Is (-25)/(-350) - 1873113/(-42) a multiple of 24?
False
Suppose 0 = -68*s + 77*s - 6300. Suppose 7*n - 266 = s. Is n a multiple of 6?
True
Let o be 8/4*12/8. Suppose -4*j = j - 3*f - 334, -j + o*f + 74 = 0. Is 65 a factor of j?
True
Suppose k + 12 = -5*s, 3*k + 0*k + 3*s - 12 = 0. Let b be (28/k)/(2/(-4)). Let f = 31 + b. Is f a multiple of 4?
True
Suppose 0 = -57*f + 6*f + 274380. Is f a multiple of 20?
True
Does 279 divide ((-189)/28)/(4969/(-29760) - 41/(-246))?
True
Let c(y) = -y - 14. Let w be c(-19). Suppose 0*q + w*q + 20 = 0. Is (q - (-90)/21) + (-458)/(-14) a multiple of 12?
False
Suppose -2*u = 4*s - 134, -5*s - 3*u = 28 - 198. Let d = -25 - -6. Let j = s - d. Is j a multiple of 25?
True
Suppose -94 = 2*f - 3*y + 129, -2*f - 241 = 3*y. Let q = 443 + f. Is 17 a factor of q?
False
Suppose -72*a + 78*a = 4212. Suppose -3*k + 1053 = -5*r + 391, 3*k + 3*r = a. Is 21 a factor of k?
False
Let w = -8 - 7. Let g be (-231)/w + (-2)/5. Suppose 72 - g = m. Does 11 divide m?
False
Let y = -22359 + 83988. Is 58 a factor of y?
False
Let r = 49 - 43. Suppose -6*x - r = -6. Suppose x = -y + 5, -6*j - 4*y + 71 = -3*j. Is 2 a factor of j?
False
Let b = 40 - 29. Suppose -b*k = -8*k - 2727. Is 6 a factor of k/21 + (-18)/63?
False
Let t be -1 + 3*(-3)/9 + 4. Suppose t*x - 350 = -162. Does 9 divide x?
False
Is 188 a factor of 1813266/1755*(-45)/(-2)?
False
Let d(u) = 2934 + 2952 - 5840 + 20*u. Is 63 a factor of d(22)?
False
Suppose -2*z + 224 = -10*z. Let r be (-4)/(-20) + z/(-10). Suppose -r*l = -2*y - 484 - 84, -4*l + 3*y = -756. Does 12 divide l?
True
Suppose 5*b = p - 48, -2*b + 26 + 214 = 5*p. Let x be 18/45 + p/5. Suppose -x*u + 1628 = -52. Does 26 divide u?
False
Let k(t) = -204*t - 43. Let v(w) = 206*w + 41. Let i(a) = -2*k(a) - 3*v(a). Does 9 divide i(-2)?
False
Let d = -3340 - -22576. Is d a multiple of 14?
True
Let j be ((-4)/((-24)/(-306)))/1. Let i(u) = -u**2 - 56*u - 127. Is i(j) a multiple of 33?
False
Let f = -2144 - -5113. Is 66 a factor of f?
False
Let v = 323 + -443. Let t = 536 + v. Is t a multiple of 16?
True
Suppose 7*v - 5*v - 108 = 4*g, -3*v + 187 = -g. Is 26 a factor of ((-48)/6)/v - 786/(-16)?
False
Let p be (-7)/(-5) - (-28)/(-70). Is 27 a factor of 0 + 269/p + (-5 - 