et j(o) = -18*o - 85. Let g(y) = 3*j(y) + 4*m(y). Is 4 a factor of g(-3)?
False
Let l be (72/14)/(16/56). Is 20 a factor of 1/(-2)*(-237 - l/2)?
False
Suppose 3*t - 6*j + j + 14 = 0, 2*t = -5*j + 24. Let s be 27/2 - t/4. Does 5 divide s + 23 - (-6 + 2)?
True
Let t be ((-230)/(-69))/(((-20)/(-42))/5). Does 81 divide (1080/t)/((-30)/(-945))?
True
Suppose 1622 = 2*z - 1250. Suppose -10*i - 336 + z = 0. Does 5 divide i?
True
Let s = -10164 - -20644. Is s a multiple of 8?
True
Let g = -4120 - -4432. Is g a multiple of 24?
True
Suppose -2*h + 65 = -5*x, 4*h = 5*h - 5*x - 25. Does 13 divide (-5)/h - 18205/(-40)?
True
Let i(k) = k**3 + 7*k**2 + 8*k - 12. Let x be i(-5). Let y be (-4)/6 + (x - (-17)/3). Suppose -3*h = -5*o - 49, y*h - o - 55 + 2 = 0. Is h a multiple of 2?
True
Let o(k) = -k**3 - 20*k**2 - 21*k + 16. Let p(u) = -u**3 - 21*u**2 - 22*u + 16. Let g(a) = 6*o(a) - 5*p(a). Suppose 31*v - 8*v + 322 = 0. Is 5 a factor of g(v)?
False
Let k = -2865 + 4919. Suppose 0 = -3*u - 4*q + k, q = 3*u - 3*q - 2086. Is 23 a factor of u?
True
Let a be 3*((-33)/(-9) + 0). Let x(d) = 4*d**3 - d**2 - 3*d - 7. Let m be x(5). Suppose -8*p - m = -a*p. Is p a multiple of 34?
False
Let i(m) be the second derivative of m**7/420 + m**6/90 + 11*m**5/120 - m**4/4 - 19*m. Let t(v) be the third derivative of i(v). Does 15 divide t(-4)?
True
Let z be 91 + (-5)/1 + 4. Suppose -4*y + z = 2*y. Does 16 divide (-20)/(((-20)/y)/4)?
False
Let o be (64/10)/(((-1)/(-10))/1). Let f = -36 + 68. Let u = o - f. Does 16 divide u?
True
Let z = 34 - 29. Suppose -1 = -3*d + z. Suppose k + 5*j - 2 - 12 = 0, 98 = d*k - 4*j. Is 13 a factor of k?
True
Let q(u) = -10*u**3 - 9*u**2 - 18*u + 15. Let i(y) = 22*y**3 + 18*y**2 + 37*y - 30. Let t(d) = 6*i(d) + 13*q(d). Is 11 a factor of t(7)?
True
Is (-213000)/((-20)/(-2))*(56/(-20) + 2) a multiple of 12?
True
Let m = -322 - -353. Let u(a) = 12*a - 137. Is u(m) a multiple of 9?
False
Let k be (-1)/4 + 5211/108. Let u = 288 + k. Does 28 divide u?
True
Let k be ((-60)/(-5))/((-12)/(-8)). Suppose k*z - 9*z = -5. Let r(j) = j**2 + 8*j - 5. Does 30 divide r(z)?
True
Let m = -22 + 28. Suppose 4*a - m*a + 536 = 0. Suppose -t + 2*k + a = 2*t, 4 = k. Does 46 divide t?
True
Suppose 8*m - 4*m = 852. Suppose -7*x + m = -46. Let f = x + -16. Is f a multiple of 5?
False
Suppose -c - 3*k = -2 - 11, -18 = -2*c + 2*k. Let l be (-1344)/c*(9 - 14). Does 10 divide l/66 - 4/22?
True
Let b(p) = -3*p**2 + 40*p - 7. Let c = -75 - -82. Does 3 divide b(c)?
True
Suppose -9 = 5*q - 29. Suppose 4*z + 305 - 1689 = -2*r, -1016 = -3*z + q*r. Is z a multiple of 24?
False
Let x(y) = -y - 3. Let h(l) = -86*l - 93. Let s(w) = -h(w) + 3*x(w). Does 50 divide s(2)?
True
Let t = -356 - -575. Suppose -218*b + t*b - 66 = 0. Does 4 divide b?
False
Let d = -82 - 37. Let z = 539 + d. Is z a multiple of 70?
True
Let x = 3464 - 3097. Let y(g) = 5*g**2 - 4. Let p be y(5). Suppose -2*k + k = -c + p, -x = -3*c + k. Is c a multiple of 10?
False
Let j(l) = 538*l**2 + 241*l + 979. Is 9 a factor of j(-4)?
False
Let i(f) = -49*f**3 + 24*f**2 + 59*f - 15. Does 8 divide i(-4)?
False
Suppose 0 = -4*x - 95*s + 90*s + 43434, 2*x - 21726 = 2*s. Is x a multiple of 7?
False
Is 1*228*((-2420)/(-60) + 12) a multiple of 38?
True
Let j be (-2)/(-6) + -1 - (-168)/(-504). Let a(w) = -345*w + 16. Is a(j) a multiple of 19?
True
Let v = 57 + -64. Let h be (-2)/v - ((-452)/(-14) + 7). Is 13 a factor of h*4*11/(-22)?
True
Suppose 4*z - 4*w - 88540 = 0, -2*z = w - 28306 - 15967. Is 13 a factor of z?
False
Suppose -3*m = -5*d - 1, 7*d - 6*d + m = -5. Let j = d + 32. Suppose -6*u + 9*u - j = 0. Does 5 divide u?
True
Let k(i) be the third derivative of -i**8/2240 - i**7/504 - i**6/144 + i**4/2 - 34*i**2. Let v(u) be the second derivative of k(u). Does 17 divide v(-3)?
True
Suppose 5*p + 5*c + 155 = 0, 4*c - 5*c + 62 = -2*p. Let d = p - -37. Is (-4)/(8/d) - (-25 + 1) a multiple of 5?
False
Suppose -2*n - 17 + 13 = 0. Let g(x) = -10*x**3 + 3*x**2 + 2*x + 3. Does 8 divide g(n)?
False
Suppose -21*q - 3*q + 144 = 0. Suppose q*l - 37*l + 20243 = 0. Is l a multiple of 7?
False
Let g = 56 + -62. Let b be -1 - -279 - (2 + 10)/g. Let h = b + -156. Is 31 a factor of h?
True
Suppose -13*t + 22 = -43. Suppose 9*i = t*i + 1584. Is 20 a factor of i?
False
Let q be (44/33)/(4/3)*101. Let h(j) = 5*j**3 + j**2 - 1. Let p be h(1). Suppose -f + 3*v + q = 0, p*f + 3*v + 161 = 720. Does 30 divide f?
False
Is 4 a factor of (-252 - -254)*(-1289)/(-2)?
False
Let r(j) = j**2 + 8*j + 12. Let u(l) be the first derivative of -l**4/4 + 16*l**3/3 - 8*l**2 + 3*l - 3. Let t be u(15). Is 13 a factor of r(t)?
False
Does 16 divide 0 + 2 - (31375/(-20) + 10/(-40))?
False
Suppose -9*i = -17*i + 24. Suppose 0 = 2*s - 3*a - 316, -5*s = -2*a + i*a - 824. Does 2 divide s?
True
Suppose 24*n + 6 + 66 = 0. Is 28 a factor of -7 + 915 - 1/(n/(-15))?
False
Let i(z) be the first derivative of 81*z**4/4 + z**3/6 + z**2 - 34*z + 17. Let n(p) be the first derivative of i(p). Is n(-1) a multiple of 19?
False
Let w(t) = 73*t + 33. Let x be w(4). Suppose l - 1315 = -4*n, 4*l - x = -n - 0*n. Is 39 a factor of n?
False
Suppose 5*t - 2*v - 9813 = 12284, -4*t - 5*v + 17671 = 0. Does 125 divide t?
False
Let r(l) = -l**3 + 30*l**2 - 9*l - 4. Let o be 7/(-2)*(1 - 10 - -1). Is 8 a factor of r(o)?
True
Let c = 8906 - 8904. Suppose 474 = 5*a - 3*m - 36, -5*m = 4*a - 371. Suppose -57 - a = -c*g. Is 39 a factor of g?
True
Suppose -35174 = -2*z + 4*v, 0 = -205*v + 209*v + 28. Is z a multiple of 135?
False
Suppose -3*l + 4*s + 37564 - 12286 = 0, -4*s = -2*l + 16852. Is l a multiple of 218?
False
Suppose j + 3*p - 8967 = 0, -53*j + 55*j - 17976 = p. Does 16 divide j?
False
Let c(a) = -a**2 - 64*a - 19. Let z be c(-21). Let u = z - 104. Is 65 a factor of u?
True
Suppose -8*w + 122166 = 3*p, 22*p - 26*p + 162819 = 3*w. Does 14 divide p?
True
Suppose k - 9 = -7. Suppose -3*m + 960 = 4*a - 0*m, 0 = 5*a - k*m - 1223. Does 27 divide a?
True
Let o = -907 - -641. Let f = o - -304. Is 10 a factor of f?
False
Let x(b) = 4*b**2 + 14*b - 16. Let f be x(-5). Let y(m) = -m**2 + 21*m - 8. Is 3 a factor of y(f)?
True
Is 57 a factor of (-57)/(-9)*(-79 - -979)?
True
Suppose -23818*f - 8024 = -23812*f - 53666. Is 15 a factor of f?
False
Let c = 58 + -60. Does 13 divide 4*c*(-1205)/40?
False
Let w(o) = -4*o - 9. Let y be w(-4). Suppose -14*p = -y*p - 35. Suppose -3*r + 6*r - 491 = -p*q, -q = -4*r - 112. Is 25 a factor of q?
True
Is 75 a factor of (-150)/(((-594)/1232)/27)?
True
Suppose -149*y - 81159 = -735269. Is 33 a factor of y?
False
Let k(t) = t**3 - 5*t**2 + 3. Suppose 0*d + d = 2. Let o(g) = -g**3 + 6*g**2 - g - 4. Let j(q) = d*k(q) + 3*o(q). Is j(7) a multiple of 22?
True
Suppose 0 = 918*w - 849*w - 112677. Does 180 divide w?
False
Suppose 3*w - 5*a = 388 - 58, 5*w - 5*a = 540. Suppose 5*t = -4*d + w, 5*t = 3*t + 10. Is d even?
True
Suppose 5*j - 5 = m, 4*j = -3*m + 34 - 11. Let o be (-14 + 12)/(2/(-4)). Suppose j*x - 2*g - 36 = 0, 0 = -5*x + o*g - 24 + 118. Is x a multiple of 4?
False
Let r = -85 + 85. Does 12 divide (-9 - r)/((-6)/88)?
True
Does 64 divide (-3 - (-2312)/(-8))/(10/(-320))?
True
Suppose 280*d - 39042 = 271*d. Is 119 a factor of d?
False
Let o be 4/14 - 3*(-92)/(-84). Let p(s) = -s**3 + s**2 + s - 3. Let x be p(o). Is (-6293)/(-35) - 2*(-3)/x a multiple of 12?
True
Let x(u) = u**2 + 4*u - 1. Let t be x(-2). Let v be 1 - 1*(2 + -3) - t. Suppose v*f - 192 = 3*f. Is f a multiple of 10?
False
Let s(x) = 36*x + 435. Let i be s(-12). Suppose 0 = -o - o + i*c + 2209, o - 1121 = -4*c. Is o a multiple of 72?
False
Let l be -11 + 133 - 2/(-1). Suppose 1664 = 4*p + l. Is 20 a factor of p?
False
Let d be 1 + -1 + 12 + 24/(-4). Suppose -16 + d = 5*l. Is 11 a factor of l - (-106 + -1 + -1)?
False
Suppose 2*j - 4*d = -18 + 58, -4*d + 10 = 3*j. Suppose -j*a + 3234 = a. Is a a multiple of 48?
False
Suppose -8*q - 54 = 778. Let h = q - -259. Let n = h + -75. Does 6 divide n?
False
Suppose 2*q - 5*q - f = -16, 2*f = -5*q + 28. Is 63 a factor of 123 + q*(36/(-16) - -3)?
True
Let n = -324 - -342. Let q(k) = 19*k + 100. Is q(n) a multiple of 85?
False
Let y = -53 - -753. Is 50 a factor of y?
True
Let g = -132 - 23. Let h be (-2)/(g/(-150) - (-1 + 2)). Let q = h - -65. Is 5 a factor of q?
True
Let c(y) = y**3 