06, -4*f - 5*a = -2413. Let k = f + -336. Is 7 a factor of k?
True
Suppose -26*t + 121176 - 47154 = 0. Is t a multiple of 39?
True
Suppose x + 924 = -2*p, 4*x + 2282 = -5*p - 34. Let u = p - -727. Is u a multiple of 3?
True
Suppose -16 = 43*c - 47*c. Let i(m) = 121*m - 244. Is 20 a factor of i(c)?
True
Suppose d - 27 = -25. Suppose 33 = d*o - 5*w - 12, 0 = o - 2*w - 22. Suppose o*g = 23*g - 945. Does 32 divide g?
False
Suppose -5*q = 10*q - 45. Suppose -54 = -q*l - 3*u, u + 2*u + 42 = 3*l. Does 3 divide l?
False
Let g(q) be the third derivative of q**6/120 + 2*q**5/15 - q**4/6 + q**3/6 + 23*q**2 - 2. Is g(-7) a multiple of 33?
False
Suppose -r - 3*t = 4, 2*r - 2 = 5*t + 12. Suppose 5*q - 359 = 4*a, r*q = a + 33 + 56. Let m = a - -183. Is 8 a factor of m?
False
Suppose -2*v = -20 - 22. Let s = 22 - v. Is ((-10)/15)/(s/(-30)) a multiple of 4?
True
Let q(j) = 23*j**3 - 18*j**2 + 6*j + 126. Does 249 divide q(6)?
True
Suppose 57307 = 4*v - 3*d + 15781, -5*d = -v + 10356. Does 18 divide v?
True
Let w(a) = -a + 6. Let z be w(15). Let o be (1 - 2)/(z/(-63)). Let k = 17 + o. Is 4 a factor of k?
False
Let m = -46 + 48. Suppose 15*r = m*r + 845. Suppose -3*t = 2*t - r. Is t a multiple of 2?
False
Let d(t) = t**2 - 34*t - 26. Let n be d(35). Suppose 0 = n*b - 4797 + 1674. Does 20 divide b?
False
Let k(a) = -74*a + 36. Let f(c) = 72*c - 37. Let p(b) = -6*f(b) - 7*k(b). Is 16 a factor of p(5)?
True
Suppose -2*x + 3*h = -2964, -6*x + 2*h - 4446 = -9*x. Suppose 10*p - x - 448 = 0. Is p a multiple of 33?
False
Let v(d) be the second derivative of d**3/6 + 23*d**2/2 + 15*d. Let w be v(11). Suppose -4*t = -w - 318. Is t a multiple of 22?
True
Suppose -2*m = k - 14, 0*k + 15 = 3*k - 3*m. Suppose 0 - k = -4*w. Suppose -4*u - 4*z = -0*z - 680, -w*z - 485 = -3*u. Does 11 divide u?
True
Let z(j) be the third derivative of j**8/20160 + j**6/60 - 13*j**5/30 + 17*j**2. Let p(d) be the third derivative of z(d). Does 7 divide p(7)?
False
Let f(d) = 8*d**3 - 2*d**2 - 4. Let j = 34 + -28. Suppose 0*l + j*l = 12. Does 18 divide f(l)?
False
Let b(w) = -w**3 - 7*w**2 - 5*w + 10. Let f be b(-6). Let q(t) = 28*t**2 + 8. Is 12 a factor of q(f)?
True
Let h(m) = m**3 - 28*m**2 + 30*m - 76. Let p be h(27). Let n(k) = 22*k**2 + 36*k - 26. Does 54 divide n(p)?
False
Suppose -y + 60 = 58. Suppose 3*a - y*u = 5*a - 992, 1486 = 3*a + 5*u. Is a a multiple of 20?
False
Suppose -b = -m - 55407, 2*b - 95813 = 5*m + 15022. Does 25 divide b?
True
Let s(a) = a**3 + a**2 - 4*a + 41. Let k be s(0). Suppose 35*g = k*g. Suppose -5*p + 653 = 3*c, 5*p + g*p = 2*c - 427. Does 36 divide c?
True
Suppose 4*h + 25 = -h. Let a(c) = 3*c**3 + 21*c**2 - 47*c + 18. Let y(i) = -i**3 - 7*i**2 + 15*i - 6. Let m(j) = -3*a(j) - 10*y(j). Does 22 divide m(h)?
False
Let n(k) = 9*k + 33. Let h be n(-3). Suppose h*a - 5*y - 1030 = a, 0 = 5*y - 15. Is a a multiple of 31?
False
Let v = -733 + 741. Is (8 - v) + 23 + 6 a multiple of 9?
False
Let l be (-21)/(-14)*(1 + 1)*1. Suppose 161 = -z + l*z + 3*v, 5*z - 375 = -2*v. Does 53 divide z?
False
Let w(f) be the second derivative of f**4/6 + 11*f**3/3 - 2*f**2 - 13*f - 1. Is w(-22) a multiple of 32?
True
Let k(z) = -206*z + 216. Is k(-37) a multiple of 86?
False
Let a(q) be the third derivative of 5*q**5/12 - 53*q**4/24 + 2*q**3 - 113*q**2. Is 62 a factor of a(5)?
True
Let a = 5443 + -1334. Is 28 a factor of a?
False
Suppose -23*p + 70085 + 39211 = 0. Suppose 40*d - 48*d = -p. Is 66 a factor of d?
True
Let d(u) = -2*u - 6. Let b be d(-3). Let a(y) = -4*y - 3 + b + 23*y + 49*y. Is 17 a factor of a(1)?
False
Does 28 divide (1583 - 3323)*3*1/(-2)?
False
Let n(d) = -8*d**3 + d**2 + 6*d + 15. Let g be n(7). Let z = g - -4654. Suppose q - 15*q = -z. Does 6 divide q?
True
Let p = -21 - -27. Does 71 divide (1126 - -10)*p/12?
True
Suppose -2*j - 9*j = 132. Suppose 3*n + 2*n = 3*l - 5000, -5*l = -n - 1000. Does 13 divide n/j + 6/(-45)*-5?
False
Let b(n) = 6162*n**2 - 15*n - 8. Is b(-1) a multiple of 31?
True
Let x(s) = s**3 + 21*s**2 + 18*s - 35. Let q be x(-20). Suppose 0 = q*u + 238 - 1503. Is u a multiple of 23?
True
Let s(m) = -3353*m + 1740. Is 16 a factor of s(-4)?
True
Is 32 a factor of 448/3*((9 - 13) + 70)?
True
Suppose -2*l + 400 = -4*v, -386 = -3*l - 4*v + 264. Suppose -l*y = -208*y - 500. Is y a multiple of 10?
True
Does 6 divide 10 - (-3 + (-4 - -1) + -13392)?
False
Suppose 879631 = 226*h - 1645355 - 831792. Is 15 a factor of h?
False
Suppose 8*i - 10 = 6*i. Suppose v + 42 = x - v, i*v = -x + 56. Is 23 a factor of x?
True
Let r(a) = 19*a - 29*a + 31*a - 6. Does 24 divide r(6)?
True
Suppose -64*u + 20*u + 30272 = 0. Is u a multiple of 172?
True
Does 15 divide (-132 + 120)*(-2190)/8?
True
Let a = -1 - -6. Suppose 7*d - 9 = a. Suppose d*b - 5*y + 3 = 36, -3*y = -3*b + 72. Is b a multiple of 3?
False
Let m(n) = 19*n**3 - 5*n**2 + 121*n - 588. Is m(5) a multiple of 9?
False
Let s(r) = 4*r**3 + 8*r**2 - 29*r - 31. Does 4 divide s(5)?
True
Let a be (24 - 9)/((-1)/7). Let y be a/28*4/(-3). Suppose -y*c = 4*g - 748 + 149, 127 = c - g. Is 7 a factor of c?
False
Let u(t) = 9*t - 4. Let y be u(1). Suppose 2*d = -0*d + y*d. Suppose d*a - a = -39. Does 13 divide a?
True
Suppose 0 = 38*r - 60770 - 127558. Does 28 divide r?
True
Let p = 43 + -7. Is -13*p*(-7)/7 a multiple of 18?
True
Let l = 5921 - 306. Is l a multiple of 14?
False
Suppose -3*d + 4*f + 116983 = 0, 2*d = f + 61760 + 16232. Is 44 a factor of d?
False
Let l(i) be the third derivative of 0 + 0*i - 5/12*i**4 - 3/2*i**3 + 9*i**2. Does 14 divide l(-4)?
False
Let c(g) = -g**3 - 9*g**2 - 11*g - 8. Let o(q) = 3*q + 97. Let i be o(-35). Is 3 a factor of c(i)?
False
Is 9 a factor of -5 + 0 + 10 + ((-108600)/(-5))/3?
True
Let f(g) = 7*g**3 - 688*g**2 - 114*g + 31. Is f(99) a multiple of 125?
True
Let j = -10024 - -18431. Does 100 divide j?
False
Let n = -526 + 943. Suppose -n = 4*l + 159. Does 6 divide (l + 0)*6/(0 + -6)?
True
Let b = 991 + 3884. Does 65 divide b?
True
Let k = 2631 - -14817. Is 34 a factor of k?
False
Suppose 157*g = -132*g + 2*g + 2833551. Is 35 a factor of g?
False
Let n = -347 - -343. Does 8 divide (-1610)/n - 75/30?
True
Let l(a) = a**3 - 41*a**2 - 87*a + 80. Let q be l(43). Suppose -q*r = r - 30210. Is 53 a factor of r?
True
Suppose -15*s + 10*s = -4*n - 357, -5*n - 410 = s. Let w = -54 - n. Is 14 a factor of w?
False
Suppose 4*o - 2533 = o + z, 3*z - 4245 = -5*o. Suppose 5*n - 5*m + 186 + 884 = 0, 4*n + m + o = 0. Let q = n + 398. Is 31 a factor of q?
True
Suppose -4*u - 3 = -2*v + u, -3*u - 17 = -5*v. Suppose 0*a + 63 = 5*l - 2*a, -a - 51 = -v*l. Is l a multiple of 2?
False
Is 97 a factor of (-2 - 95)/(13 - 1173/90)?
True
Let b = -54 + 59. Suppose -b*z - z = -234. Is 2 a factor of z?
False
Suppose 4*n - 6845 = 5*i, -2*n = -0*n + 3*i - 3439. Suppose -4*c = 5*d - 1401, -5*c + d + n = -0*c. Does 44 divide c?
False
Let n = 1738 + -634. Let z = -684 + n. Is z a multiple of 12?
True
Suppose 6656 = 33*u - 31*u. Is 6 a factor of u?
False
Suppose -4*z - 460 = 4*n - 8*n, -3*z - 343 = -2*n. Let r = z + 77. Let i = -27 - r. Is 9 a factor of i?
True
Does 257 divide (-2022804)/(-130) - 30/975?
False
Let z be (-56)/70*((-10)/(-4))/(-1). Let r = 1 + z. Is 5/(30/112) + r/9 even?
False
Suppose -4*q = 3*f - 54978, 58614 + 32984 = 5*f - 4*q. Does 68 divide f?
False
Let t be ((-195)/(-9) - -3)/(2/(-6)). Let r = -123 - t. Let d = -23 - r. Is d a multiple of 13?
True
Let f be 88/110 - (-2676)/5. Let c(u) = 3*u**2 + 8. Let l be c(4). Suppose -8*q = -f - l. Is q a multiple of 13?
False
Let y = -8532 - -8814. Does 37 divide y?
False
Let f = 81988 + -57437. Is f a multiple of 17?
False
Suppose -1865 = -5*k + 4*y + y, 0 = -2*k - 5*y + 711. Let c = k + -324. Is 11 a factor of c?
True
Let z(l) = l**3 + 63*l**2 + 472*l + 75. Is z(-54) a multiple of 36?
False
Suppose 0 = -5*i + 117723 - 110298. Is 25 a factor of i?
False
Let h = -443 + 453. Suppose h*l = -9*l + 15428. Does 28 divide l?
True
Let y(f) be the first derivative of f**4/2 - 4*f**3/3 + 19*f**2/2 - 72*f - 247. Is y(5) a multiple of 13?
False
Let s(d) be the third derivative of -d**3 + 0*d - 1/60*d**5 + 7/12*d**4 + 0 + 9*d**2. Is 2 a factor of s(6)?
True
Let h = -86 + 85. Does 34 divide (-12544)/(-32) + h*1?
False
Let i = -551 + 277. Let d = i + 644. Is 39 a factor of d?
False
Sup