 + -594). Suppose -6*g + p = -g. Suppose -o - 4 = -6, 3*l + 3*o = g. Is 15 a factor of l?
False
Let c(q) = 2*q - 10. Let d(h) = -h + 9. Let a(i) = 5*c(i) + 6*d(i). Let o(g) = 2*g**3 - g**2 + g - 2. Let l be o(2). Does 23 divide a(l)?
False
Let d(m) = 1890*m - 774. Is 4 a factor of d(6)?
False
Let b = -2415 + 2936. Is b a multiple of 13?
False
Let m(l) = 2*l**2 - 11*l + 17. Let j = -20 - -60. Let n = 51 - j. Is 14 a factor of m(n)?
False
Let d(h) = 12*h + 93. Let z be d(-8). Is 25 a factor of 2 + 5 - 3 - (z + -55)?
False
Let p = 5445 + 472. Does 61 divide p?
True
Suppose 5*f - 342 = -b + 77, 5*b - 2023 = -f. Let p = b + -92. Is 9 a factor of p?
False
Suppose 2*s + 544 = 542, 3*g + s = 14336. Does 14 divide g?
False
Suppose -t + 3*t - 10 = 0. Suppose t*u = -0*u + 15. Suppose -u*f = -141 - 75. Is 9 a factor of f?
True
Suppose 2*k - n - 14604 = 0, 0 = k + 255*n - 250*n - 7346. Is k a multiple of 4?
False
Let a(n) = -n**2 + 9*n - 18. Let z be a(6). Suppose -84*l + 75*l + 6660 = z. Is 52 a factor of l?
False
Let w(l) = 3*l**2 + 17*l - 97. Is 7 a factor of w(15)?
True
Let g(k) = 86*k**2 - 95*k + 2196. Is g(24) a multiple of 78?
True
Suppose -185*q = -267*q + 925616. Is q a multiple of 7?
False
Let g(q) = -8*q - 1. Let c(j) be the second derivative of 3*j**3/2 + j**2/2 - 5*j. Let h(s) = -3*c(s) - 4*g(s). Is 10 a factor of h(2)?
False
Suppose -d + 6*n + 2344 = 2*n, 2*n + 6972 = 3*d. Does 145 divide d?
True
Does 9 divide 2/((-32)/3) + 76637448/3456?
False
Suppose 149 + 206 = 5*n. Suppose -3*m - 6*a = -2*a - 61, -4*m + 30 = -2*a. Suppose m*j = 709 - n. Is 29 a factor of j?
True
Suppose -3*y + 408 = -504. Suppose 407 = 4*q + 2*z + 31, 0 = 3*q - 4*z - y. Is 3 a factor of q?
True
Suppose 5*g + 8 = k + 2*k, g - 16 = 5*k. Let n be ((-98)/g)/((-6)/(-12)). Let v = n - -202. Is 38 a factor of v?
False
Suppose 0 = 48*j - 55*j - 42. Let u(k) = 18*k**2 + 12*k - 12. Is 66 a factor of u(j)?
False
Suppose 284352 + 412608 = 165*t. Is 36 a factor of t?
False
Let w(f) = -2*f + 4. Let u(p) = p - 1. Let t(s) = 3*u(s) + w(s). Let k(m) = -m**2 - 23*m - 14. Let a(h) = -k(h) - 5*t(h). Is 5 a factor of a(-18)?
False
Let w be 25/75 - (-6004)/6. Suppose 5*r - 6439 = w. Is 66 a factor of r?
False
Let b(c) = 4*c + 5. Let k be b(2). Suppose 8*p - 12*p = -16. Suppose k - 1 = p*u. Is u even?
False
Let c(f) = 3*f - 6*f - 3*f + 6 + 7*f. Let j be c(2). Suppose 0 = 4*g - 0*g - 4*n - 132, -4*n + j = 0. Does 35 divide g?
True
Suppose -26 = -2*q + 2*j, q + 5*j + 4 = -7. Let i(s) = s**3 - 4*s**2 - 5*s + 11. Is i(q) a multiple of 30?
False
Suppose 2*q - 179 = -5*h, -30 = -h - 5*q - 8. Let l(k) = -10*k + 67*k - 11 - h*k. Does 9 divide l(4)?
False
Let r(s) = -s**3 + 18*s**2 + 16*s - 8. Let x be r(18). Is (546/(-5))/((-112)/x) a multiple of 2?
False
Let t = 7223 - 6509. Is 34 a factor of t?
True
Suppose 41*y = 1760 + 9515. Does 4 divide y?
False
Let t(s) = -2*s - 38. Let r be t(-20). Suppose -4*a = -i + 424, -r*a - 1391 = -2*i - 573. Is i a multiple of 4?
True
Let s(h) = 12 + 7*h**3 - 6*h**3 - 2*h**2 + 2*h - 2*h**2 - 18*h. Let o be s(5). Let g = 83 + o. Is 13 a factor of g?
False
Let x(a) = a**2 - 31*a - 78. Suppose 4*u - 5*f = 116, u = 4*f + f + 14. Is 4 a factor of x(u)?
True
Suppose -426*u + 410*u + 49770 = 13290. Is u a multiple of 2?
True
Is 48 a factor of -1733*(6 - 49/7)*2/2?
False
Let v(w) = -5*w**3 - 27*w**2 - 19*w - 55. Let o(q) = 3*q**3 + 13*q**2 + 9*q + 28. Let n(y) = -7*o(y) - 4*v(y). Does 18 divide n(17)?
False
Let r = 3419 - 1389. Is r a multiple of 58?
True
Let g be (10/4)/((-5)/(-150)). Suppose -g = 3*s + l - 19, 0 = -5*s - l - 92. Let p = s + 28. Is 10 a factor of p?
True
Suppose 36 + 40 = -4*u. Let p be 1 - (-2 - -3)*u. Suppose 3*f = 3*s - f - 302, 4*f + p = 0. Is s a multiple of 15?
False
Let c(j) = 140*j - 2571. Does 57 divide c(49)?
False
Let k(l) = 7*l - 33. Let p be k(0). Let c = 123 + p. Is c a multiple of 9?
True
Suppose -4*g = -84 - 0. Suppose 0 = 4*s - 3*s - 23. Suppose 0 = -s*j + g*j + 232. Is 7 a factor of j?
False
Let n(a) = 181*a**2 + 33*a + 110. Does 21 divide n(-4)?
False
Suppose 2*v = -4*u - 0*v + 738, 4*u = -5*v + 723. Let y = 339 - u. Does 13 divide y?
False
Suppose 12 = -2*i + 6*i. Suppose -6*l = -3*l - 1638. Is 43 a factor of (-6)/(-4) + (l/4)/i?
False
Let b = -4032 + 4461. Does 13 divide b?
True
Let v(h) be the third derivative of h**5/60 - 5*h**4/24 - 5*h**3/3 - 2*h**2. Let j = -2189 + 2184. Is 8 a factor of v(j)?
True
Is 22 a factor of (-8)/(360/(-27))*3950?
False
Let w(u) = -u**3 + 30*u**2 - 34*u + 286. Is 14 a factor of w(19)?
False
Suppose -163*b - 60*b + 220705 = -38*b. Does 60 divide b?
False
Let q(t) = -8*t + 20. Let f be q(2). Is ((-81)/f)/((-25)/1200) a multiple of 81?
True
Is 1832246/133 - (16/14)/4 a multiple of 28?
True
Let n(h) = 3*h**2 - 18*h + 28. Let c(i) = 4*i**2 - 17*i + 28. Let g(t) = -4*c(t) + 5*n(t). Is g(-13) a multiple of 5?
True
Let g = -110 + -118. Let f = 333 + g. Is 7 a factor of f?
True
Let h(z) = z**3 + 5*z**2 - 6*z + 2. Let d be h(-7). Let f be 122/(-5) + 4/10. Let p = f - d. Is p a multiple of 10?
True
Let b(k) = -7*k**2 + 11*k - 22. Let f(p) = 20*p**2 - 34*p + 66. Let w(o) = -17*b(o) - 6*f(o). Let y be w(14). Is 5 a factor of ((-17)/(-68))/(1/y)?
True
Let p be ((-96)/2)/((-12)/(-84)). Let u = -93 - p. Is 12 a factor of u?
False
Suppose 5*a + 0*a - 20 = 0. Suppose -4*m = -a, -2*z - 3*z - 4*m + 24 = 0. Suppose -z*w + 213 = -27. Does 12 divide w?
True
Suppose 0 = 3*p + 4*b - 3349, -2*p + 1936 = -3*b - 308. Is 7 a factor of p?
False
Let z(s) = s**2 + 22*s + 383. Let h be z(-17). Suppose -890 = 4*d + d. Let v = h + d. Does 20 divide v?
True
Suppose -5*y + 2*p - 7*p = 640, -3*p - 634 = 5*y. Let t = y + 110. Let u(f) = -f**2 - 15*f + 18. Does 18 divide u(t)?
True
Suppose 3*d + d = 2*i + 4, d + 5*i - 12 = 0. Let c(k) = 18*k + 42. Does 35 divide c(d)?
False
Suppose -216*u + 871966 = -1626290. Does 13 divide u?
False
Let l(i) = 3*i + 1720. Is l(-54) a multiple of 82?
True
Suppose -20*t + 4352 = 14*t. Suppose 0 = 3*n - 9 - 3. Suppose n*s - 400 = t. Does 22 divide s?
True
Let p(n) = -2*n**3 + 9*n**2 + 18*n - 16. Is p(-9) a multiple of 49?
True
Is ((-1802)/(-8))/(-3 - 539/(-176)) a multiple of 17?
True
Let c = -71 - -847. Is 4 a factor of c?
True
Let q be 6/(-1) + (-57 - -191). Let t = 267 - q. Is 34 a factor of t?
False
Suppose 38*i = 36*i + 8. Suppose 0 = -2*c + i, c + 9 = 2*q - 9. Let o = 21 + q. Does 8 divide o?
False
Suppose 0 = -5*l - 938 + 328. Let f be (1 + -5)/(4/56). Let i = f - l. Does 11 divide i?
True
Let y be (-121)/(-7) + (-4)/14. Let u(l) = -307*l - 3955. Let x be u(-13). Suppose 14*o - y*o = -x. Is 4 a factor of o?
True
Suppose 7*k = 11*k - 40. Let n(z) = -5*z - 5 - z**3 + 0*z**3 + 0*z + 11*z**2 - 4*z. Is n(k) a multiple of 2?
False
Suppose -32272 + 64512 = 4*t. Is 31 a factor of t?
True
Does 145 divide -4 - (-51060 + 23) - 28/(-4)?
True
Suppose -4 = 2*f - 3*f. Suppose 5*s = 5*w + 250, -5*s - f*w - w = -250. Suppose l + 3*r = s, l + 2*r = 5*l - 158. Does 12 divide l?
False
Does 8 divide (-18)/63 + (-80327)/(-7)?
False
Let q(z) = -z**2 - 3*z + 4. Let f be q(-5). Let a(g) = -2*g**2 + 9*g - 2. Let y be a(f). Let j = y - -288. Is 20 a factor of j?
True
Suppose 3*x - 3 = 0, -3339*x + 84304 = 5*j - 3335*x. Does 15 divide j?
True
Suppose b - 14*s + 17*s = 1976, -3*s = -2*b + 3988. Is 85 a factor of b?
False
Let u = 34990 - 19478. Is 17 a factor of u?
False
Is (-40)/16*5536/(-10) a multiple of 2?
True
Let y = 43 + -42. Let b be 2 + y - (-11 - 2). Let v = 48 - b. Does 16 divide v?
True
Let a = 1764 - -9895. Is 89 a factor of a?
True
Let i(h) = 3*h**3 - 3*h**2 + 9*h - 4. Let z be i(2). Is (-513)/(-18)*z/3 a multiple of 19?
True
Let d(p) = -p - 771. Let s be d(0). Let t = -491 - s. Suppose m - 9*m + t = 0. Is 3 a factor of m?
False
Let u be 4 - 2 - (-3)/(2/2). Suppose 5*l - o + 9 = 24, -15 = -5*l - u*o. Suppose 0 = -l*g - 2*v + 168, 3*g + 3*v = g + 112. Is g a multiple of 14?
True
Let w(t) be the third derivative of -t**5/30 + 4*t**4/3 + t**3/6 + 9*t**2. Let z(r) = -r**3 - 4*r**2 + 10*r + 1. Let p be z(-6). Is 20 a factor of w(p)?
False
Let f(i) = -i**3 - 7*i**2 + 15*i + 17. Let o be f(-9). Let n = -39 + o. Suppose 96 = 2*w - 3*y - 80, n*w - 5*y = 440. Does 11 divide w?
True
Suppose -3*o - 54*o + 1368 = 0. Suppose -454 = -10*f