= -2*m, 3*m = 4*d - 13489. Is 20 a factor of d?
False
Suppose -2*r - 3*r = 7*r. Suppose r = -19*z + 398 + 362. Does 40 divide z?
True
Suppose 16*x - 8*x - 64 = 0. Suppose 0 = -m + 80 + x. Suppose 5*n - 149 = z, -6*n = -9*n + 2*z + m. Is 19 a factor of n?
False
Let b = -1147 - -4931. Does 17 divide b?
False
Suppose -30 = 13*i + 48. Is (0 - 30/i)*(-162)/(-1) a multiple of 10?
True
Let y = 60531 - 34439. Is y a multiple of 11?
True
Let y(n) = -10936*n + 458. Does 22 divide y(-2)?
True
Let v = -2325 + 6340. Is 32 a factor of v?
False
Let d = 3286 - 361. Is d a multiple of 9?
True
Let v be (16/(-2))/((-2 - -3)/(-1)). Suppose 2*u + 0*u = v. Let c(l) = -l**3 + 4*l**2 + 8*l - 7. Is 5 a factor of c(u)?
True
Suppose -76*n = 68*n - 176*n + 635648. Is 25 a factor of n?
False
Suppose 23*b - 366366 = 470834. Is 50 a factor of b?
True
Let t(l) be the first derivative of 16 + 27*l - 12*l**2 - 1/3*l**3. Is 27 a factor of t(-15)?
True
Let b be -1*(-2 + 0) + (6 - -44). Let j = b - -98. Does 5 divide j?
True
Let j = 30 - 34. Does 13 divide (j - -4 - 2)*94/(-4)?
False
Let z(b) = -b**3 + 6*b**2 - 6*b + 3. Let r be z(6). Let a be (-28584)/r + -6 - (-2)/(-11). Suppose 44*d - 49*d = -a. Is 14 a factor of d?
False
Let n be (-2)/(12/(-1935))*(-40)/(-50). Suppose 0 = -2*v - 5*m - 0 + n, 4*m + 16 = 0. Is v a multiple of 24?
False
Let k(a) = a**3 + 9*a**2 + 9*a + 9. Suppose 0*l - 51 = -2*f + 5*l, -4*f + 4*l = -96. Let z = 16 - f. Does 22 divide k(z)?
True
Suppose -6*i + 160354 = -11*i + 467529. Is 129 a factor of i?
False
Suppose 7*v + 56 - 14 = 0. Let q = v + 5. Is (1 + (-26)/5)/(q/35) a multiple of 21?
True
Let z(n) = 8*n + 24. Let x be z(5). Let l = x - 60. Suppose 0 = -l*p - 0*p + 160. Does 8 divide p?
True
Let f(i) = 13*i**3 - 1. Let k be f(1). Let j = -2315 + 2343. Let o = j + k. Is o a multiple of 4?
True
Suppose -v + 5*d + 5447 = 0, -5441 = -v - 0*d + 3*d. Does 17 divide v?
False
Let l(o) = -2445*o**3 + 5*o**2 + 5*o + 3. Let u be l(-1). Suppose 3*q - u = -3*h, -4*q + 3*q + 804 = 5*h. Does 20 divide q?
False
Suppose 47*q - 9*q - 350441 = 165067. Is 34 a factor of q?
True
Let q = 181 + -179. Suppose 2*p + q*p = 4*h - 700, 3*p + 885 = 5*h. Is 60 a factor of h?
True
Suppose -4*x = 5*a - 5*x - 4136, 0 = -3*a + 2*x + 2476. Let l = -79 - -79. Does 14 divide l - 3 - a/(-6)?
False
Suppose 25*k = 29*k - 800. Let l = 538 + k. Is l a multiple of 9?
True
Let n be (-7 - -13) + 41/1. Suppose -n*r + 1050 = -26*r. Does 3 divide r?
False
Let z(s) = 9*s**3 + 4*s**2 + 23*s - 32. Let h be z(5). Let t = h + -710. Does 46 divide t?
True
Suppose 3*j = -s + 28413, -4*s + 11178 = 3*j - 17235. Is 21 a factor of j?
True
Does 4 divide 98/833 + (-190260)/(-34)?
True
Let k be (-92)/(-46) - (1 - 370)*3. Suppose -140 = -k*p + 1102*p. Does 10 divide p?
True
Suppose 6*l + 3*g - 3915 = 3*l, -3*g = 4*l - 5220. Suppose -33*x + 345 = -l. Is x a multiple of 25?
True
Let d be ((-36)/(-14))/(7/(-49)). Let h(u) = -14*u + 110. Is 22 a factor of h(d)?
False
Let s = 19992 - 10485. Does 53 divide s?
False
Suppose 29*z - 388752 = -55*z. Is 34 a factor of z?
False
Let t be (1/4 - 35/(-20)) + -2. Let z(f) = 6*f**2 + f + 482. Is z(t) a multiple of 11?
False
Let o(z) = 13*z - 25. Let i(p) = 2*p + 9 - 3*p - 1 + 8. Let y be i(11). Is o(y) a multiple of 14?
False
Let t be 0/((-72)/(-36)*2/(-4)). Suppose -10*p + 2*p + 1224 = t. Is p a multiple of 3?
True
Is 107 a factor of (-1329475)/14*32/(-80)?
True
Suppose -r + 43 + 12 = 0. Suppose 2*p + r = 253. Suppose -5*x - u + 122 + 39 = 0, 3*x = -3*u + p. Is x a multiple of 4?
True
Suppose 2*o + 1045 = 7*o. Suppose -3*f + 934 = -o. Is f a multiple of 7?
False
Suppose 16 + 4 = 5*w. Suppose 0*l - 3*l - 16 = -4*h, h = 3*l + w. Suppose 4*x + l*x - 168 = 0. Is x a multiple of 20?
False
Let x = -52 - -64. Let s(h) = 0 + h + x + 22. Is 7 a factor of s(15)?
True
Is 8 a factor of (-9)/(-2)*(1702 + -310)?
True
Let n(m) = -m**2 - 30*m + 262. Let h be n(-37). Does 8 divide ((-135)/25 + h)/((-18)/3660)?
True
Suppose 2*s - 5 = 4*s - 5*h, 5*s - 3*h + 3 = 0. Suppose s*j - 448 = -8*j. Let w = j + -44. Is 3 a factor of w?
True
Suppose 0 = -11*n - 7 + 40. Suppose 3*h - 15 = -n*o, 2*o + 4*h - 24 = -3*o. Is 42 a factor of (-14)/o*-10*5?
False
Let g(v) = 2*v**2 - v**3 - 2*v - 4*v**2 - 9*v**2 - 3 - 1. Let q be g(-11). Let i = q - 4. Is 2 a factor of i?
True
Suppose -3*l = 2*q + 10389 - 27633, 0 = -2*l - 5*q + 11485. Is l a multiple of 46?
True
Let r = 4451 - 4451. Suppose -5*d = -2*s - 31, 2*d + 5*s = 32 - 8. Suppose -d*b - b + 1056 = r. Is 12 a factor of b?
True
Let s = 35 + -45. Let t(b) = -34*b - 109. Does 15 divide t(s)?
False
Let v(b) = -b**2 - 3*b + 9. Let l be v(-7). Let w(o) = -o - 16. Let f be w(l). Is -3 + f - -27 - 0 a multiple of 9?
True
Suppose -94*r = 239*r + 35*r - 21992048. Is 64 a factor of r?
False
Let q = 240 + -235. Suppose v - 44 = q*r, r + 198 = 4*v + 3*r. Is v a multiple of 3?
False
Suppose 2647 + 1643 = 11*p. Let h = 628 - p. Does 25 divide h?
False
Suppose 75*x = 73*x + 1490. Suppose 724 = 4*f - 3*t, -3*f - 3*t = -f - 362. Suppose b + 2*n = -3*n + f, -x = -4*b + n. Does 31 divide b?
True
Suppose 0 = -3*a + 2310 - 1746. Is 4 a factor of a?
True
Let j = -187 - -158. Let k = -11 - j. Does 4 divide 1 + -3 + k + 4?
True
Let f = 26 + -12. Let w be (f/10 - 3)/(6/(-15)). Suppose 2*z - q - 14 = 0, 2*z + 2*q - w*q = 16. Does 3 divide z?
True
Let c(b) = -b**3 - 8*b**2 - 12*b + 1. Let x be c(-6). Let u = x + 47. Is u a multiple of 16?
True
Suppose 3*i - 4*a + 3796 = 13686, -3*a = 15. Does 7 divide i?
True
Suppose -14*p + 136881 - 6821 = 0. Does 10 divide p?
True
Is 99 a factor of (1 - -2)*(-11011482)/(-706)?
False
Let v(x) = -2*x**2 + 4*x**2 + 14 + 3*x - x + 3*x**2 + x**3. Let m be v(-5). Suppose 2*s = m*c - 346, -6*c + 4*s + 428 = -c. Is 21 a factor of c?
False
Suppose 0 = -407*z + 361*z + 325634. Is z a multiple of 13?
False
Let g = -2894 + 5517. Is 90 a factor of g?
False
Suppose -3*a = -0*a - c - 12, a + 4*c - 17 = 0. Let r(w) = -w**2 + 16*w - 52. Let f be r(5). Suppose 0 = -f*u + 134 - a. Is u a multiple of 12?
False
Let w = -34 + 52. Let x(v) = 8*v - 15*v + v + 5*v + 34. Is x(w) a multiple of 6?
False
Let w be 168/((-2)/25*-5). Suppose 3*f + w = 2*y, 4*y - 7*f = -12*f + 862. Is y a multiple of 20?
False
Is (-1 - -5)/(-4)*(6 - 3573) a multiple of 18?
False
Let v be (-17805)/45 - (-2)/3. Let n = v + 409. Is 14 a factor of n?
True
Suppose 0 = -2*t + 5*r + 14055, 450*t - 447*t - 2*r = 21066. Is t a multiple of 13?
True
Let q be (1/(-2)*-4)/((-2)/(-7)). Let o(f) = 2*f**2 - 16*f + 7. Let t be o(q). Let s(a) = a**2 + 3*a + 7. Does 5 divide s(t)?
True
Suppose 2*j + 3*c - 4*c = 1069, 3*j = -2*c + 1621. Does 45 divide j?
False
Let w = -13 - -23. Let i = 1425 + -1398. Let r = w + i. Does 6 divide r?
False
Let g = -19268 + 23487. Is g a multiple of 15?
False
Suppose 0 = -1925*g + 1927*g - 3010. Is 4 a factor of g?
False
Let c(j) = 44*j**2 - 46*j + 390. Does 185 divide c(11)?
False
Suppose -5*t - 13819 = -2*u, -u + 83*t + 6905 = 82*t. Does 58 divide u?
True
Suppose -272040 = -81*z + 21*z. Is 34 a factor of z?
False
Let t(a) = -2500*a - 2010. Is t(-8) a multiple of 70?
True
Let v(d) = -5*d - 10. Suppose 2*k + 128 = -3*u, -8*u - 5*k + 98 = -10*u. Let r = -49 - u. Is 3 a factor of v(r)?
True
Let u = 1891 - 1864. Is u a multiple of 3?
True
Let o be 3*(6 - 5)*(28 - -1). Suppose -o + 32 = -11*m. Suppose m*u - 988 = -73. Is u a multiple of 18?
False
Let l be -15*12/(-20) - 6. Does 12 divide (-2)/9*l*-288?
True
Suppose 0 = -2*r + 7*c - 4*c + 6, 0 = 4*c + 16. Does 4 divide 82/r*(-19 + 16)?
False
Let d(u) = 4*u**2 - 23*u - 8. Let y be d(7). Let k = y - 9. Is -2 - (-13)/6 - (-3021)/k a multiple of 21?
True
Let j(w) be the second derivative of 7*w**3/3 - 15*w**2/2 - 31*w. Is j(2) a multiple of 2?
False
Let j be (2/5)/(3/60). Is 162/(-216) - (-206)/j a multiple of 5?
True
Let z = -8883 - -19388. Is z a multiple of 11?
True
Suppose -3*r + 0*r + 69 = 3*p, -4*p - 3*r + 88 = 0. Suppose p*z + 18*z - 12839 = 0. Is 7 a factor of z?
False
Let g = 32 + -30. Suppose 0 = 7*j - 8*j - g*o + 10, -3*j + 5*o - 3 = 0. Suppose -4*q + j*i + 141 = i, -74 = -2*q - 2*i. Is 9 a factor of q?
True
Let u be 4 + 4/(-16) + 289/4. Suppose 88 = -2*b - u. Let x = b + 130. Is 8 a factor of x?
True
Suppose 11*j - 14*j + 29374 = -4*o, 