a). Is 17 a factor of m(0)?
True
Suppose o + i = 310, -5*o + 2*o - 4*i = -933. Is 10 a factor of o?
False
Let o = 1838 - 1797. Is 2 a factor of o?
False
Let l = 960 - -1548. Is l a multiple of 11?
True
Suppose 5*z + 8336 = 4*i, -5*i + 11052 = -3*z + 645. Is i a multiple of 16?
False
Suppose -4*z + 3*z + 5*a = -1917, 0 = -3*a + 12. Is z a multiple of 38?
False
Suppose 0 = -4*a - 4*y + 128, 3*a - 4*a + 3*y + 44 = 0. Let j = 0 - -19. Let b = a - j. Is 16 a factor of b?
True
Let g = 15 + -15. Suppose g = j + 3*j - 2*h - 106, 67 = 3*j - 4*h. Is (-7 + j)*3/2 a multiple of 9?
False
Let b(g) = -g**3 - 14*g**2 + 23*g + 20. Is 7 a factor of b(-17)?
False
Suppose 3*x - 5*p - 22 = 0, -4*x + 0*x - 5*p + 41 = 0. Suppose 0 = -x*m + 3*m + 114. Is m a multiple of 2?
False
Let a(h) = 30*h - 2. Let t(l) = 59*l - 4. Let g(c) = -5*a(c) + 3*t(c). Does 8 divide g(1)?
False
Let n(g) = g**3 + 6*g**2 + 4*g + 3. Suppose -2*o = 2*o + 16. Does 8 divide n(o)?
False
Suppose -133 = -2*n + 3*q + 78, 4*q = 2*n - 208. Suppose 122 + n = 4*h. Is h/(-8)*(-28)/7 a multiple of 7?
False
Let r = 20 + -17. Suppose r*j + 4*q = 63, -5*j + q - 5*q + 113 = 0. Is j a multiple of 25?
True
Suppose 2*n - 5*i - 252 - 480 = 0, 4*n = -i + 1420. Is 18 a factor of n?
False
Let s(z) = z**3 + 14*z**2 - 11*z - 46. Is s(-14) a multiple of 9?
True
Let n(r) = r + 1. Let w(b) = 10*b + 24. Let v(k) = -8*n(k) + w(k). Let m be v(-7). Suppose 4*q = m*t - 48, 4*t + 7*q = 4*q + 63. Is 6 a factor of t?
True
Let s be (-4)/(-10) - (-186)/(-15). Let r be 4/s - 32/3. Let v = r + 22. Is 11 a factor of v?
True
Let j(o) = -o**2 - 2*o. Let x be j(-7). Let u = x - -90. Is 22 a factor of -3 + 5 + -5 + u?
False
Let g(z) be the first derivative of -1/3*z**3 - 8 + 14*z - 4*z**2. Is g(-7) a multiple of 7?
True
Is (18/(-4) + 4)*-846 a multiple of 47?
True
Let w(j) = -2*j + 4. Let s be w(8). Let u = s - -10. Let g = 16 - u. Is g a multiple of 18?
True
Suppose 23*q - 1545 = 18*q. Is 14 a factor of q?
False
Suppose -4*s + 1 = -15. Let h = s - 3. Let z(i) = 3*i**3 + 2*i**2 - i. Is z(h) a multiple of 4?
True
Let y(a) = -a**3 + 7*a**2 + a + 6. Let i be y(5). Suppose 6*f = i + 107. Does 14 divide f?
True
Let x = 21 + -14. Let l(u) = -u**3 + 9*u**2 - 3*u + 7. Does 28 divide l(x)?
True
Suppose 14*v - 10*v - 324 = 0. Is (-18)/v + (-130)/(-18) - -1 a multiple of 8?
True
Let t(m) = 0 + 39*m - 1 + 2*m**2 - 4*m**2 - 8. Is t(18) a multiple of 6?
False
Let m(q) = q**3 - 9*q**2 + 7*q + 11. Let j be m(8). Suppose -2*n + j*n + 978 = 0. Does 23 divide 1/4 - n/24?
False
Let c(o) = -o**3 + 5*o**2 + 2*o - 7. Let j be c(5). Suppose -780 = -j*x - 2*x + 2*l, -2*l = 2*x - 326. Suppose 5*t = 22 + x. Is t a multiple of 18?
True
Let y(s) = 11*s + 216. Is 67 a factor of y(22)?
False
Let f = 32 - 30. Does 44 divide ((-16)/(-6))/1*33/f?
True
Let w(y) = 4*y**2 + 23*y + 24. Is 4 a factor of w(-8)?
True
Suppose 8*g - 4*g - 104 = 0. Let u = 42 - g. Is u/5 - 4/20 a multiple of 2?
False
Suppose -4*z = 3*g - 8, -2*z = g + 3 - 7. Suppose g = -5*r + 101 + 169. Suppose 8 + r = 2*d. Does 21 divide d?
False
Let s(h) = -62*h - 765. Is s(-21) a multiple of 4?
False
Suppose -2*o = 2*u - o - 5, -3*o - 21 = -3*u. Suppose 2*m + u = -0. Does 3 divide ((-3)/2 - m)*12?
True
Suppose 3*k = 2*k + m + 18, 0 = k + 3*m - 34. Suppose 0 = 7*q + k - 92. Is q a multiple of 4?
False
Let o(p) be the first derivative of 22*p**3/3 - 7*p**2/2 - 4*p + 1. Is 12 a factor of o(-3)?
False
Let w(g) = 10*g + 5. Suppose -2*p + 4 = -4. Let j be w(p). Is 7 a factor of (-5)/(-10)*(j + -3)?
True
Let i = 846 + -396. Is i a multiple of 25?
True
Suppose v = -4*x + 11, -3*x - 2*v = -9 - 3. Suppose 0 = -x*j - 3*q + 126, -4*q + 6*q = -5*j + 326. Is 13 a factor of j?
False
Let w be (3/(-1))/3 - (-14 + -1). Suppose -8 = q - w. Is q a multiple of 4?
False
Let q(h) = -11*h + 2*h - 2*h - 14. Let a = 78 - 84. Is 15 a factor of q(a)?
False
Let i(r) = -49*r + 698. Is i(-26) a multiple of 84?
False
Let r(p) = -7*p**3 + 6*p**2 + 31*p + 160. Is 14 a factor of r(-5)?
False
Suppose -2*g - 4*h = -4*g + 26, h = -5. Suppose -5*y - 187 = -g*t, 3*y - y - 258 = -4*t. Does 11 divide t?
False
Suppose f + 1 = -v, -2*v - 23 = -3*f - 2*f. Let t(u) = u**2 + 3*u - 6. Let s be t(v). Does 29 divide 407/4 - s/8?
False
Suppose -165 = -3*m + 2187. Does 16 divide m?
True
Suppose 8413 + 667 = 5*b + 4*u, 0 = 2*b + 4*u - 3620. Is b a multiple of 26?
True
Let g = -552 + 591. Is g a multiple of 13?
True
Suppose 2*o + y + 7 = 0, 4*o - 4*y + y + 29 = 0. Let w = o + 19. Suppose -k - w = -2*k. Is k a multiple of 14?
True
Suppose 28*d = 39*d - 4081. Is d a multiple of 54?
False
Suppose -5*k = 4*f - 10, -4*f + 2*f + 4*k = 8. Suppose -120 = -5*j - f*j. Does 12 divide j?
True
Suppose -28*q + 24420 = 9*q. Does 66 divide q?
True
Let d(q) = 21*q**2 + 3*q + 6. Let s = -38 + 36. Is d(s) a multiple of 7?
True
Let n = -111 + 113. Suppose -2*g + 59 = -5*z, z = -g + n*g - 37. Is g a multiple of 2?
True
Let w be ((-2)/2 - -32) + -3. Let l = 86 - w. Does 7 divide l?
False
Let q(t) = t**3 - 12*t**2 - 22*t - 6. Does 18 divide q(15)?
False
Let m(g) = 110*g. Let o(k) = k**3 + 3*k**2 - 3*k + 5. Let a be o(-4). Let h be m(a). Is 22 a factor of ((-48)/(-60))/(2/h)?
True
Suppose 4*p - 682 + 241 = -i, 0 = -3*i + 4*p + 1339. Does 23 divide i?
False
Let b = -67 + 62. Let o(y) = 10*y**2 + 4*y - 1. Is 46 a factor of o(b)?
False
Let o(i) = i**3 - 6*i**2 + 4*i - 5. Suppose 6 = 3*c - 12. Let d be o(c). Suppose 87 - d = t. Is t a multiple of 17?
True
Let r = -47 - -353. Is r a multiple of 9?
True
Let n(d) = d + 16. Let x be n(-11). Let c(p) be the first derivative of 4*p**3/3 - 5*p**2/2 + p - 31. Is c(x) a multiple of 19?
True
Suppose 13 = 2*i - n, 0*i + 51 = 4*i + 3*n. Let d be ((-12)/i)/(3/9). Is (-4)/(-2*d/(-24)) a multiple of 4?
True
Suppose -7*m + 2*m = -f - 403, -335 = -4*m + 5*f. Suppose 6*v - 8*v = -m. Is 20 a factor of v?
True
Let x(f) = -7 + 2*f**3 - 15*f + 0*f**3 - f**3 + 4*f**2 + 7*f. Let t be x(-5). Suppose -t*h + 10*h - 42 = 0. Is h a multiple of 7?
True
Let j = -14 + 18. Let f be 10/j*20/25. Suppose f*y - 9 = 9. Is y even?
False
Suppose -2*v = -2*d + 84, 2*d = 4*v - 19 + 101. Does 16 divide d?
False
Let w be 1 + 2/6*0. Suppose -f = -w - 2. Suppose -s + 0*l + 28 = 2*l, f*s - 74 = -4*l. Is 4 a factor of s?
False
Let l = 1934 + -927. Is 76 a factor of l?
False
Let t be ((-4)/(-6))/((-12)/36). Let v(x) = -45*x. Does 30 divide v(t)?
True
Let g = -16 + 33. Let t = 19 - g. Suppose z - 2*h = 36, -t*h - 156 = -5*z - 0*h. Does 6 divide z?
True
Let u(d) = 3*d**3 + 6*d**2 - d + 4. Let y(z) = 13*z**3 + 25*z**2 - 4*z + 17. Let j(a) = 9*u(a) - 2*y(a). Let c be j(-5). Let q = 45 + c. Is 9 a factor of q?
True
Does 8 divide (65 - -1)*4/3?
True
Let j be (-9)/24 + 29/(-8). Is (-45)/(-2)*j/(-6) a multiple of 4?
False
Let v = 11 + 39. Is 5 a factor of v?
True
Let m = 1179 + 43. Is 72 a factor of m?
False
Suppose -2*v - 13 = -4*v - i, 24 = 3*v + 3*i. Suppose -v*x - 3*x + 576 = 0. Is x a multiple of 16?
False
Suppose 49995 = 54*n + 5985. Does 70 divide n?
False
Let g(f) = 14*f**2 - 18 - 15*f**2 - 15*f + 2. Is 5 a factor of g(-7)?
True
Let n(q) = 5*q + 5. Let w(y) be the third derivative of y**4/24 + y**3/2 + 3*y**2. Let p be w(2). Is 15 a factor of n(p)?
True
Is 17 a factor of 5631*(-8)/(-84) - (-26)/(-91)?
False
Let n = -33 + 61. Let w = -233 - -236. Suppose -q = w*y - n, 5*q + 0*q - 5*y - 220 = 0. Is 10 a factor of q?
True
Let n = -405 + 3350. Is 31 a factor of n?
True
Let f be (-2)/(-2)*(-2 + 7). Suppose -o - l = -6, 0*l + 10 = 5*o - f*l. Suppose 5*i - 6 - 101 = -o*z, 5*i = -z + 23. Is 14 a factor of z?
True
Let a(m) = 1 - 3 + 0 + 1 + 15*m. Suppose p - 4 - 5 = 4*c, 10 = 4*p - 3*c. Does 6 divide a(p)?
False
Let t(o) = -3*o - 24. Let c be t(-8). Suppose -5*b + 3*b + 190 = c. Is b a multiple of 19?
True
Let l(j) = 12*j. Let r(p) be the second derivative of p**3/6 + 9*p**2/2 + p. Let k be r(-7). Is l(k) a multiple of 16?
False
Let v = 885 - 435. Is v a multiple of 5?
True
Let m = -3 + 39. Is m a multiple of 18?
True
Suppose 0 = -8*w + 366 + 34. Let r = w - -12. Does 11 divide r?
False
Suppose -5*s + 19 = -1, -2*q - 2*s = -278. Let b = 230 - q. Does 17 divide b?
False
Suppose 0 = 53*g - 58*g + 105. Suppose 19*l = g*l - 300. Does 10 divide l?
True
Let h(t) = t**3 + 16*t**2 - 17*t + 5. Let p