340. Is g a multiple of 18?
True
Let l = 125 + -121. Suppose -2*d - d + 4*b = -83, -4*b - 104 = -l*d. Is d a multiple of 3?
True
Does 6 divide 3 + (-15)/(-5) - (6 - 11350)?
False
Let h = 6201 + -4689. Is h a multiple of 27?
True
Suppose -943556 = -42*x - 226745 + 527061. Does 22 divide x?
False
Let x = -62 + 64. Suppose -3*n - 2*s + 8 = 0, -2*n - x*s - 2*s = 0. Suppose 0 = n*r + 51 - 527. Is 21 a factor of r?
False
Let r(j) be the first derivative of -j**4/4 - 5*j**3/3 - 9*j**2/2 - 9*j - 9. Let m = -1 + -5. Is 34 a factor of r(m)?
False
Let v(x) = 12*x**2 - 24*x + 36. Let p(t) = -1. Let n(m) = 6*p(m) + v(m). Is 11 a factor of n(10)?
True
Suppose 2*t = 4*t + 8, -2*i + t = -54. Suppose 0 = 2*o + 2*o - h - i, -16 = -4*o + 4*h. Suppose o*s + 96 = 579. Is s a multiple of 23?
True
Suppose -689*l + 201*l + 7768106 = -11246326. Does 102 divide l?
True
Let h(d) = d**2 + 10*d + 19. Let v be h(-8). Suppose -g = v - 6. Is 15 a factor of (172/(-8) + g)*-6?
False
Suppose -3*q + 2533 + 6114 + 173 = 0. Is q a multiple of 28?
True
Let x = -368 + 370. Is 37 a factor of x - ((-3)/6 + 3349/(-2))?
False
Let g be (-4 + 117/(-9))/(1/(-27)). Let v = g - 123. Is 7 a factor of v?
True
Let p = -14 - -12. Let d be (1 - (p + 5))*45/(-2). Suppose 0*l - 3*l = -d. Is 15 a factor of l?
True
Let g be (3 - -2 - 1) + -2. Let l be 50/((5/30)/(g/(-6))). Let t = l - -243. Is 13 a factor of t?
True
Is 53 a factor of 2/(-10)*(-50)/(-3)*9948/(-5)?
False
Let g(x) = -3*x**3 - 11*x**2 - 2*x + 7. Let j be g(-3). Is 7 a factor of (-437)/j - (-15)/25?
False
Suppose 6 = 12*c - 6. Let p(o) = 3*o**3 + o**2 - o. Let g be p(c). Let a = 16 - g. Does 3 divide a?
False
Let p(z) = -z**3 - 5*z**2 + 2*z + 12. Let d be p(-6). Let b = -41 + d. Does 13 divide 147 - ((b - -2) + (6 - 6))?
False
Suppose 0 = g - 3*c + 9, -4*g - g + 2*c - 6 = 0. Suppose -2*m + 35 + 211 = g. Suppose -99 = -2*z + m. Is z a multiple of 10?
False
Suppose 27*w - 78 = 21*w. Suppose w*h - 25 = 1054. Is 55 a factor of h?
False
Suppose -4 = -2*d + 2. Suppose 2 = -d*h + 5, 0 = -2*j + 4*h + 6. Suppose 0 = 3*k - 5*k - 2*g + 40, j*g - 34 = -2*k. Does 5 divide k?
False
Let u(a) = a**3 + 9*a**2 + 4. Let h be u(-7). Let y = h - 96. Suppose 5*v + 25 = -q + 189, 0 = -3*v - y. Is q a multiple of 9?
False
Suppose 5*a + 2*j = 1761 + 27567, -3*j = a - 5863. Is a a multiple of 57?
False
Suppose 0 = -32*p + 28*p + 12. Suppose p*y - 5*l + l - 415 = 0, 135 = y - 3*l. Suppose -3*j - y = -375. Is j a multiple of 13?
True
Let y = -3 + 55. Let f = y - 49. Suppose a = -f*a - 4*t + 300, 2*a - 3*t = 145. Does 6 divide a?
False
Suppose 6*o + 4*o = 90. Let m(n) = n**2 - 15*n + 17. Let w be m(o). Let x = 53 + w. Does 16 divide x?
True
Let k = 8 - -169. Suppose -35 = -178*h + k*h. Does 9 divide h?
False
Let a(q) = q**3 - 6*q**2 - 8*q + 14. Let x be (2/(2/9))/((-8)/(-24)). Suppose 62 - x = 5*n. Does 6 divide a(n)?
False
Suppose 5*q - 8728 = -3*t, 41*q + 1744 = 42*q + t. Does 19 divide q?
True
Suppose 45*b = 32 + 58. Suppose 2*f = -b*v + 1674, 2*f - 5*v + 3*v - 1686 = 0. Is f a multiple of 70?
True
Let o(d) = -29*d - 60. Let c be o(-12). Suppose 0 = -5*w + p + 372, 4*w - p = 3*p + c. Does 15 divide w?
True
Suppose -4*h + 54*i = 55*i - 52316, -2*h - i = -26156. Is h a multiple of 8?
True
Let t = 12546 - 6795. Is 9 a factor of t?
True
Is -168*(18/(-5))/(896/640) a multiple of 48?
True
Suppose 2*o = -3*b + 5*o - 30, -3*b = -o + 36. Let z(k) = k**2 + 11*k - 26. Let m be z(b). Suppose m = -2*v + 15*v - 572. Does 4 divide v?
True
Let p(z) = -z**2 - 115*z + 52*z + 56*z + 2. Let g be p(-7). Suppose 126 + 146 = g*a. Does 24 divide a?
False
Let j = 2520 + -120. Let b be ((-1)/(-2))/(10/j). Does 3 divide (b/(-9) - -2)*-3?
False
Suppose 1418396 = 291*g - 8*g. Is g a multiple of 79?
False
Let g = 16129 - 9434. Is 5 a factor of g?
True
Is 12 a factor of 6 - (-10*4/8 - 1213)?
True
Let n(k) = -k**2 + 58*k + 882. Does 13 divide n(66)?
False
Suppose 21*r + 29 = 323. Suppose -r*h + 13*h = -90. Is 5 a factor of h?
True
Let h be 408 - (3 - 5)*(-9)/6. Let g = h + -289. Does 7 divide g?
False
Let b be -5 + (-6 - 0) + -52. Let t be (-1 + -30)*1*-5. Let w = t + b. Is 23 a factor of w?
True
Let h = 3 + 4. Let u be (-119)/(-1) + (-21)/h. Suppose 0 = -3*n + u - 2. Is 10 a factor of n?
False
Suppose 2*l = 4*c - 178, 2*l - 4*l + 151 = 3*c. Let s be 34/10 - 9/(-15). Suppose -2*o - 3*q = -0*q - c, 20 = s*q. Does 2 divide o?
True
Let d be 602/8 - (-6)/8. Let t = -74 + d. Suppose -t*g - b = -28, 5*b = -g - 4*g + 60. Is 2 a factor of g?
True
Let w = -304 + 309. Suppose 2 = -2*v - 2, -z + 391 = -w*v. Is 12 a factor of z?
False
Let h be 117/(-26)*(-4)/(-6). Let z be ((-9)/(-4) - -1) + h/12. Suppose 3*i = -z*y + 48, 4*i = 5*y - 27 - 17. Does 6 divide y?
True
Suppose -2*g - g + 4 = -4*x, -28 = 5*g + 2*x. Let l be (-2)/(8/36) + g. Let v(z) = -z**3 - 11*z**2 + 24*z - 14. Is v(l) a multiple of 7?
False
Let t be (-13)/(78/126)*(-2)/(-6). Suppose 5*n = 8*n - 12. Does 4 divide 6/t*(-84)/n?
False
Is (-1725)/46*21996/(-45) a multiple of 66?
False
Let s(v) = 826*v + 1932. Is 86 a factor of s(11)?
False
Suppose 3*w + 3*l - 30 = 0, 0 = -4*w + l + 9 + 6. Suppose 0 = w*x - 9*x. Does 7 divide 68 + x/((-3)/(-3))?
False
Does 17 divide (99/66)/(((-9)/(-42108))/1)?
False
Let i = 17662 - 12116. Is i a multiple of 59?
True
Suppose 87 = -3*j - 3*i, -5*i + 49 = -4*j - 58. Let x(z) = -z**2 - 36*z - 115. Is x(j) a multiple of 29?
False
Let k be (60/16 + -2)*(-399 + -5). Is (-15)/(2/3 + k/966) a multiple of 21?
False
Let z = -153 + 225. Suppose -5*s + 4*s + z = 0. Is s a multiple of 12?
True
Suppose -4*n - x + 5341 = 0, -45*n + 40*n = -5*x - 6645. Is n a multiple of 23?
True
Suppose 15358 = 77*s - 7742. Is s a multiple of 50?
True
Suppose 260 = -12*s + 17*s. Suppose 0 = -14*p + p + s. Suppose -a + 5*a = -p*n + 456, 2*a - 228 = -4*n. Is a a multiple of 10?
False
Let q = 28591 + -6919. Is 24 a factor of q?
True
Let i = -212 + 198. Is (-5456)/i - 4*5/(-70) a multiple of 13?
True
Let o(y) = 13*y**2 + 24*y + 528. Is o(-17) a multiple of 11?
False
Suppose 2632*g - 52290 = 2625*g. Does 18 divide g?
True
Let i = -481 + 485. Let m(g) = 64*g - 74. Does 26 divide m(i)?
True
Let p(w) = -2*w**3 + 48*w**2 - 53*w + 30. Let y be 22 - (2/(-12) - (-19)/114). Is 24 a factor of p(y)?
False
Suppose 5*j - m - 115921 = 0, 63*j + 2*m = 68*j - 115927. Is 39 a factor of j?
False
Let r(n) = -3*n**2 - 2*n - 466. Let f(w) = w**2 + 2. Let k(d) = -2*f(d) - r(d). Does 14 divide k(0)?
True
Suppose -829043 = -27*f - 39*f - 61793. Is f a multiple of 15?
True
Let o be (-18)/12*(-3 - 14/6). Let f = o - 8. Suppose f*u = -6*u + 438. Is 7 a factor of u?
False
Let r be (-1119)/(-9) + 11 + (-1)/3. Suppose 7*i + r = 3488. Does 31 divide i?
False
Let f(a) be the first derivative of 2*a**2 - 4*a - 5. Let m be f(11). Suppose -g + 0*y + 34 = 3*y, 0 = -g + 3*y + m. Is g a multiple of 3?
False
Let f be (-15)/3 - (-16 + 0). Suppose 2806 + 2826 = f*r. Is r a multiple of 40?
False
Let g(v) = -4*v**2 + 7*v**2 + 12*v**2 + 11*v**2 - 6*v**2 + 2. Suppose -2*p - 19 - 12 = 5*m, 2*p - 2*m - 4 = 0. Is g(p) a multiple of 14?
True
Suppose 2*p - 3*x - 6 = 0, 4*p - 7 = 5*x + 1. Let a(b) = 54*b - 41. Let t(u) = -36*u + 27. Let c(g) = 5*a(g) + 8*t(g). Is 15 a factor of c(p)?
False
Let r = 4038 + 1783. Does 112 divide r?
False
Suppose 19524 = 6266*y - 6254*y. Is 20 a factor of y?
False
Suppose 4*b = 5*m - 20, m = -b - 0 + 4. Suppose -3*z + t - 347 = -1794, m*t = -4*z + 1956. Is z a multiple of 13?
False
Suppose -86*x = -84*x - 154. Let j = 81 - x. Suppose -j*k + l + 157 = 2*l, -5*k - 4*l + 188 = 0. Is 13 a factor of k?
False
Let u(g) = -23*g - 12. Let v(c) = -91*c - 48. Let b(t) = -9*u(t) + 2*v(t). Is 13 a factor of b(1)?
False
Is 15 a factor of ((-13704)/(-20))/(240/(-375) - (-4)/6)?
True
Suppose -10*i + 25*i = 135. Let u(j) = j**3 - 5*j**2 + 12*j - 31. Is 13 a factor of u(i)?
False
Let d(f) = f**2 - 21*f - 86. Let s be d(22). Is 8 a factor of ((-144)/(-2))/((-16)/s)?
True
Let h = 5391 + -1712. Is h a multiple of 13?
True
Let y(j) = -j + 19. Let m be y(-6). Let s(c) = -m - 41*c**2 + 40*c**2 - 10*c - 4*c. Is 3 a factor of s(-11)?
False
Let q(h) = 2*h**2 + 2*h + 2. Let s = 29 + -31. Let j be q(s). Is 7 a factor of j/(-10) + 712/20?
True
Let p(k) = 639*k**2 + 6*k - 43. Let o be p(5). Does 5