- 10. Let a = -7 + -3. Is p(a) a multiple of 5?
True
Let z(b) = 2*b**2 + 6*b + 4. Let s(k) = -k**2 - 8*k. Let l be s(-7). Is 26 a factor of z(l)?
False
Let w = -909 - -1028. Is 17 a factor of w?
True
Let h(g) = g**3 + 11*g**2 + 5*g + 3. Let j(x) = -x**3 + 1. Let c(m) = h(m) + 2*j(m). Let p be c(11). Is 6 a factor of (2/(-4))/((-3)/p)?
False
Let x(f) = f**3 + 23*f**2 + 32*f - 109. Is x(-20) a multiple of 6?
False
Let l(y) = -y**3 - 4*y**2 - 30*y - 44. Is 124 a factor of l(-6)?
False
Let l(u) = 14*u + 220. Is l(-6) a multiple of 17?
True
Let d = -491 - -1508. Is d a multiple of 16?
False
Suppose -2*i = -h - 4*h + 18840, 3781 = h - 3*i. Does 122 divide h?
False
Let g(r) be the first derivative of -3*r**3 - 9/2*r**2 + 2*r - 9 - 1/4*r**4. Does 4 divide g(-8)?
False
Let f = 25 - 4. Let s(c) = 4 + 2*c**2 + 4*c - f*c - 18 - 3*c**2. Is 23 a factor of s(-12)?
True
Let f(n) = 3*n**2 - n + 1. Let b be (-22)/(-77) - 10/(-14). Let z be f(b). Suppose u - 5*u - 3*g = -140, z*u = 4*g + 80. Is 16 a factor of u?
True
Suppose 4*u = -5*j + 1326, -2*u = 3*j - 987 + 193. Is 7 a factor of j?
False
Suppose 70 = 25*j - 11*j. Let l(u) = -u**3 - 3*u**2 - 5*u + 7. Let s be l(-6). Suppose 0*d - j*d = -s. Is 9 a factor of d?
False
Suppose 40 = 18*j - 14*j. Let w(h) = -j*h + 12*h - 15*h. Is 12 a factor of w(-6)?
False
Let w = 130 - -95. Is w a multiple of 35?
False
Let k = -125 - -85. Let r = k + 58. Is r a multiple of 6?
True
Let q = -401 + 566. Does 15 divide q?
True
Let u be 1 + 0 + 448/7. Suppose -4*d = 4*a - 80, 22 - u = -2*a + d. Does 16 divide -1 - ((-6)/2 - a)?
False
Suppose 2*g = -g + 285. Suppose 0 = -4*m - 0*m - 264. Let h = m + g. Is h a multiple of 21?
False
Suppose 3*p - 953 = -2*n, 2*n = 1 - 11. Suppose 5*j - 5*m - 525 = 0, 3*j + m - 2*m - p = 0. Suppose j = -6*k + 8*k. Is 18 a factor of k?
True
Let t be (-20)/(-4)*-1 + 22. Suppose -5*o = -4*k - 13, o - 25 = -5*k - o. Suppose 5*y + k*b = 43, y - 4*y + t = 4*b. Is y a multiple of 7?
False
Suppose 0 = -5*g + 209 - 4. Let i = g + -28. Is 13 a factor of i?
True
Let t be (-8)/52 - (-6)/39. Suppose -d + 24 + 2 = t. Is d a multiple of 13?
True
Let q = 458 - 402. Does 2 divide q?
True
Let g(y) = -8*y + 345. Is g(26) a multiple of 9?
False
Suppose 5*m = -2*s + 6*m + 541, -1047 = -4*s - 5*m. Suppose -s = -3*t - 7. Is t a multiple of 17?
False
Suppose -5*f - 626 = -x - 0*x, 5*x - 2*f - 3107 = 0. Is x a multiple of 23?
True
Suppose 5*w - 1239 = -3*n + 16, -2*w + 4*n + 476 = 0. Does 29 divide w?
False
Suppose 4*o - y - y = 624, -3*y = -4*o + 626. Is 20 a factor of o?
False
Let u be ((-22)/77 - (-24)/(-14)) + 1. Is u - 386/(-10) - 10/(-25) a multiple of 19?
True
Suppose -5*r + 2*r + 3*u + 9 = 0, -2*r = -4*u + 4. Suppose n + 46 = 5*n - m, -n = -2*m - r. Is 12 a factor of n?
True
Let u(w) = -11*w**2 + 3. Let x be u(2). Let n = x + 67. Is 3 a factor of n?
False
Suppose 32 = 4*i - 4*k, -4*i + k + 15 = -2. Suppose 0 = -h + i*h - 12. Does 7 divide (2/(-3))/(h/(-207))?
False
Let y(k) = 5*k + 9. Suppose 40 = 11*b - 26. Does 13 divide y(b)?
True
Is 4/(-3)*437*54/(-36) a multiple of 19?
True
Let a be 27 - 22 - (1 + -1). Suppose 78 + 499 = 3*w - a*g, 3*g - 3 = 0. Is 31 a factor of w?
False
Suppose -1455 = 10*c - 25*c. Does 4 divide c?
False
Suppose -3*k = -4*k - t, t + 10 = 4*k. Suppose 2*j - m - m - 16 = 0, -4 = k*j + 3*m. Suppose -95 - 5 = -j*a. Does 14 divide a?
False
Let b be 1 - 0 - (7 + 39). Let w = b + 192. Suppose 2*n - w = 9. Does 18 divide n?
False
Suppose 0 = 40*s - 13*s - 7776. Does 8 divide s?
True
Let o = 18642 - 10620. Is 20 a factor of o/105 - 6/(-10)?
False
Let f be ((-2)/6)/(1/(-6)). Suppose 15*t + 11 = 16*t. Suppose s = f*s - t. Is 4 a factor of s?
False
Let c(i) be the second derivative of -i**4/12 - 3*i**3/2 + i**2/2 - 2*i. Let w be c(-10). Is (-83)/(-3) - (-6)/w a multiple of 12?
False
Let z be 3/(-15) + 212/10. Suppose 1 - z = -4*h. Suppose -h*s + 117 = -218. Does 16 divide s?
False
Let z be 2 + -3 + 1*-1. Let n be (3 + z)*-4 + 26. Suppose -4*b + n = -22. Is 11 a factor of b?
True
Suppose -2*k + 4*y = -7*k - 6, 4*k - 2*y = -10. Let v be 6/((-1)/(1/k)). Suppose v*m - 30 = 3*r, -2*r + 21 = 5*m - 22. Does 5 divide m?
False
Let r = 188 - -23. Does 13 divide r?
False
Suppose -13 = 6*s + 11. Let v be s/(-22) - 371/(-77). Is 2/v + 528/80 a multiple of 7?
True
Is 19 a factor of 1816/(-60)*-27 + (-1)/5?
True
Suppose 86 = j - 3*a, 2*j - 3*j - 5*a + 62 = 0. Let c = 133 - j. Does 8 divide c?
True
Suppose 0 = 2*k + 222 + 142. Let s = k + 278. Does 20 divide s?
False
Suppose -4*w = -5*w + 4. Suppose 2*r + w = -8. Let j = 22 + r. Is j a multiple of 8?
True
Let p(s) = -s**3 + 6*s**2 - 4. Let u(j) = -j**2 - 10*j - 6. Let y be u(-9). Suppose -2*i - y*c = 2*c + 7, -5*i + 8 = 4*c. Is p(i) a multiple of 27?
False
Let v(z) = z**2 - 10*z - 8. Let w be v(11). Is 7 a factor of 97 + 2 + (-3 - w)?
False
Suppose -5*r - 4*m + 2395 = -4*r, -5*r - 3*m = -12060. Does 59 divide r?
False
Suppose 4 = -4*k - 12, -k + 1046 = -3*l. Let t = l - -510. Does 32 divide t?
True
Suppose -462 = -b - 5*q, 4*b + 5*q - 925 = 998. Does 49 divide b?
False
Suppose 4*y + 2*t - 3*t = 35, 5*y - 3*t - 49 = 0. Suppose 0 = 22*d - 18*d - y. Does 2 divide d?
True
Suppose 0 = 2*b + 8*k - 9*k - 903, -5*k = 3*b - 1348. Does 41 divide b?
True
Let t be (44/(-55))/(1/5). Let i(v) = v**2 - 4. Does 8 divide i(t)?
False
Let f = 1261 - 813. Is f a multiple of 28?
True
Suppose z - 5*c = -21 + 9, 4*z + 3 = 5*c. Suppose z*x - 169 + 61 = 0. Does 4 divide x?
True
Suppose -4*i - i = -18*i. Suppose -f - 114 = -j - 4*f, -4*f - 16 = i. Is j a multiple of 14?
True
Let p be 16/(-10)*45/18. Is (-3)/((-6)/p) - -13 a multiple of 6?
False
Let r = 188 - 176. Let g(p) = 2*p**2 - 21*p + 44. Does 40 divide g(r)?
True
Let s(v) = 11*v**2 + 3*v + 1. Let a be s(-1). Suppose a = -3*k, -7*t + 219 = -2*t + 2*k. Is t a multiple of 15?
True
Suppose 79 = 2*q - 3*i - 130, -5*q = 3*i - 575. Does 7 divide q?
True
Let x be ((-1)/2)/((-2)/4). Let r be 32/12 - (-2)/(-3). Does 19 divide 3 + (r - x) + 26?
False
Let w(q) = 10*q + 12. Suppose 19 = 5*o - 16. Let k be w(o). Let y = k + -48. Is 12 a factor of y?
False
Let n(f) = 4*f**3 + f**2 - 4*f + 3. Let t be n(1). Suppose -5*x = 5*j - 895, x - j = t*j + 155. Is 12 a factor of x?
False
Suppose 5*f = -22*f + 5805. Is f a multiple of 10?
False
Suppose 2*h - 6 = -0*h. Let s be 1/(-2)*(-1 - h). Suppose 2*d + m - 34 = -s*m, -2*d - 5*m = -30. Is 13 a factor of d?
False
Let q = -32 + 42. Let j(v) be the third derivative of -v**6/120 + v**5/6 + 7*v**3/6 + 4*v**2. Is j(q) a multiple of 3?
False
Let v(x) be the first derivative of 5 - x**2 + 1/4*x**4 - 2*x**3 + 4*x. Is v(7) a multiple of 8?
False
Let b(l) = 4*l**2 + 9*l - 117. Is 9 a factor of b(10)?
False
Let w = -21 + 25. Let l = 54 + w. Is l a multiple of 12?
False
Let v(z) = -15*z**3 + 3*z**2 - 7*z - 10. Is 10 a factor of v(-3)?
False
Let w(b) = 137*b - b**3 - 4 + 2*b**3 + 14*b**2 - 112*b. Does 21 divide w(-11)?
True
Let n(d) = 2*d - 12. Let w be n(7). Let a(t) = -w*t - 2*t + t**3 + 4 + t - 5*t**2 + 2*t**2. Is a(4) a multiple of 5?
False
Let g = 8 - -1. Let f be 1338/g + 14/(-21). Let q = f + -106. Does 14 divide q?
True
Let l be ((-12)/(-8))/((-1)/24). Let g = 36 + l. Suppose 2*b - 4 + g = 0. Is b even?
True
Let v be (4/(-5))/(3/(-15)). Suppose 3*z - v*w = -5*w + 17, -30 = -5*z - 2*w. Is 196*2*z/16 a multiple of 30?
False
Let y(q) = q**3 - 11*q**2 + 10*q. Let z be y(9). Is (z/(-7))/(3/21) a multiple of 11?
False
Let x = 1059 + -75. Is 82 a factor of x?
True
Suppose 2*u - 932 + 40 = 0. Suppose d - 670 = -5*s + u, 4*d + 688 = 3*s. Does 16 divide s?
True
Let y(k) = -k**2 + 46*k + 135. Does 8 divide y(35)?
True
Suppose 0*o + 2389 = 4*o + a, 3*a = -5*o + 2988. Is 39 a factor of o?
False
Let x(w) = 30*w**3 + 2*w**2 - 4*w + 2. Suppose -z = -11*z + 10. Is 10 a factor of x(z)?
True
Let d(y) = 3*y + 11. Let s be d(-2). Suppose -13*l + s*l = -96. Is 3 a factor of l?
True
Does 3 divide ((-3105)/270)/(2*2/(-8))?
False
Is -5 + 130 + 6/3 a multiple of 23?
False
Let y(u) = -7*u - 3. Suppose -m = -4*k - 6*m + 22, -m - 7 = -3*k. Let z(g) = -7*g - 3. Let q(p) = k*z(p) - 4*y(p). Is q(3) a multiple of 12?
True
Let w(c) = 65*c**2 - 9*c + 9. Let a be w(1). Suppose 66*n - 119 = a*n. Is 13 a factor of n?
False
Suppose -3*r - 2 = -4*r. Suppose 