14. Is 9 a factor of (-8 + 2/v)*-4?
False
Is 7 a factor of ((-15)/(-6) - -1)/(34/3876)?
True
Let c be -2 - (-1 + -2) - -3. Suppose -2*b + 2 = -c. Does 3 divide b?
True
Suppose c = f - 43, 83 = f + f - 3*c. Let v = 104 + f. Is 15 a factor of v?
True
Suppose 3*l - 3855 = 4*o - 1436, 0 = o + 4. Is 38 a factor of l?
False
Let b = 958 + 1078. Is 79 a factor of b?
False
Let z(s) = -21*s + 2. Let a be z(-1). Suppose -w + a = -7. Is 10 a factor of w?
True
Let s(k) = k**3 - 13*k**2 + 14*k - 15. Let c be s(12). Suppose 2*u = -2*g + 7 + c, -3*u - g + 14 = 0. Suppose 2*v + u*v - 375 = 0. Does 15 divide v?
True
Let i = 1376 + -407. Is 51 a factor of i?
True
Suppose -22 = -2*s + 4*n - 3*n, -14 = -2*s + 5*n. Suppose 0 = 4*c + 12 + s. Is 21 a factor of (-70)/4*c/5?
True
Let p be (-21)/5 + (-1)/(-5). Let y(r) = -r**2 - 6*r - 5. Let t be y(p). Suppose -3*c + 120 = t*m, 0*c + c + 116 = 3*m. Is 11 a factor of m?
False
Let a = 29 - 15. Let j = a - 6. Let x(z) = -z**2 + 8*z + 7. Is x(j) a multiple of 3?
False
Let y be 27*(-1 + (-16)/(-12)). Let u be 238/(-3)*y/(-3). Suppose 0 = -5*c + u + 182. Is 21 a factor of c?
True
Let n(r) = 6*r - 10. Let p be n(3). Is (((-1296)/21)/p)/((-1)/7) a multiple of 8?
False
Suppose 40*y - 524 = 36*y. Is y a multiple of 6?
False
Let j = -10 + 12. Suppose 1 = 3*g - j*f - 1, 12 = g + 5*f. Suppose 102 = 5*a - 3*s, g*a = 4*s - 15 + 67. Does 9 divide a?
True
Let n(o) = -o**2 - 4*o + 5. Let c be n(-4). Suppose 2*q = -c*w - 47 - 79, 0 = 5*w + 5*q + 120. Let d = 51 + w. Does 25 divide d?
True
Let o(z) = 2*z + 3*z - 2*z - 4*z. Let d be o(-5). Suppose 12 = -d*a + 127. Is 13 a factor of a?
False
Let r = 1539 + -148. Is r a multiple of 15?
False
Let c(d) be the third derivative of d**5/60 - d**4/24 + 2*d**3/3 + 11*d**2. Does 4 divide c(4)?
True
Let i = 606 - 358. Suppose -3*h - 3*g + i = -4*g, g = 5*h - 410. Suppose 0 = -u, 5*u + 28 = -y + h. Is 16 a factor of y?
False
Let m(p) = 5*p**2 + 51*p + 8. Does 14 divide m(-13)?
False
Suppose 13*i + 550 = 3*d + 11*i, 5*d = -i + 908. Does 3 divide d?
False
Suppose -x + 7 = -16. Let m = 131 + -101. Let c = m - x. Is 7 a factor of c?
True
Let c = -5 + -15. Let i = c - -32. Does 4 divide i?
True
Suppose 0*k - k = 0. Does 4 divide 4 + -1 - k - -9?
True
Let l(u) = -2*u**2 - 8*u - 4. Suppose 10 = -5*n - 5. Let j be l(n). Suppose -j*c = 2*c - 240. Is 20 a factor of c?
True
Suppose 25 = q - 4*d, 0 = -2*q + 2*d + 56 + 12. Is 2 a factor of q?
False
Let f(i) = 8*i**2 - 5*i - 9. Let w be f(-6). Let z = w + -134. Does 16 divide z?
False
Let y = -14 - -159. Is 10 a factor of y?
False
Does 5 divide 3/12 + (-5508)/(-48)?
True
Suppose -3*n = -1284 + 45. Suppose -2*w = 5*h - n, -4*h - h + 410 = 5*w. Does 23 divide h?
False
Let v be 1*1/2*10. Suppose -v*p - 4 = 36. Let r(g) = -g - 6. Is 2 a factor of r(p)?
True
Let v(h) = 148*h**3 - 5*h**2 + 8*h + 4. Is 74 a factor of v(2)?
True
Suppose -f = f. Suppose f = -l + 3*l - 4, -74 = -4*v + 5*l. Suppose 4*s - v = 103. Does 8 divide s?
False
Let c be (-3 - 2)/(10/(-4)). Suppose 2*y - 106 = 4*m, 0*y = -3*y + c*m + 151. Is 7 a factor of y?
True
Let p = 40 - -311. Is 9 a factor of p?
True
Let m = 14 + 0. Suppose -4*k + 5*t + 29 = 0, 0 = 5*k - 3*t + m - 34. Is -6*k*22/(-3) a multiple of 22?
True
Let i(v) = 9*v**3 - 2*v**2 + 4*v - 3. Let u be i(2). Let n(b) = -b**2 - b + 24. Let o be n(0). Suppose 4*z - 55 = a, u - o = 2*z + 3*a. Is 5 a factor of z?
True
Suppose 89 = 4*k - 615. Is 44 a factor of k?
True
Let g(s) = -2*s**2 - 11*s - 2. Let m be g(-5). Suppose -3*p - 4*r = -4, -r - 12 = -4*p - m*r. Suppose -p*b = -7*b + 90. Is b a multiple of 10?
True
Does 59 divide (3735/(-12))/(9/(-24))?
False
Let q(d) = 2*d**2 + 7*d + 6. Let a be q(-5). Let m = 32 - 61. Let z = a - m. Does 25 divide z?
True
Suppose 154*i = 179*i - 39500. Is 10 a factor of i?
True
Let m(v) = -v**2 - 6*v + 4. Let j be m(-5). Let f(c) = -c**3 + 10*c**2 - 10*c + 9. Let d be f(j). Suppose d = 3*r + 2*r - 120. Is 11 a factor of r?
False
Suppose 13 - 1498 = -5*t. Does 33 divide t?
True
Let i(l) = -4*l - 1 + l**2 + 3*l + 0*l. Let w be i(-2). Suppose r - w = 2*a - 4*a, -3 = -4*a + 5*r. Is a even?
True
Let l be (-12 + 9)/(2 - (-698)/(-346)). Does 31 divide (2 - 24/4) + (l - 1)?
False
Suppose 0 = -h - u + 241, 5*u - 490 = -4*h + 477. Let b = -138 + h. Is b a multiple of 11?
False
Does 17 divide 1/(-9) - 10120/(-198)?
True
Let w = 270 - 226. Does 3 divide w?
False
Suppose -z + 225 + 126 = 0. Is z a multiple of 13?
True
Let b = 1402 - 952. Is b a multiple of 25?
True
Let n = 651 - 194. Is n a multiple of 8?
False
Let v = -1089 + 1786. Is v a multiple of 33?
False
Suppose 11*a + 126 = 16*a - 3*x, -x = -3*a + 78. Let k(o) = -34*o - 3. Let r be k(-5). Suppose r = 4*t + a. Is 26 a factor of t?
False
Let g = 13 + -10. Suppose -180 = -2*u - g*u. Suppose 2*d = -0*d + u. Does 9 divide d?
True
Let l = 171 - 153. Does 3 divide l?
True
Let w(n) = -79 - 100 + 158 + 20*n. Is 12 a factor of w(7)?
False
Suppose 0 = -2*a - 4*l - 91 + 645, 1128 = 4*a - 2*l. Does 4 divide a?
False
Let x = -98 + 266. Is 10 a factor of x?
False
Let x(o) = o**3 + 15*o**2 + 2. Let r be x(-15). Let g be (4/9)/(r/9). Suppose t = -4*d - 4*t + 21, 2*d - 10 = -g*t. Is 3 a factor of d?
False
Suppose -2*n + 1 = -9. Suppose -3*v + v = 4*o, n*v = 4*o. Suppose v = 5*u + x - 41, 3*u + 5*x + 3 - 32 = 0. Is 3 a factor of u?
False
Is ((-54)/(-1))/((-100)/(-3150)) a multiple of 63?
True
Suppose 5*c - 843 - 565 = 2*i, c + i - 283 = 0. Is 6 a factor of c?
True
Suppose -5*r = 302 + 168. Let l = 62 + r. Let a = l + 83. Is 17 a factor of a?
True
Let o be (-2)/1*(-132)/6. Suppose 3*w = 79 + o. Let a = w - -30. Is a a multiple of 30?
False
Let s be ((-18)/(-6))/(0 + 0 + 3). Is s + (-16)/18 + 4340/63 a multiple of 23?
True
Suppose h + 5*h + 18 = 0. Is 35 a factor of (-869)/22*(h - -1)?
False
Let f = -571 + 835. Is 12 a factor of f?
True
Suppose 15 = o - 2. Suppose 4 + o = -v. Is ((-120)/9)/5*v a multiple of 15?
False
Does 3 divide (-10)/((363/(-51) - -4) + 3)?
False
Let y be (1/(-2)*3)/(93/(-310)). Suppose 0 = -l - 5*s + 14, y*l + 5*s = 2*l + 72. Does 4 divide l?
False
Let q be 4*4/6*3/2. Suppose 0 = o + q*o - 495. Is 9 a factor of o?
True
Let j = -59 - -866. Is 25 a factor of j?
False
Let p(j) = 12*j**3 - 17*j**2 + 6*j + 4. Is 23 a factor of p(4)?
False
Let b be -4 + 573 - -4 - 0. Suppose -4*l + b = -95. Let h = l - 101. Is 11 a factor of h?
True
Suppose -20*w = 5*w - 2600. Does 26 divide w?
True
Let r(k) = 5*k + 3. Let l(j) = -2*j - 1. Let s(d) = 8*l(d) + 3*r(d). Is s(-6) a multiple of 7?
True
Let o = -295 + 351. Is o a multiple of 28?
True
Suppose -2*w + z + 677 = 0, -4*z + z + 1359 = 4*w. Is 9 a factor of w?
False
Suppose -5*t + 69 = -21. Let f = -10 + t. Is f even?
True
Let y be -4 + (-4)/4 + 0. Let n = y + 7. Suppose 88 = 6*k - n*k. Does 12 divide k?
False
Let m = -363 - -633. Suppose -3*i = -2*i - 2*g - m, -i + 273 = -3*g. Does 24 divide i?
True
Suppose -4*f - 10 = -6*f. Let r(m) = -m**2 + 6*m - 3. Let l be r(f). Suppose 0 = l*n - 4*n + 24. Is n a multiple of 8?
False
Suppose -24 = n - 2*n. Let k = n - 23. Is 9/((4/16)/k) a multiple of 18?
True
Let j(v) = 3*v + 15. Suppose k + 3*k = -2*c - 2, 3*k + 14 = c. Does 17 divide j(c)?
False
Suppose 2*i + 14 = 4*c, 0 = -3*i - 3 + 18. Suppose c*g - 90 = g. Is (-101)/(-6) - (-3)/g a multiple of 11?
False
Let j be 3/(-6)*22*-2. Let w = -21 + j. Does 7 divide (-12)/(-5 + w) + 28?
False
Let t = -31 + 1. Is ((-8)/(-6) + -2)*t a multiple of 6?
False
Let w be 340/16 - 9/(-12). Let f = 14 - w. Is (-2)/f - (-972)/16 a multiple of 16?
False
Suppose 79*j = 83*j - 4, -2*d + 546 = 2*j. Is 17 a factor of d?
True
Let g be 4/(0 + 3/9). Suppose 8*h + 80 = g*h. Suppose 4*v = i - h, 3*i + 32 - 148 = -2*v. Does 17 divide i?
False
Suppose 0 = -3*k - 2*k + 5, 4*a - 5*k + 17 = 0. Is (140/(-25)*6)/(a/10) a multiple of 16?
True
Let r be 40/7 - (-2 + 36/21). Is 14 a factor of 9*(-10)/(-6)*r?
False
Let g = 293 - -207. Does 50 divide g?
True
Let g = -113 + 121. Suppose -g*l + 1071 = -5*l. Is 17 a factor of l?
True
Suppose 232 = i - 200. Is 6 a factor of i?
True
Suppose -19*g = -8064 - 11221. Is 35 a factor of g?
True
Let l(p) = -2*p**3 + 33*p**2 - 6*p + 10. Is l(16) a multiple of 13?
False
Let t = -215 - -437. Let m = 2 + -2. Suppose m*y - t = -3*y. Is y a multiple of 2