1, -12 = 3*d. Suppose 8*x - 4*l - 3335 = q*x, 3*x = -2*l + 2023. Is x a multiple of 11?
True
Let j(m) = -26*m - 47. Let t be j(9). Let d = 169 + t. Is 16 a factor of 1 - d - (0 + (-1)/(-1))?
True
Let y be (1 + 0)*(-46495)/(-85). Suppose -l + 66 = -2*m + y, 5 = -5*l. Is 5 a factor of m?
True
Let f be (10/(-4))/(24/16)*12/10. Let k = 0 - -8. Does 18 divide (8 + (4 - k))/f + 159?
False
Is 110 a factor of (-32)/(-28)*7 + (-10 - -36742)?
True
Does 48 divide ((-403)/(-39))/(-31)*-13914*1?
False
Suppose -4328 = -9*o - 1205. Let a = 1101 - o. Is a a multiple of 13?
True
Suppose -129*p = -133*p + 4*g + 23212, 0 = -2*p - 3*g + 11611. Does 81 divide p?
False
Suppose 28204 = 35*a - 15791. Is 19 a factor of a?
False
Let k = 8874 - 5155. Suppose 25*v - 1106 = k. Does 69 divide v?
False
Suppose -4*r - d - 1657 = -30939, 3*r = d + 21958. Does 20 divide r?
True
Let o = -8929 + 8932. Let a = -1 + 1. Suppose -2*l = -t + 12, -o*t - 2*t - 3*l + 125 = a. Is t a multiple of 6?
False
Let n(o) = 2*o**3 + 10*o**2 - 18*o - 32. Let g be n(-6). Suppose -5*y - 118 = -d, -536 = -12*d + 8*d + g*y. Is 6 a factor of d?
True
Let t = -68 + 67. Let y be (-3 - 2)/((-2 + 3)/t). Suppose -2*f - 4*a - 52 = -4*f, y*a = f - 23. Is f a multiple of 14?
True
Let s(d) be the first derivative of -d**4 - 5*d**3/3 + 7*d**2/2 + 25*d - 3. Is s(-5) a multiple of 9?
False
Let r(q) = -5*q**3 - 2*q**2 + 3*q - 8. Let y(v) = 11*v**3 + 4*v**2 - 7*v + 15. Let i(w) = 7*r(w) + 3*y(w). Is 5 a factor of i(-3)?
True
Suppose 0*p - b = -2*p + 11, 0 = -2*p - 2*b + 20. Let m(t) = -5*t**2 - 19*t**3 + 3*t + 6 + 42*t**3 - 3*t**2 + 6*t - 22*t**3. Is 3 a factor of m(p)?
False
Let w = -5411 - -6707. Is w a multiple of 36?
True
Let l = -2647 + 8769. Is l a multiple of 19?
False
Is 12 a factor of -5 - (91/21)/((-3)/909)?
True
Let v(q) = -q**3 + 17*q**2 - 15*q - 1. Let t be v(6). Let b = t - 265. Is b a multiple of 5?
True
Suppose 2*k + 2*z - 32650 = 0, 19*z + 28 = 123. Is 42 a factor of k?
False
Suppose 0 = 5*f - 2202 + 437. Suppose 6*u - f = 1087. Does 12 divide u?
True
Suppose 8*p = 2*p + 34860. Does 50 divide (-5)/2*p/(-175)?
False
Does 19 divide (42/9)/1*19950/(-4 + 18)?
True
Let g be 2 + ((3 - -2) + -4 - 0). Suppose -g*j + 6 = -r + 39, 0 = 2*r + j - 87. Is 7 a factor of r?
True
Suppose -12*d + 74404 = 2*u - 16*d, 74398 = 2*u - 5*d. Is u a multiple of 158?
False
Suppose -32*k - 119000 = -42*k. Suppose -65*y + k = -48*y. Is y a multiple of 28?
True
Let n be 24/32 - (-226)/8. Let b(j) = 15*j - 13 - 37*j - n*j**2 + 28*j**2. Does 8 divide b(-17)?
True
Let y(o) be the second derivative of o**5/20 + 13*o**4/12 + 5*o**3/2 + 14*o**2 - 31*o. Is y(-8) a multiple of 6?
True
Suppose -7*z = -15 - 6. Suppose -2*m = -z*w + 118, 0 = m + 3*m - w + 256. Let t = -37 - m. Does 4 divide t?
True
Let l = 11330 + -8542. Is 17 a factor of l?
True
Let t be 16506/(-45) + (-12)/10. Let u = 768 + t. Is 27 a factor of u?
False
Let z = 116 - 118. Is 16 a factor of 4*(-5)/40 - 193/z?
True
Suppose 9*t - 42*t + 546057 - 168174 = 0. Is 93 a factor of t?
False
Let u = -55 - -55. Suppose 16*y + 3752 + 2680 = u. Let l = 679 + y. Is l a multiple of 38?
False
Let w be (-3766)/4 + 32/(-64). Let j = w - -1360. Is 13 a factor of j?
False
Is 10 a factor of (247242/178)/(6/20)?
True
Suppose -48*s = -20*s. Suppose -3*l + 2352 = -4*q, s = l - 152*q + 147*q - 795. Is 60 a factor of l?
True
Suppose -3*t + 49474 = -j, 10*t - 15*j - 164920 = -13*j. Does 13 divide t?
False
Suppose -20 = 3*f - 35. Is 22 a factor of (-16)/(-28) + (f - 4119/(-7))?
True
Suppose 28 = 2*c + 4*b, -c - 2*b = 2*b - 22. Does 42 divide c*(382/2 + -2)?
True
Suppose -3*l + 0*l + 3 = 0. Suppose 2*c - 15 = -3*o - 1, 5*c = -3*o - l. Is 6 a factor of ((-164)/o)/((-1)/(2/1))?
False
Let s = 42 - 92. Let v = 100 + s. Does 4 divide v?
False
Let q = 10212 + -4101. Does 63 divide q?
True
Let j(v) = 1872*v + 6018. Is j(12) a multiple of 94?
True
Let t(x) be the third derivative of 1/2*x**4 + 0 - 4/3*x**3 + 0*x - 8*x**2 - 1/60*x**5. Does 3 divide t(10)?
True
Let v be (-1 - -1) + -3 + 132. Suppose 2*j - 2*x - 8 = 0, -8*j = -9*j + 2*x + 1. Is (-1 + v/(-3))*(-8 + j) a multiple of 15?
False
Let b(a) = a + 39. Suppose -m - 4*m = 25. Let x be ((17/m)/1)/(16/(-80)). Is 14 a factor of b(x)?
True
Suppose 2574*s + 36318 = 2592*s - 75732. Does 5 divide s?
True
Suppose 49 = 18*m + 13. Suppose -4*p + m*p = -560. Is 7 a factor of p?
True
Let u(f) = -4*f**2 - 30*f - 10. Let l be u(-7). Suppose 3*s + l*x - 3003 = 0, -15*s - 4*x + 5005 = -10*s. Is 91 a factor of s?
True
Let g = 261 + -260. Let f = 142 + g. Does 5 divide f?
False
Suppose 36*i = 43*i + 196. Does 5 divide -2 + 96/42 - 2764/i?
False
Let b(k) be the second derivative of -7/6*k**3 + 1/2*k**2 - 14*k + 0 + 1/4*k**4. Is b(-5) a multiple of 37?
True
Let s be (0 - 10/(-4))/(7/14). Suppose -5*h + 406 = -3*t, -8*h - s*t = -5*h - 264. Is 9 a factor of h?
False
Does 24 divide -11*(-48)/(-1320) + (-1)/(20/(-1591088))?
False
Let w = -909 + 921. Suppose -2956 = -w*i + 188. Is 25 a factor of i?
False
Let k(y) = -1765*y - 2299. Is 7 a factor of k(-4)?
False
Let l be 2/(-8) + 7/((-56)/(-11370)). Suppose -3*h + l = k, h - 471 = -10*k + 7*k. Is h a multiple of 13?
False
Let c = 417 + -190. Suppose -15*t = -1738 - c. Is 4 a factor of t?
False
Suppose 1861*x - 1870*x = -25065. Is x a multiple of 32?
False
Let g be (1/(-2)*-7)/((-10)/(-4500)). Suppose -2*k + 1925 = 5*w + 3*k, 3*k = 4*w - g. Is 30 a factor of w?
True
Suppose -25*h = -21*h + 256. Let c be (h/(-10))/(3/60). Is 10 a factor of c - (-9 + -3)/3?
False
Let g be (-7)/((-63)/156)*(-18)/(-4). Suppose -3*c + g + 75 = 0. Suppose 6*u - c = 123. Is 8 a factor of u?
False
Let s = -450 + 243. Let k = s - -309. Is 17 a factor of k?
True
Suppose 4*g + 2*a - 7740 = 0, -30*g - 1934 = -31*g - a. Is 5 a factor of g?
False
Let q = 23 + -20. Suppose 4*m - 3*j = 2916, q*m + 4*j = -j + 2187. Suppose -5*h + 5*y + 1205 = 0, 0 = -3*h - 0*y + y + m. Is 13 a factor of h?
False
Let m(g) = 6*g - 159. Let h(s) = 16*s - 317. Let o(f) = 4*h(f) - 9*m(f). Does 3 divide o(0)?
False
Let i(p) = p**2 - 11*p + 63. Suppose -24 = 6*u + 54. Does 75 divide i(u)?
True
Does 24 divide (3774 - (2 + 1))/(3*(-7)/(-112))?
True
Let r = -1125 + 1709. Suppose -5*t = -96 - r. Is 5 a factor of t?
False
Let u be ((0/(15/(-5)))/4)/8. Let q be 1*-1 + -2 + 675. Suppose u = 21*a - 7*a - q. Does 6 divide a?
True
Let h(p) = -p**3 + 36*p**2 - 80*p + 161. Is h(27) a multiple of 17?
False
Suppose -5*b + 96 + 61 = -x, -25 = -b - 3*x. Suppose 4*r - 86 = -4*m - 6, b = 2*m + 5*r. Does 13 divide m?
False
Let h be (5 - 0) + 5 + 2/2. Does 36 divide (-34)/(-4)*20 - 11/h?
False
Suppose -1079987 - 880831 = -81*f + 217110. Is f a multiple of 10?
False
Suppose -6*a = -6*a - 24*a + 47664. Does 2 divide a?
True
Let h(s) = -s**3 - 81*s**2 - 793*s - 383. Is 7 a factor of h(-70)?
False
Suppose 4*h + 3*u = 292044, 0 = 49*h - 44*h + u - 365066. Does 20 divide h?
False
Let q(s) = -103*s - 1. Let h = -208 - -207. Is q(h) a multiple of 20?
False
Let o be 3*(-784)/72 - 8/6. Let r = 233 + o. Is r a multiple of 54?
False
Let h(s) = 4*s**3 + 5*s**2 - 20*s - 1. Let k(i) = 9*i**3 + 9*i**2 - 41*i - 1. Let f(m) = -7*h(m) + 3*k(m). Is 18 a factor of f(-11)?
True
Let u(p) = 0 + 1 - 7*p + 4*p. Let g be u(-5). Let l = 76 - g. Is l a multiple of 10?
True
Let k = -5955 + 23995. Does 40 divide k?
True
Let s be (-55 + 52)*(-3)/(-2)*-2. Suppose -303 = -s*l + 2073. Does 33 divide l?
True
Suppose 3*t - 373 = 77. Suppose 3*r - 8*r = t. Is (2 + -22)*24/r even?
True
Suppose 8*k = 3*u + 11*k - 153, 0 = -5*u - 3*k + 249. Is 6 a factor of (6/27 - (-86)/18) + u?
False
Suppose -2*c = -a - 68, 2*a = -3*a + 3*c - 347. Let i = 138 - a. Let d = i + -112. Does 18 divide d?
False
Let n be -110*6/12*1. Does 5 divide (n - -138) + (-4)/(-1)?
False
Let k(q) = -q**2 + 30*q - 50. Let m be k(14). Let y = 463 - m. Is 19 a factor of y?
False
Let i(b) = -3*b**2 - 10 - 5*b + 2 + 0*b**2 + 5*b**2. Let d be i(5). Does 15 divide (-3)/(1/(2 - d))?
True
Let h = 4260 + 965. Is 23 a factor of h?
False
Is (36/72)/(1/3164) a multiple of 113?
True
Let i(t) = -t - 11. Let r be i(-6). Let y be 221 - 0/(r/5). Is y/68 + (-1)/4 a multiple of 3?
True
Suppose -41 + 11 = -5*g. Let c be 458/5 - g/(-15). Suppose -4*i - 4*z = -c, 2*i - 6*z - 34 = -4*z. Does 20 divide