ue
Let l(t) = t**3 + 4*t**2 - 8*t + 6. Does 4 divide l(3)?
False
Let o = -12 - -69. Does 15 divide o?
False
Let u(z) be the second derivative of z**4/4 - z**3/6 + 3*z. Let c be u(-1). Suppose 0*k + 4*n = -c*k + 92, 0 = -4*n + 16. Is k a multiple of 19?
True
Suppose -2*t + 5*t = 0. Suppose 3*k + 3*j - 91 = 2*j, -2*k - 5*j + 65 = t. Is 2/4*(k - -4) a multiple of 10?
False
Let a(w) = 28*w + 7. Let z(k) = 9*k + 2. Let f(j) = -2*a(j) + 7*z(j). Is f(2) a multiple of 12?
False
Let b = 50 - 13. Does 2 divide b?
False
Let d be 4/(-14) - (-1370)/(-7). Suppose 2*y + 0 - 10 = g, -38 = 5*g + 2*y. Is 12 a factor of 2/(-4) + d/g?
True
Let n(g) = -g**3 + 7*g**2 - g + 3. Let t be n(7). Is 8 a factor of 1*-2*22/t?
False
Is (-4)/6 + (-5466)/(-18) a multiple of 55?
False
Let a = 18 + -13. Suppose 4*d + 1712 = 2*y, 5*y - a*d - 3329 = 951. Is (-4)/(-18) + y/36 a multiple of 9?
False
Let r(h) = -h**3 + 5*h**2 + 6*h + 6. Is r(6) a multiple of 6?
True
Let t(p) = p**2 - 6*p - 21. Does 24 divide t(12)?
False
Let t(c) = c**2 + 4*c + 3. Let f be t(-3). Suppose 0 = -2*p - 3*x + 28, f = 4*p - 2*x - 0*x - 88. Is p a multiple of 10?
True
Suppose 191 + 205 = 11*l. Is 18 a factor of l?
True
Let t(r) = -2*r - 8. Let y be t(-7). Suppose -y*g + g = -10. Is 10 a factor of g/(-5) - 428/(-20)?
False
Suppose 2*p + 50 = 4*p. Suppose a = -4*a + p. Suppose a*w = 15 + 45. Does 4 divide w?
True
Let j be 12/10*(-70)/(-21). Let n(r) = -r**3 + 6*r**2 - 4*r + 2. Is n(j) a multiple of 9?
True
Let q be 2 + 1 + -6 + 1. Let s = 8 + q. Does 6 divide s?
True
Let l(y) = y**3 - 8*y**2 + 9*y + 9. Let s be l(7). Suppose -2*h = -169 + s. Suppose 4*a - h = -d, 2*a + d = -0*a + 37. Is 18 a factor of a?
True
Suppose -3*p + 133 = -2*p. Suppose 5*n - 2*x = -p, -n + 59 = -4*n - 4*x. Is 3 a factor of 24/32 - n/4?
False
Let z(g) be the third derivative of -g**6/120 - g**5/15 + 7*g**4/24 + 2*g**3/3 - 2*g**2. Let l be z(-5). Does 14 divide 3/l + (-55)/(-2)?
False
Let c(w) = w**3 - 4*w**2 - 2*w + 3. Let z be c(4). Let k be (2/z)/(3/(-180)). Suppose -2*r - 3*m + 16 = -m, -4*m - k = -4*r. Is 7 a factor of r?
True
Let h(m) = -m - 1. Let v be h(-5). Let z = -4 + v. Suppose z = 5*u + 3*q - 25, -2*u + 65 = 3*u - 5*q. Is 5 a factor of u?
False
Suppose 5*y = -3*i + 842, 0 = 4*y - 0*i - 4*i - 680. Is 21 a factor of y?
False
Suppose -y = -5*y + 88. Let a(x) = x**3 - 3*x**2 - 2*x - 3. Let n be a(3). Let f = n + y. Is f a multiple of 5?
False
Let h = 12 - 10. Let v(m) = -m**h + 44*m**3 + 1 - 12*m**3 - 5*m + 3*m + 2*m**2. Does 16 divide v(1)?
True
Suppose 23 = -4*y + 5*k - 2*k, 4*k - 4 = 0. Let z = 21 + y. Is z a multiple of 4?
True
Let l(h) = -5*h**3 - h**2 - h - 4. Let r be l(-3). Suppose 8*g - 3*g - r = 0. Does 8 divide g?
False
Suppose 5*q - 25 = 170. Is q a multiple of 13?
True
Let b(k) = -2*k**3 - 4*k**2 - 2*k + 2. Does 13 divide b(-3)?
True
Let t = -5 + 2. Is 4/(1/(-18)*t) a multiple of 10?
False
Let s be 12/(-36) - (-506)/6. Suppose 0 = -i - 3*i + s. Is 11 a factor of i?
False
Suppose -7 = 4*d - 2*q - q, -3*q + 17 = d. Let r = 15 + d. Is r a multiple of 10?
False
Let b(p) = 15*p - 1. Let v be b(4). Suppose 3*y - 31 - v = 0. Is y a multiple of 15?
True
Suppose 92 = 4*d - 60. Does 19 divide d?
True
Suppose 3*w + w = -648. Let n be w/3 - (2 - 5). Does 9 divide 4/(-6)*n/2?
False
Suppose n + 4 = -n, 2*b + 62 = 2*n. Let g = 0 - b. Is 11 a factor of g?
True
Let l = 0 - -16. Does 4 divide l?
True
Suppose -2*i - 2*i + 100 = 0. Does 10 divide i/5*6/1?
True
Let j(r) = -5 + 75*r**2 + 5 + 75*r**2. Let g be j(-1). Suppose -3*z - 111 = -3*l - 0, 4*l = 2*z + g. Is 10 a factor of l?
False
Suppose 4*c + 3*b + 0*b + 25 = 0, -c - 9 = -2*b. Let u be 2/7 + 2/c. Suppose -w - 2*w = -j - 123, u = 4*w + 4*j - 148. Is w a multiple of 20?
True
Let b(j) = -4*j + 12. Let x(c) = -2*c + 6. Let d(u) = -3*b(u) + 7*x(u). Let n = -5 - 0. Does 8 divide d(n)?
True
Let c(t) be the first derivative of -t**4/4 + 5*t**3/3 + t**2/2 + 2*t + 1. Let r be c(5). Let d = 16 - r. Does 4 divide d?
False
Let c(g) = g**3 - 15*g**2 - 22*g - 3. Does 68 divide c(18)?
False
Suppose 3 = -3*q - 33. Does 4 divide (-52)/q - (-2)/(-6)?
True
Let k(w) = w**3 - 4*w**2 + 3*w. Let x be k(3). Let v be 7 - 2/4*x. Does 15 divide 206/14 - (-2)/v?
True
Let s be (1 - 0)*0/2. Let b(x) = -x**2 + s*x**2 - 1 + 0 + 2*x + 4*x**3. Does 3 divide b(1)?
False
Suppose 60 = 4*z - 172. Is 10 a factor of z?
False
Suppose 2*b + 102 = 8*b. Is b a multiple of 12?
False
Suppose -4*u + 2*u + 22 = 0. Let a = 7 + u. Does 12 divide a?
False
Suppose -4*i + 57 = -i + 2*v, i - 15 = -2*v. Suppose -12*g + 7*g = -45. Suppose i - g = f. Is f a multiple of 12?
True
Suppose -3*a - 5*p + 359 = 0, -507 = -4*a + 2*p - 3*p. Is 15 a factor of a?
False
Suppose 2*r = -4*g + 26, -r + 17 = g + 2*g. Suppose -f - 23 = -r*f - 5*d, -2 = 5*f - 4*d. Suppose -18 + f = -2*k. Is k a multiple of 4?
True
Let g(u) = 13 - 4*u**2 - 26*u**3 - 13 + u + 6*u**2. Is g(-1) a multiple of 17?
False
Let z(t) be the first derivative of 7*t**2/2 - 7*t - 2. Is z(7) a multiple of 9?
False
Let b be (-50)/(-18) - 12/(-54). Suppose b*z - 11 = 1. Suppose -z = 3*p - 46. Does 7 divide p?
True
Let l = 42 + -27. Suppose q = 4*q - l. Does 4 divide q?
False
Let v = -28 + 39. Is 11 a factor of v?
True
Suppose -2*f - 9 = f. Let u = f + 8. Suppose t + 0*t = u*l + 24, -5*t + l + 24 = 0. Is t a multiple of 2?
True
Suppose 3*i + 9 = d - 0, 2 = 2*d + 2*i. Suppose 3*m + m = -3*s + 190, d*s = -m + 52. Is m a multiple of 23?
True
Let d be (-19)/(-7) + (-4)/(-14). Suppose -4*k + 77 = -3*r, 0 = d*k - r - 4*r - 55. Is 8 a factor of k?
False
Let y(m) be the first derivative of -m**6/360 - 7*m**5/60 - 13*m**4/24 + 2*m**3/3 - 2. Let q(o) be the third derivative of y(o). Is q(-10) a multiple of 10?
False
Suppose 242 = -4*q + 6*q. Does 14 divide q?
False
Let u = 14 - 6. Let c(g) = u + 2*g - 1 - 2. Is 19 a factor of c(7)?
True
Let i = 120 + 6. Is 16 a factor of i?
False
Let g be (6/5)/((-9)/(-60)). Let q = -20 - -22. Suppose -28 + g = -q*u. Is 5 a factor of u?
True
Suppose 49*c - 85 = 44*c. Is c a multiple of 3?
False
Let v = -11 - -20. Does 3 divide v?
True
Suppose 2*f = -3*r + 113, f = r + 25 + 29. Suppose -4*z = -0*t - 3*t - f, -4*t + 76 = 4*z. Is z a multiple of 5?
False
Let v(t) = 4*t**2 - 16. Is 20 a factor of v(8)?
True
Let b = 693 + -467. Is b a multiple of 19?
False
Let c(f) = 2*f + 1. Let w be c(1). Suppose -4 = -h - w*h. Does 9 divide h/((-3)/(-24)) + 1?
True
Let u(t) = -17*t + 4. Let p be u(-7). Suppose 0 = -c + 4*c - p. Does 15 divide c?
False
Let f(t) = t**3 + 11*t**2 - 14*t + 10. Let m be (-912)/80 - (-3)/(-5). Does 16 divide f(m)?
False
Let m be 2/7 - 636/21. Let o = m - -56. Is 13 a factor of o?
True
Let p = 275 - 186. Is 9 a factor of p?
False
Suppose 0 = -4*u - 0*d - 2*d + 34, 5*d - 35 = -5*u. Does 10 divide u?
True
Let g(j) = 3*j - 7. Let i be g(4). Let y = 0 + 2. Suppose 50 = i*b - p, -b - 5*p = -y*p + 6. Is b a multiple of 6?
False
Suppose -4*m - 60 = -5*m. Is m a multiple of 20?
True
Let f = -3 - -6. Suppose -f*b - 4*w + 16 = 0, 0 = -7*w + 2*w - 25. Does 12 divide b?
True
Suppose -5*a - 10 - 14 = 4*f, -4*a = 0. Is 6 a factor of 18/f + 5*7?
False
Suppose 0 = 2*d - 5*d + 2*n + 141, -2*d + 94 = -3*n. Is 47 a factor of d?
True
Let i(d) = d**2 + 3*d + 9. Let z = 28 + -21. Is i(z) a multiple of 18?
False
Let c(f) = 8*f**3 + f**2 + f - 1. Let a be 4 - (2 - 2 - -1). Suppose -m + 4 = a*m. Is 5 a factor of c(m)?
False
Let n = -7 + 4. Let p be ((-27)/n)/((-1)/3). Let h = 44 + p. Is h a multiple of 5?
False
Suppose 4*m = 5*t + 250, -4*m + 248 = -0*m - 4*t. Does 30 divide m?
True
Suppose 2*i = a - 2, -i + 10 = 4*i. Is a a multiple of 6?
True
Suppose 45 = 5*p + 2*i - 275, 152 = 2*p - 4*i. Is 10 a factor of p?
False
Let s = 7 + -2. Suppose s*h - 8 = 22. Does 15 divide (-50)/((-3)/h*4)?
False
Suppose 2*w = 3*j + 12, 2*w + 0 = -5*j - 4. Is 28 a factor of w*1*(-820)/(-30)?
False
Let w(g) = g**2 + 3*g - 10. Let a(q) = -q**2 + 12*q + 6. Let j be a(13). Does 18 divide w(j)?
True
Let p = 31 + 15. Suppose -4*j + 204 = 2*r, -4*r + 7*r = -j + p. Does 15 divide j?
False
Let p = 180 + -48. Is 12 a factor of p?
True
Suppose -2*y - 5*w + 50 = 0, -y - 3*w - 96 = -4*y. Does 14 divide y?
False
Let b(q) = -q**2 - 7*q - 9. Let g be b(-6). Is 5 a factor of 3 + (-3 - -8) + g?
True
Suppose 4*c 