, -z + 2*i = -4. Let q(f) = 28*f + 14. Does 14 divide q(z)?
True
Let s(y) = -y**3 + 11*y**2 - 11*y + 2. Let a = 123 - 119. Is 7 a factor of s(a)?
True
Let v be (-2)/6 + (-434)/(-6). Let l(b) = -b**3 + 10*b**2 - 8*b - 96. Let p be l(7). Is 7 a factor of 6 + v + (p - 0)?
False
Let z(j) be the second derivative of j**4/6 + 13*j**3/3 + 17*j**2/2 + 17*j. Let c be z(-10). Let r = 79 + c. Does 12 divide r?
True
Suppose 1658 = -29*x - 3185. Let n = -95 - x. Does 24 divide n?
True
Let j be 18/2*((-32)/(-12))/8. Is 48 a factor of (2 + -360)*j/(-3)*1?
False
Let w be (-54)/2 + (-1 - -8). Let r = w + 342. Is r a multiple of 15?
False
Suppose -5*i = 4*t - 3647, 0 = -i + 6*i + t - 3653. Let q = i - 161. Does 30 divide q?
True
Let f(b) = b**2 + 3*b - 40. Let p be f(5). Suppose 5*z - 4*z = p, -268 = -g + 5*z. Is g a multiple of 8?
False
Suppose -3*f = -6*f - 6, -2*r + 4*f = -14. Suppose -2*h - 281 - r = 0. Let p = 226 + h. Is 21 a factor of p?
True
Let z(b) = b**3 - 28*b**2 - 27*b - 52. Let j be z(29). Suppose 5*h - 28 = -d, -j*d = -d - 3*h. Is 13 a factor of 1*(165 - (-1 - -13)/d)?
False
Let b be ((-6487)/65)/(1/(-5)). Let v = b + -167. Is 21 a factor of v?
False
Suppose -22*a - 48613 + 536705 = 0. Is 191 a factor of a?
False
Suppose 139 - 111 = -4*p. Let h(x) = 12*x**2 + 11*x + 17. Does 12 divide h(p)?
True
Suppose 0 = r + 3*l + 10, 4 = -r + 2*l - 3*l. Let w(q) = 10*q**2 + q. Let i be w(r). Let f = 37 + i. Does 23 divide f?
True
Let o = 44 - 132. Let w = -86 - o. Suppose 598 = w*p - 4*u, -p + 5*u = -245 - 45. Is p a multiple of 34?
False
Let b(v) = 2*v**3 + 9*v**2 + 8*v - 7. Is b(7) a multiple of 12?
True
Let b = -93 - -1692. Is b a multiple of 32?
False
Suppose 8*d - 17665 = 3*d + 5*j, 0 = d - 4*j - 3530. Suppose 582 = 7*k - d. Does 43 divide k?
False
Suppose 10*p - 56 - 24 = 0. Suppose -655 = -3*u - 5*k, k + p = -k. Is u a multiple of 9?
True
Let y = 807 + -3. Let m be ((-15)/(-18))/(-7 + (-129)/(-18)). Suppose 0 = 4*u - 2*l - y, -u - 390 = -3*u - m*l. Is 21 a factor of u?
False
Let o be -3 + 3426*(-60)/(-6). Suppose 0 = -47*w + 899 + o. Does 22 divide w?
True
Let u(d) be the second derivative of -41*d**5/20 - d**4/6 + d**3/6 + d**2 + 2*d. Let f be u(-2). Suppose 43*x = 41*x + f. Is 35 a factor of x?
False
Suppose -461*w - 79*w = -21637800. Is w a multiple of 271?
False
Let n = 527 - 263. Suppose 8*k = -16*k + n. Is 2 a factor of k?
False
Let m(s) = -s**3 - 41*s**2 + 159*s - 151. Does 10 divide m(-47)?
True
Is (-66)/(-21) + -3 + (-2511686)/(-133) + -17 a multiple of 53?
True
Let g = -67554 - -118154. Is g a multiple of 220?
True
Let o be -4*-1*(5 + -1)/4. Does 25 divide 718*(4 + (-14)/o)?
False
Suppose -14*m - 16*m + 872155 - 259795 = 0. Is 27 a factor of m?
True
Suppose 0 = -4*g + 3*g - 154. Let q be (-4 - -3) + 2*(-172)/8. Let o = q - g. Does 14 divide o?
False
Suppose 0 = 198*p - 215*p + 24701. Does 79 divide p?
False
Suppose 0*s + 6147 = 2*n + s, -2*n + s = -6153. Suppose -n = 4*g - 19*g. Is 4 a factor of g?
False
Suppose -3*g + 243 + 62 = 4*c, -5*c - 4*g = -380. Let q(r) = -103*r + c*r + 52*r - 2. Is 4 a factor of q(1)?
False
Let j(b) = 9*b - 238. Let t be j(26). Let z(h) = 8*h**2 + 6*h + 52. Does 16 divide z(t)?
False
Suppose -2*a + 5*c = -1255, 2*a + a - 1869 = 3*c. Is a/6 + 1/(-1 + -2) a multiple of 17?
False
Suppose 0 = 5*j - 5*t + 15, j - 4 - 2 = 4*t. Let s(w) = -w**3 - 6*w**2 + 5. Let d be s(j). Suppose 3*m = d*m + 5*f - 7, 4*m - 49 = -3*f. Is 4 a factor of m?
True
Let x(d) = 23*d + 369. Let v be (1 + 2 + -3)/(6 + -8). Is 7 a factor of x(v)?
False
Suppose 0 = -i - 605 + 603, -3*i + 6245 = d. Does 47 divide d?
True
Suppose 39*u - 34*u - 720 = 0. Is u - (3 - 3)*(3 - 4) a multiple of 36?
True
Let k be 111 + 7/(21/(-18)). Suppose 4*b - 227 = k. Is b a multiple of 16?
False
Suppose 3*u + 2*m + 73 = 8*u, 0 = -5*u + 4*m + 71. Suppose -b = -u + 70. Let y = b - -147. Is 12 a factor of y?
False
Suppose -3*u = -g - 3 + 11, 0 = 4*u - g + 11. Let x(p) = -p**3 - 5*p**2 - 5*p - 1. Let k be x(u). Does 22 divide 1014/11 + -4 - k/(-22)?
True
Does 76 divide 100/(-3)*(3/36)/(85/(-100215))?
False
Let z(l) = l**3 + 5. Let u be z(0). Let i = -16828 - -17495. Suppose -u*q + i = 77. Is 26 a factor of q?
False
Suppose 0 = 495*a - 490*a + 3*y - 8256, 0 = a - y - 1656. Is 19 a factor of a?
True
Suppose 4*s + 1100 = y + 7*s, 4*y + 3*s - 4364 = 0. Does 8 divide y?
True
Let j be (-20)/(-3) - 48/72. Suppose j = -f - 9. Does 16 divide ((-1)/(f/6))/((-3)/(-705))?
False
Suppose -t - 31 = -39. Suppose -1728 = -t*n + 960. Is n a multiple of 12?
True
Let d = 520 + 142. Suppose 11*u = 12*u + 5*s - 155, -4*u + s = -d. Does 5 divide u?
True
Let m(y) = y**2 - 7*y - 30. Let a be m(10). Suppose a = 25*g - 26458 - 8417. Is 9 a factor of g?
True
Let h be (2 - 14/4)/(15/390). Does 11 divide 3/2*(-3146)/h?
True
Let n(u) = u**3 + 2*u**2 - 9*u + 1. Let c be n(-6). Let f = c + 507. Does 15 divide f?
False
Let k be -10 + 4 + (34 - -8). Suppose 0 = -k*o + 33*o + 945. Is 15 a factor of o?
True
Suppose -3*f + 3*c + 29376 = 0, 2*f - 51*c - 19589 = -48*c. Does 32 divide f?
False
Is 60 a factor of 172477/22 + (-210)/(-1540)?
False
Let i(d) = 12*d**3 - 4*d**2 - 43*d - 161. Is 7 a factor of i(13)?
False
Let k(y) = 2*y + 24. Let o be (22/55)/(1/(-15)). Is 3 a factor of k(o)?
True
Let n(l) = -20. Let s(i) = i - 20. Let w(t) = 3*n(t) - 2*s(t). Does 4 divide w(-34)?
True
Suppose d = -4*d + 2*j + 6168, 2*j + 8 = 0. Suppose 0 = -4*h + 8*h - d. Suppose -h = 2*y - 7*y + u, 12 = -4*u. Is 9 a factor of y?
False
Is 39 a factor of 1654/(17/(10965/30))?
False
Suppose 0 = g - 102 - 808. Let h = 50 + g. Does 12 divide h?
True
Suppose 4*d = j + j - 98, -j = -3*d - 72. Let i = d - -39. Suppose 4*s + 0*s = i, 0 = 2*k - 3*s - 204. Is k a multiple of 22?
False
Let g(l) = -l**3 - 4*l**2 + 8*l - 2. Let n be g(4). Let u = 105 + n. Suppose -u - 3 = -2*j, 4*p - j = 931. Is 58 a factor of p?
False
Let g(w) = w + 15. Let s be g(-17). Let o be ((-5)/35 - (-710)/(-28))*s. Let v = 121 - o. Does 7 divide v?
True
Is 17 a factor of (-136394)/(-8) - 6/240*10?
False
Let k(i) = i**3 + 8*i**2 + 6*i + 7. Let p = -42 + 96. Let q = -59 + p. Is k(q) a multiple of 13?
True
Suppose -1855 = 18*i - 21*i - q, 1215 = 2*i + 5*q. Does 10 divide i?
True
Let p = 120 + -79. Suppose -71 = 2*f + p. Is 11 a factor of ((-4)/(-6))/(f/(-2772))?
True
Suppose -12*z + 2024 + 3784 = 0. Does 22 divide z?
True
Suppose 0 = -15*v + 8*v + 28. Suppose v*d + 4*o = 340, 0 = 4*d + 41*o - 36*o - 343. Does 82 divide d?
True
Suppose h + j - 19 = 0, 2*j = 4*h - 2*j - 36. Is 56 a factor of h*120/3*(10 + -9)?
True
Let r = 0 + -5. Let w be (r + 63/15)/((-4)/10). Suppose 3*o + w*g = -2*o + 25, 3*g - 12 = o. Is o even?
False
Let g be (-4)/(-12)*-3 + -3. Let j be (-19 + 17)/(g/(-6)). Does 3 divide (-2)/j*((-318)/(-12) - -2)?
False
Suppose -172*n - 162 = -178*n. Suppose 0 = 3*v - 807 + n. Is 40 a factor of v?
False
Let v(g) = -4*g**2 + 4*g + 8. Let x be v(-2). Is (-350)/x - 27/(-216) a multiple of 11?
True
Let x = 7828 + -2340. Suppose 11*d = 7*d + x. Is d a multiple of 98?
True
Suppose -15*h = -443 - 10357. Does 20 divide h?
True
Let b(m) = -m**2 + 14*m + 24. Suppose -6 = -c - 2. Suppose 4*w + 4*f - c = 48, -2*f = 3*w - 37. Is b(w) a multiple of 21?
False
Let v = -168 + 138. Is 32 a factor of -3 + (-86)/v - (-8834)/105?
False
Is 83 a factor of (2 - -5)/(153/285651)?
False
Let b(m) = 212*m**2 - 126*m - 1096. Is 20 a factor of b(-8)?
True
Let t(o) = o + 54. Let c be t(0). Suppose 11*g = 280 - 764. Let s = c + g. Is s a multiple of 2?
True
Let s(c) = -c**2 - 9*c + 9. Suppose -8*a - 101 - 35 = 0. Let v = a - -8. Is 5 a factor of s(v)?
False
Let q(o) = -o + 14. Let a be q(12). Suppose 4*y - 3*c = a, -2*y + 19 = 5*c + 5. Is 9 a factor of 70 - (-6 + 3 + y)?
False
Suppose -5*r = 2*y + 380, -5*r - 2*y - 152 = -3*r. Let i = 76 + r. Suppose i*m - 4*h - 64 = -2*m, -h + 74 = 2*m. Is 8 a factor of m?
False
Let i(k) = k**2 - 4*k - 7. Let s be i(6). Let j(y) = -4*y**2 - 141*y + 41. Let x be j(-35). Suppose 39 + x = s*m. Does 7 divide m?
False
Let n(b) = -b**3 - b + 1. Let r(i) = -5*i**3 - i**2 - 5*i + 2. Let j(g) = -6*n(g) + r(g). Let l be j(2). Is 25 a factor of (0 - 1)/(l/(-184))?
False
Does 37 divide ((-4)/(-7))/(-19 - 191997/(-10101))?
True
Suppose -66606 = -3*p - 3*o, p = o + 13519 + 8691.