et o = n + -43. Does 17 divide 951/o + (-2)/9?
False
Let w be 4/6 + 176/(-12) + 0. Does 14 divide (-15 - -9)/(2/w)?
True
Let h(r) = 4*r + 24. Let z be h(-5). Does 36 divide ((-126)/(-8))/(z*12/128)?
False
Suppose -a - 5*x - 20 = -4*a, -4 = -5*a + x. Suppose -2*j + 13 - 3 = a, p + 4*j = 23. Suppose b - 2*m - 36 = 0, p*m = 3*b + 30 - 129. Is 10 a factor of b?
True
Suppose 2*n - 678 = -2*a, -3*a = -2*a - 3. Is n a multiple of 12?
True
Let y = -75 - -135. Let g be 2*21*y/(-70). Is (-567)/g + 1/4 a multiple of 13?
False
Let d(f) = f**2 - 2*f + 12. Let y(b) = b**2 - 11*b + 8. Let o be y(12). Let n be (45/o)/(6/16). Is 5 a factor of d(n)?
False
Let r = -634 - -950. Does 79 divide r?
True
Let i(s) = -s**2 - 21*s - 15. Is 7 a factor of i(-11)?
False
Let x(w) = 16*w + 18. Let i be -6*(-1 + (-7)/(-6) + -1). Does 14 divide x(i)?
True
Let f(q) = 4*q + 37. Let t be f(-10). Let o(w) = -15*w + 11. Is 28 a factor of o(t)?
True
Suppose -2*d = -k + 296, 168*k - 167*k - 3*d - 291 = 0. Is k a multiple of 102?
True
Suppose -7*w - 2*z + 58 = -6*w, -3*z + 255 = 5*w. Let f be (45/12)/((-6)/w). Let m = f + 86. Does 25 divide m?
False
Suppose -5*z = z - 6. Does 37 divide z*143 - (4 - 2)?
False
Let z be (-506)/6 + (-2)/3 + 0. Let t(j) = -8*j**2 - 2*j + 1. Let m be t(1). Let a = m - z. Is 23 a factor of a?
False
Let s be (-4)/(-8)*4 - 6/(-2). Suppose r - 293 = -d, 0*d = d - s*r - 317. Does 33 divide d?
True
Let v = 10 + -84. Let x = 112 + v. Is 28 a factor of x?
False
Suppose 5*v - 893 = 4*n, 2*n - 5*n + 525 = 3*v. Suppose -2*c + v = -2*m + 5*m, -5*m + 3*c + 276 = 0. Does 19 divide m?
True
Let x be (0/(-1))/(6/(-3)). Suppose b - h - 8 = 0, 4*h + x*h = 3*b - 22. Does 6 divide b?
False
Let p = -123 - -396. Is p a multiple of 39?
True
Let g(s) = -s - 1. Let i be g(3). Let l = -13 + i. Let h = l + 28. Does 5 divide h?
False
Suppose 134 = 3*d + 4*u, -5*d + 110 = 4*u - 108. Let q = d + -30. Is q a multiple of 6?
True
Suppose -36 = 4*t - s - 3, 5*t - s = -42. Let z be t*1/(3/(-2)). Is 26 a factor of z/39 - (-1103)/13?
False
Is 34 a factor of 5709/4 + 6*10/80?
True
Let x = 801 + -596. Does 18 divide x?
False
Is 9 a factor of 0 + 596/14 + (-234)/(-546)?
False
Let z = 147 + -145. Does 8 divide (z/(28/(-21)))/((-3)/26)?
False
Suppose c - 5*k = 43, -3*c - 3*k + 39 = -0*k. Let s(d) = 3*d**2 + 12*d - 4. Let n be s(-6). Suppose c = h - n. Does 25 divide h?
True
Let b = 8 - 6. Suppose -b*l = -4*l + 98. Is 21 a factor of l?
False
Let x(t) = 2*t**3 + 2*t**2 - t + 8. Let y(i) = -3*i**3 - 3*i**2 + 2*i - 8. Let j(z) = 4*x(z) + 3*y(z). Does 44 divide j(-6)?
True
Suppose 4*c - 20 = -0*c. Suppose 0 = -5*o + l + 159, -c*o - 4*l = -165 + 26. Does 24 divide (o/(-4))/(10/(-80))?
False
Let k(q) = -2*q**3 - 5*q**2 + 3. Let y be k(4). Let s = y + -515. Is 15 a factor of s/(-21) + 4/(-14)?
False
Let o(w) = w**3 + 30*w**2 - 51*w - 24. Is 40 a factor of o(-31)?
False
Suppose -5*f + 4*g + 323 = 81, 0 = -f - 4*g + 58. Is 10 a factor of f?
True
Suppose -9*u = -506 + 101. Does 5 divide u?
True
Suppose 28348 = 11*t + 27*t. Is 18 a factor of t?
False
Let f(k) = 5*k + 2. Let j be f(-1). Let i be 8/j*(-189)/36. Suppose -i*m + 260 = -9*m. Does 13 divide m?
True
Let y be (-4 - (-32)/4) + -11. Let l(q) = -q**3 - 4*q**2 + 8*q - 4. Let p be l(y). Let i = p + -7. Does 12 divide i?
False
Is (21 + -16 + 1 + -4)*550 a multiple of 11?
True
Let u = 623 + -29. Is u a multiple of 22?
True
Suppose 2*h = -0*h + 496. Suppose 2*m + 88 = -h. Is 2/(-4) - m/16 a multiple of 4?
False
Let v = 1457 + 271. Does 6 divide v?
True
Suppose -3*a = -3*n + 18, 3*a + 36 = 8*n - 11*n. Suppose -4*o + c = -27, -5*c - 9 = -2*o + 18. Is o*(2 + a/6) a multiple of 3?
True
Suppose 15 = t + 3*g, 0*t - 4*g + 24 = 2*t. Suppose 4*q - 2*j + t = 4, 8 = -q + 2*j. Is 20 a factor of 2 + (40 - q) - 0?
True
Let h(w) = w**2 - w - 81. Let i be h(0). Let c = -29 - i. Is 10 a factor of c?
False
Suppose 12*z - 16 = 16*z. Let j be (z/(-8))/((-1)/24). Is 6 a factor of 0 + 0/4 - j?
True
Suppose 30*q - 2458 = 842. Is 22 a factor of q?
True
Suppose -4352 = -11*p - 6*p. Is 31 a factor of p?
False
Is 3 a factor of (-2)/(4 - 1/(116/472))?
False
Suppose m + 3*h - 243 = -87, m - 2*h - 171 = 0. Suppose -5*l = -5, 4*l = -5*q - l + m. Is (q/6)/((-3)/(-9)) a multiple of 13?
False
Suppose -606 - 42 = -3*m. Let w = m + -125. Is w a multiple of 13?
True
Suppose -75 = -18*d + 69. Suppose -2*n - d = -2*g, -4*g - n + 25 = 9. Does 4 divide g?
True
Suppose -4*j = -540 - 6972. Is 9 a factor of j?
False
Let u(p) = -p**2 + p + 1 + 14*p**2 - 2*p**2. Let m be (-6)/12 - 9/(-6). Is u(m) a multiple of 13?
True
Let j be 3/(-18) + (-207)/54. Let n = 0 - j. Let r = 8 + n. Is r a multiple of 12?
True
Suppose 3*t + u - 322 = 0, -4*t + u = 2*u - 430. Suppose -3*f + 504 = t. Let s = f + -56. Is s a multiple of 25?
False
Let r(p) = 36*p**3 + p**2 + 2*p. Let t be r(-2). Let c = t + 476. Suppose -3*u + 7*u = c. Does 22 divide u?
False
Let s = -1594 - -2286. Is s a multiple of 23?
False
Suppose -28 = 4*l - 6*z + 2*z, -5*l = 4*z + 17. Let i(c) = c**2 - 3*c - 18. Is i(l) a multiple of 11?
True
Let g(l) = 76*l**2 + 4*l + 10. Let r be g(-2). Let x = r - 187. Does 17 divide x?
True
Suppose 55 = 5*m - 3*c, 0 = -m - 4*c + 3 + 8. Suppose 0 = -7*s + m*s - 448. Is 17 a factor of s?
False
Let y(r) = r**2 - 3*r + 4. Let o be y(3). Suppose -5*d = -o*d + 9. Let w = d + 30. Does 7 divide w?
True
Let t = 3 - 0. Suppose 8*i = 2*i. Suppose t*o + o - 206 = 3*z, 3*o + 3*z - 165 = i. Does 22 divide o?
False
Let s = -8 + 11. Suppose 3*j - s*g - 7 = 2*g, -4*g - 16 = -5*j. Suppose -4*n = -3*u + 68, -j*n + 8 = 2*u - 4. Is 8 a factor of u?
True
Suppose 0 = -4*l + 8*l + 24. Is (-77 - l)/(-2 + 1) a multiple of 17?
False
Let z(g) = 7*g**2 - 7*g + 11. Let i be z(5). Let u = 309 - i. Is u a multiple of 25?
False
Suppose 15 = -3*z + 8*z. Suppose z*m + i - 24 = -2*i, -4 = i. Is m a multiple of 9?
False
Suppose d + 2*d = -5*y + 140, 0 = 3*d. Let r = -65 + y. Let j = r + 73. Is j a multiple of 12?
True
Let b be ((-15)/6)/((-6)/12). Suppose 3 = -z, -b*g + 119 = -2*z - z. Is 11 a factor of g?
True
Let g(v) = v**2 - 3*v - 3. Let i be (-150)/(-14) - (-10)/35. Let l = i + -6. Is 7 a factor of g(l)?
True
Suppose 8*b + 0*b = -1200. Let n = -92 - b. Does 18 divide n?
False
Suppose -34 = 5*r - 169. Does 2 divide r?
False
Let m = 11 - 11. Suppose m*o - o = -60. Does 22 divide (-1)/(-4) - (-3945)/o?
True
Let m(n) = -7 - 9 - 6 - 5*n + 15. Suppose -4*c - 17 = 11. Is 7 a factor of m(c)?
True
Let i be 46/1 - (-8)/(-2). Let u = i + 3. Is u a multiple of 15?
True
Let z(p) = -p**2 - 11*p + 2. Let j(a) = -a**3 + 5*a**2 - 4*a + 3. Let c be j(4). Suppose c*b + 40 = -b. Does 4 divide z(b)?
True
Is 26 a factor of (0 - 1) + (750 - 4) + -12?
False
Let u = 32 + -27. Suppose -23 = -2*j + 2*k - u*k, 0 = -3*j - k + 45. Does 16 divide j?
True
Let b = -416 + 641. Is b a multiple of 29?
False
Is 4/(8/206) - -3 a multiple of 53?
True
Let v(n) = -10*n + 2*n**2 - 169 - n**2 + 196. Is v(7) a multiple of 6?
True
Let j be 0 + (-2 + 1 - 75). Suppose -3*l = 5*a - 2*l - 809, 5*a = 5*l + 785. Let o = j + a. Does 19 divide o?
False
Let m(t) = -2*t**3 + 43*t**2 - 17*t + 42. Is 18 a factor of m(21)?
True
Let b(h) = h**2 - 2. Let z(f) = -2*f + 1. Let x be z(2). Let m be b(x). Suppose -d + 28 + m = 0. Is 13 a factor of d?
False
Let r = 3357 - 1369. Is r a multiple of 14?
True
Let d = 30 + -61. Let j = -7 - d. Is 11 a factor of j?
False
Suppose 186 = f - 5*h, 0 = 12*f - 11*f + 2*h - 200. Is 49 a factor of f?
True
Suppose 2*w + w = 9. Let o be 1/(20/(-16))*-5. Suppose 5*c - w*c + d - 1 = 0, o*c = -d + 7. Is 2 a factor of c?
False
Let k = 6573 - 3245. Is k a multiple of 85?
False
Let s = 3037 - 2482. Is 34 a factor of s?
False
Let s = 1467 - 942. Is 40 a factor of s?
False
Let d be 2/(-4) + 475/10. Let w = 13 + d. Does 10 divide w?
True
Let k = 50 + 1999. Is 105 a factor of k?
False
Suppose y + 10 - 71 = 0. Let j = y - 19. Is 14 a factor of j?
True
Let p(o) = -o**3 + 3*o**2 + 2*o - 2. Suppose 0 = -2*c - 2*y + 8, 4*c - y - 2 = 2*c. Let h be p(c). Let s = h + 8. Is s a multiple of 7?
True
Let f be (88 + 3 + 1)/(-1). Let m = -23 - f. Is m a multiple of 31?
False
Suppose -1910 = 5*w + 4*i, 0 = -i + 3*i + 10. Let b = 659 + w. Does 28 divide b?
False
Suppose -45*a + 42432 = -28*a. Is a a mult