r - 32. Let s(t) = d(t) + 6*x(t). Is 11 a factor of s(12)?
False
Let t(d) = -d**3 - 4*d**2 - 22*d - 3. Suppose 0 = 132*y - 119*y + 65. Is 19 a factor of t(y)?
False
Let k(u) = -11*u**3 - 2*u**2 + u + 1. Let t be k(-1). Let m(y) = y**2 + 14*y - 16. Let p be m(t). Let n = -107 + p. Does 21 divide n?
True
Let r(d) = -d**3 - 9*d**2 + d + 22. Let n be r(-9). Suppose x - 683 = -4*m + 4*x, 3*m = -x + 509. Suppose -n*c + m = -324. Does 4 divide c?
False
Let y(s) = s**3 - 11*s**2 - 7*s + 32. Suppose -7*v + 4*v = -36. Let b be y(v). Suppose l = -3*l + b. Is l a multiple of 5?
False
Let b(t) = 33*t - 30. Let p(z) = z**3 - 5*z**2 + 4*z + 5. Let u be p(4). Suppose -5*s = -u*g - 30, 2*g - 36 = 3*s - 7*s. Is b(s) a multiple of 13?
True
Let w(z) = z**2 - 2*z + 10. Let x(b) = -b - 1. Let k(g) = -w(g) + 4*x(g). Let s(r) = -r**2 - 2*r - 13. Let h(l) = 4*k(l) - 5*s(l). Is h(-5) a multiple of 3?
True
Let l = -676 - -678. Is 19 a factor of (-13581)/(-81)*12/l?
False
Let w(d) = 267*d**3 - 17*d**2 + 12*d - 4. Is w(2) a multiple of 11?
False
Let w(v) = v**2 + 86*v - 2432. Does 89 divide w(49)?
True
Suppose -5*u + 3*k = -15 - 66, 65 = 5*u + 5*k. Suppose u*q - 192 = 12*q. Is 16 a factor of q?
True
Suppose 2*s - 10*s = -88. Let r(a) = 7 - a**2 - 3*a + 24 - 7 - s*a. Is 6 a factor of r(-14)?
True
Is 105 a factor of (-26)/(-22) - (-22)/(-121) - (-2 - 8397)?
True
Let j be (-30)/1*(-200)/(-72)*3. Let v = -110 - j. Is 21 a factor of v?
False
Let z(v) = 399*v**3 - v**2 + v - 1. Suppose 0 = -3*k - 3*a - 3, -2*k - a = 3*k - 3. Let u be z(k). Let r = u + -234. Is r a multiple of 45?
False
Let o = -204 + 303. Suppose -o = 5*l - 4*d + 1, -20 = l + 4*d. Is 2 a factor of 6/((-46)/l + -2)?
True
Let x = 32 - 29. Suppose -2*r - x*w = 1623, -4*r - 3238 = -0*w - 2*w. Is (r/20)/(2/(-4)) a multiple of 11?
False
Let y(h) be the first derivative of 27*h**2/2 - 16*h + 52. Is 25 a factor of y(8)?
True
Let v = 1605 - -1031. Is v a multiple of 32?
False
Let h(j) = -2*j**3 - 83*j**2 + 122*j - 106. Is 16 a factor of h(-43)?
False
Suppose -61815 = -96*t + 169*t - 88*t. Does 9 divide t?
False
Suppose -28 = -4*s - 6*o + 2*o, -3*s + 27 = 5*o. Let u = 112 + -110. Suppose l + s*l = 5*b - 360, -5*b + u*l = -354. Is 14 a factor of b?
True
Suppose -m = 2*w + 803, m + 800 = -2*w - 3*m. Let g = 598 + w. Is g a multiple of 4?
True
Suppose 0 = 5906*d - 5830*d - 123348. Is d a multiple of 3?
True
Suppose -34187 - 39565 = -42*o. Is o a multiple of 3?
False
Let n(q) = -q - 7. Let i be n(-13). Is 8 a factor of (10/70*i)/((-1)/(-28))?
True
Suppose -2*d = -3085 + 117. Let f = -770 + d. Does 14 divide f?
True
Suppose 7740 = -10*q - 1680. Let k = q + 1540. Is 46 a factor of k?
True
Let a = 7144 + -2820. Does 4 divide a?
True
Let i(z) = -2 - 6*z**2 + 3*z**3 - 2*z**3 + 8 + 0*z + 5*z. Let t be i(5). Suppose -4*b - t*v = -2*v - 48, b = -5*v + 32. Is b a multiple of 2?
False
Let a(f) be the second derivative of f**3/2 + 27*f**2/2 + 13*f. Let w be a(-8). Suppose -2*h + 4*l = -177 - 231, w*h = 4*l + 606. Does 33 divide h?
True
Suppose -7*n + 2*n = -140. Let k be (-3)/(-6 - 0) + n/8. Suppose 48 = k*q + 3*b, -4*b = -q - 0*b + 12. Is q a multiple of 6?
True
Suppose -654 = 11*p - 3382. Let d(u) = -249*u**2 + p*u**2 + 4*u + 2*u + 33 - 2*u. Is 4 a factor of d(7)?
True
Let u = 103 + -102. Let k(r) = 2*r - 37. Let p(g) = g + 1. Let n(v) = u*k(v) + p(v). Is n(18) even?
True
Let t(v) = v**3 - 23*v**2 - 414*v - 106. Does 44 divide t(39)?
False
Let j(g) = -66*g - 869. Is 13 a factor of j(-63)?
True
Is 35 a factor of 35*141*(25 + -24)?
True
Let s = -3051 + 7506. Does 15 divide s?
True
Let n be (-1886)/(-3) - (-1 - (-14)/21). Let q = -293 + n. Does 14 divide q?
True
Suppose 0 = -246*g + 243*g + 12075. Is g a multiple of 25?
True
Let q be (-6 - (-58)/10)*-10. Suppose -q*f + 420 = 10*f. Is 13 a factor of f?
False
Let f(j) = j**3 - 12*j**2 + 22*j + 1. Let a be f(10). Is 6 a factor of a - (-6 - 6/(-2))?
True
Let y(a) = 4*a**2 + 16. Let x be y(9). Suppose -10*b = -x - 360. Let z = b + -4. Is z a multiple of 22?
True
Let n(k) = -k + 109. Let g(l) = -12*l - 82. Let p be g(-6). Does 7 divide n(p)?
True
Let o = 17186 + -17031. Is o a multiple of 19?
False
Suppose -2*p - 2*r - 322 + 1534 = 0, 0 = 4*p + r - 2409. Suppose l - 3*z + 11 - 209 = 0, -3*l + p = -2*z. Is l a multiple of 40?
False
Let i = -6264 + 12639. Is 17 a factor of i?
True
Let u(w) = -30*w**2 + 8*w + 12. Let b be u(-4). Let x = 708 + b. Is x a multiple of 35?
False
Let j(b) = 2176*b**2 - 8*b - 1. Is j(1) a multiple of 40?
False
Is 130 a factor of (2/6)/(13*3/323154) - 7?
False
Is 300/225 - 1112/(-3) a multiple of 4?
True
Let w be (1 - (-1)/(-2))*-18. Let k(i) = -606 - 11*i + 3*i**3 + 287 + 11*i**2 + 304 - 2*i**3. Is 41 a factor of k(w)?
True
Let o(l) = -l + 25. Suppose 4*t = -5*i - 3, -5*t + t + 21 = -3*i. Is o(i) a multiple of 18?
False
Let s(v) = 2*v**2 + 69*v + 43. Let w be s(-34). Suppose 420 = 24*u - w*u. Is 14 a factor of u?
True
Let q = 283 - 166. Suppose 0 = -25*k + 34*k - q. Let s = 73 - k. Is 12 a factor of s?
True
Let g(w) = 32*w**2 + 26*w + 579. Does 35 divide g(-11)?
True
Suppose 0 = -3*y - 3*r + 1596, -8*y + 6*r - 1602 = -11*y. Is 17 a factor of y?
False
Let y(z) = 3*z + 2 + z**3 - 8*z - z**2 + 4*z. Let p be y(0). Suppose -2*i + 25 = p*m + 1, -3*m + 22 = 2*i. Is 2 a factor of i?
True
Let z(f) = -94*f + 371. Is 49 a factor of z(-7)?
True
Let i be ((-1)/(-4) - 0)/(11/484). Let w be 8/44 - (-878)/i. Suppose -w = -40*u + 35*u. Is u a multiple of 7?
False
Suppose w + 2*h - 15 = -2*h, -5*w - 3*h + 75 = 0. Suppose -r - 294 = -w. Does 49 divide r/(-12)*(-20)/(-3)?
False
Let n = 6942 - 6017. Is 4 a factor of n?
False
Suppose 5*v + 0*y - 274 = -3*y, 4*v = -4*y + 224. Suppose -49*k = -v*k + 1244. Is k a multiple of 15?
False
Suppose -28*w + 0*w + 47794 = -24614. Is 7 a factor of w?
False
Let v(z) = -4*z**2 + 74*z - 32. Let k be v(18). Let m be ((-14)/8)/(3/(-36)). Let j = k + m. Does 6 divide j?
False
Let i(r) = r**2 + 20*r - 214. Let o be i(-29). Suppose -o*a - 45 = -48*a. Is 45 a factor of a?
True
Let l(s) = s**2 + 26*s + 122. Let c be l(-6). Let z(w) = 223*w - 56. Is z(c) a multiple of 39?
True
Let x(v) = 1 + 12 + v**3 - 14*v**2 + 8*v + 3*v - 4*v**3. Let m be x(-6). Does 12 divide 3/2*16 - (m - 91)?
True
Let v(a) = a**2 - 4*a - 6. Let u(p) = p**2 + 6*p - 3. Let r be u(-7). Let h be v(r). Let x = 2 - h. Is x a multiple of 3?
False
Let p(j) = -2*j**2 + 4*j. Let o be p(3). Let y be (0 - o) + 1/((-2)/8). Suppose 399 = y*k + 3*n, 2*k - 955 = -3*k + n. Is k a multiple of 24?
True
Let h(k) = 8*k + 44. Let o be (3/6 - -1)*(-22)/33. Does 12 divide h(o)?
True
Let t = -16202 - -8666. Let o be t/(-18) + 2/(-3). Suppose -k - a = -3*k + 275, 0 = 3*k + 4*a - o. Is k a multiple of 42?
False
Suppose 12*q + 35 = -i + 17*q, 0 = 2*i - q + 25. Let g(l) = l**3 + 9*l**2 - 30*l - 20. Is g(i) a multiple of 12?
True
Let g(m) = -m**3 + 16*m**2 + 55*m + 272. Is g(-14) a multiple of 14?
False
Let n(m) = -5*m - 17. Let r(q) = -q**3 + 3*q**2 + 4*q - 2. Let y be r(4). Let j be (-3 + -2 - -2) + 34/y. Does 16 divide n(j)?
False
Is 200823/21 - -6 - -1 a multiple of 87?
True
Let s be ((-651)/14)/(1/(-8)*-2). Let f = s - -97. Let g = -50 - f. Is g a multiple of 11?
False
Suppose -4*p - p + 80 = 0. Let g be ((-12)/p*-1)/((-3)/(-8)). Is 12 a factor of (3/(-9)*-11)/(g/42)?
False
Let i(p) = 11 - 5 + 0*p**2 - 7 + 9*p**2 + p. Let g be i(-5). Let q = g + -129. Is q a multiple of 10?
True
Let o(f) = -f**3 + 12*f**2 - f + 26. Suppose -5*a - 9 = -4. Let v be (86/(-8))/a + (-2)/(-8). Is 23 a factor of o(v)?
False
Suppose 0 = -2*i - 3*x + 13, -x - 2*x = 4*i - 17. Suppose 12 = 3*s, i*j - 3*s = 2*s + 196. Let k = -11 + j. Is k a multiple of 43?
False
Suppose 0 = -o + 3*g + 576, -5*g + 563 = o + 27. Suppose p + 5*c - o = 0, -13*p + 18*p - 2721 = 3*c. Is 21 a factor of p?
True
Let i(b) be the second derivative of 229*b**3/2 + 3*b**2 - 4*b. Let u be i(-2). Is 10 a factor of ((-4)/6)/(12/u)?
False
Suppose -2*y = -7*f + 79197, -12*f - 45258 = -16*f + 2*y. Does 9 divide f?
True
Suppose -14*i + 32*i - 25812 = 0. Suppose d = 2*f + 724, 33*d + 3*f - i = 31*d. Is 9 a factor of d?
True
Let f = 5559 - 2967. Suppose -116*v + 120*v = f. Is v a multiple of 54?
True
Let m(u) = 6*u + 11. Let a be -2*2/(-5)*130/8. Suppose -5*w + 88 - a = 0. Is