actor of l?
True
Suppose 0 = -f + 5*f - 20. Suppose 3*a - f*u = 20, a + 4*u + 8 = -8. Suppose a*c = 2*c - 52. Does 12 divide c?
False
Suppose 5 - 13 = -2*p. Suppose 0 = p*v - 0*v - 252. Is v a multiple of 21?
True
Let n(q) = q + 36. Let w be n(0). Let j be 50*(0 + 1 - 0). Let y = j - w. Does 7 divide y?
True
Let r(l) = -3*l - 8 + l**2 - 6*l + 5*l. Is r(11) a multiple of 23?
True
Suppose 3*s = v - 15 - 0, 0 = -4*s - v - 13. Let g = s + 6. Suppose g*k = -2*k + 108. Is 12 a factor of k?
False
Suppose -k + 5*k - 144 = 0. Let p = k - 13. Is p a multiple of 23?
True
Suppose 4*y - 14 = 5*y. Let u = y - -21. Is u a multiple of 7?
True
Suppose 7 = -q + 19. Suppose 2*z = 5*z + q. Is 5/10 - 70/z a multiple of 9?
True
Let f(p) be the first derivative of 7*p**4/24 - p**3/3 + p**2/2 - 1. Let c(d) be the second derivative of f(d). Is c(2) a multiple of 12?
True
Suppose -2*u + 7*k - 3*k + 196 = 0, k - 5 = 0. Does 6 divide u?
True
Let l(m) = -4*m**3 - 2*m**2 + m. Let o be l(1). Does 5 divide (-165)/(-25) - 2/o?
False
Suppose -f - f = -4. Let o(u) = 5*u**3 - 2*u**2 + 2. Is 17 a factor of o(f)?
True
Let j(k) = k**2 + 5*k - 9. Let o be j(-7). Suppose -5*n + 13 = -3*d, o*d - 3 = 3*n + 2. Is n a multiple of 4?
False
Let h be 1*(2 + -32 + 0). Does 14 divide (0/3 - h) + -2?
True
Suppose 0 = 3*x + x - 108. Let p = x + 40. Let h = -37 + p. Does 15 divide h?
True
Suppose 3*z - 260 = -2*a - 40, 2*a + 2*z = 222. Is a a multiple of 14?
False
Let a(c) = -3*c**3 - 18*c**2 - c + 21. Let x(y) = y**3 + 6*y**2 - 7. Let t(h) = 6*a(h) + 17*x(h). Suppose 0 = -2*w - 2*w - 24. Does 15 divide t(w)?
False
Let z = 85 + -4. Does 11 divide z?
False
Let a(y) = -y**3 - 5*y**2 + 9*y - 6. Let i be a(-7). Let k = 43 + i. Does 24 divide k?
True
Let f be (-17)/5 - (-8)/20. Is (1/(-3))/(f/207) a multiple of 15?
False
Let x(v) = -v**2 + 8*v - 4. Let p be x(7). Is 2 a factor of p/2*(1 - -1)?
False
Let c be (-41)/(-4) - (-1)/(-4). Suppose -4*y - 35 = -3*l - c, l - 4*y = 19. Suppose -6 - 9 = -l*t. Is t a multiple of 5?
True
Suppose 3*q = -31 + 118. Is 24 a factor of q/(-2 + 3)*3?
False
Suppose 4*r = -0*r + 16. Suppose -r*h - 8 = 8. Let t = h + 10. Is 5 a factor of t?
False
Let q be (-3 + 4)/(1/(-3)). Let a be 3/(-9) - 1/q. Suppose y + 0*y - 12 = a. Is 12 a factor of y?
True
Let o be ((-3)/(-6))/((-3)/(-96)). Suppose 4*d - 3*d = o. Is d a multiple of 16?
True
Let c(t) = t**2 + 6*t + 8. Let r = 7 + -13. Does 2 divide c(r)?
True
Suppose 0 = -3*m - 0*u - 4*u + 446, 2 = u. Suppose -7*f + m = -3*f + a, 5*f - 178 = a. Is f a multiple of 9?
True
Is (-858)/(-14) + (-47)/(-7) + -7 a multiple of 12?
False
Let d = -166 - -286. Suppose c - 6*c = -d. Is 12 a factor of c?
True
Suppose -2*r = r + 5*f - 145, 5*f - 10 = 0. Is r a multiple of 2?
False
Let m(f) = -f**2 + f + 16. Let w be m(0). Suppose -3*y + q = y - w, 5*q + 20 = 0. Suppose -72 = -y*c + c. Is c a multiple of 18?
True
Let s(y) be the second derivative of -y**5/20 - 5*y**4/24 - y**3/6 + y. Let w(f) be the second derivative of s(f). Is 15 a factor of w(-5)?
False
Suppose 5*n - 7*n = -22. Is n a multiple of 11?
True
Let w(v) = v**3 - 5*v**2 - 5*v + 8. Let x = 6 - 10. Let n = x - -10. Does 14 divide w(n)?
True
Suppose 90 = -3*z + 6*z. Suppose 2*x - z + 2 = 0. Does 7 divide x?
True
Suppose 0 = 7*p - 16*p + 2142. Is 17 a factor of p?
True
Let q be (0 - 1/(-2))*12. Let s = -31 - -51. Is s/30 - (-110)/q a multiple of 19?
True
Suppose q - 5 = 0, -q - 3*q = -i. Let h = i - 4. Is 4 a factor of (15/(-10))/((-6)/h)?
True
Suppose -d = -2, 4*c - 4 = -2*d + 4*d. Suppose -c*t = -10 - 8. Does 6 divide t?
False
Let c = 441 + -210. Let a = -158 + c. Does 20 divide a?
False
Suppose -3*s = -8*s. Suppose s*r + r = 10. Does 5 divide r?
True
Suppose 2*b = -b + 9. Suppose 3*t - 6*t + 5*w - 57 = 0, -4*t + b*w = 65. Let r = -8 - t. Is 3 a factor of r?
True
Suppose 0 = -5*d + 4 + 26. Suppose -4*p - 68 = -5*j, -4*p = -7*p - d. Is j a multiple of 4?
True
Let l = -73 + 209. Is 27 a factor of l?
False
Suppose -3*p - 104 = -5*r, -2*r + 0*p - 2*p + 48 = 0. Suppose 3*k - r = k. Does 11 divide k?
True
Let i(a) = a**3 + 2*a**2 - 5*a + 2. Suppose 0 = -z - 4*f + 8, 4 + 6 = 3*z + 5*f. Let y(d) = d**2 + d + 3. Let x be y(z). Is i(x) a multiple of 16?
True
Let r(n) = -n. Let k be r(-4). Suppose 2*m - 2 = -k. Is m/4*2*-66 a multiple of 21?
False
Let x be (-18)/8 + 2/8. Let r = x + 3. Suppose -3*y + 22 = r. Is 3 a factor of y?
False
Let a(f) = -12*f**3 - 3*f**2 - f + 1. Let b(l) = l**3 - l**2. Let y(q) = -a(q) + 3*b(q). Is 6 a factor of y(1)?
False
Suppose 5*a - 198 = d - 22, -3*a + 5*d = -110. Is 8 a factor of a?
False
Let x(b) = 24 + 0*b**2 - 5*b + 12*b - b**2 - 4. Is x(9) even?
True
Let h = 1 - -1. Suppose 2*c + 3*s = 2 + 83, -h*c = -5*s - 93. Is 14 a factor of c?
False
Let x = -10 - 4. Let c be ((-46)/3)/(x/21). Suppose -j + 112 = 4*l + c, 4*j - 125 = -5*l. Is 8 a factor of l?
False
Suppose 0 = 4*h - 3*i - 197, h - 3*i = 2*i + 28. Is 29 a factor of h?
False
Let q be ((-5)/(-2))/(2/4). Let d(h) = -1 - 4*h + h**2 + h**2 - h**2 + 2. Is 6 a factor of d(q)?
True
Suppose -1 = -p + 1. Let m = p - 7. Is 2 - m - (-1 + -1) a multiple of 4?
False
Let a(q) = -q**3 - q**2 + 4. Let j(c) = -c - 4. Let y be j(-4). Let z be a(y). Suppose -23 + 87 = z*h. Is h a multiple of 7?
False
Let t(d) = -d**2 - 9*d - 5. Let o be t(-6). Suppose -z = -4*m + o, 12 + 9 = 3*m + 3*z. Is 4 a factor of m?
True
Let t be (3 + 1)*15/(-30). Let f = t - -62. Is f a multiple of 15?
True
Suppose 0*u = 3*q + 4*u - 657, -5*q - 3*u = -1095. Let h = 378 - q. Suppose -5*n + h = -2*j + 3*j, 34 = n - 2*j. Is n a multiple of 16?
True
Let z(b) = -b**3 - 5*b**2 - 1. Let t be z(-8). Suppose -t = -5*q - 1. Suppose q + 100 = 2*w. Is 24 a factor of w?
False
Let k = -9 - -13. Suppose 143 + 37 = k*u. Let i = u + -21. Is 12 a factor of i?
True
Is 21 a factor of (-12)/(-18) + 290/6?
False
Suppose -2*w = 3*r + 11, 4*w - 2*r - 18 + 0 = 0. Suppose 4*l + w = 14. Does 3 divide l?
True
Let l be 1 + (-2 - -3) - 1. Suppose 3*p - l = -0*n + 4*n, 2*n - 4 = 0. Let k = p + 5. Does 4 divide k?
True
Suppose 2*k - 68 = d, -d = -0*d + 3*k + 68. Is (-5 - -6)/((-2)/d) a multiple of 14?
False
Suppose -3*i + w + 9 = i, 4 = -4*w. Suppose -i*y + 105 = 3*y. Does 18 divide y?
False
Suppose -2*o = -3*o. Suppose 3*k = -3*l + 24, 5*l = -o*l - 2*k + 40. Is 5 a factor of l?
False
Let k = 19 - 37. Is (3/6)/((-1)/k) a multiple of 9?
True
Suppose -4*m = 2*g - 8, g - 1 = -3*m + 3. Let o(c) = c**2 - 3*c - 2. Let q be o(4). Suppose 52 = -q*d + g*d. Is 13 a factor of d?
True
Let i(z) = -z**3 - z**2 + 2*z + 2. Let p be i(-2). Suppose 2*u + 7 - 32 = -5*x, 2*x = p. Does 10 divide u?
True
Let a(k) = k**3 + 7*k**2 + 6*k - 5. Is 5 a factor of a(-5)?
True
Let m(a) = -13*a + 13*a + a**2 - 2. Let g be m(-2). Suppose g*h = h + 16. Is 8 a factor of h?
True
Let l = -36 - -1. Let i = l - -53. Does 6 divide i?
True
Let c(h) = -5 - 4 + 11 + h + 5. Is 3 a factor of c(8)?
True
Let u(f) = -2*f**3 - 4*f**2 - 4. Does 15 divide u(-4)?
True
Let k(n) be the first derivative of -2*n**2 - 3*n + 1. Is 9 a factor of k(-3)?
True
Is 6 - 7 - (-1 + -13) a multiple of 5?
False
Suppose 2*k + 22 = 2*d - 20, 0 = 4*k - d + 78. Let i = -9 - k. Does 3 divide i?
False
Suppose -5*z + 17 = 3*c - 6, -c = 4*z - 3. Suppose -c - 5 = -q. Does 8 divide q?
True
Suppose 0 = -2*n + 13 + 3. Let r(h) be the third derivative of h**4/8 - 2*h**2. Does 11 divide r(n)?
False
Let y = -301 - -518. Is 41 a factor of y?
False
Let h(a) = 3*a. Let o be h(4). Let b(y) = -2*y + 4. Let k be b(o). Is 12 a factor of (-625)/k - 6/(-8)?
False
Let u(y) = y**3 + y**2 + 30. Is 10 a factor of u(0)?
True
Let w(k) = -4*k + 3. Let z(r) = -r. Let v(y) = w(y) - 5*z(y). Let j be v(3). Suppose -j*l = -l + 5*x - 75, 2*l - 32 = -4*x. Does 14 divide l?
True
Suppose 0 = 2*w - 0*x - x - 66, 5*x = -5*w + 135. Does 11 divide w?
False
Let x be (-2)/1 + (5 - 1). Suppose -3*h + 180 = x*h. Suppose -o - 2*o = -h. Does 12 divide o?
True
Let m = 16 - 7. Suppose -2*z - 3*c + 74 = 0, 3*c - 9 = z - 37. Let l = z - m. Is l a multiple of 25?
True
Let b(u) = u + 1. Let d(y) = -y - 3. Let n be d(-2). Let c be b(n). Suppose c = -f + 3 + 9. Is f a multiple of 12?
True
Suppose -2*u = -60 - 34. Is u a multiple of 12?
False
Is (-1 - -23 - 1)/(2/6) a multiple of 21?
True
Let y = -1 - -6. Let