g + 3 = 5*v. Suppose 842 = 3*h - 2*u, 7*h - 9*h - u + 573 = v. Is h a multiple of 15?
False
Suppose 2*k = 14263 - 7339. Does 5 divide k?
False
Suppose 11*u - 1519 = 659. Does 2 divide 4/(4 + u/(-50))?
True
Let a = 9 + -14. Let m(n) = n**3 + 13*n**2 + 7*n + 3. Let c be m(a). Suppose -18*t = -19*t + c. Does 42 divide t?
True
Suppose -252*g = -255*g + 1650. Is 25 a factor of (16 - 1)/(15/g)?
True
Let t(b) = -b**3 - b**2 + 2*b + 12. Let m be t(0). Suppose 8*i + 424 = m*i. Is 18 a factor of i?
False
Let i(m) be the second derivative of -27*m + 8/3*m**3 + 0 + 33/2*m**2 + 1/6*m**4. Is i(-12) a multiple of 21?
False
Suppose -12*v = -18*v - 7062. Let f = 1657 + v. Is f a multiple of 40?
True
Let c = -2420 - 1665. Let x = c + 7040. Is (-3)/15 - (x/(-25) - 2) a multiple of 10?
True
Let p(a) = a**3 + 11*a**2 - 4*a + 6007. Does 49 divide p(0)?
False
Let q be (-2)/(-8) - (12220/(-16) + 5). Is 46 a factor of ((q/(-2))/(-11))/(3/16)?
True
Does 22 divide (-1)/6 - (16/4 - 1794009/126)?
True
Let m(l) = l**3 + 22*l**2 - 6*l + 102. Does 14 divide m(-21)?
False
Let p(z) = 8*z**2 - 29*z + 14. Let c(o) = -7*o**2 + 29*o - 14. Let l(f) = -3*c(f) - 2*p(f). Is 5 a factor of l(11)?
True
Suppose -72*j + 54*j + 66834 = 0. Is 7 a factor of j?
False
Let k = 1869 + -1204. Suppose i + 3 = 11. Suppose -o - k = -i*o. Does 19 divide o?
True
Suppose p + 4*m = 0, -2*p + 7*p = m. Suppose 5*r - 3*r + 564 = p. Let y = -152 - r. Is y a multiple of 34?
False
Let n(q) be the first derivative of -q**4/4 + q**3/3 + q**2 - 7*q - 60. Is 11 a factor of n(-5)?
False
Suppose v = 2*v - 5*m - 155, 0 = 5*v + 5*m - 625. Is 4 a factor of v?
False
Let f be (35/(-35))/((-2)/1892*2). Let b = f + 312. Is b a multiple of 28?
False
Let s(v) = -v**2 + 14*v + 1. Let m be s(12). Suppose 5*n - m = 0, -5*n = 2*x - x - 33. Suppose -x*h = -3*h - 410. Is h a multiple of 33?
False
Let m be 10*((-18)/(-10))/(-1). Let p = 78 + m. Is 10 a factor of p?
True
Is (((-7885)/9)/(3/18))/((-4)/6) a multiple of 39?
False
Let g(t) = 18*t - 11. Let u be (16/3 + -4)*-6. Let s(m) = -m**2 - 8*m + 5. Let n be s(u). Does 31 divide g(n)?
False
Let y = 15767 + -9873. Is y a multiple of 41?
False
Let s be 68/(-10) - 11/55. Is 20 a factor of 2/8 - ((-37905)/(-20))/s?
False
Let z(n) = -n**2 - 16. Let y be z(-4). Let g(s) = -s**3 - 31*s**2 + 16*s + 99. Is 13 a factor of g(y)?
True
Let m = 15287 + -6581. Is m a multiple of 42?
False
Suppose -214*r - 1518315 = -746*r + 2521161. Is 86 a factor of r?
False
Let j(r) = r**2 - 2 + 12*r - 4 - 10. Let w be j(-13). Is -1*3*(w + (-208)/12) a multiple of 24?
False
Let a be 12/7*(-784)/(15 + -7). Does 6 divide (2/(-4))/(343/a + 2)?
True
Let p = 34818 + -13081. Is p a multiple of 7?
False
Let w = 267 - 141. Let o = w + -24. Let g = o - 36. Is g a multiple of 11?
True
Let p = 13577 - 5590. Is p a multiple of 20?
False
Let s(y) = 2001*y - 3. Does 21 divide s(4)?
True
Let q = -7395 + 17745. Suppose -o + 10*o = q. Suppose 310 = -3*k + o. Does 15 divide k?
False
Let i(n) = n**3 - 9*n**2 + 9*n - 3. Let b be i(8). Suppose -3*l + 53 = b*d, -5*l + 20 + 61 = d. Is 12 a factor of 6/l - (-5265)/40?
True
Let r = 4690 - 4474. Does 18 divide r?
True
Is (35493/(-24))/(-4*4/128) a multiple of 12?
False
Let q(w) = -w**2 + 1 + 8 - 8*w + 13. Let i be q(-9). Does 31 divide (-1 + i)/((-3)/(-9))?
False
Let w = 25 + -20. Suppose -114 = 3*y + w*s, y - 6*s = -2*s - 21. Let u = 48 + y. Does 4 divide u?
False
Is 89 a factor of 810800/(-240)*6/(-2)?
False
Let z(q) = q**2 + 33*q + 20. Let m be z(-33). Is 7 a factor of (0 - 35/m)*(-168)/3?
True
Is 12 a factor of (50/(-20))/((3/(-6465))/(120/25))?
True
Let h(s) = -3*s**2 + 7*s + 2. Let d be h(5). Let i be (-2929)/(-58)*(1 - 3). Let z = d - i. Is 7 a factor of z?
True
Suppose -4 = -2*u, 2*f = 6*f - 4*u + 24. Let y(l) = 4*l - 110. Let d be y(43). Let x = d - f. Is 7 a factor of x?
False
Let k(t) = t**2 - 3*t + 4. Let r be k(3). Let g(v) = v**3 + 14*v**2 + 41*v + 579. Let l be g(-14). Suppose -r*s + l*s - 30 = 0. Is s a multiple of 7?
False
Suppose -j + 163 = 278*z - 274*z, -j + 4*z = -163. Is j a multiple of 3?
False
Suppose 62 = 20*a - 22*a. Let m = 176 + a. Is 8 a factor of m?
False
Let k(p) = p**3 + 98*p**2 - 205*p + 167. Is 23 a factor of k(-100)?
True
Let i = -547 + 565. Let v(u) = u**2 + 22*u + 36. Is 42 a factor of v(i)?
True
Suppose -5*q + 918 = -0*q - 4*w, -4*q + 3*w = -734. Let v = q + -110. Is 24 a factor of v?
True
Let o(i) = -2*i + 1652. Does 5 divide o(51)?
True
Let b(a) = -2695*a + 2130. Is 221 a factor of b(-7)?
True
Let a(x) be the third derivative of -3*x**6/20 + x**5/5 + 19*x**4/12 - x**3/2 - 3*x**2 + 1. Is 5 a factor of a(-3)?
False
Let m(p) = p + 11. Let f be m(-8). Let u = -78 + 795. Suppose -f*k + 161 - 455 = -2*i, 0 = 5*i - 3*k - u. Is i a multiple of 13?
False
Let h(g) be the first derivative of 5*g**2 + 1/4*g**4 + 4 - 22*g - 7/3*g**3. Is 26 a factor of h(8)?
False
Let w(d) = 5*d - 37. Let k(g) = 14*g - 111. Let j(x) = -2*k(x) + 7*w(x). Let u be j(6). Suppose u*y = 2*y + 5*p + 152, 3*y - 4*p = 151. Is y a multiple of 48?
False
Suppose -87*m + 32536 + 53766 + 41501 = 0. Is 52 a factor of m?
False
Let t(i) be the third derivative of -i**5/12 + 3*i**4/2 + 5*i**3/6 + 30*i**2. Is 2 a factor of t(7)?
True
Let v = -61 - -111. Let y(j) = -j**2 - j + 3. Let b be y(0). Suppose 2*h - b*z = 46, -v = -2*h + 4*z + z. Is h a multiple of 5?
True
Let y(g) = -4*g**3 - g**2 - 3*g - 2. Let d be y(-1). Let n be (-3)/12 - (-377)/d. Let b = n + -62. Is 22 a factor of b?
False
Let q = 51756 - 25209. Is 58 a factor of q?
False
Suppose 3 = 3*u + 3*q, 19 = 4*u - 0*u - q. Suppose -1 = -r + 1, u*v - 3*r = -14. Does 10 divide (v/(-8))/(1/428)?
False
Let o = 105 - 87. Let k = o + -27. Is (k/4 - 1)/((-1)/24) a multiple of 13?
True
Does 33 divide (-398832)/(-132) - (-6)/11?
False
Suppose -2*b - j + 488 = 0, -2*j + 265 = 2*b - 227. Let z = b - 203. Does 4 divide z?
False
Is 9860 + -6*(10 - (-128)/(-12)) a multiple of 18?
True
Let h = -49 - -67. Suppose -h*g + 5 = -17*g. Suppose -2*i - p + 538 = 0, 5*p = -5 - g. Does 46 divide i?
False
Let d be -5 - ((-4764)/2)/3 - -3. Suppose -794*a + 280 = -d*a. Is 10 a factor of a?
True
Suppose 0 = -b - 155 + 152. Is 1180/b*(-11)/((-110)/(-12)) a multiple of 8?
True
Let u(z) = -2*z + 4. Let n be u(4). Let m be 2/n - 66/(-12). Suppose -2*y + 313 + 201 = 5*h, -m*y - 15 = 0. Does 26 divide h?
True
Suppose 3185*g = 3179*g + 4752. Is 9 a factor of g?
True
Suppose 5*o + x = -17, -6*x + 3*x - 6 = 0. Let p = 8 + o. Suppose p*z - 6*z + 198 = 0. Is z a multiple of 22?
True
Suppose 4*p + 4 = 2*g, -5*p + 5 + 3 = 4*g. Suppose 5*s + x - 953 + 163 = p, -x + 316 = 2*s. Suppose -4*h = -234 - s. Is h a multiple of 14?
True
Is (0 - 1)/(((-143)/(-151645))/(-11)) a multiple of 5?
True
Let p(f) be the third derivative of f**4 - 19*f**3/3 + 29*f**2. Let z be p(5). Let v = z - 52. Does 30 divide v?
True
Let f = -474 + 464. Is 15 a factor of (-2 - -318) + (f - (9 - 18))?
True
Suppose 1318 - 408 = -7*r. Let b = r + 230. Suppose -5*p + m + 354 = 0, p + 10 - b = 5*m. Is p a multiple of 35?
True
Suppose 3*w - 360 = -2*k - k, -3*k = -4*w + 515. Suppose w = 11*o - 95. Suppose -o = -5*q + d + 90, 4*q - 3*d = 88. Is 3 a factor of q?
False
Let s = -56 + -5. Suppose -4*g - p + 650 = -3*p, -g + 5*p + 185 = 0. Let w = g + s. Is w a multiple of 18?
False
Let x be (-210)/9*(6 - -6). Let p = -167 - x. Suppose 0 = 6*y - p - 67. Is y a multiple of 10?
True
Let h(v) be the first derivative of v**4/2 + v**3/3 - 7*v**2/2 + 12*v + 3. Suppose -4*x + p + 13 = 0, p + 98 - 101 = 0. Does 8 divide h(x)?
True
Let g(m) = 19*m - 107. Let w be g(6). Suppose 2*q - w*q = -4*j - 95, -48 = -q - 5*j. Is 23 a factor of q?
True
Let k(w) = -9*w + 59. Let l be k(7). Let v be 1 - (l + (-3 - (-4 - -4))). Suppose v*s = s + 616. Is 44 a factor of s?
True
Let n = -8133 - -10291. Does 26 divide n?
True
Let f(w) = 291*w**2 + 2*w - 21. Let k be f(-4). Suppose 10*n - k = 2393. Is n a multiple of 54?
True
Let x(n) be the first derivative of -n**4/4 - 25*n**3/3 + 11*n**2 + 21*n + 35. Let v be x(-26). Suppose 6*r - 383 = -v. Is 29 a factor of r?
False
Let a = 23853 - 15573. Is a a multiple of 30?
True
Suppose -13*t = 12*t - 6*t - 67564. Does 28 divide t?
True
Is ((-3775)/(-20))/((-390)/(-107952)) a multiple of 204?
False
Let t be 