) = -j**3 - 4*j**2 + 6*j + 5. Let g be s(-5). Suppose g = d*o - 147 - 53. Is o a multiple of 12?
False
Suppose 4*n + 11 = 23. Let h(r) = -17*r - 3*r**n - 19*r**2 + 2*r**2 + 2*r**3 - 11 + 13. Is h(-16) a multiple of 15?
False
Suppose -28427 = 15*u - 18*u - 2*p, 0 = -4*u + 3*p + 37914. Is u a multiple of 78?
False
Let a = -4 - -8. Let l be 2/(3/(-6)*a)*24. Let m = l + 64. Is m a multiple of 5?
True
Let f(a) = 3*a**2 + 2*a**3 - 11*a + 0*a**2 + 5 - 3*a**2 - 2*a**2. Is f(7) a multiple of 55?
False
Is (-29 + 31)/((-2)/(-984)) a multiple of 41?
True
Suppose -p = -h + 4*h, p + h - 2 = 0. Let l(j) = 26*j**2 + 11*j - 13. Is l(p) a multiple of 5?
False
Suppose -124*x + 215925 + 440642 = -855985. Is 57 a factor of x?
True
Let j(y) = y**2 - 12*y + 5. Let c be j(8). Let l = c - -189. Does 18 divide l?
True
Suppose 0 = 230*c - 84*c - 17812. Does 3 divide c?
False
Suppose 9517 = 12*x - 6395. Does 20 divide x?
False
Suppose -4*y + 72 + 16 = 0. Let w be (y/(-99))/((-2)/18). Suppose z = -3*r + 2*z + 24, w*r + 2*z - 16 = 0. Does 7 divide r?
False
Suppose 0*g = 4*g + 5*f - 4983, -2*f + 6216 = 5*g. Suppose -g = -10*p + 198. Does 18 divide p?
True
Let j be (4/10 - 3/(-5)) + 174. Suppose -r + 534 = j. Is r a multiple of 49?
False
Let d = 11153 - 8789. Is d a multiple of 14?
False
Let f(o) = -8*o**3 - 3*o**2 - 3*o - 2. Let d = 70 + -65. Suppose -2 = 5*s + 3*m + d, 4 = -4*s - 4*m. Is f(s) a multiple of 14?
True
Let z(j) = 15*j + 108. Let b be z(-7). Suppose 5*o + 2715 = 5*x, o - b*o = -5*x + 2709. Is x a multiple of 39?
False
Suppose -2*j - 4*j = 48. Is 268 + 1/(-4)*j a multiple of 18?
True
Let y be -3 + (0 - -1) + 102. Suppose 5*g - 69 = 2*g. Let o = y - g. Is o a multiple of 16?
False
Suppose -9*p + 89 = 35. Suppose v - 13 - p = 0. Suppose 0 = -5*s, -b - 5*s + v = 7. Is b a multiple of 8?
False
Let m(p) = p**3 + 10*p**2 + 19*p + 22. Let q be m(-8). Is 209 - -29 - (q - -2) a multiple of 17?
True
Let i(a) = -3*a - 11. Let s be i(-5). Let j(b) = -b**2 + 12*b + 4. Does 19 divide j(s)?
False
Is (-2 + 61)/((-65)/(-16900)) a multiple of 52?
True
Let p = 118 - 48. Let b be 4/42 - (-412)/84. Does 20 divide 10654/p - 1/b?
False
Suppose 0 = w - 17*w + 2720. Suppose w + 124 = 2*r. Is 7 a factor of r?
True
Let d(i) = -7*i**3 - 14*i**2 - 10. Let g(n) = -13*n**3 - 27*n**2 - 21. Let x(t) = 11*d(t) - 6*g(t). Is x(-8) even?
True
Let o(z) = -z**3 - 4*z**2 - 3*z + 11. Let a be 22/(-4) - (-2 + (-3)/(-2)). Let m be o(a). Let t = m + 13. Is t a multiple of 16?
True
Let a(s) = s**3 - 26*s**2 - s + 29. Let b be a(26). Let o be b + -2 + 6/(-3). Let d(q) = -142*q**3 + 2*q**2 - 1. Does 12 divide d(o)?
False
Suppose 5*l + 23*r - 17795 = 18*r, -2*l = -3*r - 7148. Does 23 divide l?
True
Is 41 a factor of -6 - (111336/30*(-20)/8 + 6)?
True
Suppose 2*t - 5980 = -17*u + 16*u, 3*t = -4*u + 8960. Is 16 a factor of t?
True
Suppose 4*x = -585 + 237. Let p be 1/(2 - x/(-43)). Let r = p + 52. Is 3 a factor of r?
True
Suppose 0*r + 74136 + 6826 = 7*r. Is r a multiple of 5?
False
Let y = -2250 + 4694. Does 47 divide y?
True
Let n be 274/5 + (-3)/(-15). Let l be (741/(-12))/((-26)/8 - -3). Let t = l - n. Is 39 a factor of t?
False
Let m(s) = 400*s - 8. Let l(q) = 401*q - 10. Let a(v) = 3*l(v) - 4*m(v). Is 19 a factor of a(-1)?
True
Suppose 0 = 2*y + 73*s - 72*s - 5912, 2*y + 3*s = 5924. Is y a multiple of 33?
False
Let i = -2060 + 2079. Is i a multiple of 19?
True
Let i = 137 + -132. Let x be ((-2)/(-2))/(6/18). Suppose -5*a + 229 = -i*m + 4, -a - x*m = -49. Does 23 divide a?
True
Suppose 876 + 1677 = 3*v. Suppose -v = -4*l + 381. Is l a multiple of 22?
True
Let l(u) = 167*u + 294. Is l(14) a multiple of 28?
True
Suppose -3*g + 20 = 5*l, l + 4*g - 1 - 3 = 0. Suppose -l*k + 456 = -2*o, -3*o + 4*o - 220 = -2*k. Is 13 a factor of k?
False
Let a(x) = -x**3 + 74*x**2 + 126*x - 414. Is 249 a factor of a(71)?
True
Suppose 484 = 19*x - 8*x. Suppose -x*n + 396 = -42*n. Does 33 divide n?
True
Is 38 a factor of 14 + 61985/69 + (-1)/3?
True
Suppose -4*s - 40 = 2*p, 2*s + 5*p + 4 = -32. Does 5 divide (-5)/(-1) + s + 63?
True
Suppose -2*x = -4*x - x. Suppose -4*z + 3*g + 1152 = 0, x*z = 2*z - 3*g - 576. Is 6 a factor of z?
True
Suppose 7*a - 105 = 350. Let y be -172*(18/(-4))/9. Let p = a + y. Is p a multiple of 10?
False
Let i(u) = -2*u + 126. Let o be i(31). Suppose 0 = o*b - 72*b + 2184. Is b a multiple of 39?
True
Let i(c) = 2*c + 6. Let t be i(-2). Let w be ((-6)/4)/((-1)/t). Suppose 0 = d + w*z + z - 60, 5*d - 300 = 2*z. Does 15 divide d?
True
Let f = 382 - 274. Suppose 253 = x - f. Does 14 divide x?
False
Suppose 10*b - 86*b - 12782 = -156270. Is b a multiple of 118?
True
Suppose -6*d - 51952 + 65771 + 76271 = 0. Is 84 a factor of d?
False
Suppose -131*v = -137*v + 60. Suppose 288 = 18*w - v*w. Does 36 divide w?
True
Suppose 2*i - 4*i = -2*g + 42, -2*g + i = -37. Suppose -3*j = -5 - g. Is 19 a factor of j/((-35)/25)*-19?
True
Suppose 0*v = v - 17. Suppose -3*t = -v*t + 1050. Is 9 a factor of t?
False
Let u be (-6)/(1/(1/(-8)))*312. Suppose u = -6*j + 2736. Is 12 a factor of j?
False
Let o(l) = l**2 + 2*l + 20. Let z be o(9). Let k(u) = 3*u**3 - 2*u**2 + 2*u - 2. Let v be k(1). Let g = z + v. Is g a multiple of 40?
True
Let r = -378 + 208. Let y = -80 - r. Is 45 a factor of y?
True
Let a(k) be the first derivative of 3*k**6/40 + k**5/30 + k**4/6 - 5*k**3 + 16. Let v(m) be the third derivative of a(m). Does 8 divide v(-2)?
True
Suppose 5*r - 2*x = 82, 3*x = -5*r + 53 + 24. Let g = 940 + -941. Is 26 a factor of 412/r + (4*g)/(-16)?
True
Suppose 3*j - 33 = -w, -3*w + 184 = 2*w - 4*j. Let z = w + -7. Suppose -u = -z - 1. Is u a multiple of 3?
True
Let j = -2 + 6. Suppose 135*h = 116*h + 152. Suppose -j*y - 72 = -h*y. Is 6 a factor of y?
True
Let h(u) = -63*u - 29. Let r be h(-7). Suppose -2*j - 132 = -r. Is j a multiple of 35?
True
Let g be (-2)/(-1)*1/(-8)*-12. Let l be 3 + (-24)/(1 - g). Is (-3)/(-15) + 2097/l + 4 a multiple of 29?
False
Suppose 6*i - 13*i - i = 0. Suppose i = 10*f - 2*f - 2944. Is 8 a factor of f?
True
Let t(w) = -1789*w - 18971. Does 23 divide t(-29)?
False
Let v(b) = -b**2 - 2*b + 17. Let j be v(-5). Suppose -4*q - 4*p + 2*p + 634 = 0, -j*q + p = -327. Is q a multiple of 23?
True
Let c(k) = -9*k + 103. Let x be c(14). Let a(q) = -q**3 - 23*q**2 - 2*q + 2. Does 3 divide a(x)?
True
Is 16 a factor of -1760*(-14)/((-504)/(-225))?
False
Let a(j) = j. Let c(i) = -i**2 + 9*i - 4. Suppose 0 = 3*u - 38 + 14. Let n be c(u). Is 4 a factor of a(n)?
True
Let x = 138 + -127. Suppose -520 = 7*l - x*l. Is l a multiple of 5?
True
Let p = 15136 - 2458. Is p a multiple of 50?
False
Let y be ((-126)/(-8))/((-18)/(-192)*-4). Is 29 a factor of (-1 - -175)*((-350)/y + -7)?
True
Let m be ((-20)/(-7))/((-39)/(-273)). Let u(l) = 4*l + 102. Is u(m) a multiple of 14?
True
Is (2/48 - (-1329)/(-3544))/(2/(-33156)) a multiple of 12?
False
Suppose -161 + 176 = -l. Is (2112/(-11))/(l/40) a multiple of 53?
False
Is 30 a factor of (4 - 33970/(-20))*2?
False
Let i = -3685 + 3855. Is i a multiple of 17?
True
Let u = 18184 + -9928. Does 86 divide u?
True
Let t(r) = -r**3 - 4*r**2 - 5*r - 4. Let u be t(-2). Let b(l) = -15*l**2 + 5*l + 7. Let o be b(u). Let x = -36 - o. Is x a multiple of 9?
True
Suppose -d - 5227 = -5223, 4*g = 5*d + 11544. Is g a multiple of 5?
False
Suppose 2*j = -12, -j = -n - 3*j + 2737. Is 7 a factor of n?
False
Suppose -87*m + 64*m + 2691 = 0. Let f = -264 + 169. Let a = m + f. Is a a multiple of 22?
True
Suppose -253*i + 311*i - 82808 = 44270. Is i a multiple of 7?
True
Let h = -112 - -98. Let c(t) = -5*t + 29. Let g be c(h). Let r = 178 - g. Does 20 divide r?
False
Let j(z) = -z + 32. Let u be j(15). Let m(v) = 21*v**2 + 4 + 12*v**2 - 46*v**2 - u*v + 16*v**2. Is 20 a factor of m(8)?
True
Suppose -2*o - 2*o + 9 = -r, 4*o - 12 = 0. Suppose -2623 - 3177 = -4*n - 2*i, -r*i + 1440 = n. Does 57 divide n?
False
Does 12 divide (-3)/(-6)*-50*(-732)/5?
True
Let o = -412 - -411. Let p(h) = -4*h - 2. Let w(d) = -d + 1. Let y(a) = 2*p(a) + 6*w(a). Does 15 divide y(o)?
False
Let d(n) = n**3 - 13*n**2 - 7*n - 4. Let y be d(-5). Let r = 639 + y. Is r a multiple of 20?
True
Suppose -78203*m + 53312 = -78171*m. Is m a multiple of 14?
True
Does 13 divide 371*124/28 + -15?
False
Suppose -50*w + 49*w - 32914 = -4*s, 16460 = 2*s 