5*z - 5*p + 4324. Suppose 4*c = h + z, -2*c + h + 3*h + 432 = 0. Is c a multiple of 36?
True
Suppose 0 = 45*i - 4*i - 2*i - 31590. Is i a multiple of 14?
False
Suppose -3*v = d - 15, 5*v - 36 = 7*d - 5*d. Suppose 0*s - v*s = -5808. Does 11 divide s?
True
Let h(r) = -3*r**3 - 41*r**2 + 36*r - 240. Is 40 a factor of h(-15)?
True
Let h = 1310 + -284. Does 9 divide h?
True
Let k = -75 + 40. Let v = k - -38. Suppose -60 = -2*x - v*l + l, -36 = -2*x + 4*l. Is x a multiple of 26?
True
Is 51 a factor of -12 - 1089369/(-135) - (6/15 - 1)?
True
Let u(d) = 2*d**2 - 108*d + 672. Is 57 a factor of u(56)?
False
Suppose 14*u - 119 - 35 = 0. Suppose 0 = z - u - 44. Is z a multiple of 15?
False
Suppose 3*q - 4*f = -38, -4*q - f - 14 = f. Let c be ((-66)/12)/((-1)/q). Does 2 divide (-1 - -2)/((-3)/c)?
False
Let x(k) = 5*k**3 + 4*k**2 - 8*k + 95. Let a be x(14). Is 11 a factor of (4/(-6))/((-11)/a)?
False
Let j(o) = -41*o. Let l be j(-1). Let u = 46 - l. Suppose y - 18 = -3*a, -2*y + y + 18 = u*a. Is y a multiple of 13?
False
Suppose 2*n = -2*r - 2*r + 162, -4*n = 4*r - 168. Let h = r - 67. Let t = h - -83. Does 10 divide t?
False
Suppose 0 = -11*m + 6*m + 20. Let c = -4 + m. Suppose c = d - 4*w - 118, -d + w + w + 110 = 0. Does 34 divide d?
True
Suppose v - 1332 = 670. Is 22 a factor of v?
True
Suppose 8*c - 33 + 1 = 0. Is 1*(-3)/c - (-17626)/56 a multiple of 79?
False
Let c(y) = y**3 + 21*y**2 - 22. Let i be c(-15). Suppose 9*m + 455 = i. Let q = 47 + m. Is q a multiple of 24?
True
Does 24 divide 88/(-132) + (-49396)/(-6)?
True
Suppose 0 = -4*b - 3*u + 86999, -4*b = -5*u - 35073 - 51982. Does 95 divide b?
True
Let l = 630 - -519. Suppose 7*n - l = 2351. Is 10 a factor of n?
True
Let y be -2 + 2 - (-1518 - (-2 - 4)). Suppose 0 = -4*m + 72 + y. Does 44 divide m?
True
Suppose -91636 = -10*d + 70304. Is 147 a factor of d?
False
Let m = 65 - 71. Let j be 7 - 9/(-2)*m/9. Suppose -g - 1 = -2*g, -5*l = -j*g - 236. Does 17 divide l?
False
Suppose 33*t - 47149 = -42838 + 67827. Does 4 divide t?
False
Let p(b) = -2*b**2 + b + 4. Let r be p(0). Suppose -r - 4 = -s + i, 12 = -3*i. Suppose 4*n + 43 = 2*l + 679, -s*l = -3*n + 472. Is n a multiple of 16?
True
Let x be 2 + 12/(-3) + -1. Does 11 divide (-1)/((-5)/(-345)*x)?
False
Let n = 84 + 210. Let k = n + -24. Does 14 divide k?
False
Let l be -1 + 60/50*5. Let y(u) = -19*u**2 + 1. Let p be y(-1). Let j = l - p. Does 10 divide j?
False
Let n(d) be the second derivative of 2*d**3/3 + 6*d**2 + 6*d. Suppose 4*g = -26 + 62. Does 16 divide n(g)?
True
Suppose 3*n = 0, 3*o - n - 3*n = n + 12708. Is o a multiple of 22?
False
Suppose -23*u + 25*u + 254 = 0. Let j = 123 - u. Does 25 divide j?
True
Let x(a) = -5459*a - 1750. Does 153 divide x(-5)?
False
Let a = -21 - 304. Let q = a + 597. Is 17 a factor of q?
True
Let n(z) = 11*z**2 + 1620*z - 344. Is n(-148) a multiple of 3?
True
Let x = -6447 - -18522. Does 175 divide x?
True
Suppose 48*m - 53*m - 25 = 0, 169 = -2*a + m. Let g be 1 + 1 + 0 + 127. Let v = g + a. Is 4 a factor of v?
False
Let r(k) = 30*k**2 + 36*k + 114. Let p(f) = 6*f**2 + 7*f + 23. Let h(i) = -14*p(i) + 3*r(i). Let n be h(-6). Suppose 4*c = -20 + n. Is 13 a factor of c?
True
Suppose -25 = -4*d + 5*h, -2 = -4*d + 2*h + 8. Suppose d = 13*y + 17*y - 22320. Is 24 a factor of y?
True
Suppose 18*n - 4 = 14*n. Suppose 5 = r + n. Suppose 104 = 8*j - r*j. Does 17 divide j?
False
Let p(k) = 18*k**2 - 23*k + 254. Is 24 a factor of p(10)?
True
Let x = 339 + -236. Let a = 24 + x. Is a a multiple of 5?
False
Let c(t) = -2*t**3 + 2*t**2 + 3*t - 84. Let r(n) = -n**3 + n**2. Let k(d) = -c(d) + 4*r(d). Is 12 a factor of k(0)?
True
Let j(w) = w**2 - 22*w - 46. Let n be j(24). Suppose 3*b - n*i - 1 = -i, 5*i = 3*b + 7. Is (-7)/((-21)/438) - (3 - b) a multiple of 42?
False
Suppose 199209 = -17*x + 207056 + 675043. Is x a multiple of 10?
True
Suppose 0 = 46*q - 39*q + 588. Does 5 divide 1638/q*1*-2?
False
Let y(p) = 789*p - 202. Is 23 a factor of y(5)?
False
Suppose 0 = o + 1 - 3. Let n be (-190)/(-6) - (16/12)/o. Let q = 52 - n. Is q a multiple of 9?
False
Let j(o) = 11*o**2 - 77*o - 853. Let d(n) = 7*n**2 - 52*n - 568. Let x(h) = 8*d(h) - 5*j(h). Is x(43) a multiple of 12?
False
Suppose -n + 3*n = 0. Suppose n = -0*h + 5*h. Suppose -k - 5 + 41 = h. Is k a multiple of 7?
False
Suppose 0 = 4*k - b - 4, 2*b = 4*b + 8. Suppose 2*g - 2 = k, 3*g + 6 = 2*s - g. Suppose -3*j + 2*x + 369 = 141, -141 = -2*j + s*x. Is 26 a factor of j?
True
Let m(b) = b**2 + 10*b + 18. Suppose 0 = 6*s + 53 - 5. Let l be m(s). Suppose -5*u = 4*p - 42, l*u - 11 - 50 = -5*p. Does 12 divide p?
False
Let l(x) = -33*x + 44. Let y be 6/((-5)/((-20)/(-3))). Does 14 divide l(y)?
True
Suppose 5*u + p - 130203 = 0, -5*u - 5*p + 36643 + 93532 = 0. Is u a multiple of 123?
False
Suppose -7*f + 2*f + 25 = 0. Suppose 510 = f*m - j + 6*j, 4*m + 3*j - 413 = 0. Does 10 divide m?
False
Suppose 480*i = 474*i - 12. Does 14 divide (i/(-3))/((-16)/(-4248))?
False
Suppose 108 + 247 = w - 2*q, 3*w = 5*q + 1060. Does 15 divide w?
True
Let c = 182 - 186. Let m(w) = w + 47. Is 5 a factor of m(c)?
False
Is 12 a factor of 8 + (-16)/(176/(-9273))?
False
Suppose -5*r - 2*z + 521 = 0, 5*z - 324 = -5*r + 2*r. Suppose -19*v - 10 = -14*v + 5*b, -2*v - 9 = -3*b. Let p = v + r. Is p a multiple of 27?
False
Let w = -3812 - -4473. Does 14 divide w?
False
Let c be 3 - (214/2 - -4). Let u = 113 - 136. Is 46 a factor of (u/(-2))/((153/c)/(-17))?
True
Let n = 2 + 208. Let d = n - -217. Is 32 a factor of d?
False
Is ((-397562)/(-748)*(-2)/3)/(2/(-78)) a multiple of 27?
False
Suppose 3*y = -36 + 150. Let a be (-39)/45 - 4/30 - y. Let n = a - -44. Does 4 divide n?
False
Let v(l) = -10*l + 5. Let j be v(-5). Suppose 3*o + 2*z = 4, -5*z - 13 + 53 = 0. Does 6 divide j - (8/1)/o*-2?
False
Let j = -1895 - -10945. Is 25 a factor of j?
True
Let r = -33 + 3. Let n be r/(-9) - 16/12. Suppose 22 = 6*y - n. Is 4 a factor of y?
True
Suppose -2*w + 4*n = -3*w - 11, 9 = w - n. Suppose 0 = -6*f + 4*f + 4*k + 268, w*f + 3*k = 618. Is 9 a factor of f?
True
Suppose x + 4*j = -1243, 11*x + 2519 = 9*x + 3*j. Is 16 a factor of 5 - 3*x/15?
True
Let p(r) = r + 28. Let f be p(-13). Suppose -1712 = f*i - 8867. Is i a multiple of 53?
True
Let h = -121 - -170. Suppose 3*r = h + 8. Suppose -779 + r = -4*u. Is u a multiple of 29?
False
Let u(a) = -a**3 + 14*a**2 - 10*a - 18. Suppose -2 = -5*g + 33. Suppose f = g + 6. Is u(f) a multiple of 9?
False
Suppose 5*k + 0*k - 4*q = 16, 3*q = 3. Let v be 4 - (k + -2) - -19. Suppose 15 = p + 2*a, p + 6*a - a = v. Is 2 a factor of p?
False
Let m(a) = -27*a - 5. Let w be m(-1). Suppose 5*c + 9 = 3*g + 58, 2*c + 2 = 0. Let h = w - g. Does 35 divide h?
False
Let q be (-10)/(4/4)*2. Let b = 87 + q. Is 6 a factor of b?
False
Suppose 49148 - 1308 = 20*u. Is 8 a factor of u?
True
Suppose 51000 = 21*c + 54. Suppose -2*t + 4*o = -1596, 3*t - o - c = -3*o. Is t a multiple of 26?
True
Suppose 0 = 10*t - 0. Suppose -5*n = 4*h - t*h - 1384, -4*h - 1136 = -4*n. Suppose 5*c - n = -5*j, j + 4*j = c - 80. Is 15 a factor of c?
True
Let z = 391 - 382. Suppose -z*s + 2739 = -6. Is 39 a factor of s?
False
Let n(k) = 3*k**2 - 3*k + 25. Let v be n(6). Suppose -v*p - 3690 = -120*p. Is 18 a factor of p?
True
Suppose -f - 8 = -2*v + 3*f, -2*v + f - 1 = 0. Let q be ((-54)/12)/(v/4). Let d(y) = y**2 + 5*y + 18. Is 12 a factor of d(q)?
True
Suppose -4*c + 3*l = -73, 4*c = -c + l + 105. Suppose c*h - 3*h - 3572 = 0. Does 24 divide h?
False
Let p(t) = 13*t**2 - 2*t**2 - 10*t**2 + 87 + 10*t + 4*t. Is p(-10) even?
False
Suppose -7*m - 6002 + 696 = 0. Let y = -544 - m. Does 6 divide y?
False
Let a = 62 + -95. Let c(s) = -15*s - 99. Is c(a) a multiple of 18?
True
Let q(x) = -1247*x**3 + 2*x**2 + 2*x + 12. Is q(-2) a multiple of 10?
False
Suppose -60 = -5*n + 2*n. Let l = 22 - n. Does 12 divide ((-3)/(-4))/(l/472)?
False
Suppose 183*l = 170*l + 6461. Is l a multiple of 5?
False
Does 53 divide ((-110)/4 + 1)/(2/(-348))?
True
Let d(h) = -2*h + 34. Let p be 2*475/(-10)*(-2)/2. Let f = p + -88. Is 4 a factor of d(f)?
True
Let x = 40962 - 27546. Is x a multiple of 86?
True
Suppose 5*w + 695*z - 117718 = 691*z, 5*w + 3*z - 117726 = 0. Is w a multiple of 15?
True
Let z = 173 - 172. Is 8 a factor of 80 + 8/(5 - z)?
False
Let y(f) = 685*f**