
Suppose 0*y - 212 = -2*y - 5*r, -364 = -4*y + 5*r. Let m(l) = l**3 - 26*l**2 - 24*l - 5. Let i be m(27). Let q = y - i. Is q a multiple of 8?
False
Is 7 + 4 + 1211 + -18 a multiple of 5?
False
Suppose 0 = 3*r + 4*l + 16 - 20, l = -2. Suppose 239 = r*i - 349. Does 84 divide i?
False
Let k be (-1)/8 - (-435)/24. Suppose -36*l = -k*l - 8424. Does 39 divide l?
True
Suppose -167758 + 26512 = a - 60*a. Does 57 divide a?
True
Let l = 5 - -10. Suppose -l = -9*a + 3. Suppose -172 - 128 = -a*h. Is h a multiple of 30?
True
Suppose 6*v - 564 - 306 = 426. Does 54 divide v?
True
Does 119 divide (7*17/3)/(2/30)?
True
Let p(b) = b**3 + 10*b**2 - b - 8. Let t be p(-10). Suppose -c = 5*f - 126, -154 = -c - 0*f + t*f. Is 11 a factor of c?
False
Let x(t) = 253*t + 116. Is 25 a factor of x(16)?
False
Let w(x) = -x**3 + 25*x**2 - 37*x - 46. Is 24 a factor of w(21)?
False
Let v(t) = 4185*t - 1773. Does 12 divide v(5)?
True
Suppose 4*z = 12*p - 16*p + 9104, 7*p = -5*z + 11382. Is 3 a factor of z?
False
Let b(d) = 305*d**2 + 6*d + 6. Let m be b(-1). Let c = m + -210. Is c a multiple of 4?
False
Suppose -2*q = v - 59, 5*q - 123 = -5*v + 27. Let a = q + 64. Is 19 a factor of a?
False
Suppose 4*f - 257606 = 1416*p - 1417*p, 3*f + 6*p = 193236. Is f a multiple of 13?
False
Let w = 356 - 262. Let r = -68 + w. Is r a multiple of 13?
True
Let b = -9328 + 11208. Is 11 a factor of b?
False
Suppose -3*t + 4433 = -4843. Suppose t - 887 = 7*u. Suppose -u - 345 = -3*r. Is r a multiple of 22?
True
Let w = -9412 + 21165. Is 7 a factor of w?
True
Suppose 18200*p = 18231*p - 171430. Does 38 divide p?
False
Let o be (-5 + (-12)/6)*2/7. Is 9 a factor of (-305)/o + (-36)/(-8) + -4?
True
Let c = 355 + -309. Suppose 0 = -2*d + c + 74. Does 60 divide d?
True
Let d be 4*(0 + 49/4) + 0. Suppose -4*c + d = -27. Suppose c*w - 21*w + 104 = 0. Is 30 a factor of w?
False
Let o = -23812 + 24609. Is o a multiple of 25?
False
Let r be (3 - -1)/(1/(35/(-14))). Let t(o) = o**2 + 12*o + 15. Let g be t(r). Let p(w) = -w**3 - 3*w**2 + 8*w + 10. Is p(g) a multiple of 10?
True
Let b(z) = -z**3 - 15*z**2 - 2*z - 15. Suppose -2*u - 5*u - 105 = 0. Does 15 divide b(u)?
True
Let k be ((-2)/(-8))/(5 - (-156)/(-32)). Let i(g) be the second derivative of 25*g**3/3 + 2*g**2 - 3*g. Does 9 divide i(k)?
False
Suppose 0 = 81*a - 85*a + 56. Is a even?
True
Suppose -3*p - w = -6257, -4*p + 3*w - 1973 = -10346. Is 6 a factor of p?
True
Let p = 37 + -46. Let f(z) = 3*z + 34. Let d be f(p). Suppose d*q - 27*q = -580. Does 3 divide q?
False
Let d(b) = -b**3 + 6*b**2 + b - 13. Let a be d(5). Suppose -5*o + a*o = 2688. Does 28 divide o?
True
Suppose 154*v = 437*v + 11174 - 608870. Does 26 divide v?
False
Let a(p) = 2227*p**2 - 4*p + 3. Let c be a(1). Suppose -c = -2*s - 3*z, 3*s - 15*z - 3326 = -13*z. Does 13 divide s?
False
Let u(p) = -10*p + 16. Let f be u(8). Suppose l + 0*l + 53 = -2*h, 127 = -4*h + 5*l. Let v = h - f. Is 9 a factor of v?
True
Let a be (-100)/(-6) + ((-44)/(-3))/11. Suppose -6*x + 0 - a = 0. Let f = 0 - x. Is f even?
False
Suppose -10448 = 27*d - 60263. Suppose -46*p = -51*p + d. Is 12 a factor of p?
False
Suppose 3927*l = 3919*l + 4520. Is l a multiple of 5?
True
Let i(h) = -h**3 - 7*h**2 + 17*h + 5. Let n be 2 + (1/(-2))/((-12)/24). Suppose 41 = -4*v - 5*t, -4 = t - n. Is 2 a factor of i(v)?
True
Let r(o) = 3*o**3 - 6*o**2 - 2*o - 6. Let a(b) = b**3 + b**2 - 1. Let l(y) = 4*a(y) - r(y). Is l(-8) a multiple of 38?
True
Let p = -66 + 70. Suppose -3*g - 381 = 2*x, 2*g + 29 = p*x - 241. Let l = g - -187. Is 6 a factor of l?
False
Let h(w) = 2149*w - 169. Is 45 a factor of h(1)?
True
Suppose -137*a = -110*a - 648. Let c(x) = 2 + 4*x - x - 13. Does 15 divide c(a)?
False
Let v(u) = 58 - 26*u + 62 + 4. Let q(t) = -9*t + 41. Let w(g) = -17*q(g) + 6*v(g). Does 10 divide w(-24)?
False
Let n(s) = -5*s - 154. Let c be n(-32). Suppose c*m + 8344 = 20*m. Does 54 divide m?
False
Let b(y) = 3*y - 21. Let t be b(9). Suppose 2*l = 3*m - 16, t + 4 = 3*m + l. Suppose 4*a = 4*k - 484, 5*k + 3*a - 621 = m*a. Is 25 a factor of k?
True
Suppose 0 = -4*i + 83 + 457. Let n be (-1)/(-2)*(-36)/2. Let l = i + n. Does 14 divide l?
True
Is (-27 + 1)*((-15751)/38 + -5) a multiple of 13?
True
Let y = 68 + -67. Let k be -13 + 190 - (-5)/y. Suppose k = -0*n + 13*n. Is n even?
True
Let v(s) = 854*s + 2. Let l(k) = 851*k + 1. Let b(a) = -5*l(a) + 6*v(a). Is 12 a factor of b(1)?
True
Suppose 5*f - 17077 = c, 6802 = -174*f + 176*f - 4*c. Is 15 a factor of f?
False
Let t be 2/7 + 114*7/(-49). Is (264 - (1 + 2))/((-12)/t) a multiple of 58?
True
Suppose 84 = -10*p + 104. Suppose 265 - 92 = 2*n - z, -5*z + 191 = p*n. Is n a multiple of 26?
False
Let g(b) be the second derivative of -b**5/20 - 23*b**4/12 - 13*b**3/2 - 77*b**2/2 - 2*b - 6. Does 27 divide g(-22)?
True
Let q be -1*(-3 + -3 + 2). Suppose 0 = 5*f - f - 2*p + 832, q*p = 3*f + 629. Let a = 355 + f. Does 23 divide a?
False
Let x(a) = a**3 - 40*a**2 - 87*a + 146. Is 3 a factor of x(42)?
False
Let n be -10*(-4)/(-10) + 1*10. Is 0/n + 4 + 385 + -4 a multiple of 11?
True
Let r(p) = 9*p**2 - 59*p + 796. Does 10 divide r(13)?
True
Suppose -35*v + 60171 = -21729. Is 45 a factor of v?
True
Let f(y) = 2*y**2 - 24*y - 6. Let c be f(12). Let d be c/(-9) - (-19516)/21. Suppose -150 = -4*g + d. Does 27 divide g?
True
Suppose -27*c + 925 = 10*c. Is 26 a factor of (-3965)/(-25) - (-10)/c?
False
Let k(v) = -v**2 - 12*v - 22. Let c be k(-10). Let w be (-2)/(c/297) - 4. Suppose -2*d + 2*n + 236 = 2*d, 5*d - 2*n - w = 0. Is 6 a factor of d?
False
Suppose -5*x + 47 + 33 = 0. Let g be ((3/(-2))/1)/((-6)/x). Suppose -4*d - 3*p - 136 = -476, g*p + 456 = 5*d. Is d a multiple of 11?
True
Suppose -3*n - 4*p = -14, 4*n + n - 4*p = 66. Suppose 2*q - 3*k = 762, 7*k + n = 2*k. Does 42 divide q?
True
Let x(v) = v**2 - 6*v - 68. Let a be x(-6). Suppose -4*b = -4, 8*b = a*w + 3*b - 543. Is 16 a factor of w?
False
Suppose -l - 1283 = -q, 3*l = q - 2*q + 1267. Suppose -595 = 6*a - q. Does 3 divide a?
True
Suppose 0*o - 700 = -2*o. Suppose -4*x - 2*l + 496 = 0, -7*l + 3*l = -x + 106. Suppose o = -x*t + 127*t. Is 9 a factor of t?
False
Let l = 34 - 27. Suppose -v = k - 19, -2*k - 63 = -l*k + 3*v. Let m(i) = -i**2 + 19*i - 22. Is m(k) a multiple of 19?
True
Let k(s) = 21*s**3 + s - 1. Let c be k(1). Let a = 18 - c. Is 143/3 + (-4)/a a multiple of 14?
False
Let w(u) = 849*u**2 + 21*u + 152. Is 50 a factor of w(7)?
True
Let f(d) be the first derivative of d**6/360 - d**5/60 + 13*d**4/24 + 17*d**3/3 - 15. Let v(x) be the third derivative of f(x). Is v(-9) a multiple of 16?
True
Let x = 182 + -922. Let h be ((-443)/3)/(3/9). Let y = h - x. Does 33 divide y?
True
Let p be 7/(-42) - (-7)/6. Let b(a) = 3*a**2 + 15*a + 14. Let x be b(-3). Is 177 + p*12/(0 - x) a multiple of 27?
False
Let v be -6*(-1)/(-1 + 0). Let m = v - 10. Let z = m + 47. Is z a multiple of 31?
True
Suppose 3*h - 6989 - 11650 = 2*m, -5*h + 2*m = -31069. Does 12 divide h?
False
Let z(s) = -2*s**2 + 155*s - 365. Does 52 divide z(71)?
False
Let j = -802 + 901. Does 9 divide j?
True
Suppose -4 = -m - 4*t, -5*m = 3*t + 9 + 22. Is 32/((0 - m)/32) a multiple of 6?
False
Suppose 4*i + 3*m - 163 = 0, -i - 2*m + 14 + 23 = 0. Let o = 17 + i. Is (-10)/o - (-661)/6 a multiple of 6?
False
Let b(r) = -2*r**2 + 158*r + 462. Is b(64) a multiple of 36?
False
Let w be 0 + (128 - (-3 + 3)). Suppose -59 = -d - j, -3*d - w = -5*d + 3*j. Let k = 63 + d. Does 31 divide k?
True
Let b(n) = 233*n**2 + 134*n - 8. Is b(-3) a multiple of 3?
False
Suppose 0 = 9*a - 102 - 1392. Suppose -a*m = -162*m - 2040. Is m a multiple of 15?
True
Suppose -z + 3205 = -w, -3 = z - 4. Is (w/(-27))/(6/18) a multiple of 20?
False
Suppose 16*c = 11*c. Suppose 2*h = -2*h - c*h. Does 18 divide (h + -1)/(3 - (-1235)/(-410))?
False
Suppose 2*h + 1884 = 5*m, -2*m + 362 = -4*h - 382. Suppose m = -11*n + 14*n. Is n a multiple of 18?
True
Suppose -6*c = 24*c - 123000. Is 12 a factor of c?
False
Suppose 63863 - 463857 = -128*j + 100230. Does 72 divide j?
False
Let h(x) = 2*x**3 + 2*x**2 - 4*x + 7. Let o be h(0). Is 29 a factor of -2 + o/(28/1284)?
True
Suppose -16*m + 163580 = 4*z - 17*m, 163568 = 4*z - 4*m. Is 72 a factor of z?
True
Let m(j) = j**2 + 9*j + 2. Let n be m(-9). Suppose 65 = -5*f + 5*d, 5*f + 58 = f - n*d