44/55 - (-704)/20. Is ((-4131)/t)/((3/(-4))/3) a multiple of 17?
True
Let m(s) be the first derivative of s**4/4 - 16*s**3/3 - 27*s**2/2 + 6*s - 20. Is m(18) a multiple of 21?
True
Let l(d) = -14*d**2 - 84*d + 2. Let o be l(-6). Is 3 a factor of (o - 3)/((20/45)/(-4))?
True
Let k = -135 - -253. Suppose -k*t = -115*t - 1827. Is 56 a factor of t?
False
Let r = 121986 - 82618. Is r a multiple of 89?
False
Suppose 0 = 189*p - 188*p + 2*q - 134, -q = -p + 125. Is 63 a factor of p?
False
Let k(t) = 41*t**2 + 161*t + 840. Is k(-6) a multiple of 25?
True
Suppose w - 2 = -2*f + f, -3*w + 6 = 5*f. Is 12 a factor of 1/(-1) + (615 - 0 - w)?
True
Let c(k) = -9*k. Let l = -125 + 125. Suppose 2*d - 2*m + 5*m + 25 = 0, l = 4*d - 3*m + 77. Is 16 a factor of c(d)?
False
Suppose 1288 + 32 = -6*h. Suppose 0 = -3*x - 9, 4*m - x - 67 = -1360. Let i = h - m. Is 13 a factor of i?
True
Let q(o) = o**3 - 2*o**2 - o + 9. Let m be q(0). Suppose 0 = -4*d + d + m, -d - 76 = -g. Is g a multiple of 10?
False
Let t(v) = -4*v**2 - 6*v + 30. Let y be t(-7). Let a(w) = 135*w - 4. Let o be a(-2). Let d = y - o. Is 30 a factor of d?
True
Is 226 a factor of -15 + 8 + 462 - (9 - 6)?
True
Is 5 + (4 + 337344/(-36))*(-12)/10 a multiple of 6?
False
Let w(l) = 25*l + 17. Let h be w(-4). Let m = 86 + h. Suppose 36 = 2*z + 4*y, -m*y + 7*y = 5*z - 76. Is z a multiple of 8?
True
Suppose -12 = g - 3*k, 3*g + 3*k - 14 = 2*k. Is ((-30381)/(-82))/(1 - g/6) a multiple of 75?
False
Is 12/14 + 5382/42 a multiple of 3?
True
Let b(r) = -r. Let s be b(6). Let o(n) = -n**3 + 9*n - 6. Let u be o(s). Suppose 2*h - u = -12. Does 7 divide h?
False
Let o = 156 + -58. Suppose r + x = 346 + o, 5*r - 4*x - 2211 = 0. Is 8 a factor of r?
False
Let n(h) = -h**3 - 6*h**2 - 11*h - 10. Let m be n(-4). Is 16 a factor of 1*(-49518)/(-119) - m/17?
True
Suppose r = -2*r + 21. Suppose 84 = -7*c - r*c. Let h(b) = 5*b**2 + 13*b + 33. Is 9 a factor of h(c)?
True
Suppose 2*v = -363 - 419. Let q = -105 - v. Suppose q = 5*i - 2*p - 104, -i + 3*p + 65 = 0. Is 8 a factor of i?
True
Let j(l) = 2*l**2 - 18*l + 19. Let g be j(1). Let y be ((-8)/6)/(6/(-9)). Suppose -g*k = 3*v - 24, -2*v - v + 9 = -y*k. Is 3 a factor of v?
False
Let l(w) = 3864*w - 274. Does 16 divide l(1)?
False
Is 30 a factor of -7 + 1496 + (-11 - -9)?
False
Suppose -5*n = -21*n - 288. Let k be (-3)/(n/8) - (-5)/3. Suppose 3*q + 9 = 0, -2*i = 2*q - k*q - 33. Does 4 divide i?
False
Let j = 118 + -113. Suppose 3*d - 699 = j*a, -9*d = -8*d + 5*a - 213. Does 19 divide d?
True
Suppose 435*l - 2 = 434*l. Suppose l*z - 4*r = 926, -8*r + 15 = -11*r. Is 12 a factor of z?
False
Let y = 51 - 47. Suppose 1 = y*b + 9. Is 26 a factor of 4*b/((-4)/39)?
True
Suppose -u = 4*q - 46, 4*u + 4*q - 2*q - 128 = 0. Let b = -123 - -174. Let a = b - u. Is a a multiple of 5?
False
Let s(l) = l**2 - 8*l + 122. Let n(p) = 5*p - 57. Let x be n(8). Does 15 divide s(x)?
False
Let x(j) = -j**2 - 6. Let b(o) = o**2 - 6*o - 13. Let p be b(8). Let m be x(p). Is (-23)/(-2) - m/30 a multiple of 2?
True
Let v be -29*1*((-1)/1 - 6). Suppose -3*b + k - v + 683 = 0, 4*b - 2*k - 638 = 0. Suppose -19 = -2*m + b. Is m a multiple of 18?
True
Let y(u) = 31 + u**2 - u - 67 + 56. Let k(m) = -5*m - 8. Let s be k(-4). Is 13 a factor of y(s)?
False
Let s(i) = 8*i - 8*i**2 + 15*i**2 - 2*i**2 + 3. Is 77 a factor of s(6)?
True
Let y(z) = 13*z**2 - 12*z - 269. Does 62 divide y(-15)?
False
Let l be 3/(135/(-8000)) + 4/(-18). Let x = l + 277. Is 13 a factor of x?
False
Suppose 43 + 26 = 3*c + 4*b, 0 = -c + 2*b + 23. Let t = 24 - c. Suppose -y = t, -65 = -5*d - y + 374. Does 9 divide d?
False
Let z(t) = t**3 - 7*t**2 + 7*t + 1. Let a be z(6). Suppose 8*y = -a*y + 105. Does 7 divide y?
True
Suppose 3*y + 4 = 16. Suppose 4*h = -2*k + 437 + 467, y*h - 904 = k. Is 18 a factor of h?
False
Suppose -4*n + 103 = -161. Let g = -181 - -262. Let h = g - n. Does 15 divide h?
True
Let v(t) = 303*t**3 + 4*t**2 + 6*t - 1. Let f(y) = 304*y**3 + 5*y**2 + 7*y - 2. Let k(j) = 2*f(j) - 3*v(j). Is 49 a factor of k(-1)?
False
Suppose -2910 = 33*l - 34*l - g, 0 = 4*l - 3*g - 11640. Does 194 divide l?
True
Let x be (-3168)/33*1/((-1)/(-178)). Is x/(-30) - (-10)/25 a multiple of 37?
False
Let u be (-6)/2 - (35 - 146). Let m = u + -37. Is m a multiple of 20?
False
Let p be ((-17)/(-4) - (-13)/(-52)) + -6. Is 30 a factor of 75*(7 + p - (-85)/(-25))?
True
Let i(w) = 3*w**3 - 20*w**2 - 30*w - 171. Is i(22) a multiple of 31?
False
Suppose -74*s + 2 = -73*s. Let o be 0 + (-4)/s*-1 - 23. Let p(g) = -2*g + 35. Is 7 a factor of p(o)?
True
Suppose -4*v - 2*w = -127102, 5*v - 12*v + 222433 = 2*w. Is 43 a factor of v?
True
Suppose -10*f = -80, 3*f = -2*a + a + 6373. Is a a multiple of 7?
True
Let g(b) = 5143*b - 8103. Is g(7) a multiple of 72?
False
Let b(v) = -704*v - 1872. Is 130 a factor of b(-13)?
True
Let g be 1*2/1*1. Suppose g = 5*t + 5*v - 8, t + 6 = -3*v. Suppose -10 - t = -c. Does 4 divide c?
True
Suppose 12*g - 15*g = 5*i - 22446, -10*g + 22460 = 5*i. Does 12 divide i?
True
Let v(m) = 60*m**2 - 2*m - 9. Suppose 8*z - 23 - 1 = 0. Does 19 divide v(z)?
False
Let j(w) = -w**3 - 6*w**2 + 10*w + 24. Let y be j(-7). Let f(s) = 0 + s**y - 47*s - 3*s**3 + 5 + 34*s - 11*s**2. Is 55 a factor of f(-7)?
False
Suppose s + 1 = 4*n, n + 4 - 8 = -s. Let c(t) = -t**2 + 6*t - 10. Let k be c(s). Let r = k - -70. Is 11 a factor of r?
False
Let d(x) = 2472*x - 9648. Does 9 divide d(24)?
True
Let j be (-2)/8 + (-7804)/16. Let k be (j/(-12))/(3/(-9)). Let b = k + 200. Is b a multiple of 25?
False
Let n(s) = -114*s - 1. Let y(j) = -5*j**3 + 11*j**2 - 7. Let k(r) = 4*r**3 - 10*r**2 + 6. Let u(d) = -6*k(d) - 5*y(d). Let i be u(-5). Is n(i) a multiple of 25?
False
Let y(c) = -c**3 + 10*c**2 - 6*c - 14. Let f be y(9). Let j(s) = -13*s - 3 + 9*s - f*s - 4*s. Is 9 a factor of j(-1)?
True
Let o(d) = -1012*d + 1720. Is o(-17) a multiple of 249?
True
Let m = 72 + -60. Let j(v) = -v**3 + 14*v**2 - 17*v + 8. Let a be j(m). Let o = 234 - a. Is 25 a factor of o?
False
Let s = 139 + -134. Suppose 668 = s*c - 117. Does 6 divide c?
False
Let o be ((5/(-2))/(-1))/(1/586). Suppose 0 = 5*m - i - 1447, -5*m + 6*i - 11*i + o = 0. Is 10 a factor of m?
True
Suppose -2*j + 67 - 3 = 0. Suppose j = -4*q - 0. Is 15 a factor of (q + 4 + -3)*1*-19?
False
Let g = -72 - 46. Let a = g + 170. Suppose -5*f + a = 3*k, -5*k = 5*f + 46 - 126. Is 7 a factor of k?
True
Suppose g + 10 = 6*g, 5*g + 488 = 2*h. Let z(u) = -u + 8. Let t be z(8). Suppose 6*l - 1167 + h = t. Does 11 divide l?
False
Suppose -330*s - v = -332*s + 4849, 5*v = 2*s - 4853. Is s a multiple of 13?
False
Suppose -5*n - 2*h + 32 = 0, -3*n + 0*h = -2*h - 32. Suppose n*j = -4*j + 2496. Is j a multiple of 16?
True
Let k be (1 - -3)*3/(-12). Let i be 774 + 4 - (-1)/k. Suppose -4*x - 3*n + 443 = -178, -5*x = 4*n - i. Does 25 divide x?
False
Suppose -2*u - 3*f = u - 2532, 2*f - 2528 = -3*u. Let h = 1548 - u. Is h a multiple of 59?
True
Let z be (-5 - 747/27)*(-3)/2. Suppose 0 = z*s - 15*s - 28560. Does 12 divide s?
True
Let c be ((-65)/(-15))/(1/3). Let w(j) = 13 - 79*j + 19 + c - 1. Is w(-4) a multiple of 60?
True
Suppose -2*p = 4*v - 1276, 0*p + 1907 = 3*p - v. Let n = p - 516. Is n a multiple of 4?
True
Let k(p) = -33*p + 233. Suppose -3*g = g + 92. Does 23 divide k(g)?
False
Let d = -22990 + 23135. Does 5 divide d?
True
Let g = -5 + 25. Suppose -2226 = -14*s - 7*s. Let t = s - g. Is 22 a factor of t?
False
Suppose 4*l - 90 = -5*h + 15, 0 = -h + 5. Does 11 divide (15*1/l)/(2/352)?
True
Let s(l) = -l**3 - 26*l**2 - 170*l - 7. Is 21 a factor of s(-9)?
False
Let c(y) = y**3 - 12*y**2 + 12*y - 2. Let i be c(11). Suppose 5*z = -1 - i, 5*z = -3*f + 743. Is 38 a factor of f?
False
Let y(f) = f**2 + 4*f + 4. Let t(s) = -s - 1. Let n be t(-1). Suppose 5*r + 2 + 23 = n. Is 3 a factor of y(r)?
True
Let i(f) = -4*f**3 + 2*f - 4. Let l = -275 + 272. Is i(l) a multiple of 14?
True
Let y(q) = -12*q**2 - 3*q + 4. Let n(m) = -m**2. Let j(t) = 4*n(t) - y(t). Let h be (1*-6)/(-11 - -13). Is 36 a factor of j(h)?
False
Let d = 3289 + -1475. Is d/14 - (-144)/(-252) a multiple of 7?
False
Suppose 0*u - 80 = -2*u. Suppose 37*d + 828 = u*d. Is d a multiple of 23?
True
Let w be (1 - (-390)/8)/((-6)/(-24)). Let t = w + -93. Does 4 divide t?
False
Suppose -2*t = 7*m -