10). Let d = 286 - k. Is 27 a factor of d?
True
Let n be (-1796)/(-10) - 6/10. Let t = n - 111. Does 34 divide t?
True
Let s = -417 - -381. Is 3 + s/(-20) + (-8)/(-40) a multiple of 4?
False
Is ((-4)/8)/((-10)/273740) a multiple of 43?
False
Let w(p) = -8*p - 17 + 7*p**2 + 5*p**2 - 9*p**2. Does 4 divide w(10)?
False
Suppose -5*a = -4*x - 6 - 13, -3*x = -a + 6. Is -12*((-159)/6 - x) + 1 a multiple of 26?
False
Let t(h) = 13*h + 18. Let r be t(-1). Suppose 0 = -2*o + 2, -1270 = -7*j + 2*j + r*o. Does 15 divide j?
True
Let z = -639 + 640. Is 276 + z*(0 - 1) a multiple of 9?
False
Let f = 3 - 1. Suppose -2*s - 5*t = -125, 0 = s - f*t - 24 - 16. Suppose 45*j = s*j - 150. Does 7 divide j?
False
Suppose -11*v - 2*i = -7*v - 3164, -3*v + 4*i + 2362 = 0. Suppose -87 = 4*m - 2007. Suppose -5*a = 5*k - 2*a - v, -3*k - 3*a + m = 0. Is k a multiple of 31?
True
Let i = -27335 + 27676. Is 40 a factor of i?
False
Suppose 2*p = 3*i + 27, 5*i + 41 = 4*p - 12. Let q = p - -4. Let y = -3 + q. Is 3 a factor of y?
False
Let f be 542/(-15) + 12/90. Is 15*3/f*-28 a multiple of 2?
False
Let k(b) = 2*b**2 + 56*b + 9. Let i be k(-23). Let h = i - -431. Is h a multiple of 11?
False
Let w(g) = -5*g + 65. Let f(a) = -a**3 - 15*a**2 - 16*a + 3. Let l be f(-14). Suppose -26*b = -l*b. Does 10 divide w(b)?
False
Let n(f) = f - 1. Let d(h) = 13*h - 15. Let l(q) = d(q) - 6*n(q). Suppose -y = -3*y + 6. Is 11 a factor of l(y)?
False
Suppose 4*r - 5*g - 31959 = 0, -5*r + 7952 = 5*g - 31963. Is 121 a factor of r?
True
Suppose s + 3 = -4*c, 0 + 10 = 2*s. Is 16 a factor of -15 + 20 + (c - -685)?
True
Let x = -1206 + 2219. Is x/5 + 1/(15/(-9)) a multiple of 15?
False
Let d(x) = -2570*x - 16817. Is 24 a factor of d(-19)?
False
Suppose 0 = -5*d + 10. Suppose -d*w - 21 - 91 = 0. Let y = w - -109. Is y a multiple of 14?
False
Suppose 5*o = -4*f + 22135, -5*o + 5*f + 18289 = -3891. Does 7 divide o?
True
Suppose 0 = -852*c + 859*c - 1883. Let p = -72 + c. Is 38 a factor of p?
False
Let b be (16/4 - 4) + -17. Let v = b + 26. Suppose 294 = v*j - 2*j. Is j a multiple of 42?
True
Let j = 1724 - 1137. Let p = j - 191. Does 11 divide p?
True
Suppose -460 = 3*d + d. Let a = 680 + d. Suppose 0 = 6*k - k - a. Is 14 a factor of k?
False
Let o = -345 + -122. Let y = o - -791. Suppose 6*h = 18*h - y. Does 27 divide h?
True
Suppose 0 = t - 8*x + 5*x - 36, -2*t - 4*x + 92 = 0. Let r be (t/28)/(3/(-4)). Does 3 divide (-30)/(-2 + 1) + r/(-2)?
False
Suppose 27*g - 24*g - 27 = 0. Suppose 248 = w - 5*x, -2*x - 1055 + g = -4*w. Does 13 divide w?
False
Let m(j) = -28 - j**3 - 9*j + 2*j**2 + 18*j**2 - 37*j**2. Is m(-18) a multiple of 14?
False
Suppose 0 = 236*y - 248*y + 29520. Is y a multiple of 123?
True
Let v = 77 + -37. Suppose v - 1 = 3*i. Let n = i + -4. Is n a multiple of 3?
True
Let k(j) = 4*j - 6. Let w be k(2). Does 3 divide (54/(-24))/(w + (-129)/60)?
True
Let o be 12*6/(-16)*28/(-21). Suppose 9 = -3*d + o*d. Suppose -4*y + 35 = -d*s, y - 14 = 2*s - 4. Does 8 divide y?
True
Let j = 17 - -11. Suppose k + 25 = j. Suppose -10*z + k*z + 945 = 0. Is z a multiple of 27?
True
Suppose 5*z = 4*q - 75163, 0 = 75*q - 74*q + 2*z - 18768. Is 5 a factor of q?
False
Let g be (-21 - -2)*26 + 1. Let h = -306 - g. Let k = -106 + h. Does 14 divide k?
False
Let a = 98 - 47. Let m = -36 + 39. Suppose 8*q - a = -m. Is 3 a factor of q?
True
Let b be -5*(-4 - (2 + (-20)/4)). Let p(c) = -c**3 - 5*c**2 + 7*c - 4. Let x be p(-7). Suppose -4*w - 3*n + 51 = -0*n, -x = -2*w + b*n. Is 3 a factor of w?
True
Let c(m) = -27 + 3*m + 7 + m**2 + m**3 - 8 - 5*m**2. Is c(9) a multiple of 79?
False
Let l(i) = i**3 - 2*i**2 + 3*i - 16. Let m be l(3). Suppose 3*s - 1101 = -m*j, 3*s - 5*j - 1092 = -10*j. Is 12 a factor of s?
False
Let y be ((-54)/15)/(2/((-40)/(-4))). Is 50 a factor of -20*y/(-12)*-25?
True
Let h(q) = 77*q**2 - 75*q - 451. Is h(-6) a multiple of 17?
True
Let d = 39 - 7. Let j = d - 8. Suppose -4*l + 44 = -j. Is 11 a factor of l?
False
Let i(t) = -t + 7. Let w be i(5). Suppose -f - 4*k = -356, 2*f + 7*k - 724 = w*k. Suppose -f = -g - 3*g. Is g a multiple of 14?
False
Let l(m) be the first derivative of -25*m**2 - 19*m - 7. Let n be l(-2). Let i = 4 + n. Does 15 divide i?
False
Let u(s) = 5*s**2 + 10*s + 2. Suppose -12 + 0 = 3*y. Let f be u(y). Let n = f + 38. Is 16 a factor of n?
True
Let o(h) = -h**2 + 27*h - 22. Suppose f = -5*f + 132. Let u be o(f). Suppose 25 = 5*z, -u = -4*c - 4*z + 44. Is c a multiple of 3?
False
Suppose -42 = -4*t + 2*f, 5*f + 5 + 0 = 0. Suppose t*d = 2170 + 920. Is d a multiple of 24?
False
Suppose c = -5*w + 39902, -3*w + 2*c + 17884 = -6052. Is 12 a factor of w?
True
Is ((-336)/20)/(885/(-125) - -7) a multiple of 21?
True
Let w be (-239)/1 + (-28 - -22). Let m = -182 - w. Is 7 a factor of m?
True
Let l be ((-1)/(-3))/((-12)/(-36)). Let u(z) = 222*z. Does 5 divide u(l)?
False
Let c = 78422 + -43842. Does 19 divide c?
True
Let a be (32/(-12))/((-7)/756). Let w = 11 + 2. Suppose w*l + a = 15*l. Does 16 divide l?
True
Let w = 2225 - -1423. Is w a multiple of 16?
True
Suppose -608230 - 29458 = -22*c + 41408. Is c a multiple of 32?
False
Let i(t) = 2*t - 11. Let m be i(8). Suppose -4*p = -27 + 11, 32 = 4*x + m*p. Suppose x*f = -0*f - 3*c + 306, -5*c = -4*f + 363. Is f a multiple of 15?
False
Let m be (-38)/3 + (-12)/(-18). Let z be (-1 - 1)*(-116)/24*-3. Is 7 a factor of (m/(-4))/(-1) - -1 - z?
False
Suppose -6*f - 8 = 16. Let n(m) = 15*m**2 - 5*m - 36. Is 32 a factor of n(f)?
True
Let v(n) = -n**2 - 31*n + 99. Let s be v(-42). Does 4 divide 5/(-15)*(s - 3)?
False
Suppose 124 = 6*y - 122. Suppose -y = -8*c - 9. Suppose -2*o - 156 = -4*o + 4*x, -c*o = x - 357. Does 36 divide o?
False
Suppose -209853 = -42*x + 9385 + 49478. Is x a multiple of 46?
False
Suppose -1373440 = -213*n + 387005. Is n a multiple of 19?
True
Let z = 79 - 75. Suppose -4*t - 5*v = -777 - 170, 4*v + 992 = z*t. Is t a multiple of 23?
False
Suppose d + 5*x - 4*x - 3463 - 5143 = 0, 0 = -2*x. Does 13 divide d?
True
Let x = 19324 + -12521. Does 19 divide x?
False
Let u(m) = 3*m**2 + 14*m - 13. Let r be u(1). Suppose -r*q + 571 = -329. Is 25 a factor of q?
True
Let k(l) = -6*l + 70. Let r be k(11). Suppose b - 171 + r = 0. Does 20 divide b?
False
Let u = -21 - -30. Suppose -2486 = u*l - 31*l. Is 3 a factor of l?
False
Let c(x) = x**2 - 7*x + 32. Let n be c(-8). Suppose 3*l - 1066 - n = 0. Is l a multiple of 14?
True
Is 56/(-16) + 12/8 - -7180 a multiple of 37?
True
Suppose -5*z - 2336 = 10454. Let l = -1497 - z. Is l a multiple of 21?
False
Let h(a) = 2*a**2 - 35*a - 54. Let p be h(19). Suppose -4*o + 2*o - 159 = -f, -p*o - 15 = 0. Is 5 a factor of f?
False
Suppose -7*a = -2*a + 5. Let i be -1 + 1 - (3 + 20/(-5)). Is 24 a factor of (i + a - (-21)/(-7)) + 123?
True
Suppose 9 = 4*z - z. Let n be (-224)/(-49) - -5 - z/(-7). Is (-1 - 172/20)*n/(-2) a multiple of 48?
True
Let u(g) = 16*g - 53. Let n(k) = -31*k + 107. Let f(i) = 4*n(i) + 7*u(i). Let w be f(0). Suppose 62*y = w*y + 150. Is 3 a factor of y?
True
Suppose -5*m - 2*w - 3*w = -260, 3*w - 3 = 0. Let b = 49 - m. Is 8 a factor of (b - -1)/((-4)/64)?
True
Let w(b) = 29*b**3 + 12*b**2 - 53*b + 17. Is 116 a factor of w(4)?
False
Let v(m) = -m**3 + 5*m**2 - m + 9. Let c(z) = z**3 - 10*z**2 + 16*z - 6. Let h be c(8). Let j(g) = -4*g - 19. Let w be j(h). Does 3 divide v(w)?
False
Let h(a) = 6*a - 89. Let u be h(23). Does 9 divide (0 + 7)/u - (-944)/7?
True
Let o = 2473 - 5191. Let p = 1366 - o. Is (-1)/4 - p/(-16) a multiple of 45?
False
Let w be (16/24)/((-2)/(-12)*1). Does 3 divide (18 + -2)*(-36)/(-32)*w?
True
Let m(f) = 131*f**2 + 253*f + 1705. Does 30 divide m(-7)?
False
Let b = 4 - 14. Let a be 4*(-1)/b*275. Suppose -8*n + 3*n + a = 0. Is 3 a factor of n?
False
Let b be (37*(-8 - -4))/2. Suppose 2*o + 1203 = 2*s + 3*s, 0 = -2*o - 8. Let g = s + b. Is g a multiple of 15?
True
Let j(y) = 88 + 109*y**2 + 3*y - 51*y**2 - 72*y**2 - y**3. Is j(-17) a multiple of 38?
False
Let g = -29 - -50. Let b(l) = -3*l**2 - 3*l. Let v be b(-2). Let n = v + g. Is 5 a factor of n?
True
Let z = -70 + 72. Suppose x = -z*x + 33. Suppose -231 + x = -2*p. Does 22 divide p?
True
Suppose -5*f - 4*i = -172, 7*i = -f + 9*i + 26. Suppose 4*v - 4*d = f, -5*v - 4*d + 78 = 20. Is 2 a factor of v?
True
Let p = 58 - 53. Let