n - y + 10 = 3*n. Is n a multiple of 3?
False
Let d(i) = -i**2 - 9*i - 13. Let k be d(-6). Suppose -40 = -k*o - 3*g, -o - 32 = -5*o + 2*g. Does 2 divide o?
True
Let m = 82 + -42. Is m a multiple of 25?
False
Suppose -3*v + v = 0. Let r = -1 - v. Is 6 a factor of r/(-4) - (-47)/4?
True
Let t be (-2)/3*120/(-16). Let q = 7 + t. Does 12 divide q?
True
Let w = 12 - -31. Suppose 4*c - 1 - w = 0. Does 11 divide c?
True
Let m be 12*10*(-1 + -2). Does 12 divide ((-6)/5)/(12/m)?
True
Does 6 divide (-4*2/(-8) - 5) + 14?
False
Suppose 0 = -v - v + 10. Suppose 4*f = v*i - 37, -55 = -5*i - 6*f + f. Is i a multiple of 3?
True
Let y(z) = -19*z - 12. Is 12 a factor of y(-5)?
False
Let b(j) = -41*j + 2. Is 15 a factor of b(-2)?
False
Let p(v) = 2*v - 4. Let c be p(4). Suppose 2*t - 2 + 0 = 0, u + c*t = 64. Does 30 divide u?
True
Let k = 99 - 63. Is k a multiple of 3?
True
Let t be (1 - 0)/((-2)/(-4)). Suppose -4*c = t*q - 3*q - 165, -5*c + 205 = -q. Is 20 a factor of c?
True
Let p(k) be the second derivative of -k**5/20 + k**3/6 + 19*k**2/2 + k. Let o(n) = n**3 - 5*n**2 - 5*n - 6. Let y be o(6). Is p(y) a multiple of 7?
False
Let n(t) = -t**3 + 6*t**2 - 3*t - 4. Let g be n(5). Let v be (g/10)/(1/(-5)). Is 5 a factor of 1/(3/v) - -7?
False
Let z be 1/((-1)/2) - 1. Let q be (-8)/z*(-525)/(-28). Let n = q + -20. Does 15 divide n?
True
Let d(w) = -10*w + 2. Let j be d(2). Let s be (-10)/6*j/3. Suppose 0 = 4*l - 2*l - s. Is l a multiple of 4?
False
Let n = -304 - -447. Is n a multiple of 13?
True
Let g(d) = d + 9. Is 12 a factor of g(7)?
False
Let v = 43 - -24. Does 12 divide v?
False
Let w(d) = d**2 + 15*d + 8. Let j be w(-15). Suppose -6*n = -j*n + 78. Is 8 a factor of n?
False
Suppose 2 = 4*j - 2. Let a(y) = 0*y - j - 2*y + 3*y. Does 8 divide a(9)?
True
Let j = 48 + -6. Is 7 a factor of j?
True
Let f(c) = c**2 + 5*c + 16. Let r be f(-11). Let s = -39 + r. Is s a multiple of 16?
False
Does 10 divide (59 - (-5 + 3)) + -1?
True
Let s(b) = 3*b. Let v be s(1). Suppose -5*m - 8 - 6 = -2*i, -v*m = 3*i. Does 4 divide 2 + 2*(i + -1)?
True
Let r(x) = x**2 + x - 1. Let g be r(2). Let l(b) = 40*b**2 - 6*b - 13. Let u(j) = -27*j**2 + 4*j + 9. Let y(h) = g*l(h) + 7*u(h). Is 19 a factor of y(2)?
True
Is (-1)/5 + (-2211)/(-55) a multiple of 3?
False
Let y = -2 + 3. Let f = 1 - y. Suppose f*u - 4*u + 104 = 0. Is u a multiple of 10?
False
Let u be -2*(9/6 - 3). Suppose 2*y = -u*o + 84, -2*o - y = 2*y - 61. Is o a multiple of 26?
True
Let a(p) = 29*p - 56. Is 13 a factor of a(10)?
True
Let q = 11 - 19. Let a be -9 - ((-35)/5 - -3). Does 14 divide 2/2 - (q + a)?
True
Let p = -9 + 25. Does 18 divide (p/4)/((-4)/(-34))?
False
Let n = -2 - 1. Let q be (2/n)/(2/6). Does 4 divide 12/6 - (0 + q)?
True
Let c = 188 + -52. Suppose 3*s = -5*x + 16, -4*s + 4*x + 2 = x. Suppose -3*h + c = -4*o, -h - s*o - 146 = -4*h. Is h a multiple of 26?
True
Let n(i) be the first derivative of i**4/4 - i**3/3 - i**2/2 + 20*i - 1. Does 10 divide n(0)?
True
Suppose -4*p - o = -2*o - 3, -5*p + 9 = -3*o. Suppose -2*y + 4*k + 10 = p, -4*k - 1 - 6 = y. Is 6 a factor of y + -1*(0 - 14)?
False
Suppose 4*f = -48 + 336. Is f a multiple of 30?
False
Let l = 34 - 9. Does 6 divide l?
False
Suppose 5*f + 241 = 2*b + 91, -4*b - 30 = f. Is 10 a factor of 4/(-4)*1*f?
True
Let j(b) = -10*b**3 + 23 - b - 14*b**3 + 25*b**3 - b**2. Suppose 7*w - 8 = 2*w + 2*m, -w - 3*m = 12. Is j(w) a multiple of 12?
False
Suppose 0 = 8*l - 6*l - 26. Is l a multiple of 13?
True
Suppose -3*d + 36 + 148 = 5*l, -5*d = -l - 260. Is d a multiple of 13?
False
Suppose 4*v - 54 = -2*v. Is 9 a factor of v?
True
Let b = -6 + 9. Suppose 3*i - b - 39 = 0. Does 4 divide i?
False
Suppose 0 = -9*c + 323 + 1378. Is 9 a factor of c?
True
Is (-1 + 2)/((-3)/(-163 + -2)) a multiple of 10?
False
Let b(x) be the second derivative of -x**5/20 + 2*x**4/3 + x**3/2 + 3*x**2/2 - 2*x. Let o be b(8). Suppose 2*f + o = 5*f. Is 5 a factor of f?
False
Let r(f) = -10*f. Is r(-5) a multiple of 25?
True
Let t(h) = 119*h**2 + 2*h - 1. Does 15 divide t(1)?
True
Let h(c) = -c - 3 - 5 + 1 + c**2. Let a be h(-5). Is a + 1 + -1 + 1 a multiple of 16?
False
Suppose -17*b = -7*b - 1080. Does 31 divide b?
False
Does 5 divide ((-84)/(-9))/(6/(-9) + 1)?
False
Let p(r) = r**3 + 4*r**2 - 4*r + 7. Let q = -8 + 3. Let v be p(q). Suppose v*b + 0 = 56. Is 15 a factor of b?
False
Let s(p) be the third derivative of p**5/60 - 7*p**3/6 - 3*p**2. Does 10 divide s(6)?
False
Suppose 0 = 5*o - 4*o - 2. Is 17 a factor of 268/16 - o/(-8)?
True
Let v(t) = 2*t - 9. Let a be v(6). Suppose -2*d = a*l - 19, -5*d = l + l - 53. Is d a multiple of 6?
False
Suppose 2*x = 6*x - 128. Suppose 3 = r - x. Does 14 divide r?
False
Let w = 2 + 0. Suppose 5*t - w*j - j + 2 = 0, 4*t + 3*j + 7 = 0. Let f = t - -11. Does 5 divide f?
True
Let b = -32 - -53. Is b a multiple of 21?
True
Let u be -3*(-1 + 2/(-6)). Suppose -z = -u*z + 54. Is 9 a factor of z?
True
Let j(r) = r**3 + 10*r**2 - 1. Let k be j(-10). Does 12 divide 25 - (1 + 1 + k)?
True
Is 19 a factor of (-741)/(-4) + -1 - (-12)/16?
False
Suppose -4*n + 3 = -41. Suppose 3*d - 6 = 0, -2*b - 3*d + n = -15. Is 5 a factor of b?
True
Let v(s) = 4*s + 3. Let m(i) = 4*i + 3. Let q(l) = 6*m(l) - 7*v(l). Let f be q(-3). Let k = -2 + f. Does 4 divide k?
False
Is 5*(30 - 6/2) a multiple of 8?
False
Let o(l) = 2*l**2 + l - 3. Suppose 26 = 5*j + 6. Suppose 0 = -j*s + 7*s - 9. Does 6 divide o(s)?
True
Suppose 0 = 3*t + 126 - 633. Does 19 divide t?
False
Suppose -y - 3 = -0*y. Does 9 divide (y/(-9))/((-2)/(-54))?
True
Let x be (1 - 357/(-15))*5. Suppose x = -5*s + 459. Suppose 0 = 3*i + t + 3*t - s, -4*i + 48 = -5*t. Is 17 a factor of i?
True
Let i(r) = r**3 - 4*r**2 + 3*r - 4. Let z be i(3). Let w = -4 - z. Suppose w*x = -x - 5*p, -2*x = 4*p - 6. Is x a multiple of 2?
False
Suppose 12*u - 1133 = u. Does 9 divide u?
False
Suppose 2*b - 2 = 5*i + 9, -4*b = 2*i + 14. Let u = 0 - b. Is u a multiple of 2?
True
Suppose -107 = -4*d + c, 0 = 2*d - 0*c - 4*c - 36. Does 14 divide d?
True
Does 7 divide -2 - 1 - (-19 - -7)?
False
Suppose 3*n = 213 + 42. Is n a multiple of 17?
True
Suppose 0 = w - 86 - 19. Is 18 a factor of w?
False
Let f = -8 + 11. Let b = 5 - f. Suppose 0 = 3*s - 2*y - 19 - 9, 4*s - 36 = b*y. Is 7 a factor of s?
False
Let c be 0/1 + 8 + 1. Suppose f - 71 = -c. Suppose -q - 2*b = -45, 0 = -2*q + 6*b - 3*b + f. Does 13 divide q?
False
Suppose 27 = 2*n - 89. Suppose -n = -l - 4*j, l - 4*j - 72 = -j. Is l a multiple of 22?
True
Let w be (-4)/(-10) + (-1024)/(-40). Suppose 2*b - 2*z = w, 5*b - 2*z + 4*z - 72 = 0. Is 14 a factor of b?
True
Let n(p) be the third derivative of -p**4/8 + p**3/6 + 3*p**2. Is n(-7) a multiple of 22?
True
Suppose 5*j = 4*n - 32, -5*n + 0*j + 40 = j. Is 2 a factor of n?
True
Let z be (7/2)/((-1)/(-2)). Suppose -21 = -o - z. Is o a multiple of 14?
True
Let m(x) = x + 4. Let t be m(-2). Suppose 4*y = -3*v + 226, 5*v - 50 = -y - t. Is 29 a factor of y?
True
Suppose 0 = -3*s + 5*a + 38, 110 = 2*s + 3*s + a. Let v = s - 8. Is v a multiple of 7?
False
Suppose -27*s = -22*s - 70. Is 7 a factor of s?
True
Suppose -2*d - 3*d + 900 = -5*c, 2*c - 183 = -d. Is 21 a factor of d?
False
Does 8 divide (134 + 4)/((-1 - 1)/(-1))?
False
Suppose -s = 5*h - 172 - 3, -3*s + 493 = -h. Is s a multiple of 15?
True
Let v = -9 - -9. Suppose v*m - m + 3 = 0. Is m a multiple of 3?
True
Suppose 0 = -3*o - 4*a + 105, 4*o - 47 - 74 = a. Let q = o + 11. Does 14 divide q?
True
Suppose -3*v - 5*d = -682, 6*d + 1186 = 5*v + 2*d. Is 26 a factor of v?
True
Suppose -d - 4*o - o = -28, 5*d - 35 = -4*o. Suppose -d*l + 664 = l. Does 6 divide l/18 + (-10)/45?
False
Does 2 divide (0 + (-22)/(-3))/((-4)/(-6))?
False
Suppose j - 46 = -j. Suppose -2*r = -i - j, i = r - 4*i - 34. Is 4 a factor of r?
False
Suppose b = 5*z + 1 - 3, -7 = -z - 2*b. Suppose 2*q + 5*d - z = 4, -2*d = q - 4. Is q a multiple of 5?
True
Let u = 7 + -3. Let y(o) = -o + 7. Let b be y(5). Suppose 1 = -b*j - 5*k, -u*k - 12 = -3*j - 2. Does 2 divide j?
True
Let h = -389 - -601. Suppose 228 = 5*p - 4*s, 5*p + 3*s = -s + h. Let x = -24 + p. Does 12 divide x?
False
Let c(h) = 3*h**2 + 2. Let w(m) = m**2 + 1. Let b(r) = -2*c(r) + 5*w(r). Let j be b(0). Is (j*44)/(0 - -2) a multiple of 13?
False
Let u(a) = -a**3 + 7*a**2 + a - 7. Let 