ose 6*t = t - 20, -3*k = 5*t - 259. Is k a multiple of 8?
False
Suppose -3*l + 4*k = -118, -k + 4*k = 15. Suppose -2*s = -0*s - l. Is s a multiple of 23?
True
Let h(x) = -5*x - 10. Let u be h(-9). Let g = u - 8. Suppose -1 - g = -y. Does 14 divide y?
True
Let l(z) = 2*z + 2 + 12*z**2 + 1 - 4 - 10*z**2. Is l(3) a multiple of 2?
False
Suppose 270 = v + 2*h, -3*v + 2*h + 1080 = v. Suppose -5*o + 2*o + v = 0. Is 18 a factor of o?
True
Let d(t) = t**3 - 10*t**2 + 9*t + 3. Let u be d(9). Suppose -u*y - 4*f + f = -3, 0 = 3*y + 2*f - 2. Suppose y*g = -5*g + 60. Is g a multiple of 4?
True
Let h(y) = y**2 - 12*y - 3. Let p be h(15). Suppose 0 = -5*x + 152 - p. Does 11 divide x?
True
Let x(p) = 6*p**2 - 11*p + 33. Is 18 a factor of x(-15)?
True
Suppose 0 = -5*v + 10*v. Suppose v*b - 306 = -3*b. Does 34 divide b?
True
Let i = -20 + 371. Is i a multiple of 27?
True
Suppose -2135 = u - 8*u. Suppose -u = -7*h + 2*h. Is h a multiple of 22?
False
Is 38 a factor of 5 - (-2 + 3)/(7/(-5439))?
False
Let r = 4 + -1. Let c(t) = -4*t - 16*t**3 + 17*t**r - 5*t**2 + 3 - 1. Is 7 a factor of c(6)?
True
Let w(n) = n**2 + 19*n + 9. Let g be w(-13). Let z = 93 + g. Is 16 a factor of z?
False
Suppose -2*p - s = -80, 5*s - 160 = -2*p - 2*p. Does 40 divide p?
True
Is 12*-1*(-11)/((-286)/(-1053)) a multiple of 9?
True
Let u(m) = 1 + 2*m + 25 - 2 - 12. Is 3 a factor of u(3)?
True
Let v be 103/1 + 1/(-2)*8. Suppose -4*i = -89 - v. Is 9 a factor of i?
False
Let s = 12 - 7. Suppose 347 = s*i - l, -i + 5*l + 26 = -53. Does 10 divide i?
False
Let b = -142 + 232. Is b a multiple of 5?
True
Let z(v) = v**3 + 13*v**2 + 11*v - 11. Let i be z(-12). Let p(t) = -888*t - 1. Let y be p(i). Does 25 divide y/(-35) + (-4)/10?
True
Let a(m) be the second derivative of m**5/20 + 11*m**4/12 + 5*m**3/3 + 6*m**2 + 40*m. Is 23 a factor of a(-7)?
True
Let x be 8/4*(-6)/(-4). Suppose x*p = -p + 8. Suppose -p*j = j - 69. Does 9 divide j?
False
Suppose 67 = 4*w - 13. Let y be 0 - w/(-4) - 2. Suppose -3*l - y*h + 48 = h, -5*h - 80 = -5*l. Is 16 a factor of l?
True
Is 7/(3 - -4) + 12 a multiple of 13?
True
Let x(o) = -o**3 + 8*o**2 + 11*o - 13. Let z be x(9). Is (-10)/z - -64 - 2 a multiple of 30?
True
Suppose -26*v + 15*v = -5676. Is v a multiple of 12?
True
Let p(f) be the second derivative of f**4/12 - 5*f**3/6 - 4*f**2 - 6*f. Does 32 divide p(13)?
True
Let k be (-16)/(-6) - 1/(-6)*-4. Suppose -27 = k*y - 3*y. Is 9 a factor of y?
True
Suppose 76*w = 2*w + 213416. Is w a multiple of 65?
False
Suppose 0 = 613*n - 642*n + 68875. Is 129 a factor of n?
False
Let j be 0/(-3) - 6/(-2). Suppose g = -j*g. Suppose g = 3*l - 7*l + 124. Is l a multiple of 8?
False
Let k(q) = -3 - 2*q**3 - 4*q**2 + 30*q - 63*q + 29*q. Let m be k(-2). Suppose 0*u + 2*w + 22 = u, -m*u = -4*w - 122. Is u a multiple of 10?
False
Does 52 divide (-36)/10*(8040/(-9))/4?
False
Let t be 4/6*3*(-2 - -33). Suppose -2*r = -t - 372. Does 15 divide r?
False
Suppose -8*d = -0*d + 64. Let s(u) = -u**2 - 9*u + 17. Is s(d) a multiple of 3?
False
Let a(n) be the first derivative of 5*n**3/6 + n**2 + 4*n - 1. Let r(u) be the first derivative of a(u). Is 27 a factor of r(5)?
True
Let d(w) = -48*w**3 - 1. Let l be (-32)/(-80) + (-7)/5. Does 25 divide d(l)?
False
Let t(x) = -17*x - 9. Does 3 divide t(-4)?
False
Suppose 4*a + 51 - 411 = 0. Suppose -7*i = -2*i - a. Does 9 divide i?
True
Let h(j) = 13*j**2 - 137*j + 66. Is h(23) a multiple of 12?
True
Suppose 30 + 320 = 5*d. Is 9 a factor of d/4 + 3/6?
True
Suppose 2*h - f + 0*f - 6 = 0, -3*h + f + 10 = 0. Suppose 8*s = 4*s - 3*r + 592, 0 = -h*r. Does 24 divide s?
False
Suppose 32*f - 18896 = 4144. Is 48 a factor of f?
True
Suppose -374 = 4*v - 1334. Is 17 a factor of v?
False
Let c(m) = m + 2. Let g(z) = -29*z + 3. Let i(w) = -2*c(w) + g(w). Does 6 divide i(-1)?
True
Let y be 6 + 6*4/(-6). Suppose -5*i + y*a - 8 = -0*a, i = -4*a + 16. Suppose 0*c - c + 47 = i. Does 9 divide c?
False
Suppose -16*k + 14*k + 24 = 0. Let t = k + -3. Let y(n) = -n**2 + 12*n - 10. Does 17 divide y(t)?
True
Let k(o) = 3*o**2 - 79*o - 145. Is 5 a factor of k(30)?
True
Let u = -79 - -84. Suppose y + 2*t = 113, 0 = 6*y - y - u*t - 505. Does 7 divide y?
True
Is 668 - (-2 + (-1 - -8)) a multiple of 8?
False
Let k be (-2)/2*-1 + (-3 - 0). Let a(t) = 15*t**2 + 5*t + 2. Does 19 divide a(k)?
False
Let l be (8/6)/(4/6). Suppose 0 = -2*v + 10, 4*i - l*i = 4*v + 132. Is i a multiple of 19?
True
Let o = 8 + -5. Let s(t) = 91 - 3*t - 96 - o*t**2 + 4*t**2. Is 17 a factor of s(-6)?
False
Suppose -4*l + 41 = 17. Let n(j) = j**3 - 7*j**2 + 8*j - 6. Is 6 a factor of n(l)?
True
Let c be (39/(-9))/((-1)/3). Suppose -41 - c = -3*h. Is h a multiple of 10?
False
Is 16 a factor of (6 + (-532)/70)/(2/(-600))?
True
Let y = -79 + 252. Is y a multiple of 13?
False
Let l(c) be the first derivative of 15*c**3 - 2*c**2 + 2*c + 2. Let r be l(2). Suppose 0 = -4*m - d - 69 + r, m - 4*d - 39 = 0. Is m a multiple of 9?
True
Suppose 3*k + 13*k - 1344 = 0. Does 3 divide k?
True
Let s(v) be the third derivative of -11/12*v**4 + 0*v + 0 - 6*v**2 - 1/6*v**3. Is 13 a factor of s(-2)?
False
Let a(o) = o**3 + 4*o**2 + 16*o + 14. Let r be a(-5). Suppose 4*c - x - 3*x + 236 = 0, 0 = 4*c - 3*x + 238. Let s = c - r. Does 8 divide s?
False
Suppose 94*s - 60 = 88*s. Suppose -4*n = n - 3*k + 3, 3*n - k + 1 = 0. Let m = s - n. Is 3 a factor of m?
False
Suppose -3*d = 5*h - 278, 12*h + 163 = 15*h - 2*d. Let t = h - -86. Is 19 a factor of t?
False
Let p(y) = y**2 + y - 1. Is 11 a factor of p(-4)?
True
Let q(z) = 25*z - 4. Let c be -10*(-4 - 72/(-20)). Does 9 divide q(c)?
False
Let h be 3/1*(210 - -5). Suppose -7*c + 90 = -h. Let z = c - 63. Is 8 a factor of z?
False
Does 8 divide ((-6360)/477)/((-50)/24 - -2)?
True
Let q(t) = -3*t + 2*t**2 - 2*t + 8 + t**3 + 0*t. Let l = -36 + 40. Does 21 divide q(l)?
True
Suppose -1945 = -9*n - 163. Is 9 a factor of n?
True
Suppose 7*k - 1637 + 209 = 0. Is k a multiple of 17?
True
Let r = 22 + -25. Suppose 3 = -v + 4*v. Does 13 divide (-465)/(-9) - v/r?
True
Let p = -834 + 970. Is p a multiple of 8?
True
Let u = 11 - 26. Does 12 divide 7/((-21)/(-216))*(-10)/u?
True
Suppose 10*o + 2*b - 4045 = 7*o, -b = 2*o - 2697. Is o a multiple of 14?
False
Suppose 9*j + 3*o = 7*j + 957, -2*j = -5*o - 981. Does 6 divide j?
False
Let j = -63 + 115. Suppose 0 = -3*c + c + j. Let a = c + -8. Is a a multiple of 9?
True
Let l(b) = -8*b**3 + 8*b**2 - 39*b - 25. Is l(-8) a multiple of 82?
False
Suppose -3*s - p = -4*s + 72, -3*p - 364 = -5*s. Is 34 a factor of s?
False
Suppose 4*u - 5*a = 362, -u = -a - 85 - 5. Let g = 16 - 11. Suppose 0 = g*n - 72 - u. Does 9 divide n?
False
Suppose 4*t = 5*s - 32, 0*s = -2*s + 4*t + 20. Let n be (1 - 1) + s + -19. Is 6 a factor of 74/(-3)*n/10?
False
Let v be 3/(-2)*56/(-21). Is 18 a factor of ((-48)/10)/(v - (-364)/(-90))?
True
Let f be (1 - 3)*(-1)/(4/4). Is 7 a factor of (f/(-4)*-119)/(1/2)?
True
Suppose 10 = -0*w + 5*w + 5*y, 0 = -4*y + 20. Does 14 divide -219*w/9 + -3?
True
Suppose 20*l = 705 + 455. Is l a multiple of 16?
False
Let u(v) = -v + 1. Let f be u(-3). Suppose 8*k - f*k - 20 = 0. Suppose -7*z + k*z = -108. Is z a multiple of 9?
True
Does 7 divide (-12)/42 + (-3928)/(-28)?
True
Suppose -4*g + 148 = r + 2*r, 4*g - 4*r - 148 = 0. Let k = -23 + g. Is 5 a factor of k?
False
Does 8 divide (-4 + -4)/(2/(-70))?
True
Let q(b) = 49*b**3 - b**2 + 8*b - 5. Is 21 a factor of q(2)?
True
Is 12 a factor of (7 + -13 + 2)*-69?
True
Let h be (-525)/(-63) - 2/(-3). Suppose 3*x - h = 2*x. Is 5 a factor of x?
False
Let t be (-399)/(-77) - 4/22. Suppose 0 = -t*l + 8 - 78. Let a = l - -35. Is 14 a factor of a?
False
Suppose -888 = -4*x + 3*u - 8*u, 5*u - 671 = -3*x. Let p = 387 - x. Suppose 5*j = 10*j - p. Is 17 a factor of j?
True
Suppose 4*w - 2 = -5*h + 1, -3*h + 4*w + 21 = 0. Suppose -h*p + 5*p - 138 = 0. Is p a multiple of 13?
False
Suppose -2*c = z - 6*c - 9, 2*c = 4. Suppose -z = b - 6. Is 3/(-1) - b/1 a multiple of 4?
True
Let t(n) = 2*n + 3*n**2 + 4*n + 0*n - 5*n. Is t(-2) a multiple of 10?
True
Suppose 2*j = -2*j + 8. Does 19 divide 19*-2*(-4 + j)?
True
Suppose a - 2*i - 12 = 0, -5*a - i + 30 = -8. Suppose -u = 1, -12 = -2*m + 4*u + a. Let s(d) = -d**2 + 15*d - 12. Does 20 divide s(m)?
False
Let c = -674 + 993. Is 11 a factor of c