?
True
Let m = -2107 + 1294. Let u = 375 + m. Is 14 a factor of 6/(-9) - u/9?
False
Suppose 5903 = 8*p - 625. Does 12 divide p?
True
Let r be (932/(-16))/((-3)/12). Suppose -29 = 4*z - r. Is z a multiple of 17?
True
Suppose -12*g + 7861 = -5*g. Is 19 a factor of g?
False
Let k = 28 + -28. Suppose 0*h = 5*h - 360. Suppose k = -4*n + 2*n + h. Does 10 divide n?
False
Let n(r) = r**3 + 28*r**2 - 12*r + 44. Is n(-28) a multiple of 25?
False
Let y(c) = -c**3 - 5*c**2 + 3*c + 2. Let f(i) = i**3 - i + 1. Let s(r) = -2*f(r) - y(r). Let l be s(3). Suppose a = l + 1. Is a a multiple of 12?
True
Suppose 0 = -0*w - 4*w + 5*x - 15, 3*w - 5*x = -15. Suppose -4*a + 15 = a. Suppose 3*d - d - a*p - 84 = 0, -4*d - 5*p + 146 = w. Is d a multiple of 13?
True
Let q(u) be the first derivative of u**2/2 + 22*u + 2. Is 3 a factor of q(-13)?
True
Suppose -3*o = -4*p - 562, 13*o = 11*o + 4*p + 380. Is 7 a factor of o?
True
Let s = 23 + -16. Suppose -330 = -s*m + 2*m. Is m a multiple of 11?
True
Suppose 0 = z + 5*f + 24, 4*f - 3*f = -5*z. Suppose b - 5 + z = 0. Suppose -c - 3*n = -20, b*c = -5*n + 3*n + 80. Is 5 a factor of c?
True
Does 12 divide (-284)/497 - 36464/(-14)?
True
Is 35 a factor of (-16053)/(-9) - (-45)/(-27)?
False
Let r be -166 + (-1 + 4)*12/9. Does 10 divide (-2)/(-3) + 9/(r/(-708))?
True
Is 53 a factor of -7*-1*(83 + -5)?
False
Let c(q) be the third derivative of -q**4 - q**3/3 + 12*q**2. Is c(-1) a multiple of 14?
False
Suppose 19*x - 40 = 27*x. Let w(d) = -2*d + 2. Let h(j) = -3*j + 1. Let p(q) = 7*h(q) - 6*w(q). Is p(x) a multiple of 13?
False
Let i = 2747 - 1456. Does 17 divide i?
False
Let p(s) = s**3 + 13*s**2 + 13*s + 15. Let j(x) = 3*x**3 + 38*x**2 + 40*x + 44. Let t(k) = -3*j(k) + 8*p(k). Let r be t(-8). Is 21 a factor of 4/r - (-470)/6?
False
Let x = 17 + -374. Let j = x + 519. Is 17 a factor of j?
False
Let w = -1341 + 2466. Does 25 divide w?
True
Suppose k = -4*c - 139 + 596, -c = -5*k - 130. Let h = c + -68. Is 18 a factor of h?
False
Suppose s = 4, 2*o - 3*o = -s - 38. Let q = 63 - o. Is q a multiple of 7?
True
Suppose 5*b - 1603 = -3*z, -3*b = 29*z - 25*z - 953. Does 26 divide b?
False
Suppose 0 = 5*r - 471 + 46. Suppose -5*w - 3*b = -2*w + 108, -3*w = -5*b + 68. Let n = r + w. Is n a multiple of 13?
False
Let c(d) = -2*d. Let g(s) = -27*s - 3. Let k(w) = 14*c(w) + 2*g(w). Does 23 divide k(-2)?
False
Let u be 6/8 + (-169)/(-52). Suppose u*l - 34 = 2. Is 2 a factor of l?
False
Let j(f) = -2*f**2 - 11*f + 8. Let s be j(-6). Suppose l + s*l - 5*y - 74 = 0, -142 = -4*l - 2*y. Is 23 a factor of l?
False
Suppose 4*x - p - 3596 = 0, 6*p - 9*p + 12 = 0. Does 100 divide x?
True
Let d(i) = -i**2 - 1. Let m(n) = n**2 - 3*n + 4. Let o be m(2). Let w be d(o). Is 2/w - (-268)/20 a multiple of 13?
True
Let x(j) = -8*j - 80. Let v(g) = g**3 - 15*g**2 + 24*g + 5. Let h be v(13). Is 9 a factor of x(h)?
False
Let c(o) = -7*o**3 + 18*o**2 - 11*o + 21. Let x(q) = 6*q**3 - 17*q**2 + 11*q - 20. Let d(v) = -5*c(v) - 6*x(v). Is d(10) a multiple of 21?
True
Let v(c) = c + 3. Let d be v(-1). Suppose 5*k + 60 = 4*t, 3*t - 75 = -2*t - d*k. Is t a multiple of 6?
False
Suppose -1 = -3*i - 4*x - 2, 21 = i - 4*x. Suppose 0 = 2*h - y - 108, -2*h + 32 = -h + i*y. Does 13 divide h?
True
Suppose -g + 2*w = -500, -3*g - 8*w + 1455 = -5*w. Does 14 divide g?
True
Let l(u) = u**3 - 6*u**2 + 10*u - 6. Let s be l(5). Suppose v + 3*m = 2*v - s, -v - m = 1. Does 9 divide -1 + (30 - 8/v)?
True
Suppose 1938 = 9*f - 429. Let p = f + -89. Does 18 divide p?
False
Let q = -12 + 52. Let l = 105 - q. Suppose j = 6*j - l. Does 13 divide j?
True
Suppose -59 = 4*n + 53. Let w = n - -95. Does 20 divide w?
False
Let f(c) = 7*c - 9. Let v be f(6). Does 7 divide (82/(-6))/((-11)/v)?
False
Let y = -220 - -60. Is -10*(y/25 + 2) a multiple of 22?
True
Suppose 0 = -5*a + 5*q + 40, 2*a + 0*q - 19 = 5*q. Suppose 3*h = a*h - 8. Suppose 0 = 2*b + 3*f, 8 + 6 = b - h*f. Is 3 a factor of b?
True
Suppose 0 = -r + 3*g + 1092, r = 5*r + 3*g - 4308. Does 72 divide r?
True
Suppose -9*q - 16 = -70. Suppose 2*z = 5*s + 214, -3*s = q*z - z - 504. Is 17 a factor of z?
True
Suppose 3*c = 3*n + 2124, 36*c - 41*c + 3568 = 2*n. Is 10 a factor of c?
False
Let z be (108/3)/(-4 + 3). Is (-1125)/z + 2/(-8) a multiple of 11?
False
Suppose -1961*f + 1957*f = -4464. Is 93 a factor of f?
True
Suppose 0*u - 5 = -u. Suppose g = -u*v + 105, 2*v - 75 - 127 = -2*g. Is 20 a factor of g?
True
Let j = 7 + -21. Let m = j - -16. Suppose m*o = -o + 54. Is o a multiple of 6?
True
Let r = -14 + 21. Let l be (6 - r) + 3*1. Does 23 divide l/(-4)*-4 + 44?
True
Let n(f) = -2*f - 13. Let d be n(-10). Suppose 0 = -12*t + d*t + 110. Is 4 a factor of t?
False
Let y be 25/(875/126)*(-20)/(-3). Suppose -660 = -27*r + y*r. Does 55 divide r?
True
Suppose -292*z + 288*z = -c - 4009, 4*z - 4013 = 5*c. Does 6 divide z?
True
Suppose 0*t + 2*b = t + 2, -5*t - b = 10. Is 216/42*42/(-8)*t a multiple of 12?
False
Let m = -2 + -6. Let r = m - -7. Is 26 a factor of 29 + 9 + r/(-1)?
False
Let r = -9 + 10. Let q be r*(-3 - -2) + 1. Suppose k = -0*x + 5*x - 35, 5*x + 3*k - 35 = q. Is x a multiple of 7?
True
Suppose 3*b = 4*p - 2392, 936 + 2059 = 5*p - 5*b. Suppose 2*x + p = 3*c, 217 = 2*c + 5*x - 148. Is 39 a factor of c?
True
Let h(o) = o**3 - 16*o**2 + 14*o + 12. Let l be h(15). Let s be ((-2)/(-2))/(l/(-9)). Suppose 8*b - s*b = 105. Is 7 a factor of b?
True
Suppose 3*w + u = 390, 0*u - 396 = -3*w + u. Is w a multiple of 12?
False
Let r = -50 - -59. Suppose 0 = 9*x - 27 - r. Does 4 divide x?
True
Let k(s) be the first derivative of s**4/4 - 5*s**3/3 + 5*s**2/2 + 5*s + 3. Let r(u) = -u**3 - 6*u**2 - 7*u - 5. Let j be r(-5). Does 10 divide k(j)?
True
Let v = -840 + 1210. Suppose 5*k = -3*f + v - 57, -k + 305 = 3*f. Does 19 divide f?
False
Suppose -3*d + 22 = -5*d + 5*q, -d = 4*q - 15. Let u = d - -7. Suppose 2*a + 180 = u*a. Is a a multiple of 15?
True
Let l(i) be the first derivative of i**5/20 + 5*i**4/3 + 17*i**3/6 + 9*i**2/2 + 2*i + 4. Let b(q) be the first derivative of l(q). Is 13 a factor of b(-19)?
False
Let f = 2194 - 1564. Does 12 divide f?
False
Let m(h) = 2*h**2 + 2*h - 24. Let k = 127 - 134. Is 10 a factor of m(k)?
True
Let r be -3*(-3 - 105/(-9)). Let t(k) = -k**3 - 27*k**2 - 27*k - 5. Is t(r) a multiple of 8?
False
Let r(j) = j**2 - 13*j + 12. Let x be r(12). Let f(s) = -s + 10. Is f(x) a multiple of 4?
False
Let c(u) = u**3 - 11*u**2 + 11*u - 3. Let n(s) = s**3 + s**2 + s + 10. Let m be n(0). Let f be c(m). Let x(t) = t**3 - 7*t**2 + t + 2. Is 9 a factor of x(f)?
True
Suppose 2*a + 77 = 9*a. Is 6 a factor of 100 - -2 - (-14 + a)?
False
Let u = 2 + 3. Does 20 divide -3 + -366*u/(-10)?
True
Let a be (-3 - 1 - -20) + 2. Let x(m) = m + 16. Is x(a) a multiple of 13?
False
Let g = 25 - 14. Suppose 0 = 4*n - 9 - g. Suppose -3*p + 3*l = -69, -96 = -p - 3*p + n*l. Does 19 divide p?
True
Let j(i) = 13*i**2 + i - 15. Let f(x) = 7*x**2 + x - 8. Let n(m) = -7*f(m) + 4*j(m). Suppose -5*s = 12*s - 85. Is n(s) a multiple of 12?
False
Suppose 20 = 5*d + x, -4*d + 5*x - 8 = x. Suppose d*u - 51 = -0*u. Let q = 40 - u. Is q a multiple of 5?
False
Let r(p) be the second derivative of -2*p**3/3 - 15*p**2 - 10*p. Does 5 divide r(-14)?
False
Suppose 5*u + 2*w - 1799 = 0, u - 2*w = -0*w + 355. Is 5 a factor of u?
False
Let v(d) = d**2 + 5*d - 5. Let a be v(-6). Suppose -4*t + 2*t - 6 = -3*o, 4*t = -o + 16. Is 19 a factor of (19 - a) + (t - 2)?
True
Is 6/72*424 + 1/(-3) a multiple of 7?
True
Suppose w + 4*w = 25. Suppose 0 = -0*h + w*h - 180. Suppose 2*p - 3*p + 3*b + h = 0, -3*p = 2*b - 64. Is 6 a factor of p?
True
Suppose -5*m + m + 3*y = -12, -5*m + 8 = -2*y. Suppose m = -4*t + 3*t + 18. Is t a multiple of 6?
True
Does 79 divide 1277 - (-4 - (2 + 1))?
False
Is 9 a factor of (-2 - -1)/(-4 + (-7398)/(-1850))?
False
Suppose 0 = -2*v + 8. Suppose -4*r = -4*c - 80, v*r + 2*c + 22 = 5*r. Is r even?
True
Let u(r) be the first derivative of r**3/3 - 5*r**2 + 11*r + 9. Let k be u(9). Suppose k*m = 3*m - 54. Is 27 a factor of m?
True
Suppose i = 3*i - 164. Let g = i + -2. Is g a multiple of 20?
True
Let q = 2 - 23. Let p = q - -34. Suppose 16*f - p*f - 87 = 0. Does 29 divide f?
True
Let b be (-8)/(-6)*6/4. Let k(s) = 7*s**2 + s**3 + 0*s**b - 5 - s - 3*s. Does 23 divide k(-7)?
Tr