 = 24176. Is 15 a factor of i?
False
Suppose -2854233 = -331*l + 228*l. Is 175 a factor of l?
False
Let x(n) = 10*n + 57. Let o be x(-4). Let m(z) = z**3 - 19*z**2 + 36*z - 16. Does 3 divide m(o)?
True
Let d be (-15)/(-3*(-6)/(-12)). Suppose 4*g - u - 93 = 0, -85 = 5*g - d*g - 5*u. Is 22 a factor of (-11)/(g/12)*22/(-6)?
True
Suppose y + 2296 = 4*k + 2*y, 4*y - 16 = 0. Let c = 39 + k. Suppose 0 = -2*i + 14*i - c. Is 10 a factor of i?
False
Does 17 divide -1*41074/((-154)/14)?
False
Suppose 0 = -7*l + 55 + 666. Suppose -o = 4*x - 333 + l, -x + 62 = -2*o. Let n = 76 - x. Is 4 a factor of n?
False
Let z(v) = -7 + 3*v + 10 - 9 + v**2. Let h = 7 + -2. Does 17 divide z(h)?
True
Let w(m) be the first derivative of -7*m**2 + 62*m + 85. Does 11 divide w(-22)?
False
Let x(z) = 80*z**2 + 3*z - 4. Let g be x(2). Let i = -178 + g. Let u = i + -34. Does 22 divide u?
True
Let m be (-10)/(-50) + (-1102)/10. Let a = m + 115. Suppose -5*w + a*l = -497 + 92, 4*w + 3*l - 324 = 0. Is 27 a factor of w?
True
Let z(t) = 2042*t - 1529. Is 75 a factor of z(2)?
False
Suppose -3*y = -k + 60, -5*y - 6*k - 83 = -2*k. Let x(a) = 83*a**2 + 10*a - 8. Let t be x(1). Let z = t + y. Is 33 a factor of z?
True
Is 97 a factor of 5*(3 - (-84504)/40)?
False
Let k = 1255 + -1051. Is 68 a factor of k?
True
Does 83 divide (7*(-42)/(-441))/(1 + 239036/(-239040))?
True
Let o be (14/28)/(2/1124). Let n = o - 181. Is n a multiple of 18?
False
Let n(s) = -50*s - 7. Let v = -40 + 35. Let c be n(v). Suppose -5*w = -c - 117. Is 6 a factor of w?
True
Let z(u) = u**3 + 22*u**2 + 17*u - 12. Let l be z(-21). Let r = l + -70. Suppose -r*d - 195 = -5*d. Is 5 a factor of d?
True
Suppose -4*s = -12*s - 2*s + 21660. Does 24 divide s?
False
Let a(b) = b**2 - 46*b - 2. Let n be a(46). Is (n/10)/1 + (-19464)/(-120) a multiple of 9?
True
Let l(v) = -v**3 + 17*v**2 + 2*v - 12. Let j be l(17). Suppose 12 = -0*x - 4*x, 0 = 2*z + 2*x - j. Let a = -3 + z. Is a a multiple of 4?
False
Let c(k) = 14*k + 679. Is c(-29) a multiple of 13?
True
Let a = 5096 + -430. Is a a multiple of 14?
False
Let t be ((-7)/14 + -1)/(1/2). Let h be 1 + t + 25/5. Let d(z) = z**2 + 4*z. Is d(h) a multiple of 21?
True
Let j(w) be the first derivative of 5*w**3/3 + 2*w**2 - 7*w + 25. Let z be (-2)/((10/(-3))/5). Is 25 a factor of j(z)?
True
Let i(x) = -3*x**3 - 2*x**2 + 2*x + 3. Let n be i(-1). Suppose 0 = 3*a + n*a - 25. Suppose d + 2*d - 3*b = 309, -2*d + a*b = -206. Is 10 a factor of d?
False
Let h(p) = -3*p**2 + 5*p - 34. Let v(r) = 4*r**2 - 7*r + 33. Let k(b) = 5*h(b) + 4*v(b). Is 4 a factor of k(9)?
True
Let i(p) = p**3 + 3*p**2 + p + 5. Let l be i(0). Let d(a) = 177*a - 28. Is 7 a factor of d(l)?
False
Suppose -245*m + 3740 = -241*m + 2*c, 0 = 4*c - 16. Is m a multiple of 61?
False
Suppose -b - 11 = -4*q, 4*q = 3*b + 3*q - 11. Suppose -415 = -b*m + 500. Does 73 divide m?
False
Suppose 0 = p + z - 5, -10*p + 2*z = -5*p - 53. Let k(j) = j**2 - 9*j. Let u be k(p). Suppose u = -10*a + 4*a + 1722. Is 41 a factor of a?
True
Is -7 - ((-6)/33 + -75*1016/44) a multiple of 75?
True
Let j(f) = -2*f**2 - 12*f - 5. Let a be j(-4). Let l = a + -6. Is l a multiple of 2?
False
Let r = -10381 + 19477. Does 12 divide r?
True
Let p be 318 - 12/(10/(-5)). Suppose 2*j + 3*k = p, -692 = -4*j - 0*k + 5*k. Does 17 divide j?
False
Suppose -5*r - 3*w + 332 = -0*r, 4*w = -2*r + 130. Suppose 6*k = 245 + r. Suppose -5*g + 3*t = -2*g - 138, -g - t = -k. Does 4 divide g?
False
Let m(p) = -p**3 - 37*p**2 + 8*p - 104. Does 52 divide m(-41)?
True
Let w be 7*4*1/4. Let t(n) = 3*n**2 - 5*n + 16. Is 16 a factor of t(w)?
True
Let p(i) = -i**2 - 10*i - 1. Let z be p(-10). Does 6 divide (-2)/(-4)*z*-198?
False
Let u = -22772 + 49967. Is u a multiple of 49?
True
Suppose -5 = -p - 5*z + 2, -5*z = 2*p - 29. Let s = p - 22. Suppose -2*d + 8*d - 150 = s. Is 25 a factor of d?
True
Suppose 10*k - 22331 = 8869. Does 39 divide k?
True
Let n(p) = 2 + 16*p - 20*p - 68*p**3 + 3*p - 4*p**2. Is 28 a factor of n(-1)?
False
Let t(c) = -12*c**2 + 3*c + 6. Let x be t(-2). Let k = x - -67. Is k a multiple of 2?
False
Suppose 147*z - 13*z - 39664 = 0. Suppose -t - 2 + 5 = 0. Suppose 2*s = 2*p - z + 68, -t*p - 2*s + 347 = 0. Is 14 a factor of p?
False
Let g = 396 - 394. Is 58 a factor of (10/(-6) - -1)/(g/(-2163))?
False
Let b be (3 - 4)/(4/(-64)). Suppose -6*q = -2*q + b. Is ((-14)/q)/(5/60) a multiple of 6?
True
Let v = 103 - 99. Suppose 0 = v*a + 3*t + 1151, -283 = a - 3*t - t. Let z = -111 - a. Does 60 divide z?
False
Let p be (1264/24)/((-2)/(-18)). Let m = p - 152. Does 5 divide 21/(-168) + m/16?
True
Let h(c) = 97*c**2 + c. Suppose -q - 2*s - 222 = -4*q, 5*s = -5*q + 370. Suppose -4*o = q - 78. Does 22 divide h(o)?
False
Let x(k) = 12*k + 16. Let p be x(-1). Suppose 3*n + 5*t = 166, 38 = p*n + t - 206. Does 9 divide n?
False
Let u(l) = -23*l - 40. Suppose -18*x = -19*x + f - 5, 4*f - 4 = 2*x. Is 36 a factor of u(x)?
True
Let v(c) = -c**3 + 10*c**2 - 6*c - 26. Let u be v(9). Let a be (u - (6/2 + -4)) + 8. Suppose 0 = a*h - 146 - 274. Is h a multiple of 7?
True
Let h(s) = s - 5. Let p be h(2). Let v be 2 + (-26)/(-3)*p. Does 8 divide 44/(-6)*v/16?
False
Suppose 84*q - 431676 = -24*q - 0*q. Does 4 divide q?
False
Suppose 0 = -2*l + 2, 2*b - 4*l = -0*b + 368. Suppose 35*i - 15*i = 0. Suppose i = 9*g - b - 489. Is 29 a factor of g?
False
Let t be 0/((-4)/(-12) + 49/(-21)). Suppose 14*a + 3*a - 2125 = t. Is 5 a factor of a?
True
Suppose 22*i - 424 = 20*i - 4*y, -4*i + 812 = -4*y. Does 7 divide i?
False
Let z(w) = -3*w - 14. Suppose -8*v = -8 + 56. Let g be z(v). Suppose l - 50 - 90 = -g*h, 6 = 2*h. Does 32 divide l?
True
Let o(v) = -12*v**3 + 3*v**2 + 36*v + 30. Does 26 divide o(-4)?
True
Does 15 divide 28302/712*(-172)/6*-4?
False
Suppose 10*c = 4078 + 3202. Suppose -14*b + 5726 + c = 0. Is 36 a factor of b?
False
Suppose -7*t - 365 = -92. Let s = 35 + t. Does 14 divide s*3/6*-14?
True
Does 23 divide (-18 + (-786)/18)*-69?
True
Suppose 0 = 2*k + 5*v - 66653, -2*v + 233239 = -k + 8*k. Is 13 a factor of k?
True
Let r(h) = 5*h**2 + 39*h - 16. Let i(v) = v**3 - 16*v**2 + 27*v + 24. Let p be i(14). Is 23 a factor of r(p)?
True
Is 58 a factor of -8 - (82/2)/((-17)/1326)?
True
Suppose 37*j - 38*j = -38. Suppose -j*b = -34*b - 60. Does 5 divide b?
True
Let y = 726 - 709. Let w(u) = u**3 - 17*u**2 + 38*u - 34. Is 16 a factor of w(y)?
False
Let c(j) = 3*j**3 + 22*j**2 + 8*j + 15. Let n be c(-7). Suppose -402 = -2*p - 2*h, -4*p - 797 = -n*p + 3*h. Is p a multiple of 2?
True
Let b(p) = p**2 - 2*p + 1. Let g = 75 - 76. Let r be b(g). Suppose 0 = h - 5*c + 3, -h + r*h - 2*c = 30. Is h a multiple of 6?
True
Let m = -83 - -83. Suppose 0 = 5*n - 0*c + 2*c + 80, m = n + 2*c + 8. Let x = -5 - n. Is 6 a factor of x?
False
Let x be ((-3)/4 + 1)/(25/400). Suppose -414 + 542 = x*v. Is v a multiple of 7?
False
Let c be ((-33)/(-66))/((-1)/444*-3). Suppose c*b = 87*b - 4225. Is b a multiple of 25?
True
Let h(d) = -3*d**3 - 45*d**2 - 236*d - 12. Is h(-15) a multiple of 14?
True
Let n(f) = -f**3 + 13*f**2 + 13*f + 19. Let a be n(14). Suppose -40 = 2*r + 5*u, -a*r = -5*u + 2*u + 38. Does 14 divide r*(-4)/10 - -66?
True
Suppose 80*b + w = 81*b - 631, 5*b - 3*w = 3165. Does 7 divide b?
False
Suppose 11958 + 24775 = 3*b - 5*d, 2*d + 10 = 0. Suppose -20*o = -o - b. Is 28 a factor of o?
True
Let h(i) = 29*i + 24. Let x be h(-20). Let z = -160 - x. Is z a multiple of 66?
True
Suppose 2*u + 6 = -3*v + 2, -5*v + u + 2 = 0. Suppose v = 9*x + 10*x - 7220. Is x a multiple of 20?
True
Let t(s) = 3*s**3 - 12*s**2 - 12*s + 31. Let o(l) = -13*l**3 + 48*l**2 + 48*l - 125. Let h(m) = -2*o(m) - 9*t(m). Is 16 a factor of h(11)?
True
Let j(k) = -905*k + 433. Does 13 divide j(-4)?
False
Let n(j) = -j**3 - j**2 + j - 130. Let p be n(0). Let y = 552 + p. Is y a multiple of 30?
False
Let i(o) = -53*o - 15 + 3 + 51*o + 39*o**2 - 8. Does 18 divide i(-4)?
True
Let n(y) = -y**3 + 7*y**2 + 18*y. Let z be n(9). Suppose 0 = m + c - z*c - 167, -3*m + 508 = -4*c. Is m a multiple of 12?
True
Suppose 60*b - 24*b = 37728. Is 8 a factor of b?
True
Suppose 5*w + q - 106 = 3*w, -96 = -2*w + 4*q. Let v(h) = -2*h**3 + 17*h**2 + 18*h - 87. Let l be v(9). Let t = w - l. Does 11 divide t?
False
Suppose 198 = -3*a + 3*f + 15, f = 0. Let u = 66 + a. Suppose