7 a factor of b?
True
Let p(j) be the first derivative of -j**4/4 - 2*j**3 + 3*j**2 + 6*j + 25. Is 2 a factor of p(-7)?
False
Suppose -7971 - 11139 = -21*m. Is 35 a factor of m?
True
Suppose 0 = 5*r + 5*p - 195, 3*r + 149 = 7*r - 3*p. Let i be (1 - (-6)/2)*24. Let q = i - r. Is q a multiple of 13?
False
Let j be 4 + 1/4 + 2/(-8). Does 19 divide j/14 + (2232/28 - -2)?
False
Does 15 divide 44 + (-8)/12*(-9)/6?
True
Is 44 a factor of (4/(-3))/(16/(-3336))?
False
Let p(d) = 306*d**3 + 6*d**2 - 6*d + 5. Is p(2) a multiple of 47?
False
Let o(z) = 16*z - 11. Let f be 1067/66 + 1/(-6). Suppose 9 = 2*r - i, 5*r + 2*i - f = 11. Does 11 divide o(r)?
False
Let d = -13 + 31. Is 6 a factor of ((-9)/d)/((-2)/124) - 2?
False
Let l = -20 - -18. Let j be l/(6/15) - 2. Let a(m) = m**2 + 2*m - 6. Is 10 a factor of a(j)?
False
Let g = -50 - -61. Suppose 7*m = g*m - 520. Is m a multiple of 11?
False
Suppose -30 = -5*l - 30. Suppose l = -2*f - 0*f + 178. Is 28 a factor of f?
False
Suppose -6 = 2*k - 3*o - 0, k = -3*o - 21. Let b = 11 + k. Suppose 6 = b*x, 0 = -2*a + 3*x + 13 + 60. Is a a multiple of 17?
False
Let s = 178 + 1160. Is s a multiple of 11?
False
Let r be -6 + 1 - (-3 - -3). Let i(q) = -2*q**3 - 4*q**2 - 4*q - 2. Is i(r) a multiple of 12?
True
Is 207 - -4*(21/6)/7 a multiple of 4?
False
Suppose -4*w = -5*d - 559, 5*w = 5*d - 3*d + 720. Does 4 divide w?
False
Suppose 489 = -7*n + 734. Is 5 a factor of n?
True
Suppose 0 = 4*q + 5*a - 7 - 3, -5*a - 15 = -q. Suppose 10 = -5*r - q. Does 8 divide (-4)/6 - 89/r?
False
Suppose 5 = -2*t + 3*x - 42, -2*t = -x + 37. Let i be 99/(-2)*t/6. Suppose 5*m - 58 - i = 0. Does 15 divide m?
False
Is (-72)/(-5 + 1)*55/22 a multiple of 45?
True
Let b(c) = -c**3 - 2*c**2 + 8*c - 2. Let k be b(-4). Is 2 a factor of k/1*(-45)/18?
False
Let w(y) = 83*y**3 + 3*y**2 - 2. Let n = 60 - 59. Does 42 divide w(n)?
True
Let y = -96 + 204. Let a = y - 49. Is 7 a factor of a?
False
Let q(v) = 2*v**2 + 0 - 3*v - 7 - 1. Let j be q(-5). Let n = j - 30. Is 5 a factor of n?
False
Suppose -26 = -4*j - 5*v, -3*v + 6 = j - 4. Suppose 0 = c - j*c + 51. Is 2 a factor of c?
False
Let o = 3530 + -1783. Does 22 divide o?
False
Let k = 37 - 35. Suppose g = k*r - 3*g - 52, 2*g - 4 = 0. Is 4 a factor of r?
False
Let r be (0 + 2)/((-10)/45). Let t = 2 - r. Is t a multiple of 3?
False
Let p(m) = -2*m + 3 + 0*m + m + 13. Let d be p(14). Let g(z) = z**3 + 3*z - 1. Does 13 divide g(d)?
True
Suppose 2 = -r + 2*n - 5, n + 1 = 0. Let v(l) = -15*l - 48. Is 12 a factor of v(r)?
False
Suppose -4*l - 112 = -60. Let i be 2/(2*1) + 56. Let g = l + i. Is g a multiple of 13?
False
Let l = -20 + 30. Let f = 5 - l. Let n(u) = -3*u - 4. Is 11 a factor of n(f)?
True
Let p be 222/(-9)*(4 + -19). Suppose 3*j - p = -4*s, -4*j + 0*s - 4*s = -500. Let b = j - 92. Is 19 a factor of b?
True
Is 62 a factor of (-2)/(-11) - 44336/(-88)?
False
Let o(x) = x - 6. Let r be o(10). Suppose -r*c + b + 288 = 0, 0 = c + 2*b - 45 - 18. Is c a multiple of 11?
False
Let l be ((-2)/(-2))/(2/6). Suppose -w + 5*s + 22 = 0, 0*s + 12 = 2*w - 2*s. Suppose -l*b + w*b + 86 = 0. Is b a multiple of 23?
False
Let m be 30/(-9)*18/(-12). Suppose -s = -4 + 2, -m*s = -w + 92. Suppose x = 5*h + w - 35, x = 3*h + 59. Is x a multiple of 12?
False
Suppose -5*l - o = -0*o - 254, -4*l = o - 203. Let f be l + 0 + 2 + -3. Is ((-16)/(-10))/(2/f) a multiple of 8?
True
Suppose 4*s - 54 + 10 = 0. Let w(y) be the third derivative of y**6/120 - 11*y**5/60 + y**4/12 - 11*y**3/6 - 2*y**2 - 2*y. Is 7 a factor of w(s)?
False
Let f(p) = p**3 + 23*p**2 - p - 18. Let b be f(-23). Suppose 0 = -m + 21 - 1. Let u = m - b. Does 5 divide u?
True
Let l be 2 + (2 - (7 - 4)). Suppose 4*r + l = 5. Is -4*r - (-30 + 8) a multiple of 9?
True
Let y = 2 + 1. Suppose -l = -2*o, 5*o + 4*l + 16 = 42. Suppose -o*n - 138 = -3*c, y*c - 29 = 2*c - 5*n. Is c a multiple of 13?
False
Let v(n) = -n**2 + 43*n + 256. Is v(47) a multiple of 37?
False
Let q(j) = -j**3 + 3*j - 3. Let h be q(2). Let w(l) = l + 8. Let i be w(h). Suppose 5*t + 171 = 3*x, -2*t + 152 - 2 = i*x. Is x a multiple of 24?
False
Suppose s - 3*s - 4 = 0, s = -2*w + 26. Suppose -j - w = -0. Is 17 + j + (-2)/(-1) a multiple of 5?
True
Let m(y) be the second derivative of -y**6/240 - y**5/10 + y**4/12 + y. Let g(q) be the third derivative of m(q). Is g(-9) a multiple of 15?
True
Let p = 588 + -227. Suppose 9*u - p - 377 = 0. Does 41 divide u?
True
Suppose 6 = 3*m, -2*q + 12 = -m - 2. Suppose -8*h = -7*h + q. Does 15 divide (-11 - -7)*(h - -1)?
False
Suppose 0*p + 15 = 2*p - 3*m, -21 = -4*p + 3*m. Suppose 0 = -p*l + 35 + 112. Is 7 a factor of l?
True
Suppose -16*f = -11*f. Is (f + (-6)/4)/(37/(-3182)) a multiple of 10?
False
Suppose 3*b - 324 - 447 = 0. Suppose -4*l - 2*h + 546 = 0, -4*l + h + 286 = -b. Is l a multiple of 34?
True
Suppose 3*b = 5*b - 14. Suppose -b - 13 = -4*q. Suppose -2*w = -q*w + 54. Is w a multiple of 18?
True
Let x(i) = 9*i**3 + 2*i**2 - 4*i + 3. Let n be x(2). Let k be 1983/(-39) + (-8)/52. Let w = n + k. Does 12 divide w?
True
Let b(h) = 6*h - 3. Let y be (-6)/2*40/30. Let c(m) = 5*m - 4. Let v(d) = y*c(d) + 3*b(d). Is v(-8) a multiple of 23?
True
Let q be -1 - (16/1)/(-4). Suppose q*f - 83 - 124 = 0. Let z = 122 - f. Is z a multiple of 14?
False
Let r = 6 - 6. Suppose w - 1 = -r. Let s = 8 - w. Does 3 divide s?
False
Suppose 0 = -0*r - 2*r, 0 = 2*l + 4*r + 86. Let t = l - -21. Is (-1)/(-1) - t/2 a multiple of 8?
False
Is (2 + -44)/(3 - (-423)/(-138)) a multiple of 34?
False
Let v(f) = -2*f**2 - 84*f - 46. Does 18 divide v(-41)?
True
Suppose -5*j + 671 = 2*a, 9*j - 4*j - 5*a = 650. Suppose 0 = -9*s - j + 547. Is s a multiple of 6?
False
Suppose 0 = g - 0*g + 5, 5*z = -2*g + 25. Does 60 divide 48/2*z/2?
False
Suppose 15*c = 46*c - 7750. Is 42 a factor of c?
False
Let l(k) = 425*k**2 - 2*k + 4. Does 85 divide l(2)?
True
Does 17 divide 161/(-322) - ((-566)/4 + 0)?
False
Suppose 5*a + 3*x - 10005 = 0, 0 = 2*a + 32*x - 33*x - 4013. Is 12 a factor of a?
True
Suppose -5*u - 7*j + 2*j = -435, 0 = 5*u - 2*j - 456. Is u a multiple of 3?
True
Let k(u) = u**2 - 15*u - 16. Does 12 divide k(-32)?
True
Let w = -6 + 9. Suppose 2*j = 4*j + i + 2, j = -w*i - 6. Suppose -3*z - 19 + 49 = j. Is z a multiple of 5?
True
Let v = 19 + -18. Let n(i) = 1 + v - 4 - i. Is n(-7) even?
False
Suppose 2*h - 18 = 14. Suppose -7*k + h*k = 1296. Does 16 divide k?
True
Suppose 0 = -742*n + 737*n + 1115. Does 7 divide n?
False
Suppose 16 = -5*w - 4, -w + 124 = 2*y. Suppose -2*v + 32 = 2*v. Let a = y - v. Does 14 divide a?
True
Let j = -1550 + 1840. Is j a multiple of 8?
False
Suppose -3*u = -5*i + 2*i, 2*u = 4. Suppose 0 + i = h. Is 8 a factor of h/4*74 - -3?
True
Let y = 600 + -348. Does 23 divide y?
False
Let m be 301/21 + 8/(-6). Suppose 4*q - 22 = -z, 0 = q + 4*z - m. Suppose 2*n + 3*j + 0*j = 23, -5*n + q*j = -45. Is n a multiple of 10?
True
Let z be (10/12)/5 - 261/(-54). Suppose -z*y - 58 = -6*y. Does 6 divide y?
False
Let z = 2219 - 1359. Is 43 a factor of z?
True
Let n = 8 - 3. Suppose 15 = n*b + 3*r, 4*r = -4*b + 9 - 5. Suppose -5*k - 165 = -b*h + h, 27 = h + k. Is 5 a factor of h?
True
Suppose -3*w + 4*d = -24 - 48, -3*w + 5*d + 69 = 0. Does 6 divide (-795)/(-12) - 7/w?
True
Suppose 0 = -27*b + 13771 + 1673. Is b a multiple of 13?
True
Suppose 0 = -o - o + p + 14, 5*o = -5*p + 35. Suppose -3*s - 140 = -o*s. Is 20 a factor of s?
False
Does 80 divide (-4 - -2)/(-1) - (2 + -1360)?
True
Suppose 11*p = p + 360. Suppose -3*b = -15, -q + 0*b = 3*b - p. Is 3 a factor of q?
True
Suppose 3*m - 24 = -5*m. Suppose u = 1 - m, 0 = 2*l - 5*u - 122. Is 8 a factor of l?
True
Is 30 a factor of -2 + 63 + -1*3?
False
Suppose -16*v - 337 = -2593. Is v a multiple of 92?
False
Let w(s) = 574*s**3 + 1. Is 30 a factor of w(1)?
False
Let l = 736 - 430. Is 13 a factor of l?
False
Suppose -3*b - 5*g + 9 = -8*g, -1 = 3*b - g. Does 7 divide 210/(-70) + (-39 - -1)/b?
False
Let k(c) = c**2 + 3*c - 3. Let v be k(6). Suppose 2*b = -119 + 93. Let q = v + b. Is q a multiple of 8?
False
Let i(d) = d**3 + 8*d**2 - 12*d - 12. Suppose -4*a - a - 45 = 0. Is i(a) a multiple of 4?
False
Suppose 3*p - 10*g + 5*g = 493, 2*p - 2*g = 322. Does 13 divide 5 - 5 - p/(-2)?
True
Suppose 12 + 0 = 3*k. Let h(i) = -i**2 - 12*i - 20. Let b be h(-8).