 1326 = -37*o. Let d = o - -756. Is d a multiple of 7?
False
Suppose -136*g - 52098 + 521298 = 0. Is 50 a factor of g?
True
Let y(c) = 3*c**2 - 32*c + 3. Let u = 47 + -32. Let x be y(u). Let l = 280 - x. Does 6 divide l?
False
Suppose 152985 = 11*l + 58088. Is l a multiple of 88?
False
Suppose -4*p - 34 = -6. Let k be (-2)/p - 190/(-70). Suppose 0 = k*v - u + 3*u - 295, 5*v - 5*u - 525 = 0. Is v a multiple of 22?
False
Let l(q) = -456*q**3 + 11*q + 20. Is 104 a factor of l(-3)?
False
Let o = -127 - -189. Let r = 90 - o. Is -1*9/(-6)*r a multiple of 7?
True
Suppose -4*d + s = -95302, -328*d + 2*s + 95300 = -324*d. Is 218 a factor of d?
False
Let k(z) = -5*z + 6. Let u be k(2). Let v(m) = -11*m - 35. Let d be v(u). Does 13 divide (-18)/(-3)*6/d + 126?
True
Suppose 1956 = 925*t - 921*t. Is t a multiple of 29?
False
Let r(t) = -21*t - 28. Let h(k) = 2*k - 1. Let z(w) = -3*h(w) - 3*r(w). Does 27 divide z(7)?
True
Is (-236082 + 7)/(-5) - (-26 + 6)/(-5) a multiple of 16?
False
Let v(z) = -26*z**2 + 4*z + 1. Let r be v(2). Let d = 239 + r. Is d a multiple of 9?
True
Suppose -25 = 5*z, -4*f = -0*z + 3*z - 25. Suppose 4*t - 4*m - 12 = 4, -f = -2*t + 3*m. Suppose -5*w - 130 = -3*h, -5*h - 69 = t*w - 265. Is 26 a factor of h?
False
Let r(w) = -2*w**2 + 28*w + 2. Let f be r(14). Suppose -3*m = -f*o + 11, 0*m + m = -5*o + 19. Suppose -296 = -o*i + 2*u, 4*u - 25 = -9. Is 19 a factor of i?
True
Let q = 6221 + -3354. Does 47 divide q?
True
Suppose -11*f + 7*f = 60. Is 22 a factor of (396/(-5))/(((-3)/f)/(-1))?
True
Let c(n) be the first derivative of -11*n**2/2 - 41*n + 1. Let o be c(-7). Does 31 divide 22/o*272 - (-4)/(-18)?
False
Let u(r) = -5*r**2 + 127 + r**2 - 33*r - 102. Let a be u(-16). Let g = -237 - a. Does 26 divide g?
True
Let y = -57 + 89. Is y a multiple of 8?
True
Let s(h) = 509*h**2 - 3*h - 2. Let l(f) = -f**3 + 7*f**2 + 78*f - 1. Let j be l(13). Does 4 divide s(j)?
False
Let s be (1461/(-12))/(11/(-44)). Let z = -305 + s. Does 4 divide z?
False
Suppose 10*l + 88 = 21*l. Suppose 817 = l*h + 49. Does 16 divide h?
True
Suppose 42387 = 8*j + 10755. Does 6 divide j?
True
Let h(t) = t**2 - 34*t - 3. Let l be h(34). Does 36 divide (-15 + l)/((-5)/270)?
True
Suppose -3130 - 881 = -21*x. Is 2 a factor of x?
False
Suppose -4*h - 4 + 24 = 0. Let m(v) = -13 - 6 - h - 6*v + 1. Is m(-9) a multiple of 11?
False
Let d(x) = 3*x**3 + 2*x**3 - 1 + 2 - 10*x**2 - 8*x**3 + 2*x. Let o be d(-5). Let q = o - 81. Is q a multiple of 8?
False
Let d be ((-4)/(-3))/(-3 + (-55)/(-15)). Suppose d*m + m + 2406 = 4*u, 3*m + 1206 = 2*u. Is u a multiple of 12?
True
Suppose -3*l - 3*b = -l - 36, 0 = 3*l - 4*b - 88. Suppose l = -4*g - 2*i, -4*i + 8*i = 2*g + 32. Is 28 a factor of 6/(-24) - 1106/g?
False
Let a(u) = -14*u - 372. Is a(-42) a multiple of 6?
True
Let y = -76 + 76. Suppose y = -j + 54 - 51. Suppose -c + 4*c + 3*z = 519, j*z = -4*c + 688. Does 14 divide c?
False
Let l(r) = -r**3 - 22*r**2 - 4*r + 26. Let y = 56 - 65. Let m be 22/(((-3)/y)/((-3)/9)). Is 19 a factor of l(m)?
True
Suppose -151*y = 57*y + 132444 - 1816828. Is 11 a factor of y?
False
Suppose -8 + 4 = 2*w, -3*b + 250 = 4*w. Suppose 712 + 263 = 5*f. Let q = f - b. Is q a multiple of 26?
False
Suppose -5*u + 4*q = -83438, 0 = 73*u - 76*u + 4*q + 50050. Is 49 a factor of u?
False
Suppose 0 = -6*r + 2*r - 64. Is 1/4 - 1676/r a multiple of 21?
True
Let c be 39/(18/10*(-40)/(-24)). Suppose 10*v - c*v = -6, 0 = 4*a + 4*v - 652. Is a a multiple of 24?
False
Let j(k) = 1091*k**2 + 62*k + 132. Is j(-3) a multiple of 50?
False
Let d be 7936/6 + (-4)/48*-4. Suppose 0 = -32*c + 39*c - d. Does 21 divide c?
True
Suppose 4*m = -41 + 49. Suppose 5*w - 540 = -2*p + p, -m*w - 1116 = -2*p. Suppose 3*v + v + 210 = 2*z, -5*z = 5*v - p. Is 13 a factor of z?
False
Suppose 629066 - 85748 = 94*q - 263390. Does 83 divide q?
False
Let i(k) = k**3 - 21*k**2 - 47*k - 61. Let z be i(23). Suppose 5*v = -0*v + 1085. Let s = v + z. Does 35 divide s?
False
Is 10/(-2) + (3 - 12 - -16)*2507 a multiple of 123?
False
Suppose -3*m + 11 = 2*d, 2*d + 2*m = -0*m + 8. Is 424 + d + 0 + 0 a multiple of 12?
False
Let p(i) = i**3 - i**2 - 6*i - 7. Let a(c) = 2*c**3 - c**2 - 5*c - 6. Let x(j) = -2*a(j) + 3*p(j). Is x(-6) a multiple of 45?
False
Let w(t) be the second derivative of 2*t**3/3 - 26*t**2 + 23*t. Let m be w(-19). Let h = m + 260. Is h a multiple of 12?
True
Does 245 divide (-29718520)/(-1005)*(-3)/(-4)?
False
Let q = 1953 - 1721. Is q a multiple of 116?
True
Let w(l) = 2*l**3 + 41*l**2 - 159*l + 26. Let c(r) = -r**3 - 39*r**2 + 158*r - 27. Let z(o) = 3*c(o) + 2*w(o). Does 40 divide z(31)?
False
Suppose -29 = g - 367. Suppose m - 3*o = 4*m - 1032, m - g = o. Is m a multiple of 47?
False
Let y(o) = -o**2 + 9*o + 16. Let u be y(6). Suppose -1089 = 25*f - u*f. Is f a multiple of 10?
False
Suppose 6*x + 371 = 119. Let q be 2*3/(-12) + x/4. Let v = q + 36. Is v a multiple of 25?
True
Let c = -41 - -37. Let k be (-6)/4*((-132)/18 - c). Suppose q + 4*b = k*q - 24, -2*b = -2. Is 5 a factor of q?
False
Suppose 4*x - 864 = -66*j + 69*j, 216 = x + 3*j. Is x even?
True
Suppose 0 = -5*v + 2*n - 105 + 2, -4*v = -3*n + 88. Let x(c) = -30*c + 27. Let k be x(0). Let p = k + v. Is p a multiple of 2?
True
Let y(h) = 5*h - 1. Let n be y(-1). Let u(s) = 4*s**2 - 3*s - 12. Let x be u(n). Suppose -3*p + 126 = 3*d, -4*d + x = 4*p - 9*p. Is d a multiple of 29?
False
Suppose -4*g + 5981 = -3*l, -5*g + 5*l - 2206 = -9686. Suppose -9*y - 341 + g = 0. Does 10 divide y?
False
Does 34 divide (2*(-136)/10)/((-4)/2890)?
True
Let s(z) = 13242*z - 631. Does 65 divide s(2)?
False
Let n be 1 - (5/(-10))/(1/2). Let b be (((-42)/n)/7)/((-6)/26). Suppose b*u - 666 = 10*u. Does 45 divide u?
False
Let q(i) = -12*i**2 - 61 + 17*i**2 + 5*i + i - 3*i. Is 71 a factor of q(7)?
False
Let i(m) = -4*m**2 + 23*m - 5. Let s be i(8). Let r = s + 102. Is r a multiple of 25?
True
Let a = -71 - -42. Let y = 71 + a. Does 5 divide ((-80)/(-14))/(12/y)?
True
Let n(t) = -t**3 - t**2 + 3*t + 593. Let p be n(0). Let r = -261 + p. Is r a multiple of 40?
False
Suppose 3*k + 23*n = 25*n + 5852, 5877 = 3*k + 3*n. Is 96 a factor of k?
False
Is (-471192)/(-29) + (-6)/3 + 3 a multiple of 22?
False
Let f be 0*(1 + 0/(-3)). Does 22 divide ((-636)/(-6))/(2 + -1 + f)?
False
Let b(z) = 11*z**3 + 8*z + 7. Suppose 5*j = -3*j + 24. Is b(j) a multiple of 32?
False
Suppose -5486 = 31*q + 1179. Let s = q + 459. Does 18 divide s?
False
Let a = 135 - 106. Suppose 40 = a*m - 21*m. Does 2 divide m?
False
Suppose 2*b = -a + 6, a - b = -6*b + 9. Does 3 divide (-1)/(30/a) + 54352/1290?
True
Let f = -12247 + 21454. Is f a multiple of 279?
True
Is 13 a factor of 10*8/(-240)*-6459?
False
Let k = -3764 - -5420. Is 36 a factor of k?
True
Suppose 11*v + 29150 = 17*v + 3230. Does 15 divide v?
True
Let q(y) = -y**2 - 12*y + 327. Let d be q(-25). Suppose 14*m - 4536 = d*m. Does 5 divide m?
False
Let o(k) = -k**3 - 3*k**2 + 2*k - 6. Let z be o(-5). Let r = z + -29. Suppose -r*n + 70 = 5*x, n + 52 = 5*n + 3*x. Does 10 divide n?
True
Suppose -j + 2*n + 20 = j, -3*j + 16 = 4*n. Let o(w) = -10 - 14 - 19*w**3 + 10*w**2 - 15*w**2 - 3*w + 17*w**3 + 3*w**3. Is o(j) a multiple of 16?
True
Suppose -265*l - 10536 = -289*l. Is 2 a factor of l?
False
Let j(n) = 267*n**2 + 839*n - 8253. Is j(10) a multiple of 24?
False
Let c(l) = -l**3 - 13*l**2 + 226*l + 24. Is 2 a factor of c(-23)?
True
Does 87 divide ((-524)/(-7) + -2)/(2*(-3)/(-140))?
False
Let b be (-6 + 4)*((-3)/(-1) - 5). Suppose 5940 = 15*q - b*q. Is 9 a factor of q?
True
Let c = -557 + 830. Let l = 271 + c. Does 16 divide l?
True
Suppose -j + 418 = -i, -3*j - 5*i + 306 = -916. Let a(w) = -w**2 - 3*w + 4. Let k be a(6). Let c = k + j. Is c a multiple of 52?
True
Let y(w) = -18*w - 41. Let n(b) = -37*b - 81. Let u(k) = -6*n(k) + 11*y(k). Is 25 a factor of u(10)?
True
Let j = 625 + -622. Let u(f) = -61*f + 13. Let x(a) = -61*a + 14. Let v(y) = -5*u(y) + 4*x(y). Is 30 a factor of v(j)?
False
Let v be 2/((7/(-2))/7). Let i(r) = -r - 19. Let y(t) = 6*t + 95. Let h(s) = v*y(s) - 22*i(s). Is 8 a factor of h(15)?
True
Suppose 2*o + t - 28209 = 0, -4*o + 6*t + 58502 = 2076. Is o a multiple of 217?
True
Let b be (94/(-4))/((-7)/154). Let o = 593 - b. Does 22 divide o?
False
Let s = -651 - -11662. Suppose 