+ 14*a**2 - 62*a - 42. Does 16 divide x(6)?
False
Suppose -9*s + 216 = -11*s. Let i = -90 - s. Is i even?
True
Suppose 2*n - 35 = -9*k + 8*k, 3*k = 2*n - 39. Let o = -12 + n. Suppose -o*b = -19 - 1313. Is 37 a factor of b?
True
Let n(f) = 318*f - 3080. Is n(16) a multiple of 20?
False
Let x be 19/7 - 16/(-56). Let r(d) = 9*d**3 + d**2 + 2. Let l be r(x). Let h = -69 + l. Is h a multiple of 22?
False
Let w = 24040 - 7396. Is 57 a factor of w?
True
Suppose -81 = -5*p + 84. Suppose p = k - 3*i, -2*k + 7 = i - 52. Is 15 a factor of k?
True
Let w = -921 - -991. Does 3 divide w?
False
Suppose -4*r = -3*v + 15087, -56*v + 58*v + r = 10069. Does 29 divide v?
False
Let o(u) = 7*u**2 - 86*u + 195. Is 4 a factor of o(28)?
False
Let y(d) = 92*d**3 + 89*d**2 - 435*d - 8. Is y(5) a multiple of 199?
True
Let k(x) = 8*x**3 - 8*x + 4. Does 9 divide k(6)?
False
Let h = 66 + -65. Suppose 2*y = 2*n - 4, 4*y + 3 = 3*n - h. Suppose -y*i = 31 - 311. Is 20 a factor of i?
True
Let s be -2*(-2)/(-8) + 1295/74. Suppose s = z - 3*w - 180, 4*z = w + 810. Does 5 divide z?
False
Let o = -135 - -155. Does 16 divide (96/o)/(6/580)?
True
Let h = 786 - 720. Suppose -65*l + h*l - 247 = 0. Is l a multiple of 6?
False
Suppose -g + 4*v + 300 = 0, -v = -g - 0*v + 315. Suppose -46*n + 54*n = g. Does 4 divide n?
True
Suppose 47*n - 25*n = 14*n + 158976. Does 69 divide n?
True
Let p be -8 - ((-360)/(-5))/(-4). Suppose -7575 = -p*o + 5295. Is 13 a factor of o?
True
Suppose -5*i = -4*y + 27, -2*y - 4*i = -14 - 32. Suppose -y*r - 1593 = -4986. Is r a multiple of 29?
True
Let h(j) be the second derivative of j**4/12 + 2*j**3 + 11*j**2 - 5*j. Let c be h(-10). Suppose c*w - 4*g - 322 = 0, g - 4*g + 870 = 5*w. Does 22 divide w?
False
Let q(n) = 2791*n + 2588. Is q(7) a multiple of 25?
True
Let m = -23264 - -35292. Does 62 divide m?
True
Suppose -5*y + 25 = 0, 2*y = -7*w + 2*w + 25. Suppose 0 = -5*c + 2*f + 977, 5*c = w*c + f + 390. Is c a multiple of 14?
False
Let l be (-3 + -12)*(-855)/(-25). Let d = l - -831. Does 3 divide d?
True
Let w = 514 - 514. Let r be (12/9)/(6/9). Suppose w = 2*j + 2*y + 3*y - 32, 2*j = -r*y + 26. Is 3 a factor of j?
False
Suppose -67436 - 42979 = -5*n - 5*l, -4*n = -2*l - 88326. Is n a multiple of 12?
False
Suppose 3*s = -y + 3475, -4*y - 5769 = -20*s + 15*s. Does 25 divide s?
False
Let d = 13527 - 9021. Is d a multiple of 10?
False
Let b(m) = 1880*m**2 + 448*m - 896. Is b(2) a multiple of 5?
True
Suppose r + 4*k - 2499 = 1160, -4*r - 3*k + 14571 = 0. Is 36 a factor of r?
False
Does 13 divide (-92)/460*(-20310)/2?
False
Suppose -17*o + 825 = -994. Let p(m) = m**3 + 6*m**2 - 5*m + 2. Let n be p(-8). Let r = n + o. Is 7 a factor of r?
True
Let x = -20 - -22. Suppose -x*i = 3*i - 15. Suppose i*p - 603 = -102. Is p a multiple of 34?
False
Let t(m) be the third derivative of -m**5/60 + m**4/24 + 2*m**3 - 21*m**2. Let q be t(5). Does 52 divide (-492)/(-3*1) - (-9 - q)?
False
Let v = 6261 + -1278. Is v a multiple of 62?
False
Is 24 a factor of 202*19 + ((-243)/9 - -26)?
False
Let v = 258 - 206. Suppose 0 = -n - v + 380. Does 60 divide n?
False
Let j be 49 + -50 + 5 + 0. Suppose 5*d - d = 2*f + 860, -233 = -d - j*f. Is d a multiple of 23?
False
Let s be ((-7)/(-3))/((2/6)/1). Let k be -34*s - (6 + -8). Let b = -44 - k. Does 8 divide b?
True
Let k = -241 - -238. Is 7/(k/10*29/(-1218)) a multiple of 21?
False
Let i(t) = t + 22. Let n(s) = 3*s + 1. Let d be n(-2). Is 17 a factor of i(d)?
True
Let i = -168 - -173. Suppose s = -i*y + 31, -43 - 6 = -s + 4*y. Is 10 a factor of s?
False
Let l = 74 + -72. Suppose 4*c = -f - 2300, -745 = 3*c + l*f + 975. Is 7 a factor of 30/50 - c/15?
False
Let p = -2375 + 2376. Let q(k) = k**3 - k**2 - k + 5. Let n be q(0). Does 13 divide 86 - (p - n) - -1?
True
Let j = -1954 - -2920. Is 23 a factor of j?
True
Let m(c) = 2 + 30*c**2 + 4*c**3 + 0 - 33*c**2 + 10*c**3 + 8*c. Let u be m(4). Suppose 2*h + 7*h - u = 0. Does 17 divide h?
False
Let j(u) = 4*u**3 + 6*u**2 + 16*u - 2. Let g(b) = -5*b**3 - 5*b**2 - 15*b + 1. Let r(w) = -3*g(w) - 4*j(w). Let h be r(-4). Does 6 divide h/(12/(-20))*-18 + 4?
False
Let w = 110 + -104. Suppose -2*f = 3*t - 5*t - 18, 4*t + w = -2*f. Suppose -f*x - 363 = -4*k, 5*k - 459 = -0*x + x. Does 5 divide k?
False
Let q(f) = 11*f**3 + 27*f**2 - 8*f - 60. Let d(h) = 2*h**3 + h**2 - 1. Let r(m) = -5*d(m) + q(m). Suppose 3*z + 87 = 21. Does 11 divide r(z)?
True
Let j(o) = -o + 4. Let h be j(5). Let p(g) be the first derivative of -15*g**2 + 128. Is 6 a factor of p(h)?
True
Suppose -52*d + 78*d - 341458 = 0. Is d a multiple of 23?
True
Let i(h) = -76*h - 162. Is i(-13) a multiple of 11?
False
Does 8 divide (-34662)/(-3) - (-6 + 8)?
True
Let w(f) = 102*f - 7578. Does 237 divide w(84)?
False
Let q = -15399 - -41499. Does 145 divide q?
True
Is 48 a factor of (2/(-6))/(-18 + (-243214)/(-13512))?
False
Let y(x) = 164*x**3 + x**2 + 2*x - 9. Is 29 a factor of y(3)?
False
Suppose 2*v = -5*r - 309, -2*r + 3*v - 114 = -v. Let a = 61 + r. Suppose 5*k - m = 2668 - 1054, a = -2*k + 4*m + 660. Is 45 a factor of k?
False
Let w(u) = -4*u**2 + 3*u - 2. Let n be w(2). Does 12 divide n/(-8) + 1023/2?
False
Let g(y) = 2*y - 24. Let i(u) = -u**3 + 4*u**2 - 2*u - 4. Let j be i(3). Let c be (-854)/(-42) + (-2)/(-3) + j. Does 3 divide g(c)?
False
Suppose -2*w + s + 5 = 0, -5*w + 3*s = -4 - 8. Suppose 0*b - c + 386 = 5*b, -4*b = -w*c - 324. Is 13 a factor of b?
True
Suppose 9*z - 8664 = -3*z. Let q = 1088 - z. Is q a multiple of 60?
False
Let u = 24035 - 16143. Does 60 divide u?
False
Let n be -1 + (3 + -5 - -3) + 0. Suppose 0 = -3*q + 7*q + 3*c - 569, n = -2*q + c + 277. Does 5 divide q?
True
Let k(y) = y**3 - 7*y**2 + 14*y - 18. Let z be k(5). Is -3*((-1)/z)/(3/864) a multiple of 54?
True
Let j be 19/(-2)*6/(-3). Suppose -2*m = g - 5*m, 0 = -2*g - 2*m. Suppose g = u - 123 - j. Is u a multiple of 26?
False
Suppose -28*j = -72 + 2900. Suppose k + k = -232. Let n = j - k. Is 15 a factor of n?
True
Suppose -12708 - 13742 = -23*r. Suppose 3*h - r = 4*a - 168, -h = 3*a - 310. Does 7 divide h?
True
Let r(b) = 647*b + 3808. Is r(28) a multiple of 21?
True
Is 37 a factor of 111/((-16)/(-17264)*13)?
True
Suppose 0 = -5*x - 2*l + 30, 5*l - 10 = x + 11. Suppose 4*m = x*v - 844, -3*m + 3 = -4*m. Is v a multiple of 13?
True
Suppose -g - y + 1 = 0, -4*y + 8*y - 25 = 3*g. Let d(u) be the first derivative of 13*u**3/3 + 3*u**2 + 6*u - 1. Is d(g) a multiple of 15?
True
Let a(p) = 3618*p**2 - 2*p + 5. Does 4 divide a(-1)?
False
Does 134 divide 57/6498*57 - -15986*9/4?
False
Let w(n) = -n**3 - 22*n**2 - 21*n - 5. Let s be w(-21). Let x(h) = -h**3 + 11*h**2 + 7*h + 5. Does 74 divide x(s)?
True
Suppose -9*t - 13692 + 39464 = 59*t. Is 220 a factor of t?
False
Let q(y) = 16*y + 6*y - y**2 + 3*y**2 - 13. Suppose -d + 4*d + 48 = -3*r, -5*d = -2*r - 25. Does 35 divide q(r)?
False
Let d = 17307 + -10096. Is d a multiple of 6?
False
Let f(l) = -l**2 + 15*l - 17. Suppose -b + 36 = -3*b - n, -b - 3*n = 23. Let w = b + 26. Does 7 divide f(w)?
False
Let d = -54 - -60. Let t be 1962/d - (-2 - -2)/(-2). Suppose -2*u - 408 = -4*x, 2*u = 3*x + 23 - t. Is 26 a factor of x?
True
Let g(x) = -5*x**3 + 15*x**2 + 16. Let l(y) = -6*y**3 + 16*y**2 + y + 17. Let u(s) = 5*g(s) - 4*l(s). Let v be u(8). Let w = v - 52. Is w a multiple of 12?
True
Let w(o) = 19*o**2 - 239*o - 4. Does 7 divide w(29)?
True
Suppose 24*n + 10*n = 18265 - 1129. Is n a multiple of 4?
True
Let q(r) = -2*r**2 - 5*r - 562. Let v be q(0). Let i = v - -929. Is i a multiple of 55?
False
Suppose -45 = -4*z - 61. Let t be (-163)/(-1*(-3 - z)). Let h = -14 + t. Is 19 a factor of h?
False
Let x(u) be the second derivative of u**3/3 + 2*u**2 - 8*u. Let r be x(0). Is 6 a factor of 1/r - (-1491)/84?
True
Let r(l) = 4*l**2 + 21*l + 10. Let c be r(-6). Suppose c*a - 569 = 411. Does 2 divide a?
False
Suppose -460 = 4*l - 0*l. Let z = 501 - 303. Let g = l + z. Is g a multiple of 12?
False
Let w = -5723 - -11648. Is 58 a factor of w?
False
Let y(m) = 15*m + 16*m**2 + 0*m**3 - 15*m + m**3 + 5. Let j be y(-16). Is 3/j*(22 + 3) a multiple of 14?
False
Suppose 0 = -2*p + 5*t - 6*t + 34411, 17225 = p + 7*t. Does 22 divide p?
True
Suppose 36*f = 12526 + 16202. Suppose 5*j + 2161 = 3*a - f, 5*a - 4941 = -j. Does 27 divide a?
False
Suppose 4101*