 of o?
False
Let g(h) = -h**3 - 10*h**2 + 9*h + 5. Let s be g(-11). Let a = -19 + s. Suppose 0 = -a*l + 3*l - 3*i + 20, 5*l - i = 20. Is l a multiple of 4?
True
Suppose 188 = -i + 2*j + 552, -2*i = 3*j - 700. Is 6 a factor of i?
False
Suppose -23*c = -219700 - 34836 - 57321. Is c a multiple of 13?
True
Let b = 105379 + -64147. Is b a multiple of 13?
False
Is 8/28 + (-5850)/(-7) + -10 a multiple of 7?
True
Suppose -r - r - 48 = 5*p, -p + 120 = -5*r. Let b = 776 - r. Is 50 a factor of b?
True
Suppose 8*x = -4*x + 2124. Suppose -182*f + x*f - 100 = 0. Is f*(8/(-20) - 93/30) a multiple of 7?
True
Let t(m) = -242*m - 704. Does 29 divide t(-24)?
True
Suppose 150*k - 266 = 143*k. Suppose k*z = 8*z + 4890. Is z a multiple of 9?
False
Let l = 19 + -6. Suppose -39 = -3*u + 3*y, -5*y - 29 = 12*u - l*u. Suppose 13*b = u*b + 12, -2*b - 462 = -3*j. Is 49 a factor of j?
False
Suppose 2*t - 4*c - 50 = 0, -t = -3*t - 3*c + 22. Let b(w) = 9*w**2 - 113*w + 24. Is 42 a factor of b(t)?
False
Suppose 3*v + 2*h - 51622 = 0, 2*v + 4*h - 14131 - 20289 = 0. Is 38 a factor of v?
False
Let p be (-20)/(-7 + (2 - -3)). Suppose 0 = v - p*v + 1647. Let d = v - 68. Is d a multiple of 23?
True
Does 143 divide (13403 - -4)/(6 + -3) + 3?
False
Let b = 3699 - 2629. Does 5 divide b?
True
Suppose -182272 = -32*y + 491296. Suppose y = 11*h + 259. Is 54 a factor of h?
True
Suppose 5*r + 35 = 5*b, 27 = -2*b + 7*b - r. Let s be 3/(-1)*(b + -2 + -4). Suppose s*q = 504 + 102. Is q a multiple of 26?
False
Is 25 a factor of (-433902)/(-7)*7/42?
False
Let n = 48416 - 18907. Does 16 divide n?
False
Does 57 divide 16211 - (1*-2 - 0/16)*-1?
False
Suppose -y = 4*u - 43, -u - 32 = -3*u - 4*y. Let x be (-26)/20*-8 + (-4)/u. Suppose 0 = x*o + 1002 - 2802. Is 28 a factor of o?
False
Suppose -5*w + 31 = -164. Let b = w + -51. Is 34 a factor of (0 - (-238)/4)/((-3)/b)?
True
Let x = -23 - -23. Suppose x = 29*c - 32*c + 423. Does 47 divide c?
True
Is (2 - 6230)*3/(-6) a multiple of 23?
False
Suppose 2*j = 45 + 79. Suppose -4*o + j = -3*d, -3*d - 5*o - 6 = 11. Let z = -6 - d. Does 2 divide z?
True
Suppose -1201*m + 1264*m = 2032317. Is 13 a factor of m?
False
Let j be 6/(3 - 5) - 20/(-1). Suppose -j*y + 16*y + 25 = 0. Is 18 a factor of y?
False
Suppose 3*r = -2*g + 1425, -54*g + 3*r + 699 = -53*g. Is 23 a factor of g?
False
Suppose 852 = 4*h + 200. Suppose a + 24 - 14 = 3*m, 3*m = -2*a + 16. Suppose -5*u = 2*c - h, -2*u + m*c + 103 = u. Is u a multiple of 8?
False
Is 55 a factor of (-349800)/(-4770)*-213*(-2)/8?
True
Suppose 128*f - 455691 + 22283 = 0. Does 17 divide f?
False
Let v(s) = s + 53. Let n be v(0). Suppose -3*f = -4*f - n. Let g = f + 76. Is g a multiple of 8?
False
Let v(m) = -8764*m - 31. Is v(-1) a multiple of 123?
True
Is 968/((-2675)/150 - -18) a multiple of 66?
True
Let r = -16 + 19. Let y(n) = 11*n**2 - 2*n + 3. Let v be y(r). Suppose 5*k + v = 2*s - 19, -5*s + 297 = -3*k. Is s a multiple of 30?
True
Is 158 a factor of (5 + 13699)/3 - -14?
True
Let z(q) = 29*q**3 - 18*q**2 + 26*q + 110. Is z(10) a multiple of 8?
False
Let p(a) = 17*a + 20*a**3 + 12*a**2 + 0*a**2 + 2*a**2 - 21*a**3 + 13. Let u be p(15). Suppose -155 = -3*m + u. Does 7 divide m?
False
Suppose 0 = 4*k - k - 6. Suppose 14 = k*m - 4*j, -2*m = 3*m - 3*j. Is 14 a factor of (m - -167)/4 - -1?
True
Suppose 0*l - 2*l - k + 4521 = 0, -k = 3. Is l a multiple of 58?
True
Suppose 0 = d + 5*b - 32161, b - 26551 = -3*d + 69946. Does 18 divide d?
True
Is (-16255666)/(-927) - (50/18 - 3) a multiple of 137?
True
Suppose -183*i - 1960474 = -11888041. Is 42 a factor of i?
False
Suppose 47 = -8*o + 15. Let a be (-5 + 42/6)/((-2)/o). Suppose -5*i - 20 = 0, 0 = 5*j - 4*j + a*i - 74. Does 18 divide j?
True
Suppose -5*d = y + 5 - 2, 8 = 4*y. Let b be (5 - (-3 + d))/3. Suppose -736 = -b*z - 2*f, -724 = -3*z + 3*f - 8*f. Is z a multiple of 31?
True
Let h(y) = 11*y**2 - 214*y + 15. Is h(25) a multiple of 28?
True
Let t = 38011 + -22623. Does 192 divide t?
False
Let u be 590/(-18) + (-60)/270. Does 5 divide (194/(-8))/(4 + u/8)?
False
Suppose 0 = -13*s + s + 156. Let y(h) = -h**2 + 21*h + 29. Does 16 divide y(s)?
False
Let n(g) = -2*g + 31. Suppose 6*j - 10 = j. Let v be (j/(-6)*1)/(13/(-234)). Is n(v) a multiple of 6?
False
Let l(m) = -6*m**2 - 41*m - 21. Let v be l(-6). Suppose v*f = -5*z + 4*f + 4035, -5*f + 3223 = 4*z. Does 29 divide z?
True
Let r(o) be the second derivative of 37*o**5/120 + 5*o**4/24 + 11*o**3/3 + 24*o. Let j(m) be the second derivative of r(m). Does 26 divide j(5)?
False
Suppose 44*q - 1702 = 1642. Is 3 a factor of q?
False
Let o(x) be the second derivative of x**5/20 + x**4/6 + 2*x**3/3 - 3*x**2 - 6*x. Let c(t) be the first derivative of o(t). Does 15 divide c(-4)?
False
Let p(y) = -y**3 + 62*y**2 + 868*y - 443. Does 9 divide p(70)?
False
Is (82 - 83)/(0 + 2/(-29020)) a multiple of 32?
False
Let j be ((-9)/(-45)*-9)/((-6)/10). Suppose j*b + 23100 = 36*b. Is 50 a factor of b?
True
Let z(r) = 4*r**2 + 36*r - 102. Is 24 a factor of z(8)?
False
Let v(z) = -z**3 + 4*z**2 - z + 8. Let j(r) = -r**3 - 2*r**2 + 4. Let h be j(-2). Let m be v(h). Suppose 5*d - 2*n - 66 = -m*n, -6 = -d + 2*n. Does 3 divide d?
True
Let f = 1225 + -913. Does 26 divide f?
True
Let u be (-4)/(-12) - (-39)/(-9). Let m be 3 - (3 + -2) - u. Does 13 divide 21/((-22)/m + 4)?
False
Let x(s) = 2*s**3 + 15*s**2 + 27*s + 20. Is 30 a factor of x(8)?
True
Suppose 5530 = 59*c - 49*c. Let j = -343 + c. Is 14 a factor of j?
True
Suppose 4*g + 40 - 88 = 0. Let d be (-7)/(-28) + 513/g. Suppose 0 = -3*o - 4*b + 468, 3*o + b = d + 425. Is o a multiple of 13?
True
Suppose 38*s + 7390 = 4*w + 39*s, 5534 = 3*w + 5*s. Is 28 a factor of w?
True
Let k be (((-680)/6)/10)/(2/3). Let t = k - -72. Does 12 divide t?
False
Let a be (-1)/(3 + 102/(-33)). Suppose 20254 = a*y + 30*y. Is 41 a factor of y?
False
Let t(c) = 3*c - 117. Let i be t(39). Does 51 divide 170 + (i - (-5 - -4))*-1?
False
Suppose -14 = 56*j - 63*j. Suppose 0 = 3*g + 5*t - 783 + 70, -8 = -j*t. Is 21 a factor of g?
True
Suppose -4*y - 1536 = -5*s, -2*s - y = -537 - 67. Let u = 204 - s. Let h = u - -178. Does 13 divide h?
True
Let h(f) = f**3 + 36*f**2 - 86*f + 38. Is 3 a factor of h(-34)?
True
Suppose 2*z = t - 6*t + 575, z + 3*t = 288. Suppose f - 4*f - z = -5*b, 5*b + 4*f - 285 = 0. Is b a multiple of 4?
False
Suppose m + 5*o = -311, o = -4*o - 20. Let z = m - -517. Let t = z + -158. Is t a multiple of 4?
True
Let f(p) = p**3 - 20*p**2 + p - 16. Let k be f(20). Suppose 10*n - 174 = -k. Is 7 a factor of n?
False
Suppose -4*j + 108 = 5*v, -2*j + 52 = -3*v + 6*v. Suppose 23*g + 324 = j*g. Is g a multiple of 4?
True
Suppose -3*s + 0*s = -1722. Let p = 625 - s. Does 2 divide p?
False
Suppose 0 = 11*j - 26*j + 4935. Suppose -4*o - 3*a = -1256, -3*a = 11*o - 12*o + j. Is 25 a factor of o?
False
Let i(a) = 2*a + 19. Let g be i(-9). Let z be 507*g - (-1 - -6). Is 4 a factor of 32/24 + z/6?
False
Let c = -4604 - -6670. Suppose -c = -6*d + 118. Is 28 a factor of d?
True
Let r be (-379)/(2*(-4)/8). Suppose -o = -r - 69. Does 56 divide o?
True
Suppose -9*g = -12*g + 4*l + 15383, 0 = -2*g - 4*l + 10282. Is 394 a factor of g?
False
Let d(p) = 57*p + 4401. Is 42 a factor of d(0)?
False
Let c(y) = -y**2 + 15*y - 3. Let p be c(15). Let d(k) = 9*k - 20. Let b be d(2). Does 11 divide (-22*p/b)/(0 + -1)?
True
Suppose -206*x - 21*x = -2054866 - 2957294. Is 30 a factor of x?
True
Let f = 511 - 511. Suppose 7*k + 246 - 687 = f. Is k a multiple of 2?
False
Suppose 4*h + 1798 = -5*m, -189 - 535 = 2*m + 4*h. Let v = m + 673. Does 9 divide v?
True
Suppose 5*d = -j + 211494, 5*d + 75*j - 77*j - 211497 = 0. Is 12 a factor of d?
False
Let g = -46 + 49. Suppose g*o = -2*o, 5*o = q - 483. Does 23 divide q?
True
Let d(s) = s**3 - s**2 - s + 11. Let j be d(0). Suppose j*u - 517 = -0*u. Is 47 a factor of u?
True
Let p(o) = -739*o + 230. Does 14 divide p(-2)?
True
Suppose 3838 = 26*d - 7*d. Suppose -3*k + d = 67. Is k a multiple of 15?
True
Let p(l) = -3*l. Let g be p(-1). Let q be -4*g/6 - 0. Is 6 a factor of 2*(135/10 + q)?
False
Suppose 0 = -5*t, 1152 = 5*r - 4*t - 1538. Suppose 5*i = 2*j - 1089, -10*j = -11*j - 4*i + r. Is j a multiple of 13?
False
Let q = -2115 - -2120. Let k = 10 - 7. Suppose 395 = q*y - 5*r, 5*y - k*y + 3*r - 153 = 0. Is y a 