 - 1/24*q**4 - 5*q**2 - 1/30*q**5 - 5/6*q**3 + 0*q + 1/120*q**6. Is r(5) a multiple of 13?
True
Let z = 3 - -2. Let v be -5 - (32/(-40))/(4/50). Suppose z*j = -v*w + 65, -5*w + 18 = 2*j - 17. Is j a multiple of 3?
False
Let w(j) = -16*j**2 + 30*j - 3. Let c be w(7). Does 16 divide 2/(-6) + c*1/(-3)?
True
Let z(h) = 46*h - 47. Let o = -65 + 60. Let g be (1 + o)*(-3)/2. Is 23 a factor of z(g)?
False
Let b be 14/21 - -1*(-24)/9. Let u(y) = 2*y + 7. Let h be u(b). Suppose 2*c - 71 = -4*l + 73, 144 = 4*l - h*c. Is 9 a factor of l?
True
Let b = 14823 - -43589. Does 20 divide b?
False
Let q = -4347 - -5725. Is q a multiple of 18?
False
Let c(s) = -2. Let g(v) = 9*v - 7. Let d(l) = -4*c(l) + g(l). Let q = 2 + 1. Is d(q) a multiple of 14?
True
Let t = 233 + -229. Suppose -4*h + f = -4*f - 5791, h - 1432 = -t*f. Is 16 a factor of h?
False
Let v(b) = -9*b + 4. Suppose -7 = -10*h + 11*h. Let r be 54/h + -1 + 18/(-63). Is 14 a factor of v(r)?
False
Let f(q) = q**2 + 46*q - 637. Does 19 divide f(23)?
True
Suppose -21 = -2*t - 19. Is t + (-12)/16 - 2558/(-8) a multiple of 32?
True
Suppose 5*k = -k + 8568. Suppose 4*f = k + 860. Is (15/5)/(12/f) a multiple of 8?
False
Suppose -377769 = 26*s - 214*s + 173447. Does 69 divide s?
False
Suppose 23*i = 24*i - 21. Does 10 divide ((-34)/i*-7)/((-2)/(-150))?
True
Suppose -5*m + 5*v + 1346 = -1839, -4 = -2*v. Is 11 a factor of m?
False
Let s(h) = -h**3 + 13*h**2 + 28*h - 8. Does 13 divide s(11)?
False
Suppose 3*a - 5276 = i - 21349, -4*i = 5*a - 64207. Is 31 a factor of i?
True
Is (-4)/((-24)/42) + 3590 a multiple of 33?
True
Suppose -184 = -10*m - 154. Let p(c) = 15*c**3 + 6*c**2 - 10*c - 15. Does 18 divide p(m)?
True
Is 9 a factor of (-2)/3 - ((-3335)/69)/5?
True
Suppose 5*t = -5*z + 15, -4*z + z + 4*t = -37. Let v be ((-7)/(-21))/(-4*(-1)/252). Suppose -z*k - v = -8*k. Does 3 divide k?
True
Let r(t) be the second derivative of -t**5/10 - 5*t**4/6 - t**3/6 - 4*t**2 + 29*t. Is 3 a factor of r(-7)?
True
Suppose 219 = 2*r + 3*y, 418 = 4*r + 6*y - 4*y. Suppose 0 = -8*v + r + 10. Is 14 a factor of v?
True
Let h(n) = -8*n - 1. Let i be (-68)/8*(1/1 - -1). Let o be h(i). Suppose -5*w + o = -205. Does 25 divide w?
False
Is (0 - 2)*(-232986)/116 a multiple of 17?
False
Is 20 a factor of 47/(-2)*(161665/(-2015) + 3/13)?
True
Let n(w) = -8*w - 14. Let b be n(-3). Suppose -17 = m - b. Is 6 a factor of (-721)/m - 5/(-1)?
True
Does 6 divide (3*-1)/((-37697)/167625 - (-4)/18)?
False
Let o = 2687 - 1784. Suppose -4*y - 2*b + 722 = 0, -3*y - 2*y = 3*b - o. Is y a multiple of 15?
True
Suppose h + 6 - 9 = 0. Let f = 75 - 71. Suppose 133 = 2*w - h*c, w + 0*w - f*c = 79. Does 15 divide w?
False
Is 191 a factor of (1137978/2317)/((-2)/(-35))?
True
Let m = 447 + -445. Suppose -2*k = -5*d + 240, -m*k - 25 = 3*k. Is 23 a factor of d?
True
Let h be -1*((-8)/4 + 2). Is 83 a factor of 465 - ((2 - 0) + h)?
False
Suppose 4480 = 5*r + 4*c - 2761 - 9829, 0 = c. Is 6 a factor of r?
True
Suppose -2*r = -2*x + 12, 5*x - x = 2*r + 22. Suppose x*f - 232 - 144 = o, -3*o = -12. Let h = -37 + f. Is h a multiple of 39?
True
Suppose -78 = 44*l - 38*l. Let a(r) = -2*r + 54. Is 20 a factor of a(l)?
True
Let n = -7 + 10. Suppose 3*d - 14 = -4*g, n = -3*d + g + 7. Suppose 92 + 100 = d*x. Is 24 a factor of x?
True
Suppose 15 = 6*t - t - s, 45 = 5*t + 5*s. Suppose 0 = 5*k + t*u - 905, 3*k = k + 4*u + 334. Is 23 a factor of k?
False
Let b = 617 - 356. Let p = b + -78. Does 31 divide p?
False
Let o = -176 - -11556. Is 23 a factor of o?
False
Let b(y) = 2*y**3 - y + 2. Let o(q) = -11*q**3 + 5*q**2 - 8*q + 14. Let l(u) = -6*b(u) - o(u). Does 34 divide l(-10)?
False
Let d be -4 + 0 + -5 + 90. Does 21 divide 7*2*d/6?
True
Let r(h) = -h**3 + 7*h**2 + 5*h + 4 + 4 - 7*h. Let m be r(6). Suppose -d - m = -101. Is d a multiple of 29?
False
Suppose -3*j + 5*r = -9493, 2*r + 11309 = 4*j - 1325. Is j a multiple of 7?
False
Suppose 12216 = 4*r + t, -t = -3*t - 8. Does 26 divide r?
False
Let u = 18807 + -15539. Is 38 a factor of u?
True
Suppose 12 = -z - 2*j, 2*z + 3*z = -4*j - 84. Is 2 - (-5)/(z/(-3192)) a multiple of 20?
True
Is (-270)/36*25128/(-30) a multiple of 6?
True
Let l be ((-2)/(-6))/(2/(-18)). Let g be (24/(l - 0))/(-2). Suppose 3*j - 502 = z, 5*j + 2*z = g*j + 172. Is 14 a factor of j?
True
Suppose -2*x - 1875 = -0*x - 3*i, -5*x + 5*i = 4695. Let d = -442 - x. Is 10 a factor of d?
True
Let z(c) be the first derivative of 63*c**2 + 10*c + 2. Let s be z(3). Suppose 0 = 4*y - 2*y - 8, -4*d + y + s = 0. Is d a multiple of 24?
False
Suppose -42 = 2*s - 3*a - 286, 4*s - 488 = -4*a. Let r = -116 + s. Does 8 divide 47 + 1*(-2)/r*-3?
True
Let j(p) = 225*p - 1547. Is 204 a factor of j(14)?
False
Let o(y) = 6838*y**3 + 6*y**2 - 3*y - 1. Does 60 divide o(1)?
True
Let z(d) = -23*d - 5. Let g be 184/(-10) + 42/(-70). Is z(g) a multiple of 72?
True
Let n(y) = 3*y**3 - y**2 + 1. Let k be n(1). Is 16 a factor of (1099/(-140) + k/5)*-8?
False
Let u be 2*1/(-2)*(17 + -18). Suppose 2*q - 3 = -u. Is ((-2)/3)/((-4)/546*q) a multiple of 13?
True
Let i = 737 + -1551. Let h be (-8)/(-64) + i/(-16). Does 7 divide h + (-3)/((-9)/(-6))?
True
Is (-7)/(-2)*(-45 - -3665) a multiple of 14?
True
Suppose -m - u + 17492 = 0, -909*u + 69952 = 4*m - 913*u. Does 55 divide m?
True
Let d(l) = 3*l**3 - 8*l**2 + 6*l + 8. Let y(x) = 13*x**3 - 32*x**2 + 24*x + 33. Let n(k) = -9*d(k) + 2*y(k). Let s be n(7). Does 16 divide -1 - 0 - (-32 - s)?
True
Let t = 2688 + -1698. Is t a multiple of 15?
True
Let t be 788/(-9) - 12/27. Let l = t + 299. Is 7 a factor of l?
False
Let m(x) = -6*x**2 - 37*x. Let n be m(-3). Let i = n - -79. Is 17 a factor of i?
True
Is 22 a factor of (48/(-36) - -5)/(1/2304)?
True
Suppose 107*a - 104*a = 63. Let k be (-1 + 1401/a)/(2/14). Suppose 2*u + u = -4*v + k, 2 = 2*v. Does 22 divide u?
False
Let w = -42685 - -51925. Is 42 a factor of w?
True
Suppose 37*r - 273230 - 441925 + 209846 = 0. Is r a multiple of 16?
False
Suppose -34 = -7*y - 6. Suppose -y*t - 76 = -37*w + 33*w, -3*t - 13 = -w. Is w a multiple of 11?
True
Suppose -1447871 + 1301557 = 263*t - 4163639. Is 30 a factor of t?
False
Let h be (-13 - -7)/2 - 5. Is 50 a factor of (-62)/h*26 - 9/6?
True
Let j be 2/4*(19 - -23). Does 14 divide (-38)/(-133) + 498/j?
False
Suppose 267*j - 8 = 268*j, 2*v = -5*j + 48338. Is v a multiple of 11?
True
Let k(j) = -2*j**2 + 8*j**2 + 20 + 8*j**2 - 7*j. Is 72 a factor of k(4)?
True
Let k = 412 - 397. Suppose -k*o = -32*o + 14144. Does 13 divide o?
True
Suppose 2*x = -15*x + 30600. Suppose 6*d - 16*d + x = 0. Is d a multiple of 15?
True
Let d be -186*(-2 + 42/18). Let w = d - -108. Does 25 divide w?
False
Let w(u) = -17*u**2 - 744*u - 42. Is 159 a factor of w(-21)?
False
Let v(l) = 2*l**3 + 63*l**2 - 8*l - 55. Is v(-29) a multiple of 14?
True
Let k = 85 - 78. Suppose k = 2*a - a. Suppose 0 = a*n - 55 + 27. Is n even?
True
Is 221 a factor of (2 + -1 - -3535)*(-1769 - -1771)?
True
Let c = -416 + 422. Let x(i) = 23*i**2 - 14*i + 3. Does 20 divide x(c)?
False
Suppose -2*u - 49 + 33 = 0. Let h(i) = -3*i**3 - 7*i**2 - 11*i - 11. Is 27 a factor of h(u)?
False
Let n(o) = 9*o + 92. Let h be n(-6). Let l = 28 - 1. Let s = h - l. Is s a multiple of 10?
False
Let o be (-6)/(-27) - (-17)/(153/682). Let s be 70 - (-1 + -1)/2. Suppose -s = -7*l + o. Is 5 a factor of l?
False
Suppose -17237 = -4*i - y, -3*i - 102*y + 12904 = -106*y. Does 39 divide i?
False
Let k = 610 + -298. Let v = 424 - k. Does 16 divide v?
True
Suppose 5*z - 3*d = -6*d - 319, -3*d + 331 = -5*z. Let p = 27 - -98. Let y = p + z. Is 30 a factor of y?
True
Is 4 a factor of -1*5/25 - ((-81980)/25 - 1)?
True
Let l(r) be the first derivative of r**4/12 - 2*r**3 - 21*r**2 + 20*r + 5. Let m(f) be the first derivative of l(f). Is 25 a factor of m(22)?
False
Let f(i) be the first derivative of i**3/3 + 2*i**2 + 16*i + 5. Let v be f(-6). Suppose -700 = -33*o + v*o. Is o a multiple of 35?
True
Let o = -28903 + 33247. Is 27 a factor of o?
False
Let b = 187 - 217. Is -7*((-10)/b + (-55)/3) a multiple of 21?
True
Let y(o) = -29*o + 1723. Is y(58) a multiple of 16?
False
Let z(h) = h + 12. Let g be z(2). Let t = g - -87. Suppose -4*n + t + 159 = 0. Does 9 divide n?
False
Let t = 3436 - -31571. Is t a multiple of 189?
False
Let l be 1/(-9)*38 + 36/162. Let m b