 12 - 7*t - 2*t**2 - 50*t**3 + 16*t + 104*t**3. Is z(-7) a multiple of 17?
True
Let m(s) = -s**2 - 2*s + 4. Let t be m(0). Suppose 5*b = -t*r + 485 + 446, 2*b = 5*r - 1205. Let u = r - 109. Is 8 a factor of u?
False
Suppose -c + z = -3015, -8*c - 4*z = -4*c - 12092. Is 50 a factor of c?
False
Suppose 12 + 0 = 3*r. Let f be 49*(1*r - (5 - 2)). Let v = f + 4. Is 7 a factor of v?
False
Let n = -4238 - -7642. Is n a multiple of 46?
True
Let t be 220/15*(-12)/(-8). Let y = 144 + t. Is 17 a factor of y?
False
Let n(y) = 21*y - 51. Let o(q) = 41*q - 101. Let h(a) = -7*n(a) + 4*o(a). Let l(x) = x**3 - 8*x**2 - 26*x - 58. Let u be l(11). Is h(u) a multiple of 43?
False
Let a = 16429 - 8721. Is a a multiple of 188?
True
Let y(s) = -s**3 + 2*s**2 - 2*s + 5. Suppose 5*x + 4 = 7*x. Suppose -r + 8 = 2*h + 21, x*h - 2 = 4*r. Is 8 a factor of y(r)?
True
Suppose 7*c = 3*c + 692. Let m = -79 + c. Is 16 a factor of m?
False
Suppose -217*s = -209*s + 553200. Is 2/(-16) - s/240 a multiple of 9?
True
Let p(u) = -9*u - 73. Let t be p(-8). Is (93 - 1)*(-2 - -1)/t a multiple of 2?
True
Let m be 3/(-18) + 0 + (-1658)/(-12). Suppose -m = -5*q + 122. Suppose -j - 3*j = -u - 186, -q = -j + 3*u. Does 31 divide j?
False
Let a = -159 + -98. Let i = 274 + a. Is i a multiple of 17?
True
Let k = 88 + -78. Suppose 0 = -12*h + k*h + 832. Is h a multiple of 25?
False
Suppose 129*m = 209003 + 168715 + 95841. Is m a multiple of 3?
False
Suppose -2 = 2*t - 5*h + 7*h, -4*t - 3 = 3*h. Is (-4851)/77*(-1*1 + t) a multiple of 7?
True
Let d(a) = 2*a**2 + 6*a + 8. Let r be d(-5). Suppose 6*n - r*n + 4290 = 0. Does 5 divide n?
True
Let q = -1760 - -3839. Is 40 a factor of q?
False
Let r(l) = 3*l - 3 + 29 - 2*l. Let p be r(-19). Let q = 47 - p. Is q a multiple of 19?
False
Let c(i) = 5*i - 9. Let x be 6/(-5)*(-40)/12. Suppose z + 18 = x*z. Is c(z) a multiple of 6?
False
Let d be 1/(5/4)*(-1125)/(-25). Suppose 4*v - 60 = -4*s, -3*v - v + 4*s + d = 0. Is 2 a factor of v?
True
Let g(m) = 19132*m + 45. Let s be g(1). Suppose 1223 = 15*j - s. Is j a multiple of 14?
False
Let w be 34/((-8)/(-20)*10 + -2). Suppose 5598 = w*t + t. Does 10 divide t?
False
Suppose 126*x = -218597 + 565212 + 954839. Does 33 divide x?
True
Let g = 564 + -554. Suppose -g*r - 705 + 2525 = 0. Is 14 a factor of r?
True
Suppose -2*d - 4 = -d - 2*f, 2*f = 5*d + 28. Let a be 1090/(-13) - (d - (-240)/39). Let r = a + 109. Is 19 a factor of r?
False
Let y = 3128 + -2943. Is 27 a factor of y?
False
Let f = 10 - 4. Suppose -f*p = 615 - 141. Let z = p + 143. Is 8 a factor of z?
True
Does 21 divide (-20)/(-8) - (-257676)/24?
False
Let k(f) = -3*f**2 + 29*f + 13. Let b be k(10). Suppose -5*i + 130 = b*n - 105, -85 = -2*i - 3*n. Does 4 divide i?
False
Let l(m) = 62 - 4*m + 28*m - 29*m. Is l(-15) a multiple of 12?
False
Let y be (-2219)/77 + (-4)/22. Let d = -110 - y. Let b = d + 113. Is 17 a factor of b?
False
Let k = -150 - -271. Suppose 0 = -13*n + k + 9. Let x(a) = 11*a - 6. Is 38 a factor of x(n)?
False
Let x(p) = -p**3 - 4*p**2 + 6*p + 6. Suppose 13*q - 12*q - 13 = 0. Suppose -5*l = 17 + q. Is 9 a factor of x(l)?
False
Let t(l) = 80*l**3 - 7*l**2 - 32*l + 196. Is t(5) a multiple of 195?
False
Suppose 3*g + 9756 = -24*v + 29*v, 3*v - 5874 = -5*g. Is 63 a factor of v?
True
Let z(w) = w**2 - 6*w - 3. Let i be z(5). Let m = 10 + i. Suppose 4*t - 4*p - 81 = 11, 5*p = -m*t + 60. Does 25 divide t?
True
Let c = -1837 - -3282. Suppose -7*o + 711 = -c. Is 28 a factor of o?
True
Let l(u) = 50*u**2 + 23*u + 126. Is 68 a factor of l(-10)?
True
Suppose -o = -4*o + 2*y + 1254, 5*o - 2090 = 5*y. Suppose -413*i - 685 = -o*i. Is i a multiple of 17?
False
Does 3 divide 14*(211800/105)/10?
False
Let u(p) = 5*p - 5. Let t be u(3). Suppose 1918 + 2832 = t*m. Does 25 divide m?
True
Let f = 12527 - 1705. Is 14 a factor of f?
True
Let f(d) = 165 + 2*d**2 - d - 202 + 14*d. Is 4 a factor of f(-11)?
False
Let y = -3 + -82. Is y/(-3)*(-6)/(-5) a multiple of 2?
True
Let l(t) = t**2 - 12*t + 5. Let q be l(12). Suppose -q*b + 245 = 5*f, b + 3*b = 3*f - 119. Suppose -5*v = -160 - f. Is v a multiple of 13?
False
Suppose 2*f + 19 = -39. Suppose 4*l - 8*l = -64. Let o = l - f. Is o a multiple of 11?
False
Suppose -2*g - 2*g = -2*a + 28, -g - 17 = 2*a. Let b(w) = w**3 + 11*w**2 + 21*w + 13. Let z be b(g). Let c(r) = r**2 + 3*r + 6. Does 18 divide c(z)?
False
Suppose 5*h - 9636 = 5*c - 34016, 0 = -4*c - 4*h + 19520. Does 9 divide c?
True
Suppose 2 = -6*u + 14. Let l be (-2 - (8 - u)) + -1. Does 16 divide l/(-2)*494/39?
False
Let i = 33780 - 10230. Is i a multiple of 30?
True
Let i(b) = b**2 + 5*b - 2. Let j(x) = -x**2 + 6. Let h be j(-4). Let s be i(h). Let g = -28 + s. Is 14 a factor of g?
False
Let u = 383 + -367. Suppose 13440 = 48*r - u*r. Is 30 a factor of r?
True
Let s be 16*(15/6 + -3). Let m(j) = -3*j - 22. Let h be m(s). Suppose 0 = -5*v - 4*y + 187, 0*y = -5*v - h*y + 191. Is v a multiple of 8?
False
Suppose -d - 384 = -5*d. Let v = 628 + -612. Let u = v + d. Does 18 divide u?
False
Let g = -10313 + 14697. Does 127 divide g?
False
Let a(w) = -849*w + 409*w + 406*w - 1 + 129*w**2. Does 13 divide a(-2)?
False
Let f(x) = 92*x**2 + 5*x - 8. Let k be f(4). Suppose -k = -11*l + 397. Is l a multiple of 10?
False
Let s(p) = p. Let c(l) = -l**2 + 2*l + 4. Let g(m) = c(m) + 5*s(m). Let a be g(6). Suppose 5*t + a = 0, t = 5*j - 235 - 187. Is j a multiple of 14?
True
Let d = 44 + -90. Let s(i) = 20*i**2 - 1. Let z be s(2). Let l = z + d. Is 33 a factor of l?
True
Suppose -71 = -f + 28*k - 27*k, k = 2*f - 147. Suppose -p + 12*b = 7*b - f, -5*p + 3*b = -292. Does 28 divide p?
True
Let m = -47686 - -67402. Is 31 a factor of m?
True
Let r(j) = -32*j - 734. Does 39 divide r(-126)?
False
Let w(p) = 4432*p - 4368*p - 455 + 126. Does 8 divide w(6)?
False
Let t(x) = x**2 + 13*x - 3. Let p be t(-15). Suppose 5*j = -4*f - p + 640, -3*f + 452 = -4*j. Is 8 a factor of f?
True
Let h(j) = 2*j**3 - 106*j**2 + 86*j + 247. Is 37 a factor of h(54)?
False
Suppose 3*j - 10 = 2. Suppose -j*m = 4, -4*p + 7 + 8 = m. Is 17 a factor of (-51)/p*(-64)/12?
True
Suppose -125*g + 121*g = 388. Let k = g + 267. Is k a multiple of 10?
True
Suppose -39 = -19*m + 6*m. Is 45 a factor of -150*m*2/(-10)?
True
Let b(r) = 18*r**2 + 3*r + 7. Let c = 190 - 193. Does 16 divide b(c)?
True
Let q(t) = 197*t - 1636. Is q(11) a multiple of 9?
True
Is 79 a factor of ((-9)/(-9))/(0 + (-2)/(-9480))?
True
Let h = -715 + 717. Is (-1081)/(-46) + 3/h even?
False
Let f(g) = g**2 + 26*g + 1315. Is f(54) a multiple of 161?
True
Let c = 4857 + 2208. Is 9 a factor of c?
True
Let l be -5 - -1 - -56 - -4. Suppose 0 = 2*q + 5*o - l, 0*q + 2*o - 84 = -3*q. Is 14 a factor of q?
True
Suppose -6*j = -4502 - 1228. Suppose 5*f - j = 2*z - 0*z, 373 = 2*f + z. Is f a multiple of 21?
True
Let i = 15436 + -7727. Is 13 a factor of i?
True
Let p(s) be the second derivative of -s**5/20 - 11*s**4/6 + 73*s**2/2 + 4*s + 5. Is p(-22) a multiple of 16?
False
Let a(r) = -r**2 + 10*r - 15. Let j be a(9). Let g(n) = -2*n**3 - 8*n**2 - 6*n - 3. Let h be g(j). Suppose 5*s - 8 = 7, s = -3*i + h. Does 19 divide i?
False
Suppose 7*y + 20 = 160. Suppose 4*b = 3*b + 4*l + 23, -b + 3*l + y = 0. Is 9 a factor of b?
False
Let y(u) = -3*u**3 + 6*u**2 + 8*u + 5. Let p(x) = -10*x**3 + 18*x**2 + 24*x + 14. Let v be (-1 - -3)/((-2)/2). Let g(k) = v*p(k) + 7*y(k). Is g(7) even?
True
Suppose 4*y + 1725 = 5*d + 8*y, 0 = 4*d + 4*y - 1376. Let c = 741 - d. Is c a multiple of 24?
False
Let y(t) = 422*t**3 - 14*t**2 - 10*t + 12. Is 56 a factor of y(3)?
False
Suppose 8*a - 5731 = 7053. Let s = -1115 + a. Is s a multiple of 27?
False
Let o = 949 - -941. Suppose 272*k = 277*k - o. Does 7 divide k?
True
Let v(a) = 325*a**2 - 44*a - 197. Is v(-4) a multiple of 11?
False
Let b(v) = -4*v + 6 + 25 + 7*v. Let l be b(-13). Is ((-1)/2)/(l/800) a multiple of 25?
True
Let q = -1251 - -1780. Let h = -450 + q. Is h a multiple of 2?
False
Let l(r) = 241*r**2 - 41*r - 72. Does 8 divide l(-2)?
False
Let o be 0*6/27*45/20. Suppose 2*g + 408 = 5*z - 512, 4*z - 2*g - 738 = o. Does 13 divide z?
True
Suppose -2*y + m - 41143 = -7*y, 0 = 9*y - 2*m - 74046. Is y a multiple of 22?
True
Suppose 8*k - 4*k + 4*b - 28 = 0, -4*k = -4*b - 12. Let h be (-28)/140 + (513/k)/3. Suppose -n + h = -3*x, -2*n