y + a*c + c - 30. Let o(q) = -q - 5. Does 4 divide o(y)?
False
Let n = 813 + -238. Is 5 a factor of n?
True
Let g be (-2)/(-1)*(-2)/4. Let x(l) = -l**3 + l - 2. Let t(n) = -2*n**3 + n - 3. Let p(j) = 2*t(j) - 3*x(j). Is p(g) even?
True
Suppose b - 548 = j - 3*j, -b = -2*j - 532. Is b a multiple of 21?
False
Let b(o) be the second derivative of 6*o**3 + o**2/2 + 10*o. Let p = -7 - -8. Is b(p) a multiple of 13?
False
Let r(h) = 2*h + 9. Let n(p) = -p**2 - 10*p - 10. Let i be n(-8). Suppose g - 8 = i. Is 9 a factor of r(g)?
False
Let x = 3336 + -1533. Is 40 a factor of x?
False
Suppose 0 = 4*n + 13*t - 9*t - 3640, -2*n + 2*t + 1804 = 0. Is 16 a factor of n?
False
Let d = 153 - 100. Let v = -32 + d. Let n = -15 + v. Does 6 divide n?
True
Let k = -2181 + 3951. Is 90 a factor of k?
False
Is 133200/216 + 2/(-3) a multiple of 26?
False
Let u(z) = 4*z**2 - 8*z - 14. Let d be u(-9). Let t = d - 202. Does 20 divide t?
True
Suppose 0 = -9*t - 873 + 2754. Does 30 divide t?
False
Suppose -775 = -0*i - 5*i. Does 31 divide i?
True
Let g = -861 + 1456. Does 7 divide ((-8)/10)/((-17)/g)?
True
Let w(s) = 14*s - 8. Let o be w(6). Suppose -50 = -2*y - 3*d, -3*y - 3*d = 2*d - o. Suppose -3*p - 8 = -2*j, -2*p + y = 4*j - 10. Does 7 divide j?
True
Let k(h) = -3*h + 42. Let m(x) = -x**3 + 11*x**2 + x - 11. Let j = -28 + 39. Let n be m(j). Does 13 divide k(n)?
False
Suppose 3*n + 3 = -27. Let r be 16/n*20/8. Is (64/(-20) - r)*20 a multiple of 4?
True
Suppose -7*h + 13 = -22. Suppose -6*d + 1 = -k - 2*d, 3 = -k + h*d. Does 5 divide k?
False
Suppose -25*c + 605 = -14*c. Is c a multiple of 6?
False
Suppose 2*q + 2*k = 112, -6*q + q - 4*k + 284 = 0. Does 30 divide q?
True
Is 47 a factor of ((-770)/245)/(((-1)/(-329))/(-1))?
True
Does 27 divide (76 + -77)/(2/(-6864))?
False
Let y(c) = 79*c - 355. Is y(5) a multiple of 4?
True
Suppose -173*f = -185*f + 10884. Is 4 a factor of f?
False
Suppose 0 = -5*j + 2*j + 9. Let z(x) = -x**3 - 17*x**2 + 16*x - 36. Let t be z(-18). Suppose t = -5*p + j*p - 4, 5*p - 26 = -2*k. Does 6 divide k?
True
Suppose z + o = 159 + 26, 5*z = 3*o + 957. Is z a multiple of 7?
True
Suppose -5*y + 1 = 111. Suppose -h + 15 = 4*h. Is (h - 1)*y/(-1) a multiple of 11?
True
Let y(u) = -u**2 - 14*u - 4. Let v(i) = 5*i - 5. Let l be v(4). Suppose -2*g - 39 = 5*n, -2*n - l = 2*g - 5*n. Does 9 divide y(g)?
False
Suppose 7*y + 720 = 2078. Let f be y/(-8)*64/(-8). Suppose 4*d + 0*d - 2*x = f, -5*x + 265 = 5*d. Does 9 divide d?
False
Let h = 12 + -8. Let p be (-1)/h + 292/16. Suppose 3*o + 3*n - 91 = 8, o - 4*n = p. Is o a multiple of 15?
True
Suppose 2925 = 2*i + i - 5*k, -2*k = 5*i - 4906. Is 27 a factor of i?
False
Let k = 789 - 410. Is 34 a factor of k?
False
Let s(k) = -26*k - 2. Let h be s(-1). Is 3/2*416/h a multiple of 13?
True
Suppose 0*i + 2*i - 28 = -4*y, 5*i - 25 = 5*y. Is i a multiple of 2?
True
Let a be (-1713)/9 + (-8)/12. Let o = -47 - a. Is 9 a factor of o?
True
Let c(f) = -f - 1. Let l be c(3). Let o(k) = k**2 - 4*k - 10. Is 4 a factor of o(l)?
False
Suppose 10*t - 2075 = 1525. Is 45 a factor of t?
True
Let d(q) = 286*q**2 + 19*q - 29. Is d(2) a multiple of 23?
False
Let m = -232 + 336. Is 8 a factor of m?
True
Let u = 37 + 5. Suppose -u = 5*v - 2*v. Let x = 23 + v. Is x a multiple of 9?
True
Let s = 683 - 321. Suppose -4*g + 86 = -s. Is 28 a factor of g?
True
Let q(t) = -130*t + 2. Let s(b) = -b - 1. Let v(u) = q(u) + 3*s(u). Let n be v(-1). Suppose n = 5*g - 98. Is g a multiple of 10?
False
Let v(m) = m**3 + 8*m**2 + 5*m - 10. Let d be v(-7). Let j = -18 + d. Is 5 a factor of (-98)/j - -1*3?
True
Let s(g) = 87*g + 3. Let b be s(7). Suppose 0 = c - 0*z - 3*z - 11, 5*c = -5*z + 55. Suppose 2*v + b = c*v. Does 17 divide v?
True
Let s(j) = -j**2 - 8*j - 12. Let y be s(-4). Let g = 2 + y. Is g a multiple of 3?
True
Let o be -1 - (-14 + (-9)/3). Let h be (12/(-8))/((-1)/o). Does 11 divide 18/h - (-258)/8?
True
Let v = 1711 + -1054. Is 73 a factor of v?
True
Let r(z) be the third derivative of z**6/120 + z**5/12 + z**4/8 - z**3/6 - 3*z**2. Let l be r(-5). Is (1*21)/((-12)/l) a multiple of 28?
True
Suppose 0 = -x + 3*c + 807, 4*x - 17*c - 3242 = -19*c. Is 18 a factor of x?
True
Let u = -274 + 570. Does 23 divide u?
False
Suppose -3*x + 5*c = -123, 0 = 3*x - 2*c - 56 - 58. Is 4 a factor of x?
True
Let c = 524 - 370. Does 11 divide c?
True
Let z(m) be the second derivative of -m**5/20 - 7*m**4/12 - m**3/3 - 5*m**2/2 - 12*m. Is 9 a factor of z(-7)?
True
Let w(g) = -7*g**2 - 6*g - 6. Let l(z) = -15*z**2 - 12*z - 12. Let b(q) = 6*l(q) - 13*w(q). Suppose -s + 2 = -3. Is 10 a factor of b(s)?
False
Let y be -1 + 472/6 - 200/300. Let l = y + -69. Does 4 divide l?
True
Let d = 168 - 103. Is 65 a factor of d?
True
Suppose 0 = -3*l + 3*k - 99, -4*l - 3*k = -k + 120. Let w be 2/(-6)*-6 - l. Is (-6)/w - 404/(-44) a multiple of 3?
True
Let c = 84 - 43. Is 3 a factor of c?
False
Let m be 4 - (-1 - (-1 - 0)). Suppose -23 = -5*c - m*x + 7, 2*x + 30 = 5*c. Is c even?
True
Let u = 15 + -11. Suppose 5*t + 7 = 2*v, -v + 5*t - 2*t = -u. Is 8 a factor of v*(-5)/(15/(-48))?
True
Suppose 3*x = -2*x + r + 138, -4*r + 120 = 4*x. Let t = -147 - -140. Let g = x + t. Is g a multiple of 7?
True
Let b be (-4)/1 - (2 + -4). Let n be -2 + -3 + b + 12. Suppose i - 119 = -n*g, -i = -4*g + 2*i + 80. Is 23 a factor of g?
True
Let a = 433 - -21. Is 43 a factor of a?
False
Suppose -7 = 2*z - 9*z. Does 16 divide (-152)/(-6) + z - (-7)/(-21)?
False
Suppose -7*g + 3*g - 56 = 0. Let i = g + 16. Does 2 divide i?
True
Let k(x) be the second derivative of x**5/20 - x**4/2 - 5*x**3/6 - 3*x**2 - 5*x. Does 4 divide k(7)?
True
Does 81 divide (-9 - -2) + (-6515)/(-5)?
True
Let a(i) = -13*i + 27. Let w be a(11). Let k = -88 - w. Is k a multiple of 2?
True
Let x(o) = -279*o - 21. Is 22 a factor of x(-2)?
False
Let u(z) = -575*z - 115. Does 5 divide u(-2)?
True
Let g(b) = -2*b**2 - 18*b - 30. Let j be g(-13). Let c = -74 - j. Is c a multiple of 20?
True
Suppose -159 - 2817 = 62*h. Suppose 0 = 3*c - 63 - 156. Let w = c + h. Is w a multiple of 5?
True
Suppose 4*b - 3*q - 1089 - 850 = 0, 0 = 4*b - 4*q - 1936. Does 31 divide b?
False
Does 2 divide (4 + 176/(-12))*105/(-14)?
True
Suppose r + 4*p = 120, -7*r + 4*p = -5*r - 288. Is r a multiple of 4?
True
Let a(k) = -k**3 + 14*k**2 + 16*k + 9. Let p be a(15). Suppose -4*b - p = -5*b. Is 11 a factor of (176/6)/(b/36)?
True
Let i = -366 + 950. Is 8 a factor of i?
True
Let f be -6*2/(-3) + -37. Let s = f - -50. Does 5 divide s?
False
Suppose -3*o = 3*b - 65 + 8, 3*b = -15. Let u = 3 + o. Suppose -168 - u = -3*c. Is c a multiple of 13?
True
Suppose 0 = 2*d + 13 + 107. Let n = 111 + d. Suppose 14*p - n = 11*p. Does 17 divide p?
True
Let t(u) = u**3 + u**2 + 2*u + 45. Suppose 0 = -6*d + 2*d - 24. Let b be 9/(d/(-2)) - 3. Is 15 a factor of t(b)?
True
Suppose 3*d = 207 - 39. Let x(y) = -13*y - 2. Let b be x(-3). Suppose -b = -3*w + d. Does 6 divide w?
False
Suppose -3*n + 24 = -9*n. Let k = n + 106. Is k a multiple of 7?
False
Suppose -176*x = -179*x + 270. Does 3 divide x?
True
Let t(c) be the third derivative of -5/12*c**4 + 1/120*c**6 + 0*c - 1/12*c**5 + 4/3*c**3 - 5*c**2 + 0. Does 12 divide t(7)?
True
Let z = -1 - 3. Does 15 divide (3/z)/(-1)*(-100)/(-5)?
True
Let p(r) = 2*r**3 + 38*r**2 + 12*r + 18. Does 25 divide p(-18)?
True
Suppose -8*g = -10*g + 76. Suppose -143 = -4*u + 5*h, 0 = -0*u + u + h - g. Suppose 0*t = t - u. Is t a multiple of 12?
False
Let b(z) be the first derivative of z**3/3 - z**2 + 4*z - 1. Suppose 4*h + 5*v - 22 = 8*v, 4*h - 2*v - 20 = 0. Is b(h) a multiple of 6?
True
Let v = 11 - 9. Suppose -i + 97 = -v*w + 3*w, 2*w + 520 = 5*i. Suppose d + 2*d - i = -2*g, -d + 34 = -4*g. Is d a multiple of 14?
False
Let z(i) = i**2 - 18*i + 79. Let l be z(7). Suppose -2*s = -4*d + 14, -3*s + 4*d - d = 6. Suppose 3*g - 26 = -l*f - 4, f + 7 = s*g. Is g a multiple of 4?
True
Does 8 divide -11 + 6 + (0 - -781)?
True
Suppose -33*y - 1188 = -69*y. Is 33 a factor of y?
True
Let m(b) = 2*b - 6. Let u be 1 + -1 + (21 - 2). Does 4 divide m(u)?
True
Suppose 0 = 3*x + t - 3067, -3061 = -11*x + 8*x - 4*t. Is x a multiple of 11?
True
Is (-434)/(-56)*(0 - -136) a multiple of 36?
False
Let c(w) = -w**2 - 52*w - 105. Does 25 divide c(-40)?
True
Let k = 48 + 1. Suppose -3*y + 