 of x?
True
Suppose -4*l - 161 = -701. Let v = l + -102. Suppose v = u + 12. Does 7 divide u?
True
Is 65 a factor of 54990/18*((-81)/18)/(3/(-6))?
True
Suppose 3646 = 2*p - r - 11737, -6*p = 2*r - 46114. Is 198 a factor of p?
False
Let z = -1257 - -2487. Is 3 a factor of z/54 + -5 - 8/(-36)?
True
Suppose 5*f = 152 - 47. Suppose 5*m - f - 4 = 0. Suppose 0*i + 4*i - 5*p - 268 = 0, m*p - 20 = 0. Does 18 divide i?
True
Suppose 0 = 4838*o - 4840*o + 18900. Is 90 a factor of o?
True
Let d(z) = -3598*z - 105. Let i be d(-8). Is i/49 - (66/(-14) + 5) a multiple of 30?
False
Let s(d) = d**3 - 8*d**2 + d + 6. Suppose 4*g - 27 = 1. Let w be s(g). Let h = w + 80. Is h a multiple of 4?
True
Suppose -37*y - 44*y + 113934 = 21*y. Is 5 a factor of y?
False
Let w be (((-5)/(-3))/(-5))/((-1)/(-213)). Let a = 76 + w. Suppose -a*h = 7*h - 144. Is h a multiple of 4?
True
Let i(c) = -2*c**3 - 40*c**2 - 31*c + 80. Is 7 a factor of i(-24)?
True
Let r(j) = -44*j - 30. Let d = -283 - -281. Is 12 a factor of r(d)?
False
Let r(u) = 29*u - 169. Let j be r(6). Suppose j - 1 = 4*o, -2*o - 198 = -4*l. Does 25 divide l?
True
Suppose 49*r - 254*r + 1145130 = 0. Is r a multiple of 21?
True
Suppose -n + 5*r + 167 = 2*r, -3*n + 453 = 3*r. Let p = n - -265. Is p a multiple of 35?
True
Is (2 - (-14)/5)/((-119)/(-164220)) a multiple of 36?
True
Suppose -14*b + 183 - 15 = 0. Let h be 1188/16 + (-3)/b. Let s = h + -56. Is 6 a factor of s?
True
Let g = -136 + 330. Suppose -5*w + g = -706. Let a = 40 + w. Is 38 a factor of a?
False
Let b be -3*1/(-4)*-4 + 3. Suppose 0 = -b*n + 3*n + 2*n. Is 36 a factor of n/(-4) - (2*72)/(-1)?
True
Is 20 a factor of 4/((-76)/285)*-396?
True
Suppose -2*b + 16680 + 1195 = 11*b. Does 11 divide b?
True
Suppose 0 = 5*c + u + 2, 2*c = -3*c - 5*u + 10. Let g be (-4)/20 + 3/(14 - c). Suppose 4*j - y = -4*y + 181, -y - 5 = g. Is j a multiple of 7?
True
Let g be -3 - -6 - (324 - -8). Is (1*88)/(7 - g/(-49)) a multiple of 22?
True
Let v(c) be the third derivative of c**5/20 + 9*c**4/8 + 25*c**3/6 - 73*c**2 - 2*c. Is 17 a factor of v(15)?
True
Let v be 37 + 21/(-15) + (-12)/20. Let g = v + 76. Is 3 a factor of g?
True
Is (3112/32)/(10/8 - 1) a multiple of 11?
False
Let c(y) = -2*y**3 - 30*y**2 - 12*y - 31. Suppose 4*b - t + 90 = 28, 4*b + 66 = 3*t. Is c(b) a multiple of 32?
False
Suppose -3*l + 5*t + 0*t + 18307 = 0, -t - 2 = 0. Is l a multiple of 57?
True
Suppose -4*b = -15 - 5. Let w be -1 - (b + -4 - 10). Suppose -w*p = -4*p - 112. Is p a multiple of 14?
True
Let w = -13937 - -33009. Is 128 a factor of w?
True
Let r(f) = 40*f**2 + 28*f - 28. Is 8 a factor of r(-14)?
False
Suppose 0 = -2*d - 4 + 8. Suppose d*i = -3*i + 130. Suppose -5*p + 2*z = -162, -p - z + i = -3*z. Is 17 a factor of p?
True
Is 8 - 5 - -14068 - (-18 - -7) a multiple of 102?
False
Let w be 1*(-2 + 0) - (-267 - -18). Suppose -3*o + w = -2*p, 0 = 3*p - 5*p - 5*o - 271. Is (p/(-80))/(0 + (-2)/(-120)) a multiple of 29?
False
Let w(l) = -l**2 + 631*l - 244. Is 48 a factor of w(66)?
False
Let x = 89 - 83. Let d(f) = 8*f**2 - 11*f + 46. Let r be d(x). Suppose -12*o + 8*o + r = 0. Is 34 a factor of o?
False
Suppose 2*v - 238 = 5*i - v, 3*i + 5*v = -136. Let p = 49 + i. Suppose 0 = -3*s - 3, 0*u + 3*s - 147 = -p*u. Does 15 divide u?
True
Suppose 5280 = -24*u + 12984. Is u a multiple of 7?
False
Let u(d) = 2*d**3 + 4*d**2 - 2*d - 19. Is u(19) a multiple of 95?
True
Suppose -5*p - 8*k - 215 = -3*k, p - k = -47. Suppose 2*g - 240 = -3*g. Let c = g + p. Does 3 divide c?
True
Let t(l) = 17*l - 42. Let x(c) = 1. Let a(s) = t(s) + 2*x(s). Let z be a(26). Does 38 divide (-2)/4 - (z/(-12) - 5)?
True
Let q(w) = -20*w + 108. Let b be q(-18). Suppose 277 = d - 3*h + 28, 2*d = -4*h + b. Is d a multiple of 30?
True
Let y(t) = 30*t**3 + 35*t**2 - 243*t + 38. Is y(10) a multiple of 44?
True
Suppose -13*z + 4*z + 27 = 0. Suppose -z*h + 434 = -0*h + 2*k, -3*h - 5*k + 446 = 0. Let y = h - 94. Does 6 divide y?
True
Let j(z) = z**2 + 4*z - 12. Let x be j(-6). Suppose -w - 16 - 5 = x. Let t = w + 73. Is t a multiple of 26?
True
Suppose s - 6 = -3*v, 2*v - 4*s - 6 = -2. Suppose 2*h = v*n + 4112, 2*h - 3859 - 2308 = 3*n. Is n/(-135) + ((-4)/18 - 0) even?
False
Let a(y) = 3727*y**2 - 73*y - 72. Is 53 a factor of a(-1)?
False
Is 12 a factor of ((-20)/16)/5 - 181189/(-148)?
True
Let a(f) be the first derivative of -f**4/4 - 11*f**3/3 - 5*f**2/2 + 23*f + 15. Let n be a(-10). Is 24 a factor of 12/(-4)*(n + 3)?
True
Suppose -3*x - 4*w = 45 - 25, 2*w = 2*x - 10. Suppose 15*q + 493 - 2743 = x. Is 10 a factor of q?
True
Let k(q) be the second derivative of q**4/6 - 3*q**3 + 5*q**2/2 - 28*q. Does 2 divide k(9)?
False
Suppose 4*f - 4*h - 240524 = -5*h, 0 = -3*f + 3*h + 180363. Is 27 a factor of f?
True
Is (-7469)/(-7) + 2*(-11 + 6) a multiple of 7?
True
Let x(y) = 156*y - 1343. Is 17 a factor of x(17)?
True
Suppose -43*x = -45*x + 14076. Suppose 8*a = -15*a + x. Does 34 divide a?
True
Suppose -8*g + 4*s + 87504 = 0, 6868 = g + 4*s - 4043. Is 135 a factor of g?
True
Let v be (4 - (0 - -3))/(6/30). Suppose -4*y = -14*g + 9*g - 2365, v = -g. Suppose -s - y = -6*s. Is 13 a factor of s?
True
Let d be 64/256 - (-59)/(-4)*-13. Suppose -8*k = -4*k + d. Is 1360/k*(-3)/1 a multiple of 9?
False
Let g be 87/(-9) + 9 - (-17)/3. Suppose 0 = -g*j + 21*j. Suppose j = x - 15*x + 574. Is x a multiple of 6?
False
Let z(j) = 2*j**3 - j**2 + 6*j. Let u be z(-3). Let c = 84 + u. Suppose c*o - 2*v = 375, -4*o - 3*v + 5*v = -500. Is 11 a factor of o?
False
Suppose -4*w - 6*w + 9030 = -3*w. Does 5 divide w?
True
Let l(o) = 55*o - 5. Let s(n) = 111*n - 9. Let i(a) = 9*l(a) - 4*s(a). Does 14 divide i(1)?
True
Let q(t) = 3099*t + 397. Does 82 divide q(6)?
False
Let d be 82/26 - 5/((-910)/(-28)). Let v be 32/6 + (-1)/3. Suppose -j + d*m + 132 = m, -2*j = -v*m - 268. Does 12 divide j?
False
Suppose w = -4*x + 10, -5*x + 0*w + 5*w = 0. Suppose -i - 3375 = -6*i + 2*h, x*h = -3*i + 2025. Does 25 divide i?
True
Let d(x) = -x**2 - 25*x + 17. Let w be d(-26). Is 7 a factor of 11/(-297)*w + (-1846)/(-6)?
True
Let w(t) = 71053*t**2 - 9*t + 4. Does 166 divide w(1)?
True
Let o be (1/(-2))/((-6)/(-108)). Let c be 12/o*9/(-6). Is c/(-5) + (-3129)/(-35) a multiple of 20?
False
Suppose -22 = t - 2*t + 4*w, 0 = 5*w + 25. Let k be (1 - t/(-10))/(8/20). Suppose 4*x - 537 = -3*y, -y + 0*y = k*x - 179. Does 30 divide y?
False
Let k = 541 + -541. Let x(p) = p**2 + 9*p + 820. Is x(k) a multiple of 41?
True
Suppose -36061 = -16*o + 61546 + 58809. Is 13 a factor of o?
True
Let j(n) = -24*n - 128. Let v be j(-11). Suppose 8 + 0 = 4*o, v = 3*r - 4*o. Is r a multiple of 3?
True
Let c(l) = 44*l**2 + 26*l - 24. Is 4 a factor of c(-4)?
True
Let p be -5 + (3 + -3 - -298). Let g = p - -11. Let t = g + -166. Is 10 a factor of t?
False
Suppose 0 = -2*g + 4*d + 1009 + 1109, g - d - 1058 = 0. Does 11 divide g?
False
Suppose 3*r + r = -2*t + 6278, -2*r = 14*t - 3152. Does 41 divide r?
False
Let r(o) = 6400*o - 2402. Is 17 a factor of r(7)?
True
Suppose 12*w = -6516 + 40056. Is 138 a factor of w?
False
Let v be (-48)/(-6) + (2 - 2 - 1). Suppose -v*l = -11*l - 12, -2*c + 345 = 5*l. Does 20 divide c?
True
Suppose 5*b - 2155 = 1625. Does 63 divide b?
True
Suppose -q + 324 = -527. Suppose q = 6*a - 2467. Is 7 a factor of a?
True
Let x = -26843 - -52224. Does 7 divide x?
False
Suppose -716*m + 542*m + 1163364 = 0. Does 408 divide m?
False
Suppose 5*l + 4498 = 3*w, -50*w - 2*l = -46*w - 6032. Let k be 1/(((-3)/15)/(-1)). Suppose -k*r + w - 341 = 0. Is 26 a factor of r?
False
Let g(t) = -t**3 - 6*t**2 - t + 8. Let f be g(-6). Let m be 3282/f - (72/(-28) - -2). Let j = m - 151. Does 6 divide j?
True
Is 44 a factor of ((-12)/(-8))/((-6)/(-7920))?
True
Let g be -5 + ((-1 - -2)*3 - -489). Let o = g + -402. Does 4 divide o?
False
Is 58 a factor of (3/(-5))/(3/30) + (-22956)/(-2)?
False
Let p(u) = 7*u**3 - 7*u**2 - 10*u + 4. Let h be p(7). Suppose 2*y - 9*v = -7*v + h, 0 = 4*y + 3*v - 3963. Is 23 a factor of y?
False
Suppose -8629*c = -8662*c + 80510 + 250975. Is 205 a factor of c?
True
Suppose -16*f = -7185 - 12815. Suppose -19*z + 3614 = -f. Is z a multiple of 22?
False
Let s(y) = y - 1. Let w be s(1). Suppose -3*i + i + 164 = w. Suppose v = -16 + i. Is 9 a factor of v?
False
Suppose 23 = 10*p - 17. Suppose p