Let w(y) = 198*y + 422. Is 21 a factor of w(5)?
False
Let l = -146 - -248. Is 15 a factor of l?
False
Suppose 4*f + 352 = 2*j + 9*f, 0 = 3*j - 5*f - 478. Let m = j - -9. Is m a multiple of 33?
False
Is 315*(-5 + 112/21) a multiple of 21?
True
Let j = 455 - -466. Is j a multiple of 14?
False
Let l(s) = -s + 112. Does 24 divide l(16)?
True
Suppose 49 = 4*j + 13. Let r(b) = -b**3 - 13*b**2 - 12*b - 1. Let q be r(-12). Let u = q + j. Does 3 divide u?
False
Suppose 37 = 5*m - 3. Suppose 7*d = 2*d + 3*x + 13, 2*x + 10 = 4*d. Suppose -4*v + s = -92, -v + d*s + m = -2*s. Does 12 divide v?
True
Suppose -17*k = -341 - 101. Suppose 2*q + k = 46. Is 5 a factor of q?
True
Let m = 3 + 112. Let t = m + -29. Is t a multiple of 11?
False
Let y(r) = r**3 + 2*r**2 + 3*r + 5. Let s be y(-2). Is 3 a factor of -26*s/((2/3)/1)?
True
Suppose x - 3*x - 30 = -4*w, 3*w = -4*x + 17. Let j(b) = -w + 10*b**2 + 11 - 5. Does 8 divide j(2)?
False
Suppose -2*r + 2*v - 32 = 0, 3*r + v + 0*v = -28. Let p(m) = m**3 + 14*m**2 + 4*m + 32. Is p(r) a multiple of 17?
False
Let d(y) = -y**3 - 9*y**2 - 9*y - 7. Let p be d(-8). Is 5 a factor of (-390)/(-80) + p/8?
True
Let d(l) = l**3 + l**2 - l + 25. Suppose 3*q - 17 = -5. Let v be q/(-14) + 32/112. Is 9 a factor of d(v)?
False
Suppose -28 + 10 = -3*v. Suppose v = -0*p + 2*p. Suppose -5*f = p*t + t - 90, 0 = -f - 2*t + 18. Is 6 a factor of f?
True
Suppose -v = -44*d + 45*d - 358, 0 = -3*v - 2*d + 1079. Is 46 a factor of v?
False
Is 22 a factor of 363*84/14 - 10?
False
Let u = 45 - 23. Suppose -u = 5*b + 28. Is 22 a factor of 5/(b/(-136)) + -2?
True
Suppose 352 = 2*t - 50. Suppose -11 = 5*q - t. Does 4 divide q?
False
Let u be (-4)/34 - (-424)/136. Suppose 3*h = 5*l + 5, h = l - 0*h + u. Suppose -l*r + 98 = 2. Does 12 divide r?
True
Suppose -h + 5*u + 1 = 0, -2*h - 5*u + 2 = -0*u. Let f(j) = 92*j**2. Does 17 divide f(h)?
False
Let v be (9/(-6))/(3 + (-105)/40). Does 13 divide v - (3 + -4 + -67) - 4?
False
Let x = -612 - -796. Is 13 a factor of x?
False
Let d be 1 + 1/1 + 3. Suppose -d*u = -u - 948. Is 26 a factor of u/(2 + 1) - 1?
True
Let v = -11 - -15. Suppose -8 - 87 = -o - 4*r, 0 = -5*o + v*r + 475. Does 14 divide o?
False
Let y(u) = u**3 + 23*u**2 + 6*u + 96. Is 32 a factor of y(-22)?
True
Does 20 divide 33068/22 + (238/(-187))/14?
False
Let k be (-6)/(-8) - (-6165)/180. Let n = -2 + 5. Is -1*n/((-3)/k) a multiple of 7?
True
Suppose 5*m = 4*m - o - 10, -40 = 5*m + 3*o. Let l(b) = -b**2 - 12*b - 6. Let s be l(m). Suppose -4*n + 71 = -4*t - s, -2*t = -n + 20. Is n a multiple of 15?
True
Does 5 divide 2 - 5885/(-11) - (-2 + 4)?
True
Let l = -258 + 498. Is 40 a factor of l?
True
Suppose -28*x - 60*x + 64592 = 0. Is x a multiple of 8?
False
Let i(k) = 2*k**2 - 49*k - 30. Let n be i(25). Does 5 divide (n/(-3))/((-5)/(-75))?
True
Let q be 2/6 + 20720/48. Suppose 16*x - q = 13*x. Does 12 divide x?
True
Let b(p) = -p + 1. Let m be b(1). Is (-19 + 2)*-2 - m a multiple of 5?
False
Suppose -8 = 8*j - 12*j. Let r(b) = b**2 - 2*b + 4. Let i be r(j). Suppose i*y = -2*k + 7*k - 200, k + 2*y - 26 = 0. Is k a multiple of 18?
True
Let p be (-2)/6 + 56/(-12). Is 6 a factor of (-228)/(-3)*p/(-10)?
False
Let t = -27 - -33. Suppose 8*p - 76 = t*p. Suppose 3*v = -3*c + 123, -v + 0*c - 2*c = -p. Is v a multiple of 11?
True
Is ((-8)/10)/(2/(-10)) - -122 a multiple of 18?
True
Let i = 131 - 79. Is 13 a factor of i?
True
Suppose 4*q - 3*u - 368 = 0, -8*q - 5*u = -4*q - 400. Is q even?
False
Suppose -10*o = 125 - 25. Is 1 + 159 + -6 + (-60)/o a multiple of 31?
False
Suppose -12 = s - 4*s. Suppose -3*r - 14 = s. Is (-12)/r + (0 - -61) a multiple of 21?
True
Suppose -5*z + 729 = 4*o, 724 = 2*o + 2*o + 4*z. Does 11 divide o?
True
Suppose 4*p - 3*j = 7, 3*p + 0*j - 4*j = 0. Suppose b - p*n - 17 = -4*b, 2*b - 8 = n. Let o(h) = 3*h - 5. Is o(b) a multiple of 5?
True
Let q = 1186 - 106. Does 15 divide q?
True
Suppose -29*q - 16422 = -52*q. Does 51 divide q?
True
Suppose 3*m - 3*t - 3 = 0, -5*m = 4*t - 12 - 2. Let s(j) = j**2 + 1. Let h be s(m). Suppose 2*u + 5*n = 7*u - 70, h*u = 4*n + 65. Is 5 a factor of u?
False
Suppose 0 = -2*x + 4*f + 218, -3*x + 5*f + 121 = -2*x. Is 6 a factor of x?
False
Let q(r) = -r**2 + r + 40. Let l be 8/(-24) + 1/3. Does 10 divide q(l)?
True
Suppose 0 = -5*n + 10*n - 25. Suppose 0 = -n*v + 8 + 37. Let h = 65 - v. Does 28 divide h?
True
Suppose 5*l - 4*i = -68, -3*l - 4*i - i - 63 = 0. Let t = 58 + l. Does 14 divide t?
True
Let d(x) = -116*x + 396. Is d(-11) a multiple of 19?
True
Suppose 0 = 2*o - 415 + 295. Is o a multiple of 6?
True
Let i = -677 - -999. Is 7 a factor of i?
True
Let n(m) = -13*m + 152. Is 9 a factor of n(2)?
True
Let g(x) = -x**2 - 3*x**3 + x**2. Suppose 2*t + 2*y = 0, 1 = -2*y + 5. Is g(t) a multiple of 8?
True
Let h(o) = 2*o**2 - 3*o - 5. Let s be h(3). Suppose 0 = -3*w - 7*f + 2*f + 51, 0 = s*w + f - 51. Is w a multiple of 10?
False
Let d = 20 + -20. Suppose 0*v + 3*v - 4*j - 222 = d, 3*v = j + 213. Does 35 divide v?
True
Suppose -14*a - 2*y - 2504 = -17*a, 0 = 5*a + 3*y - 4167. Is 3 a factor of a?
True
Let p(s) = -9 + 27 - 9 + s**3 - 11 - 3*s + 3*s**2. Let x be p(-4). Is 3/(x*(-3)/132) a multiple of 22?
True
Let v(t) = 2*t - 28. Let c be v(14). Suppose c = -5*j + 8*j - 48. Is j a multiple of 5?
False
Suppose x + 81 = 2*j, -4*j + 73 = 5*x - 110. Let z = -11 + j. Is z a multiple of 18?
False
Is 15 a factor of ((-28)/(-12) - 3)*540/(-8)?
True
Let j be (-4)/(-12) + 292/6. Suppose 0 = m - 43 - j. Suppose -2*o + 228 - m = 0. Does 22 divide o?
False
Suppose -j = 4*n - 19, -17 = 3*j - 2. Is 6 a factor of ((-1)/4*6)/(n/(-188))?
False
Suppose 5*x + 4 - 29 = 0. Suppose a + 28 = 3*n, x*n = 3*n - 2*a + 16. Is n a multiple of 9?
True
Suppose 5*a - 2*a - 12 = 0. Does 12 divide ((-2)/(-3))/(a/414)?
False
Let b(q) = q**2 - 2*q + 11. Does 2 divide b(-5)?
True
Suppose 5*q + 0*q = 10. Suppose -q*p - p = 0. Suppose -7*c + 3*c + 64 = p. Is 6 a factor of c?
False
Let z = -1005 - -1967. Does 24 divide z?
False
Let j = -1909 - -2859. Is 25 a factor of j?
True
Suppose 6*k - 11*k = -2*p - 486, 2*p - 4 = 0. Is 13 a factor of k?
False
Suppose -3*r - i + 2 = 1, -4*r - 3*i - 7 = 0. Let g(h) = 12*h**3 - h**2 - 2*h - 1. Let m be g(-1). Is 27 a factor of (6/m)/(r/(-324))?
True
Let k(c) = -11*c**3 - 2*c**2 - c. Suppose 3*d = -2 - 1. Let y be k(d). Suppose -3*u + 118 - y = 0. Does 11 divide u?
False
Suppose -j + 11*j - 440 = 0. Suppose 6*z = 2*z - 4*m + j, m - 75 = -5*z. Does 4 divide z?
True
Let p(g) = -g**2 + 9. Let d be p(-4). Does 2 divide 1 - (98/(-4))/d*-4?
False
Let r(q) = q**3 + 6*q**2 + q + 7. Let z be r(-6). Suppose u = 2*u - 1, 16 = -3*y - 5*u. Let p = z - y. Is 3 a factor of p?
False
Does 4 divide 27/18*-1*-44?
False
Let y = 27 + -25. Does 20 divide -108*7/((-21)/y)?
False
Suppose 4*a - 2835 + 445 = -2*s, 4*s - 2992 = -5*a. Suppose 252 + a = 4*b. Is b a multiple of 45?
False
Let g(m) = -7*m - 1. Suppose 0*n + 16 = 4*n. Suppose 30 = -n*y - 6. Does 31 divide g(y)?
True
Let h = 126 + -127. Is (-12)/(-21) + (4464/(-28))/h a multiple of 16?
True
Suppose r = 8*r + 847. Let b = r - -129. Is 4 a factor of b?
True
Let f(l) = -105*l - 5. Let h be f(-1). Let o = 11 + h. Is o a multiple of 37?
True
Suppose 123 + 363 = 9*m. Is m a multiple of 27?
True
Suppose -21*o + 33548 - 2174 = 0. Does 83 divide o?
True
Suppose 28*i - 26*i - 60 = 0. Does 17 divide (-1 - -156)*12/i?
False
Suppose -131*w + 6244 = -124*w. Is w a multiple of 21?
False
Let s be 2*(-21)/9*-6. Suppose 44 = 3*x - s. Suppose -p = -x - 18. Is p a multiple of 21?
True
Does 13 divide ((1694/(-21))/(-11))/((-6)/(-1980))?
False
Let x(c) = 4*c**2 + 2*c + 1. Let u be x(-1). Let q(z) = 13 - 14*z**2 + z + z**u + 8 - 9. Is q(14) a multiple of 13?
True
Suppose 0 = 7*m - 5*m + 244. Let t = m + 275. Does 17 divide t?
True
Let j = 76 - -189. Suppose d + j = 6*d. Is 7 a factor of d?
False
Suppose 3*v + 4*y - 532 = v, 2*y + 758 = 3*v. Does 64 divide v?
True
Suppose 24 = 3*v - y, 0*v + 40 = 4*v - 4*y. Suppose 5*k - 20 = 4*u - v*u, 0 = -2*u - 3*k + 13. Does 5 divide u?
True
Is 7 a factor of 3255 - ((-210)/(-7))/(-3)?
False
Suppose 5*r + 115 = -1285. Let j = -125 - r. Is 15 a factor of (6/(-3))/((-5)/j)?
False
Let n(q) = 4*q**2 - 15*q - 285. Is 8 a factor of n(26)?
False
Let t(f) = -f**2 - 8*f - 13. Let g 