1)*(-6)/(-24). Suppose w - 25 = 2*i + 133, -632 = -p*w - 5*i. Suppose 5*h + 36 = -l + 107, -w = -2*l - 2*h. Is l a multiple of 27?
True
Let k(q) = -7*q - 7. Let z be k(-6). Let g be (-95)/z - (-2)/(-7). Is g - (-472)/(-2 - -6) a multiple of 8?
False
Let h = 171 - 168. Suppose -h*y - 2 = -497. Is 55 a factor of y?
True
Let l(i) = i**2 + 11*i + 4. Let p be (-2 + (-22)/(-8))*56/(-14). Let t be p/((-1)/4 + (-3)/36). Is 23 a factor of l(t)?
True
Let c(p) = 631*p - 2623. Does 20 divide c(62)?
False
Let x = -18022 + 34060. Is x a multiple of 54?
True
Does 83 divide ((-38)/14 - -3) + 20/((-2800)/(-492340))?
False
Let d = 2279 + -2257. Let p(x) = -x**3 - 20*x**2 + x + 2. Let o(w) = 5*w**3 + 79*w**2 - 5*w - 9. Let a(l) = -2*o(l) - 9*p(l). Is 5 a factor of a(d)?
False
Let o = -36932 + 52382. Is 15 a factor of o?
True
Let d(b) = -3*b**3 - 154*b**2 - 208*b - 60. Is 7 a factor of d(-50)?
False
Let y(x) = 45*x + 30. Suppose 2*m - 4*p - 20 = 0, -5*m + p + 40 = 8. Does 13 divide y(m)?
False
Suppose -13*b + 150 = -9*b - 2*p, 2*b = -2*p + 60. Let m = 103 - b. Does 21 divide m?
False
Let o = -39 + 67. Suppose 24*s - 8 = o*s. Is ((-1)/s)/((-478)/120 + 4) a multiple of 4?
False
Let x(n) = n + 2. Let h be x(-2). Suppose 39 = p - 3*j, h*j = -2*p + j + 88. Does 9 divide p?
True
Let k(i) = -i**3 - 5*i**2 + 17*i - 15. Let r be k(-9). Let g = 314 + r. Does 55 divide g?
False
Does 8 divide (-34 + 12)/(2/(-152))?
True
Suppose -45 = -6*t - 9. Suppose -t*p = -330 - 606. Suppose 5*n + 4*m = 404, 0*n - 4*m - p = -2*n. Does 34 divide n?
False
Let i = -42 + 42. Suppose -2*j + 5*p + 1727 = i, -5 = p - 6. Suppose -7*m + 3*g = -2*m - j, 0 = 4*m + 2*g - 706. Is 35 a factor of m?
True
Let j(m) = -m**2 + m + 6. Let l be j(0). Suppose l*i - 10*i = -16. Suppose i*b = -5*b + 594. Is b a multiple of 45?
False
Suppose 0 = -49*i + 32*i + 85. Suppose -i*q + 2*q + 1409 = 4*b, -5*b + 4*q = -1800. Does 9 divide b?
False
Suppose 2*r = -12, -3*r + 7377 + 47005 = 4*n. Is n a multiple of 34?
True
Let v = -67122 + 104004. Is 26 a factor of v?
False
Let y(z) = -5*z - 19*z**3 - 4 + 0 - 14*z**3 + 14*z**3 + 3*z**2. Is 10 a factor of y(-2)?
True
Let a be 17/(((-42)/66)/(-7)). Let c = a - -74. Is c a multiple of 15?
False
Let r be (1*-2)/10 + (-191382)/(-835). Suppose -1 = 3*b + 3*d + 2, 2*b - 2*d = 2. Suppose -4*z + r = 3*q, z - 3*z - 4*q + 122 = b. Does 20 divide z?
False
Suppose 24*l + 24190 = 43102. Is 41 a factor of l?
False
Let t(f) = -5*f**3 + 10*f**2 + 358*f + 4. Is t(-14) a multiple of 184?
True
Let r(d) = d**3 + 27*d**2 - 47*d + 6. Let t be r(-26). Suppose 35 + t = 7*p. Is p a multiple of 27?
False
Let u be 6/2 - (-8 - -7). Suppose 3*j - u*j = -16. Is 22 a factor of j/(-8) + (-4 + 2 - -119)?
False
Suppose -2*w + 1076 = 2*b, -5*w = -5*b - 4*w + 2720. Suppose 2*t = -3*c + b, -2*t + 0*c + 533 = c. Is t a multiple of 6?
True
Let v be (-2)/3 - (-61012)/42. Suppose 0 = 32*p - 10*p - v. Does 11 divide p?
True
Let x(b) = -6*b**2 + 3*b + 3. Let p be x(-2). Let f = 36 + p. Let v(n) = -n**3 + 10*n**2 - 6*n - 9. Is v(f) a multiple of 9?
True
Suppose 223 - 187 = 3*r. Suppose -2*y = 18 - r. Does 26 divide (4/y - -1)*-198?
False
Is 12 a factor of 27/(-9)*(4/54 - 155121/81)?
False
Let p(v) = 68*v**2 + 71*v**2 - 4*v - 135*v**2 - 2. Suppose g + 4*g - 30 = 0. Is 13 a factor of p(g)?
False
Let q be (6 - -6)*(0 + (2 - 1)). Suppose -13*b + q*b + 43 = 0. Is (b - -5)*(-2)/(-4) a multiple of 12?
True
Let y(k) = 657*k**2 - 43*k - 122. Is y(-3) a multiple of 160?
True
Suppose 2*a = -4*b - 50, -2*a + 2*b - 85 = -b. Let v = a + 35. Suppose -5*u + 2*i + 337 = -v*u, -u + 69 = -2*i. Does 7 divide u?
False
Let n(g) = -8 + g - 9 + 23 - 7. Let r(s) = 12*s - 8. Let u(k) = 4*n(k) - r(k). Is 7 a factor of u(-3)?
True
Does 10 divide ((-35013)/44)/(50/120*18/(-100))?
True
Suppose -4366 = -77*v + 147170. Is 4 a factor of v?
True
Let f(l) = -l**3 + 11*l**2 + 13*l + 84. Is 81 a factor of f(11)?
False
Let x = -10854 + 16014. Is 172 a factor of x?
True
Let d(t) be the first derivative of 263*t**3/3 + t**2 + t + 115. Is d(1) a multiple of 14?
True
Let f be 0 - -4 - 6/18*6. Suppose -f*j - 112 + 594 = 2*o, 3*j - 731 = -5*o. Is 49 a factor of j?
False
Let h(n) = 64*n - 52. Let d be h(7). Does 11 divide (-9 - 0)/((-4)/d)?
True
Let a(f) = 3*f**2 + 11*f - 28. Let d(o) = -o - 1. Let m be d(-2). Let k be (-355)/35 + -2 - m/(-7). Is a(k) a multiple of 17?
True
Suppose -63*t - 20*t = 4*t - 261. Let o(m) = m**3 + m + 4. Let r be o(0). Suppose -b - 105 = -3*g - 0*b, r*g + t*b - 140 = 0. Is 11 a factor of g?
False
Suppose 14*o - 51 = 13*o + 3*q, -o = 3*q - 27. Suppose -o*n = -26*n - 12259. Is n a multiple of 37?
False
Let j(v) = 4*v - 11. Let x be j(8). Let w be (-1362)/14 - (-6)/x. Let f = w + 169. Is f a multiple of 11?
False
Let g = 14 - -217. Suppose -g = 31*w - 38*w. Does 3 divide w?
True
Suppose -294 = 6*f - 420. Let l be (2 + 5)*4/14. Suppose 3*m + 580 = 4*a, 3*a - 456 = l*m - f. Is a a multiple of 14?
False
Let c(i) = 3*i**2 - 6*i - 2. Let v = 21 + -26. Let r(z) = -z**3 - 4*z**2 + 6*z + 9. Let j be r(v). Is 17 a factor of c(j)?
False
Let t(x) be the third derivative of x**6/120 + 19*x**5/30 - 15*x**4/8 - 43*x**3/3 + 22*x**2. Is 14 a factor of t(-39)?
False
Let a(l) = -29*l**3 + 17*l**2 - 85*l - 665. Is 102 a factor of a(-7)?
True
Let r be 1 + 0/4 + -1. Suppose r*m + 1025 = 5*m. Is 8 a factor of m?
False
Let b = 392 - 390. Suppose 4*w - 948 = -b*m, 0 = -2*m + 7*m + 5*w - 2385. Is 16 a factor of m?
True
Suppose 2*k + 2486 - 732 = 0. Let z = k + 1142. Is z a multiple of 53?
True
Let d be 7/63*9 + 1. Does 9 divide (9/d + -6)*-54?
True
Let g(y) = 72*y**3 - 4*y**2 - 11*y + 1. Let s be g(-2). Let r = -374 - s. Is r a multiple of 13?
True
Is 117385/1*(-31)/(1860/(-24)) a multiple of 40?
False
Let p = -78 - -73. Let g be 0/1 + (-678)/30*p. Suppose -4*i + 4*r + 236 = 0, -5*r = 2*i - 8*r - g. Does 37 divide i?
False
Let t = -7 + 24. Let h be 282/(7*(-2)/(-63)). Suppose -t*o = 96 - h. Does 14 divide o?
False
Let g = 8826 + -8622. Does 2 divide g?
True
Let k = 162 + -97. Suppose -n = -17 + k. Does 11 divide (n/(-10))/(64/2400)?
False
Suppose 3*v = 4*r - r - 219, 3*v = 4*r - 214. Let b = v - -93. Suppose 6*w - w + 65 = z, 3*w = b. Does 30 divide z?
True
Suppose 44*p - 481 = -5101. Is (-81522)/p - (-4)/(-10) a multiple of 6?
False
Let f(q) = -9*q**3 + 5*q - 3*q**2 - 1 + 8*q**3 - 4*q**2 + 13. Let i be f(-7). Let c = 14 - i. Does 14 divide c?
False
Let p = 2729 + -1669. Suppose l - 3*l = 5*o - 1785, 0 = -3*o + l + p. Let t = -239 + o. Is 29 a factor of t?
True
Suppose 4*u + 258 = 10*u. Let h = u - 39. Suppose 2*q + h*a = 116, -2*a + 112 = 4*q - 2*q. Does 25 divide q?
False
Suppose 2209 - 595 = r - 3*t, -5*r = 2*t - 8053. Suppose 0*v + l - 1591 = -4*v, 4*v - r = 3*l. Suppose v = 4*q - q. Does 20 divide q?
False
Suppose 26*w - 24*w = -3*f + 435, 4*f - 585 = -w. Is f a multiple of 3?
True
Let y(d) = 21*d**2 - 11*d - 20. Suppose 4*a + 2*r + 24 = 0, -2*a = -16*r + 11*r. Is y(a) a multiple of 35?
True
Suppose -23*s = 13*s + 43*s - 1843386. Is s a multiple of 13?
False
Let t = -44 + 75. Suppose 0 = t*n - 26*n - 105. Does 14 divide n/(-35) + 1479/15?
True
Let x(s) = -7*s - 9. Let i be x(-2). Let y(f) = f**3 + 5*f + 6. Is y(i) a multiple of 12?
True
Let o = 84 - 33. Let p = -57 + o. Let r(n) = 3*n**2 + 7*n - 10. Does 14 divide r(p)?
True
Suppose -g - 2*a + 5874 = -727, -19803 = -3*g + 4*a. Is 27 a factor of g?
False
Let t(v) = 5900*v + 2254. Does 50 divide t(3)?
False
Suppose 4*g - 22*g + 54 = 0. Suppose 5*f - g*u + 94 = 4307, 4*f = 2*u + 3372. Does 9 divide f?
False
Suppose -5 = -b - 0*b. Let q be ((-26)/b)/((-17)/(-255)). Let s = q - -159. Does 27 divide s?
True
Suppose -3*y + 3*c + 69 = 0, -43 = -2*y + 5*c - 6*c. Does 37 divide ((-3120)/21)/(-2) - y/77?
True
Let b(s) = s**2 + 8 + 0 - 2*s**2 + 8 + 15*s. Let x be b(12). Suppose 34 = d - x. Does 10 divide d?
False
Suppose 3*w = -4*p + 6076, -5*w + 146*p - 142*p + 10212 = 0. Is w a multiple of 4?
True
Suppose 4*u + 2*m - 18 = 0, -2*u + 2*m + m = 11. Let x be (-530)/(-135) + ((-5)/(-15) - 14/54). Suppose -u*d - 80 = -o, d = o - x*d - 86. Does 19 divide o?
True
Let a(u) = u - 18. Let g be a(41). Suppose g*l = 11*l + 396. Is l a multiple of 11?
True
Let a(m) = m**2 - 16*m + 50. Let b = 131 - 113. Is 43 a factor of a(b)?