
Let o be (1 - 3)/(4/(-22)). Let y(x) = -2*x + 7. Let b be y(o). Does 4 divide (-10)/b*(12 - 0)?
True
Let y = 156 - 75. Is y a multiple of 37?
False
Let w = 186 - 11. Does 38 divide w?
False
Suppose 4*l + 8 = 0, -h + 420 - 46 = -l. Is 31 a factor of h?
True
Suppose -5*i + 559 = -k, 3*i - 4*i + 109 = -3*k. Is 44 a factor of i?
False
Let n(z) = 17*z + 4 - 5*z + 1 - 9*z. Let h be (-2)/6*(-7 + -2). Is 7 a factor of n(h)?
True
Is (5 - (-6 - -13)) + 351 a multiple of 30?
False
Let f(t) = 10*t + 566. Is 3 a factor of f(-13)?
False
Let r(n) = 56*n - 25. Is 65 a factor of r(7)?
False
Let v = 93 - 81. Is 14 a factor of ((-18)/v)/((-15)/560)?
True
Suppose 2*j - 7 = 1. Suppose -5*f + 20 = 0, -4*q + 293 = j*f - 235. Does 26 divide q?
False
Let n(a) = 15*a**2 + 3*a - 21. Let j be n(-7). Suppose j = 5*z - 802. Is z a multiple of 43?
False
Let r(t) = -t - 7. Let d be -8 + 2 + (4 - 5). Let i be r(d). Is 2 a factor of (i + -3)*(-32)/24?
True
Let j = 11686 + -5934. Is 13 a factor of j?
False
Suppose x = -6*n + n + 7, -5*n = 2*x - 9. Let l(b) = 2*b**2 + 3*b**x + b**2 - 4*b**2 + 7 + 8*b. Does 17 divide l(-5)?
True
Let l be (1 + 3 + -154)*1. Let g = l + 258. Does 36 divide g?
True
Suppose -l = -3*w + 1583, 4*l - 2639 = -5*w + 5*l. Is 12 a factor of w?
True
Let n(x) = 15*x**2 + 2*x. Is 4 a factor of n(-2)?
True
Let n(f) = f**3 - 9*f**2 - 12*f + 31. Let s be n(10). Suppose 5*h - 160 = -s*h. Is h a multiple of 3?
False
Is 4 a factor of -2 + -6 + 433 + -10?
False
Let k(w) = -w - 3. Let f be k(-8). Let g(o) = 2*o - 6. Let q be g(f). Suppose -q*t = -t - 93. Is t a multiple of 16?
False
Let m(q) = -15 + 6*q**3 - 11*q**2 + 11*q - 11*q**3 + 4*q**3. Does 30 divide m(-13)?
True
Let h(u) = -u**2 + 1. Let w be h(-5). Let g = w + 84. Does 9 divide g?
False
Suppose 6*g = g - 90. Let p be (-68)/(-6) - g/27. Does 12 divide 4*(-3)/(-4)*p?
True
Does 45 divide ((-572)/(-13) - 11)*15?
True
Does 51 divide 1*8/(-4) + (-504)/(-1)?
False
Suppose 0*r - 3024 = -6*r. Suppose -4*x + b + 3*b = -r, 3*x - 372 = 5*b. Does 16 divide x?
False
Suppose -3*c + 0*c = 177. Is 8 a factor of c/(-7) - 36/84?
True
Let l = -36 - -104. Let y = 134 - l. Suppose 14 = 5*d - y. Does 8 divide d?
True
Let i = -73 + 170. Is 37 a factor of i?
False
Is 25 a factor of (-3046)/(-18) - (60/(-27))/(-10)?
False
Let t = -101 - -292. Suppose 2*d + d = -9, v - t = -2*d. Is v a multiple of 32?
False
Let p(h) = h - 2*h + 8*h**2 - 12 + 9. Let r be p(-2). Let o = -21 + r. Does 10 divide o?
True
Let w(l) be the third derivative of -7/6*l**3 + 0 + 1/12*l**4 + 0*l - 12*l**2. Is w(7) a multiple of 3?
False
Let g(k) be the third derivative of 3*k**4/8 - k**3 + 7*k**2. Let r be -15*(-3)/(-9)*-1. Is 13 a factor of g(r)?
True
Suppose 14*b + 2*r + 5123 = 19*b, 4099 = 4*b - r. Does 13 divide b?
False
Suppose -28*d + 19*d + 1890 = 0. Is d a multiple of 5?
True
Suppose -3*g + 3*p = 18, 0*g + 2*p = -4*g. Let a be g/(-10) - 648/(-10). Let u = a + -37. Is u a multiple of 14?
True
Suppose 248 = z + 79. Is z even?
False
Let d(n) = -4*n**2 - 6*n - 6. Let u be d(-4). Let f(t) = -t**2 - 17*t - 23. Let r be f(-20). Let a = u - r. Does 15 divide a?
False
Let i = -35 - -100. Is i a multiple of 13?
True
Suppose 0 = 20*w - 5269 - 191. Does 7 divide w?
True
Suppose -16*h + 2471 + 2233 = 0. Does 14 divide h?
True
Let b(a) = -9*a + 5. Let q = -35 + 32. Does 8 divide b(q)?
True
Let i(h) = h**3 - 2*h**2 - h - 3. Let k be 4*(-1 - -2) - 1. Let w be i(k). Suppose 105 = 4*y - 5*l, -w*l + 28 + 19 = 2*y. Does 8 divide y?
False
Let p(g) = g**3 - 14*g**2 - 39*g + 308. Does 28 divide p(19)?
True
Let c(s) = -7*s**3 - s**2 + 5*s + 7. Let p(r) = -5*r**3 - r**2 + 4*r + 7. Let d(j) = -3*c(j) + 4*p(j). Suppose 0 = -2*g + g. Is d(g) a multiple of 5?
False
Suppose -35*k - 142692 = -82*k. Is 41 a factor of k?
False
Suppose -9*f + 2507 = -1021. Is f a multiple of 8?
True
Suppose 49 = 4*h - z, -h = -z + 5*z - 8. Let u = 14 - h. Suppose u*n - 3*n + 23 = 0. Is 23 a factor of n?
True
Let m = 99 - 95. Suppose 5*y = -0*o - 2*o + 178, 0 = o - m*y - 115. Is o a multiple of 33?
True
Let n = -137 + 533. Is n a multiple of 12?
True
Let g(k) = -2*k - 4. Suppose -9 = -3*l + 3. Let n be g(l). Let f = n - -32. Does 5 divide f?
True
Let z(g) be the third derivative of -3*g**4/8 - 4*g**3/3 + 5*g**2. Let h = -6 + 1. Is 12 a factor of z(h)?
False
Suppose -340 = 7*n + 528. Let d = -52 - n. Does 18 divide d?
True
Suppose 0 = -8*r - 6 + 38. Suppose -3*q = -0*q + 6, -r*q - 568 = -4*s. Is 28 a factor of s?
True
Let y(w) = -11*w + 4. Let g be y(0). Suppose 4*s - 6 = 2. Suppose s*z + 114 = g*z. Is 19 a factor of z?
True
Let l be (32/20)/((-12)/30). Does 27 divide (3 + -2 + l)*-9?
True
Let i be (3 - 5)/((-49)/24 + 2). Suppose 5*h = i + 72. Is 9 a factor of h?
False
Let c be (3 + -2)/(1/4). Suppose c*i - i = 6. Suppose 165 = 3*q + i*q. Is q a multiple of 11?
True
Suppose 2*i + 10 = 0, -5*i - 40 = -2*u + 105. Suppose 7*x + u = 4*a + 3*x, 0 = 3*a + 3*x - 33. Suppose -3*o = -j + 33, 3*j - a = 2*j - o. Is j a multiple of 7?
False
Let o = -30 + -26. Let u = o + 92. Is u a multiple of 7?
False
Let w = -3 - -4. Suppose 4*f + 55 = -w. Let g = f + 34. Is 5 a factor of g?
True
Let k(q) = q + 5. Let x be 0/(-2 - (-2)/(-2)). Let l be k(x). Let j(v) = v**3 - v**2 - 3*v - 1. Is 12 a factor of j(l)?
True
Suppose 3*h = 0, 0 = -2*m - 3*m - 3*h + 1320. Is 22 a factor of m?
True
Is 16 a factor of (-4784)/(-23) + 1 + 0?
False
Let r(n) = 2*n + 16. Let t be ((-12)/3 - -3) + 6. Suppose -t*p = 5 + 20. Is r(p) even?
True
Is (345 - 2) + 1 + 2 + -2 a multiple of 43?
True
Let f(j) = 36*j - 9. Suppose -2*l - 2*g = -2, 5*l - 2 = 4*g + 3. Is f(l) a multiple of 3?
True
Let s(h) = -31*h - 31*h + 7 + 64*h. Is 6 a factor of s(12)?
False
Let a be ((-4)/6)/(6/(-639) - 0). Suppose -2*j + 78 = 3*p, 4*j = 2*p - j - a. Is 17 a factor of p?
False
Let x be ((-130)/39)/(4/(-6)). Suppose -x = -m + 12. Does 13 divide m?
False
Suppose 14 = 6*w + w. Suppose -2*x = 10, r = -w*r - 3*x + 27. Does 7 divide r?
True
Suppose 9*l = 7*l + 344. Suppose -u = 53 - l. Is u a multiple of 17?
True
Let y(k) = 5*k**2 + 13*k - 72. Is y(6) a multiple of 13?
False
Suppose -3*k + 8 = -7. Suppose q - 6 = -5*y, -4*y + 0 = k*q - 30. Is 19 a factor of 2/q*57*3?
True
Suppose 109 = 13*k - 47. Is 6 a factor of k?
True
Let y be 6/(-1)*(-5)/(40/(-12)). Let w(r) = -r**3 - 9*r**2 - 7*r - 3. Does 6 divide w(y)?
True
Let c(y) = y**2 + 14*y + 164. Is c(-14) a multiple of 16?
False
Let v(r) = -r**3 + 14*r**2 + 15*r + 14. Suppose 4 = 5*o + 154. Let u = -15 - o. Is v(u) a multiple of 14?
True
Suppose -3*a - 153 - 63 = -2*r, -5*a + 2*r - 364 = 0. Let n = a - -139. Let l = 142 - n. Is 21 a factor of l?
False
Let t = -7 - -10. Let y = -4 + 6. Suppose 160 = y*l + t*l. Is 22 a factor of l?
False
Suppose -v + 14 = -3*v - 2*a, 0 = -4*v - 2*a - 32. Let m = v + 9. Suppose -2*h = 5*p - 83, -2*p + m*h + 14 = -4*h. Is p a multiple of 5?
True
Let p(u) = u**3 - 2*u**2 - u - 1. Let f be p(3). Let s(a) = 4*a - 2. Let g be s(-1). Does 27 divide (-50 + 5)*g/f?
True
Suppose -4*p - 12 = -188. Is (-17 - 1)*(-3)/(18/p) a multiple of 22?
True
Suppose 0 = -2*y + 4*x - 12 - 0, -9 = 4*y - 5*x. Is y even?
True
Is 9 a factor of 4*-3*(-280)/96?
False
Suppose -8*p + 986 = -430. Suppose -6*i + 33 = -p. Is i a multiple of 18?
False
Let a(l) = 30*l. Let k be a(9). Suppose -533 = -0*o - 4*o - n, 2*o + 4*n = k. Is o a multiple of 19?
True
Let q = -123 + 187. Let y = 46 - q. Let c = y - -28. Does 6 divide c?
False
Let c(r) = 12*r**2 + r + 3. Let f be c(2). Suppose f + 31 = 3*b. Is b a multiple of 28?
True
Let a = 8 - 1. Let h = 153 - a. Suppose 5*v - s = 2*v + h, -5*v = 5*s - 210. Does 18 divide v?
False
Let j(p) = 67*p**2 + p. Let m(k) = -k**2 - 6*k + 8. Let x be m(-7). Is 16 a factor of j(x)?
False
Suppose -4*y + 3*p + 5749 = -1758, -3*y + 5629 = -p. Is 28 a factor of y?
True
Let t be (-192)/(-104) - 2/(-13). Suppose n - t*h = -3*h + 31, -4*n = 3*h - 125. Does 12 divide n?
False
Let d(j) = j**3 + 8*j**2 + j - 3. Suppose -4*x + 13 = 3*r + 32, -5*x - 4*r = 23. Let c = -10 - x. Does 13 divide d(c)?
True
Suppose 73 = 2*p - 3*j - 2386, -3698 = -3*p - 5*j. Is p a multiple of 20?
False
Let h(q) = -2*q**2 + 9*q - 5. Let l be h(3). Suppose -3*x + v = -462, -2*x + 7*x - 777 = l*v. Is 31 a factor of x?
False
Let v = 12 - 10. Supp