u(y)?
False
Let m = 75 + -54. Let w = m + -34. Let x(r) = -r**3 - 13*r**2 - 6*r - 17. Is 14 a factor of x(w)?
False
Suppose s - x = -15, -4*s - 3*x = -0*s + 74. Let l = 9 + s. Let u = 45 - l. Does 15 divide u?
False
Suppose 6 = 6*g - 5*g + w, -5*w + 26 = 4*g. Suppose -g*o = 541 - 1653. Is o a multiple of 39?
False
Let l = 17 - 14. Suppose l*u + 5 = -37. Is (u/6)/(6/(-36)) a multiple of 14?
True
Suppose 8*y - 2 = 14. Let g(t) = 12*t**3 + t**2 - 4*t + 3. Does 14 divide g(y)?
False
Is 18 a factor of (-2)/9*(6 + -2265)?
False
Suppose -4980 - 19200 = 5*a. Let u be 6/(-4) + a/(-24). Suppose -5*m + u = -0*m. Is m a multiple of 7?
False
Suppose -6*m + 4*m = 6. Let h(q) = 21*q + 1. Let o(g) = -106*g - 5. Let v(c) = -11*h(c) - 2*o(c). Does 15 divide v(m)?
False
Let w(h) = -14*h + 2. Let z(k) = k**2 + 4*k. Let j be z(-5). Let n(g) = g**3 - 4*g**2 - 4*g - 7. Let t be n(j). Is w(t) a multiple of 11?
False
Let f = 8 + -4. Suppose -28 = z + f. Let b = 46 + z. Is b a multiple of 14?
True
Let f = 104 + 152. Suppose -f = 3*c - 7*c. Suppose -3*q = -q - c. Is 14 a factor of q?
False
Suppose -4*h + 16 = 4*v, 3*h - 1 = -5*v + 9. Does 24 divide 2 - (-44)/(v - -2)?
False
Let j = 44 + -39. Suppose s = 2*s - m - 59, -j*s + 277 = m. Does 14 divide s?
True
Suppose 0 = -f + 2*o - 5, -8 = -3*f - o - 2. Let d(v) = 43*v + 5. Is d(f) a multiple of 5?
False
Suppose 0*q + q - 4 = 0, -4*m - 2*q = -196. Suppose -r + 6 + 39 = u, -r = 2*u - m. Is r/2 + 6/(-12) a multiple of 7?
True
Let t(u) be the third derivative of u**6/120 - u**5/15 - 5*u**4/24 - u**3 - u**2. Suppose 0 = -6*k + 21*k - 90. Does 14 divide t(k)?
False
Suppose 4*w + 1482 = 5*r, 0 = 4*w - 1 + 13. Let g(f) = f**3 + 8*f**2 + 13*f + 11. Let j be g(-6). Suppose -r = -y - j*y. Does 7 divide y?
True
Let g be 0 - -1 - (1 + -3). Suppose 52 = g*k - 26. Is 13 a factor of k?
True
Suppose -j + 196 = -2*t, 195 + 295 = -5*t + 4*j. Let z = 124 - 89. Does 3 divide (-2)/(-10) - t/z?
True
Let z = -13 + 10. Let i be (1 - z) + 1/(-1). Suppose -5*q - 3*p = -257, 2*p = -i*q - 32 + 186. Does 15 divide q?
False
Let l(n) = 4 + 6*n**3 + 25*n - 13*n - 6*n. Is l(3) a multiple of 23?
True
Let n(g) be the first derivative of 2/3*g**3 + 9 - g + 45/2*g**4 + 0*g**2. Does 11 divide n(1)?
False
Let f(n) = -3*n + 195. Is 60 a factor of f(-15)?
True
Let m be 0 + -1*15/5. Is -1*1/m - (-4529)/21 a multiple of 24?
True
Suppose 0 = -3*m + 4*a + 314, -110 = -m + 13*a - 9*a. Does 2 divide m?
True
Let k(u) be the first derivative of u**3/3 - 5*u**2/2 - 24*u + 5. Let p be k(7). Let x = p + 48. Does 25 divide x?
False
Let f(q) = -12*q**2 - 1. Let l be (8/(-12))/(2/3). Let x be f(l). Let g = 21 + x. Is g a multiple of 5?
False
Suppose -6*d + 2*d = -3*v, 5*d = -5*v. Suppose v = 4*b - 0*b - 124. Is 7 a factor of b?
False
Let h(x) = 8*x + 212. Is h(-12) a multiple of 15?
False
Suppose 6*b = -187 + 43. Let a = 41 + b. Is 2 a factor of a?
False
Let b be (-2)/((-3)/(726/4)). Let z = b - 92. Is z a multiple of 2?
False
Suppose -4*z - 3*u = -507, -3*z = 5*u - 240 - 154. Is z a multiple of 53?
False
Suppose 25 = 5*q, 2*s - 4*s + 2*q = -80. Is 46 a factor of 226 - (114/(-27) + 10/s)?
True
Let w be 1/(-5) - (-66)/30. Let p(g) = 3*g**3 - 3*g**2 + 5*g - 7. Is 3 a factor of p(w)?
True
Suppose 7*n - 4*n - 3861 = 0. Is n a multiple of 33?
True
Let x(t) be the second derivative of -t**5/20 + 7*t**4/12 + t**3/6 - 3*t**2 - 2*t. Let d be x(7). Does 17 divide -2 - (-33)/d - -3?
True
Let l(f) = 620*f - 56. Does 9 divide l(2)?
False
Let n(d) = -3*d**3 + 5*d**2 + 29*d + 11. Let y(h) = -2*h**3 + 3*h**2 + 19*h + 7. Let l(a) = 5*n(a) - 8*y(a). Does 2 divide l(-3)?
True
Suppose -6*q - q + 7 = 0. Let m = q - -3. Is m/(-6) - (-69)/9 even?
False
Let o(v) = v**3 + 2*v**2 - 51. Let u be o(0). Let w = u + 80. Let r = w - -38. Does 13 divide r?
False
Let i = -272 + 402. Let c = 20 + i. Is ((-2)/3)/((-5)/c) a multiple of 5?
True
Suppose -3*h = -3*n - 303, -110 = -h + 29*n - 25*n. Does 4 divide h?
False
Let u = -70 - -207. Does 6 divide u?
False
Let l(y) = y**3 + 6*y**2 - 9*y + 4. Let s be l(-7). Let m be s/(2/(6/(-3))). Is 11 a factor of (-504)/(-15) + m/30?
True
Let c be 3628/(-22) + (-9)/99. Let f = c + 261. Is f a multiple of 12?
True
Let i(r) = -46*r - 12. Is i(-3) a multiple of 19?
False
Suppose 5*q = 2*l + 3140, 2*q - 4*q = -3*l - 1245. Does 41 divide q?
False
Suppose -2*o + 2 = h, o = -0*o. Let b = 33 + -19. Let d = b - h. Does 4 divide d?
True
Let b(v) = v**3 - 6*v**2 - 13*v - 1. Let z be b(9). Suppose -4*f - 5*g = 145, -g = 4*f - 0*g + z. Does 6 divide (f/8)/(1/(-4))?
False
Does 14 divide (24/(-9) + 5)*204?
True
Let n(q) = 2298*q - 18. Does 10 divide n(1)?
True
Let a(w) = 15*w - 3. Let c be (2/(-1))/((-2)/3). Is a(c) a multiple of 9?
False
Suppose z + 2*z = -4*o + 45, -3*z + 27 = -2*o. Is 2 a factor of z?
False
Let u(b) = -b**3 + 5*b**2 - 2*b + 6. Let t be u(5). Is (560/50)/(t/(-10)) a multiple of 7?
True
Let x(n) = -n - 1. Let g be x(10). Let d = g - -17. Is (d/(-8))/((-1)/12) a multiple of 2?
False
Let z be (44/5)/(20/550). Let t = 362 - z. Is 24 a factor of t?
True
Let i(g) = -67*g - 37. Is 14 a factor of i(-6)?
False
Let f be (-4 - -4)*(-1)/3. Suppose 5*m - 196 + 66 = f. Does 8 divide (-2 + m)*4/8?
False
Is 38 a factor of (2/(-18))/(2/6)*-3522?
False
Is (216/(-10))/((20/125)/(-4)) a multiple of 81?
False
Suppose -4*z - 30 = 3*v, 3*v + 0*z + 24 = -2*z. Let a(q) = 11*q - 14. Let w be a(v). Does 16 divide (-1)/(2 + 165/w)?
True
Let x(m) = -m**3 - m - 1. Let f be x(-2). Does 7 divide 14*f*25/30?
True
Let a = -140 - -32. Suppose -3*g + 809 = -4*f, -2*f + 17*g = 13*g + 412. Let n = a - f. Is 23 a factor of n?
True
Let b(l) = 3*l**3 + l - 6. Is b(3) a multiple of 39?
True
Let y(h) = 548*h**3 + h**2 - h + 1. Is y(1) a multiple of 61?
True
Let a = 397 - 3. Does 24 divide a?
False
Suppose 0 = 4*j - 5*l - 839 - 304, 0 = 3*j - l - 860. Is j a multiple of 100?
False
Let p be ((-2)/(-2) - 9)*10/(-20). Suppose 4*x = 5*r + x - 588, p*r = 4*x + 472. Is r a multiple of 39?
True
Let s(l) = l**2 - 3*l + 4. Let p = 0 - 13. Let j = -10 - p. Is s(j) even?
True
Is 4 a factor of (-12)/15 - (-1278)/10?
False
Suppose 1305 = 5*d + 4*f, 2*f - 1164 = -3*d - 381. Suppose -13*j + 16*j = d. Does 22 divide j?
False
Suppose 23 = b + 87. Let q = 112 + b. Is q a multiple of 12?
True
Suppose 4065 + 1087 = 8*d. Is 46 a factor of d?
True
Let q be ((-20)/(-50))/((-1)/285). Let n = -66 - q. Is n a multiple of 12?
True
Let n(d) = -4*d**3 + 3*d**2 + 3*d + 4. Let y(j) = j**3 + j**2 - j + 1. Let k(u) = -n(u) - 5*y(u). Does 18 divide k(-9)?
True
Let r be 2*62/3 - 2/(-3). Suppose 5*t - 138 = -2*w, 2*t - r - 14 = -w. Does 3 divide t?
False
Let v(u) = 2*u**2 - 7*u + 8. Let m be v(-8). Suppose -q + m = q. Suppose -5*o - o = -q. Is o a multiple of 8?
True
Suppose -2*z + 8*z + 18 = 0. Is 29 a factor of 198 + (z - 3*4/12)?
False
Suppose -2*x = -3*x + y + 393, -2*x + 762 = 4*y. Is x a multiple of 20?
False
Let k(j) = -46*j - 352. Is k(-28) a multiple of 24?
True
Let y(f) = f**3 + 5*f**2 + 2. Let r be y(-5). Suppose 0*g + 66 = r*g. Is 11 a factor of g?
True
Is 69*1 + -135 + 129 a multiple of 4?
False
Let w(j) = -4*j**3 - 8*j**2 - 6*j - 3. Let c be w(-5). Suppose 3*k + c = 6*k. Suppose 5*l = -2*n + k, 2*l + 0*l - 50 = -4*n. Is l a multiple of 10?
False
Let c(d) = -22*d + 380. Is 4 a factor of c(12)?
True
Let n(x) = 61*x - 424. Is 9 a factor of n(22)?
True
Let z be (0 - (3 + -2)) + 5. Let s = 7 + z. Suppose -s = -0*a - a - 2*k, -3*k - 1 = -2*a. Is a a multiple of 5?
True
Let z(h) = h**3 + 23*h**2 + 15*h + 12. Is z(-21) a multiple of 50?
False
Let v = 31 + -32. Let d = v + 34. Is d a multiple of 11?
True
Let j = 18 - 18. Suppose 3*d + 37 = 3*l - 2*d, j = 2*l + 4*d + 12. Does 21 divide 182/l + 3/2?
False
Suppose 3*h - 2 + 1 = d, 3*h + 4*d + 4 = 0. Suppose -s - 6*s + 574 = h. Is 12 a factor of s?
False
Let z(i) = -i**3 + 5*i**2 + 7*i + 2. Let p be (3 + 6/(-2))/(-3). Suppose -2*b = 2*l - 7*b + 8, 3*l - 5*b + 2 = p. Is z(l) a multiple of 2?
True
Suppose 4*x = 18 + 26. Suppose -283 + x = -4*v. Suppose -q - q = -v. Is 17 a factor of q?
True
Let w = -94 + 87. Does 8 divide (0 + -22)*w/(35/20)?
True
Let d = -56 + 80. Suppose -84 = -2*x + d. Is x a multiple of 6?
True
Let c(l) = 78*l + 154. Does 4 divide c(3)?
True
Suppose -47*h + 73*h - 572 = 0. 