of 5*y**2/2 - 13*y + 11. Let o be f(3). Is 13 a factor of ((-14)/21)/(0 - o/261)?
False
Suppose -171 - 1719 = -3*a. Is 30 a factor of a?
True
Suppose -26*q - 31*q = -19950. Does 10 divide q?
True
Let l(d) = 93*d**2 - 28*d - 273. Is 36 a factor of l(15)?
True
Suppose -12*j = 17*j + 32219. Let a = -800 - j. Is a a multiple of 11?
False
Let n(k) = k**3 + 7*k**2 - k - 4. Let f be n(-7). Suppose -f*u = -2 - 13. Suppose 5*r - 501 + 82 = 2*s, -4*s = -u*r + 413. Is 17 a factor of r?
True
Let a(z) = -9*z + 64. Let k = -74 - -65. Is 5 a factor of a(k)?
True
Suppose -i + 3 = l, 3*i + 0 = 2*l - 1. Let z(m) = 942*m**2 - 5*m. Is 39 a factor of z(i)?
False
Let h(j) = 1685*j**2 + 383*j - 1160. Is h(3) a multiple of 31?
False
Suppose y - 4*x = 4*y - 223, x = -y + 75. Suppose 0 = -3*v + y + 358. Is 8 a factor of v?
False
Suppose 2*n = -x - 328, -4*n - n - 1660 = 5*x. Does 3 divide -4*596/x + (-2)/21?
False
Let a(z) = -2*z**3 - 192*z + 195*z + 3 + 0. Let r be a(-3). Is (-2 + 1/3)*(15 - r) a multiple of 7?
False
Let i be (-4)/(-34) + 132/34 + -4. Suppose i = -r + 2*x + 464, r + 10*x - 464 = 9*x. Is r a multiple of 47?
False
Let z = -43 + 55. Suppose 0*t = 3*t + z. Let n(d) = -11*d - 8. Is 6 a factor of n(t)?
True
Suppose 1014 = -14*z + 11*z. Let r = z - -510. Suppose 2*w = 3*f + 86, -2*f = -4*w + 3*f + r. Is w a multiple of 17?
False
Suppose 775 = 11*t - 6*t. Suppose -2*d = 3*i - t, -2*d - i = -124 - 29. Is 19 a factor of d?
True
Suppose 254 - 251 = -3*q. Is q*39/(-6)*8 a multiple of 3?
False
Let z(a) = a**3 + 37*a**2 - 141*a - 3043. Does 8 divide z(-29)?
False
Suppose 0 = -21*b + 14*b - 20*b + 459756. Is 86 a factor of b?
True
Let z(m) = 350*m**2. Suppose 4 = u - n + 2, 4*n + 5 = u. Let w be z(u). Suppose -14*k = -4*k - w. Does 35 divide k?
True
Let m be -39*5*(-3)/45. Suppose 329 = -m*y + 1122. Does 3 divide y?
False
Does 10 divide (-4)/(-16) - (-2)/(64/175064)?
False
Let r be (-8)/(-72) - 12444/(-27). Let i = 651 - r. Is 11 a factor of i?
False
Suppose -v = 4*w + 104, 3*v + 30 - 96 = 2*w. Let n = 37 + w. Suppose n*d - 2*a = 5*d + 110, 4*a + 52 = 3*d. Is 6 a factor of d?
True
Suppose -3*t = -2*h - 839, 2*h + 5*t = 2*t - 809. Let m be 434*(-11)/(11 - -11). Let c = m - h. Is 15 a factor of c?
True
Let d be (-2 - -3)*(-122)/(-2). Let s = -40 + 69. Suppose 4*u = 5*u + m - s, d = 2*u + m. Does 16 divide u?
True
Suppose 51 = 3*s - 3*t, -5*s + 85 = -4*t - 0*t. Suppose s = 6*g - 31. Suppose 3*z - g - 67 = 0. Is 7 a factor of z?
False
Suppose 0 = 51*k - 56*k + 17325. Does 8 divide k?
False
Let o = -21144 + 34869. Does 75 divide o?
True
Let p(m) = 124*m - 86. Suppose 2*o - 10 = 2*b, 45 = 2*o - 5*b + 29. Is p(o) a multiple of 15?
False
Suppose -2*z = -4*b - 0*z + 130, 4*b = -5*z + 151. Let c be 827/8 - (-6)/(-16). Suppose -b = 2*k - 4*k + 2*y, y - c = -5*k. Is 7 a factor of k?
False
Let f(k) = k**3 - 22*k**2 - 50*k + 34. Let z be f(24). Is (-842)/(-10)*(z - (-152)/8) a multiple of 12?
False
Let m = 24 - -104. Suppose 5*x - 1211 = 4*c + m, -5*x - 2*c = -1333. Is 16 a factor of x?
False
Let n = 528 - 465. Suppose -1323 = -n*i + 54*i. Is 7 a factor of i?
True
Suppose 5*v - 4*p = p + 35, -4*v - 2*p = 2. Suppose 2*u + v*j - 22 = 7*j, 0 = -5*j - 10. Suppose u*d - 360 = d. Is d a multiple of 18?
True
Let y be 6*(-7 + 58/(-4)). Let n = y + 161. Is n a multiple of 10?
False
Suppose 4260 = 7*j - 5085. Suppose 2*t - 7*t + j = 0. Is t a multiple of 26?
False
Let y be ((-46)/(-6) - 6)*3. Suppose 320 = y*a + 5*a. Is a a multiple of 4?
True
Does 22 divide (26872 - (4 - -1)) + (6 - (-10 - -21))?
True
Let n be (-1)/(((-3)/(-4))/(-3)). Suppose 0 = 5*w - 4*h - 132, 0*w + 4*h = -n*w + 84. Is (-3)/(5 + (-129)/w) a multiple of 8?
True
Let u = -658 + 696. Is 7 a factor of u?
False
Let l(v) = 265*v + 1977. Does 14 divide l(15)?
False
Is 6 a factor of 27536/20 + 28/140?
False
Let z(x) = -3*x**3 + 21*x**2 - x - 28. Let f(n) = -4*n**3 + 22*n**2 - 3*n - 27. Let q(b) = -4*f(b) + 5*z(b). Is 7 a factor of q(-16)?
True
Suppose -2*s - 11 = -2*k + 5, -24 = -3*k - s. Let q(f) = 2*f**3 - 6*f**2 + 2*f - 26. Is 18 a factor of q(k)?
True
Suppose 72 - 21 = i. Let l(r) = 21*r - i - 12*r - 15*r. Is 7 a factor of l(-21)?
False
Let d(k) = -11*k**2 - 17*k + 39. Let i(u) = -9*u**2 - 16*u + 37. Let q(m) = 3*d(m) - 4*i(m). Is q(10) a multiple of 21?
True
Let n(d) = -18*d + 116. Let k be n(13). Let i = 224 + k. Is i a multiple of 7?
False
Let b(w) = w - 8. Let o be b(10). Let l(a) = 4*a**2 - 7 + o*a**3 - 21*a**2 + 12*a**2 - 3*a. Does 5 divide l(4)?
False
Suppose 74543 = 6*h - 4*a + 7489, 5*a = 2*h - 22366. Is h a multiple of 137?
False
Let s(d) = d**3 + 6*d**2 - 7*d + 4. Let v(n) = -4*n - 17. Let x be v(-5). Suppose 0 = a - 0*a + 3, -5*a + 6 = -x*u. Is s(u) a multiple of 4?
True
Let l(p) = -4*p - 15. Suppose -4*q - 108 = 4*t, -10*t - 42 = -8*t - 4*q. Does 12 divide l(t)?
False
Suppose -20*f - 33187 = -45549 - 99938. Is 69 a factor of f?
False
Let y(a) be the second derivative of a**5/20 - a**4/6 - a**3/2 + 861*a**2/2 + 29*a + 1. Is y(0) a multiple of 16?
False
Let b(j) be the second derivative of 53*j**3/6 - 4*j**2 + 43*j. Is b(6) a multiple of 31?
True
Let p(n) = -78*n - 55. Does 67 divide p(-72)?
True
Is 28 a factor of ((-1)/(-2))/((-2)/(-16004))?
False
Suppose -21*a + 10846 + 6277 = -44764. Does 26 divide a?
False
Suppose -2651 = 33*d - 54923. Does 24 divide d?
True
Suppose -3*t - 149 = j - 3*j, 81 = -2*t + 5*j. Let h = 55 + t. Suppose -36 = -h*u - 28. Is 3 a factor of u?
False
Is (-7144620)/(-1120) - (-1)/(-8) a multiple of 75?
False
Let m(j) = -8*j. Let s be m(3). Let v(b) = -2*b + 71. Let l be v(25). Let i = l - s. Does 15 divide i?
True
Let k(g) = g**3 + 11 - 9*g**2 - 7*g + 1 + 6 - 3. Is k(10) a multiple of 5?
True
Let a(c) = -2*c + 2. Suppose k + 5*b = -k - 15, k - 3*b = -13. Let i be a(k). Suppose h + i = 112. Is 10 a factor of h?
True
Suppose 3*g - 239 = 5*z + 9068, z - 12371 = -4*g. Does 7 divide g?
True
Suppose 58*j + 2840 = 63*j. Suppose 4164 = 29*k + j. Does 2 divide k?
True
Let v(o) = -o**2 + 14*o + 34. Let a be v(16). Suppose 0 = a*f + 25 - 83. Let h = 35 - f. Is h a multiple of 5?
False
Let q = 31 + -60. Let o = q + 33. Suppose -140 = -4*c - 4*s + 52, 0 = -5*c - o*s + 242. Does 11 divide c?
False
Suppose 0 = u - 5*o + 2, -5*o + 382 = 5*u + 332. Is u a multiple of 8?
True
Let w be ((-8)/24)/((-1)/12). Suppose -1366 = -2*q + 2*g, -w*q + 701 = 4*g - 1991. Is 8 a factor of q/21 + (-2)/7?
True
Let t be ((-44)/(-4) + -10)/(1/111). Suppose -423 = -2*f - t. Is f a multiple of 12?
True
Suppose -947 - 447 = -17*u. Suppose u*o = 94*o - 3000. Is 10 a factor of o?
True
Let l = 13020 + -4440. Is 286 a factor of l?
True
Let j(u) = 60*u**2 - 43*u + 357. Is 8 a factor of j(11)?
True
Let w(t) = -t**3 + 4*t**2 + 11*t - 5. Let s be w(3). Suppose -s = 5*h - 192. Suppose -22*j - 1125 = -h*j. Is 38 a factor of j?
False
Is 31 a factor of ((-1395)/12)/((-320)/1536)?
True
Suppose -2*o - 12 = -2*k - 0*k, 30 = 5*k + 3*o. Suppose -k*m - 1089 = -17*m. Suppose 5*n = 2*f + m + 254, 4*f + 154 = 2*n. Does 14 divide n?
False
Let v be (29 + -8)/(0 - -1). Suppose -w = 2*d + 11, -d + 3*d - w + v = 0. Let c = 24 + d. Does 3 divide c?
False
Let p be (6 - 1)*(-156)/30. Let s = p - -22. Is s/((-4)/3) - -4 even?
False
Let y = -33241 - -81040. Does 75 divide y?
False
Let n(k) = 39*k**2 + 4*k - 1. Suppose 1 = 3*u - 2. Let o be n(u). Let g = -39 + o. Is 3 a factor of g?
True
Suppose -3*v = -4*c - 1622, 5*c + 10*v + 2012 = 6*v. Let n = c - -924. Is 65 a factor of n?
True
Let k = 23 - -22. Let p = -41 + k. Suppose 4*v = v - r + 451, 0 = -2*v - p*r + 294. Is 34 a factor of v?
False
Let b(t) be the third derivative of t**6/180 + t**5/40 - t**4/6 - 23*t**3/6 - 6*t**2. Let m(z) be the first derivative of b(z). Is m(6) a multiple of 16?
False
Let p = -25 + 28. Suppose p*u + 163 = 625. Does 11 divide u?
True
Suppose 3*c = r + 256, 0*c + r = -2*c + 179. Suppose 0 = -w - 4*d - 0*d + 4, 0 = -3*w + 3*d + c. Does 30 divide ((-464)/w)/(4/(-18))?
False
Let a(h) = 41*h - 10. Let g(m) = -122*m + 31. Let s(i) = -7*a(i) - 2*g(i). Let o be s(3). Let v = 201 + o. Is v a multiple of 8?
True
Let l(v) = -v**2 - 3*v + 224. Let k = -81 + 81. Is 16 a factor of l(k)?
True
Does 27 divide (338 - -1768) + -8 + -1?
False
Suppose -77 = -16*r + 35. Suppose 12*s - 17 - r = 0. S