3. Let f(o) = -18*o + 266. Let r(p) = -3*f(p) - 7*u(p). Does 19 divide r(q)?
True
Suppose n + 3*f - 5345 = 0, 22*n - 27*n - 3*f + 26665 = 0. Is 54 a factor of n?
False
Let o(r) = -r**2 - 11*r - 16. Let m be o(-9). Let j(d) = 2*d**2 + 10*d + 1 - d - 8*d. Does 11 divide j(m)?
True
Let b(g) = -3635*g + 23. Is b(-1) a multiple of 31?
True
Let g(m) = 461*m - 972. Is 109 a factor of g(4)?
True
Let q = 63 + -63. Suppose -15*p + 7*p + 2184 = q. Is p a multiple of 91?
True
Let r = 40448 - 13875. Is r a multiple of 46?
False
Let a be -1*(126 - (-2 + (9 - 3))). Let k = 381 + a. Is k a multiple of 37?
True
Let q = 55686 + -29946. Is q a multiple of 72?
False
Suppose 0 = -23*f + 36*f + 26. Does 19 divide 4*f/(-44) - (-8112)/33?
False
Suppose 4*q - 97 = -0*q - 3*j, j + 51 = 2*q. Suppose 0 = -5*z - 15, 4*v + 4*z - 1 = -9. Let t = q - v. Does 6 divide t?
True
Let y(k) = 44*k + 6336. Does 38 divide y(-68)?
True
Let q(n) = -116*n**3 - n**2 - 5*n - 15. Is 9 a factor of q(-3)?
True
Suppose s - 9 = -2*s, -2*g + 5*s = -925. Let v = -244 + g. Is v a multiple of 29?
False
Let y = -762 + 1905. Is 3 a factor of y?
True
Let n be (-28)/(-21)*18/(-12). Let u(s) = 60*s**2 + s - 4. Is u(n) a multiple of 22?
False
Suppose -3*q = -5*r + 681, 0 = -13*q + 12*q - 2. Is 11 a factor of r?
False
Let h(p) be the second derivative of -p**3/2 + 13*p**2/2 + 2*p + 89. Let s = -18 - -9. Is h(s) a multiple of 22?
False
Let b = 70 - 71. Let q be -5 - (-122 + (-1)/b). Let n = q - 53. Does 12 divide n?
False
Let k = -13 - -21. Let x be (4/(-14) - 4320/(-126))*k. Suppose -4*v = -2*u - x, -2*v + 4*u - u + 144 = 0. Is v a multiple of 10?
False
Let x(d) be the third derivative of -113*d**4/24 - 8*d**3/3 - 15*d**2. Does 36 divide x(-2)?
False
Suppose -45*p + 5176 = -53*p. Let b = p - -899. Is 21 a factor of b?
True
Suppose -4*u - 2160 = 6*u. Let c = u - -290. Does 6 divide c?
False
Is -3*(-285)/9*530/(-100)*-2 a multiple of 19?
True
Let t(o) = 5*o - 30. Let v be t(7). Suppose 4*a - r = 2*r + 35, 2*a = -3*r - v. Does 12 divide (-10)/a + 51 + -1?
True
Suppose -20*q - 15008 = -16*q. Is 8 a factor of 3/(78/(-4)) + q/(-52)?
True
Suppose 0 = p + 45 - 1. Let k = 103 + p. Suppose 56*g + 102 = k*g. Does 11 divide g?
False
Let p(b) = b**2 + 20*b + 11. Let h be p(-19). Let o be ((-804)/h)/((-2)/(-4)). Suppose 5*q = o + 424. Is 14 a factor of q?
False
Let j(m) = m**2 - 14*m + 57. Let z be j(7). Let s(k) = -k**3 + 15*k**2 + 6*k + 3. Does 22 divide s(z)?
False
Let p(k) = 476*k + 7. Let s(v) = -159*v - 3. Let l(t) = -3*p(t) - 8*s(t). Does 28 divide l(-1)?
False
Is (5729/(-34))/(4 + (-210)/52) a multiple of 115?
False
Suppose -38*n = -39*n + 17. Suppose 4*p - 46 + 18 = -4*f, 4*p = 3*f + 21. Let h = n + p. Is 4 a factor of h?
False
Suppose 16*c - 4998 = 6298. Is 2 a factor of c?
True
Suppose 2*l = -2*s - 50, 5*l + 95 = -2*s + 3*s. Let r be (-5)/(l/(-8)) + -1 - -766. Suppose 6*m + m = r. Does 15 divide m?
False
Let j(b) = -348*b + 4635. Is j(-73) a multiple of 93?
True
Let b = -6951 - -18951. Is b a multiple of 50?
True
Let w(b) = 821*b**2 + 42*b + 45. Is w(-6) a multiple of 222?
False
Suppose -80*c + 475*c - 3709746 = 2859104. Is 5 a factor of c?
True
Is (10/3)/((-10)/1020*-4) a multiple of 3?
False
Is 148 a factor of (-4 - 54/(-13)) + (1593060/13)/6?
True
Suppose -2*v - 1208 = -2*b, -b = -7*v + 4*v - 594. Is b*((-2)/(-42) - (-2)/7) a multiple of 10?
False
Let b be ((12/8)/(6/(-272)))/(-1). Suppose 4*s - 288 = -4*a, 217 = 4*a + s - b. Let j = a + -34. Is j a multiple of 37?
True
Let u = 85 - 168. Let o = u - -112. Let w = 8 + o. Does 4 divide w?
False
Suppose 3*l - 4*l + 28 = 0. Let z be (-150)/(-8) + (-21)/l. Let c = z - -28. Does 10 divide c?
False
Let h(j) = 12*j + 12. Suppose -x + 2*x + 14 = 5*t, -2*t = -5*x + 22. Suppose 0 = -2*n - s + 18, -x*s + 20 = -s. Does 8 divide h(n)?
True
Let f be 2*((-92718)/12)/17. Let o = 1309 + f. Is 20 a factor of o?
True
Suppose 40*t - 71*t = -34*t + 405. Is 15 a factor of t?
True
Suppose -5*u - 25 + 160 = 0. Suppose 4*k - 3*o - u = 0, -2*k + 2*o + 0*o = -16. Suppose 3*m - 5 = -6*v + 8*v, -k*m + 15 = 0. Is v a multiple of 4?
False
Let z = 21995 - 17941. Does 57 divide z?
False
Let w be 18/(-4)*(-26)/39. Let s(g) = -13 - g**w + 0*g**3 + 10*g**2 + g - 16*g + 7*g**2. Does 3 divide s(16)?
True
Suppose -4*l - 5*n + 20669 = 0, -2*l + 202*n - 207*n = -10317. Is 12 a factor of l?
False
Suppose -4*z + 1946 = 3*v + 593, -z + 352 = -2*v. Is z a multiple of 57?
True
Suppose -4*l + 267 = -5*p, 42*l = 37*l + p + 318. Is 12 a factor of 4/((-60)/l)*-95?
False
Suppose -92*o = 8*o - 665600. Does 73 divide o?
False
Let c(t) = -6*t - 7 - 2*t + 3*t - 8. Let b be c(-4). Suppose -b*d = -s + 2*s - 196, 112 = 3*d - 5*s. Is d a multiple of 3?
True
Suppose -2*i = 3*t + 15 + 3, i = -4*t - 24. Let n = t + 9. Suppose -4*o + 73 = o + n*s, -3*o + 41 = -s. Is 3 a factor of o?
False
Let t be ((-21)/14)/((-2)/20) - 4. Suppose -o - 780 = -t*o. Is 2 a factor of o?
True
Let k(v) = 18*v**2 - 19*v + 9. Is k(-4) a multiple of 90?
False
Suppose 1080 = -33*q + 42*q. Suppose 4*f - 10*s + 8*s - q = 0, 5*s = 0. Is 15 a factor of f?
True
Is 37 a factor of 45538/(((-88)/(-22))/2)?
False
Suppose -3*f - 3*k = -113502, 5*k - 2*k + 113538 = 3*f. Does 120 divide f?
False
Let q(x) = -287*x**3 - 7*x**2 - 15*x - 24. Is q(-3) a multiple of 21?
True
Let z(q) = -2*q**3 - 28*q**2 - 75*q + 22. Does 16 divide z(-23)?
False
Let m(w) = -w**3 - 5*w**2 - 8*w + 5. Let y be m(-4). Is ((-18)/y)/((-17)/2975) a multiple of 3?
True
Let i = -3127 + 3398. Is 8 a factor of i?
False
Let p(m) = 5*m**3 - 5*m**2 + 28*m - 266. Is p(12) a multiple of 85?
True
Let q = 3624 + -54. Is 42 a factor of q?
True
Let c(p) = 4*p**2 - 7*p - p**2 - 4*p + 9 + 6. Let t(h) = -8*h + 576. Let j be t(71). Is 17 a factor of c(j)?
True
Suppose -35 = -15*x - 5. Suppose x*m + 7 = 73. Is 3 a factor of m?
True
Let n = 70 - 48. Suppose -y - 4 = 0, -w = -y - n - 154. Let m = w + -94. Does 18 divide m?
False
Let y = 304 - 300. Suppose -y*m - 27*m + 17918 = 0. Is 37 a factor of m?
False
Let x(a) = a**2 + 8*a - 3. Let y be x(-6). Let i(p) = -p**3 - 14*p**2 + 5*p - 3. Is 5 a factor of i(y)?
False
Let m be -2*115 + (20/(-5) - -4). Let y = -77 - m. Is y a multiple of 24?
False
Suppose p - 1054 = -4*x + 3*p, -2*p + 266 = x. Suppose -282 = -2*q - q + 5*r, -3*q = r - x. Is (q - -1) + (-2 - (-5)/5) a multiple of 12?
False
Is 61 a factor of 70461/33 - (6/(-11))/(-3)?
True
Let q(w) = -8*w**2 - 43*w + 40. Let b(t) = 4*t**2 + 21*t - 20. Let n(l) = 7*b(l) + 4*q(l). Let v(u) be the first derivative of n(u). Does 29 divide v(-14)?
True
Suppose -4*f - 42 - 30 = 0. Let w = 83 + f. Does 13 divide w?
True
Suppose 8*n + 17*n = 27*n - 2752. Is 3 a factor of n?
False
Let q(o) = -81*o + 39. Let k be q(5). Let w = k + 642. Is 4 a factor of w?
True
Suppose 5*r - 472*h + 477*h = 158565, 2*r = -h + 63427. Is r a multiple of 205?
False
Let w be ((-1596)/7)/4 + 9. Is 12/w + (-17355)/(-12) a multiple of 18?
False
Suppose 3*x - 80 = -2*x. Suppose -4*y - 2*b = x, 0 = -0*y + y + 5*b + 13. Is (y*46/3)/(1/(-2)) a multiple of 23?
True
Suppose -6*i - 4*d + 40224 = 0, -16*d - 13397 = -2*i - 21*d. Does 14 divide i?
True
Suppose -17*p - 20101 = 105733. Is 4/5 + p/(-10) a multiple of 22?
False
Suppose -36*h + 51*h - 3937 = 11138. Is h a multiple of 5?
True
Let j(o) = -634*o**3 - 5*o**2 - 5*o - 9. Is j(-2) a multiple of 114?
False
Let i = 91 + -83. Let p be ((-138)/i)/((-15)/(-40)). Let f = 10 - p. Does 14 divide f?
True
Suppose 0 = 2*y + 2*r - 82, 0 = -5*y + 9*y - r - 149. Suppose 0 = -4*k + 42 + y. Does 10 divide k?
True
Suppose 7*s - 130 = 2*s - 5*i, -2*s + 46 = -4*i. Suppose -11 - s = 4*f. Let t(h) = -18*h - 2. Is 40 a factor of t(f)?
True
Let a(m) be the third derivative of -m**6/120 + 4*m**5/15 + m**4/8 - 3*m**3 + 19*m**2. Let g be a(16). Is 12 a factor of 7/2*(g + -4)?
False
Suppose 50869 = 3*h + 4*t, 29*h - 3*t = 25*h + 67767. Is h a multiple of 141?
False
Suppose -60*g + 876485 - 258485 = 0. Is g a multiple of 27?
False
Suppose -5*o - 2*g - 7 = -5*g, -g = o + 3. Is (-3 - o)/(7/(-2156)) a multiple of 22?
True
Let t be (22/33)/(1*3/(-36)). Let r(c) = -7*c + 30. Let q be r(t). Let j = 161 - q. Is 46 a factor of j?
False
Let t(l) = -67*l**3 + 4*l + 1. Let d(p) = 68*p**3 - 5*p - 1. Let a(o) = -6*d(o) - 7*t(o). Let m 