5*v. Suppose -5*r + 10 = 0, -f + v*r + 315 = 27. Is f a multiple of 37?
True
Let f be ((0 - -6) + 10)*(-1)/(-2). Suppose 0 = -a + 2*a - 3*o - f, a = -o. Suppose -a*z - 3*t + 204 = -2*t, -5*t = -4*z + 408. Does 9 divide z?
False
Let z(i) = 691*i**2 + 8*i - 43. Does 10 divide z(3)?
True
Is -2 + -7 + 5828 + (-1 - 0/(-3)) a multiple of 10?
False
Let x(q) = 76*q - 120. Let i(b) = 76*b - 121. Let m(h) = -4*i(h) + 5*x(h). Is m(4) a multiple of 6?
False
Let r(t) = -t - 2. Let f(h) = -158*h - 121. Let s(z) = -f(z) - 4*r(z). Does 95 divide s(8)?
True
Let s(r) = -r**3 + 12*r**2 - 2*r + 1. Let h(d) = 9*d - 248. Let v be h(28). Does 7 divide s(v)?
False
Suppose 3*c = 6, 5*l + c - 89 = -c. Suppose k + l - 33 = 0. Is 28 a factor of 74/1 + 1*k/4?
False
Suppose -6*l - 3326 = 2692. Let k = -857 - l. Is k a multiple of 73?
True
Suppose b + 4*f - 9403 = 0, -4*b + 0*f + 37540 = 4*f. Is b a multiple of 28?
False
Let n(p) = 3*p**3 - 11*p**2 + 2*p + 132. Is 15 a factor of n(14)?
False
Let j = -7 - -7. Suppose j = 6*b - 16 + 4. Is 4 a factor of -36*(-1 + 3 + b + -5)?
True
Suppose 0 = 3*p - 56 + 29. Suppose p*x - 356 = 2884. Is 12 a factor of x?
True
Suppose 85 - 13 = -18*v. Is (-1582)/(-21)*(-6)/v a multiple of 2?
False
Let g = -38776 + 55616. Is 4 a factor of g?
True
Let t(n) = 2*n**2 - 9*n - 6. Let j(d) = -2*d**2 - 11*d - 6. Let y be j(-6). Is t(y) a multiple of 15?
True
Let y = 11590 + -7906. Suppose -2204 = -3*m - 2*a - 2*a, -y = -5*m - 4*a. Suppose -24*j + 22*j + m = 0. Is 37 a factor of j?
True
Let x(v) = 3*v + 2181. Is x(106) a multiple of 17?
True
Suppose g + 5*s - 1903 - 687 = 0, 2*g + 5*s - 5150 = 0. Is g a multiple of 64?
True
Let d(a) = 2062*a**3 + a**2 - 24*a + 24. Is d(1) a multiple of 23?
False
Let d(m) = 6*m**2 - 8*m + 31. Let u be d(-6). Suppose 2*s = t - 52, -34*s + 37*s + u = 5*t. Is 31 a factor of t?
True
Let m(t) = -6*t**2 + 13*t**2 + 4*t + 6 + 2*t**2. Let o be m(-3). Let b = 127 - o. Is b a multiple of 13?
True
Suppose -739 = -5*s - 704, 3*s - 11781 = -q. Is 16 a factor of q?
True
Suppose 2*j - 5*h = 1728, -2*h + 1244 = 2*j - 484. Is j a multiple of 10?
False
Suppose 496*z - 4*x - 70496 = 492*z, 4*z = 3*x + 70497. Is 125 a factor of z?
True
Let c(s) = 114*s**3 - 3*s**2 + s - 2. Let w be c(2). Let b = w + -455. Suppose 5*l = 4*z + b, -2*l = l + 3*z - 240. Does 11 divide l?
False
Let l be 6*(2/(-3))/(-1). Suppose 4*r = -2*o - 160, -5*o - 430 = l*r - 9*r. Let h = o - -99. Does 7 divide h?
False
Let x(q) = -4285*q - 1432. Is x(-10) a multiple of 234?
True
Let x = -32 + 43. Suppose -x*g + 12*g = -1, -1920 = -5*h - 5*g. Does 15 divide h?
False
Let b = -8853 + 11756. Does 4 divide b?
False
Let r(m) = 111*m**3 + 7*m**2 + 21*m - 8. Let n(v) = 55*v**3 + 3*v**2 + 10*v - 4. Let o(a) = 9*n(a) - 4*r(a). Is o(1) a multiple of 13?
True
Let h = -6066 - -9636. Is 26 a factor of h?
False
Suppose 17 = 11*l - 27. Suppose -2*c + l*b = -492, -3*b + 116 = -3*c + 857. Is 6 a factor of c?
False
Let c be 14/(-6) - (-12100)/30. Suppose 0 = -6*i + 403 + c. Is 24 a factor of i?
False
Suppose 16*f + 666 = 19*f. Let v = 356 - f. Is v a multiple of 12?
False
Suppose -4 + 70 = 11*l. Suppose -l*r = 13*r + 190. Is 4 a factor of r/(-14) + -1 + 792/28?
True
Let c(b) = -7*b + 4. Let u be c(-5). Let p = 39 - u. Suppose 2*m - 6 = p, 2*d - 32 = -2*m - 0*m. Is d a multiple of 8?
False
Let d(g) = -3*g**2 - 14*g + 18. Suppose -3*o = 2*n + 39, 10*n + 13 = -o + 5*n. Let z be d(o). Let f = z + 529. Does 11 divide f?
False
Is 28 a factor of (-56)/16*853*10/(-35)?
False
Suppose 2*r = -4*f + 9 + 19, 56 = 4*r + 4*f. Suppose r*q + 16 = 16*q. Let d(n) = 5*n + 27. Is 14 a factor of d(q)?
False
Suppose -v - x - 10 = 0, 7 - 26 = v + 4*x. Is 9 a factor of 228 - (-7 - (v + -7))?
False
Suppose -466 = -6*r - 1294. Let x = r + 162. Does 5 divide x?
False
Let k = -20 - -46. Suppose 4*r + 4*c - 38 = k, 3 = 3*c. Suppose 85 - r = 7*h. Does 7 divide h?
False
Suppose 6 = -2*n + 78. Let u(m) = -3*m + 2. Let r be u(0). Suppose 0 = r*y - 16 - n. Is y a multiple of 10?
False
Suppose 3*i + k + k = 250, 1 = -k. Suppose -499 = 14*o - 569. Suppose w + 3*u - i = 5*u, -254 = -3*w + o*u. Does 22 divide w?
True
Suppose 13*y - 17*y + 524 = 0. Suppose 12*a + 47 - y = 0. Is 5 a factor of a?
False
Let q = -7338 + 7787. Does 13 divide q?
False
Let r = 204 - 350. Let v = -114 - r. Is 2 a factor of v?
True
Let l(k) = 2*k**3 - 4*k**2 - 14*k + 45. Suppose -5*t + 17 = 2*x, 0 = -4*t + 6*t + x - 6. Is l(t) a multiple of 5?
True
Suppose 493*l = 504*l - 11. Let w = -3 - -5. Is w*l/3 + 1576/12 a multiple of 22?
True
Let r = 163 - 107. Does 28 divide (9/(27/r))/(3/9)?
True
Let h be 0*(-1 + (3/(-9) - -1)). Suppose 4*w + 6 - 14 = h. Suppose -w*g = -3*u + 161, 3*u + u = 5*g + 210. Is u a multiple of 11?
True
Let d = -39270 + 92582. Does 8 divide d?
True
Let n(c) = 2*c**3 + 6*c**2 - 10*c + 7. Does 3 divide n(-4)?
True
Let c = 1074 - -1234. Does 22 divide c/5 - 58/(-145)?
True
Suppose 70*k - 54*k - 19184 = 0. Is k a multiple of 6?
False
Let v(j) = 2*j**2 + 32*j - 12. Let l be v(-15). Does 13 divide 132/(-28) + 5 - 50304/l?
False
Let k = -137 + 81. Let g = k - -60. Suppose -z = s - 199, g*s + 165 = 3*z - 397. Is 35 a factor of z?
False
Let t = -37 + 41. Suppose t*h + 2*f - 64 = 0, 0 = 7*h - 2*h - 3*f - 102. Suppose -36 = -c + h. Does 6 divide c?
True
Suppose 128*k = -9*k + 16*k + 1546622. Is 20 a factor of k?
False
Let s(o) = 119*o**2 - 31*o + 80. Is s(8) a multiple of 180?
False
Let f be (-5 + 1)/(10/530*-1). Let q(w) = w + 6. Let z be q(-6). Suppose z = 5*g + 5 + 5, -2*b + f = -4*g. Is 6 a factor of b?
True
Let c(s) = 8*s**2 - 59*s - 8. Let j = -323 - -335. Does 37 divide c(j)?
False
Let y(b) = b**3 - 41*b**2 - 31*b + 2618. Does 33 divide y(55)?
True
Let k(v) be the third derivative of -v**6/8 - v**5/12 + v**4/24 + 4*v**3 + 106*v**2. Is k(-4) a multiple of 36?
True
Let o(w) = 31*w**2 + 50*w - 15*w - 15*w - 14*w. Does 33 divide o(3)?
True
Suppose -25*q = -29*q + 2*v + 101556, 3*q = 3*v + 76164. Is 21 a factor of q?
False
Let n = 3995 + 1360. Is 21 a factor of n?
True
Let r = -34 + -46. Let y = r - -165. Suppose -y*h + 88*h = 330. Does 10 divide h?
True
Suppose 41*r + 100 = 45*r. Suppose 24 = -r*j + 27*j. Suppose -2*y = -22 + j. Does 5 divide y?
True
Suppose -u + 52 - 24 = 0. Suppose -7*o - 126 = -u. Let j = o - -28. Does 2 divide j?
True
Suppose -2*g + 509 + 5979 = 0. Suppose 14334 + g = 47*d. Is d a multiple of 17?
True
Suppose 2*z = z - 4, 0 = -3*p + z + 2377. Suppose -p = -12*a + 313. Is 23 a factor of a?
True
Let b = -54 + 144. Suppose 6*c = 7*c - b. Is 10 a factor of c?
True
Let d be 103/(-2)*2/(-1). Suppose 15 = 2*l + 5*q, 77*l - 82*l - q = -95. Let m = d + l. Is m a multiple of 29?
False
Let s(r) = -9*r**3 - 5*r**2 - 76*r - 398. Is s(-8) a multiple of 26?
True
Let t(v) = 45*v. Let o be t(-1). Let w(l) = l**3 + 51*l**2 + 98*l - 27. Let f be w(-49). Let i = f - o. Is i a multiple of 7?
False
Let r be (4/(-8))/(2/(-8)). Suppose -2876 + 966 = -r*d + 2*a, 3*d + a - 2853 = 0. Does 56 divide d?
True
Let t(l) = -l**2 + 8*l + 19. Suppose -3*i + 5*u = -26, 30 = 3*i - 2*u - u. Let n be t(i). Let y = n + 40. Does 6 divide y?
False
Let n(q) = 6*q**3 - 9*q**2 - 9*q - 4. Let a be n(7). Suppose 6*i = a + 478. Is 26 a factor of i?
True
Let n = 489 - 487. Is (4/n + 178)*1 a multiple of 2?
True
Let d(a) = 2*a + 125. Let l(b) = b**2 - 9*b + 31. Let y be l(9). Does 59 divide d(y)?
False
Let m(o) = o**3 - 6*o**2 + 3*o - 5. Let d(r) = 4*r**3 + 2*r**2 - 1. Let g be d(1). Suppose 2*n + 28 = 4*x, -3*x - 7 = -4*x - g*n. Is 8 a factor of m(x)?
False
Let l = 13579 + -6187. Is 154 a factor of l?
True
Suppose -4*j + 12 = 20. Let c = 42 + j. Suppose -35*x = -c*x + 385. Is 9 a factor of x?
False
Let l be 11/3 - 3 - 12/(-9). Suppose -5*d + l*k = -1416, 2*k = -2*d + k + 561. Is d a multiple of 61?
False
Let u(a) = -8*a**3 + a**2 + a + 3. Let g(m) = -7*m**3 + m**2 + 2*m + 3. Let x(v) = 6*g(v) - 5*u(v). Is 15 a factor of x(-3)?
True
Is 19 a factor of (-4 + (-6926)/4)/((63/(-40))/21)?
False
Let i = -76 + 99. Suppose 2*u - i = 5*t, 4*u + t + 0*t = -9. Is (0 - 3/u)/((-3)/(-108)) a multiple of 36?
True
Let b = -1995 - -2348. Does 8 divide b?
False
Suppose -2*h - r = -h - 4, r - 32 = -5*h. Let b(z) = 28*z - 121. Is b(h) a multiple of 25?
True
Let f = 131 + -92. Let z(i) = -i