3446 = 11*o. Is 82 a factor of o?
False
Let b be (-4)/(138/33 - 4). Does 21 divide (-23 - b)*(-1 + (-26 - 1))?
False
Suppose -286911 - 393291 = -93*c. Is c a multiple of 138?
True
Suppose 3*o + 104 = g - 180, -840 = -3*g + 5*o. Suppose -544 = -2*z - 4*p, -5*z + 6*z - g = -5*p. Is 12 a factor of z?
False
Suppose -5*m + j + 1712 = 0, 4*j - 1702 = -m - 4*m. Suppose 0 = 5*k - m - 268. Does 21 divide k?
False
Suppose -2*z + 2466 = -5*w - 3*z, 3*w - 3*z = -1476. Let c = 157 + w. Is 23 a factor of (-3)/(-1 - 0) - c/8?
False
Let q(s) = -s**2 - 114*s - 514. Does 75 divide q(-84)?
False
Suppose 4*h - 56369 = -10*y + 13*y, 2*h - 28171 = -3*y. Is h a multiple of 10?
True
Suppose 483*b - 474*b - 10080 = 0. Does 50 divide b?
False
Let z(j) = -2*j + 3. Let w(p) = -160*p - 16. Let o(k) = -w(k) + 3*z(k). Is 6 a factor of o(1)?
False
Let y = 6994 + -2710. Does 9 divide y?
True
Let u = 4331 + -3511. Does 105 divide u?
False
Let q(u) = 51*u**3 + 2*u**2 - 3*u + 1. Suppose 1 = -8*k + 9. Is q(k) a multiple of 17?
True
Suppose -154*c - 2537 = -4*r - 157*c, 2*r + 5*c = 1251. Does 8 divide r?
False
Suppose -5*z + q - 10 = -25, -4*z - 2*q = 2. Suppose -3*r + 2*s = 3*s - 11, 5*r + z*s - 17 = 0. Suppose -a = -3*y + 28, a = 4*y + r*a - 64. Is 11 a factor of y?
True
Let c(n) be the first derivative of 14*n**2 - 3*n + 588. Suppose 0 = -r + 5 - 0. Does 25 divide c(r)?
False
Suppose -5357*o = -5348*o - 26460. Does 29 divide o?
False
Suppose -b + 1 = a, 2*a = 3*b - a - 9. Suppose n = 5, 4*h + b*n = h + 940. Is 10 a factor of h?
True
Let k(b) = -2320*b + 12250. Is k(-9) a multiple of 57?
False
Let c be -5*(-9)/15 + 2. Suppose 4*d - 138 = -c*f, -95 = -4*f - 2*d + 13. Suppose 0 = 2*p - f - 102. Is p a multiple of 16?
True
Let w(c) = 208*c**2 - 7*c + 10. Let h be w(9). Let i = 24805 - h. Does 29 divide i/42 + (2 - 24/14)?
False
Let a be (-3 - -2)*2 + -54. Let h be (-68)/3*-12*7/a. Let i = -18 - h. Does 4 divide i?
True
Let n be ((-8)/3 - -2)/(8/(-60)). Suppose -f - 2*d = 2 + 2, 0 = n*d + 20. Is (f - 1)*(2 - 730/(-15)) a multiple of 19?
True
Suppose 14*s - 219301 - 47546 = 20587. Is s a multiple of 12?
False
Let b(z) = -10 + 0*z - 757*z**2 + 3*z + 767*z**2 - z**3 + 1. Is b(8) a multiple of 13?
True
Let j = 9535 - 7183. Is j a multiple of 14?
True
Let k = 12 + -10. Suppose -k*t - 2*m = -390, 1015 = 5*t + 4*m - 7*m. Is t a multiple of 12?
False
Let l(k) = 6*k**2 - 203*k + 56. Is 43 a factor of l(84)?
False
Suppose -31*f + 34*f = 0, -t + 4*f = -8740. Does 92 divide t?
True
Let p(u) = u**3 + 12*u**2 + 26*u - 15. Let d be p(-7). Suppose d*f = 56*f - 288. Is f a multiple of 4?
True
Let k(d) be the second derivative of 10*d**2 - 1/6*d**3 + 0 - 21*d. Is k(-10) a multiple of 30?
True
Suppose 0*k - 27 = -5*l + 3*k, -12 = 3*k. Suppose l*m + 2*u - 2374 = -99, 3*u = -m + 770. Is m a multiple of 11?
False
Let k = -46 + 49. Suppose -5*b + 7 = 5*v - 23, k*b = 2*v + 3. Suppose 2*j - b = 5, 5*f + 3*j - 87 = 0. Is 5 a factor of f?
True
Suppose -54 = 23*a - 5*a. Does 86 divide (a + 6 + -2)*555?
False
Suppose 24*j - 20*j = -1416. Is 6 a factor of (-2)/3*j*(-8)/(-32)?
False
Let h be (4584/16)/((-9)/(-12)) - 5. Let p = 1217 - h. Is p a multiple of 34?
False
Let p(w) = 11172*w - 61. Is 29 a factor of p(2)?
False
Does 42 divide 10/(-45) - 4820/(-72)*32?
True
Let o = -216 + 1991. Suppose 530 - o = -5*n. Is n a multiple of 25?
False
Suppose 79618 = 180*l - 173*l. Does 22 divide l?
True
Let w = -509 - -510. Suppose -p + 9 = -w. Is 10 a factor of p?
True
Let b(w) = -144*w**3 - 31*w**2 - 24*w - 50. Does 15 divide b(-5)?
True
Is 8 a factor of (5560/(-3))/5*-12?
True
Suppose 3*z = -2*o + 4849, -2*z + o = -3862 + 627. Is z a multiple of 6?
False
Does 70 divide ((-369)/123)/(6/(-52640))?
True
Suppose 5*j - 4*u = 12001, 3*j - 3*u - 3926 = 3277. Is 60 a factor of j?
False
Is ((-657)/6 + -1)*(-165 + 93) a multiple of 78?
True
Let o = 33468 + -23121. Does 6 divide o?
False
Let m = -13050 + 18172. Is 26 a factor of m?
True
Let u(v) = -4*v - 19. Let i be u(-6). Suppose 12 = -3*k - 3, -k = i*o - 180. Does 2 divide o?
False
Let l = -137 + 137. Suppose l = -5*b - 0*b + 995. Is 28 a factor of b?
False
Suppose 182*p + 13339 - 24776 - 52809 = 0. Is p a multiple of 162?
False
Let s(z) be the third derivative of z**5/20 - z**4/8 - z**3/3 + 9*z**2. Let m be s(2). Suppose m*i - 25 = -i. Is 2 a factor of i?
False
Let c(r) = -10*r + 155. Let p be c(-7). Is 32 a factor of 50/p + 8062/9?
True
Let s = 72 - 60. Does 3 divide 60 - -7*s/(-42)?
False
Suppose -13*d = -15*d + 1224. Suppose 6*q - d = 2*q. Suppose 2*g = 5*g - q. Does 17 divide g?
True
Suppose 12600 = -2*i + 12*i. Let a = -884 + i. Does 8 divide a?
True
Let u(i) = -642*i - 18. Let k be u(-7). Suppose 2*c = -t + k, -t + 1784 = c - 452. Suppose -26*o + c = -19*o. Does 40 divide o?
True
Let a(z) = -498*z + 18. Let x(d) = d**3 - d**2 - 23*d - 23. Let c be x(-1). Is a(c) a multiple of 26?
True
Let k = 93256 + -60721. Is 110 a factor of k?
False
Let u = 5494 - 3251. Is u a multiple of 10?
False
Suppose 0 = 20519*l - 20524*l + 35805. Is 22 a factor of l?
False
Suppose -f = -2*f + 2, -5*f = 5*l - 540. Let o = -24 + 4. Let g = l + o. Is g a multiple of 23?
False
Suppose 134*r + 121*r - 276*r = -243243. Is r a multiple of 11?
True
Let n = -153 + 158. Let h(y) = y**2 + 6*y - 45. Is 4 a factor of h(n)?
False
Let a(x) = 47 + 3*x**2 - 15 - 26*x + 9*x. Is a(13) a multiple of 9?
False
Suppose -31*g + 17752 = -15*g - 19960. Is g a multiple of 3?
False
Is 8 a factor of (24/((-168)/(-35)))/((-1)/(-175))?
False
Suppose 2231 + 3919 = 6*a. Let r = -724 + a. Is r a multiple of 36?
False
Suppose 2*d - d - 4*i = 648, 4*d - 4*i = 2532. Let z = 694 - d. Does 2 divide z?
True
Suppose 51*v - 3*a = 55*v - 4922, 5*v - 6193 = 3*a. Does 5 divide v?
True
Let z = 86 + -81. Suppose z*s - 24*s + 95 = 0. Suppose 0 = r - g - 53, -s*r = g - 0*g - 289. Is r a multiple of 23?
False
Let z(d) = -68*d - 17. Let m be -9 - (5 + (-11 - (-3 - 0))). Does 10 divide z(m)?
False
Let q = 2188 - -16569. Does 155 divide q?
False
Let j(q) = q + 8*q + 0*q. Suppose 3*m - 9 = 3*v - 3, -3*v - 3 = -2*m. Is 9 a factor of j(v)?
True
Suppose -4*r - 12 = -80. Suppose r*n = -10*n + 4698. Is n a multiple of 6?
True
Let b(d) = d**3 - 7*d**2 - 12*d + 121. Let o be b(6). Suppose -5733 = 6*l - o*l. Is 19 a factor of l?
False
Suppose -4*r + 339*b = 342*b - 48369, 2*b = -2. Is 38 a factor of r?
False
Let o = 15449 - 10554. Is o a multiple of 44?
False
Suppose -47*j + 26208 = -73338. Suppose -5*x + 2823 = 4*i, 23*i = 20*i - 4*x + j. Is i a multiple of 36?
False
Let k(i) be the third derivative of i**6/120 + 7*i**5/60 - i**4/12 + i**3/2 - 9*i**2. Let x be k(-5). Suppose x*s - 66*s = -861. Is 63 a factor of s?
False
Let n = 24368 + -20509. Is 65 a factor of n?
False
Let j = 2324 - 39. Is j a multiple of 5?
True
Suppose 9754976 = 252*g + 7*g - 0*g. Does 15 divide g?
False
Suppose -204 = l - 4*l. Let z = l + -19. Does 12 divide 1 - (4 - 5)/(1/z)?
False
Suppose -3*f = 6, 0 = -4*k + 4*f - 79 - 293. Suppose 3*y + 21 = 3*v, y - 11 = -2*v - 3. Is (0 - 0) + k/v*-2 a multiple of 3?
False
Let h(w) = 21*w**2 - 11*w - 62. Does 70 divide h(-26)?
True
Suppose b - 141 = -0*b + 3*f, 0 = -2*b + f + 277. Let p = -322 + 310. Let m = b + p. Is 14 a factor of m?
True
Let u be (6 + -5)/(1/5). Let i be 195/9 + (-3)/(-9). Let a = i + u. Is a a multiple of 9?
True
Suppose -3*p = -58 + 43. Suppose 5*v + 2*x + 370 = 1345, -p*v + 970 = x. Is 12 a factor of v?
False
Let t = -142 - -135. Let g(y) = y**3 + 7*y**2 + y + 12. Let x be g(t). Suppose 3*q = -15, x*m + 6*q - 220 = 7*q. Is m a multiple of 38?
False
Suppose 386*o - 1999059 = 868964 + 6302565. Is 14 a factor of o?
True
Let i(o) = -21*o**3 - 7*o**2 - 11*o - 31. Is 80 a factor of i(-7)?
False
Let i = 9 - -101. Suppose -11*h = -6*h + i. Let v = 59 + h. Does 17 divide v?
False
Let h be (-6)/(-10) - (4 + 4347/(-5)). Is 51 a factor of h + (-7)/((-14)/2)?
True
Let x(m) be the third derivative of m**7/1260 - m**6/60 + 17*m**5/120 - m**4/24 + 12*m**2. Let k(j) be the second derivative of x(j). Is k(8) a multiple of 9?
False
Suppose 0 = 24*v - 23*v - 495. Suppose 2*o = -3*g + 746, 2*g - 4*g = -o - v. Does 8 divide g?
True
Suppose 0 = -2*x - 3*x. Let p be 1*5*(-2511)/(-155). Suppose 2*k - p - 123 = x. Is 23 a factor of k?
False
Let j