 - 12*q + g, -q = g - 6879. Is 93 a factor of q?
True
Let u(k) = 81*k**2 - 37*k + 362. Does 34 divide u(10)?
True
Let v(o) = -19*o**2 + 0 + 31*o**2 - 14*o + 4. Is 13 a factor of v(-6)?
True
Suppose 108138 = -27*n + 30*n - 6*s, n - 36045 = 3*s. Is 12 a factor of n?
True
Suppose 2*v = -i + 5*i + 26, -5*i + 5 = 5*v. Let h be (-2 - 3) + v + 0. Let r(s) = 2*s**3 - s**2 - 2*s + 23. Is 16 a factor of r(h)?
False
Suppose 0 = -13*h - 2*h + 840. Does 21 divide 39 - 7/(h/(-24))?
True
Suppose -5*r = 2*s - 59 - 152, -3*r + 4*s = -137. Is 18/(9 + -3) + r a multiple of 2?
True
Suppose 2*z + 1322 = u, 4*u = 7*z - 4*z + 1988. Does 16 divide 10/(-2) - (-9 - -8) - z?
True
Let g(l) = -3*l + 44. Let s be g(14). Is 8 a factor of (16/32 + 2 + s)*14?
False
Let p(t) be the second derivative of 3*t**5/20 - t**4/4 - 5*t**3/6 - 35*t**2/2 - 2*t + 2. Is 16 a factor of p(5)?
True
Let z(u) = -u + 7. Let t = -62 + 66. Let g be z(t). Suppose 2*n + 158 = 2*i + i, g*n + 212 = 4*i. Does 7 divide i?
False
Let l(w) = 169*w**2 + 102*w - 768. Does 12 divide l(6)?
True
Suppose -33881 = 175*m - 430781. Does 36 divide m?
True
Suppose -825954 = 11213*x - 11246*x - 77943. Is 99 a factor of x?
False
Does 93 divide (-2310)/3080 + (-273054)/(-8)?
True
Suppose 0 = 2*p + 6*p + 3328. Let i = p + 661. Does 23 divide i?
False
Suppose -67*d = -29799 - 104737. Is d a multiple of 8?
True
Let g(u) = 3*u**2 + 62*u + 424. Does 24 divide g(-38)?
True
Let v = -31 - -113. Is v even?
True
Suppose -52123 = -14*k - 33*k. Does 4 divide k?
False
Let x(y) = y - 19. Let v be x(19). Suppose v*a - 1140 = -5*a - 3*j, -2*a = -2*j - 456. Does 19 divide a?
True
Suppose -2*m + 44 = -13*m. Is m/6 - (-18848)/57 a multiple of 15?
True
Suppose 0 = -c - 4*z + 12 + 4, -2*z + 14 = c. Is 25/(-15) - (-4580)/c a multiple of 38?
True
Let f(a) = -a**3 + 14*a**2 - 14*a + 198. Is 65 a factor of f(10)?
False
Let v(r) = -8*r - 72. Let j be v(-9). Suppose 0*m = -2*m, j = 3*a - 5*m - 336. Does 10 divide a?
False
Suppose 24 = 24*r - 16*r. Is 5/(2 + r) + (49 - -2) a multiple of 13?
True
Let j = -4 + -45. Let u = j - -40. Is 20 a factor of ((-210)/u)/((-8)/(-48))?
True
Let t(m) = 6*m**2 + 51*m + 15. Let f be t(-7). Does 3 divide (-3256)/f + (-3)/(-18)?
False
Let y(o) = 2*o + 6. Let n be y(-3). Suppose -2*p + 4*w = -636, n = -0*p + 4*p - 3*w - 1262. Is 10 a factor of p?
False
Let d = -440 + 440. Suppose d = 8*b - 1801 - 2231. Does 7 divide b?
True
Let b(c) be the second derivative of 13*c**3/6 - 45*c**2/2 + 22*c. Does 16 divide b(17)?
True
Let j = 13198 + -8180. Is 26 a factor of j?
True
Let h = 395 + 688. Does 6 divide h?
False
Is ((-208)/32)/((9 - 2)/(-25186)) a multiple of 257?
True
Let g(q) = -2*q**2 + 10*q - 3. Let z be g(4). Suppose 0 = z*f - 2*c + 464, 5*f - 4*c = c - 470. Let d = 36 - f. Does 30 divide d?
False
Suppose -4*k - 5*i + 184878 = 0, k + 3*i - 19438 = 26778. Is k/605 + (-2)/5 a multiple of 38?
True
Let b = 353 + -330. Is 70 a factor of b/(115/10)*(224 + 0)?
False
Suppose 0 = -5*x - 3*p + 2221, -223 = -x + 3*p + 232. Is 21 a factor of x?
False
Let k = -9521 + 16742. Does 60 divide k?
False
Let o = 1412 + -1447. Suppose 4*p - 3 + 11 = -4*j, -4*p - 28 = -j. Is (-301)/o - p/15 a multiple of 3?
True
Let l = 109 + -109. Suppose -3*c - 14 = -l*x + x, -5*x - 2*c = 44. Let w(z) = z**2 - 10*z - 16. Is w(x) a multiple of 8?
True
Let i(w) = -36*w - 3. Is i(-4) a multiple of 2?
False
Let g(s) = -s - 3. Let k be g(-10). Suppose -3*x = -k*x + 16. Suppose 0 = -x*m - 8, 0*w + 4*m = -w + 64. Is w a multiple of 18?
True
Let m(j) = 34*j + 379. Does 13 divide m(29)?
True
Suppose -4*i = -62 + 54. Suppose 2*r - s = -12 - 4, -3*r = i*s + 24. Is 13 a factor of (-4)/r*36*(-116)/(-8)?
False
Let r(k) = -116*k**3 - 4*k**2 + k. Is 28 a factor of r(-3)?
False
Suppose 0*c + 2*z = -5*c + 20, -4*z = 4*c - 16. Suppose 9*g = k + c*g - 131, 0 = -5*g + 10. Suppose -355 - k = -16*o. Does 31 divide o?
True
Let f(k) = -k**2 + 5*k + 20. Let p be f(7). Let y be (-3)/(-2) - (2 - 15/p). Suppose 4*s = -s + 5, 0 = -y*g + 3*s + 189. Is g a multiple of 12?
True
Let p(m) = -m**3 - 10*m**2 - 17*m + 213. Does 7 divide p(-12)?
False
Let h(d) = 95*d**2 + 287*d + 14. Is 186 a factor of h(-4)?
False
Let g(d) = 29*d + 154. Let a be 5/((-30)/4) - (-39)/(-9). Is 2 a factor of g(a)?
False
Let l = -124 - -135. Let z(n) = -4*n**2 + 59*n - 8. Let u(p) = 19*p**2 - 294*p + 41. Let v(i) = l*z(i) + 2*u(i). Is v(7) a multiple of 38?
False
Suppose 6265*q - 6267*q = -336. Does 7 divide q?
True
Suppose 0 = -2*c - 3*d, 0 = c - 2*d + 5 - 12. Suppose 4*h - c*v = 406, h = -9*v + 6*v + 94. Does 5 divide h?
True
Suppose -3*w + 23708 = 6*y - 43165, 4*y = -w + 22287. Is w a multiple of 26?
False
Let a(w) = -2*w**2 + 10*w - 4. Let v be ((-3)/15)/(6/360*-4). Is a(v) a multiple of 7?
False
Does 29 divide 98/((-112)/8) + 2684?
False
Suppose -11642 - 6511 = q. Suppose 4*a - 2 = 6. Is q/(-117) + a/(-13) a multiple of 54?
False
Let p be 1 + 4 - (-6)/(-2). Suppose b = 2*o - 2*b + 32, 4*b = p*o + 34. Is 19 a factor of (12 + o)/(1/(-95))?
True
Suppose 0 = 2*b + 4*r - 24, 5*b + 42*r - 32 = 39*r. Suppose 4*n = -5*u + 1503, -u - 2*n + b*n + 295 = 0. Does 18 divide u?
False
Let g(y) = -9*y - 7. Let h(k) be the third derivative of 3*k**4/8 + 7*k**3/6 + 10*k**2. Let d(m) = 2*g(m) + 3*h(m). Is 23 a factor of d(11)?
False
Suppose 5400*x = 5393*x + 23212. Is 4 a factor of x?
True
Let o = 2961 - 1711. Is 10 a factor of o?
True
Let z be -6*12/16*-2. Let j = z - -123. Suppose -4*o + 48 = -j. Is o a multiple of 15?
True
Is (-6240)/91*(-49)/2 a multiple of 6?
True
Let r = 12040 + -8258. Is r a multiple of 61?
True
Suppose 39*r - 40062 = 36636 + 54927. Does 9 divide r?
True
Let p = 197 + -179. Suppose 1489 = p*b - 5099. Is 27 a factor of b?
False
Does 12 divide (-12990348)/(-819) - 6/26?
False
Suppose 4*d - 5 = 3. Suppose 29 = -d*z + 37. Does 8 divide (-2)/((-6)/3)*z*8?
True
Is 5 a factor of (-245)/(-85) + -3 - 37336/(-34)?
False
Let o(j) = -j**2 + 3*j + 16. Suppose 18 = -15*w + 18*w. Let x be o(w). Let q(i) = -15*i - 6. Is 8 a factor of q(x)?
True
Let z(q) = -2*q - 30*q + 10 + 18*q. Does 42 divide z(-26)?
False
Let z be 4*(-3)/(-4) - 30. Let v = z + 37. Is (-6)/v - 1958/(-55) a multiple of 5?
True
Is 136 a factor of 1*(126726/33)/((-8)/(-44))?
False
Suppose a = 5*f - 5 - 12, 3*f - 2*a = 6. Suppose u + 2*u = 3*w, u = f*w + 3. Does 6 divide (96/(-2)*u)/(3/4)?
False
Suppose 9337 + 612 = 18*j + 1633. Is j a multiple of 106?
False
Does 6 divide (-21)/987 + 2313718/94?
False
Let f = 61753 - 23935. Is 10 a factor of f?
False
Let i(k) = 475*k**2 + 352*k + 32. Is 283 a factor of i(6)?
True
Let v(o) = 3*o - 11. Let u be v(7). Suppose -2*k + 495 = -425. Suppose u*g = 6*g + k. Is 36 a factor of g?
False
Let w be (40/(-15) + 4)*-6. Let s = w - -52. Let q = s - 24. Is 5 a factor of q?
True
Suppose -4*l = 3*d - 1892, 5*l = -4*d - 59 + 2583. Does 12 divide d?
True
Let q = 17305 + -8544. Is q a multiple of 25?
False
Suppose 0 = -s + 5, 4*n - 11 - 3 = -2*s. Is (60/(-4) - n)*(2 - 4) even?
True
Suppose 0 = g + a - 3, 9*a - 13*a = g - 24. Let s be -1*((-2)/2)/(-1). Is 8 a factor of (s - g) + (-5083)/(-23)?
True
Is ((-30 - 1)*153)/(-130 + 129) a multiple of 9?
True
Let p be (-9 + 0 + -1)*-12. Let n = -4848 + 5184. Suppose 0 = 6*w - n + p. Does 2 divide w?
True
Let v = 21 + 36. Suppose v + 57 = -b. Let x = -107 - b. Does 6 divide x?
False
Let g = 138 + -135. Let y(o) = -o**3 + 7*o**2 - 11*o - 3. Let n be y(g). Suppose 3*k + n*s - 2*s - 640 = 0, 0 = 4*s - 16. Is 18 a factor of k?
True
Let z = 186 + 45. Is 45*(z/9)/7 a multiple of 4?
False
Does 3 divide 6/((8 + 4578/(-572))*-3)?
False
Let g = 7812 + -1392. Does 20 divide g?
True
Let t(z) = 18*z**3 + 5*z**2 + 4*z - 66. Is 11 a factor of t(9)?
True
Let i(h) = -9*h**3 - h**2 + 2. Suppose 6*r = 223 - 235. Does 27 divide i(r)?
False
Let k = 19690 - -1111. Does 74 divide k?
False
Let d(j) = j**3 - 6*j**2 + 6*j + 7. Let f be d(5). Suppose 15*w - f*w = 0. Suppose w = -g - 5*g + 138. Does 4 divide g?
False
Let f be -8*3/(-24) - -2. Is 16 a factor of -1*562*f/(-6)?
False
Suppose -50707 + 12141 = -3*u - 2*w, -3*u + 38546 = -2*w. Does 9 divide u?
True
Let n(c) = -c**2 + 11*c + 14. Let m(v) = -v**2 + 11*v + 15. Let r(p) = -5*m(p) + 6*n(p). Let l be r(12). Is 31 a factor of (-185)/l + 12/36?
True
Let m be (