n = 50 - t. Does 36 divide n?
False
Let f(y) = 159*y + 69. Let o be f(9). Suppose l - 352 = -5*h, 3*l + o = 7*l - 3*h. Does 9 divide l?
False
Let t(l) = -12*l**2 + 2*l**2 + 11*l**2 + 64 - 7*l. Is t(20) a multiple of 18?
True
Suppose 6*i - 227*i + 1837734 = -6040474. Is 78 a factor of i?
False
Let l(y) = 7 - y**2 - 10*y - 22 - 1. Let c be l(-7). Suppose -c*p + 4*a + 1166 - 359 = 0, -3*a - 9 = 0. Is 22 a factor of p?
False
Let v be ((-8)/4)/((-11)/(2937/(-6))). Is 20 a factor of (12 - 6 - 7)*v?
False
Suppose -28 = 5*t - 9*t. Let u(l) = l + t + 11 + 6*l - 2*l. Is 61 a factor of u(33)?
True
Let v(m) = 2*m**2 + 2*m + 6. Let w be v(-4). Let x be ((-1)/3)/(3/(-18)) + 40. Let t = x - w. Does 12 divide t?
True
Is (94/6)/((19/24396)/((-4)/(-16))) a multiple of 5?
False
Let r(a) = -19*a - 38*a - 13 - 11*a. Let b be r(-6). Let s = b - 219. Does 29 divide s?
False
Let t = 60 - 54. Let k be 43/(27/33 - t/(-33)). Is 12 a factor of (k - -3) + (0 - 3 - -1)?
False
Let q = 31244 + -6923. Does 121 divide q?
True
Let y(l) be the first derivative of -l**2/2 - 1. Let q be y(-1). Is 5 a factor of (45 + 5)*((-5)/(-2) - q)?
True
Suppose 9*c - 4*c - 3*z + 15 = 0, c + 11 = -z. Let w = -14 - c. Let v = w - -15. Is 3 a factor of v?
False
Suppose -16 = -4*m, 0 = -f - m + 2*m - 1. Suppose 0 = f*b - b + 72. Let y = 82 + b. Is y a multiple of 7?
False
Suppose -10*c + 7*c = -y + 25, -2*c = y. Suppose 11*p = y*p + 65. Suppose 0 = f - 0*f + 5, -h = 5*f - p. Is 37 a factor of h?
False
Is -5 + 9 + (-14)/7 + 8408 a multiple of 5?
True
Let t(x) = 935*x**2 - 40 - 21*x - 9*x - 947*x**2 - 4*x**3. Does 52 divide t(-6)?
True
Let d(w) = -618 + 41*w + 1169 - 604. Does 60 divide d(13)?
True
Let h be 10/20*(21 - 3). Suppose h*l - 15*l = -1332. Is l a multiple of 44?
False
Suppose -8*x - 2*x - 2828 + 17828 = 0. Is 12 a factor of x?
True
Let z(u) = 7*u + 896. Is z(17) a multiple of 29?
True
Let k(x) = 7*x + 26. Let r be k(7). Let n = -72 + r. Suppose -136 = -n*o + o. Is 4 a factor of o?
True
Let r(n) = 3*n**2 - 22*n. Let j(t) = -5*t**2 + 43*t + 1. Let x(k) = 4*j(k) + 7*r(k). Let u be x(-18). Does 8 divide (-102*(-2)/u)/((-6)/(-16))?
True
Suppose 2*r + 2*o - 116 = 0, 2*r - 43 = r - 4*o. Suppose -c - 5*a = -r, -5*c = 4*a + 189 - 504. Does 24 divide c?
False
Suppose -5*b = 3*y - 217, 40 = 5*b + 15. Let z = 65 - y. Is 10 a factor of (-1 - -19)*z - (-4 - -2)?
True
Suppose -p + 0 = 26. Let s be ((3 - 12/4) + -28)/(-2). Let q = s - p. Is 8 a factor of q?
True
Let m = 5105 - 850. Is m a multiple of 32?
False
Suppose -84*c - 79*c + 164*c = 2364. Is 6 a factor of c?
True
Let c be (-14)/21 + 2416/(-12). Is (c/(-3))/(6/45) a multiple of 46?
False
Does 41 divide (0 - 278)/(66/1001 - (-2)/(-14))?
False
Let v(o) = -4*o**2 - 9*o - 5. Let n be v(-2). Does 16 divide 432/15*(n + (-8)/(-1))?
True
Suppose 6*d - 22*d = -48. Suppose 0*o + o = -d, 5*z - o = 918. Is 49 a factor of z?
False
Let z(s) = 0*s**2 + s**2 - 23 - s**3 + 5*s + 20. Let w be z(-3). Suppose -w*j = -22*j + 128. Is j a multiple of 4?
True
Let v(i) = -i**3 - 3*i**2 + i + 3. Let o be v(-6). Let q = o - 68. Let h = 55 - q. Is h a multiple of 3?
True
Let u(f) = f**3 - 14*f**2 + 2*f - 9. Let w be u(11). Is 10 a factor of (-1 - 3)/(7/w)?
True
Suppose -14*r + 18*r = 292. Suppose r*m + 420 = 74*m. Is m a multiple of 15?
True
Suppose 32 = 3*o - 124. Suppose 7*k + 17 - o = 0. Suppose -74 = -q - 2*x, -290 = -2*q - 2*q - k*x. Is q a multiple of 14?
True
Suppose -2*t + 4*b = -28612, 8*b + 8810 = -t + 23086. Does 22 divide t?
True
Let i be 3/(-27) - (1 - (-276)/(-54)). Suppose -l + i*s = 1 - 416, -5*l = 2*s - 2031. Is 37 a factor of l?
True
Let p(c) = -1486*c + 473. Does 13 divide p(-2)?
True
Suppose 16370 - 1682210 = -20*l - 24*l. Does 60 divide l?
True
Suppose -8*r + 2*r + 120 = 0. Suppose -21519 = -r*y + 4481. Is 13 a factor of y?
True
Does 8 divide ((-46)/(-8))/((-21)/(-1372)) + 6/18?
True
Let s be (-7)/(-1) - 1/(2/4). Let l be s/2*18/(-15). Does 11 divide (66/(-2) - 2)*6/l?
False
Suppose -29*v + 8360 = 53*v - 27*v. Does 4 divide v?
True
Let u be (0 - 10/15)*-21. Suppose -4*w = -6*w + u. Suppose -w*x + 598 = -368. Is 22 a factor of x?
False
Let y be (495/10)/(1*3/(-56)). Does 59 divide ((-22)/(-4))/(y/(-184) + -5)?
False
Let y be (-9180)/(-24) + 1/2. Suppose 0 = -2*v + 473 + y. Does 38 divide -1*(-5)/15*(-2 + v)?
False
Suppose 1154 = 3*d - 4*n, 4*n + 1580 = 4*d + 9*n. Is 65 a factor of (d/(-9))/((-14)/21)?
True
Suppose 3*r - 8452 = 5*q - 3*q, 2*q = 2. Suppose 2*m = -3*t + 1912 + 894, -m - r = -3*t. Suppose 5*j + 3*y - t = -y, -4*j + 4*y + 736 = 0. Does 31 divide j?
True
Suppose 45 + 115 = 4*b. Let z be (46/(-3) - -2)*(-210)/b. Let j = -38 + z. Is 5 a factor of j?
False
Let c = -4 + 11. Let r(n) be the third derivative of n**5/60 + n**4/6 + 19*n**3/6 + 2*n**2 + 85. Is 16 a factor of r(c)?
True
Suppose -7*f + 2*f = -165. Let j = f + -33. Suppose j = l - 5*z - 11, 3*l + l - 2*z - 44 = 0. Is 11 a factor of l?
True
Suppose -4*n + 12612 = -3*m + 8*m, 0 = 2*n + 2*m - 6304. Suppose 0*w + 4*d + n = 4*w, -w + 783 = 3*d. Does 12 divide w?
False
Let u = -3 - -906. Suppose -5*g + 1116 = -2*a, 4*g - 2*a = 3*a + u. Is g a multiple of 6?
True
Let t be 8/6*(-9)/2. Let k(q) be the third derivative of -q**6/120 - q**5/30 + 3*q**4/8 - 11*q**3/6 + 862*q**2. Is 13 a factor of k(t)?
False
Let h = -375 + 805. Let d = h - 289. Does 47 divide d?
True
Suppose -2*y - 3*q + 2037 = -6129, 4*y - 3*q = 16314. Is y a multiple of 9?
False
Let h(b) = 3*b**2 - 9*b - 156. Let j be h(-12). Suppose -5*m = 4*u + 695, 0 = -u - 2*m + 5*m - 161. Let x = u + j. Is x a multiple of 13?
False
Let m = 40 + -16. Suppose 3*a = -a + 4*q + m, a - 2*q - 11 = 0. Let d(n) = 27*n**2 + 2*n - 1. Is d(a) a multiple of 17?
False
Suppose -5*v = 4*h - 440, 3*v - 2*h - 101 - 185 = 0. Let s be (-28)/(-16) - 2/(-8). Suppose p = -3, 0 = -s*k - p - 9 + v. Is k a multiple of 31?
False
Let v be (-12)/8 - (-84)/8. Suppose -v*w - 3*w = -2124. Is 9 a factor of w?
False
Let d(g) = 13*g + 26. Let a be d(-2). Suppose -4*s + 949 = -3*v, 5*v + 485 = -a*s + 2*s. Does 6 divide s?
False
Let y(j) = -j**3 + 9*j + 60. Does 6 divide y(-8)?
False
Suppose 0 = q + 4*z - 15, -2*z = -3*q + 2*z - 19. Let h be -1*(-4 + q/2*2). Suppose -y - 2*m = -34 - 99, 4*y + h*m - 523 = 0. Is y a multiple of 10?
False
Let n(w) = -2*w**2 - 7*w - 5. Let b be n(-3). Let f(h) = -22*h**3 - 6*h**2 - 2*h + 9. Is f(b) a multiple of 11?
True
Suppose -10 = -4*s - 2*p, -2*p - 5 = 2*s - s. Let l be (-1)/2 - 449/(-2). Suppose -l = t - s*t. Does 8 divide t?
True
Is (-34)/(-3)*(-14)/(560/(-168060)) a multiple of 54?
False
Does 18 divide (8 - (-7874 + -6)) + 18?
False
Let w(v) = 4*v**2 - 230*v + 1585. Is 4 a factor of w(7)?
False
Let c(v) be the third derivative of 83*v**6/24 + v**5/60 - 6*v**2 - 2*v. Is c(1) a multiple of 60?
False
Let p(u) = 951*u - 4053. Is 37 a factor of p(15)?
True
Let p = -20 - -20. Suppose -4*b + o + 602 = p, -b = -3*o - 2*o - 160. Does 10 divide b?
True
Suppose 17*r = 12*r + 5*b + 5920, -4*b + 1164 = r. Is r a multiple of 20?
True
Let o = -169 + 164. Let f = o - -409. Is 7 a factor of f?
False
Suppose -14*x = -11*x + 4*w - 10, -5*w = -3*x + 1. Suppose -n + 256 = x*g, 0 = -3*g + 5*g - n - 248. Is g a multiple of 11?
False
Let a be ((-1)/(-3))/((-2)/(-6)). Let t be -8*(-1)/2 + a. Let j(m) = -m**3 + 9*m**2 - 6*m + 8. Is 12 a factor of j(t)?
False
Let b = 852 - 16. Suppose -5*m + 4183 = 4*w, -b = -m + 9*w - 10*w. Is m a multiple of 26?
False
Suppose -23 = -c - 10*r + 5*r, 0 = 3*c - 5*r + 31. Let v(p) = 1 + 0 - 147427*p**2 + 147437*p**2. Is v(c) a multiple of 12?
False
Let b(g) = 2065*g**2 - 257*g - 758. Is b(-3) a multiple of 34?
True
Let o be (-648)/(-5) + ((-48)/15)/(-8). Suppose -o = -0*l - 2*l. Does 26 divide (l/10)/(1/12)?
True
Suppose 6*m = 7*m - 4592. Suppose m = 24*x - 10*x. Does 82 divide x?
True
Suppose 8232 + 8088 = 20*j. Is 6 a factor of j?
True
Let b = 8703 - -146. Does 15 divide b?
False
Suppose 39*q - 89800 = -16207. Suppose q = 3*z - 4*s, -15*z + 10*z = -s - 3162. Is 38 a factor of z?
False
Suppose -30 = -r - 7. Suppose 3*c = 2*c + r. Is c a multiple of 2?
False
Suppose 4*h = 5*h + 18. Let s(j) = -j**3 - 19*j**2 - 17*j + 59. Let r be s(h). Does 15 divide (-1 - r/(-2))*10?
True
Suppose 69996 = 119*g - 875117 + 249558. Does 78 divide g?
Fa