t o = l - -901. Is o a multiple of 5?
False
Suppose -26*j + 25*j + 221 = 0. Suppose -199 = -6*n + j. Is 4 a factor of n?
False
Suppose 39 = 68*c - 65*c. Suppose c*l = 14*l - 37. Is 8 a factor of l?
False
Let d be 4 - (-14 + 6)/8. Suppose -4*t + 1997 = 3*p - 2*t, 0 = -d*p + t + 3324. Is p a multiple of 35?
True
Let k(r) = -r**2 - 13*r - 11. Let w be k(-12). Suppose 0 = 5*b - 3*s + w - 10, -2*b - 9 = 3*s. Let t = 195 - b. Is 39 a factor of t?
True
Suppose f + 3*b + 1825 = 15986, 2*b = 2. Is 16 a factor of f?
False
Suppose 21*d - 24*d = 10572. Is ((-4)/10)/1 + d/(-10) a multiple of 32?
True
Let p = -123 - -125. Is p/(-7) - (-10212)/21 a multiple of 37?
False
Suppose 16*g - 19*g = 24. Let s = g - -31. Let n = s + -3. Is 9 a factor of n?
False
Suppose 6*p - 2*p + 4*v = 144, 2*p + 4*v = 64. Suppose -2*o + 116 = -p. Is o a multiple of 16?
False
Suppose -25 = -5*k, 5*h - 4*k = -5*k + 25. Suppose 0 = -5*d - h*g + 938, -4*g + 4 = -2*g. Is d a multiple of 3?
True
Let f(h) = 3*h - 3. Let o be f(-5). Let x be (-6)/(0 + -1) + (0 - -2). Is ((-27)/o)/((-15)/x)*-45 a multiple of 18?
True
Let q(y) = -25*y - 54. Let o(l) = -2*l**2 + 2*l + 2. Let a be o(-2). Does 4 divide q(a)?
True
Let u be ((-10)/(-3))/((-7)/(-105)*-5). Is 6 a factor of (57/(-10) + 4/20)*u?
False
Suppose -4*c + 5*g = -42607, -3121*g - 4 = -3125*g. Is c a multiple of 16?
False
Let o = -131 + 137. Is 2 a factor of 0 - 211/((-6)/(o - 0))?
False
Let r = -8448 - -18478. Is r a multiple of 29?
False
Let b(j) = -j**2 - 2*j + 171. Let w be b(0). Let v = w + 345. Does 43 divide v?
True
Let a(g) = -5*g**2 - 2*g + 18. Let k be a(-8). Let p = k + 548. Is p a multiple of 63?
False
Suppose 0 = -11*w + 9*w - 4. Let a be ((-8)/w - 0) + -1 + 0. Does 17 divide (-434)/(-6) - 5 - (-2)/a?
True
Is (-918)/4284 - 926862/(-28) a multiple of 44?
False
Suppose -29758 = -2*y + 3*d, -14*d - 6768 = 4*y - 66204. Is 139 a factor of y?
True
Suppose -898*l + 5364 = -902*l + 23580. Is l a multiple of 69?
True
Let i = 77 - 77. Suppose -21*j + 4*j + 2329 = i. Let c = -27 + j. Does 11 divide c?
True
Suppose d + 2*d - 39 = 2*j, j = d - 14. Suppose -d = -5*f + f - v, -3*f + 2*v + 22 = 0. Suppose -282 = -4*s + 2*u + 342, -f*u = -5*s + 777. Does 15 divide s?
False
Is ((-1855755)/2)/(-11)*(12 - (-306)/(-27)) a multiple of 106?
False
Suppose -13 = 2*m - 3, -23 = -2*n - 3*m. Let t(i) = i**2 - 20*i + 9. Let d be t(n). Does 11 divide (5/d)/((-2)/44*1)?
True
Let s(j) = -j**3 + 15*j**2 - 8*j - 7. Let h(z) = 11*z + 84. Let m be h(-7). Is 32 a factor of s(m)?
False
Suppose 0 = 45*k + 16*k + 14*k - 205275. Is 119 a factor of k?
True
Let b(q) = -139*q - 1347. Does 15 divide b(-33)?
True
Let k(b) = 543*b**2 + 7*b - 6. Is 4 a factor of k(-1)?
False
Let t(r) = -4*r + 141. Let x be t(28). Suppose 8*z = 7939 + x. Is 12 a factor of z?
True
Suppose 102 = 6*f - 2*f - 390. Is 2 a factor of f?
False
Suppose -2*t = -4*l - 8032, 2*l - 5537 = -3*t + 6503. Let r be ((-2)/(-8) - 1) + t/72. Is 9 a factor of -4 + (-1 - 3) + r?
False
Let k = -1831 - 851. Suppose -4*a - 12 = 28. Is 6 a factor of k/(-45) + (-4)/a?
True
Let r(p) = -4*p + 22. Let u be r(6). Let w be (63/(-36))/(u/(-16)). Is (-426)/w + 15/(-35) a multiple of 5?
True
Let u = -46 + 46. Let b = u - 4. Is 7 a factor of (1*b)/(-16)*-2*-120?
False
Suppose 0 = 5*v + 178 + 132. Let w = v + 90. Let s = 92 + w. Is 24 a factor of s?
True
Suppose 78 = -m + 4*y - 3*y, 4*m + 330 = -2*y. Let n be 36/m*9/(-2). Suppose -3*o = -3*d + 4*d - 123, 2*o - n*d = 82. Does 28 divide o?
False
Suppose -10*t = 11*t + 15*t - 180. Let i be (1 + 14/(-4))*-12. Is (-20)/(-6)*((-114)/i + t) a multiple of 4?
True
Let z(v) = 4*v**3 + v**2. Let g be z(1). Suppose g*m - 4*d + 360 = 0, -4*m = 4*d + 102 + 186. Is (-4048)/m - 4/18 a multiple of 28?
True
Suppose 2*y - 11*y = 2916. Let b = -164 - y. Does 40 divide b?
True
Let k be ((1 - -1) + 18)/(9 + -10). Let z be (-16 - k)/(2/(-101)). Let w = -142 - z. Does 12 divide w?
True
Suppose -11148 = -4*x - 5*i, 5*x - 9*x - 4*i = -11152. Is x a multiple of 44?
False
Let s = -18732 + 20784. Does 9 divide s?
True
Suppose 5*o + 55 = 10*o. Let x(u) = -23*u + 25. Let y be x(o). Let s = -116 - y. Does 14 divide s?
True
Let h(k) be the third derivative of -7*k**5/60 - 29*k**4/12 - 13*k**3/6 + 11*k**2. Let b(d) be the first derivative of h(d). Is 18 a factor of b(-8)?
True
Suppose 14815 = 7*c + 115. Suppose -2*b + 4*d = -1538, -5*b + 4*d + c = -1745. Does 27 divide b?
False
Let b(l) = -2*l**2 + 20*l + 52. Let g be b(12). Suppose f - 655 = 4*n, -7*n = 2*f - g*n - 1255. Is 69 a factor of f?
False
Suppose 5*i - 4*b - 89676 = -18598, -5*b = i - 14204. Does 40 divide i?
False
Suppose -2661 = -4*p + 2*l + 3895, 0 = -p + 2*l + 1642. Is 42 a factor of p?
True
Let u(j) = j**2 + 41*j - 613. Is 5 a factor of u(-65)?
False
Suppose 66908 + 176932 = 5*z. Is z a multiple of 254?
True
Let p = -12429 + 21107. Is 9 a factor of p?
False
Let a be (-4)/22 + (-115)/55*-2. Let v be -3*((-91)/65 - a/(-10)). Does 6 divide (-159 - 3)/1*(-2)/v?
True
Let h = -536 + 564. Suppose -t - 2*l + 1 = -h, t - 22 = 5*l. Is 7 a factor of t?
False
Suppose 7712 = 5*c + 2*b, 1546 = c + 7*b - 3*b. Is c/(-4)*12/(-18) - -3 a multiple of 13?
True
Let c be (1 + 5)/(-2*(-3)/(-36)). Let g = 106 + c. Suppose 0*l = -2*l + g. Is l a multiple of 7?
True
Let a(t) = -7925*t + 1328. Is 103 a factor of a(-3)?
False
Let d be 2/((-9)/(-45) + 0/1). Suppose -718 = -3*m + 5*v, d*v = -m + 5*v + 246. Let b = -145 + m. Is b a multiple of 16?
True
Suppose g + 148 = 3*f, 2*g - 3 + 149 = 3*f. Suppose -4*c = 3*v + c - 75, 4*c - f = -2*v. Does 2 divide v?
False
Is (-19 + -13 + 36)*(-1 + 186) a multiple of 58?
False
Suppose -5*r - 24 = m, 4*r + 20 = r + 5*m. Let q(i) = -214*i + 10. Is q(r) a multiple of 40?
True
Suppose -2*x - 113 = -97, 5*p - 5*x - 141025 = 0. Does 9 divide p?
True
Let c = 5 - -6. Let k = -9 + c. Suppose -3*f + k*r + 232 = 0, -f + 5*r + 220 = 2*f. Is 16 a factor of f?
True
Suppose g - 12 = -2*k, -3*g - 2*k + 14 = -10. Is (3/g + 295/6)*9 a multiple of 54?
False
Does 202 divide (89 - -7)/((39/2626)/1)?
True
Let g(u) = -u**3 - 13*u**2 + 31*u + 18. Let s be g(-15). Suppose -70 - 290 = -s*t. Is 11 a factor of t?
False
Suppose 3*i + i + 3*u = 33692, 20 = 5*u. Let f be i/15 + 4/(-12). Let x = -350 + f. Does 38 divide x?
False
Suppose -3049 = -225*w - 172*w + 6082. Does 23 divide w?
True
Let c(s) = -10 + 0*s - 2*s**2 + 4*s + 4*s**2 - 6*s. Let z be c(7). Let v = z + 30. Is v a multiple of 26?
True
Let s(y) = 29*y**2 - 2472*y + 112. Does 16 divide s(92)?
True
Let t = 17956 + -11649. Does 53 divide t?
True
Let d(a) = 6*a - 75. Let m be d(14). Suppose -m*p = -1047 - 3813. Does 54 divide p?
True
Let t(n) = 9*n + 103. Let f be t(-5). Suppose f*s = 57*s + 1365. Is 23 a factor of s?
False
Let m(f) = -70*f + 1569. Is m(21) a multiple of 33?
True
Let r(f) = -f**3 + 27*f**2 - 50*f - 42. Let u be r(21). Suppose -3100 = -4*j + 2*n, 6*j - 3*n = 4*j + u. Is j a multiple of 13?
False
Let p = 130 + -138. Let o(d) = d**3 + 20*d**2 + 9*d. Let l be o(p). Let x = l - 492. Does 17 divide x?
True
Let t = -51 - -392. Let o = 996 - t. Is 8 a factor of o?
False
Suppose -225 = -2*u - u. Let w = u - 80. Is 19 a factor of w/(-15) - -2*(-188)/(-6)?
False
Let g = -856 - -587. Let t = g - -389. Is 60 a factor of t?
True
Let l(u) be the first derivative of 3*u**4/4 + 2*u**3/3 + 5*u**2 - 18*u - 44. Let k(s) = -s**3 + s**2 + s. Let c(b) = -4*k(b) - l(b). Is c(8) a multiple of 4?
False
Suppose -7*s + 3*m + 9633 = -5*s, -m + 24125 = 5*s. Is 19 a factor of s?
False
Let g be (3 - (-1)/3*-3)/2. Let q be (4/(1 + 1) - g) + 405. Suppose -4*z = -q - 62. Does 13 divide z?
True
Let c(v) = -v**3 - 16*v**2 - 50*v - 21. Suppose k - 27 = i - 2*k, -20 = -5*k. Does 12 divide c(i)?
True
Let c(h) = 2*h - 34. Let y be c(2). Does 3 divide (-1686)/(-15) - y/50?
False
Suppose 5*k + 3 = f - 1, -4*f - k - 89 = 0. Let x = -35 - f. Does 17 divide -2*457/x + 14/(-49)?
False
Let t = -48 + 52. Suppose h - t*l = 10 + 6, 4*l = 3*h - 24. Suppose -4*q - 98 = -2*u, 2*u = -h*q + 133 - 3. Does 19 divide u?
True
Suppose -4*n - 22 = 5*i - 3*i, 22 = -2*i + 4*n. Let p = 14 + i. Suppose h + 1133 = p*d + 2*h, d + 2*h = 381. Does 55 divide d?
False
Let v(l) = -l**3 - 7*l**2 + 11*l + 4. Let t(q) = q**3 + 2*q**2 + q + 3. Let u be t(-3). Is 9 a