-2996 = -25*j + d. Is j a multiple of 30?
True
Let q = 575 - 690. Let s = -101 - q. Does 10 divide s?
False
Does 127 divide -17 + 1 + 89567 + -905?
True
Let r be (10/9)/((-26)/(-117)). Suppose -246 = -r*a + 709. Does 14 divide a?
False
Let r(l) = 6*l**2 - 50*l - 5. Let j be r(14). Let p = 635 - j. Is 10 a factor of p?
False
Let w(t) = -t**3 - 16*t**2 - 15*t + 3. Let z be w(-15). Let x(m) = -14*m**3 + 4 + 21*m**3 + 4*m - 17*m**z + m**2. Is x(-2) a multiple of 16?
True
Suppose 3*v + 97 = 4*v. Let r(y) = 44*y - 23. Let s be r(-1). Let x = v + s. Is x a multiple of 3?
True
Is (786/(-8))/(924/(-28336)) a multiple of 106?
False
Let k be (-1353)/(-9) - (-3)/(-9). Suppose 8*w + k = -2*w. Is 10 a factor of (17/(-3) - -1)/(1/w)?
True
Let t(o) = -2053*o - 4233. Is 11 a factor of t(-6)?
True
Let j = -14077 + 17810. Is j a multiple of 23?
False
Let z(p) = 136*p**3 - 12*p**2 + 9*p + 33. Is 155 a factor of z(4)?
False
Let h(l) = l**3 + 10*l**2 - 22*l - 18. Let i(c) = c**3 + 11*c**2 - 23*c - 19. Let k(s) = -4*h(s) + 3*i(s). Is 17 a factor of k(-13)?
True
Suppose -1040 = 78*f - 82*f. Suppose -m = -3*i + f + 314, -20 = 5*m. Is i a multiple of 19?
True
Let m = -113 - -118. Suppose -3*s = 0, 15 = n + m*s + 2. Does 2 divide n?
False
Let j(p) = 45*p**2 - 16*p + 127. Is j(6) a multiple of 22?
False
Let r(t) = -1538*t - 5906. Is r(-9) a multiple of 64?
True
Let r = 772 + -762. Suppose 0 = -j + 2, r*j - 5*j - 184 = -3*n. Does 58 divide n?
True
Let i be ((-357)/45 + (-2)/(-6))*5. Let q = i - -34. Let w(m) = -25*m - 6. Does 10 divide w(q)?
False
Is 103 a factor of 412*((-6)/4 + 98/8)?
True
Let y(q) = -2*q**2 + 22*q + 7. Let o be y(10). Suppose 119 = 19*u - 12*u. Let l = o - u. Is 5 a factor of l?
True
Let t(p) = -115*p + 2. Let m(s) = 324*s - 6. Let d(x) = 6*m(x) + 17*t(x). Suppose 2*g - 7 = 5*y, 16 + 8 = -3*g - 4*y. Does 14 divide d(g)?
True
Let r(g) = 2*g - 12 + 4*g - 2*g**2 - 13 + 22. Let q be r(2). Does 7 divide (-4 + 3/q)*(-5 + -14)?
False
Let f = -120 + 65. Let r be 2898/(-30) + (-4)/10. Let c = f - r. Is c a multiple of 6?
True
Let s = -1576 - -2928. Let r = -345 + s. Is 20 a factor of r?
False
Let k = -12025 - -17785. Does 144 divide k?
True
Suppose -s + 9 = -5*o, s = 2*o - 1 + 10. Suppose -14 = -q - s. Suppose 0*f - 3 = -f, q*p - 181 = -2*f. Does 9 divide p?
False
Suppose -1979 = -5*o - 4*v, -o + v + 391 = 3*v. Suppose -o + 34 = -5*s. Is s a multiple of 10?
False
Suppose -7*x = 161 + 196. Let p = 77 + x. Does 2 divide p?
True
Suppose -s = -2*d - d + 25, -2*d + 10 = -2*s. Let f be (-1)/2 + 45/d. Suppose 496 = 4*a - 4*r, -f*a - r + 476 = -0*a. Does 10 divide a?
True
Let y be (0 + 1)*(9 - (0 - -7)). Is -1*(2 - (584 - y)) a multiple of 20?
True
Suppose 0 = 2*d - 2*w - 7190, -5*w - 2112 + 9302 = 2*d. Suppose -2*r + 1414 = -4*m, 5*r + 5*m - d = -0*r. Is 21 a factor of r?
False
Let b = -904 - -672. Let f = b - -542. Does 31 divide f?
True
Suppose 4*z = -4*g + 280, -12 = -5*z + z. Let u = -62 + g. Suppose -u*f + 420 = -5*a, f = -f - 3*a + 173. Is 10 a factor of f?
False
Suppose -3*k + 2429 = 2*z, 0 = 5*z - 13*k + 18*k - 6070. Is z a multiple of 7?
False
Let q(z) be the third derivative of 7*z**4 - 11*z**3/6 - 37*z**2. Is 13 a factor of q(2)?
True
Let z = -30 - -33. Is 38 a factor of ((-4722)/9)/((-2)/z) - -1?
False
Suppose y + 0 = k + 7, -y = 3*k - 11. Suppose 2*x = -3*q - y, -3*x = 3*q - 2*q - 2. Suppose h + 2*c - 31 = -9, 0 = c + x. Does 13 divide h?
True
Let q(y) = -y**2 + 13*y - 13. Let u be q(11). Suppose -u = 55*g - 56*g. Suppose -465 = g*j - 14*j. Does 4 divide j?
False
Let w(u) = 7*u + 73. Suppose d - 119 + 102 = 0. Is 16 a factor of w(d)?
True
Let t(h) = 8*h**3 - 207*h**2 + 23*h - 62. Is t(26) a multiple of 10?
False
Let o be (8/6)/(-3 + 436/144). Suppose x - o - 88 = 0. Does 7 divide x?
False
Let f = 340 - 223. Let s be (f/52)/((-1)/4). Is ((-17)/17)/(1/s) even?
False
Suppose 11*v = o + 14*v - 3506, 0 = -o + 5*v + 3506. Is o a multiple of 53?
False
Let l = -103 - -111. Does 15 divide (228/(-15))/(l/(-40)) - 1?
True
Suppose 0 = -4*d - u + 66 - 8, d - 3*u - 21 = 0. Let w = 3 + -4. Does 19 divide (0 - w)*d + 4?
True
Let j(c) = -2*c**3 - 82*c**2 + 7*c - 197. Does 95 divide j(-42)?
False
Suppose 32*q + 10224 = 16*q. Let c = -184 - q. Is 13 a factor of c?
True
Suppose b - y = -3*b + 17, 26 = 2*b - 4*y. Suppose 5*c = -25, 773 = b*a - 2*c + c. Suppose -4*p = -816 + a. Is p a multiple of 43?
False
Let w be (4/6)/(1/6). Suppose -y + 5*c - 95 = -309, 484 = 2*y + w*c. Suppose -12*t + y = -6*t. Is t a multiple of 8?
False
Let l be 311 + (-28)/(-28)*(1 + -2). Suppose -v = -952 + l. Does 24 divide v?
False
Let c(n) = -n**2 - 28*n + 126. Let w(q) = -7*q - 342. Let x be w(-45). Is c(x) a multiple of 9?
True
Let q(o) = -o + 11. Let t be q(6). Suppose 0 = -t*b + 38 + 1402. Is 12 a factor of b?
True
Let o = -127 - -129. Suppose 5*m - 2*i - 938 = 4541, o*m - 2*i - 2188 = 0. Is m a multiple of 58?
False
Suppose 0 = -4*g - g + 45. Suppose -g*n = -11*n - 108. Let r = n - -84. Is r a multiple of 10?
True
Let v(l) = 2*l**2 + 16*l + 102. Is v(-29) a multiple of 20?
True
Let y = -10131 + 10296. Is 16 a factor of y?
False
Suppose -6*r - p + 355 = -2*r, -5*r + 3*p + 448 = 0. Let i = r - 89. Suppose -7*y + i*y = -665. Is 10 a factor of y?
False
Suppose 461*n - 188*n = 238*n + 190575. Is 40 a factor of n?
False
Let h(o) = -2088*o - 130. Does 14 divide h(-2)?
True
Suppose -3*d - 3 = 0, -3*o + 85089 + 4688 = -2*d. Does 13 divide o?
False
Does 10 divide 10 - (-5265 + (585/9)/13)?
True
Let x be 2/(2/6*-1). Let n(a) = -7458*a - 8 - 4*a**2 + a**3 - 7457*a + 14899*a - 2*a**3. Is 10 a factor of n(x)?
True
Let c(y) = -24*y + 11. Let l be c(-4). Is l - (0 + 0)/(4/(-2)) a multiple of 13?
False
Let k(l) = l + 2. Suppose -6*m - 2*m = -32. Let x be (m/8)/(1/14). Does 9 divide k(x)?
True
Let d(q) = 5*q + 10. Let s be d(-4). Let b be (s/(-5))/(2/3). Suppose 0 = -b*l + 130 + 80. Is l a multiple of 12?
False
Does 36 divide (-23 - 61)/(4/(-2786)) + (-4 - 2)?
True
Suppose 2*j = -0*j + 4. Suppose -p = -i + 11 + j, -i + 17 = -2*p. Suppose i*h = 12*h - 456. Is 40 a factor of h?
False
Let r = -22635 + 38588. Does 43 divide r?
True
Let g(u) = -2*u**2 + 6*u - 13 + 6*u - 13*u + 3*u**2. Let k be g(-4). Does 43 divide (4/k)/((-11)/(30954/(-12)))?
False
Suppose 0 = -m + 3 + 1. Suppose 2*f - 5 = -b + m*f, -4 = -b + f. Suppose 0 = -i + 5*q + 9, b*q + 49 = 3*i - q. Is i a multiple of 3?
False
Let z = -26 + 14. Let d(s) = 7*s**2 + 4*s - 25. Let t(h) = -38*h**2 - 21*h + 125. Let b(w) = 11*d(w) + 2*t(w). Is 19 a factor of b(z)?
True
Let u(y) = 236*y**2 - 3*y - 2. Let t be u(-1). Let i = 261 - t. Does 8 divide i?
True
Let g(r) = -3*r**2 + 18*r - 43. Let j be g(14). Suppose -k + 2*t = 130 - 667, 5*k = t + 2694. Let w = k + j. Is w a multiple of 22?
False
Let d = -68 + 132. Let o be ((-2)/(-4))/(8/d). Suppose -169 = -4*x + 3*a, -4*x + 5*x + o*a = 28. Is 10 a factor of x?
True
Suppose 0 = -75*o + 36421 - 721. Is o a multiple of 6?
False
Let j(f) = 3378*f + 1421. Is j(5) a multiple of 8?
False
Let r = 22776 - -13666. Is 19 a factor of r?
True
Suppose 82*c - 57372 = 65899 + 16539. Is c a multiple of 14?
False
Let u(c) = 4*c - 15. Suppose h - 4*h + 2*f + 14 = 0, -4*f = -3*h + 22. Let a be (-8 - h/(-2))/(-1). Is 2 a factor of u(a)?
False
Let v(c) = c**2 - 6*c - 1. Suppose i = 8*i - 63. Let s be v(i). Suppose -k - s = -3*p, -2*p + k = 3*p - 42. Does 4 divide p?
True
Let h(o) = -2*o + 1. Let y(a) = 123*a + 303. Let l(d) = -3*h(d) + y(d). Is l(12) a multiple of 14?
True
Let s = -1780 + 3771. Is s a multiple of 34?
False
Suppose -198 - 490 = -2*j - 2*a, 5*j + 4*a - 1720 = 0. Suppose -j = -166*m + 162*m. Is m a multiple of 10?
False
Let u = -1097 - -19445. Is 11 a factor of u?
True
Let a(l) = 7*l + 2. Let v be a(6). Suppose 10*r - v = 11*r. Is r*(4/(-16) - 1) a multiple of 10?
False
Let k be (-3 - -4)/(1/(-33)). Let c be (-105)/k - (-6)/(-33). Suppose -2*b = 4 + 4, -5*b - 608 = -c*s. Does 49 divide s?
True
Let z = 13224 - 11573. Is z a multiple of 127?
True
Does 98 divide (-2 - 43)/((-2)/(-160)*(-45)/12)?
False
Let s(l) be the second derivative of -5*l**3/3 - 15*l**2/2 + 9*l. Let j be s(-13). Let w = -66 + j. Does 7 divide w?
True
Let s be (-1 - -30) + (-18)/6. Suppose -136 = 9*i - s*i. Is i a multiple of 5?
False
Suppose 5*k - m + 2