= 15*h**3 + 2*h**2 - 5*h + 4. Is p(2) a multiple of 19?
False
Let s(d) = d - 31. Let q be s(0). Let m = 60 + q. Is 7 a factor of m?
False
Let w(m) = 2*m**2 - 18*m - 31. Is 3 a factor of w(11)?
False
Let y(a) = a**2 + 5*a + 63. Is 23 a factor of y(12)?
False
Let k(t) be the second derivative of t**3/6 + 6*t**2 + 9*t. Is k(13) a multiple of 25?
True
Suppose 11 + 34 = 9*s. Is 26 a factor of s + -4 + -1 - -141*1?
False
Let f(q) = -q + 1. Let p be f(-3). Suppose 5*o - p*o = 3. Is 2 a factor of (-14)/(-6)*(o + 0)?
False
Let k(c) = c**2 + c + 14. Let h be k(0). Is 37 a factor of h/70 - 864/(-5)?
False
Is 24 a factor of (189/(-84))/(6/(-2368))?
True
Let a(g) = -g - 15. Let w be a(-13). Let l(x) = -11*x**3 - 4*x**2 - 6*x - 4. Does 10 divide l(w)?
True
Let q be (-16)/(-32)*7*4. Suppose -q*o + 15*o - 43 = 0. Is o a multiple of 9?
False
Let q(o) = o**2 + 4*o + 5. Let b be q(-3). Is 18 - -5*(b/(-5) + 0) a multiple of 16?
True
Suppose -8*s = -3*s - 15. Suppose 0*w + z + 209 = 2*w, 327 = s*w + 3*z. Is 26 a factor of w?
False
Suppose -248 = -3*n - k, 4*k + 7 = -9. Does 7 divide n?
True
Let c(n) = 5*n**2 + 18*n - 86. Is 21 a factor of c(-13)?
True
Suppose -4*v + 448 = -4*l, 0 = 3*l - 2*l - 5. Suppose v + 747 = 9*f. Is 16 a factor of f?
True
Let b = -88 - -63. Let m = b - -101. Let s = m + -22. Is 14 a factor of s?
False
Let f be (-4)/(1/9*-2). Suppose 5*w - 16 - 29 = 5*c, -5*c + 3*w - 43 = 0. Let h = c + f. Is h a multiple of 2?
True
Suppose 5*i + 49 = 4. Let c(o) be the third derivative of o**4/24 + 11*o**3/3 + 2*o**2. Is c(i) a multiple of 4?
False
Let m(w) = 0*w + 29*w**2 + 1 + 18*w - 40*w**2 + w**3. Let y be m(9). Does 26 divide 1/y + 56 + -5?
True
Let t be (4 - 4)/(-2 + 3). Suppose 0 = -2*o + 3*l + 27, t = -0*l - 5*l - 25. Suppose o*i - 36 = 2*i. Is 3 a factor of i?
True
Suppose -p = 17 + 78. Is 5 a factor of ((-57)/p)/(1/30)?
False
Let u be (7/1)/(2/(-28)). Let p = 352 - 214. Let q = p + u. Does 20 divide q?
True
Suppose -5*t + 3*t - 412 = -3*r, -5*r + 5*t = -680. Suppose -4*y = -2*l + l - r, -y + 38 = -l. Does 17 divide y?
True
Let z = -200 - -347. Is 10 a factor of z?
False
Suppose -5548 = -4*y + 2*f, -f = -53*y + 56*y - 4151. Does 8 divide y?
False
Let j be ((-4)/8)/(1/12). Let m(g) = 2*g + 12. Let h be m(j). Suppose h = -w - 3*w + 120. Is 15 a factor of w?
True
Suppose -19 + 4 = -5*j. Let z be 74 - ((j - 0) + 1). Suppose -z = -0*h - 5*h. Is h a multiple of 7?
True
Suppose 1240 = 305*q - 301*q. Is q a multiple of 10?
True
Suppose 9 = -4*u + 21. Suppose -v - 2*t - 18 = 2*v, 0 = 4*v + u*t + 25. Is 17 a factor of 357/2*v/(-6)?
True
Suppose 2*z - z + v = -3, -12 = -4*z + 4*v. Suppose d + 457 = 5*x, -4*x + 4*d + z*d + 356 = 0. Suppose x = -5*t + 9*t. Is 12 a factor of t?
False
Is (48/(-18))/((1 + -3)/192) a multiple of 32?
True
Let u(q) = 475*q**2 + 8*q - 16. Is 76 a factor of u(2)?
True
Let a = -693 - -2958. Is a a multiple of 10?
False
Is 2 a factor of ((-73)/(-2))/(-4*(-6)/48)?
False
Suppose 4*k - 11 = 21. Suppose -2*s = i + 22, 4*i + 2*s + 56 = -k. Let w(a) = -a**3 - 13*a**2 + 7*a - 9. Is w(i) a multiple of 14?
False
Does 23 divide (-7)/70 + (-114088)/(-80)?
True
Suppose -16 = -4*n, 0 = -y + 5*n + 2220 - 62. Is y a multiple of 18?
True
Suppose -10*f + 4371 = -869. Is f a multiple of 42?
False
Suppose 0 = 5*m - 7*m, -3*o - 4*m = -12876. Does 81 divide o?
False
Let c = -1 - -16. Let r = -11 + c. Is (-564)/(-48) - 3/r a multiple of 5?
False
Let q(s) = 2*s**2 + s - 3. Let w be q(-2). Is (-12)/((-9)/w - -2) a multiple of 2?
True
Suppose 12 = o - x + 3*x, -4*o = -2*x - 38. Is 25/o*-2*-11 a multiple of 11?
True
Suppose 0 = -3*m + 5*a - 10, 7 - 1 = -5*m + 3*a. Suppose 4*i + 3*j = -m*j + 316, 237 = 3*i - j. Is i a multiple of 16?
False
Suppose 31*f + 3*f = 11220. Is 55 a factor of f?
True
Let h(g) = -g**2 - 8*g - 17. Let s be h(-8). Let w = -3 - s. Does 7 divide w?
True
Let s(v) = -3*v**3 + v**2 - 2*v + 4. Let z(b) = -3*b**3 + b**2 - 2*b + 5. Let u(f) = -4*s(f) + 3*z(f). Let n be u(1). Is 11 a factor of 1/n - 1358/(-21)?
False
Let h = -135 + 260. Suppose -6*t + h = -61. Does 23 divide t?
False
Let w = 1754 - 658. Is 18 a factor of w?
False
Suppose 0 = c + 4*c - 245. Suppose -c = -g - 22. Let m = g + -15. Is 6 a factor of m?
True
Suppose -4*f - 30 = f. Does 13 divide ((-4)/f)/(-1) + (-4266)/(-81)?
True
Let f(k) = 70*k**3 + k**2 + 2*k + 1. Let g be f(-1). Let v = 16 - 157. Let y = g - v. Is y a multiple of 21?
False
Let y(v) = -v**3 - 6*v**2 - v - 2. Let m be y(-6). Suppose m*d = -8, -2*c + 84 = -3*d - d. Is c a multiple of 19?
True
Let v be 11/22 - 42/(-4). Suppose -6*i + v*i = 70. Is 7 a factor of i?
True
Suppose r - 5*q - 196 = -2*r, -4*r - 2*q = -270. Is r a multiple of 3?
False
Suppose 3767 = 4*l - 3073. Does 45 divide l?
True
Let h be (-140)/44 - 6/(-33). Let n be (60/9)/5*h. Is 15 a factor of (-2)/n + 610/20?
False
Suppose -d = 566 + 1148. Does 19 divide d/(-18) + 2/(-9)?
True
Suppose -245*l + 252*l = 4655. Is l a multiple of 35?
True
Let a(v) = 5*v - 8. Let m be a(-5). Let d be m/22 + 58/4. Does 17 divide d/(-52) - (-313)/4?
False
Let m(d) = d**3 + 12*d**2 + 11*d. Is m(-7) a multiple of 19?
False
Is 16 a factor of -6 - -15 - 9 - -77?
False
Let v = -54 + 30. Does 15 divide v/(-4)*(-10)/(-4)?
True
Suppose 7312 + 22213 = 5*y + z, -y + 5909 = z. Is y a multiple of 72?
True
Suppose 0 = 5*f - v - 2444, f - v + 5*v = 472. Is f a multiple of 27?
False
Suppose 5*a + k = 1429, 2*a - a + k = 285. Is a a multiple of 11?
True
Let g(k) be the second derivative of 1/12*k**4 + 1/10*k**5 + 0*k**2 + 0 - 7*k + 1/3*k**3. Is 24 a factor of g(2)?
True
Suppose -4*t + 8 = -8. Suppose -5*v = -t + 14, 5*u + 2*v = -114. Does 11 divide (u/4)/((-18)/144)?
True
Suppose 3 = 3*o - 3. Let v(r) = -14 - 3*r**2 - 17*r + 2*r**o + 2*r. Is 10 a factor of v(-6)?
True
Is (-404)/(-34) + 56/476 a multiple of 12?
True
Let q(y) be the first derivative of y**4/2 - 8*y**3/3 + y**2/2 - y - 5. Let l be ((-150)/60)/(1 - (-6)/(-4)). Is q(l) a multiple of 18?
True
Suppose -11*z = -3*o - 16*z + 248, -2*z = 10. Is 7 a factor of o?
True
Let q = -8 - -11. Suppose 18 = q*b + 3. Suppose -2*y - b*i + 0 = 4, 16 = 3*y + 2*i. Does 8 divide y?
True
Let l = 136 - 6. Let y be (l/(-25))/((-1)/(-5)). Let d = y - -46. Does 12 divide d?
False
Let j(p) = -p**3 + 29*p**2 + 104*p - 19. Does 7 divide j(32)?
False
Let j = -974 + 1855. Is 13 a factor of j?
False
Does 12 divide 5/((-100)/(-3112)) - (-10)/25?
True
Suppose 0 = 17*h - 16*h - 2. Suppose -h*g = l - 64 - 34, 3*l - 267 = 3*g. Is 12 a factor of l?
False
Suppose -f + 42 = -3*o - 16, 2*f - 5*o - 118 = 0. Let q = -31 + f. Does 26 divide q?
False
Let i(u) = -3*u**3 + 12*u**2 + 4*u - 2. Let l be i(4). Let c(a) = a**3 - 13*a**2 - 11*a - 12. Is c(l) a multiple of 6?
True
Suppose r - 3*h = 537, 3*r + 11 = 3*h + 1622. Suppose 2*x - 6 = 4*x, 0 = 4*o - 3*x - r. Is o a multiple of 22?
True
Let j be (-1)/4 + 36/16. Suppose -2*k - 4 - j = 0, b - 62 = -5*k. Is b a multiple of 13?
False
Let x = -1 + -5. Is (-90)/(-1)*(-4)/x a multiple of 15?
True
Let k be (-24)/(-20)*(0 - -30). Suppose -k + 2 = -v - 4*a, 2*a - 44 = -2*v. Does 9 divide v?
True
Let o = -238 + 252. Does 5 divide o?
False
Suppose -35*g + 28420 = -6*g. Does 14 divide g?
True
Is (-3220)/69*(-8 - -2) a multiple of 7?
True
Suppose 0 = -3*o - 36 + 45. Suppose -v + 107 = 2*h, -o*h + 6*h - 105 = -v. Is v a multiple of 35?
False
Let c = 216 - -104. Is 64 a factor of c?
True
Let m be (3 - 2)/(1/8). Let q(i) be the third derivative of i**6/120 - i**5/12 - 7*i**4/8 + 5*i**3/3 + i**2 - 37. Is 10 a factor of q(m)?
False
Suppose -b = -2*f + 41, -5*f + 96 = 9*b - 5*b. Is f a multiple of 4?
True
Suppose 4*b + o = 6*o + 373, 93 = b - o. Is b a multiple of 22?
False
Is 18 a factor of (-2)/13 - (-11314)/26?
False
Let p(t) = 15*t**2 - 15*t + 7. Let n(r) be the second derivative of r**4/3 - 2*r**3/3 + r**2 + r. Let z(m) = -22*n(m) + 6*p(m). Is 14 a factor of z(-3)?
False
Let n = 3 + 0. Let l(r) = 35*r - 23. Let b(s) = -18*s + 11. Let g(w) = n*l(w) + 5*b(w). Does 23 divide g(4)?
True
Suppose -8*z = -3*z. Let y be (1 - z)/((-10)/(-180)). Suppose 4*l - 2*l - y = 0. Is l a multiple of 9?
True
Let p = 1219 - 94. Is 43 a factor of p?
False
Let r(s) = 17*s**3 + 3*s**2 + 5*s + 4. Let k be r(-2). Let m = -86 - k. Is m a multiple of 44?
True
Let z(o