*o + 2*l, 16*o + 5*l - 39331 = 14*o. Does 236 divide o?
False
Suppose 509 = 4*s + 5*y, -277 - 187 = -4*s + 4*y. Let k = 135 - s. Suppose 13*g + 124 = k*g. Is 19 a factor of g?
False
Let z(f) = -f**3 - 23*f**2 + 7*f + 46. Let y be z(-20). Let c be (y/4)/((-21)/42). Suppose b + c = 3*j, b = -2*j + 172 + 261. Is j a multiple of 36?
True
Let t(x) = -x**2 - x + 1. Let l be t(-3). Let s(z) = -276*z - 75. Does 81 divide s(l)?
False
Suppose 0 = 7*r - 724 - 1376. Let z = 415 - r. Is 3 a factor of z?
False
Let a be 13270*((-64)/80 + (-1 - -3)). Is a/30*30/12 a multiple of 18?
False
Let v(i) = -i**2 - 9*i + 12. Let h be v(-6). Suppose 6*s = -102 - h. Is 14 a factor of 4/s - (-156)/11?
True
Let o(i) = i**2 + 3*i - 23. Let s be o(-10). Suppose 43*n = s*n - 20. Suppose -2*j = n*w - 176, 0*j - j = -3. Is w a multiple of 3?
False
Let b(i) = -7*i - 36. Let l be b(-5). Does 14 divide 127 - l/(4 - 5)?
True
Is (-3899 + -3 + 4)*(-36 + 35) a multiple of 59?
False
Let u(o) = -o**2 - 56*o - 92. Let x be u(-23). Let r = x + 370. Is 36 a factor of r?
False
Suppose -5*t = -854 - 171. Suppose t + 11 = -4*v. Let p = 84 + v. Is p a multiple of 10?
True
Suppose 3*o = 3*f - 1725, 26*o - 2324 = -4*f + 24*o. Is 4 a factor of f?
False
Let g = -55 + 58. Let d(t) = 34 - 17*t**2 + 118*t**g - 61*t**3 - 56*t**3 - 16*t. Is d(18) a multiple of 10?
True
Let t(u) = 313*u**2 - 120*u - 502. Is t(-4) a multiple of 44?
False
Let p(o) = -53*o + 44. Let v be p(-10). Suppose 3*s = -5*x + 735, 2*x = 4*s - v - 380. Is 7 a factor of s?
False
Suppose 2*k + 36441 = 3*h - k, k - 60759 = -5*h. Suppose 19*p - h = 19940. Is 17 a factor of p?
False
Let p(v) = v + 53. Let c be p(-41). Is (c/(-30))/((-11)/(23540/8)) a multiple of 10?
False
Let s = -3873 - -6069. Does 13 divide s?
False
Let n(h) = -40*h - 273. Does 10 divide n(-39)?
False
Let f(v) = 9*v - 2*v + 6*v**2 + v**3 + 18*v + 11*v**2 - 11*v. Does 48 divide f(-15)?
True
Let b(k) = 10*k + 47. Let z(q) = 30*q + 141. Let o(n) = 17*b(n) - 6*z(n). Let m be o(-9). Suppose 10*w = 1067 + m. Is 15 a factor of w?
False
Suppose -5*w = -5*d + 55, 5*w + 0*w = -2*d + 29. Let m be -56*4/6*d. Is 10 a factor of m/(-6) + (-12)/18?
False
Let h be (1 - (-4)/(-8))*(-42)/(-3). Let k(t) = 3*t**3 - 13*t**2 - 7*t - 11. Let v be k(h). Suppose 0 = 2*n - z - v, -5*z + 4*z + 332 = 2*n. Does 19 divide n?
False
Let d(z) = -z**3 - 58*z**2 - 119*z - 211. Is d(-58) a multiple of 11?
False
Suppose 2*x - 324 = 2*c, -4*c - 9 + 21 = 0. Let o = 508 - 272. Let g = o - x. Is 18 a factor of g?
False
Suppose -6*z + 2012 = -5*h - 5*z, -4*z = 5*h + 2027. Let g = h - -695. Let v = g - 170. Is 22 a factor of v?
False
Suppose -14*z = -19*z + 4*h - 232, 5*z + 208 = -4*h. Let o = 132 - 40. Let g = o + z. Does 9 divide g?
False
Let a(p) = p**3 - 30*p**2 - 64*p - 30. Let u be a(32). Does 17 divide (11/((-220)/u))/(2/424)?
False
Let m(f) = 33*f**2 + 3*f + 2. Suppose 3*j = -2*x + 6*j + 4, 4*j - 28 = -4*x. Suppose -15 = x*y - 0. Is m(y) a multiple of 36?
False
Let f = -18279 - -31950. Is 147 a factor of f?
True
Suppose 5*w + 71*t - 24800 = 66*t, 4*w + 5*t = 19846. Does 21 divide w?
False
Suppose -89*n + 220971 = 58457. Is n a multiple of 22?
True
Suppose g = 3*b - 1743 - 299, 7*b - 4786 = -3*g. Is b a multiple of 23?
False
Let c(t) = 6*t**2 + 78*t + 249. Does 3 divide c(-16)?
True
Let a = 19968 + -10302. Is 215 a factor of a?
False
Suppose u - 4*u - 5*b + 33 = 0, 5*b - 3 = 2*u. Suppose -5*x = t - u*x - 696, -5*t = -3*x - 3482. Is 36 a factor of t?
False
Suppose -3*q = 2*f - 18107, -4*f = -3*q - 0*q - 36277. Is 44 a factor of f?
True
Suppose 5*a - 17 + 7 = 0. Suppose 3*z + 26 + 55 = a*v, -3*z + 45 = v. Is 12 a factor of v?
False
Let q(w) = 9*w**2 + 9*w + 1051. Is 31 a factor of q(-53)?
False
Let x(h) = -4*h + 36. Let g be x(-5). Let i = -52 + g. Suppose y + 196 = 4*k - 3*y, 2*k - i*y = 90. Is 22 a factor of k?
False
Let l = -163 + 165. Suppose -5*z - 455 = -i, -4*z = l*i - 2*z - 874. Is 22 a factor of i?
True
Let n(x) = -2*x - 17. Let a be n(-10). Suppose -a*j + 5*f + 26 = 0, 3*j - 22 = 4*f - 3*f. Suppose 2*m + 65 = j*m. Is m a multiple of 2?
False
Let i = -51928 - -90906. Does 9 divide i?
False
Let n(z) = -83*z**3 - 11*z**2 - 17*z - 64. Does 20 divide n(-4)?
True
Suppose -118026 = -203*n + 329386. Does 34 divide n?
False
Suppose -3*d - 17 = -3*t + d, 0 = -t - 5*d - 7. Let z(s) = -2*s + 8*s**2 - 3*s - 15 - 2*s**2 - s + s**t. Does 7 divide z(-6)?
True
Let k(q) = q**3 - 22*q**2 + 35*q - 60. Let w be k(21). Suppose 0 = w*p - 231*p - 117. Is 32 a factor of p?
False
Suppose -3*b = 21*x - 19*x - 90521, 30168 = b - 5*x. Is b a multiple of 11?
True
Let m(b) = 13*b**3 - 7*b**2 + b + 4. Let v(g) = -28*g**3 + 15*g**2 - 2*g - 9. Let q(n) = -5*m(n) - 2*v(n). Is q(-4) a multiple of 12?
False
Suppose 12*c - 16388 = 10144. Suppose -4*z + 631 = -4*q - 1141, 5*z = 3*q + c. Let p = z + -252. Is 8 a factor of p?
False
Let l(z) = -6*z + 6*z - 11*z**2 + 1 + 12*z**2. Let m be l(1). Suppose 2*b + 4 = 0, r = -7*b + m*b + 2. Is 11 a factor of r?
False
Let t = -197 - -197. Suppose 2*k - 4*v - 938 = t, 2*v + 3 = v. Is k a multiple of 58?
False
Suppose -3*l + 1493 = -d - 1340, 3*d - 6 = 0. Is l a multiple of 27?
True
Suppose -3*k - q + 3*q = -47, 2*k - 4*q = 34. Suppose 0 = -4*u + 5 + k. Suppose -p + 8 + 6 = 2*x, u*p = -3*x + 63. Is p a multiple of 12?
True
Let u(a) = -a**2 + 17*a + 34. Let r be u(19). Let n = 288 - 206. Let w = r + n. Is 6 a factor of w?
True
Suppose -457*r + 279180 = -421*r. Is 33 a factor of r?
True
Suppose 5*r - 2496 = -2*c, 24*r - 27*r + 1250 = c. Does 143 divide c?
False
Suppose 2*o - w = 18484, -42*o - 4*w - 36976 = -46*o. Is o a multiple of 84?
True
Suppose 0*r - 1360 = -3*r + 200. Does 13 divide r?
True
Let x(i) = 14*i - 11 + 29*i - 11*i. Let l be (-320)/560*(0 + -14). Is 15 a factor of x(l)?
False
Let g = -19 + 35. Let r = -2711 - -2718. Suppose r = -t + g. Does 2 divide t?
False
Let f be (-1)/4 + 1227/12 - 1. Suppose 0 = -v + f + 79. Suppose 3*y - 2*c - v = -6*c, 4*c = 0. Does 20 divide y?
True
Let f = 484 + -283. Suppose 4*t = -7*t + 691 + 409. Let c = f + t. Does 44 divide c?
False
Suppose 13*f + 38744 = 42*f. Is 15 a factor of f?
False
Suppose 4*l - 7*l = j - 11732, 4*j - 5*l - 46911 = 0. Suppose -27*m + j + 12625 = 0. Is m a multiple of 41?
True
Suppose 66*v - 14218 = 38780. Does 6 divide v?
False
Suppose r - 285760 = -40*r + 3*r. Is r a multiple of 47?
True
Is -597*84/(-7) + -19 a multiple of 133?
False
Let o(c) = -221*c**3 + 40*c**2 + 128*c + 7. Does 10 divide o(-3)?
True
Suppose 4*j - 79 + 19 = -4*w, 75 = 3*w - 3*j. Suppose 2*i + 18*o = w*o + 1702, 2*i + o = 1702. Is i a multiple of 23?
True
Let l = 22 - 17. Suppose -7 = -6*n + l. Does 22 divide (n - (2 + -6*11))*1?
True
Suppose 19921 = 2*m - 14639. Does 54 divide m?
True
Let n(g) = 1570*g - 1201. Does 7 divide n(1)?
False
Let r(f) = 2*f**2 + 17*f + 5. Let j be r(-10). Let b = -21 + j. Suppose 9*u - b*u = -270. Is u a multiple of 9?
True
Suppose -11*z = -86 - 35. Suppose -z*j = -7768 - 383. Is 57 a factor of j?
True
Let z(r) = 48*r + 94 - 9*r + 10 + 102 + 76*r. Does 23 divide z(5)?
False
Let u(x) = 4867*x - 176. Does 13 divide u(4)?
True
Let i(y) = -9*y**3 - y**2 + 1. Let r be i(-1). Let s be (-2*(-8)/12)/(2/r). Is 5 a factor of (0 - s/(-9))/((-2)/(-15))?
True
Let i be (-48)/15*(-60)/(-8). Let y(b) = 10*b + 253. Is 6 a factor of y(i)?
False
Suppose -86*r + 380191 = -246355 - 62142. Is 22 a factor of r?
True
Let y(r) = 34*r + 72. Let v(w) = -3. Let q(a) = 6*v(a) - y(a). Is q(-5) a multiple of 8?
True
Let h(x) = 43*x**2 + 45*x + 485. Does 37 divide h(-17)?
False
Suppose -18*h = -96 + 6. Suppose -4*t + 0*t + 21 = h*o, -2*o - 2 = -t. Is 7 a factor of (-340)/(-14) + o*10/(-35)?
False
Let k be 15/9 - 2/3*1. Let m(l) = 22*l**2 + 4 - 18*l**2 + 0 - 4*l. Does 4 divide m(k)?
True
Let s be 0 + (-5)/45 + (-48292)/18. Let t = -1643 - s. Is 10 a factor of t?
True
Let u be (-147)/(-2) + (-3)/6. Let s(y) = y**2 - 17*y + 100. Let d be s(15). Suppose -4*p = 2*z - d, -p + z = -5*p + u. Is 3 a factor of p?
False
Suppose 5*p - 38 = -3*o, -2*p + 6 + 5 = -3*o. Is -4 - -2 - 7/(p/(-64)) a multiple of 13?
False
Suppose -8*b + 49236 = -436. Is b a multiple of 22?
False
Suppose -3*w + 4*h + 13684 + 3032 = 0, 3*h = -2*w + 11161. Suppose 1120 = z + 4*d, -5*z + w = -d - 3*d.