factor of u?
False
Let n be (-2170)/(-8 + 7 + -1). Let a = n + -818. Is 9 a factor of a?
False
Let s = -30473 + 44424. Is s a multiple of 63?
False
Let r be (-6)/(-21) + 180/7. Suppose 524 - r = n. Is 52 a factor of n?
False
Let u(d) = d**3 + d**2 - d + 689. Let i be u(0). Suppose -i = -3*r + 211. Is r a multiple of 25?
True
Let p(v) = -21 + 2 - 5 - 2*v + 13*v. Let x be p(12). Suppose 5*o = -2*q + x, 4*q = -3*o + 42 + 146. Does 4 divide q?
True
Suppose -4*x = 56 - 28. Is x + (1 - -2) - (-68)/1 a multiple of 7?
False
Suppose -3389833 - 14671511 = -289*d. Does 48 divide d?
True
Let p = -208 - -210. Suppose 5*r - 45 = p*q - 793, r = 4. Is 32 a factor of q?
True
Suppose -5*y = -5*t - 234100, -58781 = -2*y + 3*t + 34866. Does 12 divide y?
False
Let f(s) = s**3 - 35*s**2 + 34*s - 147. Is f(35) a multiple of 64?
False
Let h(d) = 194*d**2 + 31*d + 217. Is 216 a factor of h(-15)?
False
Let z(w) = w - 54. Let a(d) = -4*d + 160. Let x(f) = 5*a(f) + 16*z(f). Is 9 a factor of x(-25)?
True
Let s be 4 + -3 + -1 - -8. Suppose 14*d = 18*d - s. Suppose 3*p = d*p + 130. Is p a multiple of 30?
False
Let c be 4/(-34) - 46/(-391). Suppose c = 3*g + 5*o - 20, 2*g - 5 = -6*o + o. Does 14 divide g?
False
Let f(w) = 4*w**3 - 35*w**2 - 74*w - 33. Is 31 a factor of f(17)?
True
Let w(f) = -2*f**2 + 23 - 19*f + f**3 - 30 - 2*f**2 - 4*f**2. Let g be w(10). Suppose -4*p - g = -19. Is p a multiple of 2?
True
Let l be (12/(-1))/((-14)/175). Let t = -124 + l. Is t a multiple of 13?
True
Suppose 24*w - 4*v = 20*w + 8, -5*w - 5*v = -60. Let j(r) = -r + 16*r + 5 + 4. Is 12 a factor of j(w)?
False
Let t be 137 - (-5 + -5*4/(-5)). Suppose -6*c + t = -3*c + x, -168 = -4*c + 4*x. Does 36 divide c?
False
Let k = 2682 - 201. Suppose -m + 3103 = 5*f - 4*m, -m - k = -4*f. Does 59 divide f?
False
Let u(r) = -r**3 - 6*r**2 - r - 1. Let l be u(-6). Suppose 0*k = -4*k + 8, 5*c = l*k - 20. Does 29 divide c/(-18)*1299 - 2/(-3)?
True
Let o(k) = 519*k**2 + 427*k + 848. Does 69 divide o(-2)?
True
Let v(m) be the third derivative of -m**5/60 + 7*m**4/12 - m**3/6 + 37*m**2. Let w be v(14). Is 9 a factor of (-384)/(2*w)*(-4)/(-8)?
False
Let l(a) = a**3 + 32*a**2 - 33*a + 2. Let k be l(-33). Is 23 a factor of 4*1928/64*k?
False
Let v be (-60)/(-30) - (-1 + 1 + 0). Let h(b) = 10*b**3 + 3*b**2 - 8*b + 14. Is 5 a factor of h(v)?
True
Let k = 18219 - 8582. Does 7 divide k?
False
Suppose -5671 + 1027 = -12*c. Let l = c - 315. Does 5 divide l?
False
Let l(q) = 11*q**2 + 147 - 60*q + q - 12*q**2. Does 7 divide l(-56)?
True
Suppose -4*c + 534 = -5*l, -4*c - 3*l = -7*c + 399. Suppose -x + 46 = -c. Does 5 divide x?
False
Let r be (-3)/(-2)*90/27. Suppose 0 = -r*y - 3*n - 2, -4*y + 5*n + 26 = -y. Suppose y*t + 3*d + 11 = 3*t, -d + 73 = 3*t. Is t a multiple of 16?
False
Let f(y) = y**3 - 26*y**2 + 24*y - 857. Does 2 divide f(27)?
True
Suppose -6*c = -1208 - 910. Let n = c + -287. Is 33 a factor of n?
True
Let x = -356 - -429. Suppose -5*v = -k - 215, -4*k + 22 = 2*v - v. Suppose q = -5*r + v + x, 2*r = 4*q + 24. Is 8 a factor of r?
False
Is 71 a factor of -6 - (-121)/(99/9) - (2 + -41603)?
True
Suppose 0 = 3*c - 27, 44*m - 2*c = 37*m + 337473. Is m a multiple of 22?
False
Let u be (-14)/(-21)*114/2 + 0. Suppose -x = 8 - u. Suppose -x - 22 = -z. Does 7 divide z?
False
Let o = -3 - -7. Suppose -o*v + 839 = -217. Suppose -5*m + v = -m. Is 11 a factor of m?
True
Let n be 46/184 - (1 - 19/4). Suppose a = -n*a - 3*y + 348, -y = 4. Is 48 a factor of ((-60)/(-18))/(1/a)?
True
Is 75278/4 - (-3)/(-6) a multiple of 41?
True
Let w be -3 + ((-231)/84 - 1/4). Is (-182)/((-9)/w - 2) a multiple of 28?
True
Let d(r) = -3*r**3 - 4*r**2 + 6*r + 7. Let j be d(-4). Let w be j/9 + 2/3. Let o = 61 - w. Does 6 divide o?
True
Suppose 0 = 3*b - 2 + 5. Does 12 divide 195/1 + (-3 + 6)*b?
True
Suppose 5*n - 40745 - 70240 = 0. Does 7 divide n?
True
Suppose 0 = -3*m + 2*p + 34233, 14*p = -5*m + 9*p + 57080. Does 28 divide m?
False
Suppose 202*y - 3760160 = 60*y. Does 10 divide y?
True
Suppose 2*f + 2*l - 5274 = 0, 0*f = 5*f - l - 13203. Does 30 divide f?
True
Suppose 3*j = 6, -2*j + 11344 = 5*z - 15800. Is 15 a factor of z?
False
Suppose 0 = -5*j + 36 - 11. Suppose 4*v - 2*v - 17 = -5*r, 0 = -5*r - 4*v + 19. Suppose -2*q = 0, 0 = -j*u - 5*q + r*q + 300. Is u a multiple of 12?
True
Let a(y) = -y**3 - 11*y**2 - 8*y + 16. Let d be a(-10). Let h(p) = -58*p - 4. Is 57 a factor of h(d)?
True
Let h be (-1 + 10/4)/((-4)/(-48)). Suppose h = 5*g + 4*g. Suppose -g*n + n = 2*i - 88, 2*n - 4 = 0. Is i a multiple of 43?
True
Let c = 4022 - 1033. Does 13 divide c?
False
Suppose -g + 156 = 5*s, s - 2*g = -0*g + 40. Suppose -9*p - 16 = -13*p. Suppose l - t = -6*t - p, s = 4*l + 4*t. Does 8 divide l?
False
Let u(s) = -s**3 + 5*s**2 - 8*s + 21. Let q be u(4). Suppose 2*v + 4295 = 5*a + q*v, 0 = 4*a - 4*v - 3468. Is a a multiple of 32?
False
Let l(x) = -13*x**2 - 3*x. Let z be l(-3). Let d(a) = -a**3 - 45*a**2 - 125*a - 78. Let s be d(-42). Let t = z - s. Does 12 divide t?
True
Is 6 a factor of (0 + 15444/(-24))*-4?
True
Suppose 32*n + 2*n - 317662 = 0. Is n a multiple of 212?
False
Let b(l) = 3*l + 32. Let k be b(-9). Suppose 5*w - 4*w + 2*p = 688, -k*p = 2*w - 1375. Is w a multiple of 15?
True
Let x(n) = 30*n**2 - 34*n - 28. Is 94 a factor of x(-12)?
True
Let d(l) = 2*l**2 - 4*l - 88. Let o be d(11). Is (o + -2)*7/2 a multiple of 6?
True
Let x = -24 + 31. Suppose x*p = 2*p - 105. Is 64 - (2 + (-7)/(p/(-9))) a multiple of 13?
True
Let l(z) = 47 + 0*z - 45 + 6*z + 80*z**2. Is l(-1) a multiple of 12?
False
Suppose -f = -5*n - 30645, -5*f + 250662 - 97317 = -5*n. Is f a multiple of 53?
False
Suppose -8*y - 12874 = -38794. Does 108 divide y?
True
Let r = -179 + 180. Is 16 a factor of 1803/19 + r - 12/(-114)?
True
Let z = -3 - -16. Let w be (-23 + z)*2/(-5). Suppose 2*h + 2*h + 5*i - 743 = 0, 2*h = w*i + 352. Is 26 a factor of h?
True
Let y be (0/(-1) - 3)*-1. Suppose g = -4*u + 18, 5*u - 9*u = -4*g - 28. Suppose y*o - 172 = -u*j, 5*o + j - 119 = 153. Does 5 divide o?
False
Let q(c) = 5*c - 41. Let b be q(7). Let m(g) = -g**3 - 6*g**2 - 3*g - 16. Let v be m(b). Suppose o - 92 = v*s + 2*s, -4*s = -5*o + 444. Does 4 divide o?
True
Let r(x) = -x**3 + 85*x**2 + 537*x + 459. Does 49 divide r(86)?
False
Let s = 203 + -38. Suppose 168*t - 1713 = s*t. Does 15 divide t?
False
Suppose 18081 = 6*m - 10287. Suppose -4*b - s + 6280 = -5*s, -3*b + m = 3*s. Is b a multiple of 13?
True
Let g(r) = -5*r**2 + r - 2. Let n be g(1). Does 12 divide (-68)/n - (-10)/15?
True
Let m = -8 + -4. Let f be (88/m)/((-14)/105). Is 4/((-20)/f)*-15 a multiple of 33?
True
Suppose 0 = 27*i + 15*i - 189210. Suppose -i = -5*h + p, -15*h + 3*p = -20*h + 4485. Is h a multiple of 33?
False
Suppose -15*g = -2*r - 17*g + 32338, -2*r + 2*g = -32330. Is r a multiple of 144?
False
Suppose 4*w - 432 = 696. Does 2 divide w?
True
Is 27 a factor of (15967/(-42))/((-6)/36)?
False
Let a = -1422 + -6. Is 38 a factor of (-9)/(54/a) - 0?
False
Let g(c) = c**3 - c**2 - 27*c - 7. Let f be g(-7). Let v = 55 - f. Is 5 a factor of v?
True
Let q be (-24)/44 - 984/132. Is 14 a factor of -3 - ((-6884)/16 - 2/q)?
False
Let l = 3187 + -3013. Does 11 divide l?
False
Let w(i) = 37*i**2 - 18*i + 4. Is w(14) a multiple of 173?
False
Suppose 4*n - 4*s - 9360 = 0, 2316 = n + 544*s - 549*s. Is 51 a factor of n?
True
Let d(c) = c**3 - 14*c**2 + 12*c + 15. Let b be 76/6 - 8/(-24). Let w be d(b). Suppose -5*f + 172 = p - 26, -4*f = w*p - 366. Is 39 a factor of p?
False
Let b = -3314 - -1656. Let k = -1167 - b. Does 48 divide k?
False
Let z(c) be the first derivative of -3*c**4/4 - 11*c**3/3 - 6*c**2 - 7*c - 53. Does 36 divide z(-6)?
False
Let b = -847 + 4314. Is 150 a factor of b?
False
Let l be 8/2 + (7 - (4 + 2)). Suppose -4*w = -l*c - 2963, w + 5*c = -2*w + 2196. Is 14 a factor of w?
False
Let l = -22931 + 33233. Is l a multiple of 9?
False
Let w be (-1)/3*(1 - 10). Suppose -j = -4*g + 24, -w*j + 12 = -j + 4*g. Let m = j + 31. Is m a multiple of 9?
True
Suppose -94734 = 40*p - 1024374. Is p a multiple of 119?
False
Let h = 68 + -65. Suppose 0 = 8*s - h*s - 15. Suppose 564 = -0*g + s*g. Does 47 divide g?
True
Let l be 101 + (4 - (0 + 0 - -1)). Let h be 61/2 + -3 + (-10)/(-4). Let v = l - h. Is 11 a factor of v?
False
Let y(x) be the 