 m(6). Let k = x + 108. Does 11 divide k?
False
Let m = 33 + -31. Suppose 6*g = m*g + 1904. Is g a multiple of 14?
True
Let f = -3028 - -3792. Is f a multiple of 22?
False
Suppose 5*p + 4*u = 24568, 9*p - 14*p = u - 24547. Does 187 divide p?
False
Suppose 0 = -66*x + 91 + 173. Suppose -4*g + 1 + 3 = 4*o, -4*o - 3*g + 7 = 0. Suppose o*k + 5*w - 19 - 23 = 0, -x*k = -2*w - 56. Is k even?
False
Suppose 3*s + 31*s = 3639 + 46749. Does 38 divide s?
True
Let t(q) = 675*q + 7059. Is 71 a factor of t(8)?
False
Let x be 180/(-8)*2*8/(-20). Let y(r) = r**3 - 19*r**2 + 25*r - 63. Is 15 a factor of y(x)?
False
Let g(m) = 47*m - 12. Let b(u) = -u**2 + 11*u - 18. Let n be b(8). Suppose 20 = n*p - 4. Is g(p) a multiple of 12?
False
Suppose -5*d - 6 = 85*z - 83*z, 4*d - 3*z = -14. Is 7784/35 + d/5 a multiple of 6?
True
Suppose 14*z - 38*z - 22138 = -26*z. Is z a multiple of 25?
False
Let d be (3/(-12) - 27/(-12))*6. Suppose -3*q + d = 9, 4*b = -5*q + 2213. Is 9 a factor of b?
False
Let v = -2602 - -2805. Is 4 a factor of v?
False
Let l(p) be the third derivative of -13*p**6/720 - p**5/120 - 5*p**4/24 + 2*p**2. Let w(y) be the second derivative of l(y). Is w(-1) a multiple of 3?
True
Let t(u) = 181*u**2 - 5*u - 97. Is t(6) a multiple of 11?
False
Let d be (1/4)/((-28)/16 + 2). Suppose 200 + d = 3*s. Suppose -6*t + s + 203 = 0. Is 13 a factor of t?
False
Does 86 divide (-8)/(-1) - (-15 + 10 + -8 + -7461)?
True
Suppose 8*d - 7*d = 6. Suppose 56533 + 73445 = -d*v. Is 19 a factor of -2*(-1)/11 + v/(-99)?
False
Is 76 a factor of (-47)/2*6539/65*-1*10?
False
Suppose -2*f + f = -5*r - 393, 5*r - 801 = -2*f. Does 123 divide f?
False
Let r(u) = -u**2 + 16*u - 23. Let t be r(14). Suppose -7*m + 12 = -2*m + 4*y, y = -t*m + 3. Suppose -4*j + 2*j + 136 = m. Does 32 divide j?
False
Suppose 0 = -4*l - m - 240, 3*m - 7*m = 0. Does 8 divide (1*160)/(6/l*-5)?
True
Let j be (0 - 18)*(120/(-3))/10. Suppose -9*u + 13*u + 4*v - j = 0, 4*u + 2*v - 74 = 0. Is u a multiple of 3?
False
Suppose -52*q - 53*q + 229425 = 0. Is q a multiple of 7?
False
Let f(j) = -191*j**3 - 21*j**2 - 80*j - 12. Is f(-5) a multiple of 13?
True
Let y be ((-536)/(-6))/(1/(3/1)). Is (y + 1)*(-21 + 22) a multiple of 22?
False
Suppose 18 = 3*r + 39, g = r + 14413. Does 98 divide g?
True
Let n = 91 + -75. Suppose -n*i + 13*i - 783 = 0. Let k = -171 - i. Is 17 a factor of k?
False
Let a(j) = j**3 + 7*j**2 + 4*j - 2. Let p be a(-5). Does 5 divide (147/p + -1)/((-2)/(-24))?
False
Let a(s) = -35*s - 2. Let d(b) = -b**3 + 12*b**2 + 15*b - 28. Let f be d(13). Let c be a(f). Let m = -42 + c. Is 20 a factor of m?
False
Let n(f) = -6 - 33*f + 6*f**2 - 18*f + 10*f**2 - 19*f**2. Is n(-7) a multiple of 17?
True
Let w = 578 + -578. Suppose 3*r - 3*t - 110 + 17 = w, -3*r - t + 89 = 0. Is r a multiple of 4?
False
Suppose d - 4*t = -53, 10*t = 8*t - 8. Let u = d + 241. Does 7 divide u?
False
Suppose -2*s = b + 151, 0 = -5*b - s + 4*s - 768. Let m be (-20)/(-8) + -3 - b/6. Suppose 2*n - 62 = -3*t, 2*t - 27 - m = 4*n. Does 11 divide t?
True
Suppose 385*n - 5842891 = -3177747 + 8336231. Is n a multiple of 168?
False
Let d be (-180)/(-13) + (-4)/(-26). Suppose 17*t - d*t + 6 = 0. Does 7 divide -5 - t - (-18 + 1)?
True
Let b(t) = -5*t**3 + 2*t**2 - 3*t + 13. Let g be b(4). Let m = g + 676. Is m a multiple of 11?
False
Let a(g) = g**2 - 3*g - 2. Suppose -9*u = -13*u + 16. Let p be a(u). Suppose -70 = -p*t - 5*n, 0 = 3*t - 5*n - 103 - 52. Does 9 divide t?
True
Is 34 a factor of (((-14)/6)/7)/((-12)/45288)?
True
Suppose -541496 = 33*p - 113*p + 73304. Does 29 divide p?
True
Suppose 24*l - 20*l - 4916 = -4*m, 3*m - 3697 = -5*l. Suppose m = -4*k + 10*k. Is k a multiple of 12?
True
Suppose -25*w = -13*w + 1176. Let i = w + 471. Suppose i = 5*q - 3*y, -5*q = -5*y - 4 - 361. Is q a multiple of 4?
False
Let x(g) be the second derivative of 9*g**4/4 - 5*g**3/3 + 3*g**2/2 + 6*g. Does 13 divide x(2)?
True
Let x(v) = -v**2 + 23*v - 113. Let o be x(14). Let q(a) = a**3 - 13*a**2 + 25*a - 24. Is 6 a factor of q(o)?
False
Is 76*((-200)/20 - -12) a multiple of 19?
True
Let r = 8 - 1. Suppose 0 = -d + r*d + 540. Let p = 162 + d. Is p a multiple of 18?
True
Suppose 0 = -15*p + 89 - 29. Suppose p*t + 0*b + b = 1383, 0 = -4*b - 4. Suppose 0 = 2*v + 5*r - t, v - 2*r - 175 = -5*r. Is 31 a factor of v?
False
Is 4 - (-73300)/36 - (-31)/(-279) a multiple of 30?
True
Let z(i) = -i**3 + 32*i**2 + 32*i + 39. Let j be z(33). Is (-270)/(((-3)/1)/j*2) a multiple of 9?
True
Suppose 2*x + 4*a = 6*a - 34, 4*x = -a - 83. Does 59 divide (145/(-2))/(10/x)?
False
Let i(h) = 16*h**2 - 135*h - 9. Let o be i(-11). Suppose 17*p - o - 4561 = 0. Is p a multiple of 56?
False
Suppose 2*r + 5*h - 37877 = 0, 2*r + 3*h - 22800 = 15075. Does 11 divide r?
False
Let r(a) = -7*a + 120. Let f be r(17). Let k(d) be the third derivative of 13*d**6/30 + d**5/60 - d**4/24 + d**3/6 + 4*d**2. Is 4 a factor of k(f)?
False
Let p(k) = k**3 + 6*k**2 - 6*k + 11. Let b be p(-7). Suppose b*t = -8*t - 48. Is 20 a factor of -6*25*((-40)/(-12) + t)?
True
Let u(j) = 11*j**3 - 18*j**2 + 3*j + 14. Let w(t) = -4*t**3 + 6*t**2 - t - 5. Let x(o) = 3*u(o) + 8*w(o). Suppose -76 = -11*z - 10. Is x(z) even?
True
Let b(x) = -x**2 + 18*x + 9. Let r(l) = -2*l**2 + 37*l + 18. Let v(d) = 13*b(d) - 6*r(d). Let o be (-10)/45 + (119/9 - 2). Is 2 a factor of v(o)?
True
Let a(p) be the third derivative of -p**5/60 + 17*p**4/24 - 17*p**3/6 - 2*p**2. Let j be a(16). Is 2 a factor of ((-75)/4 - 3/12)*j?
False
Let s(i) = i**3 + 3*i - 145. Let t be s(0). Let b = 256 + t. Is b a multiple of 34?
False
Let p be (-16)/(-3)*((-189)/18 + 12). Suppose 11*a - p = 696. Is a a multiple of 64?
True
Suppose 3*o + 5*t - 4040 = 5804, 3*t - 3288 = -o. Is o a multiple of 5?
False
Let v be 25 - (-24)/18*3/2. Let a = -45 + v. Is (-6)/a + (-388)/(-6) + -1 a multiple of 32?
True
Suppose -8*i + 5*i = 2*q + 871, -3*q + 3*i = 1329. Let b = -254 - q. Is 28 a factor of b?
False
Suppose -2*r - 17420 = -2*x - 1890, -3*x = 3*r - 23265. Is 5 a factor of x?
True
Let p(l) = -6*l**3 - 2*l**2 + 112*l + 4. Is 13 a factor of p(-14)?
True
Let k be (26/10 - 1)*5. Let s be (-3)/(-6)*-6*(0 + 4). Is 11 a factor of s + k + 186*1 + -1?
False
Suppose 5*g = -4*p + 3657 + 4695, 0 = -5*p - 10. Is g a multiple of 38?
True
Suppose 18657265 = 576*s + 6428785. Does 10 divide s?
True
Suppose 741*t - 679*t - 400644 = 0. Does 18 divide t?
True
Suppose -117*a - 399*a = -81*a - 16948035. Is 39 a factor of a?
True
Let s(c) = -c**2 + 7*c + 3. Let t be s(-4). Let w = t + 29. Is (12/15)/(w/(-150)) a multiple of 7?
False
Let v = 280 + -254. Suppose -13*t = -v*t + 2015. Is t a multiple of 31?
True
Suppose -9 = 3*s, -2*s - 7038 - 339 = -3*k. Does 21 divide k?
True
Let g(b) = 13*b + 735. Is g(-52) a multiple of 2?
False
Let d = -11953 + 31473. Does 61 divide d?
True
Let y = -10025 - -15821. Is y a multiple of 46?
True
Suppose 0*p + 1695 = 4*i + p, 3*p = 4*i - 1715. Let k = -201 + i. Is 28 a factor of k?
True
Suppose -4*u - 5*d = 236 + 127, -383 = 4*u + d. Let s = u + 97. Suppose -2*f + 48 + 56 = s. Is 26 a factor of f?
True
Let f(g) = 14*g**2 - g + 2. Let c be f(10). Suppose 219 = -3*r + c. Is r a multiple of 22?
False
Let j = -1965 + 3524. Let n = j - 1069. Is n a multiple of 35?
True
Suppose -9*g + 20300 = 2777. Suppose 3*q = 2*w - 0*w - 981, 4*w - q - g = 0. Is 31 a factor of w?
False
Let p be (-2)/(-6)*36/4. Suppose 2*g = -4*v + 6, -p*v - 2*g + 6*g - 1 = 0. Does 19 divide v*(-2 - -6) + (0 - -296)?
False
Let o = 13996 - 6499. Is 153 a factor of o?
True
Suppose -9235*p = -9236*p + 6861. Is p a multiple of 161?
False
Let r(l) = 1348*l + 373. Is 31 a factor of r(2)?
True
Suppose 7*g = -0*g + 21819. Suppose -y - 3*l + 768 = 0, 3*l + g = 7*y - 3*y. Suppose -3*q - 6 = -5*q, y = 5*j - q. Does 8 divide j?
False
Suppose -32*q + 29*q - 90 = 0. Is 45 a factor of 2025/18*(-144)/q?
True
Let p = 261 + -247. Suppose -2*n + 622 = -18*h + p*h, -4*h = -12. Does 10 divide n?
False
Let j(o) = -396*o - 750. Is 28 a factor of j(-8)?
False
Let z be (-3 - 0 - -19)*79. Let v = z + -697. Is v a multiple of 23?
False
Let l(r) = -r**2 - r - 59. Let a be l(0). Let t = a - -10. Let n = 145 + t. Does 12 divide n?
True
Let x = 64 - 58. Let s be -1*1 + 3/(x/2). Suppose s = 5*f + 7 - 42. Is 3 a factor of f?
False
Do