r of t?
False
Suppose 2*k + 2 = -0. Let p(i) = -18 - 12 - 11 - 9*i + 42. Does 3 divide p(k)?
False
Suppose 5*r + 5*c = 60, 5*r = 7*r - 5*c - 45. Is 3 a factor of r?
True
Let b(k) = k**3 + 18*k**2 + 10*k + 24. Is b(-16) a multiple of 10?
False
Is 15 a factor of (-2)/8 - 6732/(-48)?
False
Let z = -19 + 29. Let a = 8 + z. Is a a multiple of 6?
True
Suppose 0*m = 5*m + 105. Suppose -169 = 5*j - 3*v - 6, -4*v + 54 = -2*j. Let i = m - j. Is i a multiple of 7?
True
Suppose w + 4 = 0, -4*h - 7 = -h + 4*w. Let o(n) be the second derivative of n**4/4 - n**3/3 - n**2/2 + 2*n. Is o(h) a multiple of 10?
True
Suppose -3*f + 7*f = 2*k - 6, 5*f + 15 = k. Is 28 a factor of 4*(3 - 97/f)?
False
Does 17 divide (1/(-2))/(94/(-261132))?
False
Suppose 3*n - 931 = -4*p + 4*n, -5*p = -3*n - 1162. Does 16 divide p?
False
Suppose 1405 = v + 283. Is 51 a factor of v?
True
Let b be (-13 - -1)/((-9)/(-12)). Let p = -8 - b. Suppose -p*l + 33 = -7*l. Is l a multiple of 12?
False
Suppose -4*v - 64 = -704. Is v a multiple of 74?
False
Let k(h) = h**2 + 9*h + 12. Let u be k(-8). Suppose -u*g + 0*g = -2*v + 292, -5*v = 5*g - 715. Suppose 2*x + 2*x - v = 0. Is 18 a factor of x?
True
Is (180/(-10))/(-2) - -149 a multiple of 2?
True
Let p(n) = 3*n**2 - 3*n + 6. Let o = -4 + 8. Suppose -5*f + 24 = o. Is p(f) a multiple of 14?
True
Suppose 0 = -3*j - j + b + 2560, 4*j + 2*b - 2560 = 0. Is j a multiple of 64?
True
Suppose 0 = 2*s - y - 45, -2*s + 42 = -y - 3*y. Let h = s - 12. Is 11 a factor of h?
True
Suppose 0 = g + 4*g + 2*x, -5*x - 21 = 2*g. Is 9 a factor of -4*6/8 + 24/g?
True
Suppose c + 7 = 2*c - o, 0 = -c + 5*o + 23. Let u be (-3 + c - 3) + 11. Does 3 divide 273/28 + 2/u?
False
Is 12 a factor of (-33630)/(-38)*(6/(-10) + 1)?
False
Let j = 124 + -32. Suppose 0 = -v - 0*u + 2*u + 33, 0 = 3*v + u - j. Is 14 a factor of v?
False
Let i = -1 + -5. Let j be -6 + 9 + 6*7. Is 2 a factor of (-146)/(-30) - i/j?
False
Let n be (-6)/21 - (-4516)/28. Suppose -5*f = 2*f - n. Is f a multiple of 10?
False
Let j be 56/6 - (-6)/9. Let y be ((-4)/j)/(2/(-100)). Let g = 7 + y. Is g a multiple of 9?
True
Let f(q) = -14*q + 3. Let l(b) = 5*b - 17 + 14 + 10*b. Let v(g) = 7*f(g) + 6*l(g). Does 23 divide v(-7)?
False
Let m = -2 + -17. Let w(n) = -n + 17. Is 18 a factor of w(m)?
True
Let m(u) = u**3 - u**2 - u + 3. Let t be m(4). Let i = 41 + -7. Let v = t - i. Is v a multiple of 13?
True
Let a(n) = -n - 3. Let v be a(-6). Suppose 5*m = v*x - 67, 2*x - 45 + 5 = m. Does 6 divide x?
False
Let g(w) = -w**3 + 8*w**2 - 5*w - 8. Let p be g(7). Suppose 18 + p = -4*u. Let i = u + 19. Does 7 divide i?
False
Let o = -657 - -759. Is 17 a factor of o?
True
Let f = -12 + 15. Suppose f*k = -2*k. Suppose 0 = -3*p - 5*j + 249, k*j - 83 = -p - 4*j. Does 22 divide p?
False
Suppose 2*g - 30 = -3*g. Suppose 12*q + g*q = 3510. Is 13 a factor of q?
True
Let k be (-45)/(-20) - (-2)/(-8). Let j(l) = -l**2 + 2*l - 3. Let h be j(k). Does 13 divide (2/h)/(6/(-333))?
False
Suppose 2*h + 18 = -4*w - 2, 0 = 3*h - 5*w - 14. Let o be 160/50 - h/(-10). Is o/1 + (22 - 0) a multiple of 25?
True
Let r be -2 + -3*4/3 + 225. Let y = r + -104. Does 23 divide y?
True
Suppose c - 35 = 3*b, 4 = -3*b - b. Is (19 + c)/((-2)/(-4)) a multiple of 22?
False
Suppose 0 = 3*l - 0*l + 3. Let a be -1 + 1 - (l + 1). Suppose a = -b - b - 5*j, -b = 2*j - 1. Does 5 divide b?
True
Let v be (0 + 2)/(4/2). Let x(y) = -2*y - y**2 + 1 + 3*y**3 + v - 2. Is x(2) a multiple of 3?
False
Suppose 20 = 5*n - 5. Suppose 0 = 4*k - 2*y - 532, 3*k + n*y = 6*k - 413. Does 46 divide k?
False
Suppose 0*p = -4*x + 3*p + 62, -3*x = -2*p - 47. Suppose 0 = -h + 23 + x. Is h a multiple of 13?
False
Let k = -56 - -63. Suppose k*i + 14 = 231. Is i a multiple of 31?
True
Suppose -34 = -s + 4. Let l = -219 - -245. Suppose -2*i + s + l = 0. Does 8 divide i?
True
Suppose 2*r - a = -11, 0*r = -r + 2*a + 2. Let c = -5 - r. Does 7 divide 50*c/6 - -1?
False
Let q be (737 + -2)/3 - 3. Suppose -q = -3*p - 62. Is p a multiple of 16?
False
Let u = -11 + 15. Does 5 divide (592/24)/(u/6)?
False
Let i be 1/(-2)*(-97 + 19). Let j = 73 - i. Is j a multiple of 17?
True
Let p = -17 - -34. Does 25 divide 20 - p - (-242)/2?
False
Let f(c) be the second derivative of 127*c**3/2 + c**2 + 4*c. Let v be f(-4). Is v/(-22) - (-6)/(-33) a multiple of 23?
True
Suppose 5*n - 31 = -3*x + 7, n = 1. Let r = 80 - x. Is r a multiple of 10?
False
Suppose j = 2*z - 7, 3*z - 5*j = 2*z - 10. Suppose m + 0*i - 5*i = 233, 639 = 3*m + z*i. Is 23 a factor of m?
False
Let q(n) be the third derivative of -5*n**4/8 + 11*n**3/6 + 13*n**2. Let w be q(-7). Suppose z + w = 3*z. Is z a multiple of 19?
False
Suppose -5*c + 5 = -z, 0*z + 2*z + 10 = 3*c. Let t(q) = -5*q**2 - 7*q - 45. Let g(v) = -3*v**2 - 4*v - 22. Let h(p) = 7*g(p) - 4*t(p). Is 13 a factor of h(c)?
True
Let y be (1280/30)/(1 - 2/3). Let q = y + -101. Does 5 divide q?
False
Let y(d) = 7*d - 1. Suppose -4*a + 3*m - 17 = 0, 2*a - 2*m + 21 = -3*m. Let h = a - -10. Does 4 divide y(h)?
False
Suppose -a - 5*z = -377, 3*z - 1118 = -3*a + z. Suppose 4*r - 4*c = a, 3*c + 3 = -12. Is 14 a factor of r?
False
Suppose -m - 6 = 5*m. Does 26 divide ((-116)/(-5))/(-2*m/5)?
False
Let s(z) = -5*z**3 - 4*z**2 + z + 9. Let j(v) = -14*v**3 - 12*v**2 + 3*v + 27. Let f(m) = 3*j(m) - 8*s(m). Is f(-4) a multiple of 23?
True
Let q(n) = 9*n**2 - 34*n + 336. Is 19 a factor of q(21)?
True
Suppose -4*h = 5*u + 81, -3*u = h + 2*u + 9. Let d = h - -16. Is 13 a factor of d/20 - 654/(-10)?
True
Let q = -11 - -27. Suppose -15 = -3*s, 3*j - 5*s - 2 = -3*s. Suppose q + 208 = j*w. Is w a multiple of 14?
True
Let b(o) = -4*o**2 - 6*o**2 + 4 + o**3 - 11*o + 7*o - 20*o. Is b(12) a multiple of 4?
True
Let p = -194 - -338. Let s be -1*39/(-3)*5. Let c = p - s. Is 21 a factor of c?
False
Let q(d) = 3*d**3 + 16*d**2 + 12*d - 14. Let m(f) = -3*f**3 - 15*f**2 - 11*f + 14. Let c(t) = 6*m(t) + 5*q(t). Let h be c(-7). Does 4 divide h/65 + 4/(-26)?
False
Let w = 3492 + -2454. Does 29 divide w?
False
Suppose -216 = s - 67. Let i = 448 + s. Does 13 divide i?
True
Suppose 0 = -4*u - 4*w - 136, 0 = -4*u - 3*w + 7*w - 136. Let n = u - -37. Suppose -3*s + 186 = n*s. Is 9 a factor of s?
False
Suppose -3*x + 1633 = -3725. Is 47 a factor of x?
True
Let i be (2 + (-16)/3)/(34/51). Let s = -58 + 23. Is (-1001)/s + 3/i a multiple of 11?
False
Let b = 118 + 17. Does 15 divide b?
True
Suppose 0 = -k - 2*k + 12. Suppose -4*u + 93 = 3*m, u + k*m = -u + 44. Is u even?
True
Let t be (-12)/(-16) + 425/4. Let k = t + -11. Is 8 a factor of k?
True
Let o(s) = -s**3 - 6*s**2 + 3*s - 7. Let w(j) = 2*j**2 - j + 2. Let r be w(2). Let t be -1 + -1 - -3 - r. Is o(t) a multiple of 10?
False
Let m(x) = -x**3 - x**2 + 2*x + 84. Let i = -13 - -13. Does 28 divide m(i)?
True
Let m(z) = 14*z**3 - z**2 + 2*z - 2. Let q(l) = -2*l**2 + 12*l - 9. Let d be q(5). Is m(d) a multiple of 13?
True
Suppose 0 = -3*a + 3575 + 2167. Is 66 a factor of a?
True
Let a be (-5)/(-20) - 1/4. Let y(p) = p**3 + p**2 + p - 36. Let g(j) = -3*j**3 - 3*j**2 - 3*j + 108. Let x(q) = 4*g(q) + 11*y(q). Does 17 divide x(a)?
False
Let t = 21 + -23. Is (-70)/2*(4 - (t + 8)) a multiple of 9?
False
Let o = -159 - 3. Let q = o + 386. Is 16 a factor of q?
True
Let y(b) = b**2 - 3*b - 22. Let l be y(-5). Suppose -l*u = -14*u - 420. Does 35 divide u?
True
Let f(v) = -v**3 + 10*v**2 + 2*v + 22. Let b(m) = m**3 - 11*m**2 - m - 23. Let w(p) = -2*b(p) - 3*f(p). Does 28 divide w(10)?
True
Let q be ((-62)/(-6))/(10/(-30)). Let o be (1 - q)/(2/7). Suppose 4*a + 46 - o = -5*d, 0 = -d + 5*a + 19. Is d a multiple of 14?
True
Let p be -1 + (6/(-3) - -3). Suppose p = -4*k - 3*r + 105, 0 = 2*r - 3*r - 1. Is k a multiple of 3?
True
Let d(r) be the first derivative of r**5/20 + 5*r**4/12 - r**3/2 - 4*r - 2. Let y(g) be the first derivative of d(g). Is y(-5) a multiple of 7?
False
Suppose d = -3*d + 2732. Suppose -3*z + 1732 + d = 0. Suppose z - 265 = 9*g. Is 12 a factor of g?
True
Let h be 7 - 1*(2 + -1). Let u(p) = -4*p - h - 3*p + 8*p - 1. Does 5 divide u(12)?
True
Let y(i) = -i**3 - 2*i**2 + 5*i + 3. Let g be y(-4). Suppose 2*r - g + 1 = 0. Is 6 a factor of r?
False
Let x(j) = j**2 + 263. Let t(h) = -h**3 + h**2 + 10*h + 8. Let i be t(4). Is x(i) a multiple of 12?
False
Suppose q - 3*q = 4*o - 108, 0 