 - -306. Suppose -n = -2*k - 3*k. Suppose -2*z + 2*h = -2*h - k, -5*z = -5*h - 70. Is 11 a factor of z?
False
Suppose -2*j + z = -67, -j - 4*z + 164 = 3*j. Suppose -c + 70 = -6*c. Let n = c + j. Does 22 divide n?
True
Let p(m) = -16*m + 26. Is 23 a factor of p(-7)?
True
Let y(i) = 3*i**2 - 6*i + 5. Let k be y(-5). Suppose -58 = -x + 4*l, -2*x + 4*x - 2*l - k = 0. Is x a multiple of 18?
True
Suppose 0 = -2*u + u + 551. Suppose u = 5*a + 216. Is a a multiple of 18?
False
Let q(v) = v**2 - 3*v - 2. Let z be (-6 - 1 - 2)*1. Let k(r) = r**2 + 9*r + 6. Let j be k(z). Is 8 a factor of q(j)?
True
Suppose 0 = 4*w + 4*s - 140, -2*s = -2 - 0. Let k = w - 7. Is 7 a factor of k?
False
Suppose -z + 19 = c, -95 = -5*c + 7*z - 2*z. Suppose -3*t + 175 = 2*q, 5*t = -3*q + c + 272. Does 14 divide t?
False
Let m(z) = 4*z**2 - 4*z - 4. Let c be m(4). Suppose -5*a = -3*a - c. Does 15 divide a?
False
Let n(r) = 6*r - 8. Is 7 a factor of n(6)?
True
Let r = 36 + -24. Suppose 3*x = -w + 5 + r, -x + 9 = 2*w. Does 6 divide (-1)/w*(-2 + -12)?
False
Suppose 14 - 2 = n. Is n a multiple of 6?
True
Let t be (-45)/20*(-16)/6. Let m be (4 + -1)*(-4)/t. Does 4 divide 2/m*(3 + -14)?
False
Let u = -6 - -8. Let y be (u + -4 + 2)/1. Suppose -2*s + 93 = -3*b, s + 5*b - 2 - 38 = y. Does 21 divide s?
False
Suppose -7 - 5 = -3*z. Suppose 2*y - 5*l - 33 = 0, y - z = 3*l + 10. Does 6 divide y?
False
Let a = 17 + -38. Let n = 36 + a. Does 3 divide n?
True
Let b = 6 + 56. Is 31 a factor of b?
True
Let a = -182 - -403. Is 19 a factor of a?
False
Suppose 99 = -3*y + 540. Suppose 4*n = 5*u + 143, -2*n - 2*n + u = -y. Is 15 a factor of n?
False
Suppose -2*k + 5*k - 351 = 0. Let c be (-2)/((-3)/k*2). Suppose -21 = -3*r + i, -4*r + 6*i = i - c. Does 6 divide r?
True
Suppose -4*i + 180 = i. Suppose -t = 2*t - i. Does 12 divide t?
True
Let r(b) = -b + 0 + 2*b + 0*b + 1 - 5*b**3. Does 13 divide r(-2)?
True
Suppose -6*f + 106 = 4. Is f a multiple of 4?
False
Suppose -u - 3*t = -15, 5*u - t + 3*t = 36. Suppose 0 = -u*v + 4*v + 64. Does 7 divide v?
False
Suppose -2544 = -7*r - 689. Does 27 divide r?
False
Let y(b) = -b**3 + 7*b**2 - 3*b + 4. Let r(g) = g**3 - 6*g**2 + 7*g - 6. Let n(m) = m**2 - 4*m + 5. Let l be n(4). Let k be r(l). Is 20 a factor of y(k)?
True
Let r be (-14 + 5)/((-1)/5). Suppose 0*a - 5*a + r = 0. Is a a multiple of 9?
True
Is 28 a factor of (-10)/(-2)*-1 + 118?
False
Let r(h) = h**3 + 5*h**2 + 2*h + 1. Let v be r(-4). Let n = -6 + v. Suppose n*j - 5*k - 29 = 0, -8*j + 3*k + 33 = -5*j. Is j a multiple of 6?
False
Let u(r) = r**3 + 7*r**2 - r - 5. Let g be u(-7). Is 21 a factor of g/7 - 1023/(-21)?
False
Let c be (-1 - 15/(-3)) + -1. Suppose -c = -3*b - 0. Suppose -r + 5*n + b = -32, 2*n = -4*r + 66. Does 5 divide r?
False
Let z = 0 - 0. Suppose 3*s - s = z. Suppose w - 17 = -3*n, s = -w + 2*n - 4*n + 22. Does 16 divide w?
True
Suppose 2*v - 4*u = -102, -26 = 3*v + 4*u + 147. Is (4/(-10))/(1/v) a multiple of 11?
True
Suppose 5*x + 0*m - 2*m - 330 = 0, 0 = -5*x + 3*m + 330. Is 11 a factor of x?
True
Let z(l) = -l**2 + l + 6. Let t be z(0). Suppose 8 = 2*f - r, -t = -r - 2*r. Is 5 a factor of f?
True
Suppose -d + 4 = -v, -3*v - 4*d = -1 + 6. Let w = -3 - v. Suppose w*p - 60 = -4*p. Does 15 divide p?
True
Is (-4 - (-44 - 2))*(0 - -1) a multiple of 21?
True
Suppose 0 = 2*q - 7 - 105. Is q a multiple of 11?
False
Let s(n) = -73*n**2 - n - 1. Let m be s(3). Let q be (-4)/16 + m/(-4). Suppose -4*b = b - q. Does 12 divide b?
False
Let t = 75 - 35. Is 8 a factor of t?
True
Let v(y) = -15*y. Is 7 a factor of v(-1)?
False
Suppose 0 = -3*d + 16 - 52. Does 9 divide 1 + d/3 + 39?
True
Suppose 2*n + 5*t - 37 = 2*t, -4*t - 44 = -2*n. Does 2 divide n?
True
Suppose -o - o = -30. Let c = o - 8. Is 2 a factor of c?
False
Suppose 232 = 4*l - 228. Suppose 137 = 2*g - l. Suppose -4*v + 18 = -g. Is v a multiple of 13?
False
Let m be (-884)/22 - (-4)/22. Does 16 divide m*(-1 + (2 - 2))?
False
Suppose 0 = 5*i - i + 5*h - 310, 0 = 3*i - 2*h - 221. Is i a multiple of 5?
True
Suppose 0 = 5*j - 10, -3*o + 4*j - 3*j = -76. Is 2 a factor of o?
True
Let x(b) = -7*b**2 + 0*b**2 + 7 + 5 + 8*b - b**2 - b**3. Let c be x(-8). Let q = c + 96. Is 12 a factor of q?
False
Suppose s = 3*q - 12, -s - 2*s - 24 = -5*q. Suppose -f + 0*f + 15 = q*m, 4*m = -8. Is 7 a factor of f?
True
Let c = 89 + -61. Is c a multiple of 28?
True
Suppose 2*i = 4*m, 5*i - i - 5*m = -9. Suppose -t + 3*t = -12. Is (-2)/i + (-94)/t a multiple of 6?
False
Suppose 38 = 3*a - 4*b - 43, 4*a = b + 108. Is 4 a factor of a?
False
Suppose 2*w - 20 = -3*w. Suppose -4*d + 7*d = -2*r + 15, 5*d = w*r - 63. Does 5 divide r?
False
Suppose -2*x = -8 - 2. Let z = 9 - x. Suppose 0 = -4*w - 5*f - 3, 5*f + 15 + 12 = z*w. Is 3 a factor of w?
True
Let s = -6 - -9. Is 15 a factor of ((-2)/s)/(6/(-171))?
False
Let x(j) = -4*j - 3 + 15 - 1 - 21*j**2. Let q(k) = -10*k**2 - 2*k + 5. Let z(i) = -13*q(i) + 6*x(i). Is 8 a factor of z(-2)?
False
Let n(z) = -z**2 + 9*z - 6. Suppose 0*a = 2*m + 4*a - 2, 5*a - 4 = -4*m. Let b be (4/(-6))/(m/(-9)). Is 12 a factor of n(b)?
True
Let g be ((-1)/1)/((-3)/6). Is 8 a factor of (-100 + 0)*g/(-5)?
True
Let o(h) = -h - 3. Let a be o(-3). Let f(z) be the first derivative of -z**3/3 + 29*z + 7. Is 13 a factor of f(a)?
False
Does 12 divide 70 + 8/12*3?
True
Let f = 3 - 9. Let k = f - -9. Suppose -4*x + k*x = -14. Does 7 divide x?
True
Let p be 2/8 + 70/40. Suppose 259 = p*v + 45. Suppose -133 = -5*g + v. Does 15 divide g?
False
Let n = 101 + -54. Is 13 a factor of n?
False
Suppose 5*m + 5 = 4*p - 16, 4*p = -5*m + 51. Suppose -f + p + 19 = 0. Does 7 divide f?
True
Let q(u) = -u**3 - u**2 - u + 3. Let h be q(0). Suppose 0 = 3*l + f - 14, 3*l + h*f = -l + 27. Is 3 a factor of l?
True
Let d(i) = -i. Let o be d(-5). Suppose o*g - 63 = 107. Is g a multiple of 17?
True
Suppose -5*l = -10 - 60. Let h = l - 0. Is 14 a factor of h?
True
Let p = 0 - 3. Let v = 5 + p. Is 10 a factor of 9 + (-1)/((-1)/v)?
False
Let q be 1/4 - (-553)/28. Suppose -q = -3*a + 88. Is 19 a factor of a?
False
Suppose -4*m = -14 + 6. Suppose 0 = h - 4*x - 16, m*x = -2*h - 0*x + 12. Is h a multiple of 6?
False
Suppose -2*r = 2*f - 0*r - 14, 2*f + r - 11 = 0. Suppose 5*s - 4*v = -3*v + 45, -20 = -f*v. Is s a multiple of 6?
False
Let a(n) = n**2 - 6*n. Let f be a(7). Suppose -g + f = 2. Does 13 divide (-6 + g)/((-1)/22)?
False
Let m be ((-25)/(-20))/(1/4). Suppose -69 = -m*x + 91. Does 11 divide x?
False
Let k(j) = -7*j - 2. Does 7 divide k(-4)?
False
Suppose -20 = -2*q - 0*q. Is q a multiple of 5?
True
Is (-1 - 1)*(-1573)/22 a multiple of 14?
False
Let w(v) = -v**3 + 4*v**2 + 6*v + 5. Let g(j) be the third derivative of j**5/60 - j**4/6 + 5*j**3/6 + 3*j**2. Let c be g(4). Is 8 a factor of w(c)?
False
Suppose -2*o + 6*o = 4*j + 32, -o - 10 = 5*j. Is 1 - j/(-3) - -33 a multiple of 27?
False
Let j be (1 - 0)*(-36)/(-9). Suppose k = -2*w + 2*k + 39, -4*w = j*k - 96. Does 10 divide w?
False
Suppose 0*z = -5*z + 540. Suppose -5*l + z = 13. Is 19 a factor of l?
True
Suppose -3 = -3*t, 0*t - t + 21 = 5*w. Suppose -w*d - 3 = -15. Suppose 5 = p - d. Is p a multiple of 8?
True
Let j = 9 - -5. Is j a multiple of 7?
True
Does 5 divide (3*1)/((-4)/(-24))?
False
Let g be ((-109)/4 - 3)*-4. Suppose -3*x = -g + 49. Does 13 divide x?
False
Let k(a) = -a**3 + 4*a**2 - 3*a. Let o be k(3). Suppose -12 = -4*r - 4. Suppose -3*l - r*j + 72 = 3*j, o = 2*l + 3*j - 48. Is 12 a factor of l?
True
Let k(m) = -1 - 4 - 3*m + 4*m. Let j be k(8). Does 4 divide (-6)/((-9)/j) - -6?
True
Suppose -18 = 2*b - 0*b. Let t = 18 + -16. Let l = t - b. Is 4 a factor of l?
False
Suppose u + 4*u - 340 = -2*d, 0 = 4*u + 5*d - 255. Suppose -u = 4*f - 9*f. Does 14 divide f?
True
Suppose c - 5*g = -2*c + 31, 0 = 3*c + 2*g + 4. Suppose -3*a + 26 + 17 = -5*u, -4*a - c*u = -14. Is a a multiple of 6?
True
Let o be -11 - (3 - (-1 + 6)). Is 9 a factor of o/(9/24*-2)?
False
Let y(v) = -v + 21. Let j be y(9). Let m = 4 + j. Is 16 a factor of m?
True
Suppose 5*v + 37 = 2*u, 8 = 3*u - 2*v + 4*v. Does 5 divide u?
False
Suppose -i + 2 = 2*v, -2*i + 0*i = -2*v - 4. Suppose 0 = x + i*x. Is 15 a factor of 45/(-6)*(-2 + x)?
True
Let n be 4*-15*3/6. Does 6 divide (12/(-10))/(3/n)?
True
Suppose -3*x = 3*p - 12, x = 2*x - 3*p - 4. Does 2 divide x?
Tr