?
True
Suppose 2*l - 33 = 3. Does 13 divide l?
False
Does 6 divide ((-5634)/(-8))/9 - 1/4?
True
Suppose -2*b - 35 = -2*f - 9, 4*b = 2*f - 36. Does 6 divide 1*12*20/f?
True
Let x(z) = -z**3 - 4*z**2 - 3*z. Let m be x(-4). Suppose 0 = -5*u + 2*b + 31, -b = 3*b + m. Suppose 5*n = -f + 2*n + 42, -u*f = -5*n - 250. Is 24 a factor of f?
True
Suppose -5*c - 2 = -n + 7, -3*c - 7 = -n. Let k(w) = w**3 - 5*w**2 + 3*w + 6. Does 2 divide k(n)?
True
Let o = -2 + -2. Let k be (o/6)/((-1)/3). Suppose -3*y + k*y = -26. Does 13 divide y?
True
Let n(a) = a**3 + 7*a**2 - 5. Let r be n(-7). Let d = -3 - r. Is 14 a factor of (-69)/d*(-6)/9?
False
Suppose -2*g + 0*y + 17 = -y, -g - 3*y = 9. Is 6 a factor of (-4 - g)/((-1)/1)?
False
Suppose -5*w = -4*x - 4, x + 2*x + 8 = 5*w. Suppose 7 = -w*m + 115. Does 9 divide m?
True
Suppose -2*y + 173 = 3*f - 2*f, -5*y - 3*f = -431. Does 22 divide y?
True
Let h(t) be the third derivative of -t**5/60 + t**4/8 + t**3/6 - 3*t**2. Let p be h(4). Is (-57)/(-3) + 6/p a multiple of 9?
False
Let y = 50 + -28. Suppose 28 + 4 = k. Suppose -3*d + y = -k. Does 18 divide d?
True
Let p be 2/2 + -4 + -99. Does 10 divide p/(-5) + (-6)/15?
True
Let z = -7 - -11. Let a = 0 + 1. Suppose s + a = z. Does 2 divide s?
False
Suppose 7*o - 6 = 4*o + 3*i, -2*o = -i + 1. Let k be -8 - o - (-1 + 1). Let a = k - -9. Is 2 a factor of a?
True
Suppose -y + 31 = -17. Is y a multiple of 16?
True
Let g be 62/22 + (-4)/(-22). Suppose -g*m = -y - 118 + 16, 4*y = 3*m - 93. Suppose 29 = 4*z - m. Is z a multiple of 6?
False
Let d(u) = u + 1. Let p be d(3). Suppose 0 = -p*w - 15 + 83. Is w a multiple of 12?
False
Let q = 5 + -8. Let x = q + 2. Is (x + -3)*(-36)/8 a multiple of 8?
False
Let d be -6*4/16*-2. Suppose d*r + 5*y - 410 = -2*r, 2*y = 0. Does 17 divide r?
False
Suppose 3*u - 6*u = -12. Suppose -u*v + 72 = 5*f - 173, 0 = -v. Does 21 divide f?
False
Let u(v) = 1 - 1 - 5 + 2*v - 4. Does 2 divide u(8)?
False
Let o be (-2)/7 - 80/14. Is 2 a factor of (1/3)/(o/(-36))?
True
Is 34*((-13)/(-2) - 4) a multiple of 17?
True
Suppose 3*o - 7 + 1 = 0. Suppose 5*q - o*d + 184 = -166, 4*q + d = -267. Let r = q - -117. Does 18 divide r?
False
Let c(f) = -f**2 + 2*f + 1. Let p be c(-1). Let s = 5 + p. Is 15 a factor of (14/s)/(1/9)?
False
Suppose -2*z - 3*b - 77 = -3*z, b = -2*z + 147. Let f = -53 + z. Is 6 a factor of f?
False
Let t(f) = -9*f - 8 + 0*f**3 + f**3 - 9*f**2 - 4 - 1. Let a be t(10). Does 19 divide 26 - (3 + a + 0)?
False
Let q(b) = 2*b**3 + 3*b**2 + 3*b. Let v be q(-2). Let z be 2/5 - 36/v. Suppose 2*s = -a + 2*a - 19, z*a + s = 85. Is 13 a factor of a?
False
Does 12 divide (72 - 0)*1/(-2)*-4?
True
Let v(p) = -2*p + 5 - p**2 + 4*p - p. Suppose 0 = 2*a + 2*a. Does 5 divide v(a)?
True
Let u = 4 + -2. Let h be (1 - 3)/(u/(-19)). Is (-2 - h)*6/(-9) a multiple of 7?
True
Let l(i) be the second derivative of 0 + i**2 - 17/6*i**3 + 2*i. Is 24 a factor of l(-3)?
False
Let u = -3 + 3. Suppose 2*f - 4*w - 56 = u, 0 = -4*f - 5*w + 142 - 30. Is f a multiple of 17?
False
Suppose 0 = 4*w + g - 375, 5*g + 517 = 5*w + 17. Is 26 a factor of w?
False
Let c(p) be the second derivative of -p**5/20 - 5*p**4/6 - 13*p**3/6 - 2*p**2 + 3*p. Does 13 divide c(-9)?
False
Let k = 8 - 4. Suppose 5*n = k*p - 200, n = 4*n. Is 17 a factor of p?
False
Let h be 8/2*22/1. Suppose 0 = -2*m + 4*p + 112, 4*p = -2*m - 0*p + h. Suppose -f + 5*g + m = 4*f, -2*g - 26 = -3*f. Does 3 divide f?
True
Let n = -19 - -38. Is 11 a factor of n?
False
Suppose -4*a + 2*x + 4 = 0, -2*x + 7*x - 16 = -3*a. Suppose a*d + 23 = -1. Does 10 divide (-9)/d - 37/(-4)?
True
Let d(i) = -i**2 + 9*i + 1. Does 9 divide d(8)?
True
Is (2 + 1)/(-3) + 65 a multiple of 16?
True
Let m = -4 - -10. Suppose 0 = 2*v - m. Suppose 2 = d - v. Is 5 a factor of d?
True
Let z = 3 + 0. Let q(h) = -5 + z + 2*h + 2 - 9. Is q(6) a multiple of 3?
True
Suppose -5*u + 12 + 13 = 0. Suppose u*m - 43 = -3. Is m a multiple of 7?
False
Suppose 3*t = h + 23, 5*t - 6 = 5*h + 129. Let d = 55 - -9. Let x = d + h. Does 20 divide x?
False
Let s(m) = 10*m - m**3 - 16*m + 2*m**3 - 2 + 11*m**2. Is 16 a factor of s(-11)?
True
Is (-274)/(-5) - 12/(-60) a multiple of 11?
True
Let x(z) = -1151*z - 3. Let q be x(2). Is 18 a factor of q/(-45) - 4/18?
False
Suppose 29 = 3*n - 7. Let p = 15 + n. Does 26 divide p?
False
Let v(c) = c**3 - c - 1. Let o(w) = -3*w**3 + 3*w**2 + 2*w. Let x(z) = -o(z) - 2*v(z). Let a be x(3). Does 4 divide (-2)/3*(-15)/a?
False
Let n(s) = s + 13. Let t be n(-9). Suppose -75 = -t*g - 11. Is 4 a factor of g?
True
Let k(u) = -u**2 - 5*u - 9. Let g be k(-7). Let y = g - 13. Let f = 52 + y. Does 16 divide f?
True
Let w(c) = 6*c**3 - 5*c**3 - 5 + c + 5*c**2 + 2. Let i be 76/(-18) - 6/(-27). Does 9 divide w(i)?
True
Let v = -5 + 12. Let q(s) = -7 - 16 + 15 + 8*s + 2*s. Is 18 a factor of q(v)?
False
Let q = -6 + 9. Suppose -q*g + 4*g - 7 = -4*i, -g + 14 = -3*i. Does 11 divide g?
True
Let s(m) = -m**3 - 3*m**2 - 3*m - 2. Let b be s(-3). Let a = b + 1. Does 8 divide a?
True
Let t(b) = -b**2 + 28*b - 34. Is 4 a factor of t(25)?
False
Suppose 5*l - 3*l - 160 = 0. Suppose 4*k - l = -4*i, -k - 3*i + 4*i + 20 = 0. Is 5 a factor of k?
True
Let a(t) = -47*t**2 + 2*t - 2. Let z(l) = 142*l**2 - 5*l + 5. Let o(i) = 8*a(i) + 3*z(i). Is 25 a factor of o(1)?
True
Let w be (8/10)/(4/30). Let v = w - -18. Does 12 divide v?
True
Let o = -5 - -5. Suppose o*c - c + 19 = 0. Does 9 divide c?
False
Let j be -1 + (9 + 3)/4. Suppose -2*f - j*f = -104. Does 13 divide f?
True
Suppose b - 2*v = 274, -3*b + v + 2*v + 828 = 0. Let s be b/7 + 2/7. Suppose -q - s = -3*q. Does 20 divide q?
True
Suppose -2 = -4*c + 2*f + 6, 3*c - 3*f - 6 = 0. Let n(b) = 0*b - 2*b + 6*b. Is n(c) a multiple of 3?
False
Let j be -2*(70/4)/(-5). Let r = j - 5. Does 2 divide r?
True
Let k = -436 - -616. Is k a multiple of 45?
True
Let q be 9 - ((1 - -1) + 0). Let k(n) be the first derivative of 2*n**3/3 - 9*n**2/2 + 4*n - 1. Does 13 divide k(q)?
True
Let l(s) = -s + 0*s**2 + 21*s**3 + s**3 + s**2. Does 11 divide l(1)?
True
Let p(q) be the third derivative of -q**5/60 + 5*q**4/8 - 13*q**3/6 - 2*q**2. Is 12 a factor of p(9)?
False
Let c(i) = 6*i + 42. Is 33 a factor of c(8)?
False
Let k(m) = 5*m - 2. Let f be k(2). Let d(x) = -8*x + 4. Let g(u) = -u. Let a(b) = -2*d(b) + 14*g(b). Is a(f) a multiple of 3?
False
Suppose 0 = -2*m - 3*m. Let g(a) = -a**3 + 4*a**2 + 3*a - 1. Let x be g(3). Suppose -x = -o - m*o. Is 5 a factor of o?
False
Suppose 0*w + 21 = -5*w - 4*v, v + 24 = -5*w. Let h(d) = 32*d. Let s(c) = -63*c. Let n(z) = w*s(z) - 9*h(z). Is n(1) a multiple of 7?
False
Suppose -3*v = -2*v - 85. Let z = v + 3. Suppose 0*c + z = 4*c. Does 11 divide c?
True
Does 10 divide (-1 - 2)/9*-39?
False
Does 14 divide ((-168)/(-15))/((-2)/(-5))?
True
Suppose -3*j = -q + 2*q - 53, -143 = -3*q - j. Is q a multiple of 13?
False
Let o(w) be the third derivative of -w**6/40 + w**5/30 - w**4/12 + w**3/6 + 2*w**2. Let p be o(1). Is 17 a factor of p + 36/(-1 + 2)?
True
Suppose 2*p + 5*y + 20 = 0, -5 = -5*p - 5*y - 25. Let q = 2 + p. Suppose 107 = 4*a + 3*l - 50, a - q*l - 31 = 0. Is a a multiple of 14?
False
Let u = -139 + 157. Does 8 divide u?
False
Suppose 129 = 2*a + 33. Is a a multiple of 12?
True
Let s(f) = f**3 - 8*f**2 - 9*f - 10. Let l be s(9). Is 16 a factor of (-410)/(-25) + 4/l?
True
Suppose s - 24 = 2*i, 0 = -5*s + 3*i + 45 + 47. Does 16 divide s?
True
Suppose 387 = 12*k - 9*k. Is k a multiple of 23?
False
Let c = 14 + -10. Does 2 divide c?
True
Is 17 a factor of (21 + -4)/(5/45)?
True
Suppose 6*p - 15 = 3*p. Suppose 0 = 3*b - 4 - p. Does 14 divide 13 - (-3)/b*1?
True
Suppose 5*v - 76 = 4*t, -t - 20 = -3*v - 5*t. Let y be v/18 - 329/3. Let g = -75 - y. Is g a multiple of 17?
True
Let t(c) = -c - 5*c**3 - 9*c**2 - 2 + 8*c**3 - 4*c**3. Let g be t(-9). Suppose -4*w + 13 = -g. Does 4 divide w?
False
Let w(b) = -5 + 10*b - 22*b + 5*b + 0. Suppose 10 = -2*h - 0*s - 5*s, 0 = -2*h - 4*s - 10. Is 16 a factor of w(h)?
False
Suppose 0 = -2*z - 7 + 123. Does 4 divide z?
False
Suppose 3*r + 4*j = 9*j + 740, 5*r + 5*j - 1220 = 0. Is r a multiple of 23?
False
Suppose 0 = 6*h - 2*h - 60. Let w = h - -19. Suppose u = -4*a - 1 + 23, -w = -3*u + 4*a. Is u a multiple of 9?
False
Let m be 2/((16/10)/(-4)). Let u be (-17)/m - (-12)/(-30).