. Let q = -114 - x. Suppose -4*v + 334 - 88 = q*j, -2*j + 2*v + 150 = 0. Is 12 a factor of j?
False
Let t(j) = -1321*j - 1. Let k = 54 + -55. Let v be t(k). Suppose -v = -5*w - 6*w. Does 12 divide w?
True
Let w(y) = 296*y**2 + 8*y - 22. Is w(-4) a multiple of 36?
False
Let z = -64 - -74. Suppose -z = -5*r + 5. Suppose r = -i, -o - 3*i - 2*i + 35 = 0. Is 50 a factor of o?
True
Suppose -u - 170 = 4*u - 4*g, 5*u = g - 170. Let f = -34 - u. Does 21 divide 16/48*(f + 63)?
True
Suppose 0 = 3*v - 15. Let a(q) = q**3 - 10*q**2 + 7*q + 6. Let n be a(11). Suppose 4*z - j - n - 54 = 0, -4*j - 317 = -v*z. Is 16 a factor of z?
False
Suppose -3*p = -p - 10. Let h(c) = -4 + p + 21*c - 6. Is h(4) a multiple of 10?
False
Let t(b) = 3600*b**2 + 15*b - 11. Does 136 divide t(1)?
False
Suppose 0 = 5*q + 2*u + 184, -146 = 2*q + 2*q + u. Let m be ((-24)/q)/(2 + (-4656)/2331). Suppose 3*p + 28 = m. Does 12 divide p?
False
Suppose 8*h = 4*h + 4*c + 20, 0 = h + 5*c + 19. Let n(l) = 206*l**3 + 2*l**2 + 2*l - 3. Is n(h) a multiple of 9?
True
Let f(a) = a**2 - 459*a - 8781. Is f(-19) a multiple of 43?
True
Let m = 7816 - 3900. Does 44 divide m?
True
Let a = 317 - 317. Suppose a = -145*u + 136*u + 1512. Is u a multiple of 4?
True
Let a be -2*3 + (-11 - -11). Let x(l) = -l**3 - l**2 + 4*l - 19. Is x(a) a multiple of 8?
False
Let v(r) = -r**2 + 4*r + 20. Suppose -5*a + 20 = -40. Let l be v(a). Let u = l - -136. Is u a multiple of 20?
True
Let f(r) = 63*r + 129. Let d be f(16). Let c = d - 678. Is c a multiple of 32?
False
Let o = 33880 + -16780. Is 6 a factor of o?
True
Let d = -746 + 749. Suppose -1814 = -d*u + 3667. Does 21 divide u?
True
Let d = -36 - -40. Suppose -2*s + 4 = -d. Suppose 0 = t, -95 - 1 = -k + s*t. Does 12 divide k?
True
Suppose 262*z - 152173 - 55943 + 54846 = 0. Is 39 a factor of z?
True
Suppose -81 = 7*b + 409. Let u = 160 + b. Is 6 a factor of u?
True
Suppose -5*z + 23760 = 16*z + z. Does 30 divide z?
True
Let v(y) be the second derivative of 21*y**4/4 - 2*y**3/3 + 2*y**2 + 25*y + 1. Is v(2) a multiple of 31?
True
Let m(i) = -2*i**3 - 15*i**2 - 9*i + 6. Let y be m(-11). Suppose w - 474 = x, 9*w - 11*w + 4*x = -y. Is w a multiple of 8?
True
Is (4528/8)/(-1*(-10)/385) a multiple of 49?
False
Let v = -3036 + 3778. Does 38 divide v?
False
Suppose b + m - 24 = 0, -2*m - 23 = -4*b + 55. Suppose 6*g - 5*g - b = -2*o, 0 = -3*o - 4*g + 44. Suppose 0 = -o*z + 721 + 599. Does 27 divide z?
False
Suppose 7*x - 7 = 28. Suppose 0 = -23*l + 27*l + x*f - 539, l + 5*f = 116. Is l a multiple of 9?
False
Let u be -3*((-2240)/21)/8. Suppose u*z = 25*z + 1440. Does 7 divide z?
False
Suppose -4*d + 6*d = 3*o + 212, 0 = d - o - 105. Suppose d*k + 540 = 112*k. Is 35 a factor of k?
False
Let u(g) = -37*g**3 - 2*g + 8. Let k be u(-5). Suppose -23*r + k + 2717 = 0. Is 10 a factor of r?
True
Suppose -14*g + 76567 = 7995. Is 163 a factor of g?
False
Suppose -181*n = -175*n - 6. Let l = -90 + 8. Does 27 divide n + (-3 - l*(2 + 0))?
True
Let o(q) = 244*q**2 - 19*q - 49. Is 35 a factor of o(-7)?
True
Suppose -44*v = 80*v - 84*v - 676080. Is 64 a factor of v?
False
Let l(b) = 6*b**2 - 5*b + 3. Let u be ((-28)/56)/(1/10*-1). Suppose 4 = -3*i - u. Does 12 divide l(i)?
True
Let n(h) = 20*h**2 + 9*h - 29. Let a = -417 + 409. Is 17 a factor of n(a)?
False
Suppose 260*g - 234*g - 267592 = 0. Is g a multiple of 75?
False
Let g(w) = -515*w**3 - 7*w**2 - 6*w - 16. Is 14 a factor of g(-2)?
True
Suppose -u - 308 = -521 - 176. Does 6 divide u?
False
Does 61 divide (-39)/858 + 21/(-22) - 1*-8419?
True
Is (52/5)/((-65)/(-16900)) a multiple of 89?
False
Let z(o) = o**3 + 7*o**2 + 6*o + 2. Let u be z(-6). Let b be 7 - 20/(3 + 2). Suppose 4*k = 2*k + b*w + 78, u*k - 82 = 2*w. Is 15 a factor of k?
True
Let c = -3480 - -8380. Is c a multiple of 28?
True
Let l(u) = u**3 - 5*u**2 - 16*u + 14. Let f be l(7). Let b be (-3 + 15/6)*f. Suppose i + b*i - 3*v - 32 = 0, -2*i = 3*v - 28. Is i a multiple of 10?
True
Let y(a) = 5*a - 3. Let m be y(-4). Let v be -1*15*(1 + 2 + m). Suppose 0*t - v = -6*t. Is 9 a factor of t?
False
Let y(t) = 72*t**2 - 1. Let k be (6*(-1)/2)/3. Is y(k) a multiple of 17?
False
Suppose -29*d + 623 + 189 = 0. Suppose 4*y + 15 = a, 3*a + 5*y = 2*a - 12. Suppose -56 = -a*l + d. Is 2 a factor of l?
True
Let v be 50 + 4*(-1)/(-1). Let q = 58 - v. Suppose 5*d - 211 = q. Is 13 a factor of d?
False
Suppose 1564 = 4*n - 0*n - 5*b, -380 = -n + 4*b. Let g = 720 - n. Is g a multiple of 27?
True
Suppose -2*h = -0*h + 4*z + 62, -2*h + 3*z - 69 = 0. Let d = h + 157. Let t = d - 85. Is t a multiple of 13?
True
Suppose 0 = 6*c - 0*c + 3822. Let j = 209 - c. Does 22 divide j?
False
Let s(o) = 127*o - 13. Let t be ((-6)/(-6))/(-3 - 28/(-8)). Is 23 a factor of s(t)?
False
Let p be (-192)/(-8)*(-14)/(-8). Let x = p - 39. Does 37 divide 1425/15 + -1 + x?
False
Suppose i - 65 = -73. Let a(s) = 10*s**2 + 5*s + 9. Does 29 divide a(i)?
True
Let l(n) = -n**2 - 179*n + 2610. Is 6 a factor of l(-86)?
True
Suppose 66788 = 17*f - 76097 + 53601. Is 62 a factor of f?
False
Let s(v) = -257*v + 42 - 62 + 33. Is 27 a factor of s(-1)?
True
Let r(s) = -s**3 - 19*s**2 + 41*s - 16. Let j be r(-21). Suppose -4*u = -2*x - 656, -j*x = 3*u - 0*x - 466. Is 11 a factor of u?
False
Let l = 13555 - -34260. Is 9 a factor of l?
False
Suppose -3*i + 2*j + 128324 = 0, 109*i - 6*j = 114*i - 213808. Does 47 divide i?
True
Suppose -5*d + 4*t - 256 = 0, 11*d - 7*d + 2*t + 184 = 0. Let o be ((-6)/4 + 0)/(9/d). Let s = 80 + o. Does 11 divide s?
True
Let s(a) = 2*a + 37. Let b(t) = -t - 31. Let m(j) = b(j) + s(j). Suppose 3 = 5*q - 3*c - 35, -4*q = -3*c - 28. Is m(q) a multiple of 8?
True
Suppose -3*w + 4483 = -5*x - 8310, 0 = -5*w + 4*x + 21300. Is w a multiple of 56?
True
Let o be 196/(-6)*60/(-14). Suppose -5*n - o = -12*n. Is 10 a factor of n?
True
Let y(a) be the third derivative of -a**4/12 + 45*a**3/2 - 244*a**2. Does 11 divide y(-21)?
False
Let n(y) = -82*y**3 + 59*y**2 + 148*y - 47. Is n(-3) a multiple of 49?
True
Let d be (-4 + 208/56)/((-4)/(-56)). Does 4 divide d - (-1216)/8 - 6?
False
Let x(s) = 331*s - 7. Let b(v) = -663*v + 14. Let f(p) = -6*b(p) - 11*x(p). Let c be f(-2). Is 7 a factor of c/(-12) + 6/24?
False
Let n(z) = -4*z**3 + 14*z**2 + 3*z + 11. Let x be n(4). Does 34 divide ((-18)/6)/x*417 - 3?
True
Suppose 0 = -4*j - 5*g - 10, -4*g - 3 = 3*j + 5. Let p be 78/(6/15*5 + j). Let m = p + -12. Is 8 a factor of m?
False
Let k(i) = i**3 - 6*i**2 - 19*i + 26. Let f be k(8). Is 19 a factor of (8/1)/f - -35?
False
Is 21 a factor of 60*((-18)/(-40))/(((-651)/2744)/(-31))?
True
Let n = 56 + -26. Let z be 18/n - (-28)/(-5). Let t(m) = m**3 + 4*m**2 - 10*m - 1. Is t(z) a multiple of 5?
False
Suppose -3*g = 4*h - 41629, 4*g + 584*h - 586*h = 55454. Is g a multiple of 46?
False
Suppose -25538 - 2728 = -14*m. Is m a multiple of 7?
False
Suppose -1897 - 5121 = 58*c. Let w = 55 - c. Is 8 a factor of w?
True
Let w(l) = -3*l + 91. Let s be w(29). Suppose -5*j + 409 + 363 = s*i, -310 = -2*j - i. Is (j*5/10)/2 a multiple of 6?
False
Suppose 0 = -2*w + 3*r + 10 - 3, w - 3*r - 2 = 0. Suppose -684 = -w*q - 3*g, q - 22 = -4*g + 125. Is 5 a factor of q?
True
Let x(u) = u + 390 - 2*u - 413. Let t be x(-13). Does 2 divide -2 + (t + 6)*17/(-4)?
False
Suppose 0 = 8*h + 8*o - 10*o - 153834, -2*h + 38456 = 2*o. Does 31 divide h?
False
Let n = 190 + -194. Does 9 divide 1275/(-125)*(-17 + n/(-2))?
True
Let f = 493 - 248. Suppose -f = 10*d - 645. Is 7 a factor of d?
False
Let k = -12235 - -15112. Does 199 divide k?
False
Let z be (9 - 10)/((-2)/(-4)). Let o(a) = 15*a**3 + 4*a**2 + 6. Let h(s) = -45*s**3 - 11*s**2 - 17. Let r(c) = 6*h(c) + 17*o(c). Is r(z) a multiple of 10?
False
Let s = 52 - 0. Let m = s - 52. Suppose -5*r + m*r = 4*d - 493, 3*r - 2*d - 287 = 0. Is 21 a factor of r?
False
Suppose 156*v + 336 = 149*v. Let a = v + 189. Does 7 divide a?
False
Let g(r) = 8 - 3*r + 0*r + r**2 - 12. Let b be g(4). Suppose b = 3*c - 23 - 25. Does 6 divide c?
False
Let v(l) = -110*l + 1176. Is v(-33) a multiple of 54?
True
Suppose 0 = -23*w + 21*w - 8. Let h(y) = 13*y**2 - 4*y - 8. Let m be h(w). Suppose 4*a + 329 + 31 = 5*i, 2*a = 3*i - m. Is 24 a factor of i?
True
Let d be ((-2)/(-10))/(6*(-1)/(-56310)). Suppose -1911 = -4*t + d. Is t a multiple of 63?
False
Let