 8 + 4 = 0. Let s be 20/(1 + l) - 2. Suppose 292 = s*y - 47. Is y a multiple of 34?
False
Suppose 862*z - 839*z - 344080 = 0. Is z a multiple of 170?
True
Let o(w) = 7*w**3 + 2*w**2 - 11*w - 8. Let s(m) = -20*m**3 - 5*m**2 + 32*m + 23. Let l(g) = 17*o(g) + 6*s(g). Let z be l(6). Let y = -12 - z. Does 7 divide y?
True
Is 14 a factor of (8 + -3 - 13/1) + 11947?
False
Suppose -80 = -8*l - 72 + 144. Does 16 divide l?
False
Let v(n) = -37*n**2 + 6 + 9*n - 3*n + 67*n**2 - 29*n**2. Suppose 6 + 30 = -4*m. Does 3 divide v(m)?
True
Suppose 2*r + 11 + 14 = 5*f, 5*f = -2*r + 5. Let b(u) = -u - 3. Let s be b(r). Does 31 divide 392/s + 3*(-1 - 0)?
False
Suppose 370 = -2*q - 2*t, 3*t - 832 = 5*q + 117. Let p = 359 + q. Is 7 a factor of p?
False
Let u(j) = 7*j + 84. Suppose -5*v + p - 45 = 0, p = -4*v - 3*p - 60. Does 11 divide u(v)?
False
Let o(s) = 73*s**2 - 41*s + 81. Let z be o(2). Suppose c = -z + 962. Is 61 a factor of c?
True
Let o(j) = -27*j + 87. Suppose 462 = -11*t - 0*t. Is 37 a factor of o(t)?
True
Suppose 40*o - 210 = 110. Suppose o*r = -13*r + 11340. Does 15 divide r?
True
Let o(h) = -h**2 + 20*h + 10. Let d be o(13). Suppose 5*x - x - d = 5*a, 3*x + 2*a - 93 = 0. Let q = x + 19. Is q a multiple of 8?
True
Let s = 16707 + -11688. Suppose 2*y = 23*y - s. Is y a multiple of 15?
False
Suppose -9 = -3*m, -3*o + 4*m - 4233 = -14721. Suppose -o = -5*i + 2*p, -3*i + 1791 + 309 = p. Does 24 divide i?
False
Let n = -40580 - -69507. Is n a multiple of 23?
False
Let v(o) = 2*o**2 + o + 1. Let y be v(0). Let t be y/((-3)/12) - -4. Suppose -2*g = g - 2*h - 81, t = g + 2*h - 19. Is 25 a factor of g?
True
Suppose 8*u = 2*u + 48. Suppose -u*i - 177 = -11*i. Suppose 3*j + 23 = i. Does 2 divide j?
True
Suppose -12*w + 16*w = 180. Let x be 1/(-5) - 1971/w. Let f = 170 + x. Is f a multiple of 21?
True
Suppose 148*m - 2234061 - 14412 = 2465771. Does 74 divide m?
False
Let u(b) = -b**3 - 14*b**2 - 3*b - 33. Let k be -1 + (-65)/(2 - -3). Let g be u(k). Suppose 576 = g*r - 3*r. Is r a multiple of 12?
True
Let f be -7 + 10 + -1 - (3308 - 2). Let c = -2193 - f. Does 19 divide c?
False
Suppose v - 8*n + 3 = -11*n, -3*n - 3 = -5*v. Suppose -2*i - m = -276, -3*i - 3*m + 0*m + 414 = v. Is i a multiple of 6?
True
Suppose u = 4*h - 21, -h + 2*u + u = -19. Suppose -4*b = d - 46, d - h*b - 25 - 21 = 0. Let z = d + 7. Is 10 a factor of z?
False
Let i = 62 - 59. Suppose -3*z + i*c + 309 = 0, z + 313 = 4*z - 2*c. Is 3 a factor of z?
False
Let c be -20*((-148)/(-16) - 3). Let o = -6 - c. Suppose 21 + o = u. Is u a multiple of 28?
True
Suppose -178*k - 2568060 = -277*k. Does 101 divide k?
False
Suppose -412903 = -159*q - 100537 + 37434. Is 11 a factor of q?
True
Let z(y) = -y + 11. Let a be (2 - (-8)/(-3)) + 28/6. Let m be z(a). Suppose -5*f - 252 = -m*f. Is 14 a factor of f?
True
Let c = -135 - -229. Suppose -4*t + c = -2*t + 2*w, 3*w = 5*t - 243. Is 2 a factor of t?
True
Suppose -341725 = 13*k - 38*k + 202075. Is k a multiple of 10?
False
Let z be -21*-7*(-2)/(-2). Suppose -2*j = -z - 515. Let x = -224 + j. Is x a multiple of 13?
False
Suppose -4168363 = -468*m + 1751837. Does 12 divide m?
False
Suppose x = 5*t - 9, -8*x + 2*t = -4*x + 36. Is 8 a factor of (-8 + x)*(-7 + 2/(-2))?
True
Suppose -45*z - 768 = -49*z. Let k = z - -288. Is 15 a factor of k?
True
Let w = 141324 - 75031. Does 68 divide w?
False
Suppose 3*i - 2 = 4*i. Let k be 154/35 - i/10*-2. Does 11 divide (-98 + -6)*(-3)/k?
False
Let j(n) = n**2 + 25*n - 40. Let p be j(12). Let a = 451 - p. Is 4 a factor of a?
False
Let r(i) = -2*i + 14*i**2 + 8*i**2 - 21*i**2 - 131 - 28*i. Does 10 divide r(41)?
True
Suppose -5*t = -14*t + 27. Suppose -t*f - 4*h = -124, 9*h - 28 = -f + 5*h. Is f a multiple of 24?
True
Let g = 4271 - 977. Is 183 a factor of g?
True
Suppose -5*u + 56 = -19. Let n be (0 - 10/u)/((-2)/15). Is 26 a factor of (-130)/(1 - n - -3)?
True
Let b be (225/2)/(-4 - 34/(-8)). Suppose 0 = -7*u + b + 1062. Is u a multiple of 18?
True
Suppose -56*k + 944 = -55*k. Suppose 6*y = 256 + k. Suppose 4*q = 5*d - 4 - y, -4*d - 4*q = -156. Is d a multiple of 13?
False
Does 86 divide 22694/21*((-4)/34 - (-21660)/2040)?
False
Is 4 + (-9 - (-18217 - 0)) a multiple of 56?
False
Let v = -191 + 326. Suppose 0 = 13*h - 2309 - v. Does 18 divide h?
False
Let z be ((-4)/5)/(3 - 257/85). Suppose 3*k + 28 = z. Suppose k*x + 57 = 5*x. Is x a multiple of 3?
False
Let w(h) = -117*h - 186. Let t be w(-4). Suppose o + 765 = 5*p - t, -4*o = -4*p + 844. Is 19 a factor of p?
True
Let t(u) = -u**3 + 16*u**2 + 20*u - 19. Let a be t(17). Let o(s) = -s**3 + 33*s**2 - 24*s + 41. Is o(a) a multiple of 27?
True
Is 10 a factor of 1794 + 4/7*(-756)/(-72)?
True
Is 36 a factor of (-13 - (-793)/65)*(2 + -9182)?
True
Let i be (-1)/((-1)/68) + 3 + -5. Suppose -189 = -67*n + i*n. Is 66 a factor of n?
False
Let o(l) = l + 4. Let z be o(-2). Suppose -5*i = 3*n + 13, 3*n - i - 3 = z*i. Is 19 a factor of (-12)/(-1)*8 + n?
True
Suppose -x = 3*i - 67, 0*i = 2*i + 10. Suppose -5*o + 210 = m, 250 - x = 4*o - 4*m. Let v = 26 + o. Is v a multiple of 34?
True
Let c(j) = 6*j + 2004*j**2 - 10 - j - 2000*j**2. Let h be (-8)/36 - 52/9. Is c(h) a multiple of 26?
True
Is (-32190)/(-35) - (2 - (-128)/(-56)) a multiple of 92?
True
Suppose 6*l + 5960754 = 130*l + 2214342. Is 16 a factor of l?
False
Let p(y) = -y**3 + 4*y**2 + 7*y - 6. Let t be p(5). Suppose 3*s - 3 = 0, -t*s = -v - s - 13. Is 20 a factor of v/((10/8)/(-5))?
True
Let o(d) = -51*d + 10. Let x be o(-2). Let i(g) = -57*g + x*g - 42*g - 11. Does 17 divide i(3)?
False
Let t(h) = 127*h - 200. Let p(c) = c**3 + 25*c**2 - 24*c + 63. Let a be p(-26). Is t(a) a multiple of 57?
True
Let t be -1 + (3 - 8/4). Suppose t = -5*a + 370 - 30. Suppose 57 = 2*f + i, 2*f - a + 2 = -4*i. Is 9 a factor of f?
True
Let c be (-20 - 114)*3/2. Let h = 397 - c. Does 23 divide h?
True
Suppose 3*r - 108 = -75. Let t(c) = -3 - c**3 + 0*c**3 - 12 - 3*c + 13*c**2 + 2. Is t(r) a multiple of 17?
False
Suppose -5*a - 24 = -109. Let x(w) = 20*w**2 + 34*w - 87. Let b(m) = 7*m**2 + 11*m - 29. Let c(i) = a*b(i) - 6*x(i). Does 11 divide c(-13)?
False
Is 179739/(2 - -25) + -1 + 10 a multiple of 101?
True
Let r(i) = 14*i + 1. Let z be r(-2). Let m be (-1)/((-2)/z)*-2. Suppose -196 = 25*f - m*f. Is 14 a factor of f?
True
Let i(h) = 27 + 12 - 6 - 33*h + 67. Is 12 a factor of i(-11)?
False
Let f(p) = p**3 - 10*p**2 - p - 12. Let r be f(6). Let c = r + 286. Does 31 divide c?
True
Let r(c) = 7*c**2 - 5. Suppose -5*s - 5*a + 10 = -30, -4*a = 12. Suppose s*v = 5*v - 18. Is r(v) a multiple of 14?
False
Let b(t) = 129*t**2 - 54*t + 352. Is b(6) a multiple of 73?
True
Suppose -2*r + 1 = -3. Let z = -796 - -799. Suppose -4*l + z*s + 32 = -r*s, -5*s = -20. Does 13 divide l?
True
Suppose 3*l = -2*v + 590, 0 = -71*v + 68*v + 4*l + 936. Is 9 a factor of v?
False
Let t be 49/21 - 2/6. Suppose -7*i = -t*i + 375. Let q = 119 + i. Does 23 divide q?
False
Suppose 300 = -7*r + 2*r. Let v = 164 + r. Let x = 254 - v. Is 15 a factor of x?
True
Suppose 132 = -2*n - 0*n + 4*d, 3*d = -4*n - 220. Let u = -47 - n. Does 15 divide (-2)/11 + 497/u?
True
Let s be 35/14*(-8)/(-5). Let r be s/(-22) + (-1524)/(-33). Is r + 8*(-4)/8 a multiple of 7?
True
Let a be (0/6)/(1/1) + 3. Suppose o = -a*o + 60. Is (-2)/((-2)/(-4)*(-20)/o) even?
False
Suppose -11 = -o - 0*o. Suppose -m + o - 6 = 0. Let z(t) = 3*t**2 + 8*t - 7. Is 27 a factor of z(m)?
True
Suppose -21*i + 24*i = -12. Let o(n) = 7*n**2 - 8. Let m be o(i). Suppose 5*s - m = 226. Does 15 divide s?
False
Let u = 8339 + -4387. Is u a multiple of 29?
False
Is 40 a factor of 1732 + 15/(-5)*4?
True
Suppose -5*h + 1370 = -4*a - 862, -2211 = -5*h - 3*a. Suppose h + 744 = 11*i. Does 6 divide i?
True
Let p = -855 + 861. Suppose -2367 = -4*q - b, -p*b + b = 5. Does 70 divide q?
False
Let b(y) = -1181 - 9*y**2 + 594 + 592 - y**3 - 5*y. Is b(-10) a multiple of 5?
True
Let t = -54904 + 95943. Is 138 a factor of t?
False
Let i be (-30)/20 - 28/(-8). Is 5*(i + (-536)/(-10)) a multiple of 13?
False
Let p = 15064 - 7059. Is p a multiple of 149?
False
Let q(m) = 7*m**2 + m - 7. Let g be q(-3). Suppose -i + g = y - 2*y, -5*i = -3*y - 271. Is 7 a factor of i?
True
Let l = -2590 - -2676. Does 8 divide l?
False
Let c = 81 + -72. Let y be (-1 + -2)*(-4)/3. Suppo