ppose -2*q - 2*b + 4 = b, 2*q - 4*b = -24. Is 36 a factor of 2/q + (-3565)/(-10)?
False
Let h(n) = -n**3 - 4*n**2 - 7. Let t be h(-5). Suppose -3*m + 40 = 4*c, 0 = 2*m - 4*c - 20 - 20. Let p = t + m. Does 15 divide p?
False
Suppose d - 8*d - 287 = 0. Let z = 39 - d. Does 16 divide z?
True
Let g be 741/6 - (-3)/(-6). Suppose -119*z - 288 = -g*z. Does 36 divide z?
True
Let c(y) = -y**2 + 19*y - 4. Let d be (-3)/((33/18)/(-11)). Is 14 a factor of c(d)?
True
Let q(s) = -s**3 - 5*s**2 - 2*s. Let h be q(-4). Let c be (-35)/(1 + h/10). Let o = -120 - c. Does 16 divide o?
False
Let t be ((-12)/20)/((-1)/5). Suppose -t*y = -1 + 4. Let q = y + 4. Is q a multiple of 3?
True
Suppose -3*z + r = -7, -z = 4*r - 2*r. Does 23 divide (-13 + 16)/(6/544*z)?
False
Let d(a) = -5*a**2 - a**3 - a + 1 + 6 - 3*a**3 + 5*a**3. Let s be d(5). Is 12*(s - (-3)/(-3)) a multiple of 6?
True
Let i(r) = -70*r - 2. Let f(a) = -23*a - 1. Let s(u) = 10*f(u) - 3*i(u). Let x be s(-4). Suppose -3*v + 123 = 3*y, -2*v = -4*v + y + x. Is 11 a factor of v?
False
Is 11 a factor of (35 + -351)*(-1)/2?
False
Suppose -104 = -2*v + 126. Let c = v - -135. Is c a multiple of 37?
False
Let i be (-12)/10*(2 + 8). Let k(x) = 1605*x + 7 + 13*x**2 - 3 - 1593*x + x**3. Does 3 divide k(i)?
False
Let x(l) = 199*l - 743. Is x(19) a multiple of 11?
False
Suppose -24*m - 2*m = -1144. Does 4 divide m?
True
Let o = 3995 - 2331. Is o a multiple of 64?
True
Suppose 0*u - 3*u + 160 = p, 5*u = -3*p + 264. Is 15 a factor of u?
False
Suppose 8 = -c + 3*c. Let f be (6*-2)/c + 7. Suppose -5*w - 2*i = -209, w + f*i - i = 47. Is 13 a factor of w?
False
Let z = -25 + 28. Suppose -148 = -r + 4*c, 2*c = z*r + c - 422. Is r a multiple of 10?
True
Let g = -234 + 389. Is g a multiple of 67?
False
Suppose -35*z + 13566 = -16*z. Is 28 a factor of z?
False
Suppose -5*i + 25 = -0*i. Suppose i*j = 5*s - 290, -2*j - 67 = -3*s + 106. Suppose 3*d - s = -0*d. Is d a multiple of 11?
False
Let j(d) = 2*d**3 - 4*d**2 + 4*d - 4. Let n be j(2). Let v(r) = 2 - 2*r - n*r + 0 - 8. Is v(-6) a multiple of 15?
True
Suppose -u + 93 = -3*p, -5*u - 3*p + 67 = -452. Is u a multiple of 9?
False
Let b(m) = -2*m**2 + 5*m + 1. Let s be b(-2). Let a be (0 - -2)*(1 + -20). Let u = s - a. Does 19 divide u?
False
Suppose -62*s + 64*s - 632 = 0. Is 2 a factor of s?
True
Let s(r) = r**2 - 9*r + 47. Is 39 a factor of s(-31)?
True
Let i = -14 - -17. Suppose -w - 6 = i*z - 0*z, -11 = 5*z + 2*w. Is 16 a factor of 30*(-3)/(-6) - z?
True
Let b(c) be the second derivative of -43*c**3/6 - 13*c**2/2 - 40*c. Is 30 a factor of b(-1)?
True
Suppose 13 = 7*d - 8. Suppose 0 = -4*k - 2*c + 150, -54 = -d*k - 2*c + 60. Is 11 a factor of k?
False
Suppose 3*c - 25*c = -7062. Is 18 a factor of c?
False
Let g(w) = -w**3 - w + 11. Let a(p) = -p. Let v(f) = -7*f + 7. Let b(o) = 6*a(o) - v(o). Let l be b(7). Is 6 a factor of g(l)?
False
Let d = 1087 + -451. Is 53 a factor of d?
True
Let p be 5 + 2*(-5 + 4). Suppose 2*k = 3*k - 3*u - 21, -5*k - p*u + 141 = 0. Is k a multiple of 9?
True
Suppose 4*i + 1 = -3*z + 3, 5*z + 6 = -2*i. Suppose 3*k + i*k - 614 = 4*o, -2*o + 260 = 2*k. Suppose 3*f + 23 - 149 = -5*t, 4*t = 3*f - k. Does 14 divide f?
True
Let i(m) = 2*m + 2. Let d be i(0). Let n(k) = -7*k + k - 2 + d*k**2 - 3*k + 8*k - 65*k**3. Is 17 a factor of n(-1)?
False
Let f = 497 - 251. Is 40 a factor of f?
False
Let p(x) = -14*x**3 + 7*x**2 + 2*x - 3. Is p(-3) a multiple of 24?
True
Let v(c) = c - 9. Let l be v(3). Let z(p) = -13*p - 3. Does 15 divide z(l)?
True
Suppose -25*c - 15048 = -44*c. Is c a multiple of 9?
True
Let r = 20 - 3. Let i be ((-20)/40)/(1/2). Is 1/i + r + -3 a multiple of 3?
False
Let j = 2595 - 2235. Is 8 a factor of j?
True
Let i = 357 + 131. Is i a multiple of 56?
False
Suppose 0 = 3*k + 4*f - 1142, 2*k - 764 = 45*f - 49*f. Does 9 divide k?
True
Suppose 0 = d + 3*o - 190, 570 = 3*d - 7*o + 4*o. Does 19 divide d?
True
Let d = 376 - 359. Does 4 divide d?
False
Let s = -350 + 430. Is 4 a factor of s?
True
Is (-2)/3 + 2471/21 a multiple of 4?
False
Suppose 11*l + 8 = 15*l. Let c be (194 + 12)*3/l. Suppose 0 = 3*z - 2*d - 187, 2*d = 5*z - 2*d - c. Is z a multiple of 12?
False
Suppose 16*a = 5859 + 6733. Does 51 divide a?
False
Let n be 4 + -2 - (0 - -2). Suppose n = 3*c - 716 - 103. Suppose -g - 6 = 3*t - 111, 3*g = 5*t + c. Is g a multiple of 21?
False
Does 11 divide ((-198)/15)/((-9)/1035)?
True
Does 20 divide 1127 + (-16)/(-6) + (-203)/21?
True
Let w be ((-8)/1)/(0 - 1). Suppose 13*c - 392 = w*c - 3*n, 4*n = 3*c - 212. Is 19 a factor of c?
True
Let i(q) = -2*q + 15. Let z be i(-7). Let n = 46 - z. Is 17 a factor of n?
True
Let o(m) = m**3 - m**2 + m - 4. Let b be o(0). Let i(v) = -v**3 - 2*v**2 - 3*v - 6. Let a be i(b). Is (0 + a)/(-6 - -8) a multiple of 6?
False
Let i(c) = -c**2 + 4. Let h be i(0). Suppose h*t + 8 = 0, g + 2*t + t - 34 = 0. Is g a multiple of 5?
True
Suppose -g + 2*a = -3 - 4, -19 = -3*g + 5*a. Suppose 0 = -3*u - 5*m + 674, 0*m - 642 = -3*u + g*m. Suppose u = 4*z - 54. Is 17 a factor of z?
True
Let j(k) = 7*k**2 + 148*k - 8. Is 31 a factor of j(-22)?
True
Suppose -150 = 3*k - 8*k - 2*r, k + 3*r = 30. Let b = 80 - k. Is b a multiple of 24?
False
Suppose -23 = a - 2*n + 102, -5*n = -3*a - 373. Does 16 divide 2 - a/7 - (-4)/(-14)?
False
Is 15 a factor of -5*(-186)/2 + 1 + 1?
False
Let b be (-362)/10 + (-3)/(-15). Let p = b + 60. Is 24 a factor of (-6 + -2)/(-4)*p?
True
Let t(y) = -y**2 + 10*y - 10. Suppose 0 = -5*p - 3*h + 35, -4*h - 50 = -3*p. Let m = p + -4. Is 13 a factor of t(m)?
False
Let w(o) = o**2 - 2*o - 2. Let b be w(2). Let u(q) = -5*q + 75. Let n be u(11). Does 22 divide 1825/n - b/(-8)?
False
Let f be (36/8 - 4)/((-1)/(-4)). Suppose -255 = -3*d - f*d. Is d a multiple of 17?
True
Does 59 divide 360 + (5 + 43)/(-8)?
True
Suppose -3*r + 2*o = -7*r - 9352, 9340 = -4*r - 5*o. Does 22 divide r/(-27) + 3/(18/8)?
True
Suppose -2 = 10*y - 12*y. Let f(l) = 1 + 5*l + 1 + 5*l. Does 6 divide f(y)?
True
Suppose 0*u - 2*z - 104 = -4*u, 3*u = -z + 78. Let r = -11 + u. Is 3 a factor of r?
True
Suppose 5*g + 3*r - 245 = 0, 213 - 66 = 3*g - 2*r. Suppose -6*p + 299 = -g. Does 5 divide p?
False
Let y(z) = 2*z**3 - 4*z**2 + 3*z - 6. Is y(3) a multiple of 5?
False
Suppose -2*c + 0*c = l - 1, 4*l + 3*c - 9 = 0. Suppose 3*x - 42 = -l*p, -5*p + 4*x = x - 46. Is p a multiple of 11?
True
Suppose -9*p - y = -4*p - 420, -3*p + 5*y + 280 = 0. Is p a multiple of 10?
False
Let i(v) = 11*v + 297. Does 111 divide i(33)?
False
Suppose -5*v + 6 = -2*v. Suppose v*d - 7 + 1 = 0. Suppose 21 = -5*r + 1, -2*o + d*r = -86. Does 10 divide o?
False
Is 35 a factor of -6 - (-2213)/(-3)*-3?
False
Suppose c + 288 = -c + 3*s, -4*c - 5*s = 554. Let i = -100 - c. Is 18 a factor of i?
False
Suppose n - 63 = -3*n + h, 15 = 2*n + 5*h. Is 10 a factor of (196/42)/(1/n)?
True
Let d = 54 + -75. Let c be -9*1*7/d. Suppose 5*v - c*v + o = 16, 0 = 4*o. Is 2 a factor of v?
True
Let r(c) = 2*c**2 + 3*c + 1. Let o be r(-2). Let u = o + -1. Suppose -4*n + u = -14. Does 3 divide n?
False
Let j = -156 + 573. Is 15 a factor of j?
False
Let p = 48 - 47. Is 4 a factor of (-19)/2*-2*p?
False
Let p(c) be the second derivative of c**4/12 - c**3 + c**2 + 5*c. Let j be p(5). Is j/15 - (-91)/5 a multiple of 9?
True
Let v = -617 + 1244. Does 76 divide v?
False
Let l = -14 - -15. Suppose -5 = -m - l. Is (7/m)/(13/52) a multiple of 2?
False
Let f be 4 + (-2)/((-2)/(-31)). Let g = 15 - f. Is g a multiple of 14?
True
Let a(o) = -o - 1. Let j(p) = -70*p + 7. Let u(b) = 5*a(b) + j(b). Let h be u(-2). Does 13 divide (h/(-8))/((-2)/2)?
False
Is 4 + -1790*((-32)/(-10))/(-8) a multiple of 30?
True
Is 12 a factor of 7740/75*(-3 - -2)*-5?
True
Suppose -5*t + 83 = -27. Let n be 4/t + 456/33. Is 24 a factor of (324/(-63))/((-3)/n)?
True
Let q(n) = 6*n**2 + 188*n + 54. Let m(b) = 2*b**2 + 63*b + 18. Let v(p) = 11*m(p) - 4*q(p). Is v(-26) a multiple of 19?
False
Let r(o) = o + 2. Let x be r(3). Suppose -x*j = -4*j. Suppose j*s - 108 = -2*s. Is 14 a factor of s?
False
Let s(b) = 8*b**3 + b**2 - 26. Is 16 a factor of s(5)?
False
Suppose 0 = -2*d + 16 + 48. Let u = d + -11. Does 16 divide u?
False
Let p(g) be the second derivative of -19*g**3/6 - 8*g**2 + 28*g. Is 20 a factor of p(-4)?
True
Suppose 2*h + 4*f = -0*h - 170, 5*h = 