-4*l - 63 - 13. Let s be 1/1 - (20 + l). Suppose s = -d + 9 + 25. Is 3 a factor of d?
False
Suppose 8*y = 58322 + 5038. Does 88 divide y?
True
Suppose -2*i - 2637 = -y, 2*y - 3133 = 5*i + 2137. Suppose 7*h - y - 225 = 0. Is h a multiple of 10?
True
Suppose 277*s = 378*s - 106353. Does 39 divide s?
True
Let n(g) = 9*g**2 + 2*g + 53. Suppose 16*a = 12*a - 28. Does 12 divide n(a)?
True
Let n(k) = 3*k**3 - 13*k**2 + 5*k - 28. Let d be n(12). Suppose 8*u - 880 = d. Does 28 divide u?
False
Let x(z) = 26*z - 35. Let y be x(24). Let d = y + 59. Is d a multiple of 12?
True
Let m(n) = -n**3 - 8*n**2 - 28*n - 16. Let h be (-14)/3*(-54)/(-21). Is m(h) a multiple of 16?
True
Let q(d) = -d**3 - 5*d**2 + 14*d + 41. Let f(j) = j**2 + 1. Let b(m) = 3*f(m) - q(m). Let v be b(-8). Suppose -7*u + 8*u = v. Is 35 a factor of u?
False
Let u(k) = -12*k**3 + k**2 + 2*k - 1. Let g be u(2). Let p = g + 159. Let y = p - 48. Does 22 divide y?
True
Let x(s) = 316*s**2 - 23*s. Is 87 a factor of x(2)?
True
Let o(n) = -3*n**2 - 3*n + 13. Let k be o(3). Let z = 55 + k. Suppose -4*h + z = 5*w - 105, -4*h - 38 = -2*w. Does 20 divide w?
False
Let n(o) = -107*o + 109. Let l be ((-12)/8 - -5)*-2. Does 39 divide n(l)?
True
Let x(r) = 49*r + 605. Let j be x(-11). Let h be 41 + 3/3 + -3. Let q = h + j. Is 15 a factor of q?
True
Let s = 658 - 119. Let v = 1097 - s. Is 62 a factor of v?
True
Let a be 593 + (-7 - -8)*(-1 - -1). Suppose 4*x = 9*x + 3*u - 1455, 0 = -2*x + u + a. Is 21 a factor of x?
True
Suppose -5*i + 2389 + 2871 = 0. Let k = i - 542. Is 34 a factor of k?
True
Let h(y) = 686*y - 53. Is 37 a factor of h(7)?
False
Let q = 3109 + -4616. Let p = -859 - q. Is p a multiple of 27?
True
Let j = 947 - 453. Let m = 687 - j. Does 3 divide m?
False
Suppose 0 = -2*p + 10, -3*l + 4*p - 3*p = -19. Let n(r) = r**2 - 10*r + 14. Let m be n(l). Let d(j) = -2*j**3 - 2*j**2 + j + 6. Is 3 a factor of d(m)?
True
Suppose 0 = -82*j + 79*j + 117. Suppose -j*i + 11051 = -23152. Does 27 divide i?
False
Is 65/(-5) + 354 - 5 a multiple of 4?
True
Let s(p) = 9*p + 103. Let f be s(-12). Is -270*((-76)/12 - f) a multiple of 8?
True
Let s be 6*(-971 - 1)/(-4). Suppose 0 = 13*q - 10*q + 3*b - s, 5*q - b = 2442. Is q a multiple of 16?
False
Let n(b) = b**3 - 19*b**2 - 15*b - 93. Let d be n(20). Does 7 divide (1 + 16)*21/(d + 0)?
False
Let t(u) be the first derivative of u**4/4 - 3*u**3 - 5*u**2/2 - 6*u + 440. Let v be 2/5 - (-96)/10. Is t(v) a multiple of 7?
False
Does 55 divide ((-69)/46)/(9/(-28050))?
True
Is (240/100)/((-8)/(-19440)) a multiple of 24?
True
Let s(l) = -15*l - 15. Let n be s(-12). Suppose -k = 4*k - n. Is k a multiple of 17?
False
Suppose -3*h + 806 = t, 1342 = 3*h + 3*t + 532. Is h even?
True
Let y(u) = -12*u + 1378. Is y(4) even?
True
Suppose 0 = 4*s - 6*m + 8*m - 3156, -4*s + 4*m = -3168. Is s a multiple of 2?
True
Let s = 12954 - 9045. Does 22 divide s?
False
Let y(j) = -2*j + 1 + 6*j + 7*j**2 + j**3 + 4. Suppose -14*t + w = -13*t + 3, 15 = -4*t + 3*w. Is 17 a factor of y(t)?
True
Let l be 14/3*1908/24. Let d = l + -135. Is d a multiple of 9?
False
Let h be 22/(-132) - ((-337)/(-6))/(-1). Is (((-1002)/4)/(-3))/(28/h) a multiple of 10?
False
Let q(z) = -4*z + 45. Let g(r) = r - 1. Let h(c) = -16. Let x(f) = -2*g(f) - h(f). Let l be x(6). Is q(l) a multiple of 6?
False
Let a = -487 + 21704. Is 77 a factor of a?
False
Let c(x) = 4*x**2 + 4*x. Let j be c(-1). Let d = -8 - j. Let f(s) = -s + 16. Is f(d) a multiple of 9?
False
Is 3 a factor of 6*-5*(-6066)/54 + 5?
True
Let w(z) = -2*z + 18. Let o be w(12). Does 29 divide (-3)/(-1) - (o + -160 - 5)?
True
Let k(o) = 4*o + 5. Let c be k(25). Suppose q - 5*y - 93 = 0, q + c = 2*q - 2*y. Is q a multiple of 4?
False
Suppose -23*z + 10*z = -52. Suppose 0 = n - 3*x - 349, 4*n = -5*x + z*x + 1357. Does 69 divide n?
False
Suppose -3*o + 4*m + 49582 = 0, -3*o + 2*m + 39118 = -10456. Is 13 a factor of o?
False
Is (166/4)/(8/12 - 1119/1692) a multiple of 83?
True
Suppose -2*g - 72 = -5*s, 0 = -4*s + 3*s + 4*g. Suppose 26*x - s*x - 630 = 0. Is 21 a factor of x?
True
Suppose -5*a - 3*s + 21 = -a, -s + 3 = 0. Suppose -w + 9 = 3*r, -r - 3*w + a = w. Is (2/r)/((-29)/(-609)) a multiple of 7?
True
Suppose 0 = 117*f + 142*f - 279727 - 110845. Does 2 divide f?
True
Let g(p) be the second derivative of p**5/20 - 2*p**4 - 23*p**3/3 - 11*p**2/2 + 6*p - 1. Is g(26) a multiple of 72?
False
Let r be ((-11)/22)/((-2)/20). Suppose -405 - 485 = -r*h. Is 12 a factor of h?
False
Let s = -5952 + 18076. Is s a multiple of 26?
False
Suppose 4*b = -5*o + 1380, -b + 2*o + 0*o + 332 = 0. Let q = b - -133. Does 8 divide q?
False
Suppose -3*d = b - 3406, 3*b = 23*d - 18*d + 10274. Does 11 divide b?
False
Let o = 559 + -147. Suppose -2*n + o = -y, 0*y + 2*y + 1028 = 5*n. Is n a multiple of 10?
False
Let o be 1135 + (3 + -3 - -7). Suppose 3*v + 5*a - o = 0, -2*v + 613 + 146 = a. Is v a multiple of 12?
False
Suppose -14008 = -7*m + 8826. Is m a multiple of 41?
False
Let a = 66 + -55. Let w be 102 - 12 - (0 - (-4)/(-1)). Let q = w - a. Does 11 divide q?
False
Let h(n) = -3*n**2 + 488*n - 441. Is 37 a factor of h(96)?
True
Suppose 2*m - 3*f - 5 = 0, -5*f - 7 = 2*m - 6*m. Does 17 divide (m - 384/2)/(4/(-16))?
False
Let c = -7051 + 10428. Is 2 a factor of c?
False
Suppose 1275*r + 57179 = q + 1272*r, 0 = q - 5*r - 57195. Is 161 a factor of q?
True
Suppose 104*d - 45 = 101*d. Let j(u) = 6*u - 55. Let t be j(d). Suppose -5*w = t - 150. Does 3 divide w?
False
Suppose -2*j = -0*j - 60. Let m = 39 - j. Is 0 + (978/9)/(6/m) a multiple of 17?
False
Suppose -6*s + 144 = -2238. Is 3 a factor of s?
False
Let b be 47/(-2)*(1 + 6 + -9). Let d = -46 + b. Does 41 divide (92 + -10)*(d - -1)?
True
Suppose 0 = 5*w - 8*w - 4*j + 586, -5*j = -5*w + 965. Suppose 0 = -11*u + w + 1016. Is 11 a factor of u?
True
Is 99 a factor of 68116/8 + ((-48)/224 - (-4)/(-14))?
True
Let g(l) = -l**3 + l**2 + l + 1. Let u(y) = -2*y**3 - 30*y**2 - 12*y - 80. Let a(w) = 3*g(w) - u(w). Is 13 a factor of a(32)?
False
Suppose t + 5 = 0, 8*t - 8715 = -2*q + 9*t. Suppose -5*w + 4*s + 5417 = 0, -5*w + 1076 = 3*s - q. Does 35 divide w?
True
Suppose -3108 = -44*r + 43*r. Suppose a + 5*a = r. Suppose -712 = -4*i - 4*w, -5*i = -2*i - 5*w - a. Is 17 a factor of i?
False
Let q = 971 + -392. Let z = -211 + q. Does 27 divide z?
False
Let w(h) = 9*h + 11. Suppose -m - 2*z = -5*z - 7, 0 = -3*m - 2*z - 23. Let k be w(m). Let u = -7 - k. Is 2 a factor of u?
False
Suppose 4*r - 2*c + 0*c + 12300 = 0, -3*r + 3*c = 9228. Let s = r - -4367. Is 64 a factor of s?
False
Is ((-75)/(-4))/(8/4416) a multiple of 10?
True
Suppose -238*r + 2969658 = -56*r + 79*r. Does 5 divide r?
False
Let i be (-110)/8 - (-4)/(-16). Let y be (-13)/(637/i) - (-5)/7. Is ((-946)/110)/(y/(-5)) a multiple of 4?
False
Suppose -3*z + 2*u = 158, 5*z + 75 + 215 = -2*u. Let q = z + 84. Is 3 a factor of q?
False
Suppose -2*w + 11 - 1 = 0. Suppose l - 378 = -w*l. Is 10 a factor of l?
False
Suppose -3*c + 14512 = 2*i, 2 = 296*i - 295*i. Is 26 a factor of c?
True
Suppose -55 = -5*b + 5*q, 75 = -5*b + 10*b - q. Suppose 4*g - b = -3*a, a + 2*a + 5*g - 11 = 0. Is 9 a factor of ((-2)/4)/(a/(-648))?
True
Is 156 a factor of -2*(-17)/(-85)*-26295?
False
Let z = 64 - 61. Suppose 2*k + z*k - 1670 = 0. Is 15 a factor of k?
False
Let l = 3971 - -16378. Does 57 divide l?
True
Let d(x) = -26*x**3 - 13*x + 10*x**2 + 14*x**3 + 13*x**3 - 9. Let k be d(-11). Suppose 2119 = 9*z + k. Is 39 a factor of z?
True
Does 227 divide (-3)/6 + (-174342)/4*(-12)/36?
True
Suppose -3*r + 893 = x, x + r - 1103 = -218. Is 4 a factor of x?
False
Suppose 0 = -2*h + 3*t + 107812, 0 = -h - 228*t + 231*t + 53900. Does 51 divide h?
False
Let b = -30 + 33. Suppose -2*k + b*k = -44. Is (-1)/(2/(-10) - k/240) a multiple of 12?
True
Let r(x) = x**3 - 3*x**2 + x - 15. Let i be r(5). Suppose p = -s, i = 2*s + 2*s - 4*p. Is (9/(-1) + 4)*(-58)/s a multiple of 25?
False
Suppose 5*f = z - 4448, -4*z - 2*f + 9049 = -8743. Does 62 divide z?
False
Suppose 0 = -4*i + 10*a - 6*a + 24, i = -a - 4. Let d = 175 + i. Does 22 divide d?
True
Suppose -2*a - 29*v + 35125 = -30*v, v + 5 = 0. Is a a multiple of 10?
True
Let c(f) = 4*f**2 - 112*f + 180. Does 8 divide c(43)?
True
Let c(i) = -9*i - 9. Let n(o) = 2*o - 1. Let j(m) = c(m) - 12*n(m). 