m + 4*m. Does 3 divide x?
False
Suppose 98*w + 2260 = 110*w - 9212. Is 57 a factor of w?
False
Let a = 4390 - -1298. Does 79 divide a?
True
Suppose -2*a - 3*a = 0. Let j(b) = -144*b - 141. Let l be j(-1). Suppose l*m + 0*u - 2*u - 718 = 0, a = -4*m - 3*u + 963. Is m a multiple of 15?
True
Suppose 4*w + 4*i - 12 = 0, 2*w + 30*i - 27*i - 9 = 0. Suppose 5*z - 468 = -4*v, -2*v - 33 + 27 = w. Does 16 divide z?
True
Let v = -2909 - -5408. Is v a multiple of 41?
False
Let y = -5 + 68. Let z = -59 + y. Suppose 2 - 5 = 3*t, z*u - 703 = -t. Is 22 a factor of u?
True
Let c = 108 + -30. Does 23 divide c/13 + 0 + -11 - -128?
False
Let a = 15 - -5. Suppose 0 = 4*q - 4 - a. Suppose q*v - 27 - 213 = 0. Does 10 divide v?
True
Let p = 37972 + -23183. Is p a multiple of 12?
False
Let p(r) be the second derivative of r**5/20 + r**4/6 - r**3/6 + 3*r**2 + 2*r. Let i = -215 + 218. Is p(i) a multiple of 12?
True
Suppose 2*n = x - 22, -5*n - 2*x = -6*x + 49. Let t(b) = -4*b - 6. Let w be t(n). Suppose 2*z = -4*f + w, f + 2 = 3*f. Is z a multiple of 9?
False
Let f(r) = -8*r**2 + 145*r - 12. Is f(17) a multiple of 9?
False
Let y(l) = -31*l - 378. Let q be y(-13). Let v = 6 + -4. Suppose v*r = -13 + q. Is r a multiple of 3?
True
Let d be (21/5)/(15/25). Suppose d*x = 22*x - 1920. Is x a multiple of 6?
False
Let x = 412 + 398. Suppose 2*g + 314 - x = 0. Is g a multiple of 62?
True
Suppose 0 = 5*h + 144*m - 145*m - 18250, 5*m = -4*h + 14571. Does 3 divide h?
False
Let a = 41 + -13. Suppose 21*r - a*r + 637 = 0. Does 7 divide r?
True
Let v = 2732 - 737. Is 15 a factor of v?
True
Let b = -223 + 76. Is ((-38)/(-7))/((-21)/b) a multiple of 14?
False
Suppose 0 = -18*p + 28*p - 650. Let y = p + -58. Suppose 4*a - y = 1, 0 = -4*b - 5*a + 1374. Is 23 a factor of b?
False
Suppose 5*p = -3*n + 77551, 0 = -56*p + 60*p - 3*n - 62030. Is p a multiple of 101?
False
Let a(m) = 65*m + 30. Let n(w) = -324*w - 150. Let i(g) = 14*a(g) + 3*n(g). Is i(-5) a multiple of 28?
True
Let q be (-3)/(-2)*(-40)/60 - -5. Suppose 0 = -3*o - z + 1588, -q*o + 827 + 1281 = -z. Is o a multiple of 24?
True
Let r(h) be the second derivative of 2*h**3 - 16*h**2 + 64*h. Does 15 divide r(30)?
False
Suppose 2 - 7 = z, -640 = -2*f + 4*z. Let o = f + -220. Is 6 a factor of o?
True
Suppose 0 = -v - 3*v - 4. Let n be 2*v - -3*(2 - 80). Is 14 a factor of 2 - (-1*2)/((-8)/n)?
False
Let c be (-3156)/(-9)*(-6)/4. Let u = 2480 + -2472. Does 11 divide -4*3/(-48) - c/u?
True
Is 6 a factor of -6*(15 + -4637 - -8)?
True
Suppose -61*l - 102*l = 36*l - 668043. Does 104 divide l?
False
Let k = -691 + 1946. Suppose 5*j - k + 235 = 0. Does 12 divide j?
True
Is -5460*((-231)/(-66) + (-18)/4) a multiple of 130?
True
Let z be 26/91 - 138/42. Is -4 + z/((-12)/3148) a multiple of 87?
True
Suppose 8*n = 136 + 208. Let p = n - 23. Let b(x) = -x**3 + 22*x**2 - 40*x + 20. Is 4 a factor of b(p)?
True
Suppose 2*v = -5*g + 2, 2*v - 2*g - 31 = -1. Let y(b) = -21 - 11*b**2 + 73355*b - 73343*b + 3*b**3 - 2*b**3. Is 16 a factor of y(v)?
False
Let t(u) = 21*u + 10. Suppose -5*o = -6*o - 4. Let p be t(o). Let h = p - -95. Does 5 divide h?
False
Let s(y) = -668*y + 2 + 664*y + 32*y**2 - 8. Let m be (-4 + 1)/(-9)*(1 - 7). Is s(m) a multiple of 10?
True
Suppose 5*d + 2 = 9*y - 10*y, 0 = -5*y - 5*d - 10. Is (-1092)/(-49)*(57/3 - y) a multiple of 33?
False
Let g(o) = o**3 + 16*o**2 - 16*o + 24. Let z(n) = 3*n**2 - n + 1. Let i(d) = g(d) - 3*z(d). Is 6 a factor of i(5)?
False
Let f be (-20)/(-9) + 474/54 + -9. Suppose 2*b = -f*s + 464, 331 = 3*b - s - 361. Is 33 a factor of b?
True
Suppose -5*a + 0*a = 3*q - 22, -29 = -5*a + 4*q. Suppose a*d = -4*t + 2655, 2*t + 312 = 3*d - 1303. Let v = d - 379. Is 13 a factor of v?
True
Let q be 17*1 - (6 + -3)*1. Suppose 3*y - 11 = -q. Is y - ((-228)/2 - -4) a multiple of 11?
False
Suppose 0 = -5*b + 5*l + 90, -b - 4 = 4*l - 2. Suppose -4*c - b*h + 10*h + 3860 = 0, 2*c - h = 1915. Is c a multiple of 40?
True
Suppose 0 = -4*o - 3*c + 522, 0*c - 6 = 3*c. Suppose 4*w + 0*w = o. Suppose -3*n = w - 144. Is n a multiple of 5?
False
Suppose -17*m + 41262 = 9*m. Suppose -600 = -5*o + 3*i + m, 1309 = 3*o - 5*i. Is 44 a factor of o?
False
Let y(s) = s**3 + 16*s**2 - 9*s - 25. Let z be y(-12). Suppose -2*l + 5*h - 3*h + 254 = 0, -5*l = h - z. Does 23 divide l?
False
Suppose -4*l = 5*f - 16, 3*f - 4*l = -0*l - 16. Suppose 4*i - 2*y + 416 = 0, -3*i + 4*y - 322 = -f*i. Let v = -60 - i. Does 14 divide v?
True
Let h(v) = -8*v + 119. Let q be h(14). Is 4 a factor of q/(-14)*8 + 111?
False
Let q = 5 + -3. Suppose 3*s = q*s + 5*b - 90, -3*b + 494 = -5*s. Let m = s - -108. Is 6 a factor of m?
False
Suppose 0 = -2*l + l + 1, -q + 225 = 3*l. Let u(b) = b**2 - 5*b - 160. Let y be u(26). Let j = y - q. Does 41 divide j?
True
Suppose -29*m - 25*m + 14*m + 78400 = 0. Is 49 a factor of m?
True
Suppose 9*v - 22*v = 10426. Let y = -526 - v. Is 46 a factor of y?
True
Suppose -h = -5*y + 1816, 4*y - 690 = -5*h + 728. Is y a multiple of 6?
False
Is (-55*44/(-40))/(3/246) a multiple of 35?
False
Suppose 0 = 3*m + 3, -4*m + 244 = 2*w - 118. Suppose 178*x + 3240 = w*x. Is 18 a factor of x?
True
Let h be -1 + 0 + -4 + -2. Let g be -2 + 11 - (-57)/19. Is h/((-28)/g) - -60 a multiple of 5?
False
Suppose -229*u + 10172852 + 4467259 = 80*u. Is u a multiple of 51?
True
Let w(x) = x**3 - 4*x**2 + 6*x + 2. Suppose 0 = -3*r + y + 6, -r - 4*r + 3*y + 6 = 0. Let o be w(r). Does 4 divide o/(55/4)*(10 - 0)?
True
Let h(t) = 3*t**2 + 64*t - 870. Is h(40) a multiple of 55?
True
Let v(b) = -6 - 12*b - 7*b + 40*b - 10*b. Is v(10) a multiple of 10?
False
Suppose 12178 = 5*k + z, -3*k + 7310 = -0*k - z. Is 8 a factor of (k/36 - 3/(-9))*2?
True
Let m be -1 - ((-28)/(-12) - 2)*-6. Let c be (m/(-5) + 484/(-80))*-164. Suppose -c + 281 = -8*j. Is 19 a factor of j?
False
Let f(h) be the first derivative of h**4/4 + 8*h**3/3 + 9*h**2/2 + 16*h - 12. Let p be f(-7). Suppose -p*k = -3 - 1. Is 2 a factor of k?
True
Let i = 6030 - 5391. Does 6 divide i?
False
Let x be (-5)/(120/(-462)) - (-2)/(-8). Suppose 18*i + 17 = x*i. Is i a multiple of 12?
False
Let z(f) be the first derivative of 2*f + 3/2*f**2 + 113/3*f**3 - 4. Is z(-1) a multiple of 9?
False
Let g be 10/(-4)*104/(-65). Suppose 6*p + g = 5*p. Does 2 divide (p - 3)*12/(-14)?
True
Let v(h) = 238*h**2 - 46 - 107*h**2 + 9*h - 119*h**2. Does 23 divide v(5)?
True
Let h(w) = -1004*w**3 + 2*w**2 + w + 1. Let d be h(-1). Suppose g + d = 4*l, l + 4*g - 249 = 3*g. Is 11 a factor of l?
False
Let k(o) be the first derivative of 26*o**3/3 + 5*o**2/2 + 9*o + 10. Is 6 a factor of k(-3)?
True
Let d(l) be the third derivative of 5*l**4/4 + 8*l**3 - 3*l**2. Let m be d(24). Suppose -5*a = -2*b - m, 4*a + b = 267 + 337. Is 38 a factor of a?
True
Let m(x) be the third derivative of -x**6/60 + 3*x**5/20 + 31*x**4/12 - 3*x**3/2 + 81*x**2. Does 9 divide m(-7)?
True
Let z(k) = -2*k**2 + 2*k - 4. Let p(a) = a**2 + 2*a - 4. Let x(f) = 4*p(f) - 5*z(f). Let g = 5 + -3. Is 11 a factor of x(g)?
False
Suppose 0 = -92*i + 602 + 1146. Does 3 divide i?
False
Suppose -19*k + 13004 = -10651. Is k a multiple of 8?
False
Let b = -20 + 23. Suppose -2*k - 5 = -b*k. Suppose 16 = k*z - 4. Is z a multiple of 2?
True
Let o = 83 + -506. Let h = o - -515. Is 11 a factor of h?
False
Let m be (-136)/17*15/12. Let n(q) = 14*q - 1. Let d(y) = -y + 1. Let f(z) = -4*d(z) - n(z). Is 27 a factor of f(m)?
False
Let n(g) = 47*g - 96. Is 2 a factor of n(20)?
True
Suppose 16956 = 2*z - a - 28274, -3*z = -7*a - 67878. Is z a multiple of 32?
False
Let q = 6537 + 5883. Is q a multiple of 30?
True
Suppose 4*f = 5*f + 8*f. Suppose 3*m - 2*z - 51 = f, -2*m = -2*z - z - 29. Is 3 a factor of m?
False
Suppose -44*d - 22*d + 47*d + 191425 = 0. Is 10 a factor of d?
False
Let d(y) = -y**2 - 3*y - 6. Suppose 2*j = -4, -3*j - 28 = 5*u + j. Let t be d(u). Let g = t + 34. Is g a multiple of 9?
False
Suppose 766 = -10*r + 2236. Let n(x) = -x**3 - 7*x**2 - 2*x + 3. Let d be n(-6). Let a = d + r. Is 18 a factor of a?
True
Let t(x) be the second derivative of -x**5/20 + 31*x**4/12 - 8*x**3 + 42*x**2 - 63*x. Is 17 a factor of t(29)?
True
Let z = 25380 + -25301. Is z a multiple of 79?
True
Does 4 divide -5*1/(-5)*18/144*27128?
False
Let o(x) = x**3 + 9*x**2 + 16*x + 7. Let h = 1 - 8. Let p be o(h). Let