*k + 8. Suppose -42 + m = -b. Does 16 divide b?
True
Let a(b) = -b**2 - 14*b + 9. Let v be a(-11). Suppose 0 = 4*g - 5*g + v. Is 12 a factor of g?
False
Let r(j) = 48*j**3 + j**2 - 2*j + 1. Suppose 4*c + f = 4 - 2, 0 = 3*c + 5*f + 7. Does 20 divide r(c)?
False
Let r be -9 - 1*(-3)/(-3). Let u = -7 - r. Suppose -2*j - 5*f + 64 = 0, 2*f - 3 = u*j - 99. Is 13 a factor of j?
False
Let u be (1*-1)/((-2)/10). Let i be (-13)/(-5) - (-2)/u. Suppose 2*g - 19 = i*j, 0*j - 42 = -5*g + 2*j. Does 4 divide g?
True
Let i = -1 + 5. Suppose -4*l = -2*w - 9*l + 94, -i*w - 3*l = -160. Let p = -26 + w. Is p a multiple of 5?
False
Suppose 3*p + 0*n - 4*n - 21 = 0, 0 = 2*p + 4*n + 6. Let m = 4 + p. Is m even?
False
Let b(r) = -r**3 - 3*r**2 - 2*r + 3. Let d be b(-4). Let z = d - 2. Does 8 divide z?
False
Is (21 - 14)*(1 + 2) a multiple of 3?
True
Is 6 a factor of 28 + (4 + -2 - 2)?
False
Suppose 2*n - 2*a = 15 + 3, 5*a = -20. Suppose v - 3*v + 12 = 3*s, n*v - 13 = s. Suppose -b - 21 = -s*i, -5*i + 5*b = -64 + 19. Is 12 a factor of i?
True
Let d(i) = -i**3 + 8*i**2 + 3*i + 9. Let q be d(9). Is 22 a factor of (3 - 5) + (-1 - q)?
False
Let z = -12 - -18. Suppose 3*q - 3 = -z*a + 3*a, -a + 31 = -5*q. Does 6 divide a?
True
Suppose 289 + 250 = 11*b. Is 23 a factor of b?
False
Let z be -2 - 884/4 - 3. Is 13 a factor of z/(-7) - 28/98?
False
Suppose 2*v + 170 = 4*a, -2*v + 3*v = a - 45. Let o = a + -15. Is 13 a factor of o?
False
Let a = 9 + 47. Is a a multiple of 14?
True
Let o = 74 + -29. Does 5 divide o?
True
Let r = 1 - -3. Suppose 43 = 5*x - 2. Suppose -r*s + x*s = 55. Is 11 a factor of s?
True
Let y be (-8)/6*18/(-12). Is 4*(3 - y/(-4)) a multiple of 14?
True
Let c be (-3)/(3/(-21) + 0). Is 5 a factor of c/(21/6 - 2)?
False
Suppose 4*k = s + 2, -3*k + 23 = 4*s - 26. Suppose -2*y + 18 = -3*x + 64, x = 2*y + s. Is x a multiple of 18?
True
Suppose -2*i + 0*j + 6 = -j, 8 = -4*j. Let f(c) = -i*c - 7 + c - c. Is f(-6) a multiple of 5?
True
Let m(c) = c**2 - 6*c + 5. Let y be m(5). Suppose -2*u - u + 12 = y. Suppose -u*h = -h - 39. Does 8 divide h?
False
Let p(d) = d**3 - 6*d**2 - 12*d + 9. Let m be p(8). Suppose -2*r + 6*r = 16. Suppose 0 = r*c - m + 5. Is 4 a factor of c?
False
Suppose 3*f = 4*j - 329, -f + 167 = 3*j - 96. Suppose -3*s + j = -142. Is 30 a factor of s?
False
Let i be 5/1 + (-3 - -2). Suppose -i*j = -10 + 2. Suppose 0 = -j*t - t + 36. Is 12 a factor of t?
True
Suppose -2*w - 3*f + 4 + 6 = 0, -3*f + 6 = 0. Suppose -w*l + 4 = 8. Let t = 6 + l. Is 4 a factor of t?
True
Does 17 divide ((-42)/9)/((-12)/54)?
False
Let g(k) = 3*k**3 + 6*k**2 - 4*k - 2. Let v = 18 + -25. Let r(o) = -2*o**3 - 4*o**2 + 3*o + 1. Let n(f) = v*r(f) - 5*g(f). Is 6 a factor of n(-3)?
False
Let w be (-15)/(-3) - (-1)/1. Let m = 194 - 89. Suppose w*n - m = n. Does 15 divide n?
False
Suppose 5*y - 2*y + 4*f = 140, 5*f + 20 = 0. Is 23 a factor of y?
False
Let j = 68 - 14. Is 9 a factor of j?
True
Suppose 4*q + g - 10 = 0, -g = 3*q - 0*g - 7. Suppose -q*j - 54 = -5*j. Does 6 divide ((-36)/j)/(2/(-12))?
False
Let u(h) = h**3 + 3*h**2 - 3*h - 3. Let m = 21 - 12. Suppose d + 5*o = -18, 5*o = 2*d - 0*o - m. Is u(d) a multiple of 2?
True
Let g(j) = j + 9. Let b be g(-4). Suppose -5*z + m + 197 = 0, 3*z - 29 = 2*z - b*m. Does 10 divide z?
False
Let l(t) = 1. Let z(f) = f**3 - 7*f**2 - f + 10. Let p(b) = 5*l(b) - z(b). Does 14 divide p(6)?
False
Let u be (-8)/28 + 72/7. Let k be (96/(-10))/((-2)/u). Let x = -25 + k. Is x a multiple of 14?
False
Let o(r) = -26*r + 9. Let t be o(7). Let z = -87 - t. Suppose 3*f - 7 = -a, z = 2*a + 3*a - 2*f. Does 5 divide a?
False
Let x(g) = g**2 + 13*g + 4. Is x(-14) a multiple of 9?
True
Let o be (-18)/(-5) + 4/10. Suppose 18 = 5*m - 2*f - 15, 2*m - o*f = 26. Is m even?
False
Let y(c) = -c**3 + 10*c**2 + 15*c + 12. Is y(11) a multiple of 20?
False
Let n(y) = -3*y - 7. Let d be n(7). Let z = 8 - d. Does 18 divide z?
True
Suppose -q + 4*i + 385 = 4*q, -3*q + 5*i = -218. Is 4 a factor of q?
False
Let z(r) = -r**2 + 9*r + 11. Let v be z(9). Does 15 divide 0 + 1 + 3 + v?
True
Let v = 174 + -90. Does 12 divide v?
True
Is 2 a factor of (-1 + 1 + -1)*-2?
True
Does 11 divide (-5)/((-15)/57) - -4?
False
Suppose -4*r + 18 = -2*b, r - b = -5*b. Suppose 3*k - 30 = -4*j, -41 = -r*k - j - 4*j. Is k a multiple of 14?
True
Is (-154)/(-7) - 4/(-2) a multiple of 4?
True
Suppose -4*l = -5*l + 17. Does 4 divide l?
False
Let i(g) = g**2 - 5*g - 6. Is 20 a factor of i(11)?
True
Suppose 3*c - 3*u = 2*u + 2, -4*c + 3*u + 10 = 0. Let p(f) = 3*f - 6. Does 6 divide p(c)?
True
Suppose 7*f - 3*f - i = -10, 0 = f + 5*i + 13. Let a(o) = o**3 + 4*o**2 + 4*o + 2. Let l be a(f). Does 17 divide 0 - -56 - l - 0?
False
Let i = -6 - -29. Suppose i = -3*o + 53. Does 7 divide o?
False
Suppose 4*a = 3*m + 15, -4*a + 2*m + 2 + 8 = 0. Suppose 0 = -4*o - a*f + 4*f + 208, 2*o - 104 = 4*f. Is 9 a factor of o?
False
Is 6 a factor of (2/(-5))/(1/(-15))?
True
Suppose -10*k + 125 = -5*k. Does 25 divide k?
True
Is (-122)/(-4) - 2/20*5 a multiple of 7?
False
Suppose -40 = 2*a - 14. Let s = a + 28. Suppose 4*z - s = z. Is z a multiple of 2?
False
Let p = 441 - 246. Is 39 a factor of p?
True
Let t = 18 - 11. Let w = 11 - t. Suppose -2*a = 3*r - 13 - 65, a + w*r = 34. Does 14 divide a?
True
Suppose 4*o = k + 13, -2*o - 2*k = o + 4. Suppose t = 5*t - o*v - 136, 3*v - 156 = -4*t. Does 15 divide t?
False
Let f(m) be the second derivative of -m**3 + 6*m**2 + 2*m. Does 10 divide f(-4)?
False
Let z = 186 - 92. Is z a multiple of 10?
False
Suppose -42*y + 46*y - 1176 = 0. Does 14 divide y?
True
Suppose 5*r - 30 = -0*r. Suppose r*h = 4*h. Suppose -5*k + 25 = -h*k. Is 2 a factor of k?
False
Suppose -4*m - 2*q = 6, -7*m = -2*m + 4*q. Does 12 divide (52 + m)*2/4?
True
Suppose 3*f + 23 = 4*j, -f + 1 - 6 = 0. Let x(b) = b**2 - 4*b - 5. Let v be x(6). Suppose v*l = j*l + 125. Does 15 divide l?
False
Let o(c) = -c**2 - 27*c + 42. Is o(-27) a multiple of 9?
False
Let y(l) = -l**3 - 1 - 2*l + 12 + l + 0*l**3 + l**2. Let p = 1 - 1. Is y(p) a multiple of 11?
True
Suppose 4*h + 2*y - 362 = 7*y, -5*h = 2*y - 436. Let g = -46 + h. Does 21 divide g?
True
Let c(l) be the first derivative of l**2/2 + 8*l - 2. Let s be c(-6). Suppose -b - 3*g + s + 13 = 0, 0 = 4*b + g - 49. Is 8 a factor of b?
False
Suppose 13 = 4*k - 47. Is k a multiple of 3?
True
Suppose 2*q = 5*q - 15, 2*q - 141 = a. Let b = a - -190. Is 13 a factor of b?
False
Suppose -j + 37 = 6. Does 7 divide j?
False
Let m(q) = 2*q**2 + 5*q + 1. Let s = 12 - 16. Does 12 divide m(s)?
False
Let g = 5 - 2. Suppose 18 = 3*r + g*i, -5*r + 38 = i + 2*i. Does 7 divide r?
False
Suppose o - 262 = -7. Suppose -o = -k - 4*k. Is k a multiple of 17?
True
Let o be 3/12 + (-22)/(-8). Is (-2 + o)/((-2)/(-14)) a multiple of 7?
True
Let q = 3 + 1. Let g(n) = 3*n**2 + 3*n - 6. Is g(q) a multiple of 14?
False
Suppose -5*w = -o, 0 = -3*o - 4*w - w + 40. Let z = 18 - o. Suppose -5*i - 1 + 6 = -5*u, 5*i - z = 4*u. Is i a multiple of 4?
True
Suppose -5*t + c = 13 - 210, -4*t + 172 = 4*c. Is t a multiple of 20?
True
Let a = -2 - -9. Let o(q) = 5*q - 3. Let b be o(a). Suppose 2*y + 2*y = b. Is y a multiple of 8?
True
Suppose -5*q + 5*f + 26 = -q, 2*q + 4*f = 26. Suppose -2*j + 31 = q. Does 11 divide j?
True
Let k = -91 - -153. Is k a multiple of 14?
False
Is (-1508)/(-18) - (-5)/(135/6) a multiple of 28?
True
Suppose 39 = 2*m - 57. Is m a multiple of 12?
True
Is 9 a factor of 0 - (3 - 67 - -3)?
False
Suppose 5*a + 695 = 10*a. Does 16 divide a?
False
Let s(q) = q**3 + 4*q**2 - q + 2. Does 15 divide s(3)?
False
Let f be (-25)/5*10/2. Suppose -4*k + 192 = -4*h, 302 = 5*k + 4*h + 98. Let x = k + f. Is 9 a factor of x?
False
Suppose -b - 28 = 3*b. Let j = b - -12. Let v = 2 + j. Is 6 a factor of v?
False
Let f be (-6)/42 + 1065/7. Suppose -2*a = 2*a - f. Does 19 divide a?
True
Suppose 2*w + 6 = 0, -4*m + 16 = 4*w - 0*w. Suppose -35 = -3*r + r + 3*j, 5*r = 3*j + 101. Let n = r + m. Is n a multiple of 12?
False
Let n = 25 - 16. Does 9 divide n?
True
Let q be 91/26*22/1. Suppose -3*s + 85 = -q. Is 9 a factor of s?
True
Suppose 0*d = 5*d - 650. Is d a multiple of 13?
True
Suppose 0*x + x + 3*l + 13 = 0, -3*x - 4 = 2*l. Suppose x*v - 43 = 1. Is v a multiple of 13?
False
Let g(q) be the first derivative of -10*q**4 - 2*q*