 22 = 4*z, 0 = -4*j + z - 23. Let h be (-3)/j*(-1 + 3). Suppose s = 21 - h. Is s a multiple of 18?
False
Let n = -12 + 32. Let m = n - -20. Does 20 divide ((-39)/(-12))/(5/m)?
False
Let u be (-8)/16*(1*-829 + 1). Suppose -3*p + u = 144. Is p a multiple of 11?
False
Let f = 24 - 25. Does 47 divide 67/(f/2 + 1)?
False
Suppose -2*t - 2 = -t, 0 = -4*w - 2*t + 56. Suppose 0 = w*s - 182 - 748. Does 5 divide s?
False
Let k(r) = 15*r**2 + 16*r - 65. Is k(10) a multiple of 21?
False
Let o = -22 + 22. Suppose -5*k - 2 + 42 = o. Is k/6*45/6 a multiple of 5?
True
Let d = 0 - 6. Let j be (141/d)/((-2)/(-4)). Let r = j + 69. Is r a multiple of 22?
True
Let q(t) = -t + 38. Let o be q(-14). Suppose x - i = -0*i + 31, 0 = -2*x - 3*i + o. Is 12 a factor of x?
False
Let u(c) = 2*c**3 + c**2 + 3*c - 3. Suppose 3*v - 8 + 2 = 0. Is u(v) a multiple of 11?
False
Let a(n) = -n - 3. Let z be a(-9). Suppose z = -4*b + 22. Suppose -b*p - 20 = 0, -70 = -q + 2*p + p. Is 8 a factor of q?
False
Suppose 298 = w - 4*u, 0*w - 2*u - 608 = -2*w. Suppose -2*m + 3*m - 4*t = 52, -5*m - 3*t = -w. Is 6 a factor of m?
True
Suppose -2*c = -2*f - f - 4, 0 = -4*c + 8. Suppose 2*g + 0*g = -6, -2*w - 4*g + 116 = 0. Suppose 4*v = -4*p + w, f*v - 72 = -3*p + 3*v. Is 14 a factor of p?
False
Is 38 a factor of 9*(-11)/(-66) - (-754)/4?
True
Let q be (-40)/(-10)*71/(-2). Let h = 240 + q. Is h a multiple of 14?
True
Let b(v) = v**3 - 6*v**2 + 39*v - 56. Is 44 a factor of b(12)?
True
Suppose -2*q + 3*i + 17 = 0, 4*q + 4*i - 14 = 3*q. Suppose -x = -6*x + q. Suppose 24 = c + 2*s, s = x*c - 0*s - 48. Does 8 divide c?
True
Let i = -387 - -665. Is 8 a factor of i?
False
Suppose p = -2*y + 76 + 877, -p = y - 479. Is 19 a factor of y?
False
Suppose -5*p = -0*p. Suppose -21*o + 16*o + 40 = p. Let b(g) = g**2 - 4*g - 9. Is b(o) a multiple of 9?
False
Suppose 7*v - 19 = -5. Does 39 divide -5 + 8/v - -157?
True
Suppose 0 = -5*t + 802 + 1063. Suppose -5*a + 487 = -t. Suppose 0 = -7*x + 11*x - a. Is 14 a factor of x?
False
Suppose k - 2*x - 92 = 0, 0*x - 346 = -4*k - 3*x. Suppose -l = -5*l + k. Is l a multiple of 3?
False
Let c(a) = 16*a - 3. Let f be c(6). Let v = f + -3. Suppose 0*o - v = -5*o. Is 18 a factor of o?
True
Let r(g) be the second derivative of g**5/20 - 7*g**4/12 + 2*g**3/3 - 5*g**2 - 2*g. Let s be r(7). Suppose -h = -0*h - s. Does 9 divide h?
True
Let g = 457 - 277. Suppose 3*z - 111 - g = 0. Does 21 divide z?
False
Suppose 6*u + 584 = 8. Let d = u + 166. Is d a multiple of 10?
True
Suppose -3*x - 3*j + 303 = 0, 0 = 4*x + 6*j - 5*j - 398. Is 3 a factor of x?
True
Suppose 4*q + 3*v = 138, 5*q - v = -6*v + 175. Let x = q + -20. Is x a multiple of 3?
False
Suppose -12*o = -5754 + 354. Does 5 divide o?
True
Suppose -7*q = -1026 - 745. Is 16 a factor of q?
False
Suppose 2*q - 6*q - 260 = 0. Let c = 2 - q. Is 45 a factor of c?
False
Suppose -306 - 81 = -9*k. Does 43 divide k?
True
Is 4082/16 + (-1)/8 a multiple of 7?
False
Let d = -767 - -1411. Is d a multiple of 46?
True
Is (3/6)/(11/2662) a multiple of 11?
True
Let x = 237 - 156. Suppose 117 = 2*j - x. Let h = -71 + j. Does 14 divide h?
True
Suppose x + x = -4*b - 226, -2*x + 152 = -3*b. Let v be (-258)/b + 2/9. Suppose u + 23 = 4*u + v*g, -21 = -u + g. Is u a multiple of 16?
True
Let t = -253 + 73. Let a be (7 - -7)*t/21. Let d = 168 + a. Is d a multiple of 8?
True
Suppose i - 15 = -4*a, -4*a + 3*i = -a - 30. Suppose -b - 5*h = -23, a*b + 2*h - 15 = -3*h. Is ((-1)/b)/((-1)/(-38)) a multiple of 11?
False
Let f(t) = -18*t - 28. Let c(y) = 144*y + 225. Let n(j) = 4*c(j) + 33*f(j). Does 3 divide n(-4)?
True
Does 7 divide 666/(-12)*(-12)/6?
False
Let z(y) = 16*y + 24. Let i(n) = -n**3 - 6*n**2 + 6*n. Let f be i(-7). Does 34 divide z(f)?
True
Suppose p = 4*p - 5*a + 27, a - 11 = p. Let y(t) = 319*t + 1. Let u be y(-1). Is 18 a factor of u/p - (-14)/49?
False
Suppose -17*b + 3653 = 763. Is b a multiple of 6?
False
Let j(b) = b - 3. Let l(y) = 1. Let m(u) = j(u) + 3*l(u). Let w(v) = -v**2 + 11*v - 2. Let c be w(10). Is 8 a factor of m(c)?
True
Suppose -4*g + 10 = 2. Suppose -7*r + 522 = -2*r + 2*j, -g*r + j = -207. Suppose -r = -2*d + 2*s, 0 = 5*d + 4*s - s - 260. Is d a multiple of 13?
True
Suppose 17 + 31 = 4*j. Let c be 4/j - (-3)/(-9). Suppose c = 5*v - 4*v - 5*p - 46, -3*v + 4*p = -94. Does 13 divide v?
True
Let g(t) = 3*t + 6. Let s be g(-3). Let c be 5*s/45*-267. Suppose 5*p - c = 171. Is 26 a factor of p?
True
Let o = -40 - -43. Suppose -4*k + o*h = h - 390, 0 = 5*k + 5*h - 465. Is k a multiple of 12?
True
Let u = -62 - -68. Is u a multiple of 6?
True
Suppose -t - a + 5 = -0, a + 3 = t. Suppose -3*y = -5*i + 1195 - 297, -4*i + t*y + 720 = 0. Is i a multiple of 36?
False
Suppose -5*u = -5*q + 405, -2*u = 2*q - 5*u - 164. Is q even?
False
Let g = 2945 - 189. Is g a multiple of 53?
True
Suppose 20743 = 74*u + 911. Does 4 divide u?
True
Let p(h) = h + 15. Let o(l) = l**3 - 19*l**2 + 16*l + 24. Let r be o(18). Let w be p(r). Suppose -w*v = -v - 102. Is v a multiple of 25?
False
Suppose -70 = -2*h + w, 3*h + 20 = w + 123. Suppose -3*l - l + 5*z = 25, -15 = 4*l - 3*z. Suppose -3*c + 0 + h = l. Does 3 divide c?
False
Let h(w) = 5*w - 17. Let i(g) = 3*g**2 + 10*g + 2. Let m be i(-4). Is 11 a factor of h(m)?
True
Suppose 0 = -4*c + h - 5*h + 8, -2*h - 5 = -c. Suppose 0 = -2*f + 3*f - 4*q - 157, 0 = 3*f + c*q - 486. Does 15 divide f?
False
Does 25 divide 79156/198 - 4/(-18)?
True
Suppose 0 = -142*w + 114*w + 50344. Is w a multiple of 11?
False
Let j = -277 + 349. Is 36 a factor of j?
True
Let y = 8 - 0. Let v = 37 + y. Suppose l - 51 = 5*n, 0 = l - 0*l - 3*n - v. Is l a multiple of 10?
False
Does 41 divide 5 + (-8)/(-48) + (-23485)/(-30)?
False
Let h(q) = q**2 + 7*q - 3. Let b be h(-8). Suppose -b*t = 3 - 13. Does 8 divide t/(-5) + (-126)/(-15)?
True
Suppose z = -3*z + 2*r + 80, -5*z + 100 = -r. Let o = z + -15. Suppose 2*d = 21 - o. Is 5 a factor of d?
False
Let k(q) = -8*q + 43. Let o be k(5). Suppose -4*u + 0*n + 5*n + 423 = 0, -3*n - 321 = -o*u. Does 14 divide u?
True
Suppose 0 = 5*q - p - 3*p + 20, 0 = 3*q + 3*p - 15. Suppose 2*a - 7*a - 55 = q. Let v(x) = -x**3 - 10*x**2 + 5*x - 5. Is 24 a factor of v(a)?
False
Suppose 0 = -2*y + 4*c - 96, -c - 1 + 2 = 0. Is 9 a factor of (16 - -2)*3/((-18)/y)?
False
Let f(y) = y**2 - 11*y + 18. Does 11 divide f(-24)?
True
Suppose -26 = -3*u - 2*m + 2, u = m + 6. Let j be 2/u - 138/(-24). Let h = j + 4. Does 4 divide h?
False
Let t(j) = -j**2 + 16*j + 16. Is t(16) a multiple of 4?
True
Let s(r) = -r**3 + 2*r**2 - 4*r + 3. Is s(-5) a multiple of 9?
True
Let k = -25 - -47. Suppose 5*w - 142 + k = 0. Does 2 divide w?
True
Suppose -x + 2 = 5*a + 20, -20 = 5*a. Suppose -2*t = -b - b - 142, 148 = x*t + 4*b. Is 24 a factor of t?
True
Suppose 0 = -3*o - 3*i + 435, -o + 0*i + 145 = -2*i. Is 4 + -5 - -1*o a multiple of 36?
True
Let y = -2348 - -4713. Is y a multiple of 55?
True
Suppose 3*p = 22*p - 11799. Does 9 divide p?
True
Is 2 a factor of (5 - -52) + (-10)/2?
True
Let k be (5/(-2))/5*-8. Let g = k - 1. Suppose g*f + 13 = 4*f. Does 5 divide f?
False
Suppose 4*t + 35 = -5*r - 23, -5*t = 10. Let w be 10/(-25) - (-116)/r. Let s = w - -26. Is s a multiple of 5?
False
Let n(a) = 13*a - 3. Let l(h) = -h. Let r(m) = -3*l(m) + n(m). Suppose 4*c + c - 2*q = 23, -5*c - 2*q = -7. Is r(c) a multiple of 16?
False
Let k = 36 + -34. Suppose 0 = -n + 1, 4*s + 5*n - k*n = 167. Is 12 a factor of s?
False
Suppose 5*y = 2*y + 4*g + 462, 0 = 3*y + g - 447. Suppose -c = 4*c - y. Does 5 divide c?
True
Let y = -27 + 29. Let u = y - -94. Is 6 a factor of u?
True
Suppose 7*k + 4*z = 2*k + 233, -3*z - 205 = -4*k. Is 7 a factor of k?
True
Let c = -54 - -31. Let g = 59 + c. Is 12 a factor of g?
True
Let d(x) = -x**3 + 9*x**2 - x - 4. Let a(j) = -j**3 + 10*j**2 - j - 4. Let y(z) = -4*a(z) + 5*d(z). Is y(3) even?
False
Let l(m) = -m**3 - 8*m**2 + 2*m + 1. Let b be l(-9). Let s = -14 + b. Does 10 divide s?
True
Does 12 divide ((-4)/(-3) - 1)/(67/4221)?
False
Suppose 0 = 10*l - 12*l + 12. Let s(t) = 19*t + 30. Is 15 a factor of s(l)?
False
Let w = 4 + -2. Suppose 0 = w*b + 6 - 12. Suppose 0 = b*n - 9, -4*x - 2*n - 3*n = -31. Is x a multiple of 2?
True
Let v(y) = 11*y**2 - 10*y - 2. Let d be v(7). Suppose 0 = 5*f + 2*l - d, 89 = f - 3*l - l. Is f a multi