-2*k + 4*l + 8. Suppose 3*g + 0*g + k*q - 658 = 0, -234 = -g - 5*q. Does 43 divide g?
False
Let q(s) = 6*s**2 + 2*s. Let c be q(-1). Let j be 0/((c - 3)*(-2 + 0)). Does 2 divide j + 5 + (-12)/(-6)?
False
Let p(j) = -j**3 - 7*j**2 + 3*j. Let g(n) = -4*n + 17. Let b be g(10). Let o = b - -15. Is p(o) a multiple of 4?
True
Is 6 a factor of (1 - (-1 - -7))*((-158508)/(-30))/(-17)?
True
Suppose 4*j + 0*y - 2*y = 672, 0 = 3*j - 4*y - 514. Let v = j + -152. Is v a multiple of 12?
False
Suppose -5*d + 19434 = 3*n - 0*n, 3*n = 3*d - 11694. Is d a multiple of 19?
False
Let b(q) = -64*q**3 - q - 1. Let x be b(-2). Suppose -6*g + x = -39. Does 23 divide g?
True
Let j be (-238)/14 - 10/(-2). Let u be -2 - (-6)/j*(1 + -1). Let v(t) = -98*t - 6. Is v(u) a multiple of 20?
False
Let u = -30 - 549. Let h = 1014 + u. Does 27 divide h?
False
Suppose 9*q - 5 = -14. Is 12 a factor of (-952)/(-3 + q) + 7?
False
Let j(u) = 18*u**2 - 160*u + 4974. Is j(41) a multiple of 16?
True
Let d = -296 + 113. Let q = d + 125. Let m = 114 + q. Is m a multiple of 10?
False
Let u(t) be the second derivative of -1/20*t**5 - 11*t + 0 + 0*t**4 - 1/3*t**3 + 2*t**2. Is u(-3) a multiple of 24?
False
Let u(g) = 2*g**2 + 47*g + 26. Let v be u(-23). Suppose 3*w - 5*w = 5*m - 12143, m = -v*w + 2426. Suppose 13*c - m + 557 = 0. Does 12 divide c?
True
Let v(x) be the second derivative of 19*x**6/360 - x**5/120 + x**4/4 - 16*x**3/3 + 36*x. Let i(j) be the second derivative of v(j). Does 7 divide i(-2)?
True
Let o(z) = 177*z**2 - 29*z + 12. Is 3 a factor of o(2)?
False
Let i be -2 - -7 - (-4 - 1). Suppose 0 = 9*s - i*s. Suppose -29 = -o + j, s*o = 5*o + 4*j - 172. Is 7 a factor of o?
False
Let c(g) = g**3 - 36*g**2 + 66*g - 202. Is 19 a factor of c(36)?
False
Let u(r) = 8*r + 17. Let f be u(4). Let h = f + -46. Suppose -h*a + 120 + 222 = 0. Is a a multiple of 12?
False
Suppose -4*y - 12 = 0, 2*k = 2*y + 62 - 10. Does 20 divide (2 + k)*18/(-30)*-19?
False
Let s = 124 + -119. Is 6 a factor of 117 - (0/s + -3)?
True
Let h(y) = -y**3 + 10*y**2 - 10*y + 13. Let c be h(9). Suppose -4*p = 2*x + 2*x - 4, c*p = 4*x - 12. Let o = 13 + x. Does 3 divide o?
True
Suppose -91*v = -45*v - 32*v - 97272. Is 18 a factor of v?
True
Let w = -12524 - -39404. Does 6 divide w?
True
Let t = -319 + 335. Let l(y) = -y**3 + 15*y**2 + 14*y + 50. Is l(t) even?
True
Let f(p) = -p**2 + 6*p + 66. Let h be f(18). Is 13 a factor of ((-1692)/21)/(h/35 + 4)?
False
Let g(z) = 24*z - 5. Let o(t) = 20*t + 22 - 28*t - 87*t - 1. Let u(r) = -9*g(r) - 2*o(r). Does 11 divide u(-2)?
True
Let n(b) = -258*b + 2*b**2 + 10 + 3*b**2 + 272*b + 2. Does 5 divide n(-3)?
True
Suppose 5*t + 64 - 179 = 0. Suppose 3*v - 4*k + 4 = 0, -11 - 1 = -4*v + k. Suppose -t = -m - 4*d, 2*d + 109 = v*m + d. Is m a multiple of 4?
False
Suppose -6*r - 3*m + 47580 = 0, -26*r + m = -25*r - 7933. Does 22 divide r?
False
Let a(n) = 12*n**2 - 20*n - 72. Does 6 divide a(11)?
False
Let f be 0/(-5 - -11) - -6. Suppose -325 = m - f*m. Does 2 divide m?
False
Let u(i) = -i**3 + 22*i**2 - 34*i + 28. Let l be u(13). Suppose -l = 3*h - 5*h - 5*q, -5*h - 2*q + 2736 = 0. Is h a multiple of 13?
True
Let c = -3378 + 4618. Is 62 a factor of c?
True
Suppose -3*y + 17677 = -5*q, -912*q - 29555 = -5*y - 917*q. Is 5 a factor of y?
False
Suppose 21*n - 99 = -372. Let p = 730 + n. Is 21 a factor of p?
False
Suppose -347*d = -274*d - 421356. Is 12 a factor of d?
True
Is 43/(-43)*(-5117 - 4) a multiple of 9?
True
Let u(b) = b**2 - 165. Let i be u(0). Let f = i + 9. Is (-24)/(-30) - f/5 a multiple of 16?
True
Let w(p) = 18 + 7*p - 1 - 2*p. Let z be -4 - (-21)/7 - 12/(-2). Is 21 a factor of w(z)?
True
Suppose z + 49 - 203 = 0. Is 77 a factor of (z/3)/(4/48)?
True
Suppose -4*p = -4, -4*p = -0*m - 2*m + 2. Suppose -106*r - 104 = -107*r. Suppose -2*h = -m*h + r. Is h a multiple of 26?
True
Suppose 28694 + 4306 = -12*h. Does 25 divide h*2*4/(-16)*1?
True
Let k = -471 + 1659. Suppose -2*h + 5*h = k. Is 44 a factor of h?
True
Let s be 3/(15/(-10)) - -1. Let m be (-9)/(-15)*60/(-4)*s. Does 11 divide -6*((-102)/m - (-6)/18)?
True
Let v(l) be the first derivative of -17*l**2 + 20*l - 16. Let j be v(-5). Suppose 0 = 2*k - 0*k - j. Does 22 divide k?
False
Let f be (-1)/(6/128) - 10/15. Let j(w) = -18*w + 154. Is j(f) a multiple of 25?
True
Suppose 5*g + 2*j = -2*j + 30330, 5*j + 18235 = 3*g. Is 10 a factor of g?
True
Let o be ((-42)/4)/(3/(-4)). Let g(s) = -s**3 - 14*s**2 + 14*s - 19. Let f(l) = 6*l**3 + 70*l**2 - 70*l + 104. Let m(q) = 2*f(q) + 11*g(q). Does 39 divide m(o)?
True
Let g(a) = 1095*a + 618. Does 13 divide g(15)?
True
Suppose -5*f - 30*a = -26*a - 222494, -7*f - 5*a + 311491 = 0. Is 96 a factor of f?
False
Let v(g) = -618*g - 6069. Is 7 a factor of v(-10)?
False
Suppose 2*s - 3 - 1 = 0. Suppose -4*t - 5*o = -205, -4*t - s*o + 202 = -0*t. Suppose -720 = 45*u - t*u. Is 13 a factor of u?
False
Let l(f) = -2*f**2 + 23*f - 30. Let a be l(10). Suppose a = 3*k - 1003 + 415. Is 14 a factor of k?
True
Let h be (-1266)/30 - (1 + 18/(-15)). Let o = h + 3. Let f = 48 + o. Does 2 divide f?
False
Let t = 36848 + 40215. Is 139 a factor of t?
False
Does 32 divide ((-2160)/225)/((-6)/11600)?
True
Let b be -22*(-2)/12*(-10 + 7). Let v = -7 - b. Suppose t = -2*t + v*d + 298, -3*t - 4*d = -314. Does 45 divide t?
False
Let y(z) = 2*z**2 - 6*z + 3. Let r be y(5). Suppose 0 = 3*m - 4*m - j - 3, 0 = m + 5*j + r. Is (4/2)/(m/15) a multiple of 5?
True
Let k = 16540 - 9460. Does 60 divide k?
True
Let u = 15 - 11. Suppose -u*j + 4*y - 4 = 0, -j - 5 = j - y. Is (-19)/(-76) + (-251)/j a multiple of 9?
True
Let d(g) = -13*g**3 + 16*g**2 + 3*g + 27. Does 13 divide d(-8)?
True
Suppose 1066 = 5*r + 4*x, -r + 5*x + 21 = -169. Suppose -119*u + 120*u = r. Is u a multiple of 14?
True
Let p(l) = -2*l + 2*l - l - 4. Let z be p(-8). Suppose x + v - 108 = -z*v, -5*x = -5*v - 480. Is x a multiple of 7?
True
Suppose -4*d - 546 = -11*d. Let g = d - 74. Let m(n) = 29*n + 16. Is 33 a factor of m(g)?
True
Suppose 108*a - 103*a - 3*j = 46132, 0 = -2*a - 5*j + 18428. Is a a multiple of 217?
False
Suppose 36 = 8*u - 4*u. Suppose u*p - 24 - 57 = 0. Suppose 0 = -p*a + 248 + 742. Is 8 a factor of a?
False
Suppose 3*d = -b + 8773, -4*b - 15451 = 2*d - 50513. Is 75 a factor of b?
False
Suppose -j - s = 591, j = -9*s + 12*s - 599. Let v = -146 - j. Is v a multiple of 33?
False
Suppose 6*j - 84 = 336. Suppose -3*m + m = -5*o - j, 3*o = -6. Is 3 a factor of m?
True
Is ((-279)/1395)/((-3)/8105) - 8/6 a multiple of 11?
True
Let b(z) = -766*z + 253. Is b(-5) a multiple of 4?
False
Suppose -w = -6 + 1, -q = w + 204. Let i = q + 652. Does 17 divide i?
False
Suppose -12*n = -15*n - a + 13579, -4*a + 28 = 0. Does 310 divide n?
False
Suppose -103*d + 4252010 = 36*d. Is d a multiple of 115?
True
Let p(l) = 6*l**2 + 80*l - 3629. Is p(32) a multiple of 2?
False
Let x = -15271 - -22579. Does 14 divide x?
True
Let q = 23429 - 15414. Is q a multiple of 35?
True
Suppose -23 = -3*g - 2*m, 2*m = -0 + 2. Let v = -2 + g. Suppose 0 = 6*s - v*s - 7. Is s a multiple of 3?
False
Let b be -26*(-2 - (1 - 25/10)). Is 18 a factor of 126/(-15)*(b - 78)?
False
Let l(c) = -1 - 22 + 13 - 14 - 28 + 310*c. Does 14 divide l(5)?
True
Suppose 3*r - 2*b = 7*r - 52574, -3*r = -5*b - 39424. Is r a multiple of 39?
True
Let y = -4684 + 16223. Is y a multiple of 123?
False
Suppose -3*x + 531 + 699 = 0. Let s = x + -248. Suppose 0 = -5*p + 832 - s. Does 14 divide p?
False
Let t = -401 - -387. Is (t - -10)/2*(-93)/2 a multiple of 3?
True
Suppose -4*w + 18*k = 21*k - 113007, -2*k = -3*w + 84768. Is 39 a factor of w?
False
Is (-91)/(13/(-1)) + 873 a multiple of 44?
True
Suppose 0 = -5*f + p + 107860, -5*p + 107860 = 52*f - 47*f. Is f a multiple of 27?
False
Let a be (-2 - -2) + 2 - (-12)/2. Let y = a - -209. Is y a multiple of 31?
True
Suppose -y + 0*y = -3, -x + 2*y = -769. Let p(u) = -1 - 769*u + 15*u**2 - 4 + x*u. Is p(3) a multiple of 17?
False
Let v(h) be the second derivative of h**4/12 - 7*h**3/2 + 14*h**2 - 5*h + 39. Is v(-19) a multiple of 8?
False
Let o be (-54)/(-2) - 4*18/(-24). Let p = 9 - o. Let s = 31 + p. Does 3 divide s?
False
Let f(u) = -u**2 - 7*u - 8. Let p be f(-7). Let a be 0 + 1 + p + 10 - 56. Is 9 a factor of (-1 + a)/(-1*(6 + -5))?
True
Suppose -9*w = -327 + 354. Let