pose 18 = 2*m + 4*r, m + 9*r - 9 = 4*r. Suppose -6*g + m = -3*g. Suppose g*a - 114 = -0*a. Does 19 divide a?
True
Does 13 divide (0 + -5)/(((-6)/(-50))/(-3))?
False
Suppose 0 = -2*y - 3*j + 82, 5*j + 208 = 4*y - 0*y. Does 43 divide y?
False
Let s(k) be the first derivative of 4*k + 3/2*k**2 + 1/3*k**3 + 2. Does 8 divide s(-4)?
True
Suppose 6*z - z = 900. Is z a multiple of 15?
True
Suppose 5*d - d - 6 = 2*z, 0 = 5*d + 2*z + 6. Suppose -u + 6 + 2 = d. Is u a multiple of 8?
True
Let y be ((-8)/(-6))/((-12)/(-54)). Suppose 3*t + y = t. Let q(j) = -2*j. Is q(t) a multiple of 6?
True
Let x(g) = -g**3 + 10*g**2 + 14*g. Let k be x(11). Suppose t + d - k = 4*d, 166 = 4*t + 5*d. Is t a multiple of 13?
True
Let w(y) = y**2 + 2*y - 1. Let b be w(-3). Suppose -21 = 5*h + 4*r, -b = h - r + 4. Let l = h + 19. Does 9 divide l?
False
Suppose -m + 16 = 3*m. Suppose -2*d + 2*h = -16, -4*d + 2*d + m*h + 20 = 0. Does 5 divide d?
False
Suppose 5*m - 284 = -l, -3*l + 25 = m - 29. Does 13 divide m?
False
Let m = 33 - 10. Is 23 a factor of m?
True
Suppose 0 = 5*c - 100. Let t = 28 - c. Is t a multiple of 6?
False
Let h(l) = 2*l**2 + 9*l - 5. Let v be h(-7). Suppose 4*p = p + v. Is p a multiple of 5?
True
Suppose 7*j = -84 - 455. Let q = 0 - j. Does 16 divide q?
False
Let v be (-26)/(-6) + 1/(-3). Suppose 2*a - v*a = -20. Suppose 2*m = -a, 5 + 8 = 4*o + 3*m. Is o a multiple of 4?
False
Suppose 4*c + 4*o - 21 = o, 2*c = 3*o - 3. Suppose 4*n - 51 = -c*f - 153, -n = -5*f + 37. Is 15 a factor of 436/18 + 6/n?
False
Let m = -1 - 1. Let t be -12*(2/m - -2). Is 4 a factor of (t/15)/((-4)/50)?
False
Suppose -4*k - 13 = 5*g - 0*k, -3*k - 4 = -2*g. Let b be g*(-5 - 4/(-2)). Suppose 5*p + 5*f - 30 = 0, b*p + 5*f = p + 21. Is 3 a factor of p?
True
Suppose 62 = i - 4*s + 2*s, 3*s = -3*i + 213. Is i a multiple of 24?
False
Does 6 divide (-60)/(-9)*54/30?
True
Let v(l) = l**2 - 10*l + 16. Let p be v(11). Let u = p - 6. Is u a multiple of 11?
False
Suppose -63*k + 320 = -58*k. Is 28 a factor of k?
False
Suppose -3*k + 0 + 54 = 0. Let o = 12 - k. Does 11 divide (-11)/(9/o - -1)?
True
Suppose -240 = -2*s - 2*s. Let q = s - 21. Does 18 divide q?
False
Let o be -2 - ((-1 - -2) + 1). Is 18 a factor of (-2 + 28)*(o - -6)?
False
Suppose 5*i - 2*j = 0, 5*i - i - 7 = 3*j. Let l be -13*(3*-1 - i). Let a = l - 8. Is 5 a factor of a?
True
Suppose 0 = a - 4*a + 15. Suppose a*g = -5*f - 15, 10 = f - 3*f + 2*g. Is (-55)/(-3) + f/(-6) a multiple of 7?
False
Let y be -2*(-4)/(-24)*-6. Let x = -3 + 5. Suppose -y*s = -x, 3*k - 124 = -4*s - 12. Is 13 a factor of k?
False
Let q = 4 - 1. Suppose -99 = -q*f + 3*b, -b + 3*b + 124 = 4*f. Is f a multiple of 12?
False
Let c(x) = 4*x**2 - 8*x - 7. Let s(t) = -t**2 + 1. Let p(r) = -c(r) - 3*s(r). Let h be p(8). Suppose 0 = -0*o + h*o - 36. Is o a multiple of 9?
True
Suppose -3*a = -2*a - 14. Is a a multiple of 13?
False
Let t = 29 + -12. Suppose 2*d - 3 + 5 = 2*w, -5*w + t = d. Is d + -1 + (-5 - -32) a multiple of 18?
False
Let w be (6/9)/((-4)/186). Let t = w + 51. Is 20 a factor of t?
True
Let k(w) = -w**3 + 5*w**2 - 6*w + 11. Let j(d) = -d**3 + 4*d**2 - 7*d + 12. Let y(f) = 4*j(f) - 5*k(f). Let o be y(9). Let q = 22 - o. Is 11 a factor of q?
True
Let y(o) = 25*o. Let n be y(1). Is (-10)/n - 104/(-10) a multiple of 10?
True
Let o(c) = 5*c**2 - c. Suppose 0 = -3*g + 3*t + 6, 5*g - g - 10 = 5*t. Suppose 0 = -g*v + 5*v - 5. Is o(v) a multiple of 3?
False
Let x = 3 + -5. Let m be -1 - x/(4/22). Suppose -o = o - m. Does 5 divide o?
True
Let v(j) = j**3 - j**2 - j + 22. Let g(w) = w + 3. Let y be g(-3). Does 9 divide v(y)?
False
Suppose 3*c - 85 = -2*c. Does 17 divide c?
True
Suppose -3*w - 2*y + 71 = -4*y, -5*w + 117 = -4*y. Is 6 a factor of w?
False
Suppose -20 = -4*x, -2*f - 5*x = -9*x - 646. Is 30 a factor of f?
False
Suppose 7*v + v - 96 = 0. Is 12 a factor of v?
True
Suppose l - 4 = -2. Suppose l*z - 5*f = 82, -174 = -3*z - 2*z - 3*f. Suppose 0*m - 4*m = -z. Does 9 divide m?
True
Let k = -59 - -91. Does 16 divide k?
True
Suppose -3*k + 20 = 2*p, 0 = k - 2*p - p - 25. Suppose -9*f = -k*f + 8. Is f a multiple of 8?
True
Let w(j) = -j**3 - 19*j**2 + 7*j - 14. Is w(-20) a multiple of 41?
True
Let c be 0/1 + 3/1. Suppose 5*s + t - 4*t - 39 = 0, t + c = 0. Is 5 a factor of s?
False
Let x(c) = c**2 - 7*c + 90. Does 15 divide x(0)?
True
Let g(y) = -y**2 - 14*y - 10. Suppose 5*x + 2*j + 46 = 0, 5*x - j = -86 + 34. Does 15 divide g(x)?
True
Let i(o) = -o. Let p(n) = -1. Let a(q) = i(q) + p(q). Let v(d) = 4*d - 4. Let z(u) = -6*a(u) + 2*v(u). Is 11 a factor of z(3)?
False
Suppose y - 51 - 6 = -b, -105 = -2*y - 5*b. Is 15 a factor of y?
True
Let q(f) = 6*f - 5. Let o be q(3). Does 17 divide (0 - 1)*(-4 - o)?
True
Let p = -120 + 193. Suppose p = 2*h + 11. Suppose -g + h = 10. Is 20 a factor of g?
False
Let r(t) = t + 12. Let b be r(-9). Suppose -b*z + 330 = -8*z - h, 0 = z + h + 70. Let g = z - -95. Is g a multiple of 15?
True
Suppose 12*q - 16*q + 52 = 0. Is 13 a factor of q?
True
Let i be (3 - 4)/((-2)/444). Suppose -3*f = -6 - i. Does 21 divide f?
False
Suppose -8*s + 432 + 96 = 0. Is 11 a factor of s?
True
Let i = -4 + 3. Does 12 divide 507/12 - i/(-4)?
False
Suppose 2 = z - 0. Suppose 18 + 0 = z*q. Is 9 a factor of q?
True
Does 5 divide (2*(-10)/(-16))/(4/96)?
True
Let d(m) = -m**3 - 5*m**2 - 8*m - 7. Let i(y) = y - 2. Let a be i(-3). Is d(a) a multiple of 6?
False
Suppose -12 = -2*y - z, -2*y = 3*z - 4 - 4. Is 18 a factor of (12/y)/((-2)/(-42))?
True
Let v = 27 + -24. Is 3 a factor of v?
True
Let i be 4/14 - (-19)/7. Suppose i*u = 18 + 90. Suppose 0 = 5*j - 166 + u. Is j a multiple of 13?
True
Let q(u) = -2*u - 12. Let z be q(-11). Suppose 3*m - 3*g = -7*g + 86, 5*g = z. Suppose -5*f = 3*n - 84, -2*n - 3*f - m = -82. Does 14 divide n?
True
Let q = 5 + 1. Suppose q*b = b. Suppose -110 = -5*l + 5*o, b*l = 3*l - 4*o - 71. Is 6 a factor of l?
False
Suppose -5*x - 3 - 2 = 0. Let j be (-5)/(-2)*(3 + x). Suppose -j*s + 50 = 2*m, -4*m - 44 = -6*m - 2*s. Is m a multiple of 10?
True
Let v(z) = -2*z - 3 + z + 3*z**2 + 0*z. Does 19 divide v(-3)?
False
Let d(t) = 17*t**3 + t**2 + t - 1. Let p be -2 - (-3 - -2) - -4. Let q be (-8)/(-6) + p/(-9). Is d(q) a multiple of 15?
False
Let b = 9 + -19. Let x = b + 26. Suppose 5*g + x = a, -49 = -5*a + g + 79. Does 13 divide a?
True
Suppose -5*f + 32 = -f + 4*o, -5*o = -5*f + 40. Let c(s) = 7*s**3 + s**2 - 1. Let t be c(-1). Is t/(-2) + 12/f even?
False
Is ((-39)/6)/((-3)/24) a multiple of 9?
False
Let s(z) = z**2 + 3*z - 7. Let k be s(-5). Let o(b) = 1 + k + 2 + 2*b. Is 10 a factor of o(6)?
False
Suppose -4*d - q = -45 + 9, 0 = -d - 5*q + 28. Let x(h) = -1 - d*h - 9*h + h. Is x(-2) a multiple of 11?
False
Does 21 divide (4 + -121)*1/(-1)?
False
Let j(y) = 2*y**2 - 8*y - 4. Let n(x) = 2 + 7 + 12*x - 3*x**2 - 3. Let p(g) = -7*j(g) - 5*n(g). Does 9 divide p(6)?
False
Suppose 4 = -p - 0. Let v = 30 - p. Does 17 divide v?
True
Suppose 52 = 4*k - 4*x, 4*k + 4*x + 52 = 136. Does 5 divide k?
False
Let r = 5 - 4. Let i = r + 2. Suppose -i*x + 55 = u + 20, 5*u + 5*x - 145 = 0. Is 13 a factor of u?
True
Suppose 0 = 4*a - 5*v - 26, -6*a + 43 = -a - v. Let m(n) = n**2 - 10*n + 11. Let b be m(a). Suppose -3*z + b*o = -34, -z - 3*o + 19 + 7 = 0. Does 5 divide z?
False
Suppose 2*b - 48 = 4*v + 6, 5*b + 4*v - 191 = 0. Is 7 a factor of b?
True
Let b(a) = a**3 + 9*a**2 + 11*a + 6. Let o be b(-8). Suppose -5*k + 4*p - 1280 = -p, -4*k - 4*p - 1016 = 0. Is 11 a factor of k/o - (-1)/(-6)?
False
Let t(w) = 5*w - 9. Is t(7) a multiple of 15?
False
Let f = -32 - -35. Is f even?
False
Let k(b) = b - 2. Suppose -5*f - 5*x - 5 = 0, -5*f + 4*x = x - 35. Let y be k(f). Suppose -15 = -y*c - c. Does 3 divide c?
False
Is 9 a factor of 12/(-42) + (-898)/(-7)?
False
Let b(j) be the second derivative of -j**5/20 - j**4/2 - 5*j**3/6 + j**2 - j. Let p = 8 + -13. Is b(p) a multiple of 2?
True
Suppose -318 = 5*n - 3*a + 4*a, -a = -n - 60. Let g = -8 - n. Suppose -2*z - 35 = -3*z - t, 2*z = 3*t + g. Does 16 divide z?
True
Let l = -135 + 263. Is l a multiple of 22?
False
Let u(n) be the second derivative of -n**4/12 + 5*n**3/6 - n. Let i be u(5). Suppose 5*t + 2*h - 145 = i, 0 = -4*t + h + 4*h + 116. Is 13 a factor of t?
False
Let f = 21 - 17. Suppose -f*y - 56 = -2*h, 82 - 30