w**3 + 2. Is 5 a factor of h(5)?
False
Let j = -13 - -24. Let m(p) = 6*p + p - j*p + 5*p + 13. Is 8 a factor of m(19)?
True
Let l be -2*(5/(-6) - 4/6). Does 10 divide (1 + 105/(-10))/(l/(-24))?
False
Suppose 7*t = -0*t. Suppose -j - 4*u - u + 142 = t, -3*u + 462 = 3*j. Is 13 a factor of j?
False
Suppose 0*h = -2*h + 8. Suppose -h*o + 5*o = -2*v + 334, 3*v - 504 = -3*o. Is 12 a factor of v?
False
Let f = -698 - -874. Is f a multiple of 4?
True
Let p = 204 - -276. Is p a multiple of 8?
True
Let u be (0*(-4 + (-44)/(-12)))/(-1). Suppose u = -6*m + 251 + 181. Is 5 a factor of m?
False
Suppose -23*h = -30938 - 33462. Does 50 divide h?
True
Let g(w) = 18*w - 49. Let v = 89 - 81. Does 19 divide g(v)?
True
Let x(y) = -155*y + 59. Is 18 a factor of x(-4)?
False
Let h(b) = -2*b**2 + 6*b + 4. Let p be h(-2). Is 24 a factor of (-2676)/(-16) + 4/p?
False
Suppose 0 = -2*r - 1 - 13. Let z be (r/(-2))/(8/32). Suppose -h - 5*n + 7 = -z, 3*n = 2*h - 42. Does 6 divide h?
False
Let j be 6/4*8/6. Suppose 0*n - 2*n + 342 = -2*b, 0 = j*n + 4*b - 324. Is 14 a factor of n?
True
Is 74 a factor of 3/(18/40)*(-15 + 237)?
True
Suppose -3*t + 0*z = -2*z - 29, 0 = 2*t - 5*z - 12. Let w = 29 - t. Is 9 a factor of w?
True
Suppose 0*r + 2 = -2*r. Suppose 4*x = -17 - 19. Is 5 a factor of -1 - ((r - -2) + x)?
False
Let z(p) = -3*p**3 + 39*p**2 - 16*p. Is z(12) a multiple of 12?
True
Suppose 49 = -2*v + 9*v. Does 6 divide v?
False
Let y be (1 - 1)*(-10)/20. Suppose 3*t - 6*z + z + 42 = y, t + 5*z = -34. Is (-3 - t) + 0/(-1) a multiple of 8?
True
Suppose -4*i + 34 = s, i - 35 = -2*i + 4*s. Suppose q - 106 = -i*r + 5*r, r - 191 = -2*q. Let y = q + -54. Is 20 a factor of y?
True
Let d = -11 + 7. Is 76 - (-3 - (-9 - d)) a multiple of 37?
True
Let y(d) = 128*d - 1. Suppose -17*x = -11*x - 6. Is y(x) a multiple of 29?
False
Let d be (0 - -4)/((-4)/(-6)). Suppose -16*k + 174 = -11*k + 2*v, -24 = -k + 5*v. Let o = k - d. Is o a multiple of 7?
True
Let c = 67 + -79. Is 21 a factor of ((-28)/c)/(3/162)?
True
Let d be (24/21)/(2/7). Suppose 0 = -4*x - 4, d*x - 186 = -l + 3*x. Is 35 a factor of l?
False
Suppose -2*c + 3*y = -961, 5*c - y - 1031 = 1378. Does 37 divide c?
False
Suppose 6*a - 21 = 15. Suppose 462 = a*c + 8*c. Is c a multiple of 30?
False
Does 93 divide (-2)/(-18) + (-113516)/(-333)?
False
Let f be 0/(12/(-4) + 1). Is f - -3 - (-10 + 1) a multiple of 3?
True
Suppose -15*q - 364 = -16*q. Let h = -229 + q. Is h a multiple of 16?
False
Let c = 5268 + -2612. Does 47 divide c?
False
Suppose -13*h + 19*h - 12 = 0. Suppose 3*y - 164 = -5*f + f, 5*f - 212 = -h*y. Is f a multiple of 11?
True
Let m(z) = -3*z**3 - 4*z**2 - 39*z - 86. Does 6 divide m(-8)?
True
Let b be 1/(0 - 3/(-24)). Let p = -27 - -31. Suppose 4*n = -8 - b, o + 3*n = p. Is o a multiple of 4?
True
Let c(r) = -r**2 - 4*r + 8. Let v be c(-5). Suppose -v*x = -x - 448. Suppose 32 = -3*j + x. Is j a multiple of 13?
False
Suppose -5*m + 12 = -3. Suppose -8 - 7 = -m*f. Suppose f + 2 = t. Is t a multiple of 6?
False
Suppose 0*u - 2*u = -10. Suppose 3*o - u*c = 252, 0 = o + o - 3*c - 168. Does 28 divide o?
True
Let c(z) = 3*z + 4. Let t(y) be the third derivative of -y**6/120 + 2*y**5/15 - 7*y**4/24 + y**3/3 - 7*y**2. Let p be t(7). Is c(p) a multiple of 3?
False
Suppose 3*b = 5*u + 8, 3*b + 22 = -u + 6. Let p be (-1)/((b + 0)/76). Let c = 43 - p. Does 8 divide c?
True
Let p be (-2)/7 - 48/(-21). Suppose 0 = 5*f + 4*d - 215 - 376, -5*f + p*d + 597 = 0. Does 17 divide f?
True
Suppose 3*u - 2749 = 5*y, -4*u + 2*y = -0*y - 3684. Is 8 a factor of u?
False
Suppose 5*b = 57 + 83. Is 14 a factor of (-2)/((-58)/b + 2)?
True
Let c(w) = w**2 + 1. Let t(k) = -6*k**3 - 4*k**2 + k - 2. Suppose 4*l = 4*x + 7*l - 1, -2*l + 1 = 3*x. Let m(y) = x*t(y) + 3*c(y). Is m(-1) a multiple of 4?
False
Is (-2)/1 - 708/(-3) a multiple of 3?
True
Let a(y) = 2*y**2 - y**2 - 4*y + y. Let b be a(-4). Suppose w = 3*w - b. Does 14 divide w?
True
Let x = 368 + -328. Suppose -3*z + 40 = -5*z. Let s = x - z. Does 20 divide s?
True
Let o = 66 - 63. Does 6 divide o/((-30)/4) - (-3663)/45?
False
Let u be -21 + 25 + -2 + 1. Suppose -2*k - 4*h + 3*h - 1 = 0, 2*k + u*h + 3 = 0. Suppose -3*q = -k*q - 21. Is q a multiple of 5?
False
Suppose 6*s - 50 = 16*s. Let l(t) = -2*t**3 - 6*t**2 + 10. Is 13 a factor of l(s)?
False
Let t = -1118 - -1646. Is t a multiple of 22?
True
Let u(t) = 2*t**2 + 5*t - 156. Is 12 a factor of u(-28)?
True
Let z(j) = j**3 - 7*j**2 + 7*j - 8. Let f be z(6). Let q = f + 0. Is 12 a factor of q/(-10) - (-1316)/20?
False
Suppose -825*o + 829*o - 360 = 0. Does 30 divide o?
True
Suppose -b + 2 = 0, -3*r + 5*b + 31 = 4*b. Let m = r - -59. Does 35 divide m?
True
Suppose -62*r + 22140 = -42*r. Does 27 divide r?
True
Let j = -47 + 5. Let d = 161 - j. Does 18 divide d?
False
Suppose 0 = -3*w + 12. Suppose s - 4*x = 4*s - 76, 0 = -w*s - 3*x + 92. Is 4 a factor of s?
True
Suppose -1 = -a - 0*a, -4*w - 2*a + 142 = 0. Is 12 a factor of w?
False
Suppose -q = -4*z + 8 + 8, -3*z + 31 = 4*q. Suppose -3*k = -q*c - 20, 3*c - 3 = -2*k - 1. Suppose -k*a + 65 = 17. Is 3 a factor of a?
True
Let s(b) = b**2 + 5*b - 10. Let h = 42 - 42. Suppose 6*l = -h*l - 84. Is 17 a factor of s(l)?
False
Let r = 368 + -263. Is r a multiple of 10?
False
Is 2 a factor of 2584/10 + (-258)/(-430)?
False
Suppose -4*z - j + 1572 = -0*z, -4*z - 2*j = -1572. Is 62 a factor of z?
False
Suppose 4*a = -16 - 72. Let t = 62 - a. Suppose -3*y + t = 2*g, 5*y - 20 = g + 107. Is 9 a factor of y?
False
Let b = 500 - 244. Suppose 412 = 5*d + 3*v, -3*d + 4*v = -6*d + b. Does 16 divide d?
True
Suppose 5*z + a - 4*a + 108 = 0, 66 = -3*z + 3*a. Is 2*(z/(-6) - 2) even?
False
Let i be ((-2)/2 + 1)/(-3). Let h(f) = -f**3 - f**2 + f - 30. Let r be h(i). Let z = r + 92. Is 32 a factor of z?
False
Let a(p) = 10*p**2 + 6*p + 4. Is 10 a factor of a(3)?
False
Let o(f) = -f**2 - 6*f. Let g be o(-5). Suppose 0*w - g*h = -w - 14, 3*w = 2*h + 10. Suppose -v + w*v = 210. Is 13 a factor of v?
False
Suppose -a - 35 = -6*a. Let x = a - 4. Suppose -p + x*l = -94, 38 + 237 = 3*p - 2*l. Is p a multiple of 24?
False
Suppose -11*o - 6 = -83. Let h(s) be the first derivative of 2*s**3/3 - 9*s**2/2 + 8*s - 1. Is 16 a factor of h(o)?
False
Suppose 6 = 9*c - 12. Suppose a - p - 59 = 0, c*a + 4*p = 44 + 56. Does 7 divide a?
True
Let z be (-4)/6 + (-362)/6. Suppose -f + 0 - 30 = 3*i, 0 = 5*f + 3*i + 186. Let q = f - z. Does 16 divide q?
False
Is (-29 + 31)*(353*1 - 0) a multiple of 30?
False
Let p be (-1*3)/(1/(-3)). Let r(f) be the second derivative of -f**5/20 + 2*f**4/3 + 3*f**3 + 5*f**2 - 6*f - 2. Is 13 a factor of r(p)?
True
Is 13 a factor of (94/8 + -2)*48?
True
Let o be -1 + 2 + (-10 - -9). Let x(h) = -22 + h**2 + 39 + o*h**2. Is 17 a factor of x(0)?
True
Let b = -7 - -11. Suppose -17*j + 1414 = -422. Suppose 3*q - j = -q - 5*v, b*q = 2*v + 80. Does 16 divide q?
False
Let x(d) = -23*d**3 + 1. Let m be x(-1). Let s = m - 11. Does 13 divide s?
True
Let r(c) = c**3 - c**2 - 6*c + 6. Let j be r(4). Suppose o = -4*o - j. Is 25 a factor of o/21 - (-2108)/28?
True
Is 11 a factor of 8/(-7) - (-626897)/427?
False
Let u = 243 + 240. Is u a multiple of 21?
True
Let h = 29 - -313. Is h a multiple of 38?
True
Suppose -p + 2 = -2*v, -7 = 2*v - 5*p + 3. Suppose -4*u + 12 = -v*u. Suppose -5*f = -4*a + 120, a + 2*a - u*f - 93 = 0. Is a a multiple of 5?
True
Suppose 0 = 5*k - 1154 - 671. Suppose 0 = 4*m - k - 79. Is m a multiple of 37?
True
Is 12 a factor of (-1 + -6 + 115/15)*18?
True
Suppose -2*n = 3*q - 78, 6*q - 3*q = n - 30. Let p = -115 - -279. Suppose 0 = 5*b - n - p. Is b a multiple of 10?
True
Let u(q) = q**2 - 3*q + 52. Is 18 a factor of u(18)?
False
Let m(u) = u**2 + u - 8. Let v be -2 + (-8 - -2) - -2. Let d(c) = -c**3 - 6*c**2 + 2*c + 6. Let n be d(v). Does 15 divide m(n)?
False
Let y = 258 + -69. Does 21 divide y?
True
Let k(t) = 3*t**3 - 3*t**2 + 3*t. Let n be 45/20 - 2/8. Is k(n) a multiple of 7?
False
Let f = 2993 - 703. Is f a multiple of 26?
False
Suppose 8*s = 450 + 62. Is 8 a factor of s?
True
Let o = 10 - 5. Suppose -o*t = -349 + 49. Is t a multiple of 20?
True
Let j = -786 - -1117. Is 17 a factor of j?
False
Suppose -3*n = 2*i - 5*i + 132, 5*i - 208 = -n. Is i a multiple of 3?
True
Suppose 46*m - 36*m - 520 = 0. Is 16 a facto