 Let d(c) = c**3 + 5*c**2 + 4*c - 2. Let l be d(-8). Let p = k - l. Is 11 a factor of p?
False
Let p = -3 - -9. Let v(d) = d - 3. Let w be v(p). Suppose -2*y + 3*o - 129 = -w*y, -y + 136 = -4*o. Does 12 divide y?
True
Suppose -o + 5*l - 3*l + 111 = 0, 0 = -3*o + 4*l + 323. Let j = 221 - o. Does 20 divide j?
True
Suppose 123*s = r + 127*s + 12, 3*s + 24 = 3*r. Suppose j - 4 = 45. Suppose 8*p - r*p - 3*k - j = 0, 12 = p - k. Does 4 divide p?
False
Let a = -245 + -1193. Let f = a - -2033. Is f a multiple of 35?
True
Let r = 2522 - 1547. Is r a multiple of 15?
True
Let u(f) = -28*f + 25. Let q(m) = m**2 - 28*m + 25. Let x(t) = -5*q(t) + 4*u(t). Let h be x(14). Is 13 a factor of h/(-6) + (-5)/30?
False
Let p(g) = -87*g + 10. Let o(c) = -157*c + 20. Let a(t) = 6*o(t) - 11*p(t). Let i = -17 - -30. Does 35 divide a(i)?
False
Suppose 2280 = 3*b + 5*i, -92*b + 93*b + 4*i = 746. Does 13 divide b?
False
Let z be 3/(-5) - 4944/60. Let x = z + 92. Does 41 divide (-32)/(-48)*x*26?
False
Let d(i) = i**3 + 42*i**2 - 41*i + 96. Let v be d(-43). Suppose -5*x + 8 = -x. Suppose v*z + x*z = 1980. Is z a multiple of 11?
True
Suppose 119*r - 27405 = 32*r. Is r a multiple of 10?
False
Let w(r) = -15*r**2 - 10*r - 19. Let m be w(-6). Let d = m + 859. Is 30 a factor of d?
True
Let h = 4243 - 4238. Let c be 2/4*(1 + 3). Suppose 312 = h*j - j - 2*u, -c*u + 68 = j. Does 20 divide j?
False
Let p = 14032 - 9652. Does 60 divide p?
True
Let z(n) be the second derivative of -n**3/2 - 13*n**2/2 - 11*n. Let p(y) = -y**2 + 11*y - 8. Let k be p(11). Is z(k) a multiple of 3?
False
Suppose 0*f - 2*f + 2716 = 2*d, 2*f + 4*d - 2712 = 0. Let w = -277 + f. Is 42 a factor of w?
False
Suppose -191*g = -194*g + 5*t + 5850, -g = t - 1966. Is 49 a factor of g?
True
Let k(c) = 12*c**2 - 15*c - 1. Let j be k(4). Let a = j + -55. Is a a multiple of 4?
True
Suppose 9852 = 2*b - 4*s - 1720, -2*b = 5*s - 11536. Does 27 divide b?
True
Suppose -7*d + 75 = 8*d. Suppose -3*f = -2*j - 766, 1702 = d*f + 5*j + 467. Is f a multiple of 10?
False
Suppose -6*z + 12528 = 1968. Suppose -z + 485 = -5*b. Is 29 a factor of b?
False
Let x = 7 - 5. Suppose -15*h + 5*h = -240. Suppose 6*k - h = x*k. Is 6 a factor of k?
True
Let u = -4758 + 4751. Let s(f) = f + f**3 + 5*f**2 - 3*f**2 + 4 + 6*f**2. Is 7 a factor of s(u)?
False
Suppose b - 2 + 113 = 0. Let o = b + 116. Suppose -3*l = -o*h + 191, -h + 29 = 5*l - l. Is h a multiple of 5?
False
Is (-74)/(-777) + 458*1891/42 a multiple of 17?
True
Suppose 54 = 4*q - 2*o, -3*q = -4*o + 7*o - 18. Let g(j) be the third derivative of j**5/30 - 5*j**4/8 + 10*j**3/3 - 151*j**2. Is g(q) a multiple of 20?
False
Let x(j) = 2*j**2 - 6*j + 12. Let i be (-2)/4 + ((-945)/(-10))/(-9). Let r = -6 - i. Is 8 a factor of x(r)?
True
Suppose -31985 = -18*o + 13591. Suppose -29*g + o = -25*g. Is 15 a factor of g?
False
Let y = -531 - -89. Does 10 divide (-2)/22*y - 36/198?
True
Let x be 35/(-30)*-3 + 6/4. Suppose -v - 3*q = -0*q - x, -5*v = 4*q - 47. Is v a multiple of 11?
True
Let k(h) = h**2 - 20*h + 16. Let f(z) = -z - 1. Let v(w) = f(w) - k(w). Suppose 12 = 3*n - 39. Does 3 divide v(n)?
False
Let j be 1/(-4)*1 - 100/(-16). Let q be j/4*80/24. Suppose 524 = q*w - w. Is w a multiple of 24?
False
Suppose k = 1, 2*k + 2*k = -2*n + 2712. Is 8 a factor of n?
False
Let j(o) = -o**2 - 7*o - 8. Let w be j(-4). Suppose 5*k = -w*k - 1026. Let u = k + 293. Does 19 divide u?
False
Is 105 a factor of (533392/370)/(-2 + 2/80*82)?
False
Let n be 23/92 + ((-32838)/8)/(-1). Suppose -5*m + 4065 = 5*x, -16*x - 5*m = -21*x + n. Is x a multiple of 43?
True
Let b = -10880 + 15530. Suppose 13*i = b + 1278. Does 24 divide i?
True
Let m = 68 - 59. Suppose 0 = m*q - 18*q + 2880. Is q a multiple of 16?
True
Let a = 156 + -161. Let v(l) = -2*l**3 + 6*l**2 - l + 3. Is v(a) a multiple of 24?
True
Let q(x) = -8*x - 12. Let b(n) = -n**2 - 14*n - 20. Let y be b(-12). Suppose -22 = 2*s - y*v, -2*s - v - 40 = 4*v. Is 11 a factor of q(s)?
False
Let r be (0 - (-4)/(-3))/((-164)/47232). Let b = 282 + r. Is 16 a factor of b?
False
Let w = 63 - 418. Let a = w + 688. Is a a multiple of 37?
True
Let a = -118 + 127. Let q be (1012/(-69))/((-1)/a). Suppose q - 336 = -j. Does 30 divide j?
False
Suppose 40*t - 13*t = -12*t + 130299. Is t a multiple of 69?
False
Let t = -6 - 2. Let y be ((-39)/(-9))/((t/531)/(-8)). Suppose 0 = -7*g - 6*g + y. Is 31 a factor of g?
False
Let j(z) = -2498*z**3 + 2*z**2 + 8*z + 7. Does 17 divide j(-1)?
True
Let x(y) = -y**2 + 29*y - 133. Let n be x(7). Is 4 a factor of ((-7)/n)/((-2)/1002)?
False
Let n = -3638 - -5272. Is n a multiple of 19?
True
Suppose 1776 = -3*k + 3*y + 8283, 0 = 2*k - y - 4336. Suppose k = 14*u - 1081. Is 20 a factor of u?
False
Let l(y) = 13*y + 171. Let k be l(-13). Let p(s) = 110*s**3 + 2*s**2 - 6*s + 9. Does 59 divide p(k)?
True
Let r(s) = 2*s**2 - 4*s - 7. Let q be r(3). Does 13 divide (8 + q + -1)*(-7098)/(-117)?
True
Let i(g) = 13*g**2 - 184*g + 103. Is 25 a factor of i(19)?
True
Suppose 0 = -11*m + 15397 + 971. Suppose 0 = 18*k - 780 - m. Is k a multiple of 14?
True
Suppose 4*r - 26790 = 5*v, 2*r - 10490 = -5*v + 2890. Is r a multiple of 88?
False
Let k(r) = r**2 + 11*r - 70. Let l be k(-17). Suppose 3*c - 14 + 77 = 0. Is (l/3)/(c/(-9) + -2) a multiple of 13?
False
Suppose -902735 + 211551 = -68*j + 90748. Is 134 a factor of j?
False
Let r = -22236 + 43271. Is r a multiple of 7?
True
Suppose -23*u + 276838 = 36*u - 68194. Is 86 a factor of u?
True
Suppose 3*g + 2828 = 7*g. Suppose 8*o = 3747 - g. Is 76 a factor of o?
True
Suppose 5*s - 9386 = 4*q, -2*s + 2*q + 4808 - 1054 = 0. Is s a multiple of 25?
False
Let p = -3296 - -3648. Does 176 divide p?
True
Let b be 1/(-4)*(-7 + 7). Is 28 a factor of 2/(-5) + b - 121555/(-575)?
False
Let w = -16 - -16. Suppose -9*n - 2876 = -11*n - i, w = n - 4*i - 1456. Does 48 divide n?
True
Let q be (-7)/(-11 + 4) + 2. Suppose z + 5*g = 197 + 219, -2168 = -5*z - q*g. Does 25 divide z?
False
Suppose v = -4*o + 30399, v - 10527 = -5*o + 19871. Is 148 a factor of v?
False
Suppose -w + 3*q = q - 274, 0 = -4*w + 4*q + 1112. Suppose 0 = 2*a + a - w. Suppose a = 9*h - 8*h. Does 28 divide h?
False
Let i = -7713 - -10366. Is i a multiple of 34?
False
Suppose 4*q - 23 = 5*l, 4*q - 35 - 3 = 2*l. Suppose q*f = 8*f + 620. Is f a multiple of 23?
False
Suppose -5*h + 34441 = 4*l, -h = -632*l + 636*l - 34421. Does 20 divide l?
False
Let n(i) be the third derivative of -26*i**2 + 1/12*i**4 + 1/30*i**5 + 0 + 21*i**3 + 1/120*i**6 + 0*i. Is n(0) a multiple of 18?
True
Let p be 28/13 + 1/(-13)*2. Suppose -15 = -3*g, -3*u + 2*u - p*g = -150. Does 10 divide u?
True
Does 81 divide ((-119)/35)/(2/(-1258)) + (-2)/(-5)?
False
Suppose -3 = v - 7. Suppose -4*o + v = 4*t, -t + 1 + 0 = 3*o. Does 23 divide t/3 - 4850/(-75)?
False
Suppose 2*g = -g - 114. Let n(h) = h**3 - 6*h**2 - 44*h + 8. Let l be n(11). Let s = g + l. Is s a multiple of 25?
False
Let s(w) = 68*w + 1. Let z be s(-1). Let p = z - 3. Let a = 118 + p. Is a a multiple of 16?
True
Suppose 5*w = 9*w, 3*b = 3*w. Let v be (0 - b/(-3)) + (-4 - -3). Is 9 a factor of v*(4/(-16) - 956/16)?
False
Let p be (232/12)/((-4)/(-6)). Suppose -p*h + 4 = -33*h. Is 7 a factor of (28/7 - (h + 1)) + 3?
True
Suppose -536 = -4*c + 2*f, c - 9*f = -4*f + 125. Let x = 221 - c. Is 3 a factor of x?
False
Suppose -j - 102*y + 64569 = -105*y, -j + 64563 = -5*y. Is j a multiple of 97?
False
Let w(t) = -t**2 - 24*t + 57. Let g be w(-26). Suppose -2*l + 173 = -m, -13*l + g*m = -9*l - 343. Is l a multiple of 29?
True
Suppose 2*d + 2*z - 69680 = 0, -43535 = -3*d - 2*z + 60990. Is d a multiple of 101?
True
Suppose 3*k = k + 10. Let l(w) = -2*w**2 - w**2 + k*w**2 - w**3 - 3 - 2*w + 6*w**2. Does 5 divide l(5)?
False
Let g be 634/((4/(-14))/((-8)/56)). Suppose -5*r + 5*w + 320 = 0, -g = -5*r + 6*w - 2*w. Is r a multiple of 19?
False
Suppose -14016 = 4*z - 6*z - 2*a, -5*a - 21040 = -3*z. Is 14 a factor of z?
False
Let k be (-759)/66*((-6 - -2) + 0). Suppose 44*r - k*r + 636 = 0. Is r a multiple of 14?
False
Suppose -319*u - 101088 = -373*u. Is 22 a factor of u?
False
Let r be -1*10/4*(-24)/20. Suppose r*w + 239 = b + 1578, -b = 3*w - 1349. Suppose w + 989 = 5*q - 3*c, q = c + 287. Is 52 a factor of q?
False
Let y = -49 + 58. Let m be (0 + y)/(-3) - -