de h?
False
Let v(a) = -a**2 - 8*a - 4. Let p be v(-2). Suppose q + 4 = -5*l, -5*l + 20 = -3*q + p. Does 17 divide -4 - 0 - (l + -123)?
True
Suppose 263*c = 252*c + 4885 - 353. Let g(w) = w**3 + 4*w**2 + 2*w + 1. Let f be g(-3). Suppose -3*d - 487 = -f*i + c, d = -1. Is 43 a factor of i?
False
Let l = -72 - -106. Let q = -41 + l. Let g(f) = -2*f + 11. Is 25 a factor of g(q)?
True
Suppose -39*m + 37 + 80 = 0. Suppose 5*j = 0, m*j = -3*u + 1871 - 329. Is u a multiple of 39?
False
Let t be ((-9180)/15)/((-9)/(-6)). Let g = -256 - t. Is g a multiple of 31?
False
Let b = -8 - -14. Suppose -h = 16 - b. Is 47 a factor of (45 - -1)/(h/45*-1)?
False
Suppose 0 = 10*o - 6*o - 152. Let f = o - 36. Suppose -326 = -4*z + f*x, -3*x = 15 - 6. Is z a multiple of 20?
True
Suppose -4*l + 0*s = 3*s + 10, -3*s = -6. Let c = 1 - l. Suppose f + 103 + 419 = c*w, 5*w = 3*f + 516. Is 15 a factor of w?
True
Let h(p) = -p + 6. Let d be h(0). Let n = 232 + -227. Suppose -y = n*w - 164, -3*w + d*w - 100 = y. Is w a multiple of 5?
False
Suppose 5*k - 3*n = -242, -2*k - n = -3*n + 100. Does 3 divide 4/(-6)*1173/k?
False
Suppose -3043*y - 27 = -3040*y, 0 = -5*r + 3*y + 84482. Does 127 divide r?
True
Let p be 1920/72 + (-1)/(3/2). Let f = 21 + -16. Suppose f*j + 0*m + 2*m = 36, p = 3*j - m. Is j a multiple of 8?
True
Suppose 2*w = o + 2*o - 4, 0 = -o + 5*w - 16. Suppose o*r - 3572 + 576 = 0. Is (-3)/(-15) - r/(-5) a multiple of 30?
True
Let j = -15317 + 18761. Is j a multiple of 7?
True
Suppose -5*m + 3*j = 66, 2*j = -3*m + 2*m - 21. Let z(b) = 49 - 19 - 20*b**2 - b**3 + 13*b + 11*b + 5*b**2 - 26*b. Is z(m) a multiple of 12?
True
Let w(c) = 62*c**2 + 63*c + 882. Does 53 divide w(-8)?
True
Suppose -5*p + 735 = z, 0 = -8*p + 4*z - 2*z + 1158. Is 2*197/4*p/73 even?
False
Let m be 36/63 + 437/7. Let v = m + -61. Suppose 15 = p + 4*r, v*p + 0*r - r - 75 = 0. Does 21 divide p?
False
Let f be -3 - -2 - -1 - (-1 + -118). Let v be 32 + (2 + -1)*-1. Let r = v + f. Does 37 divide r?
False
Let m(f) = -5114*f + 342. Does 44 divide m(-2)?
False
Let h = -147 - -320. Suppose 4*x = 627 + h. Is 8 a factor of ((-12)/(-10)*2)/(30/x)?
True
Suppose -6*g = -16*g - 7*g + 16711. Does 133 divide g?
False
Let i = 10239 - 9126. Is 118 a factor of i?
False
Let f = 12 - 6. Suppose 3*h + 12 = f*h. Suppose -4*n - d + 2*d = -507, h*d - 240 = -2*n. Is n a multiple of 42?
True
Let i(n) = -n**3 - 6*n**2 - 6*n - 1. Let w be i(-5). Let p be (-253)/(-3) + (-2)/(-3). Suppose w*m - p = -m. Is 7 a factor of m?
False
Suppose 2*d + 9 = 3*o - 0*d, 5*d = 15. Suppose -b - 570 = -u - 1493, 4621 = o*b - 3*u. Does 16 divide b?
False
Suppose 3*p + 12753 = 3*o, -21282 = -5*o + 5*p - 9*p. Is 15 a factor of o?
False
Is ((-46)/(-4))/(((-1)/(-1112))/(20/80)) a multiple of 38?
False
Let g = -474 - -470. Is (108/12 - 7)*(-2138)/g a multiple of 14?
False
Suppose -21 - 24 = 5*m - 5*b, m = -b - 7. Is 16 a factor of m/(-10) + (-22785)/(-175)?
False
Let y(n) = -n**2 - n + 1. Let i(p) = -p**2 + 10*p - 18. Let z be i(6). Let w(g) = -7*g**2 - 24*g - 26. Let j(c) = z*y(c) - w(c). Is 22 a factor of j(-24)?
True
Let b(j) = -j**3 + 6*j**2 + 14*j + 7. Let l = -32 - -39. Let a be b(l). Let t = a - 40. Is t a multiple of 4?
True
Let h be (3 - (1 + -1))*1. Let a = -17 - -19. Suppose z - 25 = h*k + 37, -z = -a*k - 65. Does 51 divide z?
False
Suppose 5*j = 25, -3*u = -0*u - 4*j + 32. Let d be 442 - 4/8*u. Does 9 divide -1*d/(-7) - (-9)/(-21)?
True
Let k(a) = 104*a**2 + 7*a + 5. Let d be k(-3). Suppose 10 = -5*g + d. Does 6 divide g/15 - 2/15?
True
Suppose 16*o - 61 - 35 = 0. Suppose -1577 + 4277 = o*r. Does 30 divide r?
True
Let u be (4/(-6))/((-4)/21858). Suppose -4*l + 3673 = 5*o, -6*l + 2*l = -o - u. Is l a multiple of 57?
True
Let w be (15/9)/((-9)/(-27)). Suppose 0 = -5*q + w*o + 1805, 4*o + 17 + 1784 = 5*q. Is 51 a factor of q?
True
Let k be -9*(3 - (-14)/(-3)). Does 12 divide 6/k - (-3 - 3326/10)?
True
Suppose 43*c + 428 = 1804. Is 33 a factor of 2111/4 + (-504)/c + 16?
True
Is (-344*(0 + 2) + 8)/(2/(-28)) a multiple of 112?
True
Suppose 4*m - 5*z = -24, -3*z + 9 = -3*m - 6. Does 14 divide ((-16)/24)/(m/((-2748)/(-8)))?
False
Suppose -5*p + 1173 = -2*m, 5*m = 20*p - 18*p - 465. Suppose 67*j + p = 72*j. Is j a multiple of 6?
False
Let s(z) = -3*z**3 + z + 41. Let c(u) = -5*u**3 + 49*u**2 + 62 - 49*u**2 + 2*u. Let y(k) = -5*c(k) + 8*s(k). Does 11 divide y(0)?
False
Suppose -29*b + 32*b + 3660 = -3*a, -3*b - 5*a - 3656 = 0. Let r = 2602 + b. Is r a multiple of 69?
True
Let q = 5559 + 111. Is q a multiple of 90?
True
Let l(k) = -k**2 + k + 6. Let n be l(0). Let v(w) = -w**3 + 12*w**2 - 6*w + 1. Let u be v(n). Let o = u + -109. Is o a multiple of 9?
True
Let i(b) = -b**3 - 12*b**2 - 13*b + 69. Let t be i(-4). Let m(l) = -14 + 3*l - 18 - 11*l. Is m(t) a multiple of 24?
True
Suppose -3*t + k + 25742 = 0, 125*k - 8578 = -t + 126*k. Is t a multiple of 3?
False
Let i be (115/(-345))/((-22)/(-21) + -1). Let s(o) = 3*o**2 + 13*o + 54. Is 5 a factor of s(i)?
True
Let h(n) = 104*n**2 - 7*n - 15. Let m be h(-2). Let k = m - 265. Is 23 a factor of k?
False
Suppose 4*z - 2*k = 6960, -3*z + 5*k + 5044 + 197 = 0. Is 8 a factor of z?
False
Let u(z) = -z + 5. Let c be u(3). Suppose -c*m - 5595 = -7*m. Suppose 9*i = 1212 + m. Is 19 a factor of i?
False
Let q(i) = 7*i**3 + 3*i**2 - 5*i. Let o be q(-6). Let l be 10/(-15) - o/9. Suppose 184 + l = 6*n. Is n a multiple of 14?
True
Let u = 482 + -611. Is 6 a factor of (-6 + 1 + 3)*(u + 0)?
True
Suppose -14*f + 318 + 4 = 0. Suppose 0 = 19*u - f*u + 60. Does 2 divide u?
False
Let p(x) = -3*x + 13. Let s be p(12). Suppose -4*d + 225 = -131. Let t = d - s. Is 32 a factor of t?
False
Is (-2450)/(-245) - (-1 + -1334) a multiple of 17?
False
Let g(u) = -30*u**3 - u**2 - 16*u + 42. Let z be g(3). Let c = z + 1725. Is 100 a factor of c?
True
Let q(k) = k**2 + 9*k - 11. Let m be q(-10). Let h be 0*(2/m)/4. Let g = 50 + h. Does 10 divide g?
True
Suppose 6 = 3*m - 0. Let r be 428*(m + (-5 - -2)). Is 16 a factor of 4/3 - r/12?
False
Suppose 0 = -34*r - 12*r + 220248. Is 63 a factor of r?
True
Suppose -1077 - 309 = -m. Let y = 106 - 97. Suppose y*o = -2*o + m. Is o a multiple of 18?
True
Does 56 divide -424*(-38)/4 - 450/150?
False
Let u be (-956)/(-32) - 2/(-16). Suppose u = 2*t - 24. Does 8 divide (1 - t/15)*-50?
True
Suppose -3*w - 14 = -3*u - 218, -2*w = -3*u - 139. Let g = w + -87. Let x = 58 + g. Does 6 divide x?
True
Let o(q) = q + 26. Let w be o(12). Let j = w - 35. Suppose -73 = -j*m - u, 4*m - 131 = -5*u - 30. Does 4 divide m?
True
Let s(d) = -5*d**3 - d**2 + 4*d + 4401. Does 27 divide s(0)?
True
Suppose 16 = 501*b - 493*b. Suppose 0 = 2*v + 2*s + b*s - 446, 0 = 5*s + 15. Is v a multiple of 71?
False
Let z(l) = -8*l**3 + 12*l**2 + 31*l + 58. Does 3 divide z(-6)?
False
Let d be (5 + -13)/4 + 37. Suppose 0 = 10*z - d - 5. Suppose -z*p = 8*p - 2700. Is p a multiple of 19?
False
Let g = 2649 - 569. Does 80 divide g?
True
Let r be (64/(-6))/(((-160)/1368)/10). Let l = -843 + r. Does 3 divide l?
True
Does 7 divide 4 - 2 - -6 - (-1759 - 34)?
False
Suppose -y - t = -9, y - 11 = -5*t + 14. Suppose 2*i + 0*o + 8 = y*o, i + 14 = 5*o. Does 4 divide (8 - i)/((-3)/(-42))?
True
Let j(b) = -8*b - 34. Let s(n) = -n - 1. Let r(t) = 15*t + 33. Let d(g) = -r(g) - 18*s(g). Let m be d(3). Is 12 a factor of j(m)?
False
Let m(g) = g**3 - 22*g**2 + 23*g - 16. Suppose -2*b - 75 = -4*b - 5*j, 4*j + 204 = 5*b. Let k = -19 + b. Is 11 a factor of m(k)?
False
Suppose 10*p + 66 = -p. Is 20 a factor of ((-1076)/p)/((-40)/(-60))?
False
Suppose 3*c - 851 - 1954 = 0. Suppose -104*r + 115*r - c = 0. Is 4 a factor of r?
False
Suppose 0 = -4*s + 2*m - 799 + 2783, 2*s + 3*m - 1000 = 0. Is 4 a factor of s?
False
Let y be 4 - (1 - (-4 - -4)). Let a(v) = 3*v**3 + 6*v**2 + 6*v - 6. Let h be a(y). Suppose h - 539 = -4*n. Is n a multiple of 7?
True
Suppose 0 = -4*k, 0 = -355*b + 356*b + 3*k - 29876. Is b a multiple of 22?
True
Let u be (-6)/21 + (-432)/(-42). Is 54 a factor of u/(-55) - 32692/(-121)?
True
Suppose -k + 6 = q - 2*k, 4*q + 5*k + 21 = 0. Let h be (1 - -3) + (0/(-1) - q). Suppose -419 = -h*j - 8. Is j a multiple of 27?
False
Let k(f) = -f**3 + 7*f**2 - 8*f - 2. Let g be k(5). Suppose 0 = -g*w + w + 784. Is 14 a factor of w?
True
Suppose 7*g - 45 = 4*g + 