e a?
True
Let v = 18 - 14. Suppose r - 100 = -v*r. Does 10 divide r?
True
Let g be (-2)/(4/3)*2. Let n be 6/4*(-8)/g. Suppose 5*r = 3*s + 53, -n*r + 4*s + 43 = s. Is 5 a factor of r?
True
Let i(z) = z**3 - 6*z**2 + 2*z - 6. Let g be i(6). Let m = g - -8. Suppose -6*b + m = -4*b. Is 2 a factor of b?
False
Is 6 a factor of ((-2)/(-3))/(2 - (-1075)/(-540))?
True
Let h be (-2)/6 - 28/(-12). Is 3/(-2)*(-48)/h a multiple of 18?
True
Suppose k - 3*k + 3*s = 12, k - 16 = -4*s. Let q(z) = z**2 - 10*z - 18. Let u be q(12). Suppose r - 10 - u = k. Is 8 a factor of r?
True
Let v = 97 - 47. Does 7 divide v?
False
Let u(h) = h + 9. Let z be u(-9). Let g(f) be the third derivative of f**5/60 - f**4/24 + 7*f**3/2 - 2*f**2. Is g(z) a multiple of 8?
False
Let h(t) = -30*t. Let p be (2/(-4))/(1/4). Is h(p) a multiple of 13?
False
Let b(t) = t + 24. Let g be (-2)/8 + (-1)/(-4). Is b(g) a multiple of 6?
True
Is 11 a factor of ((-2)/(-4)*-11)/((-5)/20)?
True
Suppose -2*s + 1 = 2*u - 3, -2*u - s = -2. Suppose -142 = -2*p - 0*p - 3*h, u = -3*h + 6. Does 18 divide p?
False
Suppose -2*c - 26 = -2*x, 5*x - 3*c - 20 - 43 = 0. Suppose 1 = j + 2*h - 5, -2*j - 5*h + x = 0. Is 5 a factor of j?
False
Let l(s) = -6*s + 29. Is 22 a factor of l(-9)?
False
Suppose 0 = 2*n + 4*y + 24, -5*n = -3*y - 36 + 96. Let q = -5 - n. Let k = 14 - q. Does 4 divide k?
False
Let z(q) be the second derivative of -7*q**3/3 - 3*q**2/2 - 4*q. Is 17 a factor of z(-2)?
False
Let i = -4 + -16. Let l be ((-8)/i)/(2/10). Suppose 12 = l*t - t. Is t a multiple of 6?
True
Let m(r) = -r**2 - 8*r + 1. Let v be m(-8). Let d = 14 + -24. Does 13 divide v*(-2 - 3)*d?
False
Does 2 divide 0 + -3 + (-13 - -27)?
False
Let r = -61 + 95. Does 3 divide r?
False
Suppose 5*z - 2 = 8. Let d(p) = -p - 1. Let n be d(-5). Suppose 7*f - n*k - 20 = 4*f, -z*k = -f + 8. Does 4 divide f?
True
Let h be (-6)/3 - -2 - 0. Let g = h - -2. Suppose g*p - p = 37. Is p a multiple of 26?
False
Let o = 9 + 3. Is o a multiple of 6?
True
Suppose 0 = 2*b + 2*w - 13 + 5, 3*w - 16 = -4*b. Let v = b - 3. Let l = v - -23. Is 11 a factor of l?
False
Let a = 61 - 56. Is a a multiple of 2?
False
Let h(y) = -548*y + 4. Let k = 9 + -6. Let a be h(k). Does 15 divide a/(-55) + 4/22?
True
Let h(c) = 2*c**2 - 3*c - 6. Let u be -8 - 1/(-2)*2. Is 30 a factor of h(u)?
False
Let y be ((2 - -3) + -1)*-1. Is 13 a factor of 4/1*(-26)/y?
True
Suppose 3*l + 40 - 112 = 0. Let r(q) = -q**2 - q. Let c be r(2). Let x = l - c. Is 15 a factor of x?
True
Let a(c) = -c**2 - 2*c - 5. Let p be a(-3). Let w = 28 + p. Does 10 divide w?
True
Is 5 a factor of (12/5)/(1/(60/9))?
False
Let b(r) = -r + 8. Let w be b(6). Suppose 3*c + 4*x = 18, 0 = 4*c - 5*c + w*x - 4. Suppose c*l = 3*l - 16. Is 8 a factor of l?
True
Suppose -15*b + 19*b = 172. Does 3 divide b?
False
Suppose -3*w - 15 = 4*m - 147, -4*m - 220 = -5*w. Does 4 divide w?
True
Let d(l) = l - 5. Let z be d(10). Suppose 0*x + 35 = z*x. Does 2 divide x?
False
Let p = 0 + 3. Suppose -p*i = -i + 4. Let b = 23 + i. Does 11 divide b?
False
Suppose r + 76 = 5*m + 5*r, -3*r + 13 = m. Does 16 divide m?
True
Suppose -4*i + 12 = -2*i. Is 17 a factor of (-2)/(-12) - (-251)/i?
False
Suppose 3*t - 78 = o + o, o = 2*t - 51. Suppose 0 = -0*y + 2*y - t. Is 6 a factor of y?
True
Suppose -6 = -4*t + 6. Suppose t*w - 32 = w. Suppose -7*n + w = -3*n. Is 4 a factor of n?
True
Suppose 0 = 2*w - 82 - 16. Does 15 divide w?
False
Let o(f) = 38*f**2 - 3*f + 7. Is o(-3) a multiple of 19?
False
Is 16/4 + 128/4 a multiple of 2?
True
Let z(m) = 3*m + 4. Let j be z(-5). Let t = j - -19. Suppose 3*s - 4*g = 32, 3*g - 36 - t = -2*s. Is 8 a factor of s?
True
Suppose 0 = 4*s - 3*f + 85, -3*s - 4*f - 45 = -0*s. Let w = 8 - s. Is w a multiple of 21?
False
Suppose y = 2*m + 135 - 6, 2*y - 2*m = 254. Does 25 divide y?
True
Let b(y) = -3 + 0*y**2 + 2 + 5*y**2. Let w be b(1). Suppose s + 0*s = 5*j - 20, 4*j + w*s = 40. Is j a multiple of 5?
True
Suppose -2*v - 366 = -0*v. Let f = 13 - 22. Does 10 divide v/f + 2/(-6)?
True
Suppose -5*y + 0*y - 3*b = -37, -4*b + 21 = y. Suppose -34 = -y*n + 26. Is n a multiple of 6?
True
Let c = -101 - -61. Is 10 a factor of (c/(-16))/(2/8)?
True
Let r(y) = -y**3 - 8*y**2 - 20. Is 22 a factor of r(-10)?
False
Let y(m) = 2*m + 4. Let g be (-3 - -3)/(-1 - 0). Suppose w = g, 2*w + 21 = 3*z - 3*w. Is y(z) a multiple of 9?
True
Does 9 divide (-5 - -2)/(3/(-13))?
False
Let d(r) = -2*r**2 + 2*r**2 - r - r**3 + 10. Suppose 0*l = 5*l. Does 10 divide d(l)?
True
Is 16 a factor of ((-1440)/105)/((-2)/14)?
True
Suppose b + 25 = 6*b, -2*r + 5*b = -393. Does 19 divide r?
True
Suppose 2*z - 4*z - 46 = 0. Suppose 2 = l - w + 11, -2*l = -5*w + 27. Let k = l - z. Does 5 divide k?
False
Suppose 0 = -w - 0*p + 5*p + 100, 5*w - 380 = p. Let x = w - 40. Is x a multiple of 14?
False
Let f(l) be the first derivative of l**2 + 2. Let i be f(4). Is 1 + i - (-4)/(-4) a multiple of 6?
False
Suppose -5*v + 3*v + 96 = 0. Is v a multiple of 7?
False
Let r(o) = 293*o + 6. Is r(1) a multiple of 17?
False
Let o(w) = 3*w - 10. Does 3 divide o(6)?
False
Suppose 2*s - 4*s - 12 = -2*k, s = 5*k - 22. Suppose -6 = 5*u + k, 4*u - 16 = -2*y. Does 12 divide y?
True
Let z = -7 + 10. Suppose -128 = -z*o - o. Is 15 a factor of o?
False
Let q be -1*(2 - (-2 + 27)). Suppose -3*y + q + 73 = 0. Suppose 0 = 4*t - 2*t - y. Does 9 divide t?
False
Suppose -k = -2*k + 54. Does 27 divide k?
True
Let g(c) = 13*c**2 + c + 1. Let w be (-2)/6*(-1 - -4). Is 13 a factor of g(w)?
True
Let b = 10 + -18. Let w = 1 - b. Is w a multiple of 9?
True
Let l = 4 + 5. Suppose n - l = -2*n. Is 9 a factor of 3/(-9) - (-70)/n?
False
Let q(j) = -260*j**2 - j + 16. Let w(b) = -52*b**2 + 3. Let h(t) = 2*q(t) - 11*w(t). Let r(z) = z**2. Let v(s) = h(s) - r(s). Does 26 divide v(-1)?
True
Suppose 3*b - 137 = 142. Let v = -9 - -14. Suppose 3*m + 5*l - 2*l = b, -v*l = -2*m + 83. Is m a multiple of 10?
False
Let o(c) = c**3 + 4*c**2 + 4*c + 1. Let n be o(-3). Let f be 23 - 1/n*6. Suppose 3*s - 130 = -5*h, 0 = -h + 3*s - s + f. Does 13 divide h?
True
Let q(y) = -y**3 - 4*y**2 - 2*y - 8. Is q(-5) a multiple of 4?
False
Let i(s) = s**3 + 2*s**2 - 4*s + 3. Let q be i(2). Suppose -z + q = -0. Does 7 divide z?
False
Suppose 0 = 3*c - 2*k - 505, k = -3*c - 4*k + 470. Is 9 a factor of c?
False
Let m be 2*(-42)/(-8)*2. Let u(b) = b**3 + 6*b**2 + 3*b + 5. Let f be u(-5). Let h = f + m. Does 14 divide h?
False
Let u(f) = -14*f - 1. Let q be u(-1). Let o(g) = g**2 + 2*g - 4. Let i be o(-6). Let l = i - q. Does 5 divide l?
False
Let x(o) = -20*o**3 - o**2 + 2*o + 4. Is x(-2) a multiple of 13?
True
Let m be -3 + 3/(3/7). Suppose -72 + 20 = -m*j. Is j a multiple of 9?
False
Suppose s - 5*m - 25 = 0, -s + 3 = -2*m - 7. Suppose s = t - 5*t. Suppose 12 = r - t*r - 5*d, 108 = 5*r - d. Is r a multiple of 11?
True
Is 24 a factor of -1*(4 + -5 - 44)?
False
Suppose -8*m - 288 = -11*m. Does 28 divide m?
False
Let z = -100 - -130. Is z a multiple of 30?
True
Let h(s) = s**2 - 4*s + 1. Does 10 divide h(6)?
False
Does 11 divide -3 + 30 + 4 + -4?
False
Let i be (0 + 12/(-16))*4. Does 13 divide (i - 1)/((-2)/17)?
False
Suppose 5*k - 64 = -n, 128 = 3*n + 5*k - 74. Does 4 divide n?
False
Let h(f) be the second derivative of -3/20*f**5 - 1/2*f**2 + f + 0 + 1/3*f**3 - 1/12*f**4. Does 15 divide h(-2)?
True
Suppose -3*a - 2*a = -1025. Does 12 divide a?
False
Let c = -9 - -3. Let u be c*11*(-1)/2. Suppose u = 4*i + 3*m, i + 3*i + 2*m = 34. Is i a multiple of 9?
True
Let h(n) = 7*n + 4. Let g be h(-2). Does 11 divide 1134/70 + 2/g?
False
Let z be 30/4*(-10)/(-15). Suppose -4*g - g = z*c - 45, -2*g - c = -23. Is g a multiple of 14?
True
Let t = -98 - -188. Let c = t + -47. Is c a multiple of 12?
False
Let k(w) = w**2 + w. Let f(g) = -18*g**2 - 7*g + 2. Let o(c) = -f(c) - 6*k(c). Let j be o(2). Suppose h - j = -3*h. Does 4 divide h?
True
Let b(p) = -10*p**2. Let f be b(-1). Let r be ((-42)/5)/(2/f). Suppose -4*n + n - 3*i = -r, -4*i - 4 = 0. Is n a multiple of 15?
True
Suppose 2*b + 10 = 2. Let v be -3 - -6 - 0 - 4. Does 5 divide (v + 3)/(b/(-26))?
False
Let q be (-13)/(-4) + (-12)/48. Suppose -6*z + q*z = -33. Is 9 a factor of z?
False
Suppose -3 = 2*h - 191. Is 4 a factor of h?
False
Let d be ((-24)/10)/(3/(-15)). Let u be 394/11 - 40/(-220). Does 