a factor of (l/24)/((-6)/(-512))?
True
Let f(r) be the first derivative of -r**4/4 - 7*r**3/3 + r**2 + 25*r - 44. Is 5 a factor of f(-7)?
False
Suppose -5*y + 191 = -4*d, d + 0 = -4*y + 136. Suppose 5*s + 4*z = 5, -z = -0*s - 2*s + 2. Is 10 a factor of ((-14)/y)/(s/(-25))?
True
Let r(s) = -18*s + 26*s + 74*s + 23*s. Let b be r(-1). Let z = b + 201. Is z a multiple of 13?
False
Let f(z) = 6 + 30*z**2 - 4 + 3*z + 0 - 9*z. Let k be f(-3). Suppose 4*r + 12 + 211 = 3*x, 0 = -4*x - 2*r + k. Does 11 divide x?
False
Suppose 8*v = 4 + 44. Is 3364/v - (-46)/138 a multiple of 11?
True
Does 13 divide (0 - (-2194240)/84) + 48/504?
False
Let v(b) = 11 - 3*b**2 + 5*b**2 - b**2 - 32*b + 0. Let h(z) = -z**2 + 33*z - 10. Let r(a) = -3*h(a) - 4*v(a). Does 28 divide r(14)?
True
Suppose 9*g - 9307 = -32*g. Suppose -13830 = -237*u + g*u. Is u a multiple of 55?
False
Let g = 50 + -40. Suppose -3*c = 8 + g. Is 6 + (0 + c)/(-2) a multiple of 9?
True
Suppose -4*h = 9732 - 33740. Does 51 divide h?
False
Suppose 18*c = c + 119. Suppose -3*t + 92 - c = 5*l, 2*l = -3*t + 88. Does 6 divide t?
True
Is 7846/4 + 15/(-450)*-15 a multiple of 11?
False
Let p(z) = -18*z**3 + 5*z**2 - 2*z - 4. Let d be p(-2). Suppose 157*u = d*u - 875. Is 6 a factor of u?
False
Suppose -6*i - 929 = -2729. Suppose 4*q - i - 368 = 0. Let z = q + -95. Is z a multiple of 12?
True
Suppose 4*c + 6 = -3*u - 1, -14 = 2*u + 5*c. Let m be 1 - (((-9)/u - 8) + 3). Let g = 26 - m. Is 17 a factor of g?
True
Let q = -28045 - -40813. Does 42 divide q?
True
Suppose 0 = -4*r + i + 11 + 9, 4*r = -i + 28. Let b(c) = -c + 18. Let z be b(r). Suppose -z*k + 225 = -9*k. Is 29 a factor of k?
False
Let r(u) = 110*u - 20 - 6 - 8 + 11 - 11. Does 9 divide r(7)?
False
Let s(f) = f**3 - 35*f**2 - 536*f + 100. Is 48 a factor of s(50)?
True
Let y(v) = -7*v - 118. Let j(c) = 3*c. Let w(l) = j(l) + y(l). Is 6 a factor of w(-31)?
True
Suppose 0 = -59*j + 73*j - 169708. Suppose j = -3*t + 32*t. Does 19 divide t?
True
Let s(a) = a**3 - 46*a**2 + 53*a - 145. Is s(46) a multiple of 23?
False
Let u(x) = 2*x - 32. Let j be u(16). Suppose -z - 3*z + 5*h + 37 = j, h - 10 = -5*z. Suppose 891 = 5*w + z*b, -2*w + 484 = -b + 121. Is 45 a factor of w?
True
Let m be (-14 + 17)*(-22)/(-2). Does 2 divide 5*(-6)/(-18)*m?
False
Let m(t) = -t**3 - t**2 - t + 34. Suppose 11*d = 6*d. Let z be m(d). Suppose -6*s + z = -s + 2*i, -4*s = 3*i - 30. Is s a multiple of 2?
True
Suppose 11*l + 12 = 13*l. Suppose -l*s + 14 = -16. Suppose -8*d + s*d + 360 = 0. Does 26 divide d?
False
Let r be (1/(-3))/(259/63 - 4). Is 10 a factor of ((-30)/7)/(r/84)?
True
Suppose -c = -5*d + 400, 4*d - 18*c + 15*c = 331. Suppose -d*w + 98*w = 9842. Does 37 divide w?
True
Let k be 22/(-55) - (-6)/15. Suppose 2*v = k, 2*r + 3*v - 28 + 6 = 0. Suppose -1170 = r*b - 20*b. Is b a multiple of 13?
True
Is 38 a factor of (-89233)/(-4) - (1 - -1) - (-1)/(-4)?
True
Suppose 11*o - 43 = -10. Suppose -o*d + 370 + 89 = 3*y, 0 = -d - 1. Is 5 a factor of y?
False
Suppose 0 = -3*p - 5*c - 370, -5*p - 5*c - 623 = -3*c. Let w = p - -131. Is 24 a factor of -2*(-5)/15 - (-1568)/w?
False
Suppose -v + 0 = -2. Let t = 6426 - 6355. Suppose -2*q + n = -t, 0 = 2*q - 6*n + v*n - 80. Does 26 divide q?
False
Is 9 a factor of 388*(-127)/(-1270)*90/4?
True
Let k = -721 - -2192. Is 11 a factor of k?
False
Does 47 divide (-222615)/(-810) - (-33)/(-18)?
False
Let n(z) = 60*z**2 - 334*z + 4596. Does 73 divide n(14)?
True
Suppose 41*s + 3732 = 21321. Let p = s - 338. Is p a multiple of 13?
True
Let l = -16919 + 19277. Is l a multiple of 18?
True
Let t(o) = o**3 - 14*o**2 - 34*o. Let w(u) = u**3 + 21*u**2 + 17. Let z be w(-21). Does 14 divide t(z)?
False
Let q be (44/(-33))/(2/9). Let h = 559 - q. Is 27 a factor of h?
False
Let b(s) = -s + 2. Let t(u) = -4*u + 5. Let w(l) = 8*b(l) - 3*t(l). Let o be w(-2). Let c(m) = -2*m**2 - 14*m + 9. Is c(o) a multiple of 9?
True
Suppose 9*m - 100044 = -12*m - 32256. Is 4 a factor of m?
True
Suppose -21*o = -10*o + 165. Let i(g) = -21*g - 135. Does 9 divide i(o)?
True
Suppose 75 = 3*s + 3*m, 3*m = 3*s + m - 60. Let q = s - 1. Let i = 53 - q. Is 32 a factor of i?
True
Suppose y - 253 = 4*r, -2*r - 1 = 1. Suppose 0 = -3*z + 30 + y. Is z a multiple of 7?
False
Let f(n) = 517*n - 13. Does 72 divide f(1)?
True
Let g(l) = 54*l**3 - l**2 + l. Let n(x) = 5*x - 44. Let i be n(9). Is g(i) a multiple of 9?
True
Let b = 68 - 71. Is (8 + 216)/(-2 - b) + -3 a multiple of 12?
False
Suppose 0 = g + 3*n + 4, -2*g - 1 - 7 = -n. Suppose -4*s = -3*u + 15, -2*s - 9*u - 9 = -10*u. Is 2 a factor of 1*8 + (0 + g - s)?
True
Let g = 79 + -77. Let i(t) = -12 + 14*t + 3 + g. Is 6 a factor of i(4)?
False
Suppose 40 = 19*w - 23*w. Is (90/(-20))/9*5*w a multiple of 2?
False
Suppose 3*v - 127 = 4*v. Let n = v + 390. Suppose 59 = -2*s + n. Is 17 a factor of s?
True
Suppose 0*d - 5*d = -4*x - 15836, -4*d = 5*x - 12636. Is 15 a factor of d?
False
Suppose 0 = -85*x - 230*x + 1560199 + 2444711. Is 6 a factor of x?
True
Let a(x) = 38*x**2 - 1. Let c be (15/(-10))/(1/(-2)). Let y be ((-15)/(-3) - c) + -3. Is 12 a factor of a(y)?
False
Suppose -7094 = -5*m - 4*i, -188*m + i + 7114 = -183*m. Is m a multiple of 158?
True
Let r(p) = 257*p + 23. Let z = 713 - 712. Is r(z) a multiple of 28?
True
Suppose -5*h = -4*q - 10, 0 = 2*q - 6*q + 3*h - 6. Suppose q = -2*b - 6 + 166. Is 8 a factor of b?
True
Is 95*(7 + (-1220)/(-50) + -2) a multiple of 14?
False
Suppose 3*a + 33 = -693. Let q = 2657 + -3016. Let m = a - q. Does 13 divide m?
True
Let y(g) = -g**3 + 11*g**2 + 6. Let s be y(11). Let l be 4*s/9*-30. Let h = l - -116. Is h a multiple of 36?
True
Suppose -58 = 5*v - 48. Let d be 1045/22 - v/4. Suppose 32 = 3*m + i, -d = -5*m + 3*i - 2*i. Does 10 divide m?
True
Suppose -77*m + 221006 = -875243. Does 163 divide m?
False
Let t(o) = -o**3 - 2*o**2 - 4*o + 3. Let d be t(-3). Suppose 26*n - d = 24*n. Is ((-36)/5)/(n/(-30)) a multiple of 6?
True
Suppose -2609681 = -139*b + 1139983. Is 11 a factor of b?
False
Let w = -3379 + 4981. Is 9 a factor of w?
True
Suppose 9*o = -4937 - 607. Let a = -364 - o. Is 9 a factor of a?
True
Let m(a) = a**3 + 2*a**2 - 3*a + 163. Suppose -5*o = -11*o - 18*o. Is 6 a factor of m(o)?
False
Let w = -1730 - -890. Let d be (-2)/20*-4 + w/(-25). Let v = d + -13. Does 6 divide v?
False
Suppose 3*w - 650 = -68. Suppose 0 = 6*u - w + 110. Is 5 a factor of u?
False
Let h(x) = 2*x**2 + 6*x + 16. Let k(g) be the third derivative of -g**5/60 - 13*g**2. Let l(s) = h(s) + k(s). Is l(7) a multiple of 16?
False
Let k(v) = -v**3 + 81*v**2 + 82*v + 408. Is k(82) a multiple of 2?
True
Let g(a) = -3 + 8*a + 2*a**2 - 18 - a**2. Let s be (3/(24/52))/((-1)/2). Is g(s) a multiple of 14?
False
Suppose -53*g + 44*g = -108. Does 58 divide (27/(-18))/(g/(-5104))?
True
Let w(s) = -s**3 - 6*s**2 + 10*s + 13. Let a be w(-7). Let b = a - -10. Suppose 5*d + 4*n = 474, -b*d + 2*n + 200 = n. Is d a multiple of 14?
True
Let l = 11852 - 9765. Does 36 divide l?
False
Is 29512/4 + (-1 - -3) a multiple of 45?
True
Suppose 5*f + 3*b - 104691 = 0, -f + 25477 = -5*b + 4522. Is f a multiple of 20?
True
Let p be 4 - (4 - 2 - 8). Let d = p - 8. Is (-9)/(((-10)/d)/30) a multiple of 29?
False
Let f be (16/80)/((-2)/(-490)). Let t = f + 6. Is t a multiple of 11?
True
Suppose 0 = -45*y + 46*y - 2. Is (y/(-2))/(4/(-276)) a multiple of 35?
False
Is 8 a factor of (-35)/5 - -4410 - -13?
True
Let v be (2/9)/(19/171). Suppose 0 = f + 1 - v. Is 23 a factor of (71/3)/f - (-10)/(-15)?
True
Let v(p) = -p**2 - p + 2. Let b be v(-4). Let s = 24 + b. Suppose 61 = s*r - 13*r. Does 13 divide r?
False
Let h = 6675 + -4047. Is h a multiple of 6?
True
Suppose -4497 + 1053 = -41*a. Is 21 a factor of a?
True
Let p(d) = d**3 - 4*d**2 - 3. Suppose 2*u + 2*u - m = 21, -4*m + 6 = -u. Let h(n) = n**2 - 3*n - 13. Let s be h(u). Does 22 divide p(s)?
True
Let j be -74*((-3)/(-18))/(3/(-171)). Suppose 2*z = 5*g + j, 4*z + z + 5*g = 1775. Is z a multiple of 28?
False
Let j(s) = 2*s**3 - 3*s**2 + 4*s - 1. Let b be j(1). Let l(d) = 3 + 6*d + 1 + 0. Does 8 divide l(b)?
True
Is (-837)/(-12)*36 - 16/2 a multiple of 20?
False
Suppose 3*n - 2*n - 4*b = -143, 2*b + 2 = 0. Let h = n + 207. Is h a multiple of 6?
True
Suppose 4*g - 24*x + 19*x - 8608 = 0, 0 = 4*g + 3*x - 8640. Does 5 divide