s 3 divide g?
True
Let r(p) = 11*p**2 - 3*p - 7. Let a = 62 - 60. Suppose -21 = 4*d - 3*x, -5*d = -4*d - a*x + 9. Does 44 divide r(d)?
False
Let z(h) = 18*h**2 + 62*h + 45. Does 5 divide z(8)?
False
Let k = 5728 + -5868. Suppose 0 = 3*l - 6*l + 876. Let j = k + l. Does 38 divide j?
True
Suppose -18596 + 176240 = 27*d - 72288. Is 12 a factor of d?
False
Suppose 107 = -16*i + 1659. Suppose i + 2459 = 3*w. Is w a multiple of 12?
True
Suppose h + h + 46110 = 5*t, 2*h + 10 = 0. Is 4 a factor of t?
True
Suppose 82 = 2*b - 4*t, 3*b - 169 = -2*b - 2*t. Suppose b*w - 37*w = 444. Let u = w - -417. Is u a multiple of 13?
True
Let k = -72 + 67. Let q be 0/(k/2*-2). Suppose -4*z + 5*v + 172 = 4*v, -5*z - 4*v + 194 = q. Is z a multiple of 17?
False
Suppose 0*w + 5*w - 20 = 0. Let v be 4*w*-4 - -4. Is 11 a factor of (-1344)/v + (-4)/10?
True
Let v(m) = 15*m + 11. Let y = -54 + 49. Let w be v(y). Is 6 a factor of (9/2)/((-6)/w)?
True
Let d be (10*(-2)/(-16))/((-2)/32). Is (-8)/d - (-748)/5 a multiple of 30?
True
Let m be (12/15)/(1 + 1337/(-1335)). Let p = 1398 + m. Is 96 a factor of p?
True
Let s(w) be the second derivative of 67*w**4/12 - 3*w**3/2 - 2*w**2 - 2*w + 9. Is s(3) a multiple of 14?
False
Let a(x) = -16 - 2*x - 96*x**2 + 0*x - 103*x**2 + 207*x**2. Is 30 a factor of a(-4)?
True
Does 166 divide ((-71)/(-213))/((-1)/(-9)) - -925?
False
Is 42 a factor of (-3)/6 - (17 + (-102895)/10)?
False
Is 4 a factor of 3 - (-56)/(-4) - -3665?
False
Suppose 4*o + 946 = 5*p, 35 = -2*p - 4*o + 391. Let m = -98 + p. Is 44 a factor of m?
True
Does 139 divide 164/44 + -4 - (-6077934)/583?
True
Suppose 2*l + 2 = -0. Let w be (l/6*2)/(7/(-84)). Suppose w*j - 115 = 165. Does 14 divide j?
True
Let s = 10267 - 6802. Does 45 divide s?
True
Is 79 a factor of (13770/(-486))/(15/(-14301))?
False
Let o(t) = t**3 - 3*t**2 + 5*t + 1. Let d be o(4). Let z = d + -34. Let q(w) = 23*w - 9. Is 30 a factor of q(z)?
True
Suppose 2*z - 306 = -z. Let g = 111 - z. Is -1*12/9 + 1200/g a multiple of 33?
True
Suppose 13*o + 5*i + 2558 = 10*o, 4*o = -5*i - 3414. Let r = -604 - o. Does 41 divide r?
False
Let f = -10289 + 19005. Is 84 a factor of f?
False
Let j(i) = 1309*i**2 - 60*i + 124. Is 40 a factor of j(2)?
True
Let f be (-290)/87*(2 - 5). Suppose 0 = -5*d + f, -3*p + 1858 = -0*p - 4*d. Does 28 divide p?
False
Let j(d) = -d**3 + 21*d**2 + 11*d + 398. Is j(19) a multiple of 63?
False
Suppose 4*s + 0 - 3 = -3*y, 2*s + 3*y = 3. Suppose s = 17*d - 13*d. Suppose 7*l + d*l - 175 = 0. Is 18 a factor of l?
False
Let m = -30 - -25. Let s = m + 29. Let w(u) = u**3 - 24*u**2 + 2*u + 12. Does 6 divide w(s)?
True
Suppose 225 + 153 = 7*z. Suppose -5*k + 4*c + 23 + z = 0, k - 7 = 5*c. Does 15 divide k?
False
Suppose g + 2*k + 6 = 83, k = -4*g + 315. Let h be g/(-9) - 1 - (-28)/(-126). Does 22 divide (5/(h/316))/(-1 - 1)?
False
Let t(b) = b**3 + 25*b**2 + b + 53. Let k be t(-25). Suppose 11*i + 544 = k*i. Is 18 a factor of i?
False
Suppose 0 = 2376*h - 1205*h - 1195*h + 713640. Does 15 divide h?
False
Let w(k) be the third derivative of k**6/60 + 4*k**5/15 + 5*k**4/24 + k**3/6 + 12*k**2. Let h be w(-8). Let y = h - -58. Is y a multiple of 6?
False
Suppose 5*i + 25 + 75 = 3*j, -i - j = 12. Let k(x) = -x**3 - 16*x**2 - 2*x + 13. Is k(i) a multiple of 28?
True
Let w(i) be the second derivative of -47*i**5/10 + i**4/6 - i**3/3 - 3*i**2/2 + 23*i. Let m be w(-1). Suppose -t = -2*t + m. Is t a multiple of 11?
False
Let w be ((-6)/3 - -1) + 1. Let j(r) = r**3 + r**2 - r + 40. Let i be j(w). Let s = i + -16. Is s a multiple of 8?
True
Let a(f) = 2*f + 80. Let m = -104 + 104. Let s be a(m). Suppose 7*k - 9*k = -s. Does 4 divide k?
True
Let j be (-70)/(-385) + ((-42)/(-11) - 0). Suppose k + 0*f - f = 210, -5*f = -j*k + 842. Is k a multiple of 16?
True
Let o(u) = u**3 + u**2 - 8*u + 740. Let i be o(0). Suppose -60*t + i = -55*t. Does 13 divide t?
False
Suppose -15 = 3*h + 4*w, -1 = -5*w - 16. Let g(u) = -54*u**3 + 2*u + 2. Is 3 a factor of g(h)?
True
Let w(k) = -42*k**3 + 10*k**2 - 8*k - 5. Does 15 divide w(-5)?
True
Let n = -288 + -103. Let o = n - -574. Does 15 divide o?
False
Suppose -4*d - 59 = -4*m - 15, 16 = -d + 2*m. Let p = -77 + 88. Does 18 divide p/(-33) + (-164)/d?
False
Let q(a) = -4*a**2 - 3*a + 2. Let s be q(1). Let l(o) = 17 + 13 + 12 + o - 5. Does 2 divide l(s)?
True
Let q = 86251 - 30521. Does 83 divide q?
False
Let k(x) = 90*x - 967. Is k(47) a multiple of 21?
False
Let y(q) = 8*q + 12. Let s be y(-11). Let v = s + 57. Let f = -13 - v. Is f a multiple of 6?
True
Let l = 4 - 5. Suppose 9*q - 5365 = 46*q. Does 12 divide (2 - l) + -4 - q?
True
Suppose 3*z - 91 = -4*k, 2*k + z - 23 = k. Let r = k - -82. Is r a multiple of 11?
False
Let l(a) be the second derivative of -a**5/60 - 5*a**4/8 + 5*a**3/3 + 11*a**2/2 + 16*a. Let q(r) be the first derivative of l(r). Is q(-7) a multiple of 22?
True
Let s(i) = 799*i - 300. Is s(11) a multiple of 13?
True
Suppose 4*p = -j + 144, -67*p + 64*p = j - 152. Is j a multiple of 19?
False
Suppose 19*l + 1106 = 21*l. Let s = l + -308. Is s a multiple of 7?
True
Is ((5 - 7)/((-2)/(-10781)))/(17 + -18) a multiple of 33?
False
Let m be 2 - 2/3 - (-25)/15. Does 16 divide -1 - (m + -475 + -9)?
True
Let u(v) = 2*v + 35. Let t be u(-16). Suppose -4*r + t*r + 2052 = 5*f, r + 2058 = 5*f. Is f/9 - (-4)/(-6) a multiple of 9?
True
Let r be ((-6)/9)/((-2)/(-15)). Let t(l) = 4*l**2 + 0*l - l**2 + 2*l + 2*l. Is 11 a factor of t(r)?
True
Let l = 127 - 122. Suppose 0 = -5*j + 56 + 34. Suppose -2*o = -4*t + 176 + j, l*t = o + 241. Does 6 divide t?
True
Let y = 303 + -62. Let g = -178 + y. Is g a multiple of 4?
False
Let c = -656 - -652. Is 30 a factor of -1 + (-14859)/(c - 5)?
True
Let y(i) be the second derivative of i**4/6 - 2*i**3 + 17*i**2 - i. Suppose 0 = -3*a + 6, -42 = 16*f - 20*f + a. Is y(f) a multiple of 16?
True
Suppose -18775 = -3*g + g + 12979. Is g a multiple of 104?
False
Let i(m) = -m**3 - 9*m - 2 - 4*m**2 + 15*m**2 - 4. Suppose 2*r = -4*n + 42, -5*n - 2*r = -8*n + 28. Is 3 a factor of i(n)?
False
Suppose -314*z - 295*z = -588*z - 931560. Does 10 divide z?
True
Suppose -4*n = -a - 111558, 3*n - 5*a - 27926 = 55768. Does 16 divide n?
True
Let v(l) = -l**3 + 15*l**2 - 13*l + 4. Let z be v(14). Suppose z*u - 21*u = -b - 26, 43 = 5*u - 2*b. Is 5 a factor of u?
False
Let x = -41334 + 113755. Is 13 a factor of x?
False
Suppose 3*c + 68*t - 18 = 69*t, 3*t = c - 14. Let z(q) = 8*q**2 + 8*q - 5. Let l(v) = -9*v**2 - 7*v + 5. Let s(o) = 5*l(o) + 6*z(o). Is s(c) a multiple of 27?
True
Let l(f) = -240*f - 50. Let s be l(-4). Suppose -s - 2142 = -7*v. Is v a multiple of 5?
False
Let v(r) = r**3 - 3*r + 2. Let q be v(1). Let d be 264/6 - (4 + q). Does 37 divide 682/5 + (-16)/d?
False
Let a(s) be the second derivative of -s**5/20 + s**4 + 2*s**3/3 - 3*s**2/2 - 111*s. Is a(7) a multiple of 11?
False
Let w(v) = 2*v + 24. Let s be w(-13). Suppose 8*d - 3*d = -12140. Is 29 a factor of d/(-28) + s/(-7)?
True
Suppose -4*c - 20 = 0, 0 = -2*f + c + 38 + 47. Suppose 0 = -24*d + f*d - 4736. Does 22 divide d?
False
Let j = -6613 - -9741. Does 23 divide j?
True
Let o(i) = i**3 - 6*i**2 - 54*i - 11. Let m be o(11). Suppose 17*p - 11*p - 2268 = m. Is 21 a factor of p?
True
Let a be -25*5/(-10)*-2. Let m(d) = -6*d + 25. Does 17 divide m(a)?
False
Does 13 divide (-60015)/(-19) - 144/(-456)?
True
Let m = 0 + 13. Let o(y) = -230*y - 1 + 244*y - 10 - y**2. Does 2 divide o(m)?
True
Let n = -6 + 18. Suppose 3*z - 3480 = -n*z. Suppose 4*c = z + 496. Does 26 divide c?
True
Let q be 88/1 + 0 + 1*2. Suppose -93*p = -q*p - 6. Is (-20)/90 + p + 1696/18 a multiple of 24?
True
Suppose y + 6161 = 5*x, -2*y = 2*x - 817 - 1645. Does 16 divide x?
True
Let y be 0*((3 - -1) + -5). Let f = 3 + y. Suppose 4*n = -a + 124, -a + 28 = f*n - 2*n. Is n a multiple of 8?
True
Let q(i) = -10*i + 31. Let b = -58 - -63. Let z(r) = -11*r + 31. Let h(a) = b*z(a) - 6*q(a). Is 8 a factor of h(24)?
False
Let t(l) = -2*l**3 - 4*l**2 + 6*l + 7. Let c be t(-3). Suppose 0 = -19*g + c*g + 348. Is g a multiple of 6?
False
Let w = 255 - -1038. Let s = w - 633. Does 22 divide s?
True
Suppose -19*y + 40 = r - 18*y, 4*r - 161 = -5*y. Suppose 4 = 5*c + 14. Let h = r - c. Does 21 divide h?
False
Let s be 5 + (0 - (-3 + 3)). Suppose 0 = -9*w + 908 + 