+ (-16)/(-4). Suppose 4*a - w = 3*v + 10, -v - 2*a + 8 = 0. Suppose v = 4*r - 4*g - 8, 2*r - 2*g - 9 = -5*g. Is r a multiple of 3?
True
Let v(p) = 63*p**2 - 2*p + 2. Is 34 a factor of v(1)?
False
Suppose 3*y = 0, -2*y = -0*r - 5*r + 5. Does 18 divide (-4)/(2/(r - 17))?
False
Let t be (-4)/24 - 62/(-12). Suppose -t*n = -3*c - 91, 76 - 19 = 3*n - c. Does 13 divide n?
False
Suppose -3*b = -5*g + 25, -1 = -4*g - 3*b + 19. Let k(n) = 13*n + 1. Does 22 divide k(g)?
True
Let x(p) = p**2 + 9*p + 2. Let n be x(-9). Let g be -3 + 3 + 73 + n. Is g/3*(-6)/(-10) a multiple of 15?
True
Let c be (7/7)/(2/24). Let t be (-1)/(-4) - (-33)/c. Suppose -4*a - 48 = -4*v, 5*v + t*a - 105 = -a. Does 15 divide v?
False
Does 3 divide ((-54)/(-12))/(1/2)?
True
Let a = 73 - 47. Is a a multiple of 13?
True
Suppose -l + 2*l - 3*j = 8, 0 = l - 2*j - 6. Suppose -5*b - l*p - 18 = -0*b, -2*p - 8 = 0. Does 11 divide (b + 4/6)*-18?
False
Let f(m) = -m**2. Let g be f(-1). Let c be 4*-1 - (g + 2). Let y = c + 12. Does 7 divide y?
True
Let w be -1*2 + (-12)/(-3). Suppose 2*z - 8 = u, w*z - 1 = -u + 7. Does 6 divide 1/z - 46/(-8)?
True
Suppose 3*b + 18 = 3*m, -6 = -5*m + 2*b + 12. Let g = 2 - m. Suppose s + 3*s - 52 = g. Does 9 divide s?
False
Let d be -37 + 3 + (0 - 6). Let w(o) = -o**2 - o + 2. Let r be w(-4). Let f = r - d. Is 13 a factor of f?
False
Let w = -21 + 67. Is w/2 + 5 + -5 a multiple of 11?
False
Let r be 3/(-1 + -1 + 1). Is 13 a factor of (18 - (2 - 1)) + r?
False
Suppose -76 = -6*a + 2*a. Is 12 a factor of a?
False
Let d = -3 - -85. Suppose -2*a - d = -b - 2*b, 132 = 4*b + 3*a. Does 9 divide b?
False
Let h = -31 - -83. Does 12 divide h?
False
Let s = 49 + 57. Is s a multiple of 12?
False
Let a(b) = -b**3 + 7*b**2 + 2*b + 7. Let l be a(7). Let u be (-246)/l + (-4)/14. Let z = u - -36. Is 12 a factor of z?
True
Let y = 0 + 4. Suppose h - y = 3*h. Does 14 divide 30 - ((0 - h) + 0)?
True
Suppose 3*y = q - 10, 4*q - 1 - 53 = -2*y. Is q a multiple of 5?
False
Let c(b) = -11*b**2 + 2*b - 2. Let o be c(2). Let q(z) = -z**3 + 13*z**2 - 3*z + 9. Let h be q(13). Let k = h - o. Does 6 divide k?
True
Is 11 a factor of (5/3)/(6/126)?
False
Suppose -s + 13 = -14. Does 4 divide s?
False
Let g(a) be the third derivative of a**6/120 - a**5/10 - a**4/24 + a**3/3 - a**2. Does 17 divide g(7)?
False
Suppose 4*t = 5*k - 54, -4*t - 42 = 2*k - k. Let a(s) = s**2 + 8*s - 10. Is a(t) a multiple of 11?
False
Let n be 2478/(-27) - (-4)/(-18). Let z = n - -186. Suppose 11 = 3*v - z. Is 15 a factor of v?
False
Let b = -141 + 249. Is 36 a factor of b?
True
Let t be (7/(-14))/((-1)/12). Suppose t*h - 2*h = -5*u + 188, 2*u + 4*h = 80. Is 18 a factor of u?
True
Suppose 0 = 5*s - 8*s + 105. Is s a multiple of 35?
True
Suppose -3*t + 159 = -w, -5*t = -w - 4*w - 255. Is t a multiple of 13?
False
Let p = -7 + 10. Is 20 a factor of (p - -1)/((-2)/(-30))?
True
Suppose 0 = 6*n - 45 + 3. Is n a multiple of 2?
False
Suppose 5*q - 5 = 10. Suppose 0*o + 156 = q*o. Is o a multiple of 18?
False
Let k = 3 + 0. Suppose -k*b + 1 = -17. Is b a multiple of 6?
True
Suppose q + 274 = 3*v, -2*v + 0*q + 184 = -q. Is 30 a factor of v?
True
Suppose 0 = i - 5*i + 12, -l + 9 = -5*i. Is 13 a factor of l?
False
Let g = -81 + 135. Is 8 a factor of g?
False
Let i(h) = h**3 + 3. Let y(g) = g**3 + g**2 - 2*g. Let q be y(-2). Let j be i(q). Suppose j*n - 93 = -0*n. Is 16 a factor of n?
False
Let g(s) = 4*s**2 - 15*s - 11. Let b be g(12). Let v be (-5 - -4) + b/1. Does 16 divide v/15 - (-6)/(-10)?
False
Suppose 0 = -8*q + 9*q - 1. Suppose 31 = 4*a - q. Does 4 divide a?
True
Let h = 26 + -1. Suppose 2 + 2 = t. Suppose -t*y - 3 + h = 2*g, y = 3. Does 4 divide g?
False
Suppose 3*z - 253 = -5*w - 38, 3*z = 15. Does 14 divide w?
False
Let b = -2 - -11. Suppose -3*c = -2*l - b, l + c = -l + 11. Suppose 0 = 2*j + l*h - 8 - 59, 2*j + 2*h = 62. Is j a multiple of 13?
True
Let c be (84/10)/(2/(-10)). Let j = c + 78. Is 12 a factor of j?
True
Let q(m) = m + 5. Let j be q(-10). Let f = j + 12. Does 3 divide f?
False
Let i be 9*(1 + 6/2). Suppose -b = -0*b + c - 2, 0 = 4*b - 3*c - i. Let p(r) = 8*r - 8. Is 13 a factor of p(b)?
False
Let j(a) be the third derivative of a**5/20 - a**4/24 - a**3/3 + 3*a**2. Is 8 a factor of j(2)?
True
Suppose 0 = k - 2*c - 4, 0 = -2*k + c + c + 6. Let r(o) = 7*o**2 + 0*o - 5*o + 3*o**3 + 4 - k*o**3. Does 20 divide r(-7)?
False
Let b = -3 - -7. Suppose 0 = 5*a + 5, -75 + 19 = -5*c - b*a. Suppose 0 = -m - m + c. Does 3 divide m?
True
Let k = 5 - 4. Suppose s - 5 = -0*s - 3*m, -3*m = -2*s + k. Suppose -s*y = 2*y - 112. Is 13 a factor of y?
False
Let m = -254 - -531. Does 25 divide m?
False
Suppose 5*p - 198 = -4*u + 3*p, -105 = -2*u - 3*p. Is 16 a factor of u?
True
Let y be (9/12)/(2/8). Suppose 14 = y*f + 53. Let d = f + 23. Does 4 divide d?
False
Let u(x) be the first derivative of -x**4/4 + 3*x**3 + 5*x**2/2 - 6*x + 2. Is u(9) a multiple of 13?
True
Let g = -107 - -161. Is 18 a factor of g?
True
Is (-87)/(-8) - (-1)/8 even?
False
Suppose 4*j - 85 = -3*i + 55, -94 = -2*i - 2*j. Is 12 a factor of i?
True
Let q = -12 - -14. Suppose q*l - 119 + 39 = 0. Is l a multiple of 20?
True
Let o be (-1 - 9/6)*-2. Suppose -o*p + 2*g - 17 = 0, 5*p + 35 = 2*p - 5*g. Let v = 21 - p. Does 13 divide v?
True
Is 4 a factor of (16/24)/(4/258)?
False
Let b(x) = x**2 - 7*x. Let k be b(7). Suppose -4*j + 2*j + 18 = k. Is j a multiple of 3?
True
Let o = -14 - -8. Let k be 46/(-6) - 4/o. Let c(j) = j**2 + 6*j + 1. Is c(k) a multiple of 8?
True
Suppose -9 + 41 = 4*x. Does 4 divide x?
True
Suppose -73 = -3*c + 56. Suppose -3*z + 151 = c. Is z a multiple of 18?
True
Let w(l) = l + 2. Let m be w(2). Suppose -m*f - 15 = 21. Let a = 24 + f. Does 10 divide a?
False
Let o be 4/2*(-7)/2. Let b(a) = -2*a + 4*a - 1 - 4*a + a. Is 3 a factor of b(o)?
True
Let l(t) = -2*t**2 + t - 2. Let f be l(4). Let o be (1/(-3))/(2/f). Suppose -4*v - 6 = 2*n, 0*v + 5 = 5*n + o*v. Is 5 a factor of n?
True
Let i(h) = h**2 + 4*h + 6. Does 2 divide i(-4)?
True
Let v(i) = -i + 23. Let n be v(7). Is 8 a factor of (-72)/(-2) - n/4?
True
Let q(m) = 7*m + 3. Is 15 a factor of q(6)?
True
Let d(v) = v**2 - 5*v - 4. Let m be d(11). Suppose 5*r - r - 184 = -4*y, -61 = -y - 4*r. Let p = m - y. Does 21 divide p?
True
Let o be 5/(15/6) + -13. Let x = -2 - o. Is x a multiple of 3?
True
Let x(o) be the first derivative of o**4/4 + 2*o**3 + o**2 + o - 2. Does 13 divide x(-4)?
False
Suppose l + 0 = 4. Suppose -l*v + 40 = -0*v. Is 10 a factor of v?
True
Suppose -4*c + 3*c - b = 0, 3*c + b - 4 = 0. Suppose c*r + 36 = 4*r. Does 9 divide r?
True
Let l = -284 + 738. Does 52 divide l?
False
Suppose -n - 4*n = -320. Suppose 4*r - n = 3*i, 3*i + 2*i = -4*r + 96. Suppose -p = -2*p + r. Does 19 divide p?
True
Let n(w) = 20*w**3 - 8*w**2 + 6*w - 6. Suppose 3*a + 0*a - 21 = 0. Let p(l) = 20*l**3 - 7*l**2 + 5*l - 5. Let g(k) = a*p(k) - 6*n(k). Is g(1) a multiple of 12?
False
Let t(u) = -2*u + 35. Is t(16) even?
False
Does 20 divide 225/(-10)*(-2 + (-232)/20)?
False
Suppose -5*m = -0*m - 2*v - 68, 16 = -4*v. Is m a multiple of 6?
True
Let c be 7/(7/6) - -1. Suppose -2*z = -c - 23. Does 4 divide z?
False
Let g be (-1068)/30 + (-3)/(-5). Let j = g - -49. Does 7 divide j?
True
Let o(v) = -v**3 + 5*v**2 + v - 3. Let d be o(5). Suppose -4*k - 3*r - d*r + 19 = 0, -2*k - r + 11 = 0. Is (-4)/6 + 64/k a multiple of 5?
True
Let l(o) = 5*o**2 + o - 1. Let h be l(1). Suppose 3*s - h*s + 22 = 0. Is 4 a factor of s?
False
Let c(g) = g**3 - 7*g**2 - 9*g + 9. Let l be c(8). Suppose y = 2 + l. Suppose -y*z + 5 = -13. Does 4 divide z?
False
Let m be (-6 + 6)/(-1 - 0). Suppose m = -4*g + 9 + 7. Suppose 2 = g*r - 66. Does 12 divide r?
False
Let g be (-472)/(-12) - (-4)/6. Suppose -j - 20 = -2*q, 3*j + 0*j + g = 4*q. Let a = q + -2. Does 4 divide a?
True
Suppose -5*z + 3*j = -13, -2*z - 5*j + 39 - 9 = 0. Suppose -5*i + 16 = m + 1, -75 = -z*m - 4*i. Does 9 divide m?
False
Suppose -2*v = 13 - 67. Does 15 divide v?
False
Suppose -12 = -6*m + 3*m. Suppose -m*q + n = 5*n - 12, -3*n = 2*q - 3. Does 6 divide q?
True
Let f be 4/(-18) + 35/(-45). Let y(p) = -49*p. Let x be y(f). Suppose -x = -5*t + 2*r, -2*t + r + 11 = -t. Is 9 a factor of t?
True
Is ((-4)/12)/((-1)/84) a multiple of 6?
False
Is 13 a factor of -1 + 39 + (4 - 3)?