q be j(-14). Let m = -5 + q. Let w = m + 58. Does 8 divide w?
False
Let v be (-2)/10 - 144/30 - -478. Let n = v + -256. Does 46 divide n?
False
Let v(q) = -q**2 - q - 9. Let m be v(7). Let u be m/(-15) + (-8)/(-12). Suppose 0*w + 730 = u*d + w, d = -4*w + 165. Is 14 a factor of d?
False
Let k = -12 + 15. Suppose 4*p = 3*z, 0 = -k*p - 4*z + z. Suppose -4*q - 2*q + 102 = p. Does 8 divide q?
False
Suppose -7*w - 28785 = 8*w. Let l = -1298 - w. Is l a multiple of 12?
False
Suppose -12 = -8*d - 36. Let l(a) = a**2 - a - 1. Let o(u) = u**3 + 6*u**2 - 3*u - 7. Let w(m) = 6*l(m) - o(m). Does 5 divide w(d)?
False
Let w(y) = -y**3 + y**2. Let u(h) = -5*h**3 + 3*h**2 - 4. Let f(b) = u(b) - 4*w(b). Is 29 a factor of f(-7)?
True
Let g be (-22 + 2 + 2)/(-1). Suppose -4*f + 12 = 4*w, 3 = 5*w + 3*f - g. Suppose 4*p - 60 = v - 6*v, -p + 4*v - w = 0. Is 5 a factor of p?
True
Let z = -501 - -242. Let b = 475 + z. Is b a multiple of 24?
True
Suppose 3*n + l - 25 = 10, 2*l = 4*n - 60. Let w = n - 10. Suppose -568 = w*y - 7*y. Is y a multiple of 19?
False
Suppose -2*l = 4*x - 472, 3*x = -4*l - 0*l + 929. Let i = l + -222. Does 3 divide i?
False
Let g(r) = -5979*r - 7903. Does 70 divide g(-7)?
True
Let u(p) = -1700*p + 1804. Does 65 divide u(-9)?
False
Suppose -4*a + 855 = k, 30*a + 3431 = 4*k + 35*a. Does 9 divide k?
False
Suppose 37950 = -17*j + 40*j. Is 22 a factor of j?
True
Let j = 857 + -457. Suppose 27*r - j = 19*r. Is r even?
True
Let k = 37654 + -19673. Is k a multiple of 129?
False
Suppose -11 = -4*g - 4*w + 5*w, -2*w + 18 = 2*g. Let u be 20/((0 + (-2)/g)*2). Does 12 divide 4 - u*(2 + 5)?
True
Suppose -2*l - 166 = -5*q, -q - 2*l = -5*l - 28. Suppose -q*u + 38*u - 480 = 0. Is u a multiple of 10?
True
Let q(l) = l**3 - 11*l**2 + 12*l - 15. Let r be q(10). Suppose 5*f - 2*v - 101 = -v, -r*v = f - 41. Let o = 28 - f. Is o a multiple of 7?
True
Let l = 14774 - 4512. Does 14 divide l?
True
Let x be (-2704)/7 - 4/(-14). Let w = 895 - 331. Let u = x + w. Is 15 a factor of u?
False
Let q(a) be the third derivative of a**5/60 - 11*a**4/24 + 10*a**3/3 - 9*a**2. Let l be q(9). Suppose -17 = p + 4*r, 0*p = p + r + l. Is 2 a factor of p?
False
Suppose 4*s = -2*d + 20542, s + 2*d - 1856 = 3290. Is 277 a factor of s?
False
Suppose -3*y + 572 = 4*b, 5*y - 715 = -2*b - 3*b. Suppose -g - 3*u = -347, 0 = -10*g + 14*g - 5*u - 1422. Suppose -5*f + g = b. Does 7 divide f?
True
Suppose -4*u + 2*p + 6160 = 0, -u + p = -1094 - 446. Is u a multiple of 10?
True
Let f be 10/(-30)*(1 + 2) + 5105. Suppose -17*s + s = -f. Is s a multiple of 9?
False
Let x(p) = 46*p - 18. Let o(n) = -4*n + 2. Let f(b) = 3*o(b) + x(b). Is f(46) a multiple of 16?
True
Suppose x - 5*x = 4*z - 6340, -3*x + 4735 = -2*z. Is 80 a factor of x?
False
Let p be (3 - (1 - 0)) + 0. Let y = -4 + -8. Does 34 divide (-1 + (-92)/y)/(p/78)?
False
Let g(a) = 97*a**2 - 4*a - 14. Is g(-12) a multiple of 105?
False
Suppose 4*s = 3 + 133. Let m = -32 + s. Let p(h) = 100*h + 14. Is 26 a factor of p(m)?
False
Let x = 131 + -129. Suppose 4*r - 589 - 191 = -x*j, 0 = 4*r - 4*j - 804. Is r a multiple of 8?
False
Suppose -3*u - 103*b = -108*b - 4109, -2*b - 5474 = -4*u. Is 38 a factor of u?
True
Let m(n) = n**3 - 9*n**2 - 10*n - 1. Let t be m(10). Let w be (7/(-21)*-24)/(t/(-10)). Suppose 4*v + w - 196 = 0. Does 7 divide v?
False
Let c(u) = 19*u - 30. Let w be c(2). Is -2*(w + -130) - 1 a multiple of 9?
True
Suppose -19*c + 588 = -13*c. Let z = c - -424. Is 9 a factor of z?
True
Suppose 0 = -15*z - 3*z + 10440. Does 4 divide z?
True
Suppose 3*g = -9, -u - 2*g + 3*g = 21. Suppose -81*c + 71*c = 130. Let z = c - u. Does 2 divide z?
False
Let o be 1/18*-3 + 98/12. Is 18 a factor of ((-356)/o)/(2 - 5/2)?
False
Let u = -129 + 130. Is 28 a factor of (-70)/(-7)*u*134/4?
False
Suppose -v = -0*v, v + 14291 = 4*f + 3751. Does 3 divide f?
False
Let t(x) = 913*x**3 - 21*x**2 + 101*x - 68. Does 44 divide t(4)?
True
Let u(m) = m**3 - 44*m**2 + 67*m - 1. Is 140 a factor of u(43)?
False
Let y be (-15)/5 - -1 - -6. Let f be (-2)/(-1 - (-3 + (y - 1))). Suppose 3 + 0 = 3*i, 4*v = f*i + 718. Is v a multiple of 12?
True
Suppose 12 = 4*v + 5*w, 3*v - 9 = 14*w - 11*w. Suppose 3369 = 5*j + 5*p - 1326, -v*j + 4*p + 2803 = 0. Is 62 a factor of j?
False
Let y = -307 + 310. Suppose -199 = -u + 2*a, 3*u + 2*a - 575 = -y*a. Is 7 a factor of u?
False
Suppose -4*t + 5*g = 2*g + 204, -5*t - 244 = -g. Let s = -85 - t. Let b = -9 - s. Is 11 a factor of b?
False
Let t(z) be the first derivative of 3*z**2/2 + 13*z + 95. Does 11 divide t(36)?
True
Let o be -2 + 1 + (-2397)/17. Let k = o + 165. Is k a multiple of 23?
True
Suppose -5*c - 71*g + 70*g = -3742, -4*c = -3*g - 2986. Does 22 divide c?
True
Suppose 14*k = 4*p - 3*p - 7760, 15385 = 2*p - k. Is p a multiple of 197?
False
Let w = -49 + 102. Let k be (-54 + 18)*(-6 - 80/(-15)). Let r = w - k. Is 2 a factor of r?
False
Suppose 23 = 3*x - 1. Suppose 2*n + 9 = -3*w, 3*w - x + 26 = -5*n. Is w/2 - 4466/(-44) a multiple of 29?
False
Suppose 0 = -16*v + 51787 + 16133. Does 18 divide v?
False
Let j(w) = 93*w**2 + 41*w - 135. Is j(3) a multiple of 15?
True
Let t(m) = -m**3 - 5*m**2 - 2*m - 4. Let a be t(-5). Let p be (-1 - (-3 + -1))/(a/180). Let n = p - 66. Is n a multiple of 24?
True
Let m(b) = -b - 1 + 5*b**2 - 5*b**2 + 5*b**2. Let y = 878 - 880. Is m(y) a multiple of 4?
False
Does 23 divide 1 - ((-39)/(-195) + (304964/10)/(-2))?
True
Let u = -628 - -1771. Suppose v - 381 = -4*n, 4*n - u = v - 4*v. Is 15 a factor of v?
False
Let m(z) = z**2 - 19*z - 7. Let n = 36 - 0. Let w = n + -15. Is m(w) a multiple of 35?
True
Let z(v) = -895*v + 847. Is z(-4) a multiple of 29?
False
Let z be (0 + (-312)/(-28) - 8)/(6/21). Let c be 0 + -8*(-1 + -123). Suppose -438 = -z*s + c. Does 13 divide s?
True
Let p be ((-3)/(-5))/(4/530)*-2. Is 0 - p - (-11 - -8 - -6) a multiple of 8?
False
Suppose 1363 = 3*n - 5*r, n + 43*r = 40*r + 431. Does 39 divide n?
False
Let r be -4*-1*(1 + 0). Let j = -2167 - -2317. Suppose -22 = r*a - j. Does 20 divide a?
False
Is (-1872)/(-2)*(-12)/(-36) a multiple of 26?
True
Suppose -5*u + 3794 = 2*m, 75*m - 73*m - 3776 = 4*u. Does 22 divide m?
True
Suppose 61*c = -115*c - 148653 + 1789501. Is 12 a factor of c?
False
Let h be (-5287)/68 + (10/(-8) - -1). Let q = -82 - h. Does 20 divide q + (-1)/(-5) + 238/10?
True
Suppose -20*g + 6393 + 5087 = 0. Is 6 a factor of g?
False
Suppose 22*c - 47*c = -20475. Is c a multiple of 9?
True
Let p be (-36)/(-6) + -1 + 0/2. Suppose -c = p*n - 10, -2*c - 4 = -3*c + n. Suppose c*i - 870 = i + 3*j, i - 4*j - 211 = 0. Is 19 a factor of i?
False
Let u(h) = h**3 + 9*h**2 + 7*h - 5. Let j = -53 - -45. Let r be u(j). Is 3 a factor of 70/(-3)*r/(-2)?
False
Let p(q) = q**2 - 6*q - 13. Let s(r) = r**2 - 7*r - 15. Let x(d) = 4*p(d) - 5*s(d). Is x(12) a multiple of 4?
False
Does 46 divide 6*(-10)/360 - 738875/(-30)?
False
Is 11/(5/((-43200)/(-15))) a multiple of 29?
False
Suppose 2131*a + 35100 = 2144*a. Is 180 a factor of a?
True
Let z be (10/(-4))/((20/(-8))/5). Suppose -7 = -z*a - 4*y + 5, 0 = -a + 3*y + 10. Suppose 0 = a*m - 5*l - 375, -2*l = -m + 2*l + 102. Is m a multiple of 13?
False
Suppose -13*l = -4345 - 4742. Suppose l + 821 = 5*y. Does 38 divide y?
True
Let r = 11742 - 7471. Is r a multiple of 5?
False
Suppose 0 = 11*k + 2459 + 3580. Let w = k - -1026. Does 41 divide w?
False
Let r(x) = 175*x - 200. Let t be r(10). Suppose 0 = 3*g - t - 1606. Is g a multiple of 9?
False
Let m(h) be the third derivative of 7*h**4/6 - 43*h**3/6 + 44*h**2. Is m(6) a multiple of 25?
True
Let o = -468 - -463. Let v(h) = 49*h**2 + 21*h + 120. Is v(o) a multiple of 40?
True
Is (2799/(-18))/((-8)/1680) a multiple of 21?
True
Suppose 177*i = 54*i + 1078464. Is 32 a factor of i?
True
Let k = -66 + 76. Let y(w) = 16*w + 31. Let u be y(k). Let b = -136 + u. Is 11 a factor of b?
True
Does 33 divide (0 + (5130176/(-224) - 4/(-7)))/(-2)?
True
Let w = 20656 + -5262. Does 43 divide w?
True
Is (-305 + 54)*1*(-1 - 60) a multiple of 251?
True
Let l(z) = z**3 - 9*z**2 - 10*z - 27. Let m be l(11). Let j be (-42)/m*(-445)/1. Does 23 divide (j/3 - -1) + 43/(-129)?
False
Does 24 divide ((-4565)/44)/((-100)/1920)?
True
Let u(v) = -283*v - 1498. Does 52 divide u(-45)?
False
Suppose 0 = n - 0*m + 2*m - 1124, -5*n + 5*m = 