0 - 25. Suppose -2*y = q*i + 2*y - 459, 3*y = -3*i + 273. Is 19 a factor of i?
True
Let i = 12 + -7. Is 10 a factor of i/(5/(-2) + 3)?
True
Let p = 32 + -29. Is 3 a factor of p?
True
Suppose -d - 4 + 0 = 0. Let b(r) = -r**3 + 5*r**2 - r - 3. Let u(c) = 2*c**3 - 6*c**2 + 2*c + 2. Let h(i) = -3*b(i) - 2*u(i). Is 10 a factor of h(d)?
False
Is (3 - 11/4) + 2178/24 a multiple of 28?
False
Suppose k - 2*i = -0 + 10, 0 = -2*i - 6. Suppose k*x - 2*x = 132. Is x a multiple of 22?
True
Suppose 0*j - 2*j = -6. Is 4 a factor of 9/j + 24/3?
False
Is 2154/21 + 0 + 9/21 a multiple of 14?
False
Let f be -2 + 4 - (-5 + 3). Suppose j - 4*j = 6, f*j - 64 = -2*y. Is 21 a factor of y?
False
Suppose 2*g = 7*g. Let d be g - (-3)/(-6)*2. Is d - -1 - 4*-3 a multiple of 12?
True
Suppose 8 = 3*c - 4*f - 13, 4*c + 4*f = 0. Suppose 0 = -y + 16 - c. Let b = y - 9. Is 4 a factor of b?
True
Let s = -66 - -131. Is 13 a factor of s?
True
Suppose -4*i + 2*u + 344 = -2*u, -2*u = -4. Does 11 divide i?
True
Let j = 152 + -80. Does 12 divide j?
True
Let w(a) = -4*a**2 - 2*a + a + 4*a**2 + 2 + a**2. Let k be 0 + 0 - -1*3. Is w(k) a multiple of 4?
True
Let d = 169 + -92. Suppose -d - 37 = -3*z. Is z a multiple of 10?
False
Let c(j) = 2*j**2 + 10*j + 3. Suppose -3*p + 2*p = 7. Let s be c(p). Let d = -20 + s. Does 11 divide d?
True
Suppose -4*r = -3*x - 25 - 28, 0 = 5*x + r + 50. Is 4 a factor of 1*11 - (-44)/x?
False
Suppose 0 = -3*g + 2*t + 256, 57 + 343 = 5*g + 2*t. Suppose c + c = g. Is c a multiple of 14?
False
Let g(o) = o - 1. Let z be g(3). Suppose 29 - 7 = z*f. Does 7 divide f?
False
Let n = 1 - -1. Suppose 0 = p + w + 45 - 8, -3*p = 4*w + 114. Is p/(-5)*(n - -3) a multiple of 17?
True
Suppose 0*w = 5*w - 225. Suppose 127 = 3*m - 2*q, 5*m = -3*q + w + 192. Suppose o = 6*o - m. Is o a multiple of 9?
True
Suppose 19 = 2*t - 4*j - 21, -3*t - 5*j = -104. Is t a multiple of 14?
True
Suppose 3*w + 3*n + 70 = 313, -5*n + 5 = 0. Is w a multiple of 7?
False
Let o(c) be the first derivative of c**2 + 4*c - 2. Let t be o(4). Let w = -2 + t. Is 5 a factor of w?
True
Let w = -61 - 21. Let u = -29 - w. Is 25 a factor of u?
False
Let p(n) = 19*n**3 - n**2 + 1. Does 19 divide p(1)?
True
Let l = 265 - 78. Let d(k) = -5*k - 1. Let p be d(-1). Suppose 3*a = -p*y + l, -3*a + 106 = 2*y + a. Is y a multiple of 18?
False
Suppose -f = -2*n + 8, -f + 5*n - 22 = 1. Suppose -l = -f*l + 5, 3*k - 5*l + 10 = 0. Let p(r) = -r**3 + 5*r**2 + r + 7. Is 6 a factor of p(k)?
True
Is (-3)/(-18)*-3*-34 a multiple of 3?
False
Let a(z) be the second derivative of z**7/840 - z**6/90 + z**5/60 - z**4/6 - z**3/3 + z. Let f(x) be the second derivative of a(x). Is f(5) a multiple of 17?
False
Let n = 22 - 72. Let m = n + 108. Is m a multiple of 29?
True
Let d be (-15)/10*(-8)/6. Suppose d*g = g + 13. Is 12 a factor of g?
False
Let d = 45 + -26. Let l = d + -13. Is l even?
True
Suppose p + 1631 = 5*x, x = 4*x - 5*p - 983. Does 13 divide x?
False
Suppose 2*z + 5 - 61 = 0. Let y = -5 + z. Is 15 a factor of y?
False
Let f(m) = -4*m**3 - 3*m + 3. Let x be f(2). Let q = -15 - x. Is 16 a factor of q?
False
Suppose -10*v + 77 = -9*v. Does 27 divide v?
False
Does 18 divide 5/((-20)/(-72))*5?
True
Suppose -5*s - 15 = 0, -3*s + 86 = -0*l + 5*l. Is l a multiple of 7?
False
Let o = -54 + 62. Is o a multiple of 2?
True
Let i be (-1)/((-1)/3) - 1. Let b = 2 - i. Does 9 divide (1 + b)*63/3?
False
Let r(f) = -f**3 - 2*f**2 + 7*f + 6. Let g be r(-5). Suppose -2*x + 2 + 10 = j, 4*x - g = -3*j. Is 19 a factor of j?
False
Let b(v) = 4*v - 13. Does 3 divide b(16)?
True
Let r be ((-14)/21)/(1/(-15)). Let i = r - 3. Suppose -i*b = -2*b - 55. Is 4 a factor of b?
False
Suppose 2*i = 4*t - 31 - 61, -3*t + 64 = -4*i. Does 7 divide t?
False
Let b be 2*-2 - (2 + -4). Let p be 2 + 2 - 2/b. Does 16 divide (p/4)/((-2)/(-64))?
False
Suppose 1 = -2*m - 1. Does 5 divide (2 + -3)/m + 14?
True
Let a(r) = r + 26. Does 4 divide a(12)?
False
Let s(j) = -5*j - 1. Does 5 divide s(-9)?
False
Suppose -m - 13 = -5*c, -6 = 5*m + 4*c - 28. Let i be 0 + (0 - m)*-18. Let a = i - 21. Does 11 divide a?
False
Suppose 4*m = -5*l + 90, 0 = -0*l + 2*l + 4*m - 48. Let r = 22 - l. Is 10 a factor of ((-20)/r)/((-2)/12)?
False
Let p(q) = q**2 + 5*q - 14. Let s be p(-15). Let w = s - 73. Is 19 a factor of w?
False
Let w(u) = -8*u - 8. Let t be w(-6). Suppose -2*q + 9 = 5*g, -5*q + 3*g - 1 = -4*q. Is 17 a factor of ((-9)/(-3) - q) + t?
False
Let p(n) = n**3 + 6*n**2 + 3*n - 6. Let y be p(-5). Suppose y = -0*d + 2*d. Does 2 divide d?
True
Suppose 5*j - 4*y + 34 = 0, 0 - 4 = j + 2*y. Is 7 a factor of (-46)/j - (-4)/12?
False
Let z be -30*(-4 + (-42)/(-9)). Is (z + -4)*(-5)/4 a multiple of 8?
False
Is ((-45)/2)/(-6*(-8)/(-128)) a multiple of 10?
True
Suppose -5*i - 3*h = 22, i - 4*h - 10 = -h. Is 19/(-1*1/i) a multiple of 19?
True
Let g = -17 + 20. Suppose 0 = -g*v + 14 + 70. Is 28 a factor of v?
True
Let h = 90 - 51. Suppose 0 = 5*w - d - 516, -53 = -w + 3*d + h. Suppose -4*o + 3*c - c + w = 0, 2*o = 5*c + 36. Is o a multiple of 14?
True
Is 12 a factor of (-6)/(-54) - 2483/(-9)?
True
Suppose -5*w + 2*w = -240. Is 26 a factor of w?
False
Let v be 2/(-5) + (-104)/(-10). Is 2 a factor of (24/v)/((-2)/(-5))?
True
Let x = 2 + -6. Let h = 14 + x. Suppose 2*g = g + h. Does 10 divide g?
True
Suppose -5 = -3*d + 10. Suppose z - 43 + 125 = 3*i, -d*i + 138 = -3*z. Is i a multiple of 9?
True
Suppose 0 = 2*n - 2*g - 108, -4*n + 9*n + 2*g - 277 = 0. Does 8 divide n?
False
Suppose -5*h + 10 = -3*h + 2*j, -4*h - j = -5. Suppose -22 = -2*y - h*y. Is 11 a factor of y?
True
Let j(t) be the first derivative of -1/2*t**2 - 1/3*t**3 + 14*t - 1/4*t**4 - 1. Is j(0) a multiple of 12?
False
Suppose 5*q = 6 + 14. Is 2 a factor of q?
True
Let b = -3 + 14. Is b a multiple of 3?
False
Suppose 3*i - i = -92. Is 22 a factor of i/(-2) - (5 - 4)?
True
Suppose -3*h - h + 3*m = -42, -h - 3*m + 18 = 0. Let k = h + -7. Does 3 divide k?
False
Suppose 2*h + 3*m = -48, -10 = h - 0*h - 2*m. Let z be 29 - -1 - (0 - -4). Let k = z + h. Is k a multiple of 4?
True
Let l(g) be the first derivative of g**2/2 + 18*g - 3. Does 5 divide l(-8)?
True
Let m(j) = -j**3 - 4*j**2 - 2*j - 3. Let x be m(-4). Suppose 0 = x*f + 2*k - 210, -k = 3*f - 0*k - 126. Does 16 divide f?
False
Suppose -4*h = i - 699, 2*i + 877 = 5*h - 0*h. Is 35 a factor of h?
True
Let r = 72 - 42. Suppose -a - r = -3*a. Is a a multiple of 8?
False
Suppose -5*c + 9 = 29. Does 4 divide c/2 - -15 - 2?
False
Let t = 81 + -55. Does 14 divide t?
False
Suppose 2*h = 5*v + 15 + 20, -3*h = -v + 6. Let a = 0 - v. Is a a multiple of 3?
True
Suppose -118*n = -119*n + 20. Does 4 divide n?
True
Let p = -134 - -250. Let v = -75 + p. Is 20 a factor of v?
False
Let j(z) = -3*z**3 + 2*z**2 + z. Let x = 2 - 3. Let m be j(x). Suppose 15 = m*o - 17. Is 4 a factor of o?
True
Let j = -1 + 12. Suppose -5*q + 20 = 5*d, -3*q + 4*d - 27 + j = 0. Suppose -5*y + q*y = -s - 75, s - 75 = -5*y. Does 11 divide y?
False
Let v be (0/(-2))/(7/7). Suppose 0 = 3*t - v*t - 117. Is t a multiple of 13?
True
Suppose 2*u - b = 7*u - 1384, 5*u - 1400 = -5*b. Is 23 a factor of u?
True
Suppose -11*c + 12*c + 1871 = 5*o, 4*o + 4*c - 1516 = 0. Is o a multiple of 13?
False
Let a be 0 - (-1)/((-2)/(-6)). Suppose -3*h - 66 = -a*v, -5*h = -4*v + 58 + 28. Does 13 divide v?
False
Suppose -4*d = r - 88, -5*r + 3*d + 146 = -271. Is 23 a factor of r?
False
Suppose 4*d - 208 = 5*o + 43, o + 298 = 5*d. Suppose -a - 18 + d = 0. Suppose v + 2*m - 28 = 0, 5*m - a = -2*v + 18. Is v a multiple of 11?
True
Suppose 192 = 3*a + a. Suppose f + 2*q - 2 - 10 = 0, 4*f - 3*q = a. Is f a multiple of 8?
False
Let t(a) = -a**2 - a + 128. Let q be t(0). Let g = -87 + q. Is g a multiple of 19?
False
Let z = -30 + 48. Suppose 4*g - g = z. Does 2 divide g?
True
Suppose -18 = -6*s + s + 3*w, -3*w = -4*s + 15. Let p(k) = -5*k + 6 - 5*k + k**2 - s*k + 5*k. Is p(8) a multiple of 4?
False
Suppose c + 62 = 5*f, -5*c + 5 = -2*f + 16. Suppose 4*p + f = 5*p. Suppose -3*q = 1 - p. Is q even?
True
Let n be (1 + -5)*9/(-4). Is 3 a factor of 61/n + (-2)/(-9)?
False
Suppose -133 = 2*p - 189. Does 28 divide p?
True
Suppose -4*d = -41 + 5. Suppose -d*u + 76 = -5*u. Is 3 a factor of u?
False
Suppose 3*l = 5*r + 12 - 5, -5*r - 3*l - 13 = 0. Let z(t) = -3*t + 2