1 - -1)/((-4)/4). Let r be (16 + -11)/(a - -1). Suppose 2*z = -3*d + 93, 4*d = r*z + 2*d - 242. Is 18 a factor of z?
False
Let y = 98 + -91. Let h(o) = -o**3 + 10*o**2 - 13*o - 2. Is h(y) a multiple of 6?
True
Suppose 3 + 51 = 2*q. Suppose -3*c - 15 = 0, c = 4*l - c + 74. Let i = q - l. Does 16 divide i?
True
Suppose r - 2*m + 40 = -4*r, -4*m = 0. Let a = 14 + r. Suppose 4*y = a*y - 84. Is y a multiple of 26?
False
Let b(m) = m**3 - 4*m**2 - 6*m - 1. Let g be b(5). Is (2/g)/(4/((-576)/6)) a multiple of 4?
True
Let d(b) = -45*b + 47. Is d(-6) a multiple of 2?
False
Does 11 divide ((-18)/27 - 166/12)*-10?
False
Let o = 54 - 15. Let h(i) = 2*i + 1. Let l be h(13). Let s = o - l. Does 3 divide s?
True
Let a(y) = -3*y + 41. Let l be a(0). Let r = l - 30. Does 11 divide r?
True
Suppose -3*g = 4*k - 498, 2*k - 660 = -4*g - 2*k. Let w = g + 41. Is 12 a factor of w?
False
Let n = -10 - 63. Let h = -23 - n. Suppose 5*i = 7*i - h. Does 25 divide i?
True
Let a(b) = 2*b**3 - 115*b**2 - 116*b + 177. Is 24 a factor of a(59)?
False
Let y(i) = -18*i + 33. Let v be y(3). Let o(f) = -11*f + 4. Let x be o(-3). Let h = v + x. Is 16 a factor of h?
True
Let j(m) = -m**2 - 25*m - 24. Let r be -11 + -2 + -5 + 4. Is j(r) a multiple of 13?
True
Let q(z) = -z + 4. Let l be q(4). Suppose l = 19*g - 22*g + 225. Does 22 divide g?
False
Let c = -26 - -31. Suppose -3*o + 5 = -4*o, c*i - o - 100 = 0. Is i even?
False
Suppose -3*w + 2*p - p = -1078, -3*w - 5*p + 1090 = 0. Is 18 a factor of w?
True
Suppose 5*u = -5*r + 510, 10*r + 507 = 5*u + 14*r. Does 33 divide u?
True
Let k = 87 - -5. Suppose 2*g - 4*g + k = 0. Does 10 divide g?
False
Let x be (-5692)/(-20) - ((-44)/10 + 4). Suppose 5*f - 3*b = x, -6*b = -3*f - 2*b + 171. Does 8 divide f?
False
Suppose 0 = 18*t - 2494 - 656. Is t a multiple of 11?
False
Let k = -2444 + 3746. Is k a multiple of 42?
True
Let z(t) = 52 + 17*t - 84 + 53 + t**2. Let n be z(-14). Let b = n + 70. Does 10 divide b?
False
Let o = -172 + -31. Let b = o + 339. Is b a multiple of 36?
False
Let d = -495 + 1575. Is d a multiple of 27?
True
Let i be 1/(-4) - (-54)/(-8). Let m(y) = y**2 + y + 4. Does 23 divide m(i)?
True
Suppose -k - 383 = 2*x, -2*k - 1059 = 3*x - 289. Let t = 597 + k. Is t a multiple of 9?
False
Let b be 1 + (-14)/7 + (-224)/(-2). Suppose 4*h - b = 65. Is h a multiple of 26?
False
Suppose 4*z = i - 341, -z = 3*z + 2*i + 326. Let u = -24 - z. Suppose 3*l - 10 = 2, 3*l - u = -3*g. Does 6 divide g?
False
Let i(y) = 67*y - 214. Does 31 divide i(27)?
False
Let u be (-2)/3*(-3 + -9). Suppose -o + 24 = -11*l + 7*l, 2*l = 6. Is 5 a factor of (-43)/(-9) + u/o?
True
Suppose -2*z = 5 - 17. Suppose 0 = 5*f - z + 36. Is (42/(-3))/(2/f) a multiple of 11?
False
Suppose 3*c - 5*d - 14 = -3*d, -5*c = 3*d + 2. Does 30 divide 1004*((-18)/(-8) - c)?
False
Let g(v) = v + 2. Let n be g(0). Let j(w) = 3*w**2 - 2*w**n - 3*w + 1 - 3 + w**2. Does 15 divide j(-3)?
False
Let o = 2129 + -1410. Does 34 divide o?
False
Let c(x) be the second derivative of 1/20*x**5 + 0 + 11/6*x**3 + 7*x**2 - 11/12*x**4 - 3*x. Does 5 divide c(10)?
False
Suppose u - 6*u + 35 = 0. Let i(v) = 2 + 2*v - 16 + u*v + 0*v. Is i(6) a multiple of 12?
False
Let t(m) = 0 + 0*m**2 - 1 - 7*m**2 - m. Let s(b) = -b**2 + b - 1. Let k(v) = -6*s(v) + t(v). Does 2 divide k(-7)?
False
Is 28*(-10 + 13 - (-12)/(-8)) even?
True
Suppose 0 = z + 2*j + 39, z - j + 23 = j. Let l = -33 - z. Let k(s) = -5*s - 3. Does 7 divide k(l)?
True
Let k(h) = -h**3 + 19*h**2 - h - 28. Let w be k(19). Let r = -17 - w. Is r a multiple of 25?
False
Let w = -83 - -84. Let n(d) = 128*d**2 - 2*d + 2. Does 8 divide n(w)?
True
Let u(l) = -19*l**3 + 4*l**2 + 12*l - 5. Is 21 a factor of u(-5)?
False
Let a = -27 - -6. Let u(r) = r**3 + 20*r**2 - 27*r - 27. Is u(a) a multiple of 11?
True
Let y = -954 - -1896. Is 73 a factor of y?
False
Suppose -13593 - 2937 = -19*d. Is 59 a factor of d?
False
Let r be 398 + 4 + 4 + -8. Suppose -4*w - 2*k = -396, k - r = -4*w - 0*k. Is w a multiple of 20?
True
Suppose 48 = w + 15. Suppose 3*h + w - 183 = 0. Is h a multiple of 14?
False
Suppose -3*p = 2*p + h - 2632, -2623 = -5*p - 4*h. Suppose 5*d = p - 97. Is 8 a factor of d?
False
Suppose -219 = -x - 4*w - 3, 3*w = 4*x - 921. Is x even?
True
Let m = -679 + 1340. Does 23 divide m?
False
Let a = 55 - -40. Suppose 0 = 4*u + 4*k - 2*k - 194, k = 2*u - a. Let o = u + -32. Is o a multiple of 9?
False
Let h = -11 + 93. Let k = -51 + h. Does 3 divide k?
False
Suppose 7*o = 4*o - 2*f + 835, 833 = 3*o + f. Suppose -p + 5*p = -3*d + 206, 4*d = -3*p + o. Is d a multiple of 10?
True
Suppose -33*y + 9506 = 266. Does 7 divide y?
True
Let n be (12/(-10))/((-3)/(-10)). Let f(p) = 10*p + 1. Let k(y) = -21*y - 2. Let l(r) = n*k(r) - 9*f(r). Is l(-8) a multiple of 17?
False
Let f(v) = 6*v + 3. Let b be f(-1). Does 5 divide b + 2 - (6/2 + -27)?
False
Suppose 2*n + 3*k + 3 = -0*k, 4*n - 5*k = 27. Suppose -7*t + 5*t - 23 = -j, -n*t = 3*j - 60. Is 11 a factor of j?
False
Suppose -3 = -n - 5*j, -2*n - 3 = -5*j - 24. Suppose 2 + n = 2*c. Suppose 3*i = c*i - 40. Is 5 a factor of i?
True
Suppose 985 = 13*j - 653. Does 3 divide j?
True
Suppose 4*a - 2444 = -5*z + 8*a, 2*z = 3*a + 979. Is 8 a factor of z?
True
Let v be 1161/(-9)*(-1)/3. Let q = 59 - v. Is q a multiple of 6?
False
Let s(o) = -817*o - 278. Is 26 a factor of s(-3)?
False
Suppose 4*o + 38*y = 34*y + 1412, 1404 = 4*o - 4*y. Is o a multiple of 32?
True
Let a = -37 - -25. Is (43 + 1)*a/(-8) a multiple of 14?
False
Suppose -39 - 9 = -6*j. Is (j*-1)/((-18)/153) a multiple of 17?
True
Let h = -40 - -39. Does 22 divide (1/3 + h)/((-8)/1572)?
False
Suppose 10*q = -12*q + 17820. Is q a multiple of 21?
False
Does 6 divide (12/9 - 3470/15)/(-2)?
False
Suppose 4*j + 1424 = 9*j + 3*v, 2*v = -5*j + 1421. Is 5 a factor of j?
False
Let b be (-551)/(-38)*2*7. Suppose -931 = -9*y + b. Is y a multiple of 14?
True
Suppose -o = 4*o - 3*w + 2675, -5*w = -4*o - 2153. Does 10 divide 5 + o/(4 + -8)?
False
Suppose 63*x - 33*x = 78690. Is x a multiple of 10?
False
Let a = -14 + 18. Let o be a + -1 + (-75)/(-1). Suppose -4*g + o + 50 = 0. Is g a multiple of 8?
True
Is (-10)/(-300)*15 - (-2807)/2 a multiple of 27?
True
Suppose 5 = -5*l - f + 10, 2*l - 5*f = 29. Suppose 2*c = 2*t - 86, c + l*c - 71 = -2*t. Let s = t + 18. Does 29 divide s?
True
Suppose 35 = 9*x - 46. Suppose -13*p = -x*p - 32. Does 3 divide p?
False
Let h(i) = -i**3 - 2*i + 6. Let t(a) = -a**3 - a**2 - 3*a + 5. Let z(w) = -4*h(w) + 5*t(w). Let m = -17 - -12. Is 12 a factor of z(m)?
True
Let l(w) = 113*w + 588. Is 11 a factor of l(16)?
False
Suppose 150 = 3*g - 147. Is 11 a factor of g?
True
Let s(g) = -149*g + 28. Let t be s(-2). Suppose 0 = 12*l - 2294 + t. Does 26 divide l?
False
Suppose 1122 = 7*w + 93. Is w a multiple of 9?
False
Suppose 9*k + 70 = 10*k + 4*r, -2*r = -4*k + 316. Does 13 divide k?
True
Let d be 2*2/((-16)/244). Let z = -38 - d. Suppose 5 = 4*w - z. Is 5 a factor of w?
False
Let n = -1691 - -2951. Is 20 a factor of n?
True
Suppose -2*s - k = -6*k + 20, 4*k = -5*s + 16. Suppose 2*f + 72 - 542 = s. Suppose 6*l - f = l. Is 15 a factor of l?
False
Let m(b) = -17*b - 22 - 21 + 20*b + 11. Does 13 divide m(15)?
True
Suppose 0 = 55*m - 57*m + 840. Is m a multiple of 14?
True
Suppose 383*v - 377*v - 1206 = 0. Does 3 divide v?
True
Suppose -2 = 6*x - 32. Suppose -x*g = 5*m - 30, -5*m - 3*g + 6*g + 30 = 0. Does 5 divide 1*21/m*2?
False
Suppose 6 = 4*g - 6. Let a be 6 + g + 0 - 4. Is 18 a factor of (-3)/((a - 3)/(-36))?
True
Suppose 2*k + 4*h = -88, -k + 0*k = 4*h + 52. Is (-3)/(-2)*400/k*-3 a multiple of 15?
False
Suppose 2*h - 92 = 3*t - 2*t, -4*t - 46 = -h. Does 37 divide h?
False
Let q be (2*-10)/(-13 - -12). Suppose 3*t + 36 = -4*x, 5*x + 4*t = -26 - q. Is 99/(-6)*8/x a multiple of 22?
True
Suppose -5*r = -561 + 136. Let y = 103 - r. Does 18 divide y?
True
Let h(r) = 3*r**2 + 8*r - 10. Suppose 25 = q + 4*s, 3*q + 3*s = 4*s + 10. Is 15 a factor of h(q)?
True
Let y be (10 - 8) + -1 + 5. Suppose y*q - 85 - 107 = 0. Is q a multiple of 16?
True
Suppose 0 = -5*p + 57 - 417. Let d be 4/18 - 2576/p. Let u = -26 + d. Does 3 divide u?
False
Suppose -3*v + 85 = 2*v. Let d = 93 + v. Is 19 a factor of d?
False
Let x(q) = -23*q**3 + q + 2. Suppose 7*h = 11*h + 4. Is x(h) a multiple o