*m = -96. Is m a multiple of 8?
True
Let s = 716 + -123. Does 23 divide s?
False
Let d = 13 + -10. Suppose -d*m + 15 = 0, l - 3*m + 42 = 2*m. Does 18 divide -2 - (l - (-12)/(-4))?
True
Let z(u) = -u**3 - 2*u**2 + u - 2. Let l be z(-3). Let g be (-1 - (-12)/l) + -2. Suppose g + 92 = 4*k. Is k a multiple of 9?
False
Suppose 0 = 4*o + 6*w - 7*w - 2876, -4*w - 2144 = -3*o. Is o a multiple of 8?
True
Suppose 59*f = 75*f - 6832. Is f a multiple of 40?
False
Suppose -2*r + 8 = -4*r, 4*r + 6 = -y. Suppose -3*h = 4*x - 15, -2*h + y = x - 3*x. Is h a multiple of 5?
True
Does 12 divide 9/(72/25712) + -8?
False
Let l be 14*2*(-1)/(-4). Suppose 24 = l*u - 5*u. Is u a multiple of 6?
True
Suppose 1313 = 4*x - 143. Is x a multiple of 4?
True
Let y(p) = -p - 8. Let h be y(12). Let b = -35 - h. Let u = 27 + b. Is u a multiple of 12?
True
Let g = -334 + 502. Is g a multiple of 14?
True
Suppose -385*j + 208 = -383*j. Does 3 divide j?
False
Suppose -4*m - 1 = 2*z - 3*z, -2*m + 3*z - 3 = 0. Suppose 2*o = -5*w + 46, m*w + o - 11 = -w. Is w a multiple of 3?
False
Is 11 a factor of (-60)/120*(2 - -2607)*-2?
False
Let x(o) = o**2 + 8*o + 14. Let k be x(-6). Suppose k*s = -b + 6, 2*s = -b - b + 14. Is 8 a factor of b?
True
Let c(t) = -42*t - 39. Does 17 divide c(-14)?
False
Let k be (-6)/(-4)*8/3. Suppose 5*l - 58 = -f, l + 5*f - 6 = -k. Suppose -l = -2*d + 3*t, 3*d + 4*t = -2 + 54. Is d a multiple of 4?
True
Suppose 12*g - 555 = 15*g. Let p = 321 + g. Is 25 a factor of p?
False
Let w(u) = u**3 + 3*u**2 - 6*u + 16. Does 2 divide w(3)?
True
Let i(j) = -j**2 + 10*j + 24. Let w be i(12). Suppose -5*b + 54 + 31 = w. Is 2 a factor of b?
False
Let o be (107 - -1)*(-33)/(-22). Let v = o + -109. Does 21 divide v?
False
Let v = 2346 + -1338. Is 42 a factor of v?
True
Suppose -2*a - 5*a = 231. Let y = a + 85. Is 13 a factor of y?
True
Suppose 763 - 153 = l. Is 61 a factor of l?
True
Let j = -2723 + 5323. Is j a multiple of 13?
True
Let o(f) = -6*f**2 - 75*f + 1. Is 4 a factor of o(-8)?
False
Let o(h) = h + 13. Let v be o(-9). Suppose 114 = -v*i + i. Let l = -16 - i. Is l a multiple of 10?
False
Suppose 5*n - 2*n + 45 = 0. Let g = n - -134. Does 17 divide g?
True
Let m(p) = -p**2 + 54*p - 115. Is m(35) a multiple of 22?
True
Let l(y) = -y**3 + 18*y**2 - 9*y - 3. Let t be l(7). Let j = t + -167. Does 17 divide j?
True
Suppose 4*k - 4*f - 80 = 0, -5*k - 4*f + 18 = -55. Suppose -5*w = 4*v - 0*v - 30, -4*w + 5*v - k = 0. Is (w/3)/((-7)/(-588)) a multiple of 12?
False
Suppose 0*o = -5*o + 2235. Suppose -2*i + 731 = 5*b, 4*i = -4*b + b + o. Does 12 divide b?
False
Suppose -4*f + 692 = 4*z, 6*f = f + 3*z + 889. Is f a multiple of 8?
True
Let o be 46*((2 - 5) + (-21)/(-6)). Suppose -19*q - 188 = -o*q. Is q a multiple of 4?
False
Let v = -4 + 3. Suppose 37 - 15 = 3*p - 5*g, -3*p = 2*g - 29. Let x = v + p. Does 2 divide x?
True
Let q(r) = -r**2 - 54. Let c = -2 - -2. Let u be q(c). Let k = u + 98. Is k a multiple of 11?
True
Suppose f - 2*v - 44 = 0, f + 141 = 4*f - 3*v. Is 2 a factor of f?
True
Let s be (-2)/12 + 213/(-18). Does 10 divide (-176)/(-18) + s/(-54)?
True
Suppose 0 = -j + 4, 5*b = 2*j + 1 + 11. Suppose b*v - 448 = -4*v. Does 7 divide v?
True
Suppose 3448 = 9*j - 611. Does 11 divide j?
True
Let r(k) = k**2. Let y(n) = -40*n**2 - 1. Let l(c) = 5*r(c) - y(c). Let t be (0 + -2)*(-49)/(-98). Is l(t) a multiple of 23?
True
Let p = -216 + 362. Let f = p - 99. Is f a multiple of 23?
False
Does 14 divide 2/3*(0/(-2) - -252)?
True
Suppose -253 = -11*j - 0*j. Does 23 divide j?
True
Suppose 8*h - 6*h + d - 2902 = 0, -2*d + 4 = 0. Is 10 a factor of h?
True
Does 9 divide (-6 - -357)*(-14)/(-21)?
True
Let g(m) = 89*m - 251. Is 15 a factor of g(19)?
True
Let y be (-20)/(-15)*(-1 + -2). Let p be -6*(4/2)/y. Suppose -21 + 93 = p*m. Does 9 divide m?
False
Let u(p) = -8*p - 7. Let z(b) = b**2 - 7*b + 1. Let w be z(6). Is 23 a factor of u(w)?
False
Let o(i) be the first derivative of i**3/3 + 9*i**2/2 + 16*i + 43. Does 10 divide o(-10)?
False
Let j = 1379 + -730. Is j a multiple of 59?
True
Let q(u) = -u**3 - 21*u**2 - 22*u - 38. Let a be q(-21). Let v = a + -205. Is v a multiple of 38?
False
Suppose -o = -2*n + 21, 2*o - 5*n + 90 = -2*o. Let a = o - -44. Let r = 69 - a. Does 13 divide r?
False
Does 65 divide (312/(-15) + 0)*(-50)/4?
True
Let b = -3708 + 7312. Is b a multiple of 47?
False
Let g(b) be the third derivative of -b**5/6 - b**4/12 - b**3/6 + 3*b**2. Let r be g(4). Let s = r + 239. Is s a multiple of 25?
False
Let p(z) = 7*z**3 - 2*z**2 - 5*z + 4. Let i(q) = -8*q**3 + 3*q**2 + 6*q - 5. Let w(a) = 6*i(a) + 7*p(a). Let l be (-7 + 1)*(-3)/(-6). Does 3 divide w(l)?
False
Let l = -7 - 4. Let g(v) = v**3 + 12*v**2 + 12*v - 10. Let s be g(l). Let q = 38 + s. Does 17 divide q?
True
Suppose 0*j = 13*j - 507. Is j a multiple of 3?
True
Let q(l) = -l + 6. Let u be q(3). Suppose -5*r - 236 + 13 = -4*p, p = -u*r + 77. Suppose p = -5*i + 332. Is i a multiple of 14?
False
Let t(z) = z**3 - 5*z**2 + 4*z + 1. Let d be t(3). Is (5/d)/(2/(-88)) a multiple of 12?
False
Let s = 2441 - 358. Does 52 divide s?
False
Let y(q) = 144*q + 3. Suppose 3*o - o = 2*l - 8, o = 3*l - 14. Is y(o) a multiple of 15?
False
Suppose -5*t - 994 = 2*t. Let z = t + 254. Does 14 divide z?
True
Let t = -501 + 1742. Is t a multiple of 53?
False
Let r be 2 - (-4 - 21)/5. Let u(p) = 1 + p + 1 + p**2 + p. Does 22 divide u(r)?
False
Let g = -53 - -242. Is g a multiple of 2?
False
Let r = -15 + 22. Let n be r/21 + 7/(-3). Is (12/(-15))/(n/40) a multiple of 16?
True
Suppose 324*a = 333*a - 1404. Does 13 divide a?
True
Let c = -8 - -11. Suppose 2*y = -c*r + 12, 2*r = 4*y - 3*r + 20. Suppose -100 = -4*a - 3*h - h, a - 5*h - 31 = y. Does 21 divide a?
False
Suppose -8*w + 10*w - 6 = 0. Suppose -w*i = -57 - 27. Does 3 divide i?
False
Let l(v) = -3*v**3 - 5*v**2 - 6*v - 7. Let u be l(-3). Suppose -2*z + 5*n - u = -6*z, 79 = 3*z - 5*n. Is z a multiple of 6?
True
Let d = 502 - 330. Suppose 4*n = 2*b + 266, -4*b - d = -3*n + 40. Is 31 a factor of n?
False
Let x = -36 + 40. Suppose -3*m = 4*h - 8*m - 90, 5*h - 121 = 2*m. Suppose h = a + x*a. Does 2 divide a?
False
Suppose -7*p = -10 - 60. Suppose 1080 = p*a - a. Does 6 divide a?
True
Let o(p) = p**2 - 2*p - 3. Let a be o(4). Suppose 4*y = a*c - 198, -2*y = -c + y + 33. Suppose -n = -4*t + c, 2*t - 2*n - 44 = -2*t. Is 2 a factor of t?
True
Let a(k) = -k**2 - k. Let f(n) = -n**2 + 9*n + 14. Let c(g) = 2*a(g) - f(g). Does 8 divide c(-6)?
True
Does 37 divide -6 - (-1004 + 4/4 + -2)?
True
Let h = 15 - 16. Is 15 a factor of 11557/65 - -1*h/(-5)?
False
Suppose 378 = 6*i + 42. Let o = 96 - i. Does 20 divide o?
True
Suppose 5*j - 7*j = -54. Suppose 137*x = 136*x + j. Is x a multiple of 3?
True
Does 58 divide (293/5)/((-5)/(-25))?
False
Suppose 0 = -0*k - 3*k + 270. Is 6 a factor of k?
True
Let o(u) = 6*u**2 - 3*u + 6. Let w(p) = 6*p**2 - 4*p + 6. Let c(n) = -3*o(n) + 4*w(n). Is c(4) a multiple of 14?
False
Let n = -262 + 446. Does 8 divide n?
True
Suppose 4*p - 3*f - 1502 = 0, p - 384 = 5*f - 0*f. Is p a multiple of 11?
True
Let h(v) = -v**3 + 8*v**2 + 26*v + 9. Is 5 a factor of h(-8)?
True
Let q be (-2)/6 + 10/3. Suppose u + q = 7. Suppose -u*b + 156 = -2*b. Is b a multiple of 21?
False
Let u be 12/42 - 164/(-14). Is 3 a factor of (3 - 2)*u/2?
True
Let w(b) = -b**2 + 36*b + 72. Is w(33) a multiple of 19?
True
Suppose 6*g = g + 10, x = -5*g + 36. Suppose -u + 0*u - 17 = 0. Let k = u + x. Is k a multiple of 2?
False
Suppose 40*d = 31*d + 6264. Is d a multiple of 29?
True
Let s(u) = u**3 - 14*u**2 + 13*u + 4. Let a be s(13). Suppose 3*f - 160 = p, a*p + 154 = 2*f + f. Let z = 92 - f. Is 11 a factor of z?
False
Let w = 12 + -8. Suppose 4*z + 30 = 3*p, -w*p - 1 + 3 = z. Is 5 a factor of -1 - -18 - (-5 - z)?
False
Is (-52)/(-11 - 18/(-2)) a multiple of 13?
True
Let b be (-302)/(-18) - ((-80)/(-45) + -2). Let c(n) = n**2 - 15*n - 17. Is 5 a factor of c(b)?
False
Suppose -5*y + 25 = -10*y, -5*j + 5*y = -1335. Is 29 a factor of j?
False
Suppose 4*v = -28 + 40. Suppose -c + p + 5 = -0*p, v*c - 2*p - 12 = 0. Suppose -c*n - n + 53 = l, -103 = -2*l - 5*n. Does 22 divide l?
True
Suppose 2*f - 677 + 167 = 0. Suppose 635 = 5*w + f. Is w a multiple of 18?
False
Is (-73 - (-24)/(-8))/(-2 - -1) a multiple of 38?
True
Sup