-6*z + 10 + 8 = b. Suppose -z*v + 193 = -23. Does 6 divide v?
True
Let j = 623 - 344. Let v = j - 168. Is 9 a factor of v?
False
Is 41 a factor of (7749/15)/((-49)/(-735))?
True
Suppose -5*v + 338528 = 2*o, 17*o + 203070 = 3*v + 13*o. Does 162 divide v?
False
Let m(x) = 2*x**2 - 48*x - 244. Is 12 a factor of m(59)?
False
Suppose 0 = 34*s - 27*s - 182. Suppose 0 = -2*i - 3*w - 14, -2*w = -3*w. Let x = i + s. Is 5 a factor of x?
False
Suppose 5*o = 5*m + 223 + 632, -3*m - 508 = 2*o. Let p = -13 - m. Is 13 a factor of p?
False
Let z be (1 - 5) + (58 - 56)/(1/(-3)). Suppose -83 = 5*o - 4*n + 56, -4*n + 58 = -2*o. Let g = z - o. Is g a multiple of 2?
False
Let z = 2782 + -1832. Does 50 divide z?
True
Suppose 4*w = -3*x + 110, -2*x - 6*w = -3*w - 72. Suppose 42 = -x*h + 44*h. Is 21 a factor of h?
True
Let t(i) = -10*i**2 - 3*i + 3. Let u(m) = 9*m**2 + 3*m - 3. Let k(w) = -3*t(w) - 4*u(w). Let v be k(2). Let o = 87 + v. Is 20 a factor of o?
True
Let l = 45663 + -31300. Does 271 divide l?
True
Let a be 8 + -10 - (-56)/2. Let y(c) = c**2 - 25*c - 21. Let x be y(a). Suppose -5*j = -x*l + 4*l + 80, 5*l + 4*j = 400. Is l a multiple of 20?
True
Suppose -8*d = -i - 25*d + 6170, -d = -i + 6206. Is i a multiple of 132?
True
Let n(x) = -x**3 + 9*x + 4*x**3 + 208*x**2 - 5 - 206*x**2. Is n(3) a multiple of 8?
False
Let a(j) = -7*j**3 - 17*j**2 + 2*j - 28. Let n(z) = 16*z**3 + 35*z**2 - 5*z + 56. Let s(y) = 7*a(y) + 3*n(y). Does 15 divide s(-15)?
False
Suppose 19*r + 75 - 170 = 0. Suppose r*z - 1450 = -w + 336, -3*w - z = -5414. Does 19 divide w?
False
Suppose 160 = -3*i - m, 5*i + m + 62 = -206. Is 10 a factor of -1 - 5354/(-38) - i/513?
True
Let d = 10351 + -6151. Does 105 divide d?
True
Suppose -523*q + 31232 = -507*q. Is 16 a factor of q?
True
Let q(x) be the first derivative of 5/2*x**2 - x + 9. Does 7 divide q(3)?
True
Let f(h) = 117*h**2 + 193*h + 1797. Is 7 a factor of f(-9)?
False
Suppose 0 = -29*x - 6*x - 19*x + 530550. Is 75 a factor of x?
True
Let o = 16694 - 5719. Is o a multiple of 10?
False
Let t = 25870 - 8350. Is 40 a factor of t?
True
Let j be (6 - (-216)/(-40))/(1/45). Let c = 176 - -1084. Suppose c = 33*o - j*o. Does 27 divide o?
False
Suppose 5*v + 15 = 0, -20*v + 24 = -5*f - 18*v. Does 93 divide ((-3152)/f)/((-18)/(-54))?
False
Let b(q) = q + 64. Let d be b(9). Suppose 4*a = -d - 47. Let m = a + 98. Is 24 a factor of m?
False
Let t(k) = -25*k + 21*k - 3*k**3 - 12 + 6*k**3 - 17*k**2. Let q be t(6). Suppose -78 + 1 = -5*p - c, 2*p + 3*c - 23 = q. Does 3 divide p?
False
Suppose -8 = -0*u - 4*u, -3*u + 21 = 3*r. Suppose r*w - 3465 = 5*d, 0 = 9*w - 12*w - 3*d + 2049. Is w a multiple of 13?
False
Let j = -76 - -78. Does 14 divide (136/j)/(6 - (-200)/(-35))?
True
Let r(t) = -6*t**3 + 6*t**2 + 20*t - 14. Let l be r(-9). Suppose 16*o = l + 1702. Is o a multiple of 36?
False
Does 87 divide ((-135)/6)/((-7)/406)?
True
Let y(x) = 4307*x + 9922. Does 288 divide y(10)?
True
Suppose -m - 520 = -2*m. Let w = 771 - m. Suppose -2*y + 82 + 96 = 2*s, -3*s + y = -w. Does 26 divide s?
False
Suppose 0 = -5*h - 120 + 135. Suppose -t = 5*y - 4 + 14, -h*y = -3*t + 6. Suppose -2*k - k - 2*v + 581 = t, 2*v + 784 = 4*k. Does 15 divide k?
True
Suppose 13*y + 2123 = 485. Is (y/105)/((-9)/870) a multiple of 7?
False
Let p = 40 - 91. Let m = -42 - p. Is 6/m - (76/(-3) + 0) a multiple of 2?
True
Let h = -746 + 13226. Does 4 divide h?
True
Let r = -2000 - -50557. Does 390 divide r?
False
Suppose -83*g = -57*g - 394186. Is 86 a factor of g?
False
Suppose 25 + 2 = p + 5*x, 4*x = p + 18. Is 12 a factor of -2 + 1 + (p - -1*460)?
False
Let t be 4*-1 - (5 - 7). Let r be t/3 + (-3)/((-18)/4). Let i(y) = -y**3 + y**2 + 2*y + 78. Is 13 a factor of i(r)?
True
Let r(v) be the first derivative of 4*v**2 - 19*v + 53. Is 5 a factor of r(13)?
True
Suppose 33*n + 89 = -241. Is 16 a factor of (-36)/(-30) - 788/n?
True
Let m(k) = 2*k**3 - 8*k**2 + 25*k + 18. Is m(11) a multiple of 59?
False
Let t(l) = l**3 + 10*l**2 - 7*l - 62. Suppose -m + 2*m + 4*h + 5 = 0, 0 = -3*m - 2*h - 25. Is 4 a factor of t(m)?
False
Suppose 4*z = 3*z - 5*k + 9, 4*k = -2*z - 12. Let b(f) = -f**2 - 30*f - 14. Is b(z) a multiple of 14?
True
Let d be (-2)/(-3) - 14/(-6). Suppose 9*a - d = 33. Suppose -a*n - 3*m + 503 = 27, 3*n - 357 = m. Is 7 a factor of n?
True
Is 28 a factor of (6475 - -5)/(-3)*((-588)/30)/7?
True
Let r be 0 - (4 - (1 - 3)). Let y(s) = -s**2 - 11*s + 18. Let i be y(r). Let p = -22 + i. Is 25 a factor of p?
False
Let q(c) = -c**2 - 6*c - 15. Let f be q(-8). Let i = f - -63. Suppose 8*s - i = 7*s. Is s a multiple of 22?
False
Let b = 827 + 5235. Does 3 divide b?
False
Let x(a) = -45*a**3 + 8*a**2 - 25*a + 3. Let b(h) = 14*h**3 - 3*h**2 + 8*h - 1. Let w(g) = 7*b(g) + 2*x(g). Is 27 a factor of w(3)?
False
Suppose 0 = -3*r + 3*q + 210, -2*q - 199 - 73 = -4*r. Let g = -63 + r. Suppose 5*z + 5*i = 35, 33 = 4*z - z - g*i. Does 9 divide z?
True
Is 19 a factor of (-190)/4*((-59384)/130 - -18)?
True
Let p(d) = d**3 + 5*d**2 - 26*d - 23. Let l be p(-8). Does 58 divide (39/(-6) - l)*812?
True
Let q be 2 + 1 - (-108 - -105). Does 23 divide (752/(-40))/(q/(-15)) - 1?
True
Suppose -11*x - 287 = 109. Is 47 a factor of x/(-54) - 1688/(-6)?
True
Suppose 0 = 9*w + 2434 - 5836. Let z = 345 + w. Does 13 divide z?
False
Suppose 3*v = 3*u - 237, u - 3*v - 71 = -4*v. Suppose 54*c - 39*c = u. Is 5 a factor of c?
True
Let o be -1 - (-1*101 - 0). Let b = -1614 - -1614. Suppose -m - r + 106 = b, -7*r + 2*r - o = -m. Is 21 a factor of m?
True
Let s be 1*314*(-65)/(-26). Let i = -411 + s. Is 34 a factor of i?
True
Let k(i) = 18209*i**2 - 2*i - 1. Let u be k(-1). Suppose -13*s + 6555 = -u. Is 15 a factor of s?
True
Let b be (-1)/(2*(2 - 71/36)). Is (b/(-4))/((-15)/(-810)) a multiple of 8?
False
Let v be ((-15)/2)/(4/(-432)). Suppose 5*a - v = -5*m + 145, -2*a - 3*m = -386. Is 17 a factor of a?
True
Let c = -22 - -18. Let y be -14*1/c*(-24)/(-14). Is 0 + 951/y + (-3)/(-2) a multiple of 40?
True
Suppose 0 = 7*h - 19*h - 252. Let k = h + 21. Suppose -3*j - y = j - 589, -j - 4*y + 136 = k. Is 37 a factor of j?
True
Let z(s) = 165*s**2 + 79*s + 1199. Does 39 divide z(-12)?
False
Let x = -16845 + 17491. Is 2 a factor of x?
True
Let n(f) = -156*f - 23. Is n(-1) a multiple of 2?
False
Let k(h) be the third derivative of h**5/60 + 13*h**4/24 + 6*h**3 - 17*h**2 - 2*h. Is 12 a factor of k(0)?
True
Let r(d) = 66*d + 239. Let h(y) = -y**2 - 22*y - 89. Let k be h(-6). Does 55 divide r(k)?
False
Suppose -5*y = 4*l - 7959 - 1578, -3*y - l + 5718 = 0. Suppose y = 6*u + 33. Does 8 divide u?
True
Suppose 35*d - 457857 + 334183 - 374901 = 0. Is 11 a factor of d?
True
Let k(j) = -8 - 12*j + 26*j + 19*j - 13. Does 9 divide k(5)?
True
Let r = 8577 - 5715. Is 9 a factor of r?
True
Let j(l) = 99*l**2 + 6*l + 7. Suppose -26 = 17*k - 4*k. Is j(k) a multiple of 23?
True
Suppose 8*i = i + 56. Suppose 12 = -10*g + i*g. Is 8 a factor of (-18)/(-12)*(-68)/g?
False
Let b = -400 + 570. Is 17 a factor of (494/(-95))/((-2)/b)?
True
Suppose -192*c - 2*j = -197*c + 5976, 3*c = -j + 3590. Is c a multiple of 10?
False
Let g = -1452 + 2497. Suppose -4*b + g = 3*q, -351 = -2*q + q - 4*b. Is 13 a factor of (-1)/((-2)/q) - (-165)/(-110)?
False
Let b = -202 + 215. Let h(n) = 6*n**2 - 3 - n**3 + 50*n + 5*n**2 - 23 - 16*n. Does 20 divide h(b)?
False
Let r = 48 + -9. Let y(j) = -j**2 + 11*j + 39 - 70 + r. Is y(9) a multiple of 16?
False
Suppose 2*w = 5*h - 6 + 35, 3*w = -2*h - 4. Does 4 divide h + (21/(-9))/((-1)/39)?
False
Is ((-405)/540)/(((-437)/(-218) + -2)/(-2)) even?
False
Let q = -1998 - -5891. Is q a multiple of 17?
True
Let a(p) = 2619*p**2 - 447*p - 1351. Is a(-3) a multiple of 32?
False
Let f = -401 - -396. Let t(p) = -8*p**3 + p**2 + 5*p - 30. Is t(f) a multiple of 31?
False
Suppose -11*x = -12*x - 4*p + 1130, 3*x + 2*p - 3400 = 0. Is 7 a factor of x?
True
Let l(h) = h**2 - 10*h + 15. Let i be l(9). Suppose -5*r + 3*b + 12 = 2*b, -2*b = -i. Suppose -r*m = -4*m + 9. Does 5 divide m?
False
Suppose 3*t - 5 = -20. Let m(p) = 12*p - 39. Let q(s) = 1. Let f(b) = t*q(b) - m(b). Does 10 divide f(-8)?
True
Suppose 0 = -43*i + 39*i + 8. Is 6 a factor of (i - (-14)/(-6))*(-463 - -49)?
True
Let m(s) = -465*s**3 + 16*s**2 + 12*s - 3. Let a(d) = -232*d**3 + 7*d**2 + 5*d - 2. Let