ctor of y(r)?
False
Let l(k) = 139*k**2 - 24*k - 146. Is 103 a factor of l(13)?
False
Is (10 + 399180/40)*2 a multiple of 15?
False
Let j = -19 - -22. Suppose j*o + r = 17, -o - r = -5*r - 10. Suppose 0 = o*v - 63 - 135. Is 9 a factor of v?
False
Suppose 75*x + 120*x = 27*x + 59304. Is 8 a factor of x?
False
Suppose t = -3*b + 2546, 3*t - 12396 = -3*b - 4746. Is 35 a factor of t?
False
Let o = -3237 + 8322. Suppose 9*a - 261 = o. Is 18 a factor of a?
True
Suppose 80*s - 228*s + 1523512 = 0. Is 39 a factor of s?
False
Suppose -17 = -0*t - t - 5*i, 3*i = 2*t + 18. Let w be -2 - -1 - t*(-14)/(-6). Suppose -2*l + 65 = 5*z, w*z - 4*z = -5*l + 152. Does 5 divide l?
True
Let a be -4 + 2 + (-335)/(-5). Suppose -68*w + a*w + 36 = 0. Suppose -w*q + 10*q = -34. Is 17 a factor of q?
True
Let z be (-1)/2 - 1/(-2). Suppose 2*y + 5*q - 20 = 0, z*q = y + 2*q - 8. Let c(a) = -a**2 + 4*a + 39. Is 7 a factor of c(y)?
False
Suppose 0 = -14*l + 4661 + 2969. Suppose -546*f = -l*f - 16. Is 16 a factor of f?
True
Let l = -260 - -256. Is (12280/50)/(l/(-10)) a multiple of 42?
False
Suppose m + 52*k = 47*k + 10748, -2*k = 5*m - 53855. Suppose -21*x + m = -2*x. Does 9 divide x?
True
Let g be 2 - (2 - 5 - (-3 + 2)). Let u be 1/2 - ((-18)/g + 0). Suppose -8*n + u*n = -144. Is n a multiple of 8?
True
Suppose -3*s + 18 = -4*a, -2*a - 12 = 2*a. Let u(t) = 20*t + 12. Let b(d) = d. Let r(i) = -24*b(i) + u(i). Does 4 divide r(s)?
True
Let i = 342 - -116. Let x = 163 - 417. Let u = x + i. Is 37 a factor of u?
False
Suppose -31 = -t - 5. Suppose -t*c = -37*c + 5170. Is 38 a factor of c?
False
Let s(p) = p**3 - 27*p**2 - 17*p - 148. Is 14 a factor of s(30)?
False
Suppose z - 15993 = 2*x, 76*x - 80*x = -4*z + 63980. Is z a multiple of 13?
False
Let k(h) = h**2 + 12*h - 6. Let u = 79 - 75. Let z be k(u). Is (-1 - (-1 - z)) + -1 a multiple of 19?
True
Let i(q) = 20*q + 64. Let g be i(-3). Suppose g*o + p + 79 - 255 = 0, -176 = -4*o + 2*p. Is 4 a factor of o?
True
Let b(y) = 8*y - 1. Let h(t) = -3*t - 26. Let j be h(-12). Let i be b(j). Let x = 139 - i. Is x a multiple of 30?
True
Let n = -21657 + 23129. Does 200 divide n?
False
Let k(i) = -i**3 + 7*i**2 - 7*i + 11. Let o be k(6). Suppose o*b - g - 6 = g, 5*g + 15 = 3*b. Suppose b = l - 5*d - 98, l + 4*d - 128 = -d. Is 34 a factor of l?
False
Let t(l) be the second derivative of l**5/60 - 7*l**4/24 - 13*l**3/6 - 10*l**2 + 15*l. Let p(a) be the first derivative of t(a). Does 17 divide p(14)?
True
Suppose 5*h - 1032 = 2*s, 1028 = 5*h + 509*s - 512*s. Is h a multiple of 13?
True
Suppose 8*n - 3*n = b, -2*b + 5*n = 0. Does 39 divide ((-28428)/(-46))/(2 + -1 + b)?
False
Is 203 a factor of 72/(-18)*(-1)/(-8)*-68614?
True
Let k = -121 + 237. Let t = 47 + k. Is 33 a factor of t?
False
Let c = 9994 - 2935. Is 44 a factor of c?
False
Suppose -34*k = 5*f - 32*k - 431, -349 = -4*f - 3*k. Suppose 76*g + 144 = f*g. Does 4 divide g?
True
Suppose 5*j - 25 = 0, 3*x - 6755 = 5*j + 2562. Suppose 3*b - z - 4198 + 1087 = 0, -x = -3*b + 2*z. Is 28 a factor of b?
True
Let x(z) = 32*z - 255. Let q(l) = -29*l - 364. Let k be q(-13). Is x(k) a multiple of 13?
False
Let x = 311 - 454. Let a = 192 + x. Does 9 divide a?
False
Let z(u) = -2*u**3 + 4*u**3 - 8 + 2*u**2 + 10*u - 4*u**3 + u**3. Is 3 a factor of z(-4)?
True
Let h(r) = 16*r**2 - 3*r + 3. Let l be h(-4). Let n = 10918 + -10725. Let z = l - n. Does 11 divide z?
False
Suppose -h - 19 + 22 = 0. Suppose h*x - 1155 = -5*k, 633 - 241 = x + 4*k. Is x a multiple of 24?
False
Let i(x) = -32*x**2 + 4*x**3 + 10 - 6*x**3 + 16*x**2 + 5*x**3 - 3*x + 6*x. Is i(8) a multiple of 42?
True
Suppose 18*g - 13907 - 5713 = 0. Let i = g + -762. Is i a multiple of 12?
False
Suppose -4*c = 2*n - 192, c = -c + n + 88. Let a = 77 - c. Is 31 a factor of (-495)/(-4) + a/124?
True
Suppose 0*m + 5*m + 3 = 3*j, -3*j = -4*m. Let k(z) = -40*z - 30. Is k(j) a multiple of 5?
True
Suppose 3*i - 5*u - 7511 - 3388 = 0, 3*i = 2*u + 10899. Does 7 divide i?
True
Is (-5)/((-40)/8)*-9 + 1498 a multiple of 18?
False
Let d be 4344/8*(-205)/(-15). Suppose -17*r = -d - 110. Is r a multiple of 20?
False
Suppose -2*l + 488 = -2*f, 3*l - 491 = l + 3*f. Let v = l - -138. Let c = v - 168. Is 25 a factor of c?
False
Let c(t) = -t**3 + 18*t + 7. Is c(-9) even?
True
Let b(k) = -29*k**2 - 1847*k - 44. Does 102 divide b(-27)?
False
Let k be 8/10 - 1245/25. Let p be 6*(-40)/(-14) + 7/k. Does 6 divide (1 - 0) + p + 8/2?
False
Let m = 28 + -19. Let j(v) = m*v + 7*v**2 + 2*v**2 - 6*v**2 + 6. Does 12 divide j(-6)?
True
Suppose 28*f - 112789 = 102107 - 76716. Does 21 divide f?
True
Let z(b) = -20*b - 85. Let a be ((-2)/(-4))/(1016/(-144) - -7). Is 11 a factor of z(a)?
False
Let w(a) = 27*a - 22. Let i(d) = -d + 10. Let g be i(6). Suppose s - j + 4*j - 10 = 0, s - 11 = -g*j. Is 31 a factor of w(s)?
False
Suppose -174 = 4*z + 4*b + 34, -180 = 4*z - 3*b. Let l = z + 87. Is 17 a factor of l?
False
Suppose 5*c + 4218 = t + 2*t, 0 = -c + 6. Is 24 a factor of t?
True
Suppose 1745563 = -327*t + 3363631 + 4895445. Does 50 divide t?
False
Suppose 2*u - 4 = -0*u, 0 = 3*i + 4*u - 632. Suppose -4*d = p - i, 5*p + 2*d = 861 + 197. Is p a multiple of 12?
False
Does 3 divide (252/(-98))/(3/(-2198))?
True
Let z = 222 - 196. Suppose -z*k + 56673 = -85. Is k a multiple of 13?
False
Let x(t) = -16*t + 7*t**2 - 4 - t**2 - 4*t**2. Let z be x(14). Suppose -2*o = -4*g + 164, -2*o = -4*g - 7*o + z. Does 15 divide g?
False
Suppose 12*k - 45 + 21 = 0. Is 76 a factor of -57*16*3*k/(-6)?
True
Suppose -d - 16*z + 2921 = -21*z, 0 = -3*d + 2*z + 8750. Does 8 divide d?
False
Let a = -28067 + 63311. Is a a multiple of 36?
True
Let w(k) = -8*k - 13. Let v be w(-4). Is 4 a factor of (v - 5)*10/7?
True
Let w(p) = -8*p**3 + 22*p**2 - p + 5. Let u(q) = 7*q**3 - 20*q**2 - 5. Let d(x) = -7*u(x) - 6*w(x). Is 37 a factor of d(6)?
False
Let q = 272 - 258. Suppose -17*z + q*z = -171. Is z a multiple of 8?
False
Is 21 a factor of (48/42)/(6/8523)*(-14)/(-4)?
False
Suppose -l + 14 = -4*f + 2*f, -4*l - 2*f + 16 = 0. Suppose -1425 = -3*n - g, -950 = -2*n + l*g - 9*g. Does 24 divide n?
False
Let o(g) = 9*g**3 - 17*g**2 - 2*g + 33. Is o(5) a multiple of 10?
False
Let q(c) be the third derivative of c**5/20 + c**4/4 + 11*c**3/6 + 3*c**2 + 50. Let x(b) = b - 20. Let y be x(12). Is 12 a factor of q(y)?
False
Let x(n) = 24*n**2 + 8*n - 23. Let u be 42/(-7)*6/(-12). Is 31 a factor of x(u)?
True
Does 39 divide 819/(-1*5/(105/(-7)))?
True
Suppose -5*b + 153020 = -2*g, -b + 2*g + 16317 = -14295. Does 126 divide b?
False
Let n(k) be the first derivative of k**4/4 - 2*k**3/3 - 3*k**2/2 + 14. Let j be n(3). Is 77 + -1 + j - 4 a multiple of 24?
True
Does 14 divide -10 + 1078475/125 - (-1)/5?
False
Suppose 0*h = 3*h. Suppose 38*n - 63173 = -15293. Suppose h = 70*f - 74*f + n. Is 33 a factor of f?
False
Let f(l) = 2180*l + 679. Is f(7) a multiple of 33?
True
Let t be (-50)/(-18) - (-4)/18. Let j be ((0/t)/3)/3. Suppose j = -11*v + 302 + 28. Is v a multiple of 10?
True
Let p = -814 + 369. Is (-39)/52*(1 + p) a multiple of 9?
True
Suppose 4*l + 8 = w, l - 2*w = -5 - 4. Is (710 + -4)*l/(-2) a multiple of 8?
False
Suppose 20*n = l + 22*n + 17, 4*l - 3*n = -57. Suppose 7*a - 2*a + 5*c = 85, -2*a - 4*c = -40. Does 6 divide 3 + a/(-5) + (-507)/l?
False
Let l(j) = -j**3 + 77*j**2 - 158*j + 760. Does 4 divide l(75)?
True
Suppose -6840 = u - 21*u. Is u a multiple of 38?
True
Suppose -7*l = -5*l - 2. Does 18 divide l/(-9)*-2307 + 6/9?
False
Let q(n) = -n + 27. Let c be q(5). Let a = c + -1. Suppose o - a = -0*o. Is 11 a factor of o?
False
Does 36 divide 8*((-29704)/(-32) - 17)?
False
Suppose 0 = 8*f - 48 - 584. Let b = 94 - f. Is 6 a factor of ((-48)/(-5))/(6/b)?
True
Suppose 7*k = -6*k + 4*k. Suppose 20*a - 14*a - 918 = k. Is 80 a factor of a?
False
Let c be (2 + -4 + -2)*(-3)/(-6). Let l be ((-1 - c) + -138)*1. Does 27 divide (2 - l - 3) + -1?
True
Suppose -3*z = -5*z - 1580. Let s be z/(-40)*(2 - -2). Let b = s - 31. Does 6 divide b?
True
Let r(m) = 1677*m**2 - 25*m - 42. Is 84 a factor of r(-6)?
True
Suppose -5*o + 3 = -4*o, r + 5*o = 3937. Is 14 a factor of r?
False
Is -11*(6 - (-912)/(-132)) - -7438 a multiple of 11?
False
Let d be 2*(-44)/16*2. Let q be ((-5)/(-10))/((-4)/40)*13. Let n = d - q. Is 9 a factor of n?
True
Suppose -5*