 k = a - 134. Is 15 a factor of k?
False
Let x(k) = -83*k**3 - 2*k**2 - 37*k - 115. Is 99 a factor of x(-5)?
True
Let a be -1*6/3 - (-18 + -2). Suppose 24*h = a*h + 2226. Is 25 a factor of h?
False
Let o(q) = q**3 - 5*q**2 + 7*q - 27. Let c = -441 + 448. Is o(c) a multiple of 9?
False
Let k be ((-35)/14)/(10/(-8)). Suppose 0 = -5*b - i + 21, -b + k = -i - 1. Suppose 3*n + 4*g - 299 = 0, b*g - 404 = -3*n - n. Is n a multiple of 7?
True
Let p = 236 - -218. Suppose -2*r - 3*l = l - p, 3*r - 703 = 5*l. Is r a multiple of 21?
True
Let h(g) = g**3 + 13*g**2 + 27*g - 15. Let a be h(-18). Is 9 a factor of a/6*(-44)/77?
False
Suppose 0 = -14*r + 10*r + 800. Does 19 divide (-3 - -7) + (r - -2)?
False
Is 16 a factor of (-204)/(-8721)*-19 + 218443/9 + 1?
True
Let k = 19652 - -50044. Is k a multiple of 132?
True
Let i(s) = 6*s - 8. Let o be i(6). Does 18 divide (o/10)/(39/5265)?
True
Suppose -6*y + 21 = -3*j - 3*y, 5*j + 2*y = 0. Let s be ((-6)/4)/(4/(-8)). Is 3 a factor of (s - (-9)/j)/(1/(-6))?
True
Is 52 a factor of (107 + -3)/(3*2/3738*7)?
True
Let c(k) = 220*k - 19. Let i(q) = -219*q + 18. Let y(w) = -4*c(w) - 5*i(w). Is y(2) a multiple of 26?
True
Let t(r) = r**2 - 6*r + 6. Let n be t(6). Let w(f) = 15*f**2 + 5*f + 5. Let x(b) = 13*b**2 + 4*b + 4. Let j(p) = -4*w(p) + 5*x(p). Does 18 divide j(n)?
True
Let r be 2/14 + (-54)/(-14). Suppose r*z + 4389 - 1249 = 0. Does 11 divide (12/(-15))/((-783)/z - 1)?
False
Let f be ((-4)/((-64)/36))/((-6)/(-2032)). Let u = 1194 - f. Is u a multiple of 27?
True
Suppose 4*u + 800 = -4*r, -3*u + 4*r + r - 608 = 0. Let m be (u/6)/((-2)/4). Let v = m - 61. Is v a multiple of 2?
True
Let c(q) be the first derivative of q**2/2 + 13*q + 12. Let s be c(-14). Is 9 a factor of (5 - s)*(-12)/(-8)?
True
Let m = 7120 + -6242. Is 13 a factor of m?
False
Let h(b) = 14*b**3 + 5*b**2 - 20*b - 12. Does 7 divide h(5)?
False
Suppose 0 = -2*p + 4*p - 1640. Suppose 20*y = 24*y - p. Suppose -4*g = 3*h - y, -173 = -3*h + 10*g - 6*g. Does 7 divide h?
True
Let r = 857 + -540. Let o = r + -269. Is o a multiple of 4?
True
Let h = 43 + -36. Suppose h = -9*r + 34. Let j(q) = 47*q - 16. Is 25 a factor of j(r)?
True
Suppose 0 = 3*l, 3*z + l - 26931 = -l. Suppose -2789 = 28*m - z. Is m a multiple of 5?
False
Let h be 3/(-5) + (-3 - (-4569)/15). Let v = -202 + h. Is 12 a factor of v?
False
Let z = 16 + -14. Suppose -k = -q - 2, 3*q + 6 = z*k + 4. Suppose 5*r = q*r + 435. Is 31 a factor of r?
False
Let b(o) = o**3 - o**2 + 2*o - 5. Let n be b(2). Is (-1150)/n*(-4 - 16/(-10)) a multiple of 40?
True
Suppose 47*m - 48348 - 756928 = 380017. Is 8 a factor of m?
False
Let u be (-6)/18 - 356/3. Let j = -17 - u. Is 6 a factor of j?
True
Let g be (-2 + -21 + 3)/(33/(-33)). Suppose 5*n = -3*w - 872 + 3352, -5*n + g = 0. Does 17 divide w?
False
Let k(i) = 9*i - 19. Let d be k(6). Suppose 3*o - 73 - d = 0. Suppose 12 + o = 2*j. Is 7 a factor of j?
False
Suppose 7*g + 16 = -19. Let j = g + 21. Suppose 0 = 20*m - 19*m - j. Does 8 divide m?
True
Let m(b) = -7*b**2 - 13*b - 15. Let j(x) = -19*x**2 - 38*x - 44. Let f(u) = 4*j(u) - 11*m(u). Is 11 a factor of f(-12)?
False
Suppose 255 = -108*c + 105*c. Let z = -1 - c. Is z a multiple of 12?
True
Let h(g) = 1103*g - 1777. Does 14 divide h(19)?
True
Let o = 74 - 72. Suppose -3*r = o - 11. Suppose -2*c - 66 = -5*g, 6 = r*g - 2*g + 2*c. Is g a multiple of 6?
True
Let x(m) = -3*m**2 + 5*m**2 - m**2 - 244*m + 252*m - 21. Is 31 a factor of x(6)?
False
Let d be ((-2930)/(-30))/((-2)/(-6)). Let l = 111 - 305. Let r = l + d. Is 22 a factor of r?
False
Let a = 7310 + -5752. Does 41 divide a?
True
Let b be 2/16 + (-243)/24. Let g be (9/6)/((-3)/b). Suppose -3*k + 84 = -2*k - g*w, 5*k - 2*w = 489. Is 43 a factor of k?
False
Suppose -6*t = a - 4*t - 508, -t = a - 512. Suppose -o - x + 161 = 0, -5*o + x - a = -1345. Is o a multiple of 33?
True
Suppose 0 = -1282*t + 1280*t + 29658. Does 11 divide t?
False
Suppose 17*u - 50889 = 30930 + 111029. Is u a multiple of 92?
False
Let m(c) = 20*c**2 + 2119*c + 193. Does 38 divide m(-118)?
False
Suppose -3*z + 4 = 2*r, 2*r = -3*r + 4*z + 33. Suppose 5*w + 10 = 0, -r*w = -5*p - 718 + 38. Let v = p - -353. Is 13 a factor of v?
False
Let r be (-2463)/(6 - (6 + 3)). Suppose 0 = 2*t + 2, r = p - t + 89. Does 43 divide p?
True
Let t = -439 - -442. Suppose -b + 2*f = 6*f - 1116, -f = t. Does 24 divide b?
True
Suppose 6 = -3*s - h, -3*s - 2*h = -s + 8. Let a(i) be the second derivative of -22*i**3/3 - 2*i**2 + i. Is 8 a factor of a(s)?
True
Let m = 390 + -416. Let b(t) = -31*t - 53. Does 10 divide b(m)?
False
Suppose l = 18 + 12. Let a = 99 - l. Let j = a - 27. Is j a multiple of 18?
False
Let t = -16 - -33. Let q(f) = f - 29. Let g be q(t). Is 6 a factor of 22/12 + -2 + (-290)/g?
True
Let a = 99 + -26. Suppose -80*u + 1848 = -a*u. Is 27 a factor of u?
False
Suppose 29 = -p - 4*c, -p + 3*p + 48 = 2*c. Let j be 6/15*p/(-2). Suppose -j*a + 115 = -15. Is 13 a factor of a?
True
Suppose 116 = 98*l - 94*l. Suppose 25*m - l*m = -1440. Does 20 divide m?
True
Let t(f) = -6*f**3 - 2*f**2 + 7*f - 3. Is 12 a factor of t(-11)?
False
Let k(o) = o**3 - 5*o**2 + 9*o - 19. Let r(y) = -y**3 + 10*y**2 - 15*y - 3. Let p = 28 + -20. Let q be r(p). Is 4 a factor of k(q)?
False
Suppose u - 4*u = 2*a - 12, -u + 4*a = 10. Suppose -c + 343 = -2*t + 2*c, 2*t - u*c + 344 = 0. Let q = -110 - t. Is 7 a factor of q?
True
Let n(t) = -2*t**2 + 10*t - 31. Let q be n(-9). Let i = -182 - q. Is 20 a factor of i?
False
Let b be (6/(-15))/(-1) + 2572/20. Let z = b + -67. Suppose 2*v + z = 2*x, -x - 6*v = -2*v - 36. Is x a multiple of 5?
False
Let u be (4 - 9)*(-56)/(-10). Let x be u/(-112) - 839/4*-1. Suppose 0 = -5*w + 105 + x. Is w a multiple of 19?
False
Let w(k) be the first derivative of 4*k**3/3 + 23*k**2/2 + 113*k - 31. Is w(-6) a multiple of 7?
True
Suppose 120 = -13*q + 15*q. Let f = 62 - q. Suppose -f*a = -66 - 34. Is a a multiple of 8?
False
Let x(a) = 3341*a**2 - 50*a + 4. Is 26 a factor of x(4)?
False
Suppose 5761 = -21*h + 53620. Is h a multiple of 3?
False
Let y be 215 - 8*-2*(-1)/(-4). Suppose -3*k = 2*a - 3077 - y, -3*k = -a - 3311. Is 13 a factor of k?
False
Suppose -4*q = -5*k + 34, 6*k = k - 5*q + 25. Suppose 4*t - 5*g - 105 = 0, -2*t - 4*g - 108 = -k*t. Let y = t - 12. Does 3 divide y?
True
Is 35 a factor of (2 + 518)/(2 - (-40)/(-24))?
False
Is 776244/78 - ((-120)/442 + 4/34) a multiple of 18?
False
Suppose -8*n + 25148 = -828. Does 14 divide n?
False
Suppose -z + 0*z + 7 = 0. Suppose -64 = 3*v - z*v. Is 258/2 - v/(-8) a multiple of 17?
False
Suppose 37 = 2*z + 13. Let m be (-2 + 74)/(z/16). Suppose -3*r + 2*r + m = 0. Is 12 a factor of r?
True
Let h = 83 + -81. Suppose -2*l - h*z = -10, -3 = 2*z - 13. Suppose l = -7*o + 255 + 95. Is o a multiple of 50?
True
Suppose 4*g + 4358 = 5*d, 224 = -d - 2*g + 1090. Is d a multiple of 30?
True
Suppose 0 = -11*s + 71044 + 46046 - 10621. Is 111 a factor of s?
False
Let i = -134 - 184. Let m = i + 564. Is m a multiple of 9?
False
Suppose -11*q + 2540 = -34. Does 18 divide q/4*(26 + -18)?
True
Suppose -4*l = -3*l - 2*o - 14, -3*o - 7 = 2*l. Suppose 3*h - 3*u - 63 = 0, l*h = -2*u - 27 + 135. Is h a multiple of 4?
False
Let t = 105 + -82. Let k(p) = -t + 27 + 30 + 7*p. Is k(6) a multiple of 4?
True
Suppose 331*d = 5*o + 332*d - 22246, o + 4*d - 4472 = 0. Does 16 divide o?
True
Suppose 0 = -2*h + 2*n + 10614, -5*h + 3*h + 4*n + 10626 = 0. Is h a multiple of 31?
True
Let h be (-6)/18 - 8534/(-6). Let c(q) = 26 + q**2 - 2*q**2 + 1444*q - h*q. Does 25 divide c(21)?
False
Let f(d) = -7*d - 20*d - 16*d + 30. Let v be f(-6). Suppose -5*z = v - 713. Is 11 a factor of z?
False
Suppose 3 = 2*g - 5, -5*h + g = 159. Let o = h - -31. Suppose 3*i - 4*b + b - 147 = o, -5*i + 241 = -b. Is i a multiple of 12?
True
Let i be (1568/(-147))/(4/(-54)). Suppose -12*f + i = 4*f. Does 9 divide f?
True
Suppose -3*c = -p + 3, -2*c - 4*p + 9 = -p. Is 5/1 - (-177 - c) a multiple of 7?
True
Is -4*((-4)/(-22) + (-1128224)/352) a multiple of 5?
True
Suppose 735559 = 223*y - 1954713. Is 29 a factor of y?
True
Let c = -862 - -1886. Suppose 0 = -2*l + c + 982. Is l a multiple of 17?
True
Does 10 divide ((-90)/(-21))/(40/14840)?
True
Let r = -6 + 9. Let n be ((-5)/(-5))/(r/6). Suppose n*k = 6 - 2, 3*k - 32 = -s. Doe