*t. Is 18 a factor of t?
False
Suppose 173 + 55 = 19*x. Suppose -412 = -x*d + 8*d. Is 15 a factor of d?
False
Let r = 1009 + -1851. Let p = r - -1327. Is 51 a factor of p?
False
Let f(q) = 11*q + 55. Let k be f(-5). Suppose -5*m + 9*a = 4*a - 2855, k = 2*m - 4*a - 1132. Suppose 0 = 5*s - 10, 0*s - 4*s = 4*n - m. Is 18 a factor of n?
False
Let g(i) be the first derivative of 14*i**3 - i**2 - 4*i + 15. Let d be g(-3). Suppose -2*l = -6*l + d. Does 19 divide l?
True
Suppose 0 = 15*r - 72225 - 20310. Is 84 a factor of r?
False
Is (-705302)/(-104) - 16 - 1/(-4) a multiple of 152?
False
Let y(u) be the first derivative of -233*u**4/2 + u**3/3 + u**2/2 + 72. Does 42 divide y(-1)?
False
Let x(d) = d**2 - 13*d - 10. Let l be x(14). Suppose -2*j + 3*b + 2564 = 0, l*b - 5220 + 1374 = -3*j. Does 10 divide j?
False
Let a(f) = f**3 + 7*f**2 - 10*f - 10. Let l = 21 + -11. Suppose -3*t - t - 3*o - 25 = 0, -t = -3*o + l. Is 15 a factor of a(t)?
True
Let z(t) = 19*t**2 + 545*t + 112. Is z(-49) a multiple of 21?
True
Let b = -14602 - -26182. Is b a multiple of 30?
True
Let v(l) be the second derivative of 4*l**2 + 0 - 3/2*l**3 + 1/4*l**4 + 12*l. Does 19 divide v(6)?
False
Let n(t) = 22*t + 14. Let a(r) = -r. Let u(f) = -5*a(f) - n(f). Let l be u(-6). Suppose -o = -3 - 2, 4*x - l = -4*o. Is 7 a factor of x?
False
Let d = -10622 + 20646. Is d a multiple of 53?
False
Let c(n) = 5*n**2 + 24*n - 2. Let u be c(-10). Suppose 726 + u = 4*s. Is 41 a factor of 1*s*((4 - 3) + 0)?
True
Suppose -555541 - 259339 = -22*r. Does 8 divide r?
True
Let z = -323 - -271. Is 31 a factor of z*70/(-40) - (0 - 2)?
True
Suppose 2*n = 5*o + 24, 0 = -n - o + 6*o + 22. Suppose -26*q + 27*q - n = 0. Does 9 divide 19 - (2 + q/((-4)/6))?
False
Suppose 40 = n - 3*o, -10 - 90 = -3*n + 5*o. Suppose -5*u + 5 - n = -5*g, -5*u + 50 = 5*g. Let t(c) = c**3 - 8*c**2 + 10*c + 4. Does 6 divide t(g)?
False
Does 45 divide 270/36*(-5 + 2243)?
True
Let p(r) be the third derivative of 0*r + 0 + 1/2*r**4 + 2*r**2 - 11/6*r**3. Does 38 divide p(11)?
False
Let l(g) = 24*g**3 - 7*g**2 + g + 10. Let s(i) = 46*i**3 - 13*i**2 + 2*i + 19. Let n(d) = -11*l(d) + 6*s(d). Is n(2) a multiple of 18?
False
Suppose -w + 5*b = -0*w - 134, -5*w + 5*b = -710. Let t be (12/9 - -2)*30/(-20). Is 5 a factor of w/15 - 2/t?
True
Let c(g) = -101*g - 1. Let u be c(-2). Let p = 338 - u. Suppose -3*q + 88 = -p. Is q a multiple of 15?
True
Let p = 2082 - 1736. Does 37 divide p?
False
Is 11 a factor of 10/(-295) - 1824008/(-2419)?
False
Let y(o) = o**3 - 3*o**2 + 2. Let b be y(6). Let h = b + 87. Is 25 a factor of h?
False
Suppose 370 = 3*r + 2*r. Suppose -3*h + 180 = 30. Let w = r - h. Is 2 a factor of w?
True
Let x be 51*-36*(-4 + 3). Let t = x + -952. Is 26 a factor of t?
True
Is 16/2 - (12/4 - 350) a multiple of 54?
False
Let v(i) = 11*i + 6. Suppose 2*b + 4*o = -22, -2*b = -b - 3*o - 14. Let p be (1 + 0)/(b/(-10)). Does 10 divide v(p)?
False
Suppose 10354 = -71*g + 56149. Is g a multiple of 35?
False
Let j = -8701 + 10626. Does 11 divide j?
True
Let g = 3440 - 1636. Is 82 a factor of g?
True
Let p(n) = -2*n + 6 + 45*n**2 - 1 - 3 - 4. Let m be p(-1). Suppose 10*v - 11*v = -m. Is 9 a factor of v?
True
Let t = -11072 - -12104. Does 172 divide t?
True
Suppose -5*n + j + 21 = 0, -3*n + 2*n = -2*j + 3. Suppose 0 = -n*w - 385 + 1405. Does 15 divide w?
False
Suppose -21*p - 2370 = -11*p. Let r = p + 413. Does 44 divide r?
True
Suppose -4*f - 4*z = 4, 3*f + z + 4 = -f. Let m be 192/36 - (0 - f/3). Suppose m*v = 267 + 173. Is v a multiple of 11?
True
Let h(n) = -3*n + 78. Let a(i) = i**3 + i**2 + 2*i - 2. Let d be a(1). Let o be (0 - 20 - 1) + (-8)/d. Does 17 divide h(o)?
True
Let a be 10/4 + 2/4. Let m(p) be the second derivative of -p**5/20 + 5*p**4/12 + p**3/3 + 3*p**2 + 280*p. Is m(a) a multiple of 15?
True
Let p(x) = 870*x - 110. Let z be p(33). Suppose z = -6*f + 31*f. Is f a multiple of 26?
True
Suppose -42*l + 32*l = -20*l. Let u = 1091 + -506. Suppose 0 = 5*z - a - u, z - a + 2*a - 117 = l. Is z a multiple of 39?
True
Let i(q) = -4*q**2 - 33*q - 4. Let n be i(-8). Let r(y) = 12*y**2 - 16*y + 42. Is r(n) a multiple of 20?
False
Let m be (-694)/11 + 38/418. Suppose 0 = -2*d + b - 173, 5*b - 345 = 4*d + 2*b. Let s = m - d. Does 4 divide s?
True
Suppose 221*f + 2*x = 228*f - 32516, -5*x = f - 4624. Does 54 divide f?
True
Let t = 4 - 0. Let m(a) = -55*a**2 + 5*a + 4. Let g be m(t). Is ((-3)/6)/(4/g) a multiple of 18?
False
Suppose -175*t = -17*t + 115*t - 9993438. Does 130 divide t?
False
Let q = 251 - 242. Is (0 - -52)*(q - (-45)/(-20)) a multiple of 13?
True
Let j(i) = -34*i**3 - 2*i**2 + 54*i + 165. Is 21 a factor of j(-12)?
True
Let n(w) = w**3 + 5*w**2 - 8*w - 7. Let c be (-1)/2 + (-5)/(-2) + -1. Let u be (-1 - c/(-3))/((-2)/(-15)). Is n(u) a multiple of 16?
False
Let o = -6180 - -59445. Does 201 divide o?
True
Let h be (35/(1050/(-72)))/(4/30). Is h/(-15)*1150/20 a multiple of 40?
False
Let s(k) = -2*k**3 + 31*k**2 - 13*k + 39. Let p be s(15). Let r = 435 + p. Is r a multiple of 8?
True
Suppose 24 = 880*z - 874*z. Suppose 12*o + 2*d + 1544 = 14*o, 5*d = z*o - 3090. Is 7 a factor of o?
True
Let m(r) = -r**3 + 28*r**2 + 28*r + 32. Let q be m(29). Suppose 4*a - 29 + 301 = 2*z, q*a = 2*z - 268. Is 8 a factor of z?
True
Let m = 8375 + -4985. Suppose 0*t - 5*t = 25, 5*j - m = -5*t. Suppose -203 + j = 3*d + 2*p, -4*p = 0. Does 16 divide d?
True
Let t be -2 - 164/(16/(-4)). Let s = t - 43. Let g(l) = l**2 + 2*l. Does 8 divide g(s)?
True
Suppose -5*u = -3*u - v - 15, 3*v = 4*u - 33. Suppose l + 0*k - k - u = 0, 4*l - 2*k - 20 = 0. Is 4473/42 + 6/l a multiple of 36?
True
Is 100 a factor of (8*-3732)/(-8) - (4 + 0 - 2)?
False
Let x(i) be the third derivative of -3*i**4/4 + 86*i**3/3 - 38*i**2 - 2. Is x(9) a multiple of 3?
False
Let m be (8 - 0)*(2 - 15). Let q be m/(-28) + 2/7 + 0. Suppose -2*l - q*s = l - 340, -4*l - 5*s = -453. Does 24 divide l?
False
Let u be 20/(-16)*-1*8/(-2). Let t(o) = o**3 + 5*o**2 + o + 2. Let z be t(u). Does 6 divide (1 - -12)/(z/(-6))?
False
Let r = 24599 + -10277. Does 12 divide r?
False
Let o = 24799 - 3455. Is 23 a factor of o?
True
Suppose -150*z + 134*z = -144. Does 5 divide (-3)/4 - z/((-36)/403)?
True
Let c = 1049 - 804. Let o = c + -53. Is 8 a factor of o?
True
Suppose 170*m - 1792 - 66394 = -36*m. Is 2 a factor of m?
False
Suppose 0 = 3*r + 5*w - 14042, -7*r + 9352 = -5*r + w. Does 123 divide r?
True
Let q(l) = 1024*l - 2021*l + 1017*l + 43. Let f(y) = -3*y - 8. Let s be f(-6). Does 27 divide q(s)?
True
Suppose 3*y = -15, 4*o - o = 5*y - 341. Let q = o - -477. Does 31 divide q?
False
Let f(h) = 34*h**2 - 28*h - 28. Let i be f(8). Suppose 5*s + x + i = 10*s, -2 = -2*x. Does 77 divide s?
True
Let x = -94 - 164. Suppose 0 = -4*j + b - 605, 2*b = -5*j - 653 - 87. Let c = j - x. Is 27 a factor of c?
True
Let p = -2525 - -5438. Suppose -p = -10*o - 603. Is 33 a factor of o?
True
Let y be ((5 - 0) + 0)/1. Let f(o) be the third derivative of o**6/120 - o**5/12 + 3*o**4/8 + 11*o**3/6 - 124*o**2 - 1. Is 10 a factor of f(y)?
False
Let u(s) be the first derivative of -s**4/4 - 5*s**3/3 - 13*s**2/2 - 5*s + 2. Let c be (3 + (-11)/2)*2. Does 10 divide u(c)?
True
Let m(c) = -c**2 - 167 + 177 + 5*c - c. Let h be m(8). Let s(b) = -b**2 - 27*b - 26. Does 14 divide s(h)?
True
Let l(b) = -4*b**2 - 2*b - 215. Let f be l(0). Let k be 2/(-5) + -1 + 2244/(-15). Let z = k - f. Does 16 divide z?
True
Let b = -1235 + 5135. Is b a multiple of 26?
True
Let c = 242 + -319. Let s = 261 + c. Is s a multiple of 10?
False
Let o(y) be the second derivative of y**4/6 - 10*y**3/3 + 11*y**2/2 + 60*y. Is 11 a factor of o(13)?
False
Let j(k) be the second derivative of -5*k**4/8 - 5*k**3/3 + 5*k**2 - 10*k. Let s(c) be the first derivative of j(c). Is s(-2) a multiple of 20?
True
Let g(m) be the first derivative of m**3/3 - 2*m**2 - m + 2. Let p be g(5). Suppose p*y - 239 = 4*q + q, y - 56 = 2*q. Is y a multiple of 33?
True
Let q(n) = 2546*n - 5684. Is q(13) a multiple of 96?
False
Let d(l) = -l**3 - 16*l**2 - 15*l + 2. Let o be d(-15). Let i be (-44)/(-11) - (o - -27). Does 8 divide (10/i)/((-4)/240)?
True
Let r(j) = 103*j**2 - 30*j - 352. Is r(-8) a multiple of 16?
True
Suppose -4*r = w - 11791, 3*w - 2*r - 35492 = 3*r. Does 24 divide w?
False
L