68 = -309*i. Suppose o = -4*c + i - 77. Is 10 a factor of c?
True
Is (325/104*4)/(3/2652) a multiple of 17?
True
Let i(p) = 119*p**3 - 21*p**2 + 89*p + 36. Is 123 a factor of i(5)?
False
Let r(q) = 4*q**3 + 3*q**2 + q - 3. Let h be r(1). Suppose 0*g - 5*f = -h*g, 0 = -2*f + 4. Suppose -o - 286 = -m, g*m - 3*m = 3*o - 282. Is m a multiple of 57?
True
Suppose 2 = -2*w + 5*b - 25, w + 12 = 2*b. Let t(g) = -2*g**3 + 11*g**2 + 28*g + 5. Does 21 divide t(w)?
False
Suppose -3*w + 19488 = -4*q, 5*w = -2*q - 4*q + 32518. Is w a multiple of 10?
True
Let r = 28742 + -15862. Does 70 divide r?
True
Let j be ((-4)/8)/((-8)/800). Suppose 8 = -m + j. Is 21 a factor of m?
True
Suppose 0 = 4*t + 5*i - 125, -5*i = -4*t + 3*t. Suppose t*y - 1547 = 18*y. Is y a multiple of 13?
True
Suppose -130*h = 99*h + 49*h - 6009804. Does 28 divide h?
False
Suppose -3*u = -408 + 12. Suppose h = -3*h + 376. Let f = u - h. Does 19 divide f?
True
Suppose 2*l + 70 = 140. Suppose -2*p + l = -5*b, -5*p - 14 = 4*b + 47. Is 4 a factor of ((-26)/(-3))/((-3)/b)?
False
Let a(r) = -3*r + 24. Let l(h) = h**2 - 8*h - 1. Let m be l(9). Let j be a(m). Suppose -8*o + 15*o - 133 = j. Is o a multiple of 3?
False
Let r(b) = -b**2 + 10*b + 13. Let a be r(11). Suppose i + a*j - 199 = 0, -5*i = 2*j + 380 - 1343. Does 18 divide i?
False
Suppose -20*z + 187 = -31*z. Let g(k) = -42*k - 194. Does 6 divide g(z)?
False
Let n(z) = 6*z - 16 + 5*z**2 + 0*z**2 - 4*z**2 + 10*z. Let p be n(-17). Does 10 divide (p - 2) + 3 + 8?
True
Suppose -5*c - 16 + 101 = 0. Let m(i) be the first derivative of -i**4/4 + 6*i**3 - 15*i**2/2 + 10*i - 17. Is 9 a factor of m(c)?
False
Let j = 23 + -28. Let f(m) = -3*m**3 + 6*m**2 + 14*m + 89. Is 17 a factor of f(j)?
True
Suppose -9 = 2*l - 5*l. Suppose 0*i - i + l*j = 26, -2 = -i - 4*j. Is 4 a factor of i/(-1) - (-18)/(7 - 1)?
False
Let a = 764 - -590. Suppose -10*x + 676 = -a. Is x a multiple of 7?
True
Let m = 659 + -656. Suppose -m*c + 1278 = c + v, c - 3*v = 313. Is 26 a factor of c?
False
Let v(i) = 88*i**2 - 25*i + 4. Let f be v(5). Suppose 78*o + f = 85*o. Is o a multiple of 33?
True
Suppose u - 4513 = -s, 4*s + 18 = 30. Is 41 a factor of u?
True
Let p(v) = v**2 - 15*v + 4. Let z be p(15). Let a = z - 0. Suppose 2*u + 4*c = 4*u - 14, 31 = a*u - 5*c. Is u a multiple of 9?
True
Suppose -213*n = n - 2400523 - 2186567. Is 81 a factor of n?
False
Suppose 3*x - 3*w = -21, -2*x + w = 5*w + 8. Let g = x + 6. Suppose 4*i - 2*f - f = 183, -4*i + 4*f + 188 = g. Is 29 a factor of i?
False
Let k(d) = -d**2 - 12*d + 16. Let x be k(-10). Suppose -4*r - r = 0, x = 4*n + 2*r. Suppose 12*f - 18 = n*f. Is 3 a factor of f?
True
Let i = -8371 - -16281. Does 113 divide i?
True
Does 8 divide 27/504*8 - 73802/(-14)?
True
Suppose 2*l + 12240 = 2*n, -4*n + 3*n + 2*l + 6115 = 0. Is 25 a factor of n?
True
Let w = -30 + 27. Is 39 a factor of w/(-5) - (-57834)/135?
True
Let a = 57283 + -21076. Is 10 a factor of a?
False
Let r be 2770/7 + (88/77)/4. Let p = r + -343. Is p even?
False
Let v = -143 + 147. Let l(m) = 3*m + 122. Is l(v) a multiple of 8?
False
Suppose 0 = 2*i + 3*q - 0*q + 3956, 5*q = -2*i - 3964. Let c be i/(-3) - (-2)/3. Suppose 0 = -4*y - 3*o - 2*o + 869, 0 = -3*y - 5*o + c. Is 31 a factor of y?
False
Let n = -1912 + 1722. Let d be (-1 - 1/(-2))*720. Let f = n - d. Is f a multiple of 34?
True
Does 8 divide (-28800904)/(-2420) - (-2)/10*-1?
False
Suppose -17*o = -152031 - 61897. Does 143 divide o?
True
Suppose -3*t + 3*g + 10981 = -5762, -2*t - 5*g = -11204. Is t a multiple of 37?
True
Let v = -20 + 19. Let k be (-15)/(v - (-3)/(-6)). Does 15 divide (-2)/k - 1202/(-10)?
True
Let o(y) = -y**2 + 11*y - 19. Let g be o(8). Suppose 0 = -3*t - 0*t + q + 108, -g*q = 2*t - 89. Suppose 5*u = -2*c + t + 91, 0 = -u - 4*c + 22. Does 2 divide u?
True
Let n be 65/25 + (-4)/(-10). Let q(h) = -11 + 55*h - 27*h - n - 20*h. Is 17 a factor of q(6)?
True
Let f be 2 + (-416 - 4) - -3. Let i = 703 + f. Does 24 divide i?
True
Suppose 5*n - 1048 = 6107. Does 9 divide n?
True
Suppose -l + 0*l = 112. Let v = 204 + l. Is 23 a factor of v?
True
Suppose -3*q + 46632 = -29*x + 33*x, -4*x + 46636 = 2*q. Is 169 a factor of x?
True
Suppose -15*f + 3327 + 2283 = 0. Is f a multiple of 11?
True
Suppose 4*h + 12 = 0, 18*h = 4*t + 23*h - 105365. Does 11 divide t?
True
Suppose -m + 0*p - 3 = 2*p, m - 3*p = -3. Let y(k) = -8*k**3 + 7*k**2 + 4*k. Is 6 a factor of y(m)?
False
Suppose 14 = 5*a - d + 5*d, 0 = -2*a + 5*d - 1. Suppose -a*s + 24 = 6*s. Suppose -4*l + 11*m = 15*m - 48, -s*l + 18 = -3*m. Is l a multiple of 2?
False
Let w be ((-72)/45)/((-10)/25). Suppose -w*a = 5*a - 5337. Does 20 divide a?
False
Let y = 44729 + -24128. Is 155 a factor of y?
False
Let c = -58 - -59. Suppose -4*q + 4 = -s - c, 5*s + 5*q = 25. Is s - 1/((-3)/117) a multiple of 6?
True
Let k be 9/(27/15) + -2. Suppose 4*m + 4*g - 34 = 250, -k*m = -g - 205. Is m a multiple of 9?
False
Let u(o) = o**3 + 14*o**2 + 14*o + 13. Let n be u(-13). Let p(j) = -j**3 + j + 3. Let t be p(n). Suppose 288 = 9*c - t*c. Is 12 a factor of c?
True
Suppose 4*k = 199 - 15. Suppose 0 = 13*o - 19 - k. Suppose 206 - 1051 = -o*g. Is 13 a factor of g?
True
Suppose 12*f - 57 + 33 = 0. Suppose 3*h + 114 = 5*a, 2*h + 0 - 36 = -f*a. Is a a multiple of 3?
True
Let n = -2596 - -9389. Does 18 divide n?
False
Suppose 3*n = -4*c - 15, -5*n - 17 = -5*c + 8. Suppose 2*k - 11 + 5 = -3*b, 2*b + 12 = 4*k. Suppose c = -b*y + 6*y - 1356. Does 12 divide y?
False
Let v(f) = 4*f - 39. Let n be v(11). Suppose a + 4 = 3*a, 0 = -3*k - n*a + 136. Is k a multiple of 7?
True
Let a = -229 - -232. Does 5 divide -3 - (0 + (-147)/a) - -3?
False
Let p = 128 + -123. Suppose p*y + 0 = 10. Suppose -9 - 3 = 4*b, y*b - 1214 = -5*m. Is 31 a factor of m?
False
Suppose 139 + 11 = 25*k. Suppose -5*x + 2948 = 3*q, x = -k*q + 3*q + 2944. Is 9 a factor of q?
True
Suppose 0 = -132*f + 64718 + 1713322. Does 30 divide f?
True
Suppose 0*x + 5*x = -1475. Let t be (4050/(-35))/(51/238). Let n = x - t. Is n a multiple of 41?
False
Suppose 0 = i - 12 - 0. Suppose 0 = 5*n - 8*n + i. Suppose 0 = -4*v + l + l + 72, -n*l = 3*v - 65. Is 14 a factor of v?
False
Suppose 0 = -2*f - t + 20748, -2*t + 17847 = 2*f - 2895. Is 77 a factor of f?
False
Let z be 10/(-15) - (-84)/18. Suppose 0 = -2*a - 3*s + 769, -z*s + 3*s - 1 = 0. Is a a multiple of 12?
False
Suppose 2*p = l - 2744, -l + 2756 = p + p. Suppose -l = -14*h - 8*h. Is 3 a factor of h?
False
Let y = 276 - 261. Suppose 0 = 4*x - 13 - 23. Suppose -x*w = -y*w + 936. Is 26 a factor of w?
True
Let p(a) = a**3 - 7*a**2 + 7*a - 3. Let q be 9 + -3 + (4 - 4). Let y be p(q). Is 0 - 1 - (-156 - y) a multiple of 23?
False
Let x = 4985 - 3063. Is x a multiple of 54?
False
Let a = -26 - -255. Let l be 6/21 - 519/(-21). Suppose -l = p - a. Does 40 divide p?
False
Suppose 128529 = 28*l + 29073. Suppose -l - 4328 = -10*r. Is r a multiple of 51?
False
Is 7 a factor of 1202*(13 + (-120)/(-12))/2?
False
Let g(c) = 8*c**3 + 13*c**2 - 92*c + 46. Is g(16) a multiple of 15?
False
Suppose -4*v + 11 + 9 = 0. Suppose 0 = -v*q - 0*q + d + 48, q + 5*d = -6. Suppose n + 5*s = -0*s - q, 4*n = -3*s + 49. Is 11 a factor of n?
False
Suppose 2*g + 544 = 5*g - w, 0 = -4*g - w + 723. Let c = g - 53. Does 32 divide c?
True
Suppose -468 + 27 = -7*b. Suppose 49 = 4*p - b. Does 8 divide p?
False
Is 3 a factor of (-10533)/(-18) + 0 + (-88)/528?
True
Let a be -3 - (0/1 + (8 - 20)). Let n be a*(-1)/(-4)*(-80)/(-10). Does 5 divide ((-3)/8)/(n/(-40))*6?
True
Let k = 814 + -99. Is 2 a factor of k?
False
Suppose 15*y = 26*y + 8877. Let i = -743 - y. Is i a multiple of 19?
False
Suppose -4*y + 164 = 2*x, -31 = -5*y - 3*x + 176. Let m(u) = -47*u - 45. Let n be m(-4). Suppose y - 124 = -2*d + 5*j, j + n = 4*d. Does 7 divide d?
True
Suppose -142 = -2*i + 5*j, -2*i + 4*j - 228 = -6*i. Suppose -4*o + 0*f + 116 = -2*f, -5*f = 3*o - i. Suppose -31*u = -o*u - 152. Is u a multiple of 19?
True
Let i be (-1)/(-10) + 380/200. Suppose i*m + 2*j - 30 = 0, -5*j = -5*m + 24 + 11. Is 3 a factor of m?
False
Let p(y) = y**2 + 3*y + 3. Let j be (0 + 1/(-5))/(5/(-25)). Suppose l = -3*l - 5*t + j, -3*t = -5*l - 45. Is p(l) a multiple of 4?
False
Suppose -l - 4*f + 3184 = 0, -73*l - 3193 = -74*l - f. Is 47 a factor of l?
True
Let o(x) be the second der