Let o = -618 - -1183. Is o a multiple of 33?
False
Let f be 0*(2 - 0 - 1). Suppose 4*u = 3*y - 2, f = 2*y - u + 2*u - 5. Is (1 - 6)/(y/(-12)) a multiple of 8?
False
Let g(p) = -3*p**2 - 38*p - 24. Let h(f) = f**2 + 13*f + 8. Let d(t) = 4*g(t) + 11*h(t). Let o be d(-6). Suppose -o*z + 6*z + 116 = 0. Does 12 divide z?
False
Let j be (-3)/(-15) + (-3045)/(-25). Let z = j - 75. Suppose z = m - 16. Is m a multiple of 20?
False
Suppose 4*u + 1281 = 11*u. Is u a multiple of 11?
False
Let o be (-5)/(-2*1/2). Let q(y) = -o*y - 2*y + 9 - y. Is q(-7) a multiple of 13?
True
Is 1760/12*(-1)/(8/(-30)) a multiple of 22?
True
Let o(z) = -10*z + 14. Let w(j) = -11*j + 14. Let q(a) = 5*o(a) - 4*w(a). Does 7 divide q(-10)?
False
Suppose 2*q = 5*z - 3*q - 65, z = -2*q + 7. Let w = 86 - z. Does 15 divide w?
True
Let y(g) = 11*g**2 - 3 + 12*g + 14*g - 22*g. Is 30 a factor of y(2)?
False
Suppose 2*z + 5 - 16 = -x, -x = -4*z + 7. Suppose -z*w = 3*j - 27, -5*w - 2*j + 48 = 2*j. Is 4 a factor of w?
True
Let b(h) = -3*h. Suppose 3*s = -w + 25, 4*s + 4 - 54 = -2*w. Suppose -i - w = 4*i. Does 3 divide b(i)?
True
Let h(a) = -a**2 - 12*a - 9. Let i(q) = -q**2 - 12*q - 8. Let d(p) = 4*h(p) - 5*i(p). Let m be d(-12). Suppose 63 = m*c - 241. Is c a multiple of 19?
True
Let m = 2236 + -1897. Is m a multiple of 12?
False
Let m(f) = -f**3 - 32*f**2 + 57*f + 80. Is m(-35) a multiple of 32?
True
Suppose 0 = 123*c - 46*c - 68607. Is 11 a factor of c?
True
Let a = -77 + 81. Suppose -492 = -5*q - 2*l + 4*l, 408 = a*q + 2*l. Is 5 a factor of q?
True
Let f = -954 + 1724. Is 77 a factor of f?
True
Let s(p) = 6*p - 35. Let o = 6 - -11. Does 6 divide s(o)?
False
Let t(f) be the first derivative of -1/4*f**4 + 1 - 2*f**2 - 7*f + 7/3*f**3. Is 3 a factor of t(6)?
False
Suppose -196 = -3*b + b. Let d = -13 - -93. Suppose d = 3*i + 5*t, 4*i + t - 3*t - b = 0. Is 5 a factor of i?
True
Let h(y) = -y**2 + 7*y + 11. Let l be h(7). Does 5 divide l + 4/12*3?
False
Let w = -24 + 3. Let s = 40 + w. Is 18 a factor of s?
False
Let d(z) be the first derivative of 4*z**3/3 - 5*z**2 + 6*z - 3. Let i be d(6). Does 3 divide i/24*16/6?
False
Let l(b) = b + 9. Let o(k) = k. Let j(t) = -l(t) - 2*o(t). Suppose -2 = 2*a + 6. Is j(a) a multiple of 2?
False
Suppose 0 = 14*o - 6009 + 199. Is o a multiple of 6?
False
Let x(f) = -2*f**3 - 13*f**2 - 7*f - 6. Let r be x(-6). Let t(g) be the third derivative of -g**4/24 + 2*g**3/3 - g**2. Is t(r) a multiple of 2?
True
Let u(h) = 6*h - 24. Let t be (4 - (4 + -5))*12/5. Is 6 a factor of u(t)?
True
Let f(b) = b**3 - b**2 - 2*b. Let s be f(2). Suppose s = 7*h - 8*h + 2. Does 10 divide 41 - (2 - h - -1)?
True
Let f(y) = -y**2 + 12*y + 16. Let x be f(13). Suppose -2*j - q = j + 23, -5*q - 7 = -x*j. Does 10 divide j*52/(-8) - 2?
False
Let p = 69 - -42. Let f be (-3)/4 + 1180/16. Let h = p - f. Is h a multiple of 19?
True
Suppose -2*i - 142 = 116. Let p = 88 + i. Let k = p - -112. Does 24 divide k?
False
Let l = -53 + 757. Does 33 divide l?
False
Let f(z) = z**2 - 9*z - 4. Suppose -24 = -3*a + a. Is f(a) a multiple of 32?
True
Suppose 2*w - 5*z = 18, 3*z + 4 = -w + 2. Suppose -w*v = -47 - 9. Is 14 a factor of v?
True
Let t = -26 - -28. Is 9 a factor of t/(-3) - (-1024)/24?
False
Suppose -3*o + 5*m + 27 = 0, -m = 5*o + 4*m - 5. Suppose -2*q = 2, -3 = -o*z - 3*q - 2*q. Suppose 3*d + z*s - 48 = -2*d, -2*d + 8 = -2*s. Is 3 a factor of d?
False
Suppose n = 1 + 41. Suppose i - 5*o - n = 27, -5*o - 133 = -2*i. Is i a multiple of 16?
True
Suppose -5*k - 2*x + 6*x = -1625, -319 = -k + 2*x. Is 12 a factor of k?
False
Let w(a) = 49 - 16 - 16*a - 14 + 3*a**2 - 9. Is 9 a factor of w(7)?
True
Suppose x = -5*x + 18. Let g(m) = 38*m - 10. Is 13 a factor of g(x)?
True
Let i = 4615 - 2351. Is 44 a factor of i?
False
Suppose -4*o + 2480 = -5*d, -356 = -o + 4*d + 253. Does 7 divide o?
False
Suppose -2*l + 3*s = 3*l - 1174, 2*s + 940 = 4*l. Suppose 0 = 3*z - 3*t + 228 - 582, -2*z + l = 3*t. Does 12 divide z?
False
Let f = 967 - 383. Is f a multiple of 14?
False
Let t(o) = o**3 + 6*o**2 + 3*o - 6. Let l be t(-5). Let n(f) = f**3 - 4*f**2 + 2*f + 4. Is n(l) even?
True
Let d = 6951 - 4163. Is 60 a factor of d?
False
Let q = 2456 + -1655. Is q a multiple of 9?
True
Let b = 872 + -224. Is b a multiple of 12?
True
Let o(k) = 5*k**2 + 6*k + 4. Suppose 3*y = -0*p + 4*p - 16, y + p + 3 = 0. Let l be o(y). Suppose -3*u + l = 21. Is u a multiple of 13?
True
Does 70 divide 22668/54 - (-3 - 75/(-27))?
True
Let d(v) = 19*v + 13. Let c be d(9). Let w = c + -112. Does 18 divide w?
True
Suppose -1 = -2*m + 4*a - 7, 4*m + 2*a = 18. Suppose -2*z = -10, 2*z + 262 = m*k + 4*z. Is k a multiple of 11?
False
Suppose -1143 = 6*g - 2799. Is g a multiple of 2?
True
Let o be (-15)/120 - 33/(-8). Suppose a + 0*m - 50 = 2*m, -a = o*m - 68. Is 14 a factor of a?
True
Suppose 21*z - 48 = 20*z. Is 5/((-15)/9) + z a multiple of 10?
False
Let c = 22 - 2. Let u(i) = -6*i + 10. Let f be u(-9). Let n = f - c. Is 18 a factor of n?
False
Suppose y - 1507 = -5*p + 2*y, -3*y = -3*p + 909. Does 43 divide p?
True
Let s(y) = y**2 + 7*y + 4. Let o be s(-6). Let h(n) = 20*n - 2. Let c be h(1). Is c - (o + 1 + 4) a multiple of 5?
True
Suppose -3*w + 4 = -2*w - 3*m, 3*w = m + 36. Is (w + -169)*2/(-6) a multiple of 13?
True
Suppose -n + 5*k + 3 = 0, -n - 2*k = n - 6. Suppose n*s + 3*s = 114. Is s a multiple of 10?
False
Let u = -676 + 806. Does 10 divide u?
True
Let a(r) = -36*r + 1. Let l be a(-4). Suppose -11*z + 20 = -l. Is z even?
False
Let y(o) = o - 2. Let x be y(6). Let v(u) = 2*u**2 - 7*u + 17. Let h be v(6). Suppose x*k = -h + 323. Is k a multiple of 14?
False
Suppose f - 2*t = -3, -7*f - t = -2*f - 29. Suppose 4*l + 4 = 0, -f*g + 5*l + 17 = -g. Suppose -g*s - 36 = -5*s. Does 6 divide s?
True
Suppose -i + 15 = 3*d, 5*d + 3*i - 34 = -5. Suppose 0 = 4*t - d*b, t + 2*t - 5*b = -10. Suppose -5*p + 3 = t*g - 52, -2*g - 3*p = -24. Does 5 divide g?
False
Let v be ((-3)/(-2))/(4 + 5386/(-1348)). Is 2/(-6) + v/3 + 3 a multiple of 23?
True
Let t(v) = 0*v**3 - v**3 + 2*v**2 + 35 + 0*v**2 + v. Is t(0) a multiple of 7?
True
Let a(i) = i**3 + 4*i**2 + 7*i + 9. Let s be 23/(-6) + (-12)/72. Let j be a(s). Let w = 51 - j. Is 22 a factor of w?
False
Suppose 2 = 3*z - 7, -5*q + 4*z + 563 = 0. Is q a multiple of 23?
True
Suppose 16*b - 460 = 14*b. Does 10 divide b?
True
Let g(r) = -r - 3. Let i be g(-8). Suppose -8 = 2*q, -i*q = 3*z - 2*q - 270. Suppose -z = -m - y, 0*m - 4*m + 385 = y. Is 26 a factor of m?
False
Suppose 2*t + 8 = 0, -2696 = -5*q + 2*t - 18. Is q a multiple of 7?
False
Let c = 19 - 14. Suppose 165 = -c*z + 735. Does 26 divide z?
False
Let b(g) = 6*g**3 - 2*g**2 + 1. Let s be 1*-4*4/(-16). Let u be b(s). Suppose d - u*d = -4*t + 32, 5*t + d = 40. Is t even?
True
Suppose -67 = 3*g - 265. Suppose -k + g = -0*k. Suppose p + k = 3*p. Does 18 divide p?
False
Let b = -22 - -26. Suppose 3*c + 75 = 6*c + 5*d, b*c - 100 = d. Is c a multiple of 10?
False
Let l(q) = 4*q**2 + 5*q - 68. Let t be (-12)/(-8)*(-16)/(-12). Let k(p) = -3*p**2 - 4*p + 67. Let v(j) = t*l(j) + 3*k(j). Is v(0) a multiple of 13?
True
Suppose -4*k + 4995 = -v, k = 4*v - 8*v + 1236. Is 78 a factor of k?
True
Let m be (-2 + -1)*(-48)/18. Suppose m = -q + 85. Is q a multiple of 11?
True
Let x be (-2)/4*(-15 + -7). Suppose 15*i - 240 = x*i. Is i a multiple of 12?
True
Let f = 37 - 65. Let n = 56 + f. Is 14 a factor of n?
True
Let f(y) = 60*y - 2. Let i be (-2)/((27/6)/(-9)). Let p(b) = -61*b + 3. Let u(c) = i*f(c) + 3*p(c). Does 7 divide u(1)?
False
Let d = 1049 + -893. Does 26 divide d?
True
Let v(a) = -a**3 + 16*a**2 + 11*a + 1. Does 24 divide v(13)?
False
Suppose 5*f + 23 - 33 = 0. Let m(g) = -4*g**3 + 7*g - 3*g + 3*g**f + 2*g**3. Does 23 divide m(-3)?
True
Suppose 0 = v - 1 - 1. Suppose -5*i = -2*c + 25, -4*c = v*i + 2*i - 8. Suppose 53 = -c*n + 138. Is n a multiple of 17?
True
Suppose b + 30 = 7*b. Suppose -b*c + 4*t = 4 - 13, 5*c + 3*t - 37 = 0. Suppose -c*a + l - 25 = -77, 2*l = 6. Is 8 a factor of a?
False
Let k(q) = -61*q - 94. Is 50 a factor of k(-4)?
True
Suppose 45*u = 40*u + 5*c + 1605, -c = 2*u - 639. Is u a multiple of 5?
True
Let z = 210 + 306. Is 43 a factor of z?
True
Let c = 489 - -853. Does 14 divide (-6)/(-36) + c/12?
True
Let h(q) be the first derivative of 2 - 4