315/n)?
True
Suppose -26*s - 5*s + 22134 = 0. Suppose -3*h - h = -3*m + 2148, -s = -m + 2*h. Is m a multiple of 10?
True
Is 8 a factor of (-230)/4140 - 102961/(-18)?
True
Is 1692/(-2)*282/(-94) a multiple of 94?
True
Suppose 0 = 5*a + p - 144539, 6*a - 46*p + 48*p = 173446. Is a a multiple of 18?
True
Let v be ((-40)/25)/(4/10). Let m(a) = -3*a - 5. Let s be m(v). Suppose -423 = 4*z - s*z. Is 35 a factor of z?
False
Suppose 5*n = 3*w + 710, 0 = -5*w + 7*w - 2*n + 480. Let h = w - -273. Is 5 a factor of h?
False
Let r = 177 - 185. Is ((r/10)/2)/((-19)/47975) a multiple of 10?
True
Let t(y) = -y**3 - 40*y**2 - y + 96. Let x(u) = -21*u**2 + 95*u + 10. Let m be x(5). Does 8 divide t(m)?
True
Let x = 194 + -7. Suppose -2611 + x = -24*w. Is 10 a factor of w?
False
Suppose -v - 6 = 5*a + 4, -19 = 3*a - 2*v. Suppose 9*c + 18 = -0*c. Is (-10 - (-9)/3)*(c + a) a multiple of 3?
False
Let q(b) = -b**2 - 16*b - 10. Suppose 236 + 16 = 4*c. Let o = 55 - c. Is 15 a factor of q(o)?
False
Does 10 divide 441/(-6)*(647/(-12) - (-649)/(-236))?
False
Let g(l) = -l + 2. Let q be g(-3). Suppose -6 + 1 = -5*d + q*p, 3*p + 3 = 0. Suppose 5*n - 16*n + 2640 = d. Is n a multiple of 40?
True
Let f(b) = 5*b**2 + 2*b + 5419. Let y be f(0). Suppose 1831 = -4*z + y. Is z a multiple of 69?
True
Let k(z) = 19*z - 4. Let t be k(2). Suppose 3*y + t - 94 = 0. Suppose 0 = 4*p - m - 90, -4*p - m + y = -3*p. Is p a multiple of 2?
True
Let n = -151 - -137. Let w(d) = -15*d - 87. Does 48 divide w(n)?
False
Suppose 2*w - 54 + 48 = 0. Suppose -20*d - 401 = -3*v - 15*d, 0 = -w*v - 2*d + 394. Is 46 a factor of v?
False
Is (-1 + ((-6)/9 - -1))/((-18)/185490) a multiple of 7?
False
Let c = -79 + 184. Suppose -750 = -15*z - c. Is 8 a factor of z?
False
Let a(y) be the first derivative of -34*y**3/3 - y**2/2 + 6*y + 10. Let h be a(2). Let r = h - -237. Is 23 a factor of r?
False
Let d be 24/84 - (-766)/14. Suppose d*f = 57*f - 140. Let y = -10 + f. Is 30 a factor of y?
True
Let n = 18 + -16. Let u be 3*n/9*(-38 + 35). Does 5 divide (-5)/3*(u + 2 - 6)?
True
Let d(c) = -2*c**2 - 13*c - 1. Let j = -195 - -190. Does 14 divide d(j)?
True
Let c(j) = j**3 - 7*j**2 + 10*j + 2. Let y be c(7). Suppose 0 = o - 5*o + y. Does 4 divide o?
False
Let d(x) = 24*x - 57. Let m(g) = 23*g - 57. Let o(s) = -3*d(s) + 4*m(s). Does 6 divide o(9)?
False
Let f(i) = -77*i + 70. Let u be f(13). Let l = 1737 + u. Is l a multiple of 47?
False
Let b = 54 - 45. Suppose 26 = b*o + 134. Is 53 - (28/6 + 8/o) a multiple of 6?
False
Let z = 27 - 25. Suppose -3*a - h - 115 = -a, 0 = -z*a + h - 125. Let o = a + 245. Is o a multiple of 37?
True
Suppose 179*m - g = 176*m + 21516, -3*m + 21516 = -3*g. Is m a multiple of 9?
False
Suppose -19*o = -26*o + 7. Is 12 a factor of (-81)/((15/3)/(-5)*o)?
False
Suppose 18*v - 25*v + 77 = 0. Suppose q + 5*t - 320 = 0, 3 = -2*t + v. Is q a multiple of 12?
True
Let x be ((-246)/24)/((-1)/4). Suppose 5*l - 6*q = -11*q + 125, -2*l + q = -x. Is l a multiple of 5?
False
Suppose -288061 = 153*i - 2216014. Is i a multiple of 22?
False
Let j = -9 + 13. Suppose 28 = 3*t + t - 3*i, j*i = -4*t. Suppose 2*r = t*o - 178, 0 = -3*r - 17 + 2. Is o a multiple of 4?
False
Let o = 2575 - 2392. Is o even?
False
Let i be (-17 - 0)/((-2)/(-12))*-1. Let n = 171 - i. Is n a multiple of 6?
False
Let m(o) = -27*o - 77. Let k be m(2). Let y = k - -683. Does 24 divide y?
True
Let s(u) = 19*u + 73. Let d(f) = 15*f - 183. Let j be d(12). Is s(j) a multiple of 16?
True
Suppose -3*a - 5*b = -24701 + 4728, -b = -3*a + 19967. Does 10 divide a?
False
Let y = 384 - 144. Is (30/12)/(3/y) a multiple of 9?
False
Let o = -218 - 59. Let u = o + 1599. Is 20 a factor of u?
False
Let o(a) = a**3 - 13*a - 60. Let i be o(5). Let w(p) = p**2 - 4*p + 6. Let c be w(4). Suppose i = c*x - 8*x + 70. Does 14 divide x?
False
Suppose 321 = 13*q - 17. Suppose 0 = q*c - 34*c + 1736. Does 19 divide c?
False
Let b be (-1*(-2)/(-6))/(13/(-78)). Let x be (3 - b)/(3/(-15)). Is (-60)/45*2*(x - 1) a multiple of 8?
True
Suppose -2 = 4*k - 10, -2*k + 584 = -5*f. Let p be (0 + -4)/((-8)/f*-1). Suppose 8 = 2*n, 3*n - n = -o + p. Is 36 a factor of o?
False
Let c = 81 + -23. Let t(u) = 25*u - c*u + 23*u + 4. Is t(-5) a multiple of 27?
True
Is (2 - 1) + 571 - ((0 - 2) + 2) a multiple of 22?
True
Let u = -54 - -64. Let m be 2 + 16/u - (-6)/(-10). Let q(r) = 4*r**3 + r**2 + 6*r + 1. Does 18 divide q(m)?
False
Suppose 0 = -15*j - 4*d + 53440, 4*j - 28*d + 30*d - 14246 = 0. Is 77 a factor of j?
False
Let f(h) = -6*h - 18. Let x be f(-14). Let p be 1 + 4/(-5) - x/30. Does 4 divide 2 - (6 + (-6 - p)) - -20?
True
Let q(b) = -b**3 - 4*b**2 + 6*b - 1. Let g be q(-5). Let p(u) = -3*u**2 + 13*u + 17. Let t be p(-2). Does 12 divide (-63)/g*(-56)/t?
False
Suppose -4*s + 8103 = -2833. Suppose -270 = 16*c - s. Is 36 a factor of c?
False
Let y be 3/(-21) + (-1 - (-110)/(-14)). Let h = y + 59. Does 3 divide h?
False
Let s = 355 - -118. Suppose 4*f - s = -53. Is f a multiple of 5?
True
Let p(h) = 2*h**2 - 19*h - 49. Let y(o) = o**2 - 9*o - 25. Suppose i - 5 = 2*i - w, -4*w + 8 = -2*i. Let a(c) = i*p(c) + 13*y(c). Is a(13) a multiple of 18?
False
Is 42 a factor of (-1569)/(7/(105/111) - 8)?
False
Suppose 2*y = -33*y + 17*y + 13068. Does 33 divide y?
True
Suppose 4*v - 120706 = 3*o, 13*o - 11*o + 60354 = 2*v. Is v a multiple of 85?
True
Suppose -2*g = -p - 3*p + 14, -1 = -5*g + p. Is 38 a factor of 10 + 3 + 209 - (g - 0)?
False
Suppose 53*d + 65455 = 289698. Is 18 a factor of d?
False
Let b be (1 - -10) + 16/(-4) + 1. Does 12 divide 23782/88 - 2/b?
False
Let b(g) be the third derivative of -g**3 - 1/4*g**4 + 0*g + 11*g**2 + 0 + 1/60*g**5. Is 5 a factor of b(-5)?
False
Let w(r) be the third derivative of 0*r - 10*r**2 - 13/6*r**3 + 0 - 1/12*r**4. Is 3 a factor of w(-11)?
True
Let j(u) = -u**3 + u**2 + 3*u + 2. Let k be j(3). Let c(n) be the third derivative of n**5/12 + 7*n**4/8 - 5*n**3/3 - 169*n**2. Is 10 a factor of c(k)?
False
Let j = -46 - -51. Suppose 3*x + 5*c = 5 - 24, 0 = -4*x - j*c - 17. Suppose g + x*g - 312 = 0. Is g a multiple of 26?
True
Suppose -15142 = -6*h + 38231 + 57327. Is 30 a factor of h?
True
Does 54 divide (-225)/(-6)*(-49)/(-2) - 1497/1996?
True
Suppose -9*t + 384 = 15*t. Let g(y) = 16*y + 39. Does 9 divide g(t)?
False
Suppose 0 = -3*i - 21, -4*b = 6*i - 5*i - 13505. Is 114 a factor of b?
False
Let w = -85 - -86. Let g be (8/(-4) - 6)/w*-2. Suppose -11*x = -g*x + 420. Does 14 divide x?
True
Let i = -18513 - -76325. Is 43 a factor of i?
False
Suppose -4*w + 60 = 6*c - 2*c, -5*w = -c - 45. Let x(b) be the second derivative of b**3/3 - 3*b**2 + 56*b. Does 7 divide x(w)?
True
Suppose 137 + 287 = 53*f. Does 19 divide (-9)/((-36)/1376) - f?
False
Let p(a) = a**2 + a - 39. Let y be p(-7). Suppose 160*u - y = 163*u. Is (-114)/76*(u + -1) even?
False
Let w(c) = c**3 - 3*c**2 - c - 5. Let r be w(-4). Let t = r + 367. Does 24 divide t?
False
Let l(j) = -j**3 - j**2 - 11*j + 4. Let x be l(0). Suppose -x*w + 2*w + 5372 = 4*v, -4*v - 4*w = -5372. Does 79 divide v?
True
Let l(z) = -3*z**2 + 40*z - 40. Let y(t) = -8*t**2 + 122*t - 119. Let u(o) = 11*l(o) - 4*y(o). Is u(-36) a multiple of 18?
True
Let m = 59 + -61. Let b be 3/m - (-666)/12. Let i = 80 - b. Is i a multiple of 13?
True
Let s = 118 - 115. Suppose 2*w + o - 91 = 0, -4*w + s*o + o + 200 = 0. Is w a multiple of 8?
False
Let p(l) = -l**3 + 9*l**2 + 37*l - 7. Let w be p(12). Suppose 1440 = -w*x + 13*x. Is 12 a factor of x?
True
Does 7 divide -16 + 33 + -18 + 4284?
False
Let g = 71127 + -42664. Does 14 divide g?
False
Let t = 1841 - 1722. Is 4 a factor of t?
False
Suppose 0 = -3*k - y + 66770, y + 79 = 87. Does 11 divide k?
False
Let h be -1 - (-3 - (5 + -3)). Suppose -3*d = -0*d + o - 182, -h*o = -8. Does 20 divide d?
True
Suppose -122*l + 17145 = -107*l. Suppose 7*j - l - 621 = 0. Is 21 a factor of j?
True
Is (5/(-15)*-14534)/(-2 + 32/12) a multiple of 5?
False
Let h = -24497 - -27979. Does 31 divide h?
False
Let p be -162*(3 - 6)*(-20)/18. Is 60 a factor of 128/24*p/(-8)?
True
Let q be 2016/(-20) - 8*5/(-50). Let t = q - -165. Is t a multiple of 5?
True
Suppose 0 = -5*t + 25, 113*t + 2026 = l + 112*t. Is 11 a factor of l?
False
Suppose 0 = -20*r + 1006565 + 141151 + 122284. Does 18 divide r?
False
Let o = 3 + -3. S