 + b. Is n(h) a multiple of 36?
False
Suppose -5*u + 27738 = 111*g - 115*g, -2*u - 4*g + 11084 = 0. Is 6 a factor of u?
False
Let o = 31765 - 1860. Is 74 a factor of o?
False
Let n(v) = -65*v + 11 + 52 - 138 + v. Is n(-2) even?
False
Let n(m) = -m**2 + 29*m - 165. Let r be n(21). Suppose 0*s + r*d + 793 = s, -3172 = -4*s + 3*d. Is 13 a factor of s?
True
Let s(x) = 25*x - 34. Let w(b) = -16*b + 23. Let v(o) = -5*s(o) - 8*w(o). Suppose 3*i - 11 = 43. Is 9 a factor of v(i)?
False
Let n = 1406 + -395. Suppose -540 - n = -3*r. Is 47 a factor of r?
True
Let b(w) = -2*w**2 - 18*w - 14. Let z be b(-8). Let r be 31 + (z/4)/(2/(-12)). Is ((-147)/r)/((-3)/52) a multiple of 7?
True
Suppose -13*i - 139*i = 0. Let f be (2 - -1) + 0 + 0. Suppose -217 = -4*b - 0*s + s, -b - f*s + 64 = i. Does 12 divide b?
False
Let r(x) be the second derivative of x**5/20 - 3*x**4/4 - 3*x**3 - 35*x**2/2 - 2*x. Does 11 divide r(12)?
False
Let o = 11608 + -9328. Is 95 a factor of o?
True
Let b = 370 + -910. Suppose -3*j + 3*g = -12, 0*j = -4*j + 3*g + 16. Does 10 divide b/(-10) - j*1?
True
Does 55 divide -1 + (-14 + 18 - -3705)?
False
Let w(q) = q**3 + 14*q**2 + 2*q + 28. Let o be w(-14). Suppose -2*s = -2*i + 20, o = -0*i + 2*i + 4*s - 50. Suppose -14*k - 18 = -i*k. Is k a multiple of 9?
True
Let p = -1 + -1. Let j(y) = 4 - 330*y + 172*y + 156*y. Does 2 divide j(p)?
True
Suppose 10*s - 5*s = 775. Suppose -s*u = -158*u + 105. Is 35 a factor of u?
True
Suppose 3*z + 3 - 12 = 0. Suppose 5*q + 524 = 4*d + q, 4*d - z*q - 519 = 0. Is 26 a factor of d?
False
Suppose 4*c + 4*t = 78056, 3*c + 5*t = 25973 + 32557. Is c a multiple of 245?
False
Let h = 76 + -82. Is 9 a factor of (-6 + 5)*2358/h?
False
Is 5 a factor of ((-12)/(-22) + 4*13/(-1144))*2246?
False
Let y = -182 - -182. Suppose y = -z + 4*k - 95 + 240, 1 = -k. Is z a multiple of 47?
True
Suppose 0 = -5*b - 5*f + 105, -3*f = -5*b - 0*b + 113. Suppose -b*x + 2037 = -19*x. Is 21 a factor of x?
False
Suppose 52*r = 59*r - 28. Suppose -r*q + 8*f = 3*f - 965, 230 = q + f. Does 22 divide q?
False
Suppose -102*l = -103*l + 2. Suppose -l*c - 4*y + 1200 = -8*y, -2*y = -5*c + 2992. Is 13 a factor of c?
True
Let p(c) be the first derivative of 4*c**3/3 + 10*c**2 - 26*c + 64. Does 7 divide p(-11)?
True
Let j(b) = 5*b**3 + b**2 - b. Let s be j(1). Suppose -27 = -s*p - 37. Is 20 a factor of (p/(-2))/(-1)*-80?
True
Let s(w) = 10*w**2 - 5*w - 15. Let m be s(9). Suppose 6*j = -4*j + m. Does 10 divide j?
False
Suppose 7*g - 5 = 16. Suppose g*f - 2932 = 398. Does 74 divide f?
True
Suppose -12*z = -5*z - 238. Suppose 0 = z*n - 38*n - 1460. Let x = -78 - n. Is x a multiple of 16?
False
Let h(n) = -3*n**3 - 3*n**2 + 8*n - 25. Let w be h(6). Let u = w - -747. Is 6 a factor of u?
False
Let v be (-2480)/(-6)*((-78)/(-65) + 0). Is (357/84)/(4/v) a multiple of 26?
False
Is 245 a factor of 9 - 4 - -10541 - (4 - -7)?
True
Let y(x) = -x - 105. Let i be y(0). Suppose 3*o + 9 = 5*j + 614, -3*j = 3. Let d = i + o. Is d a multiple of 14?
False
Let q = 808 + -456. Let w be -2 - (-8)/3 - q/(-12). Suppose 0 = 2*h - 16 - w. Is h a multiple of 17?
False
Suppose 3*x + 4*g - 34051 = 131, -x = 4*g - 11386. Is 60 a factor of x?
False
Suppose -342*x = -346*x - 16, 9264 = 4*s - 5*x. Is s a multiple of 7?
False
Let o(k) = 3*k**2 - 20. Let f be 24/16*16*3/(-9). Does 9 divide o(f)?
False
Let x(m) = -49*m - 2. Let h be x(-3). Let o(t) = -t**2 + 388*t - 7673. Let n be o(21). Let f = n + h. Is f a multiple of 35?
False
Let x be 1/(-2*1/(-8)). Suppose -23*y + x*y = -323. Is y a multiple of 5?
False
Does 37 divide 3238 + ((-21)/(-12))/(10/(-40))?
False
Let b = 455 - 459. Does 47 divide (-1128)/(-20)*1/b*-10?
True
Suppose -4*q + 317 = -j, 2*j + 3*j + 5*q + 1510 = 0. Let r = j + 578. Is r a multiple of 14?
False
Suppose 9 - 15 = 2*t. Let i be (t/3)/(3/(-6)). Suppose -170 = -2*j + 4*b, -i*b - 2*b = -3*j + 247. Is j a multiple of 13?
False
Suppose -13 = -t - 0*t. Suppose -5*p = -38 + t. Suppose -p*n + 2*n = -129. Is n a multiple of 13?
False
Suppose 2*s - 345 = -3*u + 6198, -4*s - 4*u = -13088. Is 13 a factor of s?
False
Suppose x = -5 - 9. Let c(u) = 12 - 3 + 18 - 35*u - 20*u + 52*u. Does 15 divide c(x)?
False
Let j = 16266 - 7829. Does 4 divide j?
False
Suppose -m = -4*d + 15, 2*d = -d - m + 20. Suppose -d*n = -2*i - 0*i - 24, i + 2 = 0. Is (7/((-14)/(-4)) - -12)*n a multiple of 28?
True
Suppose 2431 = 3*u + 2*i - 3*i, -3*i = 4*u - 3263. Suppose -5*f + 6*y + 1352 = 3*y, -3*f + u = -2*y. Is f a multiple of 15?
False
Let u(j) = 20*j**2 - 8*j - 6. Let b be u(-6). Suppose 0 = -2*l + 3*l - 5, -5*s - 3*l = -355. Suppose b = 5*w - s. Is w a multiple of 26?
False
Let h = 381 + -379. Suppose -4*z = 35 - 15, -4*p = -h*z - 574. Does 7 divide p?
False
Let m(g) be the third derivative of -g**6/120 - g**5/12 + g**4/3 + 7*g**3/6 + 9*g**2. Let f be m(-6). Is 6 a factor of ((-1)/((-3)/87))/(f - -6)?
False
Suppose j - 5*c - 6621 = 0, 33*j = 36*j + 4*c - 19863. Is j a multiple of 26?
False
Let g(c) = 53*c**2 - 10*c + 70. Is 89 a factor of g(8)?
True
Suppose 2*n + 15694 = 3*t + 3*n, 0 = -9*n - 18. Is t a multiple of 13?
False
Let n = -454 - -477. Suppose v - 201 = n. Does 12 divide v?
False
Let i = 11212 - 10003. Does 71 divide i?
False
Suppose 96*q - 1188 = 95*q - 5*f, -2*f + 3525 = 3*q. Is 37 a factor of q?
False
Suppose 20*a - 2090 = 10*a. Is (a - 15)*(-3)/(-2) a multiple of 25?
False
Suppose 41*y = 171*y - 1615510. Does 43 divide y?
True
Let o(l) = 25*l + 5. Suppose 0 = 2*x - 8 + 4. Suppose x = -3*m + 11. Is 20 a factor of o(m)?
True
Let l(s) = 3*s**2 - 22*s - 22. Let w be l(-1). Is 1 + -1 + (w - (-3 - 21)) even?
False
Let m(y) = -2*y**3 + 6*y**2 + 14*y - 1. Let h be m(-2). Does 3 divide 4/(-6)*(h + -23)?
False
Let o be (-70)/(-10) - (2 + 2). Suppose 53 + 515 = -3*x - 5*w, -4*x - 739 = o*w. Let i = -109 - x. Is i a multiple of 8?
True
Let c = 299 - 295. Suppose -5*a + 928 = 5*u - 1062, -1972 = -5*u + c*a. Is 44 a factor of u?
True
Let h = 41483 + -29855. Is h a multiple of 19?
True
Suppose -5*f - 200*w + 199*w + 20247 = 0, -20253 = -5*f + w. Is f a multiple of 10?
True
Suppose -15*p = 47 - 347. Suppose -2*r - d + 5*d = -124, -4*d = p. Is r a multiple of 4?
True
Suppose 148 = -4*r + 456. Suppose d + 3*h - 60 = 0, 3*h - 11 = d - r. Does 63 divide d?
True
Let b(o) be the second derivative of -o**5/15 - 2*o**4 + 7*o**3/2 - 10*o. Let u(k) be the second derivative of b(k). Does 14 divide u(-20)?
True
Let z(w) = 145*w**2 + 43*w + 190. Is 6 a factor of z(-5)?
True
Let c = 6405 + -4074. Is 10 a factor of c?
False
Suppose 4*m - 24 = 4*f, -11 - 1 = -m + 3*f. Let p be ((-128)/m + -1)*-3. Suppose -7*c + 170 = -p. Is 14 a factor of c?
False
Let p(l) = 6*l + 76. Let y be (-22)/6*(-5 + 5 + -3). Does 21 divide p(y)?
False
Let y(t) = 2*t**2 - 8*t + 22. Let r(k) = k**2 - k. Let i(n) = 4*r(n) + y(n). Is i(7) a multiple of 12?
False
Suppose 5*h - 4*d - 320 - 88 = 0, 0 = 3*h - 2*d - 244. Suppose 0 = -5*t - h + 260. Let x = 34 + t. Is x a multiple of 7?
True
Let t(u) = 4*u**2 - 29*u + 11. Let a be t(7). Let s(d) = 57*d - 176. Is s(a) a multiple of 2?
True
Let h(v) = 49 + 38 + 61*v - 70. Is h(3) a multiple of 76?
False
Suppose 436*r + 5*i = 441*r - 163830, 0 = -3*r - 2*i + 98268. Is 52 a factor of r?
True
Let m(k) = -49*k + 69. Let q(h) = 48*h - 68. Let a(v) = 5*m(v) + 6*q(v). Does 16 divide a(13)?
True
Suppose -8557 = -6*h - 2065. Let t = h - 538. Does 34 divide t?
True
Let k(u) = 3*u**3 - u**2 - 5*u + 9. Let t(q) = -2*q**3 + q**2 + 3*q - 5. Let j(y) = -3*k(y) - 7*t(y). Is 10 a factor of j(4)?
True
Let q(h) = 5*h**3 + 5*h**2 + 6*h + 18. Let w(a) = -6*a**3 + 11*a + 15*a**3 + 35 + 8*a**2 + 0*a**2 + a**2. Let k(i) = -7*q(i) + 4*w(i). Is k(0) a multiple of 3?
False
Suppose -2*j - 2*o + 17944 = 2*j, 0 = j + 3*o - 4491. Is j a multiple of 39?
True
Let d(t) = t**2 + 3*t + 31. Suppose 93 = -5*v - 447. Let j = v + 122. Is 45 a factor of d(j)?
False
Let p be 10 + -5 - 1/(-1). Let c(o) = -o**3 + 6*o**2 + 2*o. Let l be c(p). Is (388/l + -1)*(-3)/(-2) a multiple of 15?
False
Suppose -31 + 3 = n. Let i = -1132 - -1193. Let p = i + n. Is p a multiple of 11?
True
Let l(z) = z**3 - 27*z**2 + 38*z + 26. Does 27 divide l(28)?
False
Let y(z) = -488*z - 53. Does 41 divide y(-5)?
False
Suppose 4*t = -5*i + 3070, -39*t + 4*i + 3088 = -35*t