) = j - 1. Let y(h) = 3*l(h) + 10*s(h). Let w be (9/3 + -2)*-5. Is y(w) a multiple of 6?
True
Let g = 31 - -3. Suppose 2*n + 46 = 2*k, 4*k - 2*k + 34 = -2*n. Let x = n + g. Does 7 divide x?
True
Let b(f) be the first derivative of f**3 - 2*f**2 + 3*f + 2. Is b(3) a multiple of 6?
True
Suppose 19*a = 16*a + 198. Does 11 divide a?
True
Suppose 5*v = 4 + 6. Suppose 4*j = -5*y + 23, -v*j - 5 = y - 6*j. Suppose y*l + 20 = 4*l. Does 10 divide l?
True
Suppose -i - 4*p - 8 = 3*i, -5*i = -4*p - 35. Suppose -f - 21 = -2*x + 3, 5*x = -i*f + 82. Is x a multiple of 7?
True
Suppose -5*y - 24 + 4 = 0. Is 23 a factor of (-138)/(-3) - (y + 4)?
True
Let t(a) = -4*a. Let i be t(-1). Suppose -i*z = -z - 84. Does 14 divide z?
True
Let g(j) = 2*j**3 - 1 - 10*j**3 - j - 2*j**3 + 3*j + 2*j**2. Let m(n) = -21*n**3 + 3*n**2 + 3*n - 2. Let o(y) = -5*g(y) + 3*m(y). Does 12 divide o(-1)?
True
Let f be 2/(-8) + 138/8. Let c = -6 + f. Is c a multiple of 11?
True
Let w = -5 - -1. Let p = w - -4. Let v = p - -26. Is v a multiple of 13?
True
Suppose 3*p - 30 = -3*j, 3*j - 3*p - 2 = 4. Suppose s - 2 = 3*z, -3*s = 4*z - 9 + 3. Let l = j - z. Is 3 a factor of l?
True
Let j = 14 - -25. Let x(i) = -i**2 - 5*i - 3. Let l be x(-2). Suppose j + 0 = l*k. Does 10 divide k?
False
Suppose -5*w - t - 6 = 6, -10 = 5*t. Let j(v) = -4*v**2 + v - 3. Let a be j(-2). Does 14 divide (a/w)/((-3)/(-6))?
False
Let x(z) be the first derivative of -3*z**2 + z + 2. Let j be x(1). Is (32/20)/((-2)/j) even?
True
Suppose 4*h - 5414 = 2*h. Let z = h - 1859. Is z/28 - 4/14 a multiple of 15?
True
Let k = -36 + 104. Is k a multiple of 34?
True
Let w(y) = y**3 - 3*y**2 - 4*y + 2. Let o(s) = s**3 + 5*s**2 + 4*s - 1. Let k be o(-3). Is 16 a factor of w(k)?
True
Suppose -b = z - 31, 4*z + 83 = 3*b + 2*z. Is b a multiple of 9?
False
Suppose 621 = 5*l + y, -2*y - 13 + 5 = 0. Is l a multiple of 20?
False
Suppose -55 = -3*x - 13. Is 2 a factor of x?
True
Suppose u - 2*u = -13. Is 13 a factor of u?
True
Let o(i) = -i**3 + 5*i**2 - 5*i + 2. Let u be o(3). Suppose 0*g = 4*g + 20, u*q = -3*g. Suppose -q*a = 3*z - 147, 0*a + z = a - 43. Is 23 a factor of a?
True
Let z(f) = -f**2 + 7*f + 7. Let h = -26 + 32. Does 3 divide z(h)?
False
Suppose -c + 2*c = -40. Let n be (c/25)/((-4)/10). Suppose 0*m + n*m = 124. Is 14 a factor of m?
False
Let r(y) = y + 7 - 2*y + 2*y. Let d be r(-3). Suppose 82 = d*q - 4*x + 30, 0 = 2*q - 5*x - 41. Does 4 divide q?
True
Let c(i) = 194*i + 2. Let l be c(3). Suppose 5*q - 708 = -4*d, -3*q + l = 3*d + 161. Suppose 4*p + 0*p = q. Is 12 a factor of p?
True
Suppose 38 = -5*k + 8. Let x(q) = q**2 + 7*q + 9. Is x(k) a multiple of 3?
True
Suppose -d = -55 - 65. Suppose 10*x = 5*x + d. Is x a multiple of 24?
True
Suppose -136 = -2*s + 4*n, 2*n - n - 190 = -3*s. Suppose 3*r = 5*c - 80, 4*c - r = 4*r + s. Suppose -5 - c = -3*g. Is g a multiple of 3?
False
Let u = -361 - -577. Is 36 a factor of u?
True
Let h(a) = -a**3 + 13*a**2 + 7*a - 1. Is 18 a factor of h(13)?
True
Suppose -3*t + 176 = -5*s, -t + 12 = 2*s - 54. Let a = -41 + t. Is a a multiple of 7?
True
Let n = 1 + -2. Let g(d) = -20*d**2 + 7*d - 6. Let q(t) = -41*t**2 + 15*t - 13. Let b(a) = -13*g(a) + 6*q(a). Is b(n) a multiple of 15?
True
Suppose -723 - 317 = -26*f. Is 4 a factor of f?
True
Let o be (-1)/(-1*(-3)/(-12)). Suppose -4*q = 2*x + 5 + 7, 4*x = -3*q - o. Suppose -x*a = u - 54, a + 2*u = u + 26. Is a a multiple of 14?
True
Let j be (-9)/2 + (-2)/(-4). Let a = j + 6. Is 12 a factor of 1*a + (-90)/(-9)?
True
Let s(y) = -y**3 - 9*y**2 + 3*y - 9. Let x be s(-9). Let n = x - -53. Does 16 divide n?
False
Let i = -171 - -259. Does 22 divide i?
True
Suppose 3*o = 7*o + 2*i - 728, 2*o - 368 = -2*i. Is 9 a factor of o?
True
Let j(s) = -5*s + 9. Let x(g) = g - 2. Let d(p) = -2*j(p) - 9*x(p). Let a(b) = 1. Let y(q) = -4*a(q) + 5*d(q). Is y(3) a multiple of 11?
True
Does 6 divide (-3 - 2)/(2/(-4))?
False
Let p(h) = -h**2 + 3*h. Let o be p(2). Suppose 5*z = 6*z - 7. Suppose -o*k = 5*u - 34, z = 3*u - u + 3*k. Is 8 a factor of u?
True
Let u = 184 - 104. Suppose 4*g = -g + u. Does 6 divide g?
False
Let d be (6 - 10)*9/4. Is 11 a factor of -3 - 6/d*21?
True
Let g be (-74)/(-26) - (-20)/130. Let c(o) = 0*o**3 - o**g + 3*o - 2 + 0*o**2 + 2*o**3 - 7*o**2. Is 19 a factor of c(7)?
True
Let u(z) = z + 9. Does 2 divide u(-3)?
True
Let o be 256/(-18) - 8/(-36). Is 17 a factor of (-28)/(3 - o/(-4))?
False
Let x = -35 - -25. Does 2 divide 3/((-12)/2)*x?
False
Suppose -8 = -p - p, -4*w + p = -504. Suppose -3*v + w = 10. Is 9 a factor of v?
False
Suppose 6*q + 49 - 313 = 0. Is q a multiple of 11?
True
Let i(p) = -5*p + 4. Let m be i(2). Let k = 19 - m. Does 10 divide k?
False
Let t(o) = -o**3 - 9*o**2 - 9*o - 3. Let r be t(-8). Suppose x + 2*m - r = -0*x, 2*m = -2*x + 6. Let k(l) = 24*l. Does 15 divide k(x)?
False
Suppose -2*r - 1282 = -4*z, 3*r = -2*z + 6*r + 635. Is 21 a factor of z?
False
Let z be 2/(12/123)*-2. Let a = 65 + z. Is 10 a factor of a?
False
Suppose -13 - 14 = 4*w - 5*s, -3*w = -5*s + 24. Let o = 5 + w. Suppose -o*x - x + 135 = 0. Is 16 a factor of x?
False
Suppose 215 = -3*v + 71. Is 5 a factor of (10/(-4))/(4/v)?
True
Suppose -14 = -5*s + 2*d, 0 = s - 4*s - 5*d + 27. Suppose s*z + 72 = 216. Is z a multiple of 21?
False
Does 4 divide -5*(-312)/30*1?
True
Let l = -19 - -23. Suppose -4*x = x - l*a - 10, 3*x - a - 13 = 0. Is 6 a factor of x?
True
Let p = 55 + -20. Does 6 divide p?
False
Suppose 2*k + 2*k = -144. Let n = 12 - k. Is n a multiple of 10?
False
Suppose 2*u + 4*n + 0 - 10 = 0, -2*u + 55 = -5*n. Let y be 3/(-1)*u/(-9). Suppose -y*x + 10 = 0, -2*x = 4*w - 7*x - 30. Is w a multiple of 7?
False
Suppose -4 + 0 = 2*j, 5*j - 53 = -r. Does 21 divide r?
True
Let w be (-39)/(-15) - (-4)/10. Suppose 2*a = -w*a + 20. Suppose a*f = f - 5*n - 14, f + 6 = -2*n. Is 2 a factor of f?
True
Suppose 0 = -5*c - 3*g - 2*g + 220, 2*c - 5*g - 81 = 0. Is c a multiple of 18?
False
Let p be (-2)/2*(0 - 1). Does 9 divide (p/2)/(2/36)?
True
Suppose -2*y - 28 = -128. Let q(f) = 31*f**3 + 2*f**2 - 1. Let w be q(-1). Let v = w + y. Does 10 divide v?
True
Let u(s) = -s**2 - 12*s + 2. Is 10 a factor of u(-5)?
False
Let p = -18 - -36. Does 9 divide p?
True
Is 4 a factor of 5 + 4/(-6)*-6?
False
Let o be (-5)/(-2)*104/20. Let t = o - -30. Is 12 a factor of t?
False
Let d(z) = z**3 + 11*z**2 + 14*z + 8. Is d(-6) a multiple of 19?
False
Let x(y) = 14*y**2 - y - 1. Suppose 3*n - 3*v + 1 - 4 = 0, 0 = -5*n + 4*v + 3. Is x(n) a multiple of 11?
False
Suppose 2*s = -0*s + 4. Suppose 4*v - s - 42 = 0. Let t = v - 0. Is t a multiple of 5?
False
Let s = -197 - -227. Is s a multiple of 15?
True
Is 13 a factor of (5/(-15))/((-2)/156)?
True
Let f(r) = 4*r + 6. Let l be f(-4). Let v = l - -25. Is 4 a factor of v?
False
Suppose -k = -0*b - b - 55, -b = 2*k - 110. Does 8 divide k?
False
Suppose -3*s - 101 = -2*t, -t - 193 = -5*t - 3*s. Suppose t = 2*m + 13. Is m a multiple of 13?
False
Let w(l) be the third derivative of 2*l**2 + 1/6*l**4 + 0 + 5/6*l**3 - 1/120*l**6 + 1/15*l**5 + 0*l. Is 8 a factor of w(4)?
False
Let m(q) = q**3 - 6*q**2 + 1. Let b be m(7). Let h(k) = 2*k**2 + 2*k - 4. Let f be h(-5). Let d = b - f. Does 7 divide d?
True
Let s = -5 + -5. Let m = 18 + s. Let y(h) = -h**2 + 9*h - 6. Is y(m) a multiple of 2?
True
Let a(p) = 3*p**2 + p - 1. Let k = -18 + 22. Is a(k) a multiple of 17?
True
Does 6 divide 15 - 1 - (-56)/14?
True
Let x(b) = b**3 + 13*b**2 + 11*b - 9. Let f be x(-12). Suppose -2*s - 36 = -v, -4*v + v = f*s - 108. Does 12 divide v?
True
Let s = 4 - -104. Is 18 a factor of s?
True
Let o be (4/(-5))/((-8)/20). Let y(d) = 4*d - 1. Let l be y(1). Suppose l = o*a - a. Does 3 divide a?
True
Suppose -260 = -f - 4*f. Does 26 divide f?
True
Let d(c) = 2*c**2 - 5*c - 6. Suppose 5*f + 3 = o, -5*o + o + 4*f = -12. Let a = 2 + o. Does 11 divide d(a)?
False
Let m(k) = k**2 - 7*k + 11. Is 11 a factor of m(7)?
True
Let v = -21 - -41. Is v a multiple of 10?
True
Suppose 169 + 6 = 5*q. Let y be q/42 + 1/6. Is 27/9 + 13/y a multiple of 12?
False
Let s(j) = -j**3 - 7*j**2 - 5*j - 5. Let z = -6 + 1. Let k(b) = -b**2 - 4*b - 2. Let u be k(z). Is 15 a factor of s(u)?
True
Let m(v) = 2*v**2 - 2*v. Let k be m(3). Let g = 8 + k. Does 9 divide g?
False
Let f = -13 - -8. Let h = f - -9. Is 3 a fa