uppose -345*r - 378 = -x*r. Is 63 a factor of r?
True
Suppose 3*r + 50 = g, 2*r = 2*g + 5 - 45. Let n be ((-24)/r - 0)*5/2. Does 13 divide (n/(-6))/(4/(-1794))?
True
Let k = -234 + 625. Suppose 5*m + k = 571. Does 12 divide m?
True
Let d(v) = v**3 - 19*v**2 + 62*v - 17. Let s be d(15). Suppose s*r - 6583 = -2371. Is r a multiple of 16?
False
Let u(c) = -c**3 - 2*c**2 - c - 2. Let s be u(-2). Suppose -91 - 175 = -5*y - 4*q, s = 2*y - 4*q - 84. Let z = 117 - y. Is z a multiple of 10?
False
Suppose 0 = 3*r + 9, -66*s + 5*r + 4993 = -64*s. Does 7 divide s?
False
Let c = 53 - 57. Let g be -60*(-5)/(15/c). Let q = 118 + g. Does 27 divide q?
False
Let b be -1 + 3 - (-1)/3*0. Let r be (55/(-11))/(b*2/4). Is 16 a factor of ((4 - -6)/r)/(2/(-141))?
False
Let w(o) = 520*o + 818. Is w(7) a multiple of 30?
False
Is -29018*(-1 - -4)*(1 + (-21)/18) a multiple of 106?
False
Is 65 a factor of 44475/9 + 20/30*(-20)/8?
True
Let x be (4/(-8))/(4/(-3944)). Let v = 799 - x. Is v a multiple of 52?
False
Let b = 89021 - 53955. Is 10 a factor of b?
False
Let v(y) be the third derivative of 2*y**4 - 5*y**3/2 + 219*y**2. Is 9 a factor of v(11)?
True
Let u = 40 - 39. Let j(x) = 82*x**2 + 4*x - 3. Is 23 a factor of j(u)?
False
Let w = -1853 + 9789. Is w a multiple of 84?
False
Let h = 26441 - 2836. Is 217 a factor of h?
False
Suppose 61*n - 111*n = -62*n + 17220. Is n a multiple of 5?
True
Suppose -3*g = -o - 229, 0 = -2*o + 6*o + 5*g + 933. Does 20 divide 39/2*o/(-12) + 3?
True
Let l(u) = u**3 + 5*u**2 + 3*u - 2. Let p be l(-4). Let o(n) = 162 + n**3 - 151 + 11*n**2 + 3*n + p*n - 3*n**2. Does 4 divide o(-7)?
False
Let z(r) = -r**3 + r. Let k be z(-1). Suppose 5*b + i - 648 = 0, k = b + 3*b - 3*i - 526. Is 9 a factor of (0 + 2)/2 + b/5?
True
Let b = -76 - -73. Let t(w) = 4*w**3 + 5*w**2 + 6*w + 10. Let s be t(b). Let q = -42 - s. Does 11 divide q?
False
Let b = -224 - -547. Does 4 divide b?
False
Suppose -1106*s + 386187 = -997*s. Does 50 divide s?
False
Let f(w) = 41*w + 108. Let s be f(8). Suppose 5*g = -4*h + 845, -33*h + 35*h - 2*g = s. Does 13 divide h?
False
Suppose -t - 3*z + z = -310, 0 = -4*t + 5*z + 1240. Let c = 135 - t. Let g = c + 250. Does 32 divide g?
False
Let n(l) = 47*l**2 - 105*l**2 - 9 + 35*l**2 + 39*l**2 + 7*l. Suppose 4*g + 4*z - 28 = 0, -3*g = z - 0*z - 11. Is 4 a factor of n(g)?
False
Suppose 0*l = -4*l - a + 12, -4*l - 3*a + 4 = 0. Suppose x = l*x - 3*u - 3, -3*x = 2*u - 3. Is 13 a factor of (-1)/((-360)/355 + x)?
False
Let a(q) = 5*q**2 + 5*q - 16. Let v be 2 + (4*-2 - 4). Let o be a(v). Suppose o = 4*m - 30. Is m a multiple of 18?
False
Let l(g) be the third derivative of 1/60*g**5 + 0*g + 6*g**3 + 0 + 1/12*g**4 - 28*g**2. Does 9 divide l(0)?
True
Let q be 2 + (-3)/3 + (-53)/(-1). Let d = q + -42. Does 2 divide d?
True
Suppose -2*l + l = -2*p - 107, -2*p + 458 = 4*l. Let t = l - 119. Is 12 a factor of 685/3 + 2/t + 0?
True
Suppose -3*b + 5*z + 27421 = 0, 0 = 3*b + 8*z - 10*z - 27406. Is 17 a factor of b?
False
Let y = -328 + 352. Does 50 divide 3660/y - (-1)/(-2)?
False
Suppose -4*h = 2*x - 432, -4*x - h - 232 = -1110. Does 11 divide x?
True
Let d(r) = 1060*r + 403. Is d(5) a multiple of 30?
False
Suppose -300081 = -60*l + 12579. Is 3 a factor of l?
True
Let h(q) = -q**3 - 6*q**2 - 9*q - 6. Suppose -5*k = -3*z - 86, 4*k - 88 = 4*z - z. Let w = z - -25. Is h(w) a multiple of 25?
False
Suppose 0 = -r - 58 - 20. Suppose 4*k + 224 = -2*q, -k - 46 = q - 3*q. Let w = k - r. Is 4 a factor of w?
True
Let w be 1*130/(-8)*4. Let b = w + 72. Let m(g) = 22*g. Is m(b) a multiple of 10?
False
Does 127 divide 25708/7 + (-44)/231*3?
False
Suppose -7*h + 385 - 7483 = 0. Let y = -594 - h. Does 70 divide y?
True
Does 17 divide (3 - 580)/(156/(-5772))?
False
Let z = -136 + 202. Suppose 0 = -3*t - 42 - 3. Let b = z + t. Does 17 divide b?
True
Let n(d) = d + 1. Let l be n(2). Suppose -5*i + 110 = -5*y, -l*i + 23 = 2*y + 62. Is 34 a factor of (-2 + 5)/(y/(-1085))?
False
Suppose 5*r - 268 = 4*r. Let y be 9*(r/10)/(18/15). Suppose i = -3*w + y, 3*w - 207 = 4*i - 7*i. Does 22 divide w?
True
Let q = 75780 + -10800. Is 171 a factor of q?
True
Let t be ((-4)/4)/(3 - 2)*-2. Suppose 8 = -t*f - 3*y + 58, -f = -3*y - 34. Does 13 divide f?
False
Let f = -38 + 53. Let o be ((-126)/f)/(2/(-10)). Let n = 65 - o. Is n a multiple of 17?
False
Let m(h) = h + 1. Let y be m(3). Let k be (-20 + 16)*(-1)/1. Suppose 140 = y*a + k*l, -a + 30 + 7 = 2*l. Is 6 a factor of a?
False
Does 4 divide (-1 - 195)*(14 + -20)?
True
Let r be (-6)/(-7)*(-1022)/(-3). Let b = -231 + r. Is 23 a factor of b?
False
Let q = -29 + 35. Let r be q - (-2 - -1 - -2). Let j(v) = v**3 - 4*v**2 + 2*v - 11. Is j(r) a multiple of 5?
False
Suppose 3*p + 16 = -z, -2*z + 5 - 13 = 2*p. Let a(y) = y**3 - 12*y**2 + y - 6. Let s be a(12). Is 7 a factor of (4/s)/(7/((-4221)/p))?
False
Let i be (-6790)/(-10) - 0*2/(-6). Let k = i - 382. Is k a multiple of 11?
True
Let q be (-3 + -4 - -31)*8/6. Let p(z) = 6*z + 148. Does 32 divide p(q)?
False
Suppose 4*y = 20, 4*i - 5*y - 7153 = -6*y. Suppose -2*c = 3*n - 1784, 3*n - 13*c = -18*c + i. Is 9 a factor of n?
True
Suppose -205230 - 52251 = -45*p - 22*p. Is p a multiple of 63?
True
Suppose 0 = 4*y + 5*j - 106, 3*y - 77 = -0*j - 5*j. Let s = 547 - y. Is 27 a factor of s?
False
Let c be (9 + -45)/(-4) - -19558. Suppose 41*m = c + 11593. Is 20 a factor of m?
True
Let l(s) = -2639*s - 4510. Is 149 a factor of l(-6)?
True
Let x = 17729 + -11669. Is x a multiple of 6?
True
Let o = -2083 + 2088. Let y = 2 + -2. Suppose o*j = -y*b + 4*b + 412, 4*j = 4*b + 332. Does 16 divide j?
True
Suppose -506694 = -183*q + 2682996. Is 166 a factor of q?
True
Suppose 5*m + 4*h = -0*h + 10, h - 13 = 4*m. Let z(x) = 2*x**2 + 10*x + 13. Let j(a) = 2*a**2 + 10*a + 13. Let t(k) = m*z(k) + 3*j(k). Is t(-6) a multiple of 5?
True
Suppose y = 5*r + 610, 4*y - 640 = -5*r + 1675. Suppose -223 = -4*q + y. Is 15 a factor of (q*(3 + -4))/((-4)/2)?
False
Let i = 13630 - 9587. Is i a multiple of 63?
False
Suppose -741 = -11*y + 634. Suppose 1315 + y = 4*w. Is w a multiple of 10?
True
Let v be 636/2*35/21. Suppose 6*y + 176 = v. Suppose w - 7 = y. Is 7 a factor of w?
False
Let r(a) = 69*a**2 + 70*a + 33. Is 19 a factor of r(-7)?
False
Let w(x) = 6 + 6*x**3 - 17*x + 3 - 5 - 2*x**2 - 20*x**2. Is w(7) a multiple of 80?
False
Let p(n) be the first derivative of -20 - n**3 - 2*n**2 - 1/4*n**4 - 9*n. Is p(-4) a multiple of 5?
False
Suppose 24*t + 28083 = -47*t + 116691. Does 6 divide t?
True
Let j(d) = -9*d + 80. Let f be j(8). Suppose 2*z = 36 + 92. Suppose -9*k + f*k = -z. Is k a multiple of 9?
False
Does 68 divide (-28)/322*-23 + 42000?
False
Let p = -923 + 1577. Let j = p - -491. Is 51 a factor of j?
False
Let c(v) = v**3 + 15*v**2 - 40*v - 11. Suppose 5*m = -3*r + 5*r + 29, -r + 5*m = 12. Is c(r) a multiple of 22?
False
Let p be 0/(0 - 2 - 0). Suppose p = 3*r + 4*t - 500, -5*r = -2*t - 2*t - 876. Is 21 a factor of r?
False
Let u = 16056 - 11318. Is 150 a factor of u?
False
Let l(p) = -p**2 - 10*p + 20. Let k be l(-10). Let t(a) = -23*a + a + 24 + 2*a**2 - k*a. Does 6 divide t(22)?
False
Let g be (-10)/(-10) - (-2 - 1). Let r(f) = -f**3 + 9*f**2 - 11*f - 19. Let x be r(7). Suppose 3*n - 117 = -2*k, 3*k - g*n + x*n = 156. Does 18 divide k?
True
Let g be 54/4 - (0 - 1/(-2)). Suppose -7*w + g = -71. Suppose 2*z = -5*f + 251, -3*f - f = w. Does 19 divide z?
True
Let c be -3 - (-4)/(-3)*-3. Suppose -c - 19 = -5*v. Suppose 0 = v*a - 4*p - 220, 4*a - 2*p + 4*p = 220. Does 11 divide a?
True
Suppose 79*n - 138*n = -458371. Is 8 a factor of n?
False
Suppose -5*v = -3*o - 1014, 18*v - 196 = 17*v + 4*o. Suppose 0 = -3*t + t + 4. Suppose -q + t*q = v. Does 34 divide q?
True
Let j(i) = i**3 + 6*i**2 - 2*i. Let p be j(-3). Suppose 0 = -5*x + p + 42. Suppose 2*n = 2*u, 5*n - 4*n - x = -4*u. Does 3 divide n?
True
Let i be -6*(-4)/12 - 1. Let h be i*2/(-7) - 2144/(-7). Suppose 2*v = z + z + h, 3*z + 157 = v. Does 18 divide v?
False
Let s be ((-9)/18 - 14/(-4))*43. Let i = 25 - s. Is (-1*i/(-12)*-15)/1 a multiple of 26?
True
Let d(j) = 2*j**3 + 50*j**2 + j + 216. Is 73 a factor of d(-21)?
True
Suppose -4*k - 64604 = -4*t, -5*t = -k + 3*k - 80748. Is t a multiple of 95?
True
Let q(x) = -20*x**3 - 8*x**2 - 8*x - 25. Is q(-4) a multiple of 38?
