et f(q) = -9*q - 48. Let u be f(-6). Let b be (2 - (u - 0))/(-2)*1. Is b/(-9) + (-1816)/(-72) a multiple of 7?
False
Suppose 0 = 282*z - 288*z - 4068. Let b = z + 762. Does 28 divide b?
True
Let i = -12965 + 13287. Is i a multiple of 23?
True
Let y = 290 + -246. Suppose -52*r + 448 = -y*r. Is 12 a factor of r?
False
Suppose 50*a + 812983 = 99*a - 7081. Does 246 divide a?
False
Let y = -4836 + 5716. Is 88 a factor of y?
True
Let n = 296 - 300. Is ((-3652)/12 - -7)/(n/6) a multiple of 54?
False
Suppose 0 = -2*v - 20 - 112. Let s = v - -198. Suppose 0 = 4*u - c - 131 - s, 5*c - 269 = -4*u. Is u a multiple of 11?
True
Let y = -111 + 113. Let q = -40 - -23. Is (134 + q)/(y/(-2) + 2) a multiple of 15?
False
Let g be (-52)/6 + 8 - (-12544)/6. Suppose -5*w = -v + 1303 - 3393, 5*w - 5*v - g = 0. Does 22 divide w?
True
Let t(f) = -109 + 10*f + 110 + 11*f. Is t(1) a multiple of 9?
False
Let r(p) = 27*p + 8. Suppose -22 + 34 = -12*q. Let u be r(q). Let o = 105 + u. Is 42 a factor of o?
False
Let g be (-1 - (12 - 4))*-15. Let s be 948/5 + (-24)/40. Let j = s - g. Does 18 divide j?
True
Suppose -4*s - 7*s = s - 5856. Does 25 divide s?
False
Let a be (-7)/((-462)/12) + 1096/22. Suppose 2348 - a = 6*l. Let m = l + -173. Does 30 divide m?
True
Let s(l) be the first derivative of -l**4 - 2*l**3 + 2*l**2 - 14*l - 19. Is 21 a factor of s(-5)?
False
Let q(n) = 37*n + 44 - 1 - 15 + n**2 + n**2. Is q(-35) a multiple of 91?
True
Suppose 4*g = -2*n + 2490 + 28, -5*g + 3130 = -n. Suppose g = 5*l - 3*d, 53 = l - d - 72. Is l a multiple of 9?
True
Suppose 97150*j = 97165*j - 163800. Does 60 divide j?
True
Let h(f) = 5*f - 22*f**2 - 3*f**2 - f**2 - 17 + 35*f**2. Is h(4) a multiple of 7?
True
Let z(c) = -34*c - 14. Let j be z(3). Is 23 a factor of (-1651)/(-4) + (-145)/j?
True
Suppose o - 22025 = -5*y, -2*y + y - 5*o + 4405 = 0. Is y a multiple of 42?
False
Suppose u + 2000 + 84045 = 2*p, -u - 129063 = -3*p. Does 157 divide p?
True
Suppose 0 = -2*m + 2*i - 0*i, 3*m - 2*i + 4 = 0. Does 13 divide 6 + m/(-6)*138?
False
Let s(i) = 6*i + 2736. Is 8 a factor of s(8)?
True
Suppose 0 = -m - 4*i - 5 + 301, -3*i - 603 = -2*m. Let l = m + -280. Is 9 a factor of l?
False
Let y be ((-8086)/(-78))/((-1)/(-9)). Let r = -69 + y. Does 18 divide r?
True
Let a be 1*(-8)/(-28) - (-2866)/14. Suppose -i = a - 207. Suppose 278 = 6*y - i*y + 2*t, 0 = -4*y - t + 275. Does 17 divide y?
True
Let d = 107 - 96. Let a(z) = z**3 - 9*z**2 - 11*z + 93. Is a(d) a multiple of 32?
False
Let v(b) = b**2 - b - 8. Let k = 4 - 7. Let d be v(k). Suppose -h = d*g - 452, -2*h + 580 = 5*g + 15. Is g a multiple of 29?
False
Suppose -47*l + 45*l + 8 = 0. Does 40 divide (-104576)/(-432) + l/(-54)?
False
Let c(q) = -23*q + 63. Let b(i) = 5. Let x(h) = 3*b(h) - c(h). Is 31 a factor of x(25)?
True
Let z(f) = 20*f + 6897. Is z(21) a multiple of 133?
False
Let i be 1/(-3 - 0)*-6. Let v(b) be the first derivative of 28*b**3/3 - b**2 + 4*b - 41. Does 28 divide v(i)?
True
Let v be 14/(-35) - (-2)/5. Suppose -5*m - 5*q = -20, v = -0*m - 3*m - 2*q + 10. Suppose m*p - 372 = -0*p - f, -2*p + 372 = 4*f. Is p a multiple of 11?
False
Suppose 161*n - 156*n - 79925 = -5*i, -5*n = 15. Does 20 divide i?
False
Let d = 0 - -1. Let b be (19 - 25)*(d - (-14)/6). Is b/24*-146 + 2/(-3) a multiple of 15?
False
Is 162 a factor of (29800 - 240) + 3/(-3)?
False
Let x(m) = -4 + 88*m + 0 + 5 - 16 - 7. Is x(5) a multiple of 22?
True
Let h = -14221 - -35377. Does 11 divide h?
False
Let q(i) = 39*i**2 - 13*i - 145. Is 58 a factor of q(-9)?
False
Is -1 + -3 - (1 + -3 + -1802) a multiple of 8?
True
Let o(d) = -2*d**3 + 4*d**2 + 68*d + 770. Is o(-12) a multiple of 77?
False
Let z = 15940 + -4274. Is 38 a factor of z?
True
Let q(v) = 21*v - 3. Let r be q(11). Suppose -3*c + 0*c - 756 = -3*j, r = j + 5*c. Is 43 a factor of j?
False
Let l be 13 + 49/(-7) + 14. Suppose 5*k + l*k = 6600. Is k a multiple of 11?
True
Let j = 2 + 0. Let c(z) = -1 - j*z + 10*z + 6*z + 0*z. Is c(4) a multiple of 12?
False
Suppose 0 = 138*o - 141*o + 1572. Suppose 3*c + 5*b - o = 407, 4*c - 1203 = b. Is c a multiple of 71?
False
Let t(s) = 65*s**3 + s**2 - 5*s + 2. Does 61 divide t(1)?
False
Let m(c) = 3566*c + 2383. Is 27 a factor of m(4)?
False
Let n(f) = f**3 + 4*f**2 - 4*f - 3. Let w be n(-4). Suppose -7*x + w = -1. Suppose 3*m = 3*c + 129, x*m + 2*c = 3*m - 47. Does 7 divide m?
False
Let z(d) = -d**2 + 6*d - 2. Let k be z(5). Let v(p) = p**3 + 2*p**2 + 2*p + 6. Let w be v(k). Suppose -4*m = -i - 2*i + 176, 0 = -i + 3*m + w. Does 13 divide i?
False
Suppose -4*d = -2*o, 5*d - 2*o = 7*d. Let i(m) = m**3 + m + 1. Let a(q) = -2*q**3 - 2*q**2 - 3*q. Let h(b) = a(b) + 3*i(b). Does 3 divide h(d)?
True
Is 15 + 354*(-765)/(-34) a multiple of 70?
True
Let t(u) = -u**3 - 14*u**2 - 14*u + 3. Let k be (10 - -3)/(0 - 4/4). Let b be t(k). Suppose 2*j - b = 36. Is j a multiple of 9?
False
Let f(s) = -s**3 + 16*s**2 + 11*s - 3. Let b(o) = -2*o**3 + 32*o**2 + 24*o - 5. Let x(h) = -3*b(h) + 7*f(h). Is x(16) a multiple of 9?
False
Let d(s) = s**3 - 77*s**2 + 179*s + 150. Is d(75) a multiple of 31?
True
Let y(o) be the third derivative of o**5/60 + 35*o**4/24 - 101*o**3/6 - 266*o**2. Is y(-50) a multiple of 13?
False
Let z(m) = 16*m**2 - 10*m. Let c(l) = -2*l + 18. Let t be c(9). Suppose 8*u + t*u + 24 = 0. Does 22 divide z(u)?
False
Let k(w) = 798*w - 5435. Is k(8) a multiple of 7?
False
Let a(k) = k**3 - 6*k**2 + 18*k - 24. Let x be a(8). Suppose 175 = 3*p - 3*c - 599, p + 4*c - x = 0. Let j = p - 113. Is j a multiple of 11?
True
Let a = -6 - -81. Is 22 a factor of 4/30 - (-4 + (-46940)/a)?
False
Let d(s) be the first derivative of -s**3/3 + 5*s**2/2 + 10*s - 4. Let a be d(6). Suppose -38 = a*v - 6*v. Is v a multiple of 19?
True
Suppose -3*o = 4*m - 5, -6*m = -5*o - 2*m + 19. Suppose 3*x - o*l - 817 = 2*x, 4*x = -2*l + 3254. Is 37 a factor of x?
True
Let k(v) = -8*v - 6. Let l be k(3). Is ((-1981)/(-35) - 1)/((-3)/l) a multiple of 61?
False
Suppose -41 = -9*k - 5. Let y be k + -3 + -1 + 75. Let v = y - -60. Is 9 a factor of v?
True
Suppose -5*w = 3*f - 481, 29*w = f + 25*w - 132. Is f a multiple of 8?
True
Let n = 7745 - 6128. Does 35 divide n?
False
Suppose -2*h - 1 = -10*p + 7*p, -5*p = -h + 10. Does 6 divide (54/12)/(p/(-76))?
True
Let m be (-302)/(-2 + (-1 - -1)/(-2)). Let r = 244 - m. Suppose -3*j + r = -5*q - 49, -5*j + 205 = -2*q. Does 13 divide j?
True
Suppose -176*p - 2555410 = -12512786. Does 256 divide p?
True
Suppose 1175 - 5819 - 8496 = -36*u. Is u a multiple of 3?
False
Suppose -3*z + 4*n + 4050 = -4282, -2*n + 5550 = 2*z. Does 8 divide z?
True
Let i be ((-180)/(-48))/((-3)/(-4)). Suppose 3*g - 2*x - 7 = 0, -2*g - 5*x - i = 3*g. Is g + (-16)/4 + 8 a multiple of 2?
False
Suppose l = -2*x - 260, 0 = 8*l - 5*l + 5*x + 779. Let y = l + 611. Is 26 a factor of y?
False
Suppose -22*b = 2*j - 23*b - 9254, b + 4 = 0. Does 37 divide j?
True
Let p(v) = 85*v**2 - 68*v - 33. Does 2 divide p(5)?
True
Let c = -30 - -27. Let q be 2 - c - 3/1. Suppose d + q*d - 33 = -3*y, -4*d + 3*y = -16. Is 6 a factor of d?
False
Let b be (-2)/(-3*4/48). Let c(f) = f - 5. Let n be c(b). Suppose -2*z - k - k = -24, 4*z - 27 = n*k. Is z a multiple of 9?
True
Is 62 a factor of ((-14694)/(-4))/(159/212)?
True
Suppose -3*p - 32982 = -5*o, 86*o = 85*o + 3*p + 6582. Is o a multiple of 120?
True
Let w(i) = 7*i - 2. Let g(s) = s**3 + 11*s**2 + 11*s + 11. Let j be g(-10). Let n be w(j). Suppose 0 = 4*d + n*d - 432. Does 12 divide d?
True
Suppose -7*g + 2*g = 3*m - 98, 3*m - 62 = 4*g. Let t = m + 1. Suppose -8*z + 243 = t. Is 6 a factor of z?
False
Let s = -3153 - -9795. Does 82 divide s?
True
Suppose 13*f = 18*f - 55. Let r(j) = 19 - 8 + 7 - j**2 + f + 9*j. Does 29 divide r(9)?
True
Suppose 98*x - 378641 = 1796567. Is x a multiple of 179?
True
Let l be (-21)/(-3) + 0 + 4. Suppose -15*r = -l*r. Suppose 2*v - 340 = -2*x, r*x + 2*x = 0. Is 34 a factor of v?
True
Let q = -1577 + 1075. Let x = q - -512. Is 2 a factor of x?
True
Let r = 14601 + -5610. Is r a multiple of 25?
False
Let v = -153 - -103. Does 6 divide (36*5/v)/((-6)/40)?
True
Suppose -167554 + 766974 = 43*l. Does 285 divide l?
False
Let l be (-6)/(-18)*0/3. Let h(q) = -q**3 - 2*q + 220. Is h(l) a multiple of 4?
True
Suppose 0 = 4*y + 4*m - 33 + 13, 2*y = 5*m + 3.