 - 8*j = -5*j + 309. Suppose -2*u - 68 + 22 = 0. Let q = u - c. Is q a multiple of 11?
False
Let h be (2/6*6)/1. Suppose -4*y - 4 = 2*k + 14, -h*k = 3*y + 14. Is 25 a factor of 0 + (38 - (-4)/y)?
False
Let w(j) = -2*j + 4. Let q be w(2). Suppose q*v - 6 = 3*k + 2*v, -2*v = 6. Is (64/(k + -1))/(-2) a multiple of 12?
False
Let l = -86 - -92. Suppose -l*z - 5*z = -352. Is z a multiple of 2?
True
Let j(x) = -2*x**2 - 5*x + 21. Let a be j(-10). Let c = a - -195. Is c a multiple of 19?
False
Suppose -7*i = 79 + 327. Let v = -38 - i. Does 11 divide v?
False
Suppose -27*i - 800 = -31*i. Suppose 5*o + 205 = -4*c + 693, 4*c = -2*o + i. Is 24 a factor of o?
True
Let f(z) = 4*z**2 - 11*z - 212. Is 62 a factor of f(-22)?
False
Let l = 164 - 86. Is 12 a factor of l?
False
Let w = -8 - -11. Let h = 7 - w. Let o = 15 + h. Is o a multiple of 9?
False
Suppose -102*v - 4576 = -24058. Does 4 divide v?
False
Let w(h) = h**2 - 2*h + 9. Suppose -5*p = -4*q + 63 - 22, -5*q = -3*p - 35. Is 6 a factor of w(q)?
False
Suppose -4*m + 80 = 5*s, 4 = -4*m - s + 100. Let u = m - 9. Is u a multiple of 3?
False
Let g be (-4)/28 + 2/14. Suppose 4*z + 4*f - 64 = g, z - 3 - 3 = 4*f. Is z a multiple of 3?
False
Is 16 a factor of 2/(6 + 0) + 573/9?
True
Is -8 - (-1728 - (-6 - -3)) a multiple of 11?
False
Let g(f) = 9*f. Let n be g(1). Let y = n - 7. Suppose -y*h + 144 = 24. Is h a multiple of 9?
False
Let m = -51 - -718. Let x = m - 387. Suppose 3*c + 2*d + 45 = 4*c, 5*c + d - x = 0. Is 13 a factor of c?
False
Let u be 12 - 7/((-7)/(-2)). Let n(k) = 1 + 2*k + k**2 - 10*k + 10. Does 20 divide n(u)?
False
Suppose 0 = -2*v + 10, -5*r + 420 + 5495 = 5*v. Is r a multiple of 38?
True
Suppose -26*w + 22*w = -3*u + 3585, -4*u = w - 4799. Is 13 a factor of u?
False
Is 330/275 - ((-16668)/(-15))/(-4) a multiple of 11?
False
Let u(f) = f**3 + 12*f**2 + 13*f + 17. Let b be u(-11). Let p(j) = 11*j**2 + 7*j. Is 30 a factor of p(b)?
True
Suppose -41 = -r - r - 3*y, 0 = 2*y - 10. Let v = 43 + r. Does 10 divide v?
False
Let o(w) = -2*w + 26. Is 9 a factor of o(-26)?
False
Suppose 108 - 1162 = -2*i - k, 0 = k. Is 17 a factor of i?
True
Suppose -5 = -t + 3*c, -4*t + t + c = -15. Suppose t*o = 4*q - 0*q + 440, 4*o - 346 = 2*q. Does 15 divide o?
False
Let j(c) = 6*c. Let v be j(0). Let h = v - -16. Does 16 divide h?
True
Let y = -63 - -42. Is 2 a factor of 2/((-45)/y + -2)?
True
Suppose 36 = 4*z - 7*z. Is (-4)/z + (-428)/(-12) a multiple of 14?
False
Let n(x) be the third derivative of -2/3*x**4 - 1/60*x**5 + 2*x**2 + 0 - 5/2*x**3 + 0*x. Does 9 divide n(-12)?
False
Let r be ((-2)/(-4))/(2/116). Let x(c) = c**2 - c - 30. Let b be x(6). Suppose b = -4*o + p + 117, 5*p - 106 = -4*o + r. Does 10 divide o?
True
Let s = 2088 - 1142. Is s a multiple of 43?
True
Let n = 1006 + 114. Is 14 a factor of n?
True
Let a(x) be the second derivative of x**7/840 + x**6/90 - x**5/30 + x**4/12 + 2*x**3/3 + x. Let n(w) be the second derivative of a(w). Is 6 a factor of n(-4)?
True
Let n(r) = r**2 - 3*r + 5. Let m be n(3). Let l = 6 - m. Suppose -l = a - 5. Is a a multiple of 3?
False
Let b be (22/4)/(12/864). Suppose 3*u = -z + 118, 5*z - 5*u - b = 2*z. Does 34 divide z?
False
Does 5 divide 30 - (-21)/(-3) - -7?
True
Suppose m - 3 = -2*t, 4*t = -5*m - 1 - 2. Suppose -40 = t*y + 5. Let j = y + 20. Is 2 a factor of j?
False
Let y = -107 + 97. Is y/(1/4 - (-3)/(-10)) a multiple of 12?
False
Let l(h) = -33*h - 1. Let t be l(-2). Let c = -17 + t. Suppose -2*k - 2*k = -c. Is 12 a factor of k?
True
Suppose -5*b + 40 = 3*b. Let f(u) = -3*u**2 - 5*u + 1. Let l(w) = -2*w**2 - 3*w + 1. Let x(j) = 3*f(j) - 5*l(j). Is 8 a factor of x(b)?
False
Let d = 50 + 6. Is 8 a factor of d?
True
Let i be (-168)/(-16)*(-48)/(-9). Suppose 2*d - 4*w - i = 0, -3*d = 4*w + 4 - 88. Is d a multiple of 9?
False
Does 4 divide (8 + 212/(-1))/(-2)?
False
Let v(a) be the second derivative of -a**5/5 - a**4/6 + a**2/2 - 3*a. Let f be v(-1). Is 8 a factor of f/1 + 17 + 2?
False
Let b be (-3)/5 - (-36)/10. Suppose 5*c + b*w = -0*w + 891, 0 = -5*c + 3*w + 909. Is 30 a factor of c?
True
Suppose 43781 + 6555 = 104*j. Is j a multiple of 21?
False
Let h(g) be the third derivative of 35*g**4/24 + 2*g**3 + 23*g**2. Does 19 divide h(4)?
True
Suppose -2*p + 2383 = 579. Is p a multiple of 8?
False
Let h be -21*(0 - (-1)/(-1)). Let q = 65 - h. Does 11 divide q?
True
Does 57 divide (-38328)/(-32) + (-5)/20*3?
True
Let c(w) = 3*w**2 - 13*w - 5. Let z = 27 + -21. Does 25 divide c(z)?
True
Suppose -10*h + 133 = -237. Is 14 a factor of h?
False
Suppose -20*d = -24*d - 64. Does 34 divide 11/(-2)*(d + -10)?
False
Let i(z) = 4*z**2 + 8*z + 7. Let v be i(-4). Let l = -25 + v. Is 2 a factor of l?
True
Let q = -495 - -950. Is q a multiple of 13?
True
Is 36 a factor of (-324)/(-729) - (-5914)/18?
False
Let i = 13 + -1. Let m be (27/i)/((-4)/(-16)). Let t(h) = -h**3 + 8*h**2 + 11*h - 4. Is 4 a factor of t(m)?
False
Suppose -4*u + 3*u = 0. Let k be 1/(-2)*u/2. Suppose k*b + 4*b - 160 = 0. Does 20 divide b?
True
Suppose 3*t - 1232 = 60*z - 64*z, 0 = 3*z - 2*t - 941. Is z a multiple of 3?
False
Let r(l) = 7*l**3 - 5*l**2 - 11*l + 17. Let t(i) = 4*i**3 - 2*i**2 - 5*i + 9. Let z(o) = -3*r(o) + 5*t(o). Does 17 divide z(5)?
True
Is (-2)/(-18)*111*3 a multiple of 4?
False
Let p = 26 - 24. Suppose v - 75 = -4*q, 48 = 3*q - p*v - 0*v. Is 9 a factor of q?
True
Suppose -b + 247 = 2*p, 243 = b - 3*p + 7*p. Is b a multiple of 26?
False
Suppose 3*v + 3*x - 105 = 5*x, 0 = 5*v + 2*x - 191. Is 37 a factor of v?
True
Suppose 791*r - 775*r = 8256. Is 19 a factor of r?
False
Let j(t) = -t**3 - 5*t**2 + 5*t - 3. Let r be j(-6). Suppose -4 = 2*b - 4*f, -r*b + 5*f - 5 = 2*b. Suppose -6*s + 2 + 46 = b. Does 2 divide s?
True
Let r be (-2)/(-1 - (-3)/2). Let b(z) = 3*z**3 + 2*z**2 - 2. Let m(g) = -7*g**3 - 4*g**2 - g + 3. Let t(i) = -5*b(i) - 2*m(i). Is t(r) a multiple of 12?
False
Let x(w) = w**3 - 3*w**2 - 3*w + 4. Let v be x(2). Let t(k) = k**3 + 6*k**2 - 2*k + 5. Is 5 a factor of t(v)?
False
Suppose -14 = -z - z. Let v be ((-2)/(-5))/((-34)/(-255)). Suppose -m = 2*m + v, -l = 2*m - z. Does 9 divide l?
True
Let c = -74 - -72. Is 0 + c + 6 - -38 a multiple of 6?
True
Let a = 4353 - 1337. Does 13 divide a?
True
Is 15 a factor of (-25)/((-174)/(-30) + -6)?
False
Let k(q) = q**2 + 51*q - 504. Is 14 a factor of k(-61)?
False
Let r(y) = -5*y - 3. Let t be r(4). Let s be (-4)/6 + t/(-3). Let k(b) = 3*b - 9. Does 12 divide k(s)?
True
Suppose 32*m - 4704 = -704. Is m a multiple of 2?
False
Suppose -2*i + 1392 = 2*s + 2*i, 4*s - 2814 = 2*i. Is s a multiple of 31?
False
Let p(l) = -l**3 + 7*l**2 - l + 7. Let m be p(7). Suppose 4*u + 14 + 42 = m. Let k = 20 + u. Does 6 divide k?
True
Suppose -2*n = -x + 6, 0*x + 3*n = -4*x + 2. Suppose x*y - 3*p = 180 - 44, 0 = 4*y - 4*p - 272. Is y a multiple of 21?
False
Is -7 + 14 + -4 - -1017 a multiple of 15?
True
Let z(f) = 10*f - 7. Let p be -3 + -1 + 0 + -3. Let t be z(p). Is 5 a factor of (-7)/28 - t/4?
False
Suppose 3*s = -0 + 12. Suppose 4 = -4*l, 2*d + 0*d = -2*l + 58. Does 17 divide d - (4/s)/(-1)?
False
Suppose -2*r - 3075 = -5*r + v, 0 = 4*r + 4*v - 4084. Is r a multiple of 8?
True
Suppose -30 = 7*s - 72. Suppose w = 4*w - s. Suppose -4*l + 25 + 68 = a, w*l = 3*a - 307. Is a a multiple of 24?
False
Let r(i) = -i**3 - 7*i**2 - 8*i - 8. Let p be 1*-7 - 12/(-12). Let w be r(p). Suppose -w*y + y = -60. Is y a multiple of 6?
False
Let h(o) = -2*o + 3. Suppose 0 = -3*q + 5*s + 34, -23 = -q - 0*q + 4*s. Let j be h(q). Let l(n) = -n + 3. Does 2 divide l(j)?
True
Suppose -o + 6*o + 3*v - 200 = 0, v - 200 = -5*o. Suppose -20 = -4*p + o. Is p a multiple of 3?
True
Let s(x) = -x**3 + 8*x**2 + 2*x - 5. Let v = 2 + 2. Let q be 11 - v - 1*-1. Is s(q) a multiple of 11?
True
Let y = 85 - -45. Suppose -17*v = -12*v - y. Is v a multiple of 10?
False
Does 43 divide (9/(-3))/((15/(-441))/5)?
False
Let w(f) = 8*f**2 + 86*f + 9. Is w(-27) a multiple of 17?
True
Suppose 347*c - 398*c + 19890 = 0. Is 6 a factor of c?
True
Suppose 0 = 4*j + j - 20. Let a(x) = -2*x**2 + 3*x - 5*x**3 - 3 + 0*x**3 - 2*x + j*x**3. Does 13 divide a(-4)?
False
Suppose -218 = 8*y - 2234. Is 21 a factor of y?
True
Let f(b) = -2*b**2 - 12*b + 26. Let t be f(-11). Let s be (t/5)/(14/(-105)). Let u = s + -64. Is 31 a fact