 + 17. Let h(d) = -5*b(d) - 8*k(d). Let o be h(-2). Let r = o + 38. Does 13 divide r?
True
Is 17 a factor of (-3 + 10 - 2) + 1146?
False
Let i(z) = 2*z**2 + 3*z - 10. Let h(y) = y + 4. Let f be h(-2). Let q be (f/5)/((-6)/(-60)). Does 17 divide i(q)?
True
Let t = 25 - 35. Does 13 divide ((-4)/(-5))/(-2) - 784/t?
True
Let i(j) = -44*j**3 + 2*j**2 - 2. Suppose -5*f + 4*s + 27 = 0, 0 = 2*f - 4*s - 5 - 13. Let c be i(f). Is c/(-24) - 2/(-12) a multiple of 24?
False
Suppose 0 = 196*s - 189*s - 15918. Is s a multiple of 21?
False
Suppose 4*v + 2*g = 10, 0 = 5*v + 2*g - 0*g - 13. Let i(f) = f**3 - f**2 - 4*f + 4. Does 10 divide i(v)?
True
Suppose -3*m - 12 = -l, 3*l = -l + m + 37. Suppose -7*q + 3*q - l = -3*a, 15 = 5*a. Suppose -5*p + y + 40 = q, 52 - 6 = 4*p + 2*y. Is 9 a factor of p?
True
Suppose 5*f + 2*z - 22 = 0, 2*f - 2*z - 6 = -0*z. Suppose -4*j - 3*u = -0*j - 6, -f*u = 2*j + 2. Is 50/(1 - (j + -4)) a multiple of 10?
False
Let a(u) = -u**3 + u + 10. Let b be a(0). Suppose -4*r + 74 = -b. Let k = -10 + r. Is k a multiple of 5?
False
Let t(j) = j - 8. Let w be t(0). Let n be ((-6)/w)/((-30)/(-80)). Suppose 118 - 351 = -4*g - 5*o, 0 = 3*g - n*o - 169. Does 19 divide g?
True
Let g be 6*(-4)/(-18)*(-39)/(-26). Suppose g*y = -5*l + 228, 2*l - 97 = -3*y + 8*y. Does 23 divide l?
True
Suppose 0 = -6*k + 32 + 4. Let c = -2 - -20. Suppose -c = -2*h + k. Is h a multiple of 12?
True
Let n be -3 + (8 - 3)*9. Suppose -d - d + n = 0. Let t = 8 + d. Is 12 a factor of t?
False
Suppose -4*o = -7919 + 667. Is o a multiple of 33?
False
Suppose 7917 = 2*p + 2035. Does 50 divide p?
False
Let o(z) = z + 4. Let m be o(8). Let s(b) = 8*b + 17. Is 17 a factor of s(m)?
False
Does 17 divide (1 - (-18)/4)*8?
False
Let o(n) = -n**2 + 11*n - 28. Let s be o(6). Suppose 6*g = -s*g + 552. Is 8 a factor of g?
False
Let w = 90 + -85. Does 21 divide 2/(-10) - (-631)/w?
True
Suppose 2*w + 6 = 5*q, 6 = -0*q - q + 4*w. Suppose 0 = 5*o + q*x - 788, -3*o = -x - 203 - 272. Is o a multiple of 16?
False
Let x(h) = -63*h**3 - 3*h**2 - 3*h - 6. Is x(-2) a multiple of 4?
True
Suppose 103*r + 6 = 104*r. Is (r*53/(-2)*1)/(-1) a multiple of 6?
False
Let t(u) = -u - 3. Let w be t(-3). Let k be (0 - w) + 24/8. Suppose k*j + 29 - 230 = 0. Is j a multiple of 17?
False
Let v(k) = -k + 6. Let x be v(3). Suppose -x*h = -5*u - 65, 2*h - u - 17 = 17. Is 2 a factor of (27/h)/((-15)/(-50))?
True
Suppose 0 = 5*u + 184 - 79. Does 8 divide 110/7 - 6/u?
True
Let a = -6 - -8. Suppose -a*n + 2 = 0, n + 10 - 89 = -g. Is g a multiple of 6?
True
Suppose -2 = 2*g - 0, -2*s - 5*g + 631 = 0. Is s a multiple of 3?
True
Let z(o) = 5*o + 29. Does 18 divide z(23)?
True
Let h(m) = 3*m**3 - 10*m**2 - 11*m + 39. Is 51 a factor of h(10)?
False
Let s(h) = 206*h + 450. Does 42 divide s(5)?
False
Let m = -196 + 268. Is m a multiple of 18?
True
Let t = 146 - 140. Suppose -j = -k - 4*j, -2*j - t = 0. Is 2 a factor of k?
False
Suppose 2*t - 160 = 2*c, 0 = 2*t + c - 70 - 75. Suppose -i - 42 = 3*p - 2*p, i = 2*p + t. Let h = p - -62. Does 23 divide h?
True
Let z(t) = t**2 - 32*t - 557. Is z(-54) a multiple of 21?
False
Suppose -3*s - 12 = 2*h - s, -3*h + 3*s = 0. Is 26 a factor of h + (0 - -75) - (2 - 1)?
False
Let z = 2604 - 1548. Is 96 a factor of z?
True
Let d(m) = m + 15. Let y be d(-11). Suppose -71 = -y*o - 5*w - 0*w, o = -5*w - 1. Does 13 divide o?
False
Suppose -4*i - 62 = -2*s - 246, -3*s - 3*i - 285 = 0. Let t = 3 + -37. Let r = t - s. Is 20 a factor of r?
True
Is 27 a factor of (-9450)/(-7) - 5 - -5?
True
Let v(q) = -5*q**3 - q**2 - 2*q + 4. Let l(c) = c**3 - 18*c**2 + 3. Let f be l(18). Let s(m) = -3*m + 6. Let y be s(f). Is v(y) a multiple of 20?
False
Is 1 + 6 + 557 + 12 a multiple of 32?
True
Suppose g - 24 = 17. Suppose -g - 251 = -4*z. Does 28 divide z?
False
Let t = -30 + 33. Is 7 a factor of 11 + t*(-12)/9?
True
Is (1 - 1)*6/18 + 77 a multiple of 6?
False
Suppose 2851 - 8758 = -3*a - q, a - 1971 = -q. Is 24 a factor of a?
True
Suppose 30*u = 580 + 950. Is 11 a factor of u?
False
Suppose 2 + 14 = 2*u. Suppose -u*b = 3*b - 847. Does 7 divide b?
True
Let y(c) = 13*c + 21 - 12*c + 36 - 21. Is y(-11) a multiple of 5?
True
Let b = -245 + 250. Is b a multiple of 2?
False
Suppose 5*h - 3*h + 2 = 3*w, 5*h = -5. Let x be (-22)/(-77)*(7 - w). Suppose -239 = -3*z - k, -2*k = x*z - 43 - 123. Is z a multiple of 26?
True
Suppose 5*x = 3*z - 590, -1020 = -4*z - 5*x - 210. Suppose -5*n = -i + z, -700 + 100 = -3*i - 5*n. Does 25 divide i?
True
Suppose -3*n = -46 - 83. Does 3 divide n?
False
Suppose -4*r = -4*k - 760, 122 = -r - k + 316. Suppose -4*i + 0*i + r = 4*l, -l + 2*i = -36. Is 11 a factor of l?
True
Let h = 0 + 15. Let y be 8 + h/(-5) + 3. Is 6*4/(y/11) a multiple of 8?
False
Let x = -161 + 66. Does 6 divide 27/(x/(-20) - 4)?
True
Let c(h) = -29*h - 109. Is c(-9) a multiple of 13?
False
Suppose -2*p - 60 = -8*p. Suppose -b + 4 = -p. Does 7 divide b?
True
Let z = -101 - -280. Suppose -g - 3*g = 3*v - 145, -5*g - 3*v + z = 0. Does 2 divide g?
True
Let z(l) = -7*l**3 - 5*l**2 - 5*l - 4. Let p be z(-3). Suppose 0*q + p = 4*j - 5*q, j = -5*q + 45. Does 10 divide j?
True
Let r(m) = -11*m**2 + m - 6*m + 4*m + 3*m**2. Let u be r(1). Let o(s) = -3*s - 12. Is o(u) a multiple of 5?
True
Let h = 49 - 47. Is (-558)/(-9) + h/((-4)/(-6)) a multiple of 16?
False
Does 16 divide (-8604)/(-42) - 2/(-14)?
False
Suppose 2*d = -5*o - 2 + 22, 0 = 4*d - 5*o - 10. Let q = d - 1. Suppose q = -2*f + 42. Is 5 a factor of f?
False
Let t(f) = -14*f**2 + 5 + 2*f - 4 + 39*f**2. Let o be t(-1). Suppose -5*d + 2*d = -o. Is d a multiple of 3?
False
Suppose -44*f = 10549 - 47509. Does 40 divide f?
True
Let h(d) = -1200*d - 379. Is 57 a factor of h(-4)?
False
Let d = 9 - 6. Suppose d*u + 174 = 5*u. Suppose -3*c = -3*i - u, -5*c - 3*i + 154 = i. Does 10 divide c?
True
Is 4 a factor of (-1 - (-282)/12)*2?
False
Suppose 0 = -z - 3*z + 1544. Let w = z + -276. Let j = -65 + w. Is j a multiple of 13?
False
Let b(h) = -h**3 + 2*h**2 + 4*h + 4. Let k(i) = i**3 + 15*i**2 - i - 5. Let l be k(-15). Let o = l - 14. Does 16 divide b(o)?
False
Suppose 194139 = 4*z + 49*z. Does 19 divide z?
False
Suppose -641 - 1319 = -4*x. Is x a multiple of 14?
True
Suppose 4*o - 2*q - 15 - 5 = 0, 22 = 5*o - q. Suppose 3*d + o*z + 268 = d, -2*d + 3*z - 296 = 0. Let k = -45 - d. Is 27 a factor of k?
False
Is (421/2)/(9 - 51/6) a multiple of 7?
False
Suppose -2*i - 4*l + 72 = -3*l, 4*i = -5*l + 144. Is 18 a factor of i?
True
Suppose -p + 55 = 4*z, 0*z + 323 = 5*p - 4*z. Does 7 divide p?
True
Let s be 13 + (-3)/(-3)*-3. Let u be 37/2*s + -1. Suppose 6*g - 2*g = u. Is 20 a factor of g?
False
Let z(v) = v**3 + 14*v**2 + 13*v + 2. Let g be z(-13). Suppose 3*o + g*d - 7 = 0, -o - 28 = 2*o - 5*d. Does 15 divide (-72 - 3)*1/o?
True
Suppose -3*o - 5*q = -4*o - 41, 4*q = o + 36. Let h = 658 + -679. Let v = o - h. Is 5 a factor of v?
True
Let i be 78/14 + 1 + 16/(-28). Is (-1 - (-7)/i) + 1319/6 a multiple of 42?
False
Let q(w) = 30*w**2 + 12*w - 153. Does 94 divide q(9)?
False
Suppose -25*y + 550 = -20*y. Is 11 a factor of y?
True
Let m = 90 - -8. Suppose w = m - 25. Is w a multiple of 21?
False
Let a = -2035 + 4710. Is a a multiple of 32?
False
Suppose -3*d = -3*n - 60 - 36, -2*n = 4*d + 82. Is 4/5 - 917/n a multiple of 4?
False
Let y(q) = 608*q**2 - 19*q - 19. Is y(-1) a multiple of 4?
True
Suppose 17 = 5*o - 3*d + 4*d, -3*o - 4*d = 0. Suppose 0 = -x + 3*x - 4. Suppose x*i + 0 = -6, o*t - 4*i = 100. Is t a multiple of 11?
True
Let m be 1/((-3)/(-45))*(-21)/(-9). Does 39 divide 95/m + -3 - (-4372)/14?
True
Suppose -72*q + 5745 = -67*q. Is 37 a factor of q?
False
Let y = 379 - 181. Let o be (-2)/7 + y/(-42). Let x(k) = k**3 + 5*k**2 - 2*k + 10. Is x(o) a multiple of 14?
False
Let p = 25 - 63. Let s be (p/(-4))/(4/8). Let q = s - 14. Is 5 a factor of q?
True
Suppose 3*p = 8*p - 135. Let x be 3 + -19 + 3 + 6. Let u = p + x. Is u a multiple of 8?
False
Suppose -5*y - 234 = -29. Let i = 45 - y. Is 15 a factor of i?
False
Let u = -4 + 6. Is u*2/(-20) - (-164)/20 a multiple of 4?
True
Is 6 a factor of (-2*1)/((-20)/240)?
True
Suppose 11*o = 2592 - 733. Is 8 a factor of o?
False
Let s(d) = -d**3 + 10*d**2 - 8. Suppose -w = 118 - 126. Is 20 a factor of s(w)?
True
Suppose 0 = -y - 5, -6*n = -3*n + 2*y - 