32 = -149*d. Suppose -7*m + d + 1909 = 0. Is m a multiple of 35?
False
Let u = -8247 - -8251. Let w = 82 + 53. Suppose r + r = -4*x + 470, -x = u*r - w. Does 29 divide x?
False
Suppose -5*x + 14 = -0*x + 2*t, 3*x + 3*t = 12. Suppose -x*a + 20 = 8*a. Suppose -4*w - 150 = -a*q, -5*q + w = -161 - 178. Does 5 divide q?
False
Suppose 3422 = -2*j + 7*j + 3*f, -684 = -j - f. Let t = j + -480. Is 11 a factor of t?
False
Let h = -14487 + 22996. Is 65 a factor of h?
False
Suppose 0 = -4*n + 3*n + f - 23, -5*f = 0. Let p = 17 + n. Is 4 a factor of p/18 - (-25)/3?
True
Let p(q) = 2*q**2 + 9*q - 50. Suppose 3*j = -h + 390, 0*j = -j + 4*h + 143. Let i = j - 124. Is 37 a factor of p(i)?
True
Suppose -1831 = 4*t - 5*x, -77 = 2*t + x + 842. Let l = 21 - t. Is 20 a factor of l?
True
Let p be 5 - 2*3/6. Let t = -704 - -706. Suppose 3*s = 3*a + t*s - 133, -2*a + p*s + 82 = 0. Does 15 divide a?
True
Suppose 3*g - 619 = -4*q + 3659, -3*q + 2851 = 2*g. Suppose 0 = 23*s - 28*s + g. Is s a multiple of 11?
True
Suppose 0 = 18*p - 21*p + 6. Suppose 12*x + p = 10*x. Does 41 divide x + 164 - 3/(1 + -4)?
True
Suppose -4*i = 3*d + 79, 4*i - d + 80 = -11. Let x = -46 + 88. Let g = i + x. Is g a multiple of 10?
True
Let m = -33 - -76. Let q(s) = 5*s + 4. Let v be q(9). Suppose -2*c = -m - v. Does 30 divide c?
False
Let o(r) = -r**2 - 11*r - 280*r**3 + 10*r + 0*r**2. Let p be o(-1). Let w = p + -181. Is w a multiple of 11?
True
Suppose 0 = -4*o + 29040 + 9624. Does 6 divide o?
True
Suppose -10*d = 2*c - 5*d - 33, -3*d - 39 = -3*c. Suppose 5*w + 3*s - 3065 = 0, -c*w + 13*w - 5*s = -591. Is w a multiple of 23?
False
Let l(s) = 22*s + 40. Let h be l(14). Let y = -222 + h. Is y a multiple of 14?
True
Suppose 9*q = 21*q - 132. Let g(f) = -f**2 + 17*f + 74. Is 10 a factor of g(q)?
True
Suppose 87 = -2*i + 73, 2*o - 2*i = 20928. Is o a multiple of 113?
False
Let q(h) = 17*h + 153. Let a be q(-9). Suppose 3*x = 2*f - 1667, a = -5*f + 4*f + 3*x + 841. Is f a multiple of 29?
False
Let w(m) = 10*m**2 + 21*m + 84. Is 19 a factor of w(-10)?
True
Suppose -4*d + 3272 = -4*g, -4*d + 383 = -g - 2892. Is d a multiple of 23?
False
Let d(m) = -54*m + 229 + 18*m + m**2 + 17*m + 21*m. Let f = 7 - 7. Is 39 a factor of d(f)?
False
Suppose -4156 = 6*d - 67510. Does 133 divide d?
False
Suppose -7*z + 2*f = -11*z + 38, 2 = -2*f. Let u be (-36 + 6)/(1/(-50)). Suppose -u = -2*q - z*q. Is 32 a factor of q?
False
Let f = -1639 - -19189. Is f a multiple of 90?
True
Suppose a - 6*a - 4*b + 38 = 0, -35 = -5*a - 5*b. Suppose 0 = -3*c - d + a - 0, -3*d = 6. Suppose c*j - 427 = 53. Does 22 divide j?
False
Suppose -w + 1316 = 4*w + 4*v, 3*w + 4*v - 796 = 0. Let j = 552 - w. Does 13 divide j?
False
Suppose -6*z - 61798 + 198940 = 0. Is z a multiple of 16?
False
Suppose -35381 - 15748 = -0*k - 3*k. Is k a multiple of 13?
True
Suppose -2 + 149 = 7*h. Does 7 divide 448/12*(-2 + h/6)?
True
Let b = -382 - -407. Let w(d) = -d**3 + 25*d**2 + 13*d - 3. Is w(b) a multiple of 23?
True
Let l(f) = -36*f - 4. Let o be l(-4). Let r = 946 + -651. Suppose -2*c = n - o, -r = n - 3*n + c. Does 16 divide n?
False
Let k(v) = -6500*v + 173. Does 97 divide k(-2)?
False
Let j be ((-143)/286)/(1/(-830)). Let a be 0/(1 - 2) + 135. Let b = j - a. Does 40 divide b?
True
Suppose 5*j + 6 = 3*r - 12, -5*j = -4*r + 29. Suppose -r - 7 = -6*o. Suppose o*b - 7*g = -5*g + 382, -146 = -b - 4*g. Does 13 divide b?
True
Let d be (-42)/28 + (-746)/(-4). Suppose 2*w = 19 + d. Is 34 a factor of w?
True
Let x = -33 - -19. Let z(k) = -20*k - 24. Let c be z(x). Suppose -3*f = 5*q - 230, 648 = 5*f + 4*q + c. Is 20 a factor of f?
True
Suppose 30*u - 19*u = 55. Suppose -p = -b + 384, -p + 404 + 1522 = u*b. Does 35 divide b?
True
Suppose -2*r = 5*x - 13110, x + 28219 = 5*r - 4475. Is 34 a factor of r?
False
Suppose -1113 = -4*a + 2007. Suppose -6*g + 0*g + a = 0. Is 13 a factor of g?
True
Let q be (0 - -1)*(-11 - -10). Let s be (24/9)/(q/3). Is s/(-12) - (-248)/6 a multiple of 7?
True
Let v = 10 - 10. Let x be v/(10/(-5)*-1). Suppose x = 3*h - 229 - 206. Does 15 divide h?
False
Let l(s) = 4*s**2 - 13*s + 8565. Is 183 a factor of l(72)?
True
Suppose -24640 = -885*w + 875*w. Is w a multiple of 11?
True
Suppose 52*y = 48*y + 16, -3*y - 618 = -2*m. Is m a multiple of 45?
True
Let c(o) = 96*o**2 - o + 5. Let j be c(-4). Suppose -43*h - j = -48*h. Is 4 a factor of h?
False
Let l = 307 + -107. Suppose 97 = 11*r - l. Is 20 a factor of r?
False
Let f(m) = 2*m + 25. Let g be (-6)/(-4) + (-2)/(16/12). Let b(v) = v**2 + 3*v - 8. Let t be b(g). Is 2 a factor of f(t)?
False
Suppose -5*j - t + 1108 = -653, 4*t - 1749 = -5*j. Does 70 divide -1*((-9)/(-3) - j)?
True
Let v be 2 - 2 - (2*-9)/(-1). Let q(i) = -12*i - 48. Let o be q(v). Is 5 a factor of (2/4)/(6/o)?
False
Let w be 0/((4 + 0)/4). Suppose 0 = 5*r - w*r - 3*b + 188, -4*b = 2*r + 70. Let n = -3 - r. Does 34 divide n?
True
Let d(g) = -6*g**3 + 14*g**2 + 7*g - 7. Let z(u) = 3*u**3 - 7*u**2 - 3*u + 4. Let c(l) = 4*d(l) + 9*z(l). Suppose -18*k + 15*k + 12 = 0. Does 46 divide c(k)?
True
Let a = 100 - 30. Let z = a + -38. Is 5*22/4 + z/64 a multiple of 3?
False
Suppose 2*g = 62 - 58, g - 1337 = -w. Does 5 divide w?
True
Suppose 5973219 + 57100 = 395*s - 6652736. Does 21 divide s?
True
Suppose -25 = -2*h - 5*j, j + 32 = 4*h + 5*j. Suppose 30*a - 31*a + 422 = h*i, 3*i - 6 = 0. Is a a multiple of 99?
False
Let a = -18437 - -63876. Does 15 divide a?
False
Suppose -5*j = -d - 35, 2*d + 2*j = -d - 20. Let b = d - -12. Suppose 324 = 4*s + 4*i, 4*i = b*s - 63 - 99. Is 19 a factor of s?
False
Is -15 + 80 + (-5 - -5) a multiple of 5?
True
Let a = -18457 - -26737. Suppose -11*w + 10343 = -a. Is w a multiple of 61?
False
Suppose -1072*z - 76000 = -1092*z. Is 8 a factor of z?
True
Let s be ((-18)/(-3)*-2)/(24/32). Let u = s - -230. Is 14 a factor of u?
False
Let n(u) be the first derivative of 3*u**4/4 - u**3 - 7*u**2 - 8*u - 83. Is 32 a factor of n(6)?
True
Suppose -30*w + 27*w = 3*g - 26097, -3*w = g - 8705. Is g a multiple of 27?
False
Let z(x) = -41*x + 87. Let m be z(2). Suppose -v + 5*s + 100 = 0, -s + 776 = m*v + 198. Does 4 divide v?
False
Suppose 72*k - 348300 = -4*k + 513768. Is k a multiple of 113?
False
Is 276 a factor of 2*(17 - -13)*115?
True
Let j = -24651 - -29071. Is 19 a factor of j?
False
Suppose 2*z + 4*r - 1283 = -241, z + 4*r = 519. Let n = -17 + z. Is n a multiple of 17?
False
Suppose 0 = -2*p + 174 - 184. Is (p + 1)/((-34)/1921) a multiple of 12?
False
Let q(t) = -96*t - 1536. Is q(-31) a multiple of 2?
True
Is 1202912/116 - -9*14/1827 a multiple of 14?
False
Suppose 51*b - 48*b - 76911 = 0. Does 19 divide b?
False
Suppose 28*u = 23*u + 20. Suppose -2*j - 9 = -1, u*j + 44 = -4*i. Let z(s) = s**2. Is 9 a factor of z(i)?
False
Is (26/4)/((-8)/(-4704)) + 24/4 a multiple of 4?
True
Let l(i) be the first derivative of -13*i**2 - 62*i + 163. Let s = -3 + -5. Does 13 divide l(s)?
False
Let a = 23637 - 16752. Is 3 a factor of a?
True
Let n(l) = -3*l + 18 + 4*l - 4 + l. Let m be n(-6). Suppose 0 = 2*d + m*d - 100. Is 8 a factor of d?
False
Suppose -172407 = 4*g - 324*g + 52233. Is g a multiple of 54?
True
Suppose 0 = 5*o - 20 - 5. Let l be (50/o)/(-2) + -3. Let d(p) = -4*p - 7. Is d(l) a multiple of 13?
False
Let a(m) = -33*m**3 - 4*m**2 + 9*m - 48. Is a(-8) a multiple of 118?
True
Let l(j) = 2412*j - 399. Does 61 divide l(1)?
True
Is 23 a factor of 18/(-33) + 3/6*(-2209100)/(-275)?
False
Let s(b) = 2*b**2 - 10*b + 756. Is 66 a factor of s(-51)?
True
Let u = 18394 - 363. Does 13 divide u?
True
Let s be (-1)/(-3)*18*3/6. Let f(i) = 5*i**3 - 4*i**2 + 3*i + 7. Does 5 divide f(s)?
True
Let q(i) = -i**2 + 28*i + 14. Let n be q(25). Let j = n - 84. Suppose c + 13 = -3*b + 39, 2*c - j*b = 96. Does 19 divide c?
True
Let q = 43757 - 27909. Is 11 a factor of q?
False
Suppose 460 = 7*p + 2378. Let v = p + 334. Is 5 a factor of v?
True
Let m be 4 - 0/4*-1. Suppose 7*y - 715 = -m*y. Suppose -y - 138 = -7*x. Does 26 divide x?
False
Suppose -4*j + 39 - 15 = 0. Let q(b) = -4*b - j - 11*b**2 + 22*b**2 + 3*b. Does 30 divide q(3)?
True
Suppose -34*o + 346349 = -354054 - 455155. Does 5 divide o?
False
Is (-8756)/10*(0 + (-70)/(4 - -3)) a multiple of 199?
True
Suppose -5*o + 4*z = 977, 4*z + 15 = 7. Let p = o - -230. Is p a multiple of 3?
T