. Let n be (-28)/(-8) - (u/(-6) + 2). Suppose n*q - 403 = 17. Is q a multiple of 10?
True
Let p = 236 - 233. Suppose -i - 2*f = -p*f - 336, 0 = -5*i - 3*f + 1680. Is 12 a factor of i?
True
Let q(k) = k**2 - 18*k - 12. Let g be q(15). Let n = 64 + g. Suppose 5*i = -2*p + 122, 3*p + 212 = n*p + 2*i. Does 17 divide p?
True
Let l(y) = -5*y**3 + 3*y**2 + 17*y + 175. Let a(u) = -6*u**3 + 2*u**2 + 18*u + 176. Let d(c) = -6*a(c) + 7*l(c). Is d(-8) a multiple of 7?
False
Suppose 4*p - 36 = -4*o + 20, 3*o + 4*p - 39 = 0. Suppose -4*k + 2710 = -5*c, -3390 = -5*k + 22*c - o*c. Does 43 divide k?
False
Suppose 2*r + r - 177 = -3*d, -4*d = 3*r - 176. Does 4 divide r?
True
Let x(v) = -v**2 + 15*v + 4. Let r = 89 - 87. Let a be (r - 1)*(4 + 9). Is 12 a factor of x(a)?
False
Suppose 45*m - 52*m + 665 = 0. Suppose -83*j + m*j = 480. Is 8 a factor of j?
True
Let f(a) be the third derivative of 17*a**5/15 - 13*a**4/24 - a**3/6 + 8*a**2 - 5*a. Is f(-3) a multiple of 65?
True
Suppose 13401 + 3928 = 4*t - 2111. Does 27 divide t?
True
Suppose 2*c - c = 11. Suppose c*f = -287 - 10. Is -3*12/f*15 a multiple of 7?
False
Suppose 3*d = 5*l + 16, -5*l = -l - 4. Suppose -m = -d - 1. Suppose 0 = -m*k + 12*k - 168. Does 5 divide k?
False
Let u = -45 + 49. Let p(x) = 3*x**2 + x + 19. Is p(u) a multiple of 6?
False
Does 90 divide -11*(-12 + 14 - 17)?
False
Let v be ((-44)/(-1))/((-80)/120). Let c = -189 + 280. Let s = c + v. Is 5 a factor of s?
True
Let a(z) = 22*z**2 + 143*z - 260. Is a(20) a multiple of 19?
True
Suppose 3*r - 3*q + 3 = 0, -5*r + 13*q - 10*q + 1 = 0. Suppose 596 = -3*b + 6*b - z, r*b - 4*z - 394 = 0. Does 31 divide b?
False
Let m = 91504 + -61647. Is m a multiple of 92?
False
Let r = 3644 + -114. Is 89 a factor of r?
False
Let w(r) = r**3 - 26*r**2 + 24*r + 45. Let y be w(25). Suppose 4*z - y = 44. Is z a multiple of 8?
True
Let p(o) = o**3 - 17*o**2 - 19*o + 19. Let r be p(18). Let i(s) = 12*s + 5. Let q be i(r). Suppose -12*f - 105 = -q*f. Does 2 divide f?
False
Let f(i) be the first derivative of 159*i**2/2 + 60*i + 136. Is 42 a factor of f(2)?
True
Suppose 0 = -4*a + 20, -602*n - 2*a = -597*n - 6535. Is n a multiple of 5?
True
Let o(a) = a**3 + 4*a**2 + 2*a - 2. Let p be o(-2). Let m(n) = 5 + 7 - 2 + 6*n**2 - 1 - 17 + n. Does 2 divide m(p)?
True
Suppose -5*b - 5 = 0, -4*b - 203 - 1 = -5*f. Let s(v) = -638*v + 2199. Let m be s(3). Suppose f*g - m = 35*g. Is g a multiple of 10?
False
Let s(h) = h + 1. Let i be s(4). Suppose i*u - 33 = 1257. Suppose 3*b - u = -3*v, -v - 426 = -6*v - 4*b. Does 22 divide v?
False
Is 39 a factor of 91/(-455) - 5022/(-10)?
False
Let t(s) = 3*s**2 + 41*s + 120. Is t(-3) a multiple of 24?
True
Let b(x) be the second derivative of 13*x**4/3 + 4*x**3/3 + 9*x**2 - 53*x - 1. Is b(-3) a multiple of 14?
True
Suppose -50*q = -42*q + 1256. Let m = q - -189. Is 4 a factor of m?
True
Suppose 129*m = -i + 131*m + 3259, -4*i - m + 13018 = 0. Is 5 a factor of i?
True
Let y = 53 + -58. Let f be (6/15)/(y/(-5425)). Suppose 2*q - 4*o + 102 = f, 3*q - 495 = 5*o. Does 40 divide q?
True
Does 8 divide (-1460)/73*(-2 - 14272/20)?
True
Is 92*9/(-27)*(-19953)/18 a multiple of 16?
False
Suppose -n = 3*j - 542, 0 = 6*j - 4*j - 3*n - 354. Suppose -10 - 14 = -8*h. Suppose 0 = h*g - 0*g - j. Is 30 a factor of g?
True
Let g(r) = -173*r - 807. Is 13 a factor of g(-64)?
False
Is (-1 - 3/(-5))*(-8753 - 417) a multiple of 13?
False
Let l be 3 - (2*-9 + 1). Suppose 0*m - 25 = 3*i + 5*m, -4*m - l = 2*i. Suppose 6*y - 2*y - 80 = i. Does 10 divide y?
True
Let u = -540 + 553. Let p(a) = 98*a - 404. Does 15 divide p(u)?
True
Let p(x) = 154*x - 18. Let t be p(2). Let b = t - 219. Is b a multiple of 9?
False
Let l = 6121 + -4896. Does 7 divide l?
True
Let z(m) = 36*m**2 - 32*m - 136. Is 104 a factor of z(30)?
True
Let n(i) = 23*i**3 - 2*i**2. Suppose -42 - 106 = -37*v. Is n(v) a multiple of 18?
True
Let g be (-18)/(-63) + 16/(-7). Let u be (g + 0)*(-1 - -55). Does 9 divide (-996)/u + ((-8)/18)/2?
True
Let r = -339 + 59. Let j = r + 435. Does 31 divide j?
True
Suppose 0 = 5*l + x + 5391, -3*l - 7*x - 3239 = -2*x. Does 54 divide (-1 + -6)/(-35) + l/(-10)?
True
Let m(k) = k**2 + 13*k + 4. Suppose 2*n + 2*n + 52 = 0. Let q be m(n). Is 1 - -2 - (-4 + (-193 - q)) a multiple of 29?
False
Let t = -16013 - -30269. Is 16 a factor of t?
True
Suppose -4560*p - 5592 = -4563*p. Does 41 divide p?
False
Let s(f) be the second derivative of f**3/2 + 11*f**2 + 4*f. Let u be s(-6). Suppose -203 = -u*b - p, 0*p - 3*p = 4*b - 209. Is b a multiple of 16?
False
Let u be -3 + 1 - -3 - (2 + -13). Suppose u = 3*a + 3*a. Does 10 divide 228/14 + a/(-7)?
False
Let j be 2*(-4)/24*117. Let l be j/(-45) + 2/15. Let o(x) = 82*x**3 + x**2 + 3*x - 2. Is 12 a factor of o(l)?
True
Let w = -23 - -50. Does 17 divide w/(-18)*1880/(-15)?
False
Let h be 636 + (8/6)/((-7)/21). Suppose -3*u + h = -394. Is 19 a factor of u?
True
Suppose v = 4*i + 10988, i + 4*i = -4*v + 44099. Is 18 a factor of v?
True
Let s be 1 + 3 + 1*(4 + 3). Suppose -r + 35 = s. Is 10 a factor of (r/(-20) + 2)*75?
True
Let u(l) = -20*l - 24*l + 125 + 6*l - 129. Is 17 a factor of u(-10)?
False
Let i(j) = -j**2 - 26*j + 27. Suppose -h = 7*h. Suppose -4*y - 10 - 50 = h. Is 13 a factor of i(y)?
False
Let y = -8 + 12. Suppose 0 = -k - 4*k - 5*q + 335, 4*k - 244 = y*q. Suppose 0 = -10*u + 6*u + k. Is u a multiple of 5?
False
Suppose 7*f - 211 = 13. Suppose 0 = 3*n + 79 + f. Let q = n - -60. Is 8 a factor of q?
False
Let m(c) = -c**2 - c + 6. Suppose -4*p = -3*p + 4. Let r be m(p). Does 3 divide (-6 - -36)/(2/((-8)/r))?
False
Suppose -32*z - 14 = -33*z. Suppose 1276 - 268 = z*x. Is 8 a factor of x?
True
Let d(h) = -h**3 - 3*h**2 + 6*h - 9. Suppose 0 = 2*q + 6, 0*c - 2*c + 1 = -5*q. Let v(s) = 3*s + 15. Let z be v(c). Does 9 divide d(z)?
True
Suppose 34*t - 32*t = 10. Suppose t*a = 17*a - 240. Suppose 0 = -4*r - 2*x + 50, -x - 3*x = -a. Is r a multiple of 7?
False
Let l = 439 + -216. Suppose -3*a + 3*h + 438 = 0, h - l = -4*a + 366. Is a a multiple of 21?
True
Let l = -26 + -38. Suppose 0*g = -5*g + 530. Let p = g + l. Does 20 divide p?
False
Let z(q) = 5*q - 16. Let f be z(4). Suppose 2*m - f*m - 9*m = 0. Suppose -2*w - 2*j = -70, -3*j + m*j = 4*w - 145. Is w even?
True
Suppose 0 = -2*u - 5 + 5. Suppose u = 16*o - 2668 - 84. Is 16 a factor of o?
False
Let x = -294 - -294. Suppose x = -h + 356 + 142. Is 28 a factor of h?
False
Let r(w) = -38*w**2 - 2*w + 3407. Is 71 a factor of r(0)?
False
Let r = -636 + 177. Let u = 489 + r. Is 15 a factor of u?
True
Let u(s) = -24*s + 4*s**3 - 19*s**2 - 5 + 4*s**3 - 10*s**3. Does 40 divide u(-9)?
False
Suppose u - 2 = -2*n + 3*u, -32 = -5*n - 4*u. Suppose 0 = -n*d, -2*d - 2*d = 2*b - 98. Is b a multiple of 4?
False
Let a = -188 + 174. Is 6 + 80/a + 2056/7 a multiple of 51?
False
Let x = 199 + -5. Let v = x - -94. Is v a multiple of 9?
True
Let z(i) = 62*i**2 - 297*i + 666. Does 8 divide z(-27)?
False
Let m be (-14654)/(-51) + 8/(-6). Let x = 448 - m. Is 9 a factor of x?
True
Let o be 0/34 - (-7 - 1). Suppose -o*z + 16 = -8. Is z even?
False
Suppose 13*v + 186 - 3235 = 32727. Is 29 a factor of v?
False
Suppose 2*j = 2*o + 54810, -2*j + 27*o + 54812 = 24*o. Is j a multiple of 18?
False
Suppose 0 = -4*v + 140 + 304. Does 14 divide ((-644)/69)/(-2 + 220/v)?
True
Let p be ((-7)/2*(3 + 9))/(-2). Let h be 138/p - 7 - (-510)/14. Suppose -h*s = -32*s - 280. Is 7 a factor of s?
True
Suppose 424 = 35*h - 276. Suppose -h*n + 2805 = -4995. Does 18 divide n?
False
Is 104226/15 + 5/(175/(-14)) a multiple of 66?
False
Let g = 20749 - 12357. Is 19 a factor of g?
False
Suppose -t + 56 = 1. Suppose -3*b + 2*b + 69 = 0. Let h = b + t. Is h a multiple of 24?
False
Let p(o) = -2*o - 3. Let a be p(2). Let z be (-1 + 0 - -3)*a/14. Is 28 a factor of (306/(-36))/(z/10)?
False
Let q = -221 + 231. Suppose 3*k + 809 = 15*y - q*y, y - 4*k - 172 = 0. Is 33 a factor of y?
False
Suppose 3*u = 3*g + 3, -u - 5 = -2*u - 3*g. Let d(q) = -2*q**u + 19*q**2 - q**3 - 5 + 15 - 29 - 17*q. Is 23 a factor of d(15)?
False
Suppose -5*b - 5*p = -p - 4, 5*b - 8 = -3*p. Does 19 divide (190/(-10))/((-2)/b - 0)?
True
Suppose 8*i - 230 = 730. Suppose 2*u + t - 79 = -19, -4*t - i = -4*u. Does 3 divide u?
True
Let t = -2658 - -5274. Is t a multiple of 109?
True
Suppo