 a = 3 - 0. Is 9 a factor of g(a)?
False
Suppose 4*b - 5 = -5*f, f + b + 20 = 4*f. Suppose 0 = f*m + 5*a, -3*m - m + 6 = 2*a. Suppose 35 = i - 2*r, -r = -2*r + m. Is i a multiple of 18?
False
Suppose 3*l = -4*m + 8 - 1, -2*l = -5*m + 26. Suppose m*t + 3770 = 17*t. Is t a multiple of 58?
True
Does 2 divide (166 - (8 - 8))/(3 - 1)?
False
Let b(z) = -3740*z - 629. Does 62 divide b(-11)?
False
Let u = -6872 - -8773. Is 5 a factor of u?
False
Let k = -10083 + 15303. Is 15 a factor of k?
True
Let c = 22628 - 10113. Does 6 divide c?
False
Let m be (-1 + -9)/(12/(-18)*3). Let s(c) = c**3 - 3*c**2 - 8*c + 9. Let p be s(m). Suppose -4*q - 5*t + 86 = -115, q - 5*t - p = 0. Does 11 divide q?
True
Suppose -3*o = 19 - 643. Suppose o = 13*p - 9*p. Is p a multiple of 4?
True
Let z(s) be the first derivative of s**3/3 + 9*s + 32. Let r be z(-3). Suppose r = 2*k - 4. Is k a multiple of 9?
False
Let v(r) = r**3 + 5*r - 10. Let t(j) = -19*j + 12*j - j**2 - 9 + 12*j. Let w(u) = -3*t(u) + 2*v(u). Does 26 divide w(4)?
False
Suppose -h = -17 - 9. Let y = h + -28. Is (-126)/28*y*9 a multiple of 7?
False
Let h(x) be the third derivative of 2*x**4/3 - 31*x**3/6 - 53*x**2 + 2*x - 2. Suppose 4*n - 29 = 4*o + 11, -4*o = -n + 22. Is h(n) a multiple of 16?
False
Let c be ((-11)/(-2))/((-2)/(-120)). Let g = c - 209. Is 6 a factor of g?
False
Let x = -53 + 389. Let k = x - 177. Does 53 divide k?
True
Is (((-25)/(-15) - 1) + -7)/(1/(-879)) a multiple of 160?
False
Let y = 3079 - 1792. Suppose 18*u - 1395 = y. Is u a multiple of 2?
False
Let m be (-17667)/(-702) + (-26)/12 + 2. Suppose -3*o + 4264 = -5*r, -2*o - 28*r + 2868 = -m*r. Is 28 a factor of o?
True
Let r(t) = -10*t**3 - 5*t**2 - 8*t - 14. Let c(v) = -v**2 + 4*v + 135. Let q be c(-10). Is r(q) a multiple of 32?
False
Suppose -3*w = p - 10, 0 = 3*p - 0*p - 12. Is 25 a factor of w*(2 + (232 - 2)) + -3?
False
Let b(z) = -15*z**3 - 11*z**2 - 5 + 14*z**3 - 13 - 17*z. Does 3 divide b(-10)?
False
Let j = -3601 + 4730. Is 31 a factor of j?
False
Let y = -5076 - -6316. Does 155 divide y?
True
Let g be ((-9)/(-4))/(87/16936). Let i = g + 113. Does 19 divide i?
True
Is (-35936)/28*(-213)/12 - 205/(-1435) a multiple of 109?
True
Suppose 0*x - 53*x + 1039 + 21 = 0. Let z(s) = s**3 - 2*s. Let j be z(2). Suppose 5*i + j*r + 7 = 6*i, x = 5*r. Does 23 divide i?
True
Suppose -5*j = -4*w + 20, 3*w - 4*j + 6 = 2*w. Suppose -d + 6*d = w. Does 9 divide (d + -38)*3/(-6)?
True
Let i be ((-240)/(-18))/((-4)/(-972)). Suppose -i = -3*k - y, -226 = 5*k + 3*y - 5626. Is 60 a factor of k?
True
Suppose -3*f + 2*u + 1 = 0, 0 = -4*u + 2*u + 8. Suppose -2*w + 234 = 5*h, -w + f*h = 2*h - 131. Let q = -114 + w. Is q even?
False
Let s = 554 + -122. Let h = s + -264. Does 21 divide h?
True
Does 62 divide 2584/7 + 1596/1862?
False
Suppose 2*i = 7*i - 3*f - 19, 3*f = -4*i - 1. Let q = i - 3. Does 5 divide (-19)/(1/q) + -4?
True
Suppose -3*r = 4*u - 451, 0*u - 2*r = 5*u - 555. Suppose 0 = -111*a + u*a. Suppose t + 3*k - 149 = 0, -4*t - 5*k + 3*k + 616 = a. Does 31 divide t?
True
Let c = -50138 + 96692. Does 119 divide c?
False
Suppose 7*b - 4*b - 26272 = -4*g, 1 = g. Is 25 a factor of b?
False
Let j(l) be the second derivative of -7*l**4/12 + 95*l**3/3 - 3*l**2/2 + 211*l. Is 57 a factor of j(9)?
True
Suppose -6*r + r + 5 = 3*q, -4*q = 3*r - 3. Suppose r = -4*x + 17. Suppose 0*s - o + 153 = s, -x*s + 567 = -5*o. Is 31 a factor of s?
False
Let v(y) be the first derivative of y**5/60 + y**4/8 + 19*y**3/6 + 8*y**2 - 23. Let s(d) be the second derivative of v(d). Does 10 divide s(-6)?
False
Is 20 a factor of (-9778320)/(-6885) + (-8)/34?
True
Let r(u) = -302 - 3*u + 14*u**2 + u - u + 310. Does 45 divide r(-5)?
False
Let w be 3*(-3)/(27/(-12)). Suppose 0 = -3*z + 5*z - w. Suppose -32 = -z*b + b. Does 8 divide b?
True
Suppose -19 = -p + 4. Suppose -362 = -5*f + p. Does 28 divide f?
False
Let r = 13 + -15. Let z = 14 + r. Let t = 10 + z. Is t a multiple of 14?
False
Let n(g) = g**2 - 5*g - 9. Let u be n(8). Suppose -275 + 1985 = u*f. Does 6 divide f?
True
Is (-3 - (-1526)/42)/(-1)*-249*1 a multiple of 100?
True
Let m = 98 - 98. Suppose -2*r - 4 = m, 0 = -h - 2*h - r + 94. Suppose b = 5*b - h. Does 2 divide b?
True
Let t be 252/15*45/18. Is 2 a factor of ((-63)/t)/(6/(-236))?
False
Let b(u) = -u**3 - 8*u**2 + 2*u + 6. Let d be b(-8). Suppose -151*q + 158*q = 280. Let f = q + d. Is 10 a factor of f?
True
Let l be (-1136)/56 + -9 - 4/(-14). Let z(b) = -b**2 - 39*b - 57. Is 41 a factor of z(l)?
False
Does 9 divide -4116*(-10 + (-518)/(-56))?
True
Let q(h) = 5*h**2 - 19*h - 1. Let w be q(4). Let d = w - 1. Suppose -4*j - 2*p + 115 = -141, 0 = -d*j + p + 136. Does 28 divide j?
False
Let f = -297 - -303. Suppose f*i - 1263 = 1107. Is i a multiple of 10?
False
Let y(u) = 1362*u**2 - 18*u + 64. Is y(-3) a multiple of 13?
True
Let w(t) = -187*t - 462. Is 132 a factor of w(-30)?
True
Let a(q) = -4*q**2 - 6*q**2 - 7*q - 9 + 6*q**2 + 3*q**2. Let x be a(-4). Suppose 75 = x*f - n, 0 = 4*f - 0*n - 5*n - 100. Is f a multiple of 7?
False
Suppose 0*r = 5*r - 15. Suppose 2*p + 3*b = -4, -r*p + 18 = -2*b - 2. Suppose 4*u + p*k + 96 = 8*u, 2*u - 4*k - 40 = 0. Is u a multiple of 4?
True
Let i be (2 + -1 - 5)*-1. Suppose i*f - f = 99. Suppose 3*c - 12 = 0, 5*u - f - 15 = 3*c. Does 6 divide u?
True
Suppose 0 = 13*n - 12*n - 110. Let a = 167 - n. Is 7 a factor of a?
False
Let f = 17 + -10. Let a(g) = -2*g + 14. Let o be a(f). Suppose o = -9*m + 7*m + 34. Is m a multiple of 3?
False
Let z = 48211 - 5032. Does 30 divide z?
False
Let c be (16/(-3))/(14/(-21)). Let a(m) be the second derivative of -m**5/20 + 7*m**4/12 + 11*m**3/6 + 6*m**2 + 7*m. Does 36 divide a(c)?
True
Let d(p) = 199*p - 1690. Is d(17) a multiple of 9?
False
Let d(v) = -v**3 + 5*v**2 + v + 6. Let p be d(6). Let b = -13 - p. Does 2 divide b?
False
Let k = 67 + -65. Suppose 0 = 4*i - 3*p - k*p - 1812, 0 = -4*i - p + 1788. Suppose -14*d + 1680 = i. Does 12 divide d?
False
Let g be (-1 - (2 + -2))/((-6)/12). Is 1 + g/(14/1953) a multiple of 10?
True
Let d = 110 - 105. Let m = d - 9. Is 42 a factor of m/24 + (-1514)/(-12)?
True
Suppose 0 = -4*q + 12 - 0. Suppose -36 = -q*r - 3*r. Suppose -50 = -r*u + u - 3*k, -2*u + 3*k + 20 = 0. Is 2 a factor of u?
True
Suppose 4*n - c = 31142, 9*n = 7*n + c + 15568. Does 13 divide n?
True
Does 22 divide (-1231922)/(-171) - 2/9?
False
Let f be (10/6)/((-7)/(-42)). Let h(q) = 3*q**2 - 29*q - 16. Let c be h(f). Is c/9 + (-2)/(-6)*272 a multiple of 18?
True
Suppose 336*f = 338*f - 5276. Is f a multiple of 6?
False
Let s(y) = 3*y**2 + 2*y + 5. Let r be s(-4). Suppose -c - 4*c + r = 0. Suppose c*b + 586 = 1837. Is b a multiple of 38?
False
Suppose 4*y - 1 = o, -13 - 18 = -2*o - 3*y. Suppose 2 = -2*d - 4*t, t - 3 = d - o. Suppose 3*n + 4*a = 96, 3*n - 57 = d*a + 39. Does 16 divide n?
True
Let v(d) = 738*d**2 - 18*d - 20. Let g = -83 + 82. Does 23 divide v(g)?
True
Let u(w) = -281*w - 4883. Is 6 a factor of u(-49)?
True
Suppose 19*s - 18*s = -6. Let g(a) be the first derivative of -9*a**2/2 - 13*a - 22. Is 14 a factor of g(s)?
False
Suppose -5*r = -k - 16, r - 2*k + 3 + 1 = 0. Suppose 0 = 4*j - 4*q + 8, -r*j - 5 = j - 4*q. Suppose -3*m = -5*y - 157, -j*m + 4*y + 147 = y. Does 11 divide m?
True
Suppose -q = 5*w + 5, 3*q - 1 = -5*w - 16. Suppose w = -32*t + 30*t + 20. Suppose 0 = -3*b - t + 31. Is 4 a factor of b?
False
Suppose 4*n + 1384 = 4*j + 8*n, 0 = 3*j - 3*n - 1050. Let u = j - 84. Is u a multiple of 45?
False
Let g(s) = -s**2 + 2*s - 43. Let f be g(0). Does 64 divide 1178/4 + f/86?
False
Let r(p) = p**2 - 48*p + 433. Let c be r(34). Suppose -f + 39 - 111 = 0. Let l = c - f. Is l a multiple of 4?
False
Does 29 divide 117970/18 - (-49)/441?
True
Let p = 2146 - 562. Is 22 a factor of p?
True
Suppose -d + 179 = -5*p, -125 = 3*p - 2*d - 3*d. Let m = 20 + p. Does 2 divide (-4 - 50/m)/((-4)/30)?
False
Suppose t + 4*t + 16808 = -4*r, -t - 20989 = 5*r. Does 25 divide r/(-6) + 14/28?
True
Suppose -5*w + 3*n + 32737 = 0, 3*w - 7648 = 5*n + 11991. Is 66 a factor of w?
False
Let l = -4482 - -4816. Does 38 divide l?
False
Let h = 8029 + 4456. Does 36 divide h?
False
Let o(f) = 24*f**2 + 16*f + 7. Does 6 divide o(-10)?
False
Let z = -15155 - -22651. Is 179 a factor of z?
False
Let o(h) = -h**2 + 10*h - 16. Let 