Let o be k(5). Is 40 a factor of 924/(-7 + 14) + 1 + o?
False
Let k(v) = 537*v + 91. Does 16 divide k(10)?
False
Suppose 1348 = -3*i + c, -3*c = 4*i + 2790 - 984. Let o = i + 822. Does 31 divide o?
True
Suppose 16*k - 130615 - 128105 = 0. Does 35 divide k?
True
Suppose 23*l - 19*l = -4*x + 45960, -4*l + 45963 = x. Does 22 divide l?
False
Let x(s) = 4*s - 11. Let k be x(6). Suppose -5*b = 4*n - 35, b + 2*n - k = -0*n. Is (-1738)/(-7) - b/(-42)*-4 a multiple of 26?
False
Suppose -4*x - 10 = -2*c, -3*x = -5*c - x + 57. Let f = 869 - 867. Let a = c - f. Is a a multiple of 7?
False
Suppose 1 = o + 5*x, -5*o + 61 = -2*x - x. Let j be (8 + -9)*(-8)/4. Suppose -j*d = -7 - o. Is 9 a factor of d?
True
Suppose 89 = 2*n + 5. Is n a multiple of 3?
True
Let u(p) = 58*p**2 - 11*p - 10. Let q be u(-1). Suppose 46*s - q*s = -494. Is 8 a factor of s?
False
Suppose -2*g + 153 = 1013. Let m be g/4*64/(-40). Let s = m - 71. Is s a multiple of 14?
False
Let j(b) = -76*b + 3. Let h be j(1). Suppose -7*g + 9*g - 242 = 0. Let w = g + h. Does 17 divide w?
False
Let x(d) = d - 5. Let o be x(9). Suppose -3*k + o*a + 22 = 0, 0 = 3*k + 2*a + 5 - 3. Does 12 divide (6*12/(-54))/(k/(-72))?
True
Let f be (-7 + 4)*4/(-3). Let r(p) = 18*p + 14. Let u be r(f). Suppose -x + 238 = 3*l, -4*x + u = l - 2*x. Is 27 a factor of l?
False
Let c(f) be the second derivative of -3*f**3/2 + 57*f**2/2 + 48*f. Does 11 divide c(-12)?
True
Let n(c) = 2943*c**2 + 114*c - 2. Does 139 divide n(3)?
True
Let k be 3 + -2 + 2 + -3. Suppose k*w - 5*l + 10 = -2*w, -l + 2 = 3*w. Suppose 5*s + 5 = w, 5*s + 69 + 122 = 3*a. Is 13 a factor of a?
False
Let x(a) = 155*a**2 + 88*a - 250. Does 8 divide x(3)?
False
Suppose 0 = 182*m - 127*m - 214115. Does 17 divide m?
True
Suppose 18 = -z + 4*z. Suppose -23*c + 4379 = z*c. Does 34 divide c?
False
Suppose -2*f + 57 = 3*p + 15, 0 = p - 3*f - 25. Let x be 25/20 - (-12)/p. Suppose a - x*u + 8 = 44, 15 = 5*u. Does 6 divide a?
True
Let u = 6039 + -4540. Does 23 divide u?
False
Let g be (-2)/1 - 60 - (-3)/1. Let i = -55 - g. Does 14 divide (-16 + -5 + 3)*(0 - i)?
False
Let x(y) = 7*y**2 - 8*y - 39. Let l be x(-19). Suppose -l = -51*r + 43*r. Is r a multiple of 33?
True
Suppose 2*s = -3*j + 3019, -s - 2 = s. Let y = j - 551. Is y a multiple of 24?
True
Let i(w) = w**2 - 24*w - 6. Let r be i(-10). Suppose 2*a = -m + r, 15*a = 20*a + 2*m - 833. Is 39 a factor of a?
False
Suppose -8*f + 5166 = -1914. Is 14 a factor of f?
False
Suppose -4*b + 69541 = -y, 2*y + 1 = y. Does 183 divide b?
True
Let z = 34 + -22. Suppose z*k - 4*t + 11 = 9*k, 4*k - 32 = -4*t. Is k/(-3) - -20*3 a multiple of 14?
False
Let k(r) = -46*r - 213. Let l(d) = d**3 + 3*d**2 + 8*d + 77. Let b be l(-5). Is 35 a factor of k(b)?
True
Suppose -7*k + 4*q + 13678 = -2*k, -4*k - 2*q + 10906 = 0. Is 2 a factor of k?
True
Suppose -423 = 3*v + 3*n, -5*v - n = n + 711. Let l = 243 + v. Let j = l - 13. Does 20 divide j?
False
Let u = 8412 - 3740. Is 16 a factor of u?
True
Let l(d) = -9*d - 3. Suppose -4*w - 3*v - 8 = -0, -4 = 2*w + 5*v. Let z be l(w). Let m = z + 45. Is m a multiple of 12?
True
Let i(d) be the third derivative of 11*d**4/6 + 17*d**3/6 - 42*d**2. Is i(7) a multiple of 13?
True
Is 27 a factor of (-3)/(-36) + (-1017480)/(-288)?
False
Let y(z) = 30*z**2 - 42*z + 340. Does 10 divide y(9)?
False
Let x = -33197 - -41531. Does 9 divide x?
True
Let z(j) = -3699*j + 900. Is z(-4) a multiple of 48?
True
Let q(y) = 63*y - 52. Let r be q(1). Suppose -2*g - 10 = 0, 1398 = 2*f + r*g - 9*g. Does 16 divide f?
True
Suppose 0 = -w + 2*u + 64, -5*u + 65 = 4*w - 165. Is w a multiple of 20?
True
Suppose -3*n + 81 = -3*i, n - 3*i - 13 = 20. Is n a multiple of 7?
False
Suppose 2*y + 92 = -3*g, 3*y + 75 = -5*g - 77. Suppose 4*i - 17 = -5*j, 2*i + 3*j = -i + 9. Is 2 a factor of i/4*g/1?
True
Let f(u) = -u**3 - 7*u**2 - 8*u - 4. Let j(g) = -19*g + 88. Let a be j(5). Is 9 a factor of f(a)?
False
Suppose -60*q + 97611 = -678549. Does 24 divide q?
True
Suppose -41*a + 37 = -45. Suppose 2*l = -a*l + 1056. Is l a multiple of 24?
True
Suppose 0 = 195*h - 168962 - 343498. Does 50 divide h?
False
Let u = -2616 + 6158. Does 22 divide u?
True
Let d be (-1)/(-2)*1 - 31/(-2). Let y(z) = -5*z**2 + 8*z - 3. Let v(h) = 11*h**2 - 15*h + 5. Let t(k) = -4*v(k) - 9*y(k). Is 13 a factor of t(d)?
False
Suppose -3*d - 14 = -2*i, 2*i + 0*d - 2*d = 14. Suppose 2 = -u + i. Suppose u*v = 7*v - 244. Is 12 a factor of v?
False
Let n be (-5 + 14/4)*(-1028)/(-6). Let z = n - -383. Is z a multiple of 21?
True
Let p(g) = 81*g**3 + 11*g**2 - 30. Does 44 divide p(7)?
True
Suppose -b + 5780 = q, 2*b + 204 = 5*q + 11764. Is b a multiple of 28?
False
Let n = -225 + 4273. Suppose 27*q - 4025 = n. Is q a multiple of 13?
True
Suppose -o - h + 6 = 3*h, 5*o - 80 = 5*h. Suppose 2*p + 4*c - 24 = 0, -o - 7 = -3*p - 3*c. Does 8 divide (-12)/(p/20*45/(-12))?
True
Let p(a) be the first derivative of -a**3/3 + 5*a**2/2 + 8*a + 4. Let q be p(0). Is -4 + 138/q + 2/(-8) a multiple of 2?
False
Let p = 78 - 56. Suppose -10*g = -p - 28. Suppose -g*s + 0*s + 350 = 2*q, 0 = -2*s - 5*q + 119. Does 11 divide s?
False
Let l = -29 + 32. Suppose 3*m + 3 = 5*h, 3 = h - 4*h + l*m. Suppose -h*j = u - 9 - 38, -15 = -3*u. Is j a multiple of 3?
False
Let m = 47 - 53. Let t be (-237)/(-2) - (-9)/m. Is 8 a factor of (-78)/t - (388/6)/(-1)?
True
Let u(o) = 12*o**3 - 6*o**2 - 3*o + 17. Let a be u(3). Let q = 314 - -140. Let i = q - a. Is i a multiple of 11?
True
Let p = -19849 - -29061. Is 94 a factor of p?
True
Suppose -3*k - 171 - 1704 = 0. Let h = -284 - k. Is 11 a factor of h?
True
Let f(l) = -542*l - 4631. Does 2 divide f(-9)?
False
Suppose 340 = -3*g + 130. Let s = 28 - g. Is s a multiple of 10?
False
Let x = 1133 + -106. Is 17 a factor of x?
False
Suppose 18 + 0 = 6*y. Suppose 4*g + o = 4265, -y*o = 3*g - g - 2145. Suppose 667 = 3*r - 6*x + x, -x + g = 5*r. Is r a multiple of 20?
False
Suppose -12 = 4*v, 3*s = v - 6 - 9. Is ((-16)/s - 3)*(-15 + -9) a multiple of 6?
False
Let f be ((-88)/28 - -3) + (-100)/(-14). Is 5 a factor of (-13)/91 + 1436/f?
True
Suppose -33*s = 103 + 62. Is (156/(-7))/(s - (-69)/14) a multiple of 12?
True
Let s(o) = -8*o - 34. Let t be s(-10). Suppose -23*y - t = -1495. Is y a multiple of 18?
False
Let q(a) = a**3 - 5*a**2 - 1. Let z(t) = 5*t**3 - 26*t**2 - 5. Let m(s) = -11*q(s) + 2*z(s). Let y be m(-4). Let p = y - 48. Is p a multiple of 13?
True
Suppose u + 65 = -3*f, -3*f - 2 = 10. Let g = 58 + u. Is 47 a factor of 45*g/((-5)/(-5))?
False
Suppose o - 4*d = 13, 3*d + 18 = -2*o - 0*o. Does 33 divide 1/o*(-25185)/23?
False
Suppose -5*b + 18666 = -3*k - 3*b, 2*b + 31110 = -5*k. Is (-2)/(-12) + -6 + k/(-36) a multiple of 11?
False
Suppose 4*q - q + 6 = 0. Let n(w) = 24*w - 4. Let b be n(q). Let a = -35 - b. Does 3 divide a?
False
Let v(h) = -126*h + 417. Is v(-15) a multiple of 32?
False
Let d(p) = p**3 + 19*p**2 - p - 14. Let y be d(-19). Suppose 3*z + 2*x = -131, -5*x - 148 = 3*z - y. Let k = 65 + z. Is k a multiple of 4?
True
Let v = -12 - -18. Suppose 4 = -4*u + v*u. Suppose 10 = u*m - 94. Is 4 a factor of m?
True
Suppose 5*s - 2*w - 1189 + 29 = 0, -4*s + 2*w + 930 = 0. Let x = 291 - -49. Let r = x - s. Is 22 a factor of r?
True
Suppose -64268 - 265831 = -193*v - 8754. Does 37 divide v?
True
Let k(c) = -2*c**2 - 1. Let d(y) = y**2 + 48*y - 3. Let w(j) = d(j) + 2*k(j). Is w(11) a multiple of 32?
True
Is 10 a factor of -75 + 71 + 16/(-4)*-606?
True
Let d(j) = 13*j + 40. Let x be d(-2). Suppose -r - x*n + 10*n + 42 = 0, 2*r - 92 = -4*n. Is 5 a factor of r?
True
Let h = -19 - -70. Let a be h/6 - 15/(-10). Suppose 0 = 13*n - a*n - 216. Does 4 divide n?
True
Suppose 7*v + 45 = -8*v. Does 48 divide (-96)/(-4 - v) - (5 + -5)?
True
Let x be (-5)/3*-3 + 88. Let o = 175 - x. Does 60 divide o?
False
Suppose -30 = 88*t - 83*t. Let z(f) = -3*f**2 + 7*f + 7. Let g(i) = 2*i**2 - 4*i - 3. Let m(u) = 5*g(u) + 3*z(u). Is 12 a factor of m(t)?
True
Let m be (1 - 9)*(-3)/6 + 281. Suppose -64*s = -61*s - m. Suppose -4*k - 5*z = -335, 2*k - s = k + z. Is k a multiple of 26?
False
Let c = 260 - 250. Is (-104)/(-2 - -2*c/15) a multiple of 6?
True
Let m(n) = -8*n**3 + 104*n**2 + 3*n - 46. Is 3 a factor of m(8)?
True
Suppose -12 = -3*g - g + q, 5*g = 4*q + 26. Suppose 0*k - k + 12 = c, k - 