) = 17*g - 39. Let l(h) = -17*h + 40. Let c(u) = -4*j(u) - 3*l(u). Is 30 a factor of c(-9)?
False
Let y(m) = -m**3 + 3*m**2 - 4*m + 3. Let o be y(2). Let l = -54 - -94. Does 7 divide l/((-2)/1)*o?
False
Suppose 0 = -7*o - 1 + 43. Suppose 0 = -o*r + 512 + 208. Is 24 a factor of r?
True
Let o = 69 - 68. Let q be 1059/9 + 1/3. Does 26 divide q/4*2/o?
False
Let a(y) = y + 9. Let u be a(-8). Let j be (u - 2)/(1/(-2)). Suppose j*z + 44 = 6*z. Is 2 a factor of z?
False
Let z(g) = -6*g - 47. Let c be z(-8). Suppose -4*m - 49 = -433. Does 7 divide c/8 + 3348/m?
True
Suppose -4*i - 2*z = -924 + 36, -2*i - 4*z = -456. Is 16 a factor of i?
False
Let p = 15 + 23. Suppose 2*s - p = 46. Is 7 a factor of s?
True
Let d(w) = -433*w - 45. Is d(-6) a multiple of 23?
True
Let u(m) = m**2 - 9*m + 4. Let o be u(9). Let q(p) = -p**2 + 7*p + 5. Let g be q(7). Suppose 2*t + g*z = 15, -o*t + t + 28 = 2*z. Does 7 divide t?
False
Let s(q) = -q + 3. Let z be s(-2). Suppose -j + 5*m + 36 = 0, 5*j + z*m - 359 + 119 = 0. Does 27 divide j?
False
Let z(k) = -k**3 + 4*k**2 - k - 2. Let i be z(3). Let j(b) = b**2 - 5*b. Let w be j(i). Is 27 a factor of (w - (-12 + 2))*9?
True
Let f = -5 - 36. Let k = f - -69. Is 4 a factor of k?
True
Suppose 0 = 3*w + 2*q + 171, 2*q + 14 = 2*w + 138. Let u = w - -71. Is 4 a factor of u?
True
Let z(o) = 31*o**3 + 4*o**2 - 11*o + 9. Let f(m) = -16*m**3 - 2*m**2 + 6*m - 5. Let n(l) = 5*f(l) + 3*z(l). Is n(1) a multiple of 7?
True
Suppose -2*n - 340 = 2*m, 0*n = m - 2*n + 173. Let a = -110 - m. Is 17 a factor of a?
False
Let g = 1449 + -1384. Is 13 a factor of g?
True
Let g = -92 + 40. Suppose -4*u - 144 = 2*o, u + 0*o - 5*o = -36. Let k = u - g. Is 4 a factor of k?
True
Let i be 4/(-3)*3 + 262. Let q be i/21 + (-6)/21. Let f(j) = 2*j**2 - 20*j + 24. Does 18 divide f(q)?
True
Let y = 76 + -58. Let g(b) = -b**3 + 17*b**2 + 31*b + 9. Is g(y) a multiple of 12?
False
Let n be 6/(-9)*42/(-4). Let b = n - 1. Is 16 a factor of (b/2)/((-24)/(-488))?
False
Let x be 2/(-9) - 1970/45. Let z = 36 + x. Does 32 divide z/12 + 580/6?
True
Let j(a) = 3*a**2 - 60*a - 624. Is j(-12) a multiple of 4?
True
Let z(l) = 13*l**2 + 2*l - 1. Is z(1) a multiple of 7?
True
Let h = 318 - 78. Suppose -144 = -2*l + h. Is 16 a factor of l?
True
Suppose 2*q + o = 37 + 83, -2*q - 4*o = -120. Is q a multiple of 42?
False
Suppose 2*c = 5*g + 3 + 7, -5*c + 25 = g. Suppose -13*k + 1045 + 21 = g. Is 12 a factor of k?
False
Let c be -13 - (0 - 0 - 1). Let b(k) = -k**2 - 12*k + 10. Is 5 a factor of b(c)?
True
Suppose -2*w - 5*t + 23 = 0, -4*w - 2*t + 38 = -2*w. Is w a multiple of 8?
True
Let f(z) be the second derivative of -11*z**3/6 + 17*z**2/2 + 14*z. Does 36 divide f(-5)?
True
Suppose -y - 2 - 4 = 0. Let c be y/24 + 5/4. Is 13 a factor of (c + 9)*(-44)/(-8)?
False
Let o be 2/(-2)*(-21 - -21). Let z = o - -92. Does 13 divide z?
False
Suppose 0 = -3*a + 129 + 45. Let d = a + -82. Does 4 divide (d/(-10))/((-1)/(-5))?
True
Suppose -4*q = -m - 352, 4*q = 3*m + 6 + 354. Suppose 0 = -5*k - i - 24 + q, 2*k - 24 = -i. Is k a multiple of 4?
False
Suppose -996 = 9*p - 5*p. Let y = 134 - p. Suppose -83 = 5*d - y. Is d a multiple of 12?
True
Let w be (180/(-48))/((-6)/496). Suppose -4*g - w = -9*g. Suppose -3*j = -3*u - 198, 2*j - g = -4*u + 70. Is 22 a factor of j?
True
Suppose -10*l + 13*l - 531 = -a, 5*l = a - 515. Is 15 a factor of a?
True
Suppose 2*c - c = 0. Suppose 86 + 44 = i + w, 2*i - 5*w - 253 = c. Suppose -27 = -4*z + i. Does 20 divide z?
False
Suppose 4*y + b - 53 = 0, 0 = 5*y - 2*b - 2*b - 82. Let w be (-21)/y - 54/4. Let o = 54 + w. Is 13 a factor of o?
True
Let m(n) = -n**2 - 10*n - 7. Let c = 1 + 2. Suppose 2*f = -2*s - 2, c*s + 2 = -2*f + 5. Is 17 a factor of m(f)?
True
Let w(a) = 145*a**2 + 2*a - 4. Let b be w(2). Suppose 3*k - 8*k = -b. Is 29 a factor of k?
True
Let y(m) = m**2 - m - 20. Is 3 a factor of y(11)?
True
Let s(d) = 25*d**2 + 3*d + 2. Let l be s(6). Is 11 a factor of (3 + 1)/(3 + l/(-308))?
True
Let s = -145 + 202. Is s a multiple of 19?
True
Suppose -t = t - 12. Suppose 5 = -5*i + t*i. Suppose 4*u - 17 = 3*u - 3*d, i*u - 5 = 5*d. Is 5 a factor of u?
True
Let a(k) = -2*k**2 + 20*k + 77. Does 2 divide a(12)?
False
Let c be (15/(-4))/(3/12). Let i(a) = -a**3 - 16*a**2 - 16*a + 2. Is i(c) a multiple of 9?
False
Let a = -16 - -20. Suppose 5*l = 4*u - 3*u - 54, 3*u - a*l - 107 = 0. Is u a multiple of 6?
False
Let z = 183 + -107. Let x = -20 + z. Is 28 a factor of x?
True
Let i(h) = h + 96. Let v(g) = -2*g - 192. Let r(j) = 5*i(j) + 2*v(j). Let a be r(0). Is 30/9*a/10 a multiple of 8?
True
Let i(o) = -o**2 - o + 4. Let b be i(0). Suppose -2*l = -u - 6*l + b, -2*u - 4*l + 8 = 0. Suppose 176 = -u*k + 8*k. Is 11 a factor of k?
True
Let l(q) = -48*q - 52. Is l(-13) a multiple of 26?
True
Suppose -1617 = -12*p + 2271. Does 18 divide p?
True
Suppose -5*b - 4*m = -300, -2*b + 3*m - 2*m = -120. Suppose -b = -z + 13. Does 31 divide z?
False
Let i be (1/(-3))/((-4)/132). Let n be (2/(-3))/(i/(-66)). Suppose 5*q = n*u - 128, -q - 3*q + 38 = 2*u. Is 4 a factor of u?
False
Let c(d) = -d**2 - 2*d**2 - 2 + d**3 - 2 - d + 3*d. Let t be c(3). Suppose t*u - s = 157, -4*s - 400 = -7*u + 2*u. Is 19 a factor of u?
True
Suppose -4*x - 220 = -n, 5*x = -12*n + 7*n + 1175. Does 27 divide n?
False
Suppose 5*q - 8*q + 9 = 0. Suppose 4 = -2*w, -3*j + q*w = w - 28. Suppose 372 = 12*d - j*d. Does 31 divide d?
True
Suppose 2*k + 87 = p, 3*p = 6*p + 9. Let j be (-2)/5 + 272/(-20). Is k/3*j/3 a multiple of 35?
True
Suppose d + 2*d = -6417. Let h be (-28)/(-4 - d/534). Is (-4)/(-34) + h/(-119) a multiple of 11?
False
Let x = 9 + -5. Suppose 4*z + 11 = v, 0*v - 44 = -x*v - 5*z. Let h = 21 - v. Is h a multiple of 4?
False
Let j be -2 + (124/(-2) - -3). Let r = j - -89. Does 14 divide r?
True
Suppose -18 = -2*z - 20. Let i(w) = -24*w**3 + 2*w + 1. Let y be i(z). Is 4 + y + 0 + 2 a multiple of 10?
False
Let f(s) = s**2 + 1. Let d = -16 - -17. Let k(q) = q**3 + 9*q**2 + 2*q + 6. Let t(n) = d*k(n) - 4*f(n). Is t(-4) a multiple of 5?
True
Let t = 15 + -9. Does 19 divide 285*5/45*t?
True
Let y(i) = i**3 + 2*i**2 + 4. Let x be y(-3). Let g = -8 - -23. Let z = x + g. Does 10 divide z?
True
Let h = -2541 + 2636. Is h a multiple of 30?
False
Suppose 3*q + 2*s = 19, 0 = s - 4 + 2. Suppose -o - 2*o + 588 = -q*j, o - j - 194 = 0. Does 11 divide o?
False
Is 67 a factor of (-8)/(-24) + 1 + (-1216)/(-6)?
False
Let n be (0 - 1) + (0 - -2). Let x = n - -10. Is 11 a factor of x?
True
Let l = 88 - 85. Suppose -3*o + 103 = 5*k + 26, 0 = l*o + 3. Does 16 divide k?
True
Let l(n) = -5*n + 172. Let c = -66 + 66. Does 15 divide l(c)?
False
Let q = -287 + 482. Is 15 a factor of q?
True
Suppose -172 = -2*l + 4*u, 0 = l - 3*l - 4*u + 140. Suppose 2*a = l + 62. Is a a multiple of 14?
True
Let j(v) = 0 + 2*v - 1 - 3*v**2 + 7*v**2 + 5*v**2. Let x = 29 - 28. Does 3 divide j(x)?
False
Let t = 1995 - -357. Is 28 a factor of t?
True
Let x(v) = -97*v + 2. Suppose 5*g = -12 + 2. Let w be x(g). Suppose 3*p = -p + w. Is p a multiple of 22?
False
Let t(u) = -u**2 - 32*u + 21. Let k be t(-23). Let c = -156 + k. Does 15 divide c?
False
Let g = 4 + -1. Suppose 2*f = 0, -g*f + 39 = -b + 4*b. Is b a multiple of 13?
True
Suppose 2*r - 4 + 0 = 0. Suppose r*i = -26 + 90. Suppose 0 = -4*j - 4*d + i, 3*d = -5*j - 0*j + 30. Is 3 a factor of j?
True
Let i(z) be the first derivative of z**3/3 - z**2/2 + 31. Is i(-3) a multiple of 4?
True
Let i(s) = -3*s - 17. Let w be i(-7). Suppose -p = a, 1 = 3*a + 4*p + w. Is 12 a factor of -5*(-18)/(a - 0)?
False
Let d(c) be the second derivative of -43*c**3/6 - 10*c**2 + 28*c - 2. Is d(-5) a multiple of 12?
False
Suppose -2191 = -23*q + 2156. Is 25 a factor of q?
False
Let p be (3 - 7)*(3 + -2). Does 10 divide (-55)/p + (-2)/(-8)?
False
Let p = 51 + -30. Suppose -p = -4*l - 5. Suppose -95 = -3*i + l*w, w = -i - 4*i + 166. Does 17 divide i?
False
Let p be 14/(-91) - (-1354)/13. Let b = -23 - -34. Let t = p - b. Does 30 divide t?
False
Suppose -2*w - 5*a = -1254, -53 - 1233 = -2*w + 3*a. Is w a multiple of 52?
False
Is (6 - (-2343 + -6)) + 10 a multiple of 17?
False
Suppose 3*m + 2*z = -0*m - 107, 5*z = 5*m + 170. Let i = 220 - m. Suppose f + 4*f - 5*d - i = 0, 2*d = -2*f + 102. Is 17 a factor of f?
True
Suppose -12 = 2*h 