f. Let i(v) = 3*v - 15. Is 9 a factor of i(n)?
True
Is 8 a factor of ((-37191)/(-14))/7 - (-1)/2?
False
Let n(t) be the second derivative of 1/6*t**3 + 0 + 8*t**2 - 9*t. Is n(-8) a multiple of 2?
True
Is (-16121)/(-235) - 3/5 a multiple of 17?
True
Suppose -2*c + 3*w - 9 = 36, 0 = 5*c - w + 132. Let b = c + 45. Is b a multiple of 9?
True
Suppose 0 = -3*l + l + 14. Let y = 67 + l. Does 21 divide y?
False
Suppose 8*p = 5*p - 4*g + 788, -p - 5*g = -270. Does 10 divide p?
True
Suppose 30 = -4*u - 3*z + 112, 3*u = 5*z + 47. Suppose 3*w - 17 = u. Is w a multiple of 3?
True
Let s(g) = -g**3 - 5*g**2 + 7*g + 9. Suppose -3*y - 18 = -0*y. Let x be s(y). Does 22 divide x*(3 - 2) - -57?
False
Let x(y) = y**2 - 10*y + 5. Let b be x(9). Let q = 18 + -24. Is 7 a factor of (3/q)/(b/88)?
False
Let o be (-3 - (-3 - 0))/(-3). Suppose -6*q + 4*q = o. Suppose q = -3*x + 2*x + 33. Is x a multiple of 11?
True
Let p(l) = 5 + 8*l - 7*l**2 + 6*l**2 - 1. Let q be p(8). Suppose k - q = 2. Does 3 divide k?
True
Does 8 divide (-5*3117/(-30))/((-1)/(-2))?
False
Let j = -18 + 34. Suppose 17*y - 18 = j*y. Is 18 a factor of y?
True
Let l(s) = -171*s**3 + s**2 + 10*s + 8. Is l(-1) a multiple of 4?
False
Suppose 3*c = -3*m + 1491, -5*m + 3*c + 497 = -4*m. Is m a multiple of 30?
False
Let j(t) = -t**3 + 7*t**2 - 6*t + 3. Let n be j(6). Suppose -7 = -2*m - n. Suppose -31 = -u + 2*q, -q = m*q - 3. Is 13 a factor of u?
False
Suppose -5*k - 2*l - 104 = -416, k - 60 = -l. Is 4 a factor of k?
True
Is 17 a factor of 257 + 2 - (-9 - (-3 + -2))?
False
Let x(f) = 100*f + 3. Let i(d) = d + 1. Let l be i(-4). Let g(o) = 25899*o + 776. Let j(q) = l*g(q) + 776*x(q). Does 25 divide j(-1)?
False
Let s be (-10)/(-6) - 2/3. Let r(b) = -b**2 + 9*b + 16. Let k be r(11). Let z = s - k. Is z a multiple of 3?
False
Let o(f) = f**3 + 23*f**2 + 71*f + 10. Is o(-18) a multiple of 18?
False
Suppose -4*q = 3*w - 0*w - 255, -12 = -4*q. Let j = -46 + w. Is j a multiple of 7?
True
Let s be 3 - (134/3)/((-5)/15). Suppose -t - 411 = -3*v, -s = 2*v - 3*v + 3*t. Is v a multiple of 28?
False
Is (18165/10)/(-7)*(-12)/18 a multiple of 19?
False
Suppose 5*o = 8*o - 12. Suppose -d = -0*d + o*y - 111, -3*d + 349 = 4*y. Is 17 a factor of d?
True
Let p = 289 - 44. Suppose 7*w - p = 2*w. Is 5 a factor of w?
False
Suppose -280 = -4*y + 2968. Does 45 divide y?
False
Let u be (-2)/5*(3 + -8). Suppose -3*f + 52 = u*t, 0 = 2*t + 9 - 1. Let z = f + -8. Does 9 divide z?
False
Suppose -485 = -3*b + 5*h + 42, 3*b - 517 = -5*h. Does 9 divide b?
False
Let y = 34 - -13. Let s = 97 - y. Does 12 divide s?
False
Suppose -2256 = -5*r - 4*n + 1570, -4*r - n + 3063 = 0. Is r a multiple of 47?
False
Let t(v) = -116*v**3 + 7*v**2 - 7*v - 8. Let w(s) = -115*s**3 + 8*s**2 - 8*s - 9. Let z(x) = 7*t(x) - 6*w(x). Is z(-1) a multiple of 44?
False
Let f(b) = b**3 + 4*b**2 - 4. Let d be f(-3). Suppose 2*s + d*s = 749. Is s a multiple of 20?
False
Suppose -2*o - 2*a + 474 = -236, 5*o - 1781 = -3*a. Is 20 a factor of o?
False
Let i = 534 - 18. Does 17 divide i?
False
Let q be (-3 - (-1)/1) + 5. Suppose s = -2*u + 6, -5*u + u - q*s = -12. Is u a multiple of 2?
False
Suppose -5 = 5*k + 5, -k = w + 127. Let g = -31 - w. Is g a multiple of 13?
False
Let f = 212 - -91. Suppose -3 = -2*n + f. Does 9 divide n?
True
Suppose -3*c + 3*w = -42, w + 8 - 3 = 0. Suppose -3*j - 66 = -q, -43 = -q - 5*j - c. Suppose -2*h + 0*h + q = 0. Is h a multiple of 8?
False
Let w(o) be the third derivative of 13*o**4/24 + 5*o**3/3 + 7*o**2. Let r be (-154)/(-21) - (-2)/(-6). Is w(r) a multiple of 27?
False
Let p = -213 + 530. Is p a multiple of 41?
False
Suppose -4*i = -5*i - 3*k + 16, 2*k = -4*i + 84. Suppose 0 = -2*o - 2*b - i + 164, 4*b = 3*o - 248. Is 29 a factor of o?
False
Let x(t) = -t**3 + 10*t**2 - 12*t - 5. Let l = -29 + 35. Does 13 divide x(l)?
False
Let w = 341 + -185. Is 13 a factor of w?
True
Let c(p) = p**3 - 26*p**2 + 56*p + 94. Is c(25) a multiple of 21?
False
Let k(o) = -o**3 + o**2 + 3*o - 1. Let z be k(4). Let b = -9 - z. Does 13 divide b?
False
Let g(d) = -d**3 + 8*d**2 + 21*d + 31. Is g(10) a multiple of 25?
False
Let t(n) = 4*n**2 - 6*n**2 - n**2 + 32 + 2*n**2 - n. Let i be t(0). Suppose 3*j = 170 - i. Is 30 a factor of j?
False
Let g(d) = -329*d - 1. Let l(m) = -328*m - 1. Let r(p) = -6*g(p) + 7*l(p). Let z be r(-1). Suppose -5*f - 96 + z = 5*q, -45 = -q + 3*f. Is 15 a factor of q?
True
Let c = -229 + 810. Is c a multiple of 19?
False
Let d(h) = 4*h**2 + 6*h - 2. Let b be d(5). Let l be (-1 - 5)/((-6)/b). Suppose 3*o - 76 = -v, 0 = -2*o + 7*o + v - l. Is 18 a factor of o?
False
Let q(f) = -f**2 + 5*f + 3. Let a be q(5). Suppose -a*z + 927 = -144. Is z/28 - 1/(-4) a multiple of 13?
True
Let x be 6/9 + 148/(-6). Let s = x + 27. Suppose 305 = 3*n - 2*k + k, s*k + 315 = 3*n. Is 25 a factor of n?
True
Let y(k) = -11*k. Let w be y(-1). Let m be (-2)/w + (-48)/(-22). Is 3 a factor of (11 - 2) + (m - 1)?
False
Let y be (-2)/7 + (-792)/(-77). Let h(f) = -f + 14. Let s be h(y). Suppose 3*q - 234 = r, 0*q = -s*q - 3*r + 312. Is 14 a factor of q?
False
Does 9 divide ((-2)/2)/((-33)/19371)?
False
Let j(p) = -p**3 + 87*p + 4*p**2 + 1 - 85*p + 2. Let r be j(3). Let h = 14 + r. Is 14 a factor of h?
False
Suppose -4*j = -14 + 2. Let u be (-14)/(-6) + 2/j. Suppose -m = c - 66, -m + 76 = u*c - 4*c. Is m a multiple of 22?
False
Let m be 123/9 - 1/(-3). Suppose 3*k = 2*b - m, 10 = -2*b - 2*k - k. Suppose -d - 4 = b, -3*r = d - 175. Does 20 divide r?
True
Suppose 0 = -3*h + 5*q - 3 + 4, -2*q + 36 = 4*h. Does 7 divide h - (4 - (4 - 0))?
True
Let m be 55/(-7) + (-3)/21. Let f(r) = r**3 + 9*r**2 + 7*r + 8. Is f(m) a multiple of 8?
True
Let i(w) = -2*w - 10. Let y be i(5). Let x = y + 104. Does 28 divide x?
True
Is 17 a factor of 51920/60 + (-15)/(-9)?
True
Does 15 divide (-5 - 5)/(11/(-198))?
True
Suppose 0 = -7*f + 2*f - 5*w - 30, 3*f + w + 24 = 0. Let z(n) = -n**3 - 9*n**2 - n - 1. Let o be z(f). Suppose 0 = -b - 0*b + o. Is b a multiple of 8?
True
Let f = 3704 + 218. Does 125 divide f?
False
Suppose -5*y + 9 + 1 = 0. Suppose 3*x + 0*o - o + 40 = 0, -y*x - 4*o - 8 = 0. Let z = x - -35. Does 9 divide z?
False
Suppose -3*o + 237 = -2*x - 59, o = -3*x + 106. Let y = -59 + o. Is 12 a factor of y?
False
Let q(v) = v**3 - v - 1. Let b be q(0). Let i(j) = -583*j**3 - 2*j**2 + 1. Let z be i(b). Is z/8 + (-3)/4 a multiple of 12?
True
Suppose 5*a + 7 = -3*y - 3, -2*a + 5*y = 35. Let b(u) = u**3 + 7*u**2 + u + 3. Is 8 a factor of b(a)?
True
Does 12 divide -2 + (-15)/(-6 - (-6615)/1106)?
False
Suppose 3*x + 5*k - 238 = 0, -94 - 235 = -4*x + 5*k. Suppose -x = -3*z - 0*y + 5*y, -5*y = 5*z - 95. Is z a multiple of 11?
True
Suppose -3*v + 2*x - x = -1521, 5*v - 4*x = 2535. Is v a multiple of 13?
True
Let b(f) = 2*f + 1. Let x be b(1). Suppose -5*o = 2*m + 3*m - 690, x*o + 414 = 3*m. Let l = m + -92. Does 15 divide l?
False
Let a(d) = 1 + 1489*d - 1489*d + 162*d**2. Is a(-1) a multiple of 44?
False
Suppose 78 = 9*l - 30. Does 11 divide l?
False
Let d(x) = -47*x + 1. Let q(k) = 24*k - 1. Let m(o) = -3*d(o) - 5*q(o). Is 10 a factor of m(2)?
False
Suppose d = -d + 452. Suppose d = -2*l - 4*h, 0*h = h + 4. Let m = 183 + l. Is 11 a factor of m?
False
Let a = 1056 - 720. Suppose -a = 32*d - 34*d. Does 21 divide d?
True
Let z(d) = -d**2 + 4*d + 8. Let u be z(6). Does 10 divide 25*5*5*u/(-50)?
True
Let t(m) = 9*m**2 + 6*m + 62. Is t(-6) a multiple of 35?
True
Let o(j) = j**2 - 11*j - 15. Let f be o(12). Let t be f*(22/(-6) - 1). Suppose -3*r + 118 + t = 0. Is r a multiple of 13?
False
Suppose 4*n + 5 = 5. Suppose v = -3*w + 11, n = -v + 5*w - w + 11. Is 3 a factor of v?
False
Suppose 2*f - 4*f = -40. Let c be (30/(-8))/((-5)/f). Suppose 5*k + 7*u - 581 = 4*u, -c = 5*u. Does 27 divide k?
False
Let b(d) = -6*d - 1. Let n be b(-1). Suppose 7*x - n*f - 106 = 3*x, 92 = 4*x + 2*f. Is x a multiple of 3?
True
Let n = -3044 - -4652. Does 67 divide n?
True
Suppose -16 = -2*c - 8. Suppose 5*k = 4*k - 2*x + 143, 0 = -c*k + x + 554. Is 12 a factor of k?
False
Let b(v) = 9*v - 2. Let q(r) be the first derivative of r - 7. Let d(t) = -b(t) - 6*q(t). Is d(-7) a multiple of 16?
False
Suppose -3*h + h + 716 = -s, 5*s - 1460 = -4*h. Is h a multiple of 7?
False
Suppose 0 = m + 5*v - 46, -2*v + 117 = 4*m - 85. Let z = 