se
Suppose 270 = 3*k + 2*k. Let h = k + 36. Suppose 0*v + 5*y = v - h, 8 = -4*y. Does 16 divide v?
True
Suppose -38*l = -32*l - 5040. Is l a multiple of 140?
True
Suppose -176 = -2*t + 58. Let u = t + 3. Is 30 a factor of u?
True
Let q = -30 - -45. Let j = 15 - q. Suppose -s + 2*c + 37 = j, 99 + 29 = 4*s - 4*c. Is 8 a factor of s?
False
Suppose n + 23 = -2*f + 86, 3*f = 5*n + 75. Let r = f - 28. Does 12 divide (1 - (r + 1)) + 98?
True
Let o(c) = -28*c - 2. Let l(y) = -y**3 - 15*y**2 - 15*y - 13. Let h be l(-14). Let m be (-4 - (-21)/6)*2/h. Is 14 a factor of o(m)?
False
Does 10 divide 5 + (-2 - 12440/(-5))?
False
Suppose 2*s + 1972 + 4356 = 0. Is 15 a factor of (-4)/10 - s/35?
True
Suppose 0 = -27*a + 33*a. Let g be a/1 + -2 + (-8 - -13). Suppose -g*r + 8*r - 150 = 0. Does 4 divide r?
False
Let m(w) = -94*w - 15*w - 28*w - 68. Is 32 a factor of m(-11)?
False
Suppose 106175 = 302*n - 381555. Is n a multiple of 19?
True
Let x(i) = 8*i - 61. Let v be 131/7 - ((-2)/(-7))/(-1). Does 3 divide x(v)?
False
Suppose 205*p = 159*p + 443532. Is 27 a factor of p?
False
Let b(x) = 5*x + 8. Let u be b(-2). Let p be 291*(u - -3 - 0). Suppose -10*n + 399 = -p. Is 13 a factor of n?
False
Let z be 52/(-286) - 92/(-22). Let w be 4941/12 + 3/12. Suppose t + t - w = -z*g, 2 = t. Does 12 divide g?
False
Let o be (-1)/(2*2/(-3900)). Suppose 219 = -14*m + o. Let f = m + -48. Does 3 divide f?
True
Let f(g) = g**3 - g. Let l(j) = -2*j**3 - j**2 - 5. Let x(t) = -3*f(t) - l(t). Let b be x(-2). Suppose 0 = b*r + 1238 - 4263. Does 25 divide r?
True
Let h(d) = 50*d + 103. Let k be h(-2). Suppose k*j - 746 + 404 = 0. Is 44 a factor of j?
False
Let d(g) be the first derivative of 4*g**3/3 + 7*g**2/2 - 3*g + 21. Suppose -12*u = -15*u + 12. Is d(u) a multiple of 12?
False
Let a = 26065 - 13123. Is 81 a factor of a?
False
Suppose -12*x - 57960 = -33*x. Suppose 0 = 6*a - 0*a - x. Is a a multiple of 48?
False
Let o(p) = p**2 + 9*p. Let f be o(-9). Suppose -3*m = 5*l - 23, -8*l + 20 = 4*m - 12*l. Suppose 3*q + 5*n - 161 = 0, f = m*q - q + 3*n - 247. Does 5 divide q?
False
Let k = -403 + 764. Suppose -6*w = -5*l - 3*w + k, 2*w = l - 68. Let j = l - 56. Is 2 a factor of j?
True
Let t be 1080/5*(-18)/(-12). Let k be (-7)/(-2)*120/42. Suppose k*b = 16*b - t. Does 3 divide b?
True
Suppose 25*c - 14259 = 46366. Does 25 divide c?
True
Let v(i) = -8*i**2 - 1042*i - 7. Is 90 a factor of v(-54)?
False
Let w = 696 - 333. Let y = w + -114. Is 8 a factor of y?
False
Let m(r) = -r**2 - 7*r + 11. Suppose -2*i - 3*i = -220. Let y = -50 + i. Is 16 a factor of m(y)?
False
Let d(r) = 5*r + 84. Let g be d(-16). Suppose 2*p - 3*a - a - 224 = 0, g*a = -8. Does 10 divide p?
False
Suppose -k = 16 + 19. Let u = -146 - -195. Let l = k + u. Is l a multiple of 14?
True
Let o(z) = -77*z + 1458. Is o(-14) a multiple of 8?
True
Let a be -22 + 22 - 3/((-3)/131). Let r = 1 + a. Does 33 divide r?
True
Let o be (6/36)/((-1)/(-66)). Let k(a) = 27*a - 72. Is k(o) a multiple of 15?
True
Suppose 22*u = 63 + 157. Let d(l) = -l**2 + 6*l + 61. Is 3 a factor of d(u)?
True
Suppose -19488 = -9*c - 5*c. Suppose -3*j + c = 4*r, -3*r - r - 5*j = -1392. Is 6 a factor of r?
True
Suppose -12*z = -160 - 80. Suppose 6 = -p - 5*a - 1, -4*p - 4*a = -z. Let n(i) = 11*i + 11. Is n(p) a multiple of 11?
True
Let k(p) = 3*p**2 - 144*p + 2437. Does 6 divide k(21)?
False
Suppose 10*o + 28 + 72 = 0. Is 43550/156 + o/(-12) a multiple of 7?
True
Is 321 a factor of 0 + (-3523282)/(-98) + 2/(-42)*-3?
True
Let d(t) = -2*t**2 + 3*t + 1. Let s be d(3). Suppose -4*n + 98 = 3*a - a, a - 5 = 0. Is 3 a factor of n/4 - 5*s/80?
True
Is 85 a factor of 5/(-2) - (3 - 19080)*(-30)/(-36)?
True
Let k(d) = 2*d**2 + d - 11. Let v(q) = q**2 + q - 10. Let t(u) = 3*k(u) - 4*v(u). Let c be t(2). Suppose -c*x + 343 = -6*x. Is 15 a factor of x?
False
Let k(c) = -c**3 - 39*c**2 + 39*c - 24. Let a be k(-40). Let d = -12 + 142. Let u = d - a. Is u a multiple of 20?
False
Let p(s) = 138*s**2 + s + 3. Suppose -5*x - u = -7, 0*u = 3*x + 2*u. Does 14 divide p(x)?
False
Suppose -3*s + 5*o = -26, -2*o = 2*s - 5 + 9. Suppose s*w + 4*p - 460 = 0, -w - 2*w + 685 = p. Suppose -i = -w + 38. Does 38 divide i?
True
Let z = 73 + -114. Is (-16)/168 - z*80/42 a multiple of 26?
True
Let u(h) = h**2 + h - 1. Let v(x) = 406*x**2 + 3. Let z(p) = 2*u(p) + v(p). Does 21 divide z(-1)?
False
Suppose 9 = 5*j + 3*u, j = u - 3*u - 1. Is (10 - (3 + j)) + 44*1 a multiple of 3?
True
Suppose 2 = 2*y + 2*u - 18, 6 = 3*u. Suppose -i - 2*n = -y, -3*i + 9 + 5 = n. Does 19 divide (i/6)/(14/21) + 37?
True
Is 4 a factor of (-1 + 146/10)/((-47)/(-235))?
True
Suppose 5309 + 109023 = 202*r. Is 2 a factor of r?
True
Is (-8)/(-5) + 52808/20 a multiple of 22?
False
Suppose 207*k - 206*k - 490 = 0. Suppose -29*a = -31*a + k. Is a a multiple of 15?
False
Let g = -614 + 854. Suppose 2*w + 2*u - g = -0*w, -4*w = 2*u - 472. Does 4 divide w?
True
Suppose -5*a = 2*a - 63. Suppose 2*q = p + a, 11 = 4*p - 1. Let n(w) = 2*w**2 - 3*w + 17. Is 35 a factor of n(q)?
False
Let p(c) be the first derivative of -23*c**2 - 37*c - 24. Let z(i) = 23*i + 18. Let s(q) = -6*p(q) - 13*z(q). Does 19 divide s(-6)?
False
Suppose 36*i - 30*i - 4584 = 0. Suppose i = a - 4*q, 3*q = 2*a + q - 1552. Does 15 divide a?
True
Let t = -8 + 3. Let g be (-8 - 0)/((-18)/81*-9). Is (3 + t)/(g/66) a multiple of 4?
False
Suppose 10*d = 8*d + 3*h + 3626, 5*h = -20. Is 67 a factor of d/9 - 32/(-144)?
True
Is 12107 + 5 + (7 - -7 - 6) a multiple of 60?
True
Let f(i) = -2*i**2 - 55*i + 2. Let x be f(-26). Suppose 4*t = 4*c + x, -18*t + 14*t + 90 = c. Is t a multiple of 5?
False
Suppose 12*p = 41 - 5. Suppose 12 = 2*x + 4*k + 6, -x + 5*k = -p. Is 2 a factor of x?
False
Let i(s) be the second derivative of -59*s**5/20 - s**4/6 - s**3/2 - s**2 - 16*s. Let m be 3/15 - 6/5. Does 20 divide i(m)?
False
Suppose -6*k - u = -4215, 22*u - 26*u = -5*k + 3498. Does 6 divide k?
True
Let p(n) = 2*n**3 - 3*n**2 - 19*n - 30. Is p(11) a multiple of 4?
True
Suppose 18140 = -4*g + 6*g + 1204. Does 103 divide g?
False
Let z(c) = 48*c**2 - 16*c - 16. Let i(s) = 16*s**2 - 5*s - 5. Let j(n) = 10*i(n) - 3*z(n). Suppose 0 = -0*h + 2*h + 2. Is 4 a factor of j(h)?
True
Let s be -3 + -1 + (10 - 70)/(-10). Suppose 2*d = -2*d + 200. Suppose g + s*p - d = 0, 4*p + 320 = 5*g - 0*p. Is 30 a factor of g?
True
Let x(k) = -14*k - 5. Let q(y) = y**3 + 11*y**2 - 24*y + 16. Let l be q(-13). Let o be x(l). Suppose n - o = -4*h - 0*n, 3*h - 5*n = 130. Is 5 a factor of h?
True
Is 25 a factor of 6118 + -4 - (-280)/(-20)?
True
Let v(o) = -54*o**3 - o**2 - 2*o - 1. Let l be v(-1). Let n = l + -44. Suppose -6*w = -n*w + 220. Is w a multiple of 7?
False
Let l(f) = f**3 - 22*f**2 - 19*f - 28. Let k be (((-158)/10 - -2)*5)/(-3). Is 4 a factor of l(k)?
True
Let a(i) = -9*i + 12 - 53*i + 9 - 11. Is 36 a factor of a(-1)?
True
Let z = 11957 - 6056. Is 14 a factor of z?
False
Let k = 2705 + -981. Is 9 a factor of k?
False
Let t be ((-28)/35)/((-4)/10). Suppose -t*d + i = d - 17, -i - 2 = 0. Suppose d*a - a - 885 = -3*g, -5*a = 0. Is 10 a factor of g?
False
Let w = 0 + -1. Let y = 7 + w. Suppose -2*g + 3*g = y. Does 4 divide g?
False
Let t = -17626 - -19558. Is t a multiple of 21?
True
Let q be (1 + -2)/(4 + (-805)/201). Suppose 4*d - 2*c = 260, -3*c + q - 63 = 2*d. Is 12 a factor of d?
False
Suppose 5*z - 1482 + 4567 = 0. Let q = -287 - z. Does 30 divide q?
True
Let a(m) = -m**2 + 18*m + 13. Let k be a(-11). Let o = 516 + k. Is o a multiple of 30?
True
Let y = -7058 + 32452. Is 63 a factor of y?
False
Let c = -54 - -57. Suppose y = 5*o + 15 - 2016, -2*y - 1202 = -c*o. Is 46 a factor of o?
False
Let u be (-10)/15 - (-28910)/30. Let s(h) = h**3 - 3*h**2 + 4*h - 2. Let b be s(3). Suppose -5*o - b*v + u = -6*v, 5*v + 600 = 3*o. Does 15 divide o?
True
Is (-8)/(-28) + (-18052)/(-28) + -3 + 0 a multiple of 3?
True
Suppose 2*i + 17590 = k, -5*k + 10*i + 87950 = 4*i. Is k a multiple of 9?
False
Suppose 5*l + 60*y = 55*y + 159335, -l + 7*y + 31835 = 0. Is l a multiple of 129?
True
Let m(t) be the third derivative of -t**5/60 - 11*t**4/24 - 5*t**3/3 + 46*t**2. Let g be m(-10). Let v(r) = 2*r**3 + r**2 + r + 232. Does 62 divide v(g)?
False
Suppose 5*y = 29*y - 0*y - 344160. Does 239 divide y?
True
Let k = -278 - -8285. Does 1