 5*c + 113, -2*g - 4*c = -224. Is 11 a factor of g?
True
Suppose 0 = -2*o + 744 + 346. Suppose -5*j + 2662 = 4*s, 5*s - o = -0*j - j. Is j a multiple of 106?
True
Suppose 70 = 7*f + 7*f. Suppose 4*u + 5*t + 103 - 632 = 0, -3*u = f*t - 403. Is 7 a factor of u?
True
Let d(m) = m**2 + 3*m + 1. Let y be d(13). Suppose y + 31 = 8*a. Does 9 divide a?
False
Let m(c) = 3*c**2 - 35*c + 18. Let t be m(8). Let r = 1109 - t. Does 77 divide r?
False
Suppose 4*u = 1864*g - 1860*g - 78944, 3*g - 2*u = 59208. Is g a multiple of 8?
True
Suppose 5*n - 7*i - 145726 = -11*i, 5*n + 3*i = 145727. Is 59 a factor of n?
True
Let f = -321 - -324. Let g = -7 - -30. Suppose -46 = -w + 2*z, -f*w + 106 + g = -3*z. Is w a multiple of 8?
True
Let s be 276/966 + (1 - (-65)/(-7)). Let b(u) = 11*u**2 - 10*u - 21. Is b(s) a multiple of 80?
False
Suppose 315510 = -63*p + 86*p + 107*p. Is 12 a factor of p?
False
Let t be (-1635)/10*(-20)/6. Suppose -5*o + 199 = 2*v, o + 2*o - t = -5*v. Is v a multiple of 23?
False
Let n = 204 + -200. Suppose -387 = -2*b - 2*u - u, -n*b - 4*u = -784. Does 67 divide b?
True
Suppose -b - 2*k - 3*k = -22, 3*b + 2*k = 14. Suppose 4*a - 1396 = d, -d + 712 = b*a + 2*d. Does 10 divide a?
True
Let q(m) = -3*m - m + 40 - 34. Let i be (-6)/21 + (-410)/35. Is q(i) a multiple of 27?
True
Let w(i) = 26*i + 384*i**2 - 8*i - 382*i**2 + 12. Let l be w(-10). Is (l/(-10))/(30/(-2850)) a multiple of 13?
False
Let o(f) = -4*f + 82*f**2 + 5*f - 77*f**2 + 2. Let x be o(-1). Suppose 3*m = x*m - 258. Is m a multiple of 18?
False
Let z = 4978 - 615. Is z a multiple of 97?
False
Let z be (-5)/(63/9 + -8). Suppose 34 = 2*y - 5*r, -5*y = 5*r - 16 + 1. Suppose -4*j + y*j + 3*f = 411, -3*j + z*f = -403. Does 12 divide j?
False
Let m(j) be the third derivative of 5*j**4/12 + 7*j**3 + 26*j**2. Let n be m(-4). Is (-13 - -65)*n/8 even?
False
Let h be 3443*-9*6/(-594). Let q = 348 + -571. Let v = h + q. Is v a multiple of 14?
False
Let q = 71 + 40. Suppose -7*k + 260 = -q. Is 3 a factor of k?
False
Let v = 12377 - 10507. Does 22 divide v?
True
Let p be 3 - (-9 + (1 - -10)). Is (-469 - p)*3/(-24)*4 a multiple of 2?
False
Suppose 5*m - 6 - 29 = 0, p + 4*m - 10698 = 0. Is p a multiple of 22?
True
Let h = 179 + -177. Suppose d + 4*a - 175 = -0*d, -h*d = -3*a - 295. Is d a multiple of 5?
True
Let b be -9*(-3)/(-9) + 399. Let c = b - -84. Is 20 a factor of c?
True
Let m(s) = -133*s + 3. Let a(l) = 400*l - 8. Let j(d) = 3*a(d) + 8*m(d). Is 8 a factor of j(1)?
True
Let s = -10 + 7. Let z = -6 + -66. Is s*(-3)/z + (-289)/(-8) a multiple of 9?
True
Suppose 0 = 4*w - t - 3987, 804 = 2*w - 2*t - 1182. Let d = w - 541. Suppose d = 4*l + 145. Is 13 a factor of l?
True
Suppose j = 0, -2*p + 3 = -4*j - 7. Suppose 0 = -p*y + 3*x + 1600 + 194, 724 = 2*y + 2*x. Is 40 a factor of y?
True
Let b = -76 - -84. Is 5 a factor of b/28*35*38/4?
True
Let x(a) = -a**2 + 3*a - 34. Suppose 5 + 7 = 6*s. Let j(k) = -k**2 + k - 1. Let z(b) = s*j(b) - x(b). Is 5 a factor of z(0)?
False
Let i(j) = -j**3 + 10*j**2 - 22*j + 12. Let b be i(6). Suppose b*m - 29*m + 2852 = 2*t, 3*t + 1137 = 2*m. Is 30 a factor of m?
True
Let w(x) = -21*x**3 + 2*x**2 - 9*x + 9. Is w(-5) a multiple of 31?
False
Is (-206851)/(-610) - 1/10 a multiple of 17?
False
Let v(n) = 145*n**2 - 2*n - 143. Does 180 divide v(-11)?
False
Suppose -4*q - 3 = 3*r, q + 3 = -r + 1. Suppose -q*h + 2*h = 4*l - 2124, -5*h = -5*l + 2680. Does 14 divide l?
True
Is (2 + 9/(-3))*(-9291)/3 a multiple of 9?
False
Let j(h) = 2*h**3 + h**2 + 4*h + 3. Let b be j(-5). Let q = b + 470. Suppose -z - 5*k = -4*z + q, -327 = -4*z - k. Does 13 divide z?
False
Let b be (-5 + 253/3)*12. Suppose -24*x + b = -17*x. Suppose 8*c - x = 464. Is c a multiple of 25?
True
Suppose 45*m = 38*m + 35. Is 68/(((-6)/30)/((-12)/m)) a multiple of 51?
True
Suppose 4*y = -4, 3*u - 5*y + 9 = 2. Suppose 0 = -9*d + 14*d + 90. Does 36 divide u/d - (3864/(-27))/4?
True
Suppose -3*k = 2*r - 457, 4*k + 905 = 4*r + k. Let c = r + -128. Does 30 divide c?
False
Suppose r = -4 + 13. Let x(s) = 20*s + 2. Let o be x(r). Let n = o - 92. Does 34 divide n?
False
Let a(z) = 4*z - z + 11 + 64. Let k be a(0). Let j = k - 37. Is j a multiple of 19?
True
Let v = -3798 + 5742. Is 8 a factor of v?
True
Is 265 a factor of (-3)/(-15) - (-196099 + 0)*110/550?
True
Let b = 22061 + -9126. Does 65 divide b?
True
Let n(o) = -102*o**2 - 9. Let c be n(-3). Is 22 a factor of c/(-6) + 2 + (-10)/4?
True
Let m(f) = -f**3 - 15*f**2 - 10*f - 17. Let v = 10 - 24. Let p be m(v). Let x = 11 - p. Is x a multiple of 42?
True
Suppose -13122 - 2414 = -2*k. Is k/36 - -4*(-3)/(-54) a multiple of 31?
False
Suppose -798 = -3*g - 3*g. Suppose 5*x + g = -4*r, 2*r + 35 = x - 28. Let d = r - -149. Does 30 divide d?
False
Suppose -5*s - 107 = -4*z + 170, 5*z = 5*s + 275. Let i(h) = 4*h**2 - 53*h + 15. Let w be i(13). Is 19 a factor of w*(-4)/8*s?
True
Let c(a) = 17*a + 6. Let s be c(-3). Let g = 111 + s. Suppose -z = z - g. Is 30 a factor of z?
False
Does 15 divide (120/140*2373)/(((-32)/(-20))/4)?
True
Let j = 19887 + -11917. Does 28 divide j?
False
Let m(h) = 8*h + 503. Is 3 a factor of m(-37)?
True
Suppose -5*q + 21605 = 19*v - 14*v, 2*q + 5*v - 8651 = 0. Does 6 divide q?
False
Let i(h) = h**2 - 14*h + 29. Let l be i(12). Suppose -18*r + 2*r + 320 = 0. Suppose -l*x + 65 = 2*o, 0*x - x + r = -o. Is x a multiple of 11?
False
Let n = -4404 - -9390. Does 2 divide n?
True
Suppose -5*a + 0 = t + 59, 2*t + 34 = -3*a. Let w(s) = 4*s - 11. Let g be w(a). Let k = -35 - g. Is k a multiple of 6?
True
Let x be 33898/85 - (-1)/5*1. Suppose -23*g + 20*g = -x. Let a = g + -51. Is 15 a factor of a?
False
Let g(c) = 14*c - 28. Let k(i) = 16*i - 26. Let t(m) = -5*g(m) + 4*k(m). Is 5 a factor of t(-5)?
False
Suppose -17*o - 12*o + 125355 = -63029. Is o a multiple of 138?
False
Suppose -3*o + o + 34 = 0. Let f(z) = -9 - 1 + 5 - o*z - 11. Does 23 divide f(-9)?
False
Let x(g) = 2*g - 1. Let a be x(3). Suppose -12*l = -53 + 29. Suppose 0 = 4*w + a*v - 586, l*w - 443 = -w - 2*v. Does 11 divide w?
False
Let w(k) = 2*k**2 + 5*k + 1. Let m be w(-1). Let v = -7 + m. Is 7 a factor of v/(-3) - (-65 - -4)?
False
Suppose -1821 = -4*i - 5*d + 3693, 0 = 3*i - 2*d - 4124. Let x = -743 + i. Is 25 a factor of x?
False
Let r = 8528 + -2845. Does 8 divide r?
False
Suppose 0 = -13*o + 9*o + 32. Suppose 4*a + o = -4. Let b(s) = s**3 + 5*s**2 - 4*s - 4. Is 5 a factor of b(a)?
False
Let r(v) = -2*v**2 + 15*v - 22. Let m be r(4). Is 73 a factor of (-3 - 62/m)/(5/(-420))?
False
Suppose 11*m = 2492 + 6088. Suppose 480 = 7*f - m. Is f a multiple of 15?
True
Is 7 a factor of 135*((-225)/27 + 13)?
True
Suppose k - 139 = 2*b + 790, 4*k - 1852 = 4*b. Let f = -338 - b. Does 33 divide f?
False
Suppose 6 = -5*f + 5*t - 9*t, -5*t - 5 = 5*f. Let h be f/(1 - 2 - 12/(-20)). Suppose -h*j - 28 + 343 = 0. Is 5 a factor of j?
False
Let x = 55 + 18. Let p = x + 263. Is p a multiple of 84?
True
Let i(k) = 11*k**2 + 11*k - 27. Let j be i(12). Suppose 128 = -7*o + j. Suppose -5*z + 412 = -o. Is 35 a factor of z?
False
Suppose -2*z = -5*z - 3. Let i be (z + 0)*(9*58)/(-3). Let v = -110 + i. Is v a multiple of 5?
False
Let w = 383 + 1900. Is 21 a factor of w?
False
Suppose -6*i + 3131 + 91 = 0. Suppose 2*h - i = -h. Is 18 a factor of h?
False
Suppose 0 = 3*g + 7 + 5. Let p = -326 + 244. Does 10 divide (g - p) + -4 + -4?
True
Let r = -177 + 298. Suppose a + 3*a = -132. Let u = r + a. Does 12 divide u?
False
Suppose 7*y - 228 = 11*y. Let r = -44 - y. Does 8 divide r/13*(48 + 0)?
True
Suppose 64*v - 92*v + 45920 = 0. Is v a multiple of 10?
True
Suppose -n + 2*j = -1, -n = 5*j - 0*j + 6. Let w be (-9)/(n + -2) - 3. Suppose w = a + t - 17, -2*t + 3*t + 43 = 4*a. Does 12 divide a?
True
Suppose n - 2*r + 16 = -2*n, 2*r = -4*n - 26. Let q(g) = g**2 + 3*g - 13. Let c be q(n). Does 12 divide c + 1519/35 - (-2)/(-5)?
True
Let h(n) = 7*n**2 + 5*n - 50. Let j be h(-7). Is (1 + j)/((12 - 2) + -9) a multiple of 50?
False
Let m(f) = f**2 + 17*f + 8. Let u be m(-16). Let l be -5*(-1 - u/10). Let d = l - -37. Is 5 a factor of d?
False
Suppose 2*s - 333*p + 321*p - 37190 = 0, -37245 = -2*s + p. Is 25 a factor of s?
True
Let v(w) = 11321*w - 3832. Does 54 divide v(3)?
False
Suppose -2*u + 11 - 5 = 0, -3*u - 11 = -4*j. Suppose -3*q - 