e j*m = 10*m - s. Is m a multiple of 5?
False
Let p(q) = 2*q + 5761. Is 9 a factor of p(0)?
False
Suppose 20*l - 10*l - 80 = 0. Suppose -13*x + 2410 = -l*x. Is 45 a factor of x?
False
Let v(a) = a**3 - 64*a**2 + 377*a + 193. Does 16 divide v(58)?
False
Is ((-6258)/9)/(8/(-140 + -4)) a multiple of 96?
False
Suppose 3*l + 5*c = 140 - 49, 5*l - 130 = -4*c. Suppose 0 = l*t - 27*t + 440. Does 8 divide t?
True
Let b be 6 - (350 + 3) - -5. Let a = 585 + b. Is 26 a factor of a?
False
Let z(n) = n**3 - 16*n**2 + 18*n - 37. Let t be z(15). Suppose -4*g = -5*f + 176, 7*g + t = 5*g. Does 8 divide f?
True
Suppose 5587*a + 97382 = 5610*a. Does 29 divide a?
True
Does 19 divide ((-1923)/(-4))/((-9)/168*-2)?
False
Let f be (-1562)/12 - 295/354. Let x = f + 201. Does 10 divide x?
True
Does 11 divide (-53634)/(-8) - -5 - (-3)/4?
True
Let y = 17468 + -11137. Suppose y = 6*r + 2347. Does 29 divide r?
False
Let c(l) = -l**3 + 7*l**2 + 84*l + 50. Is c(-20) a multiple of 10?
True
Let z(c) = -34*c**2 - 2*c + 13. Let y be z(-3). Let m = 119 - y. Suppose -4*w - m = -5*a, 3*a = -a - 5*w + 333. Is a a multiple of 41?
True
Suppose -6*i - 46 + 4 = 0. Let h be (-1 - (i + 6)) + 5*1. Suppose 3*d = -5*y + 1425, y + h*d + 539 = 3*y. Does 15 divide y?
False
Suppose 0 = 115*f + 316717 - 1405997. Is 16 a factor of f?
True
Suppose 16120 = 5*y - 2*q, y - 33*q - 3236 = -35*q. Is y a multiple of 7?
False
Let b be (-12)/64*-4 - 9/12. Suppose 3*p - 39 = -b*p. Suppose p = 3*k - 26. Is k a multiple of 2?
False
Let v = 48 - 20. Let b be 12/v - 3357/(-7). Suppose -17*g + 7*g = -b. Does 12 divide g?
True
Let v = 577 - 257. Suppose -127*h = -107*h - v. Does 8 divide h?
True
Suppose -5905 = -j - 10*b - 645, 0 = -3*j + 4*b + 15644. Is j a multiple of 58?
True
Let q(c) = 16*c**2 + 43*c - 8. Let m(y) = -28*y + 8. Let k be m(0). Does 16 divide q(k)?
True
Let g be (-56)/35*5/(-2). Let a(n) = 3*n**3 - 4*n**2 - 3*n - 7. Let u be a(g). Suppose -v = -365 + u. Does 32 divide v?
True
Suppose 11*c + 478 - 1402 = 0. Does 7 divide c/5*(-130)/(-52)?
True
Let t(o) = -1. Let w(p) = -26*p + 23. Let i(n) = -9*n + 8. Let c(m) = 11*i(m) - 4*w(m). Let f(y) = -4*c(y) + 12*t(y). Is 22 a factor of f(-2)?
True
Suppose 0 = -29*q - 3185 - 3282. Let f = q - -366. Is 16 a factor of f?
False
Is 9 a factor of 581275/75 + 8/12?
False
Is 9*-3*(20 - 145) a multiple of 25?
True
Let q(c) = 11*c - 12. Let n = -39 + 43. Suppose -12 = -f - n. Is 19 a factor of q(f)?
True
Let m be ((-9)/(-3) - 2)/(5/340). Let t = 69 + m. Let x = t + -44. Is 6 a factor of x?
False
Let x be 842/5*(7 - 12/(-4)). Suppose n - 338 = -f, -4*f + n = f - x. Is 15 a factor of f?
False
Let z be 20/(-80) + (2 - (-4551)/12). Let y = 642 - z. Does 13 divide y?
False
Suppose -11*w + 6*w + 40 = 0. Let j be (-6)/(w/4) - (2 + -2). Is 4/2*(-30)/j a multiple of 6?
False
Let g(j) = 24*j**2 - 22*j - 57. Let x be g(-15). Let m = x + -3906. Is m a multiple of 19?
True
Let b(j) = j**2 - 6*j - 4. Let u be b(7). Suppose -w = -5*d - 153, u*w + w = 2*d + 522. Does 20 divide w?
False
Suppose 0 = -46*r + 401281 + 290881. Is 158 a factor of r?
False
Let g(w) = -3*w**2 - 394*w + 273. Is 188 a factor of g(-107)?
True
Let f = -30743 - -48723. Does 10 divide f?
True
Let r(i) = -17*i**2 - 3*i**2 + 3*i + 11 - 36*i + 29*i**2. Does 20 divide r(8)?
False
Is (21 - 19)*(-4 + 6 + 5450) a multiple of 29?
True
Suppose -14*o + 5*r = -10*o - 43, 3*o = 2*r + 34. Suppose -24*n + 10260 = o*n. Is n a multiple of 57?
True
Let l(k) = 20*k**2 - 113*k + 6. Let o(m) = -m**2 + 20*m - 42. Let f be o(17). Does 29 divide l(f)?
True
Let k = -101 - -675. Suppose k + 1050 = 7*x. Is x a multiple of 58?
True
Let t(q) = -q**3 + 7*q**2 - 46*q - 132. Is 17 a factor of t(-15)?
True
Suppose -5*u - 4*o + 32 = 4, 4*o - 12 = -u. Let x(p) = 3*p**2 + 0 - 6 - p + 1. Does 12 divide x(u)?
False
Suppose -11*i = -13*i + 880. Let z = i + -255. Does 37 divide z?
True
Suppose -5*j = 3*z - 3, 5*j + z - 35 = 6*z. Suppose -j*g - 4*g = -875. Is 15 a factor of g?
False
Let o = -1903 - -4510. Suppose -o = 16*s - 13167. Is 12 a factor of s?
True
Let j(z) = -5 - 16*z - 8 + 3. Let f = 783 + -791. Is j(f) a multiple of 17?
False
Let n(j) = -14275*j - 160. Does 4 divide n(-1)?
False
Let y(r) = -41*r - 59. Let d be y(-5). Let w = d - -259. Is w a multiple of 45?
True
Let l be 178/26 + 22/143. Suppose 6*w - 3167 = -3*v + l*w, 3*v = -4*w + 3172. Is v a multiple of 66?
True
Let c be 2 + -1 - (7 - 1133) - 2. Let a = c + -661. Let g = -288 + a. Is g a multiple of 22?
True
Suppose -4*g = 10 + 2. Let t = -47 + 45. Is (-848)/(-32) + g/t a multiple of 8?
False
Suppose -243213 - 125215 = -94*o + 627314. Is o a multiple of 107?
True
Let h(z) = 89*z**3 + 4*z**2 + 3*z - 8. Let x be h(-2). Let f = x - -1658. Does 38 divide f?
False
Let j(l) = 59*l - 7 + 20 - 77. Is j(11) a multiple of 39?
True
Let j be (8/(-6))/((-48)/360). Suppose -4*h + 3*s = -177, -12*h - 5*s = -j*h - 95. Is h a multiple of 9?
True
Suppose -2*w + 4*v - 6 = 0, v - 15 = -0*w - 4*w. Suppose -w = b, 5*a = -4*b - b. Suppose 4*j - 4*c = 216 + 484, 0 = 5*j + a*c - 915. Is 36 a factor of j?
True
Let k = -8673 - -19617. Is 4 a factor of k?
True
Suppose 0 = -5*k - m + 22681, k + 8*m - 4505 = 13*m. Is 173 a factor of k?
False
Is (-169659)/(-7) + ((-20)/(-6))/((-76)/114) a multiple of 52?
True
Let a = -62 + 72. Suppose 0 = -5*o - 0*o - a, 3*o = 4*w - 2270. Suppose 16 = -11*p + w. Does 15 divide p?
False
Let s(a) = 196*a + 139. Suppose -47*d + 170 = -18. Is 71 a factor of s(d)?
True
Let j = -274 - -295. Is 7 a factor of (-1)/((-3)/(-4)*(-1)/j)?
True
Suppose -4*x + 332 = -2*h - 2*h, -h - 103 = 4*x. Let u = 196 + h. Does 29 divide u?
False
Suppose 0 = -38*a + 36*a + 2666. Let w = a - 613. Is w a multiple of 12?
True
Let b be ((-1760)/4 - 0)*(7 + -4). Does 20 divide ((-46)/5)/(48/b)?
False
Suppose -46*m + 50*m = -5*r + 52580, -4*m = m. Is r a multiple of 22?
True
Is 20 a factor of 84246/27 + ((-2)/45)/(8/40)?
True
Let o = -78 + 74. Let p be 6/(o/(-2)) + (-3)/(-3). Suppose -p*r + 276 = 4*j, 5*j - 225 = 3*r + 120. Is j a multiple of 9?
False
Let u(a) = 6*a**3 - 23*a**2 - 105*a + 2042. Is 18 a factor of u(21)?
False
Suppose 0 = -4*h - g + 49576, -2*g - 8871 - 15937 = -2*h. Is 49 a factor of h?
False
Let p = -5033 - -6083. Does 42 divide p?
True
Suppose 0 = -124*m + 4*m + 169579 + 439301. Is 14 a factor of m?
False
Suppose 0 = -2*l - x + 19 - 254, l + x = -118. Let g be 8/(-3)*l/26. Is 41 - (-2)/((-8)/g) a multiple of 10?
False
Let k(n) = -n**3 + 48*n**2 + 67*n + 830. Is 6 a factor of k(49)?
False
Let m be 144/432 + -11*(-2)/6. Suppose -3*z + 1317 = -4*i + 349, 0 = -4*z - m*i + 1272. Is z a multiple of 13?
False
Suppose 3*h + 15 = 0, 0*h = -5*p + 4*h + 9110. Does 28 divide p?
False
Suppose -4 + 4 = 2*z. Suppose z = 8*i + 5 - 205. Suppose -24*k = -i*k + 124. Does 10 divide k?
False
Suppose 35*q + 1600 = 27*q. Does 8 divide ((-42)/7)/(-1) - q?
False
Let u(r) = r**3 + 29*r**2 + 11*r + 60. Let g(c) = c**2 - c. Let q(t) = -5*g(t) + u(t). Is 13 a factor of q(-23)?
True
Let u(a) be the third derivative of 9*a**4/4 - 26*a**3/3 + 24*a**2. Does 12 divide u(8)?
False
Suppose -q = 2*f - 530, -q + 377 + 158 = 3*f. Is 65 a factor of q?
True
Let w = -103 - -111. Suppose w*i = 9*i. Is 29 a factor of (i - (-143 + -1)) + 4/4?
True
Suppose 4*v + 5*j = -7*v + 8915, 2*j = 5*v - 4048. Is 15 a factor of v?
True
Let o(c) = -183 + 81*c + 391 - 175. Is 12 a factor of o(5)?
False
Let u be 6/(-36)*2 + (-166)/(-3). Let a = u - 55. Suppose 3*b - 4*m - 77 = a, -b + 105 = 3*b - 3*m. Is 27 a factor of b?
True
Suppose 0 = 3*c + 7 - 22, -2*g + 3418 = -2*c. Is 4 a factor of g?
False
Let d = 97 - 99. Is 61 a factor of ((3/d)/((-6)/(-488)))/(-1)?
True
Does 13 divide 117/(19680/1310 - 15)?
True
Suppose -4*h = -6*h + 8. Let i be (5/(-2))/((-11)/22). Suppose 3*f = -0*k - i*k + 157, 252 = 4*f - h*k. Is 37 a factor of f?
False
Let h(l) be the first derivative of l**5/5 - l**4/4 + 5*l**3/3 - 11*l**2/2 - 22. Let s(n) be the second derivative of h(n). Does 18 divide s(3)?
False
Let u(i) = -12*i + 15. Let o be u(-14). Suppose o + 73 = 2*h - 4*x, -3*x + 256 = 2*h. Let t = -78 + h. Does 12 divide t?
False
Let n(s) = 14*s**3 - 7*s**2 - 14*s - 6. Let b(x) = 5*x**3 - 2*x**2 - 5*x - 2. Let v(z) = -11*b(z) + 4*n(z). Let c be v(6). Does 9 divide (c/12)/(2/3)