False
Does 2 divide ((-10)/15)/(58/(-90393))?
False
Let i be 17 - (0 - (1 + 3/(-1))). Let y be 50*((-3)/9 - (-65)/(-30)). Let k = i - y. Is k a multiple of 20?
True
Let g(d) = -49*d**3 + 45*d**2 + 203*d + 5. Is g(-5) a multiple of 16?
True
Let k = 8226 + -4090. Is 77 a factor of k?
False
Is 14 a factor of 65*(-1*(-1444)/18 - 62/279)?
False
Let d(k) = -k**3 + 3*k**2 + k - 1. Let x be d(3). Let o = 91 - 91. Suppose x*l - 2 + 0 = o, 5*g - 58 = 2*l. Is 12 a factor of g?
True
Suppose -19 = -3*h + 2*g, 4 - 18 = -3*h + g. Let c = -8 + 15. Suppose -h*r + 6*f = c*f - 83, -5*r = -4*f - 127. Does 3 divide r?
True
Is (-34)/85 - (1 - 21108/20) a multiple of 4?
False
Let z(t) = -t + 14. Let q be z(-7). Let y be (-3)/(-1 - (-2)/3). Suppose q + y = 3*m. Is m a multiple of 10?
True
Let n be 899/(-8) - -2 - (-6)/16. Let d = n - -426. Does 33 divide d?
False
Let m be -3*(3 + -158 + 1 + 4). Suppose 5*x + n - m = 0, 4*x = 2*x - n + 177. Does 13 divide x?
True
Let p(g) = -7*g + 37. Let y be -8*(35/10 + -4). Suppose -3*m + y*r - 21 = r, 2*r - 41 = 5*m. Does 14 divide p(m)?
False
Is (-4)/6 - 15548015/(-921) a multiple of 13?
False
Let u be 2/(-1) + (-3 - -5). Suppose u = -77*k + 71*k + 3672. Is 34 a factor of k?
True
Let g = -4 - -21. Suppose -3*m = -5*n - g, 3*m - n - 9 = 4. Suppose w = -m*c + 4*w + 29, w = 2*c - 15. Is c a multiple of 3?
False
Let x(l) = 25069*l**2 - 5*l + 2. Is x(1) a multiple of 151?
True
Let k = -21 - -25. Let s be (33 - 60)*(k/(-3) - -1). Is (30/4)/5*s*22 a multiple of 46?
False
Suppose 48*d - 53*d - 54610 = -4*x, 5*x + 5*d = 68240. Is x a multiple of 78?
True
Is 11988 - (-2*(-312)/(-112) + (-4)/(-7)) a multiple of 15?
False
Let m be (-5634)/(-12) + 1 + (-2)/4. Let q = 22 - 14. Suppose -4*d = -q, 5*x = x + 5*d + m. Is x a multiple of 12?
True
Let p(k) = 2*k**2 + 48*k - 21. Let m be p(-22). Let l = 114 + m. Suppose -l*v - 6 = -g, -3*g - v - 6 = -24. Is g a multiple of 2?
True
Suppose -670*b + 656*b = 14. Is 9 a factor of (180/240)/(b/(-1752))?
True
Let s(g) = g**3 - 8*g**2 + 2*g - 13. Let n be s(8). Suppose -n*o + 3*x + 15 = 6*x, -5*x - 25 = 0. Is 10 a factor of o?
True
Let q(a) = a**3 - 11*a**2 + 22*a + 6. Let s be q(8). Is 14 a factor of (144/15)/((s/175)/(-2))?
True
Let x(r) be the third derivative of r**6/120 - r**5/5 + r**4/12 - 17*r**3/6 + 2*r**2. Suppose -2*i = 2*i + 2*w - 58, -5*w = -25. Is x(i) a multiple of 3?
False
Is 16 a factor of 6/4*(-5 + 6827)?
False
Suppose -5*r = 2*c, -3*r = -4*c + 21 + 5. Is 18 a factor of 46 - r*(3 - (-8)/(-2))?
False
Let j(x) = -6*x**3 - x**2 - 6*x + 4. Let u be j(4). Let v be (5*1)/(12/u). Let r = v + 247. Does 18 divide r?
True
Suppose -23*r + 28*r - 5*x - 78890 = 0, 2*x = 3*r - 47334. Is r a multiple of 117?
False
Suppose -169603 - 167718 = -109*n + 431783. Does 49 divide n?
True
Let z(l) = 5*l**2 - 9*l + 49. Let k be (-84)/8*(-16)/24. Is 11 a factor of z(k)?
True
Let s(f) = 10*f**3 + 3*f**2 - 27*f + 16. Is 54 a factor of s(11)?
True
Let f = 180 - 106. Let w = f + 39. Does 14 divide w?
False
Suppose -22*o + 26 = -40. Suppose -a - 3*s + 51 = 0, -o*a - s - s + 118 = 0. Is a a multiple of 6?
True
Let k(p) = p**3 + 2*p**2 - 2*p + 1. Let m be k(-3). Let u(a) be the third derivative of -a**4/24 + 5*a**3/3 - 729*a**2. Is 12 a factor of u(m)?
True
Suppose 0 = -s + 2*h + 48418, 638*h + 193683 = 4*s + 641*h. Is s a multiple of 30?
True
Let d(i) = -3*i + 2. Let o be d(2). Let z be (4 - 4/(-8)) + 2/o. Suppose z*h + 68 = 204. Does 5 divide h?
False
Let n(v) = 10*v + 571. Let x be n(0). Let g = -305 + x. Suppose 5*z - 329 = g. Is z a multiple of 27?
False
Suppose 4*t - h = 3*h + 1112, 0 = -3*t - h + 830. Suppose -3*w - t = -2*n, 4*w - 545 - 113 = -5*n. Let u = 332 - n. Does 33 divide u?
True
Let o(z) = -z**2 + 5*z + 11. Let n be o(7). Let m(j) = -j**3 + 6*j**2 - j. Let c be m(5). Is (0 + c/12)/(n/(-108)) a multiple of 15?
True
Let o be ((-12)/9 + 1)*(-5 - 1). Suppose 2*t - 10 = 0, 5*t = -5*z + o*t - 15. Let g(h) = h**3 + 9*h**2 + 13*h + 4. Is g(z) a multiple of 34?
True
Let g(o) be the first derivative of -3*o**2/2 - 27*o + 1. Let w(s) = -172*s - 8788. Let i be w(-51). Does 3 divide g(i)?
True
Suppose 2*y + 3*d - 22 = 0, -3 + 19 = y + 4*d. Suppose -y*o = -1016 - 240. Is 32 a factor of o?
False
Suppose 0 = l - 2*t - 317, 3*t = l - 422 + 105. Let n = 267 + -259. Suppose -29 + l = n*b. Does 6 divide b?
True
Let c be -3 + -1 + 5 - 146 - 2. Let h = 259 + c. Is 16 a factor of h?
True
Suppose 0*n + 4*n - 87 = -5*s, -2*s - 4*n + 30 = 0. Suppose 24*v = s*v + 170. Let t = 100 - v. Does 11 divide t?
True
Suppose 5*g - 643 = 4*n, 0*n - 3*n + 629 = 5*g. Let r = 219 - g. Let x = r - 32. Is 15 a factor of x?
True
Suppose -7*f + 7130 + 8732 = 4*f. Does 54 divide f?
False
Suppose -85696 + 274446 = 10*v. Does 125 divide v?
True
Suppose -211806 = 9*u - 85*u + 291010. Is u a multiple of 53?
False
Let d(t) = t**2 + 17*t + 15. Let r be d(-11). Let b = r + 50. Does 17 divide (-31 - b)*(-51)/6?
True
Let d = 50839 + -23317. Does 104 divide d?
False
Let i(b) = b**3 - 8*b**2 + 5*b + 15. Let t be i(7). Let d(g) = 76*g**2 - 12*g + 12. Is 4 a factor of d(t)?
True
Let d be (6 - 1)/(-1 + 2). Let n = d - -4. Suppose -n*v = -14*v + 50. Is 5 a factor of v?
True
Suppose -5*d - 5*s + 27010 = 0, -2*d - 9*s = -8*s - 10802. Is 27 a factor of d?
True
Suppose -2 = i, 2*x - 1973 = i + 619. Is x a multiple of 7?
True
Suppose 5*t + 2014931 = 60*t + 99501. Is t a multiple of 13?
False
Let j = 30 - 38. Let r(k) = -k + 1. Let s(c) = -42*c + 51. Let z(y) = -18*r(y) + s(y). Is z(j) a multiple of 30?
False
Let u(h) = -h**3 - 13*h**2 + 14*h + 4. Let k be u(-14). Suppose j - 4*q - 131 = 0, 703 = j + k*j - 4*q. Is 11 a factor of j?
True
Does 35 divide (16 - 15) + 25/(-15) - 4624/(-6)?
True
Let h be (-36)/(-108) - (-3575)/3. Let d = h + -576. Does 22 divide d?
True
Let q = 6 - 10. Let f be (-4)/(-8) - (-2)/q - -37. Suppose s - 218 = -f. Is s a multiple of 31?
False
Let v(q) = -22*q**3 - 2. Let z be v(-2). Suppose 2*n + 0*n - z = 0. Let i = n + -58. Does 6 divide i?
False
Suppose -5*l + 0*o + 1877 = 3*o, 1508 = 4*l - 4*o. Let s = l - 72. Is s a multiple of 16?
True
Let k = 1131 - 8. Let y = -745 + k. Is 21 a factor of y?
True
Suppose u - 15 = -10. Suppose 0 = -l + 3*w + 463, 3*l - u*w - 812 = 593. Is l a multiple of 23?
False
Let j(c) = -c**2 - 222*c + 3609. Is j(15) a multiple of 9?
True
Suppose 4*w = 4, w + 12 = -2*u - w. Let g(x) = 2*x**2 - 7*x. Let f be g(u). Let d = -88 + f. Is 6 a factor of d?
False
Is 54 a factor of 514/(-4)*-105 - ((-1)/2 + -1)?
False
Let x(y) = -38*y + 2285. Does 2 divide x(24)?
False
Is (-660)/(15 + 4242/(-280)) a multiple of 40?
True
Let i(r) = -34*r - 4. Let u = 20 + -17. Suppose 4*t = 3*f - 0*f + 3, 0 = -3*f - u*t - 3. Is 30 a factor of i(f)?
True
Suppose 5*j = -19 + 19. Let t(i) = -i**2 - 2*i + 165. Let a be t(j). Suppose 5*h + 5*q = a, -h - 3*q + 0 = -25. Is 8 a factor of h?
False
Let d be (355320/300)/((-1)/(-5)). Suppose -23*x - d = -30*x. Does 47 divide x?
True
Suppose 5 = 57*h - 62*h. Is h*(-8958)/18 - (-4)/(-6) a multiple of 22?
False
Let d(l) = -l. Let a be d(2). Suppose -5 - 1 = 2*c. Is (9 + c)/a - -17 a multiple of 2?
True
Let g(p) = p**3 + 12*p**2 + 8*p + 3. Suppose -5*m = -4*v - 36, 0 = -v - 5*m + m - 30. Let h(n) = 2*n + 17. Let t be h(v). Does 9 divide g(t)?
True
Let t = 1302 + 1306. Does 39 divide t?
False
Suppose -28497 = -126*f + 230811. Is 5 a factor of f?
False
Let u = 320 - 315. Is 14 a factor of (-6 + u - 55)*-13?
True
Let k(z) = -12*z**2 - 10. Let r(p) = -34*p**2 - 30. Let o(m) = 14*k(m) - 5*r(m). Is o(-6) a multiple of 41?
True
Suppose -16 = -4*n, -2398*c + 2402*c - n - 135836 = 0. Is 11 a factor of c?
False
Does 27 divide 1/(4/(-10)) + (-23)/((-1518)/654159)?
True
Suppose 4*o - 8 = p, 28 = 4*o + 4*p - 0*p. Let q = 14 + o. Is 3 a factor of q?
False
Suppose 0 = 2*h + a - 8401 - 1390, -24469 = -5*h - 11*a. Is 34 a factor of h?
True
Let l be 4/5*(-85)/34. Is 4 a factor of (-5)/l*(5 - (-33)/5)?
False
Let k be 118*1/(-3)*27/(-9). Let s = 96 - k. Let b(i) = -i**3 - 21*i**2 + 8*i - 44. Is b(s) a multiple of 24?
True
Suppose z - 35 = -2*j, -6*z + 5*j = -3*z - 50. Suppose 800 = 29*c - z*c. Does 8 divide c?
True
Suppose 0 = 16*d - 10061 - 11843. Does 14 divide d?
False
Let c(w) = -w**2 - 21*w. Let g be c(-21). Suppose x + 3*x 