5*m**2 + 11*m - 36. Suppose 3*d - 238 = -31*d. Is c(d) a multiple of 17?
False
Let v(o) = 2*o**2 - 4*o. Let z be v(4). Let f be (-6)/(-15) + (-5)/((-50)/z). Is 17 a factor of (50/15 - 3)/(f/306)?
True
Suppose -2*k + 7*k = -3*h + 511, 532 = 5*k - 4*h. Is k a multiple of 15?
False
Let w = -133 - -91. Let l = 52 + w. Suppose -g + 48 = r, 4*r - g - 182 = l. Does 8 divide r?
True
Let y(d) = 88*d**3 + 8*d**2 + 15*d + 1. Let k be y(-2). Let m = -16 - k. Suppose -235 = 2*z - m. Does 15 divide z?
True
Let y(a) = a. Let l(x) = -3*x - 3. Let u(n) = l(n) + 5*y(n). Let k be u(3). Is 7/((-1 - (-4)/k)/5) a multiple of 15?
True
Suppose 0 = -128*r + 140*r - 5460. Does 35 divide r?
True
Let q(n) = -11*n + 6. Let x(p) = p**3 - p**2 - 5*p + 3. Let i be x(2). Let r be q(i). Suppose r*l - 43*l = -200. Is l a multiple of 25?
True
Suppose -7*s - 3 + 24 = 0. Is s/(-2) + 17930/44 a multiple of 14?
True
Let g(s) = -s**3 + 13*s**2 + 15*s - 15. Suppose 20 = 2*h - 6. Is 36 a factor of g(h)?
True
Let d be -3*(63/12)/((-90)/(-80)). Let u(t) be the third derivative of t**5/20 + 35*t**4/24 + 13*t**3/6 + 3*t**2. Is u(d) a multiple of 9?
False
Let r(q) be the first derivative of q**3/3 + 6*q**2 - 17*q - 32. Let f be r(-13). Is 4*-1 + (f + 1 - -218) a multiple of 11?
False
Suppose 209*x + 3*r = 212*x - 14808, 3*r + 9878 = 2*x. Is 17 a factor of x?
True
Suppose -2*b + 164986 = -31*b + 702820. Does 5 divide b?
False
Let t(r) = -2*r**3 - 5*r**2 + 14. Let c be ((-6)/(-5))/((-3)/15). Is t(c) a multiple of 38?
True
Let q(h) = 10*h - 1. Let k be q(1). Let y(i) = -i**3 + 8*i**2 + 2*i. Let g be y(k). Let a = 14 - g. Does 7 divide a?
True
Is (-2)/24*18/4 - (-40723320)/10560 a multiple of 16?
True
Let l be 9 - 3*(-7 + 5). Is 14 a factor of (14554/16)/1 - l/(-40)?
True
Suppose 0 = -13*v + 25*v + 12. Let y(d) = -7*d**3 + d**2 - 2. Is y(v) a multiple of 5?
False
Let m(b) = b**3 + 7*b**2 - 5*b + 7. Suppose 22 = -5*i + 2. Does 15 divide m(i)?
True
Suppose 7*b + 64 = 57. Does 83 divide (-2238)/(-3) - 1/b?
True
Let x(c) = 2*c**2 + 4*c + 362. Let h be x(0). Let p = -74 + h. Is 16 a factor of p?
True
Suppose -7*w = -3*w - 4, 0 = -g + 3*w - 2. Is -1*g*-2 - (-1368)/8 a multiple of 8?
False
Let n = -3496 + 3734. Is n a multiple of 7?
True
Let f(r) = 2266*r**2 + 38*r + 2. Is f(-1) a multiple of 2?
True
Suppose -100450 = -39*o - 31*o. Does 41 divide o?
True
Suppose -26 + 86 = 6*g. Let j(o) = o**3 - 10*o**2 + 9*o + 15. Let r be j(g). Let y = r + 99. Does 19 divide y?
False
Let v = 25 - 5. Suppose n + 2 = 4*c - 2, -3*n = 4*c - v. Suppose n*f + 0*f - 5*z = 99, -5*f - 5*z + 180 = 0. Does 9 divide f?
False
Let z = 208 + -148. Let s = -101 + 238. Let j = s - z. Is j a multiple of 11?
True
Let x be (1 + 64/(-40))/((-1)/5). Suppose -x*q = 5*a - 1372, -2*a + 549 = -2*q + 3*q. Is a a multiple of 25?
True
Let m(f) = f**3 + 13*f**2 + 12*f - 6. Suppose -7 + 55 = -4*x. Let c be m(x). Is -1 - -1 - 24/c a multiple of 4?
True
Suppose 0 = -5*h + 7*h - 3*m - 3807, 2*h - 11*m - 3847 = 0. Does 12 divide h?
True
Let n(k) = -6 - 3*k - 5 + 3 - k. Let m be n(-2). Does 32 divide (m - (1 + 1)) + 130?
True
Suppose x + 3*x - 40 = 0. Suppose -4*b = -2*a + 8 + 2, 2*a - x = 5*b. Suppose -a*f - 3*d = d - 380, -f - 5*d = -76. Is f a multiple of 6?
False
Suppose 0 = -p - 3*f + 21, -2*p + 48 = -f + 6. Suppose -377 = -j + p. Suppose -l - 76 = -n, n = -4*n - 4*l + j. Does 16 divide n?
False
Let w(d) = -8*d**3 - 6*d**2 - 4*d + 7. Let r be w(-3). Suppose -7*h + r = -6*h. Does 18 divide h?
False
Let k(b) = 658*b - 5307. Is k(16) a multiple of 50?
False
Let k(f) = -20*f + 80. Let t be k(-14). Suppose -d = -6*d + t. Is 4 a factor of d?
True
Let i = 10 - 6. Suppose 8 = w + 4*a - 2, 0 = -2*a + i. Suppose w*u = 27 + 17. Does 10 divide u?
False
Let m(d) = 4*d - 58. Let u be m(18). Suppose u*k - 3624 - 198 = 0. Does 91 divide k?
True
Suppose 6*n - 5*n - o = 1275, -4*n - 3*o = -5135. Suppose -4*z = g - 3*z - 1282, -g - 2*z + n = 0. Is g a multiple of 15?
False
Let w be (267/534)/(0 + 2/(-8)). Is 40 a factor of 1273/2 - ((-1)/w)/(-1)?
False
Let s(o) = -o**3 + 8*o**2 + 12*o - 6. Let z be s(9). Let b = z - 18. Suppose -b*f + 215 + 289 = 0. Is f a multiple of 28?
True
Let x be 4*(13890/(-24))/(-5). Suppose -k + x = 5*w, w - 95 = -6*k + 5*k. Does 5 divide w?
False
Let o = -479 + 808. Suppose a = -3*w + 411 - 77, -a + 2*w + o = 0. Does 13 divide a?
False
Suppose -624*t + 617*t = -228998. Does 16 divide t?
False
Let l(a) = -2*a**3 - 5*a**2 + 12*a + 9. Let r be l(-6). Suppose -12*b = -645 + r. Is b a multiple of 5?
False
Let q = 102 - 100. Suppose -3*y + 631 = 2*w, q*y + 636 = 2*w + 6*y. Does 14 divide w?
True
Let r(o) = 248*o**3 + 5*o**2 - 4*o - 37. Is 59 a factor of r(3)?
False
Let d(u) = 68*u**2 + 12*u - 16. Is 40 a factor of d(4)?
True
Let b = 307 - 239. Let j = 243 - b. Does 7 divide j?
True
Is 24 a factor of 6/(16/(-20)*(-39)/520)?
False
Let p = -3559 + 6003. Is 26 a factor of p?
True
Let f = -9 + 11. Suppose -7*l = m - f*l - 5, -3*l + 72 = -4*m. Is (408/m)/((-4)/10) a multiple of 27?
False
Let w(z) be the third derivative of 22*z**4/3 + 5*z**3/6 - 6*z**2. Let b be w(3). Suppose -x + 179 = s, -3*x + 0*s + b = -s. Does 31 divide x?
False
Suppose -2*d - 140 = 61*n - 64*n, 4*n - 200 = -4*d. Is 6 a factor of n?
True
Let r be 4*(-6 - -5)*(-718)/4. Suppose b = 4*x - 719, -b = 4*x - 3*b - r. Is 7 a factor of x?
False
Let m(o) = -9167*o**3 - o**2 - 35*o - 33. Is m(-1) a multiple of 48?
True
Let c = 1920 + -521. Is c a multiple of 23?
False
Suppose 5*l = -1800 - 70. Let w = -261 - l. Is 5 a factor of w?
False
Let v(w) = -20*w + 122. Let g be v(6). Suppose 436 = 2*l - g*a, 0*a = -l + 5*a + 226. Is l a multiple of 3?
True
Suppose -9001810 = -354*s + 71918. Is 135 a factor of s?
False
Suppose -4*f = 5*d - 354, 33*d - 3*f = 29*d + 277. Is d a multiple of 3?
False
Let z = -35335 + 40845. Does 19 divide z?
True
Let y = 264 + -198. Let p = y + -25. Is 3 a factor of p?
False
Let a(n) be the third derivative of -9*n**4/8 + 13*n**3/6 - 13*n**2. Let d be a(-4). Suppose w - 12 = d. Is w a multiple of 32?
False
Suppose 0 = -229*x + 27*x + 319924 + 213760. Does 7 divide x?
False
Let p(m) = -414*m + 229. Does 11 divide p(-16)?
True
Let h(p) = 184*p**2 + 3*p - 3. Let k = -88 + 89. Is h(k) a multiple of 8?
True
Is 6 a factor of (-2)/(-21) + (-1326624)/(-1638)?
True
Let f(a) = -a**3 + 22*a**2 - 17*a - 27. Suppose 2 + 40 = 2*o. Let p be f(o). Suppose -3*x + 15 = -p. Does 8 divide x?
True
Let f(u) = u**3 - 3*u**2 + 4*u - 2. Let t be f(2). Suppose 173 = 2*g - 3*v, t*g - v - 195 = -24. Let c = 104 - g. Is 13 a factor of c?
False
Let c(w) = -w**3 - 25*w**2 - 182*w - 51. Is c(-23) a multiple of 9?
False
Let k(o) = 3*o + 5. Let a be k(-1). Suppose -3*p = 3*u + 153, -204 = 6*p - a*p - u. Let y = p - -62. Is y a multiple of 11?
True
Let z(o) = 21*o - 40. Let c be z(2). Is (c - -3*7)*(34 - 12) a multiple of 23?
True
Suppose 379*x - 373*x = 19758. Suppose 0 = -7*y + 12638 - x. Does 12 divide y?
False
Suppose 6*c + 2*v = 85264, -56816 = -80*c + 76*c + 2*v. Does 74 divide c?
True
Let m = -5722 + 13323. Is m a multiple of 61?
False
Suppose 0 = 5*j - 4*f + 17 + 11, -j + 7 = -5*f. Is 14 a factor of j*(-4 + 7 - 8)?
False
Suppose -5*m - 3*w = -220208, -52*m + 54*m - 4*w - 88104 = 0. Is m a multiple of 13?
True
Let f be (10 + (5 - 4))*-1. Let l be f - (-2 + 3)*-2. Is 8 a factor of l/(-72) + (-957)/(-24)?
True
Suppose -2*w = -3*b + 14158, -2*b = -w + 2411 - 11850. Is b a multiple of 5?
True
Suppose 0*v + 5*v + 4595 = -5*a, v = -4*a - 3685. Let s = -636 - a. Is s a multiple of 13?
True
Let g(r) = -7*r**2 - 17*r + 68. Let n(a) = -4*a**2 - 8*a + 34. Let k(y) = -3*g(y) + 5*n(y). Let q be k(-14). Suppose -h - q = -25. Is h a multiple of 17?
True
Let t(u) = u**2 - 14*u + 28. Let p be t(12). Let h be ((-15)/10)/(3 - 9/p). Is 34 a factor of h/(-10) - (-4 - (-2996)/(-20))?
False
Let c(u) = 549*u**2 + 142*u + 755. Is 153 a factor of c(-5)?
True
Suppose 0 = 2*p - 4 + 34. Let v = 69 + p. Does 18 divide v?
True
Let v(t) = 14*t**2 - 6*t + 5. Let r be v(-13). Suppose -c = -b + 2*c + 495, -5*b = -2*c - r. Let k = b + -273. Is k a multiple of 36?
True
Suppose 4*c + 870 + 602 = 0. Let x(k) = 2*k**3 - 12*k**2 + 5*k + 4. Let b be x(9). Let v = b + c. Is v a multiple of 24?
False
Let b(c) = -972*c**3 + 2*c**2 + 3*c 