*2 + 9*o - 2. Does 13 divide t(6)?
True
Suppose 0 = 5*c - 0*c. Suppose 5*k - 4 = 3*k. Suppose -4*x + k*x + 36 = c. Is x a multiple of 9?
True
Let h(z) = z - 11. Let x be h(5). Is x/3 - 8/(-1) even?
True
Let q(y) = -3*y - 3. Let c(z) = z**2 + 6*z - 2. Let a be c(-6). Let g be q(a). Suppose -k - 4 = 0, 8*k = g*r + 3*k - 44. Does 4 divide r?
True
Is 11 a factor of 8808/36 - (-3 - 33/(-9))?
False
Suppose 2*i - 5*v + 72 = 5*i, -v = 5*i - 120. Is 8 a factor of i?
True
Let y(w) = -11*w - 18. Suppose -2*p + 7 = 23. Is 10 a factor of y(p)?
True
Does 5 divide (-90)/(-5 + -1) + 5?
True
Let d = -239 + 163. Let i = d - -127. Is 14 a factor of i?
False
Let r = 10 + -10. Suppose 0 = 2*j - r*j - 6. Does 3 divide j?
True
Let t(b) be the third derivative of b**5/120 + b**4/6 + b**3/6 - 4*b**2. Let c(u) be the first derivative of t(u). Is c(6) a multiple of 7?
False
Suppose -7*a = -0*a - 336. Does 9 divide a?
False
Let u be 1740/14 - (-16)/(-56). Let g = u - 88. Is g a multiple of 12?
True
Suppose -7 - 1 = -c. Is 8 a factor of 10 - (c - 3 - 3)?
True
Suppose -3 = 3*p - 12. Is (94/p)/((-2)/(-3)) a multiple of 10?
False
Is 23 a factor of ((-75)/(-9))/(1/3)?
False
Let w(m) = -4*m - m**3 - 5*m**2 + 5*m + 7 - 2*m**2. Does 21 divide w(-8)?
True
Suppose -2*x + y + 17 = 0, 4*x - 18 - 17 = y. Does 2 divide x?
False
Suppose r + 2*m = 4*r + 62, 5*m - 71 = 4*r. Let s = 36 + r. Is 12 a factor of s?
True
Suppose -a - 48 = -4*a. Is 10 a factor of a - (3 + -4 + -1)?
False
Let g = 2 - -1. Suppose 0*a + g = a. Is 2 a factor of a?
False
Suppose 0*u + 6*u = 222. Does 7 divide u?
False
Let w be (-8)/(16/6 - 2). Let x be (14/(-3))/(8/w). Suppose -2*h = -x*h + 25. Does 5 divide h?
True
Let a(p) = -p**2 + 25*p + 37. Does 13 divide a(15)?
False
Let m = 2 + 0. Let l = m + 2. Suppose l*c - v = -2*v + 35, -3*c + 4*v = -31. Does 6 divide c?
False
Let x = 121 + -79. Is 7 a factor of x?
True
Suppose -4 + 24 = 4*u. Suppose -u*a + 180 = -0*a. Is a a multiple of 8?
False
Suppose -b - 13 = 2*l, -4*l + 2*l - 65 = 5*b. Let k = -9 - b. Does 4 divide k?
True
Let p = 2 - 0. Let w(z) = -9*z**3 - 4*z**p + 2*z - 1 + 5*z**2 - 3*z. Is w(-1) a multiple of 5?
True
Suppose 0*f - f + 24 = 0. Suppose 4*c - 3*b = f, c = 4*c + 2*b - 1. Let k = 12 - c. Is k a multiple of 9?
True
Let c(j) = 47*j + 27. Does 63 divide c(5)?
False
Let z be 2/(1*4/8). Suppose 6*i - 5*i + p - 26 = 0, -8 = -z*p. Is i a multiple of 6?
True
Suppose -6 = -5*u + 2*u. Let k be 31 - (10 + -5) - 1*-2. Suppose k = u*t - 62. Is t a multiple of 15?
True
Let b(h) = 2*h**2 - 2*h - 1. Let i be b(-3). Let z = 50 - i. Suppose 7 - z = -2*o. Is o a multiple of 6?
False
Let n(q) = q**2 - 21. Is n(8) a multiple of 7?
False
Let i be 8/36*3*6. Does 29 divide i - (-3 - (107 - 3))?
False
Let f(p) = -p**3 - 10*p**2 - 14*p - 12. Let z = -3 + -6. Does 11 divide f(z)?
True
Suppose -2*h + 7*j - 16 = 2*j, 3*j = 0. Let s be h + ((-6)/(-3) - 0). Let i(m) = -2*m + 2. Is i(s) a multiple of 7?
True
Suppose 3*z = -6 - 3. Let c = z + 1. Does 15 divide (c/4)/((-1)/60)?
True
Suppose 2*x + 2*x = 456. Suppose 4*a + k = x, -4*a = -2*a - 4*k - 48. Suppose v = 3*v - a. Is 14 a factor of v?
True
Let v be 722/5 - 4/10. Suppose 3*i + 0*i = -3*n + v, -2*n + 4*i + 120 = 0. Does 13 divide n?
True
Let t(n) be the third derivative of n**4/4 + 2*n**3/3 + 4*n**2. Let k be t(4). Is (-8)/k - (-72)/7 a multiple of 5?
True
Suppose 2 = 4*m - d, 4*d + 8 = -0*m - 3*m. Suppose m = w - 1 - 13. Is w a multiple of 7?
True
Suppose 652 - 42 = 5*f. Let d be 4/10 - 13/(-5). Suppose 3*w - 12 = 0, -2*w + 0*w = d*x - f. Is x a multiple of 19?
True
Let y(f) = 2*f + 4. Let n(c) = -c - 3. Let r(j) = 3*n(j) + 2*y(j). Let k be r(1). Is 3 a factor of (-3 - 2)*-1 - k?
False
Suppose -3*j + 3*n = 12, 0 = j + 5*n - 11 - 3. Is 11 + -3 - 0/j even?
True
Let d(s) be the first derivative of -s**2 - 5*s + 4. Does 6 divide d(-7)?
False
Let o = -143 + 251. Is o a multiple of 18?
True
Suppose -2*q + 8 = 4*i, 3*q + 18 = 8*i - 4*i. Is (-3)/(q - -3) - -19 a multiple of 16?
True
Let y = 218 - 73. Does 29 divide y?
True
Let q(r) = -21*r + 9. Let k be q(7). Let d = -93 - k. Is d a multiple of 9?
True
Let v(j) = j**2 + j + 6. Suppose 6*c = c - 20. Is v(c) a multiple of 9?
True
Let r = -23 + 26. Suppose r*v - 80 = -v. Does 15 divide v?
False
Suppose h + 1 - 6 = 0. Suppose -2*l - 6 = 2, 5*x = -h*l + 5. Suppose 3*k - 3*f - 31 = 2*f, 0 = 2*k + x*f - 29. Does 6 divide k?
True
Let t(f) = 0*f**2 + f**2 + 0*f**2 + 4*f. Let k be (3 - (0 - -2))*-6. Is t(k) a multiple of 6?
True
Suppose 5 - 46 = -r - f, 200 = 4*r - 5*f. Does 9 divide r?
True
Let s = -9 + 12. Does 19 divide (-2 + -1)/(s/(-38))?
True
Let h(u) = -3*u - 11. Let i(q) = -4*q - 12. Let d(j) = 3*h(j) - 2*i(j). Let x be d(-7). Let y(z) = -7*z - 1. Is 13 a factor of y(x)?
True
Suppose 2*l = -3*o + 164, -5*o = -5*l + 36 - 301. Is 6 a factor of o?
True
Suppose 50 - 162 = -4*v. Is v a multiple of 18?
False
Let r(c) be the second derivative of -c**3 + 3*c. Let b be r(-1). Suppose 0 = 4*f + m - 68, 0 = 3*f + 2*m - b*m - 70. Is 10 a factor of f?
False
Suppose -2*d = -8, 2*w + 2*d - 6 = 116. Is w a multiple of 19?
True
Suppose 2*k - 67 = 13. Is 20 a factor of k?
True
Let a = -8 - -5. Let q be (2/a)/((-4)/30). Suppose -65 = -q*f + 5. Does 6 divide f?
False
Let n(d) = d**3 - 4*d**2 + 3*d - 6. Does 6 divide n(4)?
True
Let s(m) = 3*m**2 - 6*m. Let g be s(5). Suppose 2*l + 3*l - g = 0. Does 9 divide l?
True
Suppose 0 = g - 5*g + 164. Suppose b = 2*b - g. Is 12 a factor of b?
False
Let l = 2 - -2. Is (l/8)/((-2)/(-52)) a multiple of 13?
True
Let m = 31 + 22. Suppose -25 = -3*j + m. Is 14 a factor of j?
False
Let s be 7 - (0 + (2 - 2)). Suppose -w - 2*w - s = 4*a, -5*a - 15 = 5*w. Suppose a*n = n + 45. Is n a multiple of 16?
False
Is 51 - (5 - 4 - 5) a multiple of 9?
False
Suppose 2*j = 96 + 84. Is 15 a factor of j?
True
Is (1 + 0)*(-122)/(-2) a multiple of 17?
False
Let w = 1 + -7. Let i = -3 - w. Suppose -2*x - b + 65 + 42 = 0, -3*x + 168 = i*b. Does 17 divide x?
True
Suppose 0 = 2*j - 2*u - 12, -3*j + 6 = 4*u - 5. Is (-3 + 0)/(j + -6) a multiple of 2?
False
Suppose 0 = -0*g - 3*g + 18. Let r be ((-16)/g)/((-6)/(-36)). Does 13 divide (-4)/r + (-110)/(-8)?
False
Suppose -4*o + 262 = -234. Does 26 divide o?
False
Let z = -7 - -7. Suppose z = 4*c + 2*n - 35 - 45, 3*c + n = 59. Does 5 divide c?
False
Let h be 6/21 + 186/(-14). Is 5 a factor of h/(-2*(-1)/(-2))?
False
Suppose v - 2*b = 2*b + 23, 0 = 3*v - 2*b - 19. Suppose n - 127 = -4*y - 0*y, v*y - 2*n - 87 = 0. Is 15 a factor of y?
False
Let w = -2 + 62. Is 30 a factor of w?
True
Let q = 0 + 2. Is (3/q)/(8/176) a multiple of 9?
False
Let h(r) = r**3 - 9*r**2 - 10*r + 3. Let c be h(10). Suppose -15 = 6*m - c*m. Let y(j) = -2*j + 7. Is 14 a factor of y(m)?
False
Suppose l + 5*m = 2*m - 13, 76 = -5*l - 4*m. Does 4 divide l/6*12/(-8)?
True
Let l be -7 + 9 + (-4)/(-2). Suppose -3 + 19 = 4*w. Suppose -w*f = 0, 34 = 3*k + l*f - 29. Is k a multiple of 8?
False
Let n = 1 - -1. Suppose -10 - 4 = -n*c. Does 7 divide c?
True
Does 6 divide -3*((-52)/12 - 2)?
False
Let n(f) = f**3 - 6*f**2 + 5*f + 6. Is 32 a factor of n(6)?
False
Let q be (-1 + 2 + -2)*-7. Suppose 2*j - q = 45. Is j a multiple of 13?
True
Let a(j) be the third derivative of j**5/30 + 7*j**4/24 - 5*j**3/6 + j**2. Is a(-7) a multiple of 22?
True
Let u be 1/(-5) + (-1)/(-5). Suppose -2*w + 4*f + 1 - 9 = u, 0 = f - 5. Does 4 divide 2 + (-3)/((-9)/w)?
True
Let h(d) be the first derivative of -d**4/4 - d**2/2 + 3*d - 1. Let c(m) = -m**2 + 8*m + 9. Let r be c(9). Is h(r) a multiple of 2?
False
Let h(i) = 11*i**2 - i + 2. Is 12 a factor of h(-2)?
True
Suppose 5*j = 87 + 178. Let z = j + -20. Is z a multiple of 18?
False
Let f(r) = r**3 + 15*r**2 + 22*r + 18. Is f(-13) a multiple of 5?
True
Let w = 12 - -33. Is w a multiple of 5?
True
Suppose -3*n + 65 + 7 = 0. Is n a multiple of 6?
True
Let q(h) = 2*h + 1. Let k be q(1). Suppose -k*j + d + 7 = 0, 0*j - 5*d = 2*j - 33. Is 2 a factor of j?
True
Let y(j) = -j - 7. Let v be y(-8). Suppose -24 = -c - v. Is 4 a factor of c?
False
Suppose 6*k - 2*k + 74 = v, v = -k + 74. Does 12 divide v?
False
Suppose -3*k = 2*y - y - 73, 2*k + y - 49 = 0. Is (0 - 1)/((-2)/k) a multiple of 4?
True
Suppose -3*v - 165 = -8*v. Is v a multiple of 11?
True
Suppose -216 = -5*x + 