 21 divide i?
True
Let i(p) be the first derivative of p**2/2 + 4*p - 43. Let x be i(-2). Does 12 divide (-1 - (5 - x)) + 268?
True
Let b = 18043 - -24935. Does 174 divide b?
True
Is 14/(-8) + 2 - (3 - (-280154)/(-56)) a multiple of 5?
True
Let c(k) be the first derivative of -10*k**2 - 42*k + 75. Does 39 divide c(-6)?
True
Suppose 2*o + 20 = -2*o - 3*t, 5*o + 5*t = -25. Let x(f) = 5*f**3 + 4*f**2 + f - 1. Let y be x(o). Does 9 divide y/(-12) + (-9)/(-12)?
True
Suppose 24*q = 593246 + 308074. Does 30 divide q?
False
Let c(d) = d**3 - 5*d**2 - 10*d + 9. Let a be c(7). Let l be (-120)/(-9)*9/4. Let i = a - l. Is i a multiple of 7?
True
Let h = 16113 + -6913. Does 46 divide h?
True
Suppose -26*n - 85067 + 409919 = 7*n. Is 23 a factor of n?
True
Let b(r) = -r**3 + 13*r**2 + 18*r + 20. Let i be (-2)/(-4)*(58/2 + -1). Let p be b(i). Suppose -4*f = -8*f + p. Does 15 divide f?
False
Let s = 35422 + -31934. Is s a multiple of 13?
False
Suppose -5*t = -9*t + 5*v, -5*t = v. Let f = t - -144. Does 2 divide f?
True
Let h = 1735 + -774. Suppose 132 = -959*u + h*u. Is u a multiple of 2?
True
Let y(b) = -2*b**2 - 9*b + 13. Let w be y(-13). Let t = w + 2760. Suppose -11*a = 869 - t. Is 17 a factor of a?
True
Let k be -1*-1*(-139 - 0). Let y = k - -289. Is y a multiple of 5?
True
Is (-40)/(-120) - (-8331)/9 a multiple of 9?
False
Let t(j) = -j**3 + 9*j**2 + 2*j - 18. Let k be t(9). Suppose k = -2*w - 13 + 11. Is w/((-2)/8) - -181 a multiple of 37?
True
Suppose 28*k = -2*b + 24*k + 4, 0 = -5*b + 3*k + 10. Suppose b*r = -2*n - 51 + 307, -5*r = -15. Is 3 a factor of n?
False
Suppose m + 26884 = 3*f, -3*f + 8467 = 3*m - 18401. Does 20 divide f?
True
Suppose 2*v - 26 = 2*a, 17*v - 14*v + 2*a = 44. Is (528/v)/2*(29 - -13) a multiple of 18?
True
Let k be -693 + -2 + 6 + -2. Let n = 1042 + k. Is n a multiple of 39?
True
Let x(r) = -6*r - 56. Let u be x(-13). Suppose -u*p + 25*p = 1341. Is 38 a factor of p?
False
Does 6 divide -765*((-12)/(-8))/(315/(-336))?
True
Let x be (15 - 13)*(1 + 0) + 0. Suppose -5*w - 1 + 36 = 4*u, -x*w = -6. Suppose -u*s + 529 = l, l = -7*s + 4*s + 317. Does 15 divide s?
False
Let q(a) = -a**2 + 12*a + 7. Suppose -5*p - 4 = -4*p. Let x be (2/(-6))/(p/132). Is q(x) a multiple of 7?
False
Suppose 19*h + 32*h - 108614 - 5626 = 0. Does 7 divide h?
True
Let w(n) = -n**3 + 95*n**2 - 10*n + 3627. Does 69 divide w(94)?
True
Let b = 53 - 15. Let j = -748 + 811. Let a = j - b. Is a a multiple of 15?
False
Suppose 0 = -2*y - 3*o + 131 - 41, 3*y + 3*o = 135. Suppose v - y - 19 = 0. Let t = 106 - v. Does 7 divide t?
True
Let b be (-28)/(-35)*-5*1/(-2). Suppose -3*h = b*r + 5 - 30, -45 = -4*r - h. Suppose -655 = -r*d + 742. Is 40 a factor of d?
False
Suppose -n + 2941 = 5*d, -918*d + 921*d + 12 = 0. Does 21 divide n?
True
Let b = 793 - 257. Is b/(-12)*30/(-4) + 2 a multiple of 12?
False
Suppose -40*s = -71763 + 27043. Suppose 0 = 5*l - s - 847. Is l a multiple of 27?
False
Suppose -5*f - 74715 = -3*d - 8*f, 2*f = -5*d + 124540. Is 76 a factor of d?
False
Let m(s) = -s**3 - 9*s**2 + s + 8. Is m(-14) a multiple of 2?
True
Let q = 17 + 61. Let c = q - 37. Is 11 a factor of c?
False
Let o(x) = 31*x**2 + 2*x + 3. Let g be o(-3). Suppose -4*t - 5 = -5*z + g, -1 = -t. Is 4 a factor of (-372)/(-76) + 6/z?
False
Suppose -5*i + 4*y = -50, -3*y - 15 = -i - 5. Let c(a) = -i*a + 2*a - 36*a + 13 - 5. Is c(-4) a multiple of 26?
False
Let c(v) = -v**3 + 16*v**2 + 39*v + 62. Let m be c(15). Suppose 0 = 11*y - 7840 - m. Does 24 divide y?
True
Let d(a) = 8520*a - 443. Does 34 divide d(7)?
False
Suppose q + 5*x = -15, -2*x = -3*q - 1 + 41. Suppose 0 = 5*l - q, 2*n - 5*l = 3 - 5. Suppose -a - h + 72 = 0, -a - 2*a + n*h = -202. Does 14 divide a?
True
Let u(i) = 2*i - 22. Let p be u(-10). Let x = -38 - p. Suppose -x*a + 225 = a. Does 9 divide a?
True
Is (-10)/4*(69 - 2139) a multiple of 15?
True
Suppose 2*w = 4, 68*p + 189650 = 72*p + 5*w. Does 11 divide p?
True
Suppose 99*k - 34908 = 8*k + 222076. Does 8 divide k?
True
Let s(p) = -4*p**3 + 3*p**2 - 2*p + 1. Let i be s(-3). Suppose i = b - 4*x, x + 249 = 5*b - 3*b. Is 37 a factor of b?
False
Suppose -62*m + 2709 = -19*m. Does 2 divide m?
False
Suppose 3*w + 30 = 2*z, -2*w + 2 + 17 = 3*z. Suppose z*o = 6*o + 378. Does 3 divide o?
True
Let m(a) = -12*a + 36. Let g be m(3). Let n(l) = l**2 - 29*l + 70. Is 14 a factor of n(g)?
True
Suppose r - 1125 = 3*q, -1865 = 5*q - 3*r - 2*r. Let u = q + 739. Let v = u + -215. Is 25 a factor of v?
False
Let w(z) = z**3 - 5*z**2 - 16*z + 20. Let k be w(7). Suppose 3*h - 927 = -k*h. Let b = h + -31. Is b a multiple of 10?
False
Suppose 19887 = 40*a - 40793. Does 92 divide a?
False
Suppose -1422 = 10*z - 8*z. Let x = 1087 + z. Is 11 a factor of x?
False
Suppose -10906 = 31*o - 126412. Is o a multiple of 46?
True
Let k = 1649 - -12104. Is 25 a factor of k?
False
Suppose -208750 - 104546 = -17*f + 199288. Is 10 a factor of f?
False
Does 2 divide 562*(6 + (-124)/20)*-5?
True
Suppose 0 = -37*t + 39*t - 24. Suppose -16*v + 900 = -t*v. Is v a multiple of 25?
True
Let f = 4738 - 1583. Suppose -f = -39*r + 23053. Is 32 a factor of r?
True
Suppose n - 5*p - 7345 = 0, 4*n + 44*p - 46*p - 29326 = 0. Is 10 a factor of n?
True
Let c be ((-252)/(-90))/(2/35). Let s = 38 - c. Let m = 23 + s. Is 4 a factor of m?
True
Suppose 11*f - 24 = 13*f. Does 11 divide (-400 + 2)*6/f?
False
Let c(h) = 19*h**2 - 20*h - 3. Is 22 a factor of c(-5)?
True
Let j(v) = -5*v**2 - 3*v - 4. Let o be j(-1). Let a(r) = -r - 9. Let s be a(o). Does 14 divide (-1)/((s/8)/(252/16))?
True
Let y(w) = 2*w**3 - 2*w**2 - 3*w + 13. Let b be y(-4). Let c = b - -299. Is c a multiple of 9?
False
Let y(g) = 767*g - 5270. Is y(31) a multiple of 199?
True
Let r(c) = -90*c**3 - 2*c**2 - 3*c - 2. Suppose 5*l - 11 - 4 = 5*a, 2*l - 18 = 5*a. Let y be r(l). Suppose 86*m + 153 = y*m. Does 3 divide m?
True
Suppose 4*f = 9*f. Let n be (-1 - 7)/(-4) + f. Suppose -4*u + 5*g - 4 + 80 = 0, -5*g = -n*u + 48. Is 2 a factor of u?
True
Let k(j) = -j**2 + j - 29. Let m(a) = 2*a**2 - 2*a + 29. Let x(t) = 2*k(t) + 3*m(t). Let p be x(-9). Suppose 8*v = 827 + p. Is v a multiple of 46?
False
Let h(m) = 11*m**2 + 8*m + 25. Let s be (-1 - -2)*-1 + -4. Let n be h(s). Is ((-12)/(-20))/(4/n) a multiple of 13?
True
Suppose 3*i = -2*a + 10, 1 - 5 = -2*i. Suppose 271 - 55 = a*k. Does 9 divide k?
True
Let h = 2871 + 1269. Does 46 divide h?
True
Let b(a) be the first derivative of a**4/4 - 25*a**3/3 + 25*a**2/2 + 6*a + 813. Let v be 36/(-5)*10/(-3). Is b(v) a multiple of 8?
False
Suppose 19978 = 3*c + 4*i - 3*i, i - 53278 = -8*c. Is c a multiple of 60?
True
Let r(n) = n**3 - 6*n**2 - 2. Let c be r(6). Let p be (8/12)/(c/192). Let w = p + 139. Is 15 a factor of w?
True
Let h be (8/(-10))/(24/(-13260)). Let s be h/(-8) - ((-18)/8 - -2). Is (88/s)/(2/(-95)) a multiple of 19?
True
Let m(s) = 115*s**2 + s. Let w = -209 + 210. Is m(w) a multiple of 25?
False
Let o be (-158)/79 + 2083/(2 + -1). Let w = -1000 + o. Does 54 divide w?
False
Let w(z) = -2*z**2 - 25*z - 52. Let y be w(-20). Is y/((-5)/(-10)*-1) a multiple of 22?
True
Suppose h - 12 = -3*g, 11*h = 12*h - 3*g. Suppose -2*y + 179 = -5*s, 3*y + h*s - 243 = 5*s. Does 7 divide y?
False
Let j be -2*((-30504)/16 - -8). Suppose 7*f - 2272 = j. Is 51 a factor of f?
True
Suppose -c = -4*t + 20 - 132, 5*t - 148 = -c. Let o = c + -17. Suppose -7*k + 127 = -o. Is k a multiple of 20?
False
Suppose p = -4*s + 74, -s - 74 + 15 = -p. Let x = -64 - -30. Let q = p + x. Is q a multiple of 7?
True
Let q = 4170 - 1592. Suppose 19*x - 5079 - q = 0. Is 13 a factor of x?
True
Let g = -59 - -110. Suppose 4*o - g = -3*j, 0 = 5*o - 8*j + 3*j - 90. Suppose -o*m + 264 = -11*m. Does 11 divide m?
True
Let a(t) = 22*t**3 - 2*t**2 - 26*t - 140. Does 214 divide a(10)?
True
Let o = 1 - 1. Let s = o + 4. Suppose 79 = 4*k - k + m, s*k - 4*m - 84 = 0. Is 9 a factor of k?
False
Let o = 25 + -21. Suppose 0*d + 5*a - 23 = d, -d + o*a = 20. Is (d/(-6))/(7/756) a multiple of 41?
False
Let i = 23752 + 12273. Is (2/3)/(-7 + i/5145) a multiple of 23?
False
Let v = 204 - 200. Suppose v*y = 713 + 431. Does 11 divide y?
True
Let h = -7783 + 11013. Is 85 a factor of h?
True
Let c be 2 + (-4 - -254 - 1). Suppose 0 = -3*g + 2*j + 233, 4*g + 3*j + 0*j = 288. Let p = c - g. Is p a mu