134. Is 23 a factor of o?
True
Suppose -4*f - 50 + 326 = 0. Is 23 a factor of f?
True
Suppose 5*y = 248 + 92. Is y a multiple of 34?
True
Is 13 a factor of 2/4*(-9 - -155)?
False
Let q be (-25)/(-9) + (-12)/(-54). Suppose -q*d + 32 = b, 3*d + 4*b = 47 - 0. Is 9 a factor of d?
True
Let h(c) = 105*c**2 - 4*c - 3. Does 12 divide h(-1)?
False
Suppose -4*b = -110 - 42. Does 23 divide b?
False
Does 24 divide (-2)/7 - (-5720)/77?
False
Suppose 22*q - 23*q + 57 = 0. Does 6 divide q?
False
Let x(s) = s**3 + 12*s**2 + 10*s + 1. Let c = 12 + -23. Is x(c) a multiple of 12?
True
Is 14 a factor of (99/(-18))/((-2)/56)?
True
Let c(q) = 4*q**2. Is 16 a factor of c(2)?
True
Suppose 2 = 2*d + 4*s, 3*s + 44 = 4*d + d. Suppose -2*o = 3*o - 40. Let y = d + o. Does 9 divide y?
False
Suppose 2*r - 84 = -r. Suppose -u - r = -2*u. Is u a multiple of 14?
True
Let f = -11 + 10. Does 15 divide (f + 2)/((-1)/(-43))?
False
Let t(u) be the first derivative of -57*u**4/4 - u**3/3 + u - 1. Is t(-1) a multiple of 16?
False
Let h(l) = -5*l - 15. Is h(-8) a multiple of 25?
True
Let i = 1 - -73. Is i a multiple of 11?
False
Let n be 3 + 1 - (-1 - -2). Suppose -2*q + 49 = -3*u, -q - n*u - 2*u = 8. Suppose -q = -v + 9. Does 16 divide v?
False
Suppose -3*h - 2*n + 140 = 0, 2*n + 0*n = 8. Suppose 0 = 3*w - 2*d - 17, 4*w = -5*d + h - 6. Is w a multiple of 7?
True
Let b(z) = -z**2 - 12*z - 3. Is b(-11) a multiple of 8?
True
Suppose -5*x + 40 = s + 3*s, -3*x = -5*s + 50. Suppose 4*g = 0, 5*f + 2*g = 30 - s. Suppose 2*m = f*r - 32, r + 4*m - 8 = m. Is 5 a factor of r?
False
Let i be (1 + -3)*10/(-4). Let r be ((-4)/i)/(7/(-245)). Let t = 46 - r. Is 9 a factor of t?
True
Let f = 43 - -53. Does 13 divide f?
False
Let y = -3 - -87. Is y a multiple of 7?
True
Suppose -o + 2*t + 1 = -8, 0 = 5*o - 5*t - 35. Suppose 3 = -o*i - 12. Is 7 a factor of (-82)/i - (-2)/(-6)?
False
Suppose w = -2*k + 66, 4*k - 97 = k - w. Does 27 divide k?
False
Let r = -5 - -8. Suppose -r*d = -8*d + 70. Does 7 divide d?
True
Suppose -5*c + 2*g + 260 = 0, 3*c + g = -4*g + 125. Does 10 divide c?
True
Suppose 3*y - 8 = -2. Suppose y*k - 120 = -2*k. Suppose 2*u + 146 = 7*u + 4*x, -u = x - k. Does 11 divide u?
False
Let h be 2/(2/45)*1. Suppose -3*o + h = 2*o. Is 2/(1 + o/(-15)) a multiple of 2?
False
Let c = 40 - -28. Does 15 divide c?
False
Let k be (-1)/2*2*24. Let g = -15 - k. Does 8 divide g?
False
Let w(c) = -3 + 2 + 0 + c. Let v be w(5). Suppose -4*o + 9 = -3*t, -5*o - 3*t + 14 = -v. Is 3 a factor of o?
True
Let c(u) be the third derivative of -u**4/24 - 5*u**3/6 - 2*u**2. Let p be c(-9). Does 7 divide 1/p - (-78)/8?
False
Suppose -12*h + 127 + 353 = 0. Does 10 divide h?
True
Let i be 34/10 - 4/10. Suppose 0 = -0*s - i*s + 18. Suppose 3*g = 4*g - s. Is g a multiple of 3?
True
Let m(t) = t**2 - 10*t + 7. Is 9 a factor of m(11)?
True
Let j(b) = -b**2 - 9*b - 6. Let t be j(-7). Does 18 divide (-118)/(-5) - t/(-20)?
False
Let m = -167 + 237. Is m a multiple of 11?
False
Does 14 divide (4 - -35)*1 + 1?
False
Let o(j) be the first derivative of j**4/4 - 8*j**3/3 + j**2 - 7*j + 1. Let v = 20 + -12. Is o(v) a multiple of 9?
True
Suppose 6*i + 426 = 4*x + 3*i, 0 = 4*x - 2*i - 428. Suppose 5*t - x - 52 = 0. Is t*-3*1/(-3) a multiple of 16?
True
Let z = -15 + 28. Let h = 23 - z. Does 10 divide h?
True
Suppose -5*n = -22 - 13. Is 4 a factor of n?
False
Let z be (-8)/32*(1 + -5). Let s(b) = -6*b**2 - b. Let f be s(-1). Does 3 divide z + (0 - (f - -3))?
True
Suppose 0 = 4*q - q + 21. Let s = 123 + -87. Let l = s + q. Does 16 divide l?
False
Let w(h) = -3*h - 44. Is w(-19) a multiple of 6?
False
Let b(x) = x**2 - 3*x - 8. Let f be b(4). Does 13 divide 4/16 + (-267)/f?
False
Let f = 9 - 4. Let n be 4/22 + 126/33. Suppose 3*m - n*o - 72 = 0, f*m = -2*o + 5*o + 109. Is 20 a factor of m?
True
Let h = -11 - -8. Does 17 divide 6*-1*13/h?
False
Suppose -5*o - 2 = -5*t - 7, -3*o + 4 = -4*t. Suppose 5*n + 3*d - 127 = o, -2*n + 4*d = -0*n - 30. Is n a multiple of 23?
True
Does 2 divide (4/3)/(9/27)?
True
Let v(h) = -15*h**3 - 2*h**2 - 6*h - 4. Does 6 divide v(-2)?
True
Let a(q) = 5*q + 12. Is a(10) a multiple of 19?
False
Let x(v) = v**3 - 8*v**2 - 6*v + 3. Let r be x(9). Suppose -25*k + r*k = 70. Is 3 a factor of k?
False
Let o(n) = -n**3 - 3*n**2 - 6*n + 3. Is o(-3) a multiple of 21?
True
Suppose 0 = -3*v + 4 - 1. Suppose 0*p + 5 = -p. Is 13 a factor of (v + 0)/(p/(-130))?
True
Suppose -4*k + 4 = -2*k. Suppose k*l + 2*q = 28, q + 1 + 1 = 0. Is 7 a factor of l?
False
Suppose 2*v = 13 - 5. Suppose 2*a - 71 = v*j + 11, 3*a + 4*j = 93. Is a a multiple of 19?
False
Let j = -6 - -108. Is j a multiple of 29?
False
Let q = -47 - -15. Let k be q/(-18) + (-2)/(-9). Suppose -4*u + 6*z - k*z = 0, 4*u - z = 6. Does 2 divide u?
True
Let g(a) be the second derivative of -a**5/40 + a**3/6 + 2*a. Let q(v) be the second derivative of g(v). Is 3 a factor of q(-1)?
True
Does 24 divide (-17 - -19)/((-1)/(-48))?
True
Suppose -3*p = 3*g - 162, -3*g + 2*p - 38 = -195. Is g a multiple of 20?
False
Does 20 divide (5 - 0)*(-56)/((-49)/7)?
True
Let k = 8 - 3. Suppose -6*z - k*r + 106 = -4*z, -4*z + 5*r + 182 = 0. Does 15 divide z?
False
Suppose 0 = -3*k - 0*k + 18. Let j(y) = -2*y + 6. Let a be j(k). Is -1*(-9 - a/(-3)) a multiple of 11?
True
Let r = -35 + 89. Suppose 138 = 6*k + r. Is k a multiple of 13?
False
Suppose 0 = -6*k + 4*k + 4. Let y be (k/3)/(4/174). Let a = y - 19. Does 4 divide a?
False
Let l(i) = i + 9. Let c be (-60)/(-14) - 8/28. Is 5 a factor of l(c)?
False
Suppose 5*t - 704 = -5*q - 204, -3*t = 5*q - 510. Suppose -4*k + l = -143, -3*k + 7*l = 4*l - q. Does 18 divide k?
True
Suppose -3*q + 50 = 2*q. Let s(t) = -2*t**2 + 0*t**2 - 3 - 2*t - 6*t + 3*t**2. Does 7 divide s(q)?
False
Let y(n) = 13*n**3 - 3*n + 2. Is y(2) a multiple of 27?
False
Let o(v) be the first derivative of 5*v**3/3 - v**2 - 3*v + 4. Does 6 divide o(-2)?
False
Let f(l) = 2*l**3 - 5*l**2 + l - 4. Let w be f(4). Suppose 0*p = 2*p - w. Is p a multiple of 12?
True
Is 570/16 - (-66)/176 a multiple of 12?
True
Is (0 - -4)*(-165)/(-20) a multiple of 4?
False
Let g = 126 + -68. Does 25 divide g?
False
Let s = -1 + 0. Let w(g) = -9*g. Does 3 divide w(s)?
True
Suppose -3*m = -5*d - 5*m + 90, 0 = -4*d - 3*m + 65. Is d a multiple of 4?
True
Let t(m) = m**2 - m + 18. Is 18 a factor of t(0)?
True
Suppose -2*b = -4*z + 10, 6*b - b - 15 = 2*z. Suppose -b*n - 2*j = 7, 0*j - 4*j = 4*n + 8. Is (n - (5 - -2))/(-1) a multiple of 8?
True
Suppose 0 = 4*v + 4 - 52. Is 4 a factor of v?
True
Suppose 4*x = 42 + 6. Let d = x + 15. Is d a multiple of 7?
False
Suppose n - 7 = -0*n. Suppose 3 = 2*h - n. Suppose -5*v + 35 = 5*a, v = 5*a + h*v - 36. Does 7 divide a?
False
Suppose -4*t + 60 = -t. Is 6 a factor of t?
False
Does 5 divide -2*4/16*-26?
False
Let x be (-1 - -1)*2/(-4). Is 7 a factor of 9/1 + 2 - x?
False
Suppose -10*o + 40 = -6*o. Is o a multiple of 10?
True
Let y = 3 + 0. Suppose -y*c = -15 + 3. Is c even?
True
Let w be 2 + -1 + (-1)/1. Suppose 5*n + 8 - 38 = w. Does 7 divide n + 2*2/4?
True
Is (1*123)/(6/4) a multiple of 15?
False
Suppose -4*i - 21 + 93 = 0. Suppose 4*h - i = h. Is h a multiple of 2?
True
Let i be (-1)/(-4) + 1995/20. Let r = -49 + i. Does 17 divide r?
True
Let y(o) = 3*o - 24. Does 16 divide y(18)?
False
Let y(x) be the first derivative of -x**2/2 - 12*x + 5. Is y(-14) a multiple of 2?
True
Suppose -3*d - 4 = 17. Let j be (13/(-2))/(d/42). Suppose 15 = x - 4*m + m, -x - 5*m = -j. Is 9 a factor of x?
False
Let h(j) = 5*j**3 - j + 1. Let u be 22/18 + (-14)/63. Let t be h(u). Suppose 2*r - t*x = 7 + 19, -5*r + 4*x = -65. Is 6 a factor of r?
False
Let r = 1273 + -754. Is r a multiple of 15?
False
Suppose 1197 = -0*b + 9*b. Does 7 divide b?
True
Suppose 3*t + t = -2*v + 44, 3*v - 3*t = 39. Does 8 divide v?
True
Let j(z) = 4*z**2 + 5*z - 2. Let l be j(-4). Suppose -l = 2*d - 5*d. Let n = d - 10. Is n even?
True
Let o(m) = -m**2 + 3*m + m**3 - 3 - 5*m**2 + 0*m + 4*m**2. Let a be o(2). Suppose -2*k - r + 20 = 0, 2*r + a + 5 = 0. Is k a multiple of 6?
True
Suppose 2*y = 5*y - t + 7, -4*y - 1 = -3*t. Let v = y - -10. Is v a multiple of 6?
True
Let r(k) be the third derivative of -k**6/360 + k**5/12 + k**4/8 + k**3/6 + 2*k**2. Let h(w) be the first derivative of r(w). Is h(9) a multiple of