 = 2*t - 6*t - 27, -157 = -5*r - x*t. Does 31 divide r?
True
Let b = -60 + 247. Does 17 divide b?
True
Let a = -67 + 69. Suppose 0 = a*p + 50 - 272. Is 9 a factor of p?
False
Let w be -3 + 0*1/2. Is 6 a factor of (-202)/w + (-6)/(-9)?
False
Let j be 1/((2/82)/1). Suppose 2*m + j = -197. Let l = m - -188. Is 23 a factor of l?
True
Let a = -41 - -56. Is (-40)/a + (-2)/6 + 225 a multiple of 32?
False
Let a(d) = -d**3 - 15*d**2 + 98. Is a(-17) a multiple of 11?
False
Let b(q) = q**3 - 13*q**2 - 67*q - 81. Is 29 a factor of b(19)?
True
Let f(p) = 4*p + 8. Let c be f(-4). Let n(m) = -m**3 - 9*m**2 - 9*m - 5. Let z be n(c). Let g(j) = 10*j**2 + 2*j. Is 20 a factor of g(z)?
False
Let p = -23 - -13. Let h be (-722)/p - 1/5. Suppose 2*r + d + h = 7*r, 5*d - 15 = 0. Is r a multiple of 3?
True
Let y(m) = -61*m - 15. Let u be 3/(-3 + 4 + -2). Is y(u) a multiple of 12?
True
Suppose -320*l + 314*l = -2790. Is l a multiple of 93?
True
Let l = 540 + -438. Is 34 a factor of l?
True
Suppose 6*l - 27*l = -15540. Does 11 divide l?
False
Let l be (-11 - -1)/(16 - 17). Suppose 0 = -5*o - 3*i + l, 3*o - 2*i = 1 + 5. Is (-76)/(-6) - o/(-6) a multiple of 3?
False
Is (-17)/(-68) - 4366/(-8) a multiple of 39?
True
Suppose 119*z - 20653 = 100*z. Does 45 divide z?
False
Let r = 7 + -5. Let p(a) = 12*a - 12*a - 6*a**2 + 9 - 6*a - r*a**3 + 3*a**3. Is p(7) a multiple of 6?
False
Let c = -2777 + 5080. Is c a multiple of 49?
True
Suppose 2*w - 6*w + 5542 = 2*h, -2*w = -h + 2767. Does 13 divide h?
True
Let n(k) = -k**2 + k - 1. Let z(q) = 12*q**2 - 7*q - 2. Let b(r) = n(r) + z(r). Does 28 divide b(-2)?
False
Let s be 1/(-3 - 80/(-27)). Let k = s + 45. Is 7 a factor of k?
False
Does 39 divide 16/(64/780)*9?
True
Let a = 1030 - 917. Is 17 a factor of a?
False
Suppose 9*t - 6*t - 3 = 0. Suppose 2*r = -t + 11. Suppose -3 - r = -2*w. Is 4 a factor of w?
True
Let a be 261/6 - 2*2/(-8). Let i = 117 - a. Is 13 a factor of i?
False
Let b = 424 - 256. Is b a multiple of 28?
True
Suppose 0 = 4*z - 6*z - 94. Let l = z - -55. Is 7 a factor of l?
False
Let b = -48 - -52. Suppose 4*i - n = 81, -4*n + 32 = b*i - 24. Is 19 a factor of i?
True
Suppose -3*r + 0*r + 3*s = -45, 50 = 4*r + s. Let z = 76 + r. Does 10 divide z?
False
Let w be -3*1 - 0/(-5). Let f be (-80)/30*w/1. Does 4 divide (4 - 10)/((-6)/f)?
True
Let v = 8 - 4. Suppose 3*b = 5*m - 2*b - 15, -v = 2*m + 3*b. Is 20 a factor of ((0 - -2) + 18)*m?
True
Let q be 3*4/24*58. Suppose -q = 3*b - 191. Let o = b + -3. Does 14 divide o?
False
Is 8 a factor of (-13 - (-5 + -1)) + 289 + 4?
False
Suppose -405 = -11*i + 6*i. Suppose 129 = 3*l - i. Does 9 divide l?
False
Is 18 a factor of ((-10)/(-4) + -2)/((-3)/(-4470))?
False
Suppose -9960 = 170*p - 200*p. Is 3 a factor of p?
False
Suppose 7 + 11 = 6*v. Suppose 57 = v*l + 3*t, 5*t + 112 = 9*l - 5*l. Is 4 a factor of l?
False
Let p(o) = -2901*o - 18. Does 88 divide p(-1)?
False
Let u = -1689 - -1698. Is u a multiple of 2?
False
Suppose -g - 3*g = -4*q - 2880, q = -4*g + 2855. Is g a multiple of 77?
False
Suppose 4*c = 9*v - 7*v + 622, -5*v + 601 = 4*c. Does 7 divide c?
True
Let i(j) = 3*j**2 + 11*j - 27. Does 3 divide i(3)?
True
Let n(z) = -55*z + 8. Let r be n(4). Is 15 a factor of (0 - r/(-6))*(-3)/2?
False
Suppose j - 3*r - 9 = -0*r, 0 = 5*j - r - 17. Let m be 25/(-30) - (-101)/6. Suppose a + m = j*a. Is 6 a factor of a?
False
Suppose -j - 18 = -4*j. Suppose f - 35 = i - j*i, -2*i = -4*f - 14. Let w(a) = 8*a - 3. Is 15 a factor of w(i)?
False
Suppose -5*u + u = -y - 486, 4*u - 492 = 4*y. Let l be (-1)/4 - 73/(-4). Let x = u - l. Is 27 a factor of x?
False
Suppose 2*p + 32*q - 4324 = 36*q, -15 = 5*q. Is 40 a factor of p?
False
Let a(d) = 5*d**2 + 6*d + 6. Is 33 a factor of a(-3)?
True
Suppose 0 = -2*v - 5*p - 28, v = -4*p - 21 + 4. Let o be -1*1 + -1 + 4. Is o/v + 29/9 a multiple of 2?
False
Let d(t) be the first derivative of 56*t**3/3 + 2*t + 43. Does 29 divide d(1)?
True
Let b be (-629)/(-3) - (-1)/3. Let c = 316 - b. Suppose -2*t = -c + 4. Is t a multiple of 27?
False
Suppose -4*h + 5*t = -286, -h - 63 = -2*h - 3*t. Suppose 2*s + s = h. Is s a multiple of 23?
True
Let m = 1831 + 3989. Is 47 a factor of m?
False
Let t(h) be the second derivative of -h**5/20 + 2*h**4/3 - 4*h**3/3 + 9*h**2/2 - h - 62. Suppose 3*q + 5*j + 0*j = 28, 4*j = 2*q - 4. Does 9 divide t(q)?
False
Let i = -2830 - -2907. Does 9 divide i?
False
Suppose -v = -0*v - 3. Suppose -3*x + 24 = 3*u, 5*u + v*x - 2*x - 32 = 0. Suppose 0 = 3*o - 3*n - 207, 2*o - u*o + 2*n = -270. Is 15 a factor of o?
False
Let q(u) = u**3 - 7*u**2 + 2*u + 1. Let h be q(6). Let a = h + 12. Let w(k) = k**2 + 6*k - 10. Does 9 divide w(a)?
True
Suppose -3*r + 29 + 4 = 0. Suppose 2*v - 7 = -3*g - 0, -4*g = v - r. Is 16 a factor of g/(4 - 1)*21?
False
Suppose 2*f - 276 = 334. Suppose -25*g + f = -20*g. Does 16 divide g?
False
Let r(n) = -n**3 + 4*n**2 + 5*n - 10. Let g be r(4). Let o = 16 + g. Is o a multiple of 10?
False
Suppose -5*z = -2*z - 66. Suppose -3*f - 6 = 0, -2*l + 4*f = -84 + z. Let d = -23 + l. Is d a multiple of 3?
False
Let i = 712 - 423. Does 10 divide i?
False
Suppose -5*h = 2*p - 0*p - 353, -p = -3*h - 160. Let b = p + -67. Does 17 divide b?
True
Does 21 divide 7012/108 - (-16)/216?
False
Suppose 0 = -2*j - 2*j - 16. Let s(w) = -w**2 - w + 7. Let p be s(j). Is 12 a factor of (p/(-10))/(4/344)?
False
Let a = 2 - -5. Suppose a*i - 8*i = 219. Is 4 a factor of i/(-13) + (-4)/(-26)?
False
Suppose 7*w - 1495 = 3944. Does 21 divide w?
True
Suppose -2*q = -4, -q = z - 440 + 102. Suppose -7*k = -0*k - z. Does 8 divide k?
True
Suppose -4*f + 3*x - 2 = -6*f, 4*x - 6 = -2*f. Let v = f + 21. Does 8 divide v?
True
Let u be ((-12)/(-7))/(1/7). Let y(a) = a - 8. Let t be y(u). Suppose -6 = -5*z + t. Is 2 a factor of z?
True
Let d(l) = -12*l - 56. Let y be d(-5). Suppose 2*h + 9 = 3*g - 1, -2 = -4*g - 3*h. Suppose 4*o - 45 = y*m + 51, 0 = -g*o + m + 52. Does 28 divide o?
True
Let b = 1 + 6. Suppose 0 = n - b + 1. Suppose -26 = -4*p - n. Is p a multiple of 5?
True
Let w(m) = -2*m**2 - 12*m + 5. Let t be w(-6). Suppose -4*y = -17 - 11. Suppose -5*c + 8*f + 35 = t*f, c + f - y = 0. Is 3 a factor of c?
False
Let r = 57 + -33. Suppose -616 - r = -5*g. Is g a multiple of 32?
True
Suppose -72 = -u - 3*i, 3*u - 4*i + 70 = 4*u. Suppose 20 = g + 4*g. Suppose -u = -g*j + j. Is j a multiple of 14?
False
Suppose 0*t - 53 = -4*t + u, -3*u - 55 = -4*t. Suppose -2*a - 146 = -2*b, 4*a - 5 = -t. Does 24 divide b?
False
Let q(t) = t**3 - 5*t**2 - 2*t. Let h be q(5). Let s = -6 - h. Suppose s*o - 99 = o. Is 11 a factor of o?
True
Is 22 a factor of 6/5*(-6460)/(-6)?
False
Let q(w) = w**3 + 20*w**2 + 40*w + 53. Is q(-17) a multiple of 15?
True
Let s = 570 + -69. Suppose 887 = 4*z - 4*m - s, 2*m = -z + 359. Does 39 divide z?
True
Suppose -27*d = -13*d - 1736. Is d a multiple of 11?
False
Let u = -16 - -26. Let y be ((-27)/(-6) + -4)*u. Suppose -23 + y = -b. Is 9 a factor of b?
True
Suppose -2*o = -8*o + 114. Suppose -n + 4*n - 117 = 0. Let i = n - o. Is i a multiple of 20?
True
Let h(s) = -s + 12. Suppose -i = 1 + 11. Let o be (21/i)/(1/(-4)). Is h(o) even?
False
Suppose 0 = -5*c + c + 24. Suppose 4 = f + c. Is f/(8/(-7) - -1) a multiple of 14?
True
Let b(v) = v**3 + 9*v**2 + 9*v. Suppose 3*w = 3*z - 27, -5*w + 0*w - 3*z = 29. Let x be b(w). Suppose 6 + x = n. Is 21 a factor of n?
False
Suppose 0 = 3*x - 0 - 0. Suppose 0 = 3*a + 3*u - 205 - 11, x = 5*a + 4*u - 359. Does 13 divide a?
False
Let b = 270 - -396. Is b a multiple of 6?
True
Let n = -74 + 95. Suppose 5*r - 131 = -n. Is r even?
True
Let s(d) = -d**3 - 20*d**2 + 36*d - 92. Is 4 a factor of s(-22)?
True
Let m = 176 - 72. Suppose -10 - m = -3*h. Is h a multiple of 6?
False
Let p(i) be the first derivative of i**4/4 + 11*i**3/3 + 7*i**2/2 - 12*i + 2. Does 10 divide p(-10)?
False
Is 37 a factor of 84/56 - 1237/(-2)?
False
Suppose -2 + 0 = 2*m. Let h be m/(2*4/48). Does 12 divide 38/h*(-4 + 1)?
False
Suppose -1232 = -l + 13*h - 18*h, 0 = -4*h. Is 44 a factor of l?
True
Let u = -65 - -63. Does 44 divide (1408/(-12))/4*18/u?
True
Let f be 2/(-17) + 195/(-221). Does 41 divide 2*(f - 43/(-2))?
True
Let s = -5 + 2. Is s/(-12) - 51/(-4) a multiple of 13?
True
Does 29 divide 4 - (170490/(-54) + (-8)/(-36))?
True
Let c be (-21)/