+ 3. Let k be g(-5). Does 14 divide 3 - (k + 0 - 62)?
False
Let x(p) = 6*p + 6 + 7 - 9 + p**2. Suppose 3*u = 5*g + 55, 3*g = 5*g - 4*u + 36. Is 10 a factor of x(g)?
True
Is (-33)/22 + 1802/4 a multiple of 11?
False
Let i be 1/(-2) + 122/4. Let h = i + -18. Is h a multiple of 6?
True
Suppose -3*k - 1479 = 3687. Is (2 - (-12)/(-3))*k/28 a multiple of 20?
False
Let z(t) = -9*t + 8. Let i(f) = -f - 1. Let m(a) = -3*i(a) - z(a). Does 4 divide m(3)?
False
Let i(j) = -j**3 + 13*j**2 - 12*j - 4. Let q be i(12). Does 24 divide q/3 + 2 - 284/(-6)?
True
Let y = -6 - -32. Let f = y + -15. Is f a multiple of 3?
False
Suppose 5*j - 1844 = -0*r + r, -2*j = -r - 737. Is j a multiple of 41?
True
Let w = -11 - -29. Let m(p) = -3*p + 15. Let y be m(9). Let f = y + w. Is f even?
True
Suppose q + t - 126 = 33, -5*t - 645 = -4*q. Is q a multiple of 8?
True
Let r(w) = w**3 + 11*w**2 - 11*w + 12. Let l be r(-12). Suppose l = -4*u + 12, 2*u = 4*x - 147 + 13. Does 5 divide x?
True
Suppose -5*q - 50 = -3*u, -40 + 5 = -u - 2*q. Suppose 5*a + 0*a = u. Suppose a*n - 50 = -4*o, -3*o + 19 + 7 = -2*n. Is o a multiple of 6?
False
Suppose -4*u - 3 = -5*u. Suppose -f - 4 = 0, m - u*f - 72 = -3*m. Does 3 divide m?
True
Let j(l) = l**3 + 6*l**2 - 2*l - 1. Let r be j(-6). Suppose a - r - 72 = 0. Let u = a - 53. Is 5 a factor of u?
True
Let d = -295 + 454. Suppose -4*m + 3*m = 5*k, 5*m = -5*k. Suppose m = -r + 4*r - d. Is r a multiple of 9?
False
Let w(r) be the third derivative of -r**6/60 - r**5/15 - r**4/24 + 2*r**3/3 - r**2. Does 3 divide w(-2)?
True
Let h(q) = 2*q**2 - 8*q + 40. Does 5 divide h(9)?
True
Let h = 355 + -235. Let c(y) = -2*y - 16. Let r be c(-11). Suppose 5*b + 5*t = 165, -r*t + 2*t = -3*b + h. Is b a multiple of 12?
True
Is ((-876)/(-8))/(2*2/8) a multiple of 2?
False
Let m(t) = t**2 - 65*t - 147. Does 34 divide m(-24)?
False
Let f be 1 + (-6)/8*-4. Suppose 0 = -w - 2*g + 43, 4*w + w + f*g = 191. Is ((-8)/2)/4 + w a multiple of 10?
False
Suppose 5*w - 20 = -5*i, -4*w - 1 = -4*i - 3*w. Does 13 divide 3*(116/4 + i)?
False
Let i(r) = 4*r - 1. Let b be i(1). Let w(z) = -1 - 3*z**2 + 5 + z - 2*z + 5*z**2. Does 19 divide w(b)?
True
Let n(t) = 59*t - 242. Does 18 divide n(25)?
False
Suppose -4*q + 138 = -21*c + 22*c, -4*q - 12 = 0. Is c a multiple of 30?
True
Let p be 120/18*3/2. Suppose -p = -z + 4. Suppose -c + 10 = -z. Does 10 divide c?
False
Let z(k) be the third derivative of k**6/120 - 2*k**5/15 - k**4/24 - 7*k**3/6 - k**2. Let l be z(9). Let t = -16 + l. Is 12 a factor of t?
False
Let o = 878 - 428. Is o a multiple of 25?
True
Suppose t = -2*i, -2*t + 11 = 3*t - i. Let r be (-386)/(t + (-2 - 2)). Suppose 0 = -q + 5*o + 61, 4*q - 2*o - r = o. Is q a multiple of 23?
True
Let g = 31 + -22. Let o(f) = -f**3 + 8*f**2 + 9*f + 5. Let d be o(g). Suppose -3*s + 13 = h - 0*h, 0 = -3*h - d*s + 51. Does 10 divide h?
False
Suppose -7 = -4*o + 5. Suppose -3*a - 3 = 3*z, o*a - 5 = z - 2*z. Suppose -4*c + 30 = -a*c. Does 10 divide c?
True
Let k(a) be the first derivative of 25/2*a**4 + 0*a**3 - 2 + 1/2*a**2 - a. Does 13 divide k(1)?
False
Suppose 7751 = 3*a + 1691. Is a a multiple of 10?
True
Suppose 2*k - 2*d = 3*d + 53, 3*k - 83 = 4*d. Let h = -3 + k. Suppose 0*v = 2*v - h. Is v a multiple of 13?
True
Suppose 2*y - y = 0. Let w(m) = -m**2 + 169. Let l be w(y). Suppose 4*r = l - 29. Does 10 divide r?
False
Suppose 3 = -2*o - 5*x + 110, 0 = 5*o + x - 302. Is 2 a factor of o?
False
Let h(s) = s**2 + s. Let x(o) = 7*o**2 - 5*o + 15. Let a(c) = -6*h(c) + x(c). Does 5 divide a(11)?
True
Let c be ((-7)/14)/((-1)/66). Let r = 42 + c. Is 15 a factor of r?
True
Let u = 331 - 111. Let x = 977 + -826. Let q = u - x. Is q a multiple of 20?
False
Let u = 5 - -11. Suppose 2*p = 6*p - u. Suppose p*d + 5 = f - 2, 4*f - 128 = -4*d. Does 9 divide f?
True
Let l be (93/27*3)/((-1)/(-3)). Is l*2*(-3)/(-2) a multiple of 29?
False
Suppose -8 = 4*o + 2*k, k - 13 + 3 = 5*o. Let m be 273/(-15) + o/(-10). Is m/(3 + (-33)/9) a multiple of 16?
False
Suppose 0 = 4*l - 5*a - 15 - 10, 16 = l + 2*a. Let o(j) = l - j + 0*j + 3*j + 2. Does 11 divide o(5)?
True
Suppose 15*c = 10*c. Is ((-36)/(-15) - c)*(-100)/(-8) a multiple of 5?
True
Suppose -3*g = -3*b - 351, 0 = 3*g + 14*b - 13*b - 367. Does 11 divide g?
True
Suppose 33 = -2*d + g, -3*d + 4*g + 17 - 74 = 0. Is 5 a factor of 2/3 - (335/d + 3)?
True
Let i(u) = u**3 - 10*u**2 + 18*u + 28. Does 38 divide i(12)?
True
Suppose -6*h - 1265 = -1619. Is h a multiple of 9?
False
Let s(g) = g**2 + 12*g - 39. Let y be s(14). Suppose 335 = 3*l - y. Does 20 divide l?
True
Suppose 0 = -2*c + 2. Suppose 4*b - 8*b = -5*v + 17, 0 = 2*b - v + c. Suppose -2 = -2*h, -b*t + 1 = -4*h - 7. Does 3 divide t?
True
Let p = -18 + 5. Let b = p + 15. Let k = 1 + b. Is k a multiple of 2?
False
Let k = 44 + -26. Let b = k - 30. Does 21 divide 79/(b/3 + 5)?
False
Let m(z) = -z**3 + 9*z**2 + 5*z + 3. Let v(i) = -i**3 + 5*i**2 + 3*i + 2. Let o(y) = 3*m(y) - 5*v(y). Let h be o(1). Is ((-2)/6 - h)*-15 a multiple of 10?
True
Suppose 1323*f = 1319*f + 10752. Is 32 a factor of f?
True
Let v = 1138 + -904. Is v a multiple of 6?
True
Let v = 3436 - 1387. Is v a multiple of 12?
False
Suppose -31 = -4*y + 3*x, 0*x - x - 36 = -5*y. Suppose -320 = y*j - 12*j. Suppose -f - j = -5*f. Does 16 divide f?
True
Let t(j) = j**3 + 20*j**2 + 18*j - 19. Let k be t(-19). Suppose 4*f - 4*i - 188 = k, i - 221 = -5*f - i. Does 26 divide f?
False
Suppose -20*n = 4*n - 9120. Does 38 divide n?
True
Let o(w) = 5*w**2 - 7*w - 22. Is 35 a factor of o(-18)?
False
Suppose -12 - 4 = 2*l. Let u(v) = -v**3 - 8*v**2 - 2*v - 14. Let r be u(l). Let k = 34 - r. Does 4 divide k?
True
Suppose 5*v - 5 = -5. Suppose -4*a + 307 - 27 = v. Is 10 a factor of a?
True
Does 28 divide (-2)/(-8) - (-220368)/192?
True
Let c(y) = -y**3 + 4*y**2 + 4*y + 5. Let t be c(5). Suppose 0 = -r - 3*r - 3*v + 474, 4*r - 5*v - 490 = t. Does 30 divide r?
True
Let k be (-6)/(12/(60/(-10))). Suppose 5*a + 5 = -0. Is (-3 + a)/(k/(-48)) a multiple of 16?
True
Suppose -2*u - o + 8 = o, 12 = 3*u - 5*o. Is 4/(3/72*u) a multiple of 7?
False
Suppose 0 = -w - 5*w - 108. Let f(t) = -11*t + 29. Is f(w) a multiple of 33?
False
Suppose 3*d + 18 = -3*b, 0 = 7*d - 2*d + 25. Is (10 - 9)/(b/(-137)) a multiple of 6?
False
Let v(l) = -l + 1. Let s(t) = 3*t - 2. Let d(z) = 2*s(z) + 10*v(z). Does 17 divide d(-7)?
True
Suppose 2*b - 285 = 1223. Is 13 a factor of b?
True
Let t = 1595 - 1000. Does 40 divide t?
False
Let f be (-4 + 2)/((-16)/152). Suppose -6*t + 4 = -10*t, -2*w = -t - f. Is 4 a factor of w?
False
Let r(a) = 30*a**2 + 28*a + 6. Is r(3) a multiple of 4?
True
Suppose -2*x + 11 = -5. Let p = 57 - 54. Suppose p*w - 18 = 3*l, 4*w - x = 2*w + 4*l. Does 4 divide w?
True
Let v(o) = o**3 + 2*o**2 - o + 6. Is 5 a factor of v(5)?
False
Let l(o) = 4*o - 25. Let q be l(13). Let p = q + 21. Is p a multiple of 6?
True
Let d be ((-4)/6)/(6/(-27)). Suppose -p + n + 56 = 2*n, d*n - 9 = 0. Does 27 divide p?
False
Let d(h) = 7*h - 1. Let o = 13 - 50. Let r = -24 - o. Is d(r) a multiple of 30?
True
Suppose 3*q = n + 4*n + 15, 2*n - 5*q + 25 = 0. Let y be -3 + 2 - n - -1. Does 15 divide (0 - -56) + (1 - y)?
False
Let g be -2 + (-6)/(3/1). Let w = 7 + g. Does 9 divide 44 + (-1 - -5 - w)?
True
Let x = 1492 + -1162. Does 10 divide x?
True
Suppose 5*a - l = 2*a - 31, -35 = 4*a + 5*l. Is (35 - a) + -5 + 1 a multiple of 17?
False
Let o(z) = -4*z - 2. Let g be o(-2). Is g/9 - (-112)/3 a multiple of 5?
False
Suppose -2*r + 3*r + 117 = 2*z, -2*z - r + 107 = 0. Let f = 108 + z. Is 18 a factor of (-1)/((-5 - -1)/f)?
False
Let z(n) be the third derivative of n**4/6 + n**3/6 + 8*n**2. Is 13 a factor of z(3)?
True
Let f = -20 - -13. Let g be (-6)/(f/(49/2)). Suppose -6*x + 7*x - g = 0. Does 7 divide x?
True
Let q(d) = -d + 16 - 2*d**3 - 2*d**2 - 17*d**3 + 18*d**3. Let s(n) = n**2 - 6*n - 7. Let x be s(7). Does 14 divide q(x)?
False
Let i(y) = -2*y**3 + 10*y**2 - 5*y. Does 14 divide i(2)?
True
Suppose 7*u = 27 + 1. Is 46 a factor of u/8 - 796/(-8)?
False
Suppose -6*z = -3*z - 294. Let w = z - 41. Let k = 172 - w. Is k a multiple of 25?
False
Let n(y) = 2*y**3 + 43*y**2 - y + 96. Is 80 a factor of n(-19)?
True
Let h(o) = -11*o**2 + 5*o + 8. Let n be h(7). Is 8 a factor of (n/(-6))/(4/12*1)?
True
Is 3019/6