-3*h, -h - 2*u + 2 = 0. Suppose -5307 = -3*j + 22*s - 24*s, -2*j + 3538 = -h*s. Does 14 divide j?
False
Suppose p + 188 = 2*f - p, p + 4 = 0. Let z = 246 - f. Is z a multiple of 13?
True
Is 35/(1540/(-8)) + (-665350)/(-22) a multiple of 17?
True
Let a(q) = 22*q + 2*q + 7 + 20*q. Does 51 divide a(19)?
False
Let x(c) = -c**2 + 13*c + 32. Let s be x(15). Let r be ((-6)/s)/(6/(-22)). Suppose 0 = -b + 50 - r. Is b a multiple of 9?
False
Let z be 72 - (14/49 + (-90)/21). Suppose 0 = 5*p + z + 4. Does 11 divide (-1)/(((-12)/p)/((-99)/2))?
True
Let d be (-3 + (1424/(-28))/4)*-7. Let m(i) = -109 - d - 33*i + 217. Is 22 a factor of m(-3)?
False
Is 20 a factor of 916665/165 - -9*(-18)/297?
False
Let j(p) = 63*p**3 - 4*p**2 - p - 5. Is j(4) a multiple of 107?
True
Suppose 5*z - 15 = 0, -5*s + s + 37 = -z. Let x(k) = 2*k - 5 - k**3 - s + 4*k**2 - 4*k + 7*k. Is x(3) a multiple of 9?
True
Let o(n) = 27*n**2 + 77. Is 76 a factor of o(-18)?
False
Let b(r) = 2165 + 124*r - 2044 - 2*r. Is 47 a factor of b(5)?
False
Let i(d) = d**3 + 3*d**2 + 2*d + 2. Let c be i(-2). Suppose -5*p - 92 = -c*j + 41, -4*j = 3*p - 253. Suppose -j = -f + 33. Is f a multiple of 9?
False
Let j = -1797 + 2899. Is j a multiple of 29?
True
Let u = -148 + 608. Suppose -11*a = -48 - 7. Suppose -5*n = -2*g - u, 2*n + a*g = n + 65. Is 18 a factor of n?
True
Suppose 10*m + 27*m = 1369. Let b be (-1 + 78)*(-1 - 0). Let f = m - b. Is f a multiple of 38?
True
Suppose 8*d - 15 = 3*d. Suppose -5*k = -d*s - 1043, -s - 26 - 391 = -2*k. Does 16 divide k?
True
Does 24 divide (-1123680)/(-54) - (-24)/216?
False
Suppose 243863 = 19*c - 45621. Does 69 divide c?
False
Let c(p) = 5*p**3 + 4*p**2 - 10*p + 54. Does 69 divide c(9)?
True
Suppose 208 = 4*b + 5*t + 80, 0 = 3*t - 12. Let r be 2*(-3)/b - (-484)/(-9). Does 9 divide (-2)/((4 - (-220)/r)*3)?
True
Let w be ((-14)/(-49) + (-5587)/28)*-4. Let s = -544 + w. Let t = -124 + s. Does 18 divide t?
False
Suppose -51 = w - 55. Let y(p) = -5*p - 1. Let l be y(-1). Suppose 0 = l*a + 2*k + 7 - 65, -3*k - 43 = -w*a. Does 7 divide a?
False
Let g(v) be the second derivative of 11*v**4/12 + v**3/3 + 12*v - 12. Let u = 7 + -4. Does 13 divide g(u)?
False
Does 202 divide 11/(924/(-8)) - 6/126*-219935?
False
Let j(x) = -x + 29. Let d be j(9). Let r be -132*(d/8 + -2). Is 2/(-2)*(-1 + 2)*r a multiple of 22?
True
Let v be (-4)/7 - (-568)/14. Suppose v*c = 42*c - 196. Is 14 a factor of c?
True
Suppose -5 = -2*p - 2*c - 1, 5*c = -p - 2. Let f(a) = -4 - 39*a + 22*a + 23*a. Is f(p) a multiple of 7?
True
Suppose 6*v - 4*r = 3*v + 21890, -5*v + 4*r = -36478. Does 21 divide v?
False
Suppose n + 5*m - 13 = -0*m, 10 = 5*m. Suppose -202 - 653 = -n*x. Does 15 divide x?
True
Is 65344/66 - (-118)/(-1947) a multiple of 8?
False
Let f(t) be the second derivative of t**5/10 - 5*t**4/6 - 3*t**3 + 10*t**2 - 24*t. Let j be f(8). Let p = j - 146. Is 19 a factor of p?
True
Suppose -39*h + 24380 - 5150 + 43365 = 0. Is h a multiple of 107?
True
Let q = -2525 - -1438. Let c = -647 - q. Let l = -170 + c. Is 16 a factor of l?
False
Suppose 0 = -3*k + 4*p + 6752, 623*p = 621*p - 10. Does 3 divide k?
True
Let g(k) = k**3 + 16*k**2 - 16*k + 12. Let m be g(-17). Let p(i) = -2*i**2 - 4*i + 2. Let h be p(m). Let s = h - -52. Is 8 a factor of s?
True
Let l(r) = r**2 + 5*r + 2. Suppose -5*s = -0*a + 2*a - 2, 3*a + 2 = -5*s. Let b be l(a). Does 12 divide 235/10 + (-3)/b?
False
Let c(g) = -36*g - 12. Let j be (-136)/(-51)*18/(-4). Is c(j) a multiple of 5?
True
Is 2492/1 + 55/(-11)*12/10 a multiple of 7?
False
Let u = 6033 + -6026. Let s(k) = 0*k**2 + k + 2*k**2 - 7 - 4. Is 17 a factor of s(u)?
False
Suppose -2*t = -5*m - 187, 5*t - m - 479 = -0*t. Let g be (-16)/t - (-26)/12. Suppose 80 = 2*d + g*d. Is d a multiple of 3?
False
Suppose -103765 = -17*v - 2*z, -18*z - 24384 = -4*v - 14*z. Is v a multiple of 216?
False
Let f(z) = 2*z**3 - 2*z**2 + 5*z - 11. Let m be f(4). Suppose -m - 75 = -k - 2*c, 3*c + 190 = k. Does 13 divide k?
False
Let l = -273 + 516. Let x be ((-4)/(-3))/(6/l). Let q = 150 + x. Does 12 divide q?
True
Let s = -418 + 268. Does 8 divide 2 + (-3)/(9/s)?
False
Let d = -207 + 210. Is 15 a factor of 9/(-27) - ((-718)/d - 1)?
True
Let u be ((-2)/(-6))/((-18)/2646). Let t = 109 + u. Is 10 a factor of t?
True
Let v(r) = -328*r**2 + 3*r. Let m(t) = -1312*t**2 + 11*t - 1. Let g(j) = 6*m(j) - 22*v(j). Let k be g(3). Is 36 a factor of k/(-165) - 2/(-11)?
True
Is 3/1 - ((-24)/(-96))/(3/(-13308)) a multiple of 4?
True
Suppose -262 = -2*l - 216. Does 23 divide (-11)/(3 + (-70)/l)?
True
Let h be (303/(-1))/((-14)/14). Suppose -3*q + 73 - 295 = 2*n, 3*q - h = 3*n. Let l = n - -245. Is l a multiple of 35?
True
Let s(c) = 374*c - 10. Let y(d) = 125*d - 3. Let v(w) = -2*s(w) + 7*y(w). Let m be v(5). Suppose -2*x + 4*i + 637 = 3*x, -m = -5*x + 3*i. Is x a multiple of 9?
False
Let z(p) = -8*p**2 + 6*p + 5. Let j be z(5). Let a = j - -109. Does 5 divide 0 + -3 + 1 - a?
False
Let j(a) = -a**2 - 4*a. Let w(m) = -7*m**2 + 29*m + 102. Let x(s) = -4*j(s) - w(s). Is 12 a factor of x(-9)?
False
Let a(r) = -r**2 + 11*r - 5. Let g be a(10). Let d be (2/(-4))/(g + (-123)/24). Suppose -794 = -d*x - 290. Is 16 a factor of x?
False
Suppose j + g = 6, -2*j + j + 4*g - 9 = 0. Suppose -a + j*l = -6*a - 110, 5*a + 110 = -2*l. Let k = a + 38. Is 8 a factor of k?
True
Let a be (-1 - 0)/(6/(-270)). Let o = a - 41. Suppose 0*v = -o*v + 96. Does 8 divide v?
True
Let p(k) = -62*k. Let h(c) = c**3 + 3*c**2 - 6*c - 1. Let b be h(-4). Suppose b*o + 5 = -2. Is 20 a factor of p(o)?
False
Let v be (2/(-2)*0 - -27) + 0. Suppose -t = v*t - 1484. Is t a multiple of 30?
False
Let v = 20640 - 20483. Is 10 a factor of v?
False
Let z(t) = -14*t + 138. Let r(g) = -5. Let a(i) = 4*r(i) - z(i). Is a(33) a multiple of 19?
True
Let t(x) = -2494*x**3 - 7*x**2 - 20*x - 10. Is t(-2) a multiple of 79?
False
Let t be (450 + 7)/((-1)/(1/1)). Let z = -237 - t. Is 44 a factor of z?
True
Let v be 13 + (4 + (-26)/6)*3. Is (v/(-15))/(-2)*20 a multiple of 4?
True
Does 26 divide (-18 - -4410) + 14*2/(-4)?
False
Suppose 16 = -w + 18. Let j be 1/w*(-2 + 2). Is 17 a factor of (j + 1)/(4/136)?
True
Is 2 + 2 - -1503 - (-2 - -9) a multiple of 15?
True
Let t(b) = b**2 - b + 4. Let v = 44 - 44. Let m be t(v). Suppose 4*d + 3*y = 624, -d - m*y + 156 = -0*y. Does 34 divide d?
False
Let p(v) = -3*v + 44. Let x be p(0). Let n = 154 + x. Does 9 divide n?
True
Let g be -2 - -4 - 3 - (-18 + 2). Let j(s) = 24*s - 18. Is 38 a factor of j(g)?
True
Suppose 0 = -7*q - 64 + 260. Let y = q + -25. Suppose 3*k - 124 = -y*j + k, 2*k = 10. Does 17 divide j?
False
Suppose 391*g = 413*g - 24794. Is 6 a factor of g?
False
Let a = 9315 - 1611. Is a a multiple of 72?
True
Let k(f) = -f**3 + 67*f**2 - 225*f + 502. Does 6 divide k(62)?
True
Let n = 17 - 17. Suppose n = 3*s + 2*m - 634, -3*s = -2*m - 625 + 11. Is 5 a factor of s?
False
Let m(n) be the first derivative of 15*n**2/2 - 21*n + 40. Let j be m(8). Let r = -1 + j. Is 13 a factor of r?
False
Let u(q) = -2*q**2 + 5*q. Let v(m) = -3*m**2 + 8*m. Let z(a) = 5*u(a) - 3*v(a). Let i be z(-1). Does 3 divide 265/10 + i/(-4)?
True
Let f(r) = r**2 - r + 10. Let i = 0 + -6. Let b be f(i). Is 5 a factor of b/6*9/6?
False
Suppose 10 = -5*m, -6*b - 30 = -2*b + m. Let l(s) = 3*s**2 + 8*s - 67. Is l(b) a multiple of 2?
True
Let x = -114 + 138. Suppose x*q + q = 4675. Is 11 a factor of q?
True
Let q(y) = 7*y**2 + 6*y - 7. Let k be q(2). Suppose 7*g = -k - 2. Let w = 102 - g. Does 20 divide w?
False
Let x(b) = 9*b + 17. Let a be x(-2). Is 3 a factor of ((-26)/(-5))/(a/(-5))?
False
Let f be -3*412/(-78) - (-26)/169. Suppose 0 = -25*g + f*g + 2637. Does 12 divide g?
False
Does 20 divide 2318*5 + (38/9 - 498/2241)?
False
Let c(f) = -2*f**2 + 3*f + 3484. Is 13 a factor of c(0)?
True
Suppose 2*f - r - 6361 = 0, -5*f + 15892 = 7152*r - 7153*r. Is 5 a factor of f?
False
Suppose -5*r + 5*g + 90 = 0, 0 = 5*r - 6*g + 2*g - 87. Suppose r = 2*a + 3*a. Does 4 divide 2/(-8) + a*(-1000)/(-96)?
False
Let c = -36 - -38. Suppose -3*h = c*h - 5. Does 3 divide -1*1*(0 - 10)*h?
False
Let y(j) = 235*j**3 - 2*j**2 - 10*j + 24. Does 21 divide y(3)?
True
Let q(t) = -4*t - 31. Let u be q(8). Let m be u/21 - (1 + -4). Let i(h) = h**2 - 2*h + 67. Does 5 divide i(m)?
False
Let j(q) = 1