vide m(170)?
True
Suppose -3*d + 10 = 2*d. Suppose d*x = v - 6 + 20, 4*x - 18 = v. Does 3 divide (-122)/(-2) - (v - -11)?
True
Suppose 36 = 9*u - 18*u. Let r be 136 - (u - (0 + (-2 - -1))). Let n = -47 + r. Is 13 a factor of n?
False
Let r be 3*(6 + (-114)/18)*6. Does 3 divide ((1 - 3)/6)/(r/1062)?
False
Suppose -91872 = 535*w - 547*w. Does 69 divide w?
False
Let p(t) = 52*t**3 - t**2 - t + 2. Let i be p(-2). Let u = i + 584. Does 14 divide u?
True
Suppose 18303 = 2*u + w, 2*u + 5*w + 0*w = 18299. Is u a multiple of 11?
True
Suppose 2*c - f - 13147 = 0, 5*c - 4*f - 32875 = -0*f. Is c a multiple of 44?
False
Suppose 11 = -6*q - 7. Let x be 4 + (q/5 - 17/5). Suppose x = 2*k + 2*v - 94, -k + 59 = 6*v - 8*v. Is 13 a factor of k?
False
Is 179172/68 + 3 + (-294)/102 a multiple of 5?
True
Suppose 3*q = -5*r + 9173, 0 = r + 5*q + 611 - 2428. Is 5 a factor of r?
False
Let n(y) = -y**3 + 4*y**2 + 7*y + 3. Let d be n(5). Let x = d + 56. Suppose -h = 2*l - x, h = -0*h - 3*l + 66. Does 15 divide h?
True
Let a(g) = -10*g**3 + 14*g**2 + 69*g - 10. Is 32 a factor of a(-7)?
False
Let j(s) = 4*s - 44. Let a be j(14). Let z(w) = 81*w + 21. Let x be z(a). Suppose -57 = 9*p - x. Is p a multiple of 8?
True
Suppose 3*r - d - 278 = 0, -5*r = -4*r - 4*d - 100. Suppose v = -h + r, -6*v + v = -5*h + 490. Is 12 a factor of h?
False
Let o = -5703 + 7520. Does 23 divide o?
True
Suppose 0 = 4*m, -4*v - 6*m + 1636 = -m. Let s = 662 - v. Is s a multiple of 25?
False
Suppose 19*n + 142 = 20*n. Suppose -2*d = -4*l + n, 4*l - 26 - 137 = -5*d. Is l a multiple of 10?
False
Suppose -5*a + 16 = -4. Suppose -j - j - w = -12, -4*w = -3*j - a. Suppose -150 = -5*c - j*g, 4*g = -c + 34 - 4. Is c a multiple of 20?
False
Let r = 32 - 24. Let u be (-2)/r + (-232)/(-32). Suppose 450 = u*d - 2*d. Is 11 a factor of d?
False
Suppose -g = s + 4*s - 44, 4*g - 2*s = 132. Suppose h - g = 24. Is 20 a factor of h?
False
Let m(f) be the second derivative of 19/6*f**3 - 15/2*f**2 + 19*f + 0. Does 44 divide m(17)?
True
Suppose 37 - 73 = -6*z. Suppose 3*w - z*w = -3*v + 1869, 4*v = 2*w + 2482. Does 76 divide v?
False
Let m be ((-20)/(-12) - 4)*-3 + -4. Suppose 0*p - 726 = -m*p. Does 41 divide p?
False
Let y = 41936 - 17539. Does 20 divide y?
False
Suppose -k + 112 = -60. Let b = -25 + k. Is 20 a factor of b?
False
Suppose -19*m = 17*m - 144. Does 59 divide (11/m - 2) + (-3210)/(-8)?
False
Let f = -190 - -253. Suppose -f = 6*z - 393. Is z a multiple of 11?
True
Let l = 15258 - 10521. Is l a multiple of 14?
False
Is ((-118)/8)/((-11325)/596 - -19) a multiple of 59?
True
Let s(z) = z**2 + 11*z + 8. Let o = 22 + -17. Let i = -8 - o. Is s(i) a multiple of 7?
False
Suppose 0 = -36*w + 42471 - 4851. Is 6 a factor of w?
False
Let v(u) = 11*u**2 + u - 47. Let p(x) = -x - 1. Let c(r) = 4*p(r) + v(r). Let o be c(-8). Suppose -2*n = -5*h + 1156, 5*n - o - 493 = -5*h. Does 34 divide h?
False
Suppose 200*f - 1078893 = 42*f + 114481. Is f a multiple of 56?
False
Let k = -10 - 10. Let b(i) = -19*i + 10. Let m(c) = 22*c - 10. Let g(t) = 7*b(t) + 6*m(t). Is 17 a factor of g(k)?
False
Suppose -790*n - 26264 = -2*f - 794*n, -f = -4*n - 13096. Is 40 a factor of f?
True
Let v be 7*39/91 - 1*-1. Suppose -5*q + x + v*x = -1510, q = -4*x + 292. Is q a multiple of 50?
True
Let f = 45 + 19. Let d = f - 64. Does 6 divide d + (-144)/(-4 - 0) + 0?
True
Suppose -8*a + 186 = -318. Let l be (-2)/(-4)*3*2. Suppose -a = l*j - 180. Does 27 divide j?
False
Let o = -38084 + 57142. Suppose 5*k - o = -21*k. Is k a multiple of 12?
False
Let o(t) = t**2 + 21*t + 38. Let d be o(-19). Suppose 2*n + 4*h - 17 = n, 2*n - h - 7 = d. Suppose -333 = -n*y - 5*b + 632, b = 5*y - 995. Does 18 divide y?
True
Suppose 37*f = -12*f + 964271. Is 167 a factor of f?
False
Suppose -4*j + 3*r - 142 = -0*r, 2 = r. Let x be 21/(-9)*(-6)/(-4)*j. Let z = x + -78. Is z a multiple of 14?
False
Let g be (1 - -13)*5/10. Suppose 4*s - a - 14 = 0, 4*s + a = 11 + g. Suppose -s*b - 5*c = -6*b + 22, b - 2*c - 10 = 0. Is b a multiple of 6?
True
Suppose -5*l = -5*c + 11825, -l - 7089 = 75*c - 78*c. Does 47 divide c?
False
Let a = -29953 + 34210. Does 129 divide a?
True
Let s(x) be the second derivative of 4*x**3/3 - 40*x**2 + 51*x. Is 8 a factor of s(27)?
True
Let z = -208 + 192. Does 6 divide (144/z)/((-1)/((-62)/(-3)))?
True
Suppose -1 = 8*w - 73. Suppose z - 7220 = -w*z. Is z a multiple of 38?
True
Suppose -5*r = 3*i + 2425, -2*i + 2450 = -8*r + 3*r. Is 61 a factor of 32 - 31 - (1 + r)?
True
Let j be (-60)/42 + 1 - 76/(-14). Suppose 3*y - 5*h - 3130 = 0, j*y - 5*h - 824 = 4406. Is y a multiple of 35?
True
Let c = -28510 - -48532. Is c a multiple of 94?
True
Let w = -77434 - -119580. Is w a multiple of 37?
False
Let x = 484 - -824. Does 109 divide x?
True
Suppose -7*g + 8*g - 146 = 0. Suppose 0 = 64*q - 65*q + g. Suppose -21 = 5*a - q. Is 5 a factor of a?
True
Suppose -156*n = -167*n + 16038. Does 8 divide n?
False
Let o = 89 + -89. Let v(j) = -j**3 - 4*j + 228. Let t be v(o). Let g = -77 + t. Is 58 a factor of g?
False
Let q be (1 - (-393)/(-4)) + 18/(-24). Let p = -49 - q. Is 5 a factor of p?
False
Let c = -15 + 19. Let w(d) = 5*d + 8*d**2 + 5*d**2 + 7 - c. Is 35 a factor of w(-3)?
True
Let h be (-19)/57 - (-19)/3. Let j be (-9)/h*(-178)/3. Suppose -y - 4 = -j. Is y a multiple of 19?
False
Let c(u) be the second derivative of -u**5/20 + u**4/2 + 13*u**3/3 + 9*u**2/2 - 6*u + 3. Does 25 divide c(7)?
False
Suppose 4*r - 11477 = -5*u + 2692, -4*u = -3*r - 11298. Does 123 divide u?
True
Suppose -9*o + 11752 = 4*o. Suppose 6*i - o = 4*i. Is 40 a factor of i?
False
Let z be 0/(4/(-2)) + (-65)/(-1). Let a = 70 - z. Suppose -a*b + 3*g + 251 = 5*g, 4*b + g - 199 = 0. Is 8 a factor of b?
False
Suppose 123507 = 24*s - 20*s + a, 2*a - 154386 = -5*s. Is 62 a factor of s?
True
Let q(p) = -2 - 10 - 6*p**2 + 2*p**3 + 1 - 9*p - 3*p**3. Let t be q(-5). Let m(v) = v**2 + 3*v - 20. Is 9 a factor of m(t)?
False
Suppose 92 = 5*o + 4*y, -20*y - 25 = -o - 23*y. Suppose 0 = 3*h - 3*j - 552, 0 = -j - 3*j - o. Is h a multiple of 10?
True
Let o(w) = 376*w**3 + 2*w**2 + 8*w - 17. Let l be o(2). Suppose d - 512 = -5*v + 513, -3*d - 3*v + l = 0. Is d a multiple of 25?
True
Is 107 a factor of (-6527*(-10 + 11))/(-1)?
True
Let z = 59540 + -39375. Does 96 divide z?
False
Suppose -19*x + 17*x + 832 = 0. Let u = -124 + x. Does 46 divide u?
False
Let d = 20 - 13. Suppose -d*v + 10*v = 12. Is 13 a factor of 3 + (4 - v) + 96?
False
Suppose 68*y = 65*y + 20748. Does 11 divide y?
False
Let d(z) = -1316*z + 154. Does 10 divide d(-3)?
False
Suppose -29 = -3*t + 22. Suppose -t*f - 60 = -13*f. Does 5 divide (2 - 1)/(1/f*-3)?
True
Let f be (-1)/(-4) + (-2997)/(-444). Suppose -f*h - 3840 = -11*h. Does 20 divide h?
True
Let y(o) = 883*o - 11. Is 4 a factor of y(11)?
False
Suppose 2*y - 5*n - 5793 = 0, -4*n + 14374 = 5*y - 59. Does 27 divide y?
True
Suppose 525 = 17*g - 10627. Let f = g - -138. Is 8 a factor of f?
False
Let d be (-26)/10 - (54/(-15))/6. Is 29 a factor of (4/(-4 + 0))/(d/290)?
True
Let y = -619 - -1020. Does 7 divide 5 - (-5 + 0 - y - 2)?
True
Is 9 a factor of 14*227 + (61 - 59)?
False
Suppose 55 = -4*r + 2*t - 99, 4*t + 52 = -2*r. Let c be 1/4 + (-171)/r. Suppose 397 = 4*d - 0*x - x, c*d = x + 497. Is 20 a factor of d?
True
Let w be (-44)/(-374) + 268/34. Suppose 0 = -3*o + 4*l - 0 + 8, 4*l + w = o. Suppose -4*y = -4*z + 6*z - 90, o = 4*z + 4. Does 23 divide y?
True
Suppose 82480 = 36*s - 16*s. Does 77 divide s?
False
Let p(x) = -120*x**2 - 7*x + 6. Let o(r) = -239*r**2 - 15*r + 12. Let d(n) = 2*o(n) - 5*p(n). Is 29 a factor of d(1)?
False
Suppose 10 = -3*o + o, o = -5*i + 280. Let k(r) = r + 116. Let t be k(4). Suppose i + t = 3*n. Is n a multiple of 17?
False
Let l(t) = 143*t**2 + 1. Suppose -2*z + 3*c - c = 12, -28 = 4*z - 2*c. Let k be (8 + z)/(1 - 0) + -1. Is 19 a factor of l(k)?
False
Let d = 220 - 215. Suppose k + 124 = d*m, -k = 3*m - 2*k - 74. Is m a multiple of 25?
True
Let c(h) be the first derivative of 124*h**2 - 2*h - 198. Is 33 a factor of c(4)?
True
Let q be ((1 + -11)*15/(-25))/2. Suppose -5*r = q*j - 244, 3*j + 4*r + 0*r - 242 = 0. Suppose 3*m - 4*m + j = -3*s, -4*m = -2*s - 332. Does 12 divide m?
True
Let g(m) = -25*m + 7. Let n be g(6). Let i = n - -188. Does 9 divide i?
True
Let y =