e of -133*f**2/2 - 35*f + 64. Is a(-3) a multiple of 13?
True
Let z be ((-4)/6)/(11/((-330)/4)). Suppose z*o + 828 = 3*v - 2*v, -5*v + 4186 = -2*o. Does 24 divide v?
False
Let i(q) = -q**3 - 8*q**2 - q - 15. Let a be i(-8). Let t(f) = -f**3 - 6*f**2 + 2*f - 6. Is 2 a factor of t(a)?
False
Suppose -8*y + 2872 = -4*y - 3*z, 3*y - 2153 = 2*z. Does 2 divide y?
False
Let t be 8/12 - (-30)/9. Suppose -4*r + t*o + 24 = 0, -r + 4*o + 16 = r. Is ((-69)/6)/((-2)/r) - -1 a multiple of 7?
False
Let z be 6*11*3/9. Let u = z + -17. Suppose 0 = -4*a + u*w - 0*w + 271, -a - 2*w = -58. Is 18 a factor of a?
False
Let s(t) = -4745*t + 30. Is s(-8) a multiple of 119?
False
Let t = 1933 + 3107. Does 120 divide t?
True
Let s be (-1090)/8 + 16/64. Let q = s + 148. Does 12 divide q?
True
Suppose -34 + 114 = -40*k. Is 34 a factor of 1 + (-1)/k*582?
False
Suppose -2*v = 3*d - 15, -4*v + 5*d - 30 = -9*v. Suppose 712 = v*s + 4*y, -2*s + 1444 = 4*s + 4*y. Does 13 divide s?
False
Suppose -2*q = -4*b - 46, -b + 49 = 3*q - 27. Let k = 27 - q. Suppose u + 30 = k*u. Does 10 divide u?
True
Let t(x) = 275*x**2 - 44*x - 223. Is t(-6) a multiple of 72?
False
Suppose -5*q + 40 = -5. Suppose 4*l - 3 - q = 0. Let g(c) = 12*c - 5. Is g(l) a multiple of 5?
False
Suppose y + 23 = 31. Does 4 divide (8 + 0/(-4))*26/y?
False
Is (-89 - -1)*(116/232 - 119/2) a multiple of 84?
False
Let l(f) = -22*f - 4. Let q(m) = -33*m - 5. Let g be (-15 - -10)/(2/(-2)). Let s(n) = g*q(n) - 8*l(n). Is 13 a factor of s(1)?
False
Is (6 - 40/(-15))*(-822)/4*-51 a multiple of 17?
True
Let p = 10660 + 1660. Does 112 divide p?
True
Let f(j) be the third derivative of j**6/60 + 7*j**5/15 + 7*j**4/24 - 3*j**3/2 + 229*j**2. Is 15 a factor of f(-6)?
True
Let y be ((-138)/4)/((-36)/48). Suppose 2*q + y = 2*h, -3*h + 29 + 5 = 4*q. Suppose h*l = 22*l - 1264. Does 48 divide l?
False
Let b(c) = -2*c**3 - 139*c**2 - 64*c + 917. Does 52 divide b(-69)?
True
Let o = 1037 - -768. Is o a multiple of 14?
False
Suppose 0 = -2*r - 3*x + 144, -4*r = -5*r - 3*x + 72. Does 4 divide 22/(-6)*r/((-21)/7)?
True
Suppose 137*r + 55102 = 5*v + 135*r, 22035 = 2*v + 5*r. Is v a multiple of 38?
True
Suppose -64*t = -62*t. Suppose -8*q - x = -6*q - 243, -4*q + x + 477 = t. Is 40 a factor of q?
True
Let g be (-2)/(-8) + 138/24 - 2. Suppose -36 = -4*o - 4*l, -g*o - 15 = -7*o + 3*l. Suppose 0 = -h - 2*i + 34, 3*h - o*h = -i - 118. Is 6 a factor of h?
True
Suppose 34 = 2*h + k, h = -4*k + 3*k + 15. Suppose -3*a = a - 3*y - h, -3*a - 22 = 5*y. Does 7 divide (a*-2)/((-24)/108)?
False
Suppose 5*l - 11 = 3*t, -4*l + 19 = -0*l + t. Let y(o) = o**2 - 7*o + 10. Let c be y(l). Let q(f) = f**2 + f. Is q(c) even?
True
Let g(a) = -a - 117. Let r be g(0). Let s = r + 18. Is 31 a factor of 0 - (s + 2) - 4?
True
Let a(g) = g**2 + 29*g + 47. Let w be a(-29). Let f = -8 + w. Is 13 a factor of f?
True
Let n(v) = 19*v - 90. Let k be n(-17). Let a be (63/21)/(2/(-498)). Let j = k - a. Is j a multiple of 18?
False
Suppose -973909 = -265*g + 314521. Is 34 a factor of g?
True
Let o(m) = 13*m**3 - 3*m**2 + 7*m - 13. Let d be o(4). Let j = d + -530. Suppose -220 = -3*y + j. Is 18 a factor of y?
False
Suppose -116 = -i + d + 3*d, 2*d + 436 = 4*i. Is (-397)/(-3) - 144/i a multiple of 13?
False
Suppose 3846 + 4357 = 13*v. Suppose 0 = -2*j + 3*i + 334, 5*j - v = 3*i + 195. Does 16 divide j?
False
Let x be 1*-2*(-16 - -14). Let y(s) = -63*s + 148. Let c be y(6). Is 53 a factor of ((-22)/5)/(x/c)?
False
Let c = -384 + 391. Let s(n) be the third derivative of -n**4/12 + 35*n**3/6 - 3*n**2. Is s(c) a multiple of 3?
True
Let i(w) be the third derivative of w**6/60 - w**5/10 + 7*w**4/24 - 7*w**3/6 + 181*w**2. Let u be 2 + -1 + -2 + 6. Is i(u) a multiple of 32?
True
Suppose 0 = 2*s - 3*h + 2, -2*s + 7*h + 6 = 6*h. Suppose p = -4*g + 420, 8*g = s*p + 9*g - 2119. Is 30 a factor of p?
False
Suppose -7*r + 12*r = 0. Suppose -4*t - 3*m = -389, r*t + 5*t + 2*m = 495. Does 5 divide t?
False
Let c = 10474 - -6367. Is c a multiple of 269?
False
Let z = 314 - 306. Is 4 a factor of 718/z - (-4)/((-48)/9)?
False
Let a(o) = o + 62. Let u be a(-18). Suppose -u*n + 39*n = -1310. Does 9 divide n?
False
Let m be 4*((-1)/4)/((-2)/4). Suppose -m*i + 4*i - 20 = 0. Does 9 divide (-9)/((-45)/i)*(1 + 26)?
True
Suppose -16*b + 2*b = -56. Let l(c) = 52*c**2 - 3*c + 3. Is 37 a factor of l(b)?
False
Suppose -18 = -10*g + 42. Suppose -g - 28 = 2*f. Let r = 31 - f. Does 24 divide r?
True
Suppose 4*i = -2*k + 11168, -k + i + 4892 = -707. Does 78 divide k?
False
Suppose 5*b - 22800 = -3*b + 12712. Does 11 divide b?
False
Is 84 a factor of (21756/8)/(31/248)?
True
Let m = 845 + -405. Suppose -7*d + m = 4*l - 5*d, -110 = -l + 4*d. Is l a multiple of 3?
False
Let v be (1404/(-130))/(1 + (-6)/5). Let g = v - 45. Let f = 19 - g. Is 5 a factor of f?
True
Suppose -2*a = 9*r - 4*r + 1180, 0 = r + 4*a + 218. Is 46 a factor of -1 + (-6 - r) - 1?
True
Let u = 105 + -72. Let z(m) = 2 + 5 + 14 - u*m + 31*m. Is 13 a factor of z(-22)?
True
Suppose -300 = 3*v + 3*z, -3*v - 3*z = -2*v + 108. Let r be (v/28)/((-2)/14). Is 10 a factor of (54/r)/(9/336)?
False
Let m(u) = u**3 - 7*u**2 - 2*u + 19. Let i(r) = r**2 + 28*r + 35. Let s be i(-27). Does 15 divide m(s)?
False
Suppose -r - 3*r + 18924 = 0. Suppose 5*s = 3909 + r. Suppose 3*j = 9*j - s. Does 32 divide j?
True
Let h be -2 + (-16)/(-12)*3. Suppose -x - 5*a + 102 = 0, h*x - 169 = -3*a - 0*a. Is 4 + (x - ((-1)/1)/1) a multiple of 7?
False
Let c(o) = 0*o + o - 50 - 9 + 116 + 83. Is 2 a factor of c(-20)?
True
Let k(w) = 2*w - 30. Let r(x) = -x + 15. Let o(u) = 2*k(u) + 5*r(u). Let n be o(4). Let s = n - 6. Is 3 a factor of s?
False
Let m be 1/2 - 23/(-2). Suppose 2*v - m + 14 = 0. Is 5 a factor of v + (-191 - 1)/(-4)?
False
Suppose 7*h - 7153 = 2829. Is 4 a factor of h?
False
Let z(i) be the third derivative of i**5/60 + 7*i**4/8 + 29*i**3/2 - 2*i**2 + 3*i. Does 4 divide z(-17)?
False
Let o = 13 + -6. Let f = o - -1. Let h(m) = m**3 - 7*m**2 - 3*m - 3. Is h(f) a multiple of 7?
False
Suppose -d + 29403 = 2*x, -6*x + 4*x - 3*d = -29397. Is 13 a factor of x?
True
Let g = -12802 - -40990. Is 12 a factor of g?
True
Suppose 23 = 5*s - 0*s + p, 4*p - 4 = 2*s. Suppose 5*t - 2*z = 1908, -3*t = 5*z - s*z - 1147. Does 13 divide t?
False
Suppose 2*b + 13*w - 2756 = 17*w, b - 5*w = 1375. Does 12 divide b?
True
Let s(t) = 8*t**2 - 60*t - 28. Does 7 divide s(-17)?
True
Let d = 2 + 3. Suppose d*s = -4*a + 455, 0*a = 2*a - 2*s - 214. Suppose 6*m - m = a. Is 18 a factor of m?
False
Let o = 5032 - 3942. Does 3 divide o?
False
Let h(p) = -p**3 + 29*p**2 + 58*p - 73. Let m be h(30). Suppose 0*g - 2*c + m = 3*g, 1026 = 4*g + 2*c. Is 4 a factor of g?
False
Suppose 0 = 37*l - 33*l - 12. Suppose -2*u = -f - 1501, -637 = -l*u + 5*f + 1625. Is 45 a factor of u?
False
Let d(f) = 110*f**2 - 4*f - 3. Suppose 16 = 13*j - 9*j. Let x be 27/(-36) - (1 + (-3)/j). Does 49 divide d(x)?
False
Let i(u) = 53*u**2 + 17*u. Does 8 divide i(-5)?
True
Suppose -69*f + 73*f = 20. Suppose 3*h - 573 = f*d - 2*d, -1 = -d. Is h a multiple of 23?
False
Let y = 31 - 22. Suppose -y = t - 3. Is (-4)/(-6) - 2/t - -152 a multiple of 17?
True
Suppose 3*x + 0*p + 2*p - 18 = 0, -3*x + 4*p = 0. Suppose -13 - 2 = -x*y - m, 0 = -5*y + 4*m + 45. Suppose 15 = y*f - 0*f. Does 3 divide f?
True
Suppose -55 = -3*j - 0*a + 5*a, -a + 1 = 0. Suppose j = 5*g, -h = 5*g - 10*g - 154. Is 12 a factor of h?
False
Let k(g) = g - 161. Let f be k(-19). Let h = 291 + f. Does 6 divide h?
False
Suppose 0 = 3*f + 2*w - 8373, -2*f + 2*w - 1939 = -7501. Is f a multiple of 22?
False
Let f = -236 + 93. Does 26 divide (f/44)/((-1)/32)?
True
Suppose 55*u + 35 = 62*u. Suppose 2*g - 155 = u*b, 15 = -3*g - b + 239. Is 4 a factor of g?
False
Suppose v = -5*p + 215, -2*p = 3*v - 5*p - 735. Suppose 11*l = -42 + v. Is 18 a factor of l?
True
Suppose 7*i - 2*i - 100 = 0. Suppose m = -4*d - 7 - 5, -5*m = i. Is (-1)/(d/210) - (-22 - -19) a multiple of 9?
True
Suppose -4*j = -4*v + 39584, 5*j + 43356 = 4*v + 3776. Is 11 a factor of v?
True
Let i(v) = -9*v - 24. Let f(p) = 2*p + 5. Let g(o) = -24*f(o) - 5*i(o). Let b be g(-6). Let z = 38 - b. Is 9 a factor of z?
False
Suppose 4*m + s = 8*m - 177, -m + 41 = 3*s. Suppose 16*o - 14*o - m = 0. Is 5 a factor of o?
False
Let s = -114 