 + 7541, -5*b = -3*q - 7529. Let p be (b/44)/(2/8). Suppose 3*k - p = -h + 3*h, k - 42 = -3*h. Does 21 divide k?
False
Let t(j) = j**3 + j**2 - j. Let q = 6 - 6. Let l be t(q). Suppose 2*y - 5*y - 4*c + 119 = l, 4*c = 5*y - 145. Is 11 a factor of y?
True
Let v(z) = z**3 + 18*z**2 + 7*z - 7. Is v(-4) a multiple of 7?
True
Let h = -85 - -775. Is h a multiple of 46?
True
Suppose -64*n + 73*n = 11340. Is 35 a factor of n?
True
Let h(s) = -s - 6. Let f be h(-8). Is 28 a factor of (1 - 6/f) + 114?
True
Let o be (-3)/2*(2 + -4). Is 16 a factor of 20*o/(15/8)?
True
Let v be 6/((0 + -3)*12/(-24)). Suppose -q + v*q - 139 = -t, 159 = 3*q - 3*t. Is q a multiple of 4?
True
Let b(u) be the third derivative of -u**4/12 + 11*u**3/6 - 15*u**2. Is 4 a factor of b(3)?
False
Suppose 32*t = 41*t - 756. Does 17 divide t?
False
Is 6*(-5)/30*-64 a multiple of 64?
True
Suppose 0 = 4*r - 5*r + 2. Is 15 a factor of (5/5)/(r/154)?
False
Let p(x) = 4*x**2 - 6*x + 16. Suppose 0 = 5*k + 2*u + 3*u - 45, 4*u - 12 = -k. Let b be (-4)/k - 26/(-4). Is 31 a factor of p(b)?
True
Let y(h) = h**3 - 1 - 11 + 8 + 18*h**2 + 13*h - 6. Is y(-17) a multiple of 6?
False
Let j(d) = d**3 - 7*d**2 + 5. Let v be j(7). Let a(u) = -v*u + 15 - 2*u - 6 - u**2. Is 9 a factor of a(-7)?
True
Suppose -2*a + 4*a + 4*v = 28, 5*a - 5*v = 10. Suppose 2*k + u = a*k - 129, -2*k + u + 63 = 0. Is 11 a factor of k?
True
Suppose 0*o + 418 = o - 3*k, 2*k = 0. Is o a multiple of 38?
True
Suppose 5*s + 3 = -4*h - 2, -s - 5*h = 1. Let u be (s + 37)*10/6. Let p = u - 32. Is p a multiple of 25?
False
Let g(i) = -i**3 - 4*i**2 - 2*i - 3. Let v be g(-3). Let q be ((-6)/v)/((-3)/(-198)). Suppose -j + r = -q, 2*j - 3*j + 74 = r. Is j a multiple of 35?
True
Let m(q) = -42*q + 7. Let j be (-748)/121 + 2/11. Let n be m(j). Suppose 4*w + 51 - n = 0. Is 13 a factor of w?
True
Let b = -201 + 1809. Is b a multiple of 117?
False
Let c(f) be the second derivative of f**3/6 - 2*f**2 + 5*f. Let t be c(6). Suppose -t*u = -73 + 3. Is u a multiple of 8?
False
Suppose 3 = v - t + 5, 5*v = -4*t + 26. Suppose -55 + 1 = -v*r. Is 113/3 + 9/r a multiple of 21?
False
Let g(t) = t + 19. Let j = 9 - 0. Let b be g(j). Is 7*-31*(-8)/b a multiple of 25?
False
Let j be 57 + 1 - (0 + -4). Does 10 divide (-12)/(-7 + 3) + j?
False
Suppose 7*v - v - 24 = 0. Suppose -v*s - 3*r + 662 = 0, 822 = 5*s - 0*r + r. Does 41 divide s?
True
Is 9 a factor of ((-1)/(-5))/(-1) + 85312/310?
False
Suppose 48*a - 58*a + 24000 = 0. Is a a multiple of 14?
False
Let x(r) = -r**2 - 3*r + 1. Suppose b + 20 + 8 = -5*h, 3*h = b - 12. Let w be x(b). Is 25 a factor of w/(2/6) + 28?
False
Let l = 471 + -285. Let n = l - 43. Is n a multiple of 11?
True
Let z = -666 + 2600. Is z a multiple of 25?
False
Suppose -d - 9 - 3 = -2*g, -9 = -g - d. Suppose 368 = 5*y + r, 2*r = 2*y - g*y + 366. Suppose 26 + y = 5*a. Does 10 divide a?
True
Suppose 0 = -3*q - 0 + 87. Suppose -31 = -5*p + q. Does 5 divide (p + 0 - 1)*1?
False
Let h = -19 - -40. Let c = 25 - h. Suppose c + 1 = g. Is g a multiple of 3?
False
Suppose -10*x + 1 = -29. Does 7 divide 32 - (x + 2/2)?
True
Let j be 390/(-9)*(-5 + 2). Suppose 0 = 2*o - j - 22. Is 18 a factor of o?
False
Suppose -22 = -2*d + 3*d + 4*y, 5*y + 29 = -2*d. Does 12 divide 22/(d*4/(-48))?
True
Let j = -30 + 71. Let w = j - -77. Is w a multiple of 12?
False
Does 5 divide ((-270)/12)/((-33)/220)?
True
Let z be 17 + -8 - 0/(-2). Let i(n) = 8*n + 24. Is i(z) a multiple of 16?
True
Suppose -5*u = j + 3*j - 88, 0 = -4*j + 2*u + 60. Let s = j + -18. Does 12 divide (6*(1 + -3))/s?
True
Let w = 163 + 110. Is w a multiple of 19?
False
Suppose v - 10 = -3*w, 0*w = -3*w - 3*v + 18. Suppose -3*g + 3*t - 6 = 0, g - 2*t + 4 + w = 0. Suppose 2*p = -a - 0*p + 70, -5*p = -g*a + 149. Does 15 divide a?
False
Does 12 divide ((-6108)/3)/(-2)*(-3)/(-6)?
False
Let q = 4 + -43. Let o = -23 - q. Is 4 a factor of o?
True
Suppose 3*h - 1862 + 482 = 0. Does 46 divide h?
True
Let l(b) = b**2 - 6*b. Let p be l(6). Let v(u) = 2*u**2 + 81. Is 12 a factor of v(p)?
False
Let o = 102 - 103. Is (o*(-2)/3)/((-44)/(-792)) even?
True
Let s(t) = 2*t**2 + 6*t + 6. Let m be s(-3). Let r be ((-2)/m)/(14/(-4830)). Suppose -4*q - 2*y = -68, -5*q + 4*y = -y - r. Is q a multiple of 9?
False
Let s(p) = -p**2 - 42*p + 48. Is s(-36) a multiple of 12?
True
Let u = 58 + -58. Suppose -2*w + 26 = 10. Suppose u = 5*j - w*j + 117. Does 20 divide j?
False
Let g(h) = h**3 - 2*h + 2. Let z be g(0). Suppose 0 = z*r + 5*d - 200, -262 = -3*r + d + 55. Does 35 divide r?
True
Let n = 127 + 17. Is n a multiple of 24?
True
Suppose 0 = 10*c - 5515 - 695. Let t = -430 + c. Is t a multiple of 12?
False
Let k be -12 + 126 - 0/(2 - 1). Suppose -5*b = a - 81, 2*a - 2*b = -0*b + k. Does 18 divide a?
False
Does 37 divide 324 - ((2 + 3 - 5) + 2)?
False
Let k(y) = 2*y**2 + 2*y - 6. Let g be ((-16)/(-6))/(6/9). Suppose 4*s - g*i = 8, 0 = 5*s - 6*i + 2*i - 13. Is 27 a factor of k(s)?
True
Let t = 2 + 21. Suppose 2*g - 69 - t = 0. Is g a multiple of 11?
False
Let x = 39 - 54. Let c = x + 45. Is c a multiple of 15?
True
Let p(u) = -37*u + 13. Let j be p(-3). Suppose -f + 2*o = -53, 4*f - j = 2*f - 2*o. Is 9 a factor of f?
False
Let x(m) = 1 + 4*m**3 - 2 - 2*m**2 + 2*m + 13*m**3. Let o(f) = f**3 - f**2 - 11*f + 4. Let q be o(-3). Is 4 a factor of x(q)?
True
Let z be -45 + ((-36)/(-3))/(-4) + 2. Let x = 71 + z. Is 7 a factor of x?
False
Let k be (-8)/20 - (-2)/5. Suppose -4*y + 10*y - 1488 = k. Suppose -b = 3*f - y, 0 = f + f - 3*b - 147. Is 17 a factor of f?
False
Let g be (-24)/5*(-2 - -7). Let j = -22 - g. Suppose 0*d + 32 = j*d. Does 16 divide d?
True
Let l be ((-12)/(-36))/(2/48). Suppose m - l = -m. Suppose -2*z + m*w = -23 + 9, 4*z = 5*w + 37. Is 9 a factor of z?
False
Let q(i) = -136*i**3 + 2*i**2 + 4*i + 3. Let x be q(-1). Let j = 216 - x. Is j a multiple of 21?
False
Let y = -25 + 21. Let f be y/(-2) + -1 + -17. Let w(i) = -i**3 - 15*i**2 + 16*i + 9. Does 9 divide w(f)?
True
Let i be (-55 - -3)/4 + 3. Let s be 22/5 + (-6)/i. Suppose -s*r = -73 - 117. Is r a multiple of 10?
False
Suppose -50*y = -34*y - 896. Does 28 divide y?
True
Let l = 586 + -345. Does 7 divide l?
False
Is 12 a factor of (1 + -7 - (32 + 403))/(-1)?
False
Let o(m) = 5*m**2 - 5*m + 5. Let u(s) = s + 1. Let f(a) = o(a) + 2*u(a). Does 12 divide f(3)?
False
Let f(j) = 2*j**3 - 4*j**2 - 6*j - 22. Is 7 a factor of f(5)?
True
Let h(d) be the second derivative of -d**5/20 - d**4/2 - 7*d**3/6 + 3*d**2 + 8*d. Does 4 divide h(-5)?
True
Suppose -2*p + 6*p - 104 = 0. Let d(g) = -g**3 + 6*g**2 + 7*g - 12. Let b be d(6). Let o = b - p. Is 3 a factor of o?
False
Let a = 3900 + -2100. Is a a multiple of 40?
True
Let t(v) = -8*v**3 - 6*v**2 - 7*v - 5. Is 20 a factor of t(-3)?
False
Let l = 34 - 26. Suppose -2*d + l = -178. Does 21 divide d?
False
Let n = -57 + 60. Suppose 345 = 5*m + 4*y, -n*y + 247 = 5*m - 93. Is 17 a factor of m?
False
Suppose -5*h = -2*h - 105. Suppose 4*k - 171 = -h. Is 6 a factor of k?
False
Let o = 1454 + -1389. Is 3 a factor of o?
False
Suppose -313*s = -314*s + 3276. Is 12 a factor of s?
True
Let b be (8/(-20))/(4/(-20)). Suppose 2*x + x = -6, -4*v + b*x + 72 = 0. Does 7 divide v?
False
Let y(p) = -p**2 + p - 1. Let i(g) = g**2 - g + 1. Let b(n) = 7*i(n) + 6*y(n). Is b(4) a multiple of 4?
False
Suppose -a = -4*i + 7, 7 - 1 = 2*i. Let b = a - 3. Suppose -2*k + z + 73 = -33, -59 = -k + b*z. Does 17 divide k?
True
Let t(i) = 2*i**2 + 1. Let d be t(1). Suppose -d = -y - 0*y. Suppose -4 - 17 = -y*q + c, 3 = -2*q - 5*c. Does 6 divide q?
True
Let z = 2 - 0. Suppose -18 = 2*c - 2*k + 28, -z*c - 4*k - 34 = 0. Let a = -10 - c. Does 11 divide a?
True
Let y = 16 + -29. Let j = -11 - y. Suppose j*a = -a + 24. Is a even?
True
Suppose -3*n - 3*p + 7*p = 4, -n - p + 1 = 0. Suppose n = f - 23 - 17. Is f a multiple of 8?
True
Let i(v) be the first derivative of 2*v**3 + v**2/2 - 25*v + 34. Does 26 divide i(5)?
True
Let l(b) = b**3 + 4*b**2 - 3*b - 3. Let v be l(-4). Let a(j) = 8*j**2 - 15*j + 21. Let f(g) = 2*g**2 - 4*g + 5. Let i(n) = v*f(n) - 2*a(n). Does 11 divide i(4)?
True
Let r = -18 - -23. Suppose 44 = r*y - 9*y. Let h = y + 45. Is 21 a factor of h?
False
Suppose -7 = -l - 4, 0 = -4*y - 4*l + 32. Suppose -y*g - 102 = -507. Is 8 a factor of g?
False
Let t(o) =