4. Is 7 a factor of l?
True
Let b(m) be the third derivative of m**5/10 - 5*m**4/8 + m**3 - 2*m**2. Let a be b(6). Is 13 a factor of (-3 - -4) + a/2?
False
Suppose -2*f + 2 = 4*i, -3 - 1 = -5*i - 3*f. Let p be (-1*4)/(i/3). Suppose 5*y - 48 = -3*d, 0*y + 2*y + 3*d - p = 0. Is 6 a factor of y?
True
Suppose 29 = o + 8. Let n = -12 + o. Does 3 divide n?
True
Suppose 2*l - n + 0*n = -5, 12 = -4*n. Is 41 a factor of 12744/63 + l/14?
False
Let d(t) = 5*t**2 + 18*t - 2. Let v(f) = 11*f**2 + 37*f - 6. Let q(b) = 13*d(b) - 6*v(b). Let s = 24 - 13. Is 12 a factor of q(s)?
False
Suppose -8*n = -3*n - 25. Suppose o - 29 = -s - 4*o, -10 = -n*s + 2*o. Suppose i = 0, s*b = 4*i + 53 + 19. Is 18 a factor of b?
True
Suppose 12*m - 560 - 3136 = 0. Is 14 a factor of m?
True
Let f be 10 + (3 - 0) - 3. Let b = f + -17. Let g = b + 14. Does 3 divide g?
False
Let p(q) = q**3 - 11*q**2 + 12*q - 4. Let f be (-29)/(-3) + ((-16)/12)/(-4). Does 15 divide p(f)?
False
Let d(j) = 3*j**2 + 27*j - 23. Let b be d(-10). Suppose 3*i - 3*g = 657, 2*i = g + b + 432. Does 11 divide i?
True
Let j(q) = -q**3 + 12*q**2 - 10*q - 15. Let c be j(11). Let m be 2/c + (-9)/(-6). Suppose 0 = 5*f, -4*f - 17 + m = -k. Is 16 a factor of k?
True
Suppose 0 = -y + 137 - 49. Let o be (-1)/6 + 155/30. Suppose -l = n + 7 - y, -395 = -5*l + o*n. Is l a multiple of 21?
False
Let i(l) = 277*l - 11. Is 43 a factor of i(3)?
False
Let z(y) = 9*y**3 + 9*y**2 + 3*y - 15. Let l(p) = 4*p**3 + 4*p**2 + 2*p - 7. Let q(c) = 7*l(c) - 3*z(c). Is 24 a factor of q(4)?
True
Is 103 a factor of 9 + (1447 - (-5 - 1))?
False
Let h be 334 - 3/(9/12). Suppose 25*u - h = 20*u. Is u a multiple of 16?
False
Does 79 divide 7 - (-11)/(-33)*-7089?
True
Let j(y) = -y**2 - 7*y + 2. Suppose 26 - 19 = -z. Let l be j(z). Suppose 0 = 4*m - 12, -448 = -7*c + l*c + 4*m. Is 15 a factor of c?
False
Suppose 3*c + 2*k - 13 = 0, 5*c + 2*k - 9 = 10. Is 14 a factor of (c - 3)/(-1) - -30?
False
Let p(q) be the second derivative of 13*q**8/3360 + q**6/720 - q**4/12 - 7*q. Let w(i) be the third derivative of p(i). Is w(1) a multiple of 7?
False
Suppose 0 = 2*z + 2*z - 8. Suppose -3*j = -12, 5*j - 28 = -7*s + 3*s. Suppose z*x + 2*m + s = -3*m, -m = 4*x - 32. Is 5 a factor of x?
False
Suppose 5*j + 2572 - 8732 = 3*w, 3*w = -4*j + 4955. Is j a multiple of 19?
True
Is 16 a factor of ((-20)/(-24) + -1)*-2118?
False
Suppose -5*v = 3*p + 2*p + 75, -5*v - 5 = -2*p. Let b = p + 17. Does 7 divide b?
True
Let u = -95 + 292. Does 9 divide u?
False
Let x(b) = -13*b + 6. Let s be x(5). Let q = -29 - s. Is q a multiple of 7?
False
Suppose -5*w + w + 3*f = 6503, -5*f - 6495 = 4*w. Let k = w + 96. Is 14 a factor of (-1)/2 + k/(-22)?
False
Let p = -2 + 5. Let f be (p - 1) + (-1)/1. Suppose 29 = 2*m - f. Is m a multiple of 7?
False
Let i = -97 + 138. Suppose -2*t = -5*t - 2*p + i, -19 = -t - 2*p. Is t a multiple of 11?
True
Suppose f + 358 - 1234 = 4*q, -f + q = -864. Is f a multiple of 43?
True
Let l(r) = r**3 + r**2 - r + 1. Let j(w) = 4*w**3 + 11*w**2 - 11*w - 2. Let s(p) = j(p) - 3*l(p). Is s(-5) a multiple of 11?
True
Let q be (12/20)/(1/5). Suppose 5*p = 4*g - 350, 305 + 61 = 4*g + q*p. Is 43 a factor of g?
False
Let s(n) = 35*n - 34. Is s(15) a multiple of 14?
False
Let w(m) = m**3 + 33*m**2 + 31*m + 285. Is w(-29) a multiple of 110?
True
Suppose 0 = -0*p + 3*p - 6. Suppose 2*t + p*w - 288 = -0*w, -700 = -5*t - w. Let x = t - 60. Is 25 a factor of x?
False
Let h(g) = -g**3 - 5*g**2 + 2*g - 8. Let s = 33 - 39. Does 4 divide h(s)?
True
Let v be 7/(22 - 1) - 50/6. Let x be 6/(-27) + 346/18. Let p = x + v. Is p a multiple of 11?
True
Suppose 4*b + 2*x - 27 + 13 = 0, -6 = 4*b - 2*x. Let a(p) = 1 + 31*p - 2 + 2. Does 12 divide a(b)?
False
Let p(u) = -4*u - 33. Suppose 2*t + 16 = -2*l, 0*l + l = -5*t + 12. Is p(l) a multiple of 9?
False
Let z be 2/1 - (-2 - -4). Suppose r + 3*r = z. Suppose 2*j - 4 = r, -2 + 1 = -3*k + 4*j. Is k a multiple of 2?
False
Let k(h) = h**3 + 4*h**2 + 3. Let l be k(-3). Suppose -8 = -i - i - q, 0 = 2*i - q - l. Does 5 divide i?
True
Suppose -288 = w + 5*w. Suppose 3*h - 2*h = -34. Let u = h - w. Does 7 divide u?
True
Let b = -7 - -3. Let m be 16/24*(b + 1). Does 16 divide 1/m - (-238)/4?
False
Suppose -2*d + 3*d = -2*t + 623, -2*d + 1252 = 2*t. Is d a multiple of 37?
True
Let q(u) = -u**2 - 3*u - 4. Let g be q(-2). Let h(r) = -r**3 - 2*r**2 - 4*r - 3. Let v be h(g). Is 10 a factor of 158/v - (-14)/35?
False
Let k = -55 - -83. Let d = 35 + k. Is d a multiple of 21?
True
Suppose 2*k - 3*k = -4, 0 = 2*c - k + 10. Let u(g) be the first derivative of -5*g**2 - 6*g - 2. Does 4 divide u(c)?
True
Let s(c) = c**3 + 3*c**2 - 4*c - 3. Let y be s(-3). Suppose -552 = y*k - 13*k. Is k a multiple of 23?
True
Suppose 15 = -i + 6*i. Suppose -a = -5*l - 291, l - i*a + 62 = a. Let y = 89 + l. Is 7 a factor of y?
False
Let f(t) be the second derivative of -5*t + 1/20*t**5 + 0 - 6*t**2 + 5/6*t**3 + 11/12*t**4. Is 19 a factor of f(-10)?
True
Suppose a = 3*i + 2, -17 = i + 3*a - 3. Is 2 a factor of ((-7)/(-14))/(i/(-24))?
True
Suppose -15*r + 37784 + 21496 = 0. Is r a multiple of 76?
True
Let t = 60 - 56. Suppose -4*m + 201 = -3*n, t*m - 2*n = 3*n + 207. Does 9 divide m?
False
Let w(l) = -69*l - 111. Does 5 divide w(-4)?
True
Let r(s) = s + 5. Let u be r(-8). Let i be u/(1 + (1 - 3)). Suppose 0*t = 4*d + t - 296, 0 = i*t + 12. Does 25 divide d?
True
Suppose 0 = -3*o + 2*o - 5*f + 78, -f = -o + 48. Suppose -13 + o = -4*x. Let z(h) = -5*h - 11. Is z(x) a multiple of 17?
False
Is 39/((-1521)/(-6)) + (-4572)/(-26) a multiple of 4?
True
Let y(o) be the third derivative of o**5/60 - o**4/8 - 8*o**3/3 - 2*o**2. Is y(7) a multiple of 12?
True
Let b = 689 + -425. Suppose b = -5*d + 784. Let y = d + -65. Is 11 a factor of y?
False
Is (4 - 5) + 581 + -6 a multiple of 14?
True
Suppose q = -3*a - a + 19, 0 = q + 5. Suppose 0*x = a*x - 258. Does 8 divide x?
False
Let p = -500 + 1242. Is p a multiple of 25?
False
Let i(r) = -r**3 - 13*r**2 + 4*r - 1. Let b be i(-13). Let w = b - -55. Is w even?
True
Suppose -4*t = -3*q + 6557, -3*t + 891 = q - 1299. Is 27 a factor of q?
True
Let c(u) = 26*u + 9. Let j be c(4). Suppose 4*s + j - 1 = 0. Let i = s - -57. Is i a multiple of 8?
False
Let v(t) = 19*t - 23. Let s be v(-6). Let g = -15 - s. Is g a multiple of 16?
False
Let c = 661 - 402. Suppose 191 = 2*o + w + 10, 0 = -3*o + w + c. Suppose -o = -3*x - 4. Is 6 a factor of x?
False
Let n(v) be the second derivative of 13/6*v**3 - 11/2*v**2 + 0 + 2*v. Is 18 a factor of n(5)?
True
Suppose 0 = 3*i + 3*p + 852, 0*i + 556 = -2*i + 2*p. Let a = 443 + i. Is a a multiple of 15?
False
Let s(y) = -4*y - 7. Let g be s(-3). Suppose -12 - 6 = 5*d - 2*z, 5*z = g*d + 30. Let f = d - -10. Is 6 a factor of f?
False
Suppose -81 = -3*b + 4*h, -h - 18 = 3*b - 114. Is 7 a factor of b?
False
Suppose -34*h + 8184 = -h. Does 4 divide h?
True
Suppose 3*b = 43*v - 40*v + 549, 5*v = -5*b + 945. Is b a multiple of 5?
False
Let t(k) = k**3 + 17*k**2 + 41*k + 34. Is t(-14) a multiple of 3?
True
Let h(f) be the third derivative of f**6/120 + 2*f**5/15 + f**4/6 + 11*f**3/3 - 7*f**2. Is h(-7) a multiple of 39?
False
Suppose 5*b = -10 - 10. Let j be b/(-10) + (-436)/(-10). Suppose -h - w = -20, 0*h + 5*w = h - j. Does 8 divide h?
True
Let t(r) = -17*r + 17. Suppose 4*f = -2*x - 26, 1 - 48 = 5*x + 4*f. Is t(x) a multiple of 23?
False
Let s be -2 - (2 + 1 - 8). Suppose s*l = 352 + 98. Suppose d - 6*d + l = 0. Does 5 divide d?
True
Suppose 4*p = p - 5*y - 2, 0 = -2*p + 2*y + 4. Is (-73)/(1/((-2)/p)) a multiple of 26?
False
Let p = 1157 - 581. Does 12 divide p?
True
Let h(o) = 10*o**2 - 4*o - 7. Let p(y) = y + 1. Let u(j) = h(j) + 6*p(j). Is u(4) a multiple of 31?
False
Let k(g) = g + 7. Let j be k(-7). Suppose -2*w + 118 = -0*y - 4*y, 4*w + 4*y - 188 = j. Does 14 divide w?
False
Let b(l) = 7*l**2 + 4*l + 15. Suppose 0*d = x + d + 1, 5*x + 3*d + 13 = 0. Is 17 a factor of b(x)?
True
Let q be 56/42 - 4/(-6). Suppose -j - 131 = -4*g + 81, -5*g + 252 = q*j. Is 26 a factor of g?
True
Suppose -25 = -2*l - 3*l. Suppose -398 - 42 = -l*o. Does 22 divide o?
True
Let o = -692 + 1139. Let a = o + -261. Is a a multiple of 15?
False
Let t = -5464 - -8241. Is t a multiple of 47?
False
Let m = -12 - -21. Let n = -5 + m. Does 26 divide