) = 7 + 3 - 1 - 2 + 177*k. Is 21 a factor of n(d)?
False
Let f(o) = -o**2 + 6*o - 4. Let l be f(5). Let s(a) = 69*a**3 + a - 2. Let z be s(l). Let d = 103 - z. Is 5 a factor of d?
True
Suppose -5*x + x = 2*f - 1670, x + f - 415 = 0. Suppose -u - 5*u = -x. Is u a multiple of 7?
True
Suppose 5400 = 513*f - 463*f. Does 2 divide f?
True
Let j(y) = -4*y**3 - 3*y**2 - y - 5. Does 86 divide j(-8)?
False
Suppose -270665 = -61*v - 64668. Is v a multiple of 39?
False
Suppose -35*t = -33*t - 3876. Is t a multiple of 19?
True
Let u = 48014 - 26048. Is 69 a factor of u?
False
Let p(f) = -2681*f - 2328. Is 31 a factor of p(-7)?
False
Suppose 5*x = -25, 3*r + 14*x - 11*x - 1677 = 0. Does 4 divide r?
True
Let l be (3 - 2) + (-15)/((-25)/5). Suppose -l*u - 1 = -1. Suppose i + 2*d - 64 = 0, -2*i + d = -u*d - 118. Is i a multiple of 30?
True
Let s(t) = -t**3 - t**2 - 2*t. Let g be s(0). Suppose -2*u - 7*u + 738 = g. Suppose 5*m + u = -0*a + 2*a, 4*a - 3*m - 150 = 0. Is a a multiple of 6?
True
Let q(i) = -10 - i - 9 + 28 - 11. Let o be q(-2). Suppose 25 = a - s, o = 2*a + 2*s - 6*s - 42. Does 6 divide a?
False
Let t(h) = -h**2 - 5*h + 7. Let i be t(2). Let n = 93 + i. Is 43 a factor of n?
True
Suppose -f - 1 = -41. Suppose 0 = 33*z - f*z + 833. Is 8 a factor of z?
False
Is 3 a factor of (-13 + 765/68)*-852?
True
Suppose -4 = -52*d + 50*d. Suppose 0 = -5*f + d*v + 4912, -4*f + 2*v = 1319 - 5249. Does 15 divide f?
False
Suppose 7*l + 9*i - 53691 = 4*l, 4*l - 71560 = -5*i. Is l a multiple of 49?
True
Let y = -24184 - -52711. Does 13 divide y?
False
Suppose -3*s + 2*l = -73, 3*s - 61 = -17*l + 13*l. Suppose 7422 = s*m - 23168. Is 95 a factor of m?
True
Suppose 2*w = 2, 15 = -3*m + w - 10. Let t be m/12*45/(-6). Suppose 5*q = -0*v + v + 247, 35 = q - t*v. Is q a multiple of 7?
False
Let u(x) = 8*x**2 - 9*x + 49. Let f = -171 + 178. Is 21 a factor of u(f)?
True
Let t be 40/(-12)*2/((-8)/6). Suppose t*k - 58 = c, k - 24 = -4*c - 4. Is (6/8)/(k/416) a multiple of 13?
True
Let p = 12848 - 7601. Suppose 5*d = 4*v - 5263 + 1095, 3*d - p = -5*v. Does 34 divide v?
False
Let j = -4407 - -4746. Is 3 a factor of j?
True
Let n be 4*(-3)/((-12)/(-7)). Let b(z) = -4*z**3 + z**2 - 11*z + 55. Let u(h) = 3*h**3 + 7*h - 37. Let r(v) = -5*b(v) - 7*u(v). Is r(n) a multiple of 5?
True
Suppose -36120*u = -36116*u - 165768. Is u a multiple of 16?
False
Suppose -5*f - 44*f + 38335 = 11140. Is 3 a factor of f?
True
Let h = -140 + 146. Suppose -h*g + 67 = k - 5*g, 3*k - g = 221. Is k a multiple of 8?
True
Let x(b) = 61*b**2 - 115*b - 546. Does 111 divide x(-5)?
True
Let h be 4/18 + ((-15878)/9 - -3). Let f = h + 2503. Is f a multiple of 7?
True
Suppose 154*g = 155*g + 4*h - 23519, -4*h - 12 = 0. Is g a multiple of 22?
False
Does 48 divide (-2592)/14*(-39 + 18 - 7)?
True
Let f = -15430 + 59710. Does 13 divide f?
False
Suppose -129*t - 44195 = -134*t - 2*y, y + 5 = 0. Does 2 divide t?
False
Let u = -5786 - -7046. Does 42 divide u?
True
Let f = -3742 - -7117. Is 34 a factor of f?
False
Let x = -2942 - -4211. Let r = 1853 - x. Does 18 divide r?
False
Suppose -6*v - 23 = 1. Let o(i) = 3*i**2 + 6*i - 4. Let n be o(v). Let u(k) = k**2 - 20*k + 17. Is u(n) a multiple of 17?
True
Is 22 a factor of (3/9)/(166/13447992)?
False
Suppose -o + 5*v = -595, 17*o - 22*o - 3*v + 3087 = 0. Let d = 905 - o. Is 23 a factor of d?
False
Let w = 37786 + -9674. Is w a multiple of 24?
False
Suppose -5*a + 0*h - h - 13 = 0, 10 = a - 4*h. Let b(z) be the second derivative of -4*z**3/3 - z**2 - z - 63. Is b(a) a multiple of 7?
True
Let l(z) = 6*z + 36. Let t be l(9). Let m be t/(-30) + (0 - 3*-49). Suppose w + w = -4*s + 82, 4*w - m = 2*s. Does 8 divide w?
False
Suppose 6*z - 565 = 3905. Let a = z - 443. Does 100 divide a?
False
Suppose 67*g - 84*g = -21709. Does 67 divide g?
False
Let m(n) = n**3 - 8*n**2 - 2*n. Let c be m(15). Is 19 a factor of 3/(-21) - c/(-35)?
False
Let s(y) = 561*y - 681. Is s(8) a multiple of 81?
True
Let s(p) = 50*p - 784. Does 18 divide s(65)?
True
Let g(a) = -2*a**2 + 25*a - 70. Let n be g(10). Suppose -t - 4*s - 4 = 0, 0*t + t - s = -4. Let o = t - n. Does 2 divide o?
True
Suppose -26*v + 18560 = -6*v. Let z = v + -305. Is z a multiple of 11?
False
Let w be 1/(-2) + 40/16. Let i(l) = 7*l - 35 - 27*l**2 + 43*l**3 - 42*l**3 + 6*l**w. Is i(21) a multiple of 25?
False
Suppose 0 = -12*q + 16*q - 32. Let c(x) = 12*x + q*x**2 - 15*x**2 + 6*x**2. Is c(6) a multiple of 12?
True
Let n(q) = 7*q - 1. Suppose 5*p + 6 = -6*w + 3*w, -3*p = -3*w + 18. Suppose 5*g - 2*g - 3*u - 21 = 0, 56 = 4*g + w*u. Does 25 divide n(g)?
False
Let o(y) = 9*y - 30. Let x(a) be the third derivative of a**5/60 - a**4/2 + 10*a**3/3 - 21*a**2. Let u be x(11). Is 17 a factor of o(u)?
True
Let y be 4/(-18) + 4238/117. Suppose x - y = 15. Suppose 4*n + 4*r = 264, 76 = 2*n - 3*r - x. Is n a multiple of 13?
True
Let u = -118 + 127. Let t be 0*((-3)/(u/(-3)))/(-2). Suppose 2*d - 3*p - 180 - 102 = t, -4*d + 568 = -4*p. Does 16 divide d?
True
Suppose 0 = 5*y - h + 4*h - 78, 0 = 5*h + 20. Let d be 11 + 18*8/24. Suppose -d*s - 123 = -y*s. Does 26 divide s?
False
Let i(j) = 281*j + 205. Let d be i(13). Suppose -15*x + d = 1203. Is x a multiple of 13?
False
Suppose 76 + 10 = -2*j. Let f = 45 + j. Suppose -f = c - 18. Is c a multiple of 14?
False
Suppose 61*b - 63*b + 4 = 0. Suppose 25*w - 2875 = b*w. Is 25 a factor of w?
True
Is -155*(9/(-12) + (-5141)/212) a multiple of 155?
True
Suppose -114985 = -7*w + 3*d, -5*w + 3*d + 82135 = -2*d. Does 25 divide w?
False
Suppose 0 = -14*x + 10*x - 18*x + 311542. Is x a multiple of 50?
False
Suppose -12*w - 2*w = -602. Suppose 45*v - 40 = w*v. Is v a multiple of 20?
True
Let p(x) = -6*x**3 - 36*x**2 - 243*x - 22. Is 31 a factor of p(-14)?
False
Let g(q) = -2*q + 41. Let t be g(22). Let z be 6/t*9/6. Let d = z + 40. Is 4 a factor of d?
False
Is 23*-5*(-30212)/140 a multiple of 13?
True
Suppose 21*j - 168 = 7*j. Suppose 142 = s + 5*a - 81, 4*a - j = 0. Does 25 divide s?
False
Let r(j) = 3949*j - 11765. Does 114 divide r(5)?
True
Suppose -4*y = p + 4, p + 2*y + 2 = -2*p. Let w be p/(2 + -3) - 1. Is 52 a factor of (-4 + 4 - 208)/w?
True
Suppose 0 = -10*v + 3606 - 696. Suppose -841 = 4*j - 257. Let w = j + v. Does 29 divide w?
True
Suppose 17*y - 100170 = 102878. Is y a multiple of 96?
False
Suppose 30 = 3*w + 3*k, 3*k + 15 = w + 13. Let v(m) = 2*m**2 - 9*m - 1. Let a(r) = -3*r**2 + 9*r. Let g(s) = -3*a(s) - 4*v(s). Is 14 a factor of g(w)?
True
Does 8 divide 7*-1*(0/13 + (-24290)/10)?
False
Suppose -n - 56 = k + 111, 0 = -3*n + 9. Let p = k + 366. Suppose -2*t = 0, 5*h - p = -4*t - 61. Does 21 divide h?
False
Let l be (-7 + 4 - -1)*87/(-2). Let x = l - -123. Is 10 a factor of x?
True
Suppose -4*t = -4*o - 28, 2*t - 48 = -2*t - o. Let i = -9 + t. Suppose -z - i = -23. Is z a multiple of 8?
False
Let k(s) = 1627*s - 3701. Is k(6) a multiple of 5?
False
Let l(i) = -89*i + 8985. Does 44 divide l(-52)?
False
Let z(j) = 150*j**3 - 8*j**2 - 29*j + 321. Is z(5) a multiple of 10?
False
Suppose 4*c + 8 = 5*j, -4*c + 3 = 3*j - 7*c. Let q(n) be the second derivative of 5*n**3/6 + 23*n**2/2 + 8*n. Does 18 divide q(j)?
False
Let q = 90 + -91. Is (q - (-201)/21)/(21/147) a multiple of 3?
True
Let x(y) = y + 749. Is 3 a factor of x(-44)?
True
Suppose 0 = 2*a - 3*a. Suppose a*b = -3*d - 4*b + 133, 0 = -5*d + 3*b + 241. Is 26 a factor of (0 - d)*(-4 - (-2 + 2))?
False
Let y = -13723 + 20363. Is 8 a factor of y?
True
Suppose -372 = 3*z - 4*f - f, 0 = 4*z + 3*f + 467. Is 2 a factor of (510/z)/(3/(-21))?
True
Let i = 107 - 93. Suppose -i*b + 1008 = -6*b. Is b a multiple of 42?
True
Suppose 90*i = 87*i + 12. Suppose 11*d - 2*c - 779 = 6*d, -i*d + 640 = 4*c. Is 3 a factor of d?
False
Let c(k) = 3*k**2 + 2*k + 1. Let p(o) = 3*o - 14. Let j be p(4). Let a be c(j). Let x = 66 + a. Does 7 divide x?
False
Suppose 0 = 4*y - l - 7464, -10027 = -5*y + 5*l - 697. Is 14 a factor of y?
False
Let l = 880 + 10082. Is 189 a factor of l?
True
Does 287 divide ((-92)/12)/((-150)/813150)?
False
Let g be 12/((4/32)/(-1)). Let i = 184 - g. Is 18 a factor of i?
False
Let a(y) = y**2 + y - 18. Suppose 0*t - t = 2*m + 11, 14 = -4*t + 2*m. Let d be a(t). Suppose -d*v + 258 = 2*p + v, 116 = p - 5*v. Is p a multiple of 18?
True
Suppose 3*i + 5*g = 25, 2*