 -2*z = 2*o - 40, -6*z - 3*o + 75 = -s*z. Does 6 divide z?
False
Suppose 115*g = 86*g + 277356. Is 12 a factor of g?
True
Let d(r) = r**2 + 8*r - 1. Let n be d(-9). Suppose n*y = 198 + 66. Is 4 a factor of y?
False
Let q be 24/(-30)*40/16. Is 10 a factor of (-645)/q*4/3?
True
Let y be 4482 - (0/4 + 3). Suppose -9*t + 1461 = -y. Suppose 14*o - t = 740. Is 25 a factor of o?
True
Let k(p) = -p**2 + 10*p + 44. Let c be k(12). Is (-2 - c)*51/(-2) a multiple of 22?
False
Let s(o) = -o**2 + 11*o - 6. Let l be s(10). Let b be (-202)/(-3)*(38 - 23). Suppose -l*g + 0*g + b = 3*f, 3*g = f + 751. Is 24 a factor of g?
False
Let b(a) = 16 - 10*a**2 - 9*a**2 - a**3 - 27*a - 10 - 40. Does 8 divide b(-18)?
True
Is (-5)/((-5)/4) + (-59)/(354/(-7776)) a multiple of 100?
True
Let v(p) = -p**2 - 21*p - 17. Let j(w) = 4*w + 8. Let t be j(-7). Let d be v(t). Suppose 2*r = d*l - 475, -4*l + 799 = 5*r + 204. Is 31 a factor of l?
True
Is (-550 + 706)*517*2/4 a multiple of 12?
False
Let a = 3831 + -1063. Is 42 a factor of a/18 + (-8)/(-36)?
False
Let i(d) = 4*d - 11. Let m(a) = a + 4. Let x be m(0). Let o be i(x). Suppose -2*t = 4*k - 46, 5*t + o*k = -6 + 116. Is 15 a factor of t?
False
Let g(s) = s**3 + 37*s**2 - 23*s + 9. Let p be g(8). Suppose p - 521 = 14*a. Is 6 a factor of a?
True
Suppose -6*y = -11 - 7. Suppose y*j = -4*j. Suppose 3*r + 4*r - 161 = j. Is 23 a factor of r?
True
Let c = -86 - -141. Is 3 a factor of 325/c*9 - (-2)/(-11)?
False
Suppose -2868*z = -2828*z - 211200. Is 24 a factor of z?
True
Let x = 5 - -10. Suppose -3*t - 18 + x = 0. Is 10 a factor of 5*(5 + t)/((-10)/(-38))?
False
Let o(s) = -487*s - 2743. Is 71 a factor of o(-25)?
False
Suppose -65*c + 54840 = -5*c. Suppose -4*q - 15*i + 20*i + c = 0, 3*i = 3*q - 684. Is q a multiple of 12?
False
Let u = 789 - 670. Is u a multiple of 28?
False
Suppose q + k = 100, 0 = -2*q + k - 2*k + 201. Suppose 3*h - 5*l - 64 = q, h = 2*l + 56. Suppose -h = -6*y + 5*y. Does 15 divide y?
False
Does 39 divide 1870/(-2057) - 230998/(-22)?
False
Let c(z) = 31*z - 8. Let j(d) = 1. Let n(r) = c(r) + 6*j(r). Is 46 a factor of n(6)?
True
Suppose 121*i + 5 = 120*i. Does 13 divide -1 - i*4*2?
True
Let g = 155 + -152. Suppose 4*n - 1679 = 5*j, -n + g*n - j - 835 = 0. Does 16 divide n?
True
Let q(h) = 306*h + 100. Let c be q(4). Suppose -4*n = -5*r + c, 12*r - 16*r + 2*n = -1058. Is 44 a factor of r?
True
Let r be (-36 + 1)/(1/2). Does 6 divide (-554)/(-6) - (5 - r/(-15))?
False
Suppose 0 = 2*w - 3*d - 1393, 694 = -7*w + 8*w + d. Suppose 1419 = 3*p + 4*z, 0 = -5*p - 2*z + 1656 + w. Does 41 divide p?
False
Let k(m) = m**2 + 8*m - 23. Suppose 11*r + 186 + 34 = 0. Is k(r) a multiple of 31?
True
Let a = -38726 - -69555. Is a a multiple of 28?
False
Let s(a) be the first derivative of a**4/4 - 5*a**3/3 - 5*a**2/2 - 4*a - 14. Let k be s(6). Suppose 5*j - 50 = -5*v, 2*j + k*j + 12 = 0. Is 6 a factor of v?
False
Suppose 0 = 2*n - 0*n - 361 - 177. Is 9 a factor of n?
False
Let o be (618/4)/3*2. Let y be (27/(-12))/(-9) + (-7)/28. Suppose y = 4*x - o - 249. Is 22 a factor of x?
True
Suppose -y - 3*x + 922 = 0, 600 + 3060 = 4*y + 5*x. Let a be 70/50 + 6/10. Suppose 5*n + a*n = y. Is 10 a factor of n?
True
Let i = 19209 - 10871. Does 23 divide i?
False
Let b(l) = -l**2 + 37*l - 142. Is 9 a factor of b(8)?
True
Does 9 divide 3 + 1646 + ((-84)/3)/(-4)?
True
Let q(b) = 558*b - 7240. Is 30 a factor of q(52)?
False
Suppose -4*f - 5*m + 88 = -886, 0 = -13*f + m + 3200. Is f a multiple of 7?
False
Suppose -2*n - 1852 = 2*q, 5*q + 4571 + 53 = -2*n. Let x = 1349 + q. Is 42 a factor of x?
False
Let p = 7939 + -4643. Does 103 divide p?
True
Let j = 0 - -42. Let d be (-3)/(j/(-124)) + 3/21. Is 30 a factor of (2982/d)/(-7)*-3?
False
Suppose -22*c + 23*c + 83 = -u, 3*c = 0. Let i(s) = 6*s**2 + 3*s - 7. Let r be i(-6). Let t = r + u. Is 13 a factor of t?
False
Suppose 3*v = -l + 2*v + 2, 0 = -5*l - 4*v + 8. Suppose l = -4*q - 3 + 107. Suppose -2*u - 5*h = -97, u - q = -h + 30. Is 24 a factor of u?
False
Is ((-2114)/(-4) + 0)/((-66)/(-396)) a multiple of 32?
False
Suppose 6*o - 4*o - 4*i - 130 = 0, o - 5*i = 50. Let v = o - 79. Does 11 divide 286/39*(-18)/v?
True
Suppose 0 = 10*t - 26 - 24. Suppose -2*a - 425 = 5*n + 3*a, t*a = 2*n + 170. Is 34 a factor of (2/2 + -3)*n/1?
True
Suppose z - 5 = -c, 11*z - 9*z - 2*c - 6 = 0. Does 9 divide z/(-18) + (-4378)/(-99)?
False
Let t be (5 - (-209)/(-3)) + (-2)/6. Let x = t + 65. Suppose -5*i - 562 = -5*j - 4*i, -2*i + 6 = x. Does 29 divide j?
False
Let w be (21/6 - 4)*24. Let o be -3 + 21*(-4)/w. Suppose 2*n - 118 = -o*x, 3*n - 167 = -x - 3*x. Is n a multiple of 21?
False
Suppose -8*a = -11*a + 33. Let l(y) = -6*y - 30 + a*y + y - y. Is l(17) a multiple of 5?
True
Let r(b) = -783*b - 6136. Is r(-23) a multiple of 26?
False
Suppose t + 5 = 2*d, -4*d - 8 + 3 = t. Suppose -2710 = -3*f - y, d = f + 4*y - 632 - 275. Suppose -k + f = 5*r + 2*k, k - 901 = -5*r. Does 15 divide r?
True
Suppose 7 = -g + 3*w, 2*g - 4*w + 7 + 1 = 0. Suppose 2*f + g*y + 290 = 7*f, 5*y - 25 = 0. Is 4 a factor of f?
True
Let z(v) = -v**2 - 5*v + 39. Let t be z(-9). Let g be t*((-385)/(-15))/7. Is 17 a factor of (12 - g)/((-2)/(-306))?
True
Let t(u) = 577*u - 1758. Does 17 divide t(8)?
False
Let q(s) be the second derivative of -1/2*s**3 - 3/2*s**2 + 10*s + 13/12*s**4 + 0. Is 13 a factor of q(-3)?
False
Suppose -2*d - 4*v = -15134, -2*v - 20557 = -4*d + 9641. Does 91 divide d?
True
Suppose -152*y = -153*y - 588. Let d = 1078 + y. Is d a multiple of 14?
True
Let r = 9316 + -4716. Suppose -11620 + r = -12*m. Does 13 divide m?
True
Let u = -26 + 32. Is 8 a factor of 4 + 587 + (7 - u)?
True
Let d = -275 - -250. Let v(u) = u**3 + 25*u**2 - 4*u - 54. Does 46 divide v(d)?
True
Suppose 3*g - 42873 = 5*p, 5*g - 2*g - 42915 = -2*p. Does 63 divide g?
True
Suppose -i - 3 = 0, 21 = 3*f + 5*i - 2*i. Let x(m) = -m**2 + 15*m - 22. Let h be x(f). Suppose c - 3*c + h = -2*j, 3*c + j = 58. Is 5 a factor of c?
False
Suppose -2899*i = -2861*i - 516724. Does 14 divide i?
False
Suppose -14*w + 20 = -10*w. Suppose -8*c + 12*c = w*n + 425, 223 = 2*c + n. Is 22 a factor of c?
True
Suppose -19*h = -26*h - 1386. Does 55 divide -10*(h/(-12))/(-1)?
True
Let p(w) = 12*w - 20. Let x be p(2). Suppose -h - 72 = -5*c, 0*c + h = 2*c - 27. Suppose -x*d - 2*a = -679 + c, 5*d - 830 = a. Is 36 a factor of d?
False
Suppose 3*t - 3*n = 1368, 0 = 5*t + 5*n - 1830 - 490. Suppose 3*f - 3*l = -l + 291, -5*l = 5*f - t. Is 22 a factor of f?
False
Let g = 161 + -206. Does 26 divide 290/6 - 30/g - -3?
True
Let f be (-1)/3 + 40/(-6). Let m be -10*(-3 + (-3 - f)). Does 20 divide (-6 - m) + (1 - -70)?
False
Let h(y) = -34*y**3 - 100*y**2 + 15*y - 20. Does 38 divide h(-8)?
True
Let q(z) = -z**3 + 7*z**2 - 8*z + 13. Let u be q(6). Let x be -2 + (u - (-12)/4). Suppose -x*a + 72 = -168. Is 24 a factor of a?
True
Let m = 6843 - 3955. Is m a multiple of 8?
True
Let w be 1/(-1 - 6/(-4)). Let t be (241/1)/((-1)/(-1)). Suppose -21 + t = w*d. Is d a multiple of 26?
False
Suppose -143902 = -2*d - 3*f - 9191, -d + 3*f = -67369. Does 20 divide d?
True
Let k = -976 + 540. Let s be 3/5 + k/10. Let t = s + 113. Is t a multiple of 10?
True
Does 129 divide 0 - ((-1609146)/(-6))/(-21)?
True
Suppose 2*v - 32932 = -1399*f + 1396*f, -4*f - 3*v = -43911. Is 93 a factor of f?
True
Let h(g) = 47*g - 65. Let b be ((-11)/((-99)/6))/((-1)/(-24)). Is h(b) a multiple of 5?
False
Let k(v) = -v**3 + 4*v**2 + 25*v - 72. Let w be k(6). Suppose -h + w*g = 4*g - 1000, 12 = 3*g. Is h a multiple of 48?
True
Suppose 0 = -3*v - z + 31912 + 47948, 3*v = 5*z + 79824. Is v a multiple of 18?
False
Suppose 0 = 5*j - 259*n + 262*n - 15628, -4*n + 4 = 0. Is 7 a factor of j?
False
Let v be 74/14 + (3 - 23/7). Is 34 a factor of 1*1*v/5*323?
False
Suppose 120 = 7*t + 8. Suppose 4 = -6*k + t. Suppose k*g + 2 = 66. Does 8 divide g?
True
Suppose 0 = -2*k + y + 13722, -1211*y = -1206*y + 20. Does 45 divide k?
False
Let r = -11266 + 21903. Is 107 a factor of r?
False
Let d(m) = 4*m - 17. Let k be d(6). Suppose 0*w + 1505 = k*w. Does 48 divide w?
False
Suppose -4*n = t - 3925, 0 = 4*n + 5*t - t - 3940. Suppose 52*d = 45*d + n. Does 4 divide d?
True
Let y(c) = 53 + 0*c - 39 + c**2 - 9*c. Let u be y(7). Suppose u = 8*t + 2*t - 40. Does 2 divide t?
Tr