j be s(b). Let d = 8 + j. Does 11 divide d?
False
Suppose -2*z + 14 - 6 = 0, 5*i + 40 = 5*z. Suppose 4*l - d + 3*d = 646, 5*l - 2*d = 794. Is l/4 - (i + 0) a multiple of 13?
False
Let l = -917 + 1405. Is 19 a factor of l?
False
Let x(k) be the third derivative of 19*k**4/8 + k**3/2 + 2*k**2. Let t be x(-2). Let z = 178 + t. Is z a multiple of 31?
False
Suppose -63*y - 60*y + 31488 = 0. Does 16 divide y?
True
Suppose 0 = 5*t + 5*v - 830, 0 = 6*t - 10*t - v + 667. Is 13 a factor of t?
False
Suppose -d - 1 = -8. Suppose -2*s = -d*s + 490. Does 18 divide s?
False
Suppose -3*d + 5*c + 336 = 2*c, -104 = -d + 5*c. Is 6 a factor of d?
True
Let w(x) = x**3 + 4*x**2 + 3*x + 4. Let u = 6 - 9. Let r be w(u). Let q = r - -1. Is 3 a factor of q?
False
Does 30 divide (-743 - 1)*((-9)/(-12))/(-1)?
False
Suppose 28*r = 25*r + 648. Suppose 9*l - 11*l = -r. Is l a multiple of 18?
True
Let m(u) = -u**3 - 20*u**2 - 20*u - 16. Let s(l) = -l**2 - 14*l - 32. Let z be s(-13). Is m(z) even?
False
Does 20 divide 3/2 - (428545/(-26))/19?
False
Let j = -136 - -221. Let m = -35 + j. Is m a multiple of 10?
True
Does 5 divide (-1081 + 39)*(0 + 3/(-2))?
False
Let x = 66 + -55. Suppose -s - 2*s = -129. Suppose 0 = -q + k + s, -q + x = k - 22. Does 19 divide q?
True
Let i(r) = 5*r. Let o be 2 + (-248)/(-14) - (-14)/49. Is i(o) a multiple of 20?
True
Let z(a) = a**2 + 9*a - 13. Suppose 13*v - 14*v - 10 = 0. Let k be z(v). Does 12 divide k/(3/(-2)) - -34?
True
Let g = 17 + -7. Suppose -2 = -n, -6 = -m + 4*n + g. Is m a multiple of 5?
False
Suppose -4*v + 2978 + 190 = -2*i, -3*i = -5*v + 3962. Suppose 146 - v = -7*h. Is 11 a factor of h?
False
Does 25 divide 235/(-10)*(-14 + -36)?
True
Let n be (-12)/(-18)*((-21)/(-1) - 3). Suppose n*i + 56 = 13*i. Does 19 divide i?
False
Let m(k) = -k**2 + 19*k - 15. Does 8 divide m(6)?
False
Let c(h) = h**2 + 20*h + 64. Is c(-25) a multiple of 14?
False
Suppose 0 = -0*g + 3*g - 81. Let p be 2/(-9) + 6/g. Suppose p = 3*w - 40 - 26. Does 5 divide w?
False
Let f = 707 + -483. Is f a multiple of 8?
True
Let n = 8 + -6. Suppose 0 = -0*v - n*v + 8. Suppose -v*p = -261 + 49. Does 12 divide p?
False
Let w(q) = q**3 - 5*q**2 + 5*q + 5. Let r be w(4). Is (r - 1)*26 - (-2 - -4) a multiple of 33?
False
Suppose -2*b + 27 = 4*s - 31, 5*s - 3*b - 89 = 0. Let n(g) = 5*g - 26. Is 13 a factor of n(s)?
False
Suppose 5*m - 3*z + 29 = 4*m, 2*m - 4*z + 62 = 0. Let x = -13 - m. Does 12 divide x?
False
Is 14 a factor of -27 + 1097 + (1 - 12)?
False
Suppose 4*u + y = -18 + 43, 2*u - 5*y - 7 = 0. Is 28 a factor of (u/(-8))/(15/(-1680))?
True
Let c be 1520/15 + 2/(-6). Suppose -29 = 4*j - c. Is 16 a factor of j?
False
Let l be (662/(-5))/(147/(-35) + 4). Let c = l - 446. Is 32 a factor of c?
False
Let a be (-1)/2*(-11 + 3). Suppose -548 = -a*j - 60. Suppose 0 = 11*w - 9*w - j. Is 16 a factor of w?
False
Let u = 35 + -33. Suppose 0 = 4*q + u*q - 90. Suppose 0 = -5*g + q. Is 2 a factor of g?
False
Is 3788/8 + (-57)/38 a multiple of 4?
True
Let w(c) = 11*c + 46. Let q be w(-15). Let k = -62 - q. Is 19 a factor of k?
True
Suppose -24*g + 471 = -1209. Is g a multiple of 29?
False
Is 11 a factor of (-354)/(-8) + 10/(-8)?
False
Let q(g) = -g - 6. Let i be q(-8). Suppose -4*h + i*x = -37 + 11, 2*h + 2*x = -2. Suppose -8 = -y - h*b, 5*y - 2*b = 2*b + 40. Does 4 divide y?
True
Suppose 0 = -40*d + 24*d + 4272. Is 13 a factor of d?
False
Let d = 7 + -7. Let n(j) = -2*j - 8 - 5*j + d + 1. Is n(-2) even?
False
Let o(l) = -1 - 4*l - 4*l - 6*l. Let a(r) = -2*r**2 + 7*r + 3. Let u be a(4). Is 13 a factor of o(u)?
True
Does 46 divide (-215)/60*-4*45?
False
Let b(h) = -121*h - 49. Does 16 divide b(-9)?
True
Suppose 11 = -2*h + l + 54, -l = -3*h + 67. Suppose 6*v = 3*v + h. Is v a multiple of 8?
True
Suppose -33*c - 64 = -37*c. Is c a multiple of 2?
True
Let k be (6 - 46) + 0 + 2. Let c = 1 - k. Is c a multiple of 13?
True
Suppose 7*i - 772 = -226. Is i a multiple of 13?
True
Suppose 5*j = j + 308. Let b = -41 + j. Let v = b - -10. Does 12 divide v?
False
Suppose 0 = 2*d - 361 - 1101. Is 13 a factor of d?
False
Suppose 0 = -2*b + 6*b - 20. Suppose 217 - 52 = -b*m. Let w = m - -69. Does 18 divide w?
True
Let a be (-3)/((-2)/(32/12)). Let f be 0*(4/a)/1. Suppose f = 5*h - 43 - 22. Does 3 divide h?
False
Suppose 426 = 11*c + 96. Is c a multiple of 2?
True
Suppose -4 - 17 = 7*w. Let v = w - -3. Suppose v = -2*z - 2*z + 340. Is z a multiple of 26?
False
Let m(j) = 704*j**2 + j. Is m(-1) a multiple of 37?
True
Suppose 1491 = 3*a + 3*c, c = a - 216 - 277. Does 33 divide a?
True
Let s(x) = 95*x**2 + 12*x - 20. Is 16 a factor of s(2)?
True
Let d be (-1 - 2)*(-456)/9. Let v = d + -74. Is 9 a factor of v?
False
Suppose 2*z - 5*n - 5569 = 0, 84*z - 79*z - 3*n = 13875. Is 12 a factor of z?
True
Let k = -1 - -19. Suppose 0 = -4*s - 3*a + 123, -3*s + 4*a + 43 = -k. Does 9 divide s?
True
Let f(m) = 116*m**3 + 3*m**2 - 6*m + 4. Does 9 divide f(1)?
True
Let o(x) = -x**3 - 5*x**2 + 6*x - 20. Let a be o(-5). Let u = a - -182. Is 11 a factor of u?
True
Does 3 divide (-39)/(-1) - (25 + -26)?
False
Let x(a) be the first derivative of 8/3*a**3 + 1/2*a**2 - 3 - 6*a. Does 15 divide x(3)?
False
Let d(p) = p - 8. Let t be d(8). Suppose -2*c + 203 = -c + 5*s, t = c - 2*s - 196. Suppose -3*o + 57 = -c. Is 14 a factor of o?
False
Is -1 + (-946)/(-3) + 4/6 a multiple of 8?
False
Let r(n) = -6*n**3 - n**2 + n + 1. Let o be r(-1). Suppose -6*u = o*c - u + 25, -c = -2*u - 10. Suppose s - 6 = -c*s. Is 3 a factor of s?
True
Suppose 27 = 14*l - 1. Suppose l*h = 9*h - 364. Is 13 a factor of h?
True
Suppose -2*l = 4*g - 1706, l - 28 = -33. Does 13 divide g?
True
Let b(p) = -12*p**3 + 1. Let t be b(-1). Let k(d) be the third derivative of d**4/24 + 13*d**3/6 + 94*d**2. Is 22 a factor of k(t)?
False
Suppose p = 3*j - 0*p - 154, -j = 5*p - 46. Does 26 divide j?
False
Suppose 4*l - 672 = -29*x + 25*x, 0 = 4*x + 12. Is l a multiple of 19?
True
Let l(x) = x**3 + x**2 - x + 1. Let m(c) = 4*c**3 + 9*c**2 - 18*c + 6. Let r(p) = 3*l(p) - m(p). Does 11 divide r(-9)?
False
Let a = -41 + 24. Let f = a - -114. Is f a multiple of 19?
False
Suppose 5*m = 7*m. Suppose -5*f = 5, -5*p + 2*f + f + 283 = m. Does 14 divide p?
True
Let m(s) = -11*s - 40. Let o(v) = -11*v - 41. Let r(l) = 4*m(l) - 5*o(l). Is 28 a factor of r(9)?
False
Let p(r) = r**3 + 13*r**2 + 2*r - 10. Let n be p(-5). Suppose 0 = -5*b + 6*b - n. Does 36 divide b?
True
Let p = 9 + 0. Let g = -6 - p. Let b = 21 - g. Does 12 divide b?
True
Is 3 a factor of (-5 - (-1 - 2))/((-16)/3280)?
False
Let a be (-12)/((-21)/9 + 1). Let q = 5 - a. Is (-1 + q)/(2/(-36)) a multiple of 18?
True
Let c = -342 + 706. Does 7 divide c?
True
Let k = -28 - -48. Suppose -5*g = -p - 16, -2*p + k = 4*g - p. Is ((-2)/g)/(19/(-380)) a multiple of 3?
False
Let x be (2*3)/(6/12). Suppose -4*t - 124 = -3*y, x - 4 = 2*y. Does 6 divide (36/21)/((-8)/t)?
True
Let s(g) be the third derivative of g**6/60 - g**5/20 - 7*g**4/24 - 7*g**3/6 - g**2 - 2*g. Is s(4) a multiple of 5?
True
Let y be 1 - 10*(-10 - -3). Does 8 divide 1 + -3 - (1 - 0 - y)?
False
Let o = 8 + 0. Does 10 divide (-2 + o/5)/((-1)/50)?
True
Suppose v - 31*v = -23340. Is 8 a factor of v?
False
Let n(y) = 6 + 10 - 13 - 17*y. Is 22 a factor of n(-5)?
True
Let q(m) = m**3 + 6*m**2 - 5*m + 4. Suppose 6 = -k + 1. Is q(k) a multiple of 30?
False
Let l(v) = 11*v**2 + 7*v - 24. Is 11 a factor of l(-6)?
True
Let r(u) = -5*u**2 - 4*u + 18 + 4*u**2 + 0*u**2 - 11*u. Is r(-6) a multiple of 9?
True
Suppose -16*s + 10*s + 6 = 0. Does 8 divide (-6)/(s - (-141)/(-132))?
True
Suppose -o = 5*b + 3*o - 109, 2*b - 4*o = 38. Let q = 12 + b. Is 11 a factor of q?
True
Let f = 935 - 724. Let s = -76 + -44. Let m = f + s. Is m a multiple of 35?
False
Let w = 166 + -285. Let i = 204 + w. Is 41 a factor of i?
False
Suppose -4*k - 6 - 6 = -2*y, -9 = -4*y + 3*k. Is 47 a factor of 4 + (y - 4) + 208?
False
Let m(b) = 16*b**2 + 14*b. Let v be m(4). Suppose -3*w + v = 96. Is w a multiple of 8?
True
Suppose 5 - 29 = 3*c. Let v(m) = -8*m - 19. Is 10 a factor of v(c)?
False
Suppose 0 = 5*q - 3*t - 9373, 3*t + 3751 = -31*q + 33*q. Is 26 a factor of q?
False
Suppose 0 = 4*h + 4*m, 2*h = -3*h + 3*m + 32. Let p be h/((-12)/(-9))*-1. Is 62/p*(-4 - -1) a multiple of 21?
False
Let g(a) = -a**3 - 5