(l) = l**2 - 17*l - 10. Suppose -4*i = 5*d + 81, 2*i - 90 = 7*i + 4*d. Is f(i) a multiple of 8?
True
Let v(o) = -o**3 + 21*o**2 + 5*o - 73. Let r = -355 - -376. Is 3 a factor of v(r)?
False
Let g(q) = 212*q + 17. Let o(d) = -206*d - 17. Let k(r) = 5*g(r) + 6*o(r). Does 17 divide k(-5)?
False
Does 42 divide -217091*170/(-1547) + (-6)/39?
True
Let t(u) = -u**2 + u + 215. Suppose 2*r - 7*r = 0. Let j be t(r). Suppose 0 = 4*l - l + 9, j = 5*n - 5*l. Does 10 divide n?
True
Let c(h) be the third derivative of h**5/60 - h**4/4 + 7*h**3/6 + 22*h**2. Let f be c(3). Does 4 divide 3/(66/92) - f/(-11)?
True
Let c be 3/30 - (-49)/10. Let u(f) = -28*f**2 - 4 + 4 + 11*f + 27*f**2. Is u(c) a multiple of 15?
True
Is (3 - (3 + (-119709)/18)) + 1/2 a multiple of 23?
False
Suppose 14*c = 8*c + 702. Suppose 4*t = 5*b + 1647, 2*t - 2*b - 705 = c. Is 24 a factor of t?
True
Let t = -98 - -103. Suppose t*s - 3652 = -1467. Suppose 3*b = -0*b - 3*k + 603, 2*b - 5*k = s. Does 22 divide b?
False
Let r(v) = -v**2 + 38*v - 37. Let h be r(37). Is 5 - -1*(75 - h - -4) a multiple of 21?
True
Suppose -2*d + 148969 = 3*n, -4*d - 6401 + 205025 = 4*n. Does 20 divide n?
False
Let t(h) = h**2 - 16*h - 3. Let a be ((-20)/2)/1 + -4. Is t(a) a multiple of 12?
False
Let v = -67 - -70. Let y(u) = -20*u**3 - 11*u**3 - v*u**2 + 2*u**3 + 4*u**2 + 3*u + 2. Is 7 a factor of y(-1)?
False
Suppose 2*y = -7*y + 1233. Suppose -3*i - 5*m + 158 = 0, 0*i = 2*i - 3*m - y. Suppose -4*o + i + 163 = -b, 0 = 4*b. Does 7 divide o?
True
Let l(w) = -4*w**3 + 2*w**2 + 5*w. Let p be (-4)/32 + 0 - (-23)/(-8). Let z be l(p). Suppose -z*t - 132 = -113*t. Is t a multiple of 11?
True
Suppose 4*l - 3850 = -2*m, -44*l - 5*m + 931 = -43*l. Does 14 divide l?
True
Let d = 1208 - -8. Suppose 9*v - d = 1466. Is 36 a factor of v?
False
Is 34/4*(-1176 + 2)*-1 a multiple of 73?
False
Suppose -j + 4831 = 5*q, -900 = -3*q + j + 1997. Is 69 a factor of q?
True
Let u(j) = -3*j - 44. Let y be u(-16). Suppose 0 = -y*q - 4*k + 8*k + 352, q + 4*k - 98 = 0. Is 45 a factor of q?
True
Let a(f) = -2*f**2 + 8*f + 2. Let c be a(4). Suppose o = -3*y + 73, 5*y - c*o - 127 = -o. Let z = 66 + y. Is 6 a factor of z?
False
Let w(p) = -7*p - 9. Let z(x) = x - 1. Let f(h) = -w(h) - 6*z(h). Let j be f(-15). Suppose -3*a + y + 93 = 0, -3*y - 69 = -j*a - 2*a. Is a a multiple of 15?
True
Is (576/(-160))/((-3)/990) a multiple of 11?
True
Suppose -116*k = -115*k - 5. Suppose 2*h - 3*h - 5*j + 20 = 0, -k*h + 22 = -j. Suppose 0 = -h*s - 5*v + 75, 5*v + 0*v = 10. Does 13 divide s?
True
Suppose 100*k - 2920073 = -10*k - 71*k. Is k a multiple of 13?
True
Let z(w) = -w**3 - 35*w**2 + 199*w + 87. Does 19 divide z(-41)?
True
Is 8 a factor of 8/14 + 1290516/301?
True
Let r(b) = 19*b - 44. Suppose j - 6*j = 2*m - 37, -5*m = -4*j + 56. Let z = j + -3. Is r(z) a multiple of 10?
True
Suppose 2*r - 26 = 2*f, 3*r = -2*r + 20. Let v(q) = -26 - 12*q - 24 + 12. Is 11 a factor of v(f)?
False
Let r = 4208 + -832. Let x = r + -2336. Is 12 a factor of x?
False
Let n(v) = -v**3 + 9*v**2 - v - 13. Let k = 52 - 22. Let s = 38 - k. Is n(s) a multiple of 6?
False
Let c(k) = -4*k**2 - 6 - 6*k - k**2 + 0*k**3 - k**3 - 3*k**2. Let s be c(-7). Is 18 a factor of s/((-91)/(-2)) - (-2020)/14?
True
Let p(x) be the third derivative of x**5/60 + 5*x**4/6 - 4*x**3/3 + 971*x**2. Let n(a) = a**3 - 6*a**2 - 9*a - 10. Let i be n(7). Does 14 divide p(i)?
False
Suppose -16*o - 5240 = -5*t - 18*o, 4*t - 4215 = 3*o. Suppose 17*h = 32*h - t. Does 7 divide h?
True
Suppose 3*i = -3, -160*i + 163*i + 40677 = 2*g. Is g a multiple of 150?
False
Suppose -16 = 4*t, 5*t = -3*f - 2*f - 5. Suppose -f*i = 30 - 3. Let h = 37 + i. Is 7 a factor of h?
True
Let u(g) = g**3 - 5*g**2 - 7*g + 8. Let j be u(6). Let w(s) = -3 + 7*s**2 - 3 + 4*s**2 + 2*s**j + 4*s. Is 8 a factor of w(-3)?
False
Suppose -21 - 61 = k. Let n = 79 - k. Is 41 a factor of n?
False
Let k(u) = -7*u**2 + 3*u + 6. Let j(h) = 6*h**2 - 5. Let a(s) = -6*j(s) - 5*k(s). Suppose -l = i + 7 + 7, -4*l = -5*i - 61. Is 9 a factor of a(i)?
False
Let y(n) be the third derivative of -n**5/60 - n**4/6 - n**3/6 + 24*n**2. Let o be y(0). Is 3 a factor of ((6*-10)/2)/o?
True
Let r(h) be the first derivative of 71*h**2/2 - 3*h - 6. Let q = -2 + 3. Is 4 a factor of r(q)?
True
Let w be (-4 - (-42)/7)/((-10)/15). Let x(l) = 106*l**2 + 2*l - 2. Is 7 a factor of x(w)?
False
Let l(i) = -i**2 + 21*i + 33. Let w be l(21). Does 5 divide (24/w)/(-4) - 4764/(-66)?
False
Let l(i) = -14*i - 223*i**3 + 19 - 34*i**2 + 222*i**3 - 20*i. Does 2 divide l(-33)?
True
Suppose -2*v = 3*j - 552, -5*j = -0*v + 2*v - 544. Suppose -3*t + 153 = -3*i + 5*i, v = 4*i - 2*t. Does 12 divide i?
True
Suppose -21*i + 2709 = -18*i. Suppose 12 = 5*l - i. Does 61 divide l?
True
Let k = 6442 - 312. Does 42 divide k?
False
Let i(d) = 14*d - 5 - 7 - 2. Suppose 0 = m - 9 - 3. Does 7 divide i(m)?
True
Let o(a) = a**3 - 2*a**2 - 15*a + 5. Let q be o(6). Suppose q = -10*p + 139. Suppose 5*d + 9*j = p*j + 612, 3*j + 360 = 3*d. Is d a multiple of 30?
False
Suppose -3*f + 201969 = -7*i + 2*i, 0 = -f - 3*i + 67337. Does 17 divide f?
False
Let a(r) be the first derivative of r**3/3 + 4*r**2 - 34*r + 16. Let t be a(-13). Suppose -t*n + 660 = -26*n. Is 23 a factor of n?
False
Suppose 2*c + 3 = 1. Let z(o) = -9 + 54 - 53*o - 14 - 30. Is z(c) a multiple of 9?
True
Let k(v) = v. Let o(f) = 12*f - 39. Let a(x) = -5*k(x) + o(x). Let r be a(17). Let y = r + 25. Does 15 divide y?
True
Suppose 15*j - 3758 + 2922 = 8509. Is j a multiple of 89?
True
Suppose k - 5 = -60. Let p = k - -59. Suppose -3*l = p*v - 55, 0*l = 2*l + 4*v - 38. Is 3 a factor of l?
False
Let l = -32 - -34. Let s(x) = x**l + x**3 + 9*x + 6 - 1 - 12*x. Is s(4) a multiple of 11?
False
Suppose -5*g - 274 = 91. Suppose -6*q = -20*q - 3*q. Is -15 + 18 + (q - g/1) a multiple of 38?
True
Is (-752368)/(-26) + 2 + 108/(-468) a multiple of 219?
False
Is 51 a factor of 2848/(-320) + 9 + 438599/10?
True
Let m(r) = -18*r + 104. Let h be m(15). Let z = 256 + h. Does 10 divide z?
True
Suppose 5*z - 5*h - 21815 = 0, 4363 = 145*z - 144*z + 3*h. Is z a multiple of 8?
False
Let u(z) = 6297*z**2 - 1107*z + 2213. Is u(2) a multiple of 89?
True
Let l be (5 + 0)*745/(7 + -2). Suppose -7*f + 900 = -l. Is 47 a factor of f?
True
Let l(c) = -c + 15. Let d be l(-9). Let f = 90 - d. Let g = f + -12. Is 10 a factor of g?
False
Suppose -12*x - 159 = 93. Is (0 - -1) + (-20 - x) even?
True
Suppose 2*a = 6*f - 9*f + 1568, -5*a + 3882 = -2*f. Is 3 a factor of a?
False
Suppose -5*u = 4*z + 175, 8*z - 4*z + 2*u + 178 = 0. Suppose 4*v - 10 = -6. Is 19 a factor of (z + 28)*2*(-7)/v?
False
Suppose 152*u = 150*u - 10, 0 = -2*j + 4*u + 20678. Is 182 a factor of j?
False
Let j = -92 - -92. Suppose j = 16*d - 4779 - 2965. Does 32 divide d?
False
Let n(w) = 4*w + 5. Let g be n(0). Suppose 119 = g*b - 31. Does 5 divide b?
True
Let b = 40 - 38. Suppose 0 = 4*f - b*g - 174, -3*g + g = 3*f - 113. Let w = f - 17. Does 12 divide w?
True
Suppose -2*z = -6*z. Suppose -22*k = -25*k + 6. Suppose -3*y = -v - 143, z = 2*y + 4*v - k*v - 82. Does 9 divide y?
False
Let w be -3 + (1 - 3) - -10. Suppose -1294 = -w*h - 2*j, 3*h - 4*j - 1306 + 514 = 0. Suppose 4*y + 36 = 2*d + h, 0 = -4*y + 3*d + 224. Is 14 a factor of y?
True
Suppose -17 = 4*v + 4*t - t, -5*t = -v - 33. Let x be (-175)/4 - 6/v. Let w = 65 + x. Is w a multiple of 12?
False
Let t(r) = 433*r**2 - 4*r**3 - 3*r - 433*r**2. Does 13 divide t(-2)?
False
Suppose f + 3*v = 2*f + 36, 3*f = 5*v - 120. Is 20 a factor of (-10)/f*66*45?
True
Let q(u) be the second derivative of -u**5/20 + u**4 + 4*u**3/3 + u + 11. Is 24 a factor of q(6)?
True
Suppose r = k + 36, -5*r + 249 - 29 = 3*k. Suppose 0 = -r*j + 40*j + 4. Is j a multiple of 3?
False
Let p(k) = 5*k**2 + 132*k + 102. Is p(-55) a multiple of 41?
False
Let b be (-4)/(-6)*-3 - -2. Suppose -5*x = -5*g - b + 5, 10 = -2*x. Is 2/g*(-308)/1 + -2 a multiple of 24?
False
Let s = 359 - 661. Is (1 - s)/((-4)/(-40)*15) a multiple of 4?
False
Suppose -26*w - 6664 = -53*w + 25*w. Does 28 divide w?
True
Let t(a) = 22*a**2 - a + 2. Let n be t(7). Suppose -81*j + 82*j = 2*x + 262, 3*x + n = 4*j. Does 17 divide j?
True
Let f(o) = 33*o**2 + 13*o - 76. Is 12 a factor of f(4)?
True
Suppose 4*z = -3*y + 26, -2*z + 4*z - 22 = 3*