0*f**3. Let q be m(1). Let d = -186 + q. Does 46 divide d?
True
Let h(g) be the third derivative of 49*g**5/60 - 5*g**4/24 - g**3 - 46*g**2 - 1. Is 6 a factor of h(2)?
True
Let k = 26507 - 16202. Is 45 a factor of k?
True
Let s be 2/(-7) + (-88)/(-14) + 0. Suppose -4*d + s = -930. Is 26 a factor of d?
True
Let y be (29 - 217)/((-2)/(-2)). Let q = 82 - y. Is q a multiple of 18?
True
Suppose 0 = -2*a - 2*h + 10, 6*h = 5*a + h + 5. Suppose 4*d + a*c + 66 = 0, 5*d + c + 75 = -0*c. Does 7 divide (-481)/(-7) + (-4)/d?
False
Let j(p) = -7*p**2 - 254*p - 16. Does 14 divide j(-22)?
True
Suppose 5*o = 2*o + 3*m + 48, 5*o - 68 = 2*m. Is 36 a factor of -5 - 4734/(-10) - o/30?
True
Let v(b) = 41*b**2 - 2*b + 1. Let u be v(1). Suppose -41*r + 28 = -u*r. Suppose -4*c + 5*n = -245, -2*c = 3*n - 67 - r. Is 9 a factor of c?
False
Suppose 2*c = -0*c - 3*y + 3, 0 = 2*c + 4*y - 4. Let t be ((-22)/66)/(1/(-9) + c). Suppose 113 = h - 2*s - 2*s, -3*h - t*s + 399 = 0. Does 9 divide h?
False
Suppose 4*c + 95*a - 91*a = 22620, 0 = 2*c - 3*a - 11345. Does 149 divide c?
True
Let o(z) = z**3 - 13*z**2 + 8*z - 28. Let s = -525 + 541. Is o(s) a multiple of 14?
True
Let a be 9/12 - ((-693)/4 + 3). Suppose -3*j + k + a = 2*k, 2*k + 106 = 2*j. Let f = -19 + j. Is f a multiple of 20?
False
Let m = 280 + 196. Let v = m + -418. Is 3 a factor of v?
False
Suppose 903 = 5*r - 2*r. Let b be 1/((-2)/680)*(-15)/12. Let o = b - r. Does 15 divide o?
False
Suppose -4*q = -12, 14*g = 9*g - 5*q + 1935. Is g a multiple of 9?
False
Let v = -619 + 625. Suppose 4*x - z - 44 = 0, -v*x = -5*x - 3*z. Is 4 a factor of x?
True
Let z = -367 - -569. Suppose 0 = -6*b + z + 350. Is b a multiple of 2?
True
Let t(u) = u**3 + 6*u**2. Let n be t(-6). Suppose 2 - 5 = 3*k, 0 = -5*p - 4*k + 51. Let r = p - n. Is r a multiple of 2?
False
Let w be (-129)/(-2) - 10/(-20). Suppose -74*d + w*d = -279. Is d a multiple of 31?
True
Let g(c) = 7*c + 7. Let o be g(2). Let q(u) = 2*u**2 - 9*u - 115. Does 14 divide q(o)?
False
Suppose 0 = 76*w - 55*w + 42. Let i(v) = 3*v**2 - 3*v + 3. Let s be i(2). Let g = s - w. Is g a multiple of 11?
True
Suppose -5*y = 5*b - 52195, -4*y + 30035 = 6*b - 11733. Is y a multiple of 32?
False
Suppose -4*h - 968 = -4*f, 0 = 2*f + h - 595 + 99. Suppose z + z + f = 0. Let d = z + 209. Does 18 divide d?
False
Let q be 3468/14 - 8/(-28). Suppose 5*s - 2*y + 2 = q, -5*s + 4*y = -252. Suppose -o = 20 - s. Is o a multiple of 7?
True
Let p(r) = -36*r - r**3 - 7*r**2 + 9 + 35*r + 16*r**2. Let z be p(9). Suppose 5*h - 276 - 434 = z. Is h a multiple of 8?
False
Suppose m - 2 = 1, 4*m + 88 = z. Let u = z - -14. Is u a multiple of 12?
False
Suppose 73*c - 135*c - 36 = -74*c. Suppose 20 = -4*y - 4*f, -2*y + 0*f + 3*f = -15. Suppose y = 4*i - c*g - 507, -5*i + 719 - 86 = -3*g. Is i a multiple of 42?
True
Let y(n) = -6*n**3 + 22*n**2 + 115*n - 6. Is y(-14) a multiple of 40?
True
Let b(y) = -8*y - 94. Let v be b(-12). Suppose -2*m + 257 = -5*i, 33 = m + v*i - 118. Does 30 divide m?
False
Suppose -47*x + 0*x - 2446 + 65379 = 0. Is x a multiple of 13?
True
Let z be 0 + (12/4 - 3). Suppose z*x - 7*x = -1050. Suppose q + q = x. Is q a multiple of 11?
False
Let b = -111 - -100. Let n(v) = v**3 + 9*v**2 - 22*v + 12. Let u be n(b). Suppose -u*l = -6*l - 828. Does 24 divide l?
False
Suppose 0 = 9*h - 16 - 11. Let x be (123/6)/((-1 - h)/(-8)). Suppose 2*y - x = 19. Is 5 a factor of y?
True
Suppose -4*b - 21*s = -19*s - 20654, -9*b + s + 46499 = 0. Is b a multiple of 18?
True
Let a(w) = -34*w + 46. Let b(o) = -7*o + 9. Let i(m) = 2*a(m) - 11*b(m). Let k be i(1). Suppose -k*u + 11 = t + 2*t, 2*t + 62 = 4*u. Is 2 a factor of u?
False
Suppose 85*h - 82502 + 1752 = -10*h. Does 10 divide h?
True
Is 85 a factor of 7/(84/31128) + 6?
False
Let b(z) = z**3 - 17*z**2 + 19*z + 1. Suppose 11*p = 157 + 19. Is 7 a factor of b(p)?
True
Is 4/14 + ((-45)/(-120) - 1447377/(-168)) a multiple of 12?
True
Suppose -3*j - 7*v + 283 = -2*v, 3*v = -4*j + 370. Let x be (-2)/12 + 1353/18. Let a = j - x. Is 6 a factor of a?
False
Let v = 13024 + -8291. Is 13 a factor of v?
False
Let n(k) = 271*k + 2. Let f be n(1). Let m(z) = z**2 + z + 36. Let v be m(-10). Suppose -v = -3*c + f. Does 22 divide c?
False
Suppose 4*g + 4*r = -247 + 4263, 0 = -4*g + r + 4036. Does 63 divide g?
True
Let u = 284 - -88. Suppose 0 = 4*x + 4*i - u, 2*x + 5*i - 189 = -0*i. Suppose -3*t + 206 = -n, -3*t + 2*t + x = -5*n. Is 4 a factor of t?
False
Let a = 108 + -129. Is (4/(-6))/(a/441) a multiple of 14?
True
Does 44 divide ((0 + 2)/(-4)*-4)/((-4524)/(-24746280))?
False
Let x(f) = -f - 12. Let v be x(-17). Suppose b - 3*h = 13, 4*b - 1 = -v*h - 0. Does 35 divide ((-865)/25 - b/10)*-4?
True
Suppose 5*c - 269 = 4*j, 0 = -2*c - 5*j - 2380 + 2448. Is c a multiple of 7?
True
Let k(l) = 2947*l + 666. Does 103 divide k(14)?
False
Suppose 0 = y + 5*k - 1356, 2*y + 5*k - 3750 + 1063 = 0. Does 3 divide y?
False
Let i(d) = -10*d - 72. Let u be (1/(-2))/(-8 + (-6062)/(-756)). Does 18 divide i(u)?
True
Let g(y) = y**2 - 23*y. Let z be g(23). Suppose 4*r - 4*j = 16, 3*j = -z*j - 3. Suppose -r*l = 14 - 59. Does 4 divide l?
False
Suppose 0 = 5*o - 2*t - 111110, -5*o - 29*t + 25*t + 111140 = 0. Does 48 divide o?
True
Suppose r + 8 = -4*j, 0*r + 3*j + 4 = -r. Suppose 9*b = r*b + 21. Suppose 3*f + g = 86, -f + 4*g + b = -25. Is 5 a factor of f?
True
Let y(p) = 36*p**2 + 3*p**3 + 2 - 35*p**2 - 2*p**3 + p. Let j be y(-1). Is (j*(-428)/(-4))/1 a multiple of 11?
False
Suppose 141 = 12*p + 129. Is (0 - p)/(-3 + (-516)/(-174)) a multiple of 3?
False
Let s(x) = -33*x - 20. Suppose -2*f - 10 = 2*m, -3*m + 5*f = -33 + 8. Suppose 0 = -u + 4*u + 2*k + 2, m = -k + 5. Does 19 divide s(u)?
False
Suppose -199 = -3*f + 2*u, -f - 2*u + 126 = f. Let a be 3/(1 + (-64)/f). Let n = -67 + a. Is n a multiple of 16?
True
Let b be -14*((-170)/140 - (-4)/(-14)). Does 57 divide (-5 - (-50)/6)*b?
False
Suppose -2*s = 3*s - v - 104, s + 4*v = 25. Let m = -17 + s. Suppose -63 = -3*u - 3*b, 2*u - u = -m*b + 6. Is u a multiple of 2?
True
Suppose -2*w + 41908 = -6*d, -2*d + 10970 + 9969 = w. Is 59 a factor of w?
True
Suppose -5*l - 39998 = -4*x, -5*x = 18*l - 17*l - 49983. Is x a multiple of 7?
False
Let l(b) = 2*b**3 + 17*b**2 + 12*b + 2. Let h be l(-7). Suppose -3*a = 2*k - 7*a - 12, -4*k + 36 = -4*a. Let r = k + h. Is r a multiple of 11?
True
Let h = -440 - -442. Suppose -2 - 4 = h*l, -5*s - 2*l + 1199 = 0. Does 9 divide s?
False
Is 42 a factor of 1/(9/28356) + (-30)/45?
True
Let y(v) = 2*v - 8. Let f be (-5)/(-25) + (-39)/(-5). Let q be y(f). Suppose 2*i = -x + 276, -3*i - 684 = -q*i - 4*x. Is i a multiple of 35?
True
Let r(h) = 3*h**2 + 42*h + 35. Let u be r(-13). Let j(s) = 3*s**2 - 10*s - 19. Does 4 divide j(u)?
False
Suppose 0 = -3*p - 3*f + 96, 0 = -4*p + 5*f - 0*f + 155. Let j = p - 56. Is 13 a factor of -2 - (1161/j - (-2)/7)?
False
Let f(a) = -a**3 + 16*a**2 - 6*a + 1. Suppose -42 = -x - 2*x. Is f(x) a multiple of 11?
False
Suppose 88180 = -33*w + 29*w + 14*w. Is w a multiple of 42?
False
Suppose -2*z = 2*y - 6976, 19*y - 18*y - 4*z - 3483 = 0. Does 11 divide y?
True
Let s be (183/(-244))/((-3)/16). Suppose -7*y - 75 = -5*h - 2*y, 0 = -s*h - 4*y + 36. Does 3 divide h?
True
Let j = 19683 + -13400. Does 8 divide j?
False
Let v be 2/9 - 522/162 - -3. Suppose v = w - 85 + 22. Does 17 divide w?
False
Let y = -1444 + 236. Let q = y - -1873. Is q a multiple of 19?
True
Let s be (-14)/(-2) - (-2 + -3594). Suppose -12*p - 495 = -s. Does 69 divide p?
False
Let k(y) = 3*y**2 - 41 + 57 - 7*y - 4*y**2. Let l be k(5). Is 37 a factor of (-1445)/(-13) + l/286?
True
Let o = 29 + -26. Suppose -2*q + 2 = -2*t, -3*t + 5*q - 8 = o. Let c(b) = 11*b - 3. Is 15 a factor of c(t)?
True
Suppose -5*o + 28879 = -j, -14*o - 11512 = -16*o - 4*j. Does 16 divide o?
False
Let i = -15 - -17. Suppose -m - 42 + 215 = 3*f, 104 = i*f - 5*m. Is 9 a factor of f?
False
Is -80*(-22 + 13) + 0 + 1 a multiple of 4?
False
Let h(f) = -f**2 + 2*f - 1. Let r be h(2). Let o be 8*(r - 10*1/(-4)). Suppose a - 4*b + 0*b - 10 = 0, o = 3*a - 3*b. Is a even?
True
Suppose -6*o = -4078 - 4004. Is o a multiple of 4?
False
Let k(q) be the third derivative of q**6/120 - 11*q**5/60 - 2*q**4/3 + 7*q**3/2 - 2*q**2 - 38*q. Does 8 divide k(15)?
False
Let h be (7*4/(-12))/(