09 = -5*l, 0 = l - 4*d - 252. Is 15 a factor of l?
True
Let f = -56 + 53. Let z(v) = -6*v**3 - v**2 - 9*v - 5. Is 10 a factor of z(f)?
False
Let q(p) = p**3 + 4*p**2 - p + 2. Let r be q(-4). Is 3 - (-96)/(r/3) a multiple of 6?
False
Let p(c) = 39*c + 400. Does 20 divide p(0)?
True
Let k(j) = -j**2 + 11*j + 17. Let u be k(12). Suppose -u*s = -154 - 386. Is 36 a factor of s?
True
Let k(q) be the first derivative of q**5/20 - q**4/3 - q**3/6 - 3*q**2/2 + 3*q - 5. Let o(t) be the first derivative of k(t). Is 10 a factor of o(5)?
False
Suppose 352 = -f + 5*f. Suppose -f = -4*j + 6*j. Is 5 a factor of 12/18 - j/6?
False
Let m(d) = -d**3 + 7*d**2 - 2*d. Let q be m(6). Suppose -4*y = -16 - q. Let r = y - -12. Does 14 divide r?
False
Suppose 44*q - 41*q - 5*d - 4422 = 0, -4*q = d - 5896. Is 32 a factor of q?
False
Let q(w) = 4*w - 28. Let z be q(8). Is (((-18)/z)/3)/((-69)/1564) a multiple of 8?
False
Let h(o) = -72*o**3 - o**2 - 2*o - 4. Let p be h(-2). Suppose 2*n = 3*u - p, -2*n = u - n - 189. Is u a multiple of 19?
True
Suppose -172 = 17*k - 21*k. Is k a multiple of 23?
False
Suppose p - 5*i + 2607 = 5*p, 9 = 3*i. Does 10 divide p?
False
Let p(b) = -b**2 + 13*b - 1. Let a be -3 + ((-26)/(-8))/((-2)/(-8)). Does 4 divide p(a)?
False
Suppose -59*y - 3330 = -64*y. Is y a multiple of 9?
True
Let l be (-3)/33*-53 - (-4)/22. Is 112/(-10)*(l - 0)*-1 a multiple of 14?
True
Let w be 90/(-21) + (-6)/(-21). Is 10 a factor of (-3 + 63)/((-6)/w)?
True
Let z = 507 + -272. Suppose 9*s = 4*s + z. Is s a multiple of 26?
False
Let c(j) = -j**2 - 8*j - 9. Suppose 4*h - 4 = -28. Let d be c(h). Let a(b) = b**2 + b - 1. Does 3 divide a(d)?
False
Let b = -15 - -90. Let i = 195 - b. Does 9 divide i?
False
Suppose -2*w - 1155 = 4*j - 4193, 4549 = 3*w + 2*j. Is 101 a factor of w?
True
Let f(c) = 12*c**2 - 24*c + 12. Is 15 a factor of f(6)?
True
Let j be ((-2)/1)/(1/182). Let y = j - -793. Suppose 5*g + 3*b - y = -158, 5*g - 5*b - 295 = 0. Is g a multiple of 15?
False
Let c be ((-3)/(-2))/(3/22). Suppose 4*b - 317 = -v, -82 = -b - 3*v + c. Is b a multiple of 19?
False
Let k(q) be the second derivative of 5*q**3/6 + 3*q**2/2 + 6*q. Let w be k(-6). Is 3 a factor of (-4 - -3)/(3/w)?
True
Let d(y) = -y**2 + 19*y + 14. Let h be d(17). Suppose -3*x + h = 3*l, 0*x + 110 = 5*l - x. Is l a multiple of 3?
True
Let k(u) = 3 + 0 - 13*u - 4. Is k(-7) a multiple of 30?
True
Let v(w) = -139*w + 3. Let l be v(11). Does 18 divide l/(-21) + ((-24)/9 - -2)?
True
Let c = -600 + 977. Does 32 divide c?
False
Let n(m) = 4*m**3 + 3*m**2 + 4*m + 12. Is 5 a factor of n(4)?
False
Suppose -3*c + 7 = -4*u, -3*c + c + 3*u = -4. Suppose -5*s - 3*d - 16 = 0, -c*s - 28 = -d - 0*d. Let p(r) = r**3 + 4*r**2 - 8*r - 9. Does 6 divide p(s)?
True
Let b(c) = 22*c**2 - 8*c - 15. Is 9 a factor of b(-3)?
True
Let w = 496 + -321. Suppose 0 = 11*x - 4*x - w. Does 3 divide x?
False
Suppose -30 = -9*z + 5*z + 2*g, 2*z - 2*g - 20 = 0. Let s(w) = -3*w + 2. Let y(d) = 20*d - 14. Let a(k) = -44*s(k) - 6*y(k). Is 28 a factor of a(z)?
True
Suppose 15295 = -28*g + 51*g. Is g a multiple of 4?
False
Suppose 17664 = 6*p - 2*p. Does 64 divide p?
True
Let x = -1 - -2. Let z(p) = 7*p**3 - p**2 + p - 1. Is z(x) a multiple of 6?
True
Let m(d) = 8*d + 40. Let z(q) = 9*q + 68. Let a be z(-8). Is 3 a factor of m(a)?
False
Let x = -625 - -940. Is 21 a factor of x?
True
Suppose 4*u = -3*q + 79, -u + 2*q - 4 = -2*q. Is u a multiple of 12?
False
Let n = 71 + 402. Is 14 a factor of n?
False
Let f(b) = -7*b**2 - 5 + 12 - 9 - 2*b**3 + 18. Is f(-5) a multiple of 21?
False
Let s(k) = -6*k - 33. Let p be s(-6). Suppose -g = -p*y - y - 88, y + 1 = 0. Is 11 a factor of g?
False
Let h(g) = -56*g**3 - g**2 - 2*g - 2. Suppose 13 = 2*c + 15. Is 11 a factor of h(c)?
True
Let c = -68 + 70. Suppose c*q + 1032 = 8*q. Does 28 divide q?
False
Suppose -4*p + p = -9. Suppose s + p*m + 194 = 2*s, -4*s = -5*m - 797. Suppose 0 = 4*b - 20, 5*g - 232 - s = -3*b. Is 27 a factor of g?
False
Suppose -5*b + 2*v - 2 = -2*v, 3*b + 9 = 5*v. Is (3/(-18))/(b/(-12)) - -163 a multiple of 14?
False
Let t(i) = 0 + 0*i**3 - 2*i**3 + 0*i**2 + 2 - 4*i**2 + 8*i. Is t(-4) a multiple of 20?
False
Suppose 0 = -l + 4*q - 84 + 20, -l - 36 = 3*q. Let g = -66 - -39. Let u = g - l. Does 7 divide u?
True
Suppose 72 + 171 = t + 2*h, -3*h = 9. Is t a multiple of 5?
False
Suppose t + 1 - 3 = -2*n, -3*t + 5*n = 38. Let k(s) = -s**2 - 2*s + 8. Let u be k(t). Is 9 a factor of 250/8 - (-4)/u?
False
Suppose 3*d = x - 628, -5*d - 608 = -3*x + 1288. Does 7 divide x?
True
Let j be (20/8)/(3*1/18). Is 501/5 - (63/j - 4) a multiple of 10?
True
Let g = -31 - -24. Let l(j) = -3*j - 6. Is l(g) a multiple of 3?
True
Let v = 540 + -366. Is 6 a factor of v?
True
Let a = 188 - -211. Is a a multiple of 21?
True
Suppose 2*l - 1335 = 465. Is 25 a factor of l?
True
Let l = -434 - -353. Let q = -49 + 168. Let d = q + l. Is d a multiple of 12?
False
Suppose -5*l = -2*w + 105, 2*l = -5*w - 124 + 459. Suppose -4*p - p = w. Let d = p - -40. Is 9 a factor of d?
True
Suppose 2*c + 4*r - 18 = -0*c, c - 3*r = -16. Does 16 divide (-12)/((c/((-48)/(-27)))/3)?
True
Let m(h) = h**2 + 8*h - 17. Let u be m(-11). Suppose -u = -4*k + 4. Does 12 divide (-276)/(-9) + k/15?
False
Let x be (-32)/(-4) - 0/2. Suppose -x*l - 395 = -13*l. Does 30 divide l?
False
Let j = -13 - -11. Does 6 divide j/3 + 913/33?
False
Let t(l) = 3*l**2 - 4*l - 5. Let g be (-28)/6 + 19/(-57). Let x be t(g). Suppose -a - 5*a + x = 0. Is a a multiple of 4?
False
Let d = 1304 + 111. Suppose l + 2*a = 6*l - d, 4*a + 863 = 3*l. Suppose -4*n + l - 21 = 0. Is n a multiple of 27?
False
Suppose -3*a = -0*a + 18. Let v be (2 + -4 + 3)*18. Is 12 a factor of (v/(-8))/(a/96)?
True
Let c(y) = -y**3 + 10*y**2 + 13*y. Let x be c(11). Suppose -x - 3 = 5*t. Is 11 a factor of (-19)/(-10)*-6*t?
False
Is (-12)/16 - 275/(-20)*29 a multiple of 12?
False
Let a(f) = -f**3 - 21*f**2 - 179*f - 33. Is 22 a factor of a(-11)?
True
Let i(d) = d + 10. Let g be i(-7). Suppose -g*m = -5*m - 4*u + 304, 2*u + 748 = 5*m. Is 20 a factor of m?
False
Suppose y - a = 812, 0 = 2*y - a + 6*a - 1603. Does 47 divide y?
False
Let c(i) = -7*i. Let q(u) = -72*u - 144*u - u. Let t(r) = -63*c(r) + 2*q(r). Does 9 divide t(5)?
False
Let a = 347 + -322. Does 2 divide a?
False
Suppose 3*j + 1 + 10 = -u, 3*j = 2*u - 23. Let p(v) = 7*v**2 + 8*v + 32. Does 42 divide p(j)?
False
Suppose -39 - 26 = 5*q. Let a = 18 + q. Suppose 2*f + a*r = 2*r + 24, 3*f + 5*r = 37. Does 8 divide f?
False
Is 11 a factor of (-3)/((-2)/4*4/398)?
False
Is 28 a factor of ((-2205)/(-12))/((-7)/((-1344)/18))?
True
Suppose -4*j - j = -2*f + 59, 2*j - 75 = -5*f. Suppose 25*i - 1216 = f*i. Is 19 a factor of i?
True
Is 118 a factor of (-1 + (-5)/(-3))/((-9)/(-3186))?
True
Suppose -4*i = -5*i - 7. Let b(v) = -v**3 - 7*v**2 - 7*v - 22. Is b(i) a multiple of 5?
False
Let b(h) = -3*h**3 - 188*h**2 + 12*h + 173*h**2 + 2*h**3. Is b(-16) a multiple of 8?
True
Let y be (2/(-6) - -1)*9. Does 32 divide ((-128)/(-6))/(y/18 + 0)?
True
Let l be (60/16)/((-3)/(-4)). Suppose 0 = 2*g + v - 21, 5*v - 36 = l*g - 126. Suppose 0 = -w + 49 - g. Is w a multiple of 9?
True
Let k = 40 + -36. Is 3 a factor of (1 + -2)/(k/(-52))?
False
Let d(l) = 6*l + l**3 + 3*l**2 - 8*l**2 + 4 - 12. Is 8 a factor of d(5)?
False
Suppose -211 - 2229 = -4*w. Is w a multiple of 37?
False
Let p be ((-28)/16)/7 - (-194)/8. Let j = p + -10. Is j a multiple of 14?
True
Let q(t) = -t**2 - 7*t + 9. Let s be q(-9). Let o = s - -76. Is o a multiple of 34?
False
Suppose 0 = 5*h - 20, 0 = -3*l + 58*h - 61*h + 1122. Is l a multiple of 5?
True
Let t(i) = -24*i - 5*i**2 + 21 + 5*i**2 - 19*i**2 - 11*i - i**3. Does 19 divide t(-17)?
True
Let i(p) = 25*p - 114. Does 67 divide i(13)?
False
Suppose 33 = -2*h + 3. Let p = 12 - h. Suppose -3*l + p = 2*a, 4*l = -3*a - 0*l + 43. Is 21 a factor of a?
True
Let c(v) = -v - 7. Let w be c(-5). Let y(q) = -q**2 - q + 1. Let i(a) = a**2 + a + 2. Let s(j) = w*y(j) - i(j). Is 14 a factor of s(-5)?
False
Let r = -3327 + 5812. Does 91 divide r?
False
Let l be (-8)/14 - (-122)/(-7). Let x(k) = -k**3 - 18*k**2 - 9*k - 1. Is 12 a factor of x(l)?
False
Suppose 0 = 3*l + 3*h - 1437, 0 = -3*l + 5*h + 251 + 1162. Is l a multiple of 17?
True
Suppose r + 3*u + 5 - 63 = 0, -2*r + 