 + 1 + 1)/(7/7). Suppose 4*w = o*t - 176, -3*w - 255 = 3*t - 6*t. Is 41 a factor of t?
True
Suppose 4*g = 2 + 2. Suppose 1 = f - g. Is 9 a factor of ((-9)/(-15))/(f/90)?
True
Suppose -2*b + 155 = -3*f - 339, 2*f + 3*b + 312 = 0. Let i be -97 + 0/(-1 + 3). Let g = i - f. Is g a multiple of 23?
False
Suppose -r - 2*h = -3*r + 14, -2*h = r - 13. Let a be (-86)/(-18) - (-2)/r. Suppose 2*l - 11 = l + 5*t, 15 = a*t. Does 13 divide l?
True
Let a(d) be the second derivative of -3*d - 1/5*d**5 + 1/4*d**4 + 0 + 1/3*d**3 - 1/2*d**2. Is a(-2) a multiple of 13?
True
Suppose 0 = 3*k + 4*p - 43 + 16, -3*p + 45 = 5*k. Does 42 divide 6460/18*1 - (-1)/k?
False
Suppose 3*j - 4 = 4*j. Let h(q) be the first derivative of 4*q**3/3 + 4*q**2 + 2*q - 10. Is 7 a factor of h(j)?
False
Let w be -5*8/(-10)*1. Suppose -2*l + 5*l + 77 = w*g, 0 = -5*g - 5*l + 105. Does 5 divide g?
True
Suppose 3*k = -3*i + 3, -3*i + 21 = -3*k - 0*k. Suppose i*d - 81 = 215. Is d a multiple of 6?
False
Suppose -31*k - 8 = -35*k. Suppose 0 = -k*j + 157 + 23. Suppose 5*d + 4*h - j - 52 = 0, 4*h + 98 = 3*d. Does 10 divide d?
True
Let j = 22 - 19. Suppose j*g + 2*b - 117 = b, -g - b = -39. Is g a multiple of 12?
False
Let q be -25 + (-9)/3 + 1. Let v = 24 + q. Is 120*v*(-4)/24 a multiple of 10?
True
Let i be -3 + 1/2*2. Let p(r) = -r**2 + r + 1. Let k(j) = -j**3 - j**2 + 4*j + 1. Let v(f) = i*p(f) - k(f). Is 2 a factor of v(-4)?
False
Suppose r = -4*r - 265. Let o = r - -118. Is o a multiple of 18?
False
Let a(q) be the second derivative of 5*q**4/12 + q**3/2 - 2*q**2 + 6*q. Is a(2) a multiple of 17?
False
Let h = 96 + -57. Let s(q) = q + 4. Let r be s(-3). Suppose h = 2*y - r. Is 20 a factor of y?
True
Let f(d) = 34*d**2 + 10*d + 52. Does 15 divide f(-5)?
False
Suppose x + 2 = -2*p + 1, -4*x = -12. Is 14 a factor of 33 + -6 - (p - -3)?
False
Let q(w) = 16*w. Let r = -25 + 34. Let f = -6 + r. Is 16 a factor of q(f)?
True
Suppose 0*r = 5*r. Suppose 3*m = -r*m - 3. Let u(q) = -26*q - 2. Does 12 divide u(m)?
True
Let h = 1012 + -311. Does 9 divide h?
False
Let a = 20 + -15. Suppose 4*r = a*r - 11. Suppose -r + 36 = n. Is n a multiple of 5?
True
Let o = -46 - -49. Suppose -2*c + 297 = 4*n - 83, o*n - 4*c - 285 = 0. Is 23 a factor of n?
False
Let i = 128 - 112. Does 4 divide i?
True
Suppose -85680 = 17*r - 35*r. Does 20 divide r?
True
Suppose 0 = 4*m + c - 124, m + 5*c - 4*c - 34 = 0. Suppose -y + m = 4*t, y + 5*t - 21 = 14. Is y + 1/(-2 - -1) a multiple of 9?
True
Let u(a) = -12*a**2. Let v be u(-1). Let t = v + 24. Is 6 a factor of t?
True
Let i be -2 + -183 + -5 - 2. Let m(l) = -l**2 + 5*l - 2. Let x be m(5). Is 4 a factor of (i/30)/(x/5)?
True
Let f(g) = 38*g - 11. Let y be f(7). Let h = y - 125. Is 27 a factor of h?
False
Is 10 a factor of ((-2)/(8/(-10)))/(1/48)?
True
Let s(t) be the third derivative of t**5/30 - 3*t**4/8 + 3*t**3/2 - 5*t**2. Let p be s(6). Is 9 a factor of (-6)/p + 382/18?
False
Suppose -3*y + 12 = 0, 5*y - 21 = 3*d - 4. Suppose 2*u - h + d - 132 = 0, 320 = 5*u + 5*h. Is u a multiple of 19?
False
Let v be (12 - 4)/((-2)/(-1)). Suppose -5*g + 6 = -4*n, -v*g + 3*n + 6 - 2 = 0. Does 3 divide (2/(-2))/(g/28)?
False
Suppose 0 = 4*p - 11*p + 2961. Does 47 divide p?
True
Let g = 114 - 84. Let i = -25 + g. Does 5 divide i?
True
Suppose -j + 7*j + 6 = 0. Suppose -23 = d - 0*d. Is 5 a factor of -3 + j + (-2 - d)?
False
Let s = -94 + 401. Is s a multiple of 28?
False
Suppose -1 = r + 4*p, -2 = 2*r + 4*p - 0. Let b = 11 - r. Suppose v - b = 29. Does 8 divide v?
False
Suppose 9 = 3*b - 12. Suppose b*k - 9*k + 42 = 0. Is 3 a factor of k?
True
Let c(y) = -y**3 + 10*y**2 + 24*y + 3. Let j be c(12). Suppose 14 - 44 = -j*a. Does 4 divide a?
False
Let m(f) = 3*f**2 - 6*f + 14. Let c be m(8). Is 13 a factor of c/4 + 2*(-6)/24?
True
Let t = 53 - 48. Suppose -t*h + 129 = 29. Is h a multiple of 4?
True
Let u(v) = 12 - 2*v + 1 + 8 + 1. Is u(-11) a multiple of 11?
True
Let l(z) = 6*z**2 - z. Let v be l(-1). Suppose 4*f - 4*h + 72 = 0, v*h = 2*h + 20. Does 13 divide ((-52)/(-2))/(f/(-14))?
True
Let d = -108 - -116. Suppose 4*g + 778 = 2*n, 0 = -2*g + 5*n - 2*n - 391. Is 17 a factor of (28/d + -4)*g?
False
Suppose o - 13 = x - 4*o, 0 = 2*x + 2*o - 34. Let a = 27 - x. Is 15 a factor of a?
True
Let y = 33 - 15. Let p = -2 + y. Suppose -4 = -w + 4*t, p = 4*w - 2*t - t. Does 4 divide w?
True
Let l(p) = -7*p**3 - p**2 + 9*p - 3. Is l(-3) a multiple of 15?
True
Let c(f) = 4 + f**3 - 3*f + 6 + 5*f - 9*f**2 + 5*f. Let t be c(8). Suppose t*z - 3 = z. Is z a multiple of 2?
False
Let v(c) = c. Let d be v(-3). Let g be (-7)/d - (-4)/6. Suppose g*b + 2*b = -5*p + 50, p - 14 = -2*b. Is 3 a factor of p?
True
Suppose 45*x + 4*j = 46*x - 324, 3*x - 3*j - 945 = 0. Is 78 a factor of x?
True
Let c(v) = 239*v - 576. Is 14 a factor of c(20)?
False
Let l = -898 - -3085. Does 9 divide l?
True
Let y(m) = -2*m**3 - m**2 + 5*m + 248. Does 8 divide y(0)?
True
Let l(g) = g - 13. Let t be l(5). Let r = t + -15. Let p = 32 + r. Is p a multiple of 9?
True
Let l(r) = 3*r - 6. Let q be 3 + 6 + 2 + -1. Suppose q = -0*k + 2*k. Does 9 divide l(k)?
True
Suppose -3*v - 1 = -5*w, 4*w - 5 = 5*v - w. Let f(t) = -t**3 - 4*t**2 - 4*t - 2. Let r be f(v). Is 14 + 0*r/6 a multiple of 10?
False
Let p(j) = j. Let w(q) = 11*q - 2. Let m(b) = -5*p(b) + w(b). Let s be m(1). Suppose -c + 4*k - 51 = -4*c, -30 = -2*c - s*k. Does 5 divide c?
False
Suppose -9 = 7*m - 2. Is 9 a factor of (-4)/m + (-156)/(-6)?
False
Suppose -84 + 219 = -5*h. Let g be (-8)/12*h/2. Does 14 divide 153/6*6/g?
False
Let b(j) = -2*j - 32. Let z be b(-13). Is -4 + 240/28 + z/(-14) a multiple of 5?
True
Suppose -i = -w - 7, -2*i + 2*w = 6*w + 10. Suppose i*g = 5*f - 615, 4*f + 95 = 5*f + 5*g. Is f a multiple of 12?
True
Suppose -7 = t - 5. Let i = t - 2. Let l = i + 58. Does 18 divide l?
True
Let v(l) = 5*l + 2. Let r be v(0). Suppose 5*b - 427 = -r*b. Does 6 divide b?
False
Let x(z) = -206*z - 28. Is 3 a factor of x(-2)?
True
Let h = -51 - -53. Let b(p) = 3*p - 11. Let f be b(7). Is 10 a factor of 2 + h - (-4 - f)?
False
Suppose -v = f - 14 - 0, 2*f = 3*v + 8. Let p = f + -8. Suppose 104 = p*r + 30. Is r a multiple of 18?
False
Is 9 a factor of (-366565)/501*(-1)/((-2)/(-6))?
False
Suppose 7*p = 10*p - 309. Suppose p = 2*j - 11. Is 19 a factor of j?
True
Let i = -95 - -73. Is 22 a factor of (-2438)/i - -1*(-14)/(-77)?
False
Let f(r) = -3*r**3 - 4*r**2 + 3*r + 9. Let i be f(-6). Suppose -5*u = 4*c - 910 + 294, 4*u = -c + i. Let d = -75 + u. Is 14 a factor of d?
False
Let m(k) = -k**3 - 41*k**2 + 68*k + 234. Does 18 divide m(-43)?
True
Let v(q) = 3*q + 3. Let m be v(-2). Let h be (-117)/(-12) + m/4. Let g = 16 - h. Is g a multiple of 3?
False
Let z(i) = i**3 + 6*i**2 - 10*i + 1. Let f(v) = -v**3 + v**2 - 1. Let o(n) = 2*f(n) + z(n). Is 8 a factor of o(5)?
True
Suppose 1482*a - 1485*a = -756. Is a a multiple of 18?
True
Let g be (-8)/44 + 150/(-22). Let q be (-138)/(-15) + g/35. Let d(l) = l**2 - 7*l + 11. Is d(q) a multiple of 15?
False
Is 24 a factor of (3 - 4)/((-1)/149*1)?
False
Suppose -5*b = -58 - 22. Let z(m) = m**2 + 13*m + 13. Let a be z(-11). Let d = a + b. Is 7 a factor of d?
True
Let b be 4/(-2)*(-633)/6. Let x = -119 + b. Is x a multiple of 13?
False
Let k = -22 - -22. Suppose 3*g - 6 = k, r + g = -2*g + 68. Does 11 divide r?
False
Suppose 0*u + 5*u - 1643 = -4*a, -2*a - 3*u = -823. Is a a multiple of 24?
False
Suppose -5*d = -7*d + 12. Is (-48)/(-20)*200/d a multiple of 16?
True
Let t(m) = -m - 4. Suppose -y = 3, 2*c - 3*c + 5*y + 1 = 0. Does 10 divide t(c)?
True
Let z = -1094 + 1622. Is 5 a factor of z?
False
Suppose 2*y = 5*f + 6*y - 137, 15 = 5*y. Let j be (-1)/(f/10)*-45. Let w = -1 + j. Is w a multiple of 17?
True
Let k(j) = j**3 + j**2 - j + 52. Let g be 8/(-3)*(-9)/12. Suppose g*v = 4*v. Is k(v) a multiple of 17?
False
Let t(w) = w**3 - 3*w**2 - 1. Let c(o) = o**3 - 3*o**2 + o - 2. Let h(q) = 3*c(q) - 2*t(q). Let a be h(3). Suppose -a + 53 = 2*l. Is l a multiple of 22?
False
Suppose -3*a + 28 = -32. Let w be 2/(-1 + 3/5). Let x = w + a. Is x a multiple of 15?
True
Let z(t) = -8*t + t + 30 + 6*t. Let v be z(0). Suppose 3*o - 207 = 3*c, o - 3*c = v + 43. Does 17 divide o?
False
Let n = 2 + -2. Suppose 0*v - y = -3*v - 10, v - 2*y = n. Is ((-192)/9)/v*9 a multiple of