 r(n) = n**2 - 12*n + 7. Let w be r(11). Let a be w + 2 + 8/2. Suppose -21 + 1 = -a*o. Is 8 a factor of o?
False
Let g be -2 + 6 + (-22)/2. Let r = g - -5. Is 2 a factor of -2 - r - 44/(-2)?
True
Let x(b) = -100*b - 42. Let o be x(7). Let u = o - -1184. Does 9 divide u?
False
Let u(g) be the third derivative of g**8/4032 + g**7/1008 - g**6/360 + g**5/2 - 26*g**2. Let d(w) be the third derivative of u(w). Is d(-4) a multiple of 29?
True
Let g(l) = l**3 + 5*l**2 - 5*l + 14. Let f be g(-7). Let v = 69 + f. Does 5 divide v?
True
Let t = -3 - -9. Suppose -546 = 19*q - t*q. Does 6 divide (q*3)/((-2)/2)?
True
Does 16 divide 245*(-8 + (-253)/(-33) - 394/(-30))?
True
Let t = -339 - -1235. Is t a multiple of 32?
True
Let x be 20*-2*3/(-24). Let l(p) be the second derivative of p**3 - 5*p**2 + 21*p. Is l(x) a multiple of 5?
True
Suppose -2*n + 2*c - 4*c - 206 = 0, 3*n + 305 = -2*c. Let q = 102 - n. Suppose v - q + 33 = 0. Is 18 a factor of v?
False
Let a = -7247 + 7391. Does 36 divide a?
True
Suppose -8*c - 328 = -352. Suppose 3*a - c = 225. Is 19 a factor of a?
True
Let j = -2434 - -10578. Does 24 divide j?
False
Let k(j) = -j**2 - 3*j + 5. Let r be k(0). Suppose 5*p + r*d = 1600, -3*d = -4*p - 2*d + 1255. Suppose 11*h - 8*h - p = 0. Is 21 a factor of h?
True
Let o = -231 + 241. Suppose -6*n + 2128 = o*n. Is n a multiple of 19?
True
Let w = 53 - 51. Suppose w*x = -10*x + 1728. Suppose 0 = -4*l + 3*f + x, 2*l + f = -2*l + 160. Does 19 divide l?
False
Let j(m) = 3*m**2 + 69*m - 654. Is 165 a factor of j(-71)?
True
Let v(m) = 4*m - 94. Let z be v(24). Suppose 3*a - 436 = 4*d - 125, -425 = -4*a - 5*d. Suppose 5*s - 34 - 19 = -z*q, 0 = -3*q + s + a. Is 5 a factor of q?
False
Let y(n) = 3*n - 5. Let o(t) = t - 2. Let m = 82 + -78. Let v(w) = m*y(w) - 9*o(w). Is 8 a factor of v(15)?
False
Let d = -9241 + 14428. Suppose -d - 2223 = -15*c. Is c a multiple of 13?
True
Let h = -263 + 273. Suppose 17*s - 3808 = h*s. Is 34 a factor of s?
True
Let q = -79 + 81. Let c be q/3 - (-422)/(-3). Let u = c - -348. Is u a multiple of 16?
True
Let x(b) = b**3 + 36*b**2 + 47*b - 28. Is 4 a factor of x(-31)?
True
Let i = 9241 + -5654. Does 62 divide i?
False
Let c(y) be the third derivative of -y**5/30 - y**4/24 + y**3 - 12*y**2. Let n(m) be the first derivative of c(m). Does 13 divide n(-4)?
False
Let g(s) = 2*s**2 - 29*s - 1210. Does 104 divide g(62)?
True
Suppose 5*b - 20 = 0, 0*b = z + 5*b - 19. Does 11 divide (-6)/9 - (3471/9)/z?
True
Suppose 555 = -10*l + 5*l. Let d = -105 - l. Is d a multiple of 3?
True
Let h = -48 - -60. Suppose 16*z - h = 10*z. Suppose 5*l + 4*g - 692 = l, -z*l + 349 = g. Is 22 a factor of l?
True
Let z(t) = -t**3 + 46*t**2 + 114*t + 48. Let f be z(48). Suppose -12*h + 13008 = f. Is 21 a factor of h?
True
Let g be 6/2*743/3. Suppose 5*x - 793 = -3*d, -2*d - d + 5*x + g = 0. Does 19 divide d?
False
Let q(z) = 1342*z**2 + 41*z + 77. Is 94 a factor of q(-3)?
True
Let l(b) = 360*b**2 + 5*b - 6. Let q be l(1). Suppose -r - 4*d + 367 = 0, -2*r + 3*r - q = -2*d. Does 62 divide r?
False
Let p(g) = -g**3 - 12*g**2 + 13*g + 2. Suppose -8*b - 21 = 83. Let w be p(b). Suppose -3*j - 4*q + 39 = 0, -w*j + 5*q = -4*j + 26. Does 9 divide j?
False
Suppose -4*w + 4*y + 13 = -15, 0 = 5*w + 3*y - 27. Let i be (20/50)/(12/10)*w. Is 21 a factor of (i - 16/4)*(-965)/10?
False
Suppose 0 = i - 5*h - 28, -4*i + h + 11 = -2*i. Suppose -4*d - t + 1050 = 0, i*t - t - 1048 = -4*d. Suppose -217 - d = -6*s. Does 16 divide s?
True
Let d be (-40)/(-2*(-1)/(-24)). Suppose -7*n + 11*n = d. Suppose 3*w = 4*w - n. Does 20 divide w?
True
Let b(p) = -19*p - 8. Let r be b(-3). Let g = -44 + r. Suppose k = -5*v - 0*k + 345, -v = -g*k - 95. Does 15 divide v?
False
Suppose -34874 - 106192 - 158534 = -14*g. Is 107 a factor of g?
True
Suppose 82290 = 2*h - 15*h. Does 17 divide h/(-75) + 3/5?
True
Let r = 9064 + -2314. Is 18 a factor of r?
True
Suppose 14*p - 6231 = 1301. Suppose 0 = 5*b - 4743 + p. Is 65 a factor of b?
False
Let b(q) = -5 + 1455*q - 8*q**3 - 5*q**2 - 15*q**3 - 1473*q. Is b(-2) a multiple of 15?
True
Let a(l) = 2*l**2 + 6*l + 8*l**2 + 4 + l**3 - 4*l**2. Let b be a(-5). Does 20 divide (41 - 2) + 2 + b?
True
Let x be (-1424)/(-40) + 1 + 6/(-10). Suppose -6*l + 3*l = -x. Is l/(-9)*615/(-10) a multiple of 26?
False
Let y = 1 + -48. Let a = y + -171. Let s = -54 - a. Does 37 divide s?
False
Suppose -35 = -2*r - 5*o + 34, -2*r - 4*o + 64 = 0. Let g = r + -20. Suppose -g*q + 0*q = j - 55, 3*q - 2*j = 79. Is q a multiple of 8?
False
Suppose 12*j = 235 - 43. Suppose -22*z + j*z = -144. Is z a multiple of 6?
True
Let v(m) = -118 + 8*m**2 + 31*m + 10*m**2 - m**3 - 134 + 169. Is 29 a factor of v(10)?
False
Suppose -1770459 - 3435346 + 1864845 = -133*o. Does 5 divide o?
True
Let j(d) = 2*d**2 + 77*d + 84. Does 34 divide j(10)?
True
Suppose -3*g = -0*g - 4*f - 53, f = 4*g - 49. Suppose 73 = g*n - 4. Is 2 a factor of n?
False
Let j = 40 + -43. Let d be (4 - (6 - 2)) + j. Is 18 a factor of 4 + 52 + d + 1?
True
Let n(g) = g**3 + 6*g**2 + 2*g - 15. Let j be n(-4). Is ((5 + -35)/(-3))/(1/j) a multiple of 6?
True
Suppose -3*p + 16 = -5. Suppose 0 = p*r - 78 - 342. Is r a multiple of 4?
True
Let b = 88 + -18. Let t = b - 66. Is 3 a factor of 2/(t/(-3))*(-16 - -2)?
True
Let h(y) = 12*y**3 + 4*y**2 + 2*y - 1. Let l be h(-1). Is 9 a factor of 30/4*(-66)/l?
True
Let s = -6 - -2. Suppose 2*a + 81 = 53. Does 8 divide s/(-14) - 444/a?
True
Let k(b) = 162*b - 202. Is 22 a factor of k(32)?
False
Suppose 115761 - 39771 = 5*a. Is a a multiple of 51?
True
Suppose 18556 = 4*y - 2*u, 0*y = -y + 4*u + 4625. Suppose -23*h + y = 1329. Does 18 divide h?
True
Let u be -3*13 - (0 - -15)/5. Is 2855/14 + (-3)/u a multiple of 7?
False
Suppose -11 = 15*j - 26*j. Let b be (0/j)/(4/6*3). Suppose 2*a + 4*k = 66, b = -5*a + 6*a - 5*k - 5. Is a a multiple of 12?
False
Let k(q) = q**3 - 21*q**2 - 47*q + 21. Let y be k(23). Is 4 a factor of (-1190)/(-49) + y/7?
True
Let q be 1/((-5)/(-10) + 0/2). Suppose q*i = b + 72, i + 108 = 4*i + 3*b. Is i a multiple of 18?
True
Suppose 0 = r + 2*l - 9, 0 = r + 4*r + 5*l - 30. Suppose -a - 2 = -r*a + n, -4*a + 5*n = 2. Suppose 5*k = -a*c + 192, 2*k = 4*c + 43 + 53. Does 7 divide k?
False
Does 14 divide 18/((-2)/16*(-444)/9361)?
False
Let a(n) = -n**2 - 23*n + 255. Let z(x) = -x + 1. Let r(m) = -a(m) - 4*z(m). Does 9 divide r(-39)?
False
Let s be (2 - 1)/(1*-1). Suppose -5*a - 5*w = -5, -4*w = -4*a + 18 + 2. Is 52 a factor of (-2*100)/s - a?
False
Let u be ((-2)/(-5))/((-5)/(-250)). Let m be (u/(-35))/(4/(-14)). Suppose -m*s + 120 = -11*h + 6*h, h + 167 = 3*s. Is 6 a factor of s?
False
Let m(a) = 22*a + 187. Let b(s) = 7*s + 63. Let x(u) = 11*b(u) - 4*m(u). Is x(-13) a multiple of 22?
True
Suppose 0*l + 84 = 3*l + 3*j, l - 36 = -3*j. Suppose -17*h + 21*h - l = 0. Suppose h*r - 825 = -105. Is r a multiple of 30?
True
Suppose 5639 = 3*k + 2*y, 4*k - 1674 - 5854 = 2*y. Suppose 0 = -9*m + k + 5535. Does 103 divide m?
True
Is 9 a factor of (9 - 110/((-33)/(-3))) + 0 + 1936?
True
Suppose 93*g + 382*g - 12684672 = -29*g. Is g a multiple of 208?
True
Suppose 2*u = 10*a - 27874 - 28926, a - 5680 = -u. Is 16 a factor of a?
True
Suppose 0 = 5*q - 4*k - 204, 2*q - 13*k = -8*k + 85. Let t(u) = -u**2 + 46*u + 200. Is t(q) a multiple of 11?
True
Let w(x) = -5*x + 6. Let i be w(1). Does 8 divide 240/45*(16 - i)?
True
Let z(t) = -5*t - 88. Let l be z(-21). Suppose 3792 = l*q - 5*q. Does 21 divide q?
False
Let c = 7958 - 7056. Is c even?
True
Let a be (37281/(-119) - 2/(-7))*-1. Let i = a + -111. Is i a multiple of 24?
False
Let l(r) = -16*r**3 + 9*r**2 + 17*r + 72. Is l(-8) a multiple of 64?
True
Let g be (6 - 3 - 3)/3. Suppose k + 4*r - 273 = g, 2*k + 5*r - 552 = -0*k. Is 10 a factor of k?
False
Let z(f) = 66*f + 33. Let k be z(14). Let b = k + -268. Is b a multiple of 11?
False
Suppose 4*z + 8190 = -z + 5*d, -2*z - d = 3285. Let m = z + 2401. Is 38 a factor of m?
True
Let s(v) = -6*v + 11. Let l be s(-2). Suppose 0 = -3*i - 3*f + 126, 3*f - l = -5*i + 179. Does 15 divide i?
False
Let i be (-19 + (-1995)/(-9))*(1 + (-15)/6). Let y = 70 - 205. Let d = y - i. Is d a multiple of 38?
False
Let s(i) be the third derivative of -5/24*i**4 + 15*i**2 - 13/6*i**3 + 0*i + 0. Does 4 divide s(-7)?
False
Suppose 5640 + 288