 + 355. Let k = q + -12. Suppose 6*z - k = -22. Is z a multiple of 2?
False
Let s = 319 - 313. Is 35 a factor of s/(-4)*10868/(-39)?
False
Suppose 64*u - 59*u - 5 = 0. Let z be (-2)/(u/(-2)*2). Suppose 7*o + z*a - 76 = 2*o, o - a - 18 = 0. Does 8 divide o?
True
Suppose -7 - 3 = h. Suppose 13048 = -818*w + 846*w. Is w*12/(-30)*h/8 a multiple of 19?
False
Let w = -195 - -679. Let y = w - 250. Is 13 a factor of y?
True
Let t(l) be the second derivative of 3*l**5/20 - l**4/6 + l**3/2 + 4*l**2 + 3*l + 21. Let n be 4/8 - (-21)/6. Is t(n) a multiple of 30?
True
Let s be (-100)/(-26) + (-8)/(-52). Is 1710/8 + (-27)/s + 6 a multiple of 4?
False
Let v = 20494 + -8486. Is v a multiple of 4?
True
Let l(i) = 156*i**2 + 3*i + 70. Is 4 a factor of l(10)?
True
Suppose -40 = -17*w + 11. Suppose -14*j - 3166 = -3*d - 10*j, -w*d - 5*j + 3130 = 0. Is d a multiple of 42?
True
Let t(s) = 300*s**2 + 1. Let p be t(1). Let v = p + -144. Is v a multiple of 23?
False
Let d(i) = -2*i**2 - 26*i - 72. Let o be d(-5). Suppose 4*a - o = 0, 2*n - 5*a = -a + 238. Does 48 divide n?
False
Let o = 2 - -2. Suppose -10 = -2*z, o*l + 2*z = 6*l - 676. Is l a multiple of 23?
False
Let v be -3 + 11 + 52/(-13). Suppose 3*a + 2*i - 4136 = 0, 0 = 2*a - 5*i + v*i - 2748. Is a a multiple of 32?
True
Let s = -13828 + 22882. Is s a multiple of 18?
True
Suppose 8*d + 5 = 3*d. Let i(x) = x**3 + 23*x**2 - 21*x + 49. Let o be i(-24). Let r = d - o. Is r a multiple of 19?
False
Is (0 - -104)/13 + 6827 a multiple of 5?
True
Let j be (0 - 0) + 2 + 0. Let b(i) = 0 + 0 - 1 + 58*i + 3 + 11. Does 43 divide b(j)?
True
Does 19 divide 4/18*16820208/544?
False
Let m = 10883 + 12142. Is 87 a factor of m?
False
Suppose -p + 6 = 2*p. Let f(t) = 3*t + 14*t**2 + t**3 + 24 - 6*t**2 + 0*t**p + 4*t. Does 8 divide f(-7)?
True
Let y(h) = -49*h + 27. Let l be y(15). Let t be -3 + l/(-1 + -1). Suppose -5*i + t = 5*p - 3*p, -i + 2*p + 63 = 0. Does 5 divide i?
False
Suppose -2*o - 24 = -y + 2*o, 3*o + 19 = y. Suppose -y*l = -143 - 153. Does 5 divide (1/(-8)*-4)/(1/l)?
False
Suppose -2*k + 3*d = 6*d - 6, 0 = 3*k + 4*d - 8. Suppose g - 10 + 15 = k, 572 = u + 5*g. Is 6 a factor of u?
False
Let s = 175 - 107. Suppose -1864*y + 1876*y = 2016. Let r = y - s. Does 10 divide r?
True
Let i(y) = 1 + 148*y**3 - 147*y**3 + y**2 - 3. Let w be i(-3). Let x = 36 + w. Is 16 a factor of x?
True
Let k be 2/5*(-2 + 7). Let w(f) = 54*f**2 + 4*f - 4. Let r be w(k). Suppose -10*d + 40 + r = 0. Does 13 divide d?
True
Let i(h) = -2*h**3 - 17*h**2 + 22*h + 22. Is i(-13) a multiple of 24?
False
Let c = -251 - -373. Let w = 245 - c. Does 4 divide w?
False
Suppose f - 1824 = 4*q, f - 2*q - 1106 - 728 = 0. Suppose -w + 37 = -f. Is 11 a factor of w?
True
Let t = -3138 + 3308. Does 8 divide t?
False
Suppose -5*t - 3*h = -28, -8*t - 14 = -11*t + h. Suppose -2*w = -5*l - 12, 4*w = w - t*l + 68. Suppose w*i - 17*i + 170 = 0. Is 22 a factor of i?
False
Let n(c) = 20*c**2 - 3*c + 3. Let w(t) = t**3 + 4*t**2 - 4*t + 7. Let p be (-2)/(-2) + 24/(-4). Let k be w(p). Is 18 a factor of n(k)?
False
Let n = 66 + -38. Suppose -n + 18 = -2*i. Let c(v) = 2*v**2 - 6*v + 2. Is 10 a factor of c(i)?
False
Suppose -5*l = 5*j - 4985 - 570, -l = -3*j - 1107. Suppose 0 = -3*g - 3*g + l. Is 103 a factor of g?
False
Let u(p) = 8*p - 83. Let s be u(22). Suppose 274 = q + s. Does 14 divide q?
False
Let k be (26/4)/(41/902). Suppose j - 5*c = -j + 474, 0 = -2*j - 2*c + 446. Let d = j - k. Is d a multiple of 14?
True
Let f(a) = 12*a**2 - 8*a - 7. Let r(c) = -c - 19. Let y be r(-14). Is 37 a factor of f(y)?
True
Let x be (-1)/(9 - 17395/1932). Suppose 20*i - 26*i + x = 0. Is 11 a factor of i?
False
Suppose 0 = 3*r + 3*n - 7*n - 1011, -315 = -r + 5*n. Is r a multiple of 23?
True
Suppose 0 = -u - 4*v + 830, -2*v + 836 = -48*u + 49*u. Is u a multiple of 4?
False
Let p be ((-20)/50)/((-1)/350). Let t = p - 69. Suppose -t = 7*n - 253. Does 26 divide n?
True
Let x(n) = 1625*n - 4215. Is x(15) a multiple of 40?
True
Suppose 9*z - 64 = 8*z. Let h = 70 - z. Suppose -5*v + 0*v + 3*k = -694, -3*k + h = 0. Does 48 divide v?
False
Let s(h) = -5*h**2 + 5*h - 8. Let o be s(3). Let l be (-1)/1*(20 + 1). Is 6 a factor of (24 + l)/((-2)/o)?
False
Let c be (2 + -1)/((-3)/(-6)). Suppose -t + 5*j + 57 = 0, 4*t = -6*j + 3*j + 205. Suppose -c*k - t = -2*g - 228, 0 = -k + 3*g + 90. Is 11 a factor of k?
False
Let p(u) = 3*u - 12. Let h be p(4). Suppose h = 29*v - 25*v - 16. Suppose 0 = 3*n + v*y - 74, n + 2*y - 28 + 6 = 0. Is n a multiple of 5?
True
Suppose -36*q - 5 = -5. Is 4 a factor of (2 - (q + 9 + -3)) + 92?
True
Let f = -4045 - -4384. Is f a multiple of 283?
False
Let a be (-6)/21*-7 + -8. Let b be (-5175)/(-20) + a - (-6)/(-8). Suppose q = -5*q + b. Is q a multiple of 7?
True
Let b = 1951 + -884. Let v = b - 93. Is v a multiple of 22?
False
Let g = 2907 + 46816. Is 131 a factor of g?
False
Let a be (-39)/(-15) + (-36)/60. Suppose -75 - 53 = -2*x - 4*j, -5*j - 110 = -a*x. Is x a multiple of 4?
True
Suppose -53269 = 25*p - 30*p - 2*q, -2*q = p - 10657. Does 8 divide p?
False
Let v = -33 + 39. Suppose v - 7 = r. Does 4 divide -11 + 11 + 5 + r?
True
Let v = 124 - -1503. Suppose -53 = -5*g + v. Does 48 divide g?
True
Suppose -4*b - 10 = 2*t, 4*b = 3*t + 8 - 33. Is 24 a factor of 1 + ((-764)/b)/1?
True
Let t = 39 - 39. Suppose -4*g + 3*g + 2869 = t. Does 7 divide 5/4 - g/(-76)?
False
Let n be (1 + -2 - 0)/(4/(-12)). Suppose -3*y = s + 2*y, -n = -s - 2*y. Suppose -3*x - 673 = -s*t - 6*x, x + 133 = t. Is 18 a factor of t?
False
Suppose 4*r - 17059 = -3*c - 1991, -4*c - 2*r = -20104. Is c a multiple of 12?
True
Let y(r) = -85*r**3 - 2*r**2 - 2*r - 1. Let z be y(2). Let b = -415 - z. Is b a multiple of 26?
False
Let o(z) = z**3 - 2*z**2 + z - 1. Let b(p) = 2*p**3 - 3*p**2 + 2*p - 2. Let v(f) = -3*b(f) + 5*o(f). Let d be v(-2). Suppose 5 = 2*u - d. Does 3 divide u?
True
Let g(p) = 2345*p - 3345. Does 10 divide g(9)?
True
Let w(b) = 3*b**2 + 14*b + 53. Let v be -3*(7 + -6 - 2/(-3)). Does 19 divide w(v)?
False
Let k(g) = -342*g - 18. Let o be k(-2). Suppose -81*r + 84*r - o = 0. Is r a multiple of 20?
False
Let w = 287 + -285. Suppose 2*z - 98 = -2*d, 103 = 5*z + w*d - 145. Is z even?
True
Let l(f) = -54*f. Let s = 18 + -15. Suppose 3*q - 2*c = s*c - 31, q + 5*c - 23 = 0. Is 20 a factor of l(q)?
False
Let s = 664 + -196. Is s a multiple of 78?
True
Suppose -5453 = -29*z + 202. Does 5 divide z?
True
Suppose -64*w = -75*w + 132. Let k(v) = v**3 + 5*v**2 - 196*v - 14. Is 60 a factor of k(w)?
False
Let n = 41 + -41. Suppose -4*i + 2*i + 6 = n. Suppose -2*z + 4*m = i*z - 140, 5*m = 4*z - 121. Does 8 divide z?
True
Is 17 a factor of -3*(-11 - (-16296)/(-63))?
False
Let t(i) = -i**2 + 5*i - 3. Let z be t(2). Suppose 2*n - 45 = -u + 39, 3*u - 207 = z*n. Suppose -u = a - 3*a. Does 6 divide a?
False
Let n(j) be the second derivative of 35*j**3 + 13*j**2/2 - 2*j + 28. Is 5 a factor of n(1)?
False
Let w be 4 - 1/(-2)*(-1 - -1). Suppose -w*p + 592 + 384 = 0. Is p a multiple of 61?
True
Suppose 65*c = 115477 + 66068. Is 51 a factor of c?
False
Let t(d) = d**3 - 46*d**2 + 50*d + 66. Let i be t(45). Let h = 562 - i. Does 14 divide h?
False
Let h = -82 + 123. Suppose h*x - 38*x = 1779. Does 61 divide x?
False
Let m be (-12)/(-3 - -2 - (-6 - -7)). Suppose 5*j + 619 = u, 9*j = 3*u + m*j - 1821. Is 29 a factor of u?
False
Suppose -8*v = -13*v - 945. Let x = v - -125. Let m = x - -86. Does 22 divide m?
True
Let q = -82 - 43. Let z = q - -234. Does 33 divide (z/2 - 0)/((-6)/(-12))?
False
Let p = -212 + 217. Let o = 26 + -23. Suppose o*g = f - 123, -p*g + 22 - 2 = 0. Does 13 divide f?
False
Let g = -173 + 120. Let o be (124 - 0)*6/8. Let z = g + o. Does 6 divide z?
False
Let y = 79 + 4. Suppose -6*w - y - 43 = 0. Is (w/14)/(4/(-896)) a multiple of 48?
True
Suppose 2*o + 25 = 3*j, 5*j + 15 = -0. Is 25 a factor of (152 - 2)*(o/(-5) - 3)?
False
Is 12 a factor of 18/(-15) - 5312036/(-155)?
False
Let l(v) = 12*v**2 - 3*v - 4. Let z(g) = 18*g + 103. Let r be z(-6). Is 42 a factor of l(r)?
False
Suppose 198719 = 22*q - 94952 - 75247. Does 17 divide q?
False
Suppose 7*j + 205 - 226 = 0. Let d(y) = 12*y**2 + 17*y - 53. Is 23 a factor of d(j)?
False
Suppose -3*h - 18 = -4*z, -2*z + 4*h - 1 + 5 = 0. Let g = 323 + z. Does 47 divide g?
True
