e
Let j be (-51)/15 - (-2)/5. Let w be (j - -3)/(2 + 1). Is 10 a factor of -3 - ((-39)/3 - w)?
True
Let y = 14 + -12. Suppose -2*q + 3*b = -60, -3*q + 30 = -y*q + 2*b. Is q a multiple of 8?
False
Let s = 30 - 14. Let w(z) = -z - 6. Let q be w(-6). Suppose -3*v + 32 + s = q. Does 8 divide v?
True
Suppose -2*n = -3*n + 44. Does 4 divide n?
True
Suppose b - 1 = p - 9, -b + 16 = p. Does 12 divide p?
True
Suppose 0*l + 52 = l - 2*a, 4*l + 2*a - 208 = 0. Suppose 2*t = 3*i + 152, t = -0*i - 2*i + 69. Let q = t - l. Is q a multiple of 12?
False
Let h = 7 + 24. Let y = h - 20. Is 11 a factor of y?
True
Suppose -4 - 104 = -6*a. Does 9 divide a?
True
Does 59 divide (-355)/(-6) - 6/36?
True
Suppose -3*s = -2*s. Suppose z + 4*n + 0*n - 19 = s, -3*n + 2 = -z. Is z a multiple of 6?
False
Suppose -3*h - 2*h + 25 = 0. Let a = -1 + h. Suppose 5*r - 3*v - 2*v = 170, -r - a*v = -54. Is 19 a factor of r?
True
Is 21 a factor of (-1 - (-40 - 0))/((-5)/(-35))?
True
Let m be (1 - 5)*1/1. Let a be m/(-16) + (-119)/(-4). Suppose f + a = 4*f. Is f a multiple of 5?
True
Let x(u) = u**3 - 7*u**2 - 8*u + 1. Let m be x(8). Is 13 a factor of (m + -5)/(2/(-13))?
True
Suppose -5*f + 24 + 16 = 0. Is 4 a factor of 6/2 + f/4?
False
Suppose z + 240 = 9*z. Is z a multiple of 3?
True
Suppose 2*k + 8 = 0, 0 = -0*c - c - 4*k - 11. Let r = c - -25. Does 15 divide r?
True
Suppose 3*r + 696 = 4*c - r, 3*c = 2*r + 525. Suppose c + 71 = 4*b. Suppose 3*a + 36 = 3*x + a, -4*x - 2*a = -b. Does 7 divide x?
True
Suppose 7 = 2*w - 3. Suppose g + w*r = 5*g - 33, -g - 5*r = -2. Is g a multiple of 4?
False
Does 34 divide (-6*3/(-12))/(2/52)?
False
Let w(g) = 9*g**3 - 4*g**2 - g - 1. Is w(3) a multiple of 29?
True
Let b be (-1 - 4)*(-4)/10. Suppose -3*x + 25 = b*x, -2*r + 10 = 4*x. Is 7 a factor of -5*(-7)/r*-1?
True
Let m = 2 - -5. Suppose -5*w = -23 - m. Let t(o) = o**2 - 2*o + 3. Is 11 a factor of t(w)?
False
Let v = -7 + 17. Is 4 a factor of v?
False
Suppose 3*x - 24 = -3*o + 3, -x + 61 = 5*o. Does 3 divide o?
False
Suppose q - 28 = -3*q. Suppose 3*r - 21 = -3*s, 2*r - s - q = -2. Suppose -r*d - 5*p = -80, -2*d = 2*p - 25 - 15. Does 20 divide d?
True
Let o = 20 - 14. Let b = o + -3. Suppose 2*l - b*k = 8 + 17, 4*l + 2*k = 58. Is l a multiple of 14?
True
Does 9 divide 4 + 0 - (-2 + -6)?
False
Let s(t) = 9 + t**3 + 5*t**2 + 13*t**2 + 10*t - 7*t**2. Is s(-10) a multiple of 9?
True
Suppose -w + 56 = 2*d, 5*w - 5*d - 276 = w. Is 8 a factor of w?
True
Let q = 11 + 28. Is 4 a factor of q?
False
Suppose -5*g - 17 = -2*y + 9, 6 = -2*y - 3*g. Suppose y*q - 86 = -w, 24 = q + 6*w - w. Is 16 a factor of q?
False
Suppose 0 = -3*j + 2 + 1. Is (-2 - j)*(-34)/2 a multiple of 16?
False
Suppose 32 = 5*z - 4*z. Is z a multiple of 4?
True
Let p = -171 - -261. Is p a multiple of 30?
True
Let t(p) = p**2 + 4*p + 5. Let a be t(-4). Let h(s) = 2 - 1 - a*s**2 - 2 + 6*s**2. Does 3 divide h(3)?
False
Let h(j) = j**2 - 5*j + 18. Is h(7) even?
True
Let l be -1 - ((-3)/(-1))/(-3). Suppose -2*c + t = 0, -4*c + t = -l*c + 2. Is 3 a factor of c/3 - 95/(-15)?
True
Let n(u) = -17*u**3 + 4*u + 6. Does 13 divide n(-3)?
False
Let x = -30 - -78. Does 6 divide x?
True
Suppose 5*j + 5*m = 320, -j + 0*m = 5*m - 76. Does 46 divide j?
False
Suppose 59 = 4*f - 49. Is (9/f)/(1/78) a multiple of 9?
False
Let f(g) be the second derivative of -g**5/20 + g**4/3 + 7*g**3/6 + g**2 + 4*g. Is f(5) a multiple of 4?
True
Let w(z) = z - 1. Let q(k) = 7*k + 4. Let j(o) = -q(o) + 6*w(o). Let r be j(-5). Let x = r - -13. Is x a multiple of 4?
True
Suppose -3*j = -2*j - 87. Let r = j + -58. Is 14 a factor of r?
False
Suppose p = -7 - 8. Let o = 21 + p. Is o/(-21) + 426/21 a multiple of 20?
True
Suppose -31 = -3*d + 44. Suppose -2*q - 7 = -d. Does 4 divide q?
False
Suppose -653 = 2*m - 197. Is m/(-24) - (-1)/2 a multiple of 4?
False
Let d(a) = 2*a**3 + 23*a**2 + 7*a - 5. Is d(-11) a multiple of 29?
False
Let v be (-1)/(-3) - (-45)/27. Suppose 0*k + 36 = v*k. Is k a multiple of 9?
True
Let r(b) be the second derivative of -2*b**3/3 + 2*b**2 - 6*b. Is r(-5) a multiple of 24?
True
Let m = -51 + 87. Does 12 divide m?
True
Suppose -16 = -t + 3*t. Let s(f) = 2*f**2 - f - 3. Let l be s(t). Suppose -9 = 4*r - l. Is 11 a factor of r?
False
Suppose u + 3*b - 21 = 0, 45 = 5*u + 3*b - 0*b. Does 2 divide u?
True
Let g(c) = c**2 + 7*c + 7. Let x be g(-6). Let r(z) = 20*z**2 - z. Let s be r(x). Let n = 11 + s. Does 18 divide n?
False
Suppose -1 = -5*x + 19. Suppose q - x*v = -2*v + 27, 0 = q + v - 36. Is 15 a factor of q?
False
Let c(p) = -2*p**3 - 3*p**2 + 3*p + 2. Let u be (0 + (0 - -1))*-3. Does 20 divide c(u)?
True
Suppose -4*g = -2*x + 574, -4*x = x + 5*g - 1375. Suppose -3*j + x = 2*j - 4*c, -79 = -j - 5*c. Is j a multiple of 16?
False
Let v be (-2)/2 + (0 - 3). Let g be v*((-1)/(-1) - 2). Let i = g + 2. Is 3 a factor of i?
True
Suppose 5*w - 60 = -5*n, -3*w + 8 + 0 = n. Suppose l + 2*b - 11 = 5*b, 2*l - 20 = 4*b. Suppose -j = -n - l. Does 17 divide j?
False
Let a be -2*1/2 + 5. Suppose -3*r = -a*r + 28. Does 14 divide r?
True
Suppose -4*m = -9*m - 25. Let r = m - -19. Is r a multiple of 6?
False
Suppose 5*u - 15 + 5 = 0. Let p(c) = 4*c**3 + 3*c**2 - 2. Is 14 a factor of p(u)?
True
Let i(y) = -y**3 + 2 - y**2 - 1 + 2 + 2*y**2 + 3*y. Is 17 a factor of i(-3)?
False
Suppose -a + 2*q + 101 = 0, 6*a - 5*q - 300 = 3*a. Does 19 divide a?
True
Suppose 20 = -0*m + 4*m. Suppose 5*p - 15 = m*z, 8*p = 5*p - 3*z - 3. Let o(j) = 27*j - 1. Is 13 a factor of o(p)?
True
Let c = 160 + -114. Does 11 divide c?
False
Let j(n) = -22*n + 12. Is 20 a factor of j(-4)?
True
Suppose 5*r - 3*r = 6. Suppose -5*p - d - 1 = 1, -5*p = -r*d - 6. Suppose -u + 3*u - 14 = p. Does 3 divide u?
False
Let x = 2 - -1. Suppose -4*o + r + 21 = -43, 4*o - x*r - 72 = 0. Is o a multiple of 15?
True
Let h = -2 + 5. Let v(y) = -y**3 + 4*y**2 - 2*y. Let t be v(h). Suppose 58 = 5*r - 3*w, -5*r - t*w + 46 = -36. Is r a multiple of 6?
False
Let r(b) be the first derivative of 3*b**4/4 - b**3/3 - b**2 + 2*b + 2. Does 9 divide r(2)?
True
Suppose -2*l + 80 + 82 = -5*m, 4*m + 152 = -4*l. Let z = 60 + m. Does 13 divide z?
True
Let w(k) = -k**3 - 10*k**2 - 9*k. Let n be w(-9). Suppose -5*h = -3*o + 160, h - 4 = -n*h. Is o a multiple of 21?
False
Let f(b) = b - 8. Let p be f(10). Suppose -5*h - 5*u + 65 = 0, 4*h + 5*u - 41 = p*h. Let q = -1 + h. Is q a multiple of 6?
False
Does 5 divide 6/((-48)/(-188)) - 6/(-4)?
True
Suppose 2*u = -u. Suppose -2*t + 6 + u = 0. Suppose 2*y + 9 = t*y. Is y a multiple of 5?
False
Let v(h) = -h**2 + 8*h - 4. Let z be v(6). Suppose -4*p = -4*k - z, -2*p + 5*k = p - 4. Does 3 divide p?
True
Let v(h) = -2*h**2 - 7*h**3 - 3 + 8*h**3 + 2. Let y be v(2). Is y + 0 + 1 + 20 a multiple of 16?
False
Let c = 1 + 1. Let x(l) = c*l - 5*l - 7*l + l. Is x(-1) a multiple of 9?
True
Suppose 5*r - 3*f - 125 = 0, r - 3*f - 2*f = 47. Is r a multiple of 14?
False
Suppose -q + 3 + 2 = 0. Let c(z) = 4*z - 1. Does 10 divide c(q)?
False
Suppose 4*y - 2*l - 82 = 0, 5*y + 0*l - 99 = -l. Is 5 a factor of y?
True
Is 65468/390 - (-2)/15 a multiple of 24?
True
Let j = 72 + -122. Suppose -n = -0*n - 92. Let d = j + n. Does 21 divide d?
True
Suppose -5*w - 5*g + 35 = 0, -3*g + 4 = -2*g. Let c = w + 1. Is c a multiple of 4?
True
Let i(y) = y**2 - 30*y - 7. Does 24 divide i(31)?
True
Suppose -2*o - 2*o + 20 = -2*u, -3*u = 0. Suppose -q - o = -2*q. Is q a multiple of 5?
True
Let l(b) = 2*b + 6. Suppose -4*v - 4*o = -48, 0 = 4*v - 3*o - 10 - 73. Does 10 divide l(v)?
True
Does 34 divide (2 + 822/15)/((-4)/(-10))?
False
Suppose i + i - 168 = 0. Is 24 a factor of i?
False
Is (21 - -9)*(-2)/(-4) a multiple of 12?
False
Let t(q) = q**2 - 3*q + 6. Let d(r) = r**2 + 3*r + 1. Let m be (4/5)/(2/(-10)). Let y be d(m). Is 11 a factor of t(y)?
False
Let p(y) = 2*y**2 + 48. Is p(0) a multiple of 12?
True
Let f = -10 + -23. Let t = 47 + f. Is t a multiple of 13?
False
Suppose -4*m = -9 + 261. Let l = m - -96. Is l a multiple of 11?
True
Let k(h) = -h - 3. Let l be k(-7). Suppose c = -l + 41. Is 18 a factor of c?
False
Let t(x) = 22 + x**3 - x**2 + x - 3*x**2 - 16. Does 22 divide t(5)?
False
Let k be (-4)/(-2 - (-1 - 0)). Suppose 4*g = k*c + 72, c - 54 = 2*g - 5*g. Suppose 3*o - g = 2*o. Is o a multiple of 9?
True
Let b(y) = -y**2 + 2*y + 2