2 + 9*m - 7*m - 9*m + 2*m**j. Is n(6) a multiple of 18?
True
Suppose -4*g + 3 = -q - 6, 3*q = 5*g - 6. Suppose -2*l = -k + l + 37, -g*k + 5*l + 95 = 0. Is 5 a factor of k?
True
Suppose 0 = -20*n + 14659 - 699. Is 2 a factor of n?
True
Let o(j) = 7*j**2 + 80*j + 7. Let d be o(-5). Let i = 150 - d. Does 23 divide i?
True
Does 63 divide (4*5090/(-160) + (-3)/3)*-56?
True
Suppose 290*f + 505496 - 7443545 = -804549. Does 235 divide f?
True
Let b be 360/(-45) - (-12 - 0). Suppose 3*u + 0*u - 446 = -b*o, 2*u + o = 299. Does 6 divide u?
True
Let d(o) = 14*o**3 - 5*o + 5. Suppose p = 4*i - 17, -3*p - 3*i - 18 = -42. Is d(p) a multiple of 43?
False
Let m(r) = 6*r**2 - 17*r + 1. Let n be m(1). Let i(j) = 7*j**2 + 6*j + 60. Is i(n) a multiple of 25?
True
Suppose -3*o - 37 = -25. Is ((-654)/6)/(2/o) a multiple of 20?
False
Let w(z) = z + 34. Let j be w(-14). Suppose -228 = j*b - 808. Suppose -4*x + b = -3*r - 381, 0 = x + r - 106. Is x a multiple of 13?
True
Let c = -9 - -11. Suppose 0 = -3*j + c + 4. Is 20 a factor of 84/j - ((2 - 0) + 1)?
False
Let t = 463 + -668. Let b = -80 - t. Suppose -3*u + a = -166, 4*u + 2*a + b = 353. Is 28 a factor of u?
True
Suppose -4*l - 6*y + 10*y = -23928, -5*l + 29902 = -y. Is l a multiple of 13?
True
Is 7 a factor of (0 - -21)*167 - 0/(8 - -8)?
True
Suppose 299*b = 297*b - f + 55288, f - 82933 = -3*b. Does 291 divide b?
True
Let o = 74 - 157. Let a = -80 - o. Let m(w) = 6*w + 1. Is m(a) a multiple of 8?
False
Let u(i) = 2*i - 24. Let h(f) = -2*f**3 - 16*f**2 - f + 5. Let x be h(-8). Let y be u(x). Is 3 a factor of 7/y - 3/6?
True
Let r(n) = n**3 + 12*n**2 - 22*n - 9. Suppose -11*d - 45 = 5*c - 14*d, -3*d = 5*c + 45. Is r(c) a multiple of 24?
True
Let s = 44 + -46. Is -2 + 4335/34 + (-1)/s a multiple of 14?
True
Let x(w) be the first derivative of 6*w**2 - w + 196. Suppose 0 = -z - 7*c + 3*c + 24, z + c = 9. Does 4 divide x(z)?
False
Let r be (-3 - (-1566)/30)*5. Let d = r - 170. Is d a multiple of 4?
True
Suppose -3*b + 4*g + 79087 = -6753, -142999 = -5*b - 3*g. Does 77 divide b?
False
Let l = 6530 + -2060. Is l a multiple of 30?
True
Let y be (0 + 5 + -6)*(-22 - 2). Let x(n) = -6*n + y*n + 10*n - 9*n + 11. Is x(2) a multiple of 7?
True
Suppose -7930*h + 7902*h = -1184288. Is h a multiple of 68?
True
Let s = 5 - -1. Suppose -5*w - 11 = -s. Does 4 divide (-190)/(-60)*(5 - w)?
False
Suppose -24*t + 195762 - 48018 = 0. Is 24 a factor of t?
False
Suppose 40*g - 59*g + 371811 = 0. Is 11 a factor of g?
True
Let a be 3*(176/12 + -3). Let c = a - 34. Is 7 a factor of (c + 1)/((-4)/(-38))?
False
Suppose 14 = s - 2*c, 5*c + 2 = -s - 2*s. Is (2/s)/((-39)/(-117))*16 a multiple of 8?
True
Suppose -15*w = -0*w - 16170. Let k = w + -203. Is 32 a factor of k?
False
Let g(o) = -21*o**3 + 3*o**2 + 3*o + 4. Let d(j) = 22*j**3 - 4*j**2 - 4*j - 4. Let v(k) = -5*d(k) - 6*g(k). Does 2 divide v(2)?
True
Let x(a) = -552*a - 2525. Does 8 divide x(-12)?
False
Let b = 265 + -620. Let v = 577 + b. Does 14 divide v?
False
Suppose 2*i + 21*i - 16698 = 0. Let h = 1310 - i. Is h a multiple of 8?
True
Suppose 0 = -a - 2, 6*m - 2*m = 2*a + 12. Suppose -4*b - 1152 = -2*k - 8*b, m*b + 4 = 0. Does 10 divide k?
True
Let v(f) = f + 14. Let c be v(-10). Suppose 4*u + 16 = -c*u. Is u + -2 + (73 - 5) a multiple of 11?
False
Let z(j) = -j**3 - 35*j**2 + 16*j + 273. Does 6 divide z(-36)?
False
Suppose -3*a = -50*u + 49*u + 3115, a = -5*u + 15495. Does 14 divide u?
False
Let b(g) = 69*g - 25. Let y(r) = -2*r - 1. Let w(a) = -b(a) - 4*y(a). Is 11 a factor of w(-5)?
False
Suppose -4*q + 3*f = -22253, -12*q = 11*f - 15*f - 66764. Is 105 a factor of q?
False
Suppose 12 = -0*l + 4*l, -2*f + l + 53 = 0. Suppose 0 = 37*h - f*h - 1620. Is h a multiple of 16?
False
Let q = -4408 - -9045. Is 49 a factor of q?
False
Let d = -900 - -1282. Let u = d + -317. Is u a multiple of 65?
True
Suppose -4*l + 7 = 23. Suppose -4*f + 2*c = -2, 2*f = -0*f - 2*c - 14. Is 95 + (2/l - (-1)/f) a multiple of 16?
False
Suppose -246 = 4*r + 4*w - 26, 2*w = -3*r - 168. Let t = r + 6. Let o = t - -102. Is 9 a factor of o?
False
Let t(r) = 5*r**2 + 8*r + 11. Let j = -366 + 369. Does 14 divide t(j)?
False
Let o = -358 - -353. Is o - (6 + 230)/(-4) a multiple of 18?
True
Is 5 a factor of 10593/5 + -8 + 3/(-5)?
True
Let l = 65084 + -45711. Does 20 divide l?
False
Suppose 5*h = -3*n + 88, 4*h - 75 + 9 = 2*n. Is h/(51/117) - 0/2 a multiple of 7?
False
Suppose -5*f = -74 - 26. Let x(i) = 2*i**2 + 30*i + 168. Let d be x(-6). Is -1077*(-4)/d + 4/f a multiple of 12?
True
Suppose 12043 = 4*v - f, -5*f = 15*v - 12*v - 9015. Is v a multiple of 10?
True
Let p(s) = -128*s + 240. Does 9 divide p(-8)?
False
Is 15150 + (-4 - 88/8) a multiple of 5?
True
Let p(w) = 26*w**2 - 170*w + 3459. Does 17 divide p(18)?
True
Let k(c) = 4*c - 52. Let d be k(13). Suppose 2*s - 4*a - 972 = d, -5*s + a + 2388 = 5*a. Is 16 a factor of s?
True
Let b(f) = 4713*f - 11550. Does 18 divide b(8)?
True
Is 0/(-4) + (-3288)/15*(0 + -5) a multiple of 4?
True
Suppose 12 = 5*l + 3*c, 2 - 22 = 5*l - 5*c. Suppose -w + 4*q + q + 213 = l, -4*w + 2*q + 816 = 0. Is w a multiple of 29?
True
Is 15297465/3870 - 1/(-6) even?
False
Let c = 11602 - 8253. Is c a multiple of 197?
True
Let j be (-46)/5 + 58/290. Let c(x) = -x**3 - 9*x**2 - 18*x + 15. Is c(j) a multiple of 3?
True
Let n = 3972 - 2796. Suppose -21*w + n = -14*w. Is (w - 0) + 6/(-2) a multiple of 33?
True
Suppose r = 111 - 3. Let b = -83 + r. Is b a multiple of 8?
False
Suppose w - 4013 = o, 8036 = 2*w - 74*o + 70*o. Does 3 divide w?
True
Is 23 a factor of (-14)/(-112)*-5734*-4?
False
Let d = -205 - -210. Suppose p = d*n - 1898, -4*p = -p - 6. Is 20 a factor of n?
True
Let c = -19787 + 35401. Is c a multiple of 37?
True
Suppose -d + 73 = -18. Does 25 divide 4/(-14) - (-36426)/d?
True
Let o(r) = r**2 - 10*r + 13. Let n be o(9). Let f be (n/(-4))/(2/(-6 - -2)). Let g(z) = 2*z**2 + z + 2. Is 4 a factor of g(f)?
True
Let c = 99 + 3475. Suppose -9*m - 721 + c = 0. Is m a multiple of 13?
False
Let o = 39 - 34. Suppose 0 = o*r - 3*r. Suppose -t - t + 2*u + 76 = r, u + 2 = 0. Does 12 divide t?
True
Suppose 6 = 2*t + 8. Does 22 divide (-99911)/(-147) - t/3?
False
Is 12 a factor of (-174)/(-319) - (-228612)/(-22)*-1?
True
Suppose 3*l - 5305 = 5*u, -3941 = -4*l + u + 3121. Let m = 2525 - l. Is 8 a factor of m?
True
Let b(z) = -z**3 + z**2 + z + 56. Let n be b(0). Suppose 66 = 5*a + n. Suppose -a*d = 2*h - 202, -5*h + 4*d = 3*d - 487. Is 7 a factor of h?
True
Let a(c) = -c**3 + 5*c**2 + 2*c - 13. Let u(s) = -s**3 - 7*s**2 - s - 3. Let v be u(-7). Let y be a(v). Suppose -y*f = -83 - 445. Is 16 a factor of f?
True
Let q = -37 + 57. Let b = 0 - q. Let v = 36 + b. Is 16 a factor of v?
True
Suppose 0 = -8*t - 183 - 33. Is 20 a factor of (-2469)/t - (-48)/(-108)?
False
Let b = -14 - -3. Let d(h) = -4*h + h**3 + 17 - 1 + 10*h**2 - 6*h - h. Does 16 divide d(b)?
True
Suppose 3*f = -2*a + 435, 9*f - 402 = -2*a + 63. Is a a multiple of 35?
True
Let y be 1 - (-45)/(-50) - 20646/60. Let j = y - -1296. Is j a multiple of 10?
False
Let z = 10580 + -10797. Let s(g) = -2*g**3 + 8*g**2 + 5*g - 5. Let w be s(-5). Let t = w + z. Is 29 a factor of t?
True
Let t be (24/4)/(33/22). Suppose 3*q - 2921 = w + t*w, 3892 = 4*q - 4*w. Is q a multiple of 25?
False
Let a = 12 + -4. Suppose 5 = 3*z + s - 13, s = -z + a. Suppose z*n = k + 203, 5*k = -0*n + 3*n - 135. Is 8 a factor of n?
True
Suppose -28 = -t + 95. Let y = 267 - t. Does 34 divide y?
False
Suppose -8*k - 60 = -28*k. Suppose 1866 = 4*h + k*i, -11*h + 5*i + 1882 = -7*h. Is h a multiple of 47?
False
Suppose 5*m = -3*w + 60, 0*w + 3*w = 5*m + 90. Suppose w*y + 1596 - 12221 = 0. Is y a multiple of 39?
False
Let q be -3 + 4 + -5 + -7. Let m(d) = 8*d**2 + 41*d + 21. Does 57 divide m(q)?
False
Suppose 278*l - 272*l - 120 = 0. Suppose -11*c = -l - 1740. Is 16 a factor of c?
True
Let p = 20 + -70. Let s = 87 + p. Let b = s - 23. Is 9 a factor of b?
False
Let k = 145 - 306. Let d = k + 259. Is d a multiple of 49?
True
Let w = 181 - 174. Suppose 0 = -w*s + 4898 + 492. Is 55 a factor of s?
True
Let q(r) = 7*r**2 + 196*r - 115. Is 15 a factor of q(-33)?
False
Let q = 308 + -112. Suppose 52 - q = -9*a. Is 14 a factor of a?
False
Suppose 0 = 3*i + 4*s - 19900 - 4666, 40948 = 5*i + 2*s. Is 