e z(17). Is 14 a factor of -3 - (v - -16)/(2/(-74))?
True
Suppose -3*x - 2*h + 8607 = -9334, 3*x - 3*h = 17946. Is 7 a factor of x?
False
Suppose -17*f = 5*f + 6644. Let w = 418 - f. Does 12 divide w?
True
Let q(d) = 5*d**2 + 10*d + 9. Let t(l) = -6*l**2 - 9*l - 9. Let f(v) = 5*q(v) + 4*t(v). Let h be (114/(-9))/(4/6). Is f(h) a multiple of 14?
False
Let p(f) = -44*f - 56. Let l(d) = -18*d - 19. Let z(m) = -37*m - 38. Let s(o) = -7*l(o) + 3*z(o). Let j(n) = -6*p(n) - 17*s(n). Is 15 a factor of j(8)?
False
Is (-45)/4*((-181883)/117 - 3/27) a multiple of 30?
True
Let u be (-6)/4 - 63025/(-50). Suppose 86 - u = -3*h. Does 62 divide h?
False
Suppose 33*s - 75900 = -19*s - 63*s. Does 6 divide s?
True
Is 5/8 + -1 + (-7616284)/(-832)*2 a multiple of 91?
False
Let h = 73 - 71. Let p(s) = 4*s**2 + s**2 + 22 + 2*s**2 - 4*s**h - 12*s. Is 19 a factor of p(7)?
False
Suppose -6*h - 8*h = -17653 - 1037. Is h a multiple of 33?
False
Let t(c) = -2*c + 2. Let m be t(0). Let q(i) = m*i + 54 + 9*i**2 + 8*i**2 - 18*i**2 - 29*i. Does 7 divide q(-27)?
False
Let s = 91 - 88. Suppose -s*q = -10*q. Let y = 72 - q. Does 6 divide y?
True
Is 7 a factor of 1 + 4952 + -201 + 188?
False
Let k(d) = -d**3 + 5*d**2 - 2*d - 10. Let n be k(3). Suppose -y = -4*f + 5 - 2, -f = -n*y + 1. Suppose -4*r + 108 = 4*z, -5*z + 9 = -y. Is r a multiple of 5?
True
Let s = 47 - 43. Let n be 35*(s - (-78)/21). Suppose -h = 2*h - n. Is 18 a factor of h?
True
Let s(j) = j**3 + 16*j**2 + 22*j + 14. Is s(-7) a multiple of 5?
False
Suppose -63081*s + 15970 = -63071*s. Is 12 a factor of s?
False
Suppose -a - 3*l = -2237 - 531, -4*l = 4*a - 11016. Does 11 divide a?
False
Suppose -4*x = 5*o - 168, -7*x + 2*o = -3*x - 168. Let k = 59 - x. Let i = 1 + k. Is 2 a factor of i?
True
Let l(s) = 3314*s - 1379. Is 56 a factor of l(3)?
False
Let u be (33/22)/((-6)/16). Is 4/10 - (1312/(-20) + u) a multiple of 5?
True
Suppose -41*v + 8320 = 58*v - 9302. Is v a multiple of 2?
True
Is -184 - -175 - (-3158 - 1) a multiple of 75?
True
Suppose -300489 = -627*c + 268454 + 2881. Does 37 divide c?
False
Suppose -39*x = -25*x + 1708. Let f be (-9 - 1)/(4/108). Let r = x - f. Is 30 a factor of r?
False
Let s(p) = 2*p - 14. Let b(l) = 10*l - 73. Let h(k) = 2*b(k) - 11*s(k). Suppose -i - 1 = 4. Is 6 a factor of h(i)?
True
Suppose -f + 322 = -5*s, 9*f - 16*s - 2668 = -17*s. Does 5 divide f?
False
Suppose -5*n + 8068 - 668 = 0. Suppose 25*x - 6445 = n. Is x a multiple of 26?
False
Let p be (-330)/(-2) + -2 + 129/43. Let r(g) = 80*g + 1. Let d be r(1). Suppose 3*v - x - 79 = d, 3*v + 2*x = p. Is v a multiple of 18?
True
Let h(c) = -20*c**3 + 2*c**2 + 29*c - 115. Does 16 divide h(-7)?
True
Let t(m) be the third derivative of 19*m**5/30 + 3*m**4/8 + 5*m**3/3 - 51*m**2. Is t(-1) a multiple of 12?
False
Let r = 9678 - 1491. Does 20 divide r?
False
Let a = 146 + 321. Let b = a + 200. Suppose 7*c - b = 5. Is c a multiple of 32?
True
Suppose 8345 = -24*n + 30809. Does 4 divide n?
True
Let k(i) = i**2 - 8*i. Let p be 11/11 + (-1 - 1) + 4. Suppose -3*a + 4*u + 28 = 0, -p*a - u + 30 = -4*u. Is 10 a factor of k(a)?
False
Let f = -1227 - -6312. Is 57 a factor of f?
False
Suppose -3*o - s = 340, -3*o + o + 2*s - 240 = 0. Let x(w) = 3*w**2 + 130*w - 16. Let j be x(-43). Let y = j - o. Is y a multiple of 7?
True
Let n(y) = -y**3 - 3*y**2 - 5*y - 10. Suppose 0*p + 103 = 4*b - 5*p, -2*p + 16 = b. Suppose -3 = -f + 2*d, 5*f - 2*d = -b + 5. Does 5 divide n(f)?
True
Let j = 24899 + -13100. Is j a multiple of 51?
False
Let u(o) = o**3 + 11*o**2 + 22*o + 18. Let f(l) = -2*l**3 - 21*l**2 - 41*l - 35. Let y(j) = 6*f(j) + 11*u(j). Suppose -1 = -4*t - 21. Is 2 a factor of y(t)?
True
Suppose -5*f - 715 = -3*j, 4*f - 2*j - 2*j + 564 = 0. Let z = -236 - f. Let q = 33 - z. Is q a multiple of 13?
False
Let o be (-2*2)/((-2)/267). Let t be 483/805 - (-4254)/10. Suppose 5*x = t + o. Does 16 divide x?
True
Let t(z) = 347*z**2 + 381*z - 1510. Does 11 divide t(4)?
True
Let a = -142 + 346. Let c = 153 + a. Is c a multiple of 51?
True
Suppose -1135154 = -269*c + 1205146. Does 60 divide c?
True
Let z(m) = -m**3 + 54*m**2 + 171*m + 464. Is 8 a factor of z(54)?
False
Let l = -3 - -83. Suppose -11*t + l = -t. Suppose -t*v + 3*v + 995 = 0. Is 23 a factor of v?
False
Let w = 7742 - -10006. Is w a multiple of 146?
False
Let h = -1014 - -1882. Let u = h + -598. Is 10 a factor of u?
True
Let l(d) = -d - 14. Let t be l(17). Let k = -22 - t. Suppose k*y - 78 = 3*y. Does 9 divide y?
False
Let t(g) = 15 + 25*g + 11 - 21. Let p(r) = r**3 + 6*r**2 + 7*r - 1. Let k be p(-4). Does 18 divide t(k)?
False
Let o(i) = 6*i**2 - 6*i + 6. Let y be o(10). Let j = y - 222. Is 27 a factor of j?
True
Let g(v) = v**3 - 16*v**2 + 3*v - 8. Suppose 45 = l + 14. Suppose 2*h - 3*w - l = 1, -3*h + 2*w = -48. Is g(h) a multiple of 20?
True
Suppose -95*v + 6056 = 4*w - 100*v, -3*w - 2*v = -4496. Is w a multiple of 47?
True
Suppose -3241*j = -1622*j - 1623*j + 49248. Is j a multiple of 81?
True
Let w = -131756 + 192097. Does 94 divide w?
False
Let c(v) = 376*v - 1905. Is 3 a factor of c(8)?
False
Let g(y) = y**3 + y**2 - 1. Let m(p) = 4*p**3 + 9*p**2 - 2*p - 13. Let f(l) = 5*g(l) - m(l). Let t be f(6). Let j = t + -28. Is j a multiple of 8?
True
Let v(r) = -4*r**2 - 6*r - 22. Let c(a) = 9*a**2 + 12*a + 45. Let g(b) = 6*c(b) + 13*v(b). Let t = 46 - 38. Is g(t) a multiple of 15?
False
Suppose -20*m + 101543 + 54659 - 40602 = 0. Does 85 divide m?
True
Suppose -21*u - 15 = -26*u. Suppose u*o + 8*o - 3784 = 0. Is o a multiple of 13?
False
Suppose 4*q = 4*l + 7*q - 8661, 4*q + 4314 = 2*l. Let g = -1309 + l. Is g a multiple of 99?
False
Is (-7 + 2)*40110/(-150) a multiple of 18?
False
Suppose 19*d = -3*o + 24*d + 14263, 0 = d - 1. Is 116 a factor of o?
True
Suppose 4*t - 2*t - 4 = z, 16 = 4*t. Let i be (-3 + 54/24)/((-1)/z). Suppose -i*u - u = -20. Does 3 divide u?
False
Suppose 3*c + k = 123, -k - 5 = -2. Is 63/c - (1971/6)/(-1) a multiple of 64?
False
Suppose -22*k + 5104 = -17*k - 4*o, -2038 = -2*k - 2*o. Is k a multiple of 17?
True
Let a(s) = s**3 + 6*s**2 + 2*s - 9. Let q be a(-5). Let b be -2 - 0 - (q - 3). Let k(f) = 3*f**2 + 3*f - 7. Is 13 a factor of k(b)?
False
Suppose 0 = -4*k + 2*n + 4410, -7*n + 20 = -3*n. Suppose 5*l + k = 5*h, 1 = 2*l - 1. Does 37 divide h?
True
Suppose 0 = -2*b + 5*f + 1274, 0 = 32*b - 34*b - 4*f + 1238. Is b a multiple of 11?
True
Let m = 16583 - 9608. Is 9 a factor of m?
True
Let g = 158 + -154. Suppose 478 = -g*m + 1250. Is 20 a factor of m?
False
Let a(s) = 4*s**2 + 43*s - 17. Let m be a(-14). Suppose -27*h = -32*h + m. Is h a multiple of 14?
False
Is -5 + (-4)/((-4)/1147) a multiple of 43?
False
Suppose -337980 = -103*s + 17*s. Does 10 divide s?
True
Let o be ((-209)/(-38))/((-1)/(-4)). Let w(n) = n**2 - 15*n - 14. Is w(o) a multiple of 10?
True
Suppose -6*g = -161*g - 14*g + 1999946. Does 97 divide g?
True
Let c = -895 + 415. Let h = 720 + c. Is 20 a factor of h?
True
Suppose -9171 = 123*i - 64152. Is 7 a factor of i?
False
Let u(x) = -x**3 - 7*x**2 + 4. Let r(t) = t**3 - 6*t**2 + 4*t + 8. Let d be r(3). Let a be u(d). Suppose -a*o + 156 + 36 = 0. Does 4 divide o?
True
Is 80 a factor of (-10)/(-9) + (-19192316)/(-522)?
False
Is (-4)/20 + 247104/20 + -6 a multiple of 59?
False
Suppose 4*c - 13 - 39 = 0. Suppose w - 2*d + 57 = 0, 2*d + 0*d - 122 = 2*w. Let t = c - w. Is 26 a factor of t?
True
Suppose -844 = -2*j - 18*z + 13*z, -2*z - 440 = -j. Is j a multiple of 18?
True
Let x(l) = l**3 + 13*l**2 + 8*l + 8. Let k be x(-12). Suppose m - k = -m. Suppose -118 = m*o - 30*o. Is o a multiple of 6?
False
Suppose 0 = -50*v + 13712 + 9625 + 8363. Is 14 a factor of v?
False
Suppose 6*o + 357 = 3*o. Let s = o + 116. Is 23 a factor of (9/(-2) - s)/(15/(-1700))?
False
Is 20 a factor of 75*(12 + (-9152)/(-80))?
True
Let y(q) = q**3 - 14*q**2 + 31*q - 15. Let j be y(17). Suppose -3*d + j = 5*n - 4*d, -5*n = d - 1381. Is 17 a factor of n?
False
Suppose -24*a + 23*a = 92. Let x = a + 112. Does 4 divide x?
True
Suppose 70 = 4*x - 70. Let o = x + -37. Does 39 divide (o - (-1 - -2)) + 159?
True
Let y = -17 + 26. Suppose 3 = -3*m + y. Suppose -5*z - f = -133, f + m*f = -5*z + 139. Is 13 a factor of z?
True
Suppose -5*q - 3*c = -1437, c + 374 - 93 = q. Is 66 a factor of q?
False
Suppose -34