/(-154))/(-12) + (-1759)/(-7)?
False
Let h(l) = l - 6. Let j be h(11). Let f(u) = u**3 - 4*u**2 - 5*u - 2. Let x be f(j). Is x - (-64 + (2 - -1)) a multiple of 9?
False
Let q be -22 - 1 - (-18)/6. Let d be q/(-8)*8/10. Suppose -s = -2*s + 3*r + 37, -2*s + d*r = -54. Is 9 a factor of s?
False
Let a(c) = 59*c + 379. Let v(p) = -29*p - 190. Let s(j) = 4*a(j) + 9*v(j). Is 27 a factor of s(-11)?
True
Suppose -4*o - 4 = z, 2*z - 2 = -2*o + 2. Suppose -36 = z*n - 7*n + 5*g, 0 = -4*n - 5*g + 13. Let y(t) = t + 6. Is 13 a factor of y(n)?
True
Suppose 21*f - 19 - 23 = -21*f. Let i(d) = d - 1 + 9*d**2 + 45*d**2 + 6*d**2. Is i(f) a multiple of 12?
True
Let f be 5/((-15)/(-9)) - (19 + -6). Suppose -4*z = -138 - 2. Does 6 divide (266/z)/((-2)/f)?
False
Suppose 3*l - 19*m - 30057 = -2*l, 0 = 4*l + 3*m - 23991. Is l a multiple of 150?
True
Suppose 5*p - w - 2239 = 0, -22*p + 18*p = -3*w - 1778. Suppose 0 = -3*y - 4*c + 443, -403 = -2*y - 2*c - 111. Suppose -q - y = -p. Is 14 a factor of q?
True
Let z = 130 - 67. Suppose 0 = -9*h + 378 + z. Is h a multiple of 7?
True
Let b(y) = -2*y + 53. Let j be b(24). Suppose -4*n - 20 = n, -j*m - 2*n = -152. Is m a multiple of 16?
True
Let m(u) = 4*u - 92. Let a be m(23). Suppose a*v = 2*j + 2*v - 180, -106 = -j - 5*v. Is j a multiple of 10?
False
Suppose -4*s = m, -26*s = -24*s + 2. Suppose -11*o + w = -12*o + 254, 0 = m*o + 2*w - 1020. Does 8 divide o?
True
Let j = 487 + -227. Let z = j + -217. Does 3 divide z?
False
Let x(j) = -j**3 - 13*j**2 - 12*j + 12. Let z be x(-10). Is 21 a factor of z*1*(-7 - (-250)/40)?
True
Let w(l) be the third derivative of -l**6/120 - l**5/30 - l**4/12 + 35*l**3/2 + l**2 + 7*l. Is 15 a factor of w(0)?
True
Let i = 4 - 0. Suppose -15 = -5*v + 2*j, 2*v - j = i*v - 15. Suppose 4*x + 3*t - 57 = 6*t, -v*x = 5*t - 115. Is x a multiple of 3?
True
Suppose 0 = -3*u - 2*b - 0*b + 34, -5*u - 5*b + 55 = 0. Let k be (16/5)/1*120/u. Let p = -8 + k. Is 3 a factor of p?
True
Let f be (0 - (-2)/(-5)) + (-3850)/(-250). Is 8949/95 - 3/f a multiple of 47?
True
Let m(d) = 286*d - 14736. Is m(171) a multiple of 17?
True
Let c(j) = 3*j**2 + 39*j + 279. Is c(34) a multiple of 8?
False
Suppose 20*d = -d + 42000. Is 11 a factor of d?
False
Let o be (8*-1)/(0 + -2). Suppose -5*p - 93 = -y, o*p + 0*y = 2*y - 78. Let v = -14 - p. Does 3 divide v?
False
Suppose -21 + 49 = 4*b, -5*r + 18448 = -b. Is r a multiple of 22?
False
Let f(j) = 39*j - 198. Let r be f(5). Does 7 divide (r/2)/(-4*11/6952)?
False
Let h(s) = 3*s**2 - 74*s + 28. Is 12 a factor of h(-22)?
True
Let i(w) = -117*w + 10. Let s(g) = 107*g - 11. Let r(p) = 212*p - 22. Let f(c) = 6*r(c) - 13*s(c). Let j(o) = 6*f(o) - 7*i(o). Is 45 a factor of j(1)?
False
Suppose -t + 50942 = 3*o, -3*t - 17545 + 170407 = 3*o. Does 14 divide t?
True
Suppose 0 = -2*j - 3*b - 38, 2*b = -4*j + 5*b - 94. Let c = j - -27. Suppose 0 = -c*a - 5*w - 7 + 152, 4*a = -3*w + 117. Is a a multiple of 9?
False
Suppose -2*x + 140 = l + l, 5*l = -x + 346. Does 9 divide (-4)/(-3) + 12466/l?
False
Let l be 22/209 + 262/38. Suppose -5*n + 317 = 4*b, 0 = -3*n + 8 + l. Is 8 a factor of b?
False
Let t(x) = 680*x - 779. Is 3 a factor of t(5)?
False
Suppose -9*p + 79285 = -14343 - 11906. Is p a multiple of 143?
True
Let a be (169/5)/(42/10 - 4). Let x = a + -79. Does 15 divide x?
True
Let r = 14978 + 6063. Does 18 divide r?
False
Let t(g) = 3*g + 48. Let j be t(-14). Does 7 divide (-14196)/260*(-20)/j?
True
Let b(q) = -q**3 - 8*q**2 + 22*q + 21. Let s be b(-10). Is 12 a factor of s/(-3) + 25032/36?
False
Let h(p) = 5*p + 35. Let v(i) = -i - 2. Let y(t) = 2*h(t) + 14*v(t). Does 11 divide y(-6)?
True
Suppose -361 = 39*t + 29. Is 13 a factor of (22/t + 1)*(-19 + -576)?
False
Suppose 6 = 3*o + 9, 5*h - 16 = o. Suppose 4*t - 3*g = 961, -h*t + 4*g = -t - 488. Does 17 divide t?
True
Let a(o) = -17*o - 18. Let j(r) = -9. Let y(h) = a(h) - 5*j(h). Let k be (-6)/(-20)*8*-5. Is y(k) a multiple of 33?
True
Is 8 a factor of (3/(-5) - 3*12/(-60)) + 6897?
False
Let v(g) = 4*g**3 + 13*g**2 + 16*g + 20. Let k(x) = -x**3 + x**2 - x - 1. Let t = -69 + 64. Let a(o) = t*k(o) - v(o). Is a(19) a multiple of 21?
False
Suppose -5*k = -z + 299, 4*k = 4*z + k - 1230. Is 3 a factor of z?
True
Let d(n) = -373*n**3 + 2*n**2 - 7*n + 4. Let b be d(1). Let y = 430 + b. Does 4 divide y?
True
Let m be (-385)/10*12/(-14). Is 55 a factor of (-95 + m)/(4/(-14))?
False
Let j be (-2)/(-4) - ((-5)/(-2) + -2). Suppose j = 2*z - 61 - 197. Is z a multiple of 16?
False
Let b be 1 + (-6)/9 + (-335)/15. Let k = b - -73. Is k even?
False
Let c = 780 + -419. Let y = -101 + c. Does 17 divide y?
False
Suppose 0 = -13*j + 2*j + 54421 + 86753. Is 9 a factor of j?
True
Suppose 2*b - 5*s = 14, 6*b - 2*s = b + 35. Suppose 3*g + b = 10*g. Suppose 4*k + 3*j - 43 = 0, -5*j = -6 + g. Is k a multiple of 5?
True
Is ((-12563)/18 + (-212)/(-477))/(2/(-12)) a multiple of 15?
True
Suppose 23377 = 15*g + 23302. Let j be -3*1*4/(-3). Suppose -502 = -4*y - g*t, -4*y - 5*t + j*t = -510. Does 16 divide y?
True
Does 36 divide 3 - (3 + -566 + -17)?
False
Suppose 10*r - 897 = -3*v + 15*r, 0 = -3*v - 4*r + 897. Suppose t = -2*b + v - 59, -b + 117 = -t. Is 51 a factor of b?
False
Let o be ((-26)/(-4))/((-12)/(-408)). Suppose -5*z = 3*s - 294, -4*z + 9 + o = 5*s. Is 3 a factor of z?
True
Let y(m) = m**3 - 3*m**2 + m + 8. Let i(t) = -t**3 + 2*t**2 - 7. Let l(u) = -u**3 + 2*u**2. Let z be l(-1). Let v(s) = z*y(s) + 4*i(s). Does 13 divide v(-4)?
False
Let q be (-3)/(-24) - (-312975)/200. Let z = q + -676. Is 109 a factor of z?
False
Let h(l) = l**2 + l - 9. Let d be h(3). Suppose -u - 4*m = -3*m - 13, 0 = -4*u + d*m + 45. Suppose u*p - 9*p - 222 = 0. Is p a multiple of 7?
False
Suppose -24*n + 22*n + 2 = 0. Suppose -g + 384 = -n. Is 12 a factor of g?
False
Let n(u) = -12*u**2 + u + 22. Let d be n(4). Let m = d + 198. Does 7 divide m?
False
Let c(h) = -2*h**3 - 84*h**2 - 37*h + 265. Does 82 divide c(-43)?
False
Suppose -2*g + 200 = 44. Let m = g + 186. Is m a multiple of 13?
False
Suppose 0 = p - 4 - 1. Suppose -19*d + 1834 = -p*d. Suppose -d = -x - 2*h, -2*x - 2*h + h + 268 = 0. Is 25 a factor of x?
False
Let z(d) = 3*d + 3*d**2 - 5*d - 4*d - 4 - 4*d**2. Let r be z(-5). Let o = 15 + r. Does 10 divide o?
False
Let o(l) = 29*l + 104. Let m(g) = 7*g + 26. Let n(j) = 9*m(j) - 2*o(j). Let u(a) = a**3 - 22*a**2 + 2*a - 29. Let h be u(22). Does 10 divide n(h)?
False
Suppose 0 = -3*w + 3, -5*w - 70188 - 94643 = -4*p. Does 203 divide p?
True
Let r be (-405)/(-27)*(-5)/3. Let p(w) = w**2 + 25*w + 12. Let d be p(r). Is 3 a factor of (0/(-2) - -2)/(d/138)?
False
Let j = 13 - 3. Let c be ((-5)/j)/(1/278). Let g = 249 + c. Is g a multiple of 19?
False
Let v(f) = -f**3 - 2*f**2 - 5. Let x(h) = h**2 - h + 1. Let q(n) = -v(n) - 5*x(n). Let i be q(4). Is (-4 - i)/(-3 + 2) a multiple of 7?
False
Let o(t) = -t**2 - 18*t - 22. Let y = 1 + -9. Let d = y - -1. Is 11 a factor of o(d)?
True
Suppose 698*t - 700*t + 20490 = 2934. Is 19 a factor of t?
True
Let b = -21738 + 62279. Is 32 a factor of b?
False
Suppose -68*b = -31275 - 32985. Does 9 divide b?
True
Suppose -13*w + 11*w + 57 = -3*n, 0 = 3*w - 4*n - 84. Is 20 a factor of 1/((-3)/(-45))*136/w?
False
Let m be (40 - 24) + -1 + -2. Suppose -17 = 3*r + m. Is ((-8)/r)/(-4)*-10 a multiple of 2?
True
Let y be 2/6*1*237. Suppose 2*o + 4*k = 7*k - 33, 4*k - 4 = o. Let f = y + o. Is f a multiple of 29?
False
Let m = 100 + -91. Suppose m*h + 616 = 20*h. Suppose 5*k - h - 34 = 0. Is 18 a factor of k?
True
Let g be (-8)/(-10) - 7/(385/(-1166)). Suppose 0 = -4*s + u + 97, -s + 12*u - 11*u = -g. Is s even?
False
Suppose -5*t - 33 - 257 = 0. Let r = 41 - t. Is r a multiple of 40?
False
Suppose 0 = -3*j + 2*o + 96, 0 = -0*o - o. Let r = j - 16. Suppose 3*y - 2*y - 3*d = r, -2*y - 2*d + 24 = 0. Is 3 a factor of y?
False
Let q = -248 - -252. Let k(l) = 25*l - 31. Does 6 divide k(q)?
False
Suppose 0 = 3*l + l + l. Suppose l = -4*a, 4*m + 4*a + 68 = 5*a. Is 17 a factor of m*(-3 + -2)*1?
True
Suppose t = -5*v + 7, 0*t = 5*t + 4*v - 14. Suppose 4*n - 2*y - 16 = 0, t*n - 5*y - 21 = -5. Suppose 115 + 68 = n*h. Is 16 a factor of h?
False
Let d be (-32)/(-10)*(7 - 2). Suppose -3*i = 4*o - d, o + 4*i = 2*i + 4. Does 17 divide (-1461)/(-18) + o/(-24)?
False
Let p(d) = 217*d*