5*(-230)/(-10)*2*(-85)/(-10) a multiple of 70?
False
Let z(l) = -2*l**3 + 18*l**2 - 5*l + 10. Let c(o) = -o**2 + 5*o + 5. Let w be c(4). Suppose -w = -5*k + 31. Is 19 a factor of z(k)?
False
Suppose 11*r + 885 + 1271 = 0. Let q = -169 - r. Is q a multiple of 23?
False
Suppose -315 = 16*z - 11*z. Suppose 15*i = 20*i + 10. Is (-12)/4 - i - z a multiple of 15?
False
Let h(k) = k + 8. Let a be h(7). Suppose -1115 - 55 = -a*v. Is v a multiple of 6?
True
Let y(l) = -l**2 - 13*l - 38. Let a be y(-7). Suppose -5*h + 3*h = -3*w + 746, 0 = -4*w - a*h + 1008. Is w a multiple of 7?
False
Let y(h) = -h**3 + 3*h**2 + 12. Let l = 130 + -136. Is 12 a factor of y(l)?
True
Let f(d) = -19*d**3 + 2*d**2 + d - 2. Let h(b) = 3*b - 8. Let q be h(4). Suppose 4*n = -0*i - 2*i + 4, -3*i - q*n = -2. Does 18 divide f(i)?
False
Let t(k) = k**3 - 7*k**2 + 2*k - 4. Let v be t(7). Let d(a) = 4 - 13*a - 2*a**3 - 8*a**3 - v*a**2 + 9*a**3. Is 7 a factor of d(-9)?
False
Let f = 2 - 9. Let s(b) = -b**3 - 8*b**2 - 12*b - 15. Is 5 a factor of s(f)?
True
Suppose 0 = -5*u - 17*v + 20*v + 35, 4*u + 5*v = -9. Suppose 6*p = 11*p - 2*j - 4210, -p + 820 = u*j. Does 48 divide p?
False
Suppose -12535 = f - 17*f + 43465. Is 14 a factor of f?
True
Let h = 8511 - 3646. Suppose 11*d - 16*d + 4*u + h = 0, u - 1933 = -2*d. Is d a multiple of 19?
True
Let k = -86 - -90. Suppose -o + 2*l + 42 = k*l, l = 0. Is 11 a factor of o?
False
Let v(j) = -6*j + 176. Suppose 2*k + 0*k - 4*r - 4 = 0, 4*r + 4 = 3*k. Is 35 a factor of v(k)?
False
Suppose -7*v = 71 - 127. Suppose -548 = -9*n + v*n. Is 42 a factor of n?
False
Suppose 134*h + 5*h = -62*h + 696465. Does 21 divide h?
True
Let n(a) = 9*a**2 - 15*a + 56. Let l(k) = 26*k**2 - 44*k + 168. Let p(q) = 4*l(q) - 11*n(q). Let f be p(6). Suppose x - 28 = f. Is 20 a factor of x?
False
Suppose 0 = 3*t + 2*r + 72, -4 - 2 = 2*r. Let v(z) = 2*z**2 + 41*z - 25. Let s be v(t). Is -1 + 2 + -26 + s a multiple of 16?
True
Let l(m) = 19*m**2 - 52*m - 1147. Is 83 a factor of l(-30)?
True
Let k = 96 + -93. Suppose k*u = -3*t + 11 + 4, t = 3*u - 7. Suppose 0 = 3*x - p - 649, -t*x = -0*x + 3*p - 451. Is 20 a factor of x?
False
Let t = 26822 - 22447. Is 125 a factor of t?
True
Let l(o) = o**2 + 32*o - 22. Let m be l(19). Suppose 0 = -4*p + g + 1093, 2*g + m = 4*p - 147. Is p a multiple of 13?
True
Suppose w + 0*z - 673 = 3*z, -5*w + 3323 = -z. Let p be 1/3 + (-90)/(-54). Suppose 0 = 10*f - p*f - w. Does 22 divide f?
False
Suppose -1271 = -3*d - 296. Let p = d - 21. Is 8 a factor of p?
True
Is (20/(-16) - -2)*1996 a multiple of 16?
False
Let r be (2271/(-6))/((-42)/(-12) + -4). Suppose 0 = -10*g + 3443 + r. Is g a multiple of 7?
True
Let v = 20955 + -7795. Is 188 a factor of v?
True
Suppose h = -17*h + 252. Suppose -2225 = -5*m + 3*c, c + 1759 + h = 4*m. Is m a multiple of 30?
False
Does 43 divide 1*-2*65080/((-20)/2)?
False
Suppose -5*o + 14*g = 10*g + 160, -o - 3*g - 13 = 0. Suppose k = -r - 57, 0 = 3*r + 2*r + 25. Let h = o - k. Is h even?
True
Let f be 9/6*4*(-2)/4. Let r(w) = -7*w**3 - 4*w + 2. Let h be r(f). Suppose 5*k = 4*l + 121 + h, -5*l - 5 = 0. Does 8 divide k?
True
Let w = 1950 - 866. Let t = w + -603. Is t a multiple of 5?
False
Let s(k) = -k**3 - 118*k**2 + 105*k + 971. Is s(-119) a multiple of 15?
False
Suppose -4*z - 5 = 5*a + 6, -3*a + 23 = -5*z. Suppose v + v = -3*c - a, -3*c - 4*v = 11. Suppose c*p - 320 = -p. Is 23 a factor of p?
False
Let j(q) = q + 69. Let p be j(-18). Let k = p + -49. Does 5 divide 1/2*k*(5 - -2)?
False
Let h(j) = j**3 - 13*j**2 - 2*j. Let d be h(13). Let k = d - -132. Is 11 a factor of k?
False
Let s(v) = -v + 3*v + 4 + 2*v**2 - 10*v. Let r be s(4). Suppose -4*d + 0*d - 3*o + 187 = 0, -2*o - 162 = -r*d. Is 18 a factor of d?
False
Suppose -1826 = 28*n + 246. Let k = 758 - n. Does 11 divide k?
False
Suppose -4*z + 31004 = 2*h, 4*h + 5*z + 15452 = 77484. Is h a multiple of 13?
False
Suppose -3*o + 2*o + p + 147 = 0, 5*p - 153 = -o. Suppose -4*r - 4*w = o, -4*w + 158 = -4*r - r. Let f = r + 106. Is f a multiple of 12?
True
Let k(m) = -m**3 + 12*m**2 - 23*m + 30. Let n be k(10). Suppose -14*l + 12*l + 416 = n. Does 52 divide l?
True
Let m(z) = -1579*z + 261. Does 15 divide m(-6)?
True
Let b(f) = 832*f - 3342. Is b(6) a multiple of 6?
True
Suppose 3 = 3*m, -6*k = -5*k + 3*m - 22. Suppose k*o = 17*o + 296. Suppose 0 = -5*h - 6*z + 5*z + 683, -h + o = 4*z. Is 8 a factor of h?
True
Let g be (-13684)/(-55)*-2 + 4/(-10). Let b = -217 - g. Is b a multiple of 15?
False
Let f(d) be the second derivative of 19*d**3 + 2*d**2 - 18*d. Let i be f(1). Let m = -74 + i. Is 26 a factor of m?
False
Suppose 200 = -18*u + 26*u. Let j be -1 + -1 - (16 + -197). Suppose j - u = 2*g. Is g a multiple of 25?
False
Suppose -3*n + 0*s = 3*s - 16197, 0 = s + 3. Does 23 divide n?
False
Let h(s) = -2*s**3 + 37*s**2 - 29*s - 354. Does 11 divide h(16)?
True
Let z(r) = 4*r**2 - 33*r - 1828. Is z(65) a multiple of 11?
False
Let j be 292/8 + (-9)/6. Let x = j - 31. Suppose x*d = 321 - 93. Does 12 divide d?
False
Let k(a) = -2*a - 2. Let w be k(-12). Let d = 7 + w. Suppose 24*x = d*x - 250. Does 10 divide x?
True
Let j = 102 + -61. Let u = j + 894. Does 11 divide u?
True
Let r(f) = -3*f + 8 + 10 + 10*f - 4*f. Is 9 a factor of r(18)?
True
Let c = 2969 - 797. Is 12 a factor of c?
True
Let f(y) = -y**3 + 11*y**2 + 11*y + 15. Suppose -7*x + 22 = -62. Let o be f(x). Suppose 24 + 18 = o*h. Is 7 a factor of h?
True
Let b(t) = -348 + 356 - t**3 + 0*t + 4*t**2 + 7*t + 0*t. Does 3 divide b(-3)?
False
Suppose 64*b - 50*b = 4116. Suppose -2*u - 243 = -3*q, 0 = 5*q + 5*u - b - 111. Is 9 a factor of q?
True
Suppose -4*k = -i - 13, 3*k - 5*i + 2 = 16. Suppose -3*d + 411 = k*a + 2*d, 4*d - 12 = 0. Is 3 a factor of a?
True
Let t = -15 - 145. Let c = t - -236. Let q = c - -2. Is q a multiple of 6?
True
Let y(g) = -132*g**2 + 22*g - 4. Let h be y(-2). Let c = h + 1082. Is 70 a factor of c?
False
Suppose -290*p + 296*p = 36942. Is p a multiple of 47?
True
Let j = 101 + -13. Suppose 154 = 3*r - c, -13*r + j = -11*r + 3*c. Is r a multiple of 5?
True
Let c(h) = -1537*h - 45. Is 32 a factor of c(-6)?
False
Suppose -x + 2 + 1 = 0. Suppose i = -x*w + 5*i - 2, 4*w - 18 = -5*i. Let u = w - -6. Does 8 divide u?
True
Let v(u) = -u**3 + 12*u**2 - 10*u + 5. Let k(x) = x**3 + 14*x**2 + 11*x - 20. Let m be k(-13). Suppose 3*s + g - 4*g = 24, 2*g - m = 0. Does 4 divide v(s)?
True
Let p be (-4)/(12/(-9))*18/27. Does 12 divide 27063/124 - (p/8 - 0)?
False
Suppose -5*v + 4*u = -12404, 5*u = 3*v + 4*u - 7441. Is v a multiple of 3?
False
Let j = 2207 - -1676. Is j a multiple of 9?
False
Let w be (-9)/6 + 595/14. Suppose -24*n + 23*n + 9 = 0. Let d = w + n. Is 25 a factor of d?
True
Let d = -27985 + 52816. Is d a multiple of 31?
True
Let y be 915 + (4 - 3) + 2. Suppose -7*r + r = -y. Suppose -3*i + r + 24 = 0. Does 6 divide i?
False
Let x = 40 - -55. Let h = x - 91. Suppose -h*w + 113 = -15. Is w a multiple of 4?
True
Let b(o) be the third derivative of -o**6/120 - 7*o**5/30 + o**4/6 + 13*o**3/6 - 31*o**2. Let s be b(-14). Let y = -10 - s. Is 11 a factor of y?
True
Suppose -4*h - 3*v + 28704 = 0, 5*h = -65*v + 67*v + 35903. Is h a multiple of 13?
False
Does 10 divide (-20)/50 + (-314127)/(-55)?
False
Does 86 divide (38 - 95)/(2*(-6)/1948)?
False
Suppose -5*h = -5747 + 277. Let i be h/(-18) - ((-312)/54 + 6). Let z = i + 116. Does 26 divide z?
False
Let q = -16243 - -16359. Does 27 divide q?
False
Let q = 84 + -70. Suppose 3*f - q - 31 = 0. Suppose 0 = -0*p + p - f. Is p a multiple of 2?
False
Let l(n) = -n**3 - 9*n**2 - 19*n - 9. Let f be l(-8). Suppose f*o + 1617 = 90*o. Is o a multiple of 29?
False
Let w = -5808 + 13686. Does 4 divide w?
False
Suppose -o + 21 = -5. Let s(n) = -n**2 + 19*n + 26. Let v be s(21). Let j = o - v. Does 5 divide j?
False
Does 405 divide (305 - 206)*(-270)/(-1)?
True
Let w be 6/(-3)*(7 - 12). Suppose -79*u + w = -74*u. Is 0 + (230/u - 1) a multiple of 23?
False
Let c = -143 + 4033. Does 91 divide c?
False
Let h(m) = -4 + 3 - 3 + 4*m**2 - 6 + m. Let y be h(-4). Let n = y - 29. Is 2 a factor of n?
False
Let p(l) = 7*l**2 + 25*l - 12. Let y be p(8). Is 24 a factor of (y/(-2))/(0 + -1) + -1?
False
Suppose 2*q + 25818 = -24*w + 28*w, -5*q + 25797 = 4*w. Does 16 divide w?
False
Does 82 divide