oes 4 divide p(6)?
True
Suppose -8*p + 608 = -320. Is p a multiple of 8?
False
Let c = 141 - 137. Suppose 5*z = 4*k - 197, z = -c*z + 15. Is k a multiple of 14?
False
Let o(q) = -q + 0 + 2 - 2*q**2 + 4*q**2 + 0*q + 2*q**3. Let m be o(-2). Let v(i) = -i + 1. Is v(m) a multiple of 2?
False
Suppose 21*h - 27*h = -582. Does 14 divide h?
False
Let a be (-13)/(2*4*(-2)/(-16)). Let u = a - -52. Is 14 a factor of u?
False
Suppose -154*o = -171*o + 8602. Does 23 divide o?
True
Is (284/(-4))/(23/(-115)) a multiple of 5?
True
Let y(f) = -f**3 - 3*f**2 - 4*f - 2. Let u be y(-2). Let q = 2 + u. Suppose -q*n - 8 = -2*t - 48, -8 = -3*n - 4*t. Is 4 a factor of n?
True
Suppose 0 = -0*c - 7*c. Let p(l) = 2*l - 7. Let s be p(9). Suppose g - s = -c. Does 11 divide g?
True
Let o(l) = 6*l**2 + 21*l - 72. Does 7 divide o(3)?
False
Let s(w) = 2*w**2 + 14*w + 44. Is s(-23) a multiple of 60?
True
Let g(u) = -u**3 - 12*u**2 - 11*u - 15. Let p be g(-11). Let r = 6 - p. Is r a multiple of 21?
True
Suppose -807 - 1513 = -8*u. Is 23 a factor of u?
False
Let k(u) = u - 3. Let c be k(8). Suppose -98 = -c*h + 482. Is h a multiple of 8?
False
Suppose -9*x + 20 = -4*x. Let z(v) = 2*v**3 + 0*v**2 - 4*v + v - 3*v**2 - 4. Is 16 a factor of z(x)?
True
Suppose -3*q + 6 = 3*m - 3, -4 = -3*q + 2*m. Suppose q*l = -3*l + 275. Is 21 a factor of l?
False
Let t(y) = 3*y**2 - 1. Let w be t(1). Suppose -w*o = 3*u - 109, -3*u - 114 = -4*o + 59. Let b = o + -25. Does 22 divide b?
True
Let w be (-58)/4*4/2. Let h = -17 - w. Suppose 0 = 3*o + h, -4*o = -3*d - 6*o + 43. Is 9 a factor of d?
False
Let x(i) = i**3 - 21*i**2 + 20*i - 8. Is 110 a factor of x(24)?
True
Let o = 2218 - 1616. Is o a multiple of 8?
False
Let h(r) = r**3 - 15*r**2 - 34*r. Let d be h(17). Suppose -6*c + c + 1470 = d. Does 42 divide c?
True
Let j(t) = t**3 + 21*t**2 - 100*t - 83. Does 23 divide j(-22)?
True
Let p(b) be the third derivative of -25*b**4/24 - b**3/2 - 14*b**2. Is 3 a factor of p(-1)?
False
Suppose 0 = -m + f + 22, 3*f = -3*m - 17 + 71. Let p be m - 20 - (-2)/(-1). Is (-384)/(-36) + p/(-6) a multiple of 11?
True
Let n = 1077 + -243. Does 16 divide n?
False
Let v = -1333 + 2825. Is 21 a factor of v?
False
Let h(p) = -44*p - 7. Let w be h(4). Let a = -55 - w. Is 32 a factor of a?
True
Suppose -8*g + 54 = -5*g. Suppose 5*r - 2 - g = 0. Is 2 a factor of r?
True
Let i = 7 + 11. Let p = i + -18. Suppose -4*q = 2*n - p*n - 184, -2*n = q - 49. Does 15 divide q?
True
Suppose -250 = -4*k - 3*c + c, 5*c = -3*k + 191. Let d = k - 25. Let s = d + -5. Does 8 divide s?
True
Suppose j = 3*n - n + 207, 0 = -j - n + 222. Does 7 divide j?
True
Suppose -11*u + 1800 = -8*u. Suppose -3*v + u = 3*v. Does 25 divide v?
True
Does 24 divide ((-12)/(-10))/(-11*9/(-13860))?
True
Let r = 9 + -6. Suppose -3 = -2*l - 7, -p = -l + r. Let x(u) = -5*u + 1. Is x(p) a multiple of 7?
False
Let j be 0/(-4*(-2)/8). Suppose 6*g = -j*g + 18. Suppose g*c - 4*x - 130 = 0, 2*x = x + 2. Is 23 a factor of c?
True
Suppose -12*p + 2*p + 560 = 0. Is ((-6)/8)/((-7)/p) a multiple of 6?
True
Let s(z) be the third derivative of z**5/20 + 3*z**4/4 + 7*z**3/6 - 21*z**2. Is s(-7) a multiple of 6?
False
Let r(a) = -5*a**2 + a**2 + 3*a**2 + 0*a**2. Let t(n) = 9*n**2 - 6*n + 5. Let z(o) = 6*r(o) + t(o). Does 13 divide z(3)?
False
Suppose 1118*i = 1108*i + 6820. Is i a multiple of 22?
True
Let r(j) = j**3 - 8*j**2 + 3*j - 22. Let x be r(8). Suppose -3*s - x*s = -880. Is 23 a factor of s?
False
Let v(b) = b**3 - 2*b**2 - 3*b - 3. Let u = -10 + 12. Let g be 24/9*3/u. Is 14 a factor of v(g)?
False
Let q(i) = -i**3 - 7*i**2 - 4*i + 8. Let u(d) = 3*d - 8. Let m be u(0). Does 21 divide q(m)?
False
Let a(p) be the first derivative of 13*p**2/2 + 5*p - 17. Is 9 a factor of a(1)?
True
Let p(t) = 5*t**2 - 17*t - 7. Let c be p(10). Suppose -c - 373 = -12*d. Is d a multiple of 12?
False
Suppose 3*m = -m + 8. Suppose 20 + 4 = p + 3*k, -15 = -m*p + 5*k. Suppose 0 = p*d - 19*d + 144. Is d a multiple of 10?
False
Is (-11 - 2335/15)/((-6)/27) a multiple of 75?
True
Suppose 0*z = -2*z + 4*n + 62, 2*n + 136 = 4*z. Is 3 a factor of z?
False
Let z be 8 + (-9)/3 - 2. Suppose k + 1 = z. Let v(i) = 3*i**3 + i**2 - 2*i. Does 13 divide v(k)?
False
Let f(b) = -3*b - 2 + 3 + 15*b**2 + 2 - 4. Let h be f(3). Suppose 2*t = 45 + h. Is t a multiple of 19?
False
Let i = -90 - -89. Is 3 a factor of i/((-16)/(-2)) - 7425/(-200)?
False
Let h(d) = -24 + 10 + 1 + 9*d. Is 35 a factor of h(17)?
True
Suppose -15 = 5*h, 2*r - 5*h + 1 = 18. Let f = r + 3. Suppose 23 - 191 = -f*p. Does 14 divide p?
True
Let z = -1592 - -2389. Is 7 a factor of z?
False
Let y be (0 + -1)/((-2)/(-28) - 0). Let l = y - -33. Does 6 divide l?
False
Let f(t) = 6 - 19 - t + 0*t. Let w be f(-13). Let b(n) = n**3 - n**2 + 22. Is b(w) a multiple of 11?
True
Let f be (-4063)/85 - 2/10. Let b = 145 + f. Is 25 a factor of b?
False
Let y(b) = -b**2 + 39*b + 170. Is 27 a factor of y(26)?
False
Let a(r) = -4*r - r**2 + 6*r - 285 + 12*r + 266. Is 15 a factor of a(8)?
False
Let o = -45 - -49. Suppose o*a - 502 = -2*l, 3*a - l - 375 = -3*l. Does 24 divide a?
False
Let t be 66/(-24) + (-3)/(-4) - -184. Let u = 302 - t. Is u a multiple of 24?
True
Suppose -4*k = -9*k + 630. Let t = k - 87. Suppose 3*i - t - 24 = 0. Is i a multiple of 8?
False
Suppose 5*z + j + 0*j = 20, -j = 2*z - 11. Suppose u + 4*m = -7, -z*u - 3*m = -2*u + 2. Let s(a) = -a**3 + 12*a**2 + 15*a + 9. Is s(u) a multiple of 9?
False
Let q be 156/15 - 8/20. Let c be 24/q + 6/(-15). Suppose -2*s + 0*y = c*y - 36, -s = 5*y - 10. Is 13 a factor of s?
False
Suppose 5*n - 520 = m - 5*m, 0 = -2*m - 5*n + 250. Does 9 divide m?
True
Suppose -4*x + 2*s + 4 = 24, -14 = 2*x - 3*s. Is (-278)/(-4) - 2/x a multiple of 35?
True
Let r be 1 - (0 - -2)*-2. Let g be (-4)/18 - 14/(-63). Suppose g = -x - 4*m + 59, -3*x + r*m + 193 = m. Is 12 a factor of x?
False
Suppose 0 = 57*d - 59*d + 912. Does 5 divide d?
False
Suppose 7*q - q = -144. Let s = -9 - q. Does 5 divide s?
True
Let i(q) = 63*q**2 + 123*q + 14. Is 7 a factor of i(-7)?
True
Let m be (-4)/(8/6) - -5. Suppose 3*u - 5*l + 14 = -l, -4*u = 5*l - m. Does 6 divide (-102)/(-9)*(-3)/u?
False
Let q = 24 + -39. Let u = q - -75. Is u a multiple of 15?
True
Let y = -2492 - -3297. Is 23 a factor of y?
True
Let w be (-88)/(-5) - 4/(-10). Suppose 0 = 2*j + 2*p + w, -p - 1 + 2 = -j. Is 5 a factor of (6 - -5) + (-1 - j)?
True
Let m(z) = z**3 + 10*z - 61. Does 2 divide m(5)?
True
Suppose 5*m + 101 = 21. Suppose -242 = -4*o + b + b, -241 = -4*o + 3*b. Let n = m + o. Is 9 a factor of n?
True
Let n = 30 - 20. Suppose 0 = -l + 1, -3*f + 3*l + 15 - 3 = 0. Suppose -f = -2*p + 3*b, -4*p - 2*b + 8 + n = 0. Does 4 divide p?
True
Suppose -104*k + 88*k + 32240 = 0. Is 31 a factor of k?
True
Let w = 6 - 1. Let j = w + -2. Suppose 2*b - 87 = -j*i + 59, -4*b = 5*i - 294. Does 28 divide b?
False
Let b(d) = 2*d - 81 - 8*d - 6*d - 9*d. Is b(-9) a multiple of 12?
True
Let h = 1341 + -1308. Is h a multiple of 12?
False
Let c(r) = -r**3 + 5*r**2 + 13*r + 10. Let o be c(7). Suppose 0 = -x - 5, -o*a + 5*x = x - 320. Is a a multiple of 20?
True
Let f = -24 + 24. Suppose 6*y = -f*y - 1512. Is 7 a factor of (y/(-20))/((-18)/(-60))?
True
Does 27 divide 11*18*33/22?
True
Let a be (3/(-2)*2)/((-3)/4). Is 15 a factor of (-1)/(236/60 - a)?
True
Let x = 32 - 13. Suppose 0 = -x*o + 16*o. Suppose -7*v + v + 114 = o. Is 8 a factor of v?
False
Let u(s) = -4*s + 11. Let q be u(3). Is (-26)/(7/14 - (-1)/q) a multiple of 26?
True
Let o = -886 + 1259. Is 32 a factor of o?
False
Let v be 3/(-9) - 8/(-6). Suppose -1 = -q + v. Let y = 8 + q. Does 5 divide y?
True
Let i(c) = 2*c**2 - 3*c - 5. Let l(t) be the third derivative of t**4/6 - t**3/2 + 2*t**2. Let q be l(2). Is 10 a factor of i(q)?
True
Suppose -5*d - 6359 = -4*o, -6909 = -3*o - 4*d - 2101. Does 38 divide o?
True
Is (-495)/(-8 + (-290)/(-40)) a multiple of 15?
True
Let c(z) = -z**2 - 15*z + 11. Suppose -d = -b + 15, -2*d - 1 - 29 = -3*b. Is c(d) a multiple of 2?
False
Suppose 0 = 2*h - 7*w + 8*w - 517, -4*w - 512 = -2*h. Is 10 a factor of h?
False
Let y be (2/4)/((-2)/(-12)). Let i = -112 + 168. Suppose -c - i = -y*c. Is 14 a factor of c?
True
Suppose 260 - 2360 = -4*x + 4*r, 0 = x + 2*r - 513. Does 39 divide x?
False
Let j = -179 - -1252. Does 3