ue
Does 13 divide (-1)/4 - (-15353)/52?
False
Let s be 30/(-20) - (-75)/(-6). Let k = 16 + s. Suppose -z = 5*b - 0*z - 226, -k*z = 3*b - 130. Is b a multiple of 13?
False
Suppose 4*z - 3*z = -5. Is 17 a factor of 2/z + (-1342)/(-5)?
False
Let w be (-2 + 2)/(-6 - -7). Suppose -2*v = 4*m - 554, m = v - w*m - 292. Is 13 a factor of v?
False
Let y be 3*((-4)/(-1) + -3). Suppose 0 = 2*q + y*q - 260. Does 18 divide q?
False
Suppose -4*z = -i + 687, -8*i - 2*z + 675 = -7*i. Does 10 divide i?
False
Let k = -130 + 290. Is k a multiple of 20?
True
Suppose 0 = -5*n + 5*p - 40, -2*n - p + 0*p - 28 = 0. Let w(i) = -4*i + 29*i - 16 - 28*i. Does 3 divide w(n)?
False
Let x be (2/2 + -4)*5. Is x*(3 + (-24)/5) a multiple of 14?
False
Suppose -206323 = -60*y + y. Is 13 a factor of y?
True
Suppose 29 = 6*j + 17. Suppose 980 = 9*s - j*s. Is s a multiple of 28?
True
Suppose 51*n = 49*n + 1378. Is 28 a factor of n?
False
Suppose 7*s = -48*s + 218625. Is s a multiple of 167?
False
Suppose -g + 3*x = -11, g - x - 7 = -0*x. Suppose 0 = -5*r + s - 2*s + 172, -r - g*s + 20 = 0. Is r a multiple of 6?
False
Is (0 + (-84)/(-9))/((-22)/(-33)) a multiple of 4?
False
Let h be 1*(5 + -2 - 0). Let w be (184 - 1) + -4 + (-1 - -2). Suppose -w = -h*y - y. Is 14 a factor of y?
False
Let d(n) = -n**3 - 17*n**2 + 17*n - 24. Let m be d(-18). Is 22 a factor of (m + -1 + 2)*(-36)/4?
False
Suppose 5 = 2*g + 3*g. Let t be ((-30)/(-21))/(g/7). Does 14 divide ((-315)/25)/((-3)/t)?
True
Suppose 4*r + j + 14 = -6, 0 = -r + 3*j - 5. Let n(f) = 13*f**2 + 12*f + 10. Is n(r) a multiple of 11?
True
Suppose -128 = -c + 5*t, 88 = c + 2*t + 3*t. Suppose c = s + 2*s. Is 9 a factor of s?
True
Let t(u) be the first derivative of -u**6/360 + 11*u**5/120 + 3*u**4/8 - u**3/3 + 4. Let s(h) be the third derivative of t(h). Is 19 a factor of s(10)?
True
Let p = 26 + -25. Suppose 5*f - 15 = 2*t, 5*t = 5*f - 16 + p. Is f even?
False
Let n be ((-688)/20)/((-2)/(-10)). Let l = -11 - n. Is l a multiple of 22?
False
Suppose -5*h = 2*m - 416, 2*h - 2*m - 111 = 47. Suppose 0 = 4*g - 62 - h. Is 12 a factor of g?
True
Let y(x) = 23*x - 519. Is y(27) a multiple of 7?
False
Let n = -1343 - -2283. Is n a multiple of 94?
True
Suppose 257 = 4*u - 203. Suppose 53 = -2*r + u. Is r a multiple of 3?
False
Suppose 2*w + 1298 = 1406. Is 6 a factor of w?
True
Let g(x) = -x**2 - 7*x + 56. Let d be g(-11). Is 6/(56/d - (-2 - -6)) a multiple of 3?
True
Suppose x = -x + t + 38, -3*t + 84 = 5*x. Is 19 a factor of ((-9)/x)/(2/(-76))?
True
Suppose -11*h + 21345 + 7497 = 0. Is h a multiple of 19?
True
Let r(b) = b**3 - 8*b**2 - 6*b + 4. Is 55 a factor of r(11)?
False
Let s = -1721 + 2876. Is s a multiple of 55?
True
Let u(y) = 1383*y + 11. Is u(1) a multiple of 28?
False
Is 36 a factor of 0 + -1 - (-1 - (204 - -10))?
False
Suppose 5*q + 23 = -17. Is -4*2/q*113/1 a multiple of 29?
False
Let n(d) = -34*d - 188. Does 8 divide n(-6)?
True
Let o be (-25)/(1/(-235)*-5). Is 12/(-102) + o/(-17) a multiple of 19?
False
Suppose -3*g + 43 + 2 = 0. Suppose -5*u + 3*s = -g, 2 = -3*u + s + 7. Suppose 43 = 2*n - 0*n - b, u = -3*n - 3*b + 42. Is n a multiple of 16?
False
Suppose 61 = -3*l - 2*t, -3*l = l + t + 78. Let m = -50 - l. Let n = -25 - m. Is n a multiple of 2?
True
Let b(w) = 2*w**3 - 4. Let d(k) = 3*k - 4. Let r be d(-4). Let p = -12 - r. Does 31 divide b(p)?
True
Suppose -4*m - 2*x = 178, 0*x + 136 = -3*m - x. Let j = m + 75. Is 7 a factor of j?
True
Suppose -4*i = -11*i + 581. Let d = i - 25. Does 7 divide d?
False
Is 49 a factor of 63/12*(6 + (-250)/(-5))?
True
Let w(m) = -3*m**3 - 4*m**2 + 9*m + 36. Is w(-5) a multiple of 19?
True
Let b = 3 + -3. Let n(a) = -a**3 + a**2 + a + 19. Let h be n(b). Let f = h - 14. Does 2 divide f?
False
Let j be (9 - -3)/(-2) - -2. Let g be 12/6*(-10)/j. Suppose 0 = -0*w + 3*w + 9, 3*v + g*w - 15 = 0. Is v a multiple of 3?
False
Let f = -1474 - -1792. Is f a multiple of 53?
True
Let w(f) = -f**3 - f**2 + 5*f + 3. Let z = -6 - -9. Suppose -3*j = 2*x - 9, -2*j - 2 = x + z*x. Is 6 a factor of w(x)?
True
Let j be (1 - 1)*(-2)/4. Let k = 4 + j. Is 15 a factor of 46/k*(1 - -1)?
False
Suppose -164 = 2*l + 4*j - 8*j, 0 = 3*j + 6. Is 19 a factor of -3 + (8 - 1) - l?
False
Let p(q) = 3*q**2 - 27*q + 9. Does 15 divide p(16)?
True
Is (285 - 1) + (-10)/(-5)*2 a multiple of 16?
True
Let p(t) = -3*t**2 - 46*t + 89. Let g(d) = d**2 + 15*d - 30. Let u(n) = 8*g(n) + 3*p(n). Does 12 divide u(-16)?
False
Let k(v) = -4*v + v**3 + 2 - 4*v**2 + 5*v**2 - 4*v**2 + v**2. Does 10 divide k(4)?
False
Suppose -o = 2 - 4. Does 40 divide o/(636/(-320) + 2)?
True
Let b be 5*(0 + 7) + -1. Suppose 0 = 3*n - 5*n - 4*x + 14, 5*n + 5*x = 55. Let u = b - n. Is 19 a factor of u?
True
Let q(m) = -m + 2. Let p be q(5). Let i(b) = -b**3 - 4*b**2 - 2*b. Let a be i(p). Does 21 divide 1*412/((-12)/a)?
False
Let p = 124 - 48. Does 19 divide p?
True
Let y = 3 - -12. Let o(c) = c**2 - 13*c + 12. Let u be o(y). Suppose -3*f - 18 + u = 0. Does 8 divide f?
True
Is 3 a factor of 1162/8 - ((-102)/8 - -13)?
False
Let x = 482 + -413. Does 4 divide x?
False
Let f be (-278)/(-7) - 6/(-21). Suppose 35 = -4*v + 5*v. Suppose 3*l = 2*t + v, f = 4*l - t - 0*t. Is 9 a factor of l?
True
Let k be 2/10 - 126/30. Let y be 25 + -6*k/8. Is 20 a factor of (1 + -2)/((-1)/y)?
False
Let r(j) be the first derivative of -j**7/840 + j**6/45 - j**5/30 + j**4/8 - 8*j**3/3 - 7. Let x(y) be the third derivative of r(y). Does 5 divide x(7)?
False
Suppose 5*s - 5*n = 15261 + 2729, 3*s = 4*n + 10792. Is 25 a factor of s?
True
Suppose 5*n + 919 = -d + 3741, 2*d - 3*n = 5670. Is 59 a factor of d?
True
Let o(n) = 3*n**2 - 7*n + 6. Is o(-9) a multiple of 18?
False
Let o = 11 + -35. Let q = -11 - o. Suppose -3*j = 2*a - 11 - q, -4*j - 19 = -3*a. Does 9 divide a?
True
Let z(k) = -3*k + 44. Is 24 a factor of z(3)?
False
Let j(a) = -a**2 + 3*a - 4. Let v be j(3). Let l be (-6)/(0 - 8/v). Is 19 a factor of (-1)/l - 764/(-12)?
False
Let s be (-2 - (-2 + -1)) + -3 + 0. Does 29 divide (125 - (1 - s)) + -2?
False
Let h = 593 + -233. Suppose l - h = -4*l. Is l a multiple of 6?
True
Suppose y + 6 = p, 4*y + 5*p + 0*p = -60. Let j be (-3)/15 + (-32)/y. Suppose 5*d = j*d + 246. Does 37 divide d?
False
Let v(q) = 7*q**2 + 26*q - 1. Let x(d) = 4*d**2 + 13*d - 1. Let s(w) = -3*v(w) + 5*x(w). Let p be s(-13). Does 5 divide 3/1 - 24/p?
True
Let s(t) = -t**2 - 10*t - 13. Let n be s(-6). Let x(c) = 2*c - 6. Let z be x(n). Suppose z = 3*i + 1. Does 5 divide i?
True
Suppose 5*l - 9 = -4*o + 7, 0 = -3*o + 5*l + 12. Let j(c) = 2*c**3 + 2*c**2 + c - 2. Let p be j(o). Is 15 a factor of (p - 3)/3 - -1?
False
Suppose -x = -16 + 13. Let h(u) = u**3 - 3*u**2 + 2*u. Let w be h(x). Is (-14)/21 - (-364)/w a multiple of 20?
True
Suppose 4*j = 2*j + 80. Let q be ((-7657)/(-143))/19 + (-4)/(-22). Suppose j = q*f + 10. Is f a multiple of 2?
True
Suppose 2*d + 2*d = 8. Let w be (-4)/(-4) + 6/d. Suppose w*a - 210 = -62. Is a a multiple of 14?
False
Suppose 0 = -29*g + 24367 + 1617. Is g a multiple of 34?
False
Suppose 2*a + 31 = -5*r - 9, 0 = r + 4*a + 26. Let l(o) be the first derivative of o**2/2 + 11*o - 7. Is l(r) even?
False
Suppose 117*m = 109*m + 3208. Is 13 a factor of m?
False
Let c(k) = k**3 + k**2 + k - 22. Let b be c(0). Suppose 216 = -n - 3*n + i, 5*i = -3*n - 162. Let m = b - n. Does 8 divide m?
True
Suppose 4*a - a = 4*j + 4612, -a + 2*j + 1534 = 0. Is a a multiple of 8?
True
Let n be (2 + -6)/(-4) - (0 + 1). Suppose n = 2*v - k - 184 + 25, -156 = -2*v + 2*k. Is 3 a factor of v?
True
Let l(a) = -a**3 - 19*a**2 - 24*a - 22. Let s be l(-18). Suppose -y + 5*c + s = y, -2*y + 88 = -4*c. Is 4 a factor of y?
True
Suppose 2*n = -n - 2*v - 13, 4*v = 16. Let f(m) = m**3 + 7*m**2 + 2*m - 2. Let a be f(n). Is (4 - a)/(2 - 1) a multiple of 10?
True
Let r(j) be the first derivative of -j**5/120 + 5*j**4/24 + 5*j**3/3 + 10. Let f(h) be the third derivative of r(h). Is f(-7) a multiple of 6?
True
Let v = -349 + 945. Is v a multiple of 24?
False
Suppose 4*i + 60 - 68 = 0. Suppose -o + 125 = i*p, -o + 4*o = 5*p + 419. Does 17 divide o?
False
Let u(q) = -q**3 - 4*q**2 - 7*q - 8. Let a be u(-6). Is 22 a factor of 3/(-6)*a*-1?
False
Suppose 4*x = 3*x - 20. Let z = -17 - x. Is (-1 + z/2)*190 a multiple of 30?
False
Let d(r) = 4*r**3 - 2*