 -5*d - b = -i - 67, d = 2*b + 36. Suppose -r - 7 + d = 3*z, -3*z - 17 = -4*r. Is 4 a factor of r?
True
Let o(n) = 5 + 5*n**2 + 2*n + 5*n + n**3 - n. Let p be o(-4). Does 18 divide (-284)/(-6) - 2/p?
False
Is (-214)/(-8) - ((-91)/28)/13 a multiple of 12?
False
Let g(p) = 3*p**2 - 3*p - 4. Let f(d) = -2*d**2 + 3*d + 3. Let j(h) = 4*f(h) + 3*g(h). Is 4 a factor of j(-4)?
True
Let f(k) = -k**3 - 6*k**2 - 6*k - 6. Let r be f(-4). Let u be r/(-2)*(-2 - -1). Is 3 a factor of (-2)/u - 133/(-49)?
True
Let y(b) = 12*b - 29. Is 30 a factor of y(16)?
False
Does 12 divide (-1 - (3 - 3)) + 0 - -126?
False
Suppose 5*f - 5*h = -2*h + 5, 0 = 4*f - 2*h - 6. Suppose f*r + r = 160. Is r a multiple of 8?
True
Let l(f) = -f**2 - 7*f - 4. Let g(h) = h**3 - 5*h**2 - 6. Let m be g(5). Let x be l(m). Suppose -3*b + z = -47, x*z = -4*b + 3*z + 61. Does 5 divide b?
False
Suppose -4*s + 0*s + 42 = 5*y, 0 = 3*y - 5*s - 3. Is 3 a factor of y?
True
Suppose 6*w = -4*w + 1680. Is 14 a factor of w?
True
Let m(c) = -c**3 - 6*c**2 - c + 4. Let t be m(-6). Suppose -3*n - 4 = -t. Suppose z + 9 = d, -d - z + 5 + n = 0. Is d a multiple of 6?
False
Suppose -2*k = -0*k + 18. Let n = -4 - k. Let q = n + 8. Is 5 a factor of q?
False
Let x(c) = 4*c + 2. Let q be x(-2). Let a be (-3976)/40 - q/(-10). Let g = -67 - a. Is g a multiple of 11?
True
Suppose 2*b = r - 1, 0*r = b + r - 7. Let t(i) = -6*i + 0 + 8 + 0 + b*i. Does 16 divide t(-6)?
True
Let w(m) be the second derivative of 0 - 1/2*m**2 + 3*m - 5/6*m**3. Is w(-1) a multiple of 4?
True
Let b(d) = 2*d**3 + d**2 + 4*d - 4. Is b(2) a multiple of 4?
True
Suppose w + w = 60. Suppose -5*o = -15 - w. Does 3 divide o?
True
Let h = -47 - -89. Is 13 a factor of h?
False
Suppose c = 2*c - 62. Let o = -24 + c. Does 13 divide o?
False
Is ((-1)/(-2 + 3))/((-2)/18) a multiple of 2?
False
Let z = 740 + -512. Is z a multiple of 19?
True
Let t = -12 + -13. Let i be (2 + 171/6)*2. Let n = t + i. Does 18 divide n?
True
Let a(s) = 4*s - 10. Is 21 a factor of a(13)?
True
Suppose 3*c - 3*t - 18 = 2*c, 0 = -2*c + 3*t + 21. Suppose -35 = -2*m - c*m. Does 5 divide m?
False
Let p be (6/4)/((-2)/4). Let v(h) = h**3 + 4*h**2 - 3*h + 2. Does 10 divide v(p)?
True
Suppose -4*i = 1 + 23. Let l be i*3/(-3*2). Suppose -22 = -l*t + 14. Does 6 divide t?
True
Let k = 37 + -9. Does 11 divide k?
False
Suppose 4*s = -4*z + 388, -6*z + 4*z + 398 = 4*s. Is 6 a factor of s?
True
Let a(v) = 5*v - 1. Let n be a(1). Suppose -2*l - o + 37 = 0, 3*l = -n*o + 11 + 57. Is l a multiple of 4?
True
Let x be 0*(15/6 - 2). Suppose -j + 5 - 1 = x. Suppose -j*z + 105 = 25. Is 20 a factor of z?
True
Suppose 0 = 2*v + 2*v - 324. Suppose i - 68 = -w + 5*w, 3*w - v = -2*i. Does 20 divide i?
False
Let p(n) = 5 - 1 - 4 + 9*n - 1. Does 4 divide p(1)?
True
Suppose 0 = 4*m - 3*w - 0*w - 156, 0 = 2*m - 3*w - 72. Is m a multiple of 14?
True
Suppose -12 = -0*u + 4*u. Let w be u/(-5) + 434/10. Suppose -z + w = z. Does 10 divide z?
False
Let t = -7 + 7. Suppose k + t = 3. Is k a multiple of 2?
False
Let v = -49 + 98. Is v a multiple of 13?
False
Suppose 0 = 2*p - 7*p - 20, 8 = -4*m - 5*p. Suppose 0 = -5*l + 2*y - 3*y + 122, m*l = -5*y + 60. Is l a multiple of 9?
False
Suppose -w - 88 = -3*d, w + 24 = d + 2*w. Suppose 1 = -3*r - 4*n, -2*r - 3*n = -5*n - 18. Suppose -d = -4*o + k - 4*k, 5*k + 70 = r*o. Does 5 divide o?
True
Suppose -7 = -5*h + 8. Suppose h*b = 2*b. Suppose b = -4*s + 2*s + 36. Is s a multiple of 7?
False
Suppose 11 = -0*b - 4*b - 3*f, -3*b - f = 2. Does 9 divide 0/1 - (-17 + b)?
False
Let f be ((-159)/6)/(1/2). Let o = -18 - f. Suppose 2*w = 33 + o. Does 17 divide w?
True
Suppose -70 = -4*j + 3*u, -5*j = -0*j - 2*u - 91. Let v = 42 - -13. Let n = v - j. Is n a multiple of 14?
False
Suppose 56*y - 54*y = 70. Is y a multiple of 5?
True
Does 21 divide 12*(196/(-8))/(-7)?
True
Suppose 3*d = -4*r + d + 154, 0 = -r + 5*d + 44. Is r a multiple of 29?
False
Let m = -8 + 14. Suppose 9 + m = 3*s. Is 12 a factor of s/15 - 142/(-6)?
True
Let u = 1 + -1. Suppose -2*i + 8 = -u*i. Suppose -62 = z - 3*z - m, -z + 31 = i*m. Is z a multiple of 13?
False
Let g(l) = 3*l + 1. Let r be (-20)/6*(-3)/2. Let w be g(r). Does 12 divide 16*4/(w/6)?
True
Let w = 21 + -14. Suppose 0 = -5*u + 32 - w. Suppose 0 = g - u - 7. Is g a multiple of 8?
False
Let k = -21 - -63. Suppose -y + k = y. Is y a multiple of 10?
False
Is 13 a factor of -1 + 2 - (-1 - (26 + 2))?
False
Let a(s) = s**2 + 3*s + 5. Let l = 11 - 1. Let m = l - 15. Is a(m) a multiple of 15?
True
Suppose -5*x = -4*x + 7. Let f(b) be the third derivative of -b**4/6 - 4*b**3/3 - b**2. Is 14 a factor of f(x)?
False
Suppose -3*m + 7*m - 72 = -5*o, 3*o = 2*m + 30. Let v = 34 - o. Does 6 divide v?
False
Suppose -f + 3*f - 12 = 0. Let d(v) = -v**3 + 8*v**2 - 7*v - 6. Is d(f) a multiple of 10?
False
Does 3 divide (-17 + 20)*19/(-6)*-2?
False
Let s(j) = -12*j + 1. Let q(z) = -z + 1. Let x(o) = -3*q(o) + s(o). Is 13 a factor of x(-6)?
True
Suppose 10*k - 4935 = -5*k. Is 47 a factor of k?
True
Let o(m) = -m**2 + m. Let a(g) = 2*g**2 - g + 1. Let w(v) = 4*a(v) + 7*o(v). Suppose -4*p = p + 15. Does 4 divide w(p)?
True
Suppose -5*s + 97 = -0*s - 3*z, 5*s - 4*z = 96. Suppose -2*k + 0*k = -s. Is ((-5)/k)/((-1)/26) a multiple of 6?
False
Let o(j) = -8*j**2 - j**3 + 2*j**3 - 4*j + 3*j**3 - 12 - 3*j**3. Does 11 divide o(9)?
True
Let h be (-1)/(-3) + (-32)/(-12). Suppose h*v + 7*x + 19 = 2*x, 0 = -3*v + x - 7. Is 1/((v/30)/(-1)) a multiple of 10?
True
Suppose 3*c + 5*y + 4 = -0*c, -5*y = -c + 12. Suppose -11 + c = -3*d. Is d even?
False
Let m = 49 - 17. Does 8 divide m?
True
Is (49/(-21))/((15/54)/(-5)) a multiple of 21?
True
Let i = 308 - 80. Suppose -555 + i = 3*r. Let w = 153 + r. Does 20 divide w?
False
Let c = 4 + 60. Does 7 divide c?
False
Suppose 27 = 4*z - 13. Is z a multiple of 6?
False
Suppose 235 + 260 = 11*r. Is r a multiple of 15?
True
Let m = 13 + -9. Suppose 3*b - m = 4*w, -2*w = -0*w + 4*b - 20. Suppose w*x = g + 34 + 17, -4*g + 60 = 3*x. Is 12 a factor of x?
True
Suppose 5*m = 39 + 41. Does 8 divide m?
True
Is (1/4 + -1)*-40 a multiple of 15?
True
Let y(j) = j**2 + 7*j - 13. Is y(-13) a multiple of 22?
False
Suppose -2*h + 7 = -3*i, 4*i - 4 = -3*h + 2*i. Suppose h*z + 11 = 7. Does 4 divide -4 - -4 - (-9 - z)?
False
Let z = -1 + 4. Suppose -380 = -2*n - z*n. Does 25 divide n?
False
Suppose -3*u + 5*m + 24 = 0, 5*m - 3*m = -2*u. Suppose 4*l = u*l + 52. Does 13 divide l?
True
Suppose 3*a + 130 + 30 = 5*m, -3*m + 96 = -5*a. Does 14 divide m?
False
Let m(d) = -d - 9. Let t be m(-9). Suppose t*f + 40 = f. Does 17 divide f?
False
Suppose t - 327 = -2*t - 5*s, -5*t + 4*s = -582. Is t a multiple of 10?
False
Suppose -2*z - 3*q + 73 = 0, 108 = -z + 4*z + 4*q. Is 22 a factor of z?
False
Suppose 0 = -2*i - o + 11, -3*o = -0*i - 2*i - 9. Suppose -5*l - 2*q = -7*q + 10, i*q = -3*l. Is 5 a factor of l/4 - (-123)/12?
True
Let j be 42 - (3 + 0/(-3)). Suppose 4*l = -3*c + 41, -4*c + 3 = -l - j. Is c a multiple of 11?
True
Let z = -132 - -202. Is 17 a factor of z?
False
Let f(n) be the third derivative of n**6/120 + n**5/10 + n**4/8 - 2*n**3/3 + 5*n**2. Suppose 32 = -4*r + z - 4*z, 0 = 2*r + z + 14. Does 6 divide f(r)?
True
Let p(l) be the third derivative of 3*l**5/20 + l**4/8 + l**3/3 + 5*l**2. Is 4 a factor of p(-1)?
True
Let h = 142 - 56. Does 35 divide h?
False
Suppose -260 = -2*z - 2*c, c - 4*c = 0. Is 36 a factor of z?
False
Let w be (0/(-2))/(1/1). Suppose w = -d + 6*d - 20. Suppose d*j - 29 = 115. Is j a multiple of 18?
True
Suppose 4*w + 29 = 173. Is 18 a factor of w?
True
Let s be (-2)/6 - 385/15. Let x = -7 - s. Is x a multiple of 16?
False
Let p = 4 + -5. Let t = 3 - p. Suppose 8 = t*i - 5*i - 5*w, 2*w + 13 = i. Is i a multiple of 3?
False
Let p = -337 + 502. Does 15 divide p?
True
Suppose -j + 0 - 3 = 0. Let x = j + 9. Does 11 divide ((-4)/x)/((-6)/99)?
True
Let n be (-6)/(-2)*4/6. Let o be (-8)/4 + (6 - n). Suppose -o*r + 7*r = 2*m + 12, 0 = 3*r - 12. Is m a multiple of 2?
True
Let h = 9 + 12. Is h a multiple of 7?
True
Let p(o) be the first derivative of -o**4/4 - 3*o**3 - 3*o**2 - 2*o + 2. Let v be p(-8). Is (v/8)/((-6)/32) a multiple of 6?
True
Let o = 0 + 2. Let r(n) = 2*n. Is r(o) a multiple of 2?
True
Let q(o) = -o**3 + 4. Let a be q(0). Suppose -3*y = -c - 5*