-3*j + i + 40 = 0, -4*j - 5*i - t = -38. Is 6 a factor of j?
True
Suppose i - 2*h = 1 + 1, 2*i - 4 = -2*h. Suppose 0 = -i*n - 0*n + 102. Is n a multiple of 17?
True
Let y(p) be the first derivative of 7*p**3/3 + 3*p**2/2 - 3*p - 3. Is y(2) a multiple of 12?
False
Let v = 10 - 7. Suppose v*p - 2*w - 39 = -2*p, 4*p = -5*w + 51. Does 3 divide p?
True
Suppose 3*b - 539 = 232. Does 44 divide b?
False
Let p = 7 + 20. Let r = p - -10. Is r a multiple of 19?
False
Suppose 5*x - r - 263 = x, -3*r = -x + 52. Is 18 a factor of x?
False
Suppose -2*d + 126 = -d. Does 8 divide 4/18 - (-4760)/d?
False
Let p = -3 - -7. Let d = 16 - p. Does 6 divide d?
True
Let n be (16/20)/((-4)/(-10)). Suppose a + 21 = -0*v + 4*v, 3*v - 4*a = 32. Suppose v*t - 8 = 0, n*f = -2*t + 3*t + 78. Is 20 a factor of f?
True
Suppose -3*g - 5 - 1 = 0. Does 2 divide (12/9 + g)*-3?
True
Let y(v) = v + 14. Is 12 a factor of y(0)?
False
Let f = 2 - 4. Suppose 0 = -4*s + 5*s + 2*q - 3, 4*s - 5*q - 38 = 0. Is s + -1 + (-1 - f) a multiple of 7?
True
Suppose 0 = -6*f + 2*f + 8. Suppose 148 = f*d + 2*t, -9 = -d - 4*t + 53. Does 26 divide d?
True
Let f(j) = -5*j - 3 + 3*j + 11. Does 22 divide f(-7)?
True
Let d = 16 - 14. Is (4 - 2)/(d/60) a multiple of 10?
True
Let k(v) = v + 4. Let i be k(7). Let w = -8 + i. Is w a multiple of 2?
False
Let t = -79 - -92. Is 2 a factor of t?
False
Let f = 15 - 11. Suppose -3*m + 45 = f*b, -m - 35 = b - 3*b. Is 15 a factor of b?
True
Let a be (-3 + 1)*(-1 + 0). Let r = a + 1. Is r even?
False
Let m(n) = n**2 + 5*n - 3. Suppose -4*c = c - 15. Suppose 0 = c*i - 5*i + 8. Is m(i) a multiple of 11?
True
Let g = 9 - 6. Suppose -2*t - 8 = 0, -5*f - 5*t + 0 - 10 = 0. Suppose -g*q - l + 79 = -f*l, 5*q + l - 129 = 0. Does 15 divide q?
False
Suppose a + 2 = 5, -3*r - 4*a - 12 = 0. Let l(m) = -2*m - 10. Let g be l(r). Let v = 19 - g. Is v a multiple of 13?
True
Suppose -5*z - 137 = -5*y + 58, -2*y + 72 = -4*z. Is 14 a factor of y?
True
Suppose -2*c = 39 - 399. Is 22 a factor of c?
False
Let n(i) = i**3 + 9*i**2 - i + 5. Let c be n(-9). Let a = c - 10. Suppose 9*v - a*v - 25 = 0. Is v a multiple of 5?
True
Let c be -3*1*(-8)/8. Let l(s) = -s**2 + 6*s - 4. Is l(c) a multiple of 2?
False
Let f be (6/4)/((-9)/60). Let u = -6 - f. Suppose 4*w - 12 = u. Does 4 divide w?
True
Let u(x) be the third derivative of -x**5/60 - 5*x**4/24 - 2*x**3/3 - 2*x**2. Let m be u(-4). Suppose -l + 9 = 5*w - 30, -w - 3*l + 5 = m. Is 3 a factor of w?
False
Is (-12)/(-9)*129 + 3 a multiple of 35?
True
Let v = -4 - -43. Is 13 a factor of v?
True
Suppose b + 25 = 71. Suppose 5*o + 4*w - 82 = 0, -5*o - 3*w + 41 + 43 = 0. Let z = b - o. Does 14 divide z?
True
Suppose 2*d - 2*j + 37 = -3, 60 = -3*d - 2*j. Suppose 4*x - 3*r - 228 = 0, 2*x - 6*x - 4*r = -200. Let n = d + x. Is 12 a factor of n?
False
Suppose -l - 10 = -6*l. Suppose -l*h + 86 - 30 = 0. Is h a multiple of 10?
False
Let i = -12 - -18. Let f(u) = -i + 10 + 7*u - 2*u + 3. Is 16 a factor of f(5)?
True
Let k(u) = u**2 - 2. Let s be k(2). Suppose s*q - q - 2 = 0. Is q a multiple of 2?
True
Does 16 divide ((-3)/2)/(24/(-1120))?
False
Let j = 136 + -94. Suppose -2*i - 2*i + 72 = 5*y, 0 = 4*y - 2*i - j. Is 12 a factor of y?
True
Let b(a) = a**2 + 6*a + 7. Let h be b(-5). Does 10 divide (-6 + 1)/(h/(-8))?
True
Let l = 16 + -11. Let a = l + -2. Suppose -2*p + 29 = a*n, 2*p + n = 4*p - 33. Is 16 a factor of p?
True
Suppose 5*p - 2*p - 22 = -5*l, -3*l = -4*p + 68. Is p a multiple of 3?
False
Suppose 5*c = 4*y + 25, 2*c - 5 - 5 = -5*y. Suppose c*r - i = -2*i - 416, -5*r + 4*i - 436 = 0. Let w = r - -147. Is 23 a factor of w?
False
Let h = -2 - -5. Suppose 4*a + 124 = h*b + b, 0 = 4*b - a - 121. Suppose b = 2*v + 10. Does 5 divide v?
True
Let u be (-3)/(-4) + (-2)/(-8). Does 13 divide (u/3)/(2/78)?
True
Let j(v) = 8*v + 4 - v**2 + 0 - 2. Is 9 a factor of j(4)?
True
Let b(i) = 4*i**3 + 11 + i**3 - 5*i**3 + i + i**3. Does 3 divide b(0)?
False
Suppose 2*n + 56 + 62 = 5*u, -5*n - 91 = -4*u. Is u a multiple of 8?
True
Suppose -5*b - 5*s + 123 = 18, -4*b = -4*s - 124. Does 13 divide b?
True
Let i(y) = y**2 - 5*y - 1. Let s be i(6). Suppose 4*p = -s*t - 0*p + 60, 4*p = 20. Is t a multiple of 8?
True
Let v(i) = i**3 + 15*i**2 + 10*i + 21. Does 17 divide v(-14)?
False
Suppose -4*f - 4 = 0, 5*h - 5*f = 418 + 262. Let m = 189 - h. Is 16 a factor of m?
False
Suppose 9 - 1 = -4*k. Is 4 a factor of 9 - 1/(k + 3)?
True
Let k(p) = -2*p. Let l be k(-2). Suppose -f - 5 = -y, -l*f = -0*f + 5*y - 16. Is (-4 - -1)/f - -2 even?
False
Is 17 a factor of ((-1632)/(-112))/((-3)/(-14))?
True
Suppose 0 = -2*b - 3*q + 83, -4*q + 9 = -11. Is b a multiple of 10?
False
Let v be 1 - (-2)/(2 - 1). Let i = v + 3. Let f(r) = -r**3 + 7*r**2 - 3*r + 4. Is 12 a factor of f(i)?
False
Suppose 0*z - 66 = -3*g + 5*z, 3*g + z - 66 = 0. Is 11 a factor of g?
True
Let b be 12*4*(-4)/(-3). Suppose -5*s + s = -b. Is s a multiple of 8?
True
Let y = -56 + 93. Let l(i) = -2*i - 10. Let s be l(-8). Let m = y - s. Is 11 a factor of m?
False
Let o(z) = z + 5 - 8 + 2*z**3 - 3*z**2 - z**3. Is 12 a factor of o(4)?
False
Suppose -8*y = -3*y - 500. Does 10 divide ((-2)/4)/((-5)/y)?
True
Let u be 4/(-14) - (-553)/49. Let q = u - -9. Is 7 a factor of q?
False
Let y(v) = -v**3 + v**2 + v + 1. Let p be y(-1). Suppose 5*u - p*d - 37 = 0, -2*u - 3*d = 16 - 46. Is 9 a factor of u?
True
Is 12 a factor of (10/3)/((-2)/(-36))?
True
Let q(z) = -2 - z**2 + 2*z**2 + 0 - 2*z**2 - 3*z**3 + 3*z. Let w be q(2). Let l = -6 - w. Is 18 a factor of l?
True
Let l(i) = i**3 + 2*i**2 - 5*i - 2. Let g be l(-3). Suppose g*o - 258 = -54. Is 15 a factor of o?
False
Suppose -4*w + 72 = 2*m, -2*w + 2*m = -25 - 23. Suppose -a - a = -5*b + 5, 4*a = b - 19. Is (w + 1 - 1) + b a multiple of 19?
True
Let a(w) = 4*w + 1. Let s be a(-1). Let y be 17 + (-3 - (s - -2)). Is 11 a factor of (-142)/(-6) - (-5)/y?
False
Let d(s) be the first derivative of s**3/3 - 3*s**2/2 - 6*s + 1. Let n = 14 - 8. Does 6 divide d(n)?
True
Suppose -q - 5*s = 2*q - 528, -3*q = -2*s - 507. Is q a multiple of 26?
False
Suppose 0 = 3*s - 140 - 70. Is s a multiple of 10?
True
Suppose -2*f - 22 = -3*q, q + 2*f + 30 = 6*q. Does 15 divide -1 + q/(16/244)?
True
Suppose 4*g = 3*h - 160, 4*h + g - 2*g = 222. Is 14 a factor of h?
True
Let f = 536 - 291. Suppose 0 = 2*t + 3*t - f. Is t a multiple of 16?
False
Let t(k) = -4 - 5*k + 2 + 3 - k**2. Let b(j) = -3*j**2 - 10*j + 1. Let p(w) = -2*b(w) + 5*t(w). Is p(5) a multiple of 3?
True
Suppose 11*y = 14*y - 63. Does 10 divide y?
False
Suppose 3*x + 2 = -1, -4*x - 278 = -2*j. Is j a multiple of 42?
False
Suppose 2*k - 8 = -2*f, -5*f - 3*k + 20 = 8. Let h(d) = d**2 + d + 150. Let o be h(0). Suppose 2*r = -4*z + 130, f = z + 3*z - 2*r - o. Is z a multiple of 16?
False
Suppose 1792 = -12*y + 28*y. Is y a multiple of 16?
True
Let j(g) = 2*g**3 + 10*g - g**3 - 2*g**3 + 8 + 8*g**2. Is 9 a factor of j(9)?
False
Let t(v) = 26*v - 4. Let q(l) = -25*l + 3. Let j(h) = 3*q(h) + 2*t(h). Let o be j(-1). Suppose 5*u - o = 56. Does 8 divide u?
True
Let z be (-3)/6*(-2 - -4238). Is 9 a factor of (-3)/7 - z/42?
False
Let u = 10 - 4. Suppose 0 = -2*n + u. Is n even?
False
Let i be (-8)/6*45/(-6). Suppose i*u - 5*u - 130 = 0. Suppose -3*o + 34 + u = 0. Is o a multiple of 20?
True
Let a(r) = r**3 - 6*r**2 - 7*r - 3. Let x be -14*(-1)/((-4)/(-2)). Let c be a(x). Is 1 + 3 + 5 + c a multiple of 4?
False
Suppose -4*x + 17 = o, 3*x - 15 = -2*x. Suppose -o*m = -2*m - 54. Is m a multiple of 6?
True
Does 16 divide ((-24)/(-3))/(0 - (-3)/18)?
True
Let r = -10 + 31. Does 3 divide r?
True
Let f(g) = 4*g + 1. Let t be f(1). Suppose o = -2*d - o + 6, -t*d = 3*o - 11. Let x = d - -33. Is x a multiple of 17?
True
Let p(l) = 3*l**2 - 6*l - 15. Let u be p(7). Suppose u = -0*g + 2*g. Is 15 a factor of g?
True
Let q = 9 - 6. Suppose 0 = -3*f - f, -5*u - q*f + 25 = 0. Suppose 3*x = -4*g - 0*x + 14, -u*g - 2*x + 21 = 0. Is g a multiple of 3?
False
Let v(d) = d**3 - 2*d**2 - 2*d + 1. Let x be v(2). Let l(z) = -2*z**3 - z**2 + 2*z - 1. Is 19 a factor of l(x)?
True
Let g = -280 - -475. Is 5 a factor of g?
True
Let g = 94 + -155. Let m = 100 + g. Is 13 a factor of m?
True
Let o(w) = 4*w**2 + 6*w - 8. Let k(p) = -3*p**2 - 6*p + 7. Let v(s) = 3*k(s) + 2*o(s). Let f be v(-6). Suppose -