0 = -n*k + 5*k. Suppose 2*p - 6*p = 8, -k*p + 3 = w. Does 11 divide w?
True
Let o be ((-36)/10)/((-15)/(-50)). Let w = 14 - o. Let f = w + -13. Is f a multiple of 13?
True
Let b = 11 + -3. Let q(n) = -n**2 + 12*n - 7. Does 25 divide q(b)?
True
Let s(t) = t - 4. Let x be s(9). Let b = x - -12. Let r = 35 - b. Is 9 a factor of r?
True
Let x(k) = -k**3 + 5*k**2 + 3*k + 2. Is x(4) a multiple of 15?
True
Let s be -2 + 41 - (-1 + 0). Let l = s - 18. Is l a multiple of 11?
True
Let x = 21 + -7. Is x a multiple of 3?
False
Let a = -353 - -569. Is a a multiple of 45?
False
Suppose p = -x, x + 5*p + 1 - 13 = 0. Let i be ((-4)/(-3))/(x/(-9)). Suppose 3*k - 3*h = 2*h + 63, 110 = i*k + 2*h. Is k a multiple of 8?
False
Let h(c) = 132*c**3 + 2*c**2 - c. Let i be h(1). Suppose -i - 97 = -5*d. Is 14 a factor of d?
False
Let c = 1 + -1. Suppose s - 1 - 1 = c. Suppose -4*a - 3*w + 53 = 0, -a - w - 15 = -s*a. Is a a multiple of 6?
False
Suppose 12*m - 6*m = 276. Does 7 divide m?
False
Let a = 31 + -15. Let d = a + 3. Is 6 a factor of d?
False
Suppose -3*c + 14 = 5. Let k(n) = -n**3 + 3*n**2 + 2*n - 3. Does 2 divide k(c)?
False
Suppose 0*b = -2*b + 48. Does 12 divide b?
True
Let j(g) = 22*g - 20*g + 6 + 1. Is 10 a factor of j(6)?
False
Suppose 0 = -3*p - 0*p + 66. Let t = 42 - p. Is t a multiple of 20?
True
Let d = 9 - 9. Suppose -2*w - 5*n = -45, d = -5*w + 6*w + 5*n - 15. Is 15 a factor of w?
True
Let j = 68 + -31. Suppose 28 + j = 3*c - 5*i, c - 5 = 5*i. Does 15 divide c?
True
Let h(d) be the second derivative of -5/6*d**3 + 2*d**2 - 1/20*d**5 + 1/2*d**4 + 0 - d. Is 8 a factor of h(3)?
True
Suppose 4*w - 20 = 232. Does 19 divide w?
False
Let p(k) = 2*k**3 - 1 - 3*k**3 + 0*k**3 + 2 - 7*k**2 + 12*k. Is 16 a factor of p(-9)?
False
Is 12 a factor of 30/(2 + (-1 - 0))?
False
Suppose 52*j - 812 = 48*j. Is 13 a factor of j?
False
Suppose -7 = -2*i + 5*x - 2*x, -3*i + x = 7. Let f be -3*1 - (-11 - i). Suppose -a - f*h = -0*a - 29, 0 = -3*a - 3*h + 42. Does 7 divide a?
False
Is 24 a factor of 2 + -5 + 3 - -84?
False
Let j be 6/(-2)*8/6. Let b = -2 - j. Suppose 0 = 5*x + 3*f - 0*f - 82, -b*f = -x + 19. Is x a multiple of 16?
False
Let i(w) = 2*w + 27. Let m be i(-13). Suppose -2*n + m = -23. Is n a multiple of 4?
True
Let y = -41 + 62. Suppose q - y = -10. Is 6 a factor of q?
False
Let i be ((-3)/(-6))/((-1)/(-38)). Suppose i = 4*o - 37. Is o a multiple of 7?
True
Let x(a) = 18*a - 12. Does 42 divide x(3)?
True
Let v(g) = 4*g - 1. Is 11 a factor of v(3)?
True
Suppose -5*y - 108 = -6*y. Does 8 divide y?
False
Let y be (-9)/15 - (-249)/15. Let o = 9 - 5. Suppose -o*f + y = 2*r, -2*f + 2*r = 3 - 23. Does 5 divide f?
False
Suppose -7 - 313 = -4*k. Does 20 divide k?
True
Let c(t) = -t**3 - t**2 + 2. Let v be c(0). Suppose v - 12 = -p. Does 5 divide p?
True
Let f = -1 - -5. Suppose f*d - 29 = 11. Let t = d - -3. Is 10 a factor of t?
False
Is 16 a factor of (-4)/8 + (-47)/(-2)?
False
Let k be (5 + -6)*(0 + 2). Let s = k + 22. Is s a multiple of 10?
True
Suppose -2*n = -3*j + 36, -20 = 3*j + n - 56. Let h be (-3)/((-2)/j + 0). Suppose p - 4*p = -h. Is p a multiple of 4?
False
Let k(m) = 28*m. Let b(h) = h**2 + 3*h + 3. Let p be b(-2). Does 13 divide k(p)?
False
Let b = -4 + 8. Let l = b + 1. Is 4 a factor of l?
False
Let n be (1 + -7)*12/(-18). Let i(y) = 6*y - 6. Does 9 divide i(n)?
True
Let b be 5/(20/(-32)) + 2. Does 7 divide 8/(-24) - 158/b?
False
Let y(n) = n**3 + n**2 + n - 4. Does 7 divide y(3)?
True
Suppose 0 = 2*q + 10 - 2. Let x(n) = n**3 + 5*n**2 - 2. Let g be x(-5). Is (6/g)/(q/12) a multiple of 7?
False
Suppose -i - 5*u + 9 = -2, 6 = -2*i + 4*u. Let b(v) = 37*v + v + 7*v + i. Is b(1) a multiple of 21?
False
Let o(s) = 7*s**2 + 12*s + 22. Is 11 a factor of o(-8)?
True
Suppose 0 = -4*u + 3*u + 20. Is 8 a factor of u?
False
Let j(p) = -p**3 + p**2 + 4*p + 3. Let l be j(-2). Suppose 0 = y - 3*w - l, -2*w + w - 14 = -2*y. Let r = 10 - y. Is 3 a factor of r?
True
Suppose -1 = 4*o + 55. Let a be o/(-3) + (-1)/(-3). Suppose -2*w = 5*d + 2*w - 58, 5*d - a*w = 40. Is 6 a factor of d?
False
Let b be (-2)/6 - 22/6. Let d be (-18)/(-4) + (-2)/b. Suppose 60 = 5*q + 5*o, q - 52 = -2*q + d*o. Does 14 divide q?
True
Suppose -5*u + n + 152 = 0, 40 - 164 = -4*u + 2*n. Is u a multiple of 4?
False
Let m be 3/(1*(-1)/(-1)). Suppose 2*h = -2*c + 2, 0 = 4*h - 3*h + 2*c + m. Is h a multiple of 5?
True
Let t(r) = -20*r + 7. Let a(w) = -21*w + 7. Let d(m) = 3*a(m) - 4*t(m). Let p(o) = 8*o - 3. Let c(s) = 2*d(s) - 5*p(s). Is 13 a factor of c(-2)?
True
Let i = -1 - 66. Let p = -47 - i. Does 10 divide p?
True
Suppose 3*v = 2*v + 35. Suppose -60 = -5*a + v. Does 12 divide a?
False
Let i(p) = -p**3 + 6*p**2 - 2*p + 6. Suppose 4*j - 4 - 16 = 0. Does 9 divide i(j)?
False
Let t be (-8)/20 - 247/(-5). Let h = 5 + t. Is 15 a factor of h?
False
Suppose 0 = r + 2*t - 29, -4*r - 4*t = -8*r + 116. Does 12 divide r?
False
Suppose 5*u = 3*n - 57, -4*n + 3*u = n - 111. Does 11 divide n?
False
Suppose -5*x + 16 = -2*n, 4*x = 4*n + n + 6. Let o = 6 + n. Is 4 a factor of o?
True
Let w(i) = -58*i - 15. Is 37 a factor of w(-4)?
False
Suppose -17*u + 20*u - 348 = 0. Does 36 divide u?
False
Suppose -5*o - 1 - 36 = 4*s, 5*s - 4*o = 5. Let l(z) = -3*z**3 - 4*z**2 + 3. Does 13 divide l(s)?
False
Let b be (-4)/(-3)*(-12)/(-8). Suppose 20 = 2*t + b*t. Suppose 4*j - t*f - 38 = 0, -5*f = -3*j + j + 24. Is j a multiple of 4?
False
Suppose 2*a + 2*a - 20 = 0. Let d = a - 4. Is 5 a factor of (-1 - -7)*(d + 1)?
False
Let l(t) = 30*t**2 + 7*t - 15. Is l(2) a multiple of 17?
True
Let v(k) = -k + 17. Is v(7) a multiple of 5?
True
Suppose 3*c + 12 = 0, 0*a - 3*c = -a + 63. Does 17 divide a?
True
Let h(r) = -2 - 4*r - r**2 + 2*r - 4*r. Let k be h(-5). Suppose m + 36 = k*m. Does 18 divide m?
True
Let o(a) = -a**3 - 8*a**2 - a + 2. Let z(s) = -s**2 - 8*s - 10. Let b be z(-7). Let u be o(b). Does 15 divide (16/u)/(1/(-80))?
False
Let j = 10 - -2. Let o = 20 - j. Does 2 divide o?
True
Suppose 0 = u - 2*y - 25, -22 - 9 = -u - 4*y. Is u a multiple of 27?
True
Let a(w) = w + 48. Let n be a(0). Let l = -15 + n. Suppose 0 = q - 5*r - l, 0 = -3*q - 2*r - 2*r + 80. Is 14 a factor of q?
True
Let k(o) be the first derivative of o**3/3 + o**2/2 - 37*o + 3. Let p be k(0). Let u = 58 + p. Is 11 a factor of u?
False
Let f(c) = -c**2 + 4*c + 3. Let g be f(6). Let l = g + 24. Let p = l - 8. Is p a multiple of 3?
False
Let s be ((-90)/24)/((-6)/(-16)). Does 9 divide -60*(24/s - -2)?
False
Let i(h) = 2*h**3 - 6*h**2 + 5*h - 2. Is 10 a factor of i(4)?
True
Let k = 6 + -3. Suppose -2*y + 1 = -k. Is y a multiple of 2?
True
Let o = 63 - 31. Does 17 divide o?
False
Let a(c) = 11*c**3 - c**2 + 3*c - 3. Let z be a(2). Suppose 0*r = -3*d + 4*r + z, -r = 5*d - 145. Suppose -3*j = -0*l + l - d, 3*j = 4*l + 4. Does 5 divide j?
False
Let k(u) = -6*u - 4. Let o(h) = h + 1. Let b(a) = -k(a) - 2*o(a). Is b(2) a multiple of 10?
True
Let q be ((-4)/2)/(1/(-3)). Let b = q - 2. Does 2 divide b?
True
Let q = 93 - 3. Is q a multiple of 30?
True
Let b(q) be the third derivative of q**6/120 - q**5/15 + q**4/6 + q**2. Does 3 divide b(3)?
True
Let b(f) = 4*f. Let k be b(1). Suppose o = -4*t + 156, 0*t + t - 5*o - 39 = 0. Suppose -k*w = -w - t. Does 13 divide w?
True
Let f be 9/(-3)*-3 - 1. Suppose 5*h = 2*c + 31, h = 2*h - c - f. Suppose -2*w + 22 = -o, 3*w - h*o = 43 - 3. Is 5 a factor of w?
True
Let m = 2 + 0. Let v be m/(2 + (-11)/6). Is -34*(-3)/v*2 a multiple of 6?
False
Suppose 3*o = o - 192. Let w = -67 - o. Is 8 a factor of w?
False
Is 1*4/(4/19) a multiple of 19?
True
Let j = 5 - 4. Is 3 a factor of j + 4 + (-1 - 1)?
True
Let h(c) = -9. Let d(z) = -4. Let v(l) = -7*d(l) + 3*h(l). Let u(o) = -o - 1. Let r(s) = 2*u(s) + v(s). Does 15 divide r(-8)?
True
Let g be (-1)/3*-20*-18. Does 23 divide -1 + g/(-3 + 0)?
False
Suppose 19 = -4*n + 171. Is 4 a factor of n?
False
Let u = 34 - -1. Is 20 a factor of u?
False
Let w = 119 - 83. Does 12 divide w?
True
Let p(h) = -2*h**3 - 2*h**2 + h + 7. Is 13 a factor of p(-2)?
True
Let o = 219 - 73. Does 16 divide o?
False
Let n(z) = -z - 12. Let t be n(-9). Let d(y) = -2*y**3 - 2*y**2 + 1. Does 18 divide d(t)?
False
Let t(h) = -h**3 - 18*h**2 + 34*h. Does 15 divide t(-20)?
True
Let p = -166 + 283. Does 15 divide p?
False
Suppose -n 