3*c = -w + 2*w - 28. Does 2 divide c?
False
Is (-429)/(-286)*16316/6 a multiple of 14?
False
Suppose -4*a + 5*r + 16 = 0, 4*a + 0*r - 16 = 3*r. Let b = -3 - -7. Suppose 5*h - 42 = a*o, -2*o = -2*h - b*o + 24. Is h even?
True
Let a(u) = 3*u**2 - 15*u - 12. Let x be a(7). Suppose -12 = 6*w - x. Suppose 540 = 4*b - 2*p, 0 = 5*b + w*p + 2*p - 690. Does 5 divide b?
False
Does 31 divide 155/2*34784/(-400)*-5?
True
Let p(j) = j**3 + 19*j**2 - j + 17. Let g be (-4)/20 + (-1488)/(-15). Suppose 72 = -9*u - g. Is 12 a factor of p(u)?
True
Let a(n) = -24 - 2*n - 10*n + 5 + 3*n**2 + 5*n. Let c be a(8). Suppose c = o + o + 3*b, -5*b = 5. Is o a multiple of 20?
True
Does 141 divide ((-126)/5)/((-11)/(100815/26))?
True
Let d be (0/2)/(-1 - 1) - -3. Suppose 14 = d*z - y, 4*y + 6 = -5*z + 1. Suppose -6*a + 360 = z*a. Is 20 a factor of a?
True
Suppose -3*v + 100962 = 4*w, -35*w - 2*v = -31*w - 100968. Is 36 a factor of w?
False
Suppose 3*c - q - 58412 = 0, q = -11 + 3. Does 31 divide c?
True
Let l = 21431 - -16071. Is l a multiple of 63?
False
Let x(j) = -2483*j**3 + 21*j**2 + 43*j + 2. Is x(-2) a multiple of 26?
True
Suppose 4*c + 15*h - 48401 = 0, 2*c - 3*h + 12101 = 3*c. Is c a multiple of 49?
False
Let z(k) = 24*k**3 + 8*k**2 - 2*k + 4. Let d(n) = -23*n**3 - 7*n**2 + 2*n - 3. Let r(w) = -5*d(w) - 4*z(w). Is r(1) a multiple of 10?
False
Suppose 3*h - 1215 = 729. Is h a multiple of 24?
True
Let j = 484 + -484. Suppose 51*h - 56*h + 385 = j. Does 7 divide h?
True
Let b = 4406 + -2778. Is 6 a factor of b?
False
Is (3/((-15)/676))/(-8*19/6460) a multiple of 14?
False
Suppose 0 = 42*c + 1802901 - 4456881. Does 306 divide c?
False
Suppose -2*i + 60 = 42. Suppose -3106 = i*g - 8020. Is 19 a factor of g?
False
Suppose 403175 = 8*b + 159575. Suppose 0 = 41*c + c - b. Is c a multiple of 87?
False
Let t be ((-1)/2 + 0)*(41 + -25). Does 9 divide ((-7974)/t)/3*(-180)/(-135)?
False
Let v = 501 + 1650. Does 32 divide v?
False
Is 4818/10*(50/(-10) - -10) a multiple of 194?
False
Suppose -98 = -2*y + 3*t, 4*y = -t - 2*t + 214. Suppose 44 = l + y. Is 10 a factor of (15 + -5)/((-4)/l)?
True
Let a = 660 + -592. Suppose -6*x + 5990 - a = 0. Does 21 divide x?
True
Let r = -161 - -167. Is (1 - r - 793)*2/(-4) a multiple of 21?
True
Let g = 659 - 626. Suppose -4*a = y - 3 + 2, -3*y + g = 2*a. Does 13 divide y?
True
Suppose 0*g = g - 26. Let a = g + 31. Suppose -q + a + 53 = 0. Is q a multiple of 22?
True
Let q(i) = -24*i + 45. Suppose 15*z - 20*z = -3*n + 5, z = -n - 9. Is 15 a factor of q(n)?
True
Is 158 a factor of (-8374)/(588/(-24) - -24)?
True
Let u = -60 + 63. Suppose -2 = a - u*x, -a + 2*a - 6 = -x. Is a/(-6) - (4 + (-1690)/15) a multiple of 6?
True
Suppose -6*a - 27 = -9*a. Suppose 3*h - 2*l + 37 = 0, -a*h - 3*l - 27 = -8*h. Does 15 divide h/(-5) + (-84)/(-2)?
True
Let j(l) = 2*l**2 + 39*l - 349. Is j(-29) a multiple of 24?
False
Suppose t + 12*m - 14*m = 4441, 0 = t + m - 4465. Is t a multiple of 147?
False
Suppose -7*a - m - 460 - 346 = 0, 5*m = -3*a - 350. Does 10 divide (-106135)/a + (-12)/(-138)?
False
Is 14 a factor of (-147)/6*(-3792)/84?
True
Let y(c) = -2*c**3 - 20*c**2 + 246*c + 2. Is y(-22) a multiple of 58?
True
Let v(r) = -73*r + 1215. Is 20 a factor of v(15)?
True
Suppose -161*n + 33*n + 315008 = 0. Is 10 a factor of n?
False
Let x(m) = -m**2 + 7*m + 5. Let z be x(6). Let i(d) = -d**2 + 1. Let l(b) = -b**2 + 20*b + 1. Let u(j) = -i(j) - l(j). Is u(z) a multiple of 20?
True
Let i = 20 + -12. Let v(y) = 8*y - 6. Let r be v(i). Suppose 2*k + r = 4*k. Does 7 divide k?
False
Suppose -3*d + 3*r + 714 = 0, 5*d - 720 = 2*d - 3*r. Suppose 2*f + 2*b - 2105 + d = 0, 0 = b + 4. Does 23 divide f?
False
Suppose 0 = 4*c + 2*s - 20, -3*c = 2*c - 2*s - 16. Suppose -5*h = 4*u - 3*h - 146, 3*u - 117 = -c*h. Is 7 a factor of u?
True
Does 9 divide ((-782166)/(-297) + (-8)/(-18))*(-9)/(-2)?
True
Suppose 3*i + 4*v = 62893 - 19524, -5*i + v + 72297 = 0. Is i a multiple of 31?
False
Suppose -3 = -8*u + 37. Suppose 7 = u*r - 488. Let p = -51 + r. Is p a multiple of 8?
True
Let r(p) = -14*p - 3. Let d be r(-7). Let c be ((-228)/d)/(3/10). Is 19/2*(-128)/c a multiple of 38?
True
Suppose 0 = -2*o - 3*x - 2*x + 5, -4*o - 3*x + 31 = 0. Is 2 a factor of ((-45998)/545)/((-4)/o)?
False
Does 77 divide (100/(-12) - -9)/(10/29340)?
False
Let j(f) = 3*f**2 + 164*f - 647. Does 4 divide j(-70)?
False
Suppose 2*c + 8 = 2*j, -c + 4*c - 4 = -j. Suppose c = -5*r, -8 = d + 2*r + 16. Is 5*(d - -3)/(-3) a multiple of 11?
False
Suppose -2*d = 3*k - 1, -7 = -k - 8. Suppose 0 = 4*j - d*y + 6*y - 656, -2*j + 332 = 4*y. Does 8 divide j?
False
Let o(y) = y + 6. Let i be o(-3). Let x = -4060 - -4089. Suppose i*z - 101 = -x. Is z a multiple of 8?
True
Suppose -z = 5*h - 38710, -18*h + 232364 = 6*z - 14*h. Is z a multiple of 15?
True
Let r = -955 + 1866. Suppose -5*v + r = 3*c, 35*c + 902 = 38*c - 4*v. Is c a multiple of 4?
False
Suppose 0 = -596*u + 554*u + 141078. Does 59 divide u?
False
Suppose 0 = -6*i - 36*i + 29610. Suppose u - 308 = -u + 4*y, -i = -5*u - 3*y. Does 8 divide u?
True
Let z(p) = 3*p + 22. Let y be z(-7). Is (-3638)/(-6) - y/3*1 a multiple of 31?
False
Suppose 4*m + 2*y + 142 = 7*m, -m - 4*y = -52. Suppose -m*r + 1457 = -7567. Does 3 divide r?
False
Let y(v) = 2*v**2 - 13*v - 18. Suppose -5*g + 22 - 49 = 2*f, 5*g + 15 = 0. Is 74 a factor of y(f)?
False
Let i(y) = -8*y**2 - 82*y - 19. Let c be i(-10). Is ((-392)/(-49))/(c/8) a multiple of 4?
True
Is 214 a factor of 1/((-3 - 205435/68480) + 6)?
True
Suppose 3323*m - 3324*m + 3264 = 2*v, 0 = -3*m + 3*v + 9783. Is m a multiple of 28?
False
Suppose -5*t - 3*y + 193773 = -261945, -5*t + 455712 = 2*y. Does 14 divide t?
True
Suppose 2*i = -3*b + 7254, 0 = -b + 2*b - 5*i - 2418. Is b a multiple of 39?
True
Let i be (198/(-24))/11 + 2/(-8). Let u be (4 - 57) + i - 3. Let k = 40 - u. Does 7 divide k?
False
Does 8 divide (-376)/6*64/(-80)*75?
True
Suppose -9440 = -3*u + 2*f, -2*f - 4701 = -4*u + 7883. Does 12 divide u?
True
Let i be (-11254)/(-2) + 43 + -40. Suppose 234*y + i = 244*y. Is y a multiple of 12?
False
Let k be 9798/(-9) + 3 + (-4)/12. Let z = k - -1530. Is z a multiple of 37?
True
Let t = -500 + 511. Suppose -t*r - 944 = -5982. Does 27 divide r?
False
Let r = 427 + -418. Let j(z) = 4*z**2 + 116. Is 10 a factor of j(r)?
True
Let f be 9/18*3/(9/(-6)). Let p(u) = -42*u**3 + 3*u**2 + 7*u + 6. Does 18 divide p(f)?
False
Let b be (-1 - -21)/((-6)/(-162)). Let g = b - 220. Is g a multiple of 10?
True
Let c be -1 - 1*10*1/(-2). Suppose -w - c*w = -140. Let j = -2 + w. Is 7 a factor of j?
False
Let m = 124 - 86. Suppose m*u - 40*u + 902 = 0. Is 14 a factor of u?
False
Let t be 5152/6 + (-6)/9. Suppose -t = -5*m + 882. Is m a multiple of 27?
False
Let u(c) = 23*c**2 - 1. Let q = -5 - -10. Suppose -o + q*k + 9 = 0, 6*o + 2*k = o - 9. Does 2 divide u(o)?
True
Suppose -12 = 5*w - 2*w, -y - 4*w = 14. Suppose y*h = -5*u + 551, -3*h + 135 + 81 = 2*u. Is u a multiple of 37?
True
Let d = 1853 + -1040. Suppose h - 179 = -3*y, -y = 5*h - 96 - d. Suppose 4*j - h = 2*k + 56, -k - 239 = -4*j. Is j a multiple of 11?
False
Let b(l) = 5*l + 24. Suppose 2*j = -0*j - 8. Let t be b(j). Suppose -5*w = -t*v + 2*v - 1160, -2*w - 2*v + 478 = 0. Is 39 a factor of w?
True
Suppose -w - 18 + 0 = -4*u, 0 = 5*w - 2*u. Suppose -8*r = w*r + 60. Is 16/(-6)*(-2)/((-4)/r) a multiple of 2?
True
Let c(i) = -85*i - 30. Let g be c(-1). Suppose -25 = 5*x, -4*x = -f + 53 + g. Is 8 a factor of f?
True
Is (-46)/8 + 5 - (-99969)/12 a multiple of 218?
False
Let y(n) = 2466*n**3 - 2*n**2 + 44*n - 89. Is 30 a factor of y(2)?
False
Let j(i) = 573*i**3 - 3*i**2 + 4*i. Is j(2) a multiple of 31?
False
Let j be (-117)/99 + (-4)/(-22) + 4. Suppose 3*x - j*z + 2*z = 108, -2*x + 85 = -5*z. Is 19 a factor of x?
False
Is 6 a factor of 1/((-6)/28)*(-144 - -18)*3?
True
Let p(g) = -54*g + 21*g**2 + g**3 - 11 - 27 + 79*g. Let d be p(-19). Suppose -y - 3*k - 12 = -d, 3*k = y - 167. Does 13 divide y?
True
Let r = -28947 - -31857. Is 30 a factor of r?
True
Let j(t) = 92*t**2 + 31*t - 32. Is j(-15) a multiple of 46?
False
Is ((-16)/4)/(4 + (-1567972)/391986) a multiple of 17?
True
Let k(h) = -122*h - 5918. Is k(-49) a multiple of 20?
True
Let p be (496/24)/((-6)/9). Let s = p - -141. Does 11 divide s?
True
Let k be