51. Does 13 divide j?
True
Does 20 divide (-14)/77 + 321/11?
False
Let i(x) be the second derivative of -x**4/6 + x**3/6 + 4*x**2 + 9*x. Is i(0) a multiple of 4?
True
Suppose 0 = -2*d + 4*a + 8, 0 = -3*d - a - 1 - 1. Suppose 2*b - 25 = 19. Is 7 a factor of b + -1 - (d + 0)?
True
Let h = 32 - 10. Is h a multiple of 6?
False
Let f = 243 - 172. Is f a multiple of 13?
False
Suppose 0 = -4*k - 154 - 186. Let y = -35 - k. Is 24 a factor of y?
False
Let m = -4 - -5. Let v be 2*-2*m/(-2). Is 5 a factor of (-23)/(-2) + v/4?
False
Let z = -14 + 16. Suppose 43 = v + 5*c + 7, 4*v = -z*c + 144. Does 14 divide v?
False
Suppose -3*h - 2*p + 412 = 0, -4*h + 4*p + 556 = -0*h. Does 46 divide h?
True
Let j(k) = k**3 - 7*k**2 - 6*k - 3. Let r(l) = 4*l**3 - 22*l**2 - 19*l - 9. Let v(a) = -7*j(a) + 2*r(a). Let g be v(-4). Is 15 a factor of 6/(-9) - (-122)/g?
False
Suppose -t - 12*t + 1794 = 0. Does 23 divide t?
True
Suppose -3*j + h + 0*h + 69 = 0, -4*j + 2*h = -94. Does 2 divide j?
True
Suppose -10*d = 43 - 653. Is d a multiple of 10?
False
Let f = 4 + -19. Suppose 3*s - 5*x = 6*s - 142, 0 = 5*s + 4*x - 215. Let a = f + s. Is a a multiple of 13?
False
Is 17 a factor of ((-615)/25 + 0)*-5?
False
Suppose -k = -5 + 1. Let a = 8 - k. Does 4 divide a?
True
Suppose 81 = -10*f + 1441. Is f a multiple of 17?
True
Let h be 4 - (3 - (1 - -3)). Suppose -1 = -m + h. Is 3 a factor of m?
True
Let i(x) be the first derivative of -x**3/3 - 3*x**2/2 - 2*x - 2. Let z be i(-2). Does 4 divide (-1 - z)/(2/(-8))?
True
Let r = -11 + 24. Is r a multiple of 4?
False
Let i = 14 + -9. Suppose i*o = -79 - 261. Let b = 99 + o. Does 14 divide b?
False
Let j = -7 - -4. Is -3 - j - -3 - -19 a multiple of 22?
True
Suppose 2*j - 3 = j. Suppose j*y - 2*y - 15 = 0. Is y a multiple of 13?
False
Suppose 4*f - 165 = -f. Let v = f + -7. Is 13 a factor of v?
True
Suppose -211 = -12*n + 1157. Is n a multiple of 16?
False
Suppose 2*o + 3*o = 90. Does 13 divide o?
False
Let s = 109 + 47. Is 39 a factor of s?
True
Let c(h) = -3 + 0*h**3 - h**2 + h**3 + 6. Let t be c(0). Does 11 divide (1 - 0) + 7*t?
True
Suppose 0 = w + 5*y - 1, 0 = -0*w + 2*w + 3*y - 9. Suppose 94 = -w*b + 520. Is 25 a factor of b?
False
Let f(u) = -u**3 + 10*u**2 - u + 21. Does 3 divide f(10)?
False
Let f = -4 + 108. Does 28 divide f?
False
Suppose 8 = 3*m - 1. Suppose m - 5 = -x. Suppose -52 = -3*n + x*v, -6*n + 5*n + 29 = -3*v. Is 9 a factor of n?
False
Does 6 divide 60/8*16/10?
True
Suppose 280 = -h + 6*h. Suppose 59 = 5*m - h. Does 8 divide m?
False
Suppose 103 - 257 = -2*w - 3*s, 2*w = -2*s + 156. Suppose -2*v - 2*v = -16. Suppose 0*d - w = -v*d. Is 10 a factor of d?
True
Suppose -5*u + 0*a + 36 = -2*a, 4*a = -5*u + 18. Is 15 a factor of (u/9*45)/2?
True
Suppose 0*x - x - 5 = 0. Let r be (-1)/2*(3 - x). Let y(w) = -3*w - 4. Is y(r) a multiple of 4?
True
Is ((-2480)/(-25))/8 + (-2)/5 a multiple of 3?
True
Let v(k) = -23*k**3 - 2*k**2 - k + 2. Let z be v(-2). Let m = z + -328. Does 15 divide 2/10 - m/10?
True
Let l(c) = -c**2 - 11*c - 15. Is 5 a factor of l(-6)?
True
Let f(j) = 11*j + 1. Let m be f(2). Let v = m - 3. Suppose -5*r + 115 = -2*u - v, r + 2*u - 15 = 0. Is 11 a factor of r?
False
Suppose -5*n + 9 = -j + 4*j, -15 = -4*n - 5*j. Suppose n = 2*g - 60 + 16. Does 11 divide g?
True
Let t(x) = -x**2 - 6*x - 6. Let i be t(-4). Let h be (-1)/2*(-8)/i. Suppose q + 4*v = 32, h*v = 2*q + v - 37. Does 10 divide q?
True
Let i be 2/(-3) - 82/3. Let w = -2 - i. Is 8 a factor of w?
False
Let p(f) be the first derivative of -f**2 - 6*f + 1. Is p(-6) a multiple of 6?
True
Is 23 a factor of (-3 - (-585)/10)*14/3?
False
Suppose -a - 3*x + 11 = -4, 2*a - 4*x = 0. Suppose -g = 2*g - a. Suppose 85 = 3*c - 2*s, -4*s = -g*c + 13 + 49. Does 14 divide c?
False
Suppose 0 = -q - 5 + 78. Is q a multiple of 11?
False
Let u = 41 + -26. Suppose r = u + 9. Does 8 divide r?
True
Let o = -84 - -163. Does 18 divide o?
False
Suppose -5*i + 4*y + 0*y = 9, -2*y = 8. Let u(l) = l**2 + 4*l - 2. Let s be u(i). Suppose 2*p - 7*p = -s*f - 78, -3*p = -5*f - 50. Is 11 a factor of p?
False
Let t = 193 - 58. Is 15 a factor of t?
True
Suppose 6*t - 3*t + 18 = 0. Does 7 divide (-1)/(t/(-7) - 1)?
True
Let j be (-378)/49 - (-2)/(-7). Let p(l) = l**3 + 10*l**2 + 9*l + 1. Is 19 a factor of p(j)?
True
Let r be (-3 - -1)*(-1 + 15). Let o = -17 - r. Let k = o - 6. Is 5 a factor of k?
True
Let r(x) = x**3 + 12*x**2 + 3*x + 8. Let d be r(-9). Suppose -2*l = 4*n - d, -l + 57 = 4*n - 163. Does 18 divide n?
True
Let u(c) = 5*c + 12. Let o be u(-10). Let r = -18 - o. Is r a multiple of 7?
False
Let z(q) = -3*q**3 - q**2 - q - 1. Let u be z(-1). Let g = 4 - u. Suppose g*h = 3 + 5. Is h even?
True
Let r = 12 - 12. Suppose 3*h - 4*d - 94 = r, 6 = h - 0*d + 5*d. Is 13 a factor of h?
True
Let c(p) be the second derivative of p**5/60 - p**4/4 + 5*p**3/6 + 2*p**2 + 4*p. Let r(w) be the first derivative of c(w). Does 16 divide r(8)?
False
Let i = 23 - 16. Does 3 divide i?
False
Let p(z) = -z**3 + 7*z**2 - z + 7. Let u be p(7). Suppose 5*b - 4*r - 37 = u, b = 2*b + 4*r + 7. Suppose -b*t + 109 = 39. Is t a multiple of 9?
False
Let w(m) = 3*m**2 - 7*m + 4. Does 14 divide w(6)?
True
Is (1 - (-110)/(-15))*(-2 - 1) a multiple of 15?
False
Suppose 3*b - 9 = 9. Let y = 19 + b. Does 5 divide y?
True
Let q(p) = p**3 + 9*p**2 + 5*p - 5. Does 13 divide q(-6)?
False
Suppose 2*d + 3*v = 107, 4*d - 2*v = 3*v + 247. Does 34 divide d?
False
Suppose -2*g + 38 = 2*a - 3*g, 4*a = 4*g + 84. Is a a multiple of 3?
False
Let k(l) = l - 5. Let n be k(5). Suppose 3*d + 4*z - 8 = 0, n = d + 2*d - z + 17. Let i = 23 + d. Does 11 divide i?
False
Let f(l) = -l - 2. Let b be f(-4). Suppose -4*m + 69 = -19. Suppose -b*o + 138 = m. Is 22 a factor of o?
False
Let m = 207 - 148. Suppose m = 3*y + 2*i - 5, 0 = 2*y - i - 52. Does 9 divide y?
False
Suppose -4 = n + 3*u, 2*n + 0*u = u + 13. Suppose n*l = 5*b + 65, -4*l + 4*b = -l - 41. Let v = l - 4. Is 2 a factor of v?
False
Let t(q) = -q**3 + 8*q**2 + 10*q - 11. Let n be t(9). Let x be 14/3 - n/(-3). Suppose -d + 4*r = x*d - 149, 3 = -3*r. Is 25 a factor of d?
False
Suppose 3*u = -c + 176, 0 = 3*c + c + 3*u - 731. Does 37 divide c?
True
Let c = 4 + -3. Suppose -3*w + 133 = 4*y, 3*y - 13 = -c. Is w a multiple of 14?
False
Suppose -113 + 41 = -u. Is u a multiple of 12?
True
Is (-1485)/(-10) - (-3)/6 a multiple of 11?
False
Let k = 35 + 2. Suppose 0 = -2*c + k - 13. Does 6 divide c?
True
Does 33 divide (495/10)/((-3)/(-12))?
True
Let g = -1 - -4. Let o = g + 33. Is 10 a factor of o?
False
Suppose 5*w - 9 = 6. Is w a multiple of 3?
True
Let p = 37 - -3. Let y = 34 + p. Suppose 3*t + 2*f - 31 = 27, -4*t - 2*f = -y. Is t a multiple of 8?
True
Suppose 3*b - 5*a + 184 = 0, a - 292 = 2*b + 3*b. Let r = 222 + -323. Let i = b - r. Does 15 divide i?
False
Suppose 3*z = -y + 4*y, y = 4*z - 15. Suppose 25 + z = 2*d. Does 5 divide d?
True
Suppose 5*n + 20 = 0, -5*l - 3*n = -8*n - 830. Suppose 3*b - l = -12. Suppose -3*m + 8*m - b = 0. Is 9 a factor of m?
False
Suppose 2*l + p - 10 = 0, -3*l - 5*p = -6*l + 15. Suppose -12 = -l*z + z. Suppose o = -z*c - 3, 2*o - 8 = 3*c - 2*c. Is 3 a factor of o?
True
Let n(y) = 7*y**2 - y - 1. Is 3 a factor of n(-1)?
False
Suppose 0 = -2*h - d + 12, 11 + 5 = 2*h + 2*d. Suppose -4*p - h*m - 32 = 0, -5*m - 37 = 2*p + 2*p. Is (-13)/(6/p - -1) a multiple of 6?
False
Let a(j) = -58*j + 10. Let k(z) = -19*z + 3. Let x(l) = -5*a(l) + 16*k(l). Is x(-2) a multiple of 11?
False
Let p = -19 - -22. Let o = 2 + 2. Suppose -48 = -2*v - 2*v + 4*h, o*h - 36 = -p*v. Is v a multiple of 6?
True
Let r(u) = -u**3 - u - 8. Let k be r(0). Let p = 1 - k. Does 11 divide 0 + 4 + -2 + p?
True
Let o(k) = k**3 - k**2 + k + 42. Is o(0) a multiple of 14?
True
Let h(g) = -g**2 - 7*g - 8. Let d be h(-7). Is 0 + 31 - (-24)/d a multiple of 18?
False
Let d = 57 + -52. Is 3 a factor of d?
False
Suppose 2*t - 61 = 37. Does 14 divide t?
False
Let q = 67 - 47. Is q a multiple of 4?
True
Let f be 1/3 - (-145)/15. Is 8 a factor of ((-4)/f)/(-1)*20?
True
Let m be (2/(-3))/((-2)/15). Suppose p - m = -0*p. Suppose -n - p*w + 2 = -11, 0 = -w. Is 13 a factor of n?
True
Let h = 68 + -48. Does 5 divide h?
True
Let g(t) = -6*t + 0 + 3 + 2. Let p be g(-7). Does 13 divide p + (-1 - 1) + 4?
False
Suppose 3*j - 2*