 - 932234 = 205*x. Does 96 divide x?
True
Suppose -1390 - 2253 = -k + 1349. Is 4 a factor of k?
True
Suppose 0 = -5*c - a - 1887, c = -5*a - 186 - 201. Let g = 75 - c. Is 10 a factor of g?
False
Let x(o) be the third derivative of -o**4/12 + 5*o**3/3 + 8*o**2. Let p be x(-5). Let j(f) = -f**3 + 19*f**2 + 21*f - 2. Is 6 a factor of j(p)?
True
Suppose -186*q = -162*q - 262272. Does 16 divide q?
True
Let l(c) = c**2 - 6*c - 2. Suppose 2 = 2*f - 12. Let v be l(f). Suppose 0*p + v*p - 555 = 0. Is 12 a factor of p?
False
Suppose -w = -5*w - 5*l + 68, -2*w = 2*l - 36. Suppose -5*b + w = 12. Suppose 0 = -b*i + 3*v - 5*v + 62, -5*i - 4*v = -154. Is 21 a factor of i?
False
Is 58 a factor of (-17)/(153/(-27189)) - 14?
False
Suppose -20 = -2*m + 4*w, -2*m + 6*w - w + 24 = 0. Let i(n) = 0 - 132*n**2 + 133*n**m - 2 + 7*n. Is 16 a factor of i(2)?
True
Suppose 0 = -7*j - 5 + 12. Let u be (3 - (-12)/4 - -1) + j. Is (u + -3 - 4)*115 a multiple of 20?
False
Suppose -6*v + 164 + 154 = 0. Let i = 49 - v. Is 27 a factor of (-1)/((-862)/(-216) + i)?
True
Suppose 3*m - 1138 = 5*r, 2*m + 0*r + 3*r - 784 = 0. Let y = 578 - m. Is 24 a factor of y?
True
Suppose b - p - 28 - 9 = 0, -99 = -3*b - p. Suppose 7*o - 26 = 2. Suppose o*k - f - 29 = b, -2*k + 34 = 2*f. Is k a multiple of 15?
False
Let t be 2*2121/49*7. Suppose d - 289 = 2*x, 2*x + t = 5*d - 847. Is 40 a factor of d?
False
Suppose s = s - s. Suppose s = 15*t - 12*t - 1311. Is t a multiple of 13?
False
Let i(c) = 11*c - 43. Let y(h) = -11*h + 44. Let m(o) = -3*i(o) - 4*y(o). Let v = 25 - 16. Is 8 a factor of m(v)?
False
Suppose 328 = h + 327. Suppose -f - h = -57. Is f a multiple of 14?
True
Let n(f) = f**2 + 4*f - 17. Let x be n(-11). Let d = x - 57. Suppose -5*m + 10 = 0, -d*b + 450 = 2*b - 5*m. Is b a multiple of 16?
False
Let i be (-3 - -8 - 2)/((-9)/(-30)). Let r be 42/(-30) + 1 + 904/i. Let q = r - 68. Is q a multiple of 5?
False
Suppose 0 = -5*o + 4*w - 14, -o - 3*w - 36 = 3*o. Let b(q) = 12*q + 63. Let f be b(o). Is f/(-18) + (-358)/(-4) a multiple of 30?
True
Let m(y) = y**3 + 34*y**2 + 110*y - 101. Is 50 a factor of m(-30)?
False
Does 29 divide 4500/(-200)*406*(-4)/10?
True
Let m(s) = -s**2 + 2*s - 3. Let t be m(3). Let w be 1*(3/t)/((-4)/(-32)). Let z(i) = 4*i**2 + 2. Is z(w) a multiple of 11?
True
Let y = -7808 - -18420. Is y a multiple of 14?
True
Let k(l) = -2*l**3 + 4*l**2 + 21*l + 21. Is 11 a factor of k(-7)?
False
Let l(x) = x**2 + 9*x - 9. Let n be l(-10). Let z = n - -127. Suppose k = 2*c + 29, 4*k - 4*c - z = c. Does 9 divide k?
False
Let a = -105 - -106. Let o be (9/15 - a)/(1/(-610)). Is 6/(-4)*(o/(-12) - -5) a multiple of 9?
False
Suppose -3*f = -5*w - 596, 567 + 493 = 5*f + 5*w. Is f a multiple of 23?
True
Let n = 1165 + 4609. Is 21 a factor of n?
False
Let o(v) = 12*v - 2*v - v - 23 + 16. Let j be o(2). Suppose 5*a = -5, a = -5*m + 4*m + j. Is m a multiple of 12?
True
Let d(c) = 2*c**2 + 2*c + 1. Let m be d(-2). Let b(z) = 149 - z**2 - 164 - 5*z + 4*z**2 + 3*z. Is 25 a factor of b(m)?
True
Let p = -170 - -261. Let i(z) = -185*z + 30 + 90*z + p*z. Does 31 divide i(-8)?
True
Let g(m) = 25*m + 17. Let u = 10 - 2. Does 10 divide g(u)?
False
Suppose -5*o = -60*p + 64*p - 1073, 2*p - 641 = -3*o. Is o a multiple of 2?
False
Is 1*-1 - (21 + (-194684)/14) a multiple of 89?
True
Let c(t) = 300*t + 100. Let r be c(12). Suppose 0 = -2*d + r - 490. Is d a multiple of 35?
False
Let s = 311 + -308. Is 12 a factor of 76/(7 + -3) + 2 + s?
True
Is 40 a factor of (-6638850)/(-1110) + 6/111?
False
Suppose -3*q - 10561 = -4*t, -2*t - q = -0*t - 5283. Let g = t - 1585. Does 96 divide g?
True
Does 80 divide (4 - 10140/(-10))*7/((-14)/(-20))?
False
Let u be (-66)/(-14) - (-4)/14. Let g be 15*(-13 - (-600)/45). Suppose -3*q + 35 = g*s, -u*s + 3*q = -67 + 2. Is s a multiple of 9?
False
Let m(d) = -d**3 + 7*d**2 - 4*d - 5. Suppose -2*j = 5 - 13. Let i be m(j). Suppose -292 = -i*n + 23*n. Does 10 divide n?
False
Let j = 60 - 43. Suppose -3*s + 289 = -5*c, -6*c + 2*c = 3*s - 325. Suppose s = 5*m - j. Does 8 divide m?
True
Let l(u) = -u**3 - 2*u**2 - 4*u - 8. Let f be l(-2). Suppose f = 2*h - 3*k - 817, -4*h - 344 = -4*k - 1988. Does 32 divide h?
True
Let b = 285 + 2129. Suppose 13*p - 1447 = b. Is 13 a factor of p?
False
Suppose 0 = -627*o + 616*o + 132. Suppose 5*g = 4*f, 5*f - 3*g - 17 = -g. Suppose 0 = z + 3*z - o, -f*i = -3*z - 466. Does 6 divide i?
False
Let f = 40422 + -28270. Is 14 a factor of f?
True
Let y be (-89)/2 + (-2)/4. Suppose -u + 5*f = 2*u - 326, -552 = -5*u + 4*f. Let v = u + y. Does 14 divide v?
False
Suppose -k - k = 0, 5*k - 16940 = -5*q. Is 7 a factor of q?
True
Suppose 124*p - 206552 - 115848 = 0. Is 52 a factor of p?
True
Let o be (-194)/(((-4)/5)/(2/5)). Let i = o + -34. Let x = 85 - i. Is x a multiple of 12?
False
Let k be (-2 + 4 - 6) + -123 + 124. Let a(u) = 198*u**2 + 13*u + 39. Is a(k) a multiple of 90?
False
Let l = 22964 - -2083. Is 11 a factor of l?
True
Let z(a) = 260*a - 431. Is z(6) a multiple of 3?
False
Let s = 75 - 24. Let i = -13 + s. Let f = i - -28. Does 10 divide f?
False
Let d(f) = 11*f**3 + 49*f - 307. Does 17 divide d(6)?
True
Suppose -5*m = k + 1 - 2, 0 = m - k - 5. Let a be (1104/18 - 4)/(m/3). Does 22 divide 1/((-2 - -3)/a)?
False
Let a be (-15)/35 + 30/21. Is 4 a factor of 2*(a + -2)*-20?
True
Suppose 4*v - 368 = 604. Suppose -v = 26*s - 27*s. Does 47 divide s?
False
Let n be (419 - -1) + (2 - 2). Suppose 6*s = 2*s - n. Let d = s - -136. Is d a multiple of 26?
False
Suppose -6*a + 97161 = -90477. Is a a multiple of 11?
True
Suppose 0 + 1 = -l, -963 = -o - l. Suppose 0 = 14*v - 1416 - o. Is 17 a factor of v?
True
Suppose -3009*c + 729 = -3006*c. Suppose 2*k + 147 = i + 360, -c = -2*k - 5*i. Does 31 divide k?
False
Let y = 990 - 1742. Let z = -473 - y. Is 9 a factor of z?
True
Does 116 divide 2222304/144 - (-2)/(-3) - (5 - 1)?
True
Suppose -7*u + 3*u + 3*f = -1, -3*u - 5*f = -37. Suppose m - 8*b = -u*b + 15, -2*m = -b - 51. Is 32 a factor of (-42)/(6/4*(-6)/m)?
False
Suppose 4*n - 2*i - 119408 = 0, -527*n + 532*n + 5*i - 149275 = 0. Is 13 a factor of n?
False
Suppose 4*w = 25*y - 24*y - 3417, w - 3417 = -y. Is 3 a factor of y?
True
Suppose -l - 68 = -1020. Suppose s + 3*s - l = -2*w, -3*w - 2*s = -1440. Is w a multiple of 40?
False
Is 26 a factor of 2/((-4)/(-32064)*3)?
False
Let z(p) = 705*p**2 + 65*p + 373. Is z(-5) a multiple of 23?
False
Suppose -9*m = -1139 + 86. Is 13 a factor of -5 + (-1 - 0)*-5 + m?
True
Suppose 3*x - 21*g + 23*g = 4552, -4546 = -3*x + g. Does 94 divide x?
False
Let t(d) be the second derivative of 7*d**3/2 + 6*d**2 - 96*d. Does 54 divide t(2)?
True
Suppose -4*c + 3*p + 5 = -6*c, 3*c - 20 = p. Suppose -w - 3*n + 557 = -4*n, w - 541 = c*n. Does 16 divide w?
False
Let n(o) = 2*o**3 - 61*o**2 + 31*o - 23. Let q be n(30). Suppose 0 = -q*u + 1370 + 3740. Does 39 divide u?
False
Let r = 775 + -262. Let f = r + 279. Does 66 divide f?
True
Let s(d) = 35*d**2 - 10*d - 11. Let k be s(5). Suppose -2130 - k = -16*b. Does 16 divide b?
False
Suppose -5*o + p = -154 + 49, 0 = -3*o + p + 65. Is 29 a factor of 5/(o/3) - 26073/(-36)?
True
Let u(h) = -h**3 + 8*h**2 + 19*h + 15. Let x be u(10). Suppose -s + x*d = -2*s + 171, -5*s = 2*d - 809. Let v = s + -47. Does 17 divide v?
False
Let m be ((-11)/11)/((-2)/180 + 0). Suppose -495 = -y + m. Is y a multiple of 77?
False
Let d(o) = -16190*o - 188. Is d(-1) a multiple of 127?
True
Let x(k) = 6*k - 19. Let c be x(4). Suppose c*s + a = 29 + 113, a - 2 = 0. Is 11 a factor of s?
False
Let q = -479 - -528. Suppose -4*j + 5*w = -631, -46*w + 9 = -q*w. Is 22 a factor of j?
True
Let u(g) = 4648*g**2 - 808*g + 1614. Does 130 divide u(2)?
True
Suppose t - 399 = 4*t. Let u = 135 + t. Suppose n + 2*l - 50 = 0, u*n + 5*l - 230 = -3*n. Is n a multiple of 12?
False
Suppose -2*o + a + 224 = 0, a = -0 + 2. Let h be -22 - -25 - (-213)/(-3). Let d = o + h. Does 15 divide d?
True
Let q(d) = -d**3 + 4*d**2 - 3*d - 10. Let n be q(6). Let y = -215 - n. Let r = -70 - y. Is r a multiple of 9?
True
Let m = -104 + 109. Suppose 0 = -f + 5*t + 696, -17*f + 20*f + m*t - 2068 = 0. Does 32 divide f?
False
Suppose -2*n = -8, 2995 = 3*j + 2*n - 4585. Is j a multiple of 55?
False
Suppose -2*b - 33*b - 29*b + 111232 = 0. Is b a multiple of 172?
Fals