 (i + -1)*(-1165)/(-20) a multiple of 43?
False
Let n(u) = 35*u**2 + 1. Let v be n(2). Suppose 0 = 3*z - 366 + v. Is 12/(-30)*z/(-6) even?
False
Let i = -1085 - -1111. Does 2 divide i?
True
Suppose 360*t + 7100 = 380*t. Is 5 a factor of t?
True
Does 24 divide 97776/97 + (-1 - -1)?
True
Let z be (-4)/32 - 3175/8. Let b = -273 - z. Is 18 a factor of b?
False
Let q be 10/(-35) + 23/7. Suppose -6*a = -q*a + 240. Let v = -56 - a. Does 12 divide v?
True
Let f = 3 + 0. Suppose -x - 25 = -f*g + 54, 5 = -5*x. Suppose -74 - g = -3*z + 4*q, 2*z - 69 = 5*q. Does 11 divide z?
False
Let f(d) = -3*d - 3. Let p be f(-7). Let q = -13 + p. Suppose 55 + 165 = q*o. Does 22 divide o?
True
Let l(u) = -20*u + 419. Is 8 a factor of l(-33)?
False
Let z(y) = y**3 - 2*y**2 - 10*y + 2. Let o be z(4). Let h(p) = -2*p - 8. Is h(o) a multiple of 2?
True
Let k(h) = h**3 - 12*h**2 + h - 9. Let v be k(12). Suppose -4*r + 8 = -4. Suppose 5*a + 0*i + i - 130 = 0, -r*i + 90 = v*a. Does 25 divide a?
True
Suppose 20 = -6*m + 8*m. Suppose -8*q = -m*q + 28. Is q a multiple of 6?
False
Let u = 277 + -37. Suppose -22*k + u = -14*k. Does 15 divide k?
True
Let y = 295 - -295. Suppose -3*r = z - 130, -2*r + 7*r = 5*z - y. Let w = z + -82. Does 10 divide w?
False
Let l = 109 - 125. Is 2 + (1149/12)/((-4)/l) a multiple of 55?
True
Let t = -363 - -2823. Does 30 divide t?
True
Suppose 4*m + 0*m + 3*z = 120, -m - 3*z + 30 = 0. Let p = m + -5. Is 4 a factor of p?
False
Suppose 5*y = 0, 3*x - y - 490 - 2264 = 0. Does 34 divide x?
True
Let u = -26 - -46. Suppose -5*m + 0*m = -u, m = 5*c - 521. Is 17 a factor of c?
False
Suppose -10 = -9*b + 4*b. Suppose -b*l + 47 + 1 = 0. Is 3 a factor of l?
True
Let w = 11 - 12. Let q be (w - 33/(-9))*3. Is 16 - 7/(14/q) a multiple of 6?
True
Suppose 4*f + 0*c = -5*c + 20, 0 = 2*c - 8. Suppose -5*r + 11 = -2*r + w, 2*r - 4*w - 12 = f. Let h(k) = 10*k - 5. Is h(r) a multiple of 21?
False
Suppose 2*y + y = -2*d + 17, -13 = -d - 3*y. Suppose -12 - 176 = -3*c + 2*b, d*b - 284 = -5*c. Does 12 divide c?
True
Suppose 0 = 3*f - 3*m + 6*m + 12, -2*m - 14 = 5*f. Is (-1206)/(-22) - f/11 a multiple of 4?
False
Let l = 6352 - 2661. Is 71 a factor of l?
False
Let p = 27 + -18. Let u = p - 4. Suppose 0*w - 80 = -u*w. Does 8 divide w?
True
Let v = -23 + 27. Let a be 36/27*6/v. Suppose -a*t = -t + 2*k - 62, -5*t + 365 = -k. Does 18 divide t?
True
Let m = 8 + -6. Let x = m - 1. Let y = 4 + x. Does 2 divide y?
False
Let u(x) = -10*x**2 - 121*x + 131*x + 20 + 0*x**2 - x**3. Is u(-11) a multiple of 21?
False
Let l be 26/91 - 38/(-14). Suppose 0 = -l*y + 12 + 30. Does 14 divide y?
True
Let s(a) = 4*a**3 - 3*a**2 + 2*a - 3. Let k(b) = -4*b**3 + 3*b**2 - 2*b + 3. Let m(n) = 5*k(n) + 6*s(n). Is 14 a factor of m(3)?
True
Suppose 2*z - 5*n = 43, 2*z - 4 = -3*n - 1. Suppose -z*w + 5*w = 0. Suppose w*l + l = 56. Is 14 a factor of l?
True
Suppose 2*v - 4*n + 400 = 6*v, 4*n + 12 = 0. Suppose i - 2*w - 73 = 0, -v = -3*i - 2*w + 108. Suppose -i = -h + 5*q, -2*q + 0 = -2. Does 24 divide h?
False
Does 62 divide (-4)/(-50) + (-171976)/(-925)?
True
Let z(f) = -1511*f + 26 + 1509*f - 2*f**3 - f**2 + f**3. Is 26 a factor of z(0)?
True
Suppose 245 = 3*v - 5*u - 28, u + 477 = 5*v. Suppose -5*d + v = -534. Does 14 divide d?
True
Let s be 1/((-1)/(-1))*-31. Suppose -4*v = 4*a + 10 + 14, 0 = 5*a - 3*v + 70. Let o = a - s. Is o a multiple of 5?
True
Is ((-2)/(-6) - 1)*-1257 a multiple of 72?
False
Let d = -160 - -69. Let x be (-13)/(d/150)*7. Suppose -r + x = 4*r. Is 14 a factor of r?
False
Suppose 88*o - 83*o = 1670. Is 22 a factor of o?
False
Does 12 divide 37 + -2 - (-12)/6?
False
Is (-1 - -389) + -18 + 23 a multiple of 6?
False
Let l be (-6 - -9)/(1 + 0). Suppose -2*n + 113 = n + 5*v, -l*n + 103 = -5*v. Is n a multiple of 35?
False
Let d(p) = -57*p + 7. Is d(-7) a multiple of 29?
True
Suppose -2348 = -5*c - 4*w + 289, -4*w + 12 = 0. Does 15 divide c?
True
Suppose -t + 83 = 5*r + t, 48 = 4*r - 3*t. Suppose -i = z - 11, 2*i = -z + r - 5. Does 33 divide 1540/z + 1/(-3)?
False
Let f = -173 + 343. Is 6 a factor of f?
False
Suppose 0 = 6*k - 5272 + 652. Does 77 divide k?
True
Let b = 19 + -16. Let i be b/(-7) - 310/(-70). Suppose 24 = a + i*j - j, 4*a + 5*j = 124. Does 5 divide a?
False
Let f(z) = 4*z**2 + 3*z - 2. Does 16 divide f(2)?
False
Let l = -1 + 7. Let b = 11 - l. Suppose -y + 6*y - 5*i = 190, b*y - 3*i - 188 = 0. Does 12 divide y?
False
Let z(l) = 9*l**2 - 4*l + 1. Let d(b) = 10*b**2 - 5*b + 2. Let u(i) = -5*d(i) + 6*z(i). Let t(a) be the first derivative of u(a). Is t(3) a multiple of 18?
False
Let f = 37 - 28. Suppose 2*t = -4*p + 132, f*t - 318 = 4*t + 2*p. Does 8 divide t?
True
Suppose -2*h = 2*h - 8. Let w be ((-3)/(-6))/(h/164). Suppose 31 + w = 2*q. Is q a multiple of 9?
True
Suppose 3 = y - 5*b, 0*y + 2*b = y - 9. Let o = 93 - y. Is 20 a factor of o?
True
Let f = 21 + -61. Let g = 89 + f. Suppose 20 + g = p. Does 16 divide p?
False
Let b(h) = -h**2 + 11*h - 15. Let o(i) = i**2 - 5*i + 7. Let z(n) = 6*b(n) + 13*o(n). Let j be z(-1). Is (-2 - j)*3/(-3) a multiple of 3?
True
Let x = -11 - -11. Suppose x = 2*m + 3*m - 10. Suppose 4*f + 44 = m*p, -2*p + 69 = -0*f + f. Is p a multiple of 16?
True
Is 6 a factor of (-3789)/(-24) + ((-30)/16 - -2)?
False
Suppose -o = -4*o + 180. Does 2 divide o?
True
Let t be (-1 - -1)/(32/8). Is 30 a factor of (-7 - -1)*(276/(-9) - t)?
False
Suppose 14102 = -33*j + 46442. Is j a multiple of 14?
True
Let r be (-8)/6*36/24. Let h be 9160/50 - r/(-10). Suppose 0 = -3*l - 3*t + 246, -2*t - 145 - h = -4*l. Is l a multiple of 26?
False
Let z(j) = j**3 + 13*j**2 + 13*j + 12. Let w be z(-12). Let m be 1/((-1)/43 + w). Does 22 divide (-5 - m) + 2/1?
False
Let r = -24 - 21. Let d = 73 + r. Is d a multiple of 4?
True
Suppose 624 = 14*q + 92. Does 19 divide q?
True
Let c be 0/((-2)/(2/(-1))). Suppose 12*y - 7*y - 90 = 0. Suppose -i + 12 + y = c. Does 11 divide i?
False
Suppose 10*x = -2*x + 48. Is x a multiple of 2?
True
Let m be -9*-226*(-1)/(-6). Let g = -189 + m. Is 10 a factor of g?
True
Let b(i) be the third derivative of i**5/60 + i**4/4 - 3*i**3/2 + 12*i**2. Is 14 a factor of b(-15)?
True
Suppose -2*l + 4*y - 2496 = -6*l, l - 4*y = 609. Suppose -129 + l = 4*g. Is g a multiple of 28?
False
Let d be ((-2)/4)/(1/(-4)). Let b be (-17 - -22)*456/15. Is (-7)/(-14)*b/d a multiple of 10?
False
Let q(h) = -277*h - 51. Does 72 divide q(-9)?
False
Does 17 divide 38828/102 + (-1 - 2/(-6))?
False
Let t = -110 + 238. Is t a multiple of 64?
True
Suppose -2*x - 15 = -5*x. Suppose 0 = x*i - a - 2, 2*i + 2 + 0 = -a. Suppose -j + 2*j - 14 = i. Is 14 a factor of j?
True
Let r(f) = 3*f + 17. Let p be r(-6). Let q(k) = -8*k**3 - 1 + k**2 - 24*k**3 - 6*k**3. Is q(p) a multiple of 16?
False
Suppose -f = -9*f - 32. Let t = f - -48. Is 22 a factor of t?
True
Let g = 200 - 59. Is 6 a factor of g?
False
Let z(f) = 136*f**2 + 15*f + 6. Does 29 divide z(4)?
False
Let h(d) be the second derivative of 5*d**3/3 - d**2/2 - 18*d. Let f = 0 - -4. Does 13 divide h(f)?
True
Suppose 70*z - 92 = 66*z. Let c = 113 + z. Is 10 a factor of c?
False
Let d = 243 + 297. Suppose 4*x - d = -0*x. Is x a multiple of 43?
False
Let b be ((-45)/15)/(6/16). Let q = 0 - b. Is q a multiple of 4?
True
Let f = 8 + -8. Suppose s - y = -2*s + 164, f = 2*y - 8. Does 8 divide s?
True
Suppose -4*f - j + 9 = 0, 3*f - 3*j - 21 = j. Suppose 0 = 2*u + f*n - 5*n - 26, 5*u - 58 = -2*n. Does 4 divide u?
True
Is ((-6)/6)/((-5)/1510*2) a multiple of 4?
False
Let f(n) = 3*n**2 + 10*n - 4. Let p(g) be the third derivative of -g**4/12 + 11*g**3/3 + 9*g**2. Let q be p(9). Is f(q) a multiple of 17?
False
Let w(k) = 33*k**3 + k**2 - 2*k - 2. Let c be w(-1). Is 8/c + 26/8 a multiple of 2?
False
Let s(l) = 14*l - 126. Let g be s(9). Let h = 13 - 4. Let z = g + h. Is z a multiple of 6?
False
Let k(p) = 2*p - 4. Let w be k(3). Let u(x) = 5*x**3 - 2*x**2 + 3*x - 2. Is u(w) a multiple of 12?
True
Let t be 204 - (-3 - 0/(-1)). Suppose 2*f - t = 85. Suppose -3*a - 425 = -5*y - f, -y = 5*a - 39. Does 12 divide y?
False
Let z(s) = -s. Let c be z(2). Let a be (-1)/(-4) + 517/(-4). Does 10 divide 5*(a/(-15) + c)?
False
Does 3 divide (436/763)/(2/938)?
False
Suppose -b - 403 + 3121 = 0. Does 20 divide b?
False
Let h = -5 + -108. Let i = h + 159. Let a = 1