*q - 2*q**2 + 2*q**2 + 0*q**2 + 2 + 4*q**2. Is t(-2) a multiple of 5?
False
Let a(o) = -o - 1. Let i be a(-6). Suppose -2*j + n + 17 = -4*n, 5*j = i*n + 20. Suppose 65 = 4*v + j. Does 4 divide v?
True
Let u = -618 - -906. Suppose 0*p + 387 = 4*p + 3*o, -3*p - 3*o + u = 0. Is 11 a factor of p?
True
Let h(q) = 2*q**2 + 6*q + 9. Let p be h(-7). Suppose 4*n + n = -p. Let d = n + 18. Does 5 divide d?
True
Suppose -o + 12 = 4*d, -3*o - o = -4*d - 8. Suppose d*y = 2*r + r - 46, -3*r + 61 = -5*y. Is 4 a factor of r?
True
Let l(s) = -157*s**3 + 5*s**2 + 7*s + 12. Is l(-2) a multiple of 49?
True
Let u = 8 - -5. Let y(d) = d**2 - 14*d + 27. Does 14 divide y(u)?
True
Let t be ((-6)/15)/(3/(-15)). Let r be t + -1 - (-1 + -2). Suppose 4*g - 35 = -2*f + 27, -f + r*g + 61 = 0. Is f a multiple of 15?
False
Suppose -13*r + 1732 = -3676. Is r a multiple of 4?
True
Suppose 51 = 3*q + 45. Suppose q*z = 6*z - 120. Does 4 divide z?
False
Let u = 2 - 0. Suppose -u + 6 = z. Suppose y + 108 + 97 = 3*a, -8 = -z*y. Is a a multiple of 22?
False
Let w(x) = x**3 + 15*x**2 - 8*x - 21. Let v be w(-15). Let y = v + -53. Does 8 divide y?
False
Let s be 9/(-45) - 112/(-10). Suppose 7 = x + o, 4*x - s = o + 17. Suppose h - x = -4*j + 20, -5*h = -j - 9. Does 2 divide j?
True
Let c be (-681)/(-6) + (-9)/(-6) + 0. Suppose 0 = -4*r + 531 - c. Is r a multiple of 13?
True
Let f be (-20)/(-6)*(-4017)/(-26). Suppose a + 3*g = 5*a - f, -5*a - 3*g + 637 = 0. Is 12 a factor of a?
False
Let j be (-1)/(-3) - 124/(-6). Let o = j + 12. Is o a multiple of 11?
True
Suppose 2*g = 2*s + 1660, -3*g = 4*s - 3324 + 806. Is g a multiple of 50?
False
Let t(o) = 2003*o**2 + 3*o - 4. Let g be t(3). Let f be 4/26 - g/91. Let p = -114 - f. Is p a multiple of 28?
True
Suppose 2*j - 3*j = 2*j. Is 22 a factor of -3 + j + 3 - -24?
False
Is 38 a factor of ((-4850)/40 + -7)*16/(-6)?
True
Let w = 8121 + -4718. Is 117 a factor of w?
False
Let v(z) = -z**3 - 27*z**2 + 21*z + 59. Does 12 divide v(-28)?
False
Suppose 4 = -t, -5*t + 80 = 5*n - 10*t. Suppose j - 77 + n = 0. Is 20 a factor of j?
False
Let q = 48 - 40. Let i(j) = -4*j + 2. Let y be i(-6). Let c = y - q. Does 6 divide c?
True
Let k = 184 - 131. Let w = 109 - k. Is 5 a factor of w?
False
Suppose 0 = -2*z + 152 + 24. Suppose 16*r = 14*r + z. Is 4 a factor of r?
True
Let s = 68 + -65. Suppose 0 = 3*f - z - 159 - 15, 5*z + 162 = s*f. Does 11 divide f?
False
Let m = 1543 + -1363. Is 20 a factor of m?
True
Suppose 0 = 4*q + 3 - 15. Suppose 8*t - q*t = i - 20, 19 = 5*i + 2*t. Suppose -2*w + 3*a - 7 = -w, 41 = i*w + 4*a. Is 2 a factor of w?
False
Let p = 15 + -9. Let t be 21/p - 2/4. Suppose -l = t - 7. Is l a multiple of 3?
False
Let s(o) = 5*o**3 - 2*o**2 + o. Let r be s(1). Suppose 0 = -0*x + 2*x - 2*w, r*x = -2*w. Does 10 divide -3 - (0 - x) - -58?
False
Let a be 4/(-4)*-428 + 2. Let t be 4/(-14) - a/(-35). Suppose -t = -4*f + 24. Does 9 divide f?
True
Let d = -72 + 153. Suppose -3*z + n + 248 = 3*n, -z + n + d = 0. Suppose -4*i + 14 = -z. Is 8 a factor of i?
True
Suppose 2*o = 7*o - 150. Let n = o + -1. Is n a multiple of 29?
True
Let p = -1298 + 1409. Is p a multiple of 19?
False
Suppose 3*m + n + 3 + 1 = 0, -4*m - 16 = 4*n. Suppose 5*o + x - 217 = 0, 0 = -4*o - m*o + x + 179. Does 22 divide o?
True
Suppose 0 = 4*o - 72 - 396. Does 5 divide o?
False
Let t = 1435 + -2055. Is t/(-6) - (-28)/(-21) a multiple of 17?
True
Let j be 1/5*4*10. Let m be (21/(-14))/((-1)/j). Is 42/m*1*14 a multiple of 16?
False
Let u(t) = t + 8. Let b be u(-6). Suppose 3*p - 2*p = b. Suppose 82 = 4*r + p*d - 16, 5*d + 5 = 0. Does 11 divide r?
False
Suppose -4*f + 451 + 259 = -2*l, 365 = 2*f + l. Is 12 a factor of f?
True
Let k(s) = -4*s**3 + s**2 + 6*s + 3. Suppose 0 = -v + 1 + 2. Suppose 3*z - 2*o = -3*o - 10, -4*z - 9 = -v*o. Does 30 divide k(z)?
False
Let v = -10 + 15. Suppose -49 = v*p - 229. Suppose 2*u + p = 4*f - 0*f, -8 = -4*u. Does 3 divide f?
False
Suppose g + 3*q - 587 = 60, -4*g - 3*q = -2633. Is g a multiple of 31?
False
Let z be ((-8)/12 - 0)*-3. Let b be (5*z)/(6/(-210)). Is 19 a factor of -2*(b/4)/7?
False
Suppose 178 = 5*d - 4*g, 0*d + 50 = d + 4*g. Let f = d + -14. Does 4 divide f?
True
Suppose 5*a + 4*w - 4488 = 0, a - 3*w - 434 = 456. Does 33 divide a?
False
Let p(x) = x**3 + 9*x**2 + x + 9. Let g be p(-9). Suppose 2*c + c - 72 = 0. Suppose g = -w + 72 - c. Is w a multiple of 12?
True
Let j be 4 + 4/4 + -3. Suppose 4*c = -z + 19, 86 = j*z - c - 3*c. Suppose -t + 1 = -z. Is t a multiple of 9?
True
Let s(q) = 20*q**2 - 6. Does 38 divide s(-5)?
True
Suppose -2*b + 305 = -5*p, -586 = -4*b - 0*p + 2*p. Suppose b*d - 148*d + 264 = 0. Is 6 a factor of d?
False
Suppose 0 = 27*o - 78*o + 98481. Does 6 divide o?
False
Let x be 0/((12/2)/(-2)). Suppose 0 = 3*g - 3*h + 39 - 3, -4*g - 3*h - 20 = x. Let y(z) = -z**3 - 6*z**2 + 10*z - 4. Is y(g) a multiple of 5?
False
Suppose 0*d + 8 = 2*d. Let f be (-10 + -12)*2/d. Let g = 15 + f. Is g even?
True
Let s be (-8)/2*5*(-9)/90. Suppose -3*y + s*y + 16 = 0. Is y a multiple of 3?
False
Suppose 2*k = 5*k - l - 644, -k = 3*l - 218. Suppose z - k = -4*z. Suppose 5*t = 3*f + 77, t - z = -2*t + f. Is t a multiple of 6?
False
Does 107 divide ((-6)/7)/(39/(-87633))?
True
Let h be (-4)/6 - 17/(-3). Let q(s) = 2*s**3 + 9*s**2 + 13*s + 4. Let o(v) = -v**3 - 4*v**2 - 7*v - 2. Let a(f) = h*o(f) + 3*q(f). Is a(-6) a multiple of 7?
True
Let w = 217 + -305. Suppose -51 - 72 = -q. Let u = q + w. Does 20 divide u?
False
Suppose 3*o = 56 - 38. Let w = 29 + o. Is w a multiple of 35?
True
Let n = 39 + -41. Does 12 divide (2/5)/(4*n/(-240))?
True
Suppose -r = -3*q + 7, 5*r + 2 - 3 = 3*q. Suppose -4*c = -z + 200, z - r*z + 185 = -c. Is 30 a factor of z?
True
Let v = -7 + 12. Suppose -175 = -0*g - v*g. Is g a multiple of 21?
False
Suppose 47 = w - n - 3*n, -3*w + 2*n + 181 = 0. Let h = w + -38. Is h a multiple of 4?
False
Let u = -300 - -1400. Does 19 divide u?
False
Let j = 540 - 141. Is 7 a factor of j?
True
Suppose -40 = -5*t - 5. Suppose 2 = 5*w + t, n - 54 = 5*w. Let p = n + 1. Is 12 a factor of p?
False
Is (115/(-15) + 3)*-117 a multiple of 13?
True
Let d(y) = 6*y**3 + y**2 - 1. Let w = 49 - 47. Is d(w) a multiple of 17?
True
Let k = 163 + -152. Suppose -k = -v + 69. Does 20 divide v?
True
Let k(p) be the second derivative of 5*p**5/12 - p**4/24 - 3*p**2/2 + 11*p. Let v(l) be the first derivative of k(l). Does 4 divide v(-1)?
False
Suppose -5*u + 5 = 3*m - 3*u, 2*m = 4*u + 14. Suppose 2*c = z + 34 - m, -3*z - 65 = -4*c. Does 14 divide c?
True
Suppose -2*z = -3*x - 213, 5*z - 524 = 2*x - 3*x. Is z a multiple of 35?
True
Suppose -4*j + 339 = 27. Suppose -3*o = 3*o - j. Does 13 divide o?
True
Let m = -1525 + 2319. Is 53 a factor of m?
False
Let s(o) = -9*o - 20. Suppose p + 4*p - 15 = 0, 5*p - 72 = 3*u. Is 10 a factor of s(u)?
False
Suppose 0 = -0*j - 6*j + 342. Suppose -3*r + 138 = -2*v + 49, 2*r = -v + j. Is 3 a factor of r?
False
Suppose 3*d - 12 = -6. Suppose -2*g = -3*c - 19, d*c = -3*g - 0*c - 4. Suppose g*f = -4*p + p + 47, -1 = -f. Is 15 a factor of p?
True
Let z = 554 + 378. Is z a multiple of 27?
False
Let j be 473/33 + (-2)/(-3). Suppose 0 = 4*s - 5*f + 88 - 3, j = 3*f. Let l = s - -24. Is l a multiple of 3?
True
Suppose -2*u + 666 = -2*v, -11*v + 12 = -7*v. Does 6 divide u?
True
Suppose 24*q + 96 = 25*q. Suppose -2*p - 4*v + q = -0*p, 2*p - 75 = 3*v. Is p a multiple of 12?
False
Let t(n) = 6*n - 16*n - 1 + 7*n. Is t(-3) even?
True
Suppose 0*n - 8*n + 840 = 0. Is n a multiple of 4?
False
Let f(w) = 2*w + 9. Let x be f(-6). Let d be x/(-2) - (-5)/(-2). Let t = 10 + d. Is t even?
False
Let o(m) = 6*m + 57. Let l be o(-12). Let c(s) = s**3 + 16*s**2 + 10*s - 15. Is 3 a factor of c(l)?
True
Suppose -7448 = -28*g + 14*g. Is g a multiple of 40?
False
Let d(n) be the second derivative of n**5/10 - n**4/3 - n**3/2 - 3*n**2/2 - 6*n. Is d(4) a multiple of 7?
True
Let z be 2/(-6) + (-6164)/(-69). Suppose 5*i = 15, -y = -4*i - i - z. Is y a multiple of 26?
True
Let t be 2/(-2)*2238/(-6). Suppose 4*o + v = t, -2*v + 95 = o - 0*o. Is o a multiple of 31?
True
Suppose -5*z = -2*j - 16, 0*j - j - 2*z + 10 = 0. Let a be 2198/21 - j/(-6). Suppose 5*u + 5*s = a, 13 = 5*u - 5*s - 62. Is u a multiple of 6?
True
Suppose 0 = 16*j - 22*j + 1296. Does 7 divide j?
F