04))/(1/(-138))?
False
Is 3 a factor of 4/18 - (23536/(-36) - 0)?
True
Let s(z) = -4 - 4 - 3*z - 3*z - 3. Is 3 a factor of s(-4)?
False
Let q be 276/(-9)*3/2. Let w = -27 - q. Does 19 divide w?
True
Suppose -27*v - 2*v + 10527 = 0. Is v a multiple of 7?
False
Let x(w) = -5*w - 5. Let c be x(-2). Suppose 0 = 2*n + c*z - 64, 160 = 3*n + 2*n - 4*z. Suppose -3*y = 2*o - 16, -4*o = -4*y + n - 4. Is 6 a factor of y?
True
Let p = 1628 - 824. Is p a multiple of 90?
False
Let v(x) = -x**3 + 12*x**2 - 8*x + 9. Let j(s) = -s**3 + 12*s**2 - 8*s + 9. Let y(r) = 6*j(r) - 5*v(r). Is y(11) a multiple of 21?
True
Let r be ((-12)/9)/(4/48). Let n = -11 - r. Suppose n*b + 17 + 54 = q, -4*q + 300 = -4*b. Is 14 a factor of q?
False
Suppose -130*j + 142*j - 11616 = 0. Is j a multiple of 39?
False
Let j(v) = 14*v - 4 + v**2 - 8*v + 3*v. Is 16 a factor of j(4)?
True
Suppose 26*l - 10327 = 13125. Is l a multiple of 18?
False
Let d(z) be the first derivative of 17*z**2/2 - 26*z + 14. Is d(10) a multiple of 18?
True
Suppose 6*m + 21 = 7*m. Let h = m - -32. Is h a multiple of 49?
False
Let b = -53 + 56. Suppose 0*v = -2*v + 4*l + 224, -b*v - 5*l + 380 = 0. Is 10 a factor of v?
True
Let k be (1/(-2))/(7/(-8974)). Let o = -445 + k. Suppose o = 3*x + 4. Is x a multiple of 16?
True
Suppose -2*k - 5*w - 11535 = -7*k, -3*k + 2*w = -6924. Suppose -19*x + k = -9*x. Is x a multiple of 21?
True
Suppose -2*k - 1 = -r + 3, -2*r = -k - 5. Suppose r*y - 6 = 24. Is 15 a factor of y?
True
Suppose 3*c = -3*z - 174 + 2805, -2*c = -2*z - 1734. Does 11 divide c?
False
Suppose 6*c = 2258 + 7612. Does 35 divide c?
True
Let o = -10 - -12. Suppose -5*t - 25 = -3*x, 3*x - 15 = -o*x + 3*t. Let i(r) = r**2 + r + 16. Does 9 divide i(x)?
False
Let x(p) = 19*p**2 + 3*p - 30*p**2 - 32 + p + 12*p**2. Is x(-14) a multiple of 46?
False
Let z(x) = -x**3 + 13*x**2 - 5*x - 19. Is 65 a factor of z(12)?
True
Let f = 419 - 198. Suppose 13*v = 299 + f. Does 8 divide v?
True
Let k be -2*((-68)/24 + (-3)/(-9)). Suppose 2*q + 0*q + b - 115 = 0, b = k. Is 4 a factor of q?
False
Let r(a) be the first derivative of -a**4/4 + 2*a**3/3 - a**2 + a - 3. Let y be r(1). Suppose 5*t - 85 = -3*k - k, y = -2*k - 10. Is t a multiple of 7?
True
Let z(n) = -n**2 - 4*n + 1. Let p be z(-5). Let h = -2 - p. Suppose -5*d = -25, 1 = -2*j + h*d + 91. Is j a multiple of 10?
True
Suppose -3*y + 80 = d, 3*d = 8*d - 2*y - 332. Is 17 a factor of d?
True
Suppose 0 = 3*m - b - 1009, -4*m + 5*b = 8*b - 1354. Let k = m + -167. Does 34 divide k?
True
Does 14 divide (-4)/(-2)*1101 + -6?
False
Suppose 70 = -4*a - 2*u, -2*a - 25 = -2*u - 5. Let y = 33 - a. Does 12 divide y?
True
Let k(r) = r**3 + 25*r**2 + 54*r - 38. Is k(-18) a multiple of 17?
True
Suppose 4*g + 0*g = -5*p + 393, 150 = 2*p - 2*g. Suppose -p = 2*r - 3*r - 3*n, -3*r - 3*n = -207. Is r a multiple of 30?
False
Suppose 2*n + c - 648 = 0, -5*n + 535 = 3*c - 1085. Does 27 divide n?
True
Suppose 2557 = 5*d + 807. Suppose 2*s = -2*v + 5*v + d, 2*s + v - 350 = 0. Is 17 a factor of s?
False
Let j(r) = 3*r + 3 - 5*r + 6 - 1. Let z be j(3). Suppose -36 = z*c - 166. Is c a multiple of 13?
True
Let r(f) = 3*f - 19. Let u be r(7). Let w(m) = m**2 - 10*m - 9. Let o be w(11). Suppose o*l + 75 = 3*i, 2*i + 2 - 42 = -u*l. Does 23 divide i?
True
Let c(u) = 2*u + 29. Let v be (-4)/7 + 30/(-70). Let r(f) = -2*f - 2. Let m be r(v). Is c(m) a multiple of 20?
False
Let b = 29 - 21. Let j = 11 + b. Suppose -3*f + 3 = -2*i - j, i = 2*f - 14. Is 2 a factor of f?
True
Suppose 39 + 6 = 3*y. Does 34 divide (y/9 - 2) + 3031/21?
False
Suppose -q + 3*q - 34 = -5*p, 2 = q. Let r(x) = 2*x + 18. Let b be r(6). Is 27 a factor of 1212/15 + p/b?
True
Let g = -546 + 567. Is 3 a factor of g?
True
Let u = -78 - -80. Let t be (-2)/4 + 7509/(-6). Does 16 divide t/(-26) + u/(-13)?
True
Suppose 3*q - 6*q = -12. Suppose -5*t - q*u = -218, 4*t = 3*t - 5*u + 31. Does 11 divide t?
False
Suppose m + r = -8, 3*m + 5*r - 15 + 49 = 0. Let d(t) = -2*t - 2. Let n be d(m). Suppose b - 1 - 11 = -y, 3*b + n*y = 31. Is b a multiple of 8?
False
Suppose x - 797 = 2*i - 255, -4*x - 4*i + 2168 = 0. Is x a multiple of 5?
False
Suppose 2*s - 2*g + 18 = 0, 0*s + 36 = -4*s - 4*g. Let q(h) = -h**3 - 8*h**2 - 5*h + 2. Let u be q(s). Suppose u = 2*c + 2*c. Does 21 divide c?
False
Suppose 67*p - 113344 = -10*p. Does 9 divide p?
False
Suppose -5*i + 721 = -294. Let h = -54 + i. Suppose 0 = 2*p - a - 59, -p + 4*a + h = 4*p. Is p a multiple of 9?
False
Suppose 5*n + 4*r - 6341 = 0, -2*n + 3*n - 5*r - 1274 = 0. Is 9 a factor of n?
True
Let j(q) = 5*q + 29. Does 7 divide j(-3)?
True
Let b be ((-4)/((-3)/(-3)))/(-2). Suppose -z - b*z = 0. Suppose -4*j - 2*f + 366 = z, 10 = -3*f + 1. Is j a multiple of 25?
False
Let u be (108/(-42))/((-3)/(-14)). Let d(w) = w**3 + 13*w**2 + 13*w + 15. Let h be d(u). Suppose -18 = -2*p + z, h = 2*p - 3*z - 15. Is p a multiple of 5?
False
Let l be (4*3 + -3)*1 - -1. Suppose 5*i = l*i - 660. Does 14 divide i?
False
Suppose -760 = -2*y - 3*d, 2*y + 37 - 797 = 5*d. Is y a multiple of 10?
True
Let b be (-224)/70 - (-2)/10. Let s(o) = -o**3 - 3*o**2 + 5. Is s(b) a multiple of 4?
False
Suppose -5*t + 8 = u - 3*t, 4*u + 4*t = 24. Let f(i) = -u*i - 3*i - 12*i + 3 - 2*i. Does 15 divide f(-2)?
True
Let y = -21 + 532. Is y a multiple of 73?
True
Let q be 61 - (0 + 1 - 1). Suppose -39 = -4*f + q. Is f a multiple of 5?
True
Let l = -253 + 333. Is 13 a factor of l?
False
Let v(m) = -m**2 - 11*m + 6. Suppose 2*u - 5*a + 28 = -u, 5*a = -5. Is v(u) a multiple of 2?
True
Suppose -13999 = 30*c - 59359. Is 8 a factor of c?
True
Let o = -59 - -99. Suppose 0 = 5*j - 2*t + 47, -5*j - 2*t = -6*j - 3. Let n = o - j. Is 23 a factor of n?
False
Let y = -52 + 42. Is (-285)/y*4/6 a multiple of 8?
False
Suppose 0 = 4*y - 20, -2*g - 11*y + 6*y + 1285 = 0. Does 63 divide g?
True
Suppose 5*i - 10 = -85. Let k = -12 - i. Suppose 2*p - 283 = -5*d, 6*d + 4*p = k*d + 167. Is 15 a factor of d?
False
Let s = 215 - 262. Suppose 252 = 3*p - 3*x, -p - 4*x = -2*x - 90. Let d = p + s. Does 13 divide d?
True
Let t = 2615 - 1430. Does 15 divide t?
True
Suppose 4*g + f = 1760, 148 = g + 2*f - 299. Is 34 a factor of g?
False
Let i(c) = 2*c**2 + c + 6. Suppose -8*q + 13*q - 125 = 0. Let d = q + -21. Does 14 divide i(d)?
True
Let y(r) = r**3 + 14*r**2 + 20*r + 8. Does 29 divide y(-8)?
True
Let p(m) = 76*m - 76. Is 6 a factor of p(4)?
True
Let v(c) = c - 1. Let o be v(5). Suppose 126 = 7*g - o*g. Let q = g + -14. Is 4 a factor of q?
True
Suppose -4 = l, -4*y + l + 4028 = 6*l. Is 22 a factor of y?
True
Let p be 2 + 0 + (-1 - -3). Is (-2)/p*13/((-91)/112) a multiple of 7?
False
Let y = 8 - 4. Suppose 0 = -2*n - t + 41, n - 32 = y*t + 2. Is n a multiple of 11?
True
Suppose -5*z - 317 = -2*y - 46, 3*z = -3*y + 354. Does 5 divide y?
False
Let z(m) be the third derivative of -m**5/60 + 29*m**4/24 - 25*m**3/6 - 28*m**2. Is 5 a factor of z(25)?
True
Let c be (-2)/(-2)*(0 - -55). Suppose 2*j + 3*j - c = 0. Let s = j + 1. Is s a multiple of 6?
True
Is -42*((-4)/(-6))/((-3)/90) a multiple of 12?
True
Let n(i) = i**3 + 4*i**2 + 4*i + 3. Let d be n(-2). Let j be d/(-21) - (-318)/21. Suppose 3*l - j = -m - 0*l, -3*l - 90 = -4*m. Does 7 divide m?
True
Let c be -6 + 1 + 3 + 6. Suppose c*g = 11 + 9. Is 8 a factor of 110/(-33)*(-12)/g?
True
Let s(q) = q**3 - 10*q**2 + 6*q - 1. Let a be s(9). Let o = -33 - a. Let x(k) = k**3 + 7*k**2 + 7*k + 5. Is x(o) a multiple of 20?
True
Let t(j) = -j**2 - j. Let y be t(-2). Does 18 divide (0 - y - 5)/((-2)/84)?
True
Suppose -4*h = h. Suppose h = -2*k - 0*k + 92. Let r = k - 4. Is r a multiple of 14?
True
Let k = 35 - 51. Let x = k + 14. Is 9 a factor of x/4 - 91/(-2)?
True
Suppose -20 + 5 = 5*n, 3*q - n = -60. Let x = -21 - q. Suppose x*y + 3*y - 39 = 0. Does 8 divide y?
False
Does 16 divide -28*1*(-6 + 2)?
True
Let s = 247 + 124. Let t = s + -77. Is 7 a factor of t/21 - (-1 - -1)?
True
Let k = 405 + -28. Is 5 a factor of k?
False
Let k = -336 - -592. Suppose 0 = 5*c + 4*x - k, -2*c = c + 5*x - 164. Is 12 a factor of c?
True
Let k(r) = -9*r**3 - 5*r**2. Let m(t) = -4*t**3 - 2*t**2. Let l(x) = 3*k(x) - 7*m(x). Let s be l(1). Suppose -3*q - 57 + 192 = s. Is q a multiple of 25?
False
Let f be -6 + (-120)/(-21) + 912/7. Let p(z) = z**3 + 3*z**2 - 4*z - 1. L