7957 - -27785. Is j a multiple of 15?
False
Let d(u) = -19*u**3 - 6*u**2 - 6*u - 4. Suppose -a = 5, c + 4*a - 5 = -27. Is d(c) a multiple of 17?
True
Is 49 a factor of ((-12756)/(-20))/(1 - 70/100)?
False
Let o(m) = 478*m**2 - 45*m - 58. Is o(6) a multiple of 26?
False
Let j = 9804 - -1117. Does 9 divide j?
False
Suppose 40*c - 142154 = 7*c - 41*c. Does 48 divide c?
False
Let r(w) = w**2 + 3*w - 23. Let z be r(-7). Suppose 0 = -3*l - 3*a - 0*a, -z*l + 5*a + 30 = 0. Suppose -8*k + 805 = -l*k. Is 7 a factor of k?
True
Let o be (-9)/12 + ((-196)/16 - 6). Is 3 + (-681 - o)*(-2 - -1) a multiple of 35?
True
Suppose a + 161 = 5*i, a - 6*a - 945 = 3*i. Let f = 348 + a. Is f a multiple of 7?
False
Suppose x + 4*n - 31 = 3*n, 4 = -2*n. Let f(l) = -l**3 - 2*l**2 - l + 3. Let o be f(-2). Suppose -608 = -o*s - x. Is 46 a factor of s?
False
Let s(w) = w**3 + 9*w**2 + w + 2. Let h be s(-10). Let d be -1 + (-1 - -1) + (-3 - h). Is 13 a factor of (54/(-24) - 0)*d/(-3)?
True
Suppose 3*t = 4*k + 738, 33*k = 7*t + 34*k - 1691. Does 11 divide t?
True
Suppose 5*a + 3*q - 20313 = 0, 0 = 45*a - 42*a - 5*q - 12147. Is a a multiple of 53?
False
Suppose 19*d + 5*a = 24*d + 15, 0 = -d - 4*a + 22. Is (-1821 - -5)*d/(-8) a multiple of 38?
False
Suppose -5*x = -v - 19, -5*v + 5 = -2*x - 3*x. Suppose -v = 3*g, 20 = 2*c - 2*g - 3*g. Suppose c*n - 101 = -z, n = 5*z - 3*n - 418. Does 43 divide z?
True
Let r(i) = -i**3 + 10*i + 4. Let u be r(-3). Does 30 divide 352 - 24 - (-2)/(u/1)?
True
Suppose n = -4*i + 8, -4*i - 4*n + 8*n + 28 = 0. Suppose p + i*s = 222 + 22, 0 = -3*p - s + 700. Does 8 divide p?
True
Suppose -3*u + 391 = -1916. Suppose 10*f + 24 = 22*f. Suppose 0 = -3*l - f*j + u, 5*j + 1240 = -0*l + 5*l. Is l a multiple of 11?
True
Let j = 1208 + -168. Is 20 a factor of j?
True
Let w = 32 + -32. Let f(g) = w*g**3 - 7*g**2 + 15*g - 2*g + g**3 - 2*g. Does 10 divide f(6)?
True
Suppose -8*h - 3*h = -2904. Suppose -2*d = -4*z - 84, -5*d = -3*z - h + 33. Is 12 a factor of d?
True
Suppose 21 - 21 = 6*s. Suppose 4*g - j + 6*j - 379 = s, -3*g = 3*j - 285. Is 32 a factor of g?
True
Let h be ((-100)/(-12))/((-2)/(-354)). Suppose -4960 = 1471*x - h*x. Is x a multiple of 40?
True
Let o be (-2 + -2 + -2)/((-21)/14). Suppose 5*b + o*b = 18. Suppose -101 = -3*s - z, -z - 53 = -b*s + 16. Does 17 divide s?
True
Let j(t) = 3*t**3 - t + 1. Let f be j(1). Let o(l) = -l**3 + 5*l**2 - 4*l + 2. Let n be o(f). Suppose 26 = 3*q + n. Is 5 a factor of q?
False
Suppose -57356 = -8*o + 33300. Is o a multiple of 10?
False
Let n(u) = -3*u**2 + 15*u + 3. Let z be n(5). Let d(c) = z - 17 + 19*c - 35*c - c**2. Does 10 divide d(-14)?
False
Suppose -4*d - 198 = -2*j, -4*j - 68 = -3*d - 439. Suppose 2*l + 73 = j. Is l a multiple of 8?
True
Let l = -13078 - -26046. Is l a multiple of 228?
False
Let g be (-161)/(-8) - (-4)/(-32). Suppose -g*y = -2314 + 234. Is 26 a factor of y?
True
Suppose 5085 - 1692 = 29*b. Is b a multiple of 9?
True
Suppose 5*j = 2*b - 12687, 9*b - 3*j + 31671 = 14*b. Is b a multiple of 53?
False
Let z be 2718/(-54)*3*-1. Let q = -49 + z. Is 17 a factor of q?
True
Let s be (-1 + (-4)/(-1))/(15/245). Suppose s*c = 47*c + 10. Is ((-12)/14)/(((-15)/84)/c) a multiple of 6?
True
Suppose 19*u = -76 - 57. Is 6/(u*(-21)/13034) a multiple of 19?
True
Suppose 45*y + 35*y = 883078 - 164038. Is y a multiple of 106?
False
Let d be 0 - ((-9)/3 - (-8 + 1)). Let t(y) = y**3 + 5*y**2 + 2*y - 2. Let h be t(d). Let k(l) = 5*l**2 - 8*l + 4. Does 18 divide k(h)?
False
Let y = 12 - -8. Suppose -2*g + y = -0*g. Is 13 a factor of (-2)/(-3*g/585)?
True
Suppose 5*n + 5*b - 53785 = 0, n + 0*b = 2*b + 10769. Does 17 divide n?
True
Suppose 2*g - 17131 = -109*n + 110*n, -3*n - 34265 = -4*g. Does 124 divide g?
False
Let k = 30071 + 4844. Does 70 divide k?
False
Let d be 20 - (-3 - -5)/(1/(-2)). Let t be (d/8)/((9/14)/3). Suppose -150 = -t*j + 9*j. Is 3 a factor of j?
True
Let v(m) = -1050*m - 396. Does 15 divide v(-6)?
False
Let a(p) = -2*p**3 - 8*p**2 + 23*p + 55. Let d be a(15). Is d/(-10) - (-5 + 1) a multiple of 39?
True
Suppose -36 = 4*q - 4*c, -3*q - c - 8 = 3. Suppose 118 = -y + 3*y. Is (q + 1)/((-2)/y) a multiple of 12?
False
Suppose 3*x - 236 = 2*b, 3*b + 4*x = -276 - 44. Let n = b + 198. Let t = n - 68. Does 9 divide t?
True
Let i = 627 + -622. Suppose -i*m = 2*g - 757, 4*g + 16*m - 1522 = 14*m. Is 34 a factor of g?
False
Let y = 57 - 54. Suppose -y*u + 3*l + 10 = 5*l, 4*u = -5*l + 18. Suppose d - h + 616 = 6*d, -u*d = -4*h - 264. Is d a multiple of 30?
False
Suppose -3*a - 48 = 5*j + 26, 3*a = 6. Let r be (j/10)/(-4)*135. Does 18 divide (r/7)/((-18)/(-168))?
True
Let i(l) = 8*l**2 + 9*l + 5. Let w be i(-6). Suppose -8*y - w - 361 = 0. Let j = y - -153. Is 9 a factor of j?
False
Suppose -q = q + 4*c - 110, 4*q - 2*c = 220. Does 14 divide (-10)/q + (-4096)/(-22) + 2?
False
Let j = -930 - -944. Suppose -j*q = 5*q - 2394. Is 15 a factor of q?
False
Let j = 167 + -160. Let o(f) = 6*f**3 - 11*f**2 + 27*f - 16. Is 40 a factor of o(j)?
False
Suppose 0 = -3*q + 2*i + 5973, -i + 9 = 2*i. Suppose 0 = 3*n + 5*t - 1223, 5*n - 2*t = t + q. Suppose -40 = -3*z + n. Does 21 divide z?
True
Let a = 67 + -65. Suppose -5*t = 5*q - 720, 6*t - a*t = q + 556. Is t a multiple of 8?
False
Let o = -325 - -316. Let g(n) = n**3 + 2*n**2 - 5*n + 3. Let c be g(4). Is 7 + o - c/(-2)*2 a multiple of 7?
True
Let x = -464 + 472. Let t(k) be the second derivative of -k**4/12 + 17*k**3/6 - 7*k**2/2 + k. Is 13 a factor of t(x)?
True
Let h = 1262 + -1209. Let g = -63 - -101. Let z = h - g. Does 5 divide z?
True
Suppose 79 + 113 = 8*d. Let v = -21 + d. Suppose v*b = -8 + 50. Is b a multiple of 3?
False
Let x(v) = -v**3 - 7*v**2 - 12*v - 1. Let k be x(-6). Is 10 a factor of (-197 + -6)*(-10)/k?
False
Suppose 4*t + 7 = -3*p, 2*p - 5*t + 4 = -7*t. Is 27 a factor of (289/2*p)/(2/(-8))?
False
Suppose 7*z = -16*z + 9*z + 84938. Is 76 a factor of z?
False
Suppose -n - b + 17987 = 0, -2*n + 182*b + 35972 = 183*b. Is 37 a factor of n?
False
Is 2808/((-45)/(4860/(-24))) a multiple of 4?
True
Let d(t) = -2*t**3 + 96*t**2 - 104*t + 246. Does 151 divide d(46)?
True
Let g be ((-44)/6)/(100/450). Let j = g - -87. Is j a multiple of 27?
True
Let o = 20041 + -13540. Is o a multiple of 74?
False
Let q be -3*1/8 - 73066/(-112). Suppose -188 - q = -8*u. Does 15 divide u?
True
Let g be (-1 - 76/8)*10/(-5). Let i(n) = -56*n**2 + g*n - 4*n + 2 + 65*n**2 + 12*n. Is i(-7) a multiple of 12?
True
Let h = 633 + -325. Suppose -d + 71 = -5*o, -d + 4*d + 4*o = h. Does 24 divide d?
True
Suppose 57*z - 54*z - 12 = 0. Suppose -z*h - 34 = -2*b, b - 2*h = -2*b + 43. Let a = 20 - b. Is 7 a factor of a?
True
Let m be (-3502)/(-5) - (2 + (-48)/30). Let g = -4 + 7. Suppose g*f + f - m = 0. Is 25 a factor of f?
True
Let g be 46/3*(1337/14 + 11). Suppose -3*z = j - g, 10*j = 9*j + 5*z + 1673. Does 16 divide j?
True
Suppose 2*f - 317 = -3*u, -5*u = f - 416 - 110. Suppose 5*l - 486 = -9*v + 11*v, -3*v - u = -l. Is l a multiple of 8?
True
Let x(m) = 34*m**2 - 2*m. Let o be x(2). Suppose 25*u = 30*u + 530. Let n = o + u. Is n even?
True
Suppose 4*v + 2*m = 22, -6 + 0 = -2*v - 2*m. Suppose -v = 4*c + 8. Let i(z) = z**2 + 2*z + 7. Is i(c) a multiple of 5?
True
Suppose 0 = 4*g - 0*g. Let x(t) be the third derivative of t**6/120 + t**5/60 + t**4/8 + 31*t**3/6 - 10*t**2. Is x(g) a multiple of 9?
False
Suppose 4*v - 3*t - 2754 = 0, 4*v - 537 - 2221 = t. Does 15 divide v?
True
Let b = -283 + 219. Is (b/10)/((-12)/1320) a multiple of 12?
False
Suppose 0 = 2*s - 4*l - 17172, 84*s + 3*l + 25773 = 87*s. Does 14 divide s?
True
Let a = 63 + -51. Let y(i) = 5 - 3*i**2 + i**3 - 4 - a*i + 4 + 8. Does 42 divide y(8)?
False
Suppose 6*u - 7525 = 1355. Suppose -2*o - 1183 = -4*l + o, -5*l + 4*o = -u. Does 13 divide l?
False
Let r = 29136 + 8549. Is 22 a factor of r?
False
Suppose -3*z = -6, -57 - 19 = -3*y - 2*z. Let f(k) = k**2 - 2*k - 214. Is f(y) a multiple of 9?
False
Let k be (1 - -3 - 3) + 2. Suppose -4*u + 1388 = 2*r, 5*u + k*r = -r + 1738. Suppose -2*i + u = -134. Does 16 divide i?
True
Suppose -r + 10 = 4*r, -3*u - r = -197. Let a be (-2)/(-4)*-1 - (-1775)/50. Suppose u = 5*j - a. Is 10 a factor of j?
True
Suppose 2*m + h + 3*h + 22 = 0, 0 = -5*m - 5*h - 80. Let c be (-1445)/867*174/(-10). Let i = c -