 0*t**3. Is 12 a factor of v(3)?
False
Let b be -470*(2 - 3 - 0). Suppose -d + 4*d - 4*w = b, -2*d + 5*w + 304 = 0. Is d a multiple of 18?
True
Let u be ((-3)/(-5))/((-1)/5). Let d be (-3)/(u/(-6)*2). Does 5 divide 9*(d - 0)/(-3)?
False
Let z(b) = -2*b**2 + 23*b - 17. Is z(8) a multiple of 3?
True
Let n = 22 + -19. Suppose 0 = 3*j + n*k - 654, 5*j = 2*j + 2*k + 664. Suppose 0 = 2*m + l - 154, 2*m + m - 4*l - j = 0. Is m a multiple of 16?
False
Let q(f) = 3*f. Let x(i) = 7*i. Let o(k) = 9*q(k) - 4*x(k). Let v be o(-3). Suppose -h + 20 = v*h, 4*g + 4*h = 132. Does 12 divide g?
False
Suppose 4681 = 10*a + 21*a. Is 58 a factor of a?
False
Let d = 12 - 10. Does 7 divide (-86)/(-2*1/d)?
False
Suppose -4*m - f = 34, 2*f + 2 = f. Let s = 10 + m. Suppose -s*l + 18 = -16. Is 17 a factor of l?
True
Let g = -1 + 2. Let c be (5 - 1 - 3) + g. Suppose -3*i = -5*i + 5*t + 68, c*t - 54 = -2*i. Is 20 a factor of i?
False
Let y = 3336 + 931. Is 17 a factor of y?
True
Suppose 35321 = 156*y - 145*y. Is 11 a factor of y?
False
Suppose -14*k + 66*k - 45448 = 0. Does 19 divide k?
True
Suppose -13 + 33 = 4*p. Suppose -z = -2*z + p. Does 2 divide z?
False
Suppose -3*p + d + 85 = 0, -49 = -5*p + 2*d + 93. Let x = -19 + p. Is x a multiple of 2?
False
Suppose -43*o + 302257 = 66*o. Is 47 a factor of o?
True
Suppose -6 = -11*g + 10*g. Suppose -g*a + 3*y + 33 = -3*a, -5*a + 79 = 3*y. Is 8 a factor of a?
False
Suppose 0 = 2*u - 10, -1114 - 394 = -4*f - 4*u. Is 9 a factor of f?
False
Let b be ((-6)/(-18))/((-2)/(-24)). Suppose 2*j - b*j = 12. Let g(w) = w**3 + 5*w**2 - 6*w + 8. Does 5 divide g(j)?
False
Is (-60)/(-160) - 1242/(-16) a multiple of 2?
True
Let j = 58 + -53. Suppose 0 = j*x + 4*a - 205, x - 41 = -0*a - 3*a. Is x a multiple of 13?
False
Let o = -8 + 56. Suppose 3*j = 6*j - o. Is j a multiple of 16?
True
Let i be 15/(-25) - 96/(-10). Let s be 1*-2*i/(-6). Suppose -5*q = 4*p - 200, 0*q + 128 = s*q + 4*p. Does 18 divide q?
True
Suppose -3*u + 34 - 3 = 2*i, 0 = -2*i - 2. Let a(h) = 11*h - 58. Is a(u) a multiple of 9?
True
Let c(s) = 7*s - 13. Let y be c(6). Suppose 5*q = 134 - y. Is 13 a factor of q?
False
Let w(c) = -12*c + 3. Let m be w(2). Let o be (-48)/m + (-2)/7. Let q = 6 - o. Is q a multiple of 3?
False
Is (-7418)/(-10) + 16/(-20) a multiple of 12?
False
Let z = 269 + 47. Is 15 a factor of z?
False
Let y = -6 + 6. Let t be (-6)/(-6)*(y + 5). Suppose 148 = t*s - s. Does 19 divide s?
False
Suppose 4*y - 8 = -0. Suppose y*m + 2 = 8. Suppose -m*u - u = -204. Does 21 divide u?
False
Let h(j) = 2*j**3 - j**2 + 2*j + 576. Does 9 divide h(0)?
True
Suppose -5*n + 7368 = 3*n. Suppose 5*v - 1176 = 5*l - 7*l, -4*v + 5*l = -n. Does 17 divide v?
False
Is ((-1)/(-7))/(((-17)/(-1))/66283) a multiple of 4?
False
Suppose 14*f + 6705 = 37043. Is f a multiple of 14?
False
Is 119 + -11 + 5 + (1 - 0) a multiple of 6?
True
Let m = 8 + 0. Let z(o) be the third derivative of o**4/6 - 13*o**3/6 + 3*o**2. Is 6 a factor of z(m)?
False
Suppose -5*k = -k + 6012. Let c = k - -3075. Does 24 divide 4/22 - c/(-66)?
True
Suppose 5*k + 3*j - 113 = 3*k, 52 = k - 3*j. Let p be 133/(-4) + (-4)/(-16). Let a = p + k. Is a a multiple of 7?
False
Suppose 579 = 4*a + 3*p, 7*a - 6*a = 4*p + 140. Is 4 a factor of a?
True
Let f(t) = t**3 - 7*t**2 - t + 3. Let p be f(7). Let u = 8 - p. Let d(i) = -i**2 + 13*i + 5. Is d(u) a multiple of 7?
False
Suppose -1136 = 75*w - 83*w. Suppose 2*j = 5*a - 13, 2*j - a - 8 = -1. Suppose 4*r = w + j. Is 21 a factor of r?
False
Let i(o) = 154*o**2. Let d be i(1). Let c = -72 + d. Let y = c + -47. Is 13 a factor of y?
False
Suppose -264 = -0*x - 3*x. Is 18 a factor of 3/(-9) + x/3?
False
Suppose 0 = 2*c - 7*c + 120. Suppose c = -8*j + 6*j. Is 2 a factor of 9/2 + 6/j?
True
Let x(p) = -p**3 + 3*p**2 + 113. Is 4 a factor of x(0)?
False
Suppose 2*o - 3072 = -5*k, 4*k + o + 0*o = 2457. Is k a multiple of 27?
False
Let w = -15 - 0. Let o = 11 - 44. Let m = w - o. Is 6 a factor of m?
True
Suppose 9598 = 16*v + 1694. Is v a multiple of 13?
True
Suppose 2*h + 16 = 2*u, 16 = 5*u + 2*h - 3. Let n(b) = 5*b**2 - 5*b + 5. Is n(u) a multiple of 15?
True
Let p = 17 - 14. Let v be (128/(-12))/(p/(-9)). Let y = -23 + v. Does 3 divide y?
True
Let g(x) = -x**3 - 4*x**2 - 4*x - 1. Let k be g(-3). Suppose 0 = -f - k + 5. Is ((-24)/9 + f)*45 a multiple of 15?
True
Suppose -3*z + 8 = -z. Let l be (68/(-8) - -5)/(2/(-8)). Does 8 divide 34 - 7/(l/z)?
True
Let c = 547 + 445. Is c a multiple of 62?
True
Suppose u - 14 = -3*n, 11 - 3 = 4*u. Is 12 a factor of ((-2)/4 - (-15 - -7))*n?
False
Suppose 0 = 4*c - s + 2, 4*c - 2*s + 4 = -0*s. Let f(m) = 3*m + 3. Let q be f(0). Suppose c = -q*l - l + 44. Does 11 divide l?
True
Let h(o) = 3*o**2 - 7*o - 10. Suppose 0 = 3*q + q + 8. Let i be -6 + 7 - 10/q. Is 33 a factor of h(i)?
False
Let j = 441 + -361. Is 3 a factor of j?
False
Let v = -87 + 74. Let o = v + 61. Does 29 divide o?
False
Suppose -z + 4 = 3*z. Let c(t) = 3*t**2. Let k be c(z). Suppose 0 = 4*h - k*q - 54 - 9, -4*q + 12 = 0. Is 6 a factor of h?
True
Suppose -5*g + 2 = -r - 7, 0 = 4*r - 5*g + 96. Let x = 68 + r. Suppose t + x = 2*t. Is t a multiple of 13?
True
Let n = -491 - -1158. Let h = n + -462. Is h a multiple of 41?
True
Suppose -6*b = -13*b + 3654. Is b a multiple of 59?
False
Let v be (-9)/3*(-3)/(-9). Let j = 113 + v. Is 37 a factor of j?
False
Suppose 3*b + 2*f = -82, 2*f = 3*b + 88 - 2. Let v = 78 - b. Suppose -5*z + 0*x + x + v = 0, 0 = 4*x + 4. Is z a multiple of 7?
True
Suppose 7*w + 35 = -7. Let j be ((-131)/(-2))/((-1)/w). Suppose 5*b - j - 27 = 0. Is 28 a factor of b?
True
Let n(g) = g**3 - g**2 - 10*g + 177. Is n(9) a multiple of 12?
False
Let h = -11 + 65. Suppose h*r + 404 = 58*r. Is 18 a factor of r?
False
Suppose 2*z + z = 282. Does 6 divide z?
False
Suppose 2*f - 5*b + 21 = 0, 2 = -b + 7. Suppose 0 = 2*v + 6, -n + f*v = -0*n - 273. Does 39 divide n?
False
Let a(l) = -1. Let f(g) = -g - 3. Let q(t) = -3*a(t) - f(t). Suppose 4*j = 8 + 12. Does 11 divide q(j)?
True
Let u = 6 - 14. Let v be (-33)/(-7) + u/(-28). Suppose 2*d = 4*y + y + 139, v*y + 72 = d. Is 27 a factor of d?
False
Let p = -14 - -908. Is p a multiple of 26?
False
Suppose 3*v - 6 = -0*v, 0 = 3*l + 2*v - 1447. Does 13 divide l?
True
Suppose 40057 + 46190 = 63*z. Is z a multiple of 3?
False
Let n(l) = -l**3 + 6*l**2 - l + 6. Let g be n(6). Let v = -520 - -523. Suppose g = 4*q - 2*x - 144, v*x - 8*x - 150 = -4*q. Does 23 divide q?
False
Suppose -18*y = -346 - 54302. Does 92 divide y?
True
Suppose 20*p - 7180 = -5*l + 15*p, -l + 3*p + 1456 = 0. Does 64 divide l?
False
Let j(b) = b**3 - 6*b**2 + 9*b - 6. Let y be j(6). Let w be (-114)/(-5)*((-57)/(-6) + -7). Let v = w + y. Does 21 divide v?
True
Let g(q) = -q**2 - 8*q - 3. Let t be g(-7). Suppose 2*x - 3*w - 1 = 17, -w = -t*x + 16. Is 11 a factor of x/((-12)/16) + 19?
False
Let o be (4 - 2)*(-30)/(-4). Suppose 11*d = 6*d + o. Suppose v - 30 = -4*b, -16 = -d*b - b. Is v a multiple of 3?
False
Let k(q) = 50*q**2 + q - 21. Is k(-5) a multiple of 72?
True
Suppose 3*o - 10*o = -5040. Is 36 a factor of o?
True
Suppose -2*w = 5*t + 273, -5*w + 2*w = 2*t + 107. Suppose -210 = -4*u + 10*u. Let i = u - t. Does 7 divide i?
False
Is 24 a factor of ((-682)/(-4))/((-18)/(-36)) + -5?
True
Suppose -2*s + 2*c = -114 + 28, 4*s - 160 = -2*c. Suppose 0 = -3*j + 4*y + 69, j - y - s = -j. Is j even?
False
Let k(u) be the third derivative of u**6/60 - 41*u**5/60 + 9*u**4/8 + u**3/2 - 40*u**2 - 2*u. Is k(20) a multiple of 8?
False
Let n be (12/(-15))/(4/(-10)). Suppose n*d = -4*u - d + 594, 0 = 5*u - 3*d - 729. Is u a multiple of 31?
False
Let m = -27 - -60. Let b = m + -30. Suppose -107 = -b*i + 2*k, 7*i + 2*k = 2*i + 173. Does 35 divide i?
True
Suppose 2*g - 4*v = -1726, -4*v - 915 = 2*g + 779. Let k be (4/6)/((-10)/g). Suppose 0 = 5*h - k + 2. Does 3 divide h?
False
Let f = -899 - -1596. Is 41 a factor of f?
True
Let r be 2/11 + 2/(-11). Suppose -5*b + 4 - 19 = r. Is (0/3)/(-1) - b a multiple of 2?
False
Let i = -23 + 38. Suppose 3*y - 51 = i. Suppose z - 32 = 5*p, p - 58 - y = -3*z. Is 9 a factor of z?
True
Suppose -88*a + 93*a = 320. Is a a multiple of 9?
False
Suppose 0 = -u + 6*u - 2*u. Suppose u = z, x - 4*z = -0*x + 2. Is 2 a factor of x?
True
Let k be 0/(4 + -4 - -1). Let o be (-4)