e w(h). Suppose 8*o = i*o + 360. Is 30 a factor of o?
True
Suppose 2*h - 9 = -1. Let w = h - -1. Suppose -5*a + 45 = w*z, -35 - 30 = -5*z + 5*a. Does 5 divide z?
False
Let w = -2187 + 2615. Let o(t) = 14*t + 2. Let f be o(3). Is 9 a factor of (f/12 - 3) + w/6?
True
Let g be (6 - (2 + -1))/((-39)/(-195)). Let s(h) = 2*h**2 - 2*h - 111. Does 20 divide s(g)?
False
Suppose -13*j + 58 + 137 = 0. Suppose -j*s + 742 = -368. Is s a multiple of 11?
False
Is 139282/390 - 10/75 a multiple of 4?
False
Let s(d) = d**2 - 30*d - 43. Let k(x) = 8*x - 34. Let v be k(8). Let t be s(v). Let i = t - -175. Is 11 a factor of i?
True
Suppose -5*t - 18821 = -5*i - t, -3*t - 7527 = -2*i. Is i a multiple of 9?
False
Let u(a) = 53*a + 2647. Is 38 a factor of u(87)?
True
Let t(n) = 14*n + 7821. Let f be t(0). Suppose -10*p = p - f. Is p a multiple of 68?
False
Suppose 4*t = -166 - 6. Suppose -2*w - 255 = 5*v, -w = 3*v - 6*w + 122. Let y = t - v. Is y a multiple of 4?
False
Let m be (2592/(-1))/(-2) + -5. Suppose 3*s - m = 5*l, 2*s - 3*l = -6*l + 886. Is 16 a factor of s?
False
Let j = 352 + -370. Let f(n) = -n**2 - 18*n + 54. Is 6 a factor of f(j)?
True
Let r = 26 - 6. Suppose -a = -11 + 23. Let d = a + r. Does 3 divide d?
False
Is 13*((-12)/102 - (-77785)/85) a multiple of 39?
True
Is (0 - -58)/(-30 - -24 - (-4531)/755) a multiple of 50?
False
Suppose 3*g - 2412 = -5*b + 4*g, -5*b + 5*g + 2420 = 0. Suppose 716 = 2*n - 4*o, -3*n - 3*o = -637 - b. Is 46 a factor of n?
True
Suppose 0 = -3*k + j, 0 = -2*k - j - 3*j - 14. Let f be (5 - 7)/((-50)/49 - k). Let v = f + -35. Is 4 a factor of v?
False
Suppose 0 = -230*h + 411*h - 232*h + 791265. Does 20 divide h?
False
Let m(n) = -n**3 - 6*n**2 - 5*n + 8. Suppose x - 42 = -r, 8*r - 6*r + 4*x - 92 = 0. Let f = -45 + r. Is 9 a factor of m(f)?
False
Suppose 5*m - 207 = -4*b - 0*m, -m - 189 = -4*b. Is 9 a factor of (3*344/72)/(2/b)?
False
Let l(u) = 160*u**2 - 32*u + 22. Does 34 divide l(-5)?
True
Let l(d) = d**3 + 3*d**2 + 8*d - 20. Let c be (-6)/4 - (-6)/4. Suppose 3*n - r = 9 + 3, -3*n + 5*r + 12 = c. Does 38 divide l(n)?
False
Let p(r) = r**2 - 18*r + 60. Let h be p(14). Suppose 5*y - 147 = -h*v + 8*v, -114 = -4*y + 2*v. Does 5 divide y?
False
Is (-10)/2 + (-37)/(481/(-65702)) a multiple of 51?
True
Let u = -4096 + 6574. Does 42 divide u?
True
Let p(t) = t**3 + 43*t**2 - 38*t + 446. Is p(-42) a multiple of 22?
True
Suppose -20*m + 12 = -22*m. Let k be (-6)/m*(77 - -2). Let g = k - 56. Is 8 a factor of g?
False
Let o = -2691 - -2169. Suppose -4*d - 464 = 2*f, 0*f + 4*f - 5*d = -954. Let g = f - o. Does 32 divide g?
False
Suppose 140*y - 160*y = -12420. Is 8 a factor of y?
False
Let g(b) = -3*b + 40. Let q be g(8). Suppose -9*n + q*n = 455. Does 8 divide n?
False
Let h(u) = u + 73. Let p be h(23). Let b be 3*(2 - (-14 - 2)). Let s = p - b. Is 16 a factor of s?
False
Suppose 6*i = 4*i + 14. Suppose 19 = i*k - 9. Suppose -290 = k*t - 9*t. Is 49 a factor of t?
False
Let t = 121 - 101. Let s(v) = v**2 - 16*v - 19. Is 12 a factor of s(t)?
False
Let n(o) = 7*o + 14. Let c be n(4). Suppose t - 5*k - 19 - c = 0, -5*k - 285 = -5*t. Is 21 a factor of t?
False
Suppose -2886 = 53*g - 52*g - 7410. Is g a multiple of 13?
True
Is 14 a factor of 42/(-3) - (-72 + -558)?
True
Let x = 267 - -233. Suppose 0 = c - 424 - x. Is 14 a factor of c?
True
Suppose 0 = -2*v + 65 + 89. Suppose -v*s + 252 = -71*s. Is 24 a factor of s?
False
Let v(u) = -2*u**3 - 8*u**2 - 4*u + 12. Let t be v(-5). Let g = 36 + t. Is 59 a factor of g?
True
Let d = 646 - 0. Suppose 4*q + 1268 = 4*j, 4*j - 5*q - 620 - d = 0. Is 19 a factor of j?
False
Suppose -20*i = -28*i + 2416. Let l = 583 - i. Does 16 divide l?
False
Let h(g) = g**2 + 19*g - 3. Let b be h(-18). Let r = 24 + b. Suppose -15 + 165 = r*x. Is 8 a factor of x?
False
Let w(j) = -2*j - 12. Let i be w(-7). Let o be 14/4 + (2 - i/4). Does 42 divide 487/5 - 0 - (-3)/o?
False
Let o = -9926 - -18690. Suppose -7*m + 4*s + 7024 = -3*m, -5*m - 3*s = -o. Is 17 a factor of m?
False
Suppose 4*k = -3*s + 32548, 0 = 3*k - 2*s - 22914 - 1497. Is 41 a factor of k?
False
Let p(c) = 6*c**2 - 6*c + 9. Let n = 226 + -233. Does 23 divide p(n)?
True
Let a be -23*((-10)/30)/(2/(-66)). Let c = a + 365. Is 4 a factor of c?
True
Let c(b) = -2*b - 5. Let k be c(-4). Let q be 166 + ((-28)/(-8))/7*-8. Suppose 16 = -4*t, t - k*t = 5*l - q. Does 3 divide l?
False
Suppose 3*l - 72 = -5*h + 2*h, 2*l - 13 = 5*h. Let o be (4/(-3) - -1)*3. Is 7 a factor of l + (o + 4 - 3)?
False
Let k(c) be the first derivative of 5*c**3/3 + 9*c**2/2 + 39*c - 4. Is k(-5) a multiple of 2?
False
Let j be ((-2)/4)/(6 + (-2739)/456). Suppose j*n = 62*n + 196. Does 3 divide n?
False
Let i(z) = -z**3 + 31*z**2 + 39*z + 48. Let a be i(32). Suppose -2*d + 4*d + 366 = 4*s, 3*s - a = 4*d. Is s a multiple of 9?
False
Let o = 13 + -11. Suppose -o*s = -2*j, 3*j = -3*s - 2*j + 16. Suppose 4*w + 0*d = d + 345, -s*d - 432 = -5*w. Does 24 divide w?
False
Suppose -3*x - 5*v - 13 = 0, 3*x + 52 = -x + 2*v. Let p = 1264 - x. Does 85 divide p?
True
Suppose -7*x + 29 = -27. Let o = -118 + 203. Suppose 1067 = x*z - o. Does 30 divide z?
False
Let g = -273 + 278. Suppose -5*m + 5*w = -3025, g*m - 9*m + 2*w = -2430. Is 61 a factor of m?
True
Suppose -3*b = 3*m - 18 - 102, 3*m + 2*b = 120. Let y = -2037 + 2119. Let z = y - m. Does 7 divide z?
True
Suppose -64*c - 270767 + 1417157 = -1044202. Is c a multiple of 398?
True
Suppose 128*s + 14*s = -46*s + 4373444. Is s a multiple of 18?
False
Let i = -358 - -865. Let s = -360 + i. Is s a multiple of 33?
False
Suppose 163*c = 160*c - 4*b + 23779, 5*c = -4*b + 39637. Is 8 a factor of c?
False
Is 20 a factor of (-2)/44 + (-102639243)/(-4422)?
False
Suppose -52 - 67 = -17*y. Suppose q + y = 305. Is q even?
True
Let l(p) = p**3 + 3*p**2 - 3*p - 13. Let b be l(-3). Let r(y) = y**3 + 4*y**2 + 10*y - 2. Let u be r(b). Is 3 a factor of 6/u + (-1 - (-436)/14)?
True
Suppose 4*q = -4*t + 3*t - 27, 5*q = 3*t - 4. Let l(c) = -2*c + c**3 + 6*c**2 - 4 - 3 - 7*c + 8. Does 3 divide l(t)?
True
Let d(q) = 7*q + 5. Let p be d(0). Let k(h) = -4*h**2 + 16*h + 15. Let g be k(p). Is 25 a factor of (-8)/(-6)*(g + 2) + 104?
True
Does 157 divide (-6)/(-147) - (-1711856)/196?
False
Let k(u) = -19*u - 52 - 241*u**2 - 231*u**2 + 471*u**2. Let o be k(-17). Is ((-1161)/15)/(o/60) a multiple of 14?
False
Suppose 13*g - 425 = 10*g - 4*p, -298 = -2*g + p. Let v = g + -123. Let r = 38 - v. Does 2 divide r?
True
Let d be 70/(-15) + 4/6. Let f be ((1 + d)/(-1))/(27/(-36)). Does 25 divide (-7)/((-21)/150)*f/(-4)?
True
Let m = -4010 + 12168. Is m a multiple of 20?
False
Suppose -2189 = -3*r - 2*j + 4850, -3*r + 7034 = j. Is 30 a factor of r?
False
Suppose 5*p + 0 = 10. Suppose -3*b + 936 = 5*b. Suppose p*h - b = 109. Does 13 divide h?
False
Is ((3940/(-30))/(4/(-3)))/(27/2484) a multiple of 197?
True
Suppose 5*c - 4*t - 9 = 0, -2*c - 2*t + t = -1. Suppose c - 29 = -14*a. Is (-1050)/(-20)*(0 + a) a multiple of 14?
False
Is (180/(-50))/(18/(-99) + 43918/241670) a multiple of 57?
False
Suppose -44*b - 1952 = -48*b. Suppose 15*w - 23*w + b = 0. Suppose 62*q - w*q - 165 = 0. Is q a multiple of 15?
True
Suppose m - 3*k - 9259 = 12555, -7 = -k. Is 43 a factor of m?
False
Let o = 945 - 275. Let m = 1377 - o. Does 11 divide m?
False
Let m = 17173 + -6327. Does 17 divide m?
True
Let w(m) = -m**3 + 42*m**2 - 97*m + 163. Is w(39) a multiple of 13?
False
Suppose 65 = 12*i + 5. Suppose i*f - 1396 = -226. Is f a multiple of 37?
False
Let o(n) = -2*n + 22. Let z be o(11). Suppose r - 4*r + t + 10 = z, -5*t + 26 = 4*r. Suppose -2*b + 49 = r*l - 393, -5*l = -b + 214. Is 13 a factor of b?
False
Let w = 378 + -358. Suppose 15*o = p + w*o - 68, -3*o + 318 = 5*p. Is p a multiple of 7?
True
Suppose -16*w = -60*w + 146784. Does 12 divide w?
True
Let d = -212 + 215. Suppose 2*w = -d*w - 5, 4*q = 4*w + 80. Is q even?
False
Let j be -15*(-2)/(-20)*-2. Suppose -2*i + 7*i - 646 = -2*v, j*i - 2*v - 378 = 0. Is 9 a factor of i?
False
Suppose 168*v = -580938 + 2422629 + 725685. Is v a multiple of 11?
False
Let x be (3 - 10/6)/(10/1815). Suppose x = w + 2*q, -6*q - 766 = -3*w - 4*q. Does 42 divide w?
True
Let s = 8549 - -2497. Is 24 a factor of s?
False
Let d(c) = -c**2 + 10*c + 81. Let x be d(15). Does 8 divide ((-12)/(-7