(0). Let z = k - 5. Suppose -z*h + 850 + 10 = 0. Is 27 a factor of h?
False
Is 157 a factor of (-16481*9/18 + -2)*-4?
True
Let w(j) = -15*j**2 + 24*j - 24. Let b(r) = -4*r**2 + 6*r - 6. Let u(y) = -9*b(y) + 2*w(y). Let p be u(-4). Suppose 0*g - p = -6*g. Is 4 a factor of g?
False
Let r(j) = -j**2 - 5*j + 16. Let x be r(-7). Is 13 a factor of ((-3)/(-9))/(x/1530)?
False
Let q(f) = 5*f**3 - f**2 - 91*f + 19. Is 4 a factor of q(5)?
True
Let m = 36 + -30. Suppose -14 + 26 = m*y. Does 4 divide (4/(-2))/(20/(-8) + y)?
True
Let z be (-1620)/(-50) + (-2)/5. Let b = z - 34. Is b - ((-654)/9 - 2/(-3)) a multiple of 19?
False
Let s = -18714 - -19589. Is 7 a factor of s?
True
Let z be (-4 - 0)/((-9)/10908*2). Suppose 30*s - 3696 = z. Is s a multiple of 12?
True
Let h be ((-906)/(-24))/((-2)/(-24)). Let a = h - 381. Does 24 divide a?
True
Suppose -2621*a - 5*c = -2616*a - 151560, -3*a + 90932 = 2*c. Does 9 divide a?
False
Let s(d) = -d**3 + 8*d**2 - d - 9. Suppose -2*g - 58 = -2*c, -4*c + 9*c = -4*g + 145. Let f = 33 - c. Is s(f) a multiple of 16?
False
Let m be 20/(-4)*70/25. Suppose 5*d = -0*d + 5*n + 290, -20 = 5*n. Let u = d + m. Does 5 divide u?
True
Suppose -19*y = -62559 - 10572. Let k = y + -1954. Does 26 divide k/7 - ((-4)/14)/1?
False
Let w(i) = -i**3 + 3*i**2 - 2*i + 7. Let o be w(4). Let j(k) = -11*k + 46. Is 14 a factor of j(o)?
False
Let v(g) = 16*g**2 + 8*g + 40. Let x be 7/(35/(-40))*3/6. Is v(x) a multiple of 33?
True
Let j(i) = 10*i. Let r be j(0). Suppose r = 7*x - 14*x + 2975. Is x a multiple of 25?
True
Suppose -3*n - 32 = 52. Let p = n + 8. Is 2 a factor of 5/p - (-135)/12?
False
Let b = 32062 - 25934. Is 142 a factor of b?
False
Suppose -4*h - 16 = 0, x - 5*h - 2611 = -7*h. Is 36 a factor of x?
False
Suppose -4*f = -n - 6970, 22*n = 4*f + 27*n - 6982. Does 83 divide f?
True
Let w = 497 + 14095. Does 8 divide w?
True
Suppose -2*x + 7 = w, 0*w + 16 = 2*x - 2*w. Let i be (1 - (-1 + 5))/(x/(-5)). Is 10 a factor of 2/(-3)*(i + -33)?
True
Is (-5650030)/(-570) - (-3 - (-3)/(18/20)) a multiple of 62?
False
Let k be 9/3 - 5245/(-4 - 1). Let q = -340 + k. Is 8 a factor of q?
True
Suppose 17*k - 3015 - 3768 = 0. Suppose 3*t = 3*b - 2*t - k, 0 = -5*b - 3*t + 665. Is b a multiple of 7?
True
Let r = 39006 - 20889. Is r a multiple of 27?
True
Let k = 33 + -24. Let y(r) = -4*r**2 - 28*r + 2. Let z be y(-7). Suppose -387 - k = -z*a. Does 22 divide a?
True
Suppose -2*k - 49 = -w, -4*k = 5*w - 84 - 105. Suppose -w*b = -46*b + 3*s + 1357, 4*s - 4 = 0. Is 17 a factor of b?
True
Let y = 141 - 117. Is y/(1 + (4 - 7) + 3) a multiple of 24?
True
Suppose 8*t - 721 = 719. Suppose 4*c = u - 95, -2*u - 3*c + c = -t. Does 3 divide u?
False
Suppose 24*z - 106441 = 12335. Is z a multiple of 101?
True
Suppose -26*o - 4 - 48 = 0. Let h(b) = 10*b - 20*b - 48*b + 4. Is h(o) a multiple of 20?
True
Suppose -13*m + 16*m - 12 = -3*d, -2*d = -4*m + 22. Suppose 4*l + 0*l + m*g = 365, -3*g = -2*l + 155. Does 3 divide l?
False
Suppose 0 = 7*d - 112477 + 19279. Is d a multiple of 14?
True
Let u = -87946 + 131366. Is u a multiple of 130?
True
Suppose 144*v + 15186 = 126*v + 130602. Is 7 a factor of v?
True
Let b = -31 + 36. Suppose 28 + 17 = -b*x. Does 46 divide -207*-6*(-2)/x?
True
Let p(x) = 3*x**3 - 2*x**2 + 6*x - 8. Let f(b) = 6*b + 75. Let c be f(-12). Does 2 divide p(c)?
False
Suppose -3*f = 3*f - 30. Let z be (-30)/50 - (-1 - 13/5). Suppose 2*c - x + 445 = 5*c, -z*c + 475 = -f*x. Does 22 divide c?
False
Is 7 a factor of 94*3/(-6)*(-5 + -2)?
True
Let i(m) = m**2 - 8*m + 19. Let r be i(3). Suppose -d - 3*c + 75 = 0, d + 3*c - r*c - 95 = 0. Does 9 divide d?
True
Suppose 68 = 9*t - 454. Let n = 60 - t. Suppose n*o - 142 = -4. Is 9 a factor of o?
False
Suppose -8*r = -23*r - 18*r + 115632. Is 146 a factor of r?
True
Let k(y) = -95*y - 115. Suppose -4*b + 5*n - 3 = 0, 2*n - 11 = -5*b - 23. Is 2 a factor of k(b)?
False
Let u = 33365 + -16656. Is 31 a factor of u?
True
Suppose 14*f + 180 = 16*f. Suppose 624 = 4*c - 4*d, 2*d = 4*c + 5*d - 610. Suppose 92*u = f*u + c. Is 37 a factor of u?
False
Is -25 + 424 - (26 + -14) a multiple of 2?
False
Suppose 0 = 6*j - 105 - 93. Is 26 a factor of (83 - 1)*(-1 - j/(-22))?
False
Let h(j) = -24*j + 67. Let p be h(14). Let a = p + 549. Is a a multiple of 13?
False
Suppose d + 3 = 7. Suppose 4*h - 8 = 3*g, 25*g - 20*g + 10 = 5*h. Suppose -3*s - w = s - 274, -d = -h*w. Is s a multiple of 34?
True
Let i = 164 + -235. Let h = 58 + i. Is 7 a factor of 24/(-40)*(h + -2)?
False
Suppose 1636 = -36*p + 40*p. Let f = -305 + p. Does 4 divide f?
True
Let y be 72/((22/132)/((-1)/3)). Let r = y + 165. Is 4 a factor of r?
False
Suppose -2360 = -3*i - 7553. Let b = i + 2748. Is b a multiple of 17?
False
Let r(n) = 1597*n**2 - 225*n - 227. Is r(-1) a multiple of 29?
True
Let m(s) be the second derivative of s**4/6 - 5*s**3/2 + 9*s**2/2 - 107*s. Is 11 a factor of m(-12)?
False
Let v be 10*(18/(-108))/(2/(-6)). Suppose -25 = 5*h, -v*h + 29 = -3*d + 549. Is d a multiple of 55?
True
Suppose 6*s - 4 = -4. Suppose 29*z - 28*z + 66 = s. Let b = 141 + z. Is 22 a factor of b?
False
Suppose 3*u + 12 = -2*m, 7 + 1 = 2*m - 2*u. Suppose 4*h - 140 = -5*j + j, j - 3*h - 35 = m. Is 11 a factor of -1*((-7)/j - 794/5)?
False
Let r be 3 - 17/4*8/1. Let q = r + 34. Does 8 divide q/((-18)/(-100)) - (-102)/(-153)?
True
Let i(j) = -j + 16. Let s be i(12). Suppose -s*y + 0*y = -16. Does 15 divide 111/((y - -1) + -4)?
False
Suppose -2*x + x = 5*s, 0 = x - 5*s. Is (-6)/(-21) + x - 3600/(-42) a multiple of 41?
False
Let f = 25 - 9. Suppose f*w = -8*w + 1224. Does 17 divide w?
True
Let s(t) = -t**3 + 8*t**2 + 20*t + 4. Let o be s(10). Suppose 0 = 3*h + 2*r - 790, -h + o*r + 255 = 3*r. Let v = -125 + h. Is v a multiple of 45?
True
Suppose -2*o + x + 3*x + 340 = 0, -3*o - 5*x = -488. Let q = o - -134. Is q a multiple of 50?
True
Suppose 16*o = -152 - 536. Is 43 a factor of (o/4)/(97/(-32) + 3)?
True
Suppose -3*a = -v - 12, 4*a - 2 = -v + 21. Suppose -4*d - 622 = -3*u + u, -1480 = -a*u - 5*d. Let g = -153 + u. Does 37 divide g?
True
Let u = 515 + -491. Is (6 - -252)/(9/u) a multiple of 43?
True
Let r = -4 + 29. Suppose r*b - 73 = 24*b. Let m = b - 13. Is m a multiple of 30?
True
Let p = -177 + 180. Is 16 a factor of p/2*(-20)/15 + 468?
False
Suppose -4*o = -4*c - 3136, -29*o = 4*c - 10068 - 12437. Does 14 divide o?
False
Let q = 11793 - 6823. Is q a multiple of 70?
True
Suppose -135*h + 209844 = 13595 - 304601. Does 106 divide h?
True
Let d be 2534/18 - (-16)/72 - -1. Let w = 44 + d. Suppose 4*r = -10 + w. Does 9 divide r?
False
Suppose -4*h = 2*d + 10386, -d = -0*h + 3*h + 5196. Does 24 divide (-3)/12 - d/12?
True
Let w be (0 - (-8)/(-10)) + 12/15. Let b(o) be the first derivative of o**2 + 127*o + 1. Is b(w) a multiple of 11?
False
Suppose 56*y - 2*k = 61*y - 12172, 5*k = 3*y - 7328. Is 29 a factor of y?
True
Suppose 314636 = -114*c + 148*c. Does 25 divide c?
False
Let m(b) = b - 12. Let p(f) = 4*f - 49. Let k(j) = -18*m(j) + 4*p(j). Let u be k(-14). Let a = -6 + u. Does 21 divide a?
True
Let w = 12352 + -8011. Is 87 a factor of w?
False
Let v = 200 - 110. Suppose -v = 2*w - 3*w + u, 5*u - 333 = -4*w. Is w a multiple of 10?
False
Suppose -2*z + 34 = 4*t, 7 + 5 = -4*z. Let i(y) = y**3 - 12*y**2 + 19*y + 14. Let w be i(t). Suppose -321 = -w*f + 139. Does 23 divide f?
True
Let b = 4737 + -1211. Is b a multiple of 3?
False
Suppose -6*m - 12 = -10*m. Suppose -m*s + 171 = -0*s. Let x = -12 + s. Does 9 divide x?
True
Suppose 5*c - 6*l = -3*l + 186, 204 = 5*c + 3*l. Let k(a) = 4*a - 48. Is k(c) a multiple of 27?
True
Let g = -441 - -650. Suppose 2*d - 407 - g = 0. Is d a multiple of 22?
True
Let w = 75 + -51. Suppose 12*c = 14*c - w. Suppose -c*t - 3*t + 3600 = 0. Does 40 divide t?
True
Let m = -175 - -170. Let i(n) = -4*n**3 - 7*n**2 - 4*n + 7. Is 16 a factor of i(m)?
True
Let y(q) = 0*q - 230*q**2 + 259*q**2 + 2*q. Let l be y(-4). Suppose 0 = -g - 0*g + 5*k + 130, -4*g + 4*k = -l. Is g a multiple of 21?
False
Suppose -g - a - 19 = -6*g, a = -4. Let o be g/(-21) - (-246)/(-42). Is 16 a factor of (-178)/o*(-8 - -11)?
False
Let o(t) = 5*t**2 - 339*t - 60. Let m be o(68). Let y(n) be the third derivative of n**4/2 + n**3 + n**2. Is 18 a factor of y(m)?
False
Let r = -18883 + 19504. Is r a multi