 + z**3 + 0*z - u*z - 2*z. Is 14 a factor of r(10)?
True
Suppose -17*k - 2*x = -13*k - 12914, -4*x + 9688 = 3*k. Is 144 a factor of k?
False
Let l be 6*(-6)/(-90)*-5. Is 75 - (32/12 + l)*9 a multiple of 23?
True
Let o = -151 + 168. Let z(f) = -f**3 + 16*f**2 + 25*f + 15. Is z(o) a multiple of 5?
False
Let y(c) = 40*c**2 - 3*c + 3. Suppose 0 = -2*x - j + 6*j + 27, -16 = 4*x + 4*j. Let n be y(x). Suppose -n = -d - 13. Is 9 a factor of d?
True
Suppose -3308 - 7066 = -14*h. Does 19 divide h?
True
Let n(t) = -5*t**2 - 25*t - 4. Let q be n(-5). Let h = 74 + q. Is 70 a factor of h?
True
Let c(u) = u**3 + 9*u**2 + 7*u + 59. Let s be ((-590)/(-236))/((-1)/2). Is c(s) a multiple of 4?
True
Let h = -646 - -4174. Is 28 a factor of h?
True
Let b be (-33)/(-11) + (-186)/(-3). Suppose 2*k + 71 = 3*k. Let o = b + k. Is o a multiple of 17?
True
Let u be (6/(-10) - (-790)/25) + 1. Let d = 86 - u. Suppose d*t - 960 = 50*t. Is t a multiple of 16?
True
Suppose -5*i - 6700 = -z, 113*z - 118*z + 3*i = -33610. Is z a multiple of 9?
False
Suppose -5*w - 160 = 45. Let h = w + 74. Let p = 63 - h. Is 10 a factor of p?
True
Suppose 3 = -c + 4*c. Is 61 a factor of (c - 4)/(-1) + 851?
True
Let z be (-4)/16 + 39/12. Let v be 0*2*z/(-6). Suppose -2*h - 3*c + 133 = v, -2*h = -5*h + 5*c + 228. Is h a multiple of 17?
False
Is 23 a factor of (140/16)/(12/((-572544)/(-20)))?
False
Let x be -1 + (567 - 18/6). Let t = x + -326. Does 15 divide t?
False
Let q be (14/2 + -2)*3. Let v be ((-18)/q)/(6/30). Does 5 divide 18/(-1)*15/v?
True
Suppose -10*z + 7*z + 336 = 0. Suppose -42*d - z = -46*d. Suppose 3*n - 2*k = d + 141, 2*n - 3*k - 116 = 0. Is n a multiple of 11?
True
Let y(b) = 468*b + 3890. Is y(51) a multiple of 23?
False
Suppose 45240 = 3*z + 142*z. Is 6 a factor of z?
True
Suppose 3*t + t - 363320 = -j, 181646 = 2*t + 4*j. Let p be (-4)/(-14) + t/(-21). Is -1 - 14/(-8) - p/100 a multiple of 44?
True
Suppose -20*m + 7515 = -4205. Does 19 divide m?
False
Suppose -a = 2*a - 7*a. Let r be 2/4*(4 + -4 - a). Suppose -x - 3*s + s + 46 = 0, 4*x + 3*s - 204 = r. Does 18 divide x?
True
Suppose -5*a + 276 = -34. Let i = 133 - a. Let c = i - 55. Is 8 a factor of c?
True
Let i = -7363 + 29168. Is 35 a factor of i?
True
Let j be 33642/10 - 3/45*3. Suppose -3*f = -0*c + 4*c - 2492, 4*f - 5*c = j. Suppose 6*x = -5*x + f. Is x a multiple of 16?
False
Suppose k - 6 + 2 = 0. Suppose -3*h = -k*h + n + 10, 4*h - 15 = -n. Suppose 0 = -2*y + h*w + 99, y = -5*w + 6*w + 54. Is y a multiple of 10?
False
Is -11 - (-12355 - -8) - -19 a multiple of 35?
True
Suppose 1247 + 5033 = -40*z + 48*z. Does 9 divide z?
False
Let w = 497 - 35. Suppose -45*n + 39*n + w = 0. Does 3 divide n?
False
Let f(q) = -q**2 - 319*q - 2877. Is f(-102) a multiple of 21?
True
Let u(b) = 26*b**2 + 26*b + 168. Is u(-22) a multiple of 203?
True
Let k = 959 - 570. Let p = -77 + k. Is p a multiple of 6?
True
Let b(r) = 2*r**2 + 127*r + 128. Let q(p) = -p**2 - 63*p - 63. Let z(l) = 2*b(l) + 5*q(l). Is z(-22) a multiple of 17?
True
Let z = 4690 - 2178. Does 22 divide z?
False
Is -1 - -1 - (54/18 + -8) - -24432 a multiple of 10?
False
Suppose -138 = -4*o - 3*n, -3*n + 18 = o - 21. Suppose 4*t = t - o. Let m(s) = -s**3 - 11*s**2 - 11*s - 16. Does 21 divide m(t)?
True
Suppose 77*u - 87*u = -264640. Does 25 divide u?
False
Let d = 6 - 6. Let l(j) = j**3 - j**2 - j + 3. Let i be l(d). Let p = 53 + i. Does 14 divide p?
True
Let s(h) = -h**3 - 17*h**2 + 14*h - 21. Let i = 68 + -89. Let n = i + 3. Does 17 divide s(n)?
True
Suppose 5 = -m + 10. Let v(a) = -a**3 - 5*a**2 + 14*a + 85. Let x be v(-6). Suppose 3*z - x = -m*p, 2*z - 11 = p - 2*z. Is p even?
False
Let n(a) = 5*a**3 + a**2. Suppose 4*x = -q + 9, 0 = 3*q - 5*q + x. Let j be n(q). Suppose 0 = j*c - 4 - 80. Is 6 a factor of c?
False
Let o(y) = -y**3 - 15*y**2 - 141*y + 42. Is 14 a factor of o(-15)?
False
Let x(s) = -2*s - 1. Let c(g) = -g**2 + 18*g - 38. Let k(t) = c(t) + 2*x(t). Let p be k(9). Is 158*1 + (-4 - (p - 11)) a multiple of 40?
True
Suppose -5*l - 4046 = -5*a + 18774, 2*a - 5*l = 9125. Does 13 divide a?
False
Suppose 127770 = 24*w - 166758. Is w a multiple of 208?
True
Let s(p) = -42*p**3 - 6*p**2 - 36*p - 70. Is s(-3) a multiple of 26?
True
Suppose 4*w + 10 + 10 = -n, 0 = -w + 4*n - 5. Is ((-12)/w - 2) + (-35112)/(-70) a multiple of 59?
False
Is 83 a factor of (0 - 81)*(-16 + (-45870)/90)?
True
Let t be -13*(-8)/52 + 0/(-1). Suppose -2*h = -t*j + 480, -4*j = -7*h + 5*h - 960. Is 4 a factor of j?
True
Suppose 5*o = -3*a + 23, 4*a - 25 = o - 2*o. Let k be ((0 + -1)*a)/(4/(-54)). Is 20 a factor of -36*9/(k/(-30))?
True
Let x(b) be the first derivative of 5*b**3 + 10*b**2 + 3*b + 10. Let c be x(-3). Suppose 620 = -74*n + c*n. Is n a multiple of 31?
True
Let f be (-234)/(-45) - 2/10. Let j(z) = 12*z + 26. Let u be j(f). Suppose 2*d - u + 2 = 0. Is 42 a factor of d?
True
Is (16086/15)/((-14)/(-105)) a multiple of 66?
False
Suppose 4*y - o - 14660 = -6*o, -4*o = 3*y - 10995. Is 37 a factor of y?
False
Let o(c) = -2*c**2 - 18*c - 23. Let z be o(-7). Suppose j + 18 = z*b - 81, -2*j - 38 = -2*b. Is b a multiple of 5?
True
Let m(z) = -3*z**2 - z - 1. Let d(h) = -17*h + 29. Let n(p) = -d(p) - 2*m(p). Is n(-19) a multiple of 15?
False
Let z = -118 - -119. Is 3 a factor of z + -3 + (12 - -5)?
True
Let g be 1/(6 - 1110/186). Is (-476)/(-2) - (-62)/g a multiple of 16?
True
Let t(v) = -v**3 + 8*v**2 + 10*v + 11. Suppose -7*q - 26 = -4*i - 6*q, 0 = 2*i - 2*q - 16. Is t(i) a multiple of 13?
True
Let l(b) = b**3 + 13*b**2 - 2*b - 23. Let u be l(-13). Suppose -175 - 176 = -u*v. Is v a multiple of 13?
True
Let r(c) = -19*c - 115. Let x(j) = -19*j - 115. Let f(g) = 5*r(g) - 6*x(g). Is f(9) a multiple of 11?
True
Is 11 a factor of 176971/111 + 4/6?
True
Suppose 0 = -4*u + 3*c + 1797, 19*c = 3*u + 16*c - 1344. Is 15 a factor of u?
False
Suppose -3*b - a = -10563, a = -b - 4*a + 3521. Does 7 divide b?
True
Let k be 3/(-12) + 436/16. Let n = k + -25. Is 6 a factor of 2 + (-15)/(-3)*n?
True
Let q(l) = 17*l + 34. Let b be q(-2). Is (6 + 111 + b)*16/12 a multiple of 6?
True
Let z = -4389 - -2872. Let k = 2637 + z. Is 40 a factor of k?
True
Let d(x) = 4*x**3 - 5*x**2 + x + 2*x**2 + 4*x. Let s(z) = z**2 + 23*z - 105. Let w be s(4). Is 16 a factor of d(w)?
True
Let c be (-9 + 30/20)/(1/(-286)). Suppose 0 = 33*b - 22*b - c. Is 39 a factor of b?
True
Is 47 a factor of (-32995)/(-6) + (-59)/354?
True
Suppose -8 = 4*a, -2*r + 0*a = -3*a - 6. Let j(y) = 4*y - 4 - 32*y + r - 3. Is 7 a factor of j(-2)?
True
Let g be ((-10)/8)/(5 - 99/20). Let f = -5 - g. Let p = f + 4. Is p a multiple of 6?
True
Let u be (4/2)/(1*-2). Let w(x) = 33*x**2 - 19*x + 17. Let k(n) = 32*n**2 - 16*n + 14. Let s(o) = 6*k(o) - 5*w(o). Is s(u) a multiple of 13?
False
Suppose -c - 77 = -3*j + 4*c, 2*j = 5*c + 53. Suppose -19*t = -j*t + 1035. Does 7 divide t?
False
Let j be 0 + -1 + -2 - 1. Let o(b) = 2*b**3 + 5*b**2 + 5*b. Let d be o(j). Let k = 137 + d. Is 15 a factor of k?
False
Let c(z) = 48*z - 11. Let a = -17 - -20. Let p be c(a). Suppose 2*b = 99 + p. Is 32 a factor of b?
False
Let p(u) = -53*u**2 + 364*u. Is p(4) a multiple of 32?
True
Let o(u) be the third derivative of -u**5/30 + 31*u**4/24 - 4*u**3 - 7*u**2. Let i be o(14). Suppose i = -11*n + 14*n. Is n a multiple of 2?
True
Let d(l) = 0*l + 9 - 4*l + 2*l + 14. Let f be d(10). Does 4 divide f/(9/(-2)) + 310/15?
True
Let w = 149 - -115. Let y be (w/(-32))/(3/12). Let z = 46 + y. Is z a multiple of 13?
True
Suppose -t + 20025 = 2*j, -t + 40020 = 4*j - 5*t. Does 22 divide j?
True
Suppose -242 = -13*k - 164. Suppose -2*h - 332 = -k*h. Is 7 a factor of h?
False
Let y = 242 - 249. Let a(x) = -x**2 - 12*x + 25. Is a(y) a multiple of 20?
True
Let p = -38 + 43. Suppose -p*k - 74 = 2*v, -v = -5*k + v - 66. Let s = k + 78. Is 16 a factor of s?
True
Let q = -21 - -26. Suppose -q*v + 2*z - 341 = 0, 4*v - 4*z + 233 = -47. Let m = v - -120. Is 13 a factor of m?
False
Let d(p) = -p**2 + 12*p - 12. Let s be d(2). Is (-2948)/(-11) + 1 + s/(-4) a multiple of 8?
False
Suppose 4*u + 15 + 17 = 0. Is (-862)/u - 6/(-24) a multiple of 7?
False
Let q(h) = 2*h**2 - h - 35. Let f = -172 - -187. Is 16 a factor of q(f)?
True
Suppose 3*j - 8*j + h = -28, -5*j = h - 22. Let u = -633 - -313. Is u/96*(-63)/j a mult