 -d**2 - 14*d + 1. Let h(q) = 3*q**2 + 27*q - 2. Let m(r) = 3*h(r) + 7*n(r). Is 17 a factor of m(k)?
True
Suppose -5*n = -5*f - 79730, 5*n = 4*f + 27787 + 51948. Does 13 divide n?
True
Suppose 4*b - 34948 = -4*k, 0 = -6*k + 5*k - 5. Suppose b = -57*h + 88*h. Is h a multiple of 9?
False
Let m(d) = -2*d**2 - 12*d + 16. Let h be m(-7). Suppose -5*s + 1576 = r, h*s - 441 - 190 = -r. Is s a multiple of 45?
True
Let s(r) = r**3 + 5*r**2 - 6*r + 2. Let g be s(-6). Suppose 41*o = 20*o + 168. Suppose 26 = g*w - o. Is w even?
False
Let a = -7371 + 27171. Is a a multiple of 220?
True
Let p(d) = 2*d**2 + d + 3. Let c be (-2 - -2)*6*(-5)/(-60). Let w be p(c). Suppose -6*u = w*u - 702. Is u a multiple of 39?
True
Let t(s) be the first derivative of -2*s**3/3 + 16*s**2 + 17*s - 31. Let w(v) = -v**2 + 16*v + 8. Let o(l) = 6*t(l) - 13*w(l). Does 9 divide o(18)?
False
Let l = 738 - -549. Does 13 divide l?
True
Let m(k) = 2*k**3 + 12*k**2 + 12*k - 5. Let p be m(-4). Suppose -p + 238 = o. Is 11 a factor of o?
False
Is 789409/203 - 6/(-21) a multiple of 42?
False
Let w be (-86)/10 + (-11)/((-55)/(-2)). Let a(t) = 8*t + 57. Let c be a(w). Is c/(-30) + 43/2 a multiple of 14?
False
Suppose -14*p + 13901 = 3835. Suppose -2*y + 5*h + 265 = 0, -4*h - p + 48 = -5*y. Does 6 divide y?
False
Let v be (-43954)/(-7) - (3 + 40/(-14)). Suppose 9*j - v = -14*j. Is j a multiple of 39?
True
Let g = -24146 + 26438. Is 154 a factor of g?
False
Let h be ((-338)/52)/((-2)/12). Suppose 8*x = 3*x. Suppose 4*j - h - 53 = x. Does 3 divide j?
False
Let z(x) = -17*x - 7. Let u be z(-12). Let c = u - 157. Does 9 divide c?
False
Suppose -5*x = 3*k - 7, 5*x - 6 = -8*k + 4*k. Is 65 a factor of (k - 611)/(-3) - 6?
False
Suppose 43*k - 1043662 = -16521. Is 216 a factor of k?
False
Suppose 7*a + 56 = -21*a. Let v(d) = -55*d - 18. Does 23 divide v(a)?
True
Suppose 5*o + 3*l - 1961 = 3166, l = -1. Is 18 a factor of o?
True
Let a(r) = 2*r**3 + 22*r**2 - 104*r - 7. Does 13 divide a(16)?
False
Let s(p) = -16*p**2 + 200 + 21*p - 18*p**2 + 35*p**2. Is 20 a factor of s(0)?
True
Let s(q) = q**3 + 20*q**2 + 21*q + 28. Let l be s(-19). Let i be (182/(-35) + 4)/((-2)/l). Is (i/(-9))/(2/117) a multiple of 10?
False
Suppose s - 7 + 4 = 0. Let b be 20/(-8) + s + 14/4. Suppose -4*x - l + 695 = 0, 3*x - b*l = 203 + 323. Is x a multiple of 58?
True
Let r = 23 + -20. Let c(j) = 4 - 9*j - 4 - 6 + r*j**2 + 2. Is 3 a factor of c(4)?
False
Let o(b) = 4*b**2 + 52*b - 118*b + 57*b - 3*b**2 - 18. Let i be o(-4). Suppose 0 = -3*h + 2*x + i, x + 3 + 2 = 0. Does 2 divide h?
True
Suppose -s + 3*y + 0 = -5, -4*s - 2*y = -20. Does 16 divide (334/s)/(5/25)?
False
Suppose n - 4*n - 178 = 5*y, -5*n + 58 = -y. Suppose -243*g = -255*g - 1212. Let v = y - g. Does 21 divide v?
True
Suppose 147*s + 0*s = 494949. Does 15 divide s?
False
Let k(r) be the second derivative of 20*r**3/3 - 71*r**2 + 36*r - 3. Is 12 a factor of k(7)?
False
Suppose -c = 2*j - 0*c - 33295, 3*j - 49965 = 3*c. Does 9 divide j?
True
Is -7 + (-20028)/(-64) + 1/16 a multiple of 29?
False
Let k be 2 + ((-20)/(-40))/(2/(-4)). Is 12 a factor of ((576/(-60))/k)/((-4)/110)?
True
Is 30 a factor of -6 - (9 + -1504) - (-2 + 0)*2?
False
Let u(l) = -19*l - 30 + 38 - 43 - 44. Is u(-8) a multiple of 3?
False
Let o(l) = -2*l + 15. Let r(p) = 7*p - 44. Suppose 5*f - 7 - 13 = 0. Let w(q) = f*r(q) + 11*o(q). Is 6 a factor of w(4)?
False
Suppose 2*n + 80 = 4*y + 36, -12 = 3*y. Let q = -2 - 0. Let v = q - n. Is 7 a factor of v?
True
Suppose -16 = -0*s - 4*s. Let a be s/(-5)*260/8. Is (-3)/((-54)/3280) - a/(-117) a multiple of 13?
True
Let b(k) be the third derivative of k**6/120 - 3*k**5/10 - 23*k**4/24 - 11*k**3/2 + 238*k**2. Is 18 a factor of b(20)?
False
Let u(c) = 2*c**2 - 37*c + 56. Let f be u(17). Suppose 0 = -f*m - 2*v + 2512, -19*m + 4*v = -16*m - 1502. Does 4 divide m?
False
Let q(m) = m - 13. Let h be q(25). Suppose 0 = 5*t + 5*f + 390, t - h + 90 = 2*f. Let j = 27 - t. Is 15 a factor of j?
True
Let k = -43 - -47. Let d be -3 - (k + (-14)/4)*-180. Is -3 + d/27 + 97/9 even?
False
Suppose 0 = -4*c - z - 182, -184 - 35 = 5*c - 3*z. Let w = c + 48. Does 5 divide w*(-4 + 1 + 14)?
False
Let q(n) = n**3 - 7*n**2 + 68*n - 9. Let c be ((-1)/3)/(4/(-108)). Is q(c) a multiple of 18?
False
Let q be -18*82/(-8)*(-80)/(-60). Suppose -35*x + 41*x = q. Is x a multiple of 14?
False
Let d(z) = -2*z**2 + 42*z + 131. Let a(v) = -v**2 + 28*v + 87. Let g(q) = 8*a(q) - 5*d(q). Is g(-10) a multiple of 4?
False
Let w = 143 + -125. Suppose 192 = 20*q - w*q. Is q a multiple of 36?
False
Let s(b) = b**2 + 22*b + 187. Suppose -199 + 222 = -d. Is s(d) a multiple of 10?
True
Suppose 4*x - 76056 = -t, 30*x - 31*x + 3*t + 18988 = 0. Does 15 divide x?
False
Let l = -69 - -107. Suppose 5*b + 3 = l. Suppose -b*j + 791 = -42. Does 33 divide j?
False
Let q = -62 + 74. Suppose 16 = q*i - 32. Suppose -2*s = i*f - 168, 0 = 3*s + 6*f - 3*f - 252. Is s a multiple of 21?
True
Let b = 70 + -71. Does 39 divide (5 + 993)/(b*(2 + -4))?
False
Is (144 + -1 - -4)*(-17088)/(-144) a multiple of 98?
True
Let l = -2839 - -5439. Does 52 divide l?
True
Is ((-15)/10)/((20 - 1)/(-214548)) a multiple of 18?
True
Suppose -12*a + 25783 = 5647. Suppose 4*b + 0*z + z = 1681, -4*b - 2*z = -a. Is b a multiple of 41?
False
Is -15 + 691 + 1 + 14 a multiple of 14?
False
Let l = -7898 + 14306. Is l a multiple of 38?
False
Let k be 52/(-26) + 17*1. Let r be k*5/15*-3. Let c = 21 + r. Is 3 a factor of c?
True
Let h = 184 + -30. Let f = h + -140. Is 14 a factor of f?
True
Is 120 a factor of (1236/(-721))/(2/(-6580))?
True
Let d = 89 + 178. Suppose t - 527 = d. Is 24 a factor of t?
False
Let g(m) = m**2 + 22*m + 46. Let l be g(-20). Let i(a) = 2*a**3 - 7*a**2 - 36. Is 24 a factor of i(l)?
True
Does 20 divide 19462/4 + (-16)/(224/(-21)) + -7?
True
Let x = 40 + -35. Suppose x*k - 9 = 2*k. Suppose b + k*b = -8, -4*b + 96 = 4*v. Is 13 a factor of v?
True
Is 6 a factor of (12 + 202)/((-6)/(-87))?
False
Does 7 divide 6 + 155360/14 + 7/(-49)?
False
Let i = -9891 - -12999. Is i a multiple of 129?
False
Is 122 a factor of (13*-1 - (42 - 54))/(1/(-22864))?
False
Let v = -17 + 19. Suppose -5*h = -3*a + 2*a + 169, 314 = v*a - 4*h. Does 33 divide a + 7/(35/15)?
False
Is (-43)/(-5) + 368/(-230) - (-7738 - -3) a multiple of 49?
True
Let i be (-1)/(-3)*298*(-60)/(-40). Let d = i - -187. Is 21 a factor of d?
True
Let u(c) = c**2 + 5*c - 42. Let y be u(-14). Let b = -95 + y. Is (-7 - b - 26)*(-2)/4 a multiple of 4?
False
Suppose -90*r + 374*r = 4253184. Is r a multiple of 128?
True
Suppose -89*z - 4 = -85*z. Let u(r) = 239*r**2 - 5*r - 3. Is u(z) a multiple of 25?
False
Let t(x) be the second derivative of x**4/4 + x**3/6 - 7*x**2/2 - 948*x. Suppose -8 = -o - 1. Is 21 a factor of t(o)?
True
Let z = 20244 + -19350. Is z a multiple of 2?
True
Let w(a) = 584*a - 255. Let v be w(8). Suppose -5*l = -5*b + 4425, 14*b - 3*l + v = 19*b. Does 53 divide b?
False
Suppose 5*i - 19 = 41. Suppose 0 = -i*g + 215 - 1283. Let v = -57 - g. Does 8 divide v?
True
Let n(x) = -x**3 + 13*x**2 + 15*x - 10. Let v(l) = 3*l**2 - 15*l + 14. Let i be v(5). Let a be n(i). Suppose -a*m - 8*m + 360 = 0. Is m a multiple of 30?
True
Let s = 0 - 13. Let r = s + -4. Let u = r - -57. Is 10 a factor of u?
True
Suppose 3*b - 6240 = -11*q + 13*q, 4*b - q - 8335 = 0. Is 7 a factor of b?
True
Let o = 417 - 159. Let a be 17/2 - (-10)/(-20). Suppose 14*y - o = a*y. Is y a multiple of 19?
False
Suppose -5723*a = -5610*a - 122379. Is a a multiple of 19?
True
Is (-4 - 291)/((-4)/24) a multiple of 55?
False
Let t = -3018 + 1636. Let l = t + 1946. Does 46 divide l?
False
Let n be -5 - ((-5116)/(-20) - 2/(-10)). Let q = -159 - n. Is q a multiple of 31?
False
Suppose -23 = -4*r - 7. Suppose 4 = 3*b - b - r*d, 5*b = d - 17. Is (-18)/b + (-19)/(-38) a multiple of 2?
False
Let n = -175 + 217. Does 33 divide (-2)/(-21) - (-37754)/n?
False
Let z(m) = 36*m + 50*m + 49 + 22 - 62*m. Is 3 a factor of z(-2)?
False
Let f be (-3*(-2)/(-12))/(1/834). Let s = 459 + f. Does 6 divide s?
True
Let b be (-3)/15 + 9/45. Suppose w + 16 - 54 = b. Let p = 65 - w. Is p a multiple of 9?
True
Let z = -4916 - -6916. Is z a multiple of 16?
True
Let o = -43 + 11. Let x be o/(-12)*(-6)/(-4). Suppose 5*f - 3*g = -8*g + 60, 0 = -g - x. Is 16