 multiple of 23?
True
Does 4 divide (64/(-24))/((-6)/(-27)*-3)?
True
Let p(c) = c**2 + 3*c + 5. Let h be p(-5). Suppose 0*u - 5*u = -h. Suppose 5*n = 2*j - 6*j + 203, -3*n - u*j = -123. Is 16 a factor of n?
False
Let q(a) = 7*a**2. Does 21 divide q(-3)?
True
Let t(l) = -l**2 - 10*l - 7. Let o be t(-9). Suppose 3*m = -o*m + 95. Does 15 divide m?
False
Let u(t) = t + 7. Let j be u(-4). Let k = j - -63. Is 19 a factor of k?
False
Suppose -4*p + 28 = 3*t, 5*p + 1 = 2*t - 10. Let i(l) = 3*l - 11. Is 4 a factor of i(t)?
False
Let h = 631 + -411. Is 44 a factor of h?
True
Let w(x) = 2*x + 54. Does 10 divide w(8)?
True
Let r(s) = s**3 - 6*s**2 + 6*s - 5. Let h be r(5). Suppose -2*o = -h*o - 60. Does 15 divide o?
True
Let n(j) = j**2 + 18. Suppose -f = -6*f + r + 22, 2*f - 5*r + 5 = 0. Suppose 3*l - 15 = f*s - 0*l, 5*s + 5*l - 25 = 0. Does 9 divide n(s)?
True
Let c(k) be the first derivative of k**4/4 + 2*k + 1. Let x be c(0). Suppose 4*a - 2*t = x*t + 56, 35 = 2*a + 5*t. Is 6 a factor of a?
False
Suppose 77 = 2*o + 63. Is 7 a factor of o?
True
Is 14 + -10 - (-21 - 1) a multiple of 9?
False
Let d = 190 - 132. Suppose -5*h = -42 - d. Let x = h + -6. Does 10 divide x?
False
Let b(r) = -66*r + 39. Let p(d) = 5*d - 3. Let l(x) = -2*b(x) - 27*p(x). Is l(-5) a multiple of 18?
True
Let c = -11 - -15. Suppose c*w = 83 + 5. Is 11 a factor of w?
True
Suppose 2*i = 2*w - 14, 2*i - 24 = -2*w - i. Let y = w + -7. Suppose 0 = -a + 4 - y. Is a even?
True
Let n be (-3)/((-9)/(-6)) - 46. Does 8 divide (1/(-2))/(3/n)?
True
Let x(q) = -q**3 + 3*q**2 + 10*q - 3. Is x(4) a multiple of 4?
False
Suppose 0*f = -12*f + 1140. Does 8 divide f?
False
Suppose 0 = -2*u - 2 + 12, -2*u = -2*a + 158. Is 28 a factor of a?
True
Let j(t) = t**3 + 3*t**2 - 4*t + 2. Let l be j(-4). Does 5 divide (5/2)/(1/l)?
True
Let h(c) = -34*c + 1. Suppose 6 = -4*l + 22. Suppose 0 = l*m - 2 + 6. Does 14 divide h(m)?
False
Suppose -20 - 28 = 4*w. Let r = w + 21. Is 3 a factor of r?
True
Let u = 5 - 8. Let o = u + 8. Let t = o - -1. Is t a multiple of 3?
True
Let z(y) = -3 + y + 12 + 7. Let o(w) = -w**3 - 7*w**2 - 6*w. Let v be o(-6). Does 8 divide z(v)?
True
Let c(z) = -z - 73. Let q be c(0). Let p = q + 108. Is p a multiple of 10?
False
Let w = -110 + 154. Does 13 divide w?
False
Suppose -1115 - 453 = -8*w. Does 14 divide w?
True
Let p = -107 - -119. Does 6 divide p?
True
Let f(s) = 144*s + 1. Is f(1) a multiple of 36?
False
Suppose 4*x = 5*m + 138 - 40, -2*x - 5*m = -34. Let f = x - -92. Does 10 divide f/4 + 2/(-4)?
False
Suppose i = -3*i + 8. Suppose 0 = -i*k, -3*q - 5*k = -139 + 4. Does 10 divide q?
False
Let l = -27 - -27. Let q = 36 - l. Does 12 divide q?
True
Suppose 2*q + 0*q - 130 = 0. Is 18 a factor of q?
False
Let s(l) = 14*l - 7. Suppose -4 + 12 = 4*i, 2*i = -4*k + 28. Is 25 a factor of s(k)?
False
Let x(w) = 2*w**2 - 2. Suppose 16 + 0 = 4*q. Is x(q) a multiple of 5?
True
Let r = 134 - 90. Does 22 divide r?
True
Let d(h) = h**2 + 9*h + 8. Let f be d(-9). Suppose 0 = -l - 4*s + 4 + f, 0 = -4*l + 4*s + 68. Is l a multiple of 14?
False
Suppose 0 = -2*l + 122 - 26. Is 37 a factor of l?
False
Suppose -2*u + 5*g - 24 = 4, 0 = -4*u - 2*g - 8. Let j(r) = -r**2 - 7*r - 2. Does 8 divide j(u)?
False
Suppose 3*p - l - 13 = -3, 0 = 5*p + 2*l - 2. Suppose 0 = -i + 5*f - 14, 3*i + 3*f - 5 = 25. Suppose 3*a = -3*q + i, 6*a = a - p*q + 13. Is a even?
False
Let r be (-5)/(-2) + 1/(-2). Suppose 0 = -r*j - 0*j - o - 3, 3*j - 4*o = 1. Does 12 divide (-3)/6*38*j?
False
Let s = 0 + -2. Is 2 a factor of 0/s + (-5 - -12)?
False
Let j(z) = -4*z**2 - 4. Let f be j(-5). Does 12 divide (f/6)/((-4)/12)?
False
Let h(t) = 3*t**2 - 1 - 3*t**2 + 2 - 31*t**3 + 2*t. Is 15 a factor of h(-1)?
True
Is (7 - 5 - 3)/((-1)/135) a multiple of 7?
False
Let l = 60 - 14. Is l a multiple of 3?
False
Is 16 a factor of 2/(0 + -1) + (-71)/(-1)?
False
Let a(x) = 2*x**2 + 6*x - 25. Is a(4) a multiple of 25?
False
Suppose 0 = 2*p - 6 - 4. Suppose -4 = -a + 2. Suppose -4*h - 14 = a, 0 = -2*f + p*h + 69. Is 11 a factor of f?
True
Let g = -10 + 13. Suppose -w = -3*l + 4*l - 28, -81 = -2*w + g*l. Is (w + 6)*(-1)/(-3) a multiple of 6?
False
Let n = 3 - -1. Let w(y) = -n*y**2 - 1 - 8*y + 3*y**2 + 0*y**2. Is 6 a factor of w(-6)?
False
Suppose -180 = -5*o + 4*u + 112, 71 = o - 5*u. Is o a multiple of 24?
False
Suppose 2*z = -3*z + 10. Suppose -z*g + 0*g = -72. Suppose 3*k - 5*d - g = -d, 5*k = 2*d + 60. Is k a multiple of 6?
True
Is 9/(-45) + (-452)/(-10) a multiple of 13?
False
Suppose 4*n = 2*v + 174, n - 3*v = 4*n - 117. Let s = 25 - n. Let f = 65 + s. Is 16 a factor of f?
True
Let l(m) = m**2 - 8*m + 6. Suppose 0 = 2*p + 2*i + 2 - 6, -3*p - 4*i + 1 = 0. Let s be l(p). Let y(f) = -22*f + 1. Is y(s) a multiple of 8?
False
Suppose -g - 2*g - z = -35, -3*z + 15 = 0. Is 8 a factor of (g - 2)*(-5)/(-4)?
False
Let j(x) = x**3 + 9*x**2 + 7*x - 8. Let g be j(-8). Suppose 0 = -g*k + 2*k - 98. Is k a multiple of 20?
False
Suppose 0 = k + 4*z + 12, -4*k - 27 = -3*z - 2*z. Let a(h) = h**3 + 9*h**2 + 8*h + 18. Does 18 divide a(k)?
True
Let u(i) = -31*i - 23. Does 27 divide u(-6)?
False
Suppose 7*o = -84 + 294. Is o a multiple of 5?
True
Let t(y) = -y**3 - y + 1. Suppose 5*x - 41 = -2*k - 0*k, x + 8 = 5*k. Let d be (-2)/(-7) - 23/x. Does 13 divide t(d)?
False
Let n = -33 - -77. Does 22 divide n?
True
Does 13 divide (-420)/(-50)*45/6?
False
Let l = -38 - -47. Is 3 a factor of l?
True
Suppose -5*l + 202 + 18 = 0. Is 7 a factor of l?
False
Let i(o) = -o**3 - 8*o**2 + o + 4. Let r be i(-8). Let f = r + 40. Is f a multiple of 12?
True
Let r(q) = -q**2 + 4*q + 1. Let h be r(3). Suppose -5*v = 2*n - 39, h*n + 10 = 2*v + 2*n. Let p = v - -5. Does 12 divide p?
True
Suppose q = 21 + 28. Does 7 divide q?
True
Is (-5 - -65) + 4/(-2) a multiple of 29?
True
Let w(d) be the third derivative of d**4/3 - d**3/2 - d**2. Suppose 2*t - 3*t + 4 = 0. Does 11 divide w(t)?
False
Let f be (15/(-9))/((-2)/78). Let i = 98 - f. Is i a multiple of 11?
True
Let w be (5 - 4)/(2/6). Suppose d - p - w*p = 4, -p - 8 = -2*d. Is 46/6 + d/12 a multiple of 8?
True
Let u be 2/(-1) - 6/2. Let x = -2 - u. Is 10 a factor of -16*(x/4 + -2)?
True
Let w(t) = 24*t + 2. Let l be w(2). Let v = l + -36. Suppose -h = 6 - v. Is h a multiple of 7?
False
Let q = -41 - -64. Let b be (-4)/(-18) - 158/(-18). Let s = q - b. Is s a multiple of 13?
False
Let w(f) = 19*f**3 - f**2. Let s(h) = -h**2 + 2*h + 1. Let r be s(2). Is w(r) a multiple of 18?
True
Let f(a) = -a + 3. Let j be f(4). Let n be 50 - ((-2 - j) + 2). Suppose 4*i = 31 + n. Is 9 a factor of i?
False
Suppose 5*j = 4*z + 4*j - 242, -5*z = -2*j - 304. Is z a multiple of 4?
True
Let g(c) = -c**3 + 4*c**2 - 3*c + 1. Let b = 8 - 5. Suppose -b*z = -2*z - i + 3, 2*z + 4*i - 24 = 0. Does 3 divide g(z)?
True
Suppose -225 = -0*p + 5*p. Let r = 72 + p. Is r a multiple of 12?
False
Let j(z) = -5*z**3 - 6*z**2 - 16*z + 19. Let d(m) = -m**3 - m**2 - 3*m + 4. Let k(t) = 11*d(t) - 2*j(t). Let f be k(0). Is 11 a factor of 3*4/f + 21?
False
Let u be 17 - 4/(4/2). Let f = -22 - -21. Is 11 a factor of f/(-1)*(u + -4)?
True
Let o(h) = -h**2 + 5*h - 6. Let p be o(4). Let i = 4 + p. Suppose 2*d + 20 = 4*c, -i*c + 0*c - d = -14. Does 6 divide c?
True
Suppose 2*w - 28 - 50 = 2*o, 66 = 2*w + 4*o. Suppose -5*h - 3*b + 2*b = -w, 22 = 2*h - 2*b. Does 5 divide (-114)/(-24) + 2/h?
True
Suppose 4*j = -20, -2*z - 8*j + 3*j = -519. Is z a multiple of 34?
True
Let x be -9*(0 + 2/(-3)). Let y(o) = 17*o**2 - 18*o + 27. Let t(h) = -9*h**2 + 9*h - 14. Let w(v) = 11*t(v) + 6*y(v). Is 24 a factor of w(x)?
False
Let h = -196 + 136. Is 2 - 5 - (h + 3) a multiple of 19?
False
Is 160 - -25 - (-1)/(-1) a multiple of 46?
True
Let m(l) = 53*l + 1. Let p be m(2). Suppose 4*f + 118 = 2*j, j = -0*j - f + 68. Let u = p - j. Is u a multiple of 21?
True
Let k(c) be the third derivative of -c**5/20 + 4*c**4/3 + c**3/3 - c**2. Let b(l) = l**2 - 11*l - 1. Let r(a) = 11*b(a) + 4*k(a). Does 7 divide r(5)?
True
Suppose 0 = 3*s + j - 5 - 9, 5*j - 34 = -3*s. Does 13 divide ((126*1)/s)/1?
False
Let d(n) = -2*n**3 + n**2 - n - 1. Let a be d(-1). Let w(s) = 3*s. Does 4 divide w(a)?
False
Suppose 0 = 5*p, -2*p + 20 = 4*v - 3*p. Suppose -v*b + 59 + 56 = 0. Let i = b - 9. Is 5 a factor of i?
False
Suppose x = -x. Let n =