 3*f = 39094. Does 48 divide j?
False
Let c = 36761 - 18295. Is c a multiple of 41?
False
Suppose 0 = -131*t + 128*t + 2*l + 123358, -82244 = -2*t + 2*l. Does 167 divide t?
False
Let b be (147/(-2))/((-33)/308). Suppose -b = -23*y + 30*y. Let n = -79 - y. Is 7 a factor of n?
False
Suppose 45 = 227*d - 218*d. Suppose 0 = 4*b - d*n - 344 - 629, -5*n + 509 = 2*b. Is b a multiple of 19?
True
Let l(c) = 1899*c + 152. Is 50 a factor of l(2)?
True
Suppose -4*c + h = -7 - 8, -6 = c + 3*h. Suppose 5*i + 793 = 2*x, c*i = i + x - 317. Let b = i - -281. Is b a multiple of 26?
False
Let m(s) = -2*s**3 + 62*s**2 + 61*s + 97. Let n be m(32). Does 44 divide -55*-48*n/(-2)*-1?
True
Let u(z) = -9*z**2 - 6*z + 7. Let t be u(3). Let i = t - -185. Suppose 3*k = 135 + i. Is 10 a factor of k?
False
Let m be 2 - 4 - 18/(-6). Let q be (-42)/35*(-3 - m/3). Suppose q*g + 249 = 7*g. Does 7 divide g?
False
Is 11 + -8 + 2 - -445 a multiple of 15?
True
Is 37 a factor of (-5 + 18 - -5) + 23664?
False
Let h = 2479 + 7364. Does 193 divide h?
True
Suppose 169 = -8*m + 905. Suppose -3*d = -c + 56, 4*c - 72 = -d + 5*d. Let v = d + m. Does 33 divide v?
False
Suppose 9 + 12 = 7*l. Suppose l*k = 2*p - 84, 2*k + 56 + 60 = 3*p. Does 18 divide p?
True
Let x(g) = -g**3 + 22*g**2 - 16*g - 25. Is x(19) a multiple of 58?
True
Let n = -279 + 338. Suppose 11*v - 161 - n = 0. Does 7 divide v?
False
Does 42 divide (-244188)/85*(-385)/14?
True
Is 3 a factor of (-2)/12 + 207163/222?
True
Let j = 171 - 188. Is 25 a factor of ((-14 - -6) + j)*-15?
True
Let w(q) = 235*q + 3343. Does 54 divide w(53)?
False
Let f = 85 - -233. Let p = f + -69. Does 24 divide p?
False
Let b(j) = j**2 - 12*j - 2. Let i be b(12). Is 13 a factor of (-11)/(-7) + i - 1552/(-28)?
False
Let u(d) = 2*d + 108. Suppose 0 = -61*p + 68*p. Is 27 a factor of u(p)?
True
Let r(l) = -11*l + 61. Let d(g) = -10*g + 62. Let x(k) = -5*k + 31. Let h(o) = -2*d(o) + 5*x(o). Let b(a) = -7*h(a) + 4*r(a). Is b(-8) a multiple of 13?
False
Suppose -4176*s - 650160 = -4246*s. Is s a multiple of 43?
True
Let r be (96/15 - 4)*40. Suppose -r - 174 = -6*m. Let h = -21 + m. Does 12 divide h?
True
Is 1*((-4)/38 - 843697/(-19)) a multiple of 107?
True
Suppose -5*p = 3*z - 147814, 0 = 9*z - 18*z + p + 443506. Is 43 a factor of z?
True
Let x be (1 + (-436)/(-6))/((-107)/(-321)). Suppose -q + x = q + a, 3*a - 231 = -2*q. Does 27 divide q?
True
Let n(g) = 235*g**2 - g + 2. Let y be n(1). Let f = -411 - -411. Suppose f = -m - 3*i + 248, 3*i = 2*m - m - y. Is m a multiple of 24?
False
Suppose -268 + 18 = -2*x - 4*w, -x - 4*w = -127. Let z = 23 + x. Suppose 4*f - z = -h - f, f + 237 = 2*h. Does 16 divide h?
False
Let k = 833 - 252. Let h = k + -305. Suppose 7*t = f + 2*t - 74, h = 3*f + 3*t. Is 8 a factor of f?
False
Let w = 18724 - 4763. Is 16 a factor of w?
False
Let m(r) = -r**2 + 3*r + 5. Let j be m(7). Let q = -11 - j. Suppose w + q*w = 533. Is w a multiple of 13?
False
Let w be 52/(-117) - (-4)/9. Is 2 a factor of (w + 188/6)/((-156)/(-234))?
False
Suppose -12*d + 9*d = 18. Is (15/d*-2)/(8/1016) a multiple of 35?
False
Let p be (6/(-4))/(9/(-12)) + -368. Let d = p + 832. Is d a multiple of 8?
False
Let z(b) = -b**2 - 8*b + 3. Let g be z(0). Suppose 4*a - 7 + 2 = f, 65 = g*f + 4*a. Suppose -f*y = -10*y - 70. Does 14 divide y?
True
Let q = -36 + 24. Let s(b) = -b**3 - 13*b**2 - 16*b - 16. Does 3 divide s(q)?
False
Let i be (56 + 15)/((-1 - -4)/(-3)). Let y be -40 + (-1)/(2 + -3). Let b = y - i. Does 16 divide b?
True
Suppose 137*u + 6 = 138*u. Let b = -10 - -10. Suppose -r + u*r - 225 = b. Does 5 divide r?
True
Let q(h) be the second derivative of h**3/3 + 17*h**2/2 - 13*h. Let p be q(-6). Is 1029/p + (-6)/(-30) a multiple of 15?
False
Let v be 7/(70/8)*385/(-2). Let n = 444 - v. Does 17 divide n?
False
Let s(t) = 58*t - 170. Let g be s(-6). Let u = 898 + g. Is 20 a factor of u?
True
Suppose -149688 = -4*p - 3*g, 0 = 21*p - 19*p + 2*g - 74840. Is 8 a factor of p?
False
Let o(c) = c**3 + 86*c**2 - 209*c - 1099. Is o(-86) a multiple of 9?
True
Let w(t) = 2*t - 28. Let i be w(15). Suppose -2*j - i*u - 110 = 3*j, -u = 5. Let v = 2 - j. Is v a multiple of 11?
True
Let s(j) = -30*j + 4. Let k be s(-6). Let o be -2*6*k/12. Let g = o - -329. Does 19 divide g?
False
Let c = 66 + -36. Suppose 5*j + 91 = -r - 86, 4*j = -2*r - 144. Does 25 divide c/9*(-6)/14*j?
True
Let d(x) = -52 + 12 + 14*x + 26*x. Does 52 divide d(14)?
True
Suppose 202939 - 104964 = 10*p - 440785. Is 95 a factor of p?
False
Suppose -2*q + 2*z = -10, 2*q + 0*q = 5*z + 25. Suppose q = 8*o - 455 - 401. Is 29 a factor of o?
False
Let a(u) = u**2 + 2*u - 1. Let z(f) = -7*f**2 - 73*f + 10. Let k(r) = 6*a(r) + z(r). Is 12 a factor of k(-8)?
False
Suppose 0 = 384*r - 385*r + 807. Is r a multiple of 22?
False
Let r be 8*(5838/(-24))/(-7). Suppose -3*o + 5*u = o - r, -2*u - 284 = -4*o. Is 9 a factor of o?
True
Let l(k) = 599*k**2 + 45*k + 209. Is l(-6) a multiple of 176?
False
Suppose -2*d - 3*h + 13 = -d, -3*d = -3*h - 3. Suppose -4*t = -n - 533, 0 = d*t + n - 237 - 286. Is 5 a factor of t?
False
Let y(t) be the third derivative of -7*t**6/120 - t**4/3 + 7*t**3/6 + 2*t**2 + 2. Let h be y(-7). Suppose 22*k - h = -0*k. Is 32 a factor of k?
False
Let s(h) = h**3 - 8*h**2 + 23*h - 12. Suppose -5*w + 25 = 2*i, 5*i + 1 + 24 = 0. Is s(w) a multiple of 25?
True
Suppose 114*v + 1680640 = 754*v. Is v a multiple of 202?
True
Let h(c) = 0 + 2*c**2 - 3*c - c**2 + 2. Let s be h(2). Suppose s = 10*o - 12*o + 152. Is 19 a factor of o?
True
Let r = 60 + -68. Let x be (-1344)/(-70) + (-1 - r/10). Suppose 13*n - x*n = -672. Is 33 a factor of n?
False
Suppose -35 - 11 = -23*o. Suppose 14*a - 12*a - 588 = -4*c, 2*a - 584 = -o*c. Does 23 divide a?
False
Suppose 27*v - 6300 = 17*v. Let r = v - 618. Is 12 a factor of r?
True
Let b be (14/49)/(6/21). Suppose 2*x + 1 = -b, 3*p - 17 = 5*x. Is 3 - ((-48)/p + -2) a multiple of 2?
False
Let y = -136 - -143. Suppose 2*r - y = -1. Suppose x = a + r*x - 32, 2*a + x - 61 = 0. Is 15 a factor of a?
True
Let n = -4529 - -7474. Suppose -60*y + 13265 = n. Does 11 divide y?
False
Let g = -127 + 143. Let p(h) = h**3 - 17*h**2 + 19*h - 27. Is p(g) a multiple of 7?
True
Let g = 6745 - 6212. Does 13 divide g?
True
Suppose 122 - 3574 = -4*n. Suppose -13*t = -1295 - n. Is t a multiple of 4?
False
Let y = 705 + -424. Let m = -30 + y. Suppose -4*w + m = -5*r, -4*r + 8*r = 4. Is w a multiple of 8?
True
Suppose -3*w = -11*f + 13*f, 4*f - 3*w - 36 = 0. Suppose 3*v + 1208 = f*v + 2*z, -z + 4 = 0. Is 16 a factor of v?
True
Suppose 5*i + 15 = 2*i. Let a(r) = -29*r + 5. Let j(u) = -30*u + 5. Let d(o) = i*j(o) + 6*a(o). Does 22 divide d(-6)?
False
Let w(l) = l**3 - 9*l**2 - 9*l - 14. Let t be w(10). Let y be (7/t)/(2/8). Let s = y - -37. Is 15 a factor of s?
True
Let c(r) = r**3 + 4*r**2 - 2*r - 4. Let o be c(-4). Suppose 60*j + 11*j = 0. Suppose o*z + 5*d - 77 = j, z = 3*d - 0 - 2. Is z a multiple of 2?
False
Let q(h) = -h**2 + 12*h + 17. Let p(c) = 2*c**2 - 23*c - 36. Let w(u) = -2*p(u) - 5*q(u). Let y be (3/2)/((-6)/(-64)). Does 3 divide w(y)?
False
Let r = -176 - -178. Suppose -3*n = 2*k - 90, -4*k + 164 = -4*n + r*n. Does 21 divide k?
True
Let o = 4840 - 264. Does 52 divide o?
True
Suppose 0 = 10*z + 10 - 710. Let s = 454 - z. Is s a multiple of 64?
True
Suppose 506 = -f - 4*u, 88*f - 1964 = 92*f - 4*u. Does 2 divide -1*(-6)/(-57) - 30186/f?
False
Suppose -25*d = -9*d - 1200. Suppose 0 = 2*u - 5*x - d, 0 = -3*x - x - 12. Is u a multiple of 4?
False
Let q(x) be the third derivative of x**6/120 + x**5/12 - x**4/6 + 11*x**3/6 - 41*x**2. Let o be q(-5). Suppose 28*t + 120 = o*t. Is t a multiple of 4?
True
Let b = -610 - -604. Let v = 150 - 102. Let q = v - b. Is q a multiple of 16?
False
Let k(d) = -d**3 + 16*d**2 - 22*d + 3. Let f(n) = n + 12. Let c be f(0). Let q be k(c). Let b = 490 - q. Is 37 a factor of b?
False
Suppose -2*u - 682 = -2*y, 10*u - 1378 = 14*u + 3*y. Let l = u + 507. Does 9 divide l?
False
Let o = 10289 + -4177. Does 30 divide o?
False
Let a(n) = -n - 9*n - 12 - 2*n. Let i be a(4). Let p = i + 98. Is p a multiple of 12?
False
Suppose 5*k - 3*w = 3372, 52*k + 2028 = 55*k + 3*w. Is k a multiple of 3?
True
Suppose 3*j + 1097*c - 17076 = 1095*c, -5*j - c = -28474. Does 8 divide j?
True
Suppose