multiple of 2?
False
Let t(o) = -372*o + 7*o**2 - 9 + 387*o - 15*o**3 + 14*o**3. Does 2 divide t(5)?
True
Let y = -555 + 1025. Suppose 2*s - 834 - y = 0. Does 33 divide s?
False
Let f(n) = -4*n**3 - 15*n**2 - 44*n - 240. Is f(-10) a multiple of 89?
False
Suppose 2*w + 9*l - 10*l - 2522 = 0, 2*l - 8 = 0. Suppose 5*m - 8*m - w = -3*p, -2*p + 839 = -m. Is 38 a factor of p?
True
Let a(q) = 53*q + 2. Let k be a(6). Suppose f + 208 = -4*v + 4, -4*f = 4*v + 768. Let t = k + f. Is 11 a factor of t?
True
Let t(h) = 17*h**3 + h**2 + 2*h - 3. Suppose -6 = 4*f + 3*q + 1, 2*q = -5*f. Is t(f) a multiple of 47?
True
Let n(j) = j**3 + 66*j**2 + 152*j + 678. Is n(-63) a multiple of 88?
False
Suppose 0 = -37*h + 34*h + 9. Let m(o) = -o**3 + 3*o**2 + o. Let j be m(h). Suppose 0 = 3*k, -5*g + 300 = -3*g + j*k. Is g a multiple of 30?
True
Let f = -222 + 485. Let s = f + -184. Is s a multiple of 6?
False
Suppose -38709 = -18*t - 5*t. Let l = t - 1163. Is l a multiple of 26?
True
Is 880 + 9 + 7 + -6 a multiple of 37?
False
Let y(c) = -c**3 + 21*c**2 + c + 31. Let i be y(22). Let l = 734 + i. Is 5 a factor of l?
False
Let p = 29 + -31. Does 12 divide (-49)/p - (135/18 + -7)?
True
Let z = -127 - -112. Does 17 divide ((-1622)/(-6))/((-5)/z)?
False
Let f(c) = c**2 + 1. Let l(o) = -5*o**2 + 52*o + 30. Let y(u) = 2*f(u) + l(u). Does 7 divide y(17)?
True
Let i(c) = 132*c - 67. Let s be i(-4). Let o = -306 - s. Does 8 divide o?
False
Let k(d) = -d**3 + 9*d**2 - 21*d + 37. Let p be k(6). Suppose -p*w + 821 = -832. Is 17 a factor of w?
False
Suppose 0*y = 3*z + 3*y - 27075, 27045 = 3*z - 3*y. Is 164 a factor of z?
True
Let n(x) = -5*x - 400 - x**2 + 376 - 12*x + 2*x. Let a(g) = g**2 + 7*g + 1. Let s be a(-5). Does 6 divide n(s)?
True
Let n be ((-6)/10)/((-14)/(-70)). Let w(v) be the second derivative of v**4/3 - v**2 + 2*v. Is 17 a factor of w(n)?
True
Let m be (-1647)/(-6) + -2 + 9/6. Suppose 15*r - m = 14*r. Is 13 a factor of r?
False
Let a = 8364 - 5546. Does 23 divide a?
False
Let c be ((-6)/((-24)/(-20)))/(-1). Suppose k = 2*g - 2*k - 135, -3*g - c*k = -155. Is g a multiple of 5?
True
Let h = -74378 + 134740. Is h a multiple of 16?
False
Let p = -19356 - -23116. Does 3 divide p?
False
Let t(s) = -2*s**2 + 7*s + 14. Let z be t(5). Is 20 a factor of 46 + (3/z - -9)?
False
Let u(d) = -2*d**3 - 22*d**2 - 15*d - 43. Let n be u(-17). Suppose -5*m - 8*b + 4*b = -3680, 5*m - n = -3*b. Is m a multiple of 32?
True
Suppose 12*i - 9*i = 3, 0 = l - 4*i - 1687. Suppose 703 = 42*f - l. Is 16 a factor of f?
False
Let i be (-266)/(-42) - (-4)/(-3). Let k(s) = s**2 - 2*s - 12. Let z be k(i). Suppose -z*d = -2*a + 97, -4*a + d + 105 = -114. Does 14 divide a?
True
Is -7*(-22866)/21 - -18 a multiple of 30?
False
Let h = -18044 - -19169. Is 3 a factor of h?
True
Let l be 1103 - (14 + -8 + -12). Suppose 6*z - l = 2131. Does 27 divide z?
True
Let q(p) = 33*p**2 + 351*p + 8. Is 11 a factor of q(8)?
True
Let x be (-452738)/(-55) - (-4)/10. Does 49 divide (-1)/(((-40)/x)/5)?
True
Let o(y) = 139*y**2 + 33*y + 5. Let t(d) = -2*d**2 + d - 1. Let f(r) = o(r) + 5*t(r). Is 67 a factor of f(-2)?
False
Let n(j) = 306*j - 508. Is n(4) even?
True
Let g = -157 - -10813. Does 74 divide g?
True
Suppose -2*y = -41*w + 42*w - 8571, 4*w - 3*y - 34295 = 0. Does 54 divide w?
False
Suppose 7*s - 47 = 4*g + 2*s, -25 = 2*g - s. Let i(p) = 2*p - 5. Let z(v) = 4*v - 11. Let q(d) = 10*i(d) - 6*z(d). Does 17 divide q(g)?
True
Suppose 34*l = 16095 + 18585. Is l a multiple of 10?
True
Let c = -485 + 218. Let i = c + 323. Does 7 divide i?
True
Suppose -954 = -12*k + 6*k. Suppose -3*w - 3*n + k = -0*w, w - 53 = 3*n. Is 8 a factor of w?
False
Let i(m) = 10*m**3 - 1. Let h be i(1). Suppose -1125 = -h*l + 4*l. Suppose -5*v - l = -2*o, 3*v + 114 = 5*o - 4*o. Does 21 divide o?
True
Let f(u) = -250*u + 1684. Does 7 divide f(5)?
True
Suppose -12*y = -17900 - 18448. Is y a multiple of 13?
True
Let x(v) = -40*v - 2. Let c be x(-20). Suppose -122 = 4*b - c. Let g = b - 40. Is g a multiple of 43?
True
Let f(m) be the first derivative of 99*m**4/2 - m**3/3 + 2*m**2 - 2*m - 59. Does 49 divide f(1)?
False
Suppose 3*m - 163 = -u + m, 4*u - 5*m - 691 = 0. Suppose 5*a - 577 = -4*p, -4*a - 3*p = -0*p - 461. Let n = u - a. Is n a multiple of 13?
False
Suppose -4*h + 3258*u + 803 = 3259*u, -h + 198 = 3*u. Does 2 divide h?
False
Let t(n) = 28*n**2 + 2*n - 4. Suppose 6*k + 5 = 17. Let f be t(k). Suppose 0 = f*w - 113*w + 100. Is 5 a factor of w?
True
Suppose 4*u - 4*t + 2*t - 170 = 0, 5*u = 5*t + 205. Suppose 2*s = 2*w + 18, 2 - u = -5*s + 4*w. Is 14 a factor of (462/(-44))/(s/(-64))?
True
Suppose -4*j + 206 = -3098. Suppose -j = -3*q - 2*s, -4*q - 5*s + 0*s = -1092. Let n = -184 + q. Is n a multiple of 10?
False
Let o be (5 - 3 - 24)/(2 - 0). Let j(l) = 8*l**2 - 19*l - 25. Does 72 divide j(o)?
True
Suppose -13*i + 14*i - 5*v - 2014 = 0, 10070 = 5*i - 3*v. Is i a multiple of 38?
True
Suppose 124*c = 47*c + 820666. Is c a multiple of 44?
False
Let b be -5 + 5/1 - 993. Let z = b - -1595. Does 7 divide z?
True
Let j(q) = 28*q**2 - 61*q - 594. Does 4 divide j(-8)?
False
Suppose 416 - 74 = 9*w. Suppose -18 = -7*c + w. Is 3 a factor of c?
False
Let t be (25/(-2) - -2)/((-6)/(-88)). Is (-11132)/t + (-6)/21 a multiple of 36?
True
Does 12 divide 2/5*(0 + 0 - 6 - -19056)?
True
Let q(a) = -33*a - 34*a**2 - 22541 - a**2 + 22582 - a**3. Is q(-34) a multiple of 7?
True
Suppose -2*l + 11121 = -5*d - 38458, -2*l - 4*d = -49606. Does 92 divide l?
False
Let p(m) = -m - 14. Let w be p(-15). Let n be (-33 + 28)/(w*-1). Suppose 940 = n*x + 2*v, 3*v = 5*x - 56 - 884. Does 14 divide x?
False
Let p(j) = -20*j + 1. Let m(d) be the first derivative of 6*d**2 + 4*d - 23. Let o be m(-1). Is 14 a factor of p(o)?
False
Suppose -4*r - 182 + 48 = x, 2*x = -3*r - 258. Is 7 a factor of x/294 + (-2 - (-5701)/7)?
True
Let w(f) = f + 32. Let a(l) = 23*l**2 - l + 2. Let r be a(1). Let i be w(r). Let o = -8 + i. Does 8 divide o?
True
Let o(g) = g**2 + 7*g + 18. Let m be o(-3). Suppose 0 = 5*q + i - 484, -q + m*i + 76 = i. Does 35 divide q?
False
Let g = -151 - -159. Is g/(-10)*(-6 + -444) a multiple of 8?
True
Let n = -205 - -209. Suppose -370 = -n*a - 82. Does 12 divide a?
True
Let c be (28/35 - 8/10) + -19. Let h = 263 + c. Is h a multiple of 9?
False
Let w = -238 + 641. Let z = w + -239. Is 3 a factor of z?
False
Let m(t) = -8*t - 8. Let j(p) be the third derivative of -p**5/20 + p**4/4 + 5*p**3/6 - 24*p**2. Let u be j(-1). Is 8 a factor of m(u)?
True
Suppose -777*x + 766*x = -102861. Is x a multiple of 23?
False
Suppose 0 = -188*n + 195*n - 57064. Is n a multiple of 8?
True
Let z(f) = 2*f**3 - 47*f**2 - 24*f + 2. Let w be z(24). Suppose w*l = 14*l - 5460. Does 69 divide l?
False
Let g be ((-3)/1 - -1) + 351/9. Let j = 37 - g. Suppose r = -3*r, j = -4*q - 5*r + 72. Does 3 divide q?
True
Let a = 95 + -90. Suppose 261 = c + 5*w - 1, a*c - 3*w = 1310. Is c a multiple of 6?
False
Is 22 a factor of (3 + 4)/(3191/(-532) - -6)?
False
Suppose 6*l - l = -15, 0 = 2*a + 4*l - 282. Suppose 14*c + a = 15*c. Is 22 a factor of c?
False
Let m = -6112 - -32316. Does 134 divide m?
False
Let z(k) be the third derivative of 157*k**4/24 - 26*k**3/3 + k**2. Is z(3) a multiple of 26?
False
Let i(a) = a**2 + 83*a - 3378. Let y be i(30). Let w(r) = -r**3 + 7*r**2 + 7*r - 5. Let l be w(4). Suppose -d + l = -y. Is d a multiple of 18?
False
Let w(s) = -4*s - 16. Suppose -4*y = 6*y + 100. Let p be w(y). Suppose p = -8*t + 12*t. Is t a multiple of 3?
True
Suppose -14*v + 1670 = -10*v - 1866. Is 221 a factor of v?
True
Let t = 59 + -51. Suppose q = v - t, 5*q + 4*v + 18 - 5 = 0. Does 19 divide 18/(-30) + (-478)/q?
True
Let o be (31 - 0) + 1 + 525/105. Let s = -17 - -9. Let x = s + o. Is x a multiple of 23?
False
Let x = 70 + -70. Suppose -2*r = -2*f + 3*r + 96, x = -2*r. Suppose 3*b = -0*b + f. Is b a multiple of 6?
False
Suppose -g + 2638 = 5*p, 3*p + 9 - 33 = 0. Is 135 a factor of g?
False
Let v(d) = -6*d**3 - 2*d**2 + 15*d + 2. Let u(k) = 3*k - 2*k**2 + 14 - 20 + 4. Let w be u(2). Is 21 a factor of v(w)?
True
Let t(j) be the third derivative of -j**6/120 + 3*j**5/20 - j**4/24 - j**3/6 + 4*j**2 - 47*j. Let b(d) = -3*d + 2. Let q be b(-2). Is 11 a factor of t(q)?
True
Let i(x) = 59*x**2 - 3*x. Let w be (-2)