ppose 0*x + 5*x + 5*m - 120 = 0, o*m = -x + 16. Let w = x + -18. Is 9 a factor of w?
False
Let i(a) = -a - 8 - 2*a + 9*a**2 + 7*a. Is 6 a factor of i(2)?
True
Let o(l) = -18*l - 17 - 1 - 5*l**3 - 8*l**2 + 14*l**3 - 10*l**3. Is 21 a factor of o(-8)?
True
Let i(j) be the third derivative of -j**6/120 - j**5/10 + 3*j**4/8 + 7*j**3/6 - 36*j**2. Let o = -3 + -5. Is i(o) a multiple of 18?
False
Let s(l) = 10 - 2 - 4*l - l - 4*l. Let q(j) = 44*j - 41. Let p(x) = -2*q(x) - 11*s(x). Does 19 divide p(4)?
True
Is 73 a factor of 4 - -833 - (-2 + 3)?
False
Suppose 26*v = 31*v - 95. Suppose v = -d + 115. Is d a multiple of 16?
True
Let l = 326 + 84. Is 10 a factor of l?
True
Suppose d + 13 = 2*k, 3*d = 8*d + 2*k + 5. Is 4 a factor of ((42/2)/d)/((-2)/10)?
False
Suppose 0*j = 3*n - 5*j + 10, 2*n - 5*j + 10 = 0. Suppose n*x - 528 = -4*x. Is x a multiple of 20?
False
Suppose -2*f + 5*g = -93, -20 = 5*g + 5. Is 12 a factor of f?
False
Let c(j) = j**2 + 2*j - 12. Let p be c(-5). Suppose z + 2*o - 122 = 0, -2*z - p*o + 53 = -186. Does 28 divide z?
True
Suppose p + 0*p + 170 = -5*v, 3*p + 510 = -3*v. Let i = 46 - p. Suppose -2*m + 54 = r + 2*m, -4*r + i = m. Is r a multiple of 27?
True
Let i = 1679 + 115. Is i a multiple of 69?
True
Let p = -14 + 8. Let j = p - -6. Suppose j*n + 3*n - 60 = 0. Does 10 divide n?
True
Suppose 0*q = -q - 3. Let k = 14 + q. Suppose 2*u + 3*u - 5*w = 135, -3*w + k = u. Does 23 divide u?
True
Suppose -12*o = -17*o - 100. Does 6 divide ((-18)/(-15)*-3)/(3/o)?
True
Let f be 4*3/12*-7. Let y(n) = 8 + 4*n + 9 - 6*n**2 - n**3 - 24. Is y(f) a multiple of 4?
False
Let p(w) = 188*w**2 - 15*w - 16. Does 6 divide p(-1)?
False
Suppose 4*k + 219 = x - 1853, 0 = -2*x + 4*k + 4148. Is 25 a factor of x?
False
Let p = -2278 - -2981. Is p a multiple of 7?
False
Let g = -39 + 11. Let l = g + 76. Does 24 divide l?
True
Suppose 0 = -325*o + 320*o + 975. Is 15 a factor of o?
True
Suppose -5*f + 23 - 3 = 0. Suppose 2*s = o + f, o + 2*s = -2*o + 12. Suppose -4*y + o*y = -40. Is 4 a factor of y?
True
Is (-1*364/(-21))/((-4)/(-54)) a multiple of 6?
True
Let d(b) = -b**3 - 8*b**2 + 11*b + 6. Let u be (6 + -11)/(1/2). Is 24 a factor of d(u)?
True
Suppose 4*u - x + 5*x + 532 = 0, -5*x = -3*u - 391. Let k = u - -192. Is 12 a factor of k?
True
Suppose q - 34 = 3*y, 9 = -5*y + 2*y. Suppose 0 = -q*c + 28*c - 102. Is c a multiple of 17?
True
Suppose 3*c + 35 = -2*c. Let o(f) = -f**3 - 4*f**2 + 5*f - 4. Let s be o(c). Suppose b - s = -2*b. Is b a multiple of 28?
False
Let w be 2/4*-2 - -3. Suppose 4*f + 3*g = 37, -w*f - 5*g + 22 = -f. Is f a multiple of 4?
False
Let b = 5 + -8. Let k be (-2)/4*2 - b. Suppose -114 = -m - k*m. Is m a multiple of 19?
True
Let h(v) = -v + 7. Let j be h(4). Suppose -4*y = z - 2*z - 129, -j*y - 2*z = -94. Does 32 divide y?
True
Let x(h) be the third derivative of h**5/30 - 7*h**4/24 + 5*h**3/6 - 21*h**2. Is x(5) a multiple of 5?
True
Suppose 0*k - 3*g + 30 = 3*k, 5*k - 18 = 3*g. Suppose 0 = k*p - 4*p - 22. Let j = p - -41. Is 10 a factor of j?
False
Let o = 23 - 19. Suppose -4*x - 4*r = 0, o*x + 0*x - 3*r - 28 = 0. Suppose -d + x = -23. Does 10 divide d?
False
Let j = -570 - -1279. Is j a multiple of 19?
False
Suppose -20 = -2*s - 4*u + 2*u, 4*u - 16 = 0. Let j be s/(-2) + (-7)/(-1). Suppose -91 = -j*o - f, -5*f = -0*f + 25. Is 12 a factor of o?
True
Let g(v) = -2*v - 1. Let d(j) = 5*j + 1. Let n(x) = -3*d(x) - 7*g(x). Let i be n(2). Suppose -6 = i*c, -4*w + 0 + 258 = -2*c. Is 13 a factor of w?
False
Suppose -3*l = -t - 7, 7 = -2*t - 3*t + l. Let z be (-1)/(-1) + 8 - t. Suppose 2*w - 30 = z. Does 11 divide w?
False
Let k(j) = -11*j + 16. Let c be k(10). Let d = 118 + c. Is d a multiple of 3?
True
Suppose -28*r + 4368 = -12*r. Is 29 a factor of r?
False
Is 14 a factor of -17241*7/(-105) + (-3)/(-5)?
False
Suppose -29*c + 6193 = 393. Does 50 divide c?
True
Let a(m) be the second derivative of -m**4/12 - 4*m**3/3 - 2*m**2 - 8*m. Let q be a(-5). Let i(l) = -l**2 + 12*l + 25. Is i(q) a multiple of 6?
True
Suppose -9*o = -1361 - 4390. Is o a multiple of 8?
False
Suppose 0*i = -2*p - 3*i + 12, i - 11 = -3*p. Suppose 0*a + 16 = 4*a + p*c, -5*a + 4*c = -20. Does 3 divide (3/7)/(a/28)?
True
Suppose 3*s + 390 = -3*s. Let f = 116 + s. Is f a multiple of 12?
False
Let i(w) be the second derivative of w**3/3 + 13*w**2/2 - 35*w. Is i(6) a multiple of 21?
False
Let c(q) = 162*q**2 + 4*q + 2. Is 32 a factor of c(3)?
True
Let c(k) = 2 + 2 - 5*k + 0. Let x be (-8)/2 - (2 + (0 - 2)). Is c(x) a multiple of 9?
False
Let z be (-282)/(-18) + 4/3. Let i(c) = 11*c - 38. Is i(z) a multiple of 13?
False
Let n = 1032 + -396. Does 75 divide n?
False
Suppose -4*b - 3503 = -3*t, -5*t + 5842 = 3*b - 6*b. Is t a multiple of 70?
False
Suppose -5*p - i = -123, -3*i - 3 = -4*i. Let m be (2/6)/(1/p). Suppose -2*j = -32 - m. Does 17 divide j?
False
Let j be ((-1)/(-2) + -2)/(9/(-24)). Let m(n) = 9*n - 1. Does 32 divide m(j)?
False
Suppose 0 = 2*o + 3*f - 370, -2*f + 616 = 4*o - 116. Let g = o + -99. Is g a multiple of 10?
False
Let r(h) = -h**3 + 5*h**2 - h. Let n be r(5). Let b(f) = 2*f**2 + f - 6. Let u be b(n). Suppose -5*t = -w - u, -4*t + 22 + 26 = -5*w. Is t a multiple of 7?
True
Let j = 8 - 6. Let f be 3 - (-145 - 6/(-3)). Suppose 5*h + f = j*t, t - 197 = -2*t + 2*h. Is 15 a factor of t?
False
Let j = -59 + 60. Suppose 8*h + j = 89. Is h a multiple of 11?
True
Suppose -3*w - 6 = -2*h, 3*h = -0*h + 2*w - 1. Is (-60)/h + (-32)/8 a multiple of 8?
True
Does 81 divide (-1865)/(-2)*(0 + 14 + -12)?
False
Suppose 4*f = -21*f + 25900. Is 7 a factor of f?
True
Let y(g) = g**3 + 10*g**2 - 11*g - 1. Let u be y(-11). Is 22 a factor of (-2)/(-4*u/(-482))?
False
Let i be 1/1*0/(12/4). Let l = 10 - -15. Suppose t + 3*w - l = i, -2*t - w + 51 = t. Does 8 divide t?
True
Let o(u) = 8*u**3 - 4*u**2 + 2*u + 4. Is o(3) a multiple of 18?
False
Let b be (4 - 8)/((-4)/(-6)). Let f be (2/(-3))/(b/18). Suppose 4*a - f*a - 62 = 0. Is a a multiple of 9?
False
Let z be (-3)/2*(363 + -3)/(-5). Suppose 4*g - 3*r - 57 = 2*g, 0 = -3*g - 3*r + z. Does 19 divide g?
False
Suppose f - 27 = -2*x, 3*f - 4*x - 16 - 15 = 0. Let y = -13 + f. Is ((-3)/y)/((-3)/60) a multiple of 7?
False
Let r(x) = -2*x**2 + 23*x - 8. Does 3 divide r(10)?
False
Suppose 6*q - 1638 = -33*q. Does 10 divide q?
False
Suppose 5*t = -h + 3, -t = -6*t - 2*h + 1. Does 3 divide 9 + -13 + 39*t?
False
Let b(l) = -6*l**3 + l**2 - 3*l - 2. Does 7 divide b(-1)?
False
Suppose 5*y - 5 = -2*q + 107, -q = -3*y - 67. Does 23 divide q?
False
Let d be (-2 + (-16)/(-6))*12. Suppose -2*s - d = 0, -5*s - 2 = -k + 13. Let m = 3 - k. Is m a multiple of 7?
False
Suppose y + 130 = 3*y + 4*r, 5*y = -3*r + 360. Suppose -4*d + 13 = -y. Is d a multiple of 11?
True
Does 19 divide ((-33)/(-18))/(-11) + (-8211)/(-18)?
True
Suppose -4*x + 3*x - 4*w + 60 = 0, 4*x + 5*w - 262 = 0. Is x a multiple of 5?
False
Suppose -20 = -5*m - 0*m. Let n(a) = 5*a**2 + 2*a - 7. Let x be n(2). Suppose -m = w - x. Is 13 a factor of w?
True
Suppose -4*f = 170*q - 167*q - 8913, 4*q = f - 2252. Does 65 divide f?
False
Suppose 3*c + 80 = 680. Let s be c/3 + (-2)/(-6). Suppose 55 = 3*v - 2*k - 94, -v + 5*k + s = 0. Is 20 a factor of v?
False
Suppose h - 83 + 25 = 0. Suppose 62 + h = 4*l. Suppose -3*u + l = -u. Does 11 divide u?
False
Let j = -25 - -43. Is 3 a factor of (0 + -1)/(j/(-72))?
False
Is 4 a factor of 3*12/(-9) + 44?
True
Suppose 0 = 2*l + 3 - 5, 0 = -5*a + 2*l - 2. Let w be ((-2)/4)/(-1)*356. Suppose -3*s + w + 38 = a. Is 18 a factor of s?
True
Let g(u) = 2*u - 10. Let x be g(5). Let l be (-3 - x)/((-39)/(-26)). Does 13 divide (-41 - 0)/(l/2)?
False
Let n = 21 - 1. Suppose 0 = 4*r - n, 0 = 2*m - r - r - 26. Let g = m + -9. Does 3 divide g?
True
Suppose -z = 15 - 0. Suppose 2*d = 2*p - p - 9, 4*p - 5*d = 48. Let l = p + z. Is l even?
True
Suppose 12*z = 8*z - 4, 5*z = 5*w - 8580. Is w a multiple of 59?
False
Let f be (3 + -2)/3*(-2 - 1). Is 17 a factor of (-490)/(-30) + f/(3/(-2))?
True
Let x be 2/5 - (-44)/(-10). Is 12306/147 - x/14 a multiple of 7?
True
Let j(q) be the first derivative of q**3/3 - 7*q**2/2 - 8*q - 13. Is j(13) a multiple of 10?
True
Let j(q) = 4*q**3 - 9*q**2 + 6*q - 11. Let r(w) = w**3 - w. Let v(b) = -j(b) + 3*r(b). Let z be v(8). Suppose 5*o - 87 = -z*p, -2*p 