d(f) = f**3 + 8*f**2 + 7*f + 10. Let z be d(-7). Is z/(3 + m/(-12)) a multiple of 10?
True
Suppose 4 - 8 = 2*i - x, 3*i + 5*x - 20 = 0. Suppose i*d + 54 = 3*d. Is d a multiple of 9?
True
Suppose -4*p + w = -526, -662 = p - 6*p - w. Does 6 divide p?
True
Let i = -30 + 51. Suppose 3*t - 15 = i. Suppose -5*j + 4 = 7*n - 3*n, n - t = -4*j. Is j a multiple of 4?
True
Let u be 6*-1*(-1)/(-2). Is (1 + 8)*1 - u a multiple of 4?
True
Let d(k) = k**3 - 7*k**2 + 7*k. Suppose 3*m - 15 = -4*s, -3*m + 5*m + s = 5. Let y(n) = 7*n**2 - 1. Let l be y(m). Does 3 divide d(l)?
True
Is (-503)/(-7) + 2/14 a multiple of 12?
True
Let m(y) = y**2 - 2*y - 2. Let u be m(3). Let n(g) = 25*g**2. Is 13 a factor of n(u)?
False
Let t(d) = 3*d - 16. Let h be t(11). Suppose h = 3*u - 28. Is 12 a factor of u?
False
Suppose -2*m + 5*w = -13 - 22, 4*w + 12 = 0. Is m a multiple of 5?
True
Let o = 9 + -9. Suppose o = x - 5. Is 16 a factor of -1 + 2 + (36 - x)?
True
Let f(k) = k**3 + 7*k**2 - 5*k + 10. Let c = 3 - -2. Suppose -5*i - x = -0*x + 33, 5*x = -c*i - 25. Is f(i) a multiple of 15?
True
Suppose -5*k = 5*u - 230, 4*k + k - 138 = -3*u. Is u a multiple of 14?
False
Let t = 291 - 174. Is 13 a factor of t?
True
Let f be -1*2*-1*2. Suppose -3*z + 1 = 2*r - 8, -3*r = -3*z - 6. Suppose -f*l + 38 = 5*k, 0 = 5*k + 11 - z. Is l a multiple of 6?
True
Let i be -1*(-1 - (1 - -2)). Suppose i*b - 5*b + 12 = 0. Is 4 a factor of b?
True
Is 35 a factor of (-26 - -31)*(-1 + 8)?
True
Let y be 27/15 - (-3)/15. Suppose 0 = 3*d - 123 + 39. Is (4 - d)*(-3)/y a multiple of 12?
True
Let b = 86 - 46. Let r = -5 + -19. Let o = r + b. Is o a multiple of 9?
False
Suppose 219 = 3*a - v, 4*a - 3*a - 81 = 3*v. Is a a multiple of 18?
True
Let v(k) be the third derivative of -k**6/120 + k**4/24 + k**3/3 - 2*k**2. Is v(-2) a multiple of 5?
False
Suppose 5 - 18 = 3*i + 4*t, i = 2*t + 9. Suppose 0 = 3*q - 0*q - 15. Let z = i + q. Is 6 a factor of z?
True
Suppose -3*c + 0*z - 3*z + 12 = 0, 0 = z. Suppose -c*j + 40 = -8. Is j a multiple of 5?
False
Suppose 2*n = -3*q + 7*q - 58, -5*n - 15 = 0. Suppose -3*m = -71 - q. Suppose 0 - m = -o. Is o a multiple of 11?
False
Let b(v) = -v. Let t(j) = 2*j - 1. Let d(m) = 6*b(m) + t(m). Does 11 divide d(-3)?
True
Suppose k + 2 - 3 = 0. Suppose -3*f + 2*f = -5*i + k, -2*f + 38 = -2*i. Does 7 divide f?
False
Let a(y) = 6*y**2 + 4*y + 7. Is 32 a factor of a(5)?
False
Let m = -85 + 155. Let x = m - 43. Is 11 a factor of x?
False
Suppose -4*z - z + 215 = 0. Is 14 a factor of z?
False
Let r(z) = z**3 + 2*z**2 - 12*z + 5. Is r(7) a multiple of 21?
False
Let d(u) = u**2 + 6*u + 7. Let k be d(-5). Suppose k*v - 4 = -28. Let z = 17 + v. Does 5 divide z?
True
Let h(n) = n**2 - 8*n + 8. Let x be h(2). Suppose 40 = -4*v - 4*m, -3*v + 0*m = -3*m + 12. Let f = x - v. Is f a multiple of 2?
False
Let v = 14 + 69. Is v a multiple of 31?
False
Is (20 + -8)*10/8 a multiple of 5?
True
Suppose 3*x - 11 = -h - 3, 3*h + x - 40 = 0. Let q = -8 + h. Is q a multiple of 6?
True
Suppose 5*h - 8 - 87 = 0. Is h a multiple of 4?
False
Let l(w) = -w**3 + 15*w**2 - 16*w - 26. Is l(13) a multiple of 26?
True
Let o be (1 - 0)/(5/275). Suppose 59 = 2*v - o. Is 13 a factor of v?
False
Let z(f) = -9*f - 3. Suppose w - 4*w - 18 = 0. Let s = w - -4. Does 5 divide z(s)?
True
Let b = -64 - -137. Is 8 a factor of b?
False
Let n(a) = -15*a + 2. Suppose 3*l = -5*f - 26, 3*f + 6 = -l + 2*f. Does 16 divide n(l)?
True
Let m(b) = b - 5. Let u(w) = 2*w**3 + w**2 - 3*w + 3. Let n be u(2). Is m(n) a multiple of 4?
True
Let u(r) = -4*r - 1. Let q be u(1). Let z(s) = -s**3 - 4*s**2 - 2*s + 1. Let m be z(-3). Is (-111)/q + m/10 a multiple of 6?
False
Suppose -28 = -3*g + 92. Does 11 divide g?
False
Let a = 4 - 6. Does 2 divide (0 - a)*1 - -7?
False
Suppose -126 = -4*x - 2*a, 2*x + 7*a = 4*a + 73. Let y = x - 20. Does 6 divide y?
False
Is (2/6)/(29/7395) a multiple of 5?
True
Suppose 2*u - 597 = -5*o, 4*u + 135 = 4*o - 365. Is 11 a factor of o?
True
Let u = -106 - -179. Does 22 divide u?
False
Let g = -73 - -108. Does 7 divide g?
True
Let y = 210 + -51. Suppose -c + 18 = -4*j, 0*c = -5*c - 3*j + y. Is 13 a factor of c?
False
Suppose 252*u - 257*u + 270 = 0. Is u a multiple of 9?
True
Let u be 12/(-102) - 291/(-17). Let m(t) = -2*t**3 - t**2 + 5*t + 3. Let a be m(-3). Let o = a - u. Is 16 a factor of o?
True
Let u(h) = -96*h. Does 12 divide u(-4)?
True
Let d(m) = -m**3 - 2*m**2 + 5*m - 5. Let n be d(4). Suppose 0 = 2*r + 4*z + 18, -r + 4*z = -1 - 8. Is 12 a factor of (4/3)/(r/n)?
True
Let g(m) = 15*m**2 - 3*m + 2. Let y be g(2). Suppose y = 4*o - 80. Is 11 a factor of o?
False
Suppose -4*j + 9*j = 0. Suppose j = -y - 0*y. Suppose 2*d - 2 = -2*o, 4*d = 3*o - y*o + 32. Is 3 a factor of d?
False
Let v = 8 + -6. Suppose 3*a + 3*u = -0*a + 39, v*a + u - 26 = 0. Is a a multiple of 13?
True
Suppose 2*x + 2*f = -7 - 11, 3*x + 4*f = -31. Is (x - 0)*(-26)/5 a multiple of 13?
True
Suppose 0*u - 3*f - 66 = -3*u, -5*f = 5*u - 90. Suppose u = 4*s - 3*l, 5*s + 3 = -5*l - 7. Is 12 a factor of (19/(-2))/((-1)/s)?
False
Suppose 7*y - 3*y - 4*c = 124, 151 = 5*y - c. Is y a multiple of 14?
False
Let o be 4/10 - 28126/(-35). Is 10 a factor of (-1)/(-4) - o/(-48)?
False
Let w(r) = -r**3 - 5*r**2 + 7*r + 9. Let p be w(-6). Suppose 2*s - p = -h, -4*h - 4*s - 1 = -25. Is 2 a factor of h?
False
Let q be (1/2)/((-1)/(-8)). Does 13 divide ((-3)/q)/((-2)/104)?
True
Let l be (-3098)/(-14) - (-4)/(-14). Let p be (-4)/(-14) - (-130)/35. Suppose 46 = -4*v - g + 263, p*v - l = -5*g. Is 23 a factor of v?
False
Let m be -1 + (1 - 104 - -1). Let y = m + -10. Is 9 a factor of ((y + -1)/3)/(-2)?
False
Suppose b = -5*b + 864. Is 36 a factor of b?
True
Suppose -5*k + 4 + 1 = 0. Suppose 3*x + x - 28 = 0. Let d = k + x. Does 7 divide d?
False
Suppose -k - 5*i = 22 + 2, -2*i = k + 9. Let j(t) = 1 - k + 4*t**3 + 1 + 0. Is 11 a factor of j(2)?
True
Let r(m) = -6*m**2 + 3*m + 11. Let d(u) = 13*u**2 - 7*u - 23. Let c(z) = -4*d(z) - 9*r(z). Is c(5) a multiple of 16?
True
Suppose -3*w - 49 = -4*h + 40, -2*w - 16 = -h. Is h a multiple of 5?
False
Suppose 0 = -5*o + 5*r + 55, 0*o + 4*o - 3*r - 45 = 0. Is 6 a factor of o/(-5)*15/(-3)?
True
Let z be ((-20)/6)/(2/6). Does 3 divide ((-24)/z)/(4/10)?
True
Let a(k) = 3*k + 1 - k**3 + 0 + 2*k**2 - k. Let i be a(-1). Suppose -d + i*p + 11 = -2*p, 10 = 2*d + 4*p. Is 5 a factor of d?
False
Let m be 6/21 - 44/7. Let j(g) = -g**2 - 9*g - 2. Is 6 a factor of j(m)?
False
Suppose 30 = -2*u + 3*u. Does 10 divide u?
True
Let s(f) = -f**3 - 8*f**2 - 10*f - 11. Does 2 divide s(-7)?
True
Let g be 6/(-2)*(2 - 1). Let n be ((-2)/(-4))/(g/(-30)). Suppose 3*a - n = 13. Is a a multiple of 3?
True
Let n(j) = j**2 + 2*j + 4. Is 12 a factor of n(-4)?
True
Let t = 3 - -2. Suppose -7*i = -t*i - 60. Does 10 divide i?
True
Suppose -2*x - 2*j = -2 - 10, 6 = -x + 3*j. Suppose -4*n + x*n + 4 = 0. Is n a multiple of 3?
False
Let m = -27 + -6. Let f = m + 80. Is 14 a factor of f?
False
Suppose -c - 3*c = 4. Let g be (c - (-6)/4)*4. Suppose -g*y + 1 = -3*t - 0*t, 4*t = 2*y. Is y even?
True
Suppose -d = 4*d - 15. Suppose -5*y + 68 = -m, -d*y - 4*m = -9*m - 32. Does 9 divide y?
False
Let b be 4 + -1 - (-20)/5. Suppose b*p - 248 = 3*p. Is p a multiple of 16?
False
Suppose 2*j + j - 6 = 0. Let q(y) = y - y**3 + y - 2*y**j - 3*y - 3 - y**2. Does 7 divide q(-4)?
False
Suppose 3*t + 10 = 5*t. Suppose -19 = -t*g + 66. Is g a multiple of 9?
False
Suppose -4*y - 5*s = -180, 3*y + 1 = s + 117. Suppose -3*n = n + y. Is 8 a factor of (3 - n) + (-1 - -2)?
False
Suppose 0 = -4*s - o + 167, -5*s + 2*o + 2*o + 235 = 0. Does 17 divide s?
False
Is -3 + 9/3 + (-36)/(-3) a multiple of 2?
True
Let k(s) = -s**3 - 7*s**2 - 3*s + 12. Let j be k(-6). Let l(f) = -3*f - 15. Is 3 a factor of l(j)?
True
Is (-544)/24*-1*3 a multiple of 17?
True
Let i be 8/1 + (-1 - 2). Suppose 0 = 2*t + 3*n - 131 + 19, i*t - 238 = 3*n. Is t a multiple of 25?
True
Let p(s) be the first derivative of s**2/2 + 9*s - 1. Let j be p(-7). Suppose 5 = -j*f + 11. Is f a multiple of 2?
False
Let r(g) = g**2 + 1. Let p be r(-3). Let z = p - 5. Is z/((6/4)/3) a multiple of 5?
True
Let c = -16 + 34. Let k = c + -12. Suppose -2*i = -k*i - 4, w - 3 = -4*i. Does 7 divide w?
True
Is 20 a factor of -2*30*8/18*-3?
True
Let x = 18 + 