 be 42/189 - 10708/(-9). Let m = c + -743. Does 16 divide m?
False
Let z(f) = 2*f**2 + 98*f + 156. Does 10 divide z(-103)?
True
Suppose 0 = 4*d + i - 6355 + 392, -i = -2*d + 2989. Is (d/20)/((-4)/(-20)) a multiple of 76?
False
Let r = 6418 - 3275. Is r a multiple of 52?
False
Suppose 0 = 15*j - 7 - 38. Suppose 0 = -11*b - j*b + 476. Is 11 a factor of b?
False
Let z be (18/4)/((-18)/24). Let d(i) = -2*i**3 - 7*i**2 + 15*i + 6. Does 16 divide d(z)?
True
Let v(y) = 79*y**2 + 3*y - 18. Let n be v(-5). Let p = -1060 + n. Suppose -2*h - 16*h + p = 0. Is h a multiple of 9?
False
Suppose -2 = -2*h - 76. Let t = h + 34. Let f(r) = 4*r**2 + r + 5. Is 19 a factor of f(t)?
True
Suppose -6*c + 353 = 4157. Let t = 1110 + c. Is t a multiple of 14?
True
Let k = 17375 + -17040. Is k a multiple of 5?
True
Let w(u) = u**3 - 7*u**2 - 2*u - 6. Let r be w(-6). Let z = -299 - r. Is (-20)/15 - z/(-3) a multiple of 5?
False
Let n be -2 - -5 - (-1 + 337). Is (-4)/3 - 248196/n a multiple of 13?
False
Let c be ((-3)/(-5) - 18/(-20))*4. Does 29 divide (212/c)/(30/225)?
False
Let m = -16909 + 32379. Is m a multiple of 220?
False
Let m be -9 + 14 - (1 + 2). Suppose 5*z + 21 = u, 0 = -5*u - 0*u - m*z + 51. Suppose 41 = 2*w - u. Does 13 divide w?
True
Suppose -5*b + 0*b - 4090 = 0. Let d be (b/(-10))/((-9)/(-45)). Suppose 2*l + g = 277, 0 = -3*l + 2*g + 3*g + d. Does 26 divide l?
False
Let f = 121 - 116. Suppose n - d = -23 + 96, f*n + d = 377. Is n a multiple of 5?
True
Let k(v) = 202*v**2 + 492*v - 8248. Is k(17) a multiple of 65?
False
Suppose -5*p - 4*f = -4137, -365*p - 5*f - 810 = -366*p. Does 5 divide p?
True
Let x(v) = -3*v**3 - 6*v**2 + 2*v + 2. Let n = 355 + -360. Is x(n) a multiple of 31?
True
Let b = 193 - 191. Suppose 4*n - 5*k - 429 = b*n, -5*k + 681 = 3*n. Is n a multiple of 30?
False
Let k(t) = -t**3 - t**2 - 64152. Let z be k(0). Let f be (-4)/26 + z/(-234). Suppose f - 3199 = -9*l. Is 25 a factor of l?
True
Let i(k) = k + 14. Let h be i(-12). Suppose -2*v - 5*p - 9 = 4, h*p + 6 = 0. Is (-33)/6*v*-4 a multiple of 11?
True
Let z = -2 - -21. Suppose -j + l = 8 - z, -2*l - 34 = -4*j. Suppose 2*v = j*v - 240. Is 7 a factor of v?
False
Is (-10 + -10402 + 8)*(20/6 - 6) a multiple of 77?
False
Suppose 0 = -k - 5*d + 1590 + 3017, -4*d = -3*k + 13878. Is 7 a factor of k?
False
Let f(n) = 5*n**2 - 6*n - 364. Is 9 a factor of f(-13)?
False
Let d = 3362 + -2252. Suppose 4*s - 2*s = d. Suppose -3*p = 2*p - s. Is 28 a factor of p?
False
Let l = -19 - -11. Let g = 11 + l. Suppose -g*u + 8*u - 70 = 0. Does 4 divide u?
False
Suppose 33*l - 38*l + 19110 = 0. Is 13 a factor of l?
True
Does 12 divide (37 + (-11830)/52)*(-19)/3*32?
False
Let f = 170 + -163. Suppose 1343 = f*k - 659. Is k a multiple of 26?
True
Is -17 - -14 - 7 - -1627 a multiple of 21?
True
Let d = -4 + 7. Suppose d*c - 8*c = -10. Suppose 2*y + 394 = 3*m, -3 - c = -5*y. Is 22 a factor of m?
True
Suppose 10237*l - 10178*l = 3304944. Is l a multiple of 48?
True
Is 4 + (-17 - -20) - 4/((-8)/38250) a multiple of 234?
False
Let k(i) = -756*i - 1310. Is 11 a factor of k(-7)?
True
Suppose 2*h + 3*o - 46 = 0, -3*h = -0*h + 2*o - 59. Suppose 4*i - 8*i = -z - h, 5*i - z = 20. Let c(a) = 66*a + 6. Does 35 divide c(i)?
False
Let y(n) = -24*n - 2210. Let s be y(0). Let a = s - -4280. Does 22 divide a?
False
Let f(k) = 10*k**2 - 119*k - 4172. Is 22 a factor of f(-46)?
True
Let p(l) = 96*l**2 - 6*l - 44. Is 10 a factor of p(-6)?
False
Let k be 40 + (2 - 2/(-2)). Let i = 43 - k. Suppose i = 4*y - 2*y - 94. Does 3 divide y?
False
Let d(a) = -2*a**2 - 10*a - 3. Let q be d(-4). Suppose -5*c + 3*h = 7*h - 435, -q = h. Suppose -133 + c = -k. Is k a multiple of 7?
True
Let t(z) = -z**3 + 3*z**2 + 12*z - 6. Let g be t(5). Suppose -n + 2*l - 2 = 2, -n = -g*l + 8. Suppose -3*c - c = -2*b + 358, n = -b + c + 181. Does 36 divide b?
False
Let n be (-1 - -4)/((-72)/(-696)). Suppose 25*s = n*s - 1080. Does 30 divide s?
True
Let v(q) = -2 - 13*q**2 + 17*q**2 - q**2 - 6*q. Let j = -7 - -11. Is v(j) a multiple of 11?
True
Let s = 133 + -73. Let y = 59 - s. Is 23 a factor of (y - -2)/((-15)/(-1035))?
True
Suppose -8*w - w = 0. Let d = w - 0. Suppose d*l + 150 = 4*x + 2*l, -141 = -4*x + l. Does 16 divide x?
False
Suppose 21*w + 5 = 16*w. Let g(t) = 828*t**2 + 8*t + 6. Does 14 divide g(w)?
True
Is (-5)/20*2 - (-5724)/8 a multiple of 2?
False
Suppose 3168*y - 44622 = 3162*y. Does 201 divide y?
True
Let v be (-2)/(-3)*(-18123)/14. Let j = 853 - v. Is 53 a factor of j?
False
Let d be 3/(18/15)*46/115. Is (d/4*-6)/((-8)/464) a multiple of 4?
False
Let q be 2 - (0 + (5 - -8)). Let v(b) = -27*b - 200. Does 30 divide v(q)?
False
Let t be (-416 - 1) + (-2)/4*-2. Let f = t - -704. Is f a multiple of 32?
True
Let a(l) = -l**2 - 9*l + 18. Let w be a(-10). Suppose w = i + 11*r - 13*r, i - 12 = 4*r. Is (i - 8)/((-2)/50) a multiple of 25?
True
Suppose -47 = -6*m + 1. Let r(z) = z**3 - 5*z**2 - 14*z + 3. Is r(m) a multiple of 28?
False
Suppose 3*c + 41 + 1362 = 2*b, b - 2*c = 702. Does 5 divide b?
True
Let s be -196*(-4 + 19/4). Let x = s - -199. Suppose -x*b = -50*b - 234. Is b a multiple of 19?
False
Let x = 277 - 277. Is ((0 - x) + 1)*489 a multiple of 15?
False
Suppose -12 = 2*u, -1922*g + 1920*g + 44130 = 4*u. Is 11 a factor of g?
True
Let m(a) = a**3 - 2*a**2 - 2*a + 8. Let w be m(0). Is 2*w/(-6)*13833/(-348) a multiple of 19?
False
Let g(s) = 2*s**2 + 2*s + 2. Let f be g(-1). Suppose -f*l = 2*t - 38, 0 = 6*l - 3*l + t - 47. Suppose 62 = 4*p - l. Does 3 divide p?
False
Let q = -634 - -552. Let r = q + 112. Does 5 divide r?
True
Let p(v) = 2*v**3 - 5*v**2 - 3*v. Let h be p(8). Does 28 divide 6/(4 - (6105/h - 5))?
False
Let g = -30 + 39. Let u be g/5 + 2/10. Suppose -u*o + 5*z = -67, 0 = 2*o - 4*z + z - 57. Is o a multiple of 19?
False
Let l = 46328 + -32203. Is l a multiple of 125?
True
Let v be ((-7)/1)/(-31 - -30). Suppose v*m - 1896 = 1338. Is 28 a factor of m?
False
Let v(n) = n**2 + 10*n - 14. Let j be v(-14). Suppose 0 = 4*k - j - 10. Let r(o) = 2*o - 7. Is 3 a factor of r(k)?
False
Suppose 2 - 14 = 12*q. Let n(k) = -74*k - 14. Does 30 divide n(q)?
True
Suppose -47717*q + 47684*q + 190080 = 0. Is q a multiple of 48?
True
Let w = -243 - -240. Is 9 a factor of (-1)/(w/1524*4)?
False
Suppose 9*b + 180 = 252. Does 12 divide b + (11 - 6) + 971?
True
Suppose -7*b + 33 = 12. Suppose -4*s + 2034 = 2*f + b*f, -5*s = -3*f - 2524. Is 21 a factor of s?
False
Let r be 39/5*(36 + 13 + -4). Let v(s) = -29*s**2 + 3*s + 3. Let f be v(-2). Let x = f + r. Is x a multiple of 29?
True
Let k(d) = -4*d**3 + d**2 - d + 1. Let i(v) = -25*v**3 + 14*v**2 - 2*v + 17. Let b(h) = -i(h) + 6*k(h). Let y = 7 - -2. Is 4 a factor of b(y)?
False
Let s be ((-3)/(-3))/((-6)/(-150)). Suppose -3*f - 2*f = -5*y + s, -3*f + 1 = 5*y. Suppose -v - m = -3*v + 201, y*m = 3*v - 301. Is 24 a factor of v?
False
Let x be 28/((6 + -2)/2). Suppose 1360 = x*j - 6*j. Is j a multiple of 26?
False
Let t = -2661 - -5387. Is t even?
True
Let t(r) = -45*r - 137. Let l be t(-3). Is 20 a factor of -6 + (334/6)/(l/(-6))?
False
Suppose -441 + 18 - 45 = 6*h. Let t = 150 + -255. Let o = h - t. Is o a multiple of 9?
True
Is 127 a factor of 3571 - (6 - 5)*15?
True
Let j = -206 + 203. Is (-34)/(-119) + 403*j/(-7) a multiple of 5?
False
Suppose -8*l = -3*l - 4240. Let n = l + -790. Is 7 a factor of n?
False
Let k = 8429 - 2466. Is k a multiple of 67?
True
Let b = 46 + -70. Let v = b + 37. Suppose 186 = f + v. Is f a multiple of 33?
False
Let z be 3*-15*(-788)/36. Suppose -3*v = -1580 - z. Is 13 a factor of v?
False
Let c(b) = 2*b**2 - 4*b - 15. Let n be c(8). Let s = n - 81. Let m(x) = x + 150. Does 25 divide m(s)?
True
Suppose q = 3*g - 7*g + 474, 3*g + 1362 = 3*q. Is q a multiple of 26?
False
Suppose -5*j + 14 = -21. Suppose j*g + 4 = 1068. Is 19 a factor of g?
True
Let c(f) be the second derivative of f**4/12 + 7*f**3/6 + 23*f**2/2 + f + 2. Is 11 a factor of c(-4)?
True
Let r = 1792 - 1611. Is 91 a factor of r?
False
Let i = 7890 + -6802. Is 8 a factor of i?
True
Let o = 50002 - 29806. Does 34 divide o?
True
Let t(i) = 2*i**2 + 10*i - 10. Let s be t(-8). Let v be -31*((-10)/(-12) + 4/24). Let x = v + s. Is x a multiple of 7?
True
Let y = -37 - -57. Suppose -8*w + 4 - y = 0. Let c(a) = -13*a**3 + 3*a**2 + 3*a - 2