4. Let i(n) = n**2 - 6*n - 1. Is i(t) a multiple of 6?
True
Let i(q) be the second derivative of q**3/3 - q**2 - 2*q. Let k be i(5). Let z = 15 - k. Is 3 a factor of z?
False
Let q be 0 - 3/(-3)*0. Is (q + 3)/(1/6) a multiple of 9?
True
Let z(f) = -f**3 - 5*f**2 - 5*f - 7. Let x be z(-5). Suppose -5*h + 4*t = -20, -3*t + 41 = 2*h + 2*t. Let a = x - h. Does 10 divide a?
True
Let n(p) = -p - 270. Let k be n(0). Is 10 a factor of 2/(-7) - k/14?
False
Let j be ((0/3)/1)/1. Suppose 54 = -j*s + 2*s. Does 9 divide s?
True
Let a = -3 - -1. Does 12 divide (-1 - -1) + (42 - a)?
False
Let c = -3 - -8. Let i(y) be the first derivative of 2*y**3/3 - y**2 - 3*y + 3. Does 12 divide i(c)?
False
Suppose 44 = 2*k - 4*v, -v + 125 = 5*k + 4*v. Does 22 divide k?
False
Suppose -34*b + 29*b + 900 = 0. Is b a multiple of 20?
True
Let i(d) = 4*d**2 + 8*d + 5. Does 9 divide i(-6)?
False
Let s = 47 + -42. Let x = 2 + 0. Suppose x*m = s*a - 30, a - 2*a - 6 = 2*m. Is 4 a factor of a?
True
Suppose -3*m = 4*p - 13, 0 = -5*p + 3*m - 17 + 40. Suppose -p*l = 12, 5*a + 4*l + 632 + 4760 = 0. Does 23 divide 2/9 - a/18?
False
Let j = -42 + 80. Is j a multiple of 19?
True
Let a be 72/4*4/6. Suppose p = 3*r - 12 + 1, -2*r + 3*p + a = 0. Does 2 divide r?
False
Suppose 45 = c - 5. Suppose -155 = -5*b - 5*d, -5*b - 2*d = -7*b + c. Does 14 divide b?
True
Let o = -7 - 1. Let g = -4 - o. Suppose 2 = 2*c, g*y - 2*c + 3*c = 129. Is 17 a factor of y?
False
Let t = 40 - 34. Is t a multiple of 6?
True
Let m = -195 + 119. Let w be (m/(-8))/(1/10). Suppose -p + 19 = 2*y, 5*p + 5*y - w = y. Is p a multiple of 15?
False
Let a = 16 - 7. Suppose -b + a = 2*b. Is 14 a factor of b + -1 - -1*22?
False
Does 41 divide 170 + (0 + -4 - 1/(-1))?
False
Let v(j) = -5*j**3 - 2*j**2 + 3*j + 2. Let i be (16/(-24))/(1/3). Is v(i) a multiple of 7?
True
Let k = 7 + -7. Suppose k = r + 3. Is (-17)/(((-9)/r)/(-3)) a multiple of 17?
True
Let g(k) = 31*k**3 - k. Let m = 7 - 4. Suppose -m*u + 2*f - 10 = -5*u, -u - 2*f + 9 = 0. Is g(u) a multiple of 15?
True
Let i = -39 + 14. Let u(h) = -8*h + 4. Let g be u(-4). Let y = g + i. Is y a multiple of 6?
False
Let x be (-4 + 0)*2*-1. Suppose -b + 3 = -3*y + x, -y + 11 = 2*b. Suppose -b*h = -h - 24. Is 4 a factor of h?
True
Suppose 352 = 5*v + 4*r - 173, 5*r + 177 = 2*v. Suppose 0 = -4*s - 3*t + v, 2*t + t = s - 44. Is s a multiple of 12?
False
Let v = -21 + 43. Let b be 43/4 - (-9)/36. Let g = v - b. Is 11 a factor of g?
True
Suppose -2*h - 1 = 5*k + 13, k - 5 = -3*h. Suppose -h*j + 17 + 28 = 3*z, 2*j = -4*z + 28. Let p = j + -10. Is 2 a factor of p?
True
Let z = -1 - -3. Suppose 0 = z*h - q - 65, -3*q + 59 = 2*h - 2*q. Is h a multiple of 18?
False
Let j be (-8)/44 + (-9)/11. Let v(y) = -25*y - 2. Does 14 divide v(j)?
False
Let p = 77 + -116. Let i be (1 + p/4)*4. Does 16 divide 1/(i/18 + 2)?
False
Let j(x) = x**2. Let i be j(-2). Suppose 3*q = 2*p + i + 85, -4*q - 2*p + 114 = 0. Is q a multiple of 16?
False
Let v be 6474/36 + (-2)/(-12). Suppose -2*w = -6*w + v. Does 18 divide w?
False
Let w(q) = -2*q**3 - 5*q**2 + q - 9. Is w(-4) a multiple of 22?
False
Suppose 3*s + 3*n = 399, 3*s - 139 = 2*s + n. Does 14 divide s?
False
Suppose -191 = -5*z - q, z - 27 = -2*q - q. Is 5 a factor of z?
False
Let q(g) = -27*g - 24. Does 53 divide q(-5)?
False
Let t be (-1 + (2 - -10))*-1. Let u = t - -21. Suppose w - 10 = u. Does 11 divide w?
False
Suppose -2*s + 5*i = -58, -2*i = 5*s - 3*s - 72. Does 12 divide s?
False
Suppose 5*g + 0*g = -4*h + 4085, 0 = 5*g - 4*h - 4045. Suppose 0 = -4*q + g - 229. Suppose -50 = 3*b - q. Is 16 a factor of b?
True
Let r(n) = -n**2 - 8*n + 7. Let x(g) = g + 5. Let j be x(4). Suppose 2*h + 5 = -j. Is 14 a factor of r(h)?
True
Suppose -5*b - 3*o = 212, 3*b + 2*o = 4*b + 32. Is (54/4)/((-15)/b) a multiple of 10?
False
Suppose 79 = 3*c + 22. Does 4 divide c?
False
Let c(r) = 2*r - r + r**2 + 0*r**2 + 2. Let y be c(0). Suppose 44 = 3*b - u, -4*b + y*u = 5*u - 37. Is 13 a factor of b?
True
Suppose -y = 3*y - 228. Is y a multiple of 15?
False
Let v(i) = 2*i - 1. Let s be 0 - 4*4/(-8). Does 2 divide v(s)?
False
Let g(s) = -s + 12. Let y(z) = -z**2 - 6*z. Let q be y(-6). Is 5 a factor of g(q)?
False
Let k(y) = 2*y - 1. Let m be k(-1). Let x = m + 3. Suppose -z + 0*z + 16 = x. Does 8 divide z?
True
Let z be -2*2/(-4)*98. Suppose 3*q - z = 2*i - 4*i, 200 = 5*q - 4*i. Is 18 a factor of q?
True
Is 4 a factor of 288/(-60)*(-10)/4?
True
Let m be 4*3/12 + -2. Does 26 divide 2 + -3 + (-53)/m?
True
Suppose -75 = -3*l + 60. Let h be ((-2)/(-3))/((-2)/(-12)). Suppose -l = n - h*n. Is 9 a factor of n?
False
Let s(q) = 9*q - 3. Let c(w) = 3*w - 1. Let g(d) = 8*c(d) - 3*s(d). Let f be g(-1). Is (-264)/(-20)*10/f a multiple of 11?
True
Let b(v) = 0 - 1 + 22*v**2 - 14*v**2 - 2*v. Let w be b(-2). Suppose 4 + 34 = 2*y - 5*t, 3*y - 2*t = w. Is y a multiple of 9?
True
Let u(o) = -o + 5. Let n be u(4). Let f = n - -20. Suppose 2*i = i + f. Is i a multiple of 13?
False
Let s = -129 - -189. Suppose 0 = -2*x + 7*x - s. Is 5 a factor of x?
False
Let x(l) = l**2 - l - 9. Let a be (-3 - -2 - -2) + -6. Is x(a) a multiple of 21?
True
Let z(d) = -d**2 - 11*d + 22. Is z(-9) a multiple of 14?
False
Suppose -5*c - 27 + 267 = 0. Does 6 divide c/6*(-3)/(-2)?
True
Let r be (0*1/2)/2. Suppose -4*o + 40 = -r. Suppose 0 = -4*p - p + o. Is p a multiple of 2?
True
Let q(i) = i**2 + 5*i - 1. Let z be q(-5). Let j be (0/z)/(-1 - -2). Suppose j*h - 4*h + 144 = 0. Is h a multiple of 16?
False
Let f(q) = q**3 + 6*q**2 - 5*q - 4. Does 13 divide f(-5)?
False
Suppose -w = 3*g, 0 = -4*w + 7*g - 3*g + 32. Suppose 0 = -3*d + w*d - 201. Let y = d - 34. Does 15 divide y?
False
Let d = -124 - -212. Suppose -4*h = -0*h - d. Does 14 divide h?
False
Let d(n) = n**2 + n + 13. Does 5 divide d(0)?
False
Suppose 0 = -2*b - 0*b + 5*y + 90, -5*b = -3*y - 206. Is b a multiple of 12?
False
Suppose 6 = 2*b - 2. Suppose -r + 5*x = 2*r - 19, -3*x = b*r - 35. Is 15 a factor of ((-170)/r)/5*-4?
False
Let k(h) = -h - 6. Let m be k(-8). Suppose 0 = 5*p + m + 138. Does 13 divide -1 - p/(-6)*-3?
True
Let c = -11 - -6. Let y(u) = -2*u. Let v(p) = p. Let n(b) = -5*v(b) - 2*y(b). Is 5 a factor of n(c)?
True
Let w(i) = -i**2 + 2*i. Let c be w(3). Let x be 7*(0/c - 1). Let d = 23 + x. Is d a multiple of 6?
False
Let d be 0/(-4 + 2 - 0). Suppose d = g + r + 5, -4*r = -g + 20 - 0. Suppose g*n + 68 = 4*n. Is n a multiple of 8?
False
Suppose -y = -5*y. Let z(i) = i + 8. Let r be z(-6). Suppose -r*f + 150 - 30 = y. Is f a multiple of 20?
True
Suppose 4 = -7*t + 9*t. Suppose -2*v + 112 = t*v. Is v a multiple of 19?
False
Let t(c) be the second derivative of -13*c**3/6 + 2*c**2 - 4*c. Does 15 divide t(-3)?
False
Let p = -3 - 0. Let d = 6 + p. Is d a multiple of 2?
False
Suppose 2*f - 5*d - 81 = 22, 5*f = -4*d + 175. Suppose u + 1 - f = 0. Does 22 divide u?
False
Let l be ((-3)/1 - -3) + -2. Let v be l/11 - 18/22. Let j = 7 + v. Is 3 a factor of j?
True
Let t(m) = m**3 + 5*m**2 - m - 6. Let l be t(-5). Let h(x) = -35*x. Let c be h(l). Suppose -3*k - 5 = -c. Is 5 a factor of k?
True
Let q = -10 - -60. Is 25 a factor of (0 + 1)/(2/q)?
True
Suppose -8 = n - 63. Is 8 a factor of n?
False
Let s(c) = 33*c - 12. Is s(4) a multiple of 13?
False
Let l = 160 - 16. Is 48 a factor of l?
True
Let n = -70 + 122. Is n a multiple of 6?
False
Let f be (-3 - -4)/((-1)/(-5)). Suppose 0 = f*a + 3*r - 24, 2*r - 2 = 3*r. Is 6 a factor of a?
True
Let t(v) = 7*v - 2. Let d be t(2). Let s = d - 6. Is 6 a factor of s?
True
Let m(q) = 2*q**3 + q**2 - 6*q + 10. Let a be m(-7). Let c = 862 + a. Suppose 5*i - 117 = -3*u, 5*u + 2*i + 63 = c. Is u a multiple of 22?
True
Suppose 0 = -2*t + 29 + 25. Is 21 a factor of t?
False
Let x(o) = -5*o + 1. Let w be x(1). Is (w/(-6))/(2/21) a multiple of 6?
False
Let y be ((-120)/28)/5*-273. Suppose -y = -5*k + 2*d, -k - 7*d + 63 = -2*d. Is k a multiple of 16?
True
Let w = 50 + -20. Is w a multiple of 3?
True
Let m(r) = 2*r + 6. Let q be m(-13). Does 14 divide -1 - (q + -3 + 4)?
False
Let w(q) = -q**2 - q + 2. Let m be w(0). Suppose 8 = -m*a + 3*a. Suppose k = -2*z + a + 2, k - 6 = -4*z. Is 7 a factor of k?
True
Suppose 0 = -3*a - q + 359, 4*a - 303 = 5*q + 182. Does 12 divide ((-10)/25)/((-2)/a)?
True
Let a(o) = o**2 + 5*o - 10. Let z be a(-8