15 a factor of 18/(y/(840/9))?
True
Suppose 5*o = -4*f - 1448, -5*f = -4*o + 274 + 1536. Let h = f + 645. Is 22 a factor of h?
False
Let i = -554 + 556. Suppose -i*q = -11*j + 13*j - 1338, -2*q + 4 = 0. Is 50 a factor of j?
False
Let c be ((-4)/(-1))/(19 - 17). Suppose 0 = z - 0*z + c*i - 22, -22 = -3*z + 5*i. Let l(o) = o**2 + 3*o + 14. Does 21 divide l(z)?
True
Suppose 0 = 12*t - 13*t + 752. Suppose -2*o + 324 + 176 = -2*d, -2*o + t = -3*d. Let h = d + 420. Is h a multiple of 14?
True
Let p(n) = 5*n - 54. Let g be p(-4). Let x = 4 - g. Is 4 a factor of x?
False
Let t be 12/(-9)*(-1293)/4. Let g = t + -355. Does 23 divide g?
False
Let v(b) = -3*b - 108. Let a be v(-37). Suppose -a*y - f = y - 175, -4*y = 4*f - 172. Is y a multiple of 10?
False
Let c = -3811 + 2648. Let p = -683 - c. Is 12 a factor of p?
True
Does 19 divide (18/10)/(27/28755)?
False
Let l(w) = 7*w**2 - 93*w - 6547. Is l(-76) a multiple of 7?
False
Suppose 78 = -7*y + 8. Let u(f) = f**3 + 12*f**2 - 5*f - 70. Is 15 a factor of u(y)?
True
Suppose -j - 224 = 3*j - 4*b, -5*j + b = 288. Let n = 63 + j. Is n a multiple of 5?
True
Let b be ((-6)/2)/(3/34). Let o = b + 44. Let j = 73 - o. Does 29 divide j?
False
Let b(t) = 9*t**2 - 4. Let o be b(1). Suppose 5*l = o*u - 3*u - 345, -3*l = 15. Does 10 divide u?
True
Suppose 9*f = -5600 + 75295 + 32113. Is 28 a factor of f?
True
Let l(g) = -4*g - 9. Let t be l(-11). Let b be 21/t + (-272)/(-5). Suppose 4*i = -4*x + 40, 3*x = 2*i - 2*x - b. Does 13 divide i?
False
Is (-18)/81 + (-778928)/(-144) a multiple of 88?
False
Suppose -s + 2381 = 22*q - 23*q, 0 = 4*s + 3*q - 9531. Is 9 a factor of s?
False
Suppose 0 = 153*i + 10104 - 323448. Does 16 divide i?
True
Suppose 25 - 45 = -4*n. Suppose -5*l + 613 = -4*i - 1500, -n*i = l - 440. Does 15 divide l?
False
Suppose -5*q + 79860 = -3*r, -q + 7*r = 2*r - 15972. Does 11 divide q?
True
Suppose u + l = 314, -3*u + 70*l - 66*l = -928. Is u a multiple of 29?
False
Suppose 11*h = 1784 + 3133. Is 5 a factor of h/(-18)*(4 - 10)?
False
Let t be (-34)/(-3) - (-16)/24. Suppose 3*n = 48 + t. Does 14 divide (-6 + n)/(3/21)?
True
Suppose -219871 = -43*s + 110713. Is 46 a factor of s?
False
Let i(l) = 93*l**2 + 1211*l + 19. Is i(-16) a multiple of 17?
False
Suppose -3*t - 5*i = -6196, 2*t - 3*t + 5*i = -2052. Is t a multiple of 50?
False
Suppose -20 = -t - 4*a, 3*t - a = 4*a - 25. Suppose 97*d - 93*d - 120 = t. Does 10 divide d?
True
Let d(u) = u**3 + 18*u**2 + 15*u - 8. Let y(h) = h**2 + 4*h - 2. Let w be y(-4). Let z be (4/(-6) + 1)/(w/102). Does 7 divide d(z)?
False
Let z(u) = 2*u - 16. Let w be z(9). Suppose 3 - 61 = w*x. Is 7 a factor of (-1 - x)*(-84)/(-112)?
True
Let z(o) = 24*o**2 - 4*o - 3. Let h be z(-2). Suppose -4*a + 0*a = -v - 449, -2*v + h = a. Suppose 2*t - 3*x = 55, -2*t - 5*x + a = t. Does 16 divide t?
True
Let o(q) = -10*q + 84. Let l be o(8). Let u = -7 + 15. Suppose -l*j - 684 = -u*j. Is 13 a factor of j?
False
Let l(b) = 90*b**3 - b**2. Let t be l(1). Let u = 569 + t. Is 62 a factor of u?
False
Let t = 111 - 102. Let u(y) = y - 9. Let b be u(9). Suppose -4*w + t*w - 3*q - 597 = b, -4*q = w - 124. Is 30 a factor of w?
True
Let a = 37 + -95. Let h = a + 62. Suppose 201 = h*q + 29. Does 6 divide q?
False
Let v be 18/(-8)*(-2060)/15. Let n = v + 181. Does 35 divide n?
True
Suppose -5*q = -128*u + 125*u + 21201, u = 5*q + 7097. Is u a multiple of 52?
False
Does 16 divide (45/12 + 2)*((5 - -1505) + 6)?
False
Let a(r) = -3*r**3 + 18*r**2 + 16*r + 39. Let s(p) = 2*p**3 - 9*p**2 - 8*p - 20. Let t(m) = 3*a(m) + 5*s(m). Let b be t(-7). Let n = b - 39. Does 9 divide n?
False
Suppose 0 = -8*d + 55 - 39. Suppose 5*n - 2*b - 5383 = d*b, 3*b = -3*n + 3219. Is 25 a factor of n?
True
Let y(a) = 7*a**2 - 9*a - 116. Let j = -91 + 81. Does 30 divide y(j)?
False
Let w = -82 + 84. Suppose 6*b = 5*b - w, -3*i - 5*b + 197 = 0. Is 22 a factor of i?
False
Let j = 35 + -27. Suppose 552 = j*k - 4*k. Let b = k + -94. Does 14 divide b?
False
Let x(s) = -113*s + 5133. Is x(-109) a multiple of 349?
True
Suppose -9030 = -4*p + v, -2*v - 6324 = -4*p + 2708. Does 61 divide p?
True
Let z(i) = -i**3 + 25*i**2 - 8*i + 1. Suppose -84*d - 57 = -2*h - 81*d, -2*d = -2*h + 54. Does 10 divide z(h)?
False
Suppose -11*k + 79 - 24 = 0. Suppose -x + 4637 = k*q, -2*x = -2*q - 0*x + 1862. Does 32 divide q?
True
Suppose 4*n = -20*q + 15*q + 8311, 3322 = 2*q + 4*n. Does 48 divide q?
False
Let f = 8434 + -4625. Does 13 divide f?
True
Let h(t) = t**3 - 89*t**2 + 47*t - 970. Is h(90) a multiple of 80?
True
Let n(r) = r**3 - 29*r**2 - 62*r + 28. Let w be n(31). Does 14 divide w/(((-20)/(-30))/(1 - -1))?
True
Suppose 21*b = -2*i + 18*b + 21052, 3*i - 31578 = -2*b. Does 7 divide i?
False
Let o = -12760 + 18558. Does 13 divide o?
True
Let v(g) = g**3 - 10*g**2 - 12*g - 14. Let t be v(-7). Let b = -373 - t. Is 26 a factor of b?
True
Suppose -3209 = -23*d + 8061. Is d a multiple of 14?
True
Let h = -25 - -16. Let n(p) = -p**2 - 8*p + 15. Let f be n(h). Suppose -3*t - 140 = -4*q, 88 = -3*q + f*q + 2*t. Does 16 divide q?
True
Let r be -1 - 20/8 - 2/4. Let d be 4 + (0 - -1) + r. Does 10 divide (61 - d)*(-1 + (-12)/(-6))?
True
Suppose 27*b + 3*d = 23*b + 48, -d + 48 = 4*b. Suppose 0 = -5*v + 805 + 215. Does 14 divide ((-16)/b)/((-2)/v)?
False
Suppose 2*z - 250 = 22. Is 16 a factor of (-17)/(z/48) - -278?
True
Let q(m) = -m**3 + 6*m**2 + 18*m + 12. Let f = -358 + 365. Is q(f) a multiple of 15?
False
Let k = -22006 + 24720. Is 3 a factor of k?
False
Let l be ((-7)/(-21))/(4/3084). Suppose 5*i - l = 328. Is i a multiple of 3?
True
Suppose 10*j - 23*j - 60*j + 602761 = 0. Is j a multiple of 18?
False
Suppose 4*y = -5*d + 58, 3*y - 26 = -0*y + 5*d. Is (2 + (-18)/y)/(1/680) a multiple of 20?
True
Suppose 4*g - 2*p - 25570 = 9850, -2*g + 17720 = 4*p. Is 12 a factor of g?
True
Let x = 244 - 132. Let q = 342 - x. Suppose 12*h + q = 17*h. Is h a multiple of 23?
True
Suppose 0 = -36*d + 28*d. Suppose -2*r + 9*r - 4018 = d. Does 14 divide r?
True
Let v(b) = -6*b - 5*b + 6 + 0. Let o(c) = -c - 39. Let w be o(-30). Is v(w) a multiple of 21?
True
Let z(c) = -5*c**3 - 17*c**2 - 13*c + 118. Does 32 divide z(-14)?
True
Let t be 4/(-10) + 989813/(-55). Is 4/(-20) - t/35 a multiple of 20?
False
Suppose 0 = 416*i - 423*i + 5733. Is i even?
False
Suppose -112*m + 113*m - 1 = 0. Is 3 + ((-4)/m + 21 - 1) a multiple of 2?
False
Let a be -7 + 6 + (-2 - -12). Suppose 21 = -4*r - d - 2*d, 0 = -r - 2*d - a. Let c = r - -43. Is 8 a factor of c?
True
Let q = 52 + 4. Let p = -11 + q. Does 3 divide (2 + -4)/((-5)/p)?
True
Suppose 0 = j + 3*b - 6924 + 844, 0 = 5*b - 15. Is 16 a factor of j?
False
Let z(v) = 2*v + 28. Let l be 35/(-3) + (-14)/42. Let m be z(l). Let o(i) = i**3 - 4*i**2 + i + 9. Does 2 divide o(m)?
False
Suppose 17900 = 201*l - 1847380. Does 40 divide l?
True
Is (5877/4)/(45/(-54)*63/(-140)) a multiple of 3?
True
Let o(n) = 2*n**2 - 7. Let q be o(4). Let c(l) = -3*l**2 + q - 3*l + 3*l + 0*l - l. Is c(0) a multiple of 5?
True
Let u(h) = -27*h**2 + 2*h - 9. Let g(t) = -54*t**2 + 3*t - 17. Let c(q) = -3*g(q) + 5*u(q). Let d be c(-3). Suppose 16*w - d + 22 = 0. Is 7 a factor of w?
True
Let l = 12529 - 7072. Is l a multiple of 107?
True
Let v be (489/4)/(15/(-40)). Is -1 - 1*(v + 7) a multiple of 10?
False
Let z(a) = 15*a**2 - 5*a - 434. Does 112 divide z(-23)?
True
Let w = 15538 + 1505. Is w a multiple of 26?
False
Let x(z) = 4*z + 21. Let v be x(-6). Is (-108)/v*42/9 a multiple of 12?
True
Let a(n) = -n**3 + 2*n**2 + 3*n - 4. Let r be a(-3). Suppose 0 = -7*q + 160 + 358. Let u = q - r. Does 7 divide u?
True
Suppose 3*t + 51 = 36. Let r = 12 + t. Does 15 divide ((14/(-4))/r + -15)*-6?
False
Is 22 a factor of 6868 - (-11)/(7 - 18)?
False
Let z(b) be the second derivative of 17*b**3/6 + 3*b**2 + 20*b. Let k be ((-6)/(-4))/(-3)*-6. Is z(k) a multiple of 13?
False
Let m be 4 + 0*(-2)/8. Suppose 2*h + 2*t = 548, 277 = h + 2*t + m. Is 5 a factor of h?
True
Let v = 85 - -3555. Does 7 divide v?
True
Let b = 88 + -84. Let w(t) = -2*t**3 + 6*t**2 - 5*t - 9. Let y be w(b). Let g = 101 + y. Is 12 a factor of g?
False
Let s(k) = 1857*k - 10269. Is s(17) a multiple of 13?
False
Suppose -l - 1512 - 1129 = -3*o, -3*l - 3 = 0. Suppose 2*c = 10*c - o. Is c a multiple of 10?
True
Let g(p) = 5