e
Does 13 divide (-1)/((-3116)/3114 - (-60 - -59))?
False
Let t(r) = -76*r - 13. Suppose -5*q - 13 = -i, 5*i = 5*q + 2*i + 9. Let k be (3 - 7) + (-2 - q). Is 43 a factor of t(k)?
True
Suppose -782 = 7*r + 1122. Let d = -152 - r. Is d a multiple of 15?
True
Let i(y) = -y**2 + 6*y - 1. Let b be i(5). Let p(l) be the third derivative of l**5/10 + l**4/4 - l**3 + 3*l**2 - 184. Is p(b) a multiple of 27?
False
Let n = 153 + -167. Let v = 296 + n. Is v a multiple of 47?
True
Let r(p) = p - 20. Let s be r(25). Suppose -7*g + f + 529 = -3*g, -5*f = s. Is 12 a factor of g?
True
Let j = 621 - 1633. Let z = j - -1477. Does 15 divide z?
True
Let y(h) = h**3 + 9*h**2 - 11*h - 10. Let q be y(-10). Suppose q = -14*j + 802 + 430. Is 15 a factor of j?
False
Let u = -70 - -96. Let v = u + 1. Does 23 divide v?
False
Let u(a) = -34*a. Let k(c) = c**3 - 16*c**2 - 16*c - 20. Let m = -49 - -66. Let w be k(m). Does 34 divide u(w)?
True
Suppose -y + t + 24777 = 0, 31*t - 123888 = -5*y + 35*t. Is 28 a factor of y?
True
Suppose -3*u - 5*o + 15877 = 2837, u = 2*o + 4354. Is 25 a factor of u?
True
Let v be 57 + (-1 + 3 - 4) + 3. Let p = v - 54. Suppose 230 = -p*c + 14*c. Is 7 a factor of c?
False
Let w(a) = 6*a**3 - 3*a + 2. Suppose k = -0*k + 1. Let r be w(k). Suppose -2*j + 5 = -l, 2*j + r*l - 28 = 7. Is 2 a factor of j?
False
Let o = 49 + -49. Let v be 5 + (o + (-3)/(-3))*0. Does 28 divide 143/5 - 0 - (-2)/v?
False
Is 186/(-651) - ((-80607)/7 + 0) a multiple of 8?
False
Suppose -2*c + 0*g + 2*g = -2702, 3*c - 4*g - 4049 = 0. Does 3 divide c?
False
Let d(r) = -r**2 + 4*r + 7. Let u be d(5). Suppose -12*o - 191 = 3913. Is u/3*(6 - o/4) a multiple of 10?
False
Suppose -9*p - 6 = -5*p - 3*x, -4*x = -5*p - 8. Suppose -16*f + 2201 + 3415 = p. Does 2 divide f?
False
Suppose -13*x + 15510 = 430. Is 25 a factor of (x/348)/(2/24)?
False
Let q = -1572 + 885. Let k = -471 - q. Does 6 divide k?
True
Let o(m) = 7 - 21*m**3 - m + 4*m + 22*m**3. Let n be o(3). Let u = 110 - n. Is u a multiple of 22?
False
Let q(u) = -44*u - 218. Let k be q(-5). Suppose -5*l - 6 = -7*l. Suppose v + k*b = -l*b + 93, 2*b - 282 = -4*v. Is 5 a factor of v?
False
Let i(v) = -102*v + 1. Let f be i(-7). Suppose -6*c - 5*h + f = -c, c + 2*h = 146. Let p = c - 61. Is p a multiple of 13?
False
Let y(u) = 5*u - 75. Let s be y(15). Suppose b - 190 + 104 = s. Does 3 divide b?
False
Let q(a) = -23*a**3 - 5*a**2 - 68*a - 83. Does 127 divide q(-9)?
True
Let i(c) = 69*c**2 - 11*c - 150. Let t be i(-7). Suppose -7*a = 305 - t. Does 11 divide a?
True
Let g = -244 + 85. Let u = -141 - g. Does 4 divide u?
False
Let m be 622/5 - (-7)/105*9. Suppose -m*x + 123*x + 350 = 0. Is 10 a factor of x?
False
Suppose 0 = 2*u - h - 2409, -u + 5*u - 4820 = 4*h. Suppose 4*i = 36 - 52, -u = -p + i. Is p a multiple of 25?
True
Is (22353/2)/((18/(-12))/(-3)) a multiple of 39?
False
Suppose 513143 - 39330 = 11*h - 5*s, 8 = -4*s. Is h a multiple of 14?
False
Suppose -5*l + 185*i + 10899 = 184*i, 2*i + 10898 = 5*l. Is l a multiple of 5?
True
Let x be (-93)/279 - 1*(-2)/6. Suppose 15*l + 15 = -x*l. Is 3 a factor of l/6*-2 - 390/(-18)?
False
Let z = 47571 - 33083. Does 42 divide z?
False
Suppose -4*p = -3*p - 4*m - 32, -4*m - 8 = p. Is 68 a factor of (1 - -951)*(8 - 90/p)?
True
Let i be (-1221)/4 - 11/(-44). Let h = i - -825. Does 40 divide h?
True
Suppose 68*f = 372117 + 393970 + 221273. Is 220 a factor of f?
True
Let a(q) = q**2 - 16*q - 69. Let t be a(19). Does 35 divide (-7665)/(-90) + 2/t?
False
Suppose q - 2*z = 2646, 5*q - 11088 = -2*z + 2226. Is q a multiple of 38?
True
Suppose -4*p + 112180 = 5*a, 0 = 3*p + 257*a - 255*a - 84142. Is p a multiple of 34?
True
Let f = -293 - -340. Is 11 a factor of 9*51 + f + -55?
True
Let p = 20 - 18. Is 282/p + (0 + -2 - -1) a multiple of 14?
True
Is 21 a factor of 7/(7 - 22920/3276)?
True
Let j be (-68)/18 + 4 + (-8)/36. Suppose -197*t + 193*t + 732 = j. Is t a multiple of 37?
False
Let l be 2 + -3 + 4 + 4. Suppose 3*i + 284 = 4*t + l*i, 2*i = -4. Let f = -29 + t. Is 8 a factor of f?
False
Suppose 9*y - 62 = 19. Suppose -3*g = -3*s + y, g - 39 = -4*s - 4*g. Does 2 divide s?
True
Suppose 4*y = -k + 15174, -4*k - 240*y + 235*y = -60652. Does 102 divide k?
False
Suppose 0 = 4*f - 162 - 170 - 492. Does 3 divide f?
False
Let v(z) = 0*z + 4*z - 2 - 3*z - 2. Let r be v(5). Let u = 22 - r. Is u a multiple of 21?
True
Let c be 2*(4 - (-15)/(-10)). Suppose 0 = -5*y + 2*y - c*q + 204, 2*y = -q + 129. Does 7 divide y?
True
Let x = -29 + 58. Let z = 63 - 14. Let o = z - x. Is 5 a factor of o?
True
Suppose 6*n - 2340 = -12*n + 13*n. Is n a multiple of 9?
True
Is 14 a factor of (-224)/(117/(-36) + 3)?
True
Let i = 2095 + -3177. Let b = -758 - i. Is 27 a factor of b?
True
Let s(a) = 2*a**2 + 13*a - 6. Let z be s(-8). Suppose -13*w = -5*i - z*w + 895, 0 = -i + 4*w + 159. Does 20 divide i?
False
Let n(o) = o - 5. Let x(c) = -2*c - 31. Let u be x(-17). Let s be n(u). Does 14 divide ((-2)/s)/((-8)/(-864))?
False
Suppose -k - 16 = -4*y, 24 = 5*y + 4. Let d be (27/9)/((-19)/(-8) + -2). Suppose d*i - 5*i - 126 = k. Is i a multiple of 21?
True
Let z = -22 - -21. Let y be (250 + 2 - 2)*-1. Does 10 divide y/(-15)*(-3)/z?
True
Suppose -3*g = -2*g - 4. Suppose g*o - 3 = 17. Suppose 4*k + 70 = 7*k + o*f, -77 = -3*k + 2*f. Is 5 a factor of k?
True
Let c(s) = s**3 + s**2 + 4*s + 975. Suppose 3*b = 3*h - 9, -h + 3 = 6*b - 8*b. Does 75 divide c(b)?
True
Let q = 5153 + -263. Is q a multiple of 8?
False
Let b(k) be the third derivative of k**4/6 + 53*k**3/6 - 19*k**2. Let w be b(-10). Let i(h) = h**3 - 11*h**2 - 18*h - 16. Is 16 a factor of i(w)?
False
Suppose -18*c + 1824 = -22*c. Let p = -435 - c. Does 4 divide p?
False
Let d(a) be the first derivative of -4*a**3/3 - 19*a**2/2 + 7*a + 19. Let p be d(-5). Is 22 a factor of 134/p - (5 + -8)?
False
Suppose 4*x + 19*q - 3729 = 14*q, -3*x + 2795 = 2*q. Is x a multiple of 12?
False
Let b(t) be the third derivative of t**6/120 - 11*t**5/60 - t**4/4 + t**3/3 + 55*t**2. Is b(14) a multiple of 23?
True
Let n(c) = -c**3 + 5*c**2 + 9*c + 3. Let b be n(-7). Let s = -505 + b. Is 8 a factor of s?
False
Suppose 5*w = -5*s - 380, -3*s + 6*s + 234 = -w. Let i = s - -77. Is (i/6)/(4/(-888)) a multiple of 28?
False
Suppose 2*i - 6237 = 1895. Does 19 divide i?
True
Suppose -4*g = 0, -4*l + 0*g + 1220 = 4*g. Let r = -819 + 1007. Let k = l - r. Is 13 a factor of k?
True
Suppose -887494 = -67*l - 141181. Is 47 a factor of l?
True
Suppose -2*n + 5*d = -92487, 0 = -465*n + 462*n - 4*d + 138719. Is 15 a factor of n?
False
Let j = 162 + -150. Suppose -3080 = j*v - 23*v. Does 7 divide v?
True
Suppose 0 = 193*i - 34*i + 99*i - 2319420. Is 58 a factor of i?
True
Is 54 a factor of (-4 - -6) + 10358 + 8?
True
Suppose 0 = -4*g - 76 + 88. Suppose -2*d + 375 = g*d. Let k = d + 9. Is k a multiple of 12?
True
Suppose -2*h + 46*j + 14362 = 47*j, -2*j - 21550 = -3*h. Is h a multiple of 27?
True
Suppose 3*y = 4*h + 922, 262 + 648 = 3*y - h. Does 9 divide y?
False
Let a = -468 + 994. Let p = -979 + 608. Let t = a + p. Is t a multiple of 31?
True
Does 34 divide (2 + 0 - 4)*(-14874)/4?
False
Is 40 a factor of (94/188)/(2/1280)?
True
Let w = 17320 + 925. Does 41 divide w?
True
Let r = 2035 - 1926. Suppose 3*h = 1 + 8. Suppose 3*c = 2*g - 239, h*c - 100 = -2*g + r. Is 11 a factor of g?
False
Suppose 6*r - 36215 = -17747. Does 81 divide r?
True
Let q = 23560 + -11548. Does 33 divide q?
True
Let l = -9572 - -10071. Does 25 divide l?
False
Let i(z) = -34*z**2 - 3*z - 2. Let y(h) = -171*h**2 - 15*h - 10. Let f(n) = -11*i(n) + 2*y(n). Suppose r - 2 + 3 = 0. Does 2 divide f(r)?
False
Let i(u) = -u**3 - 11*u**2 - 31*u - 18. Suppose 0 = 14*r + 145 - 19. Is i(r) a multiple of 11?
True
Let h be (-10)/15*6 - -573. Suppose -4*p = 3*b - 752, -3*p - 19*b = -18*b - h. Is 11 a factor of p?
False
Suppose 15*f - 18 - 42 = 0. Suppose 5*b - f*z = -0*b + 183, 2*b - 87 = -3*z. Let n = b - -129. Does 24 divide n?
True
Suppose 0 = -2*d + 4*y + 13369 + 1157, 21800 = 3*d + 5*y. Is d a multiple of 312?
False
Suppose 3*o = 6*o + 6, 4*o + 137 = g. Suppose -7*z = 38 - g. Let w = 221 + z. Is 39 a factor of w?
True
Suppose -m = 2*o - 11, 2*m + 76 = 5*o + 35. Is (-48)/(-112) + 3406/o + -2 a multiple of 67?
False
Is 167 a factor of (18 + 22)*(-167)/(-4)?
True
