p(m) = 6*m + 39. Does 7 divide p(22)?
False
Let f = 11 + -7. Suppose 0 = m + i - 4*i - 16, -f*i = m - 16. Does 7 divide m?
False
Let p be (-6)/(-27) - (-14)/18. Let l = 3 - p. Suppose 0 = -l*d - 5*j + 43, 0 = -8*j + 4*j + 20. Is 9 a factor of d?
True
Suppose -10 = -3*g + 8. Is g a multiple of 3?
True
Let n be 6*(7/2 - 3). Let a be -1 + n/(3/5). Suppose -2*f + 6 = a, -4*t + 55 = -5*f. Is t a multiple of 4?
False
Let m(v) = v + 7. Let p be m(0). Let h(j) be the second derivative of j**4/12 - j**3 - 2*j. Is 7 a factor of h(p)?
True
Suppose 2*n + 5 = 11. Suppose -350 = -n*v + 8*v. Is 14 a factor of (-8)/10*v/4?
True
Suppose 4*p + 5*h = 504, -5*h + 33 = 13. Suppose p = 5*m - 39. Is 10 a factor of m?
False
Let b = -20 + -25. Let s = b - -87. Is s a multiple of 14?
True
Suppose 3 = 3*x - 6. Suppose 3*u + v - 12 = -0*u, 5*v = -x*u. Is u a multiple of 5?
True
Suppose -3*l + 6*l = x - 40, 0 = 5*l. Is 10 a factor of x?
True
Let j(v) = v + 1. Let x be j(3). Suppose 0 = -4*u + a - x, 13 + 7 = 5*a. Let o = u + 23. Does 12 divide o?
False
Let h be 2 - (0 - 5*-2). Let b = h + 5. Is ((-26)/(-6))/((-1)/b) a multiple of 13?
True
Suppose 2*a - 161 = -3*h, 165 = 3*h - 0*h + 3*a. Is h a multiple of 17?
True
Let y = 61 + -26. Suppose -3*h + y = 5*b, -5*h = -b - 1 - 20. Is 14 a factor of b/18 - 750/(-27)?
True
Suppose -2*h + 3*u = -17, h - 8 = 4*u - 2*u. Suppose -o + 60 = 3*w - 5*o, -2*o + h = w. Is 10 a factor of w?
False
Let f(x) = 6*x + 12. Does 11 divide f(8)?
False
Let w(u) = u**3 + 2*u**2 - 5*u - 6. Let m be w(-4). Is (-1)/(1/1) - m a multiple of 10?
False
Suppose -3*o + 5*o + 3*t = 355, -5*o - 4*t + 877 = 0. Is o a multiple of 28?
False
Let n = -48 + 86. Is n a multiple of 9?
False
Is 9 a factor of 3 + 0 + 48/4?
False
Let m(q) = -14*q + 1 + 15*q + 19*q. Does 6 divide m(1)?
False
Let i = 81 + -3. Is 26 a factor of i?
True
Let d(i) = -3*i - 2. Let y(s) = 16*s + 10. Let o(n) = -14*d(n) - 3*y(n). Is 17 a factor of o(-6)?
True
Let x(z) = -21*z. Let d be x(-4). Suppose 2*h - 5*h = -d. Is h a multiple of 17?
False
Let y be (-1 + 4)/((-18)/(-12)). Suppose -5*k - 2*j = -y*k - 8, 5*k = 3*j + 7. Suppose 3*o - 50 = -4*w, 2*o - 7*o = -k*w - 66. Is o a multiple of 7?
True
Suppose 3*i - 24 = 48. Is i a multiple of 24?
True
Let q = 6 + -6. Let v be 67 - -3*(-1)/3. Suppose q = 2*m - v. Is m a multiple of 11?
True
Let k(p) = -4*p. Let w be k(-1). Suppose 0 = -0*b + 2*b + w*h - 16, b + h = 6. Is b even?
True
Suppose 4*t - 4 + 0 = 0. Suppose -s = -3 + t. Does 2 divide s?
True
Suppose 2*w + 27 = 5*w. Let c(x) = 4*x - 1. Let n be c(5). Let m = w + n. Is m a multiple of 20?
False
Let x(s) = 2*s**3. Let g be (4/(-6))/(10/(-15)). Let v be x(g). Suppose 0 = -d + z + 4, -3*d - 3*z + 28 = v*z. Does 6 divide d?
True
Let h = -82 + 133. Is 28 a factor of h?
False
Let z(b) = 2*b - 11. Let v be z(8). Suppose v*n - 2*l = 160, 2*n + 3*l - 15 = n. Suppose 2*r = 2*d + n, 4*r - 3*d - 30 = -5*d. Is r a multiple of 6?
False
Suppose 3*r - 5*k = -2*r + 85, 4*r - 75 = -3*k. Does 18 divide r?
True
Let p(z) = 15*z**2 - 5*z + 2. Does 54 divide p(4)?
False
Let w be 9 - 8 - (0 + 0). Let x be w*(30/2 - -2). Suppose 4*u + 121 = 5*g, 0*g - g - u = -x. Is 7 a factor of g?
True
Let r be ((-1)/(-2) + -1)*0. Suppose r*t - 4*t = -112. Is 16 a factor of t?
False
Let y be (-14)/(-4)*1*-2. Let f = y + -3. Let i(p) = -2*p + 3. Is i(f) a multiple of 15?
False
Suppose 5*r + 270 = -0*s + 3*s, 0 = 4*r + 12. Does 19 divide s?
False
Suppose 5*t - 5*y = 785, 2*t = -0*y - 5*y + 349. Does 29 divide t?
False
Let c(u) = -6*u + 5. Let b be c(-5). Suppose -4*v = 4*j - 132, 2 + b = v + 3*j. Does 13 divide v?
False
Suppose 28 + 44 = 3*t. Is 8 a factor of t?
True
Let o(v) = -v**2 + 7*v - 1. Is o(6) a multiple of 2?
False
Let a = 0 - -1. Let g be a/4 + (-21)/(-12). Does 4 divide 27/3 - g - 2?
False
Suppose -5*r = 2*l - 204, -4*l - 2*r = l - 489. Suppose -5*a + 91 = 3*c, a = 3*c - 0*c - l. Is 16 a factor of c?
True
Suppose 5*a = 2*i + 60, 0 = -3*a - 5*i + 4 + 1. Let q = 8 - 4. Suppose a + 6 = q*x. Is 2 a factor of x?
True
Let c(m) = 157*m**2 - 3*m + 2. Is c(1) a multiple of 41?
False
Let c be 2 - (0 - 1) - -1. Does 34 divide 0 + 34/c*12?
True
Let m(v) = 2*v + 7. Let r be m(-5). Let i be -2 - r - (38 - 2). Is 72/30*i/(-2) a multiple of 17?
False
Let l = -111 - -212. Is 28 a factor of l?
False
Let n = 9 + -5. Let m be 3/(-12) - (-153)/n. Suppose -i + 23 + m = 4*r, 3*i = 3. Is r a multiple of 12?
False
Does 17 divide 51/(0 + (-3 - -4))?
True
Let f be 3 - 0 - (2 - -1). Suppose -5*k + f*r = r - 118, 102 = 4*k - 3*r. Is 4 a factor of k?
True
Suppose -v + 0*d + d + 15 = 0, 0 = -5*v - 3*d + 51. Is (-4)/(-6) + 520/v a multiple of 16?
False
Let b(i) = 2*i**2 + 7*i. Let n be b(6). Let g = n - 49. Is g a multiple of 20?
False
Let h(s) = 9*s**3 - 2*s**2 - 1. Does 21 divide h(2)?
True
Suppose -6*l = -3*l + 231. Suppose -j + 6*j = -180. Let p = j - l. Does 14 divide p?
False
Let a = 10 + -2. Suppose 157 = 3*i + 5*k - a, 4*i + k = 203. Is i a multiple of 15?
False
Let b = -3 + 9. Let z = b - -2. Is 8 a factor of z?
True
Let j(s) = 8*s - 9. Let z be j(6). Let l = z - -1. Does 11 divide l?
False
Is -39*(-5)/(-15)*-3 a multiple of 15?
False
Suppose -14 - 6 = -5*y. Suppose -4*l - y*n + 64 = 0, -n = -5*n + 16. Is 7 a factor of l?
False
Let h(a) = 4*a - 6. Suppose 30 = 8*r - 3*r. Is h(r) a multiple of 6?
True
Let u(k) = 2*k**2 + 4*k - 3. Suppose -2*p = -0*p. Let g = 2 + p. Is u(g) a multiple of 13?
True
Suppose 316 - 19 = 3*c. Is c a multiple of 25?
False
Let s be (-2)/(-4 - 42/(-11)). Suppose 0 = b + y + 2*y - s, 0 = 5*b + 2*y - 42. Does 5 divide b?
False
Let z(b) = 3. Let w(a) = a - 1. Let r(h) = 2*w(h) + z(h). Does 13 divide r(10)?
False
Suppose 0*y - 3*y - 3*b + 24 = 0, -4 = 4*y - 5*b. Suppose 0*f - y*f + 240 = 0. Is 20 a factor of f?
True
Suppose 2*n - 5*r = -2*n + 171, n - 24 = -5*r. Is n a multiple of 13?
True
Is 1/4*(83 + -7) a multiple of 4?
False
Suppose a - 87 + 31 = 0. Is a a multiple of 14?
True
Let l(m) = 11*m + 6. Let p be l(5). Suppose 183 - p = 2*n. Is 27 a factor of n?
False
Let l = -27 - -55. Does 4 divide l?
True
Suppose -4 + 12 = -k + 2*r, -4*r = 4*k - 28. Suppose y = -0 - 4. Is (y + 2)*(-2)/k even?
True
Let a(p) = p**3 + 4*p**2 + p + 2. Let i be a(-3). Suppose -i*l + 88 = -4*l. Is l a multiple of 11?
True
Suppose 0 = -c + 274 + 82. Is 33 a factor of c?
False
Suppose 8 + 14 = 2*t. Does 10 divide t?
False
Suppose -1 = m - 5*w, 4*m + 2*w = -m + 130. Is m a multiple of 4?
True
Suppose 2*v = -n - v + 138, 5*n - 5*v = 610. Is n a multiple of 13?
False
Let g be 4/26 - (-5125)/65. Let c be 2/2*-1 + g. Let m = -30 + c. Is m a multiple of 21?
False
Suppose 3*r + 0*h - 2*h - 7 = 0, 0 = 2*r - 2*h - 4. Let w be ((-36)/(-15))/r*30. Suppose 4*b = b + w. Does 7 divide b?
False
Let w(z) = -22*z. Let y(t) = -t**3 - t + 5. Let p be y(0). Suppose -3*g + p*r + 22 = 0, g + 11 = r - 3*r. Is w(g) a multiple of 11?
True
Suppose -2*b = 3*m - 303, -3*b - 3*m + 8*m = -483. Does 13 divide b?
True
Let m(u) = 3*u**3 + u**2 - u + 1. Let k be m(1). Suppose k*s - 158 - 18 = 0. Does 20 divide s?
False
Let q be ((-2)/4)/(1/2). Let w = -1 - q. Suppose w = -0*z - 3*z + 42. Does 6 divide z?
False
Let a be (-5 + 3)*-1 - -51. Let n = a - -6. Let o = -31 + n. Does 14 divide o?
True
Let n(p) = 4*p**2 - 7*p + 17. Is 15 a factor of n(9)?
False
Let t(l) = -18*l - 4. Let s be t(6). Let f = s + 190. Is 13 a factor of f?
True
Let d be (9/6)/(-3)*-26. Let x(i) = i + 17. Is 15 a factor of x(d)?
True
Is (-4*2 - -2)/(-2 + 1) a multiple of 3?
True
Suppose -2*i = -5*i + 15. Suppose 4 = i*r - 6. Suppose h - 15 = -r*h. Is h even?
False
Suppose -n = 2*a + 8, -6*n - 4*a = -n + 16. Let r = 52 + -48. Suppose n*x - 16 = -r*x. Is 4 a factor of x?
True
Suppose 16 - 8 = 2*w. Suppose 6*g = w*g + 126. Is g a multiple of 21?
True
Suppose 0 = -5*d - 0*d + u + 13, 4*d - 4*u = 20. Let a be d + (-20 + 2)/(-3). Is 11 a factor of ((-22)/a)/((-1)/4)?
True
Let s = 10 - 7. Suppose 3*m + s - 86 = 5*v, 4*v = -4. Is 11 a factor of m?
False
Let y(g) = g - g - g - g - 14. Does 3 divide y(-10)?
True
Is 350/(-28)*-1*2 a multiple of 6?
False
Let p(q) = q**3 + 10*q**2 + 5*q. Let z(j) = j**2 + j + 2. Let v be z(-3). Let r be v/12 - 58/6. Is 16 a factor of p(r)?
False
Let n = 135 + -79. Is 10 a factor of n?
False
Let 