 0 = -o*w, -3*w + 76 = 2*z - 348. Is 2 a factor of z?
True
Suppose -5*a + 290 = 5*u, 284 = 5*u - 0*u + 3*a. Let p(n) = n**3 + 9*n**2 + 8*n - 10. Let t be p(-8). Let s = t + u. Is 5 a factor of s?
True
Let i = -35 + 91. Suppose -i = -d - 2*l, -d + 2*l + 64 = -0*l. Does 30 divide d?
True
Suppose -192730 = -192*l + 311055 + 50327. Is l a multiple of 78?
True
Suppose -3*j = -5*b + 18 + 13, -5*b + 37 = -j. Suppose b = 9*n - 5*n. Suppose n*g - 2*i - 21 + 3 = 0, 2*g = i + 19. Does 9 divide g?
False
Suppose -166*m - 466412 + 4186306 = 0. Is m a multiple of 129?
False
Is (-8 - 13173/3)/(18 + -19) a multiple of 29?
False
Suppose -4*a = -5*q + 1600, -q + 21*a + 311 = 22*a. Is q a multiple of 7?
False
Let a(s) = 38*s**3 + 14*s**2 + 11*s - 29. Let r be a(-16). Does 67 divide r/(-119) + (-8)/14 - 6?
True
Let k = -11999 + 16952. Is 13 a factor of k?
True
Let o(u) = 2*u - 60. Let z be o(20). Does 25 divide z/24 - 16395/(-18)?
False
Suppose -5*a + 13593 = 4*m, 7*a - 2*a - 3*m - 13614 = 0. Is 104 a factor of a?
False
Let g(o) = o - 3. Let j be g(-3). Let h(r) = -29*r + 31. Let t be h(j). Let c = t - 62. Is c a multiple of 11?
True
Let t(u) = u - 9. Let z(v) = -10. Let f(s) = 5*t(s) - 4*z(s). Let n be f(2). Suppose 3*p = -n*q + 40, p = 2*q - 13 - 14. Is q a multiple of 11?
True
Let v(b) = 750*b - 115. Is 137 a factor of v(5)?
False
Let w(a) = a**3 + 6*a**2 - 21*a + 19. Let s be w(8). Let m = s + -701. Is 22 a factor of m?
False
Suppose -576504 - 275196 = -100*d. Is 15 a factor of d?
False
Let z(k) = -k**3 - 3*k**2 + 20. Suppose 5*p - 5*s = -15, -5*p - 14 = -3*s + 11. Is 5 a factor of z(p)?
True
Let q(r) = r**2 - 12*r - 1. Let l be q(5). Is 24 a factor of (35 + l)/(1/(-953))?
False
Is ((-16)/((-352)/6270))/3 a multiple of 5?
True
Suppose 0 = 2*p + i - 894, -p = -i - 21 - 429. Does 28 divide ((-243)/(-108))/(3/p)?
True
Let j = -15 + 47. Let y = 27 - j. Let k = 21 - y. Is k a multiple of 26?
True
Let h(c) = 14*c + 18*c**2 + 332*c**3 - 165*c**3 - 166*c**3 + 49. Does 10 divide h(-17)?
True
Let f(q) = -35*q - 4. Let d(n) = n**2 + 2*n - 4. Let i be d(2). Suppose 4*t + 5*s - 19 - 2 = 0, -i*s + 23 = -3*t. Does 8 divide f(t)?
False
Let g = 23070 - 19528. Is 322 a factor of g?
True
Suppose -787 = -26*d + 123. Does 7 divide 43/86*d*22?
True
Let u be (-8)/(-12) - 39/(-9). Suppose -4*w = -u*i - 187, -16*w + 14*w - i = -83. Does 43 divide w?
True
Let v = 57059 + -31100. Does 218 divide v?
False
Suppose 5*g = 3*l - 1754, 1742 = -4*g + 2*l + 338. Let n = g + 407. Does 11 divide n?
True
Let l = 5774 + 3698. Is 32 a factor of l?
True
Suppose 6*c = 4 + 8. Let a be -2 - (4/4 - c). Does 4 divide 13 + (2 - 1) + a?
False
Let u = 8303 - 1589. Is 10 a factor of u?
False
Let a = -2299 - -6320. Does 49 divide a?
False
Is 2 a factor of (-72)/12 + 499 + 6?
False
Let o = 19764 + -101. Does 53 divide o?
True
Let i be (-1 + 5)*(-3)/12*-2. Suppose 0 = o + 3*s + 3, -i = 3*s + 7. Suppose -2*q = o - 26. Does 4 divide q?
False
Let z(x) = 41*x - 25. Let r(m) = -123*m + 74. Let f(c) = 2*r(c) + 7*z(c). Does 89 divide f(5)?
True
Suppose 2*g - 2344 = 5*i + 3053, 0 = 2*i - 6. Is 26 a factor of g?
False
Let c(q) = 47*q**3 - 31*q + 47. Is c(7) a multiple of 12?
False
Suppose j = 2*n + 7, 0 = -8*n + 4*n - 5*j - 21. Let r(m) = -8*m**3 - 2*m - 16. Does 6 divide r(n)?
True
Suppose 0 = 266*p - 268*p + 4*x + 92598, 2*p + 5*x - 92670 = 0. Does 47 divide p?
False
Let k(u) = 2219*u - 3092. Is 29 a factor of k(7)?
True
Let i = -193 - -203. Suppose -p - 459 = -i*p. Does 7 divide p?
False
Let n = 13917 + -9395. Is n a multiple of 17?
True
Is 30 a factor of ((-195)/(-26))/(-5)*-8380*1?
True
Suppose 0 = -3*p - 8*p + 99. Let h(v) = v**2 - 9*v + 7. Let u be h(p). Does 12 divide u*4*(-3 - -4)?
False
Let h(v) = 13*v**2 + 44*v + 690. Does 164 divide h(-24)?
False
Suppose 3*q - q + 3*n = 3564, q + 5*n = 1782. Is 9 a factor of q?
True
Let w(m) = 32*m - 48. Let z(c) = -c**3 - 20*c**2 - 18*c + 22. Let h be z(-19). Does 6 divide w(h)?
True
Does 104 divide 12/(-8) + (-9476)/(-8) + -8?
False
Suppose k - 3*m + 331 = 0, 8*m - 1655 = 5*k + 5*m. Let w = k - -451. Does 7 divide w?
False
Let f = -72 + 45. Let b = f - -123. Is 24 a factor of b?
True
Suppose -5*w + 36 = 4*q, -3*q + 13 = 1. Suppose -3*h + 745 = -5*g, g = -w*h - g + 976. Does 15 divide h?
False
Let u(v) be the first derivative of 19*v**2 + 4*v + 11. Is 3 a factor of u(1)?
True
Suppose 3*l - 315 - 198 = d, 0 = 5*l - 5*d - 865. Suppose -5*a + 3*a + l = 0. Suppose 0 = -20*n + 15*n + a. Is 7 a factor of n?
False
Let f = 56 - 55. Is 50 a factor of 82/4*(20 - 6) - f?
False
Let j(i) = 9*i**2 + 5*i + 26. Suppose 5 + 6 = -3*b + 2*q, 0 = 5*b + 2*q + 13. Is j(b) a multiple of 4?
True
Is 7 a factor of (57402/4)/9 + 15/10?
True
Suppose -6*t + 28 = 16. Suppose -4*q - t*r = -8*q + 526, -q = -4*r - 128. Does 11 divide q?
True
Let w(t) be the second derivative of t**4/12 + t**3/2 - 36*t. Suppose 13 = 2*a + 3. Is w(a) a multiple of 10?
True
Let b be (-18)/(-5) - 4/(-10). Suppose 0 = 4*y - 12, -2*t + 10*y + 366 = 8*y. Suppose -94 - t = -b*h. Is 35 a factor of h?
True
Is 57698/17 + (0 - 5) a multiple of 32?
False
Let h be (-6)/24 + (-1407)/(-12). Let k = 189 - h. Is 23 a factor of k?
False
Let t = 61 - -343. Suppose -4*o + t + 328 = 0. Does 32 divide o?
False
Let n be (5/15 - (-3)/(-36))*0. Suppose -3*l + 247 + 179 = n. Is l a multiple of 11?
False
Let q = 521 + -445. Suppose q*w - 84*w = -312. Is 13 a factor of w?
True
Let u(j) = j**2 - j + 5. Let v be -3 + 0 - (-156)/4. Suppose 5 - 21 = -a + 3*r, 3*a - v = 5*r. Is u(a) a multiple of 11?
False
Let c = 456 + -456. Is 72 a factor of (-61 + 64)*(336 + c)/2?
True
Let v be (125/(-30))/25 + 2089/6. Suppose 2*a + 4*n = v, -3*a = a - 5*n - 735. Is a a multiple of 36?
True
Let j(x) = 26*x**2 + 79*x + 534. Does 18 divide j(-12)?
True
Let g = -713 - -1022. Suppose u + 2*i + g = 6*u, 2 = -i. Is 20 a factor of u?
False
Let m(p) = -2*p - 18. Let r be m(-9). Suppose 5*l - 11*l + 12 = 0. Is (0 + r)/l + 6 even?
True
Let g(c) = 5*c**3 + c**2 + c + 9. Suppose 2*r - 10 = -4*w, 5*r - 6*r + 5*w - 2 = 0. Is g(r) a multiple of 18?
False
Let m = -396 + 400. Suppose -4*y - m*c - 51 = -491, -110 = -y - 3*c. Is 5 a factor of y?
True
Suppose -4*p + 1219 = -5*z - 80132, -101691 = -5*p + 4*z. Is p a multiple of 43?
True
Let a = 4057 + 1037. Suppose -5*l - 594 = -a. Is 9 a factor of l?
True
Let p = 2934 + -1064. Is 34 a factor of p?
True
Let b(d) = -5*d - 7*d + 11*d - 3*d + 152 + 3*d. Does 7 divide b(24)?
False
Suppose -2*o - 57 = 2*o - 3*d, -2*o - 36 = -4*d. Does 41 divide 2*(-8)/o*(-498)/(-8)?
False
Let f(x) = 35*x - 228. Let p be f(7). Let y(w) = 20*w - w**2 + 22 - 12 + 11. Is 17 a factor of y(p)?
False
Suppose 122*t = 20*t. Let x = -32 - -90. Suppose x = 2*p + 3*m, -m - 2 = -t*m. Is p a multiple of 16?
True
Suppose 4*q + 51635 = 4*a - 29713, 2*a - 40686 = -4*q. Is 223 a factor of a?
False
Suppose 0 = 4*l + 10 - 2. Let r be 7*-18*(l + 3 + -2). Suppose r = 3*h - 0*h. Is 6 a factor of h?
True
Suppose 0 = -5*u - 9*g + 4*g + 66860, -4*u + 53506 = -5*g. Is 14 a factor of u?
False
Is 25 a factor of 14/28*(-40)/5 + 274?
False
Let z(x) = 2*x - 13. Let p be z(9). Let o(k) = 2*k + 23. Let c be o(-10). Suppose -g = -5, -222 - 233 = -c*q + p*g. Is 7 a factor of q?
False
Suppose 3*p + 0*p + 38 = 2*l, -33 = 3*p + 3*l. Let t(z) = -7*z - 36. Let n be t(p). Suppose -f - 5*q = -n + 14, 120 = 4*f + 4*q. Does 29 divide f?
True
Let p(r) = 4*r**2 + 3*r + 13. Let z(s) = -s**2 - 2*s - 7. Let b(f) = 3*p(f) + 5*z(f). Is b(-4) a multiple of 8?
True
Let n = 116 + -81. Let g = n + -32. Suppose w + 3*v = 45, -g*w + 17 + 79 = -4*v. Does 36 divide w?
True
Suppose 93*s = 183584 + 547768. Is 12 a factor of s?
False
Is ((-1839)/4)/(70/(-840)) a multiple of 5?
False
Let c = 71 - 60. Let a(y) = c + 3 + y - 12. Is a(11) a multiple of 13?
True
Let c(d) = 5*d + 2. Let o = 94 + -97. Let i(t) = t**2 - t - 7. Let r be i(o). Is 9 a factor of c(r)?
True
Suppose 43*d - 202444 = 5*d - 5*d. Does 67 divide d?
False
Let h be (18/5)/((5 - 0)/(-25)). Let x = -32 + -2. Let l = h - x. Is l a multiple of 4?
True
Let b = 23 - -241. Let x = b + -209. Is x a multiple of 5?
True
Let v = 11207 - 7413. Does 7 divide v?
True
Let c(d) = 9*d + 55. Let s be c(-5). Suppose 11*m - s*m - 377 = 0. Is m a multiple of 13?
True
Let c = -7