 = -b + 20, -c = x - 2*x. Is b a multiple of 9?
False
Suppose -v + 2 = c, -12 = v + 4*c - 2. Suppose -v*f + 500 + 418 = 0. Is 11 a factor of f?
False
Let p(i) = 128*i**2 - 59*i - 532. Is p(-9) a multiple of 17?
False
Let h(n) = n**3 + 28*n**2 - 25*n - 403. Does 13 divide h(-14)?
True
Let s be 2/(-7) + -7 + (-195)/(-21). Suppose c - s + 0 = 0, 0 = -3*d + 4*c + 127. Is 4 a factor of d?
False
Let t(y) = 127*y - 26. Let x(m) = -381*m + 78. Let n(g) = 8*t(g) + 3*x(g). Is n(-4) a multiple of 33?
False
Let a(v) = -v**3 + 39*v**2 + 81*v + 46. Let j be a(41). Suppose 0 = j*l - 2*f - 488, 2*l - 105 - 79 = -2*f. Does 20 divide l?
False
Let m(k) = 10*k + 5. Let y(a) = 2*a + 1. Let d(u) = -2*m(u) + 11*y(u). Let q be d(-2). Is ((-234)/91)/(q/56) a multiple of 17?
False
Suppose -5*d - 16590 = -3*i, -d - i + 16580 = -6*d. Let c = -1370 - d. Is 15 a factor of c?
False
Suppose -5*o - v = -0*v - 20, -o = v. Let z be (-2)/(-1) - (-7)/(77/440). Suppose 2*g = -o*i + z, -5*i + 6*i = 3*g + 5. Is i a multiple of 2?
True
Suppose 0*c - 473 = -t + 4*c, -5*c = -5*t + 2365. Suppose z = 4*q + 1069, 1527 = z + q + t. Is z a multiple of 14?
False
Is 27 a factor of 67470/(-60)*6/(-3)?
False
Suppose 0*w + 4*w + 334 = 2*n, 5*n = -5*w - 380. Let g = w + 82. Is 17 a factor of 2036/12 - (-1)/3*g?
True
Suppose n + 12549 = 8*r, r - 14*n + 13*n - 1573 = 0. Is r a multiple of 65?
False
Suppose -4*n - 22122 = -4*o + 20990, -2*n + 10784 = o. Is 6 + -1 + o/55 a multiple of 11?
False
Let x(k) = 10*k**2 - 5*k + 4. Let c be x(1). Suppose i - 47 = -d, c + 97 = 2*i - 2*d. Is 10 a factor of i?
True
Let h = -45 - -194. Suppose w = 3*w + 14. Let d = h - w. Does 26 divide d?
True
Let c = 743 + -162. Suppose -989 = -10*f + c. Is 17 a factor of f?
False
Suppose -n - 268 - 15526 = -3*h, h - 5*n = 5260. Is h a multiple of 135?
True
Suppose -10 = -0*w - 2*w. Suppose 4*l + 12 = 5*p - 0*l, w*p + 5*l - 30 = 0. Is (-2376)/(-243) - p/(-18) a multiple of 10?
True
Let p = 12335 + -4146. Is 5 a factor of p?
False
Suppose 4*g = -0*g + 2*f - 146, -f = 2*g + 67. Let n = g - -37. Suppose 210 = 9*t - n*t. Is t a multiple of 19?
False
Let b(i) = -i**3 - 7*i**2 - 12*i - 5. Let v be b(-5). Suppose 8 = -v*n + 18. Suppose 38 = -3*x - 2*g + 133, n*x - 4*g = 58. Does 26 divide x?
False
Is (23856/63 - 27)/(2/66) a multiple of 55?
True
Let b = -3021 - -11856. Does 107 divide b?
False
Let a = -4835 - -16280. Does 18 divide ((-1)/(-3))/(3 + a/(-3816))?
False
Suppose 93931 + 145217 = 28*k. Does 13 divide k?
True
Suppose -8*v - 4*w + 283388 = -4*v, -v = 5*w - 70831. Is 11 a factor of v?
True
Let w(n) = 11*n**2 + 469*n + 7. Is w(-55) a multiple of 160?
False
Let b(m) = -26*m + 50. Let g be b(2). Does 9 divide g/7 - (-53334)/126?
True
Let w = 8612 - 3866. Suppose 3990 = 21*x - w. Is 18 a factor of x?
False
Let k(j) = -4*j - 14. Let d be k(-4). Suppose 2*s + 5*u = 31, -d*s + u + 4 = s. Suppose -5 = -s*w + 100. Is 15 a factor of w?
False
Let x be (30 - 5) + 1 + -8 + 6. Suppose 6*g = -x*g + 22500. Does 25 divide g?
True
Let b(h) be the second derivative of 109*h**3/6 + 9*h**2 - h - 4. Does 45 divide b(2)?
False
Suppose 5*d - 5 = 0, h - 2*d - 4 = -4*d. Suppose 0 = h*s + 5*w - 42, -4*w = 3*s - 4*s + 8. Let z(r) = r**2 - 14*r + 20. Is 28 a factor of z(s)?
False
Suppose -3*z - 632 = 5*z. Let l = -76 - z. Suppose 0 = 4*r + h - 672, -2*r + 2*h - 168 = -l*r. Is r a multiple of 21?
True
Let u(k) = 364*k - 3112. Is u(10) a multiple of 132?
True
Let y = -18 - -16. Let u be 2268/12 - ((-2)/(-2) + y). Suppose -3*b - 4*v + u = v, -3*b + v + 178 = 0. Is b a multiple of 15?
True
Suppose 2*f = j + 4, 5*j + f = 2*f + 16. Let g(r) = 83*r - 23. Is g(j) a multiple of 15?
False
Let d = 56 - 51. Suppose 0 = d*i + 19 - 4, -w + i + 213 = 0. Is w a multiple of 10?
True
Let u = -6074 - -14779. Does 16 divide u?
False
Suppose 0*q + 29 = q. Suppose f = 5*c - q, -5*c = -2*f - 39 - 14. Let z = -3 - f. Is 7 a factor of z?
True
Let u(q) = -30*q + 3. Let k be u(-2). Let v = -27 - k. Is (v/20)/((-1)/12) a multiple of 18?
True
Let m be 29*15*(-10)/(-15). Is 54 a factor of (m/(-2) - -3)*(-10)/4?
False
Let j be (-28)/(-2) + -5 + 1. Let v(q) = 7*q**2 + 8*q - 20. Let i be v(j). Suppose -10*c = -0*c - i. Is 19 a factor of c?
True
Let o be 3 - ((-6)/(-24) - 20/16). Suppose -75*d + 4504 = 3*h - 77*d, o*d = 16. Does 41 divide h?
False
Let b = 1489 - 303. Suppose n + 7 = 8, 4*n + b = 2*g. Is 17 a factor of g?
True
Let o(z) = z**3 + 25*z**2 - 24*z + 52. Let q be o(-26). Suppose q = -3*v + f + 1726, -3*f = -4*v + v + 1722. Is v a multiple of 11?
False
Let v(g) = -102*g + 13. Let o(u) = u + 1. Let y(s) = 6*o(s) + v(s). Does 60 divide y(-6)?
False
Suppose -4*x + 9937 = -2363. Suppose 5*d - 3085 = -5*b, 5*d - 43*b = -38*b + x. Does 14 divide d?
True
Suppose -v + 20*v = 111172 + 53558. Does 24 divide v?
False
Suppose -1977*c = -1962*c - 2875 - 4670. Is 28 a factor of c?
False
Let j(x) = -4*x + 9*x**2 - 10*x**2 - 3*x - x**3 - 5 + 10*x**2. Let b be j(8). Suppose -b*w - 7 = -79. Is 6 a factor of w?
True
Suppose -4*s = -2*s + 142. Let p(o) = 137*o - 279. Let b be p(3). Let q = b + s. Does 13 divide q?
False
Let h = -30511 + 43984. Is h a multiple of 46?
False
Is 33 a factor of (-398908)/(-93) - 5*(-4)/30?
True
Suppose 0 = 5*k + 2*y + 209, -20*k + 19*k + 5*y = 31. Let n = 141 + -86. Is 16 a factor of 20/6*(-66)/n - k?
False
Suppose 45542 + 2478 = -19*w + 33*w. Does 98 divide w?
True
Let z(p) = -2*p**2 + 14*p + 19. Let k be z(8). Suppose 0*l - l = -k. Suppose -l*h + 415 = 5*d, -4*d + 2*h + 150 = -2*d. Is 7 a factor of d?
False
Suppose -237*m + 1190189 + 589381 = -3*m. Is 44 a factor of m?
False
Let s(q) = -143*q + 229. Let a be s(-7). Suppose 0 = 20*u - 5650 - a. Is 32 a factor of u?
False
Let d(x) = -25*x - 133. Does 18 divide d(-55)?
True
Suppose 10*v - 11*v - 5 = 0, 1534 = s + 4*v. Is 14 a factor of s?
True
Let d(o) = o**3 - 23*o**2 - 25*o + 14. Let g be d(24). Does 13 divide (0 - 9220/g)*(-2)/(-4)?
False
Let g = -2 - -1. Let r be g*(3 - (-72)/(-2)). Suppose 142 = t - r. Is t a multiple of 25?
True
Let f(s) = 58*s - 85. Is f(20) a multiple of 43?
True
Let m = -73 - -84. Suppose t = 5*f - 0*t + m, 4*f = 5*t - 13. Is 9 a factor of (-10)/(0 - f/(-10))?
False
Suppose 22*k + 3*k = -2400. Let y = k + 359. Does 3 divide y?
False
Suppose -5*o = -2*g - 6*o + 1744, -3*o = -4*g + 3458. Is 79 a factor of g?
True
Let g(c) = c**2 + c. Let p be g(-2). Let h be 8/p + 1 + 1. Let s(l) = 5*l**2 - 7*l + 9. Is s(h) a multiple of 20?
False
Let o(g) = -276*g**3 - 2*g**2 + 2. Let b(l) = -l**3 - 3*l**2 - l + 1. Let c be b(-2). Is o(c) a multiple of 23?
True
Suppose 6*p + 15*p - 34*p + 365040 = 0. Is p a multiple of 26?
True
Suppose -4*g = 3*k + 340, 4*k + 2*g + g = -451. Let r = -17 - k. Is r a multiple of 2?
False
Suppose -10 = 6*p + 4*p. Is (5 - 14/3)/(p/(-99)) a multiple of 11?
True
Suppose -9*b + 48 = -b. Suppose 4*y + b = 46. Let t(l) = l**2 + 14*l - 34. Is t(y) a multiple of 14?
False
Let v(l) = 10*l - 80. Let w be v(8). Is 20 a factor of w - ((-4)/(-20) - 17204/20)?
True
Suppose 5*s - 155 = -5*a, -4*a + s + 182 = 33. Suppose 7*r - r = a. Suppose -r*p + 10*p = 236. Is p a multiple of 12?
False
Let l = 9923 + 17839. Is l a multiple of 7?
True
Let l(s) = -54*s - 18. Let p(i) be the first derivative of 53*i**2/2 + 17*i - 25. Let r(d) = 6*l(d) + 7*p(d). Is r(4) a multiple of 24?
False
Suppose 0 = -24*k + 157*k - 1189153. Is 8 a factor of k?
False
Is 76 a factor of (-2272)/(-96)*(1 - -23)?
False
Suppose -5*s + 189 = -3*z, 0 = -5*s + 5*z + 65 + 120. Let m be (3/(-2))/(6/(-444)). Suppose -s - m = -6*n. Is n a multiple of 14?
False
Let d be (4/(-3))/((-8)/(-36)*-3). Let r(i) = -12*i**2 + 3*i - d*i + i**3 + 12*i + 3*i - 3. Is r(11) a multiple of 13?
True
Suppose 0 = -u - 14*u + 255. Suppose -p + 79 = 4*l, 3*l + 48 + u = p. Is 10 a factor of p?
False
Let x(n) = 29*n**2 - 6*n + 5. Let v(k) = 59*k**2 - 13*k + 11. Let p(a) = -3*v(a) + 7*x(a). Let q be p(2). Suppose -3*h - q = -5*h. Is h a multiple of 10?
True
Suppose -132*t + 123*t = -45. Suppose 0 = m + 5*d - 98 - 62, 0 = -t*m + 5*d + 650. Does 5 divide m?
True
Let g = -43 - -27. Is 2488/g*(-8)/4 a multiple of 8?
False
Let n(b) = -22*b + 2. Let l be n(-1). Suppose 3*p = 9*p - l. Suppose 4*r + 0*c - c - 455 = 0, p*c + 95 = r. Does 24 divide r?
False
Suppose 3*q