5 = -3*v + 3. Let c(m) = -m + 3. Let i be c(v). Is 15 a factor of l(i)?
False
Suppose j - 36 = -2*j - 5*m, 0 = -5*j + 5*m + 20. Is 15 a factor of j*4/(-28)*-66?
False
Suppose -20 = p + 3*p, -24 = 3*c + 3*p. Let a = 5 - c. Does 8 divide a?
True
Let i(w) = w**3 + 9*w**2 - 11*w - 10. Let f be i(-10). Let b = 3 + f. Suppose b*c = 43 + 2. Is 6 a factor of c?
False
Suppose -4*n - 63 = -n. Let o be 2*n/(-6)*2. Suppose 0*c + c = o. Is 6 a factor of c?
False
Let q(k) be the first derivative of k**3/3 + 3*k**2/2 + 2*k - 1. Is q(-5) a multiple of 6?
True
Let q be ((-1)/2)/((-2)/72). Suppose 3*n + q = 6*n - 4*z, 0 = -4*n - 4*z + 52. Let m = n + -3. Does 7 divide m?
True
Suppose -3*q + 16 = -f, 0 = 8*q - 3*q - 5*f - 30. Suppose q*o - 4*b - 27 = 0, -12 = o + 3*b + 2*b. Does 3 divide o?
True
Is 37 a factor of 0/(-1 + -4) + 104?
False
Let v be (-8)/(((-12)/(-75))/(-2)). Suppose 12 = 4*d - v. Is 14 a factor of d?
True
Let p be 6*(-2 - 15/(-6)). Suppose 0 = d + p*y - 69, -d + y = 20 - 69. Does 18 divide d?
True
Let c(y) = -y**2 + y + 2. Let w be c(2). Suppose -4*v + w*v = -92. Is v a multiple of 12?
False
Suppose -2*m - 10 = -x, 3*x = -m + 2*m + 45. Is x a multiple of 8?
True
Let r be (-20)/50 + (-34)/(-10). Suppose -r*m + 126 = -m. Does 21 divide m?
True
Let m(w) = w - 7. Let q be m(-8). Is 13 a factor of 80/q*(0 + -9)?
False
Let m = -2 - -6. Let r(l) = -2*l + 4. Let b be r(m). Is (10 + 2)/(b/(-6)) a multiple of 9?
True
Let f be ((-4)/(-6))/(12/522). Suppose 21 = 2*z - f. Is z a multiple of 15?
False
Let m(s) = s**2 - 5*s. Let p be m(5). Suppose p = -2*i + i + 14. Is i a multiple of 7?
True
Suppose -5*g + g = -8. Suppose -4*i - b + 29 = -i, -g*b = -5*i + 30. Does 8 divide i?
True
Let o(h) = -h + 3. Let w be ((-1)/3)/(2/(-24)). Let v be o(w). Let u(t) = -17*t - 1. Is 16 a factor of u(v)?
True
Suppose 0 = -7*u + 4*u - 120. Let g be ((-3)/(-2))/(6/u). Is 3 a factor of (-4)/(-10) - 76/g?
False
Let m(z) = 2*z**2 + 9*z - 1. Is m(-7) a multiple of 4?
False
Let p(q) = q**3 + 2*q**2 - q + 1. Let f be p(-2). Suppose -s - 78 = -f*s. Is 13 a factor of s?
True
Suppose -s + 10 = -5*a, -2*a - 5 = 3*a. Suppose 6*n - 2*n = s*i - 27, 0 = -i + 2*n + 3. Is i - (-3 + -1 + 5) a multiple of 2?
True
Let v be 99/(-15) + (-2)/5. Let r(m) = -10*m - 5. Let d(z) = 3*z + 2. Let x(u) = v*d(u) - 2*r(u). Is 3 a factor of x(-7)?
True
Let d = 93 + -58. Is d a multiple of 7?
True
Let i(j) = -j**3 + 10*j**2 + j + 12. Let r be i(10). Suppose 0*f - f = -1, r = u + 2*f. Is u a multiple of 6?
False
Let r(w) be the second derivative of 4*w + 0 - w**2 + 1/6*w**3 + 1/4*w**4. Is 8 a factor of r(-2)?
True
Let n = 3 - 5. Let i be (45/n)/(4/(-8)). Let a = -27 + i. Is 14 a factor of a?
False
Let x(g) = -g**3 + 5*g**2 + 5*g + 7. Let v be x(6). Let t be v/2*2 - 1. Suppose t*n - 4*j - 5 = -3*n, 5*j = 5*n - 15. Is n a multiple of 3?
False
Let p(v) be the second derivative of v**4/12 + v**3/2 - 5*v**2/2 + 4*v. Is p(-5) even?
False
Let z(k) = -k**3 + k**2 + 5*k + 2. Is z(-3) a multiple of 4?
False
Suppose 2*h = 0, -3*c - h = c - 72. Let y = c + -13. Is 5 a factor of y?
True
Suppose 5*z = 2*c - 7*c + 220, 2*z + 112 = 3*c. Is 22 a factor of c?
False
Suppose 5*z - 342 + 27 = 0. Is z a multiple of 13?
False
Suppose -5*l = 3*k - 248, 0 = -3*l + 2*l + 1. Suppose -g + k = 2*g. Is 27 a factor of g?
True
Suppose -k - 17 = -49. Suppose k = n - 25. Does 19 divide n?
True
Suppose 0 = -2*p + 199 + 35. Does 11 divide p?
False
Let r(i) = i**3 - 7*i**2 - 7*i + 14. Is 11 a factor of r(8)?
True
Let p = -1 + 8. Is p a multiple of 4?
False
Suppose 0 = -3*t + 5*d + 1271, 11*t - 1710 = 7*t - d. Is 16 a factor of t?
False
Suppose 50 = -3*p - 55. Does 12 divide (56/p)/((-2)/45)?
True
Suppose -v - 4*d + 16 = 0, 45 = 3*v - 5*d + 14. Suppose -2*l = -3*b + 11, -3*b + v = -3. Is l even?
True
Let d = 464 - 280. Does 46 divide d?
True
Suppose -2*n + 10 = -10. Is 4*n/(-4)*-1 a multiple of 9?
False
Let y = -16 - -70. Let d = y - 17. Does 14 divide d?
False
Suppose -83 = -10*y + 257. Is y a multiple of 34?
True
Let l be (-4)/(((-10)/(-6))/(-5)). Suppose 4*f - 3*f = 5*y - l, 2 = -f + 3*y. Is 13 a factor of f?
True
Let n = -28 + 54. Does 13 divide n?
True
Suppose -4*l + 28 + 68 = 0. Let o be l*1*1/(-2). Is 12 a factor of (o/14)/((-1)/14)?
True
Suppose 0 = 4*r + 2*m + 304, 3*m + 227 + 7 = -3*r. Let a = r - -46. Let c = -6 - a. Does 11 divide c?
True
Let c(w) = 3*w**2 - w. Let n be c(1). Let g be ((-15)/n)/(8/48). Is g/6*2/(-3) a multiple of 2?
False
Let b = 40 - -44. Is b a multiple of 21?
True
Let z be (1 + 7)/(-7 + 8). Is 3/(z/6 + -1) a multiple of 9?
True
Suppose 4*d = 3 - 23. Let i(c) = c**2 + c + 6. Is 16 a factor of i(d)?
False
Suppose 0*u - 3*u + 9 = 0, 5*u - 15 = -5*z. Suppose 0 = 3*v - 2*r - 50, -v + 15 = -z*v + r. Is v a multiple of 16?
True
Let q = 66 + -36. Does 15 divide q?
True
Let f = -9 + 14. Suppose f*x = 25, 4*t = -t + 5*x. Suppose 0*c + 4*d - 126 = -t*c, -d = 5*c - 129. Is c a multiple of 9?
False
Let k(w) be the third derivative of 2*w**2 + 0*w - 1/24*w**4 + 0 + 0*w**3 + 1/60*w**5. Is 13 a factor of k(-4)?
False
Suppose -3*k - 19 - 108 = -2*n, 2*n - 4*k = 132. Suppose 20 = -u + n. Is 12 a factor of u?
True
Suppose c = 5*q + 9 - 197, 3*q - 112 = c. Does 8 divide q?
False
Suppose -4*u - 8 = -5*u. Let g(y) = 2*y**2 - 11*y + 4. Is g(u) a multiple of 9?
False
Let s(d) = d**3 - 10*d**2 + 3*d - 3. Does 5 divide s(10)?
False
Let j(n) be the third derivative of n**4/4 - 2*n**3/3 - 3*n**2. Does 13 divide j(5)?
True
Suppose 5*r - 8 = 2*x, -4*x + x = -3. Suppose -r*v - 13 = -3*v. Does 13 divide v?
True
Let s be (-33 - 2) + 3/3. Let t = -20 - s. Is 7 a factor of t?
True
Let t(p) = p - 1. Let l be t(-3). Let n = l - -11. Is n a multiple of 7?
True
Let x = 10 + -7. Is x*((-96)/9)/(-2) a multiple of 9?
False
Let n(a) = -1. Let m(i) = 5*i - 9. Let l(c) = m(c) - 4*n(c). Is 4 a factor of l(4)?
False
Let t = -11 + 12. Let i(y) = 22*y**3 + y**2 - 2*y + 1. Is 11 a factor of i(t)?
True
Let t be 1 + -2 - (-4 - -1). Let u be (-3 + 3)/((-4)/t). Suppose 5*r + 4*i - 53 = 2*r, -5*r - 3*i + 70 = u. Is r a multiple of 11?
True
Let j be -1 + 4 - 0 - 0. Suppose 2*r - 2 = 0, 4*d = j*d - 4*r + 40. Does 17 divide d?
False
Is 282/5 + (-9)/(-15) a multiple of 19?
True
Is 7 a factor of (-359)/(-4) + 12/(-16)?
False
Let y = 1 + -1. Suppose -4*k + 5*k - 10 = y. Suppose m = -0*m - 5*i + 30, 3*m - k = 5*i. Is m a multiple of 5?
True
Let j be 0 + 4 + (2 - 4). Let x(w) = -3*w**j + 0*w**2 - 3*w + 4*w**2 - 5. Is x(5) a multiple of 5?
True
Suppose 3*m = 4*m - 40. Does 10 divide m?
True
Let h = 52 + -9. Let a = -21 + h. Is 22 a factor of a?
True
Suppose a + 4*i = 9, 2*a - i + 4 = 2*i. Let f be (a/4)/(2/8). Suppose 3*u = f + 182. Does 21 divide u?
False
Let a(k) = -4*k + 12. Let r be a(-9). Suppose -8 = o - r. Does 12 divide o?
False
Suppose 40*k = 36*k + 48. Does 3 divide k?
True
Let l(t) = -t**3 - 5*t**2 - 6*t + 6. Does 12 divide l(-5)?
True
Let w = 199 + -132. Suppose w = 5*b + 22. Does 6 divide b?
False
Let w(d) = -3*d + 2 + 3*d - d. Let u be 0*(-1)/4*-2. Is w(u) a multiple of 2?
True
Let i be (148 - 2) + 2/(-2). Suppose -i + 461 = 4*n. Is 20 a factor of n?
False
Suppose 0 = -7*y + 3*y - 8. Is 20 a factor of 34 + y/(-6)*0?
False
Suppose 5*t - 322 = -2*t. Is 7 a factor of t?
False
Let j(u) = -u**3 + 9*u**2 - 6*u - 10. Suppose 0*t + 56 = 2*t + 2*b, -3*t + 2*b + 59 = 0. Suppose 2*g - t = -7. Does 3 divide j(g)?
True
Is 1158/8 - (-35)/28 a multiple of 26?
False
Suppose -u = 4*a - 2*u - 213, -3*a + 2*u = -156. Does 8 divide a?
False
Let x = 1 - -4. Suppose -x*a + 31 = 11. Suppose 28 - 12 = a*n. Is 4 a factor of n?
True
Let z = -408 - -786. Does 21 divide z?
True
Let b = -54 + 92. Is 3 a factor of b?
False
Let i(a) = 2*a. Does 3 divide i(9)?
True
Let k(o) = o + 6. Let x be k(6). Let a = 17 - x. Suppose -a*u - 5*z - 6 + 16 = 0, 3*z = 4*u - 36. Is 3 a factor of u?
True
Let f be 4 + -1 + (-1 - 0) + 3. Let b be (2/(-3))/((-1)/36). Suppose 5 + 25 = f*h + 2*q, 2*q + b = 4*h. Is 3 a factor of h?
True
Suppose -5*j - 44 = -3*w, -2*w + 5*j + 18 = -w. Is w a multiple of 4?
False
Let d(j) be the first derivative of j**2 - 10*j - 1. Is d(8) a multiple of 3?
True
Let z(h) = -h**2 + 16*h - 9. Suppose -57 = 3*i - 7*i + 3*c, -5*i - 4*c = -48. Does 13 divide z(i)?
True
Let o be 2/(-1 - (-6)/4).