 -14. Let a be 4/(-14) - (-216)/21. Let d = w - a. Is 2 a factor of d?
False
Let c(r) = -r**2 - 28*r - 39. Let t be c(-18). Suppose p + 56 = t. Does 37 divide p?
False
Let j = -28 - -80. Let l = j - 33. Suppose t - l = -3*w + w, 127 = 5*t + 2*w. Is t a multiple of 15?
False
Let m(s) = -21 + 0*s - 4*s + 2*s - 12*s. Does 35 divide m(-4)?
True
Let m(l) = 4*l**2 - 5*l - 18. Is 6 a factor of m(-4)?
True
Let z(h) = 136*h - 29. Is 24 a factor of z(4)?
False
Let j = -72 + 68. Let z(m) = -73*m + 2. Does 42 divide z(j)?
True
Suppose -3*l - 5*v - 120 = -8*l, 3*l + v - 60 = 0. Let m = l - 8. Suppose -6*y - m = -7*y. Does 11 divide y?
False
Let b(q) = -q**2 - 5*q + 316. Is b(0) a multiple of 13?
False
Let i = 523 + -295. Does 5 divide i?
False
Let u = 3671 - 2446. Is 49 a factor of u?
True
Suppose 4*n - 359 = 829. Is 11 a factor of (-10)/(-3)*n/15?
True
Suppose -4*r + 14 = -22. Let a = 30 - r. Is (17 + 1)*a/9 a multiple of 10?
False
Let s = -3771 - -5479. Is 61 a factor of s?
True
Suppose 0 = t + 4*q - 370 - 48, -2*t = 5*q - 836. Is t a multiple of 11?
True
Let c(v) = 221*v**3 - v**2 + 2*v - 1. Does 51 divide c(1)?
False
Is 15 a factor of 2/6 + 9100/15 + -7?
True
Suppose 44470 = -46*o + 203354. Is o a multiple of 11?
True
Let c(d) = d**3 - 7*d**2 - 12*d + 16. Let y be c(10). Suppose -7*l + y = -3*l. Does 24 divide l?
False
Let y(q) = -q**2 - 5*q - 1. Suppose -19*d - 15 = -16*d. Let c be y(d). Does 4 divide (16 - (2 + 1)) + c?
True
Suppose x = -k + 1, 4*x - 3*x + 9 = -3*k. Suppose x*j - 9*j = -336. Does 28 divide j?
True
Suppose -5*w - 7*w - 3*w = 0. Suppose w = 2*l - 2*t - 615 + 251, -3*l + 538 = t. Is 11 a factor of l?
False
Let m be 2/(-2)*(3 - -1). Let h be (6/4)/(3/4). Does 13 divide 0 - 26/m*h?
True
Let k = 23 + -21. Suppose -v + 342 = k*v. Is v a multiple of 6?
True
Suppose c - 5*t = -15 + 5, -c = 5*t - 30. Suppose 0 = 2*z + c, -3*z - 2*z = o + 19. Suppose o*d = 155 + 385. Does 30 divide d?
True
Suppose -5*l - 86 = -2*p, 3*p + 4*l - 83 = -0*l. Is p a multiple of 5?
False
Let j = 1458 - 472. Is j a multiple of 17?
True
Suppose -l + 1549 = -55*i + 58*i, 0 = 4*l - 5*i - 6281. Is l a multiple of 23?
True
Let u(j) = 4 + j**2 - 3 + 3*j**2. Let n be u(-1). Suppose -n*a = 2*z - 40, -4*a - 4*z - 25 + 69 = 0. Does 3 divide a?
True
Suppose -11 = -4*a - 3. Suppose 0 = 2*i, -a*o + 4*o - 32 = -4*i. Let f = 43 - o. Is f a multiple of 14?
False
Suppose 2*f - 3*u = -2*f + 63, 4*f = -3*u + 81. Does 3 divide 351/f + (-3)/2?
True
Let t(x) = x + 13. Let b be t(-8). Suppose -3*m + 266 = m + 2*g, 5*m - b*g = 295. Does 16 divide m?
True
Let v be (10/10)/(2/12). Let b be (-9)/v*(-8)/(-12). Let d = b - -8. Is d a multiple of 7?
True
Suppose -x = -4*x - 42. Let i = 12 + x. Let t(c) = -4*c**3 - 3*c**2 - c - 1. Is t(i) a multiple of 21?
True
Suppose -4*o = -9*o. Suppose o*h + 7*h = 42. Is 6 a factor of h?
True
Let p(i) = -4*i - 5. Let f = 8 - 15. Let o be p(f). Suppose 2*v + g = 4*v - 61, -v - g = -o. Is 14 a factor of v?
True
Let j = 28 + -27. Is j*((2 - 1) + 53) a multiple of 9?
True
Suppose -5*y - 1 + 11 = 0. Suppose -2*w - 10 = y*n, 4*w + 2*n + 16 = w. Let v(h) = h**3 + 7*h**2 + 5*h + 1. Is v(w) a multiple of 4?
False
Let y be ((-6)/2)/((27/(-6))/(-3)). Is 16 a factor of 69*((-1)/1 - y)?
False
Let y = -861 + 1335. Does 18 divide y?
False
Let r = -27 - -18. Suppose 3*m = -34 + 166. Let p = m + r. Is 13 a factor of p?
False
Let p = -169 + 253. Does 13 divide 0 + 1 - (-5 + 7 - p)?
False
Let i = -10 - -15. Suppose -2*b = 5*y - 51, -3*b + 2*b = -4*y + 46. Suppose g + i - y = 0. Is 6 a factor of g?
True
Let x(h) = 247*h - 6. Let b be x(2). Suppose -b = 93*o - 95*o. Is o a multiple of 61?
True
Let t(q) = 3*q**2 - 2*q - 1. Let s be t(-2). Suppose -83 + s = -2*x. Is 22 a factor of x?
False
Suppose 1997 + 31155 = 32*r. Is 74 a factor of r?
True
Let r be 39/9 - (-5)/(-15). Suppose -4*d - 44 = -y, r*y + 21 = -3*d + 178. Is y a multiple of 5?
True
Suppose 279 = 171*w - 170*w. Is w a multiple of 11?
False
Let h = 573 + -102. Is 21 a factor of h?
False
Suppose -3 = 2*b + 3*o - 2*o, -12 = -2*b + 4*o. Suppose 7*m - 3*j = 5*m + 90, -4*m + 4*j + 176 = b. Is 6 a factor of m?
True
Let d = 111 + -106. Suppose -2*k + 204 = -5*r, r = -d*k - r + 510. Is k a multiple of 34?
True
Let o(c) = 5*c**3 + 4*c**2 - 10*c + 21. Is 54 a factor of o(3)?
True
Let f(q) = -236 - 194 + 366 + 8*q. Is f(29) a multiple of 14?
True
Suppose -9*n + 27 = -6*n. Suppose -216 = n*m - 612. Is 11 a factor of m?
True
Suppose 0*s - 4*o = 3*s + 76, -3*o = 3*s + 75. Let y(t) = -3*t + 16. Is y(s) a multiple of 14?
False
Suppose -5*a + 8*c = 4*c - 380, 0 = 2*c - 10. Suppose 2*n - 90 = -4*h, 0*n - a = -3*n + 5*h. Is n a multiple of 7?
True
Let b = 2114 + -1259. Does 30 divide b?
False
Let p(s) = 6*s - 9. Let n be p(7). Let y = -21 + n. Is y a multiple of 2?
True
Let a(f) = -f**3 - 2*f**2 - 2*f - 32. Let k(j) = j**3 + j**2 + j - 1. Let u(w) = -a(w) - 2*k(w). Let c be (-2 + 2)/((25/5)/(-5)). Is 13 a factor of u(c)?
False
Let g(n) = -n**3 + 20*n**2 + 9*n - 6. Is 29 a factor of g(20)?
True
Let k be (-160)/15*18/(-8). Let j = k - 1. Is 4 a factor of j?
False
Suppose 42*h - 288 = 41*h - f, h - 304 = -5*f. Is 4 a factor of h?
True
Suppose 2046 = i + 4*l, 0*l + 5*l = 15. Is i a multiple of 6?
True
Let i = -3 - -13. Let x be 0 + -4 + 0 + i. Let w(v) = -v**3 + 8*v**2 - 3*v - 11. Is w(x) a multiple of 7?
False
Let o = 418 + -310. Does 8 divide o?
False
Suppose -24*b + 3024 = -12*b. Is b a multiple of 18?
True
Let t(g) = 2*g**2 + 10*g + 2. Let f be t(-7). Is (-8 + -1)*(f/(-9) + 0) a multiple of 8?
False
Suppose 79*l - 3078 = 61*l. Is l a multiple of 9?
True
Let p = 45 + -43. Suppose -2*m + 199 = 12*l - 7*l, -4*l + 170 = -p*m. Is 10 a factor of l?
False
Let j(k) = 2*k**3 + 13*k**2 + 3*k + 2. Let t(x) = -x**3 - 7*x**2 - 2*x - 1. Let c(y) = -4*j(y) - 7*t(y). Let l be c(-3). Let s = 16 + l. Is s a multiple of 2?
False
Let y = -45 + 31. Is (74/6)/(y/(-42)) a multiple of 6?
False
Let r(u) = 13*u**2 - 8*u - 159. Does 112 divide r(-11)?
False
Suppose 0 = 2*x - 6*h + 3*h + 1, 44 = -3*x - 4*h. Let u = 3 + x. Is u/20 + 98/8 a multiple of 11?
False
Let r(o) = 216*o**2 + 2*o + 4. Does 60 divide r(-1)?
False
Let l(u) = 14*u - 5. Suppose -7 = -4*v + 9. Suppose -13 - 7 = -v*h. Is l(h) a multiple of 13?
True
Suppose 3*y = 2*g + 9 + 9, 15 = -5*g. Suppose -4*x + 4 - 22 = f, -5*f - 10 = y*x. Suppose 0 = -5*a - 3*r + 253, 2*r = -4*a + f*a + 102. Does 10 divide a?
True
Suppose -9*p - 5158 = -13105. Does 8 divide p?
False
Suppose -15*f = -13*f - 10. Is 17 a factor of f + 81 + (2 - (-1 + 4))?
True
Let k be -6*(-1)/(-6)*-1. Suppose -25 = -b - k. Is 4 a factor of b?
True
Suppose 15*n - 12*n - 150 = 0. Suppose -14 - n = -4*z. Is 16 a factor of z?
True
Suppose 3*t - 4*v - 8 = t, v = -4. Is 9 a factor of (5/t)/((-1)/48)?
False
Suppose -2*h - n = 3*h - 22, 3*n - 26 = -5*h. Let g be (-3 + h)/(1/(-37)). Let i = -6 - g. Is i a multiple of 13?
False
Suppose 28*i + 3*q = 31*i - 11997, -q + 12001 = 3*i. Is i a multiple of 32?
True
Suppose -5*l = -5*b + 715, -5*b + 269 = -2*l - 14. Let n = -95 - l. Let w = n + -23. Is w a multiple of 6?
False
Suppose -k = 4*w - 971 - 221, -3*k + 1200 = 4*w. Is 9 a factor of w?
True
Suppose -42 = -6*t - 8*t. Suppose t*b - 171 = 3*n, 0 = b - 2*n - 7 - 54. Does 3 divide b?
False
Let u be 3/(-1) + (-193 + -5)/(-6). Let l = u - -42. Is l a multiple of 18?
True
Let p be -3 - (76 + 0)/(-4). Suppose -3*t = -i - 4*i - p, -i + 6 = 4*t. Does 9 divide 1/((-2)/9)*i?
True
Let v(o) = 5*o + 13. Let f be v(-5). Is 8 a factor of (f/18)/(2/(-168))?
True
Suppose -270*w = -274*w + 2280. Does 15 divide w?
True
Let g(x) = -5*x**2 - 9*x + 25. Let q(c) = -3*c**2 - 6*c + 17. Let f(k) = -5*g(k) + 8*q(k). Let b(p) = -p + 1. Let d(z) = -3*b(z) + f(z). Is 6 a factor of d(0)?
False
Let u = 366 - 159. Is u a multiple of 33?
False
Suppose 0*f + 38 = 2*b - f, -5*f = 2*b - 14. Let t(z) = -1 + b*z - 18*z - 7. Is t(-16) a multiple of 7?
False
Let m(g) = 3*g + 4. Let c be m(-5). Let l be 2/c - 72/(-33). Suppose 3*x + l*s - 15 = -0*s, -2*s + 22 = 4*x. Does 6 divide x?
False
Let u be (-6)/(-2)*(-20)/(-6). Let f = u - 3. Suppose 285 + 2 = f*i. Is 13 a factor of i?
False
Let t = -12 - -15. Suppose -t*v - 5*b = 5, 4*b - 2*b = -4*v - 2. Suppose -r - r + 72 = w, v = r + 5*w - 18. Is r a m