972, 5*a + 21580 = 2*y + 8925. Is y a multiple of 27?
False
Let n = 50573 + -34081. Does 6 divide n?
False
Suppose 18021*o - 18012*o = 78525. Is 202 a factor of o?
False
Suppose -9*v - 2969 + 629 = 0. Let l = -137 - v. Does 20 divide l?
False
Suppose g + 22 = 25. Suppose q = -5*w - 12 + 1167, -215 = -w + g*q. Is 46 a factor of w?
True
Is (-8)/(-6)*(-28)/((-112)/36174) a multiple of 10?
False
Let t(n) = -n**3 - 9*n**2 + 32*n + 17. Let g be t(-13). Let c = g + -512. Does 8 divide c/(-3 - 2) + 1/1?
True
Let d(q) = q**3 - 63*q**2 - 51*q - 118. Is 5 a factor of d(64)?
False
Suppose -4*v = 2*x - 530, 4 = v - 1. Suppose -x = 8*d + 393. Let j = 121 + d. Is j a multiple of 10?
True
Let s = -2 - -4. Suppose s*v = -2*b + 3*v + 196, 5*v = -3*b + 307. Does 9 divide b?
True
Suppose 0 = 17*s + s - 19591 - 26921. Is s a multiple of 7?
False
Suppose 0 = 410*b - 403*b + 6496. Does 9 divide (b/24 - -4)/((-6)/9)?
False
Does 7 divide 8358/(3/(-10)*-5)?
True
Let r = 170 + 1320. Is 2 a factor of r?
True
Let v be 9*8 - 13/13. Let a be v + (-3 - -3) + -3. Let m = 46 + a. Is m a multiple of 19?
True
Suppose -177523 - 372882 = -19*p - 173445. Is 20 a factor of p?
True
Let z(l) = 585*l + 4210. Is 100 a factor of z(14)?
True
Let l(x) = x**2 + x + 107. Let d be l(0). Suppose d*k - 55 = 102*k. Does 11 divide k?
True
Let m(p) = p**3 + 5*p**2 - 8*p - 13. Let c(q) = -q - 1. Let o(u) = -6*c(u) + m(u). Let k be (-2)/2 - -1*3/(-1). Does 3 divide o(k)?
False
Let w be ((-4)/8)/(((-9)/12)/3). Let c(l) = 39*l**2 - l + 3. Is c(w) a multiple of 8?
False
Let r(y) be the first derivative of y**2/2 + 2*y + 10. Let c be r(0). Suppose 3*x = c*u - 327, 4*u - 631 - 31 = -2*x. Is u a multiple of 15?
True
Suppose -86*l = -780977 + 45677. Does 233 divide l?
False
Is ((-17)/12 - 5/(-20))*3*-114 a multiple of 57?
True
Let f be 4 + (4/4 - 2). Let o be (-8*f/(-30))/(4/20). Is ((-297)/(-12))/(o + 58/(-16)) a multiple of 11?
True
Let r(a) = -4*a + 52. Let y be r(13). Suppose -10*d + 355 + 845 = y. Suppose 25*b - d = 23*b. Does 8 divide b?
False
Let k(n) = -n**3 - 9*n**2 - n - 9. Let f be k(-5). Let b = f - -221. Is 3 a factor of b?
True
Let l(b) = -5*b**3 + b - 7 + 0*b**2 + 10*b**2 - 5 - 5. Let s(j) = -j**3 + j**2 - 1. Let p(i) = -l(i) + 4*s(i). Is p(9) a multiple of 13?
True
Suppose -3*m + 26 = -4*p, 4*m + 12*p - 10*p = 42. Suppose m*u = 138 + 432. Is u a multiple of 13?
False
Let g be 2 - 5*(2 + 1 - 36). Let s = -141 + g. Is 23 a factor of s?
False
Let z(l) be the first derivative of -5*l**2 - 24*l - 1. Let g be 3654/(-333) + (-3)/111. Is z(g) a multiple of 27?
False
Suppose -207235 - 1384225 = -9*l - 121*l. Is 46 a factor of l?
False
Let p(i) = -i**3 - 4*i**2 + 3*i + 12. Let q be p(-4). Suppose 4*w = -4*a + 2376, 2*a + 4*w = -q*a + 1192. Is a a multiple of 12?
False
Let n = -112 - -188. Is 46 a factor of n?
False
Let f(m) = 86*m + 148. Let o be f(27). Is 13 a factor of ((-7)/14)/((-5)/o)?
True
Suppose 4*l + m = 3*l + 17, -3*m + 66 = 4*l. Suppose -5194 = w - l*w. Is w a multiple of 7?
True
Let h(g) = 5*g**2 - 7*g + 11. Let l(m) = 10*m**2 - 13*m + 20. Let k(s) = -7*h(s) + 4*l(s). Is k(4) a multiple of 11?
False
Suppose 10*a + 0*a - 140 = 0. Let w be 6/a + (-216)/(-84). Does 6 divide -2 + 6 + (3 - 3/w)?
True
Let i = 88 + -87. Does 8 divide (-38 + 37)/(i/(-65))?
False
Let b(m) = -4*m**2 + 3*m - 1. Let s be b(2). Let t = 42 + s. Is (-33)/44 - t/(-4) a multiple of 2?
False
Suppose -7*x + 1131 = -619. Let d = x - 554. Let c = d + 430. Is c a multiple of 10?
False
Let u = 83 - 69. Suppose 6*a - u*a = -624. Let b = a + -58. Does 7 divide b?
False
Suppose 115 = 6*u - 83. Let l(y) = 10*y - 69. Does 15 divide l(u)?
False
Let q = -9 - 22. Let b = q - -34. Suppose 6 = -2*s - 2, 2*w - b*s = 20. Is w a multiple of 3?
False
Is ((-288)/63)/(12186/(-2436) + 5) a multiple of 2?
True
Let x = 27 - 63. Let f be (x/(-12))/((-6)/(-26)). Let u = 27 + f. Is 7 a factor of u?
False
Let i be 12 + (-848)/72 - (-1114)/9. Suppose -26 = -5*f + i. Is f a multiple of 12?
False
Suppose -5*q + 14737 = 2*i, q + 4*q = 5*i - 36895. Is 8 a factor of i?
True
Let y be 21/(-35) - ((-6)/10 - 2). Let s be (-6)/y - (2*-6)/4. Suppose o + 4*o - 320 = s. Does 16 divide o?
True
Let u(x) = 4*x + 39. Let t be u(13). Is 49 a factor of 156/t*(4 + (-670)/(-4))?
True
Let f = -347 - -380. Suppose -14*m = -f*m + 7524. Is 36 a factor of m?
True
Suppose -4*b - 2*o + 99195 = -25981, 4*b - o = 125188. Suppose -4*k = 3 - 7. Does 14 divide (-5)/7 + k - b/(-224)?
True
Suppose 50*n + 721343 - 5010015 = -134*n. Does 8 divide n?
False
Suppose 204*i = 108*i + 277632. Is i a multiple of 15?
False
Let g = -2615 + 6045. Is 41 a factor of g?
False
Let l = 55835 - 28583. Is 33 a factor of l?
False
Let r(b) = -2*b**3 - 26*b**2 - 28*b - 832. Does 9 divide r(-20)?
True
Let f(p) = -170*p**2 - p - 4. Let o(w) = -w**2 + 1. Let l(s) = f(s) + 4*o(s). Let h be l(1). Is (h/(-21))/(1/6) a multiple of 25?
True
Is 215 a factor of 223060/110 - 20/(-110) - -5?
False
Let w(m) = 1 - 7 + 3 - 9 - 29*m. Is w(-8) a multiple of 20?
True
Let o = 35380 - 22332. Does 22 divide o?
False
Let t be ((-3)/1 + 3)/(0 + -1). Suppose t = 16*z - 1547 - 2341. Is 4 a factor of z?
False
Let y = -118 - -56. Let z = 216 + y. Is 20 a factor of z?
False
Suppose -f + 4*l = -21, f - 4*f + l + 30 = 0. Suppose 0 = 6*c - f*c. Suppose -k = -2*k + 2*g + 55, c = 4*g. Does 13 divide k?
False
Suppose -5*n + 545 = -410. Suppose -3*h - n = 2*c - 863, 1680 = 5*c - 2*h. Does 12 divide c?
True
Let f(j) = 25 - 5 + 14*j - 11*j. Let v be f(12). Let u = v - 25. Does 11 divide u?
False
Let s = -26804 - -29399. Is s a multiple of 15?
True
Suppose 3*c + 18 = 4*c - 4*f, -5*f = c. Let k be 132/c - (-3)/(-15). Suppose 104 = k*s - 78. Does 2 divide s?
True
Let g(t) = -209*t**2 - 2414*t + 1. Is g(-5) a multiple of 36?
False
Let l(b) = -b**3 - 6*b**2 + 2. Let m be l(-6). Let r(f) = -4 - f**2 + 2*f**2 + 7*f + 2*f**2 + 5*f**3 - 5*f + 3. Is r(m) a multiple of 11?
True
Suppose 3*m - 15890 = 555 - 3086. Does 9 divide m?
False
Suppose -3*c + 4*u - 13 = 0, -4*u = -0*c - 2*c - 14. Let p be (2 - c)/((-4)/96). Let z = 24 - p. Is 13 a factor of z?
False
Let l(z) = 16*z**2 + 32*z - 13. Let s(v) = -11*v**2 - 21*v + 9. Let p(t) = 5*l(t) + 7*s(t). Let q be p(-5). Is (-1530)/40*q/(-3) a multiple of 23?
False
Let s = 649 - 30. Does 2 divide s?
False
Let k(g) be the second derivative of -g**4/2 + 4*g**3 + 15*g**2 + 8*g. Let j(n) = -n**2 + 5*n + 6. Let q(p) = 11*j(p) - 2*k(p). Does 7 divide q(-11)?
False
Let n = 301 + -449. Let v = -61 - n. Is 29 a factor of v?
True
Let h = -150 + 149. Let x(v) = -616*v**3 + v**2 - 6*v - 7. Is x(h) a multiple of 14?
True
Let w(a) = 19*a**2 + 93*a + 1662. Is 17 a factor of w(-60)?
False
Let n(w) = -6*w**2 - 6*w + w**2 + 5 - w**2 - w**3. Let u = 1655 - 1660. Is 10 a factor of n(u)?
True
Let m = 11145 + -5210. Is 4 a factor of m?
False
Suppose -52 = -2*n + 522. Let v = n - -452. Is v a multiple of 17?
False
Let x be 4/(-2)*26/52. Let f be -7 - (x - (0 - -3)). Does 20 divide (-159)/f + 5*-1?
False
Let k(v) = -v**3 + 7*v**2 + 10*v + 7. Suppose -91 + 46 = -5*m. Let r be k(m). Let d = 210 + r. Is d a multiple of 29?
True
Let s be (8/(-6) + 2)*(-15 + 489). Suppose -r + s + 138 = l, 448 = l + 4*r. Is l a multiple of 6?
True
Suppose -16*q + 17*q + 18214 = 0. Is 11 a factor of (-4)/(-6) + q/(-21)?
False
Suppose 11003 + 141067 = 15*v. Is 74 a factor of v?
True
Let t be (-12)/28 + 102/42. Suppose -t*a + 110 = 2*c - 5*c, 154 = 3*a + c. Does 6 divide a?
False
Suppose 44*j - 1607717 = -153*j. Is j a multiple of 25?
False
Suppose 3*b = 2*j - 961, 7*j - b - 959 = 5*j. Suppose -19*n = -186 - j. Does 5 divide n?
True
Let y(a) = -a**3 - a - 6. Let b be y(0). Let i be 32/b*((-210)/(-4))/(-7). Suppose -134 = -2*c - i. Is c a multiple of 11?
False
Let h(y) = -y**3 + 5*y - 7*y - 5*y + 5 - 6*y**2. Let i be h(-4). Is -1*(-22 + -2)*i a multiple of 9?
False
Does 69 divide (-3)/(-6)*-4 + (-12010)/(-2)?
True
Is 9 a factor of (-294)/(-1176)*(1 + 1803)?
False
Suppose 4*j - 3*q = 2*j + 30, -4*j + 60 = 2*q. Suppose 20*n + 105 = j*n. Let l = 177 + n. Is 38 a factor of l?
False
Suppose 9*m - 8799 = 7*m - 5*k, 0 = -2*m + 2*k + 8834. Is m a multiple of 35?
False
Suppose -63*t = 36*t - 8*t - 216580. Does 17 divide t?
True
Let s be 3*(-3 + (-8)/(-4)) - 158. Let 