 c a multiple of 42?
True
Let h(q) = -q**3 - 9*q**2 - 5*q - 1. Let t be h(-3). Let v = -64 - t. Let o = v + 68. Is 13 a factor of o?
False
Let r(x) be the second derivative of -x**4/2 - 6*x**3 - 3*x**2 - 5*x. Let p(u) be the first derivative of r(u). Is p(-15) a multiple of 18?
True
Let b(t) = -307*t**3 - 3*t**2 - 18*t - 26. Is b(-2) a multiple of 5?
False
Suppose 81168 = 2*v + 2*w, 81168 = 22*v - 20*v - w. Is v a multiple of 89?
True
Let s = 12229 + -3277. Does 151 divide s?
False
Let j(t) = -t**3 + 9*t**2 + 6*t - 11. Let l be j(9). Let c = l - 48. Let y(n) = n**3 + 5*n**2 - 5*n - 1. Is y(c) a multiple of 4?
True
Let y(v) = -44*v - 175. Let j be y(-4). Is 2 a factor of ((-208)/4)/((j + -4)/6)?
True
Suppose 15 = -53*f + 54*f. Let d(n) = n**2 - 8*n + 95. Is d(f) a multiple of 50?
True
Let s(c) = -63*c + 1. Let o = -20 + -8. Let y = o + 27. Does 16 divide s(y)?
True
Let l be 603/(-6)*6/(-9). Suppose 3*t - 2*t = -5*b + 23, 3*t + 4*b = 36. Suppose -l = t*w - 9*w. Is w a multiple of 10?
False
Suppose -116 = -3*q - 107, 0 = 4*z + 3*q - 80317. Does 17 divide z?
True
Let t = 16 - 25. Let p = -4 - t. Suppose -36 = -3*d - 2*r, p*d - r - 59 = -4*r. Does 2 divide d?
True
Let s(o) = -o + 3. Let m be s(-12). Is 15 a factor of m + (-1 + -2 - -3)?
True
Suppose z = -0*z + 3*f + 11498, -2*z + 4*f + 22998 = 0. Is z a multiple of 31?
True
Suppose 0 = -4*s - 3*i - 759, 0*i + 2*i = -3*s - 569. Let t = s - -226. Is 20 a factor of t?
False
Let w be (-313327)/(-51) + (15/(-9) - -1). Suppose 21*p + 2447 = w. Does 11 divide p?
True
Is (35/(-245))/(1/(-2)) - (-33416)/7 a multiple of 77?
True
Suppose 0 = -4*j - 5*c + 4014, 41*j - 43*j + 3*c + 1974 = 0. Does 6 divide j?
True
Let w(y) = 7*y + 47. Let x be w(-6). Suppose -6*l + x*s - 74 = -7*l, 4*s = -2*l + 178. Does 15 divide l?
False
Suppose 4546 = 2*h - 4*x, 25 = 4*x + 21. Does 35 divide h?
True
Suppose -d + 3*q - 51 = -5, 0 = 4*d - q + 140. Let w = d - 14. Let r = 56 + w. Is r a multiple of 5?
False
Suppose -44 = -12*r + 4. Is 37 a factor of 1*(-12)/8*(-296)/r?
True
Let g(t) = -15*t**3 - t**2 - t + 1. Let j be g(-2). Suppose -2*o + 2 = 2*m, -2*m + 0*m + 2 = 0. Suppose b - 1 - j = o. Is b a multiple of 23?
False
Let v be (-144)/(-14)*(-399)/(-19). Let y = 616 - v. Does 36 divide y?
False
Let d(r) = 35*r**3 - 6*r**2 + 8*r - 4. Suppose -1 = 18*w - 55. Is 21 a factor of d(w)?
False
Is (-6765)/(-44)*18*2 a multiple of 9?
True
Let c = -275 + 234. Suppose -147 = -3*b + 3*m, 5*m - 205 = b - 5*b. Let s = b + c. Is 5 a factor of s?
False
Let s = 98 + -93. Is s - (9 - 2) - -36 a multiple of 17?
True
Let n be (-20)/(-12) - 2/(-6). Suppose -5*f - 20 = c, 0*c - n*c = -3*f - 25. Suppose -3*o + 8 = -o, -45 = -c*i + 5*o. Is 2 a factor of i?
False
Suppose j = -4*g + 390 + 90, -3*g = -5*j + 2285. Is j a multiple of 10?
True
Suppose -48*g + 49*g = 2*y - 15336, 5*y = -g + 38361. Does 76 divide y?
False
Suppose 0 = 92*i - 75646 - 517570. Does 16 divide i?
True
Let i(v) = v**3 + 7*v**2 - 6*v + 21. Let w be i(-8). Suppose -w*n = -5*t + 8535, 5*t + 0*t - 8515 = n. Suppose t + 538 = 14*q. Does 19 divide q?
False
Let m(i) = -12*i + 12. Let j be m(2). Let q(z) = z**3 + 17*z**2 + z + 60. Is 12 a factor of q(j)?
True
Let y(q) = q**3 - 4*q - 15. Suppose 84 = -6*w + 132. Is y(w) a multiple of 31?
True
Let o be 10/3*(-15)/(-10). Suppose -5*b = -o*t - 25, 3*t + 19 = 3*b + 2*b. Does 15 divide ((-2)/4)/(1/(-94)) - b?
True
Suppose -20 = 5*c, 4*i = -i - 3*c + 13. Suppose 2*b - 713 = -i*l, -b = 3*l - 0*b - 427. Does 47 divide l?
True
Suppose 4*b + 24*r - 78252 = 26*r, 2*b - 39126 = 4*r. Does 15 divide b?
False
Suppose 3*v = -3*s + 6, 3*s - 7 = -v - 1. Suppose -13*b + 14*b - 60 = v. Is 18 a factor of 75*1 - b/20?
True
Let h(j) = -281*j - 344. Is h(-17) a multiple of 11?
True
Let o = 3775 - 3169. Does 3 divide o?
True
Suppose 0 = k - 4, 3*t - 66*k - 3638 = -68*k. Is t a multiple of 110?
True
Suppose 0 = 4*q - 1890 - 2283 + 1677. Is 12 a factor of q?
True
Does 31 divide 136711/21 + 30/(-630)?
True
Suppose 43*f - 49*f = -172980. Is f a multiple of 30?
True
Let i(n) = -11*n**3 - 25*n**2 - 46*n + 36. Let g(h) = 2*h**3 + h**2 + h. Let x(w) = 6*g(w) + i(w). Is 77 a factor of x(23)?
True
Suppose 260 - 251 = 3*y. Suppose -f + 5*w + 519 = 0, -y*f + f + 1038 = -w. Does 14 divide f?
False
Suppose -3*d = -2*n - 3, -5*d - 2 = 3*n - 7*d. Suppose n = 2*f + 13*q - 12*q - 171, -5*q = -f + 102. Is 29 a factor of f?
True
Suppose -16*p + 16766 - 2510 = 0. Suppose -6*a + p = 5*a. Is 9 a factor of a?
True
Is 60 a factor of 8405 + 1 - (40 - 50)?
False
Let h(m) be the third derivative of 67*m**6/120 + m**5/12 - m**4/6 - 5*m**3/6 + 70*m**2. Is h(2) a multiple of 58?
False
Let m(a) = 10*a**3 + 8*a**2 - a. Let x(d) = -9*d**3 - 7*d**2 + d. Let s(h) = 6*m(h) + 7*x(h). Let c be s(1). Is 16 a factor of (99 + c)*(-6)/(-9)?
True
Let k = -19527 - -37096. Does 25 divide k?
False
Let f(t) = 1758*t**2 + 149*t + 125. Does 108 divide f(5)?
True
Let w be ((4 + -4)/(-4))/1. Let a be (10*-2 + w)*-1*1. Suppose -a = r - 35. Is 5 a factor of r?
True
Let u(p) = -p**3 - 13*p**2 - 31*p - 6. Let s be u(-10). Suppose s*c - 5*b = 859, 0 = -5*c - 6*b + 4*b + 1082. Does 27 divide c?
True
Let i(x) = x**3 + 15*x**2 + 10*x - 56. Let c be i(-14). Suppose c = 18*q - 241 - 3179. Is 22 a factor of q?
False
Suppose 5*t - 2*j = 908, -5*t + 3*t = j - 356. Suppose -12 + t = 4*a. Is 21 a factor of a?
True
Suppose -4*n + 5 = -7*f + 4*f, 20 = 5*n - f. Suppose 37*u - 3 = 36*u. Suppose 42 = u*z - 3*a, -z + n*a = -2 - 12. Does 8 divide z?
False
Suppose 16 = q + 9*n - 5*n, -58 = -2*q + 5*n. Suppose 15*p = q*p - 936. Does 4 divide p?
True
Let k(j) = -654*j - 1302. Is 20 a factor of k(-13)?
True
Let o(f) = 19*f**2 - 49*f + 65. Does 76 divide o(19)?
False
Suppose -5*l - 5 = -15. Suppose -2*n - l*n = -76. Suppose -13*p - 108 = -n*p. Does 3 divide p?
True
Suppose 5*f = 30, 4*k - 2*f - 57544 + 7220 = 0. Does 34 divide k?
False
Let b = -788 + 1503. Let q = -423 + b. Let w = q + -192. Is w a multiple of 20?
True
Let x be -39*(-3)/9 - 0. Let z(q) = 71*q - 29. Let g be z(x). Is g/27 - 1/9 a multiple of 11?
True
Let i be 1 + (-4 - 1*-14). Suppose i*l - 155 = -1. Let w(n) = n - 5. Does 3 divide w(l)?
True
Let p(z) = -2*z**2 + 27*z - 2. Let d = -144 - -240. Let c be (-78)/8*d/(-72). Does 2 divide p(c)?
False
Suppose -w - 16 = -2*w + 2*l, 3*w = l + 33. Let y(i) = 12*i - 12. Does 4 divide y(w)?
True
Suppose -18*y - 18287 = -3455. Is (y/(-40) - 1)*15 a multiple of 56?
False
Suppose -277365 - 140270 = -55*i + 82535. Does 10 divide i?
False
Suppose 4*m + 3*y = 26345, -y = -4*m + m + 19775. Does 77 divide m?
False
Let f(k) = -29 + 9 + 1441*k - 1319*k. Does 13 divide f(4)?
True
Suppose 2*u + 6 - 2 = 0, -5*u = 3*p - 290. Let w = p + -144. Let b = -12 - w. Is 32 a factor of b?
True
Let d be -10*(16 + (-5 - 0)). Let a = d - -112. Suppose -2*u + 106 = -2*m, 3*m + m + 114 = a*u. Is 25 a factor of u?
False
Let v(c) = c**2 - 27*c - 11. Let n be v(16). Let g = -161 - n. Does 13 divide g?
True
Suppose -253*c - 3492 = -256*c. Is c a multiple of 15?
False
Let u = 86 + -86. Suppose 56 = 14*k - u. Suppose -3*v + 4*x = 2*v - 83, k*v - 85 = -3*x. Is v even?
False
Let d(n) = -474*n**3 + 3*n - 4. Let r be d(1). Is 34 a factor of (-18)/36*(r + -1)?
True
Suppose -252484 + 14463 = -5*q + 4*o, 4*q + 3*o = 190392. Does 43 divide q?
True
Let k(x) = 145*x**2 + 43*x - 142. Is 40 a factor of k(14)?
True
Suppose 45 = u - 0*u. Let a = 44 - 49. Does 11 divide 260/6 + 3*a/u?
False
Is 14/(-6) + (-58040448)/(-1152) a multiple of 20?
True
Let d(b) = 2*b**3 + 7*b**2 + 4*b + 278. Does 33 divide d(13)?
True
Let r(i) be the third derivative of i**5/3 - 3*i**4/8 - 11*i**3/3 + 43*i**2. Is r(5) a multiple of 14?
False
Is (-7 + 1)/((-16)/5272) a multiple of 59?
False
Let p(m) = -m**3 + 16*m**2 - 9*m - 16. Let d be p(12). Suppose d = x + x. Let g = -114 + x. Does 14 divide g?
True
Is 17 a factor of (-484925)/(-50)*(-2)/(-7)?
True
Let a = 1498 - 578. Suppose -4*q = 0, -a + 218 = -3*s - 2*q. Does 13 divide s?
True
Suppose 4*f - 8266 = -o, 0 = 99*f - 96*f + 4*o - 6193. Is 39 a factor of f?
True
Let d(f) = 2*f**3 - 12*f**2 + 11*f + 17. Let k = -3 - -4. Suppose -5*t + 29 = 3*b, b = -5*t - k + 34. Does 16 divide d(t)?
True
Let r(d) be the second derivative of -d**5/20 + 7*d**4/6 - 4*d**3 - 6*