Is 13 a factor of m?
True
Let o(d) = 21*d**2 - 12*d - 237. Is 6 a factor of o(19)?
True
Suppose 33*p = 31*p + 212. Suppose -2*d = -3*x + 304, d = -x - 3*d + p. Is 5 a factor of x?
False
Let w = -373 - -921. Is w a multiple of 3?
False
Let d be ((-135)/20)/1*-24. Suppose -d = -4*m + 798. Does 20 divide m?
True
Let a = 31 - 9. Let q be ((-2)/8)/((-4167)/1044 - -4). Is (2*a/8)/(q/(-1334)) a multiple of 32?
False
Let d = 51 - 40. Does 2 divide (d/(-33))/(4/(-288))?
True
Let p = 133 - 147. Does 7 divide 1 - -1 - ((-1089)/9 + p)?
False
Suppose -2*x + 3*k + 34 = 2*k, -5*x + 5*k = -95. Let d(h) = 11*h - 26. Let u be d(x). Let q = -101 + u. Is q a multiple of 3?
False
Suppose 47 = 21*i - 58. Suppose 4*m = -4*b + 5*m + 1295, b - 319 = i*m. Does 6 divide b?
True
Let v(s) be the first derivative of -s**4/2 - 77*s**3/3 - 22*s**2 - 24*s - 44. Is v(-38) a multiple of 6?
True
Let k(u) = u**3 + 4*u**2 - 4*u + 4. Let h(w) = -w - 18. Let j be h(-13). Let t be k(j). Let m(a) = -42*a + 3. Does 9 divide m(t)?
True
Let w(k) = -131*k - 562 + 568 - 85*k. Does 73 divide w(-2)?
True
Suppose 21840 = 2*t + 11*t. Suppose -4*r = -0*r - t. Is r a multiple of 12?
True
Let c(n) = -n**3 + 20*n**2 - 17*n + 19. Let v be c(19). Suppose 228 = -53*g + v*g. Is 57 a factor of g?
True
Does 21 divide (2202 - 1 - -4)*(-656)/(-246)?
True
Let k(h) = h**3 + h**2 - 5*h + 16306. Does 12 divide k(0)?
False
Suppose 48*w - 43*w = 3780. Does 28 divide w?
True
Suppose -4*h = -2*l + 20, -2 = 2*l - 3*h - 19. Suppose l*y + 0*y - 232 = 0. Is 28 a factor of 4 - (-3)/(1 - y/64)?
False
Let v(a) = a**3 + 4*a**2 - 16*a + 2. Let f be v(-8). Let x be 7/(f/(-48))*(-33)/2. Does 26 divide 113/4 - (-11)/x?
False
Suppose -19266 = -12764*v + 12751*v. Does 114 divide v?
True
Let z = 4319 + -2307. Is z a multiple of 73?
False
Let q = 5 - -9. Suppose 6*a + q = 4*a. Is 20 a factor of (a + 4)/((-1)/13)?
False
Suppose 0 = -o - 2*w + 5, 2*o - o + 5*w - 5 = 0. Suppose -14 = -q + o*x, 5 = 2*q - x - 5. Does 10 divide q - 1 - (203/(-1))/1?
False
Let s = -255 - -257. Suppose -s*k + 115 = -6*y + y, -k + 60 = -3*y. Is k a multiple of 3?
True
Let m(d) = 477*d - 5. Let r be m(1). Let q = -350 + r. Is q a multiple of 9?
False
Let s be -7*(-6)/(-9) - 2/6. Let n = s + 7. Suppose 8*b = -n*b + 950. Is 19 a factor of b?
True
Let w(v) = v**3 + 32*v**2 + 107*v + 148. Is 3 a factor of w(-21)?
False
Let j(d) = d**3 + d**2 + 291. Let o be j(0). Suppose -2*s = -3*l + 111, 5*l + 108 = 4*s + o. Suppose -2*p - 3 = -l. Does 9 divide p?
True
Let z = -19619 + 34445. Is z a multiple of 4?
False
Let c(u) = 396*u + 460. Is c(43) a multiple of 16?
True
Let h be 30/24*3/((-9)/(-3156)). Suppose 7*z = 2*z - 5, 5*s + 5*z = h. Does 33 divide s?
True
Let l = 1435 - -797. Is 31 a factor of l?
True
Let m = 3297 + -805. Suppose 7*b - m = 448. Is b a multiple of 28?
True
Let n(y) = y**3 + 53*y**2 + 82*y + 852. Is 15 a factor of n(-42)?
False
Suppose 744*r - 35757 = 741*r. Does 16 divide r?
False
Let c(o) = o**3 + 12*o**2 - 18*o - 60. Let b be c(-13). Let w = 4 + 0. Suppose 0 = 5*u + w + 1, -2*v + 47 = -b*u. Is v a multiple of 20?
False
Suppose -292 = -x - 5*l, 0 = x - 45*l + 46*l - 296. Let q = 350 - x. Is q a multiple of 5?
False
Suppose -t = -q + 22, -5*q - 3*t = 2*t - 90. Is 8724/q + 4/5 a multiple of 69?
False
Suppose 32*a - 1072 = 16*a. Suppose 0 = 4*u + 4*n + n - 36, 0 = 2*u - n - 4. Suppose -x - u = -a. Is 7 a factor of x?
True
Let d be -118 + -2 + (2 - -3). Let g = 25 - d. Is 19 a factor of g?
False
Suppose 4*y + u = 25839 - 3730, 5*y - 27631 = 4*u. Suppose -3*p + 5*t = -5503, 0 = -3*p - 4*t + 3*t + y. Is p a multiple of 28?
False
Suppose -5*x + 2*a + 50632 = 0, 79 - 77 = -2*a. Does 6 divide x?
False
Let u(j) be the second derivative of j**4/12 + j**2 - 11*j. Let d be u(2). Suppose 382 = -d*c + 1054. Is 16 a factor of c?
True
Let s = 117 + -51. Suppose 3*i = -i + 2*a + 84, -s = -2*i - 5*a. Does 7 divide i?
False
Let i(n) be the second derivative of -n**5/20 - n**4/12 + 3*n**3/2 + 7*n**2/2 - 20*n. Is 6 a factor of i(0)?
False
Let g be 3/15 - (-1128)/(-15). Let y = g + 55. Is (-4)/10 + (1952/y)/(-4) a multiple of 12?
True
Let j(s) = -s**2 - 8*s + 13. Let b be j(-9). Suppose -2*m = q - 172, 5*m - 4*m + b = 0. Is q a multiple of 18?
True
Suppose 2*t - 18 = -0*s - 2*s, -3*t - s + 29 = 0. Let l be 146/(0 + t/(-15)). Let y = 325 + l. Does 20 divide y?
False
Let q = 66299 + -41405. Is q a multiple of 18?
True
Suppose t + 2*w - 13003 = 21621, 5*w = -45. Is 404 a factor of t?
False
Suppose -24 = -4*i + 1260. Suppose 3*c + 164 - 201 = 5*p, -c - 21 = 5*p. Is (11 + 1)/(p + i/63) a multiple of 14?
True
Let v = 240 + -406. Let k = 239 + v. Does 3 divide k?
False
Let l = 8899 - 4054. Is 15 a factor of l?
True
Let s = 35 - 42. Let z(b) = b**2 - 4*b - 9. Let k be z(s). Suppose -15*n + k + 172 = 0. Is 8 a factor of n?
True
Is (-5790)/(-8)*(13 + 4 + -11 + 2) a multiple of 11?
False
Let r(y) = -8*y + 681. Is r(-89) a multiple of 34?
False
Let n(c) be the first derivative of 40*c**2 + 61*c - 142. Is n(9) a multiple of 71?
True
Suppose -18737 - 18619 = -22*b. Suppose 569 = v + 2*o, -10*o = 3*v - 7*o - b. Is v a multiple of 23?
False
Suppose -3*w = g + g - 4, 4*g = 3*w + 8. Suppose 39 = k + 5*n, -10*k = -7*k - g*n - 66. Is k a multiple of 8?
True
Let x(d) = -10*d + 1130. Does 4 divide x(9)?
True
Let o = -477 + 484. Suppose o*k - 16*k = -2133. Is k a multiple of 11?
False
Let p(x) be the second derivative of -1/5*x**5 + 0 + 1/6*x**4 + 0*x**2 + 11*x + 1/2*x**3. Does 11 divide p(-2)?
False
Suppose -t = -5*j - 6917, -3*t - j = -5*j - 20740. Suppose 9*k - t = 351. Is 54 a factor of k?
False
Let k(l) be the second derivative of l**4/12 - 5*l**3/3 - 5*l**2 + 144*l. Suppose -2*z = -w + 2*w - 24, -w = 4*z - 48. Is k(z) a multiple of 14?
True
Let t be (2/(-4))/((-22)/(-19756)). Let b = 415 - t. Is 48 a factor of b?
True
Let p(f) = f**3 + 36*f**2 - 118*f + 97. Does 5 divide p(-34)?
False
Is 12 a factor of 1456/(-520)*(-93820)/4?
False
Let k(g) be the second derivative of 3*g**4/4 + 7*g**3/3 + 5*g**2 + 4*g + 1. Does 70 divide k(-10)?
True
Suppose 157*o = 25*o + 1030920. Does 77 divide o?
False
Let i be (-8)/(-28) - 61/(-7). Let u be (-696)/(-108) - (-4)/(-9). Suppose i*c = u*c + 240. Is c a multiple of 20?
True
Suppose 0 = -246*m + 318*m - 480816. Does 7 divide m?
True
Let c = 290 - 289. Suppose j + c = 0, 4*w - 795 = -5*j + 720. Is w a multiple of 95?
True
Suppose -2*h + 12561 = r, 0 = -r - 2*r - 2*h + 37663. Is r a multiple of 77?
True
Let w(q) = -q**2 - 20*q + 192. Let v be w(-27). Suppose 2*x + x - 5*p = 766, v*p + 258 = x. Is 15 a factor of x?
False
Let u be (3/4)/((-1)/(-4)). Let b be 1/(-1) + ((-82)/(-205))/(2/(-5)). Does 34 divide 1222/12 + b/(-36)*u?
True
Let a = -1062 - -3352. Is a a multiple of 6?
False
Let f(y) = -y**2 - 19*y - 65. Let c be f(-5). Let x be 1/(-2) - 1350/(-12). Suppose 5*b + 3*s = x, -62 = -c*b + 3*s + 26. Is b a multiple of 18?
False
Let y(j) be the first derivative of j**3/3 + 2*j**2 - 24*j - 171. Does 6 divide y(-14)?
False
Let l(x) = 2*x**2 + 47*x - 22. Let b be l(-24). Suppose b*a - 360 - 252 = 0. Does 29 divide a?
False
Let y be (8 - 28/4)*(-1 + 0). Is 21 a factor of (-74 + (-5 + 9 - 2))/y?
False
Let t(y) = 48*y + 22572. Does 76 divide t(0)?
True
Let o(w) = -w. Suppose -7 + 1 = 4*a + q, -2*q - 4 = 0. Let s be o(a). Is (-3)/9 + s + 244/3 a multiple of 6?
False
Let d(r) = -1278*r + 2078. Is 26 a factor of d(-7)?
True
Suppose 0 = 26*i + 20*i + 15134. Let v = 231 - i. Is v a multiple of 40?
True
Let f(b) = -136*b - 55. Let z be f(6). Let i = 1564 + z. Is 63 a factor of i?
True
Suppose 2*v - 4*x + 2*x - 498 = 0, 0 = 3*v + 4*x - 719. Let m be (17 + -14)*(1/(-3) - -1). Suppose 2*o + 5*a = 7*o - v, -102 = -m*o + 3*a. Does 45 divide o?
True
Suppose 26*q - 54327 = 7*q - 20*q. Is q even?
False
Let o be (2/(-5))/(1*(-2)/5). Let a(b) = 105*b**2 + b + 2. Is 12 a factor of a(o)?
True
Let y(s) = -s**3 - 3*s**2 - 2*s - 1. Let u be y(-1). Suppose 13*f - 864 = -41*f. Is u/((-3)/(-9)) + f/1 a multiple of 5?
False
Suppose 5*m = -4*z + 241, 4*z + 119 = 64*m - 61*m. Does 29 divide ((-7047)/m)/(2/(-10))?
True
Let o(f) = 0*f**2 + 323*f + 0*f**2 + 2 - 321*f - f**3. Let k be o(0). Let a(b) = 13*b**3 - 5*b**2 + 8*b + 1. Is 16 a factor of a(k)?
False
Let c(o) = -4*o**3 + o**2 + 