 Is y a multiple of 5?
False
Suppose 2*r + 5*z = 90, -2 = 3*z - 4*z. Is 192 + r/(-15)*(-3)/(-2) a multiple of 24?
False
Is 10 a factor of (-3)/(-4) + (-512373)/(-356)?
True
Let h(j) be the second derivative of j**4/12 + j**3/2 + 17*j**2 + 24*j. Is h(0) even?
True
Let c = 457 - 285. Suppose -6*b = 28 - c. Does 12 divide b?
True
Let z be (-8)/(-5) + 2/5. Let i = -112 - -104. Is z/i + 137/4 a multiple of 17?
True
Suppose -2*k - 2*s + 1344 - 346 = 0, -2488 = -5*k + 2*s. Is k a multiple of 127?
False
Suppose 4*v = -f + 835, 4*f + 0*f = v - 213. Is 37 a factor of v?
False
Let b(k) = k**2 - 6*k + 9. Let q(i) = 5*i**3 + 2*i - 2. Let n be q(1). Suppose p = -n*p + 30. Does 2 divide b(p)?
True
Suppose -3*v - 597 = 1833. Does 15 divide v/(-25)*5/2?
False
Let a(m) = -2*m - 8. Let u = 8 + -15. Let j be a(u). Is 19 a factor of -28*(2 - j/2)?
False
Is 38 a factor of 6603/(-62)*(-152)/6?
True
Let z = 27 - 24. Suppose -z*y = -256 + 22. Does 13 divide y?
True
Let q(v) = 3*v - 3. Let x be q(5). Suppose -l - x = -3*k - 4*l, 14 = k - 4*l. Suppose 2*h = -k + 100. Does 21 divide h?
False
Let i(d) = 131*d**2 + 123*d + 484. Does 9 divide i(-4)?
True
Suppose -773 = -2*l - 5*y, 6*y - 1885 = -5*l + 3*y. Does 34 divide l?
True
Let j = -24 + 26. Is 18 a factor of j + -3 - (2 - 21)?
True
Does 57 divide 2 - ((-13860)/49 + (-1)/7)?
True
Let n(u) = -u**3 - 9*u**2 - 2*u - 2. Suppose 3*o - 9 = 4*o. Let i be n(o). Suppose -18*s = -i*s - 52. Is s a multiple of 9?
False
Suppose 0 = r - 19*l + 22*l - 152, 5*r = 5*l + 860. Is 33 a factor of r?
False
Let d(n) = 13*n**2 - 2*n + 23*n**2 + 8 - 2. Is 35 a factor of d(2)?
False
Let a(f) = f**2 - 22*f - 124. Is a(-18) a multiple of 138?
False
Suppose 5*q - 2*p - 42 = -16, 4*q - 5*p = 31. Suppose -q*v + 379 + 237 = 0. Is v a multiple of 12?
False
Let t = -101 + 219. Let w = -86 + t. Does 8 divide w?
True
Is 111 a factor of (-5)/((-15)/18*(-5)/(-755))?
False
Let c = 5 + -6. Is 40 a factor of (-29176)/(-364) + c + 11/13?
True
Let b be (0 - 0)*(-4 - -3). Let w(s) = s + 4*s**3 + s**2 + s**3 - 4*s**3 + 10 + b*s**3. Is 5 a factor of w(0)?
True
Let i = 228 + -112. Does 40 divide i?
False
Suppose -3*l = 30 - 6. Let b = -1 + l. Let c(t) = t**3 + 10*t**2 + 4*t + 11. Is c(b) a multiple of 16?
False
Let m be (-14)/21 - (-80)/3. Let c = m + 19. Is 5 a factor of c?
True
Suppose -p + 21 = 2*t, 5*t + p - 79 = -22. Suppose -2*i + 4 + t = 0. Suppose -2*b - 624 = -i*b. Is b a multiple of 34?
False
Let w = 4 - -2. Let q(h) = h - 4. Let s be q(w). Suppose -4*l + 28 = s*o, 0 = -3*o - 5*l - 13 + 52. Does 8 divide o?
True
Does 56 divide 6 + -1 - -2 - -665?
True
Let k be ((-279)/(-6))/((-6)/(-8)). Suppose 4*c = -2*p + k, 4*p - 210 = -2*c - 74. Does 35 divide p?
True
Suppose -60 = -5*i + 8*i. Is 14 a factor of (12/i*9 - 3)*-5?
True
Suppose -3*w = -1 - 11. Suppose -8 - w = -4*k. Is (3 - k)/(-1) - -27 a multiple of 9?
True
Let t(y) = 3*y - 6. Suppose 40 = 3*b - 4*a, 0*b - 4*a = -2*b + 24. Suppose b = 6*q - 2*q. Is 3 a factor of t(q)?
True
Let u be (-14)/42 - (-559)/3. Is 23 a factor of 0 + 2 - (4 - u)?
True
Let i(s) be the third derivative of -13*s**4/12 - 3*s**2. Does 41 divide i(-3)?
False
Let m(n) = -3*n**2 - 5*n - 10. Let x(f) = f**2. Let w(u) = -m(u) - 2*x(u). Is 6 a factor of w(-7)?
True
Suppose -3*z + 4*q = 146, 0*z = -z - 3*q - 53. Let t = 158 + z. Is t a multiple of 12?
True
Suppose 0 = -w + 6*w + 210. Is 10 a factor of w/28*40/(-3)?
True
Suppose 10*c - 52 + 12 = 0. Is 20 - (c + -4 - -3) a multiple of 17?
True
Suppose -2*r = -5 - 9. Suppose 2*h = -r*h + 198. Does 22 divide h?
True
Suppose -2*w + 29 = -o - 4, w - 29 = 3*o. Let q be 2024/w - (-72)/(-126). Suppose 5*a = 12 + 3, 3*c = 4*a + q. Does 17 divide c?
False
Let w(i) = i**2 + i. Let o be (54/4)/(15/20). Suppose 4*q = -2 + o. Is 10 a factor of w(q)?
True
Let n be 5/2 + (-69)/(-46). Suppose 2*k + 9 = 5*k. Suppose n*m - 30 = -2*u, 0*u = -u + k*m + 10. Does 6 divide u?
False
Let h(q) = q**3 - 15*q - 12. Let b be h(5). Let v = 48 - b. Does 10 divide v?
True
Suppose 3*n - 1 = -4. Let j(m) = -31*m**3 + m**2 - m - 1. Let s be j(n). Is (-3)/(s/(-10) - -3) a multiple of 11?
False
Let q = 4 + -7. Let r(c) = -3*c - 10. Let m be r(-4). Does 21 divide m/(q*8/(-564))?
False
Let y = 558 - 390. Suppose -11*g + y = -7*g. Is 7 a factor of g?
True
Let k(z) be the third derivative of -z**4/24 + z**3/6 - 8*z**2. Let i be k(-4). Suppose j - s = 54, 3*s = -2*s - i. Is j a multiple of 13?
False
Suppose 0 = -2*g - b + 1544, -4*g + 13*b = 14*b - 3084. Is 70 a factor of g?
True
Suppose 0*l - 3*l + 6 = -y, 0 = 2*l - 4. Does 9 divide 1/((-5)/(-105) + y)?
False
Let o(x) = 2*x**2 - 2*x - 2. Let g be o(-1). Suppose -138 = -4*c + g*q, 250 = 5*c + 5*q + 55. Is c a multiple of 12?
True
Suppose 129 = 4*s + w, -5*w + 8*w + 157 = 5*s. Is 3 a factor of s?
False
Suppose -2*y - 2*d - 11 + 49 = 0, -5*d = -5*y + 85. Suppose 3*j + 6 + y = 0. Is 14 a factor of 2*(-2)/j*56?
True
Let j = 10 - 8. Suppose j*m + 2 = 40. Let g = 1 + m. Is g a multiple of 10?
True
Let b be (12/(-10))/(-2) - (-6633)/(-55). Suppose 3*g = 4*p + 54 + 252, 3*g = 3*p + 228. Let c = p - b. Is 7 a factor of c?
True
Suppose -d - 5*h + h = 12, -d + 4*h = -4. Let k = 0 - d. Suppose k*n = 3*n + 64. Is n a multiple of 18?
False
Suppose 32019 = 15*c + 7419. Is 164 a factor of c?
True
Suppose 4*u + b - 7332 = 1332, -3*b - 4346 = -2*u. Does 7 divide u?
False
Let f be (-4)/(-3)*(-186)/4. Suppose -39 + 4 = b. Let a = b - f. Does 7 divide a?
False
Let g(n) = -n - 5. Let p be g(-22). Let x = 25 + p. Is 14 a factor of x?
True
Suppose 0 = s - 5*f + 14, -3*s + f + 6 = -2*f. Suppose -s*d = 5*q - d - 310, -5*q - 3*d = -300. Is q a multiple of 11?
False
Suppose -5*d = -2*d - 5*f - 533, -f = 1. Does 8 divide d?
True
Does 6 divide (1372/(-3))/((-136)/102)?
False
Suppose 41*i - 6*i - 14700 = 0. Does 35 divide i?
True
Let s = -7 + 10. Let o(a) be the first derivative of 15*a**2/2 - 5*a - 5. Is 8 a factor of o(s)?
True
Suppose b = -4, -4*r = -4*b - 160 - 520. Let j = r - 47. Does 29 divide j?
False
Suppose -2*l - 5*b - 7 = -0*b, 5*l + 5*b = 5. Suppose l*x - 5*k + 11 = -7, -12 = 5*x - k. Is 13 a factor of -4*x*26/16?
True
Suppose 5*o + 6 = -2*v, 5*o = 3*v - 2*v - 12. Let c = -2 + o. Does 6 divide 4/(-5)*90/c?
True
Let v be (-4)/10 + 416/40. Let k(d) = -d + 0*d + v + 17 + 1. Is 14 a factor of k(0)?
True
Let b be (-9)/(-6)*584/12. Suppose -1195 = -5*g - 4*u - b, 2*g - 460 = 4*u. Suppose y = -y + g. Is y a multiple of 27?
False
Let s = 58 + -52. Suppose -s = y + 3*i - 0*i, -i = -y + 6. Is 3 a factor of y?
True
Suppose -6*r - 47640 = -66*r. Is 25 a factor of r?
False
Let s = 69 - 7. Suppose -12*n + 286 = -s. Is n even?
False
Suppose -5 = -3*o + 5*o + 5*b, -4*o + 29 = -3*b. Suppose m - 552 = -o*m. Is 11 a factor of m?
False
Suppose 0*x - 4*m + 90 = 3*x, 90 = 3*x + 3*m. Is x/(-1)*(-30)/50 a multiple of 3?
True
Let q = -190 + 559. Is 9 a factor of q?
True
Let x = -14 - -13. Let m be (x - -1) + -4 + 11. Suppose -k = 3*f - 274, f - 4*k - 67 = m. Does 15 divide f?
True
Suppose 0 = -w - 3*u + 182, 2*w - 10*u - 364 = -11*u. Is 26 a factor of w?
True
Suppose 0 = g - 0 - 2. Let u be (g - -3)/(1/6). Is 9 a factor of 1286/u - 6/(-45)?
False
Let a(p) = 3*p**3 - 8*p**2 + 2*p - 5 - 4*p**3 + 2*p**3 + 6*p. Let f be a(7). Suppose f*o + y + 9 = 106, 4*o = 4*y + 224. Is 17 a factor of o?
True
Does 4 divide 2*1*(1111/22 + 12)?
False
Let r(m) = -m**3 - 15*m**2 + m - 6. Let w be r(-15). Let v be (-3 - w/9)*801. Is 11 a factor of 12/(-20) + v/(-15)?
False
Let j = 108 + 28. Does 22 divide j?
False
Suppose 2*o = -4*o - 12. Let k be (48/(-8))/(o/(-4)). Is 35 a factor of ((-260)/(-16))/((-3)/k)?
False
Let b = -41 + -3. Let o = b - -133. Suppose -3*c - o = -5*v, 3*v + 3*c = 31 + 32. Is v a multiple of 19?
True
Suppose -470 = -22*q + 17*q. Is 47 a factor of q?
True
Let g(n) = n. Let k(o) = 2*o**2 - 14*o - 14. Let u(l) = 5*g(l) + k(l). Does 14 divide u(-6)?
True
Suppose 5*f = -25 + 5. Let l be (-4)/(3/(-2) + 1). Let s = l - f. Is 6 a factor of s?
True
Let j(t) = t**2 - t - 5. Let u be j(-2). Let q be 1/((-1)/2 + u). Suppose q*w - 210 = -4*d, 4*w = -5*d - w + 250. Does 9 divide d?
False
Suppose 0 = 2*b - 5*h - 12, -b - 3*h + 28 = -0*b. Suppose -4 = -5*m + b. Is 33 a factor of (-960)/(-8) + m + -1?
False
Suppose -4*y + 124 = -0*y. Let l 