 = -2*h + 40. Is 10 a factor of j?
False
Let t(u) = -29*u + 18. Let f be t(5). Let c = 248 + f. Does 19 divide c?
False
Does 15 divide (-3*25)/((-35)/30 - -1)?
True
Let l(v) = -29*v + 24. Let b(k) = -19*k + 16. Let f(p) = -8*b(p) + 5*l(p). Is f(5) a multiple of 18?
False
Let w = -12 - -16. Suppose -3*s - 5*h = -28, s + 5*h - w = 2*s. Let j(a) = 7*a - 5. Does 11 divide j(s)?
False
Let q(p) = -p**3 - 14*p**2 + 32*p + 3. Does 3 divide q(-16)?
True
Suppose -15*m + 3480 = -10*m + 5*i, 2*m - 4*i - 1374 = 0. Is 63 a factor of m?
True
Does 7 divide (-9)/15 + (-1)/(25/(-5790))?
True
Is 0 - (-35)/(-5)*-4 a multiple of 3?
False
Let q = 13 - 11. Suppose q*k - 186 = -k. Let u = k - 34. Is u a multiple of 11?
False
Suppose 5*f = -0*r - 2*r + 1647, -4*r - 4*f = -3324. Is r a multiple of 19?
True
Let j(q) = 2*q - 16. Let k be j(15). Suppose 0 = 12*c - k*c + 176. Is 44 a factor of c?
True
Let w = -932 + 2252. Does 22 divide w?
True
Suppose -5*p + 21 = -g, -3*g - 2*g + 30 = 2*p. Suppose 4*z - 3 - p = 0. Suppose -z*n + 113 - 5 = 0. Is 17 a factor of n?
False
Suppose 0 = 2*c + 4, 2*z = -2*z - 4*c + 44. Does 3 divide z?
False
Let r = 285 + -250. Is r a multiple of 5?
True
Is 124 + 9/((-45)/25) a multiple of 3?
False
Suppose -2*j - 6 = -t, -26 = 4*j - 0*j + 5*t. Is 18 a factor of (14/j)/((-2)/20)?
False
Let z(j) = -10*j - 30. Suppose -3*h + 20 = -4*v + 78, 50 = -5*h - 5*v. Does 28 divide z(h)?
False
Let u be ((-25)/(-10))/((-1)/(-4)). Let n(y) = -y**2 + 7*y - 14. Let o be n(u). Is 22 a factor of (-4 - -10)*o/(-3)?
True
Suppose -4*m + 15 = -5. Let a = 0 + m. Suppose 0*h = a*h - 220. Does 22 divide h?
True
Let l be (6/7)/(8/112). Suppose -3*s = -5*i - 11 + 2, 0 = -4*s - 4*i + l. Suppose -s*x = 3*r - 126, -133 + 34 = -2*r + 3*x. Is 15 a factor of r?
True
Let b be (1/3*4)/((-36)/(-81)). Let n = b - -8. Is 2 a factor of n?
False
Suppose -2*z - 3*o = 91, 2*z + 4*o + 94 = 2*o. Let p be ((-60)/z)/((-6)/(-980)). Suppose -4*w + 52 = -p. Is w a multiple of 9?
False
Suppose 5*n = 3*n. Let a(b) = b + 5. Let g be a(n). Let x(p) = -p**2 + 5*p + 7. Does 7 divide x(g)?
True
Suppose -45 = 5*g + 65. Let w(o) = o**3 + 22*o**2 + 26. Does 13 divide w(g)?
True
Let l = 1 + 2. Suppose -3*c - 5*h = -2*c + 5, 5*h + 5 = -l*c. Suppose 6*a - 2*a - 64 = c. Is 5 a factor of a?
False
Let m be 1/(2/120*3). Suppose -3*o - 2*o - m = 0. Is (o/4)/(2/(-18)) a multiple of 9?
True
Suppose 2*x - 360 = 16. Let j = -119 + x. Is 8 a factor of j?
False
Let o(m) = -6*m + 14. Let t be o(-6). Suppose -t - 14 = -w. Suppose d + 22 - w = 0. Is 14 a factor of d?
True
Suppose 6*z = 10192 - 3502. Does 28 divide z?
False
Let h be 0 + 8 + 12/4*-1. Suppose 2*w - 170 = -5*y, h*y - 4*w = 243 - 73. Is y a multiple of 17?
True
Let w = -118 - -301. Does 20 divide w?
False
Let y(d) = 0 + 5 - 13*d - 1. Let f be y(2). Let w = f - -36. Does 4 divide w?
False
Let u(s) = 580*s - 106. Does 8 divide u(3)?
False
Suppose 5*b - 13 = 37. Suppose -130 - b = -2*h. Is 8 a factor of h?
False
Let t = -17 - -458. Is t a multiple of 21?
True
Does 13 divide ((-19968)/96)/(1/(-14))?
True
Suppose -y + 0*y - 8 = -5*f, -4*f = 4*y - 16. Suppose -v + f*v - 12 = 0. Suppose -2*g - v = -44. Is g a multiple of 3?
False
Suppose 40 = -5*t - 10. Does 11 divide ((-4)/(-10))/(t/(-1100))?
True
Suppose 9*l - 8*l = -3*n + 1268, 5*l = 5*n - 2120. Is n a multiple of 47?
True
Suppose 0 = -38*j + 35*j + 15. Suppose j*t + 5*a - 765 = 0, 4*a = -5*t + 2*a + 765. Is t a multiple of 13?
False
Suppose -3*y + 3*u + 4041 = 0, 5*y - 1903 - 4792 = -3*u. Is y a multiple of 61?
True
Suppose 15*k - 12*k = 1839. Is k a multiple of 21?
False
Let c(i) = -i**3 + 63*i**2 + 29*i - 150. Is 43 a factor of c(63)?
True
Let i(z) = -2*z**3 - 11*z**2 - 29*z + 15. Is 9 a factor of i(-8)?
True
Suppose 0 = 9*j - 5*j + 136. Let g = j + 104. Let v = g + -42. Does 25 divide v?
False
Let l = 209 + -205. Is l a multiple of 4?
True
Is -1*(4 + -5) + (-86)/(-2) a multiple of 11?
True
Let n = -16 - -21. Let l(y) = -y**2 - 2*y + 6. Let d(a) = -3*a**2 - 5*a + 12. Let h(f) = n*l(f) - 2*d(f). Is 13 a factor of h(6)?
False
Suppose t - 5*r - 713 = 0, -17*r = 3*t - 12*r - 2199. Is t a multiple of 39?
False
Let r(w) = -w**2 + 10*w + 2. Let x be r(10). Suppose 12 = 3*y, -x*j + 2*y = 6*y - 10. Is 4 a factor of (-1 - j) + (-2)/(-1)?
True
Suppose 5*p = -4*l + 2224, -4*p + 1331 = -p - l. Does 10 divide p?
False
Does 14 divide 28/1 - (-105)/15?
False
Let u(c) = c**2 + 50*c + 124. Is u(-52) a multiple of 12?
True
Let n be (3/(-9))/(2/(-12)). Suppose n*h - 74 - 96 = 0. Suppose -4*b = -3*r - 9 - 104, 3*b - h = 2*r. Is 14 a factor of b?
False
Suppose -27*f - 1890 = -8478. Is f a multiple of 53?
False
Suppose 3*u - 2*j - 200 = 0, -u - 4*u - 4*j = -304. Suppose -d - u = -121. Is 19 a factor of d?
True
Let r(v) = -v**3 - v**2 - 4*v - 127. Let t be r(0). Let s = t + 491. Is s a multiple of 52?
True
Suppose x - 2*h + 2 = 0, 5*h - 9 = 4*x + 8. Let w(b) = -b**3 - 10*b**2 - 3*b - 8. Let c be w(x). Let l = c + 181. Does 16 divide l?
False
Suppose 0 = v - 6*v + 2*t - 41, -16 = 2*v - t. Let g be (24/v)/((-4)/6). Suppose 0 = -4*f + g*p + 232, -p = -4*f - 0*p + 241. Is f a multiple of 18?
False
Suppose 2*b + 8 = -28. Does 11 divide (-1692)/b + (-1 - -1)?
False
Is 30 a factor of ((-428)/3)/(-3 + (-85)/(-30))?
False
Suppose -56*c + 27517 + 24227 = 0. Is c a multiple of 21?
True
Let w(g) = g**3 + 9*g**2 - 10*g. Let v be w(-10). Suppose v*i = -i + 58. Let x = -32 + i. Does 26 divide x?
True
Suppose 6*o - 3 = 3*o. Does 11 divide -3 - (2 + o*-51)?
False
Let g = -6 + 9. Let d(k) = k**2 + 7*k + 10. Let s(i) = i + 1. Let n(q) = 3*d(q) - 24*s(q). Does 12 divide n(g)?
True
Let x(c) = -c**2 + 30*c - 24. Let k be x(19). Suppose 0*m - 4*g = -2*m + 88, -5*m + 3*g = -k. Is m a multiple of 17?
True
Suppose -2990 - 7288 = -9*v. Is v a multiple of 36?
False
Let z(i) = -i + 124. Is z(-30) a multiple of 22?
True
Suppose -4*i + 6 = -i. Let k(s) = -14*s**2 + s + 3. Let y(a) = 29*a**2 - 2*a - 7. Let j(n) = -9*k(n) - 4*y(n). Is j(i) a multiple of 13?
True
Suppose 5*j + 2 = -23, 2*j - 260 = -2*d. Suppose -2*a + 537 = -d. Is a a multiple of 59?
False
Suppose 0 = 3*a + 78*y - 77*y - 2459, -3*a + 2453 = -2*y. Is 21 a factor of a?
True
Suppose -f - 12 = -5*n, 14 = 2*n + 3*n - 2*f. Suppose 3*l - 22 = -2*a, 3*a - n*l - 33 = -0*a. Does 11 divide a?
True
Does 3 divide 256/896 - 481/(-7)?
True
Let k = -303 - -473. Suppose d - 4 = -d, 0 = -4*l - d + k. Is l a multiple of 7?
True
Suppose 1455*a - 1182 = 1452*a. Is 7 a factor of a?
False
Let p(l) = -9 + l - 3*l - 1 + 3*l. Is 2 a factor of p(16)?
True
Suppose 2*b + 8*d - 1572 = 4*d, -3*b - 5*d + 2362 = 0. Is 13 a factor of b?
False
Let i(g) = g**3 - 9*g**2 + 14*g + 9. Let s be i(7). Let n = s - 13. Is (-4)/(n/15) - -2 a multiple of 11?
False
Let u(r) = 5*r**2 - 9*r + 2. Is 23 a factor of u(-5)?
False
Suppose -1122 = -53*k + 47*k. Does 17 divide k?
True
Let b be (-65)/(-10) + 9/(-6). Is 6 a factor of ((-6)/b)/((-10)/175)?
False
Suppose 505 = -9*v + 10*v - 3*h, v = 4*h + 509. Is 6 a factor of v?
False
Let q(l) = -8*l**3 + 2*l**2 - l. Let k be q(1). Let s = -12 - k. Let o = s - -25. Is 10 a factor of o?
True
Suppose 0 = -4*j + a - 188 + 893, 0 = 3*j - 4*a - 532. Let o = j - 86. Is o a multiple of 9?
True
Suppose -5*w + 2*w = -264. Let g = w + -126. Let k = -12 - g. Is k a multiple of 12?
False
Let s(v) = v**3 - 3*v**2 - 10*v - 1. Let r be s(5). Does 10 divide r + (-1 - -1) - (5 + -118)?
False
Let d(i) = 2*i**2 + 10. Let h be d(-7). Suppose 0 = 8*y - 4*y - h. Is 9 a factor of y?
True
Suppose -265 - 167 = 2*v. Does 9 divide 4/6*v/(-6)?
False
Suppose 7*l = -y + 3*l - 2633, y - 2*l = -2657. Is 17 a factor of y/(-54)*3 - 1/6?
False
Is (-87)/203 + (-44004)/(-21) a multiple of 90?
False
Let v(u) = -21*u - 108. Is 8 a factor of v(-6)?
False
Let p(t) be the first derivative of t**3/3 + 15*t - 18. Is 15 a factor of p(0)?
True
Let q(v) = 6*v + 14. Let w(a) = -a**3 + 10*a**2 + 13*a - 8. Let h be w(11). Suppose 3*s = 4 + h. Does 14 divide q(s)?
False
Let x = 1924 - 1049. Is x a multiple of 7?
True
Suppose -14*l = -10166 + 1234. Is l a multiple of 18?
False
Let o(s) be the second derivative of s**3/6 + 7*s**2/2 + s. Let f be o(-5). Suppose 3*w = -f*a - 2*w + 53, -3*a + 132 = -3*w. Is a a multiple of 31?
False
Let z = -546 - -1662. Is 2