r?
False
Let y(q) = -6*q**2 - 10*q - 19. Let n(l) = -7*l**2 - 9*l - 18. Let u(v) = -5*n(v) + 6*y(v). Let d be u(-12). Suppose -d*w = 2*w - 2548. Is w a multiple of 12?
False
Let i(m) be the first derivative of -9*m**2 - 195*m + 174. Is i(-12) a multiple of 3?
True
Is 54 a factor of -6 - ((-16)/(-4))/((-2 + 5)/(-7815))?
False
Suppose -3*g - 5*f = -119 - 229, -2*g - 5*f = -227. Suppose -g = -5*t - 46. Is 2 a factor of t?
False
Let d be ((-2322)/(-14))/1 + (-14)/(-98). Let k = -124 + d. Is 14 a factor of k?
True
Suppose 2542 = 2*m - 3*r, 19*r = 2*m + 14*r - 2554. Is 2 a factor of m?
True
Let b = -84 - -72. Let v(d) = -d**3 - 11*d**2 + 14*d + 22. Let w be v(b). Is 16 a factor of -3 - (204 + -5)*(-3 - w)?
False
Suppose -4*v + 9262 = -2*s, -3*v = -7*s + 11*s - 6952. Is 12 a factor of v?
True
Let q(n) = 9*n**2 - 48*n - 3958. Is 4 a factor of q(-42)?
False
Let b = 22260 + -19240. Is b a multiple of 40?
False
Let r = 65 - 221. Is ((-270)/7)/(r/1456) a multiple of 40?
True
Let b = -28019 + 42918. Is 25 a factor of b?
False
Let y be ((-8)/(-3) + 1)/(26/78). Suppose y*t = 5*t + 372. Is 15 a factor of (-10 + 15)*t/10?
False
Let i = -343 + 86. Let y(g) = g**3 + 100*g**2 - 523*g + 58. Let j be y(-105). Let m = j - i. Is 9 a factor of m?
False
Let j(g) = 2*g**2 - 3*g - 6. Let n = 16 - 14. Let h be n/(-3) - 364/(-42). Does 14 divide j(h)?
True
Let z be ((-105710)/(-330))/((-1)/3). Let h = -873 - z. Is 10 a factor of h?
False
Let c = -56 + 47. Let y(d) be the second derivative of -d**4/12 - 7*d**3/2 - 6*d**2 + 6*d. Is y(c) a multiple of 12?
True
Is ((-63)/84)/(3/(-56))*264 a multiple of 132?
True
Is 15 a factor of 1778608/1560 - 1/30*4?
True
Let d = -43 + 73. Does 26 divide ((-282)/d)/((2/2)/(-5))?
False
Suppose 10*n = 7*n + 4*z + 2, 5*n - 13 = -3*z. Suppose 4*d + 4*l = n*d + 96, 0 = -4*d - 5*l + 207. Is d even?
True
Let q be 2 + 1 + (-396)/(-9). Let o = -20 + q. Is 10 a factor of o/3 + (3 - 2)?
True
Let d(c) = -383*c**3 + 7*c**2 - 4*c - 3. Let k(a) = -a**3 + a - 1. Let x(j) = -d(j) + 3*k(j). Is x(1) a multiple of 95?
True
Let g be 38561/7 + 14/49. Let n = g - 1565. Is 14 a factor of 8/14 + n/56?
False
Let g(h) = 13*h**2 + 7*h - 15. Let d(s) = 12*s**2 + 7*s - 13. Let f(u) = -2*d(u) + 3*g(u). Is 17 a factor of f(3)?
False
Does 287 divide ((-207)/(-2) - 1)*2604/10?
True
Let b be ((-1)/(-3))/((-4)/(-144)). Suppose 0*j + 2808 = b*j. Is 78 a factor of j?
True
Let x = -223 + 63. Let y(c) = -3*c**3 - 45*c**2 - 19*c + 45. Let k be y(-15). Let m = k + x. Is m a multiple of 34?
True
Suppose -k - 3*d = -187, -425 - 128 = -3*k - 5*d. Let b = 4656 + -4095. Suppose -3*z = -c - 0*z + k, 3*z + b = 3*c. Does 19 divide c?
True
Suppose 7*s - 42 = -7*s. Suppose -4*f + 0*f + t = -2750, 5*f - s*t - 3441 = 0. Does 21 divide f?
False
Suppose -45 = 3*m + k, -7*k + 15 = -12*k. Suppose -3*h = -0*h + 12. Is -12*1*(m - h) a multiple of 21?
False
Let x(j) = -2*j + 40. Let l be x(-10). Suppose 14 = p - 66. Suppose 4*z - 2*i = l, -4*z - 20 = -5*i - p. Does 3 divide z?
True
Suppose 0 = 3*x + 7*x - 40. Let r(d) = 43 + 23 - x*d - 23. Does 11 divide r(-19)?
False
Let g(a) = 2*a - 23. Let c be g(13). Suppose -24 + 234 = c*f. Let y = -58 + f. Does 6 divide y?
True
Let l = 119 - 134. Is (-42)/(-4)*(-6 + (-410)/l) a multiple of 14?
True
Suppose -14*t = 8*t - 28930. Does 4 divide t?
False
Let m(p) = 41*p + 46. Suppose 7*a = 67 - 11. Is m(a) a multiple of 17?
True
Suppose 5*q = g - 2*g + 169, -q - 2*g + 32 = 0. Suppose -4*d = x - 113, x - 79 = d + q. Does 16 divide x?
False
Let g(a) = -a - 9. Let p be g(-1). Does 12 divide (18/10*p)/((-1)/5)?
True
Suppose -14*g + 10*g + 24 = 0. Let a(v) = v. Let u be a(g). Does 21 divide ((-2)/u)/(4/(-420))?
False
Let a(n) = -2*n**2 + 16*n + 3. Let u be a(8). Let x be (-1)/((-12)/(-414))*(-26)/u. Suppose 4*p - 577 = x. Does 23 divide p?
False
Let k(a) = -12*a**3 - 6*a**2 - 26*a - 10. Is 2 a factor of k(-5)?
True
Let b(h) = -h**3 - 49*h**2 - 106*h - 186. Does 31 divide b(-52)?
False
Does 12 divide (-7316)/93*(-5 + 4 + 2 + -79)?
False
Let j = -2331 + 3479. Is 17 a factor of j?
False
Suppose 67*q - 126285 - 181714 = 0. Is q a multiple of 10?
False
Is 211/5 - (-13 - -14)*(-4)/(-20) a multiple of 21?
True
Let h(j) be the first derivative of -11*j**2/2 - 60*j - 97. Is 31 a factor of h(-28)?
True
Let k = 601 + -1153. Let v = -68 - k. Is 36 a factor of v?
False
Suppose 2*f - 2*v + 15 = -7*v, -2*f = -v + 9. Let r(d) = -55 + 2*d + 126 - 12*d - 69. Is 11 a factor of r(f)?
False
Suppose -4722 = -35*u + 60588. Let i = u - 1267. Does 6 divide i?
False
Let f = 23209 - -7095. Is f a multiple of 32?
True
Let n(m) be the third derivative of 11*m**4/24 - 71*m**3/6 - 8*m**2 - 19. Let d(u) = 2*u**3 - 4*u**2 - 3. Let b be d(3). Is n(b) a multiple of 21?
False
Suppose 518196 = 57*h + 70*h - 34*h. Is 14 a factor of h?
True
Let s(r) = -25*r**3 - 5*r**2 - 5*r - 3. Let y be s(-3). Suppose -3*f = -27*w + 24*w - 387, 4*w + y = 5*f. Is 42 a factor of f?
True
Let q = 52 + -44. Let f be 3/((-60)/q) - (-2)/5. Is 27 a factor of (26/(-8) - f)/((-16)/576)?
False
Suppose 0 = -3*v + f + 100614, 0 = -27*v + 28*v - 5*f - 33496. Is v a multiple of 10?
False
Suppose -2*o = 3*b - 25299, -917*b - 4*o = -922*b + 42209. Does 2 divide b?
False
Let o(k) = -k**3 + 23*k**2 + 5*k + 8. Let u be o(22). Let x = u + -296. Does 51 divide x?
True
Let h = 8 - 6. Let r(z) = 4*z + 26. Let s be r(-6). Suppose h*f = -s*f + 556. Is f a multiple of 24?
False
Let n(c) = -902*c - 154. Is 22 a factor of n(-2)?
True
Let v(k) = 90*k - 46. Let g(i) = 182*i - 93. Let s(w) = -4*g(w) + 9*v(w). Does 29 divide s(9)?
True
Is 31 a factor of (-4 - -35)*(77 - (-5 + 3))?
True
Suppose 5*m + 170 = 5*u, 0 = -17*u + 18*u + 5*m - 46. Let z = 22 + -116. Let c = u - z. Does 26 divide c?
True
Let o be ((-12)/(-20) - 0)/(2/(-10)). Let g be o*-21*(-8)/(-9). Let h = 135 - g. Does 9 divide h?
False
Suppose -148 = -7*p + 230. Does 30 divide (p/15)/(14/1505) - -3?
True
Let d(t) be the third derivative of 0 + 7/3*t**3 + 0*t - 24*t**2 - 5/24*t**4. Is 17 a factor of d(-12)?
False
Let k(u) = -45*u + 6. Let g = 59 - 63. Let x be k(g). Let r = -122 + x. Is r a multiple of 4?
True
Suppose -3*q + 22061 - 4502 = -3*w, 0 = q + w - 5865. Is 27 a factor of q?
True
Suppose -80 = -8*n + 16. Suppose n*a - 2856 = -2*a. Does 12 divide a?
True
Suppose 6*y - 4 = -x + 3*y, -2*y = -x + 9. Suppose 5 - 26 = -x*a. Is (-240 - 9)*(-2)/a a multiple of 13?
False
Let b = 5522 + -55. Is 31 a factor of b?
False
Suppose -105*p = -100*p - 2400. Does 12 divide p?
True
Suppose 11602 = 3*k - 2*y - 5256, 0 = -2*y + 2. Does 58 divide k?
False
Does 30 divide (-12)/(-252) - (-7 + 506935/(-105))?
False
Suppose 5*z - 378 + 48 = 0. Does 14 divide (2 - 12/3) + z?
False
Let j = -69 + 224. Suppose 6*u - 979 = j. Is u a multiple of 9?
True
Suppose 0 = -5*s - 3 - 2, -3*s = -5*n - 17. Is 15 a factor of ((-4206)/4)/(-3) + (-6)/n?
False
Suppose -7*d - 117 = -117. Suppose -2*i + 595 - 235 = d. Does 36 divide i?
True
Let y = -1843 - -2603. Suppose 75*d - y = 70*d. Is d a multiple of 19?
True
Let q(x) be the first derivative of x**3/3 + 6*x**2 - 10*x - 23. Does 5 divide q(-15)?
True
Let x = 199 + -196. Suppose -5*d = x*u - 80, 0 = 2*d - 2 - 0. Is 2 a factor of u?
False
Suppose 4*d = -4*k + 9296, 5*k + 21*d - 23*d = 11627. Is 12 a factor of k?
False
Suppose -119*r + 1131072 = -33*r. Does 96 divide r?
True
Is (-13 + (-568692)/144)/(2/(-8)) a multiple of 5?
False
Suppose 2*o = -3*d + 136655, 3*o = 4*d - 144026 - 38226. Is 21 a factor of d?
False
Suppose 3*u + 4*u - 56 = 0. Suppose -8*x = u - 72. Suppose -x*p + 530 = 2*p. Is 7 a factor of p?
False
Let m(w) = 12*w**2 + 230*w - 243. Is 10 a factor of m(-54)?
False
Suppose -1467 = -p + 5*s + 9, 4428 = 3*p - 3*s. Suppose -4*o = -4*w + 1683 - 515, 5*w - o - p = 0. Is w a multiple of 8?
True
Let x = 653 + -417. Let f = x - -589. Does 33 divide f?
True
Suppose 2*x = -6, j - 6*x + 9*x - 956 = 0. Does 5 divide j?
True
Suppose -5*w - 15145 = -2*o, 0 = -5*o - 16*w + 11*w + 37915. Is o a multiple of 20?
True
Let p be -3 + 11/4 + (-205)/(-20). Suppose p*v = 6*v - 12. Is 15 a factor of (45/4)/(v/(-16))?
True
Suppose 82245*r + 318045 = 82252*r. Does 13 divide r?
True
Suppose -54966 = -37*z - 4456 + 214521. Does 46 divide z?
False
Let t(p) = 246*p**2 - 2*p - 1. Let z be t(-1). L