3*k + n*m, -m = -0*k + 3*k - 1419. Does 13 divide k?
False
Suppose 0 = 23*l + 23*l + 2061 - 101421. Does 6 divide l?
True
Let c(w) be the first derivative of 11*w**3/3 + 2*w + 122. Is 33 a factor of c(-5)?
False
Let r = 8 + 11. Suppose -r*j + 24*j - 420 = 0. Suppose 28 = a - j. Does 14 divide a?
True
Let d(o) = 19 - 23*o - 29*o + 51*o. Let s be d(11). Suppose -m - 192 = -4*q, 2*q + s*m - 3*m = 118. Does 17 divide q?
False
Let k = -72510 - -105876. Is k a multiple of 103?
False
Let h = -5338 - -7765. Suppose 6*a - 681 = h. Let p = a - 279. Is 24 a factor of p?
False
Suppose 20*o + j = 24*o - 4369, -2*o = -5*j - 2189. Suppose 3*h - 3174 = -4*v, -2*h - 1280 = -3*v + o. Does 22 divide v?
True
Let l(p) = 4*p - 51. Let d be l(12). Is 16 a factor of 1/d + (3245/(-3))/(-11)?
False
Suppose -139676 = -19*r + 135351 + 27643. Is r a multiple of 90?
True
Let m = 2963 + -2841. Is 10 a factor of m?
False
Let o(y) = -y**3 + 4*y**2 + 3*y + 4. Let p(c) = 2*c**3 - 8*c**2 - 6*c - 8. Let b = 34 + -40. Let a(z) = b*p(z) - 11*o(z). Is a(-4) a multiple of 30?
True
Suppose -2*c + 0*c = -4*f + 14, 5*c = -2*f - 11. Let r be ((-9)/c - 4)/(5/(-15)). Is 47 a factor of r/(-3) + 25*3?
False
Let h = 5 - 0. Let f be (-1729)/(-26) - 2/(-4). Suppose 0 = 2*v - 5*t - 2, h*v + 4*t - f = t. Does 2 divide v?
False
Let r = -2 + 3. Let x be (-1 - 7/(-3))/((10 + -4)/(-18)). Is 23 a factor of (0/x - r) + 109?
False
Suppose -3*s = -2*u + 2*s + 31, 5*s = 15. Suppose -6*k + u = -19. Let f(i) = -i**3 + 8*i**2 + i - 2. Does 14 divide f(k)?
False
Let x(l) = 5*l + 18. Let w be x(-3). Suppose w*d - 134 - 691 = 0. Is d a multiple of 55?
True
Suppose 12*p + 1 = 37. Suppose -p*s + 16 = 1, 3*z + 2*s - 307 = 0. Is 33 a factor of z?
True
Let m = 23 + -27. Let w be 28*(-2)/m - -2. Suppose 14*o = w*o - 60. Does 27 divide o?
False
Let k be 0/1 + 84/6 + -7. Is 7 a factor of (240/5)/6*k?
True
Let t = 149 - 58. Let c = 106 - t. Does 15 divide c?
True
Let c(k) be the second derivative of -k**5/20 + k**4/4 + 2*k**3 - k**2 - 104*k. Is c(-3) a multiple of 14?
False
Suppose 0 = -p - 3*n + 2788, -p = -5*n - 962 - 1818. Let f = p - 1836. Suppose -5*t + 760 = 2*v, -5*t - 3*v + f = 189. Does 19 divide t?
True
Suppose -5*c + 6 = -2*c. Let f(l) = 9*l**c + l + 6*l + 45*l**2 - 4*l - 2. Is f(2) a multiple of 45?
False
Let m(z) = z**3 - 17*z**2 + 2*z - 32. Let d be m(17). Let w(n) = -d*n + 0*n + n - 63 + 90. Is 6 a factor of w(3)?
True
Suppose -37*y = -39*y + 348. Let b = y - 295. Let c = 205 + b. Is c a multiple of 14?
True
Suppose -28*j + 36*j = 36608. Is j a multiple of 11?
True
Suppose 3*q - 387360 = -19*q + 4*q. Does 20 divide q?
True
Suppose 0 = -4*p - 2*k + 21594, p - 2358 - 3051 = 3*k. Is 24 a factor of p?
True
Suppose 0 = 2*z + 4*o - 4128 - 1864, z - 2993 = -3*o. Is 9 a factor of z?
False
Suppose -1103 - 241 = -8*p. Suppose -168 = -a - 2*a - f, -3*a = -4*f - p. Is 2 a factor of a?
True
Let b(v) = v**3 - v**2 - 8*v + 10. Let l be b(4). Suppose 0 = 2*p + l - 110. Suppose -f - 3*w = -25, p = 2*f - 0*w + 4*w. Is 13 a factor of f?
True
Let o(z) = -12*z**3 - 21*z**2 - 23*z - 9. Let q(x) = 7*x**3 + 10*x**2 + 11*x + 5. Let f(j) = -4*o(j) - 9*q(j). Is f(-4) a multiple of 19?
False
Let m(g) = -g**3 - 21*g**2 - 5*g + 1. Let i be m(-21). Is 17 a factor of 2 + (i - (-18)/(-3))?
True
Let c = -64 - 34. Let b = c + 58. Let y = 62 + b. Is y a multiple of 11?
True
Let c be (13/(-13))/(3/(-18)). Suppose 2*h = v + c*h - 236, 0 = -5*h - 20. Is v a multiple of 6?
True
Suppose -3*s - 13*s + 96 = 0. Suppose s*d + 90 = 11*d. Is 11 a factor of d?
False
Suppose 22 = 2*f - 3*i, 12 = -8*i + 5*i. Suppose 4*d = 5*t + 13, 4*t - 2 - 4 = -f*d. Suppose 0 = p + d*b - 106, -5*b + 316 = 2*p + p. Is p a multiple of 17?
True
Let x be (7/(28/3))/((-2)/(-24)). Let l be 51/x + 8/(-12). Suppose 73 = l*w - u - 3*u, -3*w + 2*u = -43. Is 3 a factor of w?
False
Suppose 5*p - 2 = -n + 9*p, 3*p - 15 = -2*n. Let d(k) = -4 + 14*k**2 + 9*k + k**3 - n*k**2 + 22*k + 5*k**2. Does 7 divide d(-8)?
False
Let x(t) = 613*t**2 + 61*t - 212. Does 30 divide x(4)?
True
Suppose 18 = -22*m + 31*m. Let d(y) = 30*y**3 + 3*y**2 - 5. Is 19 a factor of d(m)?
True
Let r = 7330 + -4524. Suppose -r = -9*n + 1685. Is n a multiple of 16?
False
Let c(o) = -o**3 + 11*o**2 + 23*o + 6. Let z be c(10). Suppose 7*x = 6*x + z. Suppose 0 = 25*t - 32*t + x. Is t a multiple of 4?
True
Let s = -9475 + 13479. Is 11 a factor of s?
True
Suppose -17*j = -12*j - 420. Suppose -23*o + 17*o = -j. Suppose 220 = -4*t + o*t. Does 5 divide t?
False
Let l be 345/(-23)*6/(-9). Suppose -2198 = 3*z - l*z. Is 22 a factor of z?
False
Let i be (-24)/(-28) - ((-2070)/35 + 1). Is 61 - i - -100*1 a multiple of 6?
True
Suppose 0 = 3699*r - 3760*r + 9760. Does 8 divide r?
True
Let v(s) = 15*s**2 + 317*s - 5250. Is v(18) a multiple of 6?
True
Suppose o - 4*k = 2*o + 29, 0 = -5*o - k - 50. Is 14 a factor of ((-3)/o)/(7/6069)?
False
Let l(d) = d + 1. Let w(f) = 100*f + 3. Let o(p) = -2*l(p) - w(p). Is 7 a factor of o(-1)?
False
Let i = 511 + -478. Suppose i - 3660 = -9*d. Is 13 a factor of d?
True
Let f(t) = 5*t**3 - 193*t**2 + 38*t - 2. Is 71 a factor of f(39)?
False
Suppose 4*s - 2*q - 869 = 417, -959 = -3*s - 4*q. Does 237 divide s?
False
Let z(h) = -5*h - 12. Let k be (-5 - -4)/(1*1/4). Let i be z(k). Suppose -7*j = -i*j + 3. Is 3 a factor of j?
True
Let j = -488 - -508. Does 5 divide (10/j*-5)/(1/(-70))?
True
Suppose -6522 = -15*o + 19062 + 6726. Is o a multiple of 16?
False
Let f be -3*3/36*0. Suppose y = -f*y - i + 6, 0 = y - i - 4. Suppose 0*u - y*s = -u + 85, -95 = -u + 3*s. Is u a multiple of 10?
True
Suppose n + 2*w = 1, 3*w = 3*n - w + 7. Let l be (-12)/(-12)*-3*5*n. Suppose 1254 = -9*b + l*b. Does 23 divide b?
False
Let b(v) = 1517*v - 6721. Does 3 divide b(11)?
True
Suppose 0 = 4*y + 4*r - 96, 0 = -4*r - 4 - 12. Let a = y - 23. Suppose 2*w - 280 = -2*n, a*n = -2*w + 6*w - 596. Does 19 divide w?
False
Suppose -y - 207 = -4*t - 53, -5*y = 4*t - 166. Let z = -36 + t. Suppose 6*p - 54 = 2*p + z*q, 0 = 2*p + 2*q - 20. Does 7 divide p?
False
Let t(m) = -15*m + 2. Let d = -175 + 163. Is t(d) a multiple of 9?
False
Suppose 1820 = 2*j - 5*d, -j - 4*d = -1019 + 122. Let m = j + 346. Is 30 a factor of m?
False
Let u(f) = -2*f**2 + 2*f - 71330. Let w be u(0). Is w/(-100) + (-6)/20 a multiple of 12?
False
Is 24 a factor of (-2 - (-16)/12)*12 + 3731?
False
Let n be 13 - (-5)/5*(-3 - 0). Suppose n = 5*z, -5*u + 3*u = -z - 118. Is 12 a factor of u?
True
Let h(p) = 5*p**3 - 7*p**2 + 4*p - 7. Let j be h(5). Let q = j + 129. Is 13 a factor of q?
False
Suppose 64*v + 75 = 67*v. Suppose 89*d = 94*d - v. Suppose 0 = -2*p - d*s + 55, 0*p = -p - 4*s + 35. Is 5 a factor of p?
True
Let d(x) = 2*x**2 - 102*x + 389. Is d(57) a multiple of 3?
False
Let c(o) = -o**3 + 17*o**2 + 4*o + 44. Is 31 a factor of c(-8)?
True
Let x(q) = -79*q + 1690. Does 7 divide x(11)?
False
Let g(p) = 7*p**2 - 2*p - 9. Suppose 2*n - 3 = y, 3*y + 2 = 5*n - 4. Is g(n) a multiple of 12?
True
Let m = 24 + -291. Let d = m + 471. Is 51 a factor of d?
True
Suppose 0 = -2*z + 3*r - r - 46, 4*r = -20. Does 22 divide (-4)/14 - (1856/z + 0)?
True
Does 102 divide 4283 - (8 - (-1 - (-40)/4))?
True
Let g(d) = 11*d + 15. Let v(b) = -23*b - 31. Let t(l) = 5*g(l) + 2*v(l). Let o be t(-17). Is 10 a factor of 1*15*(o/6)/(-7)?
True
Let d(k) = 3*k**2 - 697 - k**2 - 4*k + k**2 + 697. Let t = -1 - -3. Is d(t) a multiple of 3?
False
Let y be (-4 + 5)/((7/4)/(-7)). Does 8 divide 67 - y - (5 + -6)?
True
Let t(b) = -b**3 - 2*b**2 + 2*b + 7. Let u be t(-3). Let x be (12/u)/((-4)/(-20)). Suppose -q = 2*q - 9, x = n - 5*q. Is 14 a factor of n?
False
Suppose -61*s = -63*s + 2402. Let u = s + 290. Is 71 a factor of u?
True
Suppose -4*k + 54 = 2*k. Let y be (3 - (-570)/k) + 2/(-6). Let g = 23 + y. Is g a multiple of 7?
False
Let q be (12/8)/(-3 - (-411)/138). Let l = 90 + q. Is 6 a factor of l?
False
Let d(z) = -2*z**3 - 6*z**2 - 6*z - 2. Let a be d(-2). Let l be (((-35)/(-15))/7)/(a/12). Suppose 4*m - 48 = -l*v, 50 = -v + 6*v - 4*m. Does 14 divide v?
True
Suppose -30*f - 11*f = -1722. Let r be 31 - ((1 - -1) + 0). Let l = r + f. Is 10 a factor of l?
False
Suppose -8*q - 21326 = -2*z - 9*q, 2*q + 8 = 0. Does 15 divide z?
True
Let h be (3 - 0)*59/3. Let o = h - 57. Suppose -o*n + 440 = 9*n. I