/3 - 5*y**2/2 - y - 6. Let j be k(6). Suppose 43 = j*r - 152. Is 13 a factor of r?
True
Let p = 17 - 20. Let b be 0/p - 80/(-1). Let n = 114 - b. Is 12 a factor of n?
False
Let b(z) = 58*z**2 + z + 1. Let i be b(1). Suppose m + m = i. Let j = m - 17. Does 13 divide j?
True
Let f(x) = -2*x**2 + 8*x + 3*x**2 - 1 - 1 + 12. Let b be 148/(-18) + 4/18. Is f(b) a multiple of 5?
True
Let a be (-15)/10*2/(-3). Let i be (-2 - (a - 3))/(-1). Suppose i = -14*p + 9*p + 150. Is 10 a factor of p?
True
Suppose 88 = 3*a + 5*k, -3 = 2*k - 1. Let r be -19 + 17 - (18/(-2) + -1). Suppose -a = -o + r. Is o a multiple of 10?
False
Let l be 5*(15 + -4 + 3). Suppose 0 = -t - 0*t + 2, l = -3*k + 5*t. Let h = 36 + k. Does 16 divide h?
True
Let h(f) = -f - 2. Let q be h(0). Let g be (1/4)/((-35)/(-140)). Is 12 a factor of 1 + q - (-14 + g)?
True
Let l(u) = u**2 + 3*u + 2. Let n be l(-1). Let p be 1 - 27*(n - 3). Suppose 2*s - p - 88 = 0. Does 28 divide s?
False
Suppose -5*d = -g - 8, 2*g + d = 3*d. Suppose -2*c + g*m = 2*c - 28, 3*c - 3 = -3*m. Suppose 3*n - 5*l = c*n - 54, 0 = -n + l + 13. Is 13 a factor of n?
False
Let w = 156 + 92. Is w a multiple of 31?
True
Suppose r - d = -3*r + 36, 5*d = 5*r - 60. Let a(o) = o**2 - 3*o - 9. Does 5 divide a(r)?
False
Is 18 a factor of ((-44)/(-6))/(48/2088)?
False
Suppose k = -3*k + 112. Let w be 15 + ((-2)/2 - 2). Let v = w + k. Is 9 a factor of v?
False
Let p = 1 - -2. Suppose 2*a - m = 35, 6*a = p*a - 2*m + 63. Is a a multiple of 19?
True
Let s(i) = 10*i - 4. Let u be s(2). Let q be 824/6 - u/48. Suppose 0 = -2*z - 57 + q. Does 8 divide z?
True
Suppose -o = -5*o. Suppose 0 = -o*g + 4*g - 332. Suppose 0 = v - 2*b - 36, -g = -3*v + b + 45. Is v a multiple of 13?
False
Suppose -8*o + 340 = -4*o. Suppose o + 195 = 10*d. Does 6 divide d?
False
Let m = -368 + 1276. Does 50 divide m?
False
Suppose -2*s + 274 = b - 1101, 5485 = 4*b + 5*s. Is 8 a factor of b?
False
Let g(q) = q**2 + 10*q + 9. Let i be g(-6). Let k = 69 + i. Is k a multiple of 27?
True
Let i = 308 + -315. Let j(v) = 3*v**3 - 17*v**2 + 9*v + 5. Let n(q) = 5*q**3 - 26*q**2 + 14*q + 8. Let o(h) = 8*j(h) - 5*n(h). Does 16 divide o(i)?
False
Suppose -5*c + 7005 = -d + 2048, 9 = 3*d. Suppose -6*r - 284 = -c. Does 12 divide r?
False
Let i(x) = x**3 - 17*x**2 + 5*x + 3. Is 4 a factor of i(17)?
True
Suppose -j - 224 = -5*j. Let i be 35/7 + 0/(-4). Suppose j = i*d - 54. Is 22 a factor of d?
True
Let g = 97 + -7. Let a = g - 45. Is 9 a factor of a?
True
Suppose -3*a + 9 = 0, 0 = w + 4*w + 5*a - 30. Let c be 1/((-1)/w) - -21. Suppose -c*m = -16*m - 10. Is m a multiple of 5?
True
Let b(k) = -4*k**2 - 8*k - 11. Let t(c) = 11*c**2 + 24*c + 34. Let g(a) = 8*b(a) + 3*t(a). Is 13 a factor of g(-10)?
False
Let m be (75/9)/5*-3. Let j(s) = 7 + s**2 + 15*s - 7*s - 4*s. Is 4 a factor of j(m)?
True
Suppose 8*v + 41*v - 7791 = 0. Does 37 divide v?
False
Let j = 58 + -51. Does 12 divide j/14 + (-110)/(-4)?
False
Let m = 77 - 21. Let y = m + -51. Does 3 divide y?
False
Suppose 22*r = 12*r + 1240. Does 16 divide r?
False
Suppose -3*s - 5*u = 416, 0*s + s + 5*u = -152. Let t = 278 + s. Is t a multiple of 25?
False
Let o be 40/(-12) + (-2)/(-6). Does 19 divide (o - (-334)/(-2))/(-1)?
False
Let a = -1520 + 2185. Is (48/(-28))/((-10)/a) a multiple of 21?
False
Let r(x) = -x**2 - 3*x + 11. Let k be r(0). Let c(h) = -26*h - 6. Let j be c(-7). Suppose -j = -k*i + 7*i. Does 10 divide i?
False
Let n(b) = -6*b + 4. Let p(g) = g + 1. Let k(z) = -n(z) + 2*p(z). Let f be k(-6). Let l = f - -70. Is l a multiple of 4?
True
Let r = -59 - -39. Is (75 + r)/(1/1) a multiple of 11?
True
Let f(g) = 39*g**2 - 88*g - 616. Is f(-7) a multiple of 13?
True
Suppose -7*t - 3*t = 7*t. Suppose t = 15*z - 5*z - 850. Is 44 a factor of z?
False
Let z(y) = -2*y**3 - 5*y**2 + 4*y - 2. Does 3 divide z(-5)?
False
Let u = 23 - -798. Is u a multiple of 65?
False
Let d(f) = -f**2 + 7*f - 9. Let n be d(4). Suppose -n*a + 0*i + 42 = 3*i, a - 22 = i. Suppose 5*w - 142 = a. Is w a multiple of 8?
True
Let j = -31 - -34. Suppose 123 = j*d - 57. Is d a multiple of 30?
True
Suppose -3*f = -0*f - 2*u + 7, -2*f - 18 = 2*u. Let o(s) = -s**2 - 6*s - 1. Let t be o(f). Suppose a = -t*a + 245. Is a a multiple of 17?
False
Let h = 47 + -50. Let d(j) = 11*j**2 + j + 3. Is d(h) a multiple of 17?
False
Let b(w) be the third derivative of 7*w**5/60 + w**3/3 - 4*w**2. Let c be b(2). Suppose 0 = -4*l - l + c. Does 6 divide l?
True
Let u = -13 + 16. Suppose -r + 2*r - u = 0. Suppose r*k = k + 50. Is k a multiple of 22?
False
Let v(w) = 7*w**2 - 3*w**2 + 0*w + 4*w**2 + 2 + 2*w. Is v(5) a multiple of 14?
False
Let n = 22 + -31. Does 5 divide (-186)/n + (-2)/3?
True
Let s(n) = -2*n**2 + 16*n - 15. Let k be s(10). Let b = 85 + k. Suppose 3*r - r = b. Is 6 a factor of r?
False
Let h(z) = 2*z**2 + 6*z + 2. Let i be h(-3). Suppose -n + 1 = -i. Suppose n*p = 6*p - 162. Is p a multiple of 11?
False
Suppose 5*v + 40 = v. Let r(y) = y**3 + 9*y**2 - 12*y + 4. Is 12 a factor of r(v)?
True
Let h = 1701 + -965. Is h a multiple of 16?
True
Suppose 161 + 64 = 5*o. Let a = o + 5. Does 25 divide a?
True
Let j = 1354 + -789. Is 15 a factor of j?
False
Let u(g) = -2*g + 9. Let p be u(6). Let q be (2/6)/(p/(-36)). Suppose -3*v + 11 = t - v, -37 = -3*t - q*v. Is t even?
False
Suppose 3*j = 5*g + j - 2445, 3*j = 2*g - 967. Is 13 a factor of g?
False
Let f = 5 - -16. Let g = 19 + f. Suppose r = 6*r - g. Is 2 a factor of r?
True
Let h(q) = -16*q + 5. Let o be h(-4). Suppose 2*l = 61 + o. Does 15 divide l?
False
Suppose -908 + 14284 = 11*m. Is 8 a factor of m?
True
Suppose -3*t + 4*u - 10 = -2*t, -5*t = -3*u - 1. Let f(j) = 10 - 4*j + 5*j - j**t + 11*j. Is 12 a factor of f(9)?
False
Let q = -115 + 659. Is 57 a factor of q?
False
Let d = 13 - 13. Suppose -369 = -4*y - 3*i, 4*y + d*y = -i + 371. Is y a multiple of 31?
True
Let q = 35 - 32. Suppose 0 = 8*u - q*u - 90. Does 18 divide u?
True
Let w be -3 - (-4)/(-8)*46. Let b = -2 - w. Does 3 divide b?
True
Suppose -9356 = -7*r + 1669. Does 45 divide r?
True
Suppose 0 = k + 5*m - 40, -4*k - 2*m = -59 - 83. Suppose 5*r + k = 55. Is r a multiple of 4?
True
Let n be (28/(-12) - -3)*-36. Let h be (-328)/n + (-2)/(-6). Is 16 a factor of (-1 - (3 + -6)) + h?
True
Let u(p) = -p**3 + 3*p**2 + p + 1. Let x be u(3). Suppose -22 = -x*t + 2. Let k(r) = r**3 - 4*r**2 - 2*r - 2. Is k(t) a multiple of 13?
False
Let b be (-1)/(1*2/(-4)). Suppose s - r - 10 + b = 0, -20 = 4*r. Suppose -s*g + 132 = 3*p, p + g = 2*p - 52. Does 11 divide p?
False
Let y(w) = 449*w + 31. Is 87 a factor of y(4)?
True
Suppose 12*p = -9*p + 42. Let m(r) = r**3 - 4*r**2 - 10*r + 9. Let t be m(6). Suppose t = p*j - 83. Is 13 a factor of j?
True
Is 86 a factor of (915/(-12))/((-1)/28)?
False
Let a(m) = 10*m - 14. Let s be a(2). Suppose -s*l + 570 = -0*l. Is l a multiple of 13?
False
Let r(n) = -n**2 - 6*n - 1. Let m = 6 + -10. Does 2 divide r(m)?
False
Let r be (-1)/(1/2) - 14. Let y = 16 + r. Suppose y = 5*g - 25, g - 51 = -4*k - 2. Does 4 divide k?
False
Suppose 3 = -4*m + 19. Does 5 divide 1 - (-18 - 0/m)?
False
Let u = 1 - -9. Suppose u*p + 88 = 14*p. Is p a multiple of 9?
False
Suppose -18 = -4*h + 3*m, 2*h + 0*m - 2 = -2*m. Suppose -3*r - b = -h*b - 252, 5*r + 2*b - 420 = 0. Is r a multiple of 14?
True
Suppose 4*s = -1364 + 36. Does 28 divide -1 + s/(-4) - -2?
True
Suppose -293 = -2*g - 3*k + 2*k, 445 = 3*g - 4*k. Is 21 a factor of g?
True
Let f(a) = a + 120. Let k be (0 + 4/(-8))*0. Is 7 a factor of f(k)?
False
Let p(g) = -g**3 + 15*g**2 + 15*g + 16. Let k be p(16). Let w = -78 - k. Let x = w + 114. Is 18 a factor of x?
True
Let h = 57 - 43. Suppose 139 = 5*t - 4*m, 66 = 3*t + m - h. Is t a multiple of 27?
True
Let f = 38 - 21. Let c(x) = x**3 + 8*x**2 - 10*x + 14*x - 1 - f*x. Is c(-9) a multiple of 14?
False
Let i(v) = v**3 + 7*v**2 - 13*v - 16. Suppose -6 = a - 3*p, -5 = 3*a - 2*p - 1. Suppose -7*r - 34 - 22 = a. Is i(r) a multiple of 24?
True
Suppose -5*r = 25, 19 + 16 = 3*u - r. Is 10 a factor of u?
True
Let i(c) = -13*c - 5. Let p be i(-2). Suppose -p*k = -26*k + 60. Does 12 divide k?
True
Suppose 4*n - 360 = -2*n. Suppose 6*v - 12 = n. Let c = 20 - v. Does 6 divide c?
False
Suppose -5*v = -11*v - 12. Does 6 divide 1*28 - (1 - v/(-1))?
False
Suppose -9*s = -13*s + 1072