 + 26205. Suppose 42*n - x = -5586. Is n a multiple of 11?
True
Suppose 2*x + 102 = 70. Let b be (1 - 20/8)*x/6. Suppose -248 = -0*d - b*d. Is 25 a factor of d?
False
Let m be (-24)/(-9) - (1/(-3) + 0). Let t(h) = 31*h. Let d be t(m). Suppose -6*k + d = -3*k. Is 8 a factor of k?
False
Suppose -3*b - 2*b - 155 = 0. Let r = 80 + b. Is 12 a factor of 4/14 + 5278/r?
True
Suppose w - 2*c = 2*c + 692, 2*w - 2*c = 1402. Suppose -159 = -4*y + q + w, 5*q - 1060 = -5*y. Is y a multiple of 5?
True
Suppose -11*u - 34*a + 37*a + 131708 = 0, -5*u - a = -59872. Does 14 divide u?
False
Let i = -1642 - -2335. Is 77 a factor of i?
True
Let t(o) = 1012*o - 599. Is 17 a factor of t(8)?
True
Suppose 4*m + 2080 + 1120 = 0. Let i = m + 1701. Is i a multiple of 76?
False
Suppose -4*x + 7762 + 9035 = 3*a, 2*a - 3*x = 11232. Does 63 divide a?
True
Let v(r) be the first derivative of -2*r**3/3 + 11*r**2 - 16*r - 28. Let u be v(10). Let z(c) = 3*c**3 - 3*c**2 - c - 11. Is z(u) a multiple of 43?
True
Suppose 4755 = 5*n - 23725. Suppose n - 1406 = 26*z. Is 10 a factor of z?
False
Suppose l = -3*l + 176. Let c(k) = 10*k + 251. Let u be c(-27). Let t = l + u. Is 17 a factor of t?
False
Let h(p) = 5*p**2 - 25*p - 26. Let o be h(-1). Suppose 5*z = 2*t - 12 - 175, o*z = 2*t - 184. Is 21 a factor of t?
False
Let l(r) = 171*r**2 + 32*r + 50. Does 5 divide l(-7)?
True
Let c be -1 + (-6)/(-9) + 4/12. Let a(l) = 8*l + 7. Let n be a(c). Let x(q) = q**3 - 7*q**2 + 4*q - 8. Is 5 a factor of x(n)?
True
Let p = 21449 + -20058. Is 26 a factor of p?
False
Let m(a) = -247*a**3 - 7*a + 2. Does 14 divide m(-3)?
True
Suppose 0 = -24*s + 281701 + 276856 + 78811. Is s a multiple of 147?
False
Let x(d) = d**3 + 3*d**2 + 4*d + 2. Let n be x(-4). Let i = n - -30. Suppose 5*q + i*q - 430 = -5*l, 5*l - 435 = -4*q. Is l a multiple of 13?
True
Suppose -r - w + 62 = 3*r, -r = w - 14. Suppose -p = 7*p - r. Is 8 a factor of -15*(p - 10/3)*2?
True
Suppose 12*j + 1981 = -2075. Let m = j - -382. Does 2 divide m?
True
Let u(y) = 10*y**2 - 270*y + 78. Is 37 a factor of u(41)?
False
Let a = -367 + 112. Let c = a + 353. Is 13 a factor of c?
False
Let y = -12582 + 19272. Is y a multiple of 13?
False
Let w be 4*(56/24 - (-1)/(-3)). Suppose -3*s + w = 5. Is s/(-2) - (-973)/14 a multiple of 23?
True
Suppose -5*s + 30 - 14 = -2*b, 3*b - 5*s + 24 = 0. Let l(p) = 17*p**2 - 53. Does 23 divide l(b)?
True
Suppose 3*x = -2*i + 23, 15*x = 2*i + 12*x + 7. Is (-256)/(-48)*42/i a multiple of 3?
False
Let n be (-20)/130 + 368/26. Suppose 0 = -5*s + 2*m + 3190, -5*s - 16*m = -n*m - 3170. Is 52 a factor of s?
False
Let p = 183 + -169. Suppose -4*r - 2320 = -p*r. Is 29 a factor of r?
True
Suppose 3479 + 7642 = i. Suppose b - 12*b = -i. Does 15 divide b?
False
Suppose -12431 + 17558 = 3*n - 18195. Is n a multiple of 23?
True
Let u(m) = -m**2 + 11*m + 53. Let q be u(13). Let j = 2 - 6. Is (-1 + q)/(j/(-4 + 0)) a multiple of 13?
True
Suppose -154*u = -26*u - 359808. Does 71 divide u?
False
Let n(p) = 3*p**2 - 24*p + 15. Is n(28) a multiple of 3?
True
Let r = -1893 + 3748. Does 35 divide r?
True
Let f be 0/6 + 4/2. Let h(t) = -44*t**3 - t**f - 1 - 2*t + 8*t**3 + 12*t**3. Is h(-1) a multiple of 8?
True
Let d = -253 - -247. Is 5 a factor of (1053/(-195))/(d/220)?
False
Let x(c) = 29*c + 78. Let s be x(-4). Let p(b) = -b**3 - 38*b**2 - 4*b - 44. Is 12 a factor of p(s)?
True
Suppose 3*n - 39*m + 42*m = 54, -2*n = 5*m - 33. Suppose 4560 = n*t - 5510. Is 53 a factor of t?
True
Suppose 4*m - 92535 = -14679. Is m a multiple of 70?
False
Let y = 8 - 4. Let u = -250 - -538. Suppose u = y*g + 4*g. Is g a multiple of 13?
False
Let n = 7248 + 29725. Is n a multiple of 21?
False
Let m(t) = t**3 - 6*t**2 - t + 783. Does 27 divide m(0)?
True
Suppose v = 2*k + 551, 6*k - 3*k = 6. Let r = v + -408. Is r a multiple of 7?
True
Suppose -7*u + 2174 = -2222. Suppose 2*n = 2*t - 506, -625 = -5*t + n + u. Is t a multiple of 23?
False
Let n(q) = 7*q - 152. Let t be n(32). Suppose -10*x + 1688 = -t. Is x a multiple of 11?
True
Let z(v) = 13*v - 19 - 4*v - 10*v. Let w be z(-18). Does 22 divide ((-4 - -1) + w)*-11?
True
Let s(n) = 145*n + 25. Let q be s(10). Suppose 0 = 5*j + 400 + q. Does 3 divide j/(-12) - (-1)/(-4)?
False
Let m = 2167 + -2178. Let g(y) be the first derivative of -6*y**2 - 37*y - 1. Is 19 a factor of g(m)?
True
Suppose 0 = 3*x - 5*g - 452, -8*x = -3*x + 2*g - 712. Suppose 45*f - x = 41*f. Does 3 divide f?
True
Let z(w) = -13*w - 2 + 34*w - 11*w - 9*w. Let g be z(2). Suppose -10*p - 681 + 2401 = g. Is p a multiple of 43?
True
Let u(y) = y**2 - 47*y - 624. Is 28 a factor of u(-12)?
True
Suppose 10*x - 4*v - 137 = 5*x, -5*x + 143 = -v. Does 44 divide (x/(-1) + 7)*-52?
True
Let u(y) = -y**2 - y + 113. Let t be u(-11). Let c(r) be the third derivative of r**6/60 + r**5/60 - r**4/12 + r**3/2 + 2*r**2. Is 15 a factor of c(t)?
True
Let q be (-11)/(-22)*(3 + -1). Suppose 2*a + 156 = o, -5*a + q = -24. Does 24 divide o?
False
Suppose -5*z + 445 = 4*p, 4*z - 109 = -2*p + 115. Let d be 16/24 + 26/6. Suppose d*v - p = -u, u = -v - 0*u + 22. Is v a multiple of 7?
False
Does 71 divide ((-6)/4 - -1)/((-325)/1661400)?
True
Let n = -72 + 77. Suppose 7 = n*o - 293. Is o a multiple of 5?
True
Is (-106)/(-4)*(167 - (26 - 17)) a multiple of 17?
False
Let o(g) = -g**3 + g + 7. Let n(p) = -6*p**3 - p**2 + 5*p + 36. Let a(u) = 2*n(u) - 11*o(u). Let i be a(-3). Let h(c) = 3*c - 5. Does 4 divide h(i)?
True
Let r = -346 - -676. Let p be (63/54)/(-7) + 1373/(-6). Let n = p + r. Does 35 divide n?
False
Suppose 4*l = -6*p + 10*p - 29512, -2*l - 22130 = -3*p. Does 9 divide p?
False
Let s be -1 + 1 - 10/(30/9). Let l(m) = 3*m**2 + 15*m + 37. Is l(s) a multiple of 4?
False
Does 7 divide 502/6*(-32 + 47)?
False
Let h = 3871 + 16481. Is 106 a factor of h?
True
Let g(c) = 5*c**2 + 6*c + 12. Let m be g(-7). Let s = m - 197. Is 2 a factor of s?
True
Let c(v) = 312*v + 128. Let o be c(10). Suppose 0 = 5*h - f - o, f - 5 + 3 = 0. Does 65 divide h?
True
Let d = 13 + -11. Suppose 0 = -d*p + f - 5755, p - 3*f + 337 = -2528. Is (2/(-4))/(20/p) a multiple of 8?
True
Let s(u) = -20*u**2 - 3*u - 8 + 7*u**3 - 7 + 22*u**2 + 4. Does 17 divide s(3)?
True
Suppose -12 = 5*b + 7*b. Let c be ((-1)/b*-1)/((-17)/51). Suppose -c*s + 0*s = -156. Does 26 divide s?
True
Let m(h) = 86*h + 15294. Is 66 a factor of m(-49)?
False
Let j(i) = 35*i + 10. Let k(w) = 1. Let o be 3/2*(-11 - -9). Let l(h) = o*k(h) - j(h). Is l(-2) a multiple of 19?
True
Let p be ((-4)/12)/(2/(-24)). Suppose -p = -j + 39. Is 5 a factor of j?
False
Let s = -21 + 24. Does 19 divide -3 + 102 + 3 + (-21)/s?
True
Suppose n - 3*u = 14, -14*u = -12*u + 8. Suppose -4*o - 526 = -n*h, 31*h - 36*h = 3*o - 1328. Is h a multiple of 6?
False
Let q be (1482/(-6))/(1 - (-4)/(-3)). Suppose n - 4*g = 357, -3*g = -2*n - 4*g + q. Is 9 a factor of n?
True
Suppose v - 4079 = 5*n + 2515, -4*v - 3*n = -26491. Does 8 divide v?
False
Suppose 0 = u - 5*u + 348. Suppose 8 - 70 = -m. Let l = u - m. Is l a multiple of 4?
False
Suppose 11*o - 10*o + 3*y - 12776 = 0, -4*y - 51104 = -4*o. Is o a multiple of 7?
False
Let h = -1 - 3. Suppose -3*c + 108 = 18. Is (-274)/(-4) - (h + c/12) a multiple of 14?
True
Let x = -2927 - -3272. Is x a multiple of 14?
False
Suppose 19*j + a - 85315 = 12*j, -j + 3*a + 12169 = 0. Is j a multiple of 80?
False
Suppose -146832 = 705*m - 728*m. Is m a multiple of 152?
True
Let u(c) = c**3 + 53*c**2 - 47*c + 143. Is 63 a factor of u(-47)?
False
Suppose -4*z - 4 = 2*n, 8*z = 3*z - 3*n - 6. Suppose 0*h + 2*h - 18 = z. Is h a multiple of 5?
False
Suppose 20 = c + 4*c. Suppose -3*a + 753 = -5*v + 52, c*v - 1156 = -5*a. Is a a multiple of 8?
True
Let o(z) = -348*z + 1549. Is o(-5) a multiple of 3?
False
Suppose -266 = -y - 115*s + 120*s, y - 2*s = 272. Does 4 divide y?
True
Let n(b) = -b**2 - 121*b - 1122. Is n(-19) a multiple of 48?
True
Suppose 9*t = 4*t - 465. Suppose -4*k + 467 + 169 = -4*u, 4*k - 636 = -5*u. Let y = t + k. Is 11 a factor of y?
True
Suppose -2*m + 46 = -2*j, 0 = 4*j - m - 31 + 126. Let r be (35/21)/(1 - (-26)/j). Let l = 29 + r. Is l a multiple of 4?
False
Let s(b) = b**2 - 24*b + 11. Let u(q) = 24*q - 10. Let r(t) = -5*s(t) - 6*u(t). Let x be r(-5). Suppose x = 6*p + 41 - 209. Does 4 divide p?
True
Let x = -16905 - -3