 l a multiple of 41?
True
Suppose -4*y + 58689 = 5*n, 440*y = -3*n + 442*y + 35209. Is n a multiple of 11?
True
Let s(m) = 2*m + m**3 + 22*m - 51 - 692*m**2 + 682*m**2. Does 23 divide s(14)?
False
Does 66 divide 281953/6 - (-77)/(-462)?
True
Let t = 802 + -573. Let f = -111 + t. Let y = -63 + f. Does 14 divide y?
False
Suppose v = 6 + 8. Suppose -4*o = -11*o + v. Is ((-7)/o)/(4/(-136)) a multiple of 17?
True
Suppose -39 = 3*h - 0*h. Let a = 56 - 80. Let b = h - a. Is 6 a factor of b?
False
Let q(k) = 6*k**2 - 24*k + 315. Let m be q(45). Is ((-10)/6)/((-69)/m) a multiple of 7?
False
Let z(h) = h - 4. Let t be z(8). Suppose 0 = t*p, 3*n + 15 = -3*p + 270. Suppose n = 7*k - 83. Does 6 divide k?
True
Suppose g + 0*g - 43 = 5*o, -2*o - 7 = 3*g. Let b = 12 + o. Suppose -5*z + 8 = -b*z. Does 4 divide z?
True
Let v be 1/(-2)*132/1. Suppose 4*m - 11*x = -13*x + 494, 4*m - 479 = -5*x. Let u = m + v. Is u a multiple of 3?
True
Is ((-13)/(390/(-828)))/(1 + 558/(-560)) a multiple of 56?
True
Let k(r) = -r**3 + 24*r**2 - 23*r. Let f be k(23). Suppose f = -2*i + 11 - 7. Suppose -i*o + 4*w = -w - 55, -4*w = -o + 35. Does 15 divide o?
True
Suppose u = 3, 0 = -13*o + 12*o + u + 5. Is o + 637 + 10 + -5 a multiple of 19?
False
Let f = 22 + -6. Let u be (1 - (-20)/(-12)) + f/(-3). Is (-117)/u*-4*(-2 - -1) a multiple of 39?
True
Let w be ((-210)/(-20))/((-12)/(-8)). Suppose -w*a + 723 = -117. Is 15 a factor of a?
True
Let f(i) = i + 2. Let b be f(-3). Let k be b + -30*(-2)/4. Is -3*85/(-30)*k/1 a multiple of 27?
False
Suppose -2*z - 4 = 0, -21 = -3*r - 2*z - z. Let n(h) = 15*h**2 - 18*h - 40. Does 41 divide n(r)?
False
Let r = -28 + 68. Suppose r*n - 29*n = 451. Is 14 a factor of n?
False
Let i = -480 - -228. Let q = i + 688. Suppose -2*r + 164 = -t, 6*r = 11*r + 4*t - q. Does 18 divide r?
False
Suppose -21 = -s + 7. Let p = 29 - s. Suppose 4*a - p = 2*w - 93, -2*w + 2*a + 82 = 0. Is w a multiple of 18?
True
Does 11 divide ((-5)/((-10)/(-3073)))/(((-14)/(-12))/(-7))?
False
Suppose -j + 1375 = a, 5*a = 2*j + 5408 + 1509. Does 12 divide a?
False
Let c = 1263 + 1610. Is 64 a factor of c?
False
Let t = 47 - 50. Let n(l) = -19*l**3 + 4*l**2 + 2*l + 6. Let y be n(t). Suppose 4*i - y + 65 = 0. Is 11 a factor of i?
True
Let y(d) = 6*d**2 + 59*d + 148. Is y(-19) a multiple of 7?
False
Let s = 176 - 174. Suppose -s*a + 66 = 4*n, 19 = -n + 3*a + 53. Is n a multiple of 4?
False
Let g = 175 + -49. Does 42 divide (-1280)/(-120)*(g/4 - 0)?
True
Let r = -81 - -104. Let b(s) = s**3 - 25*s**2 + 55*s + 25. Is 12 a factor of b(r)?
False
Let b = -100 - 18. Let x = b - -161. Is 2 a factor of x?
False
Let p(r) = r + 20. Let n be p(-11). Suppose -8*m = -n*m. Suppose 5*l - 296 - 214 = m. Is l a multiple of 17?
True
Suppose 15*i - 236640 - 514752 = -17*i. Does 132 divide i?
False
Let s = -4565 - -7298. Suppose 2*n + 2*c - 1098 = 0, -c - s = -9*n + 4*n. Is n a multiple of 9?
False
Let w(t) be the second derivative of 3 - 13/2*t**3 - 29/2*t**2 - 1/20*t**5 - t - 19/12*t**4. Does 8 divide w(-17)?
True
Suppose 0 = -3*u + u. Suppose -s + 25 - 4 = u. Let i = 49 - s. Is i a multiple of 7?
True
Suppose -243 = 10*y - 303. Let c be 0/(-1 + (-2)/(-1)). Suppose c = m + y*m - 315. Does 5 divide m?
True
Suppose -15*u + 3*u = 2*u - 93548. Is 13 a factor of u?
True
Let a(m) = m**3 + 2*m**2 - 9*m - 1. Let v be a(-4). Suppose 2 = -5*n - 3, -v*n = 4*q + 3. Suppose q = z + 8 - 24. Is z a multiple of 2?
True
Is 3 a factor of 2/(-5) - 2707364/(-2035)?
False
Let w be (-5 - (-348)/30) + 4/10. Suppose 3*t - w - 5 = 0. Suppose 0 = b - t, -d - b - 160 = -5*d. Is 3 a factor of d?
False
Let l(g) = -34*g + 57. Let d be 4 + -2 - (-3 + 12). Does 10 divide l(d)?
False
Suppose -t + f - 2981 = -9464, -6498 = -t - 4*f. Is t a multiple of 7?
False
Suppose -v - f + 68 + 211 = 0, 829 = 3*v - 5*f. Suppose -4*b + 1229 = i, -b + v = -4*i - 8. Is b a multiple of 51?
True
Suppose -4*u - 38 = -2*l + 18, -4*l + 112 = u. Suppose -7*w + l = -0*w. Is 5 a factor of (12/4)/(w/24)?
False
Let a = -19 - -16. Let j be (a/4)/(12/(-64)). Is j/(-10) - (-3 - (-3735)/(-25)) a multiple of 20?
False
Suppose 0 = -5*j - 23*j - 420. Is 20 a factor of -1 + j/(-3 + (-33)/(-12))?
False
Suppose 3*g = 3*d + 11418, 5*d + 12078 = 8*g - 18379. Does 5 divide g?
False
Suppose 3*b = -15, 5*b = 7*t - 8*t + 15893. Does 14 divide t?
True
Suppose -7730*b + 7701*b + 16355 = -54811. Does 6 divide b?
True
Suppose 4*h + 26734 = 3*m, -480*h + 479*h + 8902 = m. Does 83 divide m?
False
Let p(i) = -2*i - 40. Let a be p(-20). Let j(f) = 16*f + a - 9*f**2 + 0 + 8*f**2. Is 10 a factor of j(13)?
False
Let h = -187 + 187. Suppose -p = -4*u - 3*p + 1270, 2*p + 10 = h. Does 32 divide u?
True
Let k be -389 + (-2)/10*-5*5. Let f = -198 - k. Is f a multiple of 6?
True
Suppose -10*w + 510 = -2790. Let o = 450 - w. Is o a multiple of 12?
True
Let k(s) be the second derivative of s**3/2 + 9*s**2 - 14*s. Let x be k(8). Suppose 230 - x = 5*j - m, 4*j - 4*m = 160. Does 30 divide j?
False
Let y(b) = b**2 - 2*b + 13. Let q be y(-9). Let v be ((-18)/(-21))/(1/(q/2)). Suppose -4*h = -3*r + 36, -4*r + 0*h + v = 3*h. Does 5 divide r?
False
Let f = -161 + 161. Suppose -j + y + 411 = f, 2*y - 2098 = -5*j - 22. Is 18 a factor of j?
True
Let l(i) = -i**2 - 12*i + 3. Let u be l(-12). Suppose 2*m - 120 = -4*g - u*m, -5*m = -3*g + 55. Is 5 a factor of g?
True
Let m(x) = 2*x**3 - 5*x**2 - 7. Let b be m(3). Suppose -4*t = 5*u - b*t - 1928, -u = -t - 387. Is 36 a factor of u?
False
Suppose -2*y + a = -285, -17*y + 18*y + 2*a = 150. Suppose y*l - 143*l - 195 = 0. Is 13 a factor of l?
True
Let i(k) = -29*k**2 + 18 - k**2 + 32*k**2 + 8*k. Is 6 a factor of i(-9)?
True
Let d = 494 - 494. Suppose 51*k - 40*k - 2530 = d. Does 12 divide k?
False
Let r = 450 + -450. Let y(z) = 7*z + 522. Does 18 divide y(r)?
True
Let k = 3457 + 17916. Is 27 a factor of k?
False
Let x be (382/(-4))/(1/(-4)). Suppose 5*l = 613 + x. Does 16 divide l?
False
Suppose -484*m + 400446 = -5199918. Is 203 a factor of m?
True
Let m(x) = 70*x**2 + 5*x + 24. Let g be m(-5). Suppose -5*v = -g - 366. Suppose v = 3*y - 144. Is 20 a factor of y?
False
Let h(v) = v**3 + 8*v**2 + 13*v - 58. Is h(20) a multiple of 10?
False
Let z = 7366 - 5325. Is 44 a factor of z?
False
Let x(h) = h**3 + 49*h**2 + 51*h + 168. Let l be x(-48). Suppose -13*k - 1276 = -l*k. Does 29 divide k?
True
Suppose -10*y + 352 = -21*y. Does 12 divide (-4220)/y + (-8)/(-64)?
True
Let r(l) = -7*l + 199. Let q be r(28). Let c(w) = -8*w**3 + 3*w + 1. Let h be c(-2). Suppose -q*j + h = 5. Is j a multiple of 2?
True
Suppose 0 = -134*k + 135*k - 7527. Does 52 divide k?
False
Suppose -5*a + 1947 = 18*s - 15*s, -3*s + a + 1965 = 0. Let k = s - 580. Does 18 divide k?
False
Let w = 139 - 138. Let t(a) = -a**2 - 2 - a**2 + 27*a**3 + 4*a + a**2. Does 6 divide t(w)?
False
Let h(z) = 23*z**3 + 337*z**2 + 13*z - 32. Is 40 a factor of h(-11)?
False
Let a = 559 + 881. Suppose -a = -42*v + 36*v. Does 4 divide v?
True
Suppose 66*f + 568590 = -58*f + 139*f. Is 262 a factor of f?
False
Is 5330 - (5/(5/(-3)) + 9) a multiple of 108?
False
Suppose -6*a + 2708 = -2*t, -3*t + 2185 = 3*a + 847. Is 15 a factor of a?
True
Let u(k) = -k**3 - 4*k**2 - 13*k - 10. Let x(t) = -3*t - 81. Let c be x(-26). Is u(c) a multiple of 11?
False
Let d be -2*3/6*(-3 - 282). Let t = d + -238. Is 6 a factor of t?
False
Suppose -v - 2*w + 7 = 3*w, -2*w = 4*v - 10. Is 11 a factor of (128/68 - v) + (-3880)/(-34)?
False
Suppose h + 2717 = 3*p, -4*h - 737 - 1081 = -2*p. Suppose -p = -6*x + 877. Is 27 a factor of x?
True
Let p(f) = -f**3 - 21*f**2 - f - 16. Let t be p(-21). Suppose -3*r + 4*r + t*u = 14, -3*r = u. Is 28 a factor of 5 + -2 - 53/r?
True
Let v be (26/(-6))/(((-30)/756)/5). Let q = v + -172. Is q a multiple of 31?
False
Is (-2 + -987)*(153/9 - 22) a multiple of 19?
False
Suppose -9*b + 6*b = 4*y - 12494, -y = 4*b - 3104. Does 7 divide y?
False
Let p(x) = -5*x + 8. Let l be p(-6). Let s = l + -34. Suppose -2*u = -a - 6 + 70, -5*a = s*u - 362. Is a a multiple of 35?
True
Let f(s) = -25*s + 1645. Is 2 a factor of f(56)?
False
Let z be (-117)/(-15) + 3/15. Let s(k) = 37*k + 31. Let o be s(z). Let j = o - 159. Is 28 a factor of j?
True
Let i(t) = -2*t + 21. Let a(p) = p**3 + p + 2. Let w be a(-1). Suppose -2*s = -w*s. Is 4 a