 - 0. Does 38 divide y(c)?
False
Let h(n) = -n**3 + 9*n**2 - 9*n - 4. Let l be h(8). Let k = 11 + l. Is 15 a factor of 252/15 - k/5?
False
Let t = -6 - -10. Let v = 13 + -11. Suppose b = v*z - 84 + 10, -28 = -z - t*b. Is 12 a factor of z?
True
Suppose 3*s - 85 = -16. Suppose 5*k + s = -2*d + 9, -5*k + 3*d = 4. Let w = 9 - k. Is 9 a factor of w?
False
Suppose 10578 = 3*w - 0*w. Is w a multiple of 41?
True
Suppose -4*n + v + 5 + 2 = 0, -5*n - 10 = 5*v. Suppose -5 = -3*p + n. Suppose 4*i + 3*h = 225, -p*i + 4*h = i - 175. Is i a multiple of 24?
False
Let y(g) = -g**3 + 3*g**2 + 7*g + 5. Let d be y(-4). Let o = 148 - d. Is o a multiple of 5?
False
Let v(g) = g - 10. Let a be v(7). Let x be (-164)/(-6) + a/9. Let w = -24 + x. Is 3 a factor of w?
True
Let z(m) = -m**3 - m**2 - m - 4. Suppose 5*g - 28 = p, -3*p + 1 = -0*p + 2*g. Let v be z(p). Suppose 5*l - 16 - v = i, -3*i + 6 = 0. Does 7 divide l?
True
Suppose 0 = b - i - i - 3, 0 = -2*b - 2*i + 6. Suppose -8*t + 3*t + 28 = -3*n, b*n + 3 = 0. Suppose 15 = 5*r + t*q, 3*r + q - 2 = 17. Is r a multiple of 4?
True
Let m be 3/3 + -2 + 1 + -6. Is (m*186/12)/((-1)/1) a multiple of 14?
False
Let p(d) = -598*d - 364. Is p(-4) a multiple of 60?
False
Let b(r) be the second derivative of -r**4/12 + 4*r**3 - 29*r**2/2 + 13*r. Is b(22) a multiple of 4?
False
Suppose 4*l + t - 5122 = 0, 4*l + 12*t - 5120 = 10*t. Is 21 a factor of l?
True
Let v(s) = s**3 + 11*s**2 + 11*s + 13. Let t be v(-10). Suppose -t*q + q + 36 = 0. Does 7 divide q?
False
Suppose -3*s + 15 = -6. Let v(k) = -k**3 + 8*k**2 - 8*k + 7. Let l be v(s). Suppose -4*u + 5*u - 14 = l. Is 14 a factor of u?
True
Let f(v) = -31*v - 52. Let y(q) = 46*q + 78. Let x(c) = 8*f(c) + 5*y(c). Is 20 a factor of x(-7)?
True
Let l = -394 - -531. Is l a multiple of 22?
False
Let v be (-1)/4 + (-54)/(-24). Suppose -v*a + 5*i - 32 = 0, 4*a - 3*i = 2*i - 44. Does 24 divide (4/a)/((-6)/981)?
False
Suppose 4*x - p - 4*p + 37 = 0, 2*x + 14 = 4*p. Let h = x + 67. Is 9 a factor of h?
True
Suppose 35*r - 15*r = 39680. Is r a multiple of 16?
True
Let f(y) = -17*y**2 + 1 + y**2 - 6*y + 32 - y**3 + 16*y. Does 21 divide f(-17)?
False
Let g(w) = w**3 - 3*w**2 - 3. Let x be g(5). Suppose 2*s + x + 25 = 0. Let k = -18 - s. Is k a multiple of 9?
True
Does 3 divide ((-573)/5)/(3/(-5))?
False
Suppose 2*x - 199 + 65 = -2*h, 189 = 3*h - x. Suppose -2*t - 32 = -w, w + 2*t + 16 = h. Does 8 divide w?
True
Suppose -5*b + 2*h + 290 = 0, 251 = 5*b + 3*h - 14. Let o be 2/8 + 3346/b. Suppose -o = -2*u - 2*u. Does 5 divide u?
True
Suppose 4*b + 2068 = i, 2*i - 9*b - 4092 = -12*b. Is 114 a factor of i?
True
Let m(s) = -s**3 - s**2 + s + 1. Let u(z) = -5*z**3 - 4*z**2 + 5*z + 273. Let t(i) = -4*m(i) + u(i). Let r be t(0). Let d = r + -159. Is d a multiple of 30?
False
Let o = -10 - -12. Suppose o*m = -3*m + 35. Suppose -x + m = 3. Is 2 a factor of x?
True
Let z(g) = -g**2 - 6*g - 4. Let p(x) = 2*x - 6. Let q be p(1). Does 4 divide z(q)?
True
Suppose g - 5*t = 768, 79*g + 3*t + 2280 = 82*g. Is g a multiple of 11?
False
Let g(x) = 6*x + 3. Suppose 3*p = 2*j - 7, 4*p + j = 6*j. Let b(s) = 2*s + 12. Let q be b(p). Is 11 a factor of g(q)?
False
Let q(l) be the third derivative of -11*l**4/8 - 5*l**3/6 + 7*l**2. Let n be q(-6). Suppose 87 + n = 5*v. Does 14 divide v?
True
Is 10 a factor of (-4)/4*(-225 - -19)?
False
Let j(n) = n**2 - 18*n - 15. Let s be j(23). Does 10 divide (s/14)/(40/(-14) + 3)?
True
Suppose -3*i = -3*s + s - 250, 3*s = 5*i - 415. Is i a multiple of 20?
True
Let t(b) = b**3 + 2*b**2 - 3*b. Let j be t(-3). Suppose -4*g + 432 = -0*g - 4*u, g + u - 102 = j. Does 15 divide g?
True
Suppose 436 = 2*g + 4*u, g + 153 - 374 = u. Let r = g - 153. Does 26 divide r?
False
Suppose c = -s + 2*s - 746, 0 = 3*c - s + 2232. Let f = c - -442. Is (-9)/12 - f/28 a multiple of 10?
True
Suppose -10*i + h = -8*i - 1567, 0 = 5*i - 2*h - 3917. Does 27 divide i?
True
Suppose n = -5*k + 86, 5*n + 3*k - 412 = n. Does 23 divide n?
False
Let v be (2 - 0)*(-2 + (-28)/(-8)). Does 7 divide 100/20 + 4*v?
False
Suppose -r + 35 = 4*r. Suppose 3*f - r = -1. Let k = f - -3. Is 4 a factor of k?
False
Suppose -430 = -5*j + 490. Suppose 9*f - j = 5*f. Suppose -2*b - f = -3*n, b = 5*n + 3*b - 50. Is 4 a factor of n?
True
Suppose -7*a = q - 3*a - 29, q = a + 4. Suppose 11*h - 504 = q*h. Is h a multiple of 18?
True
Let l = 16 + -14. Suppose 4 = n + l*k - 0, -3*n - 5*k = -16. Is n a multiple of 2?
True
Suppose r = -2, r = 4*v - 2*r - 30. Suppose -v*h = -5*h + 2. Is 10 a factor of 10 - (3 + h + -1)?
True
Let u(t) = -2*t**3 + 89*t**2 + 45*t - 6. Let b be u(45). Let n = -10 + 14. Is 17 a factor of n/6 - 404/b?
True
Is 21360/25 - (-36)/(-90) a multiple of 61?
True
Suppose 7*b = 11*b - 32. Suppose 0 = b*q - 11*q + 198. Does 22 divide q?
True
Let d = 11 - 5. Suppose 3*v + v + 5*y - 28 = 0, -5*v = -y - d. Suppose -v*z - 100 = -4*z. Does 25 divide z?
True
Let j be 3*1 - (0 + -2). Suppose -2*v = y - 59, -y - 146 = -j*v - 4*y. Suppose -4*c + 5 = -v. Is 9 a factor of c?
True
Suppose 1670 = 4*x - 2*d, 36*x + 3*d + 1675 = 40*x. Is 5 a factor of x?
True
Is 3/(7347/1224 + -7 + 1) a multiple of 12?
True
Let r = -45 - -221. Does 4 divide r?
True
Suppose -4*w - 2*c + 748 - 226 = 0, 3*w + 4*c = 404. Suppose -3*i + 224 = w. Is 15 a factor of i?
False
Let p(g) = 1 - 3*g**2 - 10*g**2 + 3*g + 15*g**2. Is p(-8) a multiple of 22?
False
Suppose -3*l - 2*u - u = -12, -8 = -4*l - 2*u. Suppose l = 3*v - 152 + 41. Is 37 a factor of v?
True
Suppose 5*i - 79 = 211. Does 18 divide i?
False
Suppose -2 = 5*r - 4*y + 17, -2 = -2*y. Let d be 2/((-7 + 1)/r). Does 11 divide d/(1 + 26/(-28))?
False
Let c(d) = -d + 12. Suppose 8 = 2*r + 44. Let g = 11 + r. Is 19 a factor of c(g)?
True
Let i(l) be the second derivative of 3/2*l**2 + 0 + 1/6*l**3 + 1/6*l**4 + 2*l. Is 23 a factor of i(-6)?
True
Let q(x) = 9*x**2 + 7*x - 1. Let t be q(-4). Suppose -523 + t = -3*n. Is 34 a factor of n?
True
Suppose -3*d + 14 = -4*j, -3*j - 6 = -2*d - j. Is (75 - (-4 + 7))*(-1)/d a multiple of 7?
False
Suppose 6*h + 3*o - 126 = 5*h, 3*h - 4*o = 404. Let u = h - 96. Is 9 a factor of u?
True
Let q = -13 - -20. Let y = 12 - q. Suppose 3*v = z - y, z + v + 3 = 20. Is z a multiple of 4?
False
Suppose 600 = 2*k + 3*n, 7*n = 6*n + 4. Is 14 a factor of k?
True
Let s be 6/24 + 21/(-4). Let m(j) = j**3 + 2*j**2 - 4*j - 4. Let c be m(s). Let u = 6 - c. Is u a multiple of 25?
False
Let l = 1415 - 828. Is 13 a factor of l?
False
Let p = 1421 - 3626. Is (-2)/9 - p/81 a multiple of 27?
True
Let p = -58 - -90. Let i = p - 15. Is 3 a factor of i?
False
Suppose 88 + 166 = d. Let f = 422 - d. Is f a multiple of 14?
True
Let s(y) = 10*y**2 + y - 1. Let t be s(-1). Does 9 divide -1*(-58 - (t + -3))?
True
Suppose 4*b - 68 = -i, 2*b = -0*i + i + 28. Suppose y = 3*y - b. Suppose 0 = 3*l - y*l + 75. Does 13 divide l?
False
Let w(u) = -4*u**3 - 2*u**2 + 2. Let s be w(-1). Suppose s*k = -3*c + 4*c + 7, 5*k = -2*c + 12. Does 2 divide k?
True
Let w(d) = d**3 + 9*d**2 + 3. Let s be w(-9). Let z(j) = 17*j + 7. Is z(s) a multiple of 13?
False
Suppose 1169 = 6*p + 275. Is p a multiple of 6?
False
Let p be 36*((-15)/(-6))/1. Let t = 72 + p. Is 12 a factor of t?
False
Let s be (-7)/28 - (-1393)/4. Suppose -q - 56 = -s. Let h = q + -205. Is h a multiple of 24?
False
Suppose 4 = 7*h - 66. Suppose 5*j = h*j - 50. Does 5 divide j?
True
Suppose 1396 + 1444 = 8*l. Does 6 divide l?
False
Is 8/70*5 + (-7972)/(-14) a multiple of 10?
True
Let c be 168/(-18) + 1/3. Does 19 divide c/(-54) - 113/(-6)?
True
Suppose 36 = 4*y + 4*b, -5*y + 4*b = 2*b - 24. Does 14 divide -3 - (-330)/(-11)*y/(-4)?
True
Suppose -4*r = b + 2*b - 1915, -2*r + b = -945. Is 26 a factor of r?
False
Let j = 982 - 657. Does 65 divide j?
True
Let d = -6 - -10. Suppose -5*m - 16 = -3*a - 0*a, -m = 2. Suppose a*o = 3*o - d. Does 4 divide o?
True
Suppose -3 = -4*w - j, -9 = j - 4. Let h(d) = w + 16*d + 17*d + 62*d. Is 29 a factor of h(1)?
False
Let a(s) = s**3 + 8*s**2 + 13*s + 7. Let o be a(-6). Let k = 12 + o. Does 3 divide k?
False
Let s be ((-12)/30)/(2 + 451/(-225)). Let q = 31 - 17. Suppose 11*d + s = q*d. Is d a multiple of 8?
False
Suppose -26*y = -36*y + 11800. Is 62 a factor of y?
False
Let l = 51 - 9. Suppose 4*f = 2*f + l. Does 7 divide f?
True
Let m = 302