Let x(n) = -n - 21. Let a be x(-14). Let m(f) = -f**3 - 6*f**2 - 7*f - 10. Is 22 a factor of m(a)?
True
Suppose 8 = 2*o - 4. Suppose -3*z - 19 = -2*x - 3*x, -2*z - o = 0. Suppose -v - 14 + 112 = -3*c, 0 = -x*c - 10. Is v a multiple of 12?
False
Let y(s) = 17*s**2 - 4*s - 5. Let p be y(4). Suppose 0 - 44 = -f - 5*k, 5*k + p = 4*f. Suppose f = 4*z - 109. Is z a multiple of 21?
True
Suppose -2*t = -5*p - 166, -t - 4*p = -5*t + 332. Let c = t + -41. Suppose r - c = -8. Is 13 a factor of r?
False
Suppose 0 = 2*w - 6, 2*b - w = -6*w + 7. Suppose h + 2*z + 7 = -3*z, -5*h + 49 = -3*z. Let c = b + h. Is c a multiple of 4?
True
Suppose -4*o - 2*z + 0 = -4, 2*o - 6 = z. Let p(k) = -3*k**o + 0*k**2 + 5 + k + 4*k**2. Does 5 divide p(-4)?
False
Let u(z) = -z**3 + 6*z**2 - 8*z - 12. Let r be u(5). Let f = r + 153. Is 14 a factor of f?
True
Let y = -135 - -365. Does 10 divide y?
True
Let d be (-168)/(-5) - 18/30. Is 0 + (1 - 4) + d a multiple of 6?
True
Suppose -9 = -o - 4. Suppose 5*a + 0*d - 3*d = 18, -o*d = 4*a - 44. Is 13/1*(8 - a) a multiple of 13?
True
Let c = -203 + 1259. Is c a multiple of 11?
True
Suppose -4*t = 47 - 51. Suppose 0*s + 5*y - 395 = -4*s, -y = t. Is s a multiple of 29?
False
Suppose -5*d - z = -785 - 15894, 4*d + 3*z - 13352 = 0. Is d a multiple of 29?
True
Let w = 32 - 30. Suppose 0 = 4*d - 3*i - 69 - 37, w*d + 5*i = 66. Suppose r - 57 = d. Is r a multiple of 17?
True
Let l be (-752)/(-20) + ((-8)/(-10))/2. Let z = 50 - l. Is 3 a factor of z?
True
Suppose -280 = -5*n + 4*i, 8*i = 5*n + 6*i - 280. Is n a multiple of 14?
True
Let l = -82 - 144. Let b = l - -340. Does 9 divide b?
False
Let m(g) = g**2 + 7*g - 3. Let i be m(8). Suppose -w = -0*w - i. Is 13 a factor of w?
True
Let q(z) = 9*z**2 + 2*z - 2. Let m be q(1). Suppose 204 + 516 = m*w. Is 8 a factor of w?
True
Suppose 7*n - 4776 = -5*n. Does 16 divide n?
False
Suppose 6*n - 8 = 64. Suppose 0 = -2*x - x - n, 70 = m - x. Is m a multiple of 22?
True
Let c(p) = -p**3 + 3*p**2 - 5*p - 3. Suppose 0 = -3*t + 8 + 1. Let d be c(t). Let o = 38 + d. Does 5 divide o?
True
Let k = 8 + -9. Let h(y) = -95*y**3 - 2*y**2 - 2*y - 1. Let p be h(k). Suppose p = 2*l + 4*n, l - n - 94 = -l. Is 12 a factor of l?
False
Let n(p) = p - 5 + 12*p**2 - 4*p**2 - p**2 - 6*p**2. Let d(y) = 5*y - 3. Let w be d(2). Does 13 divide n(w)?
False
Let b(h) = 2*h**2 - 6*h + 17. Let z be b(3). Suppose -498 = -z*f + 11*f. Does 60 divide f?
False
Let p = -244 - -345. Suppose b = -4*d + 7, -4*b = b - 2*d - p. Is b a multiple of 3?
False
Suppose -25*m + 6067 = 1142. Is 21 a factor of m?
False
Suppose 1902 = 20*l + 342. Is l a multiple of 6?
True
Let y be 4/(-10)*10/(-4). Let f = 4 + y. Suppose 3*o = 31 + f. Is 6 a factor of o?
True
Let h = 905 + -489. Is h a multiple of 4?
True
Suppose -3*f + 1706 = 53. Does 33 divide f?
False
Let r(f) = -f**3 - 17*f**2 + 17*f - 19. Let d be r(-18). Let p be (-4)/d + (6 - 1). Suppose p*y = 10*y - 39. Is y a multiple of 13?
True
Let b(u) = 3*u - 6. Let t be b(3). Suppose k = -5*m + 186, -5*m + k - t*k = -187. Is m a multiple of 7?
False
Suppose -3*s - 2*a = -28, 4*s + 0*a - 44 = -4*a. Suppose 3*p - 185 = y, -p = 2*y - s*y - 740. Let f = -113 - y. Is 18 a factor of f?
True
Suppose 4*k - 8*k = -5*l - 30, 4*k - 16 = -2*l. Let g be (l + 3)*(3 + 0). Suppose -5*p - 91 = -2*a, g*a + p + 3*p - 79 = 0. Does 11 divide a?
True
Suppose 5*k = 3*x + 14, -3*x + 4*x + 10 = 3*k. Suppose 3*p - 2*p = k. Suppose 7*a - 66 = p*a. Is a a multiple of 11?
True
Let h be (-27)/45 - 1983/(-5). Suppose -h - 267 = -17*y. Does 15 divide y?
False
Suppose 0 = o - 5, -5*k - o = 4*o - 75. Let p(h) = h**3 - 7*h**2 - 19*h - 11. Is p(k) a multiple of 10?
False
Is 28 a factor of 2 + 8 + (-46 - -1040)?
False
Let z(f) = -f**2 - 7*f - 10. Let k be z(-5). Let r(q) = -1 - q**3 - 8*q**2 - 2*q - 3*q + k + 2*q. Does 23 divide r(-8)?
True
Let n = -38 - -55. Is 4 a factor of n?
False
Let z = -12 + 12. Let o be 3 - 2 - (-1 - z). Suppose -o*q = 1 - 13. Does 2 divide q?
True
Suppose -3*v + t + 2*t + 1245 = 0, 3*t = 5*v - 2079. Is 26 a factor of v?
False
Suppose 0 = -4*k - 51 + 891. Does 15 divide k?
True
Let i(k) = 3*k**3 - 19*k**2 - 6*k + 12. Let c be i(6). Does 10 divide 7/((-7)/c) - 2?
False
Let r(s) = -3*s**2 + 72*s + 25. Does 47 divide r(23)?
True
Let m(b) = 81*b + 14. Is 50 a factor of m(6)?
True
Suppose 3*r - s = 14189 - 1786, 4*r - 16532 = -4*s. Is r a multiple of 106?
True
Let u(n) = 2374*n**2 + n - 6. Is 12 a factor of u(1)?
False
Suppose -b = 3*b - 24. Let l be (-4)/8 + 135/b. Suppose -2*v + 176 = -l. Is v a multiple of 26?
False
Suppose -3*b - g = -5 - 2, 4 = -4*b + 2*g. Let y be (-2 + b)*(2 - 6). Suppose 0*t - 144 = -y*t. Does 8 divide t?
False
Let w be 1 - -18*5/10. Suppose -w*n = -1043 + 273. Is 24 a factor of n?
False
Let a(k) be the third derivative of -k**6/720 + 17*k**5/120 - 7*k**4/24 + 5*k**2. Let v(u) be the second derivative of a(u). Does 11 divide v(5)?
False
Suppose 16*q = 20*q - 532. Suppose -q*i - 432 = -136*i. Is 18 a factor of i?
True
Suppose 6*n - 20 = 10. Suppose 5*s - 5*j = -64 + 314, 4*s - n*j = 203. Is s a multiple of 5?
False
Let t(q) = -4*q**2 - 19*q + 7. Let r be t(-5). Let s(h) = h + 11. Does 13 divide s(r)?
True
Let a be -14*1 - (8 - 9). Let z = a - -52. Is z a multiple of 13?
True
Let u = -247 - -284. Is 11 a factor of u?
False
Suppose 29*t - 9118 = -4*s + 34*t, -5*s = 5*t - 11420. Is s a multiple of 12?
False
Let w(c) = 31*c**2 - 65*c - 42. Is w(-7) a multiple of 76?
False
Suppose -2*x - 1937 + 2091 = 0. Is 8 a factor of x?
False
Suppose -3*o + 2*j = 2 - 14, j - 15 = -2*o. Let g be (160/o)/(1/3). Suppose l - g = -5*a + 4*l, -2*l = 4*a - 64. Is a a multiple of 8?
True
Let c(j) = -j**2 - 8*j + 4. Let d be c(-8). Suppose 4*k - 288 = i + 4*i, -3*i - d*k = 192. Let l = -30 - i. Does 15 divide l?
True
Let o be (-54)/(-10) - 4/10. Suppose o*a - 4*h + 69 - 231 = 0, -4*a + h = -123. Is a a multiple of 10?
True
Is 6 a factor of 557 + 35 + (-2)/(1 - 0)?
False
Let g(t) = -31*t**2 + 9*t - 15. Let w(k) = 6*k**2 - 2*k + 3. Let c(n) = 2*g(n) + 11*w(n). Does 7 divide c(2)?
False
Let m be (-2)/(3/((-252)/8)). Let r be (1 - m)*1 + 2. Does 17 divide (r/(-15))/(4/170)?
True
Is 27 - ((-2)/(-4) + 112/32) even?
False
Let v be (36/42)/((-3)/(-231)). Suppose -v = -4*h - 2*f, -3*h - f + 40 + 10 = 0. Does 15 divide h?
False
Suppose 5*m + 1095 = 2*j, -20*j = -15*j - 5*m - 2760. Is j a multiple of 38?
False
Let f be -1*2*3/2. Let l(h) be the third derivative of -11*h**4/24 + 7*h**3/6 - 105*h**2. Is l(f) a multiple of 20?
True
Let p be ((-5)/(-15))/(1/(-9)) + 6. Suppose 4*t + 180 = 4*s, p*t + t - 107 = -3*s. Is 4 a factor of s?
False
Let v(f) = f**3 - 9*f**2 + 9*f - 5. Let g be v(7). Let r = g + 95. Does 2 divide r?
False
Suppose 0 = -2*z - 5*z + 581. Does 4 divide z?
False
Let m = -175 + 573. Does 43 divide m/6 - (-10)/15?
False
Let u be (-6)/(-6) - (-25 - -2). Suppose -u*k + 2160 = -6*k. Does 12 divide k?
True
Let b = -11 + 6. Let a be 1/b - 181/(-5). Is (27/a)/(1/68) a multiple of 17?
True
Let x(r) = r**3 - 7*r**2 + r - 1. Suppose 5*s = -4*i + 15, -4*s + 25 + 28 = -5*i. Let m be x(s). Suppose -3*j = -m*j + 72. Does 4 divide j?
True
Let y(d) = d**3 - 10*d**2 + 2*d + 2. Let j be y(10). Suppose 0 = 2*t + j + 10. Let b = 13 - t. Is b a multiple of 16?
False
Is 15/3 - -3 - -240 a multiple of 8?
True
Let s(r) = 204 + 3*r**2 - 20*r - 126 - r**2. Is 10 a factor of s(12)?
False
Suppose 17*k + 6 = 20*k. Is 4 a factor of (k/((-8)/(-46)))/(8/16)?
False
Let m = 742 - 512. Let s be -1 + (-2)/(-2)*(-155 + 6). Let g = s + m. Does 20 divide g?
True
Let z(a) = 6*a**2 - 2*a + 3. Let b(x) be the first derivative of x**2/2 - x - 4. Let s(l) = 2*b(l) + z(l). Does 16 divide s(2)?
False
Let c(n) = -n**3 + n**2 + 9. Suppose 3*w - 53 = -4*v, 3*v + 2*v + 43 = w. Suppose -q + 8 = -3*a + w, 4*a - 20 = -2*q. Is c(q) a multiple of 3?
True
Let x be (6/4)/((-6)/(-32)). Suppose -39 = -5*a + x*a. Let c(z) = -z**2 - 22*z - 17. Is c(a) a multiple of 24?
False
Does 35 divide (22/(-11))/((-2)/140)?
True
Let x(d) = 7 - 3 - d + 6. Let i be x(0). Suppose -2*t = i - 34. Is t a multiple of 12?
True
Suppose 2*z + 3 = -5*f, 0*z - f - 5 = -4*z. Let s(p) = -9*p - 11. Let q be s(8). Is z + (0 - (q + 3)) a multiple of 9?
True
Let g(d) = -555*d - 69. Does 27 divide g(-1)?
True
