uppose 0 = 4*g, 5*f + 4*g - z = 4*f. Is 13 a factor of f?
False
Let q(m) = -m - 2. Let c be q(-5). Suppose 0 = -a + 5*a - h - 111, -c*a - 4*h + 69 = 0. Is 17 a factor of a?
False
Let q(p) = -p**2 - 4*p + 7. Let u be q(-5). Let k be u*((-41)/(-2) + 1). Suppose 0 = 4*f - 3*t - 36, 5*t - 37 = -5*f + k. Does 12 divide f?
True
Suppose -4 = -2*c - 3*t + 19, c + t = 9. Suppose 5*z - c*j + 2 - 6 = 0, 0 = -2*z + j + 4. Is 3 a factor of z?
False
Suppose 5*u - 18 = -4*l, 4*l = 5*u - l. Let s be u/7 + (-26)/(-7). Let x(q) = 2*q**2 - 2*q + 5. Is 13 a factor of x(s)?
False
Let a = 111 + -6. Is a a multiple of 15?
True
Does 10 divide (26 - 1)*(68/20 + -3)?
True
Let c(d) be the first derivative of -3*d**2 - 6*d - 12. Let t(m) = -m**3 - 5*m**2 - 5*m - 4. Let k be t(-3). Is 18 a factor of c(k)?
True
Suppose -8*f + 316 = 52. Does 20 divide f?
False
Let z be (-2)/7 - (-4212)/42. Suppose -z = -3*w - w. Is (10/w)/((-1)/(-100)) a multiple of 15?
False
Is (3 - 77/21)/((-4)/318) a multiple of 5?
False
Let r(t) = -t**3 - 3*t**2 + 8*t + 3. Let j = 3 - 1. Suppose 5 = -b - j*v, 5*v + 1 - 11 = 2*b. Does 13 divide r(b)?
True
Let t be (1 + -1)/(2 + 0). Suppose t*q = q - 15. Let y = q - 1. Does 7 divide y?
True
Let a(d) = d**3 - 6*d**2 - 5. Is a(7) a multiple of 22?
True
Suppose 5*h - i = 225, 0*i = 4*h + 2*i - 166. Is h a multiple of 11?
True
Let w(u) be the first derivative of -u**6/360 - u**5/10 + 5*u**4/24 - 4*u**3/3 - 3. Let z(d) be the third derivative of w(d). Does 8 divide z(-11)?
True
Let r = 0 - -11. Let w = -7 + r. Suppose 2*a = -w*i + 70, i - 2*a - 21 = a. Is 9 a factor of i?
True
Let g(c) be the second derivative of 4*c**4/3 + c**3/2 - c**2 + 7*c. Is 17 a factor of g(2)?
True
Let c = 0 + 2. Suppose 3*q = c*q + 36. Suppose w = -2*a + q, -5*a + 5*w = 2*w - 90. Is a a multiple of 10?
False
Suppose -d = -6*d. Suppose f - 4*f = d. Suppose 4*x + 3*t - 33 = f, -x - 3*t = x - 9. Is x a multiple of 6?
True
Let c be (-51)/18 + 1/(-6). Let b be 2 - (2 - (-12)/c). Suppose -b*q - 130 = -9*q. Is 13 a factor of q?
True
Let a = -35 - -55. Is 5 a factor of a?
True
Suppose -5*d - 10 = 0, 3*y - 2 = 4*d - 3. Is 45 + y*(-1)/(-1) a multiple of 11?
False
Suppose 0 = -4*s + 5*s - 5. Let o(v) = -v + 7. Let q be o(s). Suppose 80 = 5*w + c, -2*w - 4*c = q*w - 48. Is w a multiple of 8?
False
Let f be (5/5)/(2/14). Let w = -7 - -3. Let l = f + w. Is 2 a factor of l?
False
Suppose 5*d = 12*d - 756. Is d a multiple of 18?
True
Suppose -68 = -3*h + 28. Let t = 23 - h. Does 24 divide (-13)/(1*3/t)?
False
Suppose 0 = 17*j - 23*j + 702. Is j a multiple of 39?
True
Let u = 0 + -1. Let j(q) = -18*q. Is j(u) a multiple of 9?
True
Let w(h) = -h**2 - 8*h + 6. Let k be w(-9). Does 5 divide 78/4 + k/2?
False
Suppose 51*y = 43*y + 368. Does 23 divide y?
True
Suppose 4*b + 68 = 3*y, 5*b + 38 = 2*b - y. Let s = b + 23. Is 3 a factor of s?
True
Suppose -a + 10 = -2. Does 3 divide a?
True
Let b = -20 - -29. Let j(i) = -i**2 + 11*i - 5. Is 13 a factor of j(b)?
True
Let p be 6/(-5)*320/6. Let x = p + 100. Does 18 divide x?
True
Let b be ((-1)/2)/((-2)/(-20)). Let u = b - -7. Suppose -u*m + 4 = -20. Is m a multiple of 6?
True
Suppose 3*o - 2 = s - 186, 5*o + 192 = s. Is 25 a factor of s?
False
Suppose 0 = -2*o + 4. Suppose o*b = -3*b, 5*b + 108 = 3*d. Suppose -3*h + 2*h - 4*t = -18, d = 2*h - t. Does 8 divide h?
False
Let c(l) = 2*l**2 - 7*l - 1. Let t be (4 - 0)/(14/28). Is c(t) a multiple of 28?
False
Let n(t) = t**3 + 4*t**2 - t + 4. Let y be n(-3). Suppose w = f + y, w + 0*f - 2*f = 17. Is w/4 + 3/12 even?
True
Let o be 122 + (0 - (5 + -1)). Suppose 2*v + 5*y = o, -y = -v + 29 + 23. Is v a multiple of 15?
False
Suppose 160 = s + 3*s. Suppose -7*o + s = -2*o. Does 4 divide o?
True
Let l be ((-24)/5)/((-4)/80). Suppose 3*c + i + l = 17, 2*i - 122 = 4*c. Let v = 42 + c. Is 7 a factor of v?
True
Let q(i) = i**2 - 2*i - 2. Is 9 a factor of q(5)?
False
Let x = 90 - 30. Does 21 divide x?
False
Let r = 9 - 14. Suppose -4*h + 70 = -w - 0*w, 2*w = 2*h - 38. Let d = r + h. Is d a multiple of 6?
True
Suppose -4*y = 2*z - 170, 172 = 4*y - 3*z + 7. Does 6 divide y?
True
Let z = -27 + 77. Is z a multiple of 25?
True
Let c = -8 - -2. Let w(o) = -o**2 - 9*o - 13. Is w(c) a multiple of 5?
True
Suppose -2*y - 2*k = -0*k - 44, 5*k = -2*y + 50. Suppose 4*w + 2*b - 3*b - 19 = 0, 0 = -2*w - 2*b + 2. Suppose w*r - y = 8. Is r a multiple of 4?
False
Suppose 3*n - n - 2*j = -14, -4*n + 5*j - 30 = 0. Let c be 2/8 + 54/8. Let y = n + c. Is 2 a factor of y?
True
Let k(c) = -c - 1. Let g be k(4). Let p(y) = -y**3 - 6*y**2 - 5*y + 4. Let i be p(g). Suppose 5*f - 47 - 18 = 2*o, -4*f = -i*o - 52. Does 13 divide f?
True
Suppose 314 = 2*c + 4. Suppose -6*d + c = -d. Does 13 divide d?
False
Is 8 a factor of (22/(-55))/(1/(-80))?
True
Let n(r) = -5*r**3 + r**2 + 4*r - 5. Let v(q) = -q**3 - q**2 - q. Let d(t) = n(t) - 4*v(t). Is 35 a factor of d(5)?
True
Let i be 4/(-10) + (-128)/5. Let r = 51 + i. Is 14 a factor of r - (-4 + (4 - 2))?
False
Let h(a) = 15*a. Let x(s) = s - s - s - 4. Let l be x(-5). Is 11 a factor of h(l)?
False
Suppose -2*p = -5*t + 5, 5*t - 5 = p - 3*p. Suppose 0 = -p*k - 5*k + 130. Is 13 a factor of k?
True
Is (1/3*3)/((-1)/(-50)) a multiple of 25?
True
Suppose t - 3*t + 5*b + 76 = 0, 0 = 4*b + 8. Is 19 a factor of t?
False
Let k be 2 + 5 - 4 - -2. Let a be 2 + 2 + 2 + -2. Suppose a*u = -0*l - 4*l + 144, -51 = -2*u + k*l. Does 11 divide u?
True
Is 214/6 + (-6)/(-18) a multiple of 6?
True
Suppose -4*n = -26 + 6. Is 2 a factor of n?
False
Let i(s) = 3*s - 2. Let j be i(2). Suppose -28 = -j*w - 3*d, -16 = -4*d - 0. Suppose f = -g - 2*g + 55, 5*f - 77 = -w*g. Is 9 a factor of g?
True
Let p = 76 - -8. Is p a multiple of 18?
False
Suppose 4*m - 2*h = -20, -1 = 2*h - 5. Is 9/((m/7)/(-4)) a multiple of 9?
True
Suppose -x = -k + 1, 2*k - 5*x = -8 - 2. Let w be -2 - 1/2*-4. Suppose 0 = -p + k - w. Does 3 divide p?
False
Let p(c) be the third derivative of -11/24*c**4 + 3*c**2 + 2/15*c**5 + 0 + 1/120*c**6 + 0*c - 3/2*c**3. Is 9 a factor of p(-9)?
True
Let r = 8 - 6. Suppose 5*f + 11 = f - 3*l, -r*f + 3*l = 1. Is 10 a factor of f/(-6) - (-118)/6?
True
Let q be (1 - 2)/(2/(-6)). Suppose -q*k + 18 = 6. Is 6 + -3 + k/2 a multiple of 3?
False
Does 57 divide (0 - -3*190)*202/505?
True
Suppose 196 = 8*k - 1740. Is k a multiple of 8?
False
Suppose f - 117 + 31 = 2*w, 5*w = -f + 72. Is 34 a factor of f?
False
Suppose 8*g - 3*g - 10 = 0. Suppose -g*z + 5 = -7. Is 6 a factor of z?
True
Let i = -10 + 13. Suppose 0*w + 12 = 4*w + 2*p, 0 = 3*w + 3*p - i. Is w a multiple of 5?
True
Let p be 246*(-1 + 2 - 0). Is (-4)/(-14) - p/(-21) a multiple of 8?
False
Let d(q) = -q**2 - 10. Let h be d(0). Let l(m) = m**2 + 10*m + 13. Does 9 divide l(h)?
False
Let g(n) = -n**3 + 6*n**2 - 4*n - 8. Is 2 a factor of g(4)?
True
Let i = -32 - -54. Is i a multiple of 11?
True
Is 19 a factor of (104/(-10))/((-3)/15)?
False
Let n(q) = q**3 - q + 31. Suppose 2*j + 5 = -5*f, 5*f = -0*j - 4*j - 5. Does 8 divide n(j)?
False
Let v be -2 + 2 - (3 - 4). Let n be 1 - ((2 - v) + -1). Is (-11)/((2 + n)/(-12)) a multiple of 18?
False
Let l(x) = -6*x - 1. Let j(s) = -s - 4. Let z be j(-3). Let i be l(z). Suppose i*p + 11 = 91. Is 10 a factor of p?
False
Suppose -o + 86 + 8 = 2*c, 1 = c. Is 23 a factor of o?
True
Let y = 12 + -3. Suppose -2*g + 5 = -y. Does 7 divide g?
True
Suppose g + 3*a + 4 = -0*g, 3*g - 2*a - 10 = 0. Let i = 6 - g. Is 4 a factor of i?
True
Let j be (-4)/18 - 74/(-9). Suppose 10*q - 5*q = 100. Let z = q - j. Does 6 divide z?
True
Let t(k) = k. Let w be t(2). Let m = 5 + w. Let l(g) = g**2 - 6*g - 2. Is l(m) a multiple of 5?
True
Let x = 2 - 0. Suppose x*r - 4*p = -2 + 8, -4*p = 0. Suppose -2*k - r + 13 = 0. Is k a multiple of 5?
True
Let h = 231 - 87. Suppose -h = -2*b - 2*b. Is b a multiple of 12?
True
Let q(y) be the second derivative of y**5/20 + 2*y**4/3 + 5*y**3/6 + y**2 - y. Suppose -2*m + 0 - 14 = 0. Is 7 a factor of q(m)?
False
Let k(p) = -p**2 - 8*p + 2. Let j be k(-8). Suppose -6 + 30 = j*r. Suppose r = -0*h + 4*h. Is h a multiple of 2?
False
Let l = -11 - -20. Is l a multiple of 2?
False
Let n(j) = -j + 1. Let p be n(-3). Suppose 0 = -0*x + 2*x - h - 7, x - p*h = -7. Is x a multiple of 4?
False
Suppose -3*t + 5*f + 70 = 3*f, -3*t - 5*f + 77 = 0. Does 