ppose j*h + p - 376 = 5*p, -4*h - 4*p = -548. Does 8 divide h?
False
Let l be (-520)/(-20) + (-4 - -3). Suppose 2*q + 2622 = l*q. Is q a multiple of 6?
True
Let p(f) = f**3 + 26*f**2 + 20*f - 4. Let u be -25 - -1 - (-2 - -14 - 11). Does 49 divide p(u)?
False
Let b = 6045 - 4290. Is b a multiple of 49?
False
Suppose -3*t - 161 = 4*c, t + 16 + 27 = -4*c. Let p = t - -64. Suppose -v + 30 + 8 = -p*g, 4*g = -3*v + 19. Is v a multiple of 5?
False
Suppose 12329 = -1235*g + 1236*g. Does 13 divide g?
False
Suppose 5*c + 5 = 0, 2*w + w + 5*c = -14. Let g be (-2)/w*(-294)/(-28). Suppose -3*z + g = -53. Does 4 divide z?
True
Suppose -5*w + 16 = 4*a, 3*w - w - 5*a = 13. Let o(s) = 21*s + 24. Is o(w) a multiple of 9?
True
Is 9 a factor of (-1374512)/(-66) - (-172)/2838?
True
Let b be (-261)/58*4/(-6). Suppose -11*j + 15*j - b*g - 348 = 0, -4*j + 348 = -4*g. Does 3 divide j?
True
Suppose -7*r + 11*r = 2*a - 13580, -6790 = -a + 5*r. Is 10 a factor of a?
True
Is 5 a factor of (2254/35)/((-4)/(-20))?
False
Suppose -5*g - 5 = 0, 42*j = 44*j + 5*g - 5215. Suppose -j = -4*u - 83*l + 81*l, 2*l = 4*u - 2622. Is 6 a factor of u?
True
Suppose 16*f = 24*f - 24. Suppose -g + 795 = -5*a - 305, -2*g = f*a - 2161. Is g a multiple of 31?
True
Let q(u) = 5*u**2 + 154*u - 354. Is q(-42) a multiple of 37?
True
Let u(f) = 163*f + 27. Is 82 a factor of u(27)?
True
Suppose -5*v - 3*o + 778 = 0, 5*o - 378 = -4*v + 247. Is v a multiple of 15?
False
Is 14 a factor of -18505*(-132)/240 + (-2)/(-8)?
True
Let l = -52 + -55. Let d = 197 + l. Does 10 divide d?
True
Suppose -28234 = -5*o - 4*r, 1990 - 7656 = -o + 4*r. Is 112 a factor of o?
False
Let b(z) = -69*z + 29. Let l(t) = t**3 - 33*t**2 - 35*t + 28. Let p be l(34). Is 24 a factor of b(p)?
False
Let t(l) = -l**3 + 10*l**2 + 10*l - 4. Let s = 163 + -153. Is t(s) a multiple of 21?
False
Suppose -16*y = -15*y - 4*n - 5913, -11817 = -2*y - n. Is y a multiple of 23?
False
Suppose 5*t - 40608 = -3*z, 2*t + 16260 = 4*t - 3*z. Suppose 15*j - 31839 = -t. Is 17 a factor of j?
True
Suppose -4*x - 5*s + 600 = -3*s, -s + 4 = 0. Let i = 261 - x. Let a = i + -71. Is a a multiple of 19?
False
Let q(a) = 3*a**2 + 20*a + 145. Let f be 494/(-19)*(-4)/(-8). Is 28 a factor of q(f)?
True
Let i(l) = l**2 + 2*l - 81. Let g be i(-11). Suppose -u - 544 = -g*u. Is u a multiple of 6?
False
Let b be -117*(6 + -7) - 1*2. Let r = -22 + b. Suppose 2*m - 73 = -4*u + 119, -m + r = u. Is 18 a factor of m?
True
Let s = 59819 - 25874. Suppose -35*f = -66*f + s. Is f a multiple of 13?
False
Suppose -2*y - 179*q + 177*q + 768 = 0, 0 = -3*y + 4*q + 1110. Does 27 divide y?
True
Is 28797/3 - (4 + (-12 - -5)) a multiple of 6?
False
Let s = -212 - -214. Suppose 5*r - 4*j = 395, 2*j = 2*r - s*j - 170. Is 5 a factor of r?
True
Suppose 0 = -5*z, 3*z - 5*z = -5*i + 2*z + 24920. Does 8 divide i?
True
Let z be 6/(-4)*2 - (-2 + -1). Suppose -5*m + 70 + 110 = z. Let k = m + -13. Does 8 divide k?
False
Suppose -q + 8 = 3*q + 5*g, q - 2*g = 2. Is -23*(-4)/q + 6 a multiple of 8?
False
Suppose 4*m - 10793 = -5*u + 24976, 0 = -5*m - 7*u + 44715. Is m a multiple of 23?
False
Let d be ((-15)/(-4))/((-31)/248). Let p = 35 + d. Suppose -3*q - 13 - 96 = -2*m, -p*q = -m + 65. Is m a multiple of 20?
False
Suppose 4 + 64 = f. Let b = f - 40. Is 3 a factor of b?
False
Suppose -3*q - 10 = -5*q. Suppose -6820 = -395*d + 384*d. Suppose -4*v + q*y = -41 - 464, -5*v + 4*y = -d. Is v a multiple of 20?
True
Suppose -78*b = -69021 - 18885. Does 5 divide b?
False
Suppose -4*d = 3*t + 22, -5*t - 12 = -2. Let o be -4*(165/(-20) - d). Let w = 24 - o. Does 7 divide w?
True
Let u(r) = r**2 - 5*r - 10. Let s be u(7). Suppose -s*b + 0*b + 3*a + 9 = 0, 4*a = 4*b - 8. Suppose 0 = -b*c + 2 + 31. Is 9 a factor of c?
False
Let i be 315/(-49) - -6 - 286/(-14). Let f = i + 24. Suppose -38*b - 18 = -f*b. Is 2 a factor of b?
False
Let k(b) = b**2 + b + 11. Suppose -8*u + 56 = -u. Let f = -17 + u. Is 15 a factor of k(f)?
False
Let s(m) = 4*m + 9. Let z be s(19). Let y be (5/(-10))/(1/(-8)). Suppose -y*i + z + 215 = 0. Is i a multiple of 25?
True
Let n(y) = -y**3 + 10*y**2 + y - 8. Let v be n(10). Let d = 36 - v. Suppose -3*i + 0*m + d = -4*m, -3*i + 14 = m. Is 6 a factor of i?
True
Let q(d) be the second derivative of 11*d**3/2 + d**2 + 142*d + 7. Suppose -1 + 0 = -a. Does 5 divide q(a)?
True
Is 3 a factor of (22 + -1)/(550/(-70) - -8)?
True
Let w = -27 + 30. Suppose -2 = w*i - 4*s, 3*s = 5*i - 0 - 4. Is (16/3)/(i/21) a multiple of 14?
True
Let c be 2 + 2 + -3 + 2. Suppose c*i = -i - 452. Let n = -97 - i. Does 16 divide n?
True
Let b be -5*(14/(-28))/(1/2). Let i be (5 - 6) + (1 + 0)*b. Suppose 3*f + 2*n = 6*n + 132, 88 = 2*f + i*n. Is f a multiple of 4?
True
Let y = 15047 - 3709. Is y a multiple of 33?
False
Is 566*(4*11/(-264))/(2/(-30)) a multiple of 5?
True
Suppose -672*f + 147191 = -661*f. Is f a multiple of 96?
False
Suppose 75 = 15*a - 10*a. Suppose -5*u = -2*u - 2*f + a, 20 = -4*u - 3*f. Is 14 a factor of 121 - (-5 - (u + 5))?
True
Let a = 17267 + -15501. Does 18 divide a?
False
Suppose -55*k - 17*k = 25*k - 74787. Is 50 a factor of k?
False
Let j(y) = 125*y + 12679. Is 3 a factor of j(-94)?
False
Suppose -20003 = -5*q + w, 673*w + 4007 = q + 676*w. Is q a multiple of 35?
False
Let r(m) = m**2 - 131*m + 315. Is r(-9) a multiple of 9?
True
Suppose j - k - 8 = 0, -j = -7*k + 3*k - 17. Let i(u) = 10*u - 13. Let g be i(j). Suppose -r + g + 4 = 0. Does 15 divide r?
False
Suppose 70*p - 75*p = -3620. Let s = p + -572. Is 6 a factor of s?
False
Suppose 4*m + 2*n - 8 = 0, 0*m + 2*m - 5*n = 28. Suppose -y + 3*a - 2 = 11, 2*y = m*a - 18. Is 5 + (-4 - y) + 264 a multiple of 19?
True
Let d(w) be the third derivative of w**5/20 + 5*w**4/6 + 91*w**3/6 - 29*w**2. Is 9 a factor of d(-11)?
True
Let g(s) = s**2 + 21*s - 8. Let j be g(-10). Let f = 118 + j. Let u(q) = q + 194. Does 23 divide u(f)?
False
Let q(b) = -b + 15. Let t be q(11). Let d = t + -7. Let v(w) = -4*w**3 - 2*w**2 + 8*w + 6. Is 17 a factor of v(d)?
False
Let s(x) be the third derivative of -15*x**4/8 + 5*x**3/6 + x**2 - x. Does 17 divide s(-1)?
False
Is 16777/11 + 1864/(-10252) a multiple of 52?
False
Suppose 26*i - 5*t = 24*i + 1712, 0 = -2*i + 3*t + 1700. Is 29 a factor of i?
True
Let m = -423 + 927. Suppose 3*s + 261 = -4*q + 928, 3*q - m = -s. Let x = q - 90. Does 41 divide x?
False
Let v(a) = -5*a - 32. Let c be v(-3). Does 17 divide (30*10/(-6))/(2/c)?
True
Suppose -59*j + 63*j = -2*o + 70, 0 = -2*o - j + 70. Suppose 40*i = o*i + 2880. Is 8 a factor of i?
True
Let b = 12614 + -5071. Does 99 divide b?
False
Suppose 9*o - 5643 - 9765 = 0. Suppose 4*m - 5*m = -d + 570, -3*d + 2*m = -o. Is d a multiple of 26?
True
Suppose -47 = 16*l + 20 + 29. Suppose 4*y + 4*x = 52, -3*x = -4*y + 60 + 6. Does 5 divide 62 - (l + y/5)?
True
Suppose -3*j + 27 = -2*q, 2*j + 0*j - 18 = -5*q. Suppose 513 = j*v + 36. Is 19 a factor of v?
False
Let v(y) = 2*y**2 + 7*y + 8. Let o be v(-8). Let r = 84 - o. Let f(s) = -s + 28. Is f(r) a multiple of 6?
True
Let b(v) = v**3 - 27*v**2 + 79*v - 53. Let k(s) = -66*s - 173. Let t be k(-3). Is b(t) a multiple of 56?
True
Suppose 2*j - 58 = 2*m, 2*j + 4*m - 75 = -5. Suppose -4*r - j = -39. Suppose -5*g + 2*c + 259 - 41 = 0, 3*g = -r*c + 118. Is 6 a factor of g?
True
Let g = 51 + -73. Let w(c) be the second derivative of -13*c**3/6 - 31*c**2 - 74*c. Is 11 a factor of w(g)?
False
Suppose -35 = 6*b - 13*b. Suppose b*f - 3499 = -13559. Is -3*(f/36 + (-8)/(-36)) a multiple of 13?
False
Suppose 107*a - 15987 = 7299 + 50544. Is 5 a factor of a?
True
Let x(g) = -g**3 - 18*g**2 + 18*g + 59. Let o = -97 + 97. Suppose 3*s = -2*z - 23, o*z + 5*s + 51 = -4*z. Is 5 a factor of x(z)?
False
Let c(j) = -j**2 - 11*j - 25. Let o(l) = -l**2 + 4*l + 15. Let v be o(7). Let h be c(v). Suppose 0 = h*p - 11 - 94. Is p even?
False
Let j = -208 - -218. Suppose -j*a = -2*a - 784. Is a a multiple of 5?
False
Let b be (0 - -1)*(-4)/12*9. Is (-88)/(b*1*(-4)/(-12)) a multiple of 22?
True
Let y be (5 - 483/56) + 3/(-8). Does 64 divide (-762)/4*(-8 - -6) + y?
False
Let l = 40524 + -15504. Does 12 divide l?
True
Let m(l) = 234*l + 1. Let p be m(1). Let u = p + 7. Does 22 divide u?
True
Let h be ((-2)/(-3))/((-20)/(-2250)). Suppose 880 = -4*x + v, -3*v - h = 4*x + 805. Is (88/(-