m(f) = 236*f**2 - 10*f + 608. Does 317 divide m(16)?
True
Let d = 62 - 41. Let o(v) = -11 - 71*v - 5 + d. Is o(-2) a multiple of 49?
True
Let c(a) = 57*a + 117. Let y be c(-2). Suppose -3*t + 290 = -3*v - 2353, -4*t = y*v - 3559. Is t a multiple of 19?
False
Suppose -c = 2*b + 1078, 2*b + 254 = 4*c - 844. Let j = -135 - b. Does 14 divide j?
True
Let r be (-33)/(-9) + (-4)/(-12). Suppose -12 = -4*s - 5*w + 1, 0 = 3*s - r*w - 2. Suppose -s*v + 128 = 3*b, -b + 3*v = -v - 24. Does 5 divide b?
True
Suppose 0*s + 2*w + 2 = -3*s, 2*s - 24 = 5*w. Suppose -4*z + 7 = -5*f, 3*f + 11 - s = 4*z. Suppose -5*m + t = -4*m - 358, z*t + 356 = m. Is 54 a factor of m?
False
Suppose -37*a + 39*a = 36. Suppose -b = -a*b + 5814. Is 28 a factor of b?
False
Suppose -4*p + 8*p - 5625 = j, -5*j = -p + 1392. Is p a multiple of 21?
True
Let r(c) = -5*c**2 - 3. Let g(u) = 10*u**2 + 5. Let a be 87/27 - (-10)/(-45). Let f(j) = a*g(j) + 5*r(j). Does 5 divide f(-2)?
True
Let h(t) = 8933*t**2 - 719*t + 1436. Is 15 a factor of h(2)?
True
Suppose 0 = -3*l + 4*l + 1. Let v(y) be the second derivative of -14*y**3/3 - 2*y**2 - 5*y. Is v(l) a multiple of 6?
True
Suppose b - 997 = -l, 4*b - 674 - 308 = -l. Is l a multiple of 3?
True
Let x be 3/(-18) + 8126/(-204). Let u = -17 - -1. Is u/x*((0 - -198) + 2) a multiple of 4?
True
Let j = 2628 + 5481. Does 153 divide j?
True
Suppose 24*d - 29*d = m - 33833, 0 = 2*d - 2*m - 13538. Is 13 a factor of d?
False
Suppose -188 + 768 = -4*n. Let k = -137 - n. Does 5 divide k?
False
Let v = 28 + -52. Let n = -54 - -93. Let u = v + n. Is u a multiple of 14?
False
Let q(w) = 77*w**2 - w - 6. Is 21 a factor of q(8)?
True
Let y = 255 + -252. Suppose y*o - 4*o = -183. Is 36 a factor of o?
False
Let p = -880 + 1466. Let b = p + -279. Is 25 a factor of b?
False
Let k = -29 - -51. Suppose 18*i - k*i - 8 = 0. Is 3*(i/2 - 588/(-18)) a multiple of 11?
False
Suppose -31 = 13*l + 203. Let n = l - -6. Is 17 a factor of 357*(-5 + (-64)/n)?
True
Let k(i) = i**2 + 5*i + 16. Let x be k(6). Let z = x - 79. Suppose 0 = -5*p - 5*d + 3*d + 388, z*p - 3*d = 237. Is 26 a factor of p?
True
Suppose 5*o - 7*h + 4*h - 11714 = 0, -10*h - 11700 = -5*o. Is o a multiple of 25?
False
Let y(s) be the first derivative of -s**4/4 + 5*s**3 - 8*s**2 + 28*s + 21. Let j be y(14). Suppose j = -0*f + 10*f - 1050. Does 6 divide f?
False
Suppose 4*g = 2*w - 972, -5*g = -4*g - 3. Suppose 4*v - w - 192 = 0. Does 9 divide v?
True
Let h(o) = 30*o**2 + 30*o - 162. Is h(8) a multiple of 54?
True
Let r = 11388 - 7014. Is r a multiple of 27?
True
Let j = 11082 + -1700. Is j a multiple of 94?
False
Let l = 7230 + -5466. Is 21 a factor of l?
True
Let z(d) = -d**3 - 12*d**2 - 29*d - 14. Let h be z(-9). Suppose 5*p + 448 = h*t - 18, 4*p + 587 = 5*t. Is 17 a factor of t?
True
Suppose -n + 0*a = a - 21, n + 2*a - 16 = 0. Let q(s) = 39*s + 64. Let u be q(0). Let x = n + u. Is 15 a factor of x?
True
Let u(o) = 13*o**2 - 3 + 4*o - 13*o + o**3 - 4*o**2. Let m be u(-10). Is 15 a factor of 2/m + (-6248)/(-52)?
True
Suppose -6*y + 999 = -19646 - 12595. Is 10 a factor of y?
True
Let h(y) = y**2 + y - 2. Let u be h(-22). Let w = -309 + u. Does 15 divide w?
False
Suppose 47*q = 49*q - 8. Let y(o) = 12*o**2 + 2*o + 10. Is 14 a factor of y(q)?
True
Let n = 90 + -87. Suppose n*b + b = -5*a + 1266, -4*b = a - 250. Let c = a - 150. Is c a multiple of 52?
True
Let k = -6005 - -25300. Is 12 a factor of k?
False
Suppose -3*s + 6*s = -51. Let f = s + 19. Suppose f*u = 131 + 93. Is u a multiple of 48?
False
Suppose -6*s = 8*s - 13282 - 5954. Does 18 divide s?
False
Let q(k) = -177*k + 12522. Is 12 a factor of q(41)?
False
Let u = -2 - -6. Suppose 0 = 3*a + 15, -5*r - u*a + a = -105. Is 3 a factor of r?
True
Let d be 654030/(-225) - (-1 - (-6)/5). Does 3 divide ((-3)/9)/(17/d)?
True
Is -78*3/(-27)*-1*-273 a multiple of 13?
True
Is -2*((-1 - -1) + (-19620)/72) a multiple of 3?
False
Let n be 10/(-60) + (-148)/(-24). Suppose -44 = -5*r + 2*c, -c - n = -3*c. Is r a multiple of 4?
False
Let f be (-3)/18 + 106*(-2)/24. Let n(a) = -3*a + 19. Does 4 divide n(f)?
False
Suppose -20*b + 85397 = -108103. Does 15 divide b?
True
Let z(b) be the third derivative of b**6/60 - b**5/5 + 5*b**4/12 + 5*b**3/3 + 19*b**2. Let c be z(5). Is 222/(-15)*(-3 + 5/c) a multiple of 4?
False
Let z be -27 + 8 + (-4)/(-2). Let h(x) = 8*x + 2. Let c(n) = 23*n + 5. Let d(q) = z*h(q) + 6*c(q). Is d(8) a multiple of 12?
True
Let m be 55 - (2 - (2 + -5)). Let o be 342/(-5) + (-2)/(m/15). Let x = o - -182. Is x a multiple of 7?
False
Suppose -68*f + 70 = -61*f. Does 29 divide (444/(-24) - f)*(-116)/6?
True
Suppose -4*v - 102 = -2*r, 2*r - 5*v - 63 - 39 = 0. Suppose 354 = 9*d - r. Is d a multiple of 15?
True
Let l = -228 + -107. Let v = l - -512. Does 13 divide v?
False
Let m = -6129 - -10014. Does 111 divide m?
True
Is 53 a factor of (-15)/(-4)*21/(1638/639392)?
True
Let f be 17/1*-3 + -2. Let m(u) = u**3 + 9*u**2 + 9. Let b be m(-4). Let s = f + b. Is s a multiple of 4?
True
Let d(n) = -3*n - 82. Let h be d(26). Let v = 478 + h. Is v a multiple of 16?
False
Suppose 0 = -39*r + 28*r + 3300. Let q = -28 + r. Does 17 divide q?
True
Suppose -283*x + 280*x + 6 = 0. Suppose 11*z - 180 = x*z. Does 4 divide z?
True
Let z(q) = 1465*q**3 + 8*q - 8. Let r be z(1). Suppose -14*x + 15297 = r. Is x a multiple of 58?
False
Let y(v) be the first derivative of -50*v**2 + 144*v - 63. Is y(-6) a multiple of 24?
True
Suppose 0 = -x - 3*x - 8, -5*f = 4*x - 77. Suppose -f*r = -796 - 1584. Is r a multiple of 7?
True
Let v be (-11 + 20)/(58/(-19) + 3). Does 19 divide 24/(-18)*v/3?
True
Let p be 4/(-18)*-1 - (-407)/(-9). Does 10 divide -1*(-6)/p + (-1806)/(-45)?
True
Let k(b) = b**3 + 6*b**2 - 3*b. Let x(a) = a**2 - 1. Let v(f) = k(f) + 5*x(f). Let r = 1314 + -1325. Is 9 a factor of v(r)?
False
Suppose 147*o = 260*o - 357532. Does 7 divide o?
True
Suppose 4*o - 5*r - 23 = 0, o + 10 = 3*o - 2*r. Suppose -s + o*q + 121 = 0, 2*s + 4*q + 12 - 262 = 0. Is s a multiple of 9?
False
Suppose 3*w = -2*t + 36773, -2*w = -171 + 161. Is t a multiple of 52?
False
Let x(l) = 0*l + 3*l + 12 - 3. Let h(t) = t**2 - 14*t - 466. Let i be h(30). Is 17 a factor of x(i)?
True
Let h(u) = -u**2 + 10*u + 15. Let n be h(10). Suppose 0 = 21*t - n*t + 420. Let g = 126 + t. Does 6 divide g?
False
Let y(g) = 136*g - 938. Let m be y(8). Let p(d) = d**2 + 5*d - 1. Let w be p(-6). Suppose n - 26 = -r - 0*r, w*n - m = 5*r. Is n a multiple of 11?
False
Suppose 0 = -5*r + o + 2749, -15*r + 11*r = -4*o - 2196. Is r a multiple of 5?
True
Let f(y) = y**3 + 14*y**2 + 13*y + 7. Let b be f(-13). Let a = b - -4. Is 34 a factor of a/((-22)/(-312)) - 0?
False
Is 342 a factor of 515025/(-654)*228/(-5)?
True
Let j be -25 - 6*26/(-39). Let x(y) = -y - 4. Let d be x(0). Let u = d - j. Is u a multiple of 4?
False
Let r(n) = -91*n**3 - 89*n**3 - 90*n**3 - 3*n**2 + 364*n**3 - 95*n**3 - 4*n - 12. Suppose 4*z - 3*z = -4. Does 10 divide r(z)?
True
Let h be (-5 - -4)*-1 - -1852. Suppose 381 = -8*m + h. Is m a multiple of 13?
False
Suppose -252 = -15*a + 9*a. Suppose -38052 = 6*z - a*z. Is 15 a factor of z?
False
Suppose -4*d + 14*d = -44730. Let h be d/27 - 2/6. Let y = h - -395. Is y a multiple of 29?
False
Is 12 a factor of (-493712)/(-767) - (-8)/26?
False
Let h(t) = 7*t - 16. Let z be h(8). Suppose -3*r - u = u + 55, -z = 2*r + 3*u. Let x = r + 57. Is 5 a factor of x?
True
Let v(i) = 23*i + 263. Does 10 divide v(-11)?
True
Suppose 0 = -2*q - 6, -3423 = 3*a - 5*a - 3*q. Let m = a - 896. Is m a multiple of 20?
True
Suppose g - 711*b + 714*b = 4032, -4*b + 8058 = 2*g. Is 44 a factor of g?
False
Is 18 a factor of 6/315*5 - 6033675/(-1575)?
False
Suppose 325 = 3*t + g, 5*g - 51 = -2*t + 170. Let z = 54 + t. Is z a multiple of 54?
True
Suppose -h - 9 = -0*z - 3*z, -4*z = -2*h - 14. Is 21 a factor of 91/(22/(-6) - (-1 + h))?
True
Suppose -s - 3*s + 28 = 0. Suppose s*i = -3*v + 3*i + 631, 800 = 4*v - 5*i. Suppose 0 = 7*z - 2*z - v. Is z a multiple of 8?
False
Let f(z) = z**3 - 3*z + 3. Let h be f(-3). Let l be (-24)/h - 3/5. Does 19 divide (4 - -15)*((1 - 0) + l)?
True
Suppose -3*t - o + 34 = 0, 5*t = -2*o + 51 + 5. Suppose 3*s + t = 4*f - 319, 2*f = -3*s - 307. Let v = -76 - s. Is 10 a factor of v?
False
Suppose 0 = -2*i - 4, 907*u - 5*i = 