0. Is z a multiple of 20?
False
Let g(k) = -1 + 4*k + 4 + k. Suppose t + 6 = 2*t. Is g(t) a multiple of 13?
False
Let p(y) = -y + 16. Let n be p(11). Let o = 0 + 2. Suppose -4*w + 34 = 2*v, w + o*v = -n + 21. Is 4 a factor of w?
False
Suppose 4 + 2 = 3*u. Suppose 4*y + 4*d - 54 = -10, -3*d = u*y - 20. Does 6 divide y?
False
Let u(s) be the second derivative of -s**3/2 + s**2/2 - s. Let k be u(-2). Let w = 25 - k. Is w a multiple of 9?
True
Let d = -3 + 6. Suppose d*o - 3 = 57. Does 10 divide o?
True
Is 4 a factor of (-10 + 2)*((-20)/(-8) - 3)?
True
Let l = -12 - -19. Let w(j) be the second derivative of j**5/20 - 7*j**4/12 + j**3/3 - 7*j**2/2 - 27*j. Is 5 a factor of w(l)?
False
Let x = -47 - -96. Let k = x + -28. Is k a multiple of 21?
True
Let c(b) = -3*b**3 - 5*b**2 - 5*b - 3. Suppose 3*n + 2 = -7. Is c(n) a multiple of 16?
True
Suppose -23*n - 1 = -24*n. Let g(p) = -p + 5. Let i(t) = 2*t - 6. Let x(s) = 5*g(s) + 4*i(s). Is x(n) a multiple of 3?
False
Suppose -2 = 2*a - 6. Suppose -a*f + 4*i - 9 = 17, 5*f + i = -21. Is (f - 9)/(-3 + 2) a multiple of 6?
False
Let k = -209 + 329. Does 40 divide k?
True
Let j(m) = 3*m**3 - 8*m**2 + 9*m + 2. Is j(6) a multiple of 32?
True
Let m(a) = 3*a + 8. Let h be m(-12). Is 4 a factor of (-8)/h - 26/(-7)?
True
Let q = 128 + -53. Is 25 a factor of q?
True
Suppose -2*p = -17 - 139. Is p a multiple of 11?
False
Let o be (8/6)/(4/(-150)). Let j = -24 - o. Suppose -6*m + j = -m - 3*u, 5*m - u = 32. Is m a multiple of 7?
True
Suppose 1 = -5*s + 6. Let g = 4 + s. Suppose -g*y = -5*p + 120, 0 = -3*p - 5*y + y + 44. Does 20 divide p?
True
Let t(a) = 2*a**2 - 12. Is t(-5) a multiple of 19?
True
Let a(s) = 4*s - 13. Is 5 a factor of a(9)?
False
Suppose 10*w = 8*w + 240. Is 24 a factor of w?
True
Let p(f) = -f + 3. Let k(y) be the second derivative of y**4/12 - 2*y**3/3 - 2*y. Let o be k(4). Does 2 divide p(o)?
False
Suppose -52 + 176 = q. Is 31 a factor of q?
True
Let o = 148 - 126. Does 3 divide o?
False
Suppose -3*k = 4*v - 0*v + 10, 5*k = 2*v + 18. Let t = k - 0. Is 6 a factor of 46/8 + t/8?
True
Let q = -1 - -3. Suppose 4*p + 3*y = -q*y + 31, 5*p - 3*y - 11 = 0. Is p a multiple of 2?
True
Let q = 194 - 68. Is q a multiple of 21?
True
Let q be 3 + -7 + 4 + 3. Suppose n + x - 2 = 4*x, -q*x - 7 = -2*n. Is n even?
False
Let f be (-36)/28 + (-4)/(-14). Is 6*(2 + f)/1 a multiple of 3?
True
Is 24 a factor of 2/((33/(-72))/(-11))?
True
Suppose -z + 140 = -2*s, -4 = -s + 5*s. Let w = z + -76. Suppose -5*h = -w - 33. Is 13 a factor of h?
False
Let s = 23 - 10. Does 4 divide s?
False
Suppose 2*p + 4*y - 24 = -2*p, -3*y = -2*p - 3. Suppose 8*b = p*b + 200. Is 10 a factor of b?
True
Suppose -11 = -2*h - 5. Is 3 a factor of h*(-21)/(-9) - -3?
False
Suppose -v + 5*v - 89 = 5*o, v + 5*o = 16. Does 7 divide v?
True
Let r(x) = 4*x**3 + 2*x**2 - 1. Let z be r(-1). Let g be 3/1 + 0/z. Suppose 0*h = -h - 5*v + 16, 0 = 3*h + g*v - 24. Is h a multiple of 3?
True
Suppose -32 = -4*v - 4*i, -2*v - v - 2*i + 19 = 0. Suppose d - 2*s - 183 = 0, s - v*s - 8 = 0. Suppose 6*u - d = u. Is 15 a factor of u?
False
Let g(n) = 18*n**2 - n. Suppose -3*h + 0*h - 3 = 0. Let c be g(h). Suppose -c = -r - 0*r. Is 14 a factor of r?
False
Suppose -3*p + 88 = 4. Suppose 0 = -5*s - p + 108. Is s a multiple of 8?
True
Suppose -5*d - 9*y + 385 = -4*y, -5*d + 405 = y. Does 32 divide d?
False
Let j(m) = 32*m - 3. Does 8 divide j(2)?
False
Let n(l) = 2*l**2 + 4*l - 4. Let j(d) = d**3 + 5*d**2 - d - 1. Let p be j(-5). Let a be n(p). Let c = a - 11. Is c a multiple of 20?
False
Suppose -2*l = 2*l - 28. Let s = 8 + l. Let w = s + -3. Does 6 divide w?
True
Let q be 60 - (3 + -3) - 3. Let s = q - 39. Does 18 divide s?
True
Does 26 divide 4/(-22) + 5760/220?
True
Let w(n) = n**2 + 12. Is 38 a factor of w(-6)?
False
Let c = 8 + -5. Suppose -5*f + 4*f - c = 0. Is (-85)/f - (-10)/15 a multiple of 11?
False
Let s(c) = c**2 - 5 - 11 + 6 - 4*c. Let v be s(7). Let j = 21 + v. Is j a multiple of 11?
False
Suppose 0*f - 8*f = -416. Is 13 a factor of f?
True
Let v(w) = w**3 + 10*w**2 - 17*w - 10. Let q be v(-11). Suppose -b - 3 = -q. Does 9 divide b?
False
Let d(t) = -t**3 - 11*t**2 - t - 3. Is 7 a factor of d(-11)?
False
Let r = 17 + -8. Suppose 3*h - 6*u + u = -16, 2*h + r = 3*u. Suppose -2*n + h*n - 29 = 0. Does 18 divide n?
False
Suppose -g + 28 = -3. Is 12 a factor of g?
False
Let v be (9 - 8)/((-2)/22). Let d = -5 - v. Is d a multiple of 3?
True
Suppose 4*l - 6 = 2*x + 12, -2*l + 14 = -2*x. Suppose 0 = -4*y, 4*d - 5*d - 11 = l*y. Let g = -3 - d. Is 3 a factor of g?
False
Suppose 0 = a + 3 - 0, -214 = -2*j - 4*a. Let s = 208 - j. Let l = -65 + s. Does 17 divide l?
False
Is (-3)/(-2)*(-1860)/(-45) a multiple of 31?
True
Let m = -9 - -1. Let z = -9 - m. Is 6 a factor of z - (-1 + -7 + 1)?
True
Suppose 2*m - 91 = -p, 0 = -2*m + m - 1. Suppose 42 = 3*u - p. Does 15 divide u?
True
Let x be -1 + 2 + 75/3. Suppose 0 = 2*w - 104 - x. Suppose -2*m + w = 3*m. Does 5 divide m?
False
Suppose x - 4*x = -5*d + 16, 5*x + 5*d = 0. Let o = 10 + -28. Let v = x - o. Is v a multiple of 8?
True
Is (5 - 2) + 48 + 1 a multiple of 13?
True
Let n = 6 + -3. Suppose 0*h - 10 = -2*h. Suppose -n*y + h + 37 = 0. Is y a multiple of 14?
True
Let j = 7 + -4. Suppose j*s - 32 = -s. Suppose -12 - s = -4*p. Is p a multiple of 2?
False
Let f be (-1 + -2 + 1)*-4. Suppose 0*y = 2*y - f, -3*y = -3*s + 132. Let d = 76 - s. Is d a multiple of 14?
True
Let i(l) be the first derivative of -l**4/4 - 2*l**3/3 - l**2 + 3*l + 4. Is 7 a factor of i(-3)?
False
Let i = 2 + 1. Let r be (-21 - (-1 - 1))/(-1). Let a = i + r. Is a a multiple of 22?
True
Is 0 + 29 + -1 + 3 a multiple of 13?
False
Suppose 12 = 6*d - 2*d. Suppose -4*u + d*u = -38. Does 13 divide u?
False
Let z(v) = -v - 2*v**3 + 0*v + 16*v**3. Let q be z(1). Suppose 5*x - q = 12. Is x a multiple of 5?
True
Is 1/(((-3)/(-27))/(0 + 7)) a multiple of 9?
True
Let u be 1*(1 - 2)*-1. Let l(r) = -u + 5 - 1 + r - 1. Does 2 divide l(3)?
False
Suppose -b - b = 12. Does 6 divide 5/2*b/(-1)?
False
Let n be 5*(3 + 27/(-5)). Let q = n - -16. Does 4 divide q?
True
Let s be (-18)/(-9) - 6/1. Is (1 - 39)/(-6 - s) a multiple of 19?
True
Let r(y) = 7*y + 41. Is r(15) a multiple of 14?
False
Let a be 8/12 - 4/6. Suppose 3*y + a*y - 108 = 0. Does 12 divide y?
True
Let j(i) be the third derivative of -3*i**4/8 - i**3 - 3*i**2. Is 21 a factor of j(-3)?
True
Let u be ((-6)/4)/((-3)/4). Suppose -2*t + b = -3*b - 10, -u*b = 4*t - 30. Is t a multiple of 7?
True
Let b(x) = -2*x**2 + 2*x - 3*x**2 + 6*x**2 - 6. Let l(i) = -i. Let u be l(5). Does 4 divide b(u)?
False
Let z = -93 + 200. Does 19 divide z?
False
Let n(w) = -6*w - 3. Let p be n(-3). Suppose 2*d - 9 = p. Does 12 divide d?
True
Let f be 0*-2*(-3)/12. Suppose 4*y - 29 + 113 = f. Let x = y - -42. Is 10 a factor of x?
False
Suppose 0*p + 5*p = 0. Suppose -r - b = -p - 7, -5*b - 7 = -r. Does 7 divide r?
True
Let g = 114 + -67. Is g a multiple of 3?
False
Let a(q) be the third derivative of q**5/60 - 7*q**4/24 + 4*q**3/3 - 2*q**2. Let b be a(6). Suppose -b*f - 85 = -3*l, f - 131 = -5*l - f. Does 13 divide l?
False
Suppose 1021 = -3*i + 4*u - 3*u, 0 = -3*i - u - 1031. Is (4/(-6))/(6/i) a multiple of 11?
False
Let y(r) = -r**3 - 9*r**2 - 11*r - 4. Does 4 divide y(-8)?
True
Suppose 4*d + 473 - 1689 = 0. Does 16 divide d?
True
Let b(j) = 53*j + 4. Is 22 a factor of b(2)?
True
Let k(f) = -2*f - 2. Let n be k(4). Let x(t) = t**3 + 10*t**2 - 4*t - 7. Is x(n) a multiple of 7?
False
Let q(r) = r**2 - 8*r + 9. Let f be q(7). Suppose -2*s = f*c - 58, -5*c + 3*s + 141 = 6*s. Is c a multiple of 9?
True
Suppose -t = 5*w - 12, -t = -5*w + 3*w - 33. Let q be 114/t + 4/(-18). Suppose -q*v + 94 + 10 = 0. Is 13 a factor of v?
True
Suppose -4*z = 9 - 373. Is z a multiple of 13?
True
Let t = -32 + 89. Let j = t - 41. Is j a multiple of 8?
True
Suppose 3*m - p = 4, -2*m - 2*p = -m - 13. Suppose -142 = -4*i + m*v, -27 = -i - v + 6*v. Does 7 divide i?
False
Is 49 a factor of 82*3 - (3 + -2)?
True
Suppose 2*v - v = 0. Suppose v = 3*i - 64 - 59. Is 11 a factor of i?
False
Is 4 a factor of ((-66)/(-4) + 0)*(-28 + 32)?
False
Let t(j) = -j + 1. Let f be t(-1). Let k = 34 - f. Is 11 a factor of k?
False
Let c = 73 - -123. Does 28 divide c?
True
Let p(x) = 62*x + 5.