 be (-300)/(-8) - v/(-4). Suppose -5*d + 2*g + 355 = 0, -d - g + 33 = -k. Is d a multiple of 26?
False
Suppose -38*s = -56746 + 7498. Suppose 4*u - c - s = -3*c, 4*u - 4*c - 1308 = 0. Is 13 a factor of u?
True
Does 8 divide -7 - 5670/81*(-266)/4?
True
Suppose 2*c - 8 = -3*t + 4*t, -5*t - 12 = -3*c. Suppose -62 = -2*v - c*u, 22*u = 2*v + 17*u - 71. Does 11 divide v?
True
Let j(k) = 390*k**2 - 7*k - 6. Let x be j(-1). Let w = x - 352. Is w even?
False
Suppose -d - 4 = 0, 56*f - 1002 = 54*f - d. Does 2 divide f?
False
Let l = 66197 + -30752. Is 85 a factor of l?
True
Let a(z) = -28*z + 210. Suppose -14*j - 20 = -104. Does 6 divide a(j)?
True
Let j be (5/5 - 23)/(-1). Suppose j = 3*g - 41. Let o = 60 - g. Does 10 divide o?
False
Does 42 divide 3248 + (-8)/(-1) + -4?
False
Let a = 86214 + -31558. Does 224 divide a?
True
Suppose -2*x + 15 - 17 = 0. Let p be (-10)/(-5)*(-1)/x. Does 17 divide p/(-4) + 169/2?
False
Let p = 523 - -148. Let n = p - 239. Is 18 a factor of n?
True
Suppose 0 = x + 4*x - 4*m - 25310, 5*m = 3*x - 15199. Is 6 a factor of x?
True
Suppose -2*y - 5*o = -y - 122, 2*y - 249 = -5*o. Let x = -41 + y. Does 5 divide x?
False
Suppose 0 = 3*r - 4 - 5. Suppose r = -3*u + 12. Suppose 20 = 6*o - 2*o, 223 = u*l + 5*o. Is l a multiple of 11?
True
Does 73 divide ((-3373)/(-2))/(5/70) - 12/(-2)?
False
Let u(g) = g**3 - 5*g**2 + 6*g - 8. Let o be u(4). Is (o/(-3) - -5) + 38 a multiple of 2?
False
Suppose 12 = 3*z, -43*n + 44*n = -z + 16. Suppose 0 = -n*j - 5007 + 29343. Does 13 divide j?
True
Suppose -2*c + 4*t = 212, 5*c - 2*t + 605 = -7*t. Let q = 271 + c. Is q a multiple of 31?
True
Does 16 divide 25/(500/(-8))*-12040?
True
Let o = -259 - -508. Let f = 305 - o. Is f a multiple of 5?
False
Let n(a) = a**3 + 16*a**2 - 8*a + 29. Let m be n(-12). Let f = 1246 - m. Is f a multiple of 15?
False
Does 73 divide (-971880)/(-270) - (-3)/36*(-16)/(-3)?
False
Suppose 3*h = -3*y + 174, -10 = -5*y - 4*h + 281. Let d be (-24 + 30)/((-1)/y). Let x = -164 - d. Does 24 divide x?
False
Suppose -45*z + 9030 = -31*z. Let v = -407 + z. Does 48 divide v?
False
Let h = -2894 - -5081. Is h a multiple of 9?
True
Let y(m) = m**2 - 5*m - 25. Let l be y(9). Suppose q - l = -48. Let c = 49 + q. Is 4 a factor of c?
True
Suppose 7 = -o + 5*n, 0 = 5*o + 21*n - 24*n + 101. Does 6 divide (18 + o)/(-2*(-2)/(-678))?
True
Let t = -42023 + 77422. Is t a multiple of 91?
True
Is ((-8780)/15 + -4)*6/(-4) a multiple of 13?
True
Let a = 19 - 11. Suppose -b + 2*b - o + a = 0, 0 = -2*b + 5*o - 4. Does 19 divide (-3)/b - 315/(-4)?
False
Does 250 divide (0 + 7 + -6)/((-2)/(-126500))?
True
Suppose 4*q = 2*a + 10, 5*q + 7 = 2*a + 21. Let j(u) = -12 - 16 - 3*u - q*u. Is j(-7) a multiple of 3?
True
Let q(x) = -x + 31. Suppose d = -0*d. Let m be ((-14)/4)/(d - 1/(-4)). Does 19 divide q(m)?
False
Suppose -17*d + 694 = l - 16*d, 14 = -7*d. Is l a multiple of 3?
True
Suppose 28*x - 23*x - 15 = 0. Suppose -4*v - 13 = 2*r - 45, -3 = x*v. Suppose -r*q - 1204 = -22*q. Does 66 divide q?
False
Let m(s) = -s + 5*s + 41 - 51 + 7*s**2 + s**2 + s**3. Let l be m(-8). Let y = -30 - l. Is 6 a factor of y?
True
Suppose 4*a + 17665 = 3*k, 2*k + 4*a - 5915 = k. Is k a multiple of 45?
True
Let h be 0 + 1046 - (2 - (3 + -3)). Suppose -2*n + h = -4*s, 250 = 5*n + 5*s - 2345. Is 50 a factor of n?
False
Suppose -38 = -12*y - 2. Suppose 5*l = y*z - 2*z + 286, 0 = l - 4*z - 42. Let g = -52 + l. Is 3 a factor of g?
True
Let s(d) = 3*d - 1. Let h be s(4). Suppose -11 + 55 = h*l. Let m(j) = j**3 - j**2 - j - 12. Is 5 a factor of m(l)?
False
Let q = -125 + 119. Is 4 a factor of 5 - ((-4)/12 - (-172)/q)?
False
Let q(s) = 663*s**2 + s + 39. Does 66 divide q(3)?
False
Let q(t) = 2*t**3 + 24*t**2 - 11*t + 137. Does 6 divide q(-12)?
False
Suppose 14*v + 231 = 17*v. Suppose 40 = 9*c - v. Is c a multiple of 2?
False
Suppose -6454 + 622 = -5*s + 4*d, 0 = -4*s - 3*d + 4678. Is 140 a factor of s?
False
Let w(z) = z**2 - 4*z - 9. Let d be w(6). Suppose d*h - 28 = -4*h. Let t(m) = 6*m**2 + 7*m - 19. Does 15 divide t(h)?
True
Let k = 98 + -80. Is 8 a factor of k/171 - (-663)/19?
False
Suppose -64*b + 69*b - 7930 = -g, 0 = -5*b + 10. Is g a multiple of 71?
False
Let w(n) = 2*n**2 - n - 764. Let h be w(-19). Let o = -36 + 6. Let a = h - o. Does 2 divide a?
False
Suppose f - 5*g = 28986, 126*g - 123*g + 6 = 0. Is f a multiple of 167?
False
Let v be (-1 - -4) + (-10 - -1105). Suppose 23*x + v = 9332. Does 13 divide x?
False
Suppose -4*n - 80 = -p, 86*p = 82*p - 3*n + 244. Is p a multiple of 4?
True
Let z be ((-6)/4)/(42/(-6300)). Let a = 953 - z. Is 26 a factor of a?
True
Suppose 7*k - 44 = 5. Let w(r) = -2*r**2 + 8*r - 4. Let v be w(k). Let g = 70 - v. Does 13 divide g?
False
Let u = -416 + 431. Suppose -u*b - 2*b = -2618. Is 11 a factor of b?
True
Let y(j) = j**2 - 8*j - 9. Let h be y(-9). Suppose -14*b - 3*g - 423 = -10*b, 0 = -5*g - 25. Let n = b + h. Is n a multiple of 6?
True
Let q(f) = f - 18. Let y be q(12). Is 13 a factor of 819/35*(-160)/y?
True
Let y be (-2 - -5) + (-6)/(36/6). Is (y + 172)*(-125)/(-150) a multiple of 5?
True
Suppose -5*n + 7*n - 2610 = 2*b, -4*b + 32 = 0. Is 19 a factor of n?
False
Let c(s) = -s**3 + 6*s**2 + 6*s + 15. Let b be c(7). Let v(r) = 3 - 30*r - b + 7 + 9. Is v(-6) a multiple of 19?
False
Suppose 21*k - 27*k = 30. Let x(a) = 7*a**3 + 4*a**2 + 5*a + 6. Let d(z) = -z**3 - z + 1. Let n(g) = -5*d(g) - x(g). Is 17 a factor of n(k)?
False
Let r(v) be the second derivative of 25*v**3/2 + 87*v**2 - 310*v. Is 11 a factor of r(5)?
False
Suppose 5 = -r - 4*i, -5*r + 3*i + 0*i = 117. Let j = -27 - r. Let d(z) = -16*z - 39. Does 6 divide d(j)?
False
Let j(r) = 198*r - 33. Let a be j(4). Suppose 3*m + 3*v = a, -v + 370 = 3*m - 399. Is m a multiple of 55?
False
Let c = -4445 + 12285. Is 70 a factor of c?
True
Suppose -19676 = -47*r + 15386. Let m = 906 + r. Is m a multiple of 14?
True
Let q(j) = -2*j**2 - 241*j - 1150. Is q(-85) a multiple of 29?
False
Let u = 205 + -84. Let p = u - 117. Is p a multiple of 2?
True
Suppose -v - 2*q = -22606, -19*v = -16*v - q - 67776. Is 13 a factor of v?
True
Suppose 21*y - 24 = 9*y. Suppose y*f = h + 862 - 2459, -4791 = -3*h - 3*f. Is h a multiple of 80?
False
Let y = 10003 - 1342. Does 71 divide y?
False
Let h be ((-540)/(-8))/5 + 4/8. Suppose -6*b + 10 = -h. Is 26 a factor of ((-147)/15 + 2)/(b/(-40))?
True
Let o be 1*4/(32/(-4))*-8. Suppose -k - o*w = 53, -2*w - 248 = 4*k + 2*w. Is 8 a factor of (-13)/k - 49/(-5)?
False
Let x be 163/6 + 12/(-72). Let o = -33 + x. Does 48 divide 21/o*-30*(-12)/(-4)?
False
Let g = -270 + 264. Let w(y) = -74*y + 35. Is w(g) a multiple of 14?
False
Let o(c) = -c**3 - 7*c**2 + 45*c - 22. Let f be o(-10). Let v = f - -1637. Is 69 a factor of v?
False
Let y = -640 + 1103. Suppose 2*x + w = y, 248 = x - 2*w - 3*w. Is 40 a factor of x?
False
Let o = -2639 - -8389. Suppose 14*n + 1228 = o. Is 41 a factor of n?
False
Let d(w) = -4*w + 177. Let t be (-79)/3 + (110/33)/(-5). Does 22 divide d(t)?
False
Suppose -1986*p = -2027*p + 1864352. Does 232 divide p?
True
Let u(l) = -4*l**3 + 15*l**2 - 3*l - 12. Let c be u(6). Let o = 1190 + c. Is o a multiple of 19?
True
Let k(v) = 13*v - 199*v**2 + 62 + 221*v**2 - 43*v - v**3 + 0*v**3. Is k(20) a multiple of 16?
False
Let s = -21222 + 27581. Does 102 divide s?
False
Let j be -4*3*6/(-36). Suppose -5*l + 4*k + 652 = -2*l, -k = -j. Does 20 divide l?
True
Is 17 a factor of (3/(-14))/((-3)/(-4)) + 195233924/8834?
True
Let l(d) = -24 + d**2 + 5*d - d**3 + 24. Suppose g - 5*g = 20. Is l(g) a multiple of 31?
False
Let d = 564 + -559. Suppose -d*v = -4*o - 7*v + 2706, -2*v = 5*o - 3381. Is 6 a factor of o?
False
Let a(o) = -4*o + 16. Let d be a(-23). Let h(u) = u + 16. Let y be h(-11). Suppose 4*s + 4*c - d = 0, -125 + 12 = -4*s - y*c. Does 13 divide s?
False
Let r be ((-4)/12)/(4/(-72)). Suppose -469 = -r*q - 7. Is q a multiple of 11?
True
Let j(m) = -1272*m - 48. Is j(-4) a multiple of 10?
True
Let g be (-6 + 4)*(1 - -162) + -4. Let w = g + 611. Does 7 divide w?
False
Suppose -9 = -8*h + 5*h. Suppose -h*r = 286 - 70. Let s = 14 - r. Does 43 divide s?
True
Let f = -790 + 1204. Is f a multiple of 39?
False
Let f(b) = b**3 + 3*b**2 - 8. Suppose 17 = -4*n + 5*a, 2*n - 2*a = 3*a - 11. Let l be f(n). Does 31 divide (-5)/(60/