actor of o?
False
Suppose -3*t + 5 = -3*l + 7*l, 0 = -2*l - t + 5. Is l even?
False
Let q(k) = 6*k**2 - 3*k - 4. Let t be q(4). Let o = -10 + t. Does 13 divide o?
False
Suppose 0 = -2*q + 7*q + 15. Let i(l) = 4*l**3 + 7*l**2 - 5*l + 9. Let b(k) = -k**3 - k**2 + 2*k - 1. Let z(t) = 5*b(t) + i(t). Is 6 a factor of z(q)?
False
Let c(o) = o**3 + 12*o**2 + o - 2. Let s(k) = -k. Let j be s(11). Is 17 a factor of c(j)?
False
Let r(p) = 139*p - 104. Does 45 divide r(20)?
False
Let c(f) = -14*f**3 + 10*f**2 + 19*f + 4. Is c(-2) a multiple of 11?
False
Let x = -32 + 110. Is 26 a factor of x?
True
Let l = 22 + 76. Let c = -68 + l. Suppose o + 2*o = c. Does 10 divide o?
True
Let f(k) = 14*k**2 - k + 1. Suppose -4*w = -2*z - 16, 5*z - 2 = 2*w + w. Suppose 3*y - w*y = -3. Is f(y) a multiple of 8?
False
Let d(t) = -t**3 - 4*t**2 + 4*t - 11. Let x be d(-5). Is ((-2445)/(-30))/(x/(-4) + -1) a multiple of 29?
False
Let x be (-15)/(-10)*(-8)/(-3). Let k(f) = 0 - 4 - 1 - 1 + x*f. Is k(3) a multiple of 2?
True
Let i = 108 - -25. Suppose -5*l + 117 = -b - 532, -l + i = 3*b. Does 26 divide l?
True
Let h(s) = 2*s**2 + 1. Let m be h(1). Let x = 110 + -35. Suppose -4*p + 5*r + 9 = -38, -x = -5*p + m*r. Does 6 divide p?
True
Suppose 2*c + 388 = 2*i, i - 3*i = -3*c - 390. Suppose 6*p = -0*p + i. Does 16 divide p?
True
Let k(p) = p**3 + 2*p + 114. Let q be 2 + (8/6)/((-4)/6). Is k(q) a multiple of 19?
True
Suppose -5*z + 1560 = 5*p - 2*p, -3*z = 4*p - 925. Does 9 divide z?
True
Let q = -188 - 58. Let d = q + 346. Is 24 a factor of d?
False
Let q(r) = -6*r + 9. Let s be q(-13). Suppose 237 = 2*n + 3*u + s, 2*n = 3*u + 138. Is n a multiple of 18?
True
Let f(a) be the third derivative of a**5/60 - 3*a**4/8 + 2*a**3/3 + a**2. Let t(s) = s**3 - 10*s**2 + 2*s - 10. Let i be t(10). Is f(i) a multiple of 6?
False
Let g = 167 - 110. Is g a multiple of 4?
False
Suppose 5*h = 7*t - 3*t + 15, 2*h = 2*t + 6. Suppose -2 = -t*c - c. Suppose -4*l = -2*s + 1 + 17, -4*s = c*l - 6. Does 2 divide s?
False
Suppose -35*w + 941 = 5*n - 31*w, 562 = 3*n + 5*w. Does 14 divide n?
False
Suppose 34*l - 32298 = 100098. Does 59 divide l?
True
Let c(w) = -w**2 + 11*w + 4. Let l be c(10). Let k = 30 + l. Suppose 0 = -3*n - 3*o - o + 33, -k = -4*n - 3*o. Does 11 divide n?
True
Let s = -5 + 21. Suppose 0 = 5*n - 2*o + 5, 2*o + o = -n + s. Suppose -4*h + n + 131 = 0. Is h a multiple of 9?
False
Suppose 2*p - 1338 = -22. Suppose -6*g + 122 = -p. Is 6 a factor of g?
False
Suppose -6*a - 24 = 6. Let g = 10 + a. Is (6 - g)*(-1 - -10) a multiple of 9?
True
Suppose 5*l - 3 = 3*c - 11, c - 6 = 5*l. Let g be (c/2)/((-5)/(-20)). Suppose -2*a + 4*a = g*k - 64, 2*k - 62 = 3*a. Is k a multiple of 17?
True
Let a be ((-120)/(-25))/2*-5. Is (-1 + 28/a)*960/(-25) a multiple of 24?
False
Let w(q) = 2*q**2 - 22*q + 4. Let s be w(11). Suppose u + s*j = 82, 0*j = -u + j + 62. Is u a multiple of 22?
True
Let l(m) = 6*m + 10. Let y be l(-4). Let d = -11 - y. Suppose 0 = -4*n - t + 6*t + 103, 63 = d*n + t. Does 6 divide n?
False
Let z = -990 + 1660. Is 67 a factor of z?
True
Suppose 0 = -9*c - 72 + 504. Suppose 18 + c = 3*a. Is 5 a factor of a?
False
Suppose -5*h = 7 - 17. Suppose -4*j - 40 = -2*b, -2*b - 4*j = -100 + 20. Suppose -h*m = m - b. Does 5 divide m?
True
Let g = -8 - -189. Suppose 4*m - 83 = g. Is 22 a factor of m?
True
Suppose 22*q = -1067 + 16533. Is 19 a factor of q?
True
Does 11 divide 1/((-2440)/5775 - (-9)/21)?
True
Is (-286)/(-130) + 17688/10 a multiple of 11?
True
Let q be -62 - (-4)/(8/6). Let a be -29*1 + (0 - 0). Let t = a - q. Does 12 divide t?
False
Let t(y) = -y**2 - y + 4. Let x be t(0). Suppose -a + 3 = -w, 3*w + 0 = -2*a - x. Does 13 divide -3 + 5 + a + 38?
False
Let s(p) be the second derivative of -p**3/6 + p**2 - 6*p. Let g be s(-3). Suppose 5*u + 85 = 3*l + 2*l, g*u - 10 = 0. Is l a multiple of 17?
False
Suppose 14*v + 6*v - 1640 = 0. Let s = 141 - v. Is s a multiple of 5?
False
Is (384/18)/((-303)/(-99) - 3) a multiple of 32?
True
Let h(r) = 5*r. Let q be h(-1). Let f(s) = s**2 + 3*s + 1. Is f(q) a multiple of 3?
False
Suppose 0 = -8*y + 3564 + 1292. Does 46 divide y?
False
Suppose -2*y - 427 = -3*c, -y - 714 = c - 6*c. Is 11 a factor of c?
True
Suppose -11*r = -7*r - 52. Let v = -4 + r. Is 3 a factor of v?
True
Let z = -712 + 1108. Is 18 a factor of z?
True
Let c(v) = 2*v**3 - 13*v**2 - 5*v - 7. Is c(10) a multiple of 46?
False
Let m(o) = o**2 + o**2 + 7 - 3*o**2 - o. Let n be m(0). Let j = n + 11. Is 16 a factor of j?
False
Suppose p - 2220 = -2*p. Suppose -4*q = q - p. Suppose 0 = -5*i + q - 38. Is i a multiple of 11?
True
Suppose -7*m - 40 = 37. Let q(l) = -l**3 - 11*l**2 - 4*l + 17. Is q(m) a multiple of 18?
False
Suppose g + 55 = s, -3*s - 5*g = -71 - 102. Suppose 0 = 2*b - s - 144. Is b a multiple of 20?
True
Suppose -5*h + 10 = -10, -2 = -2*v + 2*h. Let p(x) = x**2 + x + 3. Let f be p(0). Suppose -v*g + f*w + 8 = -59, -g = 3*w + 1. Is 11 a factor of g?
True
Let u be 776/(-40) + 3/(-5). Let o be u/(-3)*168/35. Suppose -3*v - v + o = 0. Does 3 divide v?
False
Let l(v) = -3*v**2 - 5*v + 2. Let x be l(-2). Suppose -c + 4*q + x = 1, 9 = 4*c - 3*q. Suppose -c*r + 80 = 2*r. Is r a multiple of 4?
True
Let t be 8/20*1*5. Suppose 0*p + 12 = -t*p. Let a(k) = -k**2 - 10*k. Is a(p) a multiple of 12?
True
Let i be ((-27)/12)/(1/(-8)). Let j = 15 - i. Is 12 a factor of (-2)/j + 737/33?
False
Let z(p) = 1262*p**3 - p**2 - 5*p + 4. Is z(1) a multiple of 14?
True
Let s(j) = -j**2 - 9*j + 5. Let d be s(-6). Suppose d = 5*r - 132. Is 18 a factor of r?
False
Suppose -143*q + 155*q = 1872. Is q a multiple of 39?
True
Let y(t) = -t - 1. Let p be y(-1). Suppose -3*f = -4*c - 188, 5*f = -p*f + 5*c + 305. Is f a multiple of 3?
False
Suppose 500 = 3*s + 7*y - 9*y, -3*s = -y - 505. Is 30 a factor of s?
False
Suppose -4*o - 19 = -z, 5*z - 1 = 2*z - 2*o. Suppose 5 = 4*l + t, 9 + 10 = 5*l - z*t. Let v(w) = 16*w**2 - 3*w + 2. Does 11 divide v(l)?
False
Let d = -4 - -11. Let a(p) = -p**3 + 9*p**2 - 11*p + 5. Does 13 divide a(d)?
True
Does 4 divide (3816/(-84))/(-1 - 15/(-21))?
False
Let i(k) = k**3 + 2*k**2 + 6*k - 12. Let o(n) = -2*n**3 - 5*n**2 - 13*n + 25. Let g(w) = -7*i(w) - 3*o(w). Does 3 divide g(0)?
True
Suppose 0 = -10*t - 47 + 7. Let h(j) = -20*j - 30. Does 10 divide h(t)?
True
Let m(v) = -v**3 + 4*v**2 + 27. Does 2 divide m(0)?
False
Let m(s) be the second derivative of 1/2*s**2 + 0 - 5/6*s**3 - 1/20*s**5 + 7/12*s**4 - 5*s. Is 13 a factor of m(5)?
True
Let a(i) = -i**2 - 10*i - 20. Let v be a(-5). Suppose -v*d - 54 = -254. Is d a multiple of 20?
True
Let d(m) = 23*m**2 - 5*m + 6. Is d(-4) a multiple of 15?
False
Let l(m) be the second derivative of -10*m**3 - 9*m. Is l(-1) a multiple of 20?
True
Let f(k) = -k**2 + 25*k + 18. Let u be f(18). Suppose 5*a + 79 = 2*w - 0*w, 4*w + 4*a = u. Is w a multiple of 37?
True
Let a be 12*((-40)/(-15) - 3). Let f = 1 - a. Suppose -z - 2*i + 76 = 0, 280 = f*z - z - 4*i. Does 8 divide z?
True
Let g(n) be the third derivative of -7*n**5/60 + n**4/4 + 11*n**3/6 + 3*n**2. Let k be g(-5). Let d = -136 - k. Is 24 a factor of d?
False
Let y(w) = 9*w + 2. Suppose 2*c = -5*g - 0*g - 20, g + 4 = -2*c. Suppose -d + 1 = -c. Is 4 a factor of y(d)?
False
Let f = -503 + 2318. Does 140 divide f?
False
Is (1354/8)/((-261)/(-36) + -7) a multiple of 26?
False
Let n(k) = k - 5. Let t be n(6). Let l be 15 + -5 + -3*t. Let y = l + 7. Is 14 a factor of y?
True
Let z(o) = -o**2 - 8*o - 1. Let w be z(-8). Let h = w - -3. Suppose -4*x = -2*r - 2*r + 96, 0 = -3*r - h*x + 87. Does 9 divide r?
True
Let u(g) = g - 2. Let o be u(0). Let a = o + -5. Does 11 divide (a/7)/((-2)/82)?
False
Let g = 2 - 0. Let o be (-4)/6 - (-72)/27. Suppose -2 = -6*w + 4*w - 4*i, -g = o*i. Does 2 divide w?
False
Let g(l) = l**2. Let t(q) = -q**3 + 10*q**2 - 8*q - 8. Let u(i) = 4*g(i) + t(i). Suppose -3 - 3 = 2*y, m = -2*y + 7. Is 19 a factor of u(m)?
True
Let u(r) = -r + 11. Let v be u(7). Suppose -v*q + 74 = l, -q = 1 - 5. Does 29 divide l?
True
Let x(l) = l**3 + l - 1. Let d(n) = 5*n**3 + 5*n**2 + 7*n - 7. Let a(o) = d(o) - 4*x(o). Is 3 a factor of a(-3)?
True
Let a = 51 + -132. Let z = a - -89. Does 5 divide z?
False
Suppose -37*d = -27*d - 2230. Does 68 divide d?
False
Let r(z) = -z**3 + 35*z**2 - 27*z - 63. Is 34 a fac