) a multiple of 14?
False
Suppose -94 - 35 = -3*t. Suppose -3*k = 5*b - t, -k + 9 = b - 0. Is 8 a factor of b?
True
Does 21 divide (-2 - -44)*(-5)/(-10)?
True
Let v = 6 - 1. Does 5 divide v?
True
Let n = 16 + -36. Is 9 a factor of (-8)/n - 1315/(-25)?
False
Let w = -8 + 12. Suppose -210 = -5*z - 3*y, w*y = -5*z + 161 + 44. Does 15 divide z?
True
Let g be 57/12 - 3/(-12). Suppose -3*v + 189 = g*q - 24, -2*q + 3*v + 81 = 0. Is 21 a factor of q?
True
Let g(a) = -13*a + 2. Let u be g(-7). Let i = 133 - u. Is i a multiple of 10?
True
Let i be (-10 - -4)*4/(-3). Suppose -3*j + i*j + 15 = -3*v, -3*j - 9 = 2*v. Suppose -3*w + 56 = -2*n, -4*w + 5*n - 2*n + 73 = v. Does 11 divide w?
True
Suppose -598 = -5*u - 118. Is u a multiple of 32?
True
Let g(j) = -j. Let t be g(2). Let b be (17 - 8)*(-2)/t. Let w = b + -4. Is w even?
False
Suppose -f = -1 + 7. Let o = 37 + f. Is 11 a factor of o?
False
Suppose 0 = 4*x - 8, q + q + 3*x = 14. Suppose 3*i - 2 = 13, q*v - 3*i = -3. Let j(s) = 2*s - 1. Does 5 divide j(v)?
True
Let a = 134 + 65. Does 31 divide a?
False
Is -78*((-2)/15 + 91/(-105)) a multiple of 13?
True
Suppose -19 = -4*u + k + 18, 0 = -2*u - 2*k + 26. Does 10 divide u?
True
Let o be 2/(-4) + (-98)/(-4). Let n be o/13 - (-8)/52. Does 2 divide n/(-3)*(-60)/8?
False
Suppose 6 = 3*v, 0 = -5*i - 2*v - 1. Let c(g) be the second derivative of -9*g**5/5 - g**4/12 - g**3/6 + 4*g. Is c(i) a multiple of 15?
False
Suppose -10*k + 9*k = -24. Is k a multiple of 6?
True
Let j be (-1)/(3 + (-30)/9). Suppose 0 = -4*a + 3*c + 57, -a = 4*a + j*c - 105. Is a a multiple of 18?
True
Let a(g) = -2*g**3 - 3*g**2 - 3*g + 2. Let y be a(-3). Is 2 - (0 + -2 - y) a multiple of 14?
True
Let c(z) = -16*z**2 + 11*z - 5. Let b be c(7). Is b/(-16) - (-2)/(-4) a multiple of 17?
False
Let k be -3*(-1 + 16/6). Let v(p) = p**3 + 5*p**2 - 2*p - 2. Let j be v(k). Is ((-45)/(-12))/5*j a multiple of 4?
False
Suppose -7*m + 198 = -222. Is 30 a factor of m?
True
Does 7 divide (1512/(-81))/(4/(-6))?
True
Let r = 5 + -3. Let o(p) = 20 - r*p**3 - p**3 + p + 2*p**3. Does 10 divide o(0)?
True
Suppose -2*d - 2*k + 279 = k, d - 5*k - 133 = 0. Does 23 divide d?
True
Is 30 - ((4 - 5) + -3) a multiple of 7?
False
Suppose -321 = -4*n - 81. Is n a multiple of 12?
True
Let g = 10 + -3. Does 7 divide g?
True
Suppose -i = 3*k - k + 25, 48 = -2*i - 2*k. Let v = i - -33. Is v a multiple of 7?
False
Let h(a) = a - 17. Let j be (0 - -1)/(1/4). Let s(u) = -u + 16. Let c(n) = j*s(n) + 3*h(n). Is c(7) a multiple of 4?
False
Let g(s) = 5*s**2 + s + 4. Is g(-2) a multiple of 11?
True
Let f = 205 - 115. Is f a multiple of 30?
True
Let x be 2/6*96/4. Let a be ((-10)/x)/((-3)/12). Suppose 0*h + a*h = 65. Is h a multiple of 9?
False
Let n(b) = -b + 14. Is 21 a factor of n(-23)?
False
Let j be 34/6 + (-2)/3. Let o = -3 + j. Suppose 2*k - 16 = o*a, -7*a + 15 = -2*a. Is k a multiple of 9?
False
Let j(p) be the third derivative of p**5/60 + p**4/24 + p**3/6 + p**2. Is 7 a factor of j(-3)?
True
Let a be 22/4 - (-2)/(-4). Suppose -3*l + 124 = i, 5*i = -a*l - 86 + 286. Is 17 a factor of l?
False
Suppose -41 = -b + 3. Does 22 divide b?
True
Suppose -3*u = 8 + 10. Let c(x) be the third derivative of -x**5/60 - 5*x**4/24 + 4*x**3/3 + x**2. Is 2 a factor of c(u)?
True
Let a(u) = u**2 + 4*u + 3. Does 12 divide a(-7)?
True
Does 29 divide ((-33)/(-55))/(2/290)?
True
Let u = -54 - -60. Is u a multiple of 6?
True
Let t(u) = u**3 - 5*u**2 + 3*u - 7. Let z be t(5). Suppose 24 = 2*c + 2*r, -z = -5*r + 12. Does 8 divide c?
True
Is 135 - (10 + -4) - (-6)/(-2) a multiple of 21?
True
Suppose 3*n + 6 = -9. Let x(m) = m**3 + 7*m**2 + 2*m + 2. Let t be x(n). Suppose 3*o - 3*d - t = 0, -o = -2*d - 16 - 1. Does 11 divide o?
True
Suppose -3*b - 17 = -4*b + 3*h, -4*b + 4*h + 60 = 0. Is b a multiple of 14?
True
Let u be 1/(16/(-14) + 1). Let m(i) = 6*i**2 - 2*i - 4. Let x be m(3). Let z = x + u. Does 22 divide z?
False
Let h be (4/6)/((-16)/(-120)). Suppose 0 = -3*w - 4*v + 31, h*w - 5*v = -v + 41. Is w a multiple of 9?
True
Is 4/(-6)*(-150)/4 a multiple of 11?
False
Let c(a) = a**3 + 7*a**2 + 7*a + 8. Let i(z) = 2*z**3 + 13*z**2 + 13*z + 15. Let k(v) = 5*c(v) - 2*i(v). Let n be k(-8). Does 14 divide (39/n)/((-6)/(-8))?
False
Let r be 2/(-6) - 2/(-6). Suppose 5*s = r, -5*c + 0*s = s - 155. Does 23 divide c?
False
Suppose -2 = p - 0. Is (-6*5 + 2)/p a multiple of 12?
False
Let y(p) = -p**3 - 13*p**2 + 12*p + 6. Does 18 divide y(-14)?
False
Let u(l) = -4*l**2 - 10*l + 6. Let v(b) = -3*b**2 - 9*b + 5. Let g(o) = -2*u(o) + 3*v(o). Is g(-7) a multiple of 3?
True
Let h(w) = -2*w - 2. Let k be h(4). Let p = k + 22. Suppose -5 - p = -g. Is 10 a factor of g?
False
Let t(p) = -112*p - 2. Does 16 divide t(-1)?
False
Let w(j) = 5 - j**3 - 9 - 2 + 8*j**2 - 6*j. Let o be w(6). Does 10 divide (2 - -1)*o/9?
True
Let u be (-20)/12*12/(-2). Suppose b - u = -b. Is 4 a factor of b?
False
Suppose -3*r = -12, y - 2*y - 17 = 5*r. Let z = y - -52. Is 5 a factor of z?
True
Let q(o) be the third derivative of o**5/60 - o**4/24 + o**3/3 - o**2. Is q(-4) a multiple of 11?
True
Let l be (-1 - (140 + 3)) + 3. Is 15 a factor of l/(-9) - 4/6?
True
Let o(r) = 3*r - 6. Let d be o(5). Let p be -1 - (-6)/d*-3. Does 10 divide (24 - (-3)/p)/1?
False
Suppose -299 - 178 = -9*f. Is 23 a factor of f?
False
Suppose 0 = 4*i + 8, -7*b + 2*b + 4*i = -233. Is b a multiple of 13?
False
Let f(a) = a**2 - 7*a - 12. Let i be f(9). Suppose p - 10 = i*p. Is 12 a factor of 24 + (1 + 0)*p?
False
Suppose -5*d - 6 - 39 = 0. Let j be 51/d*(3 + 0). Let p = j - -30. Does 13 divide p?
True
Suppose -2*a - a - 72 = -2*b, 18 = b + 3*a. Suppose 2*c - 3*r + 1 = -12, -2*c - 3*r = 43. Let k = c + b. Does 5 divide k?
False
Let q(s) be the second derivative of s**5/20 + s**4 - 7*s**3/3 + 9*s**2/2 + 4*s. Does 7 divide q(-13)?
False
Let j = 26 + -7. Does 5 divide j?
False
Let z = 54 - 18. Does 18 divide z?
True
Suppose -2*p = -6*p - 16. Let w be (-97)/(-4) + 1/p. Suppose -3*q + 96 = -w. Does 20 divide q?
True
Suppose -r - 20 = -5*r. Suppose k + r*s + 60 = 3*k, -2*k = -2*s - 60. Is k a multiple of 24?
False
Let u(h) be the third derivative of -h**4/12 + 5*h**3/6 - 4*h**2. Does 6 divide u(-7)?
False
Let m = -116 - -188. Is m a multiple of 23?
False
Let f be (5 - 7) + 1*3. Let y(k) = 3 + 2 - f + 5*k. Does 19 divide y(3)?
True
Let n be -34 + 2*(2 + -1). Let m be 5*-1*n/(-20). Let l = m - -16. Does 4 divide l?
True
Let u be ((-1)/(-2))/(1/194). Let l = u + -69. Does 14 divide l?
True
Let v = -53 + 146. Does 31 divide v?
True
Is ((-92)/(-10) - 6)*5 a multiple of 8?
True
Let i = 0 - 1. Is 13 a factor of 17 + 0 + i + 2?
False
Suppose -1 = -t, -5*t - 61 - 36 = -3*k. Suppose -4*d = -2*m - 0*d + k, 5*d = 3*m - 51. Is 17 a factor of m?
True
Let t = 19 - -8. Is 12 a factor of t?
False
Let o(i) be the third derivative of -i**4/8 - 5*i**3/6 - 2*i**2. Does 7 divide o(-4)?
True
Suppose -b + 5*d = -19, -5*b + 41 + 34 = -5*d. Suppose 3*x + 3*c = 2*x + 7, -2*x - b = -c. Is 3 a factor of (-19)/(-5) - 1/x?
False
Let k be 1/(-1) + 4 + 65. Suppose 163 = 5*g + k. Let n = g - 9. Is n a multiple of 4?
False
Suppose -3*l = -5*x + 2*l - 115, 4*x = -l - 117. Let w be x/3*3*-1. Suppose 8 - w = -4*q. Does 5 divide q?
True
Let y(q) = q. Let d be y(3). Suppose 2*j - 51 = -8*z + d*z, 32 = j - 4*z. Suppose 3 - j = -4*w - 3*m, 3*m = 5*w - 65. Is 7 a factor of w?
False
Suppose 129 = 4*u - 23. Is 19 a factor of u?
True
Suppose -2*i + 3 = -i. Suppose -10 = -i*j - 1. Does 2 divide j?
False
Suppose 0 = 3*k - 23 - 181. Let v = 99 + -95. Suppose 4*m + v*s = k, -3*s = -m - 0*s - 3. Is m a multiple of 12?
True
Suppose -4*z + 3*v + 15 = 0, 5*v - 10 = -4*z - 3. Is z/(-6) - 108/(-8) a multiple of 10?
False
Suppose 2*w = -26 + 158. Suppose 0 = 5*v - 44 - w. Does 22 divide v?
True
Let i be -1 + 123/((-3)/(-1)). Suppose i = -3*b + 136. Let a = 58 - b. Is a a multiple of 13?
True
Suppose -g + 70 = g. Is g a multiple of 19?
False
Let m = -8 - -12. Suppose -5*n + m + 11 = 0. Suppose n*p = p + 84. Is p a multiple of 14?
True
Let x(f) = -f**2 + 4*f - 3. Let w(v) = 2*v + 1. Let t be w(1). Let u be x(t). Suppose -5*m + 3*h + 79 = u, -83 = -5*m - h + 2*h. Does 17 divide m?
True
Let k(b) = 49*b - 10. Does 19 divide k(4)?
False
Is 11 a factor of -1*(-12)/(-8)*-216?
False
Suppose 