-z + 3*p + 11163, -4*p - 21348 = -4*z + 23328. Is z a multiple of 12?
True
Let s be (-20)/(5 - 1) - (1 - -2). Is 40 a factor of (-3188)/s - (-6)/4?
True
Let u = -4227 + 9630. Does 4 divide u?
False
Let f = 37862 + -15008. Does 78 divide f?
True
Let x = 244 - 240. Suppose 0 = 4*z - 25 - 19. Suppose -304 = -z*t + x. Is 14 a factor of t?
True
Suppose 0 = -5*j + 123913 - 5568 + 16370. Is 197 a factor of j?
False
Let y = -4749 + 7255. Is y a multiple of 14?
True
Let k be 4*(-2)/(-4) + 9 + 9. Suppose 0 = -6*s + 11*s + k. Is 6 a factor of (-9)/(36/(-136)) - s?
False
Let s(l) = l**2 + 23*l + 46. Let x be s(-21). Suppose 0 = -3*f - 2*m - 0*m + 237, 0 = -x*f - 4*m + 312. Is f a multiple of 5?
False
Is 37 a factor of (-175)/(-35) - (22836/30)/((-1)/5)?
True
Does 6 divide (-1)/(2 - 9556/4776)?
True
Let s = -393 + 323. Let w = s - -158. Is 12 a factor of w?
False
Let q be (1 - -35) + (-7)/(-1). Suppose -5589 = 34*m - q*m. Is m a multiple of 23?
True
Suppose -2 = -3*j + 1, 2*j = 5*p + 287. Let b = 70 + p. Is 4 a factor of b?
False
Let i be 6/(-189)*-9*7*2. Is (i/(-8) - -3)*(-4 + 120) a multiple of 48?
False
Let k(m) = 8*m**2 + 14*m + 7. Let t be k(-4). Let g = -77 + t. Suppose 2*w - 7*w + 2*q = -783, g*w = 5*q + 309. Is w a multiple of 25?
False
Suppose 9*a = 53*a - 156200. Is 13 a factor of a?
False
Suppose 5*l - 40565 = 5*d, 5*l - 4005*d + 4003*d - 40580 = 0. Does 5 divide l?
False
Let q(k) = -k**2 + 16*k + 20. Let u be q(17). Suppose -5*t = -u*t - 214. Suppose t = s + l, 0*s + 2*l - 422 = -4*s. Does 13 divide s?
True
Suppose 5*t + 32790 = -35*o + 40*o, -2*t = -5*o + 32772. Is o a multiple of 13?
True
Let z(v) = 2*v**3 - 76*v**2 + 8*v - 19. Let s be z(38). Suppose 2*l - 5*h = 159, -5*l = -9*l - h + s. Is 6 a factor of l?
True
Let o(f) = f**3 - 3*f**2 - 23*f + 5382. Is 26 a factor of o(0)?
True
Let x be ((-54)/(-81))/(6/28071). Suppose -2*i = 3*c - x, 3*i + 0*c + c = 4668. Is i a multiple of 11?
False
Suppose 3*f = 1298 + 1159. Suppose f = -u + 14*u. Does 21 divide u?
True
Let g = 5003 - 2049. Is g a multiple of 30?
False
Let w = -41 - -43. Let p(t) = 17*t**2 - 6*t**2 - 9*t**w - 13 - t**2. Is 11 a factor of p(-12)?
False
Does 210 divide (-2 + -126)/(5864/840 - 7)?
True
Is 4 a factor of (-2)/(-24) + (-117605)/(-516)?
True
Let k = 11901 + -6726. Is 25 a factor of k?
True
Let u be (-146)/219 + (-10354)/(-6). Suppose 33*n - u = 18*n. Is 25 a factor of n?
False
Suppose 83*i + 5*r = 78*i + 18270, -3*i - 4*r = -10958. Is i a multiple of 20?
False
Suppose 693165 = 166*b - 388823. Is b a multiple of 21?
False
Suppose o = 3*c + 385 - 1682, -2*c - o + 868 = 0. Suppose -c = -3*y + 5*d, -2*d - d = 6. Let a = y + -36. Is 5 a factor of a?
True
Let y(d) = 4*d**3 - d**2 - 21*d + 286. Is y(10) a multiple of 56?
True
Let m(n) = 118*n**2 - 4*n - 124. Is 17 a factor of m(-15)?
True
Suppose -8*h - 7*h + 126 = -6*h. Is h a multiple of 8?
False
Let b(q) = -13*q - 10. Let c = -18 + 42. Let i be (-5)/(-30) + (-100)/c. Does 6 divide b(i)?
True
Let n = -1061 + -339. Does 3 divide n/(-44) + (-6)/(-33) + -1?
False
Suppose -189 = 23*s - 465. Let q(c) = -c**3 + 19*c**2 - 10*c + 22. Is 65 a factor of q(s)?
True
Let g = 6856 - 655. Is 53 a factor of g?
True
Let o(l) = l**2 + 40*l - 497. Is o(-69) a multiple of 41?
False
Suppose -6*i - i + 707 = 0. Suppose 4*u = -i - 63. Let w = u + 83. Is 12 a factor of w?
False
Suppose -962 - 34 = -3*v. Suppose u + 5*b = v, -2*u + 5*b + 82 = -597. Does 7 divide u?
False
Let n = 2227 - 2080. Is n a multiple of 21?
True
Let t(s) = -3*s**3 - 19*s**2 - 24*s - 127. Does 5 divide t(-12)?
False
Let j(r) be the second derivative of -r**3/2 - 11*r**2/2 + 265*r. Let f(l) = -9*l**2 - l. Let t be f(1). Is j(t) a multiple of 14?
False
Let q(n) = n**3 - 8*n**2 - n + 10. Let b be q(8). Suppose 2*i + 5*m - b*m = 42, -4*i = 5*m - 86. Is 4 a factor of i?
True
Suppose 251*q - 3431308 - 1957913 = 0. Is 12 a factor of q?
False
Suppose 0 = 8*p - 11*p + 234. Suppose -105*y = -102*y - p. Let g = y + -5. Does 6 divide g?
False
Let p = -369 - -369. Suppose 0 = -19*j - p*j + 2394. Is j a multiple of 14?
True
Let j = -66 + 186. Let n = j + 42. Is n a multiple of 28?
False
Suppose -4*h + 3*b + 5 = 0, 16 = 4*b - 4. Suppose -11*t = 18 - 51. Suppose -h = -t*l + 25. Is l a multiple of 2?
True
Let l(z) be the second derivative of 11*z**5/20 - z**4/12 - z**3/6 + z**2 - 5*z + 244. Let h be 5/3 + 2/(-3). Is l(h) a multiple of 5?
False
Suppose 7562 + 1147 + 1461 = 9*n. Is n a multiple of 8?
False
Suppose 3*c - 3*r - 7 = 2*c, 0 = -2*c - r - 21. Let z = c + 103. Let s = -53 + z. Is 32 a factor of s?
False
Let t(k) = 58*k**2 - 4*k - 7. Let z(r) = 6*r**2 + 77*r - 15. Let b be z(-13). Does 46 divide t(b)?
False
Let c be (0/((3 + 0)/3))/2. Suppose 4*j - 2*r = 1182, 2*r + 596 = -c*j + 2*j. Suppose 0 = -6*s + j + 409. Is 27 a factor of s?
False
Suppose 28*n + 84 = 7*n. Does 12 divide 1 - -5 - (n + -98)?
True
Let m be 0 + 0 - (6 - (-4 - 20)). Let k = -1 - -2. Does 2 divide (m/3 + k)*-1?
False
Let n(z) = -1711*z**3 - 43*z**2 - 41*z + 1. Is 22 a factor of n(-1)?
False
Let y = 353 - -2122. Does 50 divide y?
False
Suppose 0 = p + 2*s - 2004, p - 10*s = -5*s + 1997. Does 143 divide p?
True
Let z = 42 + -31. Suppose 6*v - z*v + 15 = 0. Suppose 2*j = 3*y + 143, 5*y - v*y = -3*j + 182. Is j a multiple of 22?
False
Let x be ((-2)/4)/((-5)/(-400)). Let j = x - -46. Suppose -2*d + j*d - 4*n - 60 = 0, 5*d - 40 = -2*n. Is d a multiple of 2?
True
Let s = 10154 - -719. Does 14 divide s?
False
Let z be 0 + (-2)/(-6) - 40/(-24). Suppose 3*j - 5 = -5*q + 2*j, -10 = z*j. Suppose 515 = q*c + 203. Is c a multiple of 12?
True
Suppose 4*p = -4*i + 278188, -909*i + 69527 = -908*i + 5*p. Is 23 a factor of i?
True
Let s be (-4)/(-32) + (-426)/(-48). Suppose -s*y = -84 + 3. Is 7 a factor of y?
False
Suppose 32*v = 43*v - 5764. Suppose 0 = -5*a - 174 + v. Is a a multiple of 3?
False
Suppose 0*y = -y + 6. Let r(x) = -x**2 + 9*x - 12. Let c be r(y). Is (c/(-4) + 1)/(8/(-352)) a multiple of 3?
False
Let h(c) = -5*c**3 - 8*c**2 + 10*c - 5. Let p(u) = 6*u**3 + 8*u**2 - 9*u + 6. Let k(r) = -5*h(r) - 4*p(r). Let g be k(-7). Let s = -55 + g. Is 31 a factor of s?
True
Let l(j) = -j**3 + 8*j**2 + 2*j - 19. Let z be l(8). Let u(i) = 111*i**2 - i + 4. Let x be u(z). Suppose 0 = 10*k - 184 - x. Is 17 a factor of k?
True
Let d(c) = c**3 - 19*c**2 - 20*c + 27. Let x be d(20). Let y = 31 - x. Suppose y*a = 5*o - 205, a - 78 - 107 = -4*o. Does 15 divide o?
True
Suppose 2*d + 2*d = 16. Suppose -2*q + 5*v + 339 = 0, q + 502 = d*q - v. Suppose -q + 657 = 2*g. Does 35 divide g?
True
Let n = -101 - -145. Let g = n - 42. Suppose -4*y + 7*y - 395 = -4*z, 2*y - g = 0. Does 14 divide z?
True
Suppose 4*s + 20 = -w, -w - 8 = -3*s + s. Let y be w/(-4)*(-2)/(-2) + 3. Let v(u) = 4*u**2 + 10*u - 9. Is 22 a factor of v(y)?
False
Suppose 2*o = 5*o - 6. Suppose 0 = -n + 25 + o. Let s = n + -7. Is s a multiple of 20?
True
Let x = 12723 + -5985. Suppose -x - 10686 = -22*d. Is 11 a factor of d?
True
Let y(h) = 13*h**3 + 3*h - 10. Let m be (-160)/200*10/4*-1. Is 25 a factor of y(m)?
True
Let i be 54/8*(-8 + 52). Suppose 3*n - i + 18 = 0. Let d = n - 8. Is 35 a factor of d?
False
Is 8 a factor of 47*(-970)/(-50) - (6/(-5))/6?
True
Let d(x) = 7 + 23*x**2 - x**2 - 5*x**2 - 2*x. Is 6 a factor of d(2)?
False
Let z(q) = 806*q - 742. Does 19 divide z(14)?
False
Let s(m) = 511*m + 1418. Is 111 a factor of s(7)?
True
Let v be 12/36 + (-97)/3. Does 10 divide (90/(-24) - -5)*v/(-2)?
True
Let k = 231 + -646. Let z be -4*(3 - k/20). Does 17 divide (1 - -6) + -4 - z?
False
Let d = 16470 + -4758. Does 24 divide d?
True
Is 12 a factor of 174040/(-19)*46/(-88) - (-2)/(-11)?
True
Let f = 54 - 41. Let i(u) = 3*u + 15 + 9 - f. Does 25 divide i(7)?
False
Let j(a) = -a**3 + 44*a**2 + 696*a + 5. Is j(-23) a multiple of 48?
True
Let u = 195 - 193. Suppose 3*q - 669 = -u*q + k, -395 = -3*q - k. Is 23 a factor of q?
False
Let f be 6/36*42 + -11. Let i(w) be the first derivative of 4*w**3/3 + 7*w**2/2 + 7*w - 1. Does 26 divide i(f)?
False
Let a(p) = 246*p + 2806. Is 3 a factor of a(-6)?
False
Suppose -2*d - 2*f = 5 + 23, 3*d - 5*f = -10. Let j be 1 - (13 + d)*1/(-1). Suppose 63 = 2*z + 5*s + 19, j*s = -z + 16. Is z a multiple of 16?
True
Suppose 24820 = 4*j + 2*n, -4*j + 4*n - 1965 = -267