Does 30 divide j?
True
Suppose 0 = -w + 3*t + 537, 5*t - 2745 = 62*w - 67*w. Is w a multiple of 13?
True
Let n(v) = -v + 15. Let a = 67 + -46. Let r be n(a). Does 35 divide 226 - 1/((-12)/(-8))*r?
False
Suppose -172 = 12*r - 14*r. Suppose -2*l + r + 81 = 5*y, 177 = 2*l + 3*y. Suppose 5*g = -g + l. Is 4 a factor of g?
True
Let n(t) = 21*t - 273. Suppose 0 = 4*j - i - 68, -3*j - i - 3*i + 32 = 0. Does 3 divide n(j)?
True
Let z = 1508 - 165. Is z a multiple of 10?
False
Let l(q) = 3*q**3 - q**2 - q - 8. Let r(a) = -2*a**3 + a**2 + a + 4. Let j(n) = -3*l(n) - 5*r(n). Is j(0) a multiple of 4?
True
Let q(f) = -f**2 - 7*f - 9. Let p be q(-4). Suppose -p*d + 67 + 19 = -5*l, 4*l + 58 = -3*d. Is 9 a factor of (-5)/(-4) + (-412)/l?
True
Suppose -2*v = -7*i + 3*i + 6, -25 = -5*v. Suppose -3*d + 24 = -2*d + i*u, 5*d = -3*u + 35. Suppose -4*b + d*y = -92, 2*b + 3*y - 99 = -b. Is 14 a factor of b?
True
Let p(j) = j + j**2 - 4*j - j - 3 + 7*j. Let c = -18 - -13. Does 7 divide p(c)?
True
Let h = -304 + 301. Is (h + -1211)/(5 - (6 - -1)) a multiple of 56?
False
Does 14 divide (-4)/30*-6 - (-2)/(10/5831)?
False
Suppose -2*i + 82 + 102 = 0. Let q = -107 + i. Is (-7 + -4)*1*q a multiple of 15?
True
Let x(g) = 9*g + 38. Let a = 1 - -24. Let q be x(a). Suppose -562 = -5*o + q. Does 33 divide o?
True
Suppose 3*x - 3*f - 42 = 6, 3*x = -3*f + 30. Let s(u) = -45 + 20 + 16 - x*u. Does 16 divide s(-9)?
False
Let i be 38/8 + -5 - 85/(-4). Let t be (-6)/i + (-37)/(-7). Is (-148)/t*(-9 - -4) - -4 a multiple of 18?
False
Let q(w) = w**3 + w**2 - 4*w + 13. Let i be q(-4). Let x(g) = -52*g - 104. Is x(i) a multiple of 52?
True
Suppose x + 435 = 131. Let c = 66 - x. Is c a multiple of 37?
True
Suppose -2 = -4*a + 7*z - 4*z, 4*z - 4 = 2*a. Suppose -a*h - 50 = -7*h. Suppose h*t - 310 = -70. Does 7 divide t?
False
Suppose 417*w = -79*w + 598176. Is 72 a factor of w?
False
Let w(g) = 38*g**3 - 7*g**2 + 9*g - 4. Is w(4) a multiple of 24?
True
Let y = -63 - -68. Suppose 0 = -y*l + 5*q + 225, -2*l = 4*q + q - 76. Let c = 61 - l. Is 5 a factor of c?
False
Let d = 65901 + -33549. Is 12 a factor of d?
True
Suppose p = 2*i - 2 - 4, 2*i = 3*p + 10. Suppose c = -i*n + 3*n - 130, -3*c - 263 = -2*n. Is 13 a factor of n?
False
Let p = 244 + 429. Let f = p + -334. Is 49 a factor of f?
False
Let v(f) = 1019*f**2 + 54*f - 17. Is 11 a factor of v(-4)?
True
Suppose -3*s + 4 = -4*l + 2*l, -3*s = l + 2. Suppose -2*j - 3*o - 1698 = -5*o, -4*j - 3*o - 3396 = s. Does 49 divide j/(-3) - (1 + -1)?
False
Let y be 4588/(-111)*(-8 - 1). Let l = -246 + y. Does 13 divide l?
False
Suppose -2*g = -5*x - 11, -12 - 1 = -4*g + x. Suppose -574 = -q - t, -3*t = g*q - 7*t - 1729. Does 23 divide q?
True
Suppose 4*i + 12483 = 3*u, -4*u + 2*i - i = -16644. Suppose 45*g + u = 64*g. Is g a multiple of 8?
False
Suppose -6*b - 100880 = -26*b. Does 52 divide b?
True
Let g be 1*9 - (-4 + 4). Let b be 88 + (g/4 - 3)*4. Is (82/(-6))/(b/30 - 3) a multiple of 15?
False
Let z be (-4)/(-22) - (-6)/33*329. Suppose 4*u - z = -u. Is 813/u - (-2)/8 a multiple of 17?
True
Let p = -542 - -547. Suppose p*h + 5*d - 430 = 0, d - 2 = -0*d. Is 4 a factor of h?
True
Let s(u) = -u**3 + 34*u**2 - 40*u - 576. Is 4 a factor of s(31)?
False
Let w be (4/3)/(-5*4/1440). Is (-9)/(-21) - 200/(-56) - w a multiple of 12?
False
Suppose 10*i - 16 = 9*i. Suppose -3*c = c - i. Is (15/(-2))/(c/(-16) + 0) a multiple of 3?
True
Let u be (-4)/10 + 2 + 557/5. Suppose 39 = 2*l - u. Does 14 divide l?
False
Suppose -1 = -3*w - h + 7, 4 = -h. Suppose 0 = 2*a + w*v - 134, -140 - 103 = -4*a - 3*v. Is 26 a factor of a?
False
Is 2/3 + (-5240)/(-15) a multiple of 14?
True
Let y(v) = 2*v**3 + 93*v**2 + 44*v - 12. Is 16 a factor of y(-46)?
True
Let r(s) = 98*s - 4166. Is 130 a factor of r(142)?
True
Suppose -3*x + 303 = 3*z, x = -x - 4*z + 200. Let a = x - 109. Let s(g) = -g**3 - 5*g**2 + 14*g + 5. Does 5 divide s(a)?
True
Let g = -3352 + 3605. Is 4 a factor of g?
False
Does 13 divide ((-13)/2)/(-13)*-10 - (-1989 + -5)?
True
Let a(x) = -20*x + 3. Let w be a(-2). Suppose 0 = -6*n + w + 53. Suppose -12*o + 13*o - n = 0. Is 4 a factor of o?
True
Let m = 10 + -21. Let g(o) be the third derivative of -3*o**4/8 - 23*o**3/6 - 181*o**2. Does 10 divide g(m)?
False
Is 10 a factor of (338/65)/(10/250)?
True
Let d = 5081 + -2903. Is d a multiple of 23?
False
Let t = -55680 - -79760. Is 156 a factor of t?
False
Suppose 3*p - 5*n - 215 = -2*p, -150 = -3*p - 4*n. Suppose -1512 = p*z - 54*z. Does 12 divide z?
False
Let x = 12503 + -3590. Is x a multiple of 10?
False
Suppose -4*j + j + 1911 = 3*m, 0 = -2*j - m + 1279. Let i = -345 + j. Does 4 divide i?
False
Suppose -p + t = -3*t - 24, -4*p + 2*t + 26 = 0. Let u = -40705 - -40810. Suppose u = b + 3*l - l, -p*b = l - 420. Is 21 a factor of b?
True
Let p(i) = 24*i**2 + 19*i - 190. Is 43 a factor of p(9)?
False
Suppose -11*t - 6 = -13*t. Let j be ((-2)/t)/(15/(405/(-6))). Suppose n - f = 99, 486 = j*n + 2*n - 2*f. Is n a multiple of 32?
True
Suppose 5*d - 1810 = 5*w, -w - 511 = 2*d - 164. Let k = w - -627. Is k a multiple of 18?
True
Suppose 48*u - 14*u = 16*u + 225918. Is u a multiple of 163?
True
Let p = 148 + -151. Let c(t) = -344*t + 24. Is 48 a factor of c(p)?
True
Let w(o) = 2*o + 273. Let m be w(30). Suppose 0 = -n - 3, -5*l = -4*n + 91 - m. Is l a multiple of 4?
False
Let g = 132 - 128. Suppose -u = g*n - 71, -2*n + 2*u = -5*n + 57. Suppose 0 = -19*o + n*o + 216. Does 18 divide o?
True
Let s = -221 - -224. Suppose -149 = -s*u + 4*p + 1817, 4*p + 16 = 0. Is u a multiple of 13?
True
Suppose 13 - 3 = 10*j. Let u(c) = 147*c**3 - c**2 + c. Does 36 divide u(j)?
False
Suppose 3*n + 4*h - 35816 = 0, -1030*n - 2*h + 23878 = -1028*n. Does 73 divide n?
False
Suppose 3004 = 2*m + 4*u, 45*u = -3*m + 48*u + 4542. Is 10 a factor of m?
True
Let r = 113 - -112. Let b = 393 - r. Is b a multiple of 14?
True
Let o(n) = 411*n**2 + 20*n + 106. Does 74 divide o(-5)?
False
Let c(d) be the second derivative of d**4/12 - 5*d**3/6 + 9*d**2/2 - 3*d. Suppose 33 = 5*m - a - a, a - 1 = 0. Does 5 divide c(m)?
False
Is -2 - 2091/(-2) - 40/80 a multiple of 30?
False
Let h be (0 - 4)*121/44. Let k = 408 + h. Is k a multiple of 37?
False
Let l = 2977 + -1497. Is 19 a factor of l?
False
Suppose 3*g - 112 = 5. Let x be (-10)/(-65) - (-961344)/g. Is 2/11 - x/(-187) a multiple of 22?
True
Suppose -5*v - 351 = 3*c - 4774, c - 1446 = 4*v. Does 24 divide -4 + (10/(-30) - c/(-6))?
True
Suppose 68*q + 10 = 66*q. Is 75*q/(75/(-55)) a multiple of 50?
False
Let k(m) = m**3 - 7*m**2 - 5*m + 2. Let j be k(8). Suppose 3*g - 449 = n, j - 6 = -4*n. Is g a multiple of 39?
False
Suppose 42567 - 8645 = 7*w. Is w a multiple of 42?
False
Let i be (11/33)/((-2)/(-12)). Suppose 0 = -i*r + 11*r - 684. Does 4 divide r?
True
Is -543*(33/(-9) + 1) a multiple of 4?
True
Let f = 24194 - 14251. Is 11 a factor of f?
False
Let i(l) = 185*l**2 - 32*l - 87. Is 113 a factor of i(-7)?
False
Let s = -1 - -1. Suppose s = 17*t - 7*t - 1650. Is 21 a factor of ((-6)/9)/((-1)/t)?
False
Suppose -10 = 5*b, 6*b + 14500 = 3*i + 10*b. Is i a multiple of 19?
False
Let b(w) = w**2 + 2*w + 2. Let f = -119 - -71. Let t = f - -44. Is 8 a factor of b(t)?
False
Let a(n) = -n**3 - 9*n**2 - 17*n - 26. Let j be a(-11). Suppose -2*k = -4*c - 170, -5*k - 12*c + j = -11*c. Is 20 a factor of k?
False
Let q(s) = -17*s**3 + 32*s**2 + 38*s - 98. Let x(d) = 6*d**3 - 11*d**2 - 13*d + 33. Let b(c) = -4*q(c) - 11*x(c). Does 30 divide b(6)?
False
Suppose -4*y - 60 = -100. Let p(w) = 8*w + 4. Let c be p(4). Does 12 divide (c/y)/(((-54)/80)/(-9))?
True
Let p be ((27/6)/(-9)*0)/1. Let r(z) = -z**2 - 3*z + 247. Does 13 divide r(p)?
True
Suppose -105*k = -125*k - 140. Does 37 divide 37/(k*1/(-147))?
True
Let c(m) = 2*m**3 - 4*m**2 - 13*m + 22. Let l be c(4). Let s = 5 - 2. Let r = s + l. Is r a multiple of 9?
False
Suppose 201*w - 687360 = 9*w. Does 20 divide w?
True
Let q = 61 + -46. Let n be 4/10 - 2308/(-5). Suppose n = 22*k - q*k. Does 6 divide k?
True
Let l(d) = -5*d**3 + 17*d**2 + 33*d + 433. Is 105 a factor of l(-12)?
False
Let f = 99 - -77. Suppose 2*g - 508 = -5*y, g - 2*y - f = 96. Is g a multiple of 12?
True
Let m(s) = 2*s**2 - 23*s - 190. Is m(-39) a multiple of 28?
False
Let d = 35 + -35. Suppose -5*t = -d*t - 1455. Let k = -195