18. Does 2 divide q?
True
Suppose -88*t = -68*t - 1720. Is 32 a factor of t?
False
Suppose w = -4*l + 108 + 142, -w - 128 = -2*l. Suppose 5*s = 18 + 147. Suppose -l = -3*u + s. Does 16 divide u?
True
Let t(k) be the first derivative of 19*k**2/2 - 10*k - 3. Is 11 a factor of t(4)?
True
Let k(c) = -c - 8. Let m be k(-8). Suppose -j - 59 = -2*t + 2*j, 5*t + 2*j - 157 = m. Does 8 divide t?
False
Let u(i) = 40*i**2 - 15*i + 15. Is u(1) a multiple of 5?
True
Let s(t) = 26*t + 10. Let z(k) = -9*k - 3. Let c(q) = 4*s(q) + 11*z(q). Does 17 divide c(12)?
False
Suppose 0 = -2*b + 5*b - 4*b. Suppose b = x + 4*q - 149, -5*q + 42 = x - 112. Does 22 divide x?
False
Let m = 101 - -161. Suppose -128 = -2*v + v - 3*x, 2*v - m = -4*x. Is v a multiple of 13?
False
Let z(b) = -b**2 - 9*b - 18. Let x be z(-4). Does 21 divide ((-3)/(-4))/(x*(-5)/(-1960))?
True
Suppose 244 = -3*t - v, -2*t = -5*t + 3*v - 240. Let x = 149 + t. Suppose 4*b = -8 + x. Does 5 divide b?
True
Let m(f) be the first derivative of -f**4/4 + 13*f**3/3 + f**2/2 - 4*f - 5. Is 35 a factor of m(12)?
False
Let q(k) = -10*k**2 - 115*k + 6. Does 33 divide q(-9)?
True
Let m(b) = 11*b**3 - 3*b**2 + b - 5. Is m(3) a multiple of 22?
False
Let i be 23/(-1 - (2 + -4)). Suppose -i = -5*g - 3. Is 10/g*8*5 a multiple of 25?
True
Suppose 151 = -3*s - 149. Let g = -78 - s. Does 3 divide g?
False
Suppose -764 = -q + 3*s, -652 = -q - 5*s + 104. Is q a multiple of 20?
False
Let c = -211 - -456. Does 2 divide c?
False
Suppose -4*c = -5*w + c + 2040, -4*w + 1629 = -3*c. Let f = w - 211. Does 10 divide f?
False
Let d(p) = 51*p**2 + 2*p + 2. Suppose -3*f + 32 = 5*a, -4*f + 0*a = -4*a - 32. Suppose -f = 5*s - 4. Is 17 a factor of d(s)?
True
Is 57 a factor of (((-52)/8 - -6) + 619)*2?
False
Suppose -5*x + 9*x = -2*q + 524, -4*x = -3*q + 796. Suppose -305 + q = -p. Does 17 divide p?
False
Suppose -217*c = -203*c - 9338. Is c a multiple of 31?
False
Suppose -4*h = 2*n - 40, n + 0*h = 3*h + 10. Let v = 19 - n. Is 18 a factor of 1456/24 + (-2)/v?
False
Is 220/(-50)*((-1)/1 - 39) a multiple of 32?
False
Suppose 14*m = -47 - 9. Is 29 a factor of (14/21*-7)/(m/174)?
True
Is (-3)/(-12) + (-119)/(-4) a multiple of 15?
True
Suppose 2*z = -3*x + 142 + 45, 5*z = -x + 435. Does 14 divide z?
False
Suppose -5 = -4*x + 5*l, 5*x = -2*l + 5*l + 3. Suppose -f + 304 - 98 = x. Is 13 a factor of f?
False
Let d be (1 - -7)*(-2)/4. Is (-3 + (-14)/d)*34 a multiple of 9?
False
Suppose 5*n = 20, 0 = s - n - 4*n + 98. Does 15 divide ((-68)/3)/(13/s)?
False
Let p(s) = -4*s**3 + 10*s**2 + 7*s + 8. Let a(q) = 5*q**3 - 9*q**2 - 6*q - 8. Let j(x) = 3*a(x) + 4*p(x). Let l be j(14). Does 22 divide 126/24*l/(-9)?
False
Suppose -l - 3*r + 183 = 0, -256 = -2*l - r + 125. Suppose 5*s = 253 + l. Is 31 a factor of s?
False
Suppose -5*d - 2*m + 115 = -437, 3*m + 348 = 3*d. Suppose 3*q + d = 2*u, -8*u + 294 = -3*u - 4*q. Does 12 divide u?
False
Suppose 1570*u - 528 = 1562*u. Does 11 divide u?
True
Let q(a) = a**3 + 33*a**2 + 55*a - 55. Is q(-31) a multiple of 6?
True
Suppose 0 = -k + 6*k - 205. Let m = 127 + -64. Suppose 103 + m = 4*j + 2*g, -j + k = g. Is j a multiple of 12?
False
Let u = 1266 + -1003. Is u a multiple of 4?
False
Suppose 2*p - 115 = p. Suppose -16 = 3*z - p. Is 4 a factor of z?
False
Let y(r) = -4*r + 25. Let l be y(10). Let n = l + 59. Is 22 a factor of n?
True
Suppose 358 = -2*n - 2*w, -3*n + 7*n - 5*w + 707 = 0. Let u = 294 + n. Is u a multiple of 22?
False
Let b(k) = -k**2 - 11*k - 3. Let h = 26 - 35. Does 5 divide b(h)?
True
Let n = -51 + 123. Is 24 a factor of n?
True
Suppose -2*u = -4, -j + 4*j = u + 7258. Is 22 a factor of j?
True
Let k = -3 - -5. Is k/(-13) - 6404/(-52) a multiple of 18?
False
Let b be 18/3*(-41)/(-6). Suppose -3*n + 177 = 4*l, 158 = 5*l + 3*n - 64. Let m = l + b. Is m a multiple of 25?
False
Suppose 0*h - 20 = 4*h, 5*h = -5*s + 6280. Does 30 divide s?
False
Suppose s = q + 3*q - 624, 0 = 2*q + s - 312. Let l = -34 + q. Does 19 divide l?
False
Let c(h) = h**3 - 8*h**2 + 15*h - 3. Suppose 0 = 5*z - 3*n - 15, -3*z + 2*n = -2*z + 4. Does 5 divide c(z)?
True
Let p = 581 + -376. Is 41 a factor of p?
True
Let f = 52 + -58. Let w(a) = -a**3 - 2*a**2 + 7*a - 2. Does 13 divide w(f)?
False
Suppose -4*n - 3581 = -4*k + 3887, -5*k - n = -9311. Is 27 a factor of k?
True
Let i = -128 - -130. Does 39 divide 3/6*1 + 77/i?
True
Let i(s) = s**3 + 6*s**2 - 27*s + 2. Let y be i(-9). Is y + (1 - 2 - -6) a multiple of 3?
False
Suppose 10 = c + 2*h, c - h = 5 + 2. Let n(i) = -6*i - 3. Let x(r) = 1. Let b(g) = -n(g) + 3*x(g). Is b(c) a multiple of 18?
True
Let u be (-2)/(-1)*(-6)/(-4). Let x(s) = 4*s**2 + s. Let q be x(1). Suppose -u*z = -q*o + o - 41, z = o + 14. Is 4 a factor of z?
False
Let f = -994 + 1690. Does 46 divide f?
False
Let t be 14/8 + 3/12. Suppose t*b + 35 = 255. Is b a multiple of 22?
True
Suppose 2*i = o - 1201, -2401 = -i + 5*i - o. Let s = 860 + i. Suppose -2*l - y - 46 = -3*l, 5*l + y - s = 0. Does 8 divide l?
False
Let y = -46 + 51. Suppose 0 = y*w + 6*m - 2*m - 420, 5*w - 4*m = 420. Is 21 a factor of w?
True
Does 5 divide 5175/(-138)*(-1 + (-1)/5)?
True
Suppose 0 = 3*q + 2*n + 11, -3*n - 13 = -3*q + 7*q. Let j(g) = -g**2 - 8*g - 5. Let t be j(q). Does 22 divide 1 - -67 - (0 + t)?
True
Let l(v) = v**3 - 9*v**2 + 27*v - 91. Does 58 divide l(11)?
False
Suppose -3*k = 2*k. Let b be 1/(k - 4/(-64)). Suppose -4*r + 2*r = -b. Does 8 divide r?
True
Suppose 2*z = -5*x + 48, 2*z = -0*z - 4*x + 52. Is -3 + 1 + z/2 a multiple of 15?
True
Let s(t) = 12*t**3 - 2*t**2 - 2*t + 14. Is 84 a factor of s(7)?
False
Let f = -6 - -6. Suppose -h - 3*h - 12 = f. Let o = h - -13. Is o a multiple of 3?
False
Let j(p) = 5*p + 3 + 2 - p**2 - 3. Let o be j(5). Let u = 9 - o. Is u even?
False
Let b(z) = z + 44. Let s be b(7). Suppose 25*g - 22*g = s. Does 3 divide g?
False
Let p = -36 - -41. Suppose -6*m + p*m = -9. Is 2 a factor of m?
False
Let x = -302 + 320. Does 6 divide x?
True
Let v be 3 - 4/(16/(-28)). Suppose 4*s - 2*i = 10 + v, -2*s = 2*i + 2. Suppose -3*k - 2*k + 55 = 5*h, -21 = -s*k + 3*h. Does 2 divide k?
False
Suppose 10*g - 3846 = 9164. Is g a multiple of 47?
False
Is (-2464)/(-16) + 4*-1 a multiple of 24?
False
Suppose 0 = 23*g + 7119 - 37847. Is 4 a factor of g?
True
Suppose -5*l - 2*r + 0*r + 175 = 0, -3*l + 3*r + 126 = 0. Let f = -19 + l. Is 2 a factor of f?
True
Let c = 4 + -1. Let f(u) = -4*u**2 - 2*u. Let v be f(1). Let h = c - v. Does 9 divide h?
True
Does 67 divide -10 + 743 - (-1 - 3)?
True
Suppose -3*b + l + 170 = b, -5*l - 10 = 0. Let w = b + -32. Let c = 8 + w. Is c a multiple of 9?
True
Let z = -83 + 187. Is z a multiple of 8?
True
Let y(f) = -f**2 + 2*f + 4. Let d be y(6). Let b = d + 18. Let k(v) = -17*v + 2. Is k(b) a multiple of 18?
True
Let h(k) = -k**3 + 14*k**2 - 35*k + 14. Is 6 a factor of h(8)?
False
Let p(a) = -2*a**3 - 5*a**2 + 7*a + 4. Let n be p(-5). Suppose 2*k - 4*q - n = 0, 86 = -k + 4*k + 5*q. Let m = k + -22. Does 6 divide m?
False
Suppose 3*h + 3708 = 4*j, -4*j = -5*h - 2659 - 1041. Is 80 a factor of j?
False
Let n(k) be the second derivative of -13*k**3/6 + 6*k**2 + 10*k. Is n(-11) a multiple of 47?
False
Let z(s) = -19*s - 172. Is z(-11) a multiple of 12?
False
Let u(f) = -3*f. Let n be u(-1). Suppose 405 = 2*r + 3*m, 4*r + n*m - 819 = -0*m. Is 9 a factor of r?
True
Let n = -75 + 103. Does 14 divide n?
True
Suppose -11*n - 2495 = -14*n + 2*x, 5*n + 3*x = 4171. Is n a multiple of 122?
False
Let v = 47 - 67. Does 41 divide (-774)/(-4) - 10/v?
False
Let h(c) = c**3 - 2*c**2 + 2. Let q be h(2). Let z(r) = r**2 + 1. Let j be z(q). Suppose -j - 9 = -2*m. Is m even?
False
Let i(m) = -m**2 - 46*m - 12. Is i(-34) a multiple of 6?
True
Suppose 4*l - 36 = 8. Suppose -17*s - 205 = -58*s. Suppose -w + s*g + 6 = -1, -4*w + 3*g = -l. Is 2 a factor of w?
True
Let q = 219 - 148. Is q a multiple of 15?
False
Let r(t) = -8*t + 16. Let m be r(2). Suppose 0 = -4*o + 5*l - 3, 8 + 4 = -o + 5*l. Does 5 divide m - ((o - 6) + -15)?
False
Let f(d) = -2*d**3 - 5*d + 0*d**3 + 3*d**3 + 4*d**2 - 4 - 2*d**3. Let h be f(5). Let g = 89 + h. Is g a multiple of 12?
False
Let f(z) = -z**3 + 2*z**2 + 2*z + 5. Let t be f(3). Is t/(-5) + (-2236)/(-65) a multiple of 15?
False
Let o be 18/(3 + (2 - 3)). Suppose -6*l + o*l - 186 = 0. Is 10