-4))/((-3)/(-80))*2?
True
Let l = 119 - 70. Does 15 divide l?
False
Let b(g) = -5*g**3 - 6*g**2 + 5*g - 8. Let n(t) = -t**3 + t - 1. Let u(z) = b(z) - 4*n(z). Let q be u(-6). Let w = q - -57. Does 12 divide w?
False
Suppose -4*k = 3*r - 20 - 37, -2*k = r - 21. Does 3 divide r?
True
Suppose -4*a + 0*a - 28 = 3*k, 0 = -5*k - a - 24. Let s be (k/6)/((-1)/3). Let f(v) = 2*v**3 - 3*v**2 + 1. Is 4 a factor of f(s)?
False
Is (-9 + 10)*(-12)/9*-3 a multiple of 3?
False
Is (-8)/(-28) - (-328)/28 a multiple of 5?
False
Suppose -26 = -2*y + y - 5*i, 3*i - 6 = 0. Does 8 divide y?
True
Suppose 0 = 5*d + 2*a - 624 + 118, -106 = -d - 2*a. Is 25 a factor of d?
True
Is (31 + -34)*(25/(-3))/1 a multiple of 2?
False
Let m(z) = z + 3. Let v be m(-2). Let u be v/(-4) - (-301)/4. Let s = -45 + u. Is 15 a factor of s?
True
Suppose r - 5*r = -40. Is r a multiple of 6?
False
Suppose -8*v = -3*v - 1100. Suppose v = 4*c + 20. Does 25 divide c?
True
Let g(l) = -152*l**3 - 3*l**2 - l + 1. Is 17 a factor of g(-1)?
False
Let c(m) = 20*m**2 - 5*m + 5. Does 8 divide c(2)?
False
Suppose 4*u = 5*c - 1056, -3*c = -2*c - 3*u - 209. Is 53 a factor of c?
True
Suppose 0*v + 5*v - 120 = 0. Suppose 5*r - v = 26. Is 10 a factor of r?
True
Let p be 0 + (11 - 8/(-4)). Let y = -10 + p. Does 3 divide y?
True
Let p(w) = 6*w**2 + w + 1. Is 3 a factor of p(-1)?
True
Suppose 11 = 3*t - 16. Is t a multiple of 9?
True
Let c(p) = p**2 + 6*p - 1. Let f be c(-7). Let t = f + -4. Does 6 divide ((-5)/t)/((-1)/6)?
False
Let w(j) = j**3 + 8*j**2 + 6*j + 1. Let f be w(-7). Is (-126)/(-4) - 12/f a multiple of 8?
False
Suppose 24 = -5*l + l. Let r be 8/12 + 4/l. Suppose 2*v = -4*g + 80, r = -3*g + 3*v + v + 60. Is g a multiple of 20?
True
Let p(h) = h**2 - h + 4. Is p(7) a multiple of 19?
False
Suppose -9 = -2*r + 3. Suppose -r*c = -3*c - 45. Is c a multiple of 9?
False
Suppose -6*q + 2650 = 4*q. Is 31 a factor of q?
False
Let d = 7 + -4. Suppose 4*n = -d*p + 2 + 1, 0 = -2*n + 2*p + 12. Suppose -2*a = n*t - 28, -5*t = -a - 2*a - 15. Does 5 divide t?
False
Let c = 305 - 446. Let h = -66 - c. Suppose h = 4*q - 3*u, -67 = -3*q + 4*u - 2. Is q a multiple of 15?
True
Let h = 10 + -7. Suppose -h*s = 2*s, -5*s - 10 = 5*f. Is 13 a factor of (13/f)/((-2)/8)?
True
Let q = -5 + 9. Suppose v - 9 = -0*v - 2*i, -q*v = 4*i - 32. Let m(l) = l**2 - 4*l - 7. Is 7 a factor of m(v)?
True
Let w = -2 + -8. Let p(s) = -s**3 + 3*s**2 + 2*s - 3. Let k be p(2). Is 6 a factor of 87/k + 4/w?
False
Let m(y) = 2*y**2 - 2*y - 1. Let u be m(-1). Does 2 divide u + 0*1/2?
False
Let y(k) = -3*k + 6. Let z be ((-8)/(-32))/((-2)/(-8)). Let p be -10 + (z - (-4)/2). Is 27 a factor of y(p)?
True
Let d(v) = 2*v + 2. Let s be d(3). Suppose 105 = 3*w + 3*g, -4*w - 5*g - s = -153. Is (-44)/(-10) - (-18)/w a multiple of 2?
False
Suppose 0 = 4*o - 2*o - 60. Is 9 a factor of o?
False
Let i = -111 + 237. Is 12 a factor of i?
False
Suppose 0 = 5*c - 621 - 239. Let m = -92 + c. Is m a multiple of 22?
False
Suppose -51 = -7*l + 453. Is 18 a factor of l?
True
Let n(g) = -61*g**3 - 3*g + 2. Let r(c) = 31*c**3 + 2*c - 1. Let l(h) = 3*n(h) + 5*r(h). Suppose 0 = 3*z - 4 + 7. Is 14 a factor of l(z)?
True
Let x be (-3)/(-4)*-1*12. Let w be (8 + -2)*(-6)/x. Is 117/4 - w/16 a multiple of 11?
False
Let j = -19 - -26. Does 3 divide j?
False
Let u(h) = 1. Let s(z) = -z**3 + 12*z**2 - 3*z + 18. Let k(v) = -s(v) + 4*u(v). Is k(12) a multiple of 8?
False
Let r be 2/(-11) + 534/33. Suppose f - r = -0*f - 4*p, -p + 48 = 3*f. Is f a multiple of 16?
True
Suppose -51*w + 204 = -45*w. Is 17 a factor of w?
True
Suppose 4*x = -12, 3*o - 4*x = 5*o - 2. Does 5 divide o?
False
Let m(a) = 8*a**2 - a - 2. Is m(-1) a multiple of 2?
False
Let a(x) = 4*x**2 + 0*x**3 + x**3 + 3*x - 8 + 4. Let b be a(-3). Is 6 a factor of 3 + b/(4/(-9))?
True
Let c = 11 - 5. Does 3 divide c?
True
Let d = 144 - 107. Is d a multiple of 3?
False
Let w(q) = -q**3 - q**2 + 2. Let v be w(0). Let n be 1*-6 + 3 + v. Is (-40)/(-4) - (-3 - n) a multiple of 12?
True
Suppose 5*d = -5*c + 1185, -c + 5*d - 181 + 436 = 0. Is c a multiple of 30?
True
Let p be 6/(1 + 1)*1. Suppose 0 = -r - p*r + 120. Suppose 3*y - r = -9. Is 7 a factor of y?
True
Let k(p) = 0 + p**3 + 6*p**2 - 2*p - 1 - 8*p. Let o(c) = -c - 20. Let l be o(-13). Is k(l) a multiple of 9?
False
Suppose -2*l = 4*m - 234, 3*m + 5*l + 0*l = 165. Is m a multiple of 20?
True
Does 13 divide (2 + -4 + 1)*-48?
False
Suppose k - 4 = -2. Suppose 0*v = -k*v + 30. Does 15 divide v/(-4)*(-1 - 11)?
True
Let g = -485 - -748. Is 19 a factor of g?
False
Let j(z) = -25*z**3 + 2*z**2 + 2*z + 4. Does 52 divide j(-2)?
True
Suppose q - 3*c = -1, 0 = q + c - 9 - 10. Does 5 divide q?
False
Let y be 7/4 - 1/(-4). Let m be -1*y - (-16)/4. Suppose 0 = 4*i + o - 77, o = 5*i - m*o - 75. Is 18 a factor of i?
True
Let p be 3*1*(-80)/(-6). Suppose 3*g - 3 = 3. Suppose 16 = -g*x + p. Is 12 a factor of x?
True
Let z be 1*7 + 0 + -1. Suppose -z = -0*j - j. Is j even?
True
Suppose 439 = 3*m - 560. Suppose -2*c + 164 = -2*s, 3*s = 4*c - 0*s - m. Is 29 a factor of c?
True
Let z be (3 - 0) + 1 + 0. Suppose 3*l - 30 = z*d, 2*l + l - 33 = 5*d. Is 3 a factor of ((-4)/l)/(5/(-45))?
True
Let b(p) = p**3 - 6*p**2 - p + 5. Let z be b(6). Does 19 divide z - -54 - (-7 - -3)?
True
Let p = 61 + -46. Does 15 divide p?
True
Let z be (-155)/(-4) + (-1)/(-4). Suppose -3*t = -4*u + 2*u - 25, z = 5*t - 2*u. Does 2 divide t?
False
Let r(f) = -f**2 + 9*f + 2. Let y be r(9). Suppose -45 = -3*t - 3*j, 5*j = -y*t + j + 40. Is 5 a factor of t?
True
Let n(b) be the third derivative of -b**4/24 + 7*b**3/3 - 3*b**2. Is 4 a factor of n(10)?
True
Let y be ((-2)/3)/(4/(-6)). Let b be (96/20)/(y/5). Let d = b + 4. Does 14 divide d?
True
Let h(j) = -j**2 - 5*j + 4. Let v be h(-5). Let g = v + -2. Suppose 0 = g*k - k - 9. Does 9 divide k?
True
Let s be (-1 - (-3 - 6)) + 2. Suppose 4*b - 5 = -4*p + 35, 4*p - s = -b. Does 3 divide b?
False
Suppose 0 = -4*u - 195 - 257. Let s = -31 - u. Let y = s - 47. Is 16 a factor of y?
False
Suppose 0 = -5*l - 0*l + 50. Let v be (2 + -8)/(-2)*-8. Does 10 divide 16*-3*l/v?
True
Let g = -144 - -228. Suppose -5*u + g + 21 = 0. Is u a multiple of 7?
True
Suppose -3*w = -5*g + 2 - 1, 3*g - 2*w = 0. Let c be 6/(-4)*(-4)/g. Suppose 4*m = c*v + 56, v - 3*v = -m + 14. Does 14 divide m?
True
Let u(i) = -i**3 + 18*i**2 - 34*i - 9. Does 26 divide u(15)?
True
Let a(n) = 2*n + 3 + 1 - n. Let i be 6/(-2) - (-3 - 0). Is a(i) even?
True
Suppose -5*d + 5*t + 170 = 0, -3*d - t + 96 = 2*t. Is d a multiple of 7?
False
Let t(s) = s. Let c be t(3). Suppose -51 = -5*b + c*u, -5*b = -b - u - 45. Is b a multiple of 12?
True
Suppose 4*j + 119 = 3*l, 2*l - 3*j = 32 + 46. Is l a multiple of 15?
True
Let a(q) be the second derivative of -q**4/12 - 2*q**3/3 + 3*q**2/2 - q. Let v be a(-3). Is 3*(v/1 + 2) a multiple of 12?
True
Suppose 2*t + 12 = -4*n, -t + 9 + 20 = -5*n. Suppose -4*v + 10 = -2*u - 32, -4*v + 47 = -3*u. Suppose t*o = v*o - 64. Is o a multiple of 7?
False
Let v be (-17)/(-4) - 2/8. Suppose -v*s = -s - 75. Does 10 divide s?
False
Suppose -3*s + 4*s = 5*i + 27, 2*s - 82 = -4*i. Is s a multiple of 37?
True
Suppose 0 = 2*a - 34 - 96. Suppose -4*y + a = y. Does 4 divide y?
False
Let b(j) = j**2 - 7*j + 12. Is 10 a factor of b(9)?
True
Let k be (-96)/(-56) - 4/(-14). Suppose -k*l = 3*l. Suppose l = v - 5*x - 26, 0*x = -2*x + 2. Is 14 a factor of v?
False
Let d = 11 + -8. Suppose 0 = -4*q + 5*u + 169, d*q - 7*u + 3*u = 128. Does 16 divide q?
False
Does 39 divide -2*((-14)/(-105) + 589/(-30))?
True
Let y(k) = 4*k**2 - 3*k - 3. Let m = 5 - 2. Does 12 divide y(m)?
True
Is 2*279/6 + 0/(-1) a multiple of 31?
True
Suppose 6 + 1 = d. Suppose d = -3*w + 22. Does 3 divide w?
False
Is 17 a factor of (-820)/(-50) - (-3)/5?
True
Suppose m = 3*x + 249, 2*m - 4*x + 277 = 3*m. Is 38 a factor of m?
False
Let u(w) be the third derivative of -5/6*w**3 + 0 - 1/15*w**5 - w**2 + 0*w + 1/120*w**6 + 1/6*w**4. Is u(5) a multiple of 16?
False
Let u = -2 + 7. Let d(v) = v**2 - 2*v - 5. Is d(u) a multiple of 3?
False
Let q(f) be the first derivative of f**5/5 - f**3/6 + f**2/2 + 2*f + 2. Let i(j) be the first derivative of q(j). Is i(1) a multiple of 3?
False
Suppose 0 = -5*d - 5*m + 245, 3*d + 2*m - 103 = 39. Does 4 divide d?
True
Suppo