uppose -k + 5*k - h = 0. Suppose -5*f = x - 22, -k*x = 6*f - 3*f - 30. Is x a multiple of 7?
True
Does 22 divide (-2416)/(-22) - (8 + 810/(-99))?
True
Suppose 0 = j - 5*l + 25, -65 = 5*j + 4*l + l. Let m(s) = s**2 + 13*s - 7. Does 5 divide m(j)?
False
Let b(r) = -r**3 + 82. Let l be b(0). Suppose y - 258 = -4*c, -3*c + l = -y - 108. Does 8 divide c?
True
Let n = 689 + -60. Does 37 divide n?
True
Let w(b) = 6*b. Let g be w(-2). Let f be ((-32)/6)/2*g. Let t = -16 + f. Is t a multiple of 8?
True
Let d be 8/(-6)*3 + 6. Suppose b - a = 12, 2 = -d*b + 4*a + 30. Does 10 divide b?
True
Suppose -36 - 20 = -3*m + 5*a, -5*a = -4*m + 68. Suppose m*l = 8*l + 156. Is 13 a factor of l?
True
Does 8 divide 364 - 18/12*6?
False
Does 12 divide (-383 - 1)*(10 + -12)?
True
Does 3 divide ((-618)/(-515))/((-373)/375 + 1)?
True
Does 18 divide (3 + -15)*4944/(-32)?
True
Let v be ((-8)/3)/(16/(-72)). Suppose -3*g + v = -72. Is 14 a factor of g?
True
Let k = 20 + -2. Is 855/k - 1/2 a multiple of 16?
False
Suppose 5*s = 80 + 85. Let o = s + -20. Does 9 divide (5 + o)/(6/4)?
False
Is 2 a factor of -3 - 207/(-6)*(-12)/(-18)?
True
Let d be ((-8)/6 + -1 + 2)*-6. Suppose d*f - 70 - 126 = 0. Does 14 divide f?
True
Let r = -706 + 869. Does 3 divide r?
False
Let s = -1744 - -2816. Does 67 divide s?
True
Is 94 a factor of 5/(45/(-3276))*-1?
False
Let p(m) = 73*m - 14. Let b be p(10). Let s = b + -464. Suppose 49 - s = -4*n - o, -3*n - o = -152. Does 17 divide n?
True
Suppose -2*z - 5*a + 4 = 0, -2*a + a - 10 = -5*z. Suppose 27 = 5*i + z. Suppose -i*g = 2*r - 121, 9*r + 3*g - 312 = 4*r. Is r a multiple of 16?
False
Let t be (1*-2)/(8/272). Let l = t - -110. Is 42 a factor of l?
True
Let y(p) = p**3 - 6*p**2 + 7*p - 3. Let z be y(6). Suppose 3*d - 70 = -2*d. Suppose s - z = d. Is s a multiple of 33?
False
Suppose 5*d + 4252 = 3*f - 5*f, 5*d = 5*f - 4280. Let h be d/(-5) + 16/(-40). Suppose -2*v - 3*t = -h, 2 = t + 4. Is 21 a factor of v?
False
Let x = 3 - -1. Suppose 0 = 3*p - x*p - 17. Let z = p - -47. Does 5 divide z?
True
Suppose 4*r + r - 1395 = 0. Suppose 5*q + 690 = -h + 6*h, q = 2*h - r. Does 20 divide h?
False
Let g(l) = 6*l**3 - l**2 + 3*l + 4. Is g(4) a multiple of 12?
True
Suppose -2*h = -4*b + 4, -4*b + 5*b + 3*h - 8 = 0. Let p(r) = -4*r - r**3 + 19 + r**b - 3 + 2 + 3*r. Is 6 a factor of p(0)?
True
Let u = 163 - 47. Is u a multiple of 7?
False
Let t(p) = 7*p + 11. Let o be t(-8). Let d be 4/(5/(o/(-2))). Is ((-7)/(-14))/(1/d) a multiple of 2?
False
Suppose -3*x = -5*f + 36 + 4, 4*f = -2*x - 56. Let m = x - -42. Suppose 0 = -2*w + 4*w - m. Is w a multiple of 11?
True
Suppose -5*x = -4*x - p + 4, 2*p = 8. Suppose x*k - k = -14. Is ((-24)/k)/((-2)/14) a multiple of 12?
True
Let s be (6 - 8) + 3*1. Let m be (s - -2) + 41/1. Let d = -26 + m. Is d a multiple of 4?
False
Let v = -188 - -412. Is 16 a factor of v?
True
Let y be ((-68)/8 + 3)*10. Let a be y/(2*3/(-6)). Let z = a - 31. Is z a multiple of 12?
True
Let f be (15900/45)/(4/6). Let y = f + -377. Does 17 divide y?
True
Let l(y) = 10*y + 1. Let w be l(-1). Let f = w - -15. Suppose -i = -f*i + 150. Is i a multiple of 10?
True
Suppose -f - 10 = -2*x, -f - 3*x + 10 = -x. Let q = 23 + 90. Suppose f = 5*z + 3 - q. Is 11 a factor of z?
True
Let b = -16 + 18. Suppose 74 = b*u - 2*x, -4*x - 9 = -1. Let y = u + -25. Is y a multiple of 3?
False
Suppose 142*i - 4047 = 4047. Is i a multiple of 11?
False
Let m = 12 + -6. Let n(j) = 12*j - 26. Does 14 divide n(m)?
False
Suppose 212 = 2*t + n, 374 = 4*t + 4*n - 50. Let g = t - -84. Is g a multiple of 38?
True
Suppose -4*l - 3*g = -2*l - 287, 2*l = 3*g + 257. Suppose 2*j = -5*t + l, -5*j = -4*t - 232 - 75. Is j a multiple of 5?
False
Let w(b) = -4*b**3 + 2*b**2 - 5*b - 13. Does 2 divide w(-2)?
False
Is 1 - -263 - (27 - 19) a multiple of 34?
False
Suppose -b - 3 = 0, -7*q + 4*b + 2092 = -2*q. Is q a multiple of 13?
True
Let h = 1418 + -1163. Is 15 a factor of h?
True
Let h be 4/(-18) - (-384)/27. Let g = h - 25. Let x = g + 18. Is x a multiple of 7?
True
Let d(a) be the second derivative of a**6/180 - a**5/40 + a**4/24 - 5*a**3/3 + 7*a. Let w(u) be the second derivative of d(u). Is w(-5) a multiple of 11?
True
Let w(j) = -j - 1. Let r(y) = 39*y - 13. Let x(q) = r(q) - 6*w(q). Does 13 divide x(2)?
False
Let z(u) = u - 11. Let y be z(14). Let o = y + 7. Let g(n) = n - 2. Is g(o) a multiple of 3?
False
Let u(m) be the second derivative of -m**3/3 + 2*m**2 + 11*m. Let i = 7 - 14. Does 5 divide u(i)?
False
Suppose 57 = h + o, 4*h - 4*o - 42 = 3*h. Suppose 2*p = -3*x + h, -x + 2 = -0. Is 12 a factor of p?
True
Let k = 26 - 21. Suppose -6*p + k = -7. Suppose p*j - 233 = -83. Does 23 divide j?
False
Let s(r) = -r**3 + 11*r**2 + 18*r - 18. Let a be s(12). Suppose 0 = 199*j - 197*j - a. Does 2 divide j?
False
Let h = -23 + 25. Let q be h + (1 - 0/(-4)). Suppose q*g = 28 - 10. Is 6 a factor of g?
True
Suppose -2*w + 20 = 5*t - 6*w, 5*w = t - 25. Let x = 6 - 0. Suppose 0 = 3*y - t + x, -y = -4*u + 226. Does 14 divide u?
True
Let t(i) = i**2 + i + 3. Let c be t(0). Suppose -603 = -c*p - 2*p - u, -p = -5*u - 105. Suppose 2*g + 0*g = p. Does 31 divide g?
False
Let u(o) = -49*o - 485. Does 18 divide u(-11)?
True
Suppose 19*r - 5017 = 4844. Is r a multiple of 13?
False
Suppose 4*p + 3*a - 3 - 14 = 0, -p - 3*a = -2. Suppose p*m + 125 = 2*w, -2*w - 3*m + 188 = 39. Is w a multiple of 22?
False
Let i be (-2)/8 + 1881/132. Suppose -i*z + 2*z + 228 = 0. Does 5 divide z?
False
Suppose -28*b = -21*b - 567. Does 2 divide b?
False
Let b = -5 - 10. Let j be ((-16)/(-6))/(2/b). Let p = j + 113. Is p a multiple of 31?
True
Suppose 7*k + 40 = 2*k. Let r(x) = x**2 - 7*x - 5. Does 27 divide r(k)?
False
Let t be (669/12)/(3/12). Suppose -3*u - n = 59 - t, -126 = -2*u - 4*n. Is 14 a factor of u?
False
Is 11 a factor of 10/(-4)*(-9800)/125?
False
Let l be (-7 - -4) + 3 + 35. Is 39 a factor of 364/l*(-30)/(-4)?
True
Let w(y) be the second derivative of y**5/20 + 11*y**4/12 + 5*y**2/2 + 17*y. Suppose 10*h - 5*h = -55. Does 4 divide w(h)?
False
Let s(i) = i**3 + 8*i**2 + 7*i + 7. Let w(m) = -m**3 - 9*m**2 - 8*m - 8. Let o(y) = -3*s(y) - 2*w(y). Does 5 divide o(-6)?
True
Let g be (-1)/((-2)/(-10)*1). Let q(m) = -2*m. Is 6 a factor of q(g)?
False
Let u be (2 + -4)/((-3)/(-6)). Is (-317)/u + 16/(-64) a multiple of 13?
False
Suppose 2490 + 22280 = 10*r. Is r a multiple of 44?
False
Let m be ((-9)/(-6))/(-3)*0. Let a = -130 + 135. Suppose -a*n + 65 + 115 = m. Is n a multiple of 12?
True
Let p(q) = q**3 + 15*q**2 - 21*q + 4. Suppose 2*u = 2*n - 128, -4*u = 3*n - 0*u - 227. Suppose 0 = -5*b - n - 11. Is p(b) a multiple of 28?
True
Let q be (0 + 0)/(0 - -1). Suppose 0*r = -r - 4*w + 11, -r + w + 1 = q. Suppose r*m = 5*h - 145, -2*m + 149 = 4*h + 11. Is h a multiple of 16?
True
Let v be (-1)/(-2) + 15/(-2). Let m = v + 10. Suppose m*q = 2*q + 8. Does 3 divide q?
False
Is 2448/36 + (0 - -2) a multiple of 14?
True
Let k(f) = 3*f + 20. Let t be k(-8). Let g be 9/12 - (-3)/t. Does 13 divide 29 - (-1 + 4 + g)?
True
Suppose -3*j - 420 = -6*j. Let r be j/(-15)*6/(-7). Suppose -5*c - p + 42 = 0, -p - r + 2 = -c. Is 8 a factor of c?
True
Is 9 a factor of (-2144)/(-14) + 12/14?
False
Let k be 84/((-20)/(-19) - 1). Let c be (-2)/6 - k/18. Let d = c + 125. Does 12 divide d?
True
Let l(a) = 2*a + 56. Suppose -4*s + s - t = 4, 16 = s - 4*t. Is l(s) a multiple of 8?
True
Suppose f - 4*f = -69. Let c = 112 - 62. Suppose -c = -2*w - 4*y, 0*w - y + f = w. Does 21 divide w?
True
Let b = 307 + -220. Does 3 divide b?
True
Is 1/2*(1425 - -27) a multiple of 33?
True
Let h be 0 - (-7)/(2 - 1). Let w(b) = -9*b**3 - 7*b**2 + 5*b + 3. Let d(a) = -11*a**3 - 7*a**2 + 5*a + 3. Let l(o) = -5*d(o) + 6*w(o). Does 13 divide l(h)?
False
Let o = 7401 - 3924. Is o a multiple of 61?
True
Let u be (24/(-5))/((-2)/75). Let d be ((-1)/2)/(5/u). Does 21 divide (-390)/(-4)*(-12)/d?
False
Let o = 23 + 44. Let i = -12 + o. Is 9 a factor of i?
False
Does 49 divide -2 + 40/(-6)*(-531)/6?
True
Suppose 0 = 4*b - 3*k + 8, 2*b + 6*k - k + 30 = 0. Is (2/b)/((-5)/(-2700)*-2) a multiple of 36?
True
Suppose -134 = x - 176. Suppose 0 = 41*h - x*h + 260. Is 65 a factor of h?
True
Let t(c) = -c**3 - c**2 - 15. Suppose 0 = -2*b - 5*m - 10, -3*m = b + 2*m + 10. Let g be t(b). Let h = g -