of p(l)?
True
Let y = 18 + -11. Suppose -11*l + 8 = -y*l. Suppose 18 = 2*q - l. Is 7 a factor of q?
False
Is (7 - 88/12) + (-2613)/(-9) a multiple of 58?
True
Let z(t) = -37*t + 22*t - 12 - 43*t. Does 21 divide z(-4)?
False
Suppose -5*q - 129 = -9. Is 12 a factor of 45*(-4 - (q/5 + -4))?
True
Let f(q) = 2*q**2 - 3*q + 846. Is f(0) a multiple of 19?
False
Let o(h) = h + 19 - 2*h - 4. Let v be o(10). Suppose 2*w - 6*w = -3*m - 292, v*w - 388 = -2*m. Is 15 a factor of w?
False
Let t(l) = 3*l**2 - 4*l + 5. Let h be t(5). Let o = h + -104. Let q = -27 - o. Is q a multiple of 14?
False
Let j(s) = 23*s. Let o be (-6)/(-5)*10/4. Let q be j(o). Suppose -2*g - 11 = -q. Is g a multiple of 12?
False
Let j(n) be the first derivative of n**4/2 - 2*n**3 - n**2/2 + 14*n - 17. Is j(5) a multiple of 16?
False
Let q(m) = -m**3 - 10*m**2 - 17*m - 1. Let z be q(-10). Let o be 2/14 + z/(-7). Let n = o - -44. Does 10 divide n?
True
Let z = -317 - -441. Is z a multiple of 3?
False
Let c(f) = 973*f - 4. Is 17 a factor of c(1)?
True
Suppose -3*f + 2*v = 110, -4*f - 5*v = f + 225. Let y = 19 + -32. Let z = y - f. Is 9 a factor of z?
True
Let k(p) = p**3 + 5*p**2 + 3*p - 4. Let d be k(-4). Suppose -3*y - y = d. Suppose -126 = -2*t - y. Is 23 a factor of t?
False
Suppose -4*u - 36 = -7*u. Suppose 0 = -0*l - 4*l + 8. Suppose t - 4*f = u, 14 = l*t + t - f. Does 4 divide t?
True
Suppose y + 22 = 5*z - 3*y, -y - 3 = 0. Suppose -2*t - w + 259 = 0, 5*t - 3*w = z*t + 375. Is t a multiple of 22?
False
Is 4622/10 - 14/70 a multiple of 19?
False
Let x be (4/(-2))/(4/(-6)). Suppose -y + 0*y + 55 = x*r, r - 205 = -5*y. Does 23 divide (2/(-1) - 2) + y?
False
Let d = 1506 + -386. Is d a multiple of 8?
True
Let x = 94 - 90. Suppose 1 = f - 2*k - x, -4*f - k = -47. Is 5 a factor of f?
False
Let a = -594 - -937. Does 49 divide a?
True
Suppose 4*q = -4*w + 8, -31 = -3*w + 4*q + 3. Let z(x) = x - 1. Let p(u) = -12*u - 8. Let f(v) = w*z(v) - p(v). Is f(4) a multiple of 20?
False
Suppose -v - 22 = -7. Let o be 40/v*(-21)/2. Suppose -4*c + 68 = -o. Is c a multiple of 24?
True
Let v = -44 - -49. Is v*((-123)/(-15) + -1 + -3) a multiple of 2?
False
Let w(l) = -30*l + 12. Let v be w(-5). Let h = 251 - v. Is h a multiple of 20?
False
Suppose 11*a - 4130 = 4*a. Is 10 a factor of a?
True
Suppose k = 26*f - 30*f + 305, 0 = -5*k - 3*f + 1440. Is 15 a factor of k?
True
Let u(g) = 6*g**2 + 18*g - 45. Does 31 divide u(6)?
True
Suppose 5*b = -3*q - 30, b - 5*q = -0*b + 22. Let f be b*8/(-12)*4. Does 6 divide f*-9*2/(-8)?
True
Let k(s) = -10*s**2 + 3*s - 2. Let p be k(2). Let w be p/(-90) + (-23)/(-5). Suppose -w*x - 2*x = -168. Is 12 a factor of x?
True
Let w(x) = x**2 + 3*x - 5. Let t be w(-5). Is 23 a factor of ((-296)/(-20))/(1/t)?
False
Let j(y) = y**3 + 2*y**2 - 4*y. Let l be j(2). Suppose 8*n - l = 184. Is n a multiple of 6?
True
Let k = 120 - 117. Suppose 552 = 4*v - 3*f, 4*f = v + k*f - 139. Does 9 divide v?
True
Let y(f) = -3*f**2 + f + 2. Let i be y(-1). Does 25 divide i/(-11) - (-819)/33?
True
Suppose 0 = 5*p + i - 2848, 3*p = p + 3*i + 1146. Is 15 a factor of p?
True
Suppose -30041 - 8659 = -45*n. Is 5 a factor of n?
True
Let m be 7/(140/(-15)) - 15/(-4). Is 1/m - (310/(-15))/1 a multiple of 14?
False
Suppose 2 = 3*w - 10. Let m be (w/(-6))/((-4)/504). Suppose 2*g - m = -g. Is 14 a factor of g?
True
Let f(n) be the third derivative of n**5/60 + n**4/24 + 2*n**3/3 + 152*n**2 + n. Let w(t) = -t**3 - 7*t**2 - 5*t - 2. Let z be w(-6). Is f(z) a multiple of 15?
True
Suppose -221 = 5*k - 1721. Is k a multiple of 69?
False
Suppose -7*k + 6*k = -1. Let c(r) = r**3 - 1. Let m be c(k). Suppose a + y = 8, m*y = 5*y. Is a a multiple of 8?
True
Let m(u) = 2*u - 3. Let a(k) = 0 + 34*k + 1 - 29*k. Let o be a(1). Is 2 a factor of m(o)?
False
Is 83 a factor of 10100/22 - 36/396?
False
Let c(p) = 4*p**2 + 4*p - 3. Let y(b) = -4*b. Let x be y(1). Let h be c(x). Does 19 divide h/6*(-24)/(-9)?
False
Suppose k + 21 = 4*k. Does 13 divide (-2)/k - (-1650)/42?
True
Let n(b) = 6*b - 9. Let x(z) = -5*z + 9. Let t(m) = -3*n(m) - 4*x(m). Let o = -11 + 19. Is 2 a factor of t(o)?
False
Let y = 1 + 4. Suppose 6*r - y*r - 115 = 0. Suppose -5*x + 10*x + 55 = h, 5*x = 3*h - r. Does 10 divide h?
True
Suppose 4*d = 7*d - 12. Suppose 3*n - 285 = 3*v - 63, -n + 62 = -d*v. Is 13 a factor of n?
True
Let f(z) = z**3 + 11*z**2 + 6*z + 16. Suppose -4 - 31 = 5*w. Let l be f(w). Let h = l + -110. Does 20 divide h?
True
Suppose -3*o - 8 = o - 4*i, 3*i = 12. Let x(q) be the first derivative of 24*q**2 + 2*q - 8. Is 32 a factor of x(o)?
False
Let d(i) = i**3 + 15*i**2 + 16*i + 42. Is 5 a factor of d(-10)?
False
Let y = -51 - 40. Let i = -28 - y. Is 6 a factor of i?
False
Let k(x) = 2*x + 4. Let f be k(4). Let j(r) = -r**2 + 14*r - 9. Is 5 a factor of j(f)?
True
Suppose 19*w - 7*w = 5616. Is w a multiple of 9?
True
Let h(o) = o**2 + 2*o - 3. Let f be h(-5). Let r = f + -9. Suppose 3*m = 4*a - 258, r*a - m = 2*m + 195. Is 21 a factor of a?
True
Let s = 3759 + -2004. Is 22 a factor of s?
False
Is 35 a factor of (-11)/((-33)/(-9)) + 199?
False
Let g(a) = 2*a**3 - 5*a**2 - a + 4. Let n(c) = 4*c**2 + 2*c - 1. Let b be n(1). Let d be g(b). Does 8 divide (1/2)/(2/d)?
False
Let u(b) = -5*b**2 - 3. Suppose -4*o = 27 + 5. Let c(w) = 3*w**2 + 2. Let k(y) = o*c(y) - 5*u(y). Is 14 a factor of k(-4)?
False
Suppose 0 = 3*g + 9, 0 = -5*o + 4*g + 131 + 476. Is 7 a factor of o?
True
Suppose -126*v + 956 = -122*v. Does 27 divide v?
False
Let g = -9 - -16. Suppose -4*f + 48 = -3*d + g, -5*d - 31 = -4*f. Does 7 divide f?
True
Is 43 - (1 + (-7 - -4)) a multiple of 20?
False
Let o be -5*2/(-2) - 1. Suppose -3*g + 4*x + o = -6, -75 = -5*g - 5*x. Does 5 divide g?
True
Let l = 149 + -78. Suppose -q - 3*c + 191 = l, 4 = c. Does 10 divide q?
False
Let q = -68 + 83. Is 10 a factor of 19 + (-5)/q*-3?
True
Suppose 4595 = 8*t + 1715. Is 12 a factor of t?
True
Let y be ((-11)/33)/((-1)/15). Let c(z) = -6 + 2*z - y*z + 18*z - z**2. Does 10 divide c(13)?
True
Is 2 + 1*(-149 + -2)/(-1) a multiple of 17?
True
Let b(w) = -w**3 - 3*w**2 + 4*w + 2. Let x be (12/(-9))/((-3)/(-9)). Let k be b(x). Suppose 3*i + k*i = -5*a + 235, -a - 4*i = -56. Does 11 divide a?
True
Let o = -46 - -111. Suppose 4*m + b - o = 176, -245 = -4*m - 5*b. Is 30 a factor of m?
True
Suppose -6*j = -0*j - 5238. Is j a multiple of 9?
True
Let g be (6/(-8))/(3 + 189/(-60)). Suppose -2*k - 92 = -6*k + 4*p, -4*k - g*p = -137. Is k a multiple of 4?
True
Suppose 0 = -2*d + 5*n + 709, 2*n + 699 = 2*d - n. Is 14 a factor of d?
False
Suppose i - l - 183 = 0, 0*i - 4*l + 178 = i. Let d = -121 + i. Is d a multiple of 29?
False
Suppose 4*l - m - 40 = 0, -5*l = 4*m - 63 - 8. Suppose 2*a + a - 5*j = -l, -4*a = -4*j + 12. Let p(n) = -31*n - 5. Is p(a) a multiple of 19?
True
Let t(a) = -5*a + 4. Suppose -4*f + f = -3, -f + 16 = 3*o. Let h = o - 7. Is t(h) a multiple of 4?
False
Let c(v) = 135*v - 86. Does 31 divide c(5)?
True
Let h(s) = 113*s**3 + 3*s**2 - 9*s - 1. Does 23 divide h(2)?
True
Let o = -902 + 2871. Does 75 divide o?
False
Let c(f) = -f. Let l(i) = -10*i + 14. Let s(j) = 5*c(j) - l(j). Is 30 a factor of s(13)?
False
Let s be 7/(28/(-8))*-2. Suppose -14*z = s*z - 3798. Is 20 a factor of z?
False
Let n(y) = -23*y - 29. Does 20 divide n(-3)?
True
Let n(c) be the first derivative of 8*c**3/3 - 7*c**2/2 - 2*c - 12. Does 10 divide n(-3)?
False
Suppose -31*o + 48 = -28*o. Suppose -o*z + 173 = -15*z. Is z a multiple of 11?
False
Let y be (2/1 - 0)/((-33)/264). Let c(u) = -7*u - 39. Does 9 divide c(y)?
False
Let j be 8/28 - (-243)/7. Suppose -4*n + j = -4*a - 1, 2*a = 5*n - 54. Is 2 a factor of n?
True
Let n(b) = 214*b + 151. Does 11 divide n(5)?
True
Let c = -897 + 1574. Is c a multiple of 7?
False
Suppose -20*f - 48*f = -82756. Does 10 divide f?
False
Suppose 0 = -i + 2*v - v - 9, -4*v = -i - 6. Let f(c) = -c**2 - 9*c - 2. Let d be f(i). Let o = d + 21. Is 7 a factor of o?
False
Is 60 a factor of 12200/4 + 14/(-21)*-3?
False
Suppose -41*n = -31*n - 610. Is 17 a factor of n?
False
Suppose 4*y + 6 = q + 3*y, 5 = -y. Suppose -4*t - q = 2*d + 5, -5*t - 20 = 0. Suppose 0 = 4*u + 2*k - 248, -90 = -4*u + d*k + 144. Does 10 divide u?
False
Let k = 16 - -4. Let j = k - 18. Is 22 a factor of 2*(37/j + 0)?
False
Let i(c) = -c**