) = 9*r**3 + r - 1. Is 9 a factor of u(y)?
True
Suppose l + 76 = 5*h, 4*h + 68 = -l + h. Let x = l + 93. Is 2 a factor of x?
True
Suppose 0*c - c = -4. Let a = 20 - c. Does 2 divide a?
True
Suppose -12*q = -12 - 36. Suppose -2*p - 422 = -q*o, p + 638 - 112 = 5*o. Is 9 a factor of o?
False
Suppose 42 = 2*o - o + 3*f, 6 = -3*f. Let n = o - 20. Is n even?
True
Suppose 0 = 5*s + 5*g - 53 - 17, -6 = -3*g. Suppose s*u - 109 = 11*u. Is 24 a factor of u?
False
Suppose -5*x - h = -21, 2*x + x - 2*h = 10. Let w(o) = 13*o - 5. Does 11 divide w(x)?
False
Let p(s) = s**3 + 5*s**2 - 3. Let w be p(-5). Does 7 divide (-3)/(-9)*(24 + w)?
True
Let k(v) = 3*v**2 + v. Suppose 0 = 2*m + 3*m - 330. Let y be 4/(-6)*m/11. Is 13 a factor of k(y)?
False
Let u = -20 - -47. Suppose u*r + 90 = 30*r. Does 10 divide r?
True
Let d(u) = u**3 + 9*u**2 - u - 5. Let n be d(-9). Does 15 divide (2 - -2)/n*73?
False
Let a(w) be the second derivative of 7*w**3/3 - 7*w**2 - 2*w. Does 28 divide a(5)?
True
Suppose 2*v = 4, 0*o - 13 = -3*o - 2*v. Suppose 0 = 7*l - 46 - 416. Suppose l = -a + o*a. Is 23 a factor of a?
False
Suppose -k - 890 = -6*k. Does 8 divide k?
False
Suppose 0 = 46*k - 48*k + 278. Does 13 divide k?
False
Suppose 4*f + 2 = 14. Suppose 192 = 3*q - 0*q + f*z, 5*q + 2*z - 323 = 0. Does 13 divide q?
True
Let t(b) = b - 3*b + 6*b - 11 + 3*b. Is t(5) a multiple of 12?
True
Let g = 24 - 40. Let y = g - -19. Is (-315)/10*(-4)/y a multiple of 12?
False
Let d(m) = 7*m + 13. Let v be d(-25). Let s = v + 235. Is s a multiple of 14?
False
Let k(u) = -u + 12. Let c be k(10). Let x be c/(-3*2/9). Is x - 0 - (1 + -34) a multiple of 15?
True
Is 7/(16/32 - (-4)/(-10)) a multiple of 21?
False
Suppose -4*k + 194 = -0*k + 2*f, -5*k + 265 = -2*f. Let u be 8/(-2) + 160/40. Suppose u = -c - 5*a + k, 0 = -2*c - a - 2*a + 102. Is c a multiple of 15?
False
Let h(k) = k**2 + 2*k - 3. Let s be h(3). Suppose -v + s = 2*v. Suppose -v*z + 4*l = -88, z + l + 0*l = 14. Is z a multiple of 13?
False
Let x(z) = 6*z - 95. Is x(35) a multiple of 15?
False
Let u = -676 + 1254. Is 19 a factor of u?
False
Suppose 2*o = -3*o + 25. Let b be (70/(-1))/(6/(-12)). Suppose -o*z + 2*c + b = 0, -z + 3*c = -8 - 7. Is 10 a factor of z?
True
Let f(u) = 54*u**2. Suppose -4 = 6*i + 2. Is 15 a factor of f(i)?
False
Let n be 28/(-210) + 64/30. Let t be -2*n/16*4. Is 6 a factor of 1/(0 + t/(-12))?
True
Let s(i) = -1 - 15*i + i + 1 + 3. Let w be s(-11). Suppose -w = -4*g + 235. Is g a multiple of 14?
True
Does 20 divide (12 + 3/2*-2)*60?
True
Let b = -35 - -47. Let f = 9 + b. Does 7 divide f?
True
Let c = -65 + 9. Let y = c - -94. Is y a multiple of 2?
True
Suppose -3*f - 284 + 848 = 2*u, 3*u + 3*f = 840. Suppose 9 = -3*d, 5*o + d - 940 = 6*d. Let k = u - o. Is k a multiple of 13?
True
Suppose 5*r = y + 64, -2*r = -0*r + 5*y - 4. Let m be (-2 + r/5)*10. Let g(c) = 2*c**2 + 4*c. Does 12 divide g(m)?
True
Let o = 808 + -131. Is o a multiple of 21?
False
Suppose -3*f + 358 - 4 = 0. Suppose -2*h = -0*h - f. Does 7 divide h?
False
Suppose 2*t + 2 = 3*t. Suppose -w - 3*w = -r - 1089, -t*w + 549 = r. Suppose z - 4*p - 100 = 0, 3*p + 62 = 4*z - w. Does 40 divide z?
True
Let j(r) be the second derivative of 9*r + 0*r**3 + 5/2*r**2 + 0 - 1/4*r**4 + 1/20*r**5. Does 11 divide j(5)?
True
Suppose -56 = u - q, -2*u = 5*q - 2*q + 112. Does 17 divide (-235)/(-7) - 24/u?
True
Suppose 0 = -27*v + 19*v + 1400. Does 5 divide v?
True
Is 13 a factor of (-51 - -25)/(2 + 72/(-34))?
True
Let i = 753 - -567. Is i a multiple of 10?
True
Let v(w) = -w. Let y(r) = -5*r - 3. Let s(u) = 6*v(u) - y(u). Let i be s(-3). Suppose f + 70 = i*f. Is f a multiple of 14?
True
Let k(x) = x**3 - 7*x**2 - 7*x + 3. Let c be (-2 + 1)*2*6. Let q be 16*(c/8)/(-3). Does 3 divide k(q)?
False
Let z(g) = -18*g - 81*g**2 + 6 - 1 - 2 + 80*g**2. Is 17 a factor of z(-13)?
True
Let g = 9819 + -6859. Is g a multiple of 10?
True
Let l(k) = k + 11. Let o be l(-11). Suppose -c + 4*c - 12 = o. Suppose 3*z - c = 5. Does 3 divide z?
True
Let b = 492 - 420. Is b a multiple of 18?
True
Suppose 0 = -k + 3*r - 20 + 68, 0 = -k - 3*r + 36. Suppose 2*z - 2*a + k = 258, -520 = -5*z - 5*a. Does 11 divide z?
False
Let a(l) = -l**3 + l**2 - l - 1. Let d be a(-1). Let i be 1/(d/(-6)) + 1. Is 28 a factor of (28/(-3))/(i/12)?
True
Let b = -161 - -339. Let x = 254 - b. Is x a multiple of 19?
True
Suppose 0 = r - 6*r - 15, p + 5*r = 1166. Is p a multiple of 30?
False
Suppose 8 + 20 = d. Suppose -t + 4 = 2*x, 3*x + 0*t - 4*t = d. Suppose -x*f = -5*o + f + 25, -f + 3 = 0. Is o even?
True
Suppose -22 = -7*i + 6*i. Let b be i/8 - (-30)/(-40). Suppose -b*r - 2*z + 150 = 0, 0*r + 5*z - 87 = -r. Does 12 divide r?
True
Let n(w) = 11*w**2 - 8*w + 23. Is n(-7) a multiple of 48?
False
Suppose -5*r + 4*r + 42 = -5*b, -154 = -5*r - 3*b. Is 2 a factor of r?
True
Suppose -3*b - 2*p - 4 = 0, 0 = -5*b + 3*p + p + 8. Suppose b = -5*d - 4*v - 44 - 14, -d + v = 8. Let o = d + 49. Does 8 divide o?
False
Let a(t) = t + 2*t + 7 + t**2 + 5*t. Let v be a(-5). Let h(c) = c**3 + 7*c**2 - 9*c. Is h(v) a multiple of 6?
False
Is 12 a factor of 95/2*288/60?
True
Let o be 0 - 2452/24 - 3/(-18). Let n = o + 156. Is 10 a factor of n?
False
Let s = -452 + 723. Is s a multiple of 9?
False
Suppose 4*x = -4*k + 20, 0*x + 9 = 2*k + 3*x. Suppose -380 = -k*i + 232. Suppose p = 4*p - i. Is p a multiple of 9?
False
Let z(d) be the third derivative of -d**5/60 - 7*d**4/24 - d**3/6 - 5*d**2. Let l be z(-6). Suppose -60 = -3*n + q + l, -16 = -4*q. Is n a multiple of 8?
False
Let t = -12 - -14. Is ((-5)/(-2))/((-6)/4 + t) a multiple of 5?
True
Let n = 830 + -401. Is 27 a factor of n?
False
Suppose 4626 = 39*y - 288. Is 6 a factor of y?
True
Let k be (6/(-9))/((-2)/6). Does 7 divide -1*10*-1*k?
False
Suppose 4*u - v = 545, 0 = -5*u - 3*v - 186 + 846. Suppose 0*z + u = 3*z. Suppose 2*p - z = 3*q, -2*p + 5*q + 62 = 23. Does 7 divide p?
False
Let i = -17 + 22. Suppose 10*n + i = 365. Is 18 a factor of n?
True
Let b = -2567 - -3867. Is b a multiple of 35?
False
Suppose 5*c + 1 = i + 16, c = -4*i - 39. Let w = i + 15. Suppose 84 = p + w*z, p - 5*p + 288 = 4*z. Does 23 divide p?
True
Let l be -11 + 13 + 4/2. Suppose 4*d - l*i - 61 = -5, -d + 4*i = -17. Is 13 a factor of d?
True
Let p = 951 - 629. Is p a multiple of 23?
True
Suppose -4*h - 2*g - 28 = 0, 2*h - 4*g + 31 = 7. Is 31 + (-4)/(h/(-6)) a multiple of 7?
True
Does 8 divide (((-21)/(-12))/(-1))/((-5)/600)?
False
Suppose 4*c - 16 = -2*z, 6*z + 3*c - 12 = 8*z. Suppose z = 4*j + 4, 4*j - 91 = -2*d + 61. Is d a multiple of 39?
True
Let n(c) = c**2 + 26*c + 9. Does 41 divide n(27)?
False
Let h(g) = -g**3 + 10*g**2 - 7*g - 8. Suppose -p = -4*s - 5, -4*p - 2*s + 6*s + 8 = 0. Let v be (-16)/(-6)*(p + 2). Is 13 a factor of h(v)?
False
Suppose -10*o = -3*f - 13*o + 474, 0 = 2*f - 3*o - 296. Is 7 a factor of f?
True
Suppose 82*s + 1125 = 91*s. Does 5 divide s?
True
Let x(s) = 136*s**3 + s**2 + 3*s - 8. Is 20 a factor of x(2)?
False
Let v = 6 + -13. Let q(b) = -19*b + 5. Let j be q(v). Suppose 5*z = 192 + j. Does 22 divide z?
True
Let y = 299 + -235. Does 64 divide y?
True
Suppose -3*d = -6 - 9. Suppose 0*a + 2*u - 80 = -3*a, -5*u + 140 = d*a. Is a a multiple of 6?
True
Suppose -4*b = o - 19, -2*b + o + 4*o + 37 = 0. Suppose -b*z = 3*z - 1377. Is z a multiple of 39?
False
Suppose 13*m - 120 = 11*m - 4*g, -4*m - 2*g + 258 = 0. Does 11 divide m?
True
Let k be 1/1 - (-27 + 18). Let q be (k/(-6))/(5/(-6)). Suppose -q*s + 2 = 0, -2*l - s = -4*l + 165. Is 13 a factor of l?
False
Suppose 972 = 3*a - 3*t, -2*a + 468 + 162 = 4*t. Is a a multiple of 17?
False
Let i = -14 - -18. Does 2 divide i?
True
Suppose p - 240 = 2*n, 187*n - 184*n + 478 = 2*p. Does 118 divide p?
True
Is 25 a factor of -90*3*200/(-72)?
True
Let k = 394 - 204. Does 10 divide k?
True
Is (1546/8)/((-3)/(-12)) a multiple of 22?
False
Let s be -1*(-4)/6*3. Let v be 10385/45 - s/(-9). Suppose 0 = -5*u + h + v, 5*u - 223 = 4*h - h. Is 13 a factor of u?
False
Suppose 3*u = -3*i + 1374, -2*u = -4*i + 3*u + 1850. Suppose -2*t - 2*t + i = 0. Suppose -4*g = -t - 121. Does 11 divide g?
False
Let k = -39 - -50. Suppose m + 2*x = -2*x - k, -x = -4*m + 24. Does 3 divide m?
False
Suppose 0 = 2*u - 7*u + 15. Is 17 a factor of 86/u*(2 - (1 - 2))?
False
Let o be (-6)/9 