 287 = -5*u, -11*u + 14*u = 2*l - q. Is 14 a factor of l?
False
Let h(r) = -9494*r - 1935. Is h(-3) a multiple of 39?
False
Is 241 a factor of (1402254/48 - 6) + (-24)/(-64)?
False
Let d(v) = v**2 - 44*v - 230. Let b be d(-5). Suppose -b*q = -6*q - 3735. Is 30 a factor of q?
False
Let q = -241 - -400. Let v = q - 111. Is v a multiple of 6?
True
Let d(i) = 4*i - 156. Let h be d(39). Suppose p - 2*c + 3*c - 99 = h, -p + 5*c = -111. Does 28 divide p?
False
Suppose -1630 = -2*p + 5*c, 5*p - 4*c - 3464 = 560. Does 10 divide p?
True
Let i(f) = 3242*f - 8147. Is 165 a factor of i(16)?
True
Let g = 6232 + -4004. Is 10 a factor of g?
False
Let a = 68 - 100. Let l = 79 + a. Let c = 180 - l. Does 20 divide c?
False
Let x be 1/2*(-101 - (-2 + 7)). Let r = x - -146. Is r a multiple of 39?
False
Let l(n) = 28*n + 967. Is 22 a factor of l(-9)?
False
Suppose -10*g + 13*g - 9 = 0. Suppose 2 = 5*d - 2*o, -4*o = -5*d - g*o + 1. Suppose 4*j - 2*j + 3*a - 58 = d, 116 = 4*j - a. Does 12 divide j?
False
Suppose v - 6900 = -4*a, -3*a + 6*a - 4*v = 5156. Is a a multiple of 37?
False
Let b(o) = 15*o**2 + o. Let f be b(-2). Let m(h) = h**3 - 6*h**2 - 3*h + 1. Let n be m(6). Let k = f - n. Is 9 a factor of k?
False
Let a = -118 + 43. Let g = -40 - a. Does 14 divide g?
False
Let q(c) be the second derivative of c**5/20 + 2*c**4 - 9*c**3/2 + 17*c**2 - c. Suppose 5*b - 4*z = -5*z - 120, -4*b = -z + 105. Does 14 divide q(b)?
True
Suppose 3*d + 43*z = 41*z + 44002, -z = 4*d - 58681. Is 7 a factor of d?
True
Suppose -112 = -4*z - 2*k + 122, 9 = 3*k. Suppose -2*w - z = -777. Is 45 a factor of w?
True
Suppose -35*o - 5928 = -76*o + 22*o. Is o a multiple of 12?
True
Let m = 182 - 355. Let i = m + 443. Is i a multiple of 10?
True
Is 10 + 0 - (-31115)/5 a multiple of 22?
False
Suppose -3*h = 9*n - 16896, 11*n + h = 14*n - 5636. Does 6 divide n?
True
Let q(i) = 11*i**2 + 21*i - 267. Is 14 a factor of q(-25)?
False
Suppose -5*b - 2*k + 4336 = 0, -2*k = -3 - 3. Let i = -421 + b. Is i a multiple of 21?
False
Suppose -7 = -3*d + 4*d. Is (0 + -153)*d/21 a multiple of 11?
False
Let o(g) = 2*g**2 + 3*g + 1. Suppose -3*k = -5*s + 6, -2*s + 3*s + 4*k + 8 = 0. Suppose -5*x + 7*x + 14 = s. Does 26 divide o(x)?
True
Let d(g) = -25*g**3 + 15*g**2 + 6*g - 24. Is d(-7) a multiple of 58?
False
Suppose -8 = 3*r - 7*r. Let o(u) = u**3 - 3*u**2 - 2. Let y be o(r). Is 14 a factor of 77*(4 + y - -4)?
True
Let g = -75 + 70. Is 446 - g/((-25)/10) a multiple of 37?
True
Let p(x) = 701*x**2 + 20*x - 96. Does 55 divide p(3)?
False
Let a = 114663 + -67351. Is 16 a factor of a?
True
Let y(m) = m**3 + 5*m**2 - m + 1. Let q be y(-5). Let d(l) be the third derivative of l**5/30 + l**3/3 - 152*l**2. Is d(q) a multiple of 14?
False
Does 11 divide (-1680)/(-10 + 51/6)?
False
Suppose 0 = 2*g - 2*h - 2, h + 1 = -g - 2*g. Let i be 24/12*(g + 2) + -2. Is 9 a factor of 10/(-55) + -89*i/(-11)?
False
Let k be (-6204)/(-4) + (-10)/(-2). Suppose -4*s = 5*h - k, -254 - 350 = -2*h + 3*s. Does 28 divide h?
True
Let l(i) be the second derivative of -i**5/20 + 2*i**4/3 + 5*i**3/3 + 25*i**2/2 + 60*i. Is 25 a factor of l(8)?
False
Let h(z) = -466*z - 184. Is 10 a factor of h(-4)?
True
Let c(w) = 128*w + 1844. Is 23 a factor of c(38)?
False
Let g be (3 + 177/9)/((-6)/(-9)). Suppose 7*c - g = 8*c. Is (c/2)/(18 - 19) even?
False
Let r = 222 - 218. Suppose -4 + 24 = -r*s, -4*z + 135 = -3*s. Is 5 a factor of z?
True
Let m = 204 + -188. Suppose -m*a + 9990 = -a. Does 14 divide a?
False
Let u = 41 + -50. Let k be (-2 - u) + (0 - (-2)/(-2)). Suppose 4*o - 270 = -k. Is o a multiple of 25?
False
Let y be (-4)/(-10) + (-232)/5. Let x = -45 - y. Is 9 a factor of x/(265/(-135) - -2)?
True
Let q = 9702 + 3702. Is 11 a factor of q?
False
Suppose 0 = -46*u + 167517 + 163269. Is u a multiple of 141?
True
Let j(i) = i**2 - 16*i + 13. Let h be j(10). Suppose 2*f - 2*g + 208 = 0, 4*f + 2*g + 0*g = -404. Let a = h - f. Is a a multiple of 4?
False
Let n be ((-8)/(-12))/((-2)/(-549)). Let f be (-5)/(-15) + 46/6. Suppose -n = -5*y - f. Does 35 divide y?
True
Suppose 24 = -17*x + 109. Suppose -5*j - 5*h + 3915 = 0, x*j - 9*j = -4*h - 3148. Does 84 divide j?
False
Let p be -32*((-35)/2)/5. Suppose -4*q = -82*y + 87*y - 347, 5*q = -5*y + 345. Suppose -3*i + p + y = 0. Is 19 a factor of i?
False
Let n be 4/((-20)/(-21389)) - 1/(-5). Suppose 18*j - n = 12*j. Is j a multiple of 23?
True
Suppose -225 = 15*h - 20*h. Let y be ((-1)/(-3))/((-5)/h) + 9. Suppose 198 = y*k - 0*k. Does 7 divide k?
False
Suppose -2657 = -27*o + 4272 + 3871. Is o a multiple of 20?
True
Suppose -8*g + 18 = -14. Suppose 2*b - 3*k = 170, 2*b - 255 + 71 = -g*k. Suppose 2*v - 2*s = b, -2*s - 46 - 83 = -3*v. Does 41 divide v?
True
Let c = -224 - -235. Let n = 161 + c. Is 23 a factor of n?
False
Let l(b) = -b**3 + 35*b**2 - 27*b - 78. Let u(x) = -x**2 - 6*x + 29. Let i be u(-5). Does 4 divide l(i)?
True
Let r(o) = -3*o + 1. Let q be r(-1). Let k = -727 + 732. Suppose k*s + 0 - 5 = 0, -q*b = 5*s - 265. Does 14 divide b?
False
Let y = 17 + -13. Suppose y*j = -39 + 215. Is j a multiple of 4?
True
Let i be 2/(-9) + 448/72. Suppose -310 = -i*q + 212. Is 3 a factor of q?
True
Let a = 793 + -516. Let p = a + 176. Does 43 divide p?
False
Let c(u) = 364*u + 764. Is 13 a factor of c(14)?
False
Let m(r) be the third derivative of r**6/60 - r**4/12 - r**3/3 + 19*r**2. Let d be m(-1). Is 5 a factor of (-2 + -1 - d) + (-64)/(-4)?
True
Suppose -33190 = 8*m - 67231 - 154807. Is 341 a factor of m?
False
Let i(d) = 140*d + 3154. Is i(-5) a multiple of 3?
True
Let v be (1*(-1 + 0)*0)/3. Is 18 a factor of (151 - -3) + v/(-1)?
False
Suppose 3*d = 4*d - 5*k - 496, 0 = -5*d - k + 2584. Let s = d + -127. Does 19 divide s?
False
Suppose 15*g + 34422 = 39756 + 48816. Is g a multiple of 38?
True
Let z(f) = 7 + 2*f**3 - 1 - 7*f - 8 + 39*f**2 + 4. Let t(o) = -o**3 - 19*o**2 + 3*o - 1. Let j(h) = -5*t(h) - 2*z(h). Is j(-17) a multiple of 9?
True
Suppose -8*i + 1335 = -3*i - 3*s, 285 = i + 3*s. Let n = 692 - i. Does 17 divide n?
False
Suppose 148*n - 1185248 = -138229 + 28201. Is n a multiple of 20?
False
Let h = -487 - -486. Is (-2709)/(-4 - h) - 9 a multiple of 61?
False
Let f(u) = 2*u**3 + 97*u**2 + 309*u + 128. Is f(-42) a multiple of 142?
True
Let c = -671 - -2246. Is c a multiple of 3?
True
Let c(n) = -n**2 - 6*n - 3. Suppose z + 6 = -2*z. Let h be c(z). Suppose -h*k + 18*k = 2249. Is k a multiple of 35?
False
Let m = -211 + 631. Suppose -63 = -23*d + m. Does 2 divide d?
False
Let v = -175 - -175. Let i(p) = -15*p + 210. Is 10 a factor of i(v)?
True
Suppose 2*d - 14 = -0*d. Suppose -2*s - 4*w = -d*w + 1, 3 = s - 5*w. Does 14 divide 2 + (36 - -2 - s)?
True
Suppose 8*q = -6 + 54. Let c be 2/q + (-2 - 22/(-6)). Suppose -c*g = -3*f - 40, -2*g - 3*f = -6*g + 86. Is g a multiple of 23?
True
Let g(v) = 54*v + 35. Let s = 165 - 160. Does 61 divide g(s)?
True
Suppose 0 = 7*r - 5*r + 2*z - 132, -4*r = -5*z - 300. Let u = 6 - -52. Let f = r - u. Is f even?
True
Let i(c) = 3*c**3 + 4*c**2 - 1. Let x be i(3). Suppose -2*q - 100 + x = 0. Is q a multiple of 2?
True
Let u be (-16)/(-200) - 273/(-25). Suppose 3*k - r = 766, u*r - 8*r = -3*k + 774. Is k a multiple of 32?
True
Let y(t) = -127*t + 3057. Is 11 a factor of y(-6)?
False
Let g(h) = -182*h + 7. Let z be g(1). Is 35/z*(-1 - 234) a multiple of 17?
False
Suppose 209*h - 621*h + 1845250 = 193*h. Does 50 divide h?
True
Let h be 110158/(-3) - 12/198*11. Is h/(-70) - 9/(-21) a multiple of 20?
False
Let k(s) = -s**3 + 5*s**2 - 2*s + 15. Let w be k(5). Suppose -912 = -2*p + 3*y, -w*p + 3*y - 1406 = -3704. Does 66 divide p?
True
Let k be 616/(-21) - 4 - (-1)/3. Let v = k - -84. Let f = 41 + v. Is f a multiple of 16?
False
Suppose 86 = 5*a + 36. Suppose -a*x + 402 = -4*x. Let g = -34 + x. Is g a multiple of 5?
False
Let u = -41 - -41. Suppose -6*c = -u*c + c. Suppose 5*o - 3*i = 381, 2*o + 2*i + c*i = 162. Is o a multiple of 38?
False
Let u(i) = -i**2 - 2. Let w be u(0). Let y(b) = -2*b. Let x(t) = -5*t**3 - t**2 - 13*t. Let k(n) = x(n) - 5*y(n). Does 6 divide k(w)?
True
Suppose 0 = -9*s - 384 + 51. Let z = 51 - 96. Let j = s - z. Is 4 a factor of j?
True
Suppose -2*o - 9409 = 4*r - 24735, -r - 38315 = -5*o. Is o a multiple of 79?
True
Let z(l) = 4*l**2 + 16*l - 49. Let x be z(-12).