Is q(z) a multiple of 20?
False
Let a be (-7)/(21/360) - (14 - 10). Let h = a + 133. Does 3 divide h?
True
Let c(s) = 2*s**3 + 4*s**2 - 2*s - 4. Is c(3) even?
True
Let x(o) = 9*o**2 + 40*o + 189. Is 25 a factor of x(-6)?
False
Let m(u) = 3*u**2 + 2*u - 6. Let k(i) be the second derivative of -i**5/20 - i**4/2 + 5*i**3/6 - 11*i**2/2 + 6*i. Let g be k(-7). Does 9 divide m(g)?
True
Let z(n) = 3*n**3 + 15*n**2 + 3*n + 7. Let c be z(-7). Is 6 a factor of -3 - ((-6)/(-18) - c/(-6))?
True
Suppose 3*m - 13 = -9*y + 5*y, -3*y - 20 = -2*m. Does 15 divide (-3 - -5) + m + 61?
False
Let n be 5/20 - (-33)/12. Suppose -o + 5*o - 372 = 0. Suppose -r + n = l - 16, -o = -5*l - 3*r. Is 18 a factor of l?
True
Let t(c) = -25*c - 47. Does 14 divide t(-3)?
True
Suppose 5*h = a + 2*a + 129, -81 = -3*h + 3*a. Let t(z) = z**2 - 16*z - 78. Does 4 divide t(h)?
False
Let h = -191 + 293. Does 6 divide h?
True
Suppose -384 = -16*l + 10*l. Is l a multiple of 16?
True
Suppose 0 = 5*u - 8 - 2. Suppose 5*q - u*b - 22 = 8, 3*q = -b + 7. Suppose -q*p = 16, -3*p + 220 = 4*n - 4*p. Is 9 a factor of n?
True
Is 2/(-11) - (-13)/((-858)/(-16908)) a multiple of 16?
True
Does 30 divide (1 - -2) + 1680/20?
False
Let v = 131 + -98. Does 11 divide (1 + v)/(1*(-1)/(-2))?
False
Suppose 5*t = -4*y + 7 + 195, 5*y + 4*t - 248 = 0. Suppose -5*l + y = -27. Suppose -11 = -4*b + c, -4*c = b - l - 9. Is b a multiple of 4?
True
Suppose -6 = 2*j, -2*z + 14*j - 18*j = 26. Let x be (-1)/(0 - (-1)/3). Let i = x - z. Is i a multiple of 3?
False
Let o = 2104 - 1104. Does 51 divide o?
False
Let s = 2999 + -2005. Is 71 a factor of s?
True
Suppose -4*k + 5*t + 926 + 515 = 0, 5*k = 5*t + 1805. Does 13 divide k?
True
Let j(n) = -4*n - 4. Let h be j(-2). Let g(l) = -l**2 + 4*l. Let v be g(h). Suppose u + v*i + 5*i = 52, 5*u - 302 = -4*i. Does 31 divide u?
True
Does 16 divide 2 + 295 + (-4 - -3)?
False
Suppose 0 = -4*l + 6*o - 2*o - 4, o - 9 = -3*l. Suppose l*v = -5*s + 827, s + 0*s - 160 = 5*v. Is 11 a factor of s?
True
Suppose -13398 = 3*c - 24*c. Is 22 a factor of c?
True
Suppose 0 = 102*u - 56281 - 3083. Is 6 a factor of u?
True
Suppose -5*c + 10071 = 4*m - 975, -4*c = 2*m - 8838. Is c a multiple of 5?
True
Let w(z) = -8 + z - 25 + 0*z + 3*z. Let t be w(14). Suppose -t + 72 = m. Does 7 divide m?
True
Let t = 125 + 92. Let y = -28 + t. Is y a multiple of 14?
False
Let i(w) = -w**2 + 27*w + 180. Is 18 a factor of i(30)?
True
Is ((-20)/15)/(4/(-6)) + 263 a multiple of 5?
True
Let h = 40 + -45. Let y(x) be the second derivative of -x**5/20 - x**4/2 - x**3 + 2*x**2 + x. Is 2 a factor of y(h)?
False
Let b be (-25)/(-10) + (-51)/(-2). Let s = b - -8. Does 6 divide s?
True
Let d be -3 + 3 + (-8)/(-4). Suppose d*q = 2*z + 78 + 30, 5*z + 3*q = -238. Let y = 78 + z. Does 14 divide y?
True
Does 32 divide -5 - -7 - (-417)/3?
False
Suppose -3*w = 2*w. Suppose 4*v = r + 1, w*v + 3*v = -2*r + 9. Suppose -2*p - r*n + 48 = -7*n, -3*p + 48 = 2*n. Does 18 divide p?
True
Let o = -78 - -82. Suppose 4*c = 3*t - o*t + 259, 0 = -3*t - 3*c + 822. Does 16 divide t?
False
Let y = -14 + 18. Let g be (4 - -29) + -2 + y. Suppose -2*m - 3*s = -3*m + g, 5*m + s = 143. Is m a multiple of 26?
False
Let m(v) = 2*v - 234. Let d be m(0). Let z be (0 + 1)/((-6)/d). Suppose 0 = -n + z + 7. Is n a multiple of 21?
False
Suppose 16*h - 6825 = 8375. Is 25 a factor of h?
True
Let u(h) = 2*h**2 - 8*h - 5. Let i be u(4). Does 29 divide ((-1)/(i/(-2)))/(1/(-95))?
False
Suppose -8 = 3*u + 5*w + 12, 5*w = 2*u + 5. Let m be -2 + (18 - (3 + u)). Suppose z = -z + m. Is z a multiple of 5?
False
Let s(w) be the second derivative of w**4/12 - w**3/2 + w**2 - 5*w. Let r be s(3). Is 6 a factor of (286/(-55))/(r/(-5))?
False
Does 8 divide (63/(-28))/(1 - 35/32)?
True
Let g = -492 - -693. Suppose -11*i + 327 = -g. Does 24 divide i?
True
Let h be (-7)/(-35) - 9/(-5). Does 4 divide h*5/(-35) - (-228)/14?
True
Let j = 74 + -29. Let b = 60 + j. Is b a multiple of 19?
False
Let j be (-30)/12*-24*3. Suppose -t - z + 6 = 4*z, -5*z = -5*t + j. Is t a multiple of 10?
False
Let p(b) be the second derivative of 7*b**5/20 - b**4/12 + b**3/6 - b**2/2 + 2*b. Suppose 0 = -3*k + z + 5, 4*z + 9 + 1 = 2*k. Does 2 divide p(k)?
True
Suppose 3*t + 4*x - 1834 = 238, -t - 3*x + 694 = 0. Suppose -3*r = 5*r - t. Is r a multiple of 12?
False
Suppose 0 = 2*v - 31 - 3. Does 2 divide v?
False
Let m(d) = 2183*d**3 + 2*d**2 + 2*d - 4. Does 59 divide m(1)?
True
Suppose 5*q - 1555 = -4*k - 63, k = 2*q - 602. Does 20 divide q?
True
Let c(v) = 4*v**2 + 2*v + 1. Let o be c(-4). Suppose l - 26 - 14 = 0. Let y = o - l. Does 17 divide y?
True
Let g(b) = 0*b + 20*b + 18*b + 3 - 4. Suppose -4*l + 0 - 2 = 3*p, 3*l + 4 = -p. Is g(p) a multiple of 18?
False
Suppose g = -g. Suppose -3*w + 2 = 2*w + 4*z, g = -w - 2*z - 2. Is 15 a factor of 15*1*w/2?
True
Let h = 69 + 594. Does 39 divide h?
True
Let j = 232 + -88. Does 67 divide j?
False
Suppose 0 = -0*a - 2*a + 722. Is 7 a factor of a?
False
Let b(i) = 4*i**3 + 3*i + 6. Let h be b(-3). Let p = 129 - h. Does 27 divide p?
False
Let g(d) = 80*d - 203. Is g(9) a multiple of 68?
False
Suppose 4*b = 3*z + b, -5*b + 15 = 0. Suppose -y = -12 - z. Is y a multiple of 5?
True
Let y be 0 - 6*2/(-12)*-2. Let n(a) = 19*a**2 + 3*a + 3. Does 15 divide n(y)?
False
Suppose 0 = -5*s + 3*x + 318, 5*x = 4*s - 301 + 44. Let w = 392 - s. Does 40 divide w?
False
Suppose 2*r + 2*r = -12, 0 = -3*u + r + 6996. Suppose -8*p + u = 459. Does 39 divide p?
True
Let h(w) = 207*w - 7. Let j be h(-1). Is (-2)/(-1 + (-210)/j) a multiple of 7?
False
Does 81 divide 12 + -2 + 1993 + 3?
False
Let k(j) be the second derivative of -j**5/10 - j**4/12 + j**2 - 4*j. Let b be k(-3). Suppose z = 4*q + 10 + 11, b = 3*z - 4*q. Does 4 divide z?
False
Let m(s) be the third derivative of 7*s**4/2 + s**3/3 - 2*s**2. Does 40 divide m(2)?
False
Let f = -91 - -133. Let d = f - 31. Is d a multiple of 11?
True
Let l(d) = d**2 + 5*d + 8. Let v be l(-5). Let f be (-37)/(-2)*(10 - v). Let s = 3 + f. Does 10 divide s?
True
Let h = -443 + 1187. Is h a multiple of 23?
False
Suppose 18*f - 23*f = -65. Let m = 26 - f. Is 4 a factor of m?
False
Let s = -238 + 658. Is s a multiple of 21?
True
Does 59 divide (1*7)/((-584)/296 + 2)?
False
Is (2034/(-791))/(6/(-5852)) a multiple of 44?
True
Let m = -1168 + 1675. Suppose -39 = 6*w - m. Is 16 a factor of w?
False
Suppose -4*r = -z + 608, 7*r - 4*r + 1824 = 3*z. Does 10 divide z?
False
Let b(m) = 24*m - 2. Let c be b(3). Let s(p) = -3*p**2 - 17*p + 5. Let d be s(-6). Is d/(-5) - (-6006)/c a multiple of 16?
False
Suppose 0 = -4*x + 3*v + 297, 6 = -4*v + 2*v. Let i = 88 + x. Does 8 divide i?
True
Let n(k) = -5*k - 4 - 8 + 1 + 17 + 58*k**2. Is 12 a factor of n(2)?
True
Suppose 0 = 4*u + 5*h - 3985, -u = 3*h - 820 - 185. Is 30 a factor of u?
True
Let y = -28 - 6. Let v = 24 + y. Let d = 18 + v. Does 5 divide d?
False
Let b be 7 + (2 - (2 + -4)). Let t = 19 - b. Is 6 a factor of t/(-4)*(-31)/2?
False
Let l(w) be the first derivative of 2*w**3/3 + 4*w**2 + 5*w + 3. Let j(u) = u**2 + 5*u - 11. Let p be j(-6). Is l(p) a multiple of 15?
True
Suppose -2*d = 66 + 274. Let y = d + 316. Does 21 divide y?
False
Suppose -4*w - 4 = u - w, -58 = -3*u + 5*w. Let z = 17 - u. Is z even?
True
Suppose 21*v - 61 = 1052. Is v a multiple of 2?
False
Let h(t) = -t - 5. Let c be h(-10). Suppose c*j = -5 - 5. Is 5 a factor of j/(-12) + (-319)/(-66)?
True
Let n = -15 + 21. Let b(c) = -2*c - 2. Let x be b(-4). Suppose m + 3*r = 2*r + x, -m - n = -3*r. Is 2 a factor of m?
False
Suppose 3*l = 2*l - c + 205, -5*c = -l + 235. Suppose 5*b + 104 = i, 3*i - l = 4*b + 113. Does 17 divide i?
False
Let v be (-22)/(-2) - (-4 - -4). Let b(w) = -w**2 + 12*w + 1. Let k be b(v). Does 10 divide -3 + 1 - (-42 + k)?
False
Suppose 31*t - 35*t + 8 = 0. Suppose -64 = -t*y - 4*z, -z = z + 10. Is y a multiple of 14?
True
Suppose 4*s + 52 = -r, 2*s - r + 52 = -2*s. Let o(b) = -b**2 - 12*b + 17. Let k be o(s). Suppose k*q = 110 + 22. Does 11 divide q?
True
Let t(d) = d + 3. Let x(f) = f + 4. Let z(y) = -5*t(y) + 4*x(y). Let w be z(-3). Suppose w*u = u - 2*g + 92, u + 4*g - 34 = 0. Is 30 a factor of u?
True
Suppose 3*u = -6*n + 3*n + 75, 3*n = 0. Is (2 + u)/((-3)/(-8)) a multiple of 8?
True
Is (-36724)/(-40) - 8/80 a multiple of 18?
Tru