= -3*g - 15119. Is 14 a factor of p?
False
Let p(k) be the second derivative of 14/3*k**3 + 0 + 0*k**2 + 6*k. Is p(1) a multiple of 3?
False
Suppose -5*q + 4*q + 2 = 0. Let x(c) = -23 + 4*c**2 + q*c**2 + 6*c - 20 + 49. Does 4 divide x(-3)?
False
Let h = -15809 + 30260. Does 116 divide h?
False
Let y(t) = 14*t**2 + 20*t - 1. Let b be y(-3). Is ((-3)/(-2))/((b/(-240))/(-13)) a multiple of 36?
True
Let l be 10/55 - 77136/22. Let i = -2391 - l. Does 43 divide i?
False
Let h(l) = -l**3 + 19*l**2 + 17*l + 246. Is h(20) a multiple of 6?
True
Suppose 0 = 2*d + 3*k - 4355, 8*d - 4*d - 8715 = -k. Suppose -4*r - 5*t + 2070 = 0, 4*r - 3*t = -93 + d. Is r a multiple of 32?
False
Suppose 5*s + 4*l = 351, -2*s + 4*l + l + 147 = 0. Suppose 14*y - 9*y = 290. Suppose -4*v + 249 = a, 2*v - s = a + y. Is 39 a factor of v?
False
Let u(q) = 9*q + 240. Let z be u(0). Does 22 divide (z - (-6)/(-3)) + 3 + 1?
True
Let m = 14457 + -4656. Does 33 divide m?
True
Let k(a) = 2*a**3 - 36*a**2 + 77*a + 700. Is 44 a factor of k(24)?
True
Suppose -133*m - 15 = -128*m. Is (5 + 347/(-3))*m a multiple of 19?
False
Let c(i) = 3128*i + 874. Is 22 a factor of c(3)?
False
Let h(j) = 144*j**2 - 7*j - 6. Let m be -3*-5*(-2)/(-6) + -1. Let u be h(m). Is 6/(-27) - (u/(-9) + -1) a multiple of 19?
False
Let n(z) = z**3 + 8*z**2 - 11*z - 4. Let d be n(-9). Let c(a) = a + 31. Let v be c(d). Let h = v + 22. Is h a multiple of 12?
False
Let x(s) = -s**2 - 27*s + 236. Is 31 a factor of x(-24)?
False
Let a = -89 - -105. Suppose o + 285 = a*o. Is o a multiple of 6?
False
Suppose 1919 = 24*c - 4273. Suppose -86 = 3*k - 4*u - c, 2*k - 123 = u. Is k a multiple of 46?
False
Let q(i) = 238*i + 206. Is 4 a factor of q(9)?
True
Suppose 23*s - 24*s + 3*q + 25 = 0, q - 1 = -s. Is 3 a factor of s?
False
Suppose 21*v = 27*v - 22*v + 31232. Is v a multiple of 37?
False
Suppose -24*u + 29*u + 17260 = t, 0 = -3*t + 4*u + 51846. Is t a multiple of 65?
True
Suppose 5*t - 2*z - 1180 = 0, -4*t + 0*z + 944 = z. Suppose -t*k = -234*k - 80. Is 10 a factor of k?
True
Let x(i) = -i + 8. Suppose -6*n = -40 - 2. Let o be x(n). Does 36 divide (o*16)/(28/266)?
False
Suppose 0 = -73*t + 2283924 + 1695233. Is 22 a factor of t?
False
Suppose 5405 = 4*x - 335. Suppose 26*g - 21*g = x. Is g a multiple of 41?
True
Is 35 a factor of (1924/10)/(145/(-25) + 6)?
False
Let y be 23/7 + (-6)/21. Suppose 7*z - 363 = 4*z + 3*a, 2*z + y*a = 237. Does 14 divide z?
False
Let f(c) = 6*c**2 + 4*c - 57. Let i be ((-54)/48)/(4/(-32)). Does 11 divide f(i)?
False
Let j(z) = z + 5*z + 6 - 24 - 11. Let v be j(14). Let i = v - -26. Does 27 divide i?
True
Let r = -378 - -530. Let w = -1100 + r. Does 25 divide 4/(-10) - (w/5)/4?
False
Is ((-84)/392 - 104/560)/(1/(-5910)) a multiple of 6?
True
Let d be (9/(-2))/(5/(-120)). Let n = d + -213. Let a = 197 + n. Is 14 a factor of a?
False
Suppose 5584 = 4*c - 4*w, -52*c + 57*c = -3*w + 6964. Is c a multiple of 41?
True
Let x = 51 - 23. Does 8 divide (-296)/(-1)*(-5 - (-161)/x)?
False
Let j(g) = 83 - 60*g**2 - 3*g + 18*g**2 + 21*g**2 + 20*g**2. Suppose 0 = -l + 9*l. Is 22 a factor of j(l)?
False
Let l = -49 + 780. Is l a multiple of 3?
False
Let q = 14078 + -13371. Is 6 a factor of q?
False
Let k(t) = 161*t**2 - 182*t - 831. Is 53 a factor of k(-5)?
False
Suppose 0 = -4*y - 17*j + 16*j - 954, -5*y = 4*j + 1187. Let w = 560 + y. Is 6 a factor of w?
False
Let i = -1529 - -802. Let w = 781 - i. Does 52 divide w?
True
Let s be (66/44)/(6/20). Suppose s*x - 5*n = x + 15, 0 = x - 2*n - 3. Suppose 3*t + 3*k - 127 = x*k, -92 = -3*t - 5*k. Does 4 divide t?
False
Suppose 0 = -r + o + 5, 11*r - 17*r = 4*o. Let p = 6 - -72. Suppose r*a = -i + 55, 3*a + 2*i = -i + p. Does 5 divide a?
False
Suppose 103*p - 180*p + 43197 = 0. Is 6 a factor of p?
False
Let r = 4412 - 1325. Suppose w - 8*w = r. Does 21 divide w/(-7)*(-7)/(-3)?
True
Is 3/(36/356218) - 936/(-5616) a multiple of 37?
False
Suppose -84 = 14*a - 42*a. Suppose 0 = a*f + 337 - 2257. Is 20 a factor of f?
True
Suppose 2261 = y + 4*v - 4695, 2*y + v - 13891 = 0. Is y a multiple of 56?
True
Does 12 divide (-3632)/10*(-52875)/1410?
True
Let g(j) = -3110*j - 1506. Does 18 divide g(-6)?
True
Let g(q) = q**3 + 65*q**2 + 26*q + 1193. Does 10 divide g(-62)?
False
Suppose -25*z + 23626 + 48349 = 0. Is 2 a factor of z?
False
Suppose -80*y - 6*y + 27*y = -226560. Does 10 divide y?
True
Let u(t) = -3*t**3 + t**2 - 7*t - 6. Let l be u(3). Is (330/l)/(4/(-138)) a multiple of 19?
False
Let s(c) = -c + 14. Let w be s(16). Let z be (-20)/w + -3 + -1. Let m = z + 5. Is 2 a factor of m?
False
Let c(g) = 11*g**2 - 22*g + 86. Is c(10) a multiple of 29?
False
Let w be -1 - (4380/(-4) + -2). Suppose 0*h = 2*h - w. Is 39 a factor of h?
False
Let x(f) = -397*f - 168. Is 28 a factor of x(-22)?
False
Suppose 16*j = 11*j + 120. Suppose -i - 2*w = 10, 0*i - 5*w - j = 2*i. Let n = i + 33. Is n a multiple of 10?
False
Suppose -19*r = -14*r - 4*b - 1129, -4*r + 878 = b. Is r even?
False
Suppose 2*y - 35 = -5*x, 10*x = 9*x + y. Let u(d) = 2*d**3 - d + 1. Let p be u(1). Suppose x*j - 269 = p*k - 7, -2*j - 4*k + 124 = 0. Is j a multiple of 18?
True
Let p(w) = -w**2 - 3*w + 72. Let b be p(7). Suppose -x = -2, -u = b*x - 295 - 255. Does 21 divide u?
True
Let v(y) = 5*y**2 - 18*y - 7. Suppose 0 = 2*q + 5*t - 73, -3*q + t = 2*q - 196. Suppose -q = -5*d - 9. Does 8 divide v(d)?
False
Is 32 a factor of ((-896)/(-98))/(4/2926)?
True
Let j(z) = z**3 + 7*z**2 + 11*z + 10. Let p be j(-5). Let b be (-4992)/(-10) - (-2)/(-10). Suppose 5*o = 4*i + b, 0 = -p*o + 3*i + 135 + 368. Does 26 divide o?
False
Let i(d) be the third derivative of -39*d**7/280 - d**6/180 + d**4/24 - 8*d**3/3 + 17*d**2. Let b(t) be the first derivative of i(t). Is b(-1) a multiple of 29?
True
Suppose 3*q - 7*q + 362 = 2*b, -3*b + 276 = 3*q. Suppose -1134 = -19*t - q. Is t a multiple of 3?
False
Let y = -104 + 108. Let b be -43 + y + 0 - (2 + -1). Does 19 divide (-16)/b - 946/(-10)?
True
Let q = 62 - 87. Let g(h) = -45*h**3 + h**2 + 4*h + 2. Let w be g(-1). Let r = w + q. Is 19 a factor of r?
True
Let c(d) = -9*d - 10. Let t be 28/(-4) + 3 - -4. Suppose 6*k + 41 + 13 = t. Is 25 a factor of c(k)?
False
Let g = 1605 - -9549. Does 66 divide g?
True
Suppose -12*m - 35035 = -23*m. Is 35 a factor of m?
True
Let r(o) = -o - 487. Let j be r(0). Let m = j + 772. Is m a multiple of 15?
True
Suppose k - 4*p + 107 = 0, 138*p - 140*p + 2 = 0. Let c be ((-308)/(-10))/(1/5). Let h = c + k. Is 8 a factor of h?
False
Suppose 4*o + 2*v - 310 = 0, -5*o - 3*v + 315 = -o. Let h = -681 - -816. Let r = h - o. Does 15 divide r?
True
Suppose -229 = -15*x + 71. Suppose -h + 1071 = 5*u, -3*h = 2*h + x. Is 23 a factor of u?
False
Does 65 divide (36/5)/((-59418)/(-5400) - 11)?
False
Suppose 141*f - 866898 - 1337073 = 0. Is f a multiple of 49?
True
Suppose -3*q - 3380 = -5*k, -k - 4*k + 3405 = 2*q. Let p = 966 - k. Is p a multiple of 41?
True
Suppose -708 + 117 = -g. Suppose 6*x + 39 = g. Is x a multiple of 27?
False
Let y(c) = -c. Let l(j) = -10*j + 24. Let f(v) = l(v) - 6*y(v). Let q(n) = -78*n + 390. Let p be q(5). Is f(p) a multiple of 8?
True
Does 10 divide 55 + 1525 - (1 - -9)?
True
Let t(v) = 323*v**2 + 17*v - 153. Is t(4) a multiple of 23?
True
Let y(z) = -70*z**3 - 17*z**2 + 3*z + 9. Is 12 a factor of y(-4)?
False
Let t(v) = -10*v + 13. Let j be t(1). Let i(b) = 4*b**3 - 5*b**2 - 12*b + 14. Is 29 a factor of i(j)?
False
Let i(j) = -66*j + 37*j - 11*j - 10. Let g be i(-19). Suppose -9*k + g = k. Is k a multiple of 25?
True
Let x(u) = -224*u**3 + 29*u**2 + 58*u + 1. Does 14 divide x(-3)?
False
Let b = 248 + -206. Does 26 divide (-12)/b - 2272/(-14)?
False
Suppose -78 = -7*m + m. Suppose 2*a = -x + m, -2*a - 2*a = 5*x - 35. Is 15 a factor of -2 - -18 - (3 - a)?
False
Let r = -24 - -13. Let u = r + 26. Does 10 divide u?
False
Suppose 0 = -13*o - o + 21 - 77. Suppose 3*l + 40 = 4*r + l, 0 = 4*r - 3*l - 42. Let a = r - o. Is a a multiple of 3?
False
Let x be (1 - -1 - 2)/2. Suppose -4*v + 38 + 70 = x. Let u = 90 - v. Is 21 a factor of u?
True
Let w(d) = -d**2 + 30*d - 64. Let m be w(24). Is 3232/m + (-4)/10 even?
True
Let o(c) = c**2 - c - 1. Let t(j) = 5*j**2 + 6*j + 10. Let y(b) = -3*o(b) - t(b). Let i be y(3). Let h = -17 - i. Does 31 divide h?
False
Suppose -2*g 