5*s + 90. Is 3 a factor of z?
False
Suppose p - 4*p + 2*l = -1291, 4*p - 1752 = -5*l. Suppose 0 = -5*g + 9*g + 508. Let b = p + g. Is 18 a factor of b?
True
Suppose -292*a + 1993170 = -134*a. Is 145 a factor of a?
True
Suppose 2*u - 8 = 0, f - 4*u + 22 - 7 = 0. Let d be f/2 + (-4609)/(-22). Is 6 a factor of 1 - 3 - d/(-15)?
True
Is 10 a factor of ((-3)/(4 + -3))/(180/(-58440))?
False
Let r(j) be the third derivative of j**5/60 + j**4/3 - 17*j**3/3 - 3*j**2 + 3*j. Is r(-17) a multiple of 17?
True
Let l = -20197 - -21875. Is l a multiple of 7?
False
Suppose -17*u + 49 - 15 = 0. Suppose -h + u*h = -3*z + 120, -5*z + h + 208 = 0. Is 32 a factor of z?
False
Let u(d) = -23*d - 584. Let s be u(-17). Let o(v) = 46*v + 2. Let f be o(-6). Let h = s - f. Does 12 divide h?
False
Let y(a) = 2*a**3 + 15*a**2 + 8*a + 12. Let d be y(-7). Let h(g) = -3*g**2 + 4*g - 2. Let z(q) = q**2 - q. Let t(b) = h(b) + 5*z(b). Does 16 divide t(d)?
False
Suppose -55*w = -21*w - 4590. Suppose -41 = 4*k - 3*j - 592, w = k + 2*j. Is k even?
False
Suppose k + 45 = 16. Let l = k - -124. Does 12 divide l?
False
Does 29 divide (1 - 41/3)/((-76)/3306)?
True
Let y(o) = o**2 - 18*o - 5. Suppose 4*n = -5*u + 582, -3*u = -3*n - 40 - 320. Suppose 0 = 5*c + 7 + 13, -2*c - u = -5*x. Does 6 divide y(x)?
False
Let x(v) = -8*v - 63. Suppose 4*s + 28 = -5*c, -5*c + 4*c - 5*s = -7. Let h be x(c). Does 3 divide 82*(-3)/(-5 - 1)*h?
False
Let z(s) = -2*s**2 + 166*s - 688. Is z(66) a multiple of 25?
False
Let z(d) = 3*d**3 + 4*d**2 - 6*d - 7. Suppose -5*k - 15 + 40 = 0, 4*k = -2*r + 22. Let y be ((-15)/40)/(r/(-8)). Does 46 divide z(y)?
True
Is (6 - 952/161) + (-812080)/(-46) a multiple of 91?
True
Does 21 divide (10/4)/((-625)/(-532250))?
False
Suppose 4*o - 3945 - 8571 = -5*i, -2*i = -2*o - 4992. Is i a multiple of 25?
True
Suppose 0 = 4*g - k - 2, 23 = g - 11*k + 7*k. Suppose -19 + 7 = -4*j. Does 4 divide j*g - (-108)/4?
True
Let f = 66 + -119. Is 3 a factor of (-1 + (-62)/(-4))/(f/(-318))?
True
Let t = 527 - 522. Suppose t*q - 4576 = q. Is 22 a factor of q?
True
Suppose -1203*a = -1191*a - 164808. Suppose a = 25*c + 3459. Is 31 a factor of c?
False
Suppose 0 = -19*p + 53 - 2751. Let o = p + 280. Does 5 divide o?
False
Suppose -17*c - 6419 = -2186. Is (-4)/(-16) - c/12 a multiple of 7?
True
Suppose r + 4*u - 2127 = -124, 5*u = -2*r + 4000. Is 7 a factor of r?
True
Let z = 48049 + 14055. Does 83 divide z?
False
Let t(u) = u + 50. Let i be (-2 - 0)/2*(15 - -8). Let f be t(i). Suppose -28*g = -f*g - 146. Does 19 divide g?
False
Suppose -3*f = -3*g - 1095, 0 = 3*g + 2*g - 4*f + 1829. Let h = 1539 + g. Is 65 a factor of h?
True
Let o be (3/(-14) - (-16)/(-56))*8. Let d(v) = -13*v - 4. Is d(o) a multiple of 3?
True
Let z = -1520 + 56344. Does 44 divide z?
True
Let x(y) = -54*y**3 - 19*y**2 - 20*y - 106. Is x(-8) a multiple of 82?
True
Let t(n) = 81*n + 532. Does 68 divide t(48)?
True
Let x(t) = 8*t**3 - t**2 + 1. Let r be x(-1). Let j be (-206)/10 + r/20. Is 7 a factor of 990/35 + 6/j?
True
Let l be (-1)/(((-2)/(-1044))/((-2)/4)). Suppose -l = 11*r - 1405. Suppose z = 5*n - r, -n - 2*z = n - 32. Is n a multiple of 2?
True
Let d = -16705 - -30733. Does 16 divide (d/70)/(8/20)?
False
Let c = -12309 - -8629. Is ((-74)/10 - -7)/(4/c) a multiple of 34?
False
Let q(z) = -4*z**3 + 6 + 104*z**2 - 199*z**2 + 2*z**3 + 119*z**2. Is q(12) a multiple of 3?
True
Let g(s) = 52*s**2 + 18*s + 10. Is g(9) a multiple of 16?
True
Let q(i) = -34*i + 58. Let j(b) = 5*b - 125. Let o be j(24). Is q(o) a multiple of 6?
True
Let k be 12/15 + (-21)/(-5) + 0. Suppose 3*b + 2*b - 1600 = 5*g, -1606 = -k*b + 2*g. Is 14 a factor of b?
True
Suppose 285 = 9*k - 8*k - 205. Is 4 a factor of k?
False
Let i(z) = z**2 - 8*z + 9. Let l be 2/7 + 188/28. Let n be i(l). Suppose 5*m + 6*a - 3*a = 143, 0 = -5*m - n*a + 142. Is 10 a factor of m?
False
Let w(b) be the first derivative of -17/4*b**4 + 12 - 8/3*b**3 - b**2 + 0*b. Is w(-2) a multiple of 12?
True
Let f(t) = -2*t**3 - 104*t**2 - 5*t + 157. Is f(-55) a multiple of 85?
False
Let r be 3 + 0 - (-4 + 8/4). Suppose 2*g - 20 = -r*x + x, -2*g = -4. Suppose 0 = -2*j - q + 113, -2*j + 43 = -j - x*q. Is j a multiple of 26?
False
Let u = 26289 + -15364. Does 194 divide u?
False
Let w(g) = -13*g - 23. Let p be (-11)/(-77) - 171/21. Is w(p) a multiple of 4?
False
Suppose -668 = 2*d - 4*m + 24, 2*d + 695 = m. Let q = d - -873. Does 25 divide q?
True
Let t(w) = -w**2 + 137*w + 1148. Does 70 divide t(83)?
False
Let g(o) = -o**2 - 29*o - 86. Let t be g(-26). Let k(a) = 5*a**2 - 7*a - 12. Is 28 a factor of k(t)?
True
Let n(a) = -2*a**2 + 5*a + 14. Let i be n(-2). Let k be 5/(70/i) - 86/(-7). Does 9 divide 27*((-27)/(-12) - 3/k)?
True
Let a = -30137 - -31594. Does 33 divide a?
False
Is -525*14/(-42) - -7 a multiple of 14?
True
Suppose m = 11 + 49. Suppose -63*w + m*w + 720 = 0. Does 30 divide w?
True
Let r(l) = -7*l - 26. Let a be r(-4). Suppose -a*d - 203 = -11. Let v = d + 181. Is 26 a factor of v?
False
Let r = 131 - 122. Is (30/r)/(5/45) a multiple of 2?
True
Let v = -2979 - -4392. Does 104 divide v?
False
Suppose -2*l - 8*s + 25 = -7*s, -3*l + 70 = -5*s. Suppose -2*o = 2*r - 528, 0 = -5*r - 19*o + l*o + 1318. Does 10 divide r?
False
Suppose -12 = 2*i + 4*s, 2*i + i + 5*s + 16 = 0. Let t(u) = -27*u**3 - 3*u**2 - 2*u - 3. Is t(i) a multiple of 37?
False
Is 37 a factor of -8 - (-2558 - (-1 - 3)) - 2?
False
Let k = 26 + -16. Suppose 9*f - 380 = -k*f. Does 4 divide f?
True
Suppose 0*y + 12098 = 4*y - 2*d, 0 = 2*y - 4*d - 6052. Suppose 1220 = 2*f - g, 0 = -16*f + 11*f - 4*g + y. Is 19 a factor of f?
True
Let x(v) = 638*v + 1458. Is x(5) a multiple of 28?
True
Suppose -7*z = -53*z + 6*z + 685520. Is 10 a factor of z?
False
Is 18 a factor of 2*7/((-14)/(-2749))?
False
Let h = -2337 - -2510. Is h a multiple of 2?
False
Suppose -10*o - 2106 = -9306. Is 9 a factor of o?
True
Let v(o) = o - 2. Let f be v(-8). Let x = -11 - f. Let l = x + 67. Is l a multiple of 11?
True
Let j be (-63)/(-12) - (-3)/(-12). Suppose j*k + 7 = -3. Does 3 divide k*(-1 - (-2)/(-4))?
True
Suppose -65 - 166 = -11*n. Suppose -6*z = -n + 3. Does 28 divide -1 + (-1)/(z/(-9)) + 198?
False
Let q = 1175 - 190. Is q a multiple of 5?
True
Let j be 34650/(-40) - 9/12. Let z = -599 - j. Does 18 divide z?
False
Let w = -237 + 429. Suppose w = 7*d - d. Is 4 a factor of d?
True
Let m = 22529 + -12597. Does 191 divide m?
True
Suppose -h = -5*i + 2, -i - 6 = 3*h + i. Is 14649/76 - h/8 a multiple of 8?
False
Suppose -30*q + 49*q = 190. Does 7 divide 3378/14 + q/(-35) + 4?
True
Suppose 307*q - 659*q = -303*q - 3958220. Is 19 a factor of q?
False
Suppose 17*o = 4958 - 929. Let f = o - 195. Is 2 a factor of f?
True
Let q be 4*(1 + 2/(-8)) - 14. Is 12 a factor of ((-190)/(-3))/((154/(-21))/q)?
False
Let v be (-4*1/(-8))/((-5)/(-50)). Let l be 5*4/v - 2. Suppose -8 = -l*b + 2, -3*b = -t + 220. Is 30 a factor of t?
False
Does 19 divide (4 - 8)*6/4 - -7739?
True
Let a = -444 - -656. Let j = 287 - a. Does 15 divide j?
True
Let h(r) = 2*r**3 - 2*r**2 + 56*r + 11. Does 137 divide h(14)?
True
Let y = -13007 + 13791. Is y a multiple of 16?
True
Suppose 914 = 2*n + 2*t, -4*t = -4*n + 1156 + 712. Does 7 divide n?
True
Let w be 5/25*-1 + 22/10. Suppose 1688 = 5*d - 4*h, -47 = -w*d - h + 623. Does 8 divide d?
True
Suppose 31686 = 4*k + 3*y + 3251, 0 = k - 8*y - 7065. Is 145 a factor of k?
True
Suppose 2*h - 2181 = -3*r, 5*r + 6*h = 4*h + 3639. Is 30 a factor of r?
False
Suppose 25*i - 140 = -15. Suppose i*x = -11*x + 3232. Does 20 divide x?
False
Let m(i) = -2*i**2 - 8*i - 29. Let k be m(-6). Let x be 2/(4/89)*4. Let y = k + x. Is y a multiple of 32?
False
Suppose -3*c = -3*m + 1239, m - 2*c = -3*m + 1642. Let a = m + -4. Suppose -r = -4*x + a, 306 = 5*x - 3*r - 206. Does 20 divide x?
True
Let d be (2 + -3 + 1)/4. Suppose 185*z - 196*z + 8492 = d. Is 10 a factor of z?
False
Suppose 5*n = -3*f - 9, -2*n - 3*f - f = 12. Suppose n = z + 182 - 1. Let y = -93 - z. Is 44 a factor of y?
True
Does 8 divide (7 + 0)*(-2 + (-21888)/(-8))?
False
Let u(z) = -7*z**3 - 13*z**2 + z - 2. Let n be u(7). Is (-6)/8 + n/(-12) a multiple of 21?
True
Let b(v) be the third derivative of -v**6/120 + 2*v**5/15 + 11*v**4/24 - 11*v**3/6 - 11*v**2. Let s be b(9). Suppose 196 - s = 7*r. Is 9 a