 factor of (-8 - -5)/(18/(-60)) - -5390?
True
Let u(o) = 3*o**3 - 3*o**2 - o - 1. Let n be u(4). Let w(k) = 131*k - 519. Let s be w(4). Suppose -n + 4 = -s*t. Is t a multiple of 27?
True
Let c(z) = 5*z + 12. Let n be c(-4). Let v(r) = r**2 + 2*r - 18. Is v(n) a multiple of 6?
True
Let x = -4000 + 6856. Suppose 108*l - 105*l - x = 0. Does 14 divide l?
True
Suppose 0 = 9*u - 13*u - 32. Is (u - -10)/((-2)/(-387)) a multiple of 43?
True
Suppose -4*p = t - 5292, -2058 - 588 = -2*p - 3*t. Suppose 48*v - 45*v = p. Is v a multiple of 9?
True
Let s be ((-129)/2)/((-5)/10). Let y = -77 + s. Suppose 6*q = 194 + y. Is 4 a factor of q?
False
Suppose 68 = 11*x - 53. Let t(u) = -3*u**2 - 26 + 7*u + 2*u**2 + 7*u. Is 7 a factor of t(x)?
True
Let i be -127 - (2 - 3)*-3. Let g = i - -28. Is 17 a factor of (g/(-24))/(3/60)?
True
Let d(n) = -72*n**3 + 8*n**2 - 33*n - 270. Is d(-5) a multiple of 8?
False
Let p(k) = 124*k - 2503. Is 41 a factor of p(43)?
True
Let g(z) = -z**2 + 40*z + 80. Let m be g(42). Is 2520/150*(-130)/m a multiple of 27?
False
Suppose 4*g - 21*g + 6630 = 0. Suppose n + g = 6*n. Does 3 divide n?
True
Suppose 21 = 8*g - 3. Is 28 a factor of g/2*((-1004)/(-6) - -10)?
False
Let w = -21 + 51. Suppose -9*h = -4*h - w. Suppose -2*p = h, -8*m + 3*m = -4*p - 162. Is 30 a factor of m?
True
Suppose -4*k = q - 18, 3*k + 2*q + 0*q = 11. Suppose 2*h + 388 = v, -v + 0*v + k*h + 388 = 0. Is 26 a factor of v?
False
Let c(l) = 22*l**2 + 15*l + 132. Does 29 divide c(-16)?
False
Let v be ((-5)/(-10))/(3 + 4161/(-1386)). Let h = v - -311. Is h a multiple of 5?
True
Suppose -l + 17775 + 34992 = 2*l. Is 11 a factor of l?
True
Suppose -2*x + 30 = 2*i + 2*x, 0 = 5*i - 5*x. Let o(h) = 4*h + 51. Is 4 a factor of o(i)?
False
Suppose -g + q = -647, 0 = 6*g - g - 4*q - 3233. Let p = -395 + g. Is p a multiple of 17?
False
Let v be 26/6 - (-9)/(-243)*9. Suppose 5*b = o - 240, -4*b - 734 - 178 = -v*o. Does 15 divide o?
True
Suppose -2991 + 623 = -16*q. Is q + 1 - ((-12)/3 + 3) a multiple of 42?
False
Let a(u) = 40*u**2 + 613*u + 5690. Is 10 a factor of a(-9)?
False
Let d be (98/(-4) - -2)*(-10)/25. Is 1919/d + 90/(-405) a multiple of 3?
True
Suppose -88781 = -101*a + 90*a. Is 39 a factor of a?
False
Let z = 4689 + -4353. Is 2 a factor of z?
True
Let k(h) = h**3 + 3*h**2 + 2*h + 3. Let m be k(-2). Suppose -12 = 5*l - 2*t, -6*t + 2*t - 4 = -m*l. Is 8 a factor of l - 5/(15/(-93))?
False
Suppose 4*j = -3*u + 7*u - 85608, -5*j - 128407 = -6*u. Is 111 a factor of u?
False
Let u(n) = n**3 - 18*n**2 + 16*n - 4. Let k = 25 - 8. Let z be u(k). Is (-147)/z*(26 + -1) a multiple of 35?
True
Suppose -x = 4*x - 30. Suppose 0 = -z - 2*c + 932, -4*z + 2*c + 3740 = -2*c. Suppose z = x*v + 190. Is v a multiple of 18?
False
Let h(f) = 10*f**2 + 44*f - 134. Is 39 a factor of h(11)?
True
Let i be -7*8/(-308) - (-4396)/22. Suppose 5*p + 2*v - 711 - i = 0, -3*v = 6. Does 34 divide p?
False
Suppose 5*z + 16*a - 210676 = 13*a, -5*a = -35. Is z a multiple of 89?
False
Suppose -5*q - 230 = 4*h - 2*q, -4*h + 4*q = 216. Let w = 124 + h. Suppose -3*z - 8 + w = 0. Does 3 divide z?
False
Suppose 250 - 310 = 10*s. Is 97 a factor of (6 + s)/8 + 1649?
True
Let u(w) = -w**3 + 9*w**2 + 7*w - 8. Let y = -49 + 56. Does 34 divide u(y)?
False
Let k = 542 - 485. Is 29 a factor of (-3 + 1395)/(k/38)?
True
Suppose 2*w - 974 = c - 2*c, 4*w = -20. Let r be 6/(-14) - c/(-42). Suppose 139 = 3*k - r. Is 46 a factor of k?
False
Let h(s) = -s**3 + 13*s**2 - s + 17. Let b be h(13). Suppose 0 = 3*g + 5*u - 768, 4*g - 550 - 474 = b*u. Is g a multiple of 8?
True
Let t(o) = 26*o**3 + 6*o**2 - 4*o + 1. Let d be ((-5)/20)/((-3)/24). Is 45 a factor of t(d)?
True
Let l = -506 - -90. Let n = 806 + l. Is 26 a factor of n?
True
Let u(o) = -11*o - 1. Let a be u(7). Let y = -15 - a. Let x = y + -58. Does 4 divide x?
False
Let s(k) = -k**2 + 18*k - 17. Let o(a) = 2*a - 1 + 6 - 24*a**2 - a**3 - 1 + 22*a**2. Let d be o(-3). Is s(d) a multiple of 11?
False
Does 24 divide 4 + (-17947 + 7)/(-15)?
True
Suppose 30*z - 39592 = 112088. Does 68 divide z?
False
Let d(x) = 2*x**2 + 8*x + 7. Let z be d(-13). Let j = -93 + z. Suppose -2*n + j - 22 = 0. Does 21 divide n?
True
Suppose 46863 = -18*s + 36*s + 23*s. Is 12 a factor of s?
False
Suppose -5*r - 2*b = 0, -r + 5*b + 21 = -3*r. Suppose 77*n - 75*n = 92. Let j = n - r. Is 39 a factor of j?
False
Suppose 90*u = 362022 + 103098. Does 136 divide u?
True
Suppose 0 = -4*b - 3*a + 102 - 5, 3*b = -4*a + 64. Suppose -3*z = 4*n + z - b, 3*n - 3*z - 27 = 0. Suppose -n = -4*i, s = i + 36 + 42. Is 20 a factor of s?
True
Let y be 3/2*(-8)/(-3). Suppose 17 - 25 = -y*v. Suppose -2*p = o + v*p - 40, -2*o + 65 = 5*p. Is 5 a factor of o?
True
Suppose 2*z - 6 + 0 = -4*b, 12 = 4*z + 4*b. Suppose 0 = 2*u + 1 + 5, -z*x - 2*u + 597 = 0. Is 6 a factor of x?
False
Suppose 0 = 2*h + 41*g - 37*g - 20924, 3*g - 31401 = -3*h. Does 17 divide h?
True
Let a = -3553 - -3837. Is 7 a factor of a?
False
Let q(d) = d**2 - d. Let t(a) = 5*a**2 - 12*a + 19. Let s(c) = -4*q(c) + t(c). Let l be s(7). Let u = l + 195. Is 34 a factor of u?
False
Suppose g + 1 = 3, -a + 80 = 3*g. Suppose -73*m - 208 = -a*m. Is 4 a factor of m?
True
Suppose -329*n = -21*n - 1016400. Is n a multiple of 30?
True
Suppose -17*y + r = -14*y - 10699, 0 = -5*y + r + 17833. Is 6 a factor of y?
False
Let x be 1 - 0 - -2 - 65. Let o be 4/14 - (-2886)/91. Let i = o - x. Is i a multiple of 31?
False
Is 326/1*(1375/(-50))/(-5) a multiple of 16?
False
Suppose -49*d + 1370 + 8762 = -403. Suppose -4*l - 1814 = -5*x - 87, -351 = -x - 2*l. Let n = x - d. Does 11 divide n?
True
Suppose -944 - 112 = -11*w. Let u = -202 + w. Let q = -56 - u. Does 10 divide q?
True
Let h(p) = -p**2 - 15*p + 4. Suppose 0 = -o - 2*o + 72. Suppose -9*l + o = -11*l. Does 10 divide h(l)?
True
Suppose -5*q = 2*l - 1439, -228*l - 3581 = -233*l + 4*q. Does 11 divide l?
False
Suppose -60*h = -176469 - 1671. Does 36 divide h?
False
Let y = -154 + 568. Let t = y + -196. Is 20 a factor of t?
False
Suppose -240*v + 6 = -238*v. Does 8 divide -2*v/12*-422?
False
Let k(o) be the third derivative of -o**6/120 - o**5/20 - o**4/12 + o**3 + 3*o**2. Suppose 0 = 7*l + 4 + 31. Does 11 divide k(l)?
True
Let g be 2460/16*80/15. Let l = g - 620. Is 5 a factor of l?
True
Let o(z) = -z**3 + 13*z**2 - 12*z. Let u be o(11). Let t be (-1)/((-5)/(u*20)). Suppose -7*c + 12*c = t. Does 28 divide c?
False
Suppose 0 = 2*f - 2*g - 34006, -51015 = -3*f + 316*g - 319*g. Is f a multiple of 52?
True
Let u be 4/14 + 11/(-14)*-6. Let v(i) = 4*i**2 + 14*i - 19. Is v(u) a multiple of 29?
False
Let o(v) be the second derivative of 1/3*v**3 + 0 + 10*v + 2*v**2 + 7/3*v**4. Is o(3) a multiple of 34?
False
Let g(d) = -12*d + 7740. Is 20 a factor of g(0)?
True
Let q(n) = -2*n**2 - 80*n + 78. Does 27 divide q(-20)?
False
Suppose s + 3*s = 4*q - 84, -2*q - 5*s + 77 = 0. Let m = -24 + q. Let i = m + 43. Does 8 divide i?
False
Let o be 4 + 0*(-8)/64. Suppose -1820 = -o*g - 5*m, -1077 = -5*g + 5*m + 1198. Does 35 divide g?
True
Suppose 3*p + 4*b - 13007 = 11861, -3*p + 24832 = -5*b. Is 67 a factor of p?
False
Let d = -9 - -12. Let u be (4/(-6))/((-1)/d). Suppose -u*i = -13*i + 616. Does 8 divide i?
True
Let o(u) = u**3 - 25*u**2 - 133*u + 4. Let v be o(-4). Let z = 419 - v. Is 12 a factor of z?
False
Let w(z) = -z**2 + 7*z - 10. Let q be w(5). Suppose 5*r = -5*t + 210, q*t = -2*t. Is 6 a factor of r?
True
Suppose 105*b - 225665 - 146035 = 0. Does 30 divide b?
True
Suppose -13*b + 4*b - 108 = 0. Let y be 45/20 + (-9)/b. Suppose -l - 2*l + 5*r = -298, y*r + 300 = 3*l. Is 11 a factor of l?
False
Suppose 9*n + 28 = -35. Does 7 divide 391 - (n + 10) - -2*2?
True
Let n be 4/10 + (-7760)/(-100). Suppose 0 = -5*q + 3*p - n - 467, 0 = 2*q + 4*p + 192. Let m = q - -205. Does 21 divide m?
False
Let z = -11808 + 21608. Suppose -z = 61*v - 71*v. Is v a multiple of 37?
False
Let m = 29468 - 11574. Is m a multiple of 13?
False
Let v(p) = 3*p**2 + p + 6. Suppose 10*b - 39 = 51. Let m be v(b). Suppose 2*a = 2*n - 24 + m, 4*a = 3*n + 463. Does 14 divide a?
True
Suppose 4*o - 3*a + 107 = 10, 102 = -4*o - 2*a. Let q = -10 - o. Suppose 7*d + q = 10*d. Does 5 divide d?
True
Suppose 0 = -4*j + 2*h + 332 + 88, -226 = -2*j - 3*h. Let m = j + 94. Let a = 293 - m. Is 23 a facto