pose 5*c = -m + 17543, -14*c = -2*m - 16*c + 35030. Is 12 a factor of m?
True
Suppose -c + 1505 + 2596 = -2*v, -4*c = 3*v - 16393. Does 19 divide c?
False
Let g(v) = v**2 + 6*v - 13. Let q be g(-8). Suppose -2*z = q*f - 719, -f + 5*z + 92 + 176 = 0. Does 28 divide f?
False
Suppose -u + 4*c = 35, c - 105 = 2*u + u. Let z = u + 30. Let i = 6 - z. Is i a multiple of 2?
False
Let x be 43267/14 - 3/(-6). Suppose 11*f - x = 9394. Is 60 a factor of f?
False
Let s be (-11)/(-1) + -7 + 6. Suppose -u = -s*u + 1656. Suppose -5*r = -16 - u. Is 12 a factor of r?
False
Suppose 6*r - 4*r + 3784 = 2*i, 5*i - 9487 = 2*r. Does 28 divide i?
False
Let l = -94 + 169. Suppose l = 4*j - 5. Suppose d + 0*d - j = 0. Is d a multiple of 2?
True
Let k(l) = 2*l. Let r(g) = -16*g - 16. Let o(z) = -10*k(z) - r(z). Is o(-24) a multiple of 4?
True
Suppose 3 = -15*v + 18. Let z be 0 - ((-34)/(1/v) - -2). Suppose -79*d = -77*d - z. Is d a multiple of 11?
False
Let w be (1767/(-5) - -1) + 30/(-50). Let z = -56 - w. Does 49 divide z?
False
Let k(h) = 12*h**2 + 3*h + 3. Let c be k(-5). Suppose 0*b = -3*b + c. Let r = 143 - b. Is 5 a factor of r?
False
Suppose -40*u + 1462 = 22822. Suppose 3*n = 1283 + 1066. Let f = u + n. Is f a multiple of 34?
False
Suppose -b = -6*l - 8166, 3*b - 9686 = 4*l + 14882. Does 12 divide b?
True
Suppose -14 = 2*q - 6. Let x be (-18)/(q - (-5)/2). Suppose x = -c + 30. Is 7 a factor of c?
False
Let b = -40 + 40. Suppose -4*c - c - 3*g + 41 = b, -13 = -3*c + 4*g. Suppose c*v = 2*v + 350. Does 15 divide v?
False
Let o = -305 - -211. Let l = o - -136. Is l a multiple of 10?
False
Let v = 27016 + -17305. Does 9 divide v?
True
Suppose 35*s - 42394 = -12*s. Is 2 a factor of s?
True
Suppose 12*a - 384 = 4*a. Suppose 9*i - a*i + 17511 = 0. Is 15 a factor of i?
False
Suppose -24892 = -4*w + 4*g, -12442 = -28*w + 26*w + g. Does 11 divide w?
False
Let q(t) = 176*t**2 + 13*t + 2. Let a be 234/(-195)*(-5)/(-2). Is q(a) a multiple of 91?
True
Let u be 2*-2 - (-1 + 82)/(-3). Suppose u*n - 847 = 6582. Is 17 a factor of n?
True
Let g(d) be the first derivative of d**4/4 - 16*d**3/3 - d**2/2 + 31*d + 32. Let q be g(16). Is 19 a factor of (3 + (-95)/q)/((-3)/99)?
False
Let d(o) = 160*o**3. Let x be d(1). Let c = x + -86. Suppose -73 - c = -7*l. Is l a multiple of 3?
True
Suppose 0 = -17*c + 15*c + 6840. Is c a multiple of 12?
True
Suppose 0 = m + 3*g - 23, -3*m - 3*g = -7*g - 95. Suppose 7*h + 104 + m = 0. Let x = 71 + h. Does 9 divide x?
False
Suppose -13*o = -27893 - 51823. Is 6 a factor of o?
True
Let y(s) = 14*s - 169. Let m be y(11). Let h(z) = 4*z**2 - 50*z - 4. Is h(m) a multiple of 24?
False
Let h = 32 - 82. Suppose 25*g = 1099 + 851. Let v = h + g. Is v a multiple of 7?
True
Let s = 50983 - 31831. Does 152 divide s?
True
Suppose -9 = 5*s - 29. Suppose 0 = -p - c + 1, 0 = 4*p - s*c - c - 13. Suppose -4*v = -4*w - 84, 0*v + p*w - 22 = -2*v. Is v a multiple of 2?
True
Let n = -74 - -74. Suppose n = -6*s - 262 + 46. Let v = s - -94. Does 14 divide v?
False
Does 27 divide -1 + (-8)/(-20) + (-886032)/(-20)?
False
Let g be (0 - 122/4)*2. Let m = 1604 + -1453. Let o = m + g. Is 16 a factor of o?
False
Let z(j) = j**3 + 9*j**2 - 11*j + 24. Let t be z(-10). Suppose -5*k = p - 209, -2*k + k + p = -37. Let n = k - t. Is 5 a factor of n?
False
Suppose 9 - 1 = u - 4*k, -2*k - 70 = 5*u. Let m = u + 8. Let s(b) = b**2 + 2*b - 1. Is s(m) a multiple of 2?
False
Suppose -3*w + x + 2992 = -24280, x = -2*w + 18168. Does 4 divide w?
True
Let o(s) = -6*s + 2. Suppose 0 = -2*h + 2*b - 10, -3*h + 2*h - 4*b + 5 = 0. Let c be o(h). Let r = c + -7. Is 9 a factor of r?
False
Suppose -5002 = 8*c - 17774 - 8452. Does 4 divide c?
False
Suppose 5 = -170*m + 169*m, 2*w = 4*m + 3774. Does 6 divide w?
False
Suppose 130*u - 2800334 = 2944844 - 2154448. Is 297 a factor of u?
True
Let i be 25/20*4/(-10)*0. Suppose i = 10*q - q - 17388. Is (-4)/20 + q/10 a multiple of 33?
False
Let d(m) = 3*m**2 - 2*m - 37. Let h(t) = 2*t**2 - t - 25. Let r(y) = 5*d(y) - 7*h(y). Let z be r(-3). Let x(s) = 2*s**2 - 8*s - 15. Is x(z) a multiple of 7?
True
Let x(g) = g**2 - 2*g - 22. Let u be x(-4). Suppose 4*a - 32 = -u*w + 18, 5*a + 68 = 2*w. Is w a multiple of 29?
True
Let b = 7403 - 3264. Does 267 divide b?
False
Suppose -15*x = -19*x - 12. Does 9 divide 4 - (826/x - 3/(-9))?
True
Let h(y) = y**3 - 14*y**2 - 2*y + 33. Suppose 63 = 6*t - 21. Let q be h(t). Suppose 0 = u + q*u - 450. Is u a multiple of 7?
False
Suppose -s = -3*l + 16895 - 1096, -4*l = s - 21056. Is l a multiple of 9?
True
Suppose 3*n + n = 3*n. Suppose -3*l + n*l = y - 81, 4*y - 404 = 4*l. Does 16 divide y?
True
Let t(f) = 8*f**2 - 183*f + 1443. Is 225 a factor of t(-53)?
False
Let j(f) = 235*f + 3420. Is 5 a factor of j(-14)?
True
Let r(t) = -7*t**3 + t**2 + 8*t**2 - 8*t - 12*t**2. Let j be r(-5). Suppose c = 6*c - j. Is 28 a factor of c?
True
Let w = 5421 + -195. Is 26 a factor of w?
True
Suppose 4*i + 18736 = 2*v, -2*v + 154*i + 18745 = 151*i. Does 5 divide v?
False
Let j(k) = -11*k - 2*k**2 + k**2 - 8 - 4 - k**2. Let x be j(-7). Let l = x - -54. Is 4 a factor of l?
False
Let d = -1702 - -5246. Is 4 a factor of d?
True
Let v = 45366 - 2360. Is 11 a factor of v?
False
Let c = -19 - -23. Is ((-2471)/(-21))/(c/(10 + 2)) a multiple of 43?
False
Suppose 2*v - 108 = -v. Is 11 a factor of (15/(-5) + v)*1?
True
Suppose -10*b = -2303 - 7447. Is 13 a factor of b?
True
Suppose 529 = -8*w + 1313. Suppose -4*o - 2*h = -w, h + 33 + 86 = 5*o. Is 1794/o + 3/(-12)*-1 a multiple of 19?
False
Does 6 divide (-273)/(-14)*(-1950)/(-9)?
False
Suppose -3*x - 3*c + 379 = 13, -3*x + 2*c = -331. Is 5 a factor of x?
True
Let n be 39*((-481)/444)/((-2)/104). Suppose -52*r = -n + 429. Is 17 a factor of r?
True
Does 17 divide (-568 + (4 - -1))*(-16 - 3)?
False
Suppose -7*g + 9*g = 3*f + 666, -3*f - g = 675. Suppose 4*a + 1536 = 4*j, -3*a - 2*a - 5*j = 1960. Let q = f - a. Is q a multiple of 19?
False
Let a be -1*(-2)/(-14) + 4113/(-21). Does 11 divide ((-539)/a)/((-1)/(-8))?
True
Let m = -29 - -54. Let h = 27 - m. Suppose 2*q - 5*l - 52 = -2*l, h*l - 32 = -2*q. Does 5 divide q?
True
Let u = 2 + 6. Let t be (11/2)/(u/80). Let d = t + -33. Is d a multiple of 11?
True
Let f be ((-4)/(-2))/(8/(-44)). Is 31 a factor of 1394/3 + f/(-33)?
True
Suppose 3*s + 0*s = 63. Suppose -3*o + x + 54 = -2*o, o - 3*x - 46 = 0. Suppose -4*n = -4*m + 156, m - o = 3*n - s. Does 8 divide m?
True
Let q(a) = -a**3 + 2*a**2 - 4. Let g be q(4). Let r be (g/(-7))/(-2)*(-2 + -26). Suppose -c + z + r + 57 = 0, 3*c = -3*z + 405. Is 20 a factor of c?
False
Let v = -771 - -1298. Let a = -143 + v. Is 22 a factor of a?
False
Suppose 7*y - 12012 = 22715. Does 34 divide y?
False
Let s(l) = -l + 24. Let x(h) = -h**3 - 2*h**2 + 2*h. Let v be x(-3). Let u be 5/(v + (-28)/8) - -1. Is 11 a factor of s(u)?
True
Let p = 737 + -728. Is 10 a factor of (p/(-2) - -3)/(3/(-410))?
False
Suppose -4*r - 4*a + 44502 = -132470, 2*r - 3*a = 88491. Suppose 38*w - 2*w - r = 0. Is 19 a factor of w?
False
Let i(g) = -g**2 + 21*g - 3. Let w(d) = -2*d**2 + 41*d - 5. Let j(b) = -11*i(b) + 6*w(b). Let n be j(13). Let v = 97 - n. Is 17 a factor of v?
True
Does 96 divide 74/(-333) + (-56524)/(-18)?
False
Let s = 181 + -175. Suppose 1536 = s*a - 1794. Is 15 a factor of a?
True
Suppose 0*d + 3*r + 246 = d, 2*r = -3*d + 716. Suppose 17*o = 20*o - d. Suppose -o = 4*q - 6*q. Is q a multiple of 20?
True
Suppose -k = 3*k - 4*n + 48, -3*k - 2*n = 21. Let g be (174/54 + 2/k)*-1. Let y(x) = -2*x**3 - 6*x**2 - 7*x - 1. Is 3 a factor of y(g)?
False
Let c(k) = -203*k + 5475. Is 49 a factor of c(-43)?
False
Let l(o) = 3*o**2 - o - 16. Suppose 4 = 3*d - 5. Suppose d*i = 70 - 55. Is l(i) a multiple of 11?
False
Suppose -1739*i = -1750*i + 52503. Does 129 divide i?
True
Suppose 2*h - 4*d - 3 = d, -2*h = -d - 7. Suppose 75 = -3*i + f - 4*f, h*f + 70 = -3*i. Is 35 a factor of (92/(-6))/(5/i)?
False
Suppose -2*i = 5*r - 64, 0*r + 50 = 4*r + 2*i. Suppose 20*x - r*x = 528. Does 8 divide x?
True
Suppose 2*k + 336 = -3*z, 10*z - 5*z - 4*k + 582 = 0. Is 9 a factor of (-54 + 48)/((-2)/z*-1)?
True
Let r be 229/4 + (-132)/(-176). Suppose -9632 = -r*d + 15*d. Does 16 divide d?
True
Suppose -192*s = -156*s - 236952. Is 6 a factor of s?
True
Suppose -204*p + 4*h = -207*p 