5*z = -3*i - 8*z - 51. Let s = 1 - i. Is 8 a factor of s?
False
Suppose -5*k + 144 = -6. Let m = -44 + k. Is -1*m/(3 - 1) even?
False
Let u(o) = -o - 6. Let i be u(-6). Suppose i = 3*s - 2*s - 4. Suppose -s*l = 8, l - 16 = -y + 2*l. Is y a multiple of 9?
False
Let z(u) = -2*u**3 - 6*u**2 - 2*u + 4. Let r be z(-5). Suppose 839 - r = 5*m. Does 32 divide m?
False
Let y(u) = 3*u**2 - 6*u - 14. Does 10 divide y(-6)?
True
Suppose -4*k + 8 + 4 = 0. Suppose 3*m + 5*t + 14 = 0, 3*m - k*t + 6 = -0*m. Let o = 33 + m. Does 10 divide o?
True
Let j be (-11)/44 + 10/8. Let t be -10 + 13 - 3*j. Suppose -h - 4*h + 255 = 3*l, t = 2*h - 2*l - 86. Is 24 a factor of h?
True
Let x(u) = 11*u**3 + 3*u**2 + 4*u - 20. Does 11 divide x(4)?
True
Let r(c) = 4*c**3 - 3*c**2 + 2*c - 2. Let z be r(3). Let q = z + -50. Let i = 0 + q. Is 5 a factor of i?
True
Let a = 31 - 29. Suppose -3*o = -6, 0 = 7*d - a*d - 5*o - 225. Does 13 divide d?
False
Suppose -4*u - i + 8409 = -1064, -4*u + 9467 = 3*i. Does 14 divide u?
False
Let i(b) = -b**3 + 18*b**2 + 20*b - 1. Let r be i(19). Suppose 5*w + r = -2*f + 273, 0 = -4*w + f + 204. Is w a multiple of 17?
True
Let q = 4791 + -1978. Is q a multiple of 18?
False
Let b = 7 - 6. Is (-17)/(-2)*(b + (-2 - -5)) a multiple of 7?
False
Let c be 4 - 2/(-8)*(-13 + 13). Suppose -x = -7*g + 8*g - 196, c*x + 3*g = 783. Is x a multiple of 25?
False
Let a(z) = 7*z**2 - 2*z - 10. Let j(c) = -3*c**2 + c + 5. Let q(w) = 2*a(w) + 5*j(w). Is 2 a factor of q(0)?
False
Suppose 2*s - 195 = -s. Suppose -8*u + 0 + 24 = 0. Suppose v + u*y = 105, -5*y + s = -2*v + 286. Is v a multiple of 14?
False
Let r(m) = 1. Let q(c) = -6*c + 1. Let v(a) = -q(a) + 2*r(a). Suppose 4*s - 6 = -2*s. Does 7 divide v(s)?
True
Suppose 3*l = -2*k + 14, 2*l = -0*k - 2*k + 8. Suppose 0 = -r - 5*p + l + 31, 2*p = -5*r + 231. Does 8 divide r?
False
Suppose -4*k + 3 + 113 = 0. Suppose -4*q - k + 81 = 0. Does 9 divide q?
False
Let v(y) = 2*y**2 + 5*y + 16. Suppose 3*m + 94 - 58 = 0. Is 10 a factor of v(m)?
False
Let s = -24 - -109. Is 4 a factor of s?
False
Let y be 13 + (-12)/8*2. Suppose -2*i - 90 = -2*x - 3*x, -y = -2*i. Is 5 a factor of x?
True
Let l be 1160/(-88) - 2/(-11). Let w be 2/l + 2072/(-52). Let t = w - -91. Is 18 a factor of t?
False
Let c(s) = -s + 7. Let u be c(-13). Let v = u + -17. Suppose -11 + 44 = 3*p - v*h, p + 4*h - 26 = 0. Is p a multiple of 3?
False
Let i(b) = b**3 + 6*b - 19. Does 53 divide i(8)?
False
Suppose 928 = 7*l + 200. Does 26 divide l?
True
Suppose 28*w + 599 = 6843. Is w a multiple of 13?
False
Let m be 2/((2 - 1)/8). Let g = 20 - m. Suppose g*a - 5*a - 5*t + 49 = 0, -3*t - 59 = -2*a. Does 25 divide a?
False
Let d(f) = -11*f - 68. Let m(g) = -5*g - 34. Let k(a) = 3*d(a) - 7*m(a). Does 17 divide k(0)?
True
Let b(v) = -15*v + 13. Let x be b(-3). Suppose -4*l + x = -3*l - 5*q, -3*q = 3*l - 84. Does 17 divide l?
False
Let i(h) = h**3 - 10*h**2 - 5*h + 11. Let l be i(8). Let v = 388 - l. Suppose -155 + v = 3*a. Is 34 a factor of a?
False
Suppose 453 = 4*c - 2663. Is 14 a factor of c?
False
Let n = 9 - 5. Let b be (-55)/4 + (-1)/4. Let k = n - b. Is 18 a factor of k?
True
Let y = -1416 + 3064. Does 16 divide y?
True
Let b(z) = z**3 - 34*z**2 - 22*z + 18. Does 12 divide b(35)?
False
Suppose -810 = -6*m + 3*m. Let y be (0 + 1)/(6/m). Let q = 34 + y. Does 17 divide q?
False
Let j(f) = 3*f**2 - 7*f - 40. Let u be j(-9). Let v = -128 + u. Is 12 a factor of v?
False
Let k = 6 - -4. Let w = 6 - k. Is (-10)/w*152/10 a multiple of 12?
False
Let z = -63 + 49. Is 9 a factor of (-4)/z - (-1482)/7?
False
Let s(n) = n**2 - 2*n + 1. Let i be s(3). Suppose 2 = 5*u + 4*m, i*u + 3*m + 1 - 3 = 0. Suppose 7*f = -2*z + u*f + 40, 4 = f. Is z a multiple of 3?
False
Let p = 0 - 0. Let x = 57 + -12. Suppose c + 4*c - x = p. Is 3 a factor of c?
True
Let k(g) = -g**2 + 8*g - 8. Let c be k(6). Suppose -8*t = -c*t. Suppose -2*q + 6*q - 252 = t. Is q a multiple of 21?
True
Let t = 7 + -7. Let a = t - 5. Let j = 94 + a. Is 20 a factor of j?
False
Suppose -2*q = c - 12, -2 + 17 = 3*c - q. Suppose 5 = -2*j - 5*f, -j = -2*j + 5*f + 5. Suppose j = -b + c - 1. Does 4 divide b?
False
Let y = -7 - -9. Suppose -5*z + 17 = y. Is 17 - (2 + z/(-3)) a multiple of 9?
False
Let y be ((45/(-2))/(-5))/((-3)/(-4)). Suppose 146 = y*w + 32. Does 6 divide w?
False
Suppose -z = -2*p + p + 5, -p + 2 = 0. Does 30 divide (46 - z) + -5 + 1?
False
Suppose 3*n - 15 = 15. Suppose 2*l = -3*o + n, 2*l + 1 = 3*o - 1. Suppose 3*t - 18 = l*t. Does 6 divide t?
True
Let q(s) = -s**3 - s**2 + s - 15. Let p be q(0). Let i = -14 - p. Let h = i + 5. Does 3 divide h?
True
Suppose 0 = 8*h - 4920 + 480. Is 11 a factor of h?
False
Let a = 1966 + -1174. Does 6 divide a?
True
Let d(z) = z**3 - 6*z**2 - 2*z + 10. Let s be d(8). Let w = 63 + s. Is 37 a factor of w?
True
Let w(x) = 35*x - 44 - 63*x**2 + 29*x**2 + 33*x**2. Is 16 a factor of w(26)?
False
Suppose 5*s = -3*t - 16, -t + 4*s = 3*s - 8. Suppose -g = t*d - 139, 5*d = g + 154 + 83. Does 9 divide d?
False
Suppose 0 = 1199*r - 1198*r - 837. Is 45 a factor of r?
False
Suppose 2*o - 162 = -0*o. Let l be -59 + (9/7 - 1)*7. Let v = l + o. Is 8 a factor of v?
True
Let t(u) = 2*u**2 - 11*u + 3. Let r be t(8). Suppose -v = 14 - r. Is 8 a factor of v?
False
Suppose 4*n - 5*f = 12884, -5*n - 4*f + 5798 = -10307. Does 105 divide n?
False
Let w(r) be the second derivative of r**4/3 + r**3/6 + 8*r**2 - 11*r. Is w(-5) a multiple of 32?
False
Suppose -4*j + 3 = -5*n, -2*j + 3*n + 5 = 2*j. Is (320/(-48))/((j/(-72))/1) a multiple of 36?
False
Suppose -m + 54 = -s + 1226, -3*m + 7068 = 6*s. Does 24 divide s?
True
Let g(w) = -14*w**2 - 3*w - 69 + 9*w - 2*w**3 + 89. Is g(-8) a multiple of 10?
True
Suppose -4*p - u + 39 = -2*p, 15 = -5*u. Does 7 divide p?
True
Suppose 3*c - 8*c - 3*k = -416, -3*k = -6. Is 3 a factor of c?
False
Suppose -250 = 4*z - 5*d + 173, 0 = z + 5*d + 137. Let s = -55 - z. Let l = s + 9. Is l a multiple of 10?
False
Let c = -94 + 94. Is 4 a factor of 4/((-4)/(-46) + c)?
False
Suppose a + 2*a = 3. Is -9*(-1)/a*1 even?
False
Suppose 2*z = 19 + 59. Let o = -21 + z. Does 2 divide o?
True
Let n be 182/3 - 18/(-54). Suppose 4*u = s + n + 577, u - 2*s - 156 = 0. Is u a multiple of 32?
True
Suppose -35 = -17*f + 492. Does 12 divide f?
False
Suppose 3300 = 17*z - 12*z. Is z a multiple of 44?
True
Suppose -8*k + 4*k = 24. Let s be (-113)/(-3) - (-4)/k. Suppose 70 = 2*q + 3*m + 10, 0 = q - 2*m - s. Is q a multiple of 26?
False
Suppose -2*n = -1226 - 1244. Is 13 a factor of n?
True
Suppose -12517 = -14*v + 40053. Is v a multiple of 23?
False
Let a = -1656 - -2496. Does 60 divide a?
True
Let q(p) = 205*p**2 - 4*p - 9. Is 21 a factor of q(-3)?
True
Let j be -1 - 2 - (-4 - -1). Suppose 0 = 3*o - j*o - 15. Does 9 divide (-6)/4*(-1 - o)?
True
Is 53 a factor of (-2)/((-14)/5579) + (-10)/5?
True
Let k be (-3)/5 - (-39)/15. Suppose k*t = 7*t. Suppose -2*d - d + 24 = t. Is 8 a factor of d?
True
Suppose -9*a - 162 = 9. Let q = 79 + a. Does 30 divide q?
True
Suppose 0 = 11*o - 0 - 22. Suppose -5*b = -d - o*d - 441, -2*b + 5*d = -165. Does 10 divide b?
True
Suppose 0 = 8*j - 14890 - 1670. Is 18 a factor of j?
True
Let a be -10 + 3 + 3 + -39. Let n = a - -69. Is 12 a factor of n?
False
Suppose -q = v - 706, -4*v + 3*q = 2*q - 2814. Does 2 divide v?
True
Suppose 0 = 4*r - 5*a - 2496, 0 = -8*r + 3*r + 2*a + 3120. Suppose -4*d + r = 2*d. Is d a multiple of 33?
False
Let a = 2140 - 988. Does 17 divide a?
False
Suppose 0 = 6*r - 7*r. Let t be (1 - r)/(7/(-91)). Let c = 1 - t. Does 12 divide c?
False
Let m(k) = 5*k**2 + 11*k - 104. Is m(21) a multiple of 106?
True
Suppose -2*y - 1220 = -3*y. Is y a multiple of 67?
False
Let t(l) = 2*l**2 - 3 - 6 + 436*l - 429*l - 1. Is 10 a factor of t(-6)?
True
Let u(c) = 77 - 3 - 5 + c. Is u(0) a multiple of 6?
False
Let q(w) = -w**2 - 113*w + 383. Is q(-56) a multiple of 38?
False
Let r be 2 + 1/((-3)/(-9)). Let b = r - 0. Suppose -165 = 2*z - 7*z - 3*l, z - 55 = -b*l. Does 15 divide z?
True
Is 40 a factor of 5/(55/528*2/10)?
True
Let m(u) = 9*u**2 - 4*u + 1. Let r be 12*((-27)/(-12))/3. Suppose r = 4*d - d. Is m(d) a multiple of 12?
False
Suppose -25 = 5*n, 7*x - 2*x - n = -235. Is 9 a factor of (x/(-14))/(1/((-21)/(-2)))?
True
Let j(i) = -i**3 + 5*i**2 + i - 2. Let w b