r of j?
True
Suppose -4*j = -6 - 6. Suppose 3*n + 5 = -m + 5*n, 0 = 2*m - j*n + 7. Does 9 divide 2/2 + 16 + m?
True
Let m be 1*0/(2 - 1). Let r be (-1)/((-3)/(-15) - m). Let w(v) = -v**3 - 5*v**2 - v + 3. Does 8 divide w(r)?
True
Suppose -3*w - 4*m - 40 = 0, 3*w = 5*m + 4 - 8. Suppose 0*o = 3*o - 51. Let v = o + w. Is v a multiple of 9?
True
Does 15 divide (-4)/(12/(-147)) + -4?
True
Let d(j) = -j**3 + 18*j**2 - 29*j + 17. Is d(15) a multiple of 28?
False
Suppose 5*s - 1 = -5*x + 4, -3*x = 5*s + 3. Let n(f) = -46*f**2 + 0*f**3 - 4 + 2*f + 42*f**2 + f**3. Does 4 divide n(x)?
True
Let c = 130 + -110. Does 5 divide c?
True
Let b be (5 - 0) + -1 + 1. Suppose -4*o = 5*i - 4*i - 15, -b*i = -5*o. Suppose -4*w + 17 = -i*w - v, 5*w - 82 = 2*v. Is w a multiple of 16?
True
Let s(j) = j**3 - j + 1. Let q(x) = -8*x**3 + 7*x - 5. Let w(y) = q(y) + 5*s(y). Let h be w(-2). Suppose 2*z - 30 = -2*l + 4, h = -4*l. Does 9 divide z?
False
Suppose -14 + 4 = z - 3*b, -5*z = b + 50. Let j = 16 + z. Is j a multiple of 6?
True
Suppose 0 = 2*h - h - 90. Let w = h + -9. Is w a multiple of 27?
True
Is (2 + (-51)/3)*(-42)/9 a multiple of 14?
True
Suppose -3*z + 27 = -0*z. Let p = 22 - z. Is 13 a factor of p?
True
Suppose i = -4*i + 150. Is 3 a factor of i?
True
Let f = -6 + 11. Suppose q = t + 1, 1 = -5*t + 2*q + f. Suppose -t*m + 3*r = -6 - 43, 5*r = -5*m + 160. Is m a multiple of 21?
False
Let m be 83/((-6)/(-4) - 1). Let k = m - 59. Suppose -5*v + 3*y = -k, -2*v + 5*y = -v - 17. Does 11 divide v?
True
Let f be (-39)/18 - (-4)/24. Does 4 divide (-4 + 8)*(-1 - f)?
True
Let i(p) = -p**2 + 14*p - 5. Suppose -4*m = -k + 2 - 0, 5*k + m - 52 = 0. Is 12 a factor of i(k)?
False
Let m(i) = -i**2 - 7*i - 6. Let y be m(-6). Suppose y = -4*v - v + 215. Is 16 a factor of v?
False
Let u(z) = z**2 + 4 + z - 2*z + 1. Suppose -4*h + 0*i + 12 = -4*i, 5*h - 21 = 2*i. Is u(h) a multiple of 7?
False
Let t be (-21)/7*(-1 + 0). Does 19 divide (-4)/2 - t*-7?
True
Let u(k) = -k**2 + 7*k - 4. Is u(4) a multiple of 4?
True
Let i(v) = v**3 + 7*v**2 + 1. Let l be i(-7). Let o(w) = -6*w + w + l - 3*w. Is 9 a factor of o(-3)?
False
Suppose 5*l - 1729 + 654 = 0. Let s be (l/(-10))/((-2)/4). Is 5 a factor of (-1)/3 - s/(-3)?
False
Suppose 3*w + 4*s - 176 = 0, -4*s - 136 = -0*w - 3*w. Is 26 a factor of w?
True
Suppose 0 = -2*i + u + 522, 4*i - 641 = 5*u + 415. Is i a multiple of 44?
False
Suppose v + 0*v + 5*x - 94 = 0, 0 = -3*v - 2*x + 321. Is v a multiple of 27?
False
Suppose 3*w + 65 = 4*w. Suppose 5*c - 105 = w. Does 9 divide c?
False
Let t be (-66)/(-8) + (-9)/(-12). Suppose -2*j + t = j. Does 2 divide j?
False
Let d(y) = -y**2 + 15*y + 13. Let h be d(16). Is 6 a factor of (24/h)/(-2)*3?
True
Let v(c) = c**3 - 10*c**2 - 10*c + 7. Does 8 divide v(11)?
False
Suppose 2*x - 3*n + 5 = -16, 0 = -5*x - n - 95. Let v = x + -17. Let s = v - -69. Is 13 a factor of s?
False
Let d(x) = 4*x**2 - 2. Is 17 a factor of d(4)?
False
Let w = 13 - 11. Is 14 a factor of w*(-2)/4 + 36?
False
Let c = 5 - 8. Let y = c + 30. Does 27 divide y?
True
Suppose -10 = m + 46. Is (6/(-4))/(3/m) a multiple of 14?
True
Does 3 divide 1/3*(43 - -11)?
True
Let u = 73 + 27. Is 12 a factor of u?
False
Suppose -4*p - 4 = -5*p. Suppose p*a - a = 84. Is 14 a factor of a?
True
Let q be 21 - (-2)/2*3. Suppose -y + 0*y = -2. Suppose -3*n + 12 = f - 2*n, -y*f - n = -q. Is f a multiple of 5?
False
Let x be (-1 - (-3 + 23)) + 2. Let o be -9 + (1/(-1) - 0). Let v = o - x. Is v a multiple of 5?
False
Let c = 32 - 23. Is c even?
False
Does 11 divide (-55)/(-1 + 4 - 4)?
True
Suppose j - 3 - 3 = 0. Let n = j + -1. Is n even?
False
Suppose 0 = -3*n + 6 + 30. Let h be 3*2/12*0. Suppose -n = -2*m - h*m. Is m a multiple of 3?
True
Let v = 7 - 27. Let s = v - -34. Does 5 divide s?
False
Let x(m) = -5*m**3 + 9*m**2 - 4*m + 14. Let u(y) = y**3 + y - 1. Let a(h) = 6*u(h) + x(h). Suppose -3*w + k - 20 = 2*k, 0 = 5*k - 20. Is a(w) a multiple of 23?
False
Suppose f - 6 = 31. Is 11 a factor of f/1 - (-6 - -8)?
False
Suppose 5*i + 5*x + 10 = 0, -2*x + 4*x + 4 = 4*i. Suppose i*j = -j + 33. Is j a multiple of 15?
False
Let q(y) = y + 2. Does 5 divide q(13)?
True
Let g(l) = 18 - 4 - l**2 + 11*l - 1. Let s be g(12). Let b = s + 4. Is b even?
False
Suppose -2*r + 275 = 3*r. Suppose -a = a + 5*w - r, -w = 3. Does 35 divide a?
True
Suppose -415 + 130 = -5*o. Is o a multiple of 13?
False
Let y(w) = -w**3 + 15*w**2 + 3*w + 10. Is 19 a factor of y(15)?
False
Suppose 6*v + 6 = 36. Does 5 divide v?
True
Let n(k) be the first derivative of 39*k**2/2 - k + 2. Does 19 divide n(1)?
True
Suppose -7 = 2*l - 3*l. Suppose 4*t = 5*g + 1, 0 = g + 4*g + 2*t + l. Let y(f) = 64*f**2 + 1. Is y(g) a multiple of 17?
False
Let c(p) = 10 + p**2 - 2*p - 5*p - 4. Does 6 divide c(7)?
True
Suppose -12 = -4*o, -x = 2*x + 3*o - 15. Let i = 0 + x. Suppose -2*t + 12 = i*t. Is t a multiple of 2?
False
Let d be -1*(-1 - 25)/(-2). Let y = -8 - d. Suppose y*q - t - 117 = 0, 2*q + t - 23 = 28. Does 13 divide q?
False
Suppose 89 + 151 = 4*f + 4*o, -4*o + 60 = f. Is f a multiple of 15?
True
Suppose -400 = -4*m + 4*h, -6*h + 2*h = m - 115. Does 31 divide m?
False
Suppose -2*h = 2, 3*g - h = 13 + 3. Suppose -g*o - 5*m = -320, 92 = 2*o - 2*m - 20. Is 20 a factor of o?
True
Let i(b) = b**3 - 34 + 35 + 2*b + 2*b**2 - 6*b**2. Suppose 3*v + 2*v = 25. Does 20 divide i(v)?
False
Let y = -31 - -53. Is y a multiple of 5?
False
Let p be 1059/6 - 2/4. Let i = p - 102. Is 2/(-4) - i/(-4) a multiple of 9?
True
Let h = 4 + -1. Suppose 4*c - 4*i = 2*c + 2, h*i + 5 = 5*c. Suppose 3*x - c = 53. Does 6 divide x?
True
Let l(s) = -4 + s**2 + 5*s + 3 + 5. Suppose 0 = 4*u - 6*u - 12. Is l(u) a multiple of 5?
True
Let d be 1/4 + (-1701)/(-28). Suppose -d = -4*h + 131. Does 13 divide h?
False
Suppose 2*j = -0*j + 142. Is j a multiple of 28?
False
Let z(x) = x**2 + 4*x + 8. Let d(p) = -p - 14. Let q be d(-8). Is 10 a factor of z(q)?
True
Let t(z) = -4*z - 1. Let j be t(2). Let i = -5 - j. Suppose 3*d - 2*d - 5*c + 5 = 0, 100 = i*d + 4*c. Does 7 divide d?
False
Suppose g + 4*g = -100. Is 5 a factor of ((-32)/10)/(8/g)?
False
Let a = 1 - -32. Suppose 5*s - 3*g = 270 + a, 4*s = g + 241. Does 20 divide s?
True
Suppose 9*c - 168 = 2*c. Is c a multiple of 24?
True
Is 42 a factor of -5*((-168)/(-5))/(-1) + 0?
True
Suppose 420 = -10*f + 16*f. Is 8 a factor of f?
False
Suppose -4*k = k - 75. Is k a multiple of 8?
False
Suppose 366 = 4*s - 786. Suppose 6*p - s = -72. Is 26 a factor of p?
False
Let w = 75 + -41. Let n = w + -4. Does 15 divide n?
True
Let w = 254 - 168. Suppose -5*f + 24 = -w. Is f a multiple of 11?
True
Suppose 0 = 5*j - 200 - 155. Suppose -21 = -2*v + 3*r, -j - 3 = -3*v - 4*r. Is 14 a factor of v?
False
Let h = 4 + 36. Suppose 0 = 5*w + b + 3*b - 101, -2*b = 2*w - h. Is w a multiple of 7?
True
Suppose 2*k + 93 = 5*k. Does 31 divide k?
True
Let p = 51 + 11. Suppose -2*d - o = -p, -4*o = -2*d - 9*o + 54. Is 16 a factor of d?
True
Suppose -30 = -5*r + 45. Let j = r + -9. Is j a multiple of 5?
False
Suppose 0*f - f - 8 = 0. Let l be f/(-20) - 26/(-10). Is (-6)/((l/1)/(-6)) a multiple of 8?
False
Let f be 4 - ((-2)/(-1) - 2). Is 4*f/16*57 a multiple of 15?
False
Let d be (2 + -2 - 1) + 1. Let k be (-1)/(d - 2/6). Suppose 3*h + k*b = 42, 28 = 3*h - 0*h - 4*b. Is h a multiple of 12?
True
Suppose -7*j + 10*j = 357. Does 12 divide j?
False
Is (-2)/19 - (-14450)/95 a multiple of 19?
True
Suppose 470 = 5*l - t + 6*t, l - 94 = -4*t. Suppose l = 4*m + 14. Suppose 0 = -3*q + q + m. Is q a multiple of 4?
False
Suppose -v - 3*v + 412 = 4*i, 0 = -i - 3*v + 109. Does 25 divide i?
True
Let n(w) = -w**3 + 2*w**2 - 2*w + 3. Let b(k) = -k**2 + 1. Let t be b(2). Let g be n(t). Let j = -15 + g. Is j a multiple of 13?
True
Let w(x) = -x**2 + 14*x + 1. Suppose -2*i + 8 = -5*m + m, 0 = -2*m - 3*i + 12. Let s be (m - -14 - 3)/1. Does 13 divide w(s)?
False
Is 63/14*(-16)/(-6) a multiple of 3?
True
Suppose 2*v - 163 = -u - 3*v, v = -1. Is 14 a factor of u?
True
Is 10 a factor of (-1 + 2 - -28) + 1?
True
Suppose 0*l - 4*l + 52 = 0. Is l a multiple of 5?
False
Let p = -57 - -102. Does 15 divide p?
True
Suppose 3*a + 1 = -4*k, 3*a + 4*k = 4*a - 5. Does 13 divide a/((-1)/(-25)) + 1?
True
Let a(h) be the second derivative of -h**4/12 - 3*h**3/2 - 3*h**2/2 - 