?
True
Let q = -69 - -105. Suppose 3*f - q = -6*f. Suppose 6*n - 3*n - 25 = -5*x, -f*x - 4 = 0. Is 3 a factor of n?
False
Suppose -p - 14 = -6*i + 4*i, 4*i + 4*p - 4 = 0. Suppose 0 = i*y - 1155 + 90. Is y a multiple of 2?
False
Suppose -10*r + 1764973 = 235*r - 1538852. Is r a multiple of 97?
False
Let w = -53 - -56. Let z be ((-14)/(-6) - w)*-6. Does 30 divide (z - 2/6)*36?
False
Let b(r) = 2*r - r**2 - 8 + 15 - 2 + 12. Let k be b(5). Suppose -68 = -k*o - 3*s - s, -4*s = 3*o - 110. Does 16 divide o?
False
Suppose s + 39834 = 5*t, -58*t + 56*t + 2*s = -15924. Is t a multiple of 16?
True
Suppose 1103 + 417 = 16*i. Suppose -n - 3*r - 21 = 12, -2*n - 2*r - 82 = 0. Let p = n + i. Does 10 divide p?
True
Let a be (4 + -2)*3/(-6). Let r be 13 + ((-2)/a - 0). Is 1 - -53 - (-5)/r*0 a multiple of 10?
False
Let l = -21 + 22. Let c(n) = 4*n**3 + 3*n**2 - 2. Let o be c(l). Suppose -67 = -p - y, -2*y + 0*y = o*p - 326. Is 16 a factor of p?
True
Suppose 3*b - 35 = -2*z + 40, z + 2*b = 39. Suppose z*f = 18*f + 6705. Is f a multiple of 20?
False
Suppose 0 = 2*c + 4*l - 223 - 67, c - 3*l = 170. Let a be 1 + 21/(-4)*(-148)/111. Suppose -a*j + 13*j - c = 0. Is j a multiple of 5?
False
Let q = -4271 + 14216. Is q a multiple of 51?
True
Let b be 522/45*(-50)/6*-18. Suppose -10*j + b = -15*j. Let c = j + 492. Is c a multiple of 8?
True
Suppose n - 2*n = -2*g + 28, n + g = -25. Suppose 0 = -q + 3*q. Does 18 divide (28 - n)*(1 - q/1)?
True
Let y = -7548 - -12056. Does 2 divide y?
True
Let y(f) = 155*f - 150. Let q be y(2). Let d be ((-10)/(-4))/(1/10). Let m = q + d. Does 31 divide m?
False
Suppose -2*o - 5*r + 22 = -15, -3*o = -3*r - 3. Does 48 divide 20/o*288/20?
True
Let y = -17858 + 22099. Does 9 divide y?
False
Let d be 10 - (0 - -2) - 0. Suppose 0 = q - 332 + 47. Suppose -d*j + q - 53 = 0. Is 29 a factor of j?
True
Let b(q) = -5*q**3 - 83*q**2 + 367*q + 7. Does 33 divide b(-28)?
True
Let c(i) = 17*i + 1. Let u(s) = s**3 + 8*s**2 + 2*s + 18. Suppose 16*k - 21*k = 40. Let q be u(k). Is 21 a factor of c(q)?
False
Suppose 0 = 4*h - 5*l - 21, 0 = -4*h - 5*l + 7 + 4. Does 36 divide (458/h)/(8/16)?
False
Let i = 72087 - 41283. Is i a multiple of 51?
True
Let j(l) = -2*l**2 + 72*l + 74. Let f be j(38). Is 8 a factor of (-444)/(5 - 3*f/(-36))?
True
Let k(h) = -h**3 - 2*h**2 + 7*h - 5. Let a be k(-5). Suppose -a*m = -37*m - 4. Is -2 - 4 - m - -12 a multiple of 3?
False
Suppose -2*g = g + 390. Let f = 215 - g. Suppose 5*w - 5*v = f, -2*w = 3*w - v - 333. Is 11 a factor of w?
True
Suppose 3*d - 224 = -4*d. Let a = d - -104. Does 36 divide a - (10/(-5) + -2)?
False
Let g be (-16)/10*(-7)/14*75. Does 15 divide 2/((-479)/g - -3 - -5)?
True
Let z = -546 + 569. Does 4 divide (-1 - 1) + (z - -99)?
True
Let l be (-170)/(-3) + 0 + 4/12. Suppose 4*t - t = 513. Let y = t - l. Does 39 divide y?
False
Suppose 67*n - 576329 = -77*n + 221863. Is n a multiple of 47?
False
Let u(w) = 15*w**2 - 111*w - 96. Let g(x) = 3*x**2 - 22*x - 19. Let j(l) = 21*g(l) - 4*u(l). Let f(n) be the first derivative of j(n). Is 6 a factor of f(8)?
True
Let m(j) = 4*j - 3. Let f(h) = h - 1. Let u(v) = 9*f(v) - 2*m(v). Let l be u(11). Does 11 divide (-16)/(l/2)*(-33)/1?
True
Let v = -45 - -38. Let z(h) = 2*h**3 + 7*h**2 - 15. Let o be z(v). Is (-2)/(o/178 - -2) a multiple of 30?
False
Let t(o) = -935*o + 103. Is t(-1) a multiple of 18?
False
Let a = -2645 - -7737. Does 44 divide a?
False
Let g(p) = 126*p**2 + 5*p + 6. Suppose -20*x + 12*x - 8 = 0. Is g(x) a multiple of 18?
False
Suppose -92*a + i - 36 = -94*a, 0 = 3*a - i - 44. Is a a multiple of 3?
False
Let x(q) = q**3 + 12*q**2 + 15*q + 26. Let y(s) = 2*s - 26. Let z be y(8). Is 9 a factor of x(z)?
False
Let y = -571 + 574. Does 11 divide 39 - y*(-5)/(-9)*-3?
True
Is 11 a factor of (70 - 85) + (-17616)/(-4)?
True
Let n be (((-64)/(-3))/8)/((-1)/(-15)). Suppose -5168 = 32*z - n*z. Does 24 divide z?
False
Suppose -24 = -7*n + 67. Suppose -n*b = b - 2576. Is b a multiple of 27?
False
Let b = 717 - -1348. Is 20 a factor of b?
False
Let n = 0 - 4. Let k(w) = -32*w + 34. Is 9 a factor of k(n)?
True
Suppose 34 = 703*n - 701*n. Suppose 3*o = -2*o + 55. Suppose -o*z + n*z = 252. Is z a multiple of 3?
True
Let x = 2355 - 2339. Is x even?
True
Does 12 divide (-5334232)/(-1370)*(-10)/(-8)?
False
Suppose -13*l - 5096 = -57510 - 57709. Is l a multiple of 22?
False
Suppose 28 - 10 = 3*d. Let w be (-4)/d + (-6 - (-18640)/15). Suppose 12*q = 6*q + w. Is 31 a factor of q?
False
Suppose 4*z - 226 + 1694 = 5*v, -4*z = -3*v + 1476. Let y = -163 - z. Suppose -y = -5*c - 2*f + f, 5*c - f = 201. Is 12 a factor of c?
False
Suppose 204087 = 15123*m - 15084*m. Is 26 a factor of m?
False
Let f = -39 + 45. Suppose 7429 = -f*j + 25*j. Is j a multiple of 17?
True
Suppose -4*f - 872 = -2*f. Let q = f + 692. Is 16 a factor of q?
True
Let s = -109 - -114. Let a(c) = 24*c - 54. Does 57 divide a(s)?
False
Let o = -7 + 36. Let j(u) = -8*u + u + 19 - 6*u - o. Is 38 a factor of j(-8)?
False
Suppose b - 4*s - 11 = 0, 3*b - 4 = -s + 3. Suppose -5*v - 327 = -b*w, 4*w + 4*v - 314 - 90 = 0. Is (w/16)/(1/12) a multiple of 26?
True
Suppose 4*i = -i - 5. Let j(z) be the second derivative of -14*z**5/5 - z**4/6 + z**3/6 + z**2/2 - z. Does 6 divide j(i)?
True
Let t = 28 - 24. Suppose -3*n = -5*z + 15, -t*n - 3*z + 9 = -2*n. Suppose 3*u - 236 = -2*q, -2*q + 84 = -n*u + u. Is u a multiple of 6?
False
Does 6 divide (6/(-16)*2)/((-19)/212496)?
True
Let x(u) = -u**3 - 38*u**2 - 35*u + 68. Let f be x(-37). Suppose 12 = -2*a - r - 3*r, -3 = 3*r. Is (f/a)/(1 + 21/(-28)) a multiple of 5?
False
Is 4 a factor of 9 - (-13 + 30) - (-663 + 3)?
True
Suppose -38*l = -6*l - 795616. Does 43 divide l?
False
Suppose -6*t + 133 = t. Let v = -17 + t. Suppose -v*y = -5*m - 11 - 64, 0 = 2*y + 5*m - 45. Does 15 divide y?
True
Suppose 47*a - 226054 = 19568. Is a a multiple of 13?
True
Let y(k) = 12*k**2 + 73*k - 2865. Is y(27) a multiple of 66?
True
Let j(r) = -13*r - 189. Let f = -900 - -873. Does 9 divide j(f)?
True
Suppose 0 = -158*q + 208*q - 66050. Is 54 a factor of q?
False
Suppose -14 = -8*d + 15*d. Let i(s) = 2*s**2 - 5*s - 7. Let r be i(d). Suppose -9*x - 98 = -r*x. Is 5 a factor of x?
False
Is (-30795135)/(-7383) - 2/23 a multiple of 97?
True
Let v be -1*21*(-1)/1. Let k(n) = 5*n**2 - 15*n + 41. Let w be k(8). Suppose 4*i + 97 = b + v, -3*b - i = -w. Does 16 divide b?
True
Suppose 2*d = 2*v + 13318, 6*d - 19991 = 3*d - 4*v. Is 12 a factor of d?
False
Let u(h) = -39*h**3 + 18*h**2 + 7*h + 50. Is u(-6) a multiple of 20?
True
Let w(l) = -l**3 + 48*l**2 + 252*l - 46. Is w(49) a multiple of 107?
False
Let x(o) = -2*o**3 + 3*o**2 + 60*o + 53. Does 6 divide x(-11)?
True
Suppose 1274 - 17676 = -21*b + 566. Is b a multiple of 8?
True
Let k be (2/7 - (-3335)/14)*2. Let u = 670 - k. Is u a multiple of 9?
False
Let r(k) = 101*k**3 + 4*k**2 + 5*k + 9. Let s be r(-2). Does 24 divide (0 - s) + (-2)/(-8)*-4?
True
Let m be (-7580)/(-60) - (-2)/(-6). Suppose 102 = 12*x - m. Suppose -16*v = -x*v + 108. Is 3 a factor of v?
True
Let z(l) = -l**2 - 21*l + 29. Let t be -20 - (4 - 0) - -2. Let b be z(t). Suppose -2*n + 4*w + b = -n, -5*w = 3*n - 106. Does 12 divide n?
False
Suppose t + 5*l = 140, 2*t + 580 = 7*t - 5*l. Suppose 4*h = 5*a - 37, 14*h = a + 16*h - 13. Suppose 0 = -8*d + a*d - t. Is d a multiple of 30?
True
Let u be 23/((-1)/6 - (-14)/120). Let h be u/(-140) - (-4)/(-14). Is ((-1)/h)/(9/(-297)) a multiple of 4?
False
Let f(b) = 5*b + 718. Is f(54) a multiple of 19?
True
Let h = 58750 - -3437. Is h a multiple of 24?
False
Suppose 7604 = 4*z - 2*o - 0*o, -z - 2*o = -1901. Suppose -28*l + z = -10587. Is l a multiple of 20?
False
Let y(b) = 12*b**2 - 4*b + 1. Let t be y(5). Let v = -103 - 40. Let i = t + v. Does 36 divide i?
False
Let k be -2 - (3 + -4)*2. Suppose k = -3*t + 5*q + 473, -3*t + 0*q - 4*q + 518 = 0. Does 29 divide t?
False
Suppose -191*d - 15 = -196*d, 2*a = 2*d + 50056. Is 39 a factor of a?
False
Suppose -476*b - 51405 = -499*b. Is b a multiple of 11?
False
Suppose 24*n = 30*n - 66. Suppose -8*j + 153 = -n*j. Let h = 201 + j. Is 50 a factor of h?
True
Let d = 481 - 235. Let o = -144 + d. Is 17 a factor of o?
True
Suppose -2 = n + 8. Let b = 12 + n. Suppose q = -q - g + 11, b*g + 6 = 0. Is q a multiple of 6?
False
Supp